SolverStatistics-Takaken-GroupEffort-Small-Set
From Sokoban Wiki
(Difference between revisions)
(Takaken results Group Effort small set) |
m |
||
| Line 1: | Line 1: | ||
;Program: Sokoban Automatic Solver Ver7.2.2 (JAN/2008) by Ken'ichiro Takahashi (Takaken) | ;Program: Sokoban Automatic Solver Ver7.2.2 (JAN/2008) by Ken'ichiro Takahashi (Takaken) | ||
;RAM: 1500 MiB | ;RAM: 1500 MiB | ||
| - | ;Computer: Intel(R) Core(TM) i5 6600K | + | ;Computer: Intel(R) Core(TM) i5 6600K @ 4.70 GHz, 32 GiB RAM |
;Solving method: Default settings | ;Solving method: Default settings | ||
;Time limit: 600 seconds = 10 minutes | ;Time limit: 600 seconds = 10 minutes | ||
Current revision as of 07:36, 10 December 2017
- Program
- Sokoban Automatic Solver Ver7.2.2 (JAN/2008) by Ken'ichiro Takahashi (Takaken)
- RAM
- 1500 MiB
- Computer
- Intel(R) Core(TM) i5 6600K @ 4.70 GHz, 32 GiB RAM
- Solving method
- Default settings
- Time limit
- 600 seconds = 10 minutes
# Sokoban Automatic Solver Ver7.2.2 (JAN/2008) by Takaken # Options: TimeLimit=600sec / Memory=1500MB / BeginEnd=On # LevelSetName = GroupEffort Small Set.sok (2017/11/28 18:45:49 Start) 1 [11*12( 7)] OK 1sec 570moves 194pushes 2 [11*11( 9)] OK 1sec 754moves 167pushes 3 [11*11( 8)] OK 4sec 714moves 214pushes 4 [10*11( 9)] OK 2sec 351moves 113pushes 5 [ 9*11( 9)] OK 1sec 400moves 98pushes 6 [ 9*13(11)] OK 0sec 190moves 40pushes 7 [10*10( 8)] OK 1sec 218moves 52pushes 8 [ 9*12(11)] OK 1sec 305moves 57pushes 9 [12*10( 9)] OK 1sec 380moves 84pushes 10 [ 9*11(10)] OK 1sec 546moves 130pushes 11 [12*12( 7)] OK 2sec 713moves 264pushes 12 [11*12( 8)] OK 2sec 993moves 244pushes 13 [10*12( 8)] OK 3sec 740moves 185pushes 14 [11* 9( 9)] OK 0sec 763moves 189pushes 15 [13*11( 8)] OK 2sec 669moves 173pushes 16 [ 9*12(10)] OK 1sec 483moves 90pushes 17 [12*10(10)] OK 0sec 345moves 85pushes 18 [ 9*11( 9)] OK 0sec 156moves 36pushes 19 [ 9*12(12)] OK 0sec 218moves 53pushes 20 [10*12( 9)] OK 1sec 524moves 82pushes 21 [ 8*11(10)] OK 1sec 247moves 55pushes 22 [10*10(10)] OK 0sec 125moves 27pushes 23 [11*11(10)] OK 0sec 252moves 36pushes 24 [15* 9(17)] OK 1sec 160moves 34pushes 25 [15* 9(19)] OK 4sec 349moves 52pushes 26 [10*10(10)] OK 0sec 253moves 54pushes 27 [ 9*11(10)] OK 0sec 289moves 66pushes 28 [10*11(10)] OK 1sec 232moves 67pushes 29 [ 9*11( 8)] OK 0sec 243moves 65pushes 30 [11*11(10)] OK 2sec 282moves 71pushes 31 [12*12(12)] OK 0sec 313moves 28pushes 32 [13*10(12)] OK 1sec 278moves 62pushes 33 [13* 9( 8)] OK 0sec 261moves 50pushes 34 [12*11( 8)] OK 1sec 368moves 116pushes 35 [14*11( 7)] OK 0sec 300moves 83pushes 36 [11* 9(14)] OK 1sec 292moves 52pushes 37 [12* 9(10)] OK 1sec 288moves 62pushes 38 [ 9*12(10)] OK 0sec 285moves 60pushes 39 [17*12( 7)] OK 5sec 623moves 147pushes 40 [17*12(10)] OK 0sec 267moves 48pushes 41 [15* 9( 9)] OK 0sec 262moves 50pushes 42 [10*10(20)] OK 1sec 83moves 22pushes 43 [10*10(14)] OK 0sec 310moves 66pushes 44 [10*10(16)] OK 1sec 164moves 16pushes 45 [11*11(12)] OK 1sec 163moves 58pushes 46 [13*13(16)] OK 1sec 286moves 54pushes 47 [ 9* 9(10)] OK 0sec 138moves 40pushes 48 [12*12(12)] OK 1sec 271moves 75pushes 49 [11*11(16)] OK 0sec 373moves 94pushes 50 [13*14( 8)] OK 9sec 804moves 197pushes 51 [13*13(12)] OK 2sec 451moves 84pushes 52 [16*16(16)] OK 3sec 185moves 52pushes 53 [20*10(10)] OK 1sec 325moves 92pushes 54 [ 8*22( 9)] OK 0sec 314moves 74pushes 55 [10*14(10)] OK 0sec 283moves 70pushes 56 [19*16(36)] OK 9sec 1266moves 146pushes 57 [11*10( 9)] OK 1sec 433moves 89pushes 58 [16*12(32)] OK 8sec 493moves 87pushes 59 [16*12(32)] OK 6sec 717moves 109pushes 60 [16*11(21)] OK 0sec 127moves 25pushes 61 [10*10(19)] OK 1sec 204moves 38pushes 62 [10*10(19)] OK 1sec 314moves 46pushes 63 [11*11(24)] X 85sec 64 [11*11(25)] X 81sec 65 [11*11(23)] OK 9sec 290moves 46pushes 66 [11*11(23)] OK 8sec 370moves 56pushes 67 [11*11(23)] OK 10sec 582moves 88pushes 68 [11*11(23)] OK 1sec 558moves 102pushes 69 [11*11(23)] OK 5sec 426moves 58pushes 70 [11*11(23)] OK 5sec 584moves 88pushes 71 [12*12(27)] OK 12sec 1008moves 104pushes 72 [11*11(21)] OK 2sec 154moves 20pushes 73 [12*12(25)] OK 2sec 264moves 42pushes 74 [11*11(25)] OK 0sec 127moves 14pushes 75 [19* 9(12)] OK 0sec 200moves 42pushes 76 [ 9*12( 9)] OK 0sec 168moves 60pushes 77 [11*11(30)] Ok 4sec 140moves 22pushes 78 [17*15(13)] OK 3sec 505moves 82pushes 79 [13* 9(21)] OK 4sec 129moves 30pushes 80 [11*11(21)] OK 2sec 590moves 66pushes 81 [11*11(21)] OK 0sec 79moves 24pushes 82 [15*12( 8)] OK 0sec 402moves 70pushes 83 [13*13(32)] OK 0sec 270moves 28pushes 84 [11* 7(14)] OK 0sec 187moves 48pushes 85 [11* 9(15)] OK 0sec 207moves 37pushes 86 [13*10(14)] OK 3sec 178moves 28pushes 87 [11* 8(14)] OK 1sec 238moves 54pushes 88 [11* 9(15)] OK 1sec 279moves 65pushes 89 [13*13(20)] X 111sec 90 [15*15( 8)] OK 1sec 510moves 46pushes 91 [13* 9(23)] OK 3sec 395moves 126pushes 92 [13*13(41)] OK 64sec 715moves 174pushes 93 [14*11(32)] OK 4sec 425moves 48pushes 94 [12*11(28)] Ok 94sec 279moves 30pushes 95 [12*11(30)] OK 6sec 111moves 21pushes 96 [12*11(29)] OK 6sec 648moves 65pushes 97 [11*11(27)] OK 4sec 304moves 48pushes 98 [11*11(28)] OK 7sec 227moves 47pushes 99 [14*11(31)] OK 1sec 580moves 84pushes 100 [ 9*12(16)] OK 1sec 254moves 36pushes 101 [13*13(24)] OK 1sec 212moves 38pushes 102 [10* 9(17)] OK 1sec 244moves 35pushes 103 [11* 9(19)] OK 0sec 83moves 22pushes 104 [11*11(24)] OK 5sec 225moves 38pushes 105 [13* 8(17)] OK 0sec 152moves 33pushes 106 [11*10(18)] OK 0sec 125moves 21pushes 107 [17* 9(25)] OK 0sec 187moves 36pushes 108 [15*15(35)] OK 6sec 991moves 154pushes 109 [ 9*15( 8)] OK 0sec 105moves 32pushes 110 [ 9* 9(15)] OK 0sec 215moves 38pushes 111 [12*12(13)] OK 1sec 343moves 52pushes 112 [ 9* 9(14)] OK 1sec 299moves 55pushes 113 [13*11(17)] OK 0sec 109moves 28pushes 114 [13*11(17)] OK 0sec 192moves 38pushes 115 [19*16(24)] OK 2sec 563moves 118pushes 116 [19*16( 8)] OK 0sec 884moves 54pushes 117 [13* 7(15)] OK 1sec 313moves 76pushes 118 [13* 7(14)] OK 1sec 167moves 28pushes 119 [10*10(12)] OK 0sec 197moves 35pushes 120 [10*10(11)] OK 0sec 220moves 37pushes 121 [10*10(18)] OK 1sec 165moves 30pushes 122 [10* 9(16)] OK 0sec 1048moves 220pushes 123 [10* 9(16)] OK 0sec 491moves 102pushes 124 [10* 9(16)] OK 2sec 168moves 26pushes 125 [10* 9(16)] OK 1sec 171moves 26pushes 126 [10* 9(16)] OK 1sec 161moves 26pushes 127 [10* 9(16)] OK 1sec 171moves 26pushes 128 [ 9* 9(10)] OK 1sec 154moves 47pushes 129 [13* 6(12)] OK 0sec 189moves 58pushes 130 [12*12(16)] OK 0sec 325moves 98pushes 131 [13* 6(12)] OK 0sec 240moves 78pushes 132 [13* 6(12)] OK 2sec 267moves 88pushes 133 [13* 6(11)] OK 0sec 261moves 68pushes 134 [13* 6(11)] OK 0sec 166moves 62pushes 135 [11* 9(18)] OK 0sec 167moves 28pushes 136 [15* 7( 8)] OK 1sec 223moves 71pushes 137 [14*14(28)] OK 22sec 368moves 134pushes 138 [13*13(29)] OK 4sec 388moves 50pushes 139 [13* 7(10)] OK 0sec 167moves 44pushes 140 [13* 7(10)] OK 0sec 171moves 47pushes 141 [11*13(29)] OK 0sec 276moves 34pushes 142 [11*13(27)] Ok 168sec 776moves 162pushes 143 [11*13(27)] Ok 114sec 590moves 110pushes 144 [11* 7(10)] OK 0sec 135moves 30pushes 145 [11*13(27)] Ok 269sec 524moves 104pushes 146 [13* 7(14)] OK 0sec 142moves 32pushes 147 [13* 7(14)] OK 1sec 108moves 30pushes 148 [13* 7(16)] OK 0sec 185moves 51pushes 149 [ 9* 9(11)] OK 0sec 425moves 98pushes 150 [ 8* 9(11)] OK 0sec 231moves 36pushes 151 [ 9* 9(13)] OK 1sec 702moves 126pushes 152 [ 7*13(15)] OK 2sec 318moves 77pushes 153 [ 9*11( 9)] OK 0sec 198moves 40pushes 154 [ 9*12(10)] OK 0sec 249moves 45pushes 155 [ 9*11(11)] OK 0sec 323moves 45pushes 156 [ 9* 9(16)] OK 0sec 99moves 28pushes 157 [11*13(12)] OK 1sec 335moves 80pushes 158 [11*13(12)] X 600sec 159 [11*13(14)] X 600sec 160 [ 9* 9(16)] OK 0sec 123moves 28pushes 161 [11*13(15)] X 600sec 162 [ 9* 9(15)] OK 0sec 177moves 38pushes 163 [11* 7(12)] OK 1sec 188moves 41pushes 164 [ 7*10(14)] OK 0sec 200moves 55pushes 165 [ 7* 9(10)] OK 1sec 180moves 48pushes 166 [11* 9( 9)] OK 0sec 143moves 40pushes 167 [13* 9(12)] OK 1sec 255moves 40pushes 168 [12* 9(12)] OK 1sec 180moves 34pushes 169 [11*11(12)] OK 28sec 291moves 28pushes 170 [ 9* 9(12)] OK 0sec 165moves 40pushes 171 [14*14(12)] OK 3sec 276moves 60pushes 172 [11*11(12)] OK 1sec 305moves 64pushes 173 [10* 9(14)] OK 0sec 140moves 44pushes 174 [10*10(10)] OK 0sec 264moves 58pushes 175 [12* 9(16)] OK 1sec 268moves 51pushes 176 [13*15(24)] OK 1sec 367moves 62pushes 177 [11*11(15)] OK 1sec 101moves 20pushes 178 [10*14(10)] OK 0sec 321moves 128pushes 179 [ 9*13(24)] OK 89sec 1050moves 119pushes 180 [ 9*11(14)] OK 0sec 140moves 31pushes 181 [ 9*10(14)] OK 0sec 229moves 28pushes 182 [11*11(24)] OK 5sec 970moves 125pushes 183 [ 9* 9(14)] OK 0sec 336moves 57pushes 184 [19*16( 8)] OK 0sec 444moves 41pushes 185 [11*11(28)] OK 6sec 322moves 50pushes 186 [13*12(43)] OK 2sec 70moves 21pushes 187 [14* 9(24)] OK 0sec 119moves 40pushes 188 [15* 9(26)] OK 0sec 174moves 54pushes 189 [15* 9(26)] OK 4sec 206moves 52pushes 190 [ 7*12(13)] OK 1sec 198moves 56pushes 191 [11*11(28)] X 600sec 192 [10*12(14)] OK 0sec 192moves 31pushes 193 [22* 6(12)] OK 1sec 324moves 60pushes 194 [11* 8(11)] OK 1sec 120moves 26pushes 195 [14* 9(25)] OK 1sec 255moves 55pushes 196 [13*11(12)] OK 9sec 203moves 40pushes 197 [13*11(12)] OK 23sec 336moves 84pushes 198 [13*11(14)] OK 14sec 306moves 58pushes 199 [14* 9(25)] OK 1sec 222moves 55pushes 200 [17* 9(25)] X 600sec ---------------- (2017/11/28 20:01:29 Finish) Solved = 192 Cancel(-) = 0 Failed(X) = 8 Skips (?) = 0 ---------------- Total = 200
