Solver Statistics - XSokoban - Thinking Rabbit & Various Authors

From Sokoban Wiki

(Difference between revisions)
Jump to: navigation, search
(corrected solved number for YASS)
(total statistic for XSokoban)
Line 1: Line 1:
-
This is a summary of running the XSokoban level set (90 levels) using these solvers:<br>
+
= Summary of the XSokoban level set =
-
:*BoxSearch v5.1 beta2 <br>
+
Each solver is tested separately to ensure that they don't compete for system resources. <br><br>
-
:*JSoko v1.34 <br>
+
Though some people might be interested in how long it takes to solve a given level and/or how good the solution is (optimal or not), <br>
-
:*Takaken v7.2<br>
+
this summary disregards all timing associated with solving the levels and solution statistics. <br><br>
-
:*YASS v2.113<br>
+
These tests are mainly for gauging solvability, not timing nor how good the solution is. <br><br>
-
<br>
+
-
Each solver is tested separately to ensure that they don't compete for system resources.
+
-
<br><br>
+
-
For copyrights, credits and redistribution of these statistics, please read the [[Solvers#Disclaimer | disclaimer]].<br>
+
-
<br>
+
-
Though some people might be interested in how long it takes to solve a given level and/or how good the solution is (optimal or not), this summary disregards all timing associated with solving the levels and solution statistics.
+
-
These tests are mainly for gauging solvability, not timing nor how good the solution is.
+
-
<div class="note-2 margin">
+
All solvers combined solved 86 of 90 levels.
-
 
+
-
;Not all Sokoban solvers are created equal:
+
-
:*BoxSearch allows setting for max time limit and max memory.  (level size limit: none)
+
-
:*JSoko allows setting for max time (level size limit: width=40, height=40)
+
-
:*Takaken allows setting for time and max memory option.  (level size limit: width=50, height=50, Boxes=64)
+
-
:*YASS allows setting for max time and max memory option.  (level size limit:  width=50, height=50)
+
-
 
+
-
 
+
-
;Test machine info:
+
-
:*Machine: ThinkPad T61P
+
-
:*CPU:  x86 Family 6 Model 15 Stepping 11 Genuine Intel ~2394 Mhz
+
-
:*Physical RAM: 2 GB
+
-
:*OS Name & Version:  Microsoft Windows XP Professional v5.12600 Service Pack 2 Build 2600.
+
-
:*<b>NOTE:</b> The JSoko results are tested on a Samsung Aura Dillen Core 2 Duo T9300 (2,5 GHz) with 3 GiB RAM, OS: Vista Home (Service Pack 1), JRE: 1.6.02_12
+
-
 
+
-
 
+
-
;Test settings:
+
-
:*BoxSearch is set with max memory limit of 1500 MB and 600 seconds.  (using quick mode)
+
-
:*JSoko is set with max memory limit of 1500 MB and 600 seconds.  (using any solution method)
+
-
:*Takaken is set with 1500 MB memory and 600 second limit
+
-
:*YASS is set with 1500 MB memory and 600 second limit
+
-
 
+
-
 
+
-
;Further tests:
+
-
:*[[SolverStatistics-jsoko-ThinkingRabbit-XSokoban |JSoko: 71]]
+
-
:*[[SolverStatistics-yass-ThinkingRabbit-XSokoban | YASS: 84 ]]
+
-
 
+
-
 
+
-
The following table shows the levels where each of the solvers failed:
+
-
======================================================================
+
-
+
-
          BoxSearch        JSoko          Takaken          YASS   
+
-
============== ============== ============== ==============
+
-
      11     
+
-
      12     
+
-
      13     
+
-
      14          14          14     
+
-
      15          15     
+
-
      16          16     
+
-
      18          18          18     
+
-
      19     
+
-
      20     
+
-
      23          23          23     
+
-
      24          24     
+
-
      25     
+
-
      27     
+
-
      28          28     
+
-
      29          29          29          29     
+
-
      30          30     
+
-
      31          31          31     
+
-
      32          32     
+
-
      33     
+
-
      34     
+
-
      35          35     
+
-
      36     
+
-
      37     
+
-
      39          39     
+
-
      40     
+
-
      41          41          41     
+
-
      42     
+
-
      44     
+
-
      45     
+
-
      48          48          48     
+
-
      50          50          50     
+
-
      52          52          52     
+
-
      55     
+
-
      57     
+
-
      61     
+
-
      66          66          66     
+
-
      69          69          69     
+
-
      71          71     
+
-
      72          72     
+
-
      73     
+
-
      74          74     
+
-
      75     
+
-
      76     
+
-
      77          77          77     
+
-
      85          85          85     
+
-
      87     
+
-
      88          88     
+
-
      89          89          89     
+
-
      90          90          90     
+
-
============== ============== ============== ==============
+
-
Total:     48     25       4     15
+
-
+
-
Total (unique level count): 49
+
-
+
-
+
-
+
-
All solvers failed on these levels:
+
-
===================================================================================
+
-
      29
+
-
===================================================================================
+
-
Total count: 1
+
-
+
-
+
-
"BoxSearch" failed on these levels where at least one solver solved:
+
-
===================================================================================
+
-
      11      12      13      14      15      16      18      19      20      23
+
-
      24      25      27      28      30      31      32      33      34      35
+
-
      36      37      39      40      41      42      44      45      48      50
+
-
      52      57      61      66      69      71      72      73      74      75
+
-
      76      77      85      87      88      89      90
+
-
===================================================================================
+
-
Total count: 47
+
-
+
-
+
-
"JSoko" failed on these levels where at least one solver solved:
+
-
===================================================================================
+
-
      14      16      18      23      24      30      31      32      35      41
+
-
      48      50      52      55      66      69      71      72      74      77
+
-
      85      88      89      90
+
-
===================================================================================
+
-
Total count: 24
+
-
+
-
+
-
"Takaken" failed on these levels where at least one solver solved:
+
-
===================================================================================
+
-
      50      66      69
+
-
===================================================================================
+
-
Total count: 3
+
-
+
-
+
-
"YASS" failed on these levels where at least one solver solved:
+
-
===================================================================================
+
-
      14      15      18      23      28      31      39      41      48      52
+
-
      77      85      89      90
+
-
===================================================================================
+
-
Total count: 14
+
-
+
-
+
-
"BoxSearch" solved these levels where all other solvers failed:
+
-
===================================================================================
+
-
+
-
===================================================================================
+
-
Total count: 0
+
-
+
-
+
-
"JSoko" solved these levels where all other solvers failed:
+
-
===================================================================================
+
-
+
-
===================================================================================
+
-
Total count: 0
+
-
+
-
+
-
"Takaken" solved these levels where all other solvers failed:
+
-
===================================================================================
+
-
      14      18      23      31      41      48      52      77      85      89
+
-
      90
+
-
===================================================================================
+
-
Total count: 11
+
-
+
-
+
-
"YASS" solved these levels where all other solvers failed:
+
-
===================================================================================
+
-
      50      66      69
+
-
===================================================================================
+
-
Total count: 3
+
-
+
-
+
-
"BoxSearch" failed on these levels where all other solvers solved:
+
-
===================================================================================
+
-
      11      12      13      19      20      25      27      33      34      36
+
-
      37      40      42      44      45      57      61      73      75      76
+
-
      87
+
-
===================================================================================
+
-
Total count: 21
+
-
+
-
+
-
"JSoko" failed on these levels where all other solvers solved:
+
-
===================================================================================
+
-
      55
+
-
===================================================================================
+
-
Total count: 1
+
-
+
-
+
-
"Takaken" failed on these levels where all other solvers solved:
+
-
===================================================================================
+
-
+
-
===================================================================================
+
-
Total count: 0
+
-
+
-
+
-
"YASS" failed on these levels where all other solvers solved:
+
-
===================================================================================
+
-
+
-
===================================================================================
+
-
Total count: 0
+
-
+
-
+
-
<!-- STAT --><div class="box margin-2"><div style="width:500px;">
+
-
BoxSearch solved 42 of 90 levels.
+
<div class="box-progress">
<div class="box-progress">
-
<div class="small" style="width: 46.7%;">BoxSearch 46.7%</div>
+
  <div class="small" style="width: 96%;">All solvers 96%</div>
</div>
</div>
-
JSoko solved 65 of 90 levels.
 
-
<div class="box-progress">
 
-
<div class="small" style="width: 72.2%;">JSoko 72.2%</div>
 
-
</div>
 
-
Takaken solved 86 of 90 levels.
+
{| class="soko-table"
-
<div class="box-progress">
+
|-
-
<div class="small" style="width: 95.6%;">Takaken 95.6%</div>
+
-
</div>
+
-
 
+
-
YASS solved 75 of 90 levels.
+
-
<div class="box-progress">
+
-
<div class="small" style="width: 83.3%;">YASS 83.3%</div>
+
-
</div>
+
-
 
+
-
All solvers combined solved 89 of 90 levels.
+
-
<div class="box-progress">
+
-
<div class="small" style="width: 98.9%;background:rgb(125,190,255);">All solvers 98.9%</div>
+
-
</div>
+
-
</div></div><!--/STAT -->
+
<!-- -------------------------------------------------------------------------------------------- -->
 +
! colspan="9" | Solver Statistics  &nbsp;&nbsp;&nbsp;&nbsp;    Set: XSokoban
 +
<!-- -------------------------------------------------------------------------------------------- -->
 +
<!-- -------------------------------------------------------------------------------------------- -->
 +
|- bgcolor="#f1efe5" align="center"
 +
| width=" 65"              | LevelNo
 +
| width=" 65"              | BoxSearch
 +
| width=" 65"              | Takaken
 +
| width=" 65"              | YASS
 +
| width=" 80"              | JSoko
 +
| width=" 80"              | Sokolution
 +
| width=" 80"              | Solved by only one
 +
| width=" 80"              | Solved by all
 +
| width=" 80"              | Solved by none
 +
<!-- -------------------------------------------------------------------------------------------- -->
 +
|- align="center"
 +
| align="right" | 1 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 2 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 3 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 4 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 5 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 6 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 7 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 8 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 9 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 10 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 11 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 12 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 13 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 14 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{n}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 15 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 16 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 17 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 18 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 19 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 20 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || no || no
 +
<!-- -------------------------------------------------------------------------------------------- -->
 +
|- bgcolor="#f1efe5" align="center"
 +
| width=" 65"              | LevelNo
 +
| width=" 65"              | BoxSearch
 +
| width=" 65"              | Takaken
 +
| width=" 65"              | YASS
 +
| width=" 80"              | JSoko
 +
| width=" 80"              | Sokolution
 +
| width=" 80"              | Solved by only one
 +
| width=" 80"              | Solved by all
 +
| width=" 80"              | Solved by none
 +
<!-- -------------------------------------------------------------------------------------------- -->
 +
|- align="center"
 +
| align="right" | 21 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 22 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 23 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{n}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 24 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{n}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 25 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 26 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 27 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 28 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 29 &nbsp;&nbsp; || {{n}} || {{n}} || {{n}} ||  {{n}} || {{n}} || no || no || yes
 +
|- align="center"
 +
| align="right" | 30 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{n}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 31 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{n}} || {{n}} || no || no || no
 +
|- align="center"
 +
| align="right" | 32 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{n}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 33 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 34 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 35 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{n}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 36 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 37 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 38 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 39 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{y}} || {{n}} || no || no || no
 +
|- align="center"
 +
| align="right" | 40 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || no || no
 +
<!-- -------------------------------------------------------------------------------------------- -->
 +
|- bgcolor="#f1efe5" align="center"
 +
| width=" 65"              | LevelNo
 +
| width=" 65"              | BoxSearch
 +
| width=" 65"              | Takaken
 +
| width=" 65"              | YASS
 +
| width=" 80"              | JSoko
 +
| width=" 80"              | Sokolution
 +
| width=" 80"              | Solved by only one
 +
| width=" 80"              | Solved by all
 +
| width=" 80"              | Solved by none
 +
<!-- -------------------------------------------------------------------------------------------- -->
 +
|- align="center"
 +
| align="right" | 41 &nbsp;&nbsp; || {{n}} || {{y}} || {{n}} ||  {{n}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 42 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 43 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 44 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 45 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 46 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 47 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 48 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{n}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 49 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 50 &nbsp;&nbsp; || {{n}} || {{n}} || {{y}} ||  {{n}} || {{n}} || yes || no || no
 +
|- align="center"
 +
| align="right" | 51 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 52 &nbsp;&nbsp; || {{n}} || {{y}} || {{n}} ||  {{y}} || {{n}} || no || no || no
 +
|- align="center"
 +
| align="right" | 53 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 54 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 55 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 56 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 57 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 58 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 59 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 60 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
<!-- -------------------------------------------------------------------------------------------- -->
 +
|- bgcolor="#f1efe5" align="center"
 +
| width=" 65"              | LevelNo
 +
| width=" 65"              | BoxSearch
 +
| width=" 65"              | Takaken
 +
| width=" 65"              | YASS
 +
| width=" 80"              | JSoko
 +
| width=" 80"              | Sokolution
 +
| width=" 80"              | Solved by only one
 +
| width=" 80"              | Solved by all
 +
| width=" 80"              | Solved by none
 +
<!-- -------------------------------------------------------------------------------------------- -->
 +
|- align="center"
 +
| align="right" | 61 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 62 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 63 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 64 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 65 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 66 &nbsp;&nbsp; || {{n}} || {{n}} || {{y}} ||  {{n}} || {{n}} || yes || no || no
 +
|- align="center"
 +
| align="right" | 67 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 68 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 69 &nbsp;&nbsp; || {{n}} || {{n}} || {{y}} ||  {{n}} || {{n}} || yes || no || no
 +
|- align="center"
 +
| align="right" | 70 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 71 &nbsp;&nbsp; || {{n}} || {{y}} || {{n}} ||  {{n}} || {{n}} || yes || no || no
 +
|- align="center"
 +
| align="right" | 72 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{n}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 73 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 74 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{n}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 75 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 76 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 77 &nbsp;&nbsp; || {{n}} || {{y}} || {{n}} ||  {{n}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 78 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 79 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 80 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
<!-- -------------------------------------------------------------------------------------------- -->
 +
|- bgcolor="#f1efe5" align="center"
 +
| width=" 65"              | LevelNo
 +
| width=" 65"              | BoxSearch
 +
| width=" 65"              | Takaken
 +
| width=" 65"              | YASS
 +
| width=" 80"              | JSoko
 +
| width=" 80"              | Sokolution
 +
| width=" 80"              | Solved by only one
 +
| width=" 80"              | Solved by all
 +
| width=" 80"              | Solved by none
 +
<!-- -------------------------------------------------------------------------------------------- -->
 +
|- align="center"
 +
| align="right" | 81 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 82 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 83 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 84 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 85 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{y}} || {{n}} || no || no || no
 +
|- align="center"
 +
| align="right" | 86 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 87 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 88 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{n}} || {{n}} || no || no || no
 +
|- align="center"
 +
| align="right" | 89 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 90 &nbsp;&nbsp; || {{n}} || {{y}} || {{n}} ||  {{n}} || {{n}} || yes || no || no
 +
|- bgcolor="#f1efe5" align="center"
 +
| align="right" | Total &nbsp;&nbsp; || 42 || 86 || 84 || 71 || 79 || 5 || 42 || 1
 +
|}

Revision as of 21:00, 7 March 2019

Summary of the XSokoban level set

Each solver is tested separately to ensure that they don't compete for system resources.

Though some people might be interested in how long it takes to solve a given level and/or how good the solution is (optimal or not),
this summary disregards all timing associated with solving the levels and solution statistics.

These tests are mainly for gauging solvability, not timing nor how good the solution is.

All solvers combined solved 86 of 90 levels.

All solvers 96%


Solver Statistics      Set: XSokoban
LevelNo BoxSearch Takaken YASS JSoko Sokolution Solved by only one Solved by all Solved by none
1    yes yes yes yes yes no yes no
2    yes yes yes yes yes no yes no
3    yes yes yes yes yes no yes no
4    yes yes yes yes yes no yes no
5    yes yes yes yes yes no yes no
6    yes yes yes yes yes no yes no
7    yes yes yes yes yes no yes no
8    yes yes yes yes yes no yes no
9    yes yes yes yes yes no yes no
10    yes yes yes yes yes no yes no
11    no yes yes yes yes no no no
12    no yes yes yes yes no no no
13    no yes yes yes yes no no no
14    no yes yes no yes no no no
15    no yes yes yes yes no no no
16    no yes yes yes yes no no no
17    yes yes yes yes yes no yes no
18    no yes yes yes yes no no no
19    no yes yes yes yes no no no
20    no yes yes yes yes no no no
LevelNo BoxSearch Takaken YASS JSoko Sokolution Solved by only one Solved by all Solved by none
21    yes yes yes yes yes no yes no
22    yes yes yes yes yes no yes no
23    no yes yes no yes no no no
24    no yes yes no yes no no no
25    no yes yes yes yes no no no
26    yes yes yes yes yes no yes no
27    no yes yes yes yes no no no
28    no yes yes yes yes no no no
29    no no no no no no no yes
30    no yes yes no yes no no no
31    no yes yes no no no no no
32    no yes yes no yes no no no
33    no yes yes yes yes no no no
34    no yes yes yes yes no no no
35    no yes yes no yes no no no
36    no yes yes yes yes no no no
37    no yes yes yes yes no no no
38    yes yes yes yes yes no yes no
39    no yes yes yes no no no no
40    no yes yes yes yes no no no
LevelNo BoxSearch Takaken YASS JSoko Sokolution Solved by only one Solved by all Solved by none
41    no yes no no yes no no no
42    no yes yes yes yes no no no
43    yes yes yes yes yes no yes no
44    no yes yes yes yes no no no
45    no yes yes yes yes no no no
46    yes yes yes yes yes no yes no
47    yes yes yes yes yes no yes no
48    no yes yes no yes no no no
49    yes yes yes yes yes no yes no
50    no no yes no no yes no no
51    yes yes yes yes yes no yes no
52    no yes no yes no no no no
53    yes yes yes yes yes no yes no
54    yes yes yes yes yes no yes no
55    yes yes yes yes yes no yes no
56    yes yes yes yes yes no yes no
57    no yes yes yes yes no no no
58    yes yes yes yes yes no yes no
59    yes yes yes yes yes no yes no
60    yes yes yes yes yes no yes no
LevelNo BoxSearch Takaken YASS JSoko Sokolution Solved by only one Solved by all Solved by none
61    no yes yes yes yes no no no
62    yes yes yes yes yes no yes no
63    yes yes yes yes yes no yes no
64    yes yes yes yes yes no yes no
65    yes yes yes yes yes no yes no
66    no no yes no no yes no no
67    yes yes yes yes yes no yes no
68    yes yes yes yes yes no yes no
69    no no yes no no yes no no
70    yes yes yes yes yes no yes no
71    no yes no no no yes no no
72    no yes yes no yes no no no
73    no yes yes yes yes no no no
74    no yes yes no yes no no no
75    no yes yes yes yes no no no
76    no yes yes yes yes no no no
77    no yes no no yes no no no
78    yes yes yes yes yes no yes no
79    yes yes yes yes yes no yes no
80    yes yes yes yes yes no yes no
LevelNo BoxSearch Takaken YASS JSoko Sokolution Solved by only one Solved by all Solved by none
81    yes yes yes yes yes no yes no
82    yes yes yes yes yes no yes no
83    yes yes yes yes yes no yes no
84    yes yes yes yes yes no yes no
85    no yes yes yes no no no no
86    yes yes yes yes yes no yes no
87    no yes yes yes yes no no no
88    no yes yes no no no no no
89    no yes yes yes yes no no no
90    no yes no no no yes no no
Total    42 86 84 71 79 5 42 1
Retrieved from "http://sokobano.de/wiki/index.php?title=Solver_Statistics_-_XSokoban_-_Thinking_Rabbit_%26_Various_Authors"
Personal tools