Solver Statistics - David Holland
From Sokoban Wiki
(Difference between revisions)
m (→Summary of the Holland level set) |
|||
Line 30: | Line 30: | ||
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
|- align="center" | |- align="center" | ||
- | | align="right" | 1 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 1 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 2 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 2 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 3 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 3 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 4 || {{n}} || {{y}} || {{n}} || {{n}} || {{n}} || yes || | + | | align="right" | 4 || {{n}} || {{y}} || {{n}} || {{n}} || {{n}} || yes || || |
|- align="center" | |- align="center" | ||
- | | align="right" | 5 || {{n}} || {{y}} || {{n}} || {{n}} || {{y}} || | + | | align="right" | 5 || {{n}} || {{y}} || {{n}} || {{n}} || {{y}} || || || |
|- align="center" | |- align="center" | ||
- | | align="right" | 6 || {{n}} || {{y}} || {{n}} || {{n}} || {{y}} || | + | | align="right" | 6 || {{n}} || {{y}} || {{n}} || {{n}} || {{y}} || || || |
|- align="center" | |- align="center" | ||
- | | align="right" | 7 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 7 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 8 || {{n}} || {{n}} || {{n}} || {{n}} || {{n}} || | + | | align="right" | 8 || {{n}} || {{n}} || {{n}} || {{n}} || {{n}} || || || yes |
|- align="center" | |- align="center" | ||
- | | align="right" | 9 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 9 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 10 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 10 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 11 || {{n}} || {{y}} || {{n}} || {{n}} || {{n}} || yes || | + | | align="right" | 11 || {{n}} || {{y}} || {{n}} || {{n}} || {{n}} || yes || || |
|- align="center" | |- align="center" | ||
- | | align="right" | 12 || {{n}} || {{y}} || {{n}} || {{y}} || {{y}} || | + | | align="right" | 12 || {{n}} || {{y}} || {{n}} || {{y}} || {{y}} || || || |
|- align="center" | |- align="center" | ||
- | | align="right" | 13 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 13 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 14 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 14 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 15 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 15 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 16 || {{n}} || {{n}} || {{n}} || {{n}} || {{n}} || | + | | align="right" | 16 || {{n}} || {{n}} || {{n}} || {{n}} || {{n}} || || || yes |
|- align="center" | |- align="center" | ||
- | | align="right" | 17 || {{n}} || {{n}} || {{n}} || {{y}} || {{y}} || | + | | align="right" | 17 || {{n}} || {{n}} || {{n}} || {{y}} || {{y}} || || || |
|- align="center" | |- align="center" | ||
- | | align="right" | 18 || {{n}} || {{n}} || {{n}} || {{n}} || {{n}} || | + | | align="right" | 18 || {{n}} || {{n}} || {{n}} || {{n}} || {{n}} || || || yes |
|- align="center" | |- align="center" | ||
- | | align="right" | 19 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 19 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 20 || {{n}} || {{n}} || {{y}} || {{n}} || {{y}} || | + | | align="right" | 20 || {{n}} || {{n}} || {{y}} || {{n}} || {{y}} || || || |
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
|- bgcolor="#f1efe5" align="center" | |- bgcolor="#f1efe5" align="center" | ||
Line 82: | Line 82: | ||
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
|- align="center" | |- align="center" | ||
- | | align="right" | 21 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 21 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 22 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 22 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 23 || {{n}} || {{y}} || {{n}} || {{n}} || {{y}} || | + | | align="right" | 23 || {{n}} || {{y}} || {{n}} || {{n}} || {{y}} || || || |
|- align="center" | |- align="center" | ||
- | | align="right" | 24 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 24 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 25 || {{y}} || {{n}} || {{n}} || {{n}} || {{n}} || yes || | + | | align="right" | 25 || {{y}} || {{n}} || {{n}} || {{n}} || {{n}} || yes || || |
|- align="center" | |- align="center" | ||
- | | align="right" | 26 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 26 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 27 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 27 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 28 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 28 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 29 || {{n}} || {{y}} || {{y}} || {{n}} || {{y}} || | + | | align="right" | 29 || {{n}} || {{y}} || {{y}} || {{n}} || {{y}} || || || |
|- align="center" | |- align="center" | ||
- | | align="right" | 30 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 30 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 31 || {{n}} || {{n}} || {{y}} || {{n}} || {{n}} || yes || | + | | align="right" | 31 || {{n}} || {{n}} || {{y}} || {{n}} || {{n}} || yes || || |
|- align="center" | |- align="center" | ||
- | | align="right" | 32 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 32 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 33 || {{y}} || {{y}} || {{y}} || {{n}} || {{y}} || | + | | align="right" | 33 || {{y}} || {{y}} || {{y}} || {{n}} || {{y}} || || || |
|- align="center" | |- align="center" | ||
- | | align="right" | 34 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 34 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 35 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 35 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 36 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 36 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 37 || {{n}} || {{y}} || {{y}} || {{n}} || {{y}} || | + | | align="right" | 37 || {{n}} || {{y}} || {{y}} || {{n}} || {{y}} || || || |
|- align="center" | |- align="center" | ||
- | | align="right" | 38 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 38 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 39 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 39 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 40 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 40 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
|- bgcolor="#f1efe5" align="center" | |- bgcolor="#f1efe5" align="center" | ||
Line 134: | Line 134: | ||
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
|- align="center" | |- align="center" | ||
- | | align="right" | 41 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 41 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 42 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 42 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 43 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 43 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 44 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 44 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 45 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 45 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 46 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 46 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 47 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 47 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 48 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 48 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 49 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 49 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 50 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 50 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 51 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 51 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 52 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 52 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 53 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 53 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 54 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 54 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 55 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 55 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 56 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 56 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 57 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 57 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 58 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 58 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 59 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 59 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 60 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 60 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
|- bgcolor="#f1efe5" align="center" | |- bgcolor="#f1efe5" align="center" | ||
Line 186: | Line 186: | ||
<!-- -------------------------------------------------------------------------------------------- --> | <!-- -------------------------------------------------------------------------------------------- --> | ||
|- align="center" | |- align="center" | ||
- | | align="right" | 61 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 61 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 62 || {{n}} || {{y}} || {{n}} || {{n}} || {{y}} || | + | | align="right" | 62 || {{n}} || {{y}} || {{n}} || {{n}} || {{y}} || || || |
|- align="center" | |- align="center" | ||
- | | align="right" | 63 || {{y}} || {{y}} || {{y}} || {{n}} || {{y}} || | + | | align="right" | 63 || {{y}} || {{y}} || {{y}} || {{n}} || {{y}} || || || |
|- align="center" | |- align="center" | ||
- | | align="right" | 64 || {{n}} || {{n}} || {{n}} || {{n}} || {{n}} || | + | | align="right" | 64 || {{n}} || {{n}} || {{n}} || {{n}} || {{n}} || || || yes |
|- align="center" | |- align="center" | ||
- | | align="right" | 65 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 65 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 66 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 66 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 67 || {{n}} || {{y}} || {{n}} || {{n}} || {{n}} || yes || | + | | align="right" | 67 || {{n}} || {{y}} || {{n}} || {{n}} || {{n}} || yes || || |
|- align="center" | |- align="center" | ||
- | | align="right" | 68 || {{n}} || {{n}} || {{n}} || {{n}} || {{y}} || yes || | + | | align="right" | 68 || {{n}} || {{n}} || {{n}} || {{n}} || {{y}} || yes || || |
|- align="center" | |- align="center" | ||
- | | align="right" | 69 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 69 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 70 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 70 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 71 || {{n}} || {{n}} || {{n}} || {{n}} || {{n}} || | + | | align="right" | 71 || {{n}} || {{n}} || {{n}} || {{n}} || {{n}} || || || yes |
|- align="center" | |- align="center" | ||
- | | align="right" | 72 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 72 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 73 || {{n}} || {{n}} || {{n}} || {{n}} || {{n}} || | + | | align="right" | 73 || {{n}} || {{n}} || {{n}} || {{n}} || {{n}} || || || yes |
|- align="center" | |- align="center" | ||
- | | align="right" | 74 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 74 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 75 || {{n}} || {{n}} || {{n}} || {{n}} || {{n}} || | + | | align="right" | 75 || {{n}} || {{n}} || {{n}} || {{n}} || {{n}} || || || yes |
|- align="center" | |- align="center" | ||
- | | align="right" | 76 || {{n}} || {{n}} || {{n}} || {{n}} || {{n}} || | + | | align="right" | 76 || {{n}} || {{n}} || {{n}} || {{n}} || {{n}} || || || yes |
|- align="center" | |- align="center" | ||
- | | align="right" | 77 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 77 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 78 || {{n}} || {{n}} || {{n}} || {{n}} || {{n}} || | + | | align="right" | 78 || {{n}} || {{n}} || {{n}} || {{n}} || {{n}} || || || yes |
|- align="center" | |- align="center" | ||
- | | align="right" | 79 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || | + | | align="right" | 79 || {{y}} || {{y}} || {{y}} || {{y}} || {{y}} || || yes || |
|- align="center" | |- align="center" | ||
- | | align="right" | 80 || {{n}} || {{n}} || {{n}} || {{n}} || {{n}} || | + | | align="right" | 80 || {{n}} || {{n}} || {{n}} || {{n}} || {{n}} || || || yes |
|- align="center" | |- align="center" | ||
- | | align="right" | 81 || {{n}} || {{n}} || {{n}} || {{n}} || {{n}} || | + | | align="right" | 81 || {{n}} || {{n}} || {{n}} || {{n}} || {{n}} || || || yes |
|- bgcolor="#f1efe5" align="center" | |- bgcolor="#f1efe5" align="center" | ||
| align="right" | Total || 56 || 65 || 59 || 55 || 65 || 6 || 53 || 11 | | align="right" | Total || 56 || 65 || 59 || 55 || 65 || 6 || 53 || 11 | ||
|} | |} |
Revision as of 03:00, 13 April 2019
Summary of the Holland 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 70 of 81 levels.
All solvers 86%