HOIRESTART + g (tt) HOIRESTART + g (ttef(c)) HOIRESTART + g (ttef)
Avg. runtime compare 1.82149 sec (#429) 1.99897 sec (#429) 3.04012 sec (#429)
Avg. Fails compare 5798.77 Fails (#429) 4860.08 Fails (#429) 5191.11 Fails (#429)
Avg. runtime solved 2.0164 sec (#430) 3.56118 sec (#431) 5.46329 sec (#432)
Avg. Fails solved 6278.25 Fails (#430) 7172.53 Fails (#431) 8022.41 Fails (#432)
Avg. runtime all 64.2526 sec (#480) 64.3946 sec (#480) 64.8675 sec (#480)
Avg. Fails all 93164.5 Fails (#480) 80845.7 Fails (#480) 62534.3 Fails (#480)
Problem Previously best HOTRESTART + g (tt) HOTRESTART + g (ttef(c)) HOTRESTART + g (ttef)
LB UB LBUBRun timeFails LBUBRun timeFails LBUBRun timeFails
J60_1_1 7777 77770.02s113 77770.00s113 77770.02s113
J60_1_2 6868 68680.01s220 68680.01s220 68680.02s220
J60_1_3 6868 68680.01s157 68680.01s157 68680.02s157
J60_1_4 9191 91910.00s197 91910.02s197 91910.02s197
J60_1_5 7373 73730.00s261 73730.02s261 73730.01s261
J60_1_6 6666 66660.01s368 66660.02s368 66660.03s368
J60_1_7 7272 72720.03s459 72720.03s459 72720.04s459
J60_1_8 7575 75750.00s172 75750.02s172 75750.01s172
J60_1_9 8585 85850.01s111 85850.00s111 85850.01s111
J60_1_10 8080 80800.00s91 80800.01s91 80800.01s91
J60_2_1 6565 65650.00s60 65650.01s60 65650.01s60
J60_2_2 8282 82820.00s84 82820.01s84 82820.01s84
J60_2_3 7878 78780.00s60 78780.01s60 78780.00s60
J60_2_4 7878 78780.01s97 78780.00s97 78780.00s97
J60_2_5 5454 54540.00s159 54540.00s159 54540.02s159
J60_2_6 6464 64640.01s76 64640.01s76 64640.01s76
J60_2_7 5353 53530.01s76 53530.01s76 53530.00s76
J60_2_8 6666 66660.01s130 66660.02s130 66660.02s130
J60_2_9 6565 65650.01s115 65650.01s115 65650.01s115
J60_2_10 6969 69690.01s123 69690.01s123 69690.02s123
J60_3_1 6060 60600.00s60 60600.01s60 60600.01s60
J60_3_2 6969 69690.01s60 69690.01s60 69690.01s60
J60_3_3 105105 1051050.01s60 1051050.01s60 1051050.01s60
J60_3_4 8181 81810.00s63 81810.01s63 81810.01s63
J60_3_5 8383 83830.00s60 83830.01s60 83830.01s60
J60_3_6 5757 57570.01s128 57570.01s128 57570.01s128
J60_3_7 5959 59590.00s60 59590.01s60 59590.01s60
J60_3_8 5555 55550.01s178 55550.01s178 55550.01s178
J60_3_9 6767 67670.01s60 67670.01s60 67670.01s60
J60_3_10 6969 69690.01s111 69690.00s111 69690.01s111
J60_4_1 8484 84840.01s60 84840.01s60 84840.01s60
J60_4_2 6060 60600.00s60 60600.00s60 60600.01s60
J60_4_3 5858 58580.00s60 58580.01s60 58580.01s60
J60_4_4 6565 65650.00s60 65650.01s60 65650.01s60
J60_4_5 7575 75750.01s60 75750.01s60 75750.00s60
J60_4_6 7171 71710.01s60 71710.01s60 71710.01s60
J60_4_7 6767 67670.00s60 67670.01s60 67670.01s60
J60_4_8 6565 65650.00s60 65650.00s60 65650.01s60
J60_4_9 7575 75750.01s60 75750.00s60 75750.00s60
J60_4_10 7777 77770.01s60 77770.00s60 77770.01s60
J60_5_1 7676 76761.04s8632 76762.39s12414 76762.08s8104
J60_5_2 106106 1061061.50s11156 1061061.65s7913 1061061.75s6164
J60_5_3 8080 80800.34s3106 80800.71s4120 80800.94s3831
J60_5_4 7272 72721.59s12963 72722.27s11761 72723.36s12754
J60_5_5 108108 1081080.75s6101 1081081.02s5433 1081081.45s5982
J60_5_6 7474 74740.13s1249 74740.19s1122 74740.22s997
J60_5_7 7575 75754.55s30837 75756.82s31225 75758.91s31320
J60_5_8 7878 78780.13s1268 78780.17s1118 78780.24s1143
J60_5_9 8383 83830.04s470 83830.05s443 83830.08s443
J60_5_10 8181 8181199.20s446272 818136.77s124212 818178.61s156538
J60_6_1 6060 60600.00s104 60600.01s104 60600.02s104
J60_6_2 6767 67670.02s251 67670.03s251 67670.02s251
J60_6_3 7272 72720.01s130 72720.01s130 72720.02s130
J60_6_4 6767 67670.01s60 67670.02s60 67670.02s60
J60_6_5 7878 78780.02s183 78780.02s183 78780.02s183
J60_6_6 5555 55550.03s300 55550.03s300 55550.04s303
J60_6_7 6161 61610.02s225 61610.02s225 61610.03s225
J60_6_8 7272 72720.00s60 72720.01s60 72720.01s60
J60_6_9 6464 64640.01s60 64640.02s60 64640.01s60
J60_6_10 7474 74740.00s60 74740.01s60 74740.01s60
J60_7_1 7777 77770.00s60 77770.00s60 77770.02s60
J60_7_2 8585 85850.00s60 85850.01s60 85850.01s60
J60_7_3 6262 62620.01s60 62620.01s60 62620.00s60
J60_7_4 6363 63630.00s92 63630.01s92 63630.01s92
J60_7_5 7171 71710.01s102 71710.01s102 71710.01s102
J60_7_6 6565 65650.02s99 65650.02s99 65650.02s99
J60_7_7 8989 89890.01s60 89890.01s60 89890.02s60
J60_7_8 6666 66660.02s70 66660.02s70 66660.02s70
J60_7_9 4444 44440.01s133 44440.02s133 44440.02s133
J60_7_10 8282 82820.00s60 82820.01s60 82820.01s60
J60_8_1 6464 64640.01s60 64640.01s60 64640.00s60
J60_8_2 6161 61610.00s60 61610.00s60 61610.01s60
J60_8_3 7979 79790.01s60 79790.01s60 79790.01s60
J60_8_4 6464 64640.01s60 64640.01s60 64640.01s60
J60_8_5 8383 83830.01s60 83830.01s60 83830.01s60
J60_8_6 5656 56560.01s60 56560.01s60 56560.01s60
J60_8_7 6262 62620.00s60 62620.00s60 62620.02s60
J60_8_8 6666 66660.01s60 66660.01s60 66660.01s60
J60_8_9 5858 58580.02s60 58580.00s60 58580.01s60
J60_8_10 9797 97970.01s60 97970.02s60 97970.01s60
J60_9_1 8487 -88Time Out799708-88Time Out734266 -87Time Out564790
J60_9_2 8282 828268.14s208415 8282113.76s241245 828291.13s164395
J60_9_3 99100 -101Time Out755250-100Time Out689671 -100Time Out614192
J60_9_4 8787 87871.59s10431 87873.09s11052 87874.36s10411
J60_9_5 8085 -88Time Out736108-88Time Out821809 -88Time Out689479
J60_9_6 105111 -112Time Out790893-112Time Out749206 -113Time Out644815
J60_9_7 102109 -111Time Out822570-113Time Out814876 -115Time Out592431
J60_9_8 9496 -96Time Out766986-97Time Out720106 -96Time Out640279
J60_9_9 9899 -101Time Out716761-100Time Out664773 -101Time Out542709
J60_9_10 8893 -94Time Out822065-95Time Out785517 -94Time Out629449
J60_10_1 8585 85850.02s118 85850.03s118 85850.04s118
J60_10_2 6262 62620.00s114 62620.03s114 62620.03s114
J60_10_3 7272 72720.01s101 72720.02s101 72720.01s101
J60_10_4 8080 80800.01s190 80800.02s190 80800.02s190
J60_10_5 7979 79790.01s183 79790.03s183 79790.04s183
J60_10_6 6767 67670.03s240 67670.04s240 67670.04s240
J60_10_7 6969 69690.03s172 69690.03s173 69690.04s173
J60_10_8 6565 65650.02s157 65650.03s157 65650.04s156
J60_10_9 7373 73730.05s365 73730.07s359 73730.07s353
J60_10_10 7373 73730.01s60 73730.01s60 73730.01s60
J60_11_1 7171 71710.01s60 71710.01s60 71710.01s60
J60_11_2 6161 61610.02s126 61610.02s126 61610.03s126
J60_11_3 7676 76760.00s60 76760.02s60 76760.02s60
J60_11_4 6969 69690.02s84 69690.02s84 69690.03s84
J60_11_5 6565 65650.01s60 65650.02s60 65650.02s60
J60_11_6 7070 70700.02s88 70700.02s88 70700.03s88
J60_11_7 7070 70700.02s60 70700.00s60 70700.02s60
J60_11_8 6969 69690.01s60 69690.01s60 69690.02s60
J60_11_9 6262 62620.02s71 62620.01s71 62620.02s71
J60_11_10 5858 58580.02s101 58580.02s101 58580.03s101
J60_12_1 5959 59590.02s60 59590.02s60 59590.00s60
J60_12_2 5858 58580.00s60 58580.02s60 58580.00s60
J60_12_3 7575 75750.01s60 75750.01s60 75750.01s60
J60_12_4 6969 69690.01s60 69690.01s60 69690.01s60
J60_12_5 6363 63630.00s60 63630.02s60 63630.01s60
J60_12_6 5454 54540.02s60 54540.02s60 54540.02s60
J60_12_7 7171 71710.01s60 71710.01s60 71710.01s60
J60_12_8 6060 60600.00s60 60600.01s60 60600.02s60
J60_12_9 5959 59590.01s60 59590.02s60 59590.02s60
J60_12_10 7979 79790.02s60 79790.00s60 79790.00s60
J60_13_1 104112 -116Time Out856676-115Time Out745454 -117Time Out601136
J60_13_2 102106 -111Time Out912690-109Time Out814890 -109Time Out582858
J60_13_3 8388 -92Time Out944972-98Time Out623195 -98Time Out397070
J60_13_4 97103 -107Time Out936652-107Time Out731013 -109Time Out489309
J60_13_5 9297 -102Time Out917457-102Time Out821978 -102Time Out597367
J60_13_6 9194 -98Time Out909995-101Time Out789408 -98Time Out577163
J60_13_7 8187 -90Time Out921388-93Time Out689178 -91Time Out408801
J60_13_8 114120 -126Time Out768654-127Time Out864172 -125Time Out611079
J60_13_9 95102 -106Time Out893608-106Time Out732474 -106Time Out617545
J60_13_10 112117 -125Time Out892555-124Time Out852319 -124Time Out576231
J60_14_1 6161 61615.38s24215 616110.72s26917 616114.21s24160
J60_14_2 6565 65650.02s99 65650.03s99 65650.04s99
J60_14_3 6161 616185.63s211976 -62Time Out654637 6161214.98s248652
J60_14_4 6565 65652.12s9651 65650.36s903 65651.40s2633
J60_14_5 5959 59590.02s148 59590.04s148 59590.04s148
J60_14_6 6565 65650.02s77 65650.03s77 65650.03s77
J60_14_7 6969 69690.01s80 69690.03s80 69690.04s80
J60_14_8 8888 88880.02s129 88880.03s129 88880.03s129
J60_14_9 6161 61610.01s75 61610.03s75 61610.03s75
J60_14_10 7272 72729.52s40783 727228.27s64832 7272120.26s170808
J60_15_1 8484 84840.02s60 84840.02s60 84840.03s60
J60_15_2 8989 89890.02s101 89890.03s101 89890.04s101
J60_15_3 7272 72720.02s60 72720.02s60 72720.02s60
J60_15_4 7575 75750.01s79 75750.02s79 75750.02s79
J60_15_5 7070 70700.01s60 70700.02s60 70700.01s60
J60_15_6 7676 76760.02s60 76760.01s60 76760.03s60
J60_15_7 6464 64640.00s60 64640.03s60 64640.02s60
J60_15_8 7979 79790.00s60 79790.03s60 79790.03s60
J60_15_9 7272 72720.02s60 72720.03s60 72720.02s60
J60_15_10 6161 61610.02s60 61610.02s60 61610.02s60
J60_16_1 6464 64640.02s60 64640.01s60 64640.02s60
J60_16_2 6464 64640.00s60 64640.02s60 64640.02s60
J60_16_3 5353 53530.01s60 53530.01s60 53530.02s60
J60_16_4 6060 60600.02s60 60600.01s60 60600.01s60
J60_16_5 6666 66660.02s60 66660.02s60 66660.02s60
J60_16_6 6666 66660.02s60 66660.01s60 66660.02s60
J60_16_7 8282 82820.02s60 82820.02s60 82820.02s60
J60_16_8 6868 68680.02s60 68680.02s60 68680.02s60
J60_16_9 5454 54540.02s60 54540.02s60 54540.02s60
J60_16_10 6868 68680.02s60 68680.02s60 68680.01s60
J60_17_1 8686 86860.00s82 86860.01s82 86860.02s82
J60_17_2 6969 69690.01s258 69690.01s258 69690.02s258
J60_17_3 8989 89890.01s181 89890.02s181 89890.01s181
J60_17_4 7171 71710.01s128 71710.01s128 71710.01s128
J60_17_5 5959 59590.01s173 59590.01s173 59590.01s173
J60_17_6 6969 69690.02s198 69690.02s198 69690.02s198
J60_17_7 8383 83830.01s243 83830.02s243 83830.02s243
J60_17_8 8585 85850.01s319 85850.01s319 85850.02s318
J60_17_9 7676 76760.02s98 76760.02s98 76760.02s98
J60_17_10 7272 72720.02s209 72720.01s209 72720.02s209
J60_18_1 8181 81810.01s185 81810.01s185 81810.02s185
J60_18_2 6969 69690.00s101 69690.00s101 69690.01s101
J60_18_3 7777 77770.00s60 77770.00s60 77770.01s60
J60_18_4 7171 71710.00s140 71710.01s140 71710.00s140
J60_18_5 8080 80800.01s91 80800.01s91 80800.01s91
J60_18_6 6161 61610.01s62 61610.01s62 61610.01s62
J60_18_7 9393 93930.00s60 93930.00s60 93930.01s60
J60_18_8 7878 78780.00s60 78780.01s60 78780.01s60
J60_18_9 6969 69690.01s60 69690.01s60 69690.01s60
J60_18_10 9797 97970.01s117 97970.01s117 97970.00s117
J60_19_1 6262 62620.01s75 62620.01s75 62620.00s75
J60_19_2 8383 83830.00s60 83830.01s60 83830.01s60
J60_19_3 8383 83830.00s60 83830.00s60 83830.01s60
J60_19_4 6767 67670.00s60 67670.00s60 67670.00s60
J60_19_5 7373 73730.00s65 73730.01s65 73730.01s65
J60_19_6 6969 69690.01s85 69690.01s85 69690.01s85
J60_19_7 6060 60600.01s60 60600.00s60 60600.01s60
J60_19_8 8787 87870.01s60 87870.00s60 87870.01s60
J60_19_9 6969 69690.01s211 69690.00s211 69690.01s211
J60_19_10 7878 78780.01s98 78780.01s98 78780.01s98
J60_20_1 6060 60600.01s60 60600.00s60 60600.00s60
J60_20_2 7878 78780.01s60 78780.01s60 78780.01s60
J60_20_3 6969 69690.01s60 69690.01s60 69690.01s60
J60_20_4 8686 86860.01s60 86860.00s60 86860.00s60
J60_20_5 7171 71710.01s60 71710.01s60 71710.00s60
J60_20_6 9797 97970.01s60 97970.00s60 97970.01s60
J60_20_7 7474 74740.01s60 74740.00s60 74740.01s60
J60_20_8 6565 65650.00s60 65650.01s60 65650.00s60
J60_20_9 7474 74740.01s60 74740.01s60 74740.01s60
J60_20_10 7070 70700.01s60 70700.01s60 70700.01s60
J60_21_1 103103 1031030.23s2010 1031030.33s1941 1031030.47s2059
J60_21_2 108108 1081080.08s643 1081080.12s704 1081080.13s646
J60_21_3 8787 87870.12s1161 87870.15s1071 87870.21s1155
J60_21_4 9595 95950.93s7776 95951.55s8359 95951.23s5052
J60_21_5 8989 89890.21s2199 89890.47s2915 89891.32s5600
J60_21_6 8484 84840.11s1098 84840.15s1082 84840.25s1315
J60_21_7 103103 1031030.21s2038 1031030.27s1671 1031030.46s2010
J60_21_8 110110 1101100.15s1185 1101100.22s1221 1101100.34s1474
J60_21_9 8989 89893.23s24677 89896.07s29436 89896.12s22457
J60_21_10 8080 80800.15s1517 80800.25s1599 80800.27s1298
J60_22_1 6464 64640.00s110 64640.02s110 64640.02s110
J60_22_2 8383 83830.01s214 83830.01s214 83830.03s214
J60_22_3 7070 70700.02s154 70700.02s154 70700.02s154
J60_22_4 7373 73730.04s413 73730.07s413 73730.08s413
J60_22_5 7676 76760.00s69 76760.01s69 76760.02s69
J60_22_6 7979 79790.02s241 79790.01s241 79790.03s241
J60_22_7 6969 69690.01s161 69690.02s161 69690.02s161
J60_22_8 5959 59590.02s209 59590.02s209 59590.03s208
J60_22_9 6565 65650.00s164 65650.02s164 65650.01s164
J60_22_10 7070 70700.02s195 70700.02s195 70700.02s195
J60_23_1 7575 75750.02s60 75750.00s60 75750.01s60
J60_23_2 6969 69690.01s60 69690.02s60 69690.01s60
J60_23_3 7878 78780.02s60 78780.01s60 78780.00s60
J60_23_4 8383 83830.01s60 83830.01s60 83830.01s60
J60_23_5 7272 72720.02s159 72720.02s159 72720.02s159
J60_23_6 8181 81810.01s61 81810.02s61 81810.02s61
J60_23_7 6060 60600.01s163 60600.02s163 60600.02s163
J60_23_8 7272 72720.01s60 72720.01s60 72720.01s60
J60_23_9 6464 64640.01s71 64640.02s71 64640.02s71
J60_23_10 6868 68680.02s104 68680.01s104 68680.02s104
J60_24_1 6565 65650.00s60 65650.01s60 65650.01s60
J60_24_2 5555 55550.00s60 55550.01s60 55550.01s60
J60_24_3 6767 67670.01s60 67670.01s60 67670.00s60
J60_24_4 7878 78780.01s60 78780.01s60 78780.01s60
J60_24_5 7676 76760.01s60 76760.02s60 76760.01s60
J60_24_6 7575 75750.01s60 75750.01s60 75750.01s60
J60_24_7 6868 68680.01s60 68680.02s60 68680.02s60
J60_24_8 8181 81810.01s60 81810.01s60 81810.01s60
J60_24_9 8080 80800.00s60 80800.01s60 80800.01s60
J60_24_10 6666 66660.01s60 66660.01s60 66660.01s60
J60_25_1 114114 -114Time Out739956114114297.64s466341 114114441.52s502611
J60_25_2 9598 -100Time Out820504-101Time Out732742 -101Time Out651582
J60_25_3 113113 11311333.17s122276 11311337.68s98814 11311368.36s128518
J60_25_4 105108 -108Time Out764862-109Time Out702060 -108Time Out605201
J60_25_5 9898 -98Time Out7759779898379.67s540042 9898399.43s487428
J60_25_6 105112 -115Time Out801231-115Time Out799700 -114Time Out664716
J60_25_7 8890 -91Time Out801008-93Time Out736990 -93Time Out579684
J60_25_8 9599 -101Time Out641071-100Time Out609246 -100Time Out469467
J60_25_9 9999 999951.22s158467 999946.12s104954 9999114.20s152588
J60_25_10 107108 -108Time Out709161-108Time Out621742 -108Time Out401517
J60_26_1 8080 80800.02s126 80800.03s126 80800.03s126
J60_26_2 6666 66660.04s254 66660.05s254 66660.06s254
J60_26_3 7676 76760.14s899 76760.20s688 76760.38s971
J60_26_4 6767 67670.08s396 67670.11s378 67670.15s383
J60_26_5 6161 61610.01s78 61610.01s78 61610.02s78
J60_26_6 7474 74740.07s334 74740.10s334 74740.14s375
J60_26_7 7272 72720.00s61 72720.01s61 72720.02s61
J60_26_8 8989 89890.02s83 89890.02s83 89890.03s83
J60_26_9 6565 65650.12s577 65650.18s553 65650.25s565
J60_26_10 8585 85850.01s93 85850.02s93 85850.02s93
J60_27_1 9696 96960.00s60 96960.01s60 96960.01s60
J60_27_2 7474 74740.01s71 74740.01s71 74740.01s71
J60_27_3 7676 76760.00s87 76760.01s87 76760.02s87
J60_27_4 6060 60600.01s87 60600.02s87 60600.02s87
J60_27_5 7878 78780.00s60 78780.00s60 78780.00s60
J60_27_6 6464 64640.00s75 64640.01s75 64640.02s75
J60_27_7 8383 83830.01s60 83830.01s60 83830.01s60
J60_27_8 8888 88880.01s60 88880.01s60 88880.01s60
J60_27_9 7676 76760.01s82 76760.00s82 76760.02s82
J60_27_10 5757 57570.00s60 57570.01s60 57570.02s60
J60_28_1 9292 92920.01s60 92920.00s60 92920.01s60
J60_28_2 6464 64640.01s60 64640.00s60 64640.01s60
J60_28_3 7272 72720.01s60 72720.01s60 72720.00s60
J60_28_4 8484 84840.01s60 84840.01s60 84840.01s60
J60_28_5 7171 71710.00s60 71710.01s60 71710.01s60
J60_28_6 8989 89890.01s60 89890.01s60 89890.00s60
J60_28_7 7575 75750.01s60 75750.01s60 75750.01s60
J60_28_8 6262 62620.01s60 62620.01s60 62620.01s60
J60_28_9 7474 74740.01s60 74740.01s60 74740.01s60
J60_28_10 7474 74740.00s60 74740.01s60 74740.01s60
J60_29_1 96103 -108Time Out857436-110Time Out729904 -113Time Out447109
J60_29_2 123133 -138Time Out754798-137Time Out688139 -137Time Out514193
J60_29_3 114121 -128Time Out772991-132Time Out704102 -136Time Out377195
J60_29_4 126134 -140Time Out728613-140Time Out603588 -141Time Out556949
J60_29_5 102110 -113Time Out783957-116Time Out646018 -115Time Out497635
J60_29_6 143154 -163Time Out730413-173Time Out569242 -174Time Out288522
J60_29_7 114123 -127Time Out898436-136Time Out612904 -126Time Out396731
J60_29_8 96103 -107Time Out699437-105Time Out577816 -108Time Out360880
J60_29_9 105112 -119Time Out828595-117Time Out814168 -119Time Out655101
J60_29_10 111119 -126Time Out1013477-127Time Out781647 -126Time Out454237
J60_30_1 7070 70700.04s235 70700.05s235 70700.06s228
J60_30_2 6970 -70Time Out702522-70Time Out632238 -70Time Out529768
J60_30_3 8282 82820.06s257 82820.08s257 82820.08s257
J60_30_4 7676 76760.02s60 76760.02s60 76760.02s60
J60_30_5 7676 767673.17s184050 767668.05s131528 767686.07s124563
J60_30_6 6868 68680.02s69 68680.03s69 68680.02s69
J60_30_7 8686 868631.01s100622 868695.38s171875 8686170.21s224803
J60_30_8 6363 63630.03s167 63630.05s167 63630.05s167
J60_30_9 9898 98980.06s256 98980.07s256 98980.09s256
J60_30_10 8686 868637.91s118373 868642.85s94045 868665.67s97262
J60_31_1 6565 65650.02s60 65650.03s60 65650.03s60
J60_31_2 7474 74740.00s60 74740.01s60 74740.03s60
J60_31_3 6666 66660.01s60 66660.02s60 66660.02s60
J60_31_4 6868 68680.02s60 68680.01s60 68680.03s60
J60_31_5 7272 72720.00s60 72720.02s60 72720.02s60
J60_31_6 7272 72720.01s60 72720.03s60 72720.03s60
J60_31_7 7676 76760.02s60 76760.02s60 76760.02s60
J60_31_8 7575 75750.01s60 75750.02s60 75750.03s60
J60_31_9 8686 86860.01s85 86860.03s85 86860.04s85
J60_31_10 5656 56560.02s60 56560.01s60 56560.03s60
J60_32_1 6969 69690.01s60 69690.01s60 69690.00s60
J60_32_2 114114 1141140.01s60 1141140.02s60 1141140.02s60
J60_32_3 8585 85850.00s60 85850.01s60 85850.01s60
J60_32_4 5656 56560.02s60 56560.02s60 56560.01s60
J60_32_5 7777 77770.01s60 77770.02s60 77770.02s60
J60_32_6 9393 93930.01s60 93930.02s60 93930.00s60
J60_32_7 7676 76760.02s60 76760.02s60 76760.02s60
J60_32_8 7676 76760.02s60 76760.02s60 76760.02s60
J60_32_9 7474 74740.02s60 74740.01s60 74740.02s60
J60_32_10 7777 77770.02s60 77770.01s60 77770.01s60
J60_33_1 105105 1051050.00s132 1051050.01s132 1051050.01s132
J60_33_2 100100 1001000.00s131 1001000.02s131 1001000.01s131
J60_33_3 7979 79790.00s166 79790.00s166 79790.02s166
J60_33_4 8181 81810.01s129 81810.01s129 81810.02s129
J60_33_5 108108 1081080.01s138 1081080.02s138 1081080.01s138
J60_33_6 7575 75750.02s443 75750.02s447 75750.03s447
J60_33_7 7878 78780.00s169 78780.02s169 78780.00s169
J60_33_8 7979 79790.02s229 79790.02s229 79790.02s229
J60_33_9 108108 1081080.01s101 1081080.02s101 1081080.01s101
J60_33_10 8484 84840.00s256 84840.02s256 84840.01s256
J60_34_1 7272 72720.01s85 72720.01s85 72720.01s85
J60_34_2 6868 68680.01s161 68680.01s161 68680.02s161
J60_34_3 6161 61610.01s251 61610.02s251 61610.01s251
J60_34_4 8383 83830.01s60 83830.01s60 83830.01s60
J60_34_5 8080 80800.01s60 80800.00s60 80800.01s60
J60_34_6 8181 81810.01s216 81810.01s216 81810.01s216
J60_34_7 8585 85850.01s77 85850.01s77 85850.01s77
J60_34_8 6363 63630.00s74 63630.00s74 63630.01s74
J60_34_9 7777 77770.00s60 77770.01s60 77770.01s60
J60_34_10 9292 92920.01s173 92920.02s173 92920.01s173
J60_35_1 7878 78780.01s60 78780.00s60 78780.01s60
J60_35_2 7777 77770.00s60 77770.00s60 77770.01s60
J60_35_3 8989 89890.00s104 89890.01s104 89890.01s104
J60_35_4 7272 72720.00s145 72720.01s145 72720.00s145
J60_35_5 7676 76760.01s251 76760.01s251 76760.01s251
J60_35_6 7979 79790.00s60 79790.00s60 79790.01s60
J60_35_7 7373 73730.01s60 73730.01s60 73730.01s60
J60_35_8 7878 78780.01s94 78780.01s94 78780.00s94
J60_35_9 7676 76760.01s85 76760.00s85 76760.00s85
J60_35_10 7171 71710.01s60 71710.01s60 71710.01s60
J60_36_1 6161 61610.01s60 61610.00s60 61610.01s60
J60_36_2 7575 75750.01s60 75750.00s60 75750.01s60
J60_36_3 8181 81810.00s60 81810.00s60 81810.00s60
J60_36_4 8585 85850.01s60 85850.00s60 85850.01s60
J60_36_5 5757 57570.01s60 57570.01s60 57570.01s60
J60_36_6 7676 76760.01s60 76760.01s60 76760.00s60
J60_36_7 7171 71710.01s60 71710.00s60 71710.00s60
J60_36_8 6969 69690.01s60 69690.00s60 69690.01s60
J60_36_9 8686 86860.01s60 86860.00s60 86860.00s60
J60_36_10 7777 77770.01s60 77770.00s60 77770.01s60
J60_37_1 9797 97970.22s2077 97970.47s2694 97970.50s2203
J60_37_2 9595 95950.66s5819 95951.34s7302 95951.40s5749
J60_37_3 139139 1391390.36s2993 1391390.63s3348 1391390.60s2625
J60_37_4 101101 1011010.09s1088 1011010.20s1588 1011010.16s1055
J60_37_5 9898 98980.11s893 98980.17s994 98980.19s1004
J60_37_6 102102 1021024.29s30694 1021027.26s33590 1021027.00s25777
J60_37_7 110110 1101100.99s7653 1101101.48s7400 1101102.83s10476
J60_37_8 9393 93930.10s920 93930.15s953 93930.21s1107
J60_37_9 9696 96960.11s1075 96960.19s1187 96960.35s1664
J60_37_10 9696 96960.13s1429 96960.16s1088 96960.15s886
J60_38_1 7373 73730.02s154 73730.01s154 73730.01s154
J60_38_2 7676 76760.17s1664 76760.30s1836 76760.21s964
J60_38_3 7777 77770.01s252 77770.03s252 77770.02s252
J60_38_4 5858 58580.01s139 58580.02s139 58580.02s139
J60_38_5 103103 1031030.00s158 1031030.01s158 1031030.02s158
J60_38_6 8686 86860.02s176 86860.02s176 86860.02s176
J60_38_7 7474 74740.00s195 74740.02s195 74740.01s195
J60_38_8 7171 71710.02s205 71710.03s205 71710.01s205
J60_38_9 6666 66660.02s101 66660.01s101 66660.02s101
J60_38_10 6666 66660.01s145 66660.02s145 66660.03s145
J60_39_1 8080 80800.01s169 80800.02s169 80800.02s169
J60_39_2 8484 84840.02s60 84840.01s60 84840.01s60
J60_39_3 8383 83830.00s60 83830.01s60 83830.00s60
J60_39_4 9292 92920.02s60 92920.01s60 92920.02s60
J60_39_5 7373 73730.02s60 73730.02s60 73730.01s60
J60_39_6 8484 84840.01s85 84840.01s85 84840.02s85
J60_39_7 6868 68680.01s90 68680.02s90 68680.01s90
J60_39_8 7777 77770.01s60 77770.01s60 77770.02s60
J60_39_9 7272 72720.01s60 72720.01s60 72720.02s60
J60_39_10 7474 74740.00s60 74740.01s60 74740.01s60
J60_40_1 8686 86860.00s60 86860.01s60 86860.01s60
J60_40_2 8181 81810.00s60 81810.01s60 81810.00s60
J60_40_3 7070 70700.00s60 70700.02s60 70700.01s60
J60_40_4 8787 87870.00s60 87870.01s60 87870.01s60
J60_40_5 8383 83830.01s60 83830.01s60 83830.01s60
J60_40_6 6969 69690.01s60 69690.01s60 69690.01s60
J60_40_7 6868 68680.00s60 68680.01s60 68680.01s60
J60_40_8 8080 80800.01s60 80800.00s60 80800.01s60
J60_40_9 9090 90900.02s60 90900.00s60 90900.01s60
J60_40_10 7373 73730.02s60 73730.00s60 73730.02s60
J60_41_1 122122 12212210.19s52750 12212214.18s44589 12212226.38s58296
J60_41_2 113113 11311317.26s79848 11311316.63s53121 11311322.88s52502
J60_41_3 8998 -101Time Out838376-103Time Out866983 -101Time Out651100
J60_41_4 133133 1331330.88s5661 1331331.80s6740 1331332.62s6822
J60_41_5 109115 -117Time Out852292-120Time Out806521 -117Time Out688585
J60_41_6 134134 1341347.98s43928 1341349.26s31671 13413421.68s50310
J60_41_7 132132 1321324.64s26380 1321328.59s29372 13213210.50s26208
J60_41_8 135135 1351356.34s33820 13513514.88s47154 13513524.59s54210
J60_41_9 131131 1311315.41s30313 13113128.85s83363 13113112.83s31091
J60_41_10 105111 -112Time Out798255-113Time Out785710 -113Time Out677733
J60_42_1 8383 83830.01s81 83830.02s81 83830.01s81
J60_42_2 6868 68680.03s150 68680.04s150 68680.04s150
J60_42_3 7878 78781.17s8330 78783.00s11789 78782.32s6060
J60_42_4 103103 1031030.06s339 1031030.07s344 1031030.09s344
J60_42_5 7373 73730.01s78 73730.02s78 73730.02s78
J60_42_6 8282 82820.02s175 82820.04s175 82820.03s175
J60_42_7 5959 59590.15s1015 59590.24s899 59590.33s899
J60_42_8 8282 82820.09s486 82820.13s477 82820.18s501
J60_42_9 7171 71710.04s254 71710.05s254 71710.06s254
J60_42_10 8787 87870.02s99 87870.03s99 87870.03s99
J60_43_1 108108 1081080.01s60 1081080.00s60 1081080.02s60
J60_43_2 8585 85850.02s81 85850.01s81 85850.03s81
J60_43_3 7474 74740.02s134 74740.02s134 74740.02s134
J60_43_4 7575 75750.02s154 75750.03s154 75750.03s154
J60_43_5 6464 64640.02s169 64640.02s169 64640.04s169
J60_43_6 8484 84840.01s60 84840.02s60 84840.02s60
J60_43_7 8989 89890.02s98 89890.02s98 89890.02s98
J60_43_8 6969 69690.01s60 69690.02s60 69690.02s60
J60_43_9 7070 70700.00s60 70700.00s60 70700.01s60
J60_43_10 7878 78780.00s107 78780.03s107 78780.03s107
J60_44_1 8484 84840.01s60 84840.00s60 84840.02s60
J60_44_2 6868 68680.02s60 68680.02s60 68680.00s60
J60_44_3 8787 87870.02s60 87870.01s60 87870.01s60
J60_44_4 7777 77770.01s60 77770.01s60 77770.02s60
J60_44_5 7474 74740.01s60 74740.02s60 74740.01s60
J60_44_6 8181 81810.01s60 81810.02s60 81810.01s60
J60_44_7 7676 76760.02s60 76760.01s60 76760.01s60
J60_44_8 8383 83830.00s60 83830.00s60 83830.02s60
J60_44_9 6565 65650.01s60 65650.02s60 65650.01s60
J60_44_10 6565 65650.00s60 65650.02s60 65650.02s60
J60_45_1 8996 -101Time Out868537-102Time Out857091 -98Time Out588675
J60_45_2 134144 -147Time Out975394-149Time Out821861 -151Time Out630062
J60_45_3 133143 -149Time Out929427-150Time Out782882 -150Time Out603610
J60_45_4 101108 -111Time Out908140-113Time Out820365 -112Time Out641604
J60_45_5 99106 -111Time Out1059791-112Time Out866410 -111Time Out544776
J60_45_6 132144 -147Time Out907496-149Time Out826031 -153Time Out627239
J60_45_7 113122 -132Time Out1053815No solution found -134Time Out489698
J60_45_8 119129 -131Time Out934710-144Time Out764310 -135Time Out556224
J60_45_9 114123 -129Time Out966773-138Time Out766022 -134Time Out433617
J60_45_10 102114 -118Time Out936871-117Time Out889205 -118Time Out590670
J60_46_1 7979 79790.07s329 79790.12s332 79790.16s344
J60_46_2 7878 78780.01s60 78780.02s60 78780.02s60
J60_46_3 7979 79793.91s20412 79796.19s19018 797925.09s49509
J60_46_4 7474 74745.63s24009 74745.48s14453 74747.32s13475
J60_46_5 9191 91912.66s13957 91915.43s14789 91918.78s15714
J60_46_6 9090 90902.68s13281 90904.21s11332 90907.20s13031
J60_46_7 7878 787811.48s51715 787810.53s29830 787817.35s30175
J60_46_8 7575 75750.20s804 75750.34s859 75750.43s771
J60_46_9 6969 696975.30s203285 6969108.65s203567 6969169.52s220246
J60_46_10 8888 888885.64s239014 888892.73s185576 888879.02s134363
J60_47_1 7575 75750.01s60 75750.02s60 75750.02s60
J60_47_2 6666 66660.03s124 66660.03s124 66660.03s124
J60_47_3 6969 69690.03s95 69690.03s95 69690.04s95
J60_47_4 7676 76760.01s77 76760.02s77 76760.03s77
J60_47_5 8787 87870.02s95 87870.03s95 87870.04s95
J60_47_6 7676 76760.02s96 76760.04s96 76760.04s96
J60_47_7 6868 68680.02s60 68680.02s60 68680.01s60
J60_47_8 7171 71710.03s94 71710.02s94 71710.04s94
J60_47_9 7676 76760.03s126 76760.03s126 76760.04s126
J60_47_10 6666 66660.03s109 66660.03s109 66660.04s109
J60_48_1 7171 71710.01s60 71710.02s60 71710.02s60
J60_48_2 8787 87870.00s60 87870.02s60 87870.02s60
J60_48_3 8484 84840.01s60 84840.02s60 84840.01s60
J60_48_4 6262 62620.01s60 62620.02s60 62620.02s60
J60_48_5 101101 1011010.01s60 1011010.02s60 1011010.02s60
J60_48_6 6666 66660.02s60 66660.01s60 66660.01s60
J60_48_7 7777 77770.02s60 77770.02s60 77770.01s60
J60_48_8 8888 88880.02s60 88880.02s60 88880.02s60
J60_48_9 8282 82820.01s60 82820.02s60 82820.01s60
J60_48_10 7070 70700.02s60 70700.02s60 70700.02s60