HOIRESTART + g (tt) HOIRESTART + g (ttef(c)) HOIRESTART + g (ttef)
Avg. runtime compare 0.16125 sec (#40) 0.02225 sec (#40) 0.0245 sec (#40)
Avg. Fails compare 2568.8 Fails (#40) 370.625 Fails (#40) 269.475 Fails (#40)
Avg. runtime solved 0.16125 sec (#40) 0.02225 sec (#40) 0.0245 sec (#40)
Avg. Fails solved 2568.8 Fails (#40) 370.625 Fails (#40) 269.475 Fails (#40)
Avg. runtime all 0.16125 sec (#40) 0.02225 sec (#40) 0.0245 sec (#40)
Avg. Fails all 2568.8 Fails (#40) 370.625 Fails (#40) 269.475 Fails (#40)
Problem HOTRESTART + g (tt) HOTRESTART + g (ttef(c)) HOTRESTART + g (ttef)
LBUBRun timeFails LBUBRun timeFails LBUBRun timeFails
BL20_01 16160.01s298 16160.00s48 16160.00s48
BL20_02 16160.02s718 16160.01s46 16160.00s46
BL20_03 15150.04s1017 15150.03s628 15150.04s505
BL20_04 18180.00s151 18180.01s116 18180.01s106
BL20_05 19190.28s6946 19190.17s3089 19190.15s1806
BL20_06 16160.01s123 16160.01s20 16160.00s20
BL20_07 19190.04s809 19190.06s883 19190.05s540
BL20_08 20200.03s713 20200.00s90 20200.01s87
BL20_09 14140.02s431 14140.01s20 14140.01s20
BL20_10 16160.02s361 16160.01s39 16160.01s37
BL20_11 17170.00s153 17170.00s108 17170.01s107
BL20_12 18180.01s420 18180.01s312 18180.02s280
BL20_13 17170.02s531 17170.01s58 17170.01s54
BL20_14 18180.23s5899 18180.01s324 18180.02s328
BL20_15 13130.02s296 13130.00s122 13130.00s111
BL20_16 19190.04s1157 19190.04s690 19190.02s311
BL20_17 15150.13s3927 15150.00s35 15150.00s35
BL20_18 18180.03s706 18180.01s67 18180.01s45
BL20_19 14140.01s230 14140.00s20 14140.00s20
BL20_20 15150.01s421 15150.01s117 15150.02s105
BL25_01 27270.09s1862 27270.05s718 27270.05s435
BL25_02 29290.03s889 29290.03s663 29290.06s611
BL25_03 23230.05s975 23230.01s283 23230.03s373
BL25_04 22220.01s162 22220.00s147 22220.00s110
BL25_05 28280.01s303 28280.01s208 28280.02s179
BL25_06 33330.02s275 33330.00s55 33330.01s42
BL25_07 26264.33s53676 26260.00s199 26260.02s150
BL25_08 24240.00s149 24240.01s129 24240.01s122
BL25_09 27270.02s354 27270.02s264 27270.03s241
BL25_10 23230.02s273 23230.02s196 23230.02s185
BL25_11 24240.04s671 24240.02s349 24240.02s261
BL25_12 30300.64s12837 30300.14s2096 30300.15s1683
BL25_13 17170.02s286 17170.01s59 17170.01s53
BL25_14 30300.01s121 30300.01s118 30300.02s118
BL25_15 20200.01s261 20200.00s258 20200.02s179
BL25_16 20200.02s246 20200.02s241 20200.02s188
BL25_17 26260.02s440 26260.01s99 26260.02s95
BL25_18 23230.04s925 23230.04s622 23230.03s549
BL25_19 23230.05s961 23230.04s461 23230.01s172
BL25_20 28280.05s1779 28280.05s828 28280.04s422