Total statistics Sven 501-1000
From Sokoban Wiki
(Difference between revisions)
m (→Summary of the Sven level set) |
(JSoko results Sven 501-1000) |
||
| (2 intermediate revisions not shown) | |||
| Line 16: | Line 16: | ||
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
|- bgcolor="#f1efe5" align="center" | |- bgcolor="#f1efe5" align="center" | ||
| - | | width=" 65" | | + | | width=" 65" | Level No. |
| width=" 65" | BoxSearch | | width=" 65" | BoxSearch | ||
| width=" 65" | Takaken | | width=" 65" | Takaken | ||
| Line 68: | Line 68: | ||
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
|- bgcolor="#f1efe5" align="center" | |- bgcolor="#f1efe5" align="center" | ||
| - | | width=" 65" | | + | | width=" 65" | Level No. |
| width=" 65" | BoxSearch | | width=" 65" | BoxSearch | ||
| width=" 65" | Takaken | | width=" 65" | Takaken | ||
| Line 120: | Line 120: | ||
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
|- bgcolor="#f1efe5" align="center" | |- bgcolor="#f1efe5" align="center" | ||
| - | | width=" 65" | | + | | width=" 65" | Level No. |
| width=" 65" | BoxSearch | | width=" 65" | BoxSearch | ||
| width=" 65" | Takaken | | width=" 65" | Takaken | ||
| Line 172: | Line 172: | ||
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
|- bgcolor="#f1efe5" align="center" | |- bgcolor="#f1efe5" align="center" | ||
| - | | width=" 65" | | + | | width=" 65" | Level No. |
| width=" 65" | BoxSearch | | width=" 65" | BoxSearch | ||
| width=" 65" | Takaken | | width=" 65" | Takaken | ||
| Line 224: | Line 224: | ||
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
|- bgcolor="#f1efe5" align="center" | |- bgcolor="#f1efe5" align="center" | ||
| - | | width=" 65" | | + | | width=" 65" | Level No. |
| width=" 65" | BoxSearch | | width=" 65" | BoxSearch | ||
| width=" 65" | Takaken | | width=" 65" | Takaken | ||
| Line 276: | Line 276: | ||
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
|- bgcolor="#f1efe5" align="center" | |- bgcolor="#f1efe5" align="center" | ||
| - | | width=" 65" | | + | | width=" 65" | Level No. |
| width=" 65" | BoxSearch | | width=" 65" | BoxSearch | ||
| width=" 65" | Takaken | | width=" 65" | Takaken | ||
| Line 328: | Line 328: | ||
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
|- bgcolor="#f1efe5" align="center" | |- bgcolor="#f1efe5" align="center" | ||
| - | | width=" 65" | | + | | width=" 65" | Level No. |
| width=" 65" | BoxSearch | | width=" 65" | BoxSearch | ||
| width=" 65" | Takaken | | width=" 65" | Takaken | ||
| Line 380: | Line 380: | ||
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
|- bgcolor="#f1efe5" align="center" | |- bgcolor="#f1efe5" align="center" | ||
| - | | width=" 65" | | + | | width=" 65" | Level No. |
| width=" 65" | BoxSearch | | width=" 65" | BoxSearch | ||
| width=" 65" | Takaken | | width=" 65" | Takaken | ||
| Line 432: | Line 432: | ||
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
|- bgcolor="#f1efe5" align="center" | |- bgcolor="#f1efe5" align="center" | ||
| - | | width=" 65" | | + | | width=" 65" | Level No. |
| width=" 65" | BoxSearch | | width=" 65" | BoxSearch | ||
| width=" 65" | Takaken | | width=" 65" | Takaken | ||
| Line 484: | Line 484: | ||
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
|- bgcolor="#f1efe5" align="center" | |- bgcolor="#f1efe5" align="center" | ||
| - | | width=" 65" | | + | | width=" 65" | Level No. |
| width=" 65" | BoxSearch | | width=" 65" | BoxSearch | ||
| width=" 65" | Takaken | | width=" 65" | Takaken | ||
| Line 536: | Line 536: | ||
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
|- bgcolor="#f1efe5" align="center" | |- bgcolor="#f1efe5" align="center" | ||
| - | | width=" 65" | | + | | width=" 65" | Level No. |
| width=" 65" | BoxSearch | | width=" 65" | BoxSearch | ||
| width=" 65" | Takaken | | width=" 65" | Takaken | ||
| Line 588: | Line 588: | ||
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
|- bgcolor="#f1efe5" align="center" | |- bgcolor="#f1efe5" align="center" | ||
| - | | width=" 65" | | + | | width=" 65" | Level No. |
| width=" 65" | BoxSearch | | width=" 65" | BoxSearch | ||
| width=" 65" | Takaken | | width=" 65" | Takaken | ||
| Line 640: | Line 640: | ||
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
|- bgcolor="#f1efe5" align="center" | |- bgcolor="#f1efe5" align="center" | ||
| - | | width=" 65" | | + | | width=" 65" | Level No. |
| width=" 65" | BoxSearch | | width=" 65" | BoxSearch | ||
| width=" 65" | Takaken | | width=" 65" | Takaken | ||
| Line 692: | Line 692: | ||
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
|- bgcolor="#f1efe5" align="center" | |- bgcolor="#f1efe5" align="center" | ||
| - | | width=" 65" | | + | | width=" 65" | Level No. |
| width=" 65" | BoxSearch | | width=" 65" | BoxSearch | ||
| width=" 65" | Takaken | | width=" 65" | Takaken | ||
| Line 744: | Line 744: | ||
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
|- bgcolor="#f1efe5" align="center" | |- bgcolor="#f1efe5" align="center" | ||
| - | | width=" 65" | | + | | width=" 65" | Level No. |
| width=" 65" | BoxSearch | | width=" 65" | BoxSearch | ||
| width=" 65" | Takaken | | width=" 65" | Takaken | ||
| Line 796: | Line 796: | ||
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
|- bgcolor="#f1efe5" align="center" | |- bgcolor="#f1efe5" align="center" | ||
| - | | width=" 65" | | + | | width=" 65" | Level No. |
| width=" 65" | BoxSearch | | width=" 65" | BoxSearch | ||
| width=" 65" | Takaken | | width=" 65" | Takaken | ||
| Line 848: | Line 848: | ||
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
|- bgcolor="#f1efe5" align="center" | |- bgcolor="#f1efe5" align="center" | ||
| - | | width=" 65" | | + | | width=" 65" | Level No. |
| width=" 65" | BoxSearch | | width=" 65" | BoxSearch | ||
| width=" 65" | Takaken | | width=" 65" | Takaken | ||
| Line 879: | Line 879: | ||
| align="right" | 830 || {{n}} || {{y}} || {{y}} || {{y}} || {{y}} || || || | | align="right" | 830 || {{n}} || {{y}} || {{y}} || {{y}} || {{y}} || || || | ||
|- align="center" | |- align="center" | ||
| - | | align="right" | 831 || {{n}} || {{y}} || {{y}} || {{ | + | | align="right" | 831 || {{n}} || {{y}} || {{y}} || {{y}} || {{y}} || || || |
|- align="center" | |- align="center" | ||
| align="right" | 832 || {{n}} || {{y}} || {{n}} || {{n}} || {{n}} || yes || || | | align="right" | 832 || {{n}} || {{y}} || {{n}} || {{n}} || {{n}} || yes || || | ||
| Line 900: | Line 900: | ||
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
|- bgcolor="#f1efe5" align="center" | |- bgcolor="#f1efe5" align="center" | ||
| - | | width=" 65" | | + | | width=" 65" | Level No. |
| width=" 65" | BoxSearch | | width=" 65" | BoxSearch | ||
| width=" 65" | Takaken | | width=" 65" | Takaken | ||
| Line 939: | Line 939: | ||
| align="right" | 854 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || | | align="right" | 854 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || | ||
|- align="center" | |- align="center" | ||
| - | | align="right" | 855 || {{y}} || {{y}} || {{y}} || {{ | + | | align="right" | 855 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
| align="right" | 856 || {{n}} || {{y}} || {{y}} || {{y}} || {{y}} || || || | | align="right" | 856 || {{n}} || {{y}} || {{y}} || {{y}} || {{y}} || || || | ||
| Line 952: | Line 952: | ||
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
|- bgcolor="#f1efe5" align="center" | |- bgcolor="#f1efe5" align="center" | ||
| - | | width=" 65" | | + | | width=" 65" | Level No. |
| width=" 65" | BoxSearch | | width=" 65" | BoxSearch | ||
| width=" 65" | Takaken | | width=" 65" | Takaken | ||
| Line 1,004: | Line 1,004: | ||
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
|- bgcolor="#f1efe5" align="center" | |- bgcolor="#f1efe5" align="center" | ||
| - | | width=" 65" | | + | | width=" 65" | Level No. |
| width=" 65" | BoxSearch | | width=" 65" | BoxSearch | ||
| width=" 65" | Takaken | | width=" 65" | Takaken | ||
| Line 1,045: | Line 1,045: | ||
| align="right" | 895 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || | | align="right" | 895 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || | ||
|- align="center" | |- align="center" | ||
| - | | align="right" | 896 || {{y}} || {{y}} || {{y}} || {{ | + | | align="right" | 896 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
| align="right" | 897 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || | | align="right" | 897 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || | ||
| Line 1,056: | Line 1,056: | ||
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
|- bgcolor="#f1efe5" align="center" | |- bgcolor="#f1efe5" align="center" | ||
| - | | width=" 65" | | + | | width=" 65" | Level No. |
| width=" 65" | BoxSearch | | width=" 65" | BoxSearch | ||
| width=" 65" | Takaken | | width=" 65" | Takaken | ||
| Line 1,071: | Line 1,071: | ||
| align="right" | 902 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || | | align="right" | 902 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || | ||
|- align="center" | |- align="center" | ||
| - | | align="right" | 903 || {{y}} || {{y}} || {{y}} || {{ | + | | align="right" | 903 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
| align="right" | 904 || {{n}} || {{y}} || {{y}} || {{n}} || {{y}} || || || | | align="right" | 904 || {{n}} || {{y}} || {{y}} || {{n}} || {{y}} || || || | ||
| Line 1,108: | Line 1,108: | ||
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
|- bgcolor="#f1efe5" align="center" | |- bgcolor="#f1efe5" align="center" | ||
| - | | width=" 65" | | + | | width=" 65" | Level No. |
| width=" 65" | BoxSearch | | width=" 65" | BoxSearch | ||
| width=" 65" | Takaken | | width=" 65" | Takaken | ||
| Line 1,160: | Line 1,160: | ||
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
|- bgcolor="#f1efe5" align="center" | |- bgcolor="#f1efe5" align="center" | ||
| - | | width=" 65" | | + | | width=" 65" | Level No. |
| width=" 65" | BoxSearch | | width=" 65" | BoxSearch | ||
| width=" 65" | Takaken | | width=" 65" | Takaken | ||
| Line 1,171: | Line 1,171: | ||
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
|- align="center" | |- align="center" | ||
| - | | align="right" | 941 || {{y}} || {{y}} || {{y}} || {{ | + | | align="right" | 941 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
| align="right" | 942 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || | | align="right" | 942 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || | ||
| Line 1,212: | Line 1,212: | ||
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
|- bgcolor="#f1efe5" align="center" | |- bgcolor="#f1efe5" align="center" | ||
| - | | width=" 65" | | + | | width=" 65" | Level No. |
| width=" 65" | BoxSearch | | width=" 65" | BoxSearch | ||
| width=" 65" | Takaken | | width=" 65" | Takaken | ||
| Line 1,264: | Line 1,264: | ||
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
|- bgcolor="#f1efe5" align="center" | |- bgcolor="#f1efe5" align="center" | ||
| - | | width=" 65" | | + | | width=" 65" | Level No. |
| width=" 65" | BoxSearch | | width=" 65" | BoxSearch | ||
| width=" 65" | Takaken | | width=" 65" | Takaken | ||
| Line 1,289: | Line 1,289: | ||
| align="right" | 987 || {{y}} || {{y}} || {{n}} || {{n}} || {{y}} || || || | | align="right" | 987 || {{y}} || {{y}} || {{n}} || {{n}} || {{y}} || || || | ||
|- align="center" | |- align="center" | ||
| - | | align="right" | 988 || {{n}} || {{y}} || {{y}} || {{ | + | | align="right" | 988 || {{n}} || {{y}} || {{y}} || {{y}} || {{y}} || || || |
|- align="center" | |- align="center" | ||
| align="right" | 989 || {{n}} || {{y}} || {{n}} || {{n}} || {{y}} || || || | | align="right" | 989 || {{n}} || {{y}} || {{n}} || {{n}} || {{y}} || || || | ||
| Line 1,313: | Line 1,313: | ||
| align="right" | 999 || {{y}} || {{y}} || {{n}} || {{y}} || {{y}} || || || | | align="right" | 999 || {{y}} || {{y}} || {{n}} || {{y}} || {{y}} || || || | ||
|- align="center" | |- align="center" | ||
| - | | align="right" | 1000 || {{y}} || {{y}} || {{n}} || {{n}} || {{y}} || || || | + | | align="right" | 1000 || {{y}} || {{y}} || {{n}} || {{n}} || {{y}} || || || |
|} | |} | ||
Current revision as of 17:12, 2 May 2019
Summary of the Sven 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.
For performance reasons only levels 501-1000 are shown.
