sgs_sat_t_r
Avg. runtime solved 6.56402 sec (#396)
Avg. Choice Points solved 5077.62 CP (#396)
Problem Previously best Hot Restart + t
LB UB LBUBRun timeChoice Points
J90_1_1 7373 73730.32s951
J90_1_2 9292 92920.08s282
J90_1_3 6666 66660.18s761
J90_1_4 8686 86860.47s2549
J90_1_5 8787 87870.11s334
J90_1_6 7474 74740.15s762
J90_1_7 9191 91910.08s246
J90_1_8 9595 95950.23s587
J90_1_9 7272 72720.15s979
J90_1_10 9090 90900.16s923
J90_2_1 9696 96960.07s90
J90_2_2 114114 1141140.12s980
J90_2_3 7575 75750.06s159
J90_2_4 7070 70700.04s154
J90_2_5 100100 1001000.06s90
J90_2_6 6767 67670.05s137
J90_2_7 9292 92920.07s223
J90_2_8 8282 82820.06s156
J90_2_9 7979 79790.06s120
J90_2_10 8080 80800.06s90
J90_3_1 8181 81810.06s153
J90_3_2 8484 84840.06s90
J90_3_3 7171 71710.04s90
J90_3_4 104104 1041040.07s129
J90_3_5 7575 75750.04s90
J90_3_6 6868 68680.04s90
J90_3_7 8787 87870.06s90
J90_3_8 8686 86860.06s139
J90_3_9 6161 61610.03s138
J90_3_10 6565 65650.04s138
J90_4_1 9393 93930.06s90
J90_4_2 8989 89890.04s90
J90_4_3 6767 67670.04s90
J90_4_4 9292 92920.05s90
J90_4_5 8888 88880.04s90
J90_4_6 7878 78780.04s90
J90_4_7 8080 80800.04s90
J90_4_8 6969 69690.04s90
J90_4_9 7979 79790.03s90
J90_4_10 6868 68680.04s90
J90_5_1 7678 78789.50s12995
J90_5_2 9093 93938.17s12579
J90_5_3 8287 -89Time Out
J90_5_4 96103 -103Time Out
J90_5_5 107111 -114Time Out
J90_5_6 8286 -87Time Out
J90_5_7 105107 -111Time Out
J90_5_8 93102 -104Time Out
J90_5_9 109115 -118Time Out
J90_5_10 9496 -98Time Out
J90_6_1 8282 82820.07s277
J90_6_2 8686 86860.09s278
J90_6_3 7777 77770.28s674
J90_6_4 8080 80800.20s768
J90_6_5 7171 71710.12s443
J90_6_6 9898 98980.07s138
J90_6_7 7171 71710.07s107
J90_6_8 6868 68680.48s944
J90_6_9 6868 68680.05s90
J90_6_10 9494 94940.10s296
J90_7_1 8888 88880.05s90
J90_7_2 7777 77770.06s90
J90_7_3 8080 80800.04s90
J90_7_4 8686 86860.06s90
J90_7_5 7979 79790.06s90
J90_7_6 9090 90900.08s172
J90_7_7 9090 90900.05s90
J90_7_8 6060 60600.03s118
J90_7_9 8383 83830.04s90
J90_7_10 9898 98980.06s90
J90_8_1 9696 96960.06s90
J90_8_2 7878 78780.05s90
J90_8_3 7070 70700.04s90
J90_8_4 7777 77770.04s90
J90_8_5 6363 63630.04s90
J90_8_6 7070 70700.03s90
J90_8_7 7777 77770.04s90
J90_8_8 6868 68680.04s90
J90_8_9 9797 97970.07s90
J90_8_10 8888 88880.06s90
J90_9_1 98104 -110Time Out
J90_9_2 119128 -137Time Out
J90_9_3 97102 -106Time Out
J90_9_4 117127 -136Time Out
J90_9_5 125140 -145Time Out
J90_9_6 110119 -124Time Out
J90_9_7 102109 -113Time Out
J90_9_8 109116 -123Time Out
J90_9_9 105116 -127Time Out
J90_9_10 102111 -120Time Out
J90_10_1 7777 77770.12s167
J90_10_2 9595 95950.11s199
J90_10_3 112112 1121120.10s122
J90_10_4 9494 94940.11s189
J90_10_5 7878 78780.11s176
J90_10_6 9292 92920.08s90
J90_10_7 8383 83830.09s148
J90_10_8 8181 81810.33s565
J90_10_9 8888 88880.08s90
J90_10_10 7575 75750.11s236
J90_11_1 8686 86860.07s90
J90_11_2 9999 99990.11s227
J90_11_3 6969 69690.06s90
J90_11_4 6464 64640.07s166
J90_11_5 8181 81810.06s90
J90_11_6 7878 78780.06s90
J90_11_7 9595 95950.08s90
J90_11_8 8282 82820.10s256
J90_11_9 8181 81810.04s90
J90_11_10 8181 81810.08s170
J90_12_1 7171 71710.05s90
J90_12_2 7171 71710.05s90
J90_12_3 9393 93930.06s90
J90_12_4 7373 73730.04s90
J90_12_5 8383 83830.06s90
J90_12_6 8181 81810.07s90
J90_12_7 7777 77770.05s90
J90_12_8 8383 83830.06s90
J90_12_9 7777 77770.05s90
J90_12_10 8686 86860.07s90
J90_13_1 127138 -153Time Out
J90_13_2 118127 -140Time Out
J90_13_3 104108 -115Time Out
J90_13_4 108112 -121Time Out
J90_13_5 108115 -126Time Out
J90_13_6 116124 -134Time Out
J90_13_7 115124 -134Time Out
J90_13_8 112117 -128Time Out
J90_13_9 116124 -133Time Out
J90_13_10 112120 -130Time Out
J90_14_1 8989 89890.18s272
J90_14_2 7979 79790.11s90
J90_14_3 9494 94940.15s134
J90_14_4 8888 88880.16s232
J90_14_5 8484 84840.11s153
J90_14_6 7676 76765.62s6125
J90_14_7 8686 86860.09s90
J90_14_8 8080 80800.10s90
J90_14_9 112112 1121120.20s285
J90_14_10 8585 85850.12s130
J90_15_1 7676 76760.09s90
J90_15_2 7171 71710.07s90
J90_15_3 8282 82820.08s90
J90_15_4 9292 92920.12s141
J90_15_5 9393 93930.10s90
J90_15_6 6161 61610.06s90
J90_15_7 8282 82820.08s114
J90_15_8 8282 82820.08s90
J90_15_9 8383 83830.07s90
J90_15_10 7878 78780.09s132
J90_16_1 8585 85850.06s90
J90_16_2 7171 71710.07s90
J90_16_3 7373 73730.05s90
J90_16_4 6969 69690.05s90
J90_16_5 7171 71710.04s90
J90_16_6 7474 74740.05s90
J90_16_7 6565 65650.04s90
J90_16_8 7171 71710.05s90
J90_16_9 6666 66660.05s90
J90_16_10 7171 71710.06s90
J90_17_1 9292 92920.23s1548
J90_17_2 100100 1001000.58s2099
J90_17_3 8989 89890.12s998
J90_17_4 9494 94940.07s260
J90_17_5 113113 1131130.14s729
J90_17_6 9494 94940.11s638
J90_17_7 8080 80800.09s210
J90_17_8 113113 1131130.20s1099
J90_17_9 9696 96960.18s773
J90_17_10 8989 89890.24s808
J90_18_1 101101 1011010.04s90
J90_18_2 9494 94940.05s90
J90_18_3 8383 83830.04s158
J90_18_4 9898 98980.06s208
J90_18_5 9090 90900.06s117
J90_18_6 8383 83830.04s210
J90_18_7 7373 73730.04s154
J90_18_8 9292 92920.05s148
J90_18_9 7979 79790.04s216
J90_18_10 9494 94940.05s194
J90_19_1 9898 98980.06s152
J90_19_2 8383 83830.04s90
J90_19_3 8989 89890.04s90
J90_19_4 7777 77770.04s138
J90_19_5 6666 66660.05s236
J90_19_6 136136 1361360.06s90
J90_19_7 6666 66660.04s214
J90_19_8 9191 91910.04s90
J90_19_9 121121 1211210.06s90
J90_19_10 8585 85850.04s90
J90_20_1 8585 85850.02s90
J90_20_2 7676 76760.03s90
J90_20_3 8686 86860.04s90
J90_20_4 8686 86860.03s90
J90_20_5 8888 88880.06s90
J90_20_6 8383 83830.03s90
J90_20_7 8282 82820.03s90
J90_20_8 8585 85850.04s90
J90_20_9 7676 76760.04s90
J90_20_10 8989 89890.04s90
J90_21_1 102110 -111Time Out
J90_21_2 111116 -116Time Out
J90_21_3 124124 12412466.99s56402
J90_21_4 105106 10610611.48s14378
J90_21_5 107112 -112Time Out
J90_21_6 102106 106106579.90s370896
J90_21_7 100109 -113Time Out
J90_21_8 103111 -113Time Out
J90_21_9 118121 -121Time Out
J90_21_10 106109 109109159.65s136329
J90_22_1 108108 1081080.09s90
J90_22_2 8585 85850.07s123
J90_22_3 8383 83830.24s794
J90_22_4 9696 96960.07s116
J90_22_5 9696 96960.06s114
J90_22_6 7171 71710.06s171
J90_22_7 9090 90900.06s189
J90_22_8 9797 97970.07s107
J90_22_9 101101 1011010.25s969
J90_22_10 7575 75750.15s442
J90_23_1 9090 90900.06s143
J90_23_2 8484 84840.04s90
J90_23_3 116116 1161160.07s90
J90_23_4 8585 85850.06s185
J90_23_5 9595 95950.05s161
J90_23_6 8787 87870.07s167
J90_23_7 7777 77770.04s90
J90_23_8 9292 92920.06s90
J90_23_9 126126 1261260.08s90
J90_23_10 8787 87870.04s90
J90_24_1 8484 84840.05s90
J90_24_2 9292 92920.04s90
J90_24_3 6969 69690.04s90
J90_24_4 8181 81810.04s90
J90_24_5 8585 85850.04s90
J90_24_6 7979 79790.04s90
J90_24_7 8787 87870.04s90
J90_24_8 8888 88880.05s90
J90_24_9 8080 80800.04s90
J90_24_10 8989 89890.04s90
J90_25_1 114124 -130Time Out
J90_25_2 120131 -142Time Out
J90_25_3 111123 -134Time Out
J90_25_4 127138 -144Time Out
J90_25_5 109114 -123Time Out
J90_25_6 112121 -126Time Out
J90_25_7 120130 -139Time Out
J90_25_8 129140 -151Time Out
J90_25_9 97106 -110Time Out
J90_25_10 118130 -135Time Out
J90_26_1 9090 90900.09s90
J90_26_2 8585 858580.37s91927
J90_26_3 8080 80800.08s164
J90_26_4 9797 979722.47s31266
J90_26_5 8385 8585404.34s268801
J90_26_6 108108 1081080.10s90
J90_26_7 8282 82820.92s2229
J90_26_8 8282 828291.25s94297
J90_26_9 8787 87870.14s331
J90_26_10 9292 92920.08s90
J90_27_1 9696 96960.06s90
J90_27_2 8181 81810.08s145
J90_27_3 9191 91910.08s90
J90_27_4 7979 79790.06s167
J90_27_5 9999 99990.08s90
J90_27_6 8787 87870.07s90
J90_27_7 7373 73730.06s130
J90_27_8 7272 72720.06s90
J90_27_9 8484 84840.05s131
J90_27_10 9797 97970.06s90
J90_28_1 8080 80800.05s90
J90_28_2 7676 76760.05s90
J90_28_3 8686 86860.06s90
J90_28_4 7878 78780.04s90
J90_28_5 8888 88880.05s90
J90_28_6 102102 1021020.06s90
J90_28_7 9797 97970.07s90
J90_28_8 110110 1101100.07s90
J90_28_9 120120 1201200.09s90
J90_28_10 6868 68680.05s90
J90_29_1 125135 -143Time Out
J90_29_2 120126 -131Time Out
J90_29_3 135144 -157Time Out
J90_29_4 138149 -162Time Out
J90_29_5 114121 -131Time Out
J90_29_6 116124 -137Time Out
J90_29_7 158170 -183Time Out
J90_29_8 145154 -170Time Out
J90_29_9 118127 -139Time Out
J90_29_10 117125 -133Time Out
J90_30_1 102102 1021020.12s123
J90_30_2 7676 76760.08s153
J90_30_3 102102 1021020.16s203
J90_30_4 104104 1041040.13s186
J90_30_5 8383 -85Time Out
J90_30_6 9090 90900.10s141
J90_30_7 8484 -85Time Out
J90_30_8 8282 82820.12s125
J90_30_9 9094 -96Time Out
J90_30_10 9090 90900.11s163
J90_31_1 7979 79790.07s90
J90_31_2 6969 69690.07s205
J90_31_3 106106 1061060.09s90
J90_31_4 7979 79790.06s202
J90_31_5 7979 79790.10s165
J90_31_6 8080 80800.09s208
J90_31_7 9797 97970.10s90
J90_31_8 8383 83830.08s90
J90_31_9 7272 72720.05s90
J90_31_10 9999 99990.12s90
J90_32_1 7878 78780.04s90
J90_32_2 7878 78780.05s90
J90_32_3 8989 89890.06s90
J90_32_4 104104 1041040.08s90
J90_32_5 9393 93930.05s90
J90_32_6 8686 86860.04s90
J90_32_7 8787 87870.06s90
J90_32_8 7979 79790.04s90
J90_32_9 9595 95950.08s90
J90_32_10 9191 91910.06s90
J90_33_1 9999 99990.17s744
J90_33_2 112112 1121120.14s253
J90_33_3 108108 1081080.15s566
J90_33_4 9292 92920.08s321
J90_33_5 109109 1091090.14s765
J90_33_6 8888 88880.12s327
J90_33_7 109109 1091090.06s115
J90_33_8 110110 1101100.15s888
J90_33_9 9595 95950.12s465
J90_33_10 114114 1141140.11s649
J90_34_1 8383 83830.04s121
J90_34_2 8989 89890.04s90
J90_34_3 8282 82820.03s90
J90_34_4 8181 81810.07s245
J90_34_5 8383 83830.08s483
J90_34_6 8989 89890.05s201
J90_34_7 9292 92920.07s218
J90_34_8 8181 81810.06s277
J90_34_9 109109 1091090.06s231
J90_34_10 101101 1011010.04s90
J90_35_1 9898 98980.04s149
J90_35_2 9292 92920.04s90
J90_35_3 9696 96960.04s90
J90_35_4 8686 86860.04s130
J90_35_5 103103 1031030.04s132
J90_35_6 7272 72720.04s149
J90_35_7 7878 78780.03s90
J90_35_8 8585 85850.04s90
J90_35_9 7676 76760.03s161
J90_35_10 8282 82820.03s90
J90_36_1 9797 97970.04s90
J90_36_2 114114 1141140.04s90
J90_36_3 8484 84840.03s90
J90_36_4 7979 79790.04s90
J90_36_5 9898 98980.04s90
J90_36_6 9999 99990.03s90
J90_36_7 8989 89890.03s90
J90_36_8 8484 84840.03s90
J90_36_9 102102 1021020.04s90
J90_36_10 109109 1091090.05s90
J90_37_1 105110 11011042.58s50769
J90_37_2 109115 -115Time Out
J90_37_3 132132 1321324.24s5482
J90_37_4 121123 12312333.47s33944
J90_37_5 122126 126126287.80s173036
J90_37_6 124131 -133Time Out
J90_37_7 123123 12312313.93s14469
J90_37_8 115119 -119Time Out
J90_37_9 122123 1231239.48s11614
J90_37_10 117123 -125Time Out
J90_38_1 8585 85850.11s354
J90_38_2 7878 78780.08s188
J90_38_3 8989 89890.16s599
J90_38_4 8989 89890.08s278
J90_38_5 8686 86860.16s847
J90_38_6 8888 88880.22s851
J90_38_7 8585 85850.07s150
J90_38_8 9191 91910.12s521
J90_38_9 9595 95950.14s545
J90_38_10 108108 1081080.07s167
J90_39_1 106106 1061060.06s90
J90_39_2 119119 1191190.05s133
J90_39_3 8383 83830.05s90
J90_39_4 8181 81810.07s171
J90_39_5 8585 85850.05s196
J90_39_6 102102 1021020.06s154
J90_39_7 8585 85850.04s135
J90_39_8 8181 81810.04s113
J90_39_9 7979 79790.04s163
J90_39_10 100100 1001000.04s163
J90_40_1 9595 95950.04s90
J90_40_2 9191 91910.03s90
J90_40_3 7777 77770.04s90
J90_40_4 106106 1061060.05s90
J90_40_5 9292 92920.05s90
J90_40_6 8686 86860.05s90
J90_40_7 8787 87870.03s90
J90_40_8 7979 79790.03s90
J90_40_9 9898 98980.04s90
J90_40_10 8686 86860.04s90
J90_41_1 128142 -149Time Out
J90_41_2 151168 -179Time Out
J90_41_3 146161 -172Time Out
J90_41_4 140154 -165Time Out
J90_41_5 115127 -134Time Out
J90_41_6 123135 -143Time Out
J90_41_7 143157 -163Time Out
J90_41_8 147163 -178Time Out
J90_41_9 109119 -128Time Out
J90_41_10 141150 -159Time Out
J90_42_1 106106 1061060.14s340
J90_42_2 100102 10210223.26s30640
J90_42_3 9494 94940.24s535
J90_42_4 102102 1021020.16s741
J90_42_5 105105 1051050.14s278
J90_42_6 8989 89890.12s286
J90_42_7 8587 8787228.31s185078
J90_42_8 105105 1051050.09s152
J90_42_9 8383 83831.39s2446
J90_42_10 8890 9090482.46s325812
J90_43_1 9999 99990.13s506
J90_43_2 9191 91910.06s90
J90_43_3 102102 1021020.06s148
J90_43_4 9494 94940.08s90
J90_43_5 9898 98980.07s90
J90_43_6 114114 1141140.08s134
J90_43_7 8888 88880.07s246
J90_43_8 100100 1001000.08s148
J90_43_9 8888 88880.07s90
J90_43_10 9292 92920.08s90
J90_44_1 100100 1001000.06s90
J90_44_2 9292 92920.03s90
J90_44_3 110110 1101100.05s90
J90_44_4 8989 89890.04s90
J90_44_5 8484 84840.04s90
J90_44_6 9696 96960.06s90
J90_44_7 9393 93930.06s90
J90_44_8 9999 99990.05s90
J90_44_9 9696 96960.07s90
J90_44_10 8686 86860.05s90
J90_45_1 142146 -155Time Out
J90_45_2 136148 -160Time Out
J90_45_3 143154 -170Time Out
J90_45_4 125135 -146Time Out
J90_45_5 162174 -192Time Out
J90_45_6 162175 -194Time Out
J90_45_7 127136 -148Time Out
J90_45_8 149160 -174Time Out
J90_45_9 144158 -170Time Out
J90_45_10 154164 -185Time Out
J90_46_1 104104 1041041.89s3571
J90_46_2 9898 98980.48s1038
J90_46_3 113113 1131130.35s427
J90_46_4 9093 -94Time Out
J90_46_5 9191 91910.12s198
J90_46_6 8383 83830.13s177
J90_46_7 8989 89890.12s190
J90_46_8 9396 -99Time Out
J90_46_9 8589 -91Time Out
J90_46_10 114114 1141140.11s202
J90_47_1 8282 82820.06s90
J90_47_2 9090 90900.11s192
J90_47_3 102102 1021020.11s197
J90_47_4 9393 93930.08s145
J90_47_5 9393 93930.08s90
J90_47_6 9898 98980.10s90
J90_47_7 9494 94940.06s90
J90_47_8 9898 98980.08s90
J90_47_9 8686 86860.06s90
J90_47_10 6565 65650.07s154
J90_48_1 8383 83830.04s90
J90_48_2 8989 89890.06s90
J90_48_3 8686 86860.05s90
J90_48_4 9191 91910.04s90
J90_48_5 7575 75750.04s90
J90_48_6 114114 1141140.07s90
J90_48_7 103103 1031030.06s90
J90_48_8 7474 74740.04s90
J90_48_9 8989 89890.04s90
J90_48_10 9393 93930.05s90