SolverStatistics-Takaken-GroupEffort-Small-Set

From Sokoban Wiki

Jump to: navigation, search
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

Personal tools