Problem Previously best HOTRESTART + g (ttef(c)) HOTRESTART + g (ttef)
LB UB LBUBRun timeFails LBUBRun timeFails
J60_9_1 8487 84-Time Out85-Time Out
J60_9_3 99100 100-Time Out99-Time Out
J60_9_5 8085 81-Time Out81-Time Out
J60_9_6 105111 106-Time Out105-Time Out
J60_9_7 102109 104-Time Out105-Time Out
J60_9_8 9496 95-Time Out95-Time Out
J60_9_9 9899 9999476.21s563315 99-Time Out
J60_9_10 8893 89-Time Out90-Time Out
J60_13_1 104112 105-Time Out105-Time Out
J60_13_2 102106 103-Time Out103-Time Out
J60_13_3 8388 83-Time Out84-Time Out
J60_13_4 97103 97-Time Out98-Time Out
J60_13_5 9297 92-Time Out92-Time Out
J60_13_6 9194 91-Time Out91-Time Out
J60_13_7 8187 82-Time Out83-Time Out
J60_13_8 114120 115-Time Out115-Time Out
J60_13_9 95102 96-Time Out97-Time Out
J60_13_10 112117 113-Time Out114-Time Out
J60_25_2 9598 96-Time Out95-Time Out
J60_25_4 105108 106-Time Out106-Time Out
J60_25_6 105112 106-Time Out105-Time Out
J60_25_7 8890 88-Time Out88-Time Out
J60_25_8 9599 95-Time Out95-Time Out
J60_25_10 107108 108-Time Out107-Time Out
J60_29_1 96103 97-Time Out98-Time Out
J60_29_2 123133 123-Time Out123-Time Out
J60_29_3 114121 114-Time Out114-Time Out
J60_29_4 126134 126-Time Out126-Time Out
J60_29_5 102110 102-Time Out102-Time Out
J60_29_6 143154 143-Time Out144-Time Out
J60_29_7 114123 115-Time Out117-Time Out
J60_29_8 96103 97-Time Out98-Time Out
J60_29_9 105112 105-Time Out105-Time Out
J60_29_10 111119 111-Time Out111-Time Out
J60_30_2 6970 69-Time Out69-Time Out
J60_41_3 8998 90-Time Out90-Time Out
J60_41_5 109115 109-Time Out109-Time Out
J60_41_10 105111 107-Time Out108-Time Out
J60_45_1 8996 90-Time Out90-Time Out
J60_45_2 134144 134-Time Out134-Time Out
J60_45_3 133143 133-Time Out133-Time Out
J60_45_4 101108 101-Time Out101-Time Out
J60_45_5 99106 99-Time Out99-Time Out
J60_45_6 132144 132-Time Out132-Time Out
J60_45_7 113122 113-Time Out113-Time Out
J60_45_8 119129 119-Time Out119-Time Out
J60_45_9 114123 114-Time Out114-Time Out
J60_45_10 102114 102-Time Out102-Time Out
J90_5_3 8387 84-Time Out85-Time Out
J90_5_4 101103 101-Time Out101-Time Out
J90_5_5 108111 110-Time Out110-Time Out
J90_5_6 8586 86-Time Out86-Time Out
J90_5_7 105107 106-Time Out106-Time Out
J90_5_8 96102 98-Time Out98-Time Out
J90_5_9 113115 114-Time Out113-Time Out
J90_5_10 9496 94-Time Out95-Time Out
J90_9_1 99104 99-Time Out99-Time Out
J90_9_2 121128 121-Time Out122-Time Out
J90_9_3 97102 98-Time Out98-Time Out
J90_9_4 119127 120-Time Out121-Time Out
J90_9_5 126140 128-Time Out130-Time Out
J90_9_6 112119 113-Time Out113-Time Out
J90_9_7 102109 102-Time Out103-Time Out
J90_9_8 110116 111-Time Out111-Time Out
J90_9_9 105116 106-Time Out106-Time Out
J90_9_10 104111 105-Time Out105-Time Out
J90_13_1 129138 129-Time Out129-Time Out
J90_13_2 118127 118-Time Out120-Time Out
J90_13_3 104108 104-Time Out105-Time Out
J90_13_4 109112 109-Time Out109-Time Out
J90_13_5 108115 108-Time Out109-Time Out
J90_13_6 117124 117-Time Out117-Time Out
J90_13_7 115124 115-Time Out116-Time Out
J90_13_8 112117 112-Time Out113-Time Out
J90_13_9 116124 117-Time Out118-Time Out
J90_13_10 113120 113-Time Out114-Time Out
J90_21_1 109110 109-Time Out109-Time Out
J90_21_7 105109 106-Time Out106-Time Out
J90_21_8 107111 108-Time Out108-Time Out
J90_25_1 116124 116-Time Out117-Time Out
J90_25_2 121131 122-Time Out122-Time Out
J90_25_3 112123 113-Time Out114-Time Out
J90_25_4 127138 129-Time Out130-Time Out
J90_25_5 109114 109-Time Out110-Time Out
J90_25_6 112121 113-Time Out114-Time Out
J90_25_7 122130 122-Time Out122-Time Out
J90_25_8 130140 131-Time Out132-Time Out
J90_25_9 97106 98-Time Out100-Time Out
J90_25_10 118130 120-Time Out121-Time Out
J90_29_1 125135 125-Time Out128-Time Out
J90_29_2 121126 121-Time Out122-Time Out
J90_29_3 136144 136-Time Out136-Time Out
J90_29_4 138149 138-Time Out140-Time Out
J90_29_5 116121 116-Time Out116-Time Out
J90_29_6 116124 116-Time Out117-Time Out
J90_29_7 159170 159-Time Out160-Time Out
J90_29_8 145154 145-Time Out146-Time Out
J90_29_9 119127 119-Time Out120-Time Out
J90_29_10 118125 118-Time Out118-Time Out
J90_30_9 9194 91-Time Out92-Time Out
J90_37_2 113115 114-Time Out114-Time Out
J90_37_6 129131 129-Time Out129-Time Out
J90_41_1 128142 130-Time Out133-Time Out
J90_41_2 153168 154-Time Out157-Time Out
J90_41_3 148161 149-Time Out149-Time Out
J90_41_4 141154 142-Time Out143-Time Out
J90_41_5 115127 117-Time Out118-Time Out
J90_41_6 123135 123-Time Out127-Time Out
J90_41_7 144157 144-Time Out145-Time Out
J90_41_8 147163 147-Time Out149-Time Out
J90_41_9 109119 110-Time Out111-Time Out
J90_41_10 143150 144-Time Out146-Time Out
J90_45_1 142146 142-Time Out144-Time Out
J90_45_2 137148 137-Time Out139-Time Out
J90_45_3 143154 143-Time Out144-Time Out
J90_45_4 125135 125-Time Out126-Time Out
J90_45_5 163174 163-Time Out163-Time Out
J90_45_6 162175 163-Time Out164-Time Out
J90_45_7 128136 128-Time Out129-Time Out
J90_45_8 149160 149-Time Out151-Time Out
J90_45_9 144158 144-Time Out145-Time Out
J90_45_10 155164 155-Time Out156-Time Out
J90_46_4 9293 92-Time Out92-Time Out
J90_46_8 9496 94-Time Out94-Time Out
J90_46_9 8589 85-Time Out86-Time Out
J120_6_1 133144 135-Time Out136-Time Out
J120_6_2 126135 127-Time Out127-Time Out
J120_6_4 151154 151-Time Out151-Time Out
J120_6_5 116125 117-Time Out118-Time Out
J120_6_6 140155 142-Time Out143-Time Out
J120_6_7 155168 155-Time Out155-Time Out
J120_6_8 140147 142-Time Out142-Time Out
J120_6_9 149161 150-Time Out151-Time Out
J120_6_10 157172 157-Time Out158-Time Out
J120_7_1 98102 98-Time Out99-Time Out
J120_7_2 113114 113-Time Out113-Time Out
J120_7_3 97100 98-Time Out97-Time Out
J120_7_4 105112 107-Time Out107-Time Out
J120_7_5 126131 126-Time Out126-Time Out
J120_7_6 115124 117-Time Out117-Time Out
J120_7_7 113118 114-Time Out114-Time Out
J120_7_8 9297 93-Time Out93-Time Out
J120_7_9 8689 86-Time Out87-Time Out
J120_7_10 111118 112-Time Out112-Time Out
J120_8_2 101103 101-Time Out102-Time Out
J120_8_4 9194 91-Time Out91-Time Out
J120_8_5 99104 100-Time Out100-Time Out
J120_8_6 8485 85-Time Out85-Time Out
J120_8_9 8994 90-Time Out91-Time Out
J120_8_10 9193 92-Time Out92-Time Out
J120_9_4 8487 85-Time Out85-Time Out
J120_11_1 156173 157-Time Out159-Time Out
J120_11_2 146158 146-Time Out147-Time Out
J120_11_3 188203 188-Time Out189-Time Out
J120_11_4 177196 182-Time Out182-Time Out
J120_11_5 193211 193-Time Out195-Time Out
J120_11_6 191212 191-Time Out192-Time Out
J120_11_7 148163 149-Time Out152-Time Out
J120_11_8 152162 153-Time Out154-Time Out
J120_11_9 168173 168-Time Out168-Time Out
J120_11_10 163181 164-Time Out165-Time Out
J120_12_1 125138 126-Time Out127-Time Out
J120_12_2 111117 111-Time Out112-Time Out
J120_12_3 132136 132-Time Out132-Time Out
J120_12_4 121125 121-Time Out122-Time Out
J120_12_5 154162 155-Time Out155-Time Out
J120_12_6 115121 116-Time Out116-Time Out
J120_12_7 116120 116-Time Out116-Time Out
J120_12_8 113119 113-Time Out113-Time Out
J120_12_9 101105 101-Time Out101-Time Out
J120_12_10 142143 142-Time Out142-Time Out
J120_13_1 123127 123-Time Out124-Time Out
J120_13_2 8889 88-Time Out88-Time Out
J120_13_3 115118 115-Time Out116-Time Out
J120_13_4 108112 108-Time Out109-Time Out
J120_13_5 9091 90-Time Out90-Time Out
J120_13_6 9599 95-Time Out96-Time Out
J120_13_7 107109 107-Time Out107-Time Out
J120_13_8 9194 91-Time Out91-Time Out
J120_13_9 8285 83-Time Out84-Time Out
J120_13_10 8992 89-Time Out89-Time Out
J120_14_1 8485 84-Time Out84-Time Out
J120_14_2 9093 90-Time Out91-Time Out
J120_14_4 8588 85-Time Out85-Time Out
J120_14_5 9397 93-Time Out94-Time Out
J120_14_7 8991 90-Time Out90-Time Out
J120_14_8 110112 110-Time Out110-Time Out
J120_14_10 8081 80-Time Out80-Time Out
J120_16_1 180196 180-Time Out181-Time Out
J120_16_2 221232 221-Time Out221-Time Out
J120_16_3 220234 220-Time Out221-Time Out
J120_16_4 190200 190-Time Out191-Time Out
J120_16_5 184200 184-Time Out184-Time Out
J120_16_6 194206 194-Time Out195-Time Out
J120_16_7 174186 174-Time Out174-Time Out
J120_16_8 182195 182-Time Out183-Time Out
J120_16_9 189205 189-Time Out189-Time Out
J120_16_10 204213 204-Time Out204-Time Out
J120_17_1 135140 135-Time Out135-Time Out
J120_17_2 121123 121-Time Out121-Time Out
J120_17_3 106108 106-Time Out106-Time Out
J120_17_4 117120 117-Time Out117-Time Out
J120_17_5 123129 123-Time Out124-Time Out
J120_17_6 133136 133-Time Out134-Time Out
J120_17_7 141146 141-Time Out141-Time Out
J120_17_8 126127 126-Time Out126-Time Out
J120_17_9 129134 129-Time Out129-Time Out
J120_17_10 131134 131-Time Out131-Time Out
J120_18_1 137138 137-Time Out137-Time Out
J120_18_2 111116 111-Time Out111-Time Out
J120_18_3 100101 100-Time Out100-Time Out
J120_18_4 98101 98-Time Out98-Time Out
J120_18_5 117118 117-Time Out117-Time Out
J120_18_6 131134 131-Time Out131-Time Out
J120_18_7 112118 112-Time Out112-Time Out
J120_18_8 101106 101-Time Out102-Time Out
J120_18_9 8891 88-Time Out89-Time Out
J120_18_10 9698 96-Time Out97-Time Out
J120_19_2 8183 81-Time Out81-Time Out
J120_19_3 8385 83-Time Out83-Time Out
J120_19_4 103106 103-Time Out103-Time Out
J120_19_5 101103 101-Time Out101-Time Out
J120_19_6 8990 89-Time Out89-Time Out
J120_19_9 8889 88-Time Out88-Time Out
J120_20_3 7577 75-Time Out75-Time Out
J120_26_1 154169 155-Time Out154-Time Out
J120_26_2 158169 160-Time Out159-Time Out
J120_26_3 157167 160-Time Out160-Time Out
J120_26_4 160172 161-Time Out161-Time Out
J120_26_5 138153 139-Time Out140-Time Out
J120_26_6 170187 178-Time Out179-Time Out
J120_26_7 146157 147-Time Out148-Time Out
J120_26_8 167176 168-Time Out168-Time Out
J120_26_9 160172 162-Time Out162-Time Out
J120_26_10 177183 179-Time Out179-Time Out
J120_27_1 106108 107-Time Out107-Time Out
J120_27_2 109115 111-Time Out111-Time Out
J120_27_3 141144 142-Time Out142-Time Out
J120_27_4 104108 105-Time Out105-Time Out
J120_27_5 105111 106-Time Out105-Time Out
J120_27_6 132145 135-Time Out136-Time Out
J120_27_7 118125 119-Time Out122-Time Out
J120_27_8 135140 136-Time Out136-Time Out
J120_27_9 120128 122-Time Out122-Time Out
J120_27_10 110115 111-Time Out110-Time Out
J120_28_1 105108 106-Time Out106-Time Out
J120_28_7 108109 108-Time Out108-Time Out
J120_29_3 9698 96-Time Out96-Time Out
J120_29_6 8991 89-Time Out89-Time Out
J120_31_1 180198 180-Time Out182-Time Out
J120_31_2 175193 175-Time Out179-Time Out
J120_31_3 159174 160-Time Out160-Time Out
J120_31_4 194219 194-Time Out195-Time Out
J120_31_5 186200 186-Time Out187-Time Out
J120_31_6 181192 182-Time Out183-Time Out
J120_31_7 190206 191-Time Out195-Time Out
J120_31_8 175192 175-Time Out176-Time Out
J120_31_9 175189 176-Time Out176-Time Out
J120_31_10 201227 201-Time Out202-Time Out
J120_32_1 143147 143-Time Out144-Time Out
J120_32_2 122131 122-Time Out123-Time Out
J120_32_3 134145 134-Time Out134-Time Out
J120_32_4 127136 127-Time Out127-Time Out
J120_32_5 132138 133-Time Out133-Time Out
J120_32_6 121128 122-Time Out122-Time Out
J120_32_7 118122 118-Time Out118-Time Out
J120_32_8 131135 131-Time Out132-Time Out
J120_32_9 125127 125-Time Out125-Time Out
J120_32_10 125131 125-Time Out125-Time Out
J120_33_1 104107 104-Time Out105-Time Out
J120_33_2 106113 106-Time Out107-Time Out
J120_33_3 101107 102-Time Out102-Time Out
J120_33_4 106112 106-Time Out107-Time Out
J120_33_5 133142 133-Time Out133-Time Out
J120_33_7 121123 121-Time Out121-Time Out
J120_33_8 106111 106-Time Out107-Time Out
J120_33_9 108114 108-Time Out109-Time Out
J120_33_10 102106 102-Time Out102-Time Out
J120_34_1 7578 76-Time Out76-Time Out
J120_34_2 102105 103-Time Out103-Time Out
J120_34_3 98102 99-Time Out100-Time Out
J120_34_5 101103 102-Time Out102-Time Out
J120_34_8 8689 86-Time Out86-Time Out
J120_34_9 9195 91-Time Out91-Time Out
J120_36_1 200210 200-Time Out201-Time Out
J120_36_2 206223 206-Time Out206-Time Out
J120_36_3 217229 217-Time Out219-Time Out
J120_36_4 217236 217-Time Out217-Time Out
J120_36_5 212229 212-Time Out214-Time Out
J120_36_6 207225 207-Time Out207-Time Out
J120_36_7 195208 195-Time Out196-Time Out
J120_36_8 156172 156-Time Out156-Time Out
J120_36_9 202221 202-Time Out203-Time Out
J120_36_10 198216 198-Time Out198-Time Out
J120_37_1 138145 138-Time Out138-Time Out
J120_37_2 140145 140-Time Out141-Time Out
J120_37_3 135139 135-Time Out135-Time Out
J120_37_4 156163 156-Time Out156-Time Out
J120_37_5 194206 194-Time Out195-Time Out
J120_37_6 155163 155-Time Out155-Time Out
J120_37_7 151161 151-Time Out151-Time Out
J120_37_8 168178 168-Time Out169-Time Out
J120_37_9 137142 137-Time Out138-Time Out
J120_37_10 127132 127-Time Out127-Time Out
J120_38_1 104108 104-Time Out106-Time Out
J120_38_2 118124 118-Time Out119-Time Out
J120_38_3 154155 154-Time Out154-Time Out
J120_38_4 137140 137-Time Out138-Time Out
J120_38_5 111114 111-Time Out111-Time Out
J120_38_6 118122 118-Time Out119-Time Out
J120_38_7 102105 102-Time Out103-Time Out
J120_38_8 121125 121-Time Out121-Time Out
J120_38_10 136140 136-Time Out137-Time Out
J120_39_2 104108 104-Time Out105-Time Out
J120_39_3 109111 109-Time Out109-Time Out
J120_39_4 9798 97-Time Out97-Time Out
J120_39_7 101104 101-Time Out101-Time Out
J120_39_8 9396 93-Time Out93-Time Out
J120_39_9 8992 89-Time Out89-Time Out
J120_39_10 105110 105-Time Out105-Time Out
J120_40_1 7981 79-Time Out80-Time Out
J120_42_1 106108 107-Time Out107-Time Out
J120_46_1 171188 173-Time Out173-Time Out
J120_46_2 186198 187-Time Out186-Time Out
J120_46_3 162175 163-Time Out163-Time Out
J120_46_4 160170 160-Time Out160-Time Out
J120_46_5 135149 139-Time Out139-Time Out
J120_46_6 169178 169-Time Out169-Time Out
J120_46_7 157170 161-Time Out162-Time Out
J120_46_8 163177 163-Time Out163-Time Out
J120_46_9 156166 157-Time Out156-Time Out
J120_46_10 174188 183-Time Out184-Time Out
J120_47_1 129137 130-Time Out130-Time Out
J120_47_2 126132 126-Time Out126-Time Out
J120_47_3 118125 121-Time Out122-Time Out
J120_47_4 119132 121-Time Out122-Time Out
J120_47_5 125127 126-Time Out126-Time Out
J120_47_6 127137 132-Time Out133-Time Out
J120_47_7 113118 114-Time Out114-Time Out
J120_47_8 123133 124-Time Out125-Time Out
J120_47_9 140144 140-Time Out140-Time Out
J120_47_10 127132 130-Time Out130-Time Out
J120_48_2 111113 111-Time Out111-Time Out
J120_48_3 109112 109-Time Out109-Time Out
J120_48_4 122127 123-Time Out123-Time Out
J120_48_6 102105 102-Time Out102-Time Out
J120_48_7 105107 105-Time Out105-Time Out
J120_49_2 108109 108-Time Out108-Time Out
J120_51_1 185206 186-Time Out186-Time Out
J120_51_2 199221 199-Time Out200-Time Out
J120_51_3 192220 196-Time Out197-Time Out
J120_51_4 196212 200-Time Out200-Time Out
J120_51_5 205230 205-Time Out205-Time Out
J120_51_6 192215 192-Time Out193-Time Out
J120_51_7 184212 185-Time Out186-Time Out
J120_51_8 185206 186-Time Out187-Time Out
J120_51_9 189211 190-Time Out192-Time Out
J120_51_10 200227 200-Time Out201-Time Out
J120_52_1 160176 160-Time Out161-Time Out
J120_52_2 168183 170-Time Out171-Time Out
J120_52_3 125134 125-Time Out126-Time Out
J120_52_4 156170 156-Time Out158-Time Out
J120_52_5 157168 158-Time Out158-Time Out
J120_52_6 182196 183-Time Out186-Time Out
J120_52_7 141149 141-Time Out143-Time Out
J120_52_8 147158 148-Time Out149-Time Out
J120_52_9 141150 141-Time Out143-Time Out
J120_52_10 130144 130-Time Out134-Time Out
J120_53_1 137144 138-Time Out139-Time Out
J120_53_2 108115 109-Time Out110-Time Out
J120_53_3 106112 106-Time Out106-Time Out
J120_53_4 137145 138-Time Out138-Time Out
J120_53_5 108113 110-Time Out110-Time Out
J120_53_6 100106 101-Time Out101-Time Out
J120_53_7 116119 116-Time Out116-Time Out
J120_53_8 134139 134-Time Out135-Time Out
J120_53_9 155165 155-Time Out155-Time Out
J120_53_10 123132 125-Time Out126-Time Out
J120_54_1 101105 101-Time Out102-Time Out
J120_54_5 106109 106-Time Out107-Time Out
J120_54_6 103109 105-Time Out105-Time Out
J120_54_7 108111 108-Time Out108-Time Out
J120_54_8 99102 100-Time Out100-Time Out
J120_54_9 104107 104-Time Out105-Time Out
J120_54_10 107108 107-Time Out107-Time Out
J120_55_1 99100 99-Time Out99-Time Out
J120_55_6 98100 98-Time Out98-Time Out
J120_56_1 218237 218-Time Out218-Time Out
J120_56_2 187204 187-Time Out187-Time Out
J120_56_3 220241 220-Time Out220-Time Out
J120_56_4 205222 205-Time Out205-Time Out
J120_56_5 261280 261-Time Out261-Time Out
J120_56_6 199214 199-Time Out199-Time Out
J120_56_7 260283 260-Time Out260-Time Out
J120_56_8 265289 265-Time Out265-Time Out
J120_56_9 264288 264-Time Out264-Time Out
J120_56_10 237259 237-Time Out237-Time Out
J120_57_1 172185 172-Time Out174-Time Out
J120_57_2 150161 150-Time Out151-Time Out
J120_57_3 175184 175-Time Out176-Time Out
J120_57_4 187200 187-Time Out187-Time Out
J120_57_5 169179 169-Time Out170-Time Out
J120_57_6 175189 175-Time Out176-Time Out
J120_57_7 155166 155-Time Out156-Time Out
J120_57_8 156162 156-Time Out156-Time Out
J120_57_9 156167 156-Time Out158-Time Out
J120_57_10 157167 157-Time Out157-Time Out
J120_58_1 133141 133-Time Out133-Time Out
J120_58_2 121126 121-Time Out122-Time Out
J120_58_3 116120 116-Time Out117-Time Out
J120_58_4 137145 137-Time Out139-Time Out
J120_58_5 115120 115-Time Out116-Time Out
J120_58_6 134140 134-Time Out135-Time Out
J120_58_7 142147 142-Time Out143-Time Out
J120_58_8 125132 125-Time Out126-Time Out
J120_58_9 125130 125-Time Out127-Time Out
J120_58_10 125131 125-Time Out125-Time Out
J120_59_1 112114 112-Time Out112-Time Out
J120_59_2 103106 103-Time Out103-Time Out
J120_59_4 107108 107-Time Out107-Time Out
J120_59_5 103106 103-Time Out104-Time Out
J120_59_6 111115 111-Time Out112-Time Out
J120_59_7 109112 109-Time Out109-Time Out
J120_59_8 106110 106-Time Out107-Time Out
J120_59_9 116119 117-Time Out117-Time Out
J120_59_10 127132 127-Time Out128-Time Out
J120_60_2 8283 82-Time Out82-Time Out
J120_60_3 8789 88-Time Out88-Time Out
J120_60_4 101103 101-Time Out101-Time Out
J120_60_5 103105 103-Time Out103-Time Out
J120_60_7 9095 90-Time Out91-Time Out
J120_60_10 8889 88-Time Out88-Time Out