Solver Statistics - BoxWorld - Various Authors

From Sokoban Wiki

(Difference between revisions)
Jump to: navigation, search
(corrected sums in summary results for BoxWorld)
 
(4 intermediate revisions not shown)
Line 1: Line 1:
-
This is a summary of running the BoxWorld level set (100 levels) using these solvers:<br>
+
= Summary of the BoxWorld level set =
-
:*BoxSearch 5.1 beta 2<br>
+
Each solver is tested separately to ensure that they don't compete for system resources. <br><br>
-
:*JSoko 1.35 <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.2<br>
+
this summary disregards all timing associated with solving the levels and solution statistics. <br><br>
-
:*YASS v2.95<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 99 of 100 levels.
-
 
+
-
 
+
-
;Not all Sokoban solvers are created equal:
+
-
:*BoxSearch (level size limit: none)
+
-
:*JSoko (level size limit: width=40, height=40)
+
-
:*Takaken (level size limit: width=50, height=50, Boxes=64)
+
-
:*YASS (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 1:</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 1500 MB memory and 600 second limit. (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-yass-BoxWorld | YASS: 93 ]] 
+
-
</div>
+
-
 
+
-
 
+
-
The following table shows the levels where each of the solvers failed:
+
-
======================================================================
+
-
+
-
          BoxSearch        JSoko          Takaken          YASS   
+
-
============== ============== ============== ==============
+
-
      28          28          28     
+
-
      34          34     
+
-
      36     
+
-
      43     
+
-
      45     
+
-
      46          46     
+
-
      49          49          49     
+
-
      50     
+
-
      52     
+
-
      53     
+
-
      57          57          57     
+
-
      60          60     
+
-
      67     
+
-
      71          71          71     
+
-
      72     
+
-
      79     
+
-
      83          83     
+
-
      84     
+
-
      85          85     
+
-
      86          86          86          86     
+
-
      87          87          87     
+
-
      95          95          95     
+
-
      96          96     
+
-
============== ============== ============== ==============
+
-
Total:     13     18       2     11
+
-
+
-
Total (unique level count): 23
+
-
+
-
+
-
+
-
All solvers failed on these levels:
+
-
===================================================================================
+
-
      86
+
-
===================================================================================
+
-
Total count: 1
+
-
+
-
+
-
"BoxSearch" failed on these levels where at least one solver solved:
+
-
===================================================================================
+
-
      28      46      49      60      67      71      72      83      84      87
+
-
      95      96
+
-
===================================================================================
+
-
Total count: 12
+
-
+
-
+
-
"JSoko" failed on these levels where at least one solver solved:
+
-
===================================================================================
+
-
      28      34      36      43      45      49      50      52      53      57
+
-
      60      71      79      83      85      87      95
+
-
===================================================================================
+
-
Total count: 17
+
-
+
-
+
-
"Takaken" failed on these levels where at least one solver solved:
+
-
===================================================================================
+
-
      57
+
-
===================================================================================
+
-
Total count: 1
+
-
+
-
+
-
"YASS" failed on these levels where at least one solver solved:
+
-
===================================================================================
+
-
      28      34      46      49      57      71      85      87      95      96
+
-
===================================================================================
+
-
Total count: 10
+
-
+
-
+
-
"BoxSearch" solved these levels where all other solvers failed:
+
-
===================================================================================
+
-
      57
+
-
===================================================================================
+
-
Total count: 1
+
-
+
-
+
-
"JSoko" solved these levels where all other solvers failed:
+
-
===================================================================================
+
-
+
-
===================================================================================
+
-
Total count: 0
+
-
+
-
+
-
"Takaken" solved these levels where all other solvers failed:
+
-
===================================================================================
+
-
      28      49      71      87      95
+
-
===================================================================================
+
-
Total count: 5
+
-
+
-
+
-
"YASS" solved these levels where all other solvers failed:
+
-
===================================================================================
+
-
+
-
===================================================================================
+
-
Total count: 0
+
-
+
-
+
-
"BoxSearch" failed on these levels where all other solvers solved:
+
-
===================================================================================
+
-
      67      72      84
+
-
===================================================================================
+
-
Total count: 3
+
-
+
-
+
-
"JSoko" failed on these levels where all other solvers solved:
+
-
===================================================================================
+
-
      36      43      45      50      52      53      79
+
-
===================================================================================
+
-
Total count: 7
+
-
+
-
+
-
"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 87 of 100 levels.
+
<div class="box-progress">
<div class="box-progress">
-
<div class="small" style="width: 87%;">BoxSearch 87%</div>
+
  <div class="small" style="width: 99%;">All solvers 99%</div>
</div>
</div>
-
JSoko solved 82 of 100 levels.
 
-
<div class="box-progress">
 
-
<div class="small" style="width: 82%;">JSoko 82%</div>
 
-
</div>
 
-
Takaken solved 98 of 100 levels.
+
{| class="soko-table"
-
<div class="box-progress">
+
|-
-
<div class="small" style="width: 98%;">Takaken 98%</div>
+
-
</div>
+
-
 
+
-
YASS solved 89 of 100 levels.
+
-
<div class="box-progress">
+
-
<div class="small" style="width: 89%;">YASS 89%</div>
+
-
</div>
+
-
 
+
-
All solvers combined solved 99 of 100 levels.
+
-
<div class="box-progress">
+
-
<div class="small" style="width: 99%;background:rgb(125,190,255);">All solvers 99%</div>
+
-
</div>
+
-
</div></div><!--/STAT -->
+
<!-- -------------------------------------------------------------------------------------------- -->
 +
! colspan="9" | Solver Statistics  &nbsp;&nbsp;&nbsp;&nbsp;    Set: BoxWorld
 +
<!-- -------------------------------------------------------------------------------------------- -->
 +
<!-- -------------------------------------------------------------------------------------------- -->
 +
|- 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; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 12 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 13 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 14 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 15 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 16 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 17 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 18 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 19 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 20 &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" | 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; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 24 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 25 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 26 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 27 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 28 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{n}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 29 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 30 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 31 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 32 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 33 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 34 &nbsp;&nbsp; || {{y}} || {{y}} || {{n}} ||  {{n}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 35 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 36 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{n}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 37 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 38 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 39 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 40 &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" | 41 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 42 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 43 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{n}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 44 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 45 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{n}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 46 &nbsp;&nbsp; || {{n}} || {{y}} || {{n}} ||  {{y}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 47 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 48 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 49 &nbsp;&nbsp; || {{n}} || {{y}} || {{n}} ||  {{n}} || {{n}} || yes || no || no
 +
|- align="center"
 +
| align="right" | 50 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{n}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 51 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 52 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{n}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 53 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{n}} || {{y}} || no || no || 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; || {{y}} || {{n}} || {{n}} ||  {{n}} || {{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; || {{n}} || {{y}} || {{y}} ||  {{n}} || {{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" | 61 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || 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; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 67 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 68 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 69 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || 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}} || {{y}} ||  {{n}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 72 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 73 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 74 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 75 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 76 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 77 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || 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}} ||  {{n}} || {{y}} || no || no || 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; || {{n}} || {{y}} || {{y}} ||  {{n}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 84 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 85 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{n}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 86 &nbsp;&nbsp; || {{n}} || {{n}} || {{n}} ||  {{n}} || {{n}} || no || no || yes
 +
|- align="center"
 +
| align="right" | 87 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{n}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 88 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 89 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 90 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 91 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 92 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 93 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 94 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 95 &nbsp;&nbsp; || {{n}} || {{y}} || {{n}} ||  {{n}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 96 &nbsp;&nbsp; || {{n}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || no || no
 +
|- align="center"
 +
| align="right" | 97 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 98 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 99 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- align="center"
 +
| align="right" | 100 &nbsp;&nbsp; || {{y}} || {{y}} || {{y}} ||  {{y}} || {{y}} || no || yes || no
 +
|- bgcolor="#f1efe5" align="center"
 +
| align="right" | Total &nbsp;&nbsp; || 87 || 98 || 94 || 82 || 98 || 1 || 77 || 1
 +
|}

Current revision as of 21:42, 11 March 2019

Summary of the BoxWorld 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 99 of 100 levels.

All solvers 99%


Solver Statistics      Set: BoxWorld
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    yes yes yes yes yes no yes no
12    yes yes yes yes yes no yes no
13    yes yes yes yes yes no yes no
14    yes yes yes yes yes no yes no
15    yes yes yes yes yes no yes no
16    yes yes yes yes yes no yes no
17    yes yes yes yes yes no yes no
18    yes yes yes yes yes no yes no
19    yes yes yes yes yes no yes no
20    yes yes yes yes yes no yes 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    yes yes yes yes yes no yes no
24    yes yes yes yes yes no yes no
25    yes yes yes yes yes no yes no
26    yes yes yes yes yes no yes no
27    yes yes yes yes yes no yes no
28    no yes yes no yes no no no
29    yes yes yes yes yes no yes no
30    yes yes yes yes yes no yes no
31    yes yes yes yes yes no yes no
32    yes yes yes yes yes no yes no
33    yes yes yes yes yes no yes no
34    yes yes no no yes no no no
35    yes yes yes yes yes no yes no
36    yes yes yes no yes no no no
37    yes yes yes yes yes no yes no
38    yes yes yes yes yes no yes no
39    yes yes yes yes yes no yes no
40    yes yes yes yes yes no yes no
LevelNo BoxSearch Takaken YASS JSoko Sokolution Solved by only one Solved by all Solved by none
41    yes yes yes yes yes no yes no
42    yes yes yes yes yes no yes no
43    yes yes yes no yes no no no
44    yes yes yes yes yes no yes no
45    yes yes yes no yes no no no
46    no yes no yes yes no no no
47    yes yes yes yes yes no yes no
48    yes yes yes yes yes no yes no
49    no yes no no no yes no no
50    yes yes yes no yes no no no
51    yes yes yes yes yes no yes no
52    yes yes yes no yes no no no
53    yes yes yes no yes no no 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    yes no no no yes no no no
58    yes yes yes yes yes no yes no
59    yes yes yes yes yes no yes no
60    no yes yes no yes no no no
LevelNo BoxSearch Takaken YASS JSoko Sokolution Solved by only one Solved by all Solved by none
61    yes yes yes yes yes no yes 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    yes yes yes yes yes no yes no
67    no yes yes yes yes no no no
68    yes yes yes yes yes no yes no
69    yes yes yes yes yes no yes no
70    yes yes yes yes yes no yes no
71    no yes yes no yes no no no
72    no yes yes yes yes no no no
73    yes yes yes yes yes no yes no
74    yes yes yes yes yes no yes no
75    yes yes yes yes yes no yes no
76    yes yes yes yes yes no yes no
77    yes yes yes yes yes no yes no
78    yes yes yes yes yes no yes no
79    yes yes yes no yes no no 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    no yes yes no yes no no no
84    no yes yes yes yes no no no
85    yes yes yes no yes no no no
86    no no no no no no no yes
87    no yes yes no yes no no no
88    yes yes yes yes yes no yes no
89    yes yes yes yes yes no yes no
90    yes yes yes yes yes no yes no
91    yes yes yes yes yes no yes no
92    yes yes yes yes yes no yes no
93    yes yes yes yes yes no yes no
94    yes yes yes yes yes no yes no
95    no yes no no yes no no no
96    no yes yes yes yes no no no
97    yes yes yes yes yes no yes no
98    yes yes yes yes yes no yes no
99    yes yes yes yes yes no yes no
100    yes yes yes yes yes no yes no
Total    87 98 94 82 98 1 77 1
Retrieved from "http://sokobano.de/wiki/index.php?title=Solver_Statistics_-_BoxWorld_-_Various_Authors"
Personal tools