SolverStatistics-David Holland-Holland

From Sokoban Wiki

(Difference between revisions)
Jump to: navigation, search
(details for Holland and JSoko)
(update for JSoko Holland)
Line 1: Line 1:
-
JSoko version 1.35
+
;Program: JSoko 1.85
-
;RAM: 1500MiB (program started with java -Xmx1500m -jar JSokoApplication.jar)
+
;RAM for solver: 25 GB
-
;Computer: Samsung Aura Dillen Core 2 Duo T9300 (2,5 GHz), 3 GiB RAM
+
;Computer: Intel(R) Core(TM) i5-6600K CPU @ 4.5 GHz, 32 GiB RAM
-
;Solving method: "any solution"
+
;Solving method: Any solution solver
;Time limit: 600 seconds
;Time limit: 600 seconds
-
Results:
+
{| class="soko-table"
 +
|-
-
Level:  1 Title: Spade                                    | Moves:  391  | Pushes:  84  | Time: 18548.0
+
<!-- -------------------------------------------------------------------------------------------- -->
-
Level:  2 Title: ninevah                                  | Moves:  122  | Pushes:  31  | Time: 113.0 
+
! colspan="5" | Solver StatisticsJSoko - JSoko    Set: Holland results.txt
-
Level:  3 Title: CrissCross                                | Moves:  341  | Pushes:  77  | Time: 201.0 
+
|- bgcolor="#f1efe5" align="center"
-
Level:  4 Title: Carousel                                  | Moves:    0  | Pushes:  0  | Time: 600087.0
+
| width="135" align="left" | Level
-
Level:  5 Title: Pattern-oster                            | Moves:    0  | Pushes:  0  | Time: 600026.0
+
| width=" 65"              | Moves
-
Level:  6 Title: Saturnine                                | Moves:    0  | Pushes:  0  | Time: 600025.0
+
| width=" 65"              | Pushes
-
Level:  7 Title: briefcase alt 23                          | Moves:  490  | Pushes:  73  | Time: 303.0 
+
| width=" 65"              | Time
-
Level:  8 Title: Salamandar v3                            | Moves:    0  | Pushes:  0  | Time: 600087.0
+
| width=" 80"              | Result
-
Level:  9 Title: Abstract                                  | Moves:  376  | Pushes:  60  | Time: 530.0 
+
-
Level:  10 Title: Storm (in a teacup) v6                    | Moves:  605  | Pushes:  83  | Time: 1844.0 
+
-
Level:  11 Title: Meshed Squares                            | Moves:    0  | Pushes:  0  | Time: 599997.0
+
-
Level:  12 Title: Square version 3                          | Moves:  801  | Pushes: 128  | Time: 49929.0
+
-
Level:  13 Title: clover version 4                          | Moves:  426  | Pushes: 113  | Time: 30171.0
+
-
Level:  14 Title: prefab #5                                 | Moves: 525  | Pushes:  77  | Time: 197716.0
+
-
Level:  15 Title: Figure eight                              | Moves: 1171  | Pushes: 141  | Time: 10919.0
+
-
Level:  16 Title: Skewsymmetric pattern #6                  | Moves:    0  | Pushes:  0  | Time: 599997.0
+
-
Level:  17 Title: Butterfly #3                              | Moves: 1946  | Pushes: 317  | Time: 317824.0
+
-
Level:  18 Title: Crossed Swords version 10                | Moves:    0  | Pushes:  0  | Time: 600987.0
+
-
Level:  19 Title: interlocked goals                        | Moves:  753  | Pushes: 101  | Time: 16436.0
+
-
Level:  20 Title: Egg                                      | Moves:    0  | Pushes:  0  | Time: 599996.0
+
-
Level:  21 Title: ; small2                                  | Moves:  186  | Pushes:  42  | Time: 497.0 
+
-
Level:  22 Title: ; two piece7                              | Moves:  966  | Pushes: 165  | Time: 1841.0 
+
-
Level:  23 Title: ; four block1                            | Moves:    0  | Pushes:  0  | Time: 599995.0
+
-
Level:  24 Title: ; small cross9                            | Moves:  310  | Pushes:  62  | Time: 6090.0 
+
-
Level:  25 Title: ; bowtie3                                | Moves:    0  | Pushes:  0  | Time: 600088.0
+
-
Level:  26 Title: ; teapot3                                | Moves:  468  | Pushes:  73  | Time: 493.0 
+
-
Level:  27 Title: ; boxin10                                | Moves:  542  | Pushes:  59  | Time: 3075.0 
+
-
Level:  28 Title: ; slinky5                                | Moves:  235  | Pushes:  65   | Time: 27459.0
+
-
Level:  29 Title: ; fizzgig1                                | Moves:    0  | Pushes:  0  | Time: 600057.0
+
-
Level:  30 Title: ; diode1                                  | Moves:  493  | Pushes:  96  | Time: 795.0 
+
-
Level:  31 Title: ; line7                                  | Moves:    0  | Pushes:  0  | Time: 599995.0
+
-
Level:  32 Title: ; handsaw1                                | Moves:  158  | Pushes:  47  | Time: 263.0 
+
-
Level:  33 Title: ; raygun1                                | Moves:    0  | Pushes:  0  | Time: 599996.0
+
-
Level:  34 Title: ; seesaw8                                | Moves:  375  | Pushes:  70  | Time: 2298.0 
+
-
Level:  35 Title: ; tree12                                  | Moves:  758  | Pushes: 117  | Time: 34891.0
+
-
Level:  36 Title: ; torch1                                  | Moves:  249  | Pushes:  87  | Time: 1891.0 
+
-
Level:  37 Title: ; cross7                                  | Moves:    0  | Pushes:  0  | Time: 600027.0
+
-
Level:  38 Title: ; moebius1                                | Moves:  283  | Pushes:  68  | Time: 685.0 
+
-
Level:  39 Title: ; fork7                                  | Moves:  911  | Pushes: 141  | Time: 66372.0
+
-
Level:  40 Title: ; shuffle2                                | Moves:  320  | Pushes:  73  | Time: 539.0 
+
-
Level:  41 Title: ; loom1                                  | Moves:  242  | Pushes:  58  | Time: 314.0 
+
-
Level:  42 Title: ; pinwheel3                              | Moves:  300  | Pushes:  66  | Time: 300.0 
+
-
Level:  43 Title: ; fretsaw1                                | Moves:  629  | Pushes: 125  | Time: 4450.0 
+
-
Level:  44 Title: ; canine4                                | Moves:  520  | Pushes:  73  | Time: 676.0 
+
-
Level:  45 Title: ; notchwheel1                            | Moves:  254  | Pushes:  45  | Time: 552.0 
+
-
Level:  46 Title: ; quarkspin3                              | Moves:  195  | Pushes:  54  | Time: 312.0 
+
-
Level:  47 Title: ; osmosis1                                | Moves:  303  | Pushes:  45  | Time: 152.0 
+
-
Level:  48 Title: ; catkins5                                | Moves:  710  | Pushes:  95  | Time: 630.0 
+
-
Level:  49 Title: ; splittee1                              | Moves:  277  | Pushes:  60  | Time: 670.0 
+
-
Level:  50 Title: ; flagon1                                | Moves:  722  | Pushes: 130  | Time: 1498.0 
+
-
Level:  51 Title: ; shuffle1                                | Moves:  190  | Pushes:  55  | Time: 461.0 
+
-
Level:  52 Title: ; bigt2                                  | Moves:  307  | Pushes:  45  | Time: 320.0 
+
-
Level:  53 Title: ; gyroscope2                              | Moves:  230  | Pushes:  42  | Time: 130.0 
+
-
Level:  54 Title: ; moebius2                                | Moves:  330  | Pushes:  74  | Time: 389.0 
+
-
Level:  55 Title: ; boomerang5                              | Moves:  323  | Pushes:  91  | Time: 1467.0 
+
-
Level:  56 Title: ; clasp1                                  | Moves:  325  | Pushes:  57  | Time: 838.0 
+
-
Level:  57 Title: ; heart4                                  | Moves:  401  | Pushes:  81  | Time: 6075.0 
+
-
Level:  58 Title: ; cossack2                                | Moves:  251  | Pushes:  57  | Time: 364.0 
+
-
Level:  59 Title: ; space invader1                          | Moves:  156  | Pushes:  47  | Time: 313.0 
+
-
Level:  60 Title: ; bola1                                  | Moves:  372  | Pushes:  76  | Time: 24515.0
+
-
Level:  61 Title: ; Maelstrom Collection #1                | Moves:  707  | Pushes: 120  | Time: 267813.0
+
-
Level:  62 Title: ; Maelstrom Collection #2                | Moves:    0  | Pushes:  0  | Time: 599997.0
+
-
Level:  63 Title: ; Maelstrom Collection #3                | Moves:    0  | Pushes:  0  | Time: 599997.0
+
-
Level:  64 Title: ; Maelstrom Collection #4                | Moves:    0  | Pushes:  0  | Time: 600002.0
+
-
Level:  65 Title: ; Maelstrom Collection #5                | Moves: 1675  | Pushes: 223  | Time: 106468.0
+
-
Level:  66 Title: ; Maelstrom Collection #6                | Moves:  449  | Pushes:  64  | Time: 144.0 
+
-
Level:  67 Title: ; Maelstrom Collection #7                | Moves:    0  | Pushes:  0  | Time: 600027.0
+
-
Level:  68 Title: ; Maelstrom Collection #8                | Moves:    0  | Pushes:  0  | Time: 600035.0
+
-
Level:  69 Title: ; Maelstrom Collection #9                | Moves:  560  | Pushes:  96  | Time: 1640.0 
+
-
Level:  70 Title: ; Maelstrom Collection #9 variant        | Moves:  698  | Pushes: 122  | Time: 1035.0 
+
-
Level:  71 Title: ; Maelstrom Collection #10                | Moves:    0  | Pushes:  0  | Time: 600210.0
+
-
Level:  72 Title: ; Maelstrom Collection #11                | Moves:  104  | Pushes:  34  | Time: 240.0 
+
-
Level:  73 Title: ; Maelstrom Collection #12                | Moves:    0  | Pushes:  0  | Time: 602945.0
+
-
Level:  74 Title: ; Maelstrom Collection #13                | Moves:  267  | Pushes:  47  | Time: 70.0   
+
-
Level:  75 Title: ; Maelstrom Collection #14                | Moves:    0  | Pushes:  0  | Time: 600095.0
+
-
Level:  76 Title: ; Maelstrom Collection #15                | Moves:    0  | Pushes:  0  | Time: 600035.0
+
-
Level:  77 Title: ; Maelstrom Collection #16                | Moves:  267  | Pushes:  65   | Time: 2210.0 
+
-
Level:  78 Title: ; Maelstrom Collection #17                | Moves:    0  | Pushes:  0  | Time: 600030.0
+
-
Level:  79 Title: ; Maelstrom Collection #18                | Moves:  182  | Pushes:  37  | Time: 190.0 
+
-
Level:  80 Title: ; Maelstrom Collection #19                | Moves:    0  | Pushes:  0  | Time: 600035.0
+
-
Level:  81 Title: ; Maelstrom Collection #20                | Moves:    0  | Pushes:  0  | Time: 600015.0
+
-
  Total solved levels: 55
+
<!-- -------------------------------------------------------------------------------------------- -->
-
  Total: Moves = 26147 Pushes = 4634 Positions = 6636680 Time: 16820742
+
|- align="right"
 +
| style="text-align:left;" |    1 - Spade                                      ||    391    ||    84 ||      2.5 || style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |    2 - ninevah                                    ||    122    ||    31 ||      0.0 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |    3 - CrissCross                                ||    419    ||    87 ||      0.1 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |    4 - Carousel                                  ||            ||        ||    600.1 ||  style="text-align:right;" |          not solved
 +
|- align="right"
 +
| style="text-align:left;" |    5 - Pattern-oster                              ||            ||        ||    600.1 ||  style="text-align:right;" |          not solved
 +
|- align="right"
 +
| style="text-align:left;" |    6 - Saturnine                                  ||            ||        ||    600.1 ||  style="text-align:right;" |          not solved
 +
|- align="right"
 +
| style="text-align:left;" |    7 - briefcase alt 23                          ||    454    ||    67 ||      0.0 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |    8 - Salamandar v3                              ||            ||        ||    600.1 ||  style="text-align:right;" |          not solved
 +
|- align="right"
 +
| style="text-align:left;" |    9 - Abstract                                  ||    376    ||    60 ||      0.1 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  10 - Storm (in a teacup) v6                    ||    605    ||    83 ||      0.3 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  11 - Meshed Squares                            ||            ||        ||    600.0 ||  style="text-align:right;" |          not solved
 +
|- align="right"
 +
| style="text-align:left;" |  12 - Square version 3                          ||    811    ||    130 ||    11.2 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  13 - clover version 4                          ||    426    ||    113 ||      5.8 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  14 - prefab #5                                  ||    513    ||    75 ||    82.6 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  15 - Figure eight                              ||  1147    ||    137 ||      2.6 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  16 - Skewsymmetric pattern #6                  ||            ||        ||    600.0 ||  style="text-align:right;" |          not solved
 +
|- align="right"
 +
| style="text-align:left;" |  17 - Butterfly #3                              ||  3584    ||    513 ||    216.8 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  18 - Crossed Swords version 10                  ||            ||        ||    600.1 ||  style="text-align:right;" |          not solved
 +
|- align="right"
 +
| style="text-align:left;" |  19 - interlocked goals                          ||    705    ||    99 ||      3.7 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  20 - Egg                                        ||            ||        ||    600.1 ||  style="text-align:right;" |          not solved
 +
|- align="right"
 +
| style="text-align:left;" |  21 - ; small2                                  ||    186    ||    42 ||      0.1 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  22 - ; two piece7                              ||    966    ||    165 ||      0.7 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  23 - ; four block1                              ||            ||        ||    600.1 ||  style="text-align:right;" |          not solved
 +
|- align="right"
 +
| style="text-align:left;" |  24 - ; small cross9                            ||    310    ||    62 ||      1.5 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  25 - ; bowtie3                                  ||            ||        ||    600.2 ||  style="text-align:right;" |          not solved
 +
|- align="right"
 +
| style="text-align:left;" |  26 - ; teapot3                                  ||    468    ||    73 ||      0.1 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  27 - ; boxin10                                  ||    546    ||    57 ||      0.3 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  28 - ; slinky5                                  ||    223    ||    65 ||    17.4 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  29 - ; fizzgig1                                ||            ||        ||    600.0 ||  style="text-align:right;" |          not solved
 +
|- align="right"
 +
| style="text-align:left;" |  30 - ; diode1                                  ||    493    ||    96 ||      0.1 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  31 - ; line7                                    ||            ||        ||    600.0 ||  style="text-align:right;" |          not solved
 +
|- align="right"
 +
| style="text-align:left;" |  32 - ; handsaw1                                ||    158    ||    47 ||      0.0 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  33 - ; raygun1                                  ||            ||        ||    600.0 ||  style="text-align:right;" |          not solved
 +
|- align="right"
 +
| style="text-align:left;" |  34 - ; seesaw8                                  ||    375    ||    70 ||      0.4 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  35 - ; tree12                                  ||    710    ||    113 ||    18.0 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  36 - ; torch1                                  ||    249    ||    87 ||      0.2 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  37 - ; cross7                                  ||            ||        ||    600.1 ||  style="text-align:right;" |          not solved
 +
|- align="right"
 +
| style="text-align:left;" |  38 - ; moebius1                                ||    283    ||    68 ||      0.2 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  39 - ; fork7                                    ||    923    ||    137 ||    12.0 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  40 - ; shuffle2                                ||    320    ||    77 ||      0.1 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  41 - ; loom1                                    ||    242    ||    58 ||      0.0 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  42 - ; pinwheel3                                ||    300    ||    66 ||      0.0 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  43 - ; fretsaw1                                ||    629    ||    125 ||      0.6 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  44 - ; canine4                                  ||    520    ||    73 ||      0.1 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  45 - ; notchwheel1                              ||    254    ||    45 ||      0.3 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  46 - ; quarkspin3                              ||    195    ||    54 ||      0.0 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  47 - ; osmosis1                                ||    303    ||    45 ||      0.2 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  48 - ; catkins5                                ||    710    ||    95 ||      0.1 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  49 - ; splittee1                                ||    277    ||    60 ||      0.1 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  50 - ; flagon1                                  ||    722    ||    130 ||      0.3 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  51 - ; shuffle1                                ||    190    ||    55 ||      0.0 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  52 - ; bigt2                                    ||    307    ||    45 ||      0.0 || style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  53 - ; gyroscope2                              ||    230    ||    42 ||      0.0 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  54 - ; moebius2                                ||    330    ||    74 ||      0.1 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  55 - ; boomerang5                              ||    323    ||    91 ||      0.3 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  56 - ; clasp1                                  ||    327    ||    59 ||      0.1 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  57 - ; heart4                                  ||    401    ||    81 ||      0.9 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  58 - ; cossack2                                ||    251    ||    57 ||      0.0 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  59 - ; space invader1                          ||    156    ||    47 ||      0.0 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  60 - ; bola1                                    ||    372    ||    76 ||      4.1 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  61 - ; Maelstrom Collection #1                  ||    707    ||    120 ||    27.8 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  62 - ; Maelstrom Collection #2                  ||            ||        ||    600.0 ||  style="text-align:right;" |          not solved
 +
|- align="right"
 +
| style="text-align:left;" |  63 - ; Maelstrom Collection #3                  ||            ||        ||    600.1 ||  style="text-align:right;" |          not solved
 +
|- align="right"
 +
| style="text-align:left;" |  64 - ; Maelstrom Collection #4                  ||            ||        ||    600.0 ||  style="text-align:right;" |          not solved
 +
|- align="right"
 +
| style="text-align:left;" |  65 - ; Maelstrom Collection #5                  ||  1675    ||    223 ||    29.6 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  66 - ; Maelstrom Collection #6                  ||    449    ||    64 ||      0.0 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  67 - ; Maelstrom Collection #7                  ||            ||        ||    600.5 ||  style="text-align:right;" |          not solved
 +
|- align="right"
 +
| style="text-align:left;" |  68 - ; Maelstrom Collection #8                  ||            ||        ||    600.1 ||  style="text-align:right;" |          not solved
 +
|- align="right"
 +
| style="text-align:left;" |  69 - ; Maelstrom Collection #9                  ||    560    ||    96 ||      0.2 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  70 - ; Maelstrom Collection #9 variant          ||    698    ||    122 ||      0.2 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  71 - ; Maelstrom Collection #10                ||            ||        ||    600.0 ||  style="text-align:right;" |          not solved
 +
|- align="right"
 +
| style="text-align:left;" |  72 - ; Maelstrom Collection #11                ||    104    ||    34 ||      0.0 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  73 - ; Maelstrom Collection #12                ||            ||        ||    600.2 ||  style="text-align:right;" |          not solved
 +
|- align="right"
 +
| style="text-align:left;" |  74 - ; Maelstrom Collection #13                ||    267    ||    47 ||      0.0 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  75 - ; Maelstrom Collection #14                ||            ||        ||    600.2 ||  style="text-align:right;" |          not solved
 +
|- align="right"
 +
| style="text-align:left;" |  76 - ; Maelstrom Collection #15                ||            ||        ||    600.0 ||  style="text-align:right;" |          not solved
 +
|- align="right"
 +
| style="text-align:left;" |  77 - ; Maelstrom Collection #16                ||    267    ||    65 ||      0.4 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  78 - ; Maelstrom Collection #17                ||            ||        ||    600.0 ||  style="text-align:right;" |          not solved
 +
|- align="right"
 +
| style="text-align:left;" |  79 - ; Maelstrom Collection #18                ||    182    ||    37 ||      0.0 ||  style="text-align:right;" |              solved
 +
|- align="right"
 +
| style="text-align:left;" |  80 - ; Maelstrom Collection #19                ||            ||        ||  71533.9 ||  style="text-align:right;" |          not solved
 +
|- align="right"
 +
| style="text-align:left;" |  81 - ; Maelstrom Collection #20                ||            ||        ||    600.1 ||  style="text-align:right;" |          not solved
 +
|}
 +
Total solved: 55

Revision as of 17:47, 25 April 2019

Program
JSoko 1.85
RAM for solver
25 GB
Computer
Intel(R) Core(TM) i5-6600K CPU @ 4.5 GHz, 32 GiB RAM
Solving method
Any solution solver
Time limit
600 seconds
Solver StatisticsJSoko - JSoko Set: Holland results.txt
Level Moves Pushes Time Result
1 - Spade 391 84 2.5 solved
2 - ninevah 122 31 0.0 solved
3 - CrissCross 419 87 0.1 solved
4 - Carousel 600.1 not solved
5 - Pattern-oster 600.1 not solved
6 - Saturnine 600.1 not solved
7 - briefcase alt 23 454 67 0.0 solved
8 - Salamandar v3 600.1 not solved
9 - Abstract 376 60 0.1 solved
10 - Storm (in a teacup) v6 605 83 0.3 solved
11 - Meshed Squares 600.0 not solved
12 - Square version 3 811 130 11.2 solved
13 - clover version 4 426 113 5.8 solved
14 - prefab #5 513 75 82.6 solved
15 - Figure eight 1147 137 2.6 solved
16 - Skewsymmetric pattern #6 600.0 not solved
17 - Butterfly #3 3584 513 216.8 solved
18 - Crossed Swords version 10 600.1 not solved
19 - interlocked goals 705 99 3.7 solved
20 - Egg 600.1 not solved
21 - ; small2 186 42 0.1 solved
22 - ; two piece7 966 165 0.7 solved
23 - ; four block1 600.1 not solved
24 - ; small cross9 310 62 1.5 solved
25 - ; bowtie3 600.2 not solved
26 - ; teapot3 468 73 0.1 solved
27 - ; boxin10 546 57 0.3 solved
28 - ; slinky5 223 65 17.4 solved
29 - ; fizzgig1 600.0 not solved
30 - ; diode1 493 96 0.1 solved
31 - ; line7 600.0 not solved
32 - ; handsaw1 158 47 0.0 solved
33 - ; raygun1 600.0 not solved
34 - ; seesaw8 375 70 0.4 solved
35 - ; tree12 710 113 18.0 solved
36 - ; torch1 249 87 0.2 solved
37 - ; cross7 600.1 not solved
38 - ; moebius1 283 68 0.2 solved
39 - ; fork7 923 137 12.0 solved
40 - ; shuffle2 320 77 0.1 solved
41 - ; loom1 242 58 0.0 solved
42 - ; pinwheel3 300 66 0.0 solved
43 - ; fretsaw1 629 125 0.6 solved
44 - ; canine4 520 73 0.1 solved
45 - ; notchwheel1 254 45 0.3 solved
46 - ; quarkspin3 195 54 0.0 solved
47 - ; osmosis1 303 45 0.2 solved
48 - ; catkins5 710 95 0.1 solved
49 - ; splittee1 277 60 0.1 solved
50 - ; flagon1 722 130 0.3 solved
51 - ; shuffle1 190 55 0.0 solved
52 - ; bigt2 307 45 0.0 solved
53 - ; gyroscope2 230 42 0.0 solved
54 - ; moebius2 330 74 0.1 solved
55 - ; boomerang5 323 91 0.3 solved
56 - ; clasp1 327 59 0.1 solved
57 - ; heart4 401 81 0.9 solved
58 - ; cossack2 251 57 0.0 solved
59 - ; space invader1 156 47 0.0 solved
60 - ; bola1 372 76 4.1 solved
61 - ; Maelstrom Collection #1 707 120 27.8 solved
62 - ; Maelstrom Collection #2 600.0 not solved
63 - ; Maelstrom Collection #3 600.1 not solved
64 - ; Maelstrom Collection #4 600.0 not solved
65 - ; Maelstrom Collection #5 1675 223 29.6 solved
66 - ; Maelstrom Collection #6 449 64 0.0 solved
67 - ; Maelstrom Collection #7 600.5 not solved
68 - ; Maelstrom Collection #8 600.1 not solved
69 - ; Maelstrom Collection #9 560 96 0.2 solved
70 - ; Maelstrom Collection #9 variant 698 122 0.2 solved
71 - ; Maelstrom Collection #10 600.0 not solved
72 - ; Maelstrom Collection #11 104 34 0.0 solved
73 - ; Maelstrom Collection #12 600.2 not solved
74 - ; Maelstrom Collection #13 267 47 0.0 solved
75 - ; Maelstrom Collection #14 600.2 not solved
76 - ; Maelstrom Collection #15 600.0 not solved
77 - ; Maelstrom Collection #16 267 65 0.4 solved
78 - ; Maelstrom Collection #17 600.0 not solved
79 - ; Maelstrom Collection #18 182 37 0.0 solved
80 - ; Maelstrom Collection #19 71533.9 not solved
81 - ; Maelstrom Collection #20 600.1 not solved

Total solved: 55

Personal tools