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 | LB | UB | Run time | Choice Points | |
J90_1_1 | 73 | 73 | 73 | 73 | 0.32s | 951 |
J90_1_2 | 92 | 92 | 92 | 92 | 0.08s | 282 |
J90_1_3 | 66 | 66 | 66 | 66 | 0.18s | 761 |
J90_1_4 | 86 | 86 | 86 | 86 | 0.47s | 2549 |
J90_1_5 | 87 | 87 | 87 | 87 | 0.11s | 334 |
J90_1_6 | 74 | 74 | 74 | 74 | 0.15s | 762 |
J90_1_7 | 91 | 91 | 91 | 91 | 0.08s | 246 |
J90_1_8 | 95 | 95 | 95 | 95 | 0.23s | 587 |
J90_1_9 | 72 | 72 | 72 | 72 | 0.15s | 979 |
J90_1_10 | 90 | 90 | 90 | 90 | 0.16s | 923 |
J90_2_1 | 96 | 96 | 96 | 96 | 0.07s | 90 |
J90_2_2 | 114 | 114 | 114 | 114 | 0.12s | 980 |
J90_2_3 | 75 | 75 | 75 | 75 | 0.06s | 159 |
J90_2_4 | 70 | 70 | 70 | 70 | 0.04s | 154 |
J90_2_5 | 100 | 100 | 100 | 100 | 0.06s | 90 |
J90_2_6 | 67 | 67 | 67 | 67 | 0.05s | 137 |
J90_2_7 | 92 | 92 | 92 | 92 | 0.07s | 223 |
J90_2_8 | 82 | 82 | 82 | 82 | 0.06s | 156 |
J90_2_9 | 79 | 79 | 79 | 79 | 0.06s | 120 |
J90_2_10 | 80 | 80 | 80 | 80 | 0.06s | 90 |
J90_3_1 | 81 | 81 | 81 | 81 | 0.06s | 153 |
J90_3_2 | 84 | 84 | 84 | 84 | 0.06s | 90 |
J90_3_3 | 71 | 71 | 71 | 71 | 0.04s | 90 |
J90_3_4 | 104 | 104 | 104 | 104 | 0.07s | 129 |
J90_3_5 | 75 | 75 | 75 | 75 | 0.04s | 90 |
J90_3_6 | 68 | 68 | 68 | 68 | 0.04s | 90 |
J90_3_7 | 87 | 87 | 87 | 87 | 0.06s | 90 |
J90_3_8 | 86 | 86 | 86 | 86 | 0.06s | 139 |
J90_3_9 | 61 | 61 | 61 | 61 | 0.03s | 138 |
J90_3_10 | 65 | 65 | 65 | 65 | 0.04s | 138 |
J90_4_1 | 93 | 93 | 93 | 93 | 0.06s | 90 |
J90_4_2 | 89 | 89 | 89 | 89 | 0.04s | 90 |
J90_4_3 | 67 | 67 | 67 | 67 | 0.04s | 90 |
J90_4_4 | 92 | 92 | 92 | 92 | 0.05s | 90 |
J90_4_5 | 88 | 88 | 88 | 88 | 0.04s | 90 |
J90_4_6 | 78 | 78 | 78 | 78 | 0.04s | 90 |
J90_4_7 | 80 | 80 | 80 | 80 | 0.04s | 90 |
J90_4_8 | 69 | 69 | 69 | 69 | 0.04s | 90 |
J90_4_9 | 79 | 79 | 79 | 79 | 0.03s | 90 |
J90_4_10 | 68 | 68 | 68 | 68 | 0.04s | 90 |
J90_5_1 | 76 | 78 | 78 | 78 | 9.50s | 12995 |
J90_5_2 | 90 | 93 | 93 | 93 | 8.17s | 12579 |
J90_5_3 | 82 | 87 | - | 89 | Time Out | |
J90_5_4 | 96 | 103 | - | 103 | Time Out | |
J90_5_5 | 107 | 111 | - | 114 | Time Out | |
J90_5_6 | 82 | 86 | - | 87 | Time Out | |
J90_5_7 | 105 | 107 | - | 111 | Time Out | |
J90_5_8 | 93 | 102 | - | 104 | Time Out | |
J90_5_9 | 109 | 115 | - | 118 | Time Out | |
J90_5_10 | 94 | 96 | - | 98 | Time Out | |
J90_6_1 | 82 | 82 | 82 | 82 | 0.07s | 277 |
J90_6_2 | 86 | 86 | 86 | 86 | 0.09s | 278 |
J90_6_3 | 77 | 77 | 77 | 77 | 0.28s | 674 |
J90_6_4 | 80 | 80 | 80 | 80 | 0.20s | 768 |
J90_6_5 | 71 | 71 | 71 | 71 | 0.12s | 443 |
J90_6_6 | 98 | 98 | 98 | 98 | 0.07s | 138 |
J90_6_7 | 71 | 71 | 71 | 71 | 0.07s | 107 |
J90_6_8 | 68 | 68 | 68 | 68 | 0.48s | 944 |
J90_6_9 | 68 | 68 | 68 | 68 | 0.05s | 90 |
J90_6_10 | 94 | 94 | 94 | 94 | 0.10s | 296 |
J90_7_1 | 88 | 88 | 88 | 88 | 0.05s | 90 |
J90_7_2 | 77 | 77 | 77 | 77 | 0.06s | 90 |
J90_7_3 | 80 | 80 | 80 | 80 | 0.04s | 90 |
J90_7_4 | 86 | 86 | 86 | 86 | 0.06s | 90 |
J90_7_5 | 79 | 79 | 79 | 79 | 0.06s | 90 |
J90_7_6 | 90 | 90 | 90 | 90 | 0.08s | 172 |
J90_7_7 | 90 | 90 | 90 | 90 | 0.05s | 90 |
J90_7_8 | 60 | 60 | 60 | 60 | 0.03s | 118 |
J90_7_9 | 83 | 83 | 83 | 83 | 0.04s | 90 |
J90_7_10 | 98 | 98 | 98 | 98 | 0.06s | 90 |
J90_8_1 | 96 | 96 | 96 | 96 | 0.06s | 90 |
J90_8_2 | 78 | 78 | 78 | 78 | 0.05s | 90 |
J90_8_3 | 70 | 70 | 70 | 70 | 0.04s | 90 |
J90_8_4 | 77 | 77 | 77 | 77 | 0.04s | 90 |
J90_8_5 | 63 | 63 | 63 | 63 | 0.04s | 90 |
J90_8_6 | 70 | 70 | 70 | 70 | 0.03s | 90 |
J90_8_7 | 77 | 77 | 77 | 77 | 0.04s | 90 |
J90_8_8 | 68 | 68 | 68 | 68 | 0.04s | 90 |
J90_8_9 | 97 | 97 | 97 | 97 | 0.07s | 90 |
J90_8_10 | 88 | 88 | 88 | 88 | 0.06s | 90 |
J90_9_1 | 98 | 104 | - | 110 | Time Out | |
J90_9_2 | 119 | 128 | - | 137 | Time Out | |
J90_9_3 | 97 | 102 | - | 106 | Time Out | |
J90_9_4 | 117 | 127 | - | 136 | Time Out | |
J90_9_5 | 125 | 140 | - | 145 | Time Out | |
J90_9_6 | 110 | 119 | - | 124 | Time Out | |
J90_9_7 | 102 | 109 | - | 113 | Time Out | |
J90_9_8 | 109 | 116 | - | 123 | Time Out | |
J90_9_9 | 105 | 116 | - | 127 | Time Out | |
J90_9_10 | 102 | 111 | - | 120 | Time Out | |
J90_10_1 | 77 | 77 | 77 | 77 | 0.12s | 167 |
J90_10_2 | 95 | 95 | 95 | 95 | 0.11s | 199 |
J90_10_3 | 112 | 112 | 112 | 112 | 0.10s | 122 |
J90_10_4 | 94 | 94 | 94 | 94 | 0.11s | 189 |
J90_10_5 | 78 | 78 | 78 | 78 | 0.11s | 176 |
J90_10_6 | 92 | 92 | 92 | 92 | 0.08s | 90 |
J90_10_7 | 83 | 83 | 83 | 83 | 0.09s | 148 |
J90_10_8 | 81 | 81 | 81 | 81 | 0.33s | 565 |
J90_10_9 | 88 | 88 | 88 | 88 | 0.08s | 90 |
J90_10_10 | 75 | 75 | 75 | 75 | 0.11s | 236 |
J90_11_1 | 86 | 86 | 86 | 86 | 0.07s | 90 |
J90_11_2 | 99 | 99 | 99 | 99 | 0.11s | 227 |
J90_11_3 | 69 | 69 | 69 | 69 | 0.06s | 90 |
J90_11_4 | 64 | 64 | 64 | 64 | 0.07s | 166 |
J90_11_5 | 81 | 81 | 81 | 81 | 0.06s | 90 |
J90_11_6 | 78 | 78 | 78 | 78 | 0.06s | 90 |
J90_11_7 | 95 | 95 | 95 | 95 | 0.08s | 90 |
J90_11_8 | 82 | 82 | 82 | 82 | 0.10s | 256 |
J90_11_9 | 81 | 81 | 81 | 81 | 0.04s | 90 |
J90_11_10 | 81 | 81 | 81 | 81 | 0.08s | 170 |
J90_12_1 | 71 | 71 | 71 | 71 | 0.05s | 90 |
J90_12_2 | 71 | 71 | 71 | 71 | 0.05s | 90 |
J90_12_3 | 93 | 93 | 93 | 93 | 0.06s | 90 |
J90_12_4 | 73 | 73 | 73 | 73 | 0.04s | 90 |
J90_12_5 | 83 | 83 | 83 | 83 | 0.06s | 90 |
J90_12_6 | 81 | 81 | 81 | 81 | 0.07s | 90 |
J90_12_7 | 77 | 77 | 77 | 77 | 0.05s | 90 |
J90_12_8 | 83 | 83 | 83 | 83 | 0.06s | 90 |
J90_12_9 | 77 | 77 | 77 | 77 | 0.05s | 90 |
J90_12_10 | 86 | 86 | 86 | 86 | 0.07s | 90 |
J90_13_1 | 127 | 138 | - | 153 | Time Out | |
J90_13_2 | 118 | 127 | - | 140 | Time Out | |
J90_13_3 | 104 | 108 | - | 115 | Time Out | |
J90_13_4 | 108 | 112 | - | 121 | Time Out | |
J90_13_5 | 108 | 115 | - | 126 | Time Out | |
J90_13_6 | 116 | 124 | - | 134 | Time Out | |
J90_13_7 | 115 | 124 | - | 134 | Time Out | |
J90_13_8 | 112 | 117 | - | 128 | Time Out | |
J90_13_9 | 116 | 124 | - | 133 | Time Out | |
J90_13_10 | 112 | 120 | - | 130 | Time Out | |
J90_14_1 | 89 | 89 | 89 | 89 | 0.18s | 272 |
J90_14_2 | 79 | 79 | 79 | 79 | 0.11s | 90 |
J90_14_3 | 94 | 94 | 94 | 94 | 0.15s | 134 |
J90_14_4 | 88 | 88 | 88 | 88 | 0.16s | 232 |
J90_14_5 | 84 | 84 | 84 | 84 | 0.11s | 153 |
J90_14_6 | 76 | 76 | 76 | 76 | 5.62s | 6125 |
J90_14_7 | 86 | 86 | 86 | 86 | 0.09s | 90 |
J90_14_8 | 80 | 80 | 80 | 80 | 0.10s | 90 |
J90_14_9 | 112 | 112 | 112 | 112 | 0.20s | 285 |
J90_14_10 | 85 | 85 | 85 | 85 | 0.12s | 130 |
J90_15_1 | 76 | 76 | 76 | 76 | 0.09s | 90 |
J90_15_2 | 71 | 71 | 71 | 71 | 0.07s | 90 |
J90_15_3 | 82 | 82 | 82 | 82 | 0.08s | 90 |
J90_15_4 | 92 | 92 | 92 | 92 | 0.12s | 141 |
J90_15_5 | 93 | 93 | 93 | 93 | 0.10s | 90 |
J90_15_6 | 61 | 61 | 61 | 61 | 0.06s | 90 |
J90_15_7 | 82 | 82 | 82 | 82 | 0.08s | 114 |
J90_15_8 | 82 | 82 | 82 | 82 | 0.08s | 90 |
J90_15_9 | 83 | 83 | 83 | 83 | 0.07s | 90 |
J90_15_10 | 78 | 78 | 78 | 78 | 0.09s | 132 |
J90_16_1 | 85 | 85 | 85 | 85 | 0.06s | 90 |
J90_16_2 | 71 | 71 | 71 | 71 | 0.07s | 90 |
J90_16_3 | 73 | 73 | 73 | 73 | 0.05s | 90 |
J90_16_4 | 69 | 69 | 69 | 69 | 0.05s | 90 |
J90_16_5 | 71 | 71 | 71 | 71 | 0.04s | 90 |
J90_16_6 | 74 | 74 | 74 | 74 | 0.05s | 90 |
J90_16_7 | 65 | 65 | 65 | 65 | 0.04s | 90 |
J90_16_8 | 71 | 71 | 71 | 71 | 0.05s | 90 |
J90_16_9 | 66 | 66 | 66 | 66 | 0.05s | 90 |
J90_16_10 | 71 | 71 | 71 | 71 | 0.06s | 90 |
J90_17_1 | 92 | 92 | 92 | 92 | 0.23s | 1548 |
J90_17_2 | 100 | 100 | 100 | 100 | 0.58s | 2099 |
J90_17_3 | 89 | 89 | 89 | 89 | 0.12s | 998 |
J90_17_4 | 94 | 94 | 94 | 94 | 0.07s | 260 |
J90_17_5 | 113 | 113 | 113 | 113 | 0.14s | 729 |
J90_17_6 | 94 | 94 | 94 | 94 | 0.11s | 638 |
J90_17_7 | 80 | 80 | 80 | 80 | 0.09s | 210 |
J90_17_8 | 113 | 113 | 113 | 113 | 0.20s | 1099 |
J90_17_9 | 96 | 96 | 96 | 96 | 0.18s | 773 |
J90_17_10 | 89 | 89 | 89 | 89 | 0.24s | 808 |
J90_18_1 | 101 | 101 | 101 | 101 | 0.04s | 90 |
J90_18_2 | 94 | 94 | 94 | 94 | 0.05s | 90 |
J90_18_3 | 83 | 83 | 83 | 83 | 0.04s | 158 |
J90_18_4 | 98 | 98 | 98 | 98 | 0.06s | 208 |
J90_18_5 | 90 | 90 | 90 | 90 | 0.06s | 117 |
J90_18_6 | 83 | 83 | 83 | 83 | 0.04s | 210 |
J90_18_7 | 73 | 73 | 73 | 73 | 0.04s | 154 |
J90_18_8 | 92 | 92 | 92 | 92 | 0.05s | 148 |
J90_18_9 | 79 | 79 | 79 | 79 | 0.04s | 216 |
J90_18_10 | 94 | 94 | 94 | 94 | 0.05s | 194 |
J90_19_1 | 98 | 98 | 98 | 98 | 0.06s | 152 |
J90_19_2 | 83 | 83 | 83 | 83 | 0.04s | 90 |
J90_19_3 | 89 | 89 | 89 | 89 | 0.04s | 90 |
J90_19_4 | 77 | 77 | 77 | 77 | 0.04s | 138 |
J90_19_5 | 66 | 66 | 66 | 66 | 0.05s | 236 |
J90_19_6 | 136 | 136 | 136 | 136 | 0.06s | 90 |
J90_19_7 | 66 | 66 | 66 | 66 | 0.04s | 214 |
J90_19_8 | 91 | 91 | 91 | 91 | 0.04s | 90 |
J90_19_9 | 121 | 121 | 121 | 121 | 0.06s | 90 |
J90_19_10 | 85 | 85 | 85 | 85 | 0.04s | 90 |
J90_20_1 | 85 | 85 | 85 | 85 | 0.02s | 90 |
J90_20_2 | 76 | 76 | 76 | 76 | 0.03s | 90 |
J90_20_3 | 86 | 86 | 86 | 86 | 0.04s | 90 |
J90_20_4 | 86 | 86 | 86 | 86 | 0.03s | 90 |
J90_20_5 | 88 | 88 | 88 | 88 | 0.06s | 90 |
J90_20_6 | 83 | 83 | 83 | 83 | 0.03s | 90 |
J90_20_7 | 82 | 82 | 82 | 82 | 0.03s | 90 |
J90_20_8 | 85 | 85 | 85 | 85 | 0.04s | 90 |
J90_20_9 | 76 | 76 | 76 | 76 | 0.04s | 90 |
J90_20_10 | 89 | 89 | 89 | 89 | 0.04s | 90 |
J90_21_1 | 102 | 110 | - | 111 | Time Out | |
J90_21_2 | 111 | 116 | - | 116 | Time Out | |
J90_21_3 | 124 | 124 | 124 | 124 | 66.99s | 56402 |
J90_21_4 | 105 | 106 | 106 | 106 | 11.48s | 14378 |
J90_21_5 | 107 | 112 | - | 112 | Time Out | |
J90_21_6 | 102 | 106 | 106 | 106 | 579.90s | 370896 |
J90_21_7 | 100 | 109 | - | 113 | Time Out | |
J90_21_8 | 103 | 111 | - | 113 | Time Out | |
J90_21_9 | 118 | 121 | - | 121 | Time Out | |
J90_21_10 | 106 | 109 | 109 | 109 | 159.65s | 136329 |
J90_22_1 | 108 | 108 | 108 | 108 | 0.09s | 90 |
J90_22_2 | 85 | 85 | 85 | 85 | 0.07s | 123 |
J90_22_3 | 83 | 83 | 83 | 83 | 0.24s | 794 |
J90_22_4 | 96 | 96 | 96 | 96 | 0.07s | 116 |
J90_22_5 | 96 | 96 | 96 | 96 | 0.06s | 114 |
J90_22_6 | 71 | 71 | 71 | 71 | 0.06s | 171 |
J90_22_7 | 90 | 90 | 90 | 90 | 0.06s | 189 |
J90_22_8 | 97 | 97 | 97 | 97 | 0.07s | 107 |
J90_22_9 | 101 | 101 | 101 | 101 | 0.25s | 969 |
J90_22_10 | 75 | 75 | 75 | 75 | 0.15s | 442 |
J90_23_1 | 90 | 90 | 90 | 90 | 0.06s | 143 |
J90_23_2 | 84 | 84 | 84 | 84 | 0.04s | 90 |
J90_23_3 | 116 | 116 | 116 | 116 | 0.07s | 90 |
J90_23_4 | 85 | 85 | 85 | 85 | 0.06s | 185 |
J90_23_5 | 95 | 95 | 95 | 95 | 0.05s | 161 |
J90_23_6 | 87 | 87 | 87 | 87 | 0.07s | 167 |
J90_23_7 | 77 | 77 | 77 | 77 | 0.04s | 90 |
J90_23_8 | 92 | 92 | 92 | 92 | 0.06s | 90 |
J90_23_9 | 126 | 126 | 126 | 126 | 0.08s | 90 |
J90_23_10 | 87 | 87 | 87 | 87 | 0.04s | 90 |
J90_24_1 | 84 | 84 | 84 | 84 | 0.05s | 90 |
J90_24_2 | 92 | 92 | 92 | 92 | 0.04s | 90 |
J90_24_3 | 69 | 69 | 69 | 69 | 0.04s | 90 |
J90_24_4 | 81 | 81 | 81 | 81 | 0.04s | 90 |
J90_24_5 | 85 | 85 | 85 | 85 | 0.04s | 90 |
J90_24_6 | 79 | 79 | 79 | 79 | 0.04s | 90 |
J90_24_7 | 87 | 87 | 87 | 87 | 0.04s | 90 |
J90_24_8 | 88 | 88 | 88 | 88 | 0.05s | 90 |
J90_24_9 | 80 | 80 | 80 | 80 | 0.04s | 90 |
J90_24_10 | 89 | 89 | 89 | 89 | 0.04s | 90 |
J90_25_1 | 114 | 124 | - | 130 | Time Out | |
J90_25_2 | 120 | 131 | - | 142 | Time Out | |
J90_25_3 | 111 | 123 | - | 134 | Time Out | |
J90_25_4 | 127 | 138 | - | 144 | Time Out | |
J90_25_5 | 109 | 114 | - | 123 | Time Out | |
J90_25_6 | 112 | 121 | - | 126 | Time Out | |
J90_25_7 | 120 | 130 | - | 139 | Time Out | |
J90_25_8 | 129 | 140 | - | 151 | Time Out | |
J90_25_9 | 97 | 106 | - | 110 | Time Out | |
J90_25_10 | 118 | 130 | - | 135 | Time Out | |
J90_26_1 | 90 | 90 | 90 | 90 | 0.09s | 90 |
J90_26_2 | 85 | 85 | 85 | 85 | 80.37s | 91927 |
J90_26_3 | 80 | 80 | 80 | 80 | 0.08s | 164 |
J90_26_4 | 97 | 97 | 97 | 97 | 22.47s | 31266 |
J90_26_5 | 83 | 85 | 85 | 85 | 404.34s | 268801 |
J90_26_6 | 108 | 108 | 108 | 108 | 0.10s | 90 |
J90_26_7 | 82 | 82 | 82 | 82 | 0.92s | 2229 |
J90_26_8 | 82 | 82 | 82 | 82 | 91.25s | 94297 |
J90_26_9 | 87 | 87 | 87 | 87 | 0.14s | 331 |
J90_26_10 | 92 | 92 | 92 | 92 | 0.08s | 90 |
J90_27_1 | 96 | 96 | 96 | 96 | 0.06s | 90 |
J90_27_2 | 81 | 81 | 81 | 81 | 0.08s | 145 |
J90_27_3 | 91 | 91 | 91 | 91 | 0.08s | 90 |
J90_27_4 | 79 | 79 | 79 | 79 | 0.06s | 167 |
J90_27_5 | 99 | 99 | 99 | 99 | 0.08s | 90 |
J90_27_6 | 87 | 87 | 87 | 87 | 0.07s | 90 |
J90_27_7 | 73 | 73 | 73 | 73 | 0.06s | 130 |
J90_27_8 | 72 | 72 | 72 | 72 | 0.06s | 90 |
J90_27_9 | 84 | 84 | 84 | 84 | 0.05s | 131 |
J90_27_10 | 97 | 97 | 97 | 97 | 0.06s | 90 |
J90_28_1 | 80 | 80 | 80 | 80 | 0.05s | 90 |
J90_28_2 | 76 | 76 | 76 | 76 | 0.05s | 90 |
J90_28_3 | 86 | 86 | 86 | 86 | 0.06s | 90 |
J90_28_4 | 78 | 78 | 78 | 78 | 0.04s | 90 |
J90_28_5 | 88 | 88 | 88 | 88 | 0.05s | 90 |
J90_28_6 | 102 | 102 | 102 | 102 | 0.06s | 90 |
J90_28_7 | 97 | 97 | 97 | 97 | 0.07s | 90 |
J90_28_8 | 110 | 110 | 110 | 110 | 0.07s | 90 |
J90_28_9 | 120 | 120 | 120 | 120 | 0.09s | 90 |
J90_28_10 | 68 | 68 | 68 | 68 | 0.05s | 90 |
J90_29_1 | 125 | 135 | - | 143 | Time Out | |
J90_29_2 | 120 | 126 | - | 131 | Time Out | |
J90_29_3 | 135 | 144 | - | 157 | Time Out | |
J90_29_4 | 138 | 149 | - | 162 | Time Out | |
J90_29_5 | 114 | 121 | - | 131 | Time Out | |
J90_29_6 | 116 | 124 | - | 137 | Time Out | |
J90_29_7 | 158 | 170 | - | 183 | Time Out | |
J90_29_8 | 145 | 154 | - | 170 | Time Out | |
J90_29_9 | 118 | 127 | - | 139 | Time Out | |
J90_29_10 | 117 | 125 | - | 133 | Time Out | |
J90_30_1 | 102 | 102 | 102 | 102 | 0.12s | 123 |
J90_30_2 | 76 | 76 | 76 | 76 | 0.08s | 153 |
J90_30_3 | 102 | 102 | 102 | 102 | 0.16s | 203 |
J90_30_4 | 104 | 104 | 104 | 104 | 0.13s | 186 |
J90_30_5 | 83 | 83 | - | 85 | Time Out | |
J90_30_6 | 90 | 90 | 90 | 90 | 0.10s | 141 |
J90_30_7 | 84 | 84 | - | 85 | Time Out | |
J90_30_8 | 82 | 82 | 82 | 82 | 0.12s | 125 |
J90_30_9 | 90 | 94 | - | 96 | Time Out | |
J90_30_10 | 90 | 90 | 90 | 90 | 0.11s | 163 |
J90_31_1 | 79 | 79 | 79 | 79 | 0.07s | 90 |
J90_31_2 | 69 | 69 | 69 | 69 | 0.07s | 205 |
J90_31_3 | 106 | 106 | 106 | 106 | 0.09s | 90 |
J90_31_4 | 79 | 79 | 79 | 79 | 0.06s | 202 |
J90_31_5 | 79 | 79 | 79 | 79 | 0.10s | 165 |
J90_31_6 | 80 | 80 | 80 | 80 | 0.09s | 208 |
J90_31_7 | 97 | 97 | 97 | 97 | 0.10s | 90 |
J90_31_8 | 83 | 83 | 83 | 83 | 0.08s | 90 |
J90_31_9 | 72 | 72 | 72 | 72 | 0.05s | 90 |
J90_31_10 | 99 | 99 | 99 | 99 | 0.12s | 90 |
J90_32_1 | 78 | 78 | 78 | 78 | 0.04s | 90 |
J90_32_2 | 78 | 78 | 78 | 78 | 0.05s | 90 |
J90_32_3 | 89 | 89 | 89 | 89 | 0.06s | 90 |
J90_32_4 | 104 | 104 | 104 | 104 | 0.08s | 90 |
J90_32_5 | 93 | 93 | 93 | 93 | 0.05s | 90 |
J90_32_6 | 86 | 86 | 86 | 86 | 0.04s | 90 |
J90_32_7 | 87 | 87 | 87 | 87 | 0.06s | 90 |
J90_32_8 | 79 | 79 | 79 | 79 | 0.04s | 90 |
J90_32_9 | 95 | 95 | 95 | 95 | 0.08s | 90 |
J90_32_10 | 91 | 91 | 91 | 91 | 0.06s | 90 |
J90_33_1 | 99 | 99 | 99 | 99 | 0.17s | 744 |
J90_33_2 | 112 | 112 | 112 | 112 | 0.14s | 253 |
J90_33_3 | 108 | 108 | 108 | 108 | 0.15s | 566 |
J90_33_4 | 92 | 92 | 92 | 92 | 0.08s | 321 |
J90_33_5 | 109 | 109 | 109 | 109 | 0.14s | 765 |
J90_33_6 | 88 | 88 | 88 | 88 | 0.12s | 327 |
J90_33_7 | 109 | 109 | 109 | 109 | 0.06s | 115 |
J90_33_8 | 110 | 110 | 110 | 110 | 0.15s | 888 |
J90_33_9 | 95 | 95 | 95 | 95 | 0.12s | 465 |
J90_33_10 | 114 | 114 | 114 | 114 | 0.11s | 649 |
J90_34_1 | 83 | 83 | 83 | 83 | 0.04s | 121 |
J90_34_2 | 89 | 89 | 89 | 89 | 0.04s | 90 |
J90_34_3 | 82 | 82 | 82 | 82 | 0.03s | 90 |
J90_34_4 | 81 | 81 | 81 | 81 | 0.07s | 245 |
J90_34_5 | 83 | 83 | 83 | 83 | 0.08s | 483 |
J90_34_6 | 89 | 89 | 89 | 89 | 0.05s | 201 |
J90_34_7 | 92 | 92 | 92 | 92 | 0.07s | 218 |
J90_34_8 | 81 | 81 | 81 | 81 | 0.06s | 277 |
J90_34_9 | 109 | 109 | 109 | 109 | 0.06s | 231 |
J90_34_10 | 101 | 101 | 101 | 101 | 0.04s | 90 |
J90_35_1 | 98 | 98 | 98 | 98 | 0.04s | 149 |
J90_35_2 | 92 | 92 | 92 | 92 | 0.04s | 90 |
J90_35_3 | 96 | 96 | 96 | 96 | 0.04s | 90 |
J90_35_4 | 86 | 86 | 86 | 86 | 0.04s | 130 |
J90_35_5 | 103 | 103 | 103 | 103 | 0.04s | 132 |
J90_35_6 | 72 | 72 | 72 | 72 | 0.04s | 149 |
J90_35_7 | 78 | 78 | 78 | 78 | 0.03s | 90 |
J90_35_8 | 85 | 85 | 85 | 85 | 0.04s | 90 |
J90_35_9 | 76 | 76 | 76 | 76 | 0.03s | 161 |
J90_35_10 | 82 | 82 | 82 | 82 | 0.03s | 90 |
J90_36_1 | 97 | 97 | 97 | 97 | 0.04s | 90 |
J90_36_2 | 114 | 114 | 114 | 114 | 0.04s | 90 |
J90_36_3 | 84 | 84 | 84 | 84 | 0.03s | 90 |
J90_36_4 | 79 | 79 | 79 | 79 | 0.04s | 90 |
J90_36_5 | 98 | 98 | 98 | 98 | 0.04s | 90 |
J90_36_6 | 99 | 99 | 99 | 99 | 0.03s | 90 |
J90_36_7 | 89 | 89 | 89 | 89 | 0.03s | 90 |
J90_36_8 | 84 | 84 | 84 | 84 | 0.03s | 90 |
J90_36_9 | 102 | 102 | 102 | 102 | 0.04s | 90 |
J90_36_10 | 109 | 109 | 109 | 109 | 0.05s | 90 |
J90_37_1 | 105 | 110 | 110 | 110 | 42.58s | 50769 |
J90_37_2 | 109 | 115 | - | 115 | Time Out | |
J90_37_3 | 132 | 132 | 132 | 132 | 4.24s | 5482 |
J90_37_4 | 121 | 123 | 123 | 123 | 33.47s | 33944 |
J90_37_5 | 122 | 126 | 126 | 126 | 287.80s | 173036 |
J90_37_6 | 124 | 131 | - | 133 | Time Out | |
J90_37_7 | 123 | 123 | 123 | 123 | 13.93s | 14469 |
J90_37_8 | 115 | 119 | - | 119 | Time Out | |
J90_37_9 | 122 | 123 | 123 | 123 | 9.48s | 11614 |
J90_37_10 | 117 | 123 | - | 125 | Time Out | |
J90_38_1 | 85 | 85 | 85 | 85 | 0.11s | 354 |
J90_38_2 | 78 | 78 | 78 | 78 | 0.08s | 188 |
J90_38_3 | 89 | 89 | 89 | 89 | 0.16s | 599 |
J90_38_4 | 89 | 89 | 89 | 89 | 0.08s | 278 |
J90_38_5 | 86 | 86 | 86 | 86 | 0.16s | 847 |
J90_38_6 | 88 | 88 | 88 | 88 | 0.22s | 851 |
J90_38_7 | 85 | 85 | 85 | 85 | 0.07s | 150 |
J90_38_8 | 91 | 91 | 91 | 91 | 0.12s | 521 |
J90_38_9 | 95 | 95 | 95 | 95 | 0.14s | 545 |
J90_38_10 | 108 | 108 | 108 | 108 | 0.07s | 167 |
J90_39_1 | 106 | 106 | 106 | 106 | 0.06s | 90 |
J90_39_2 | 119 | 119 | 119 | 119 | 0.05s | 133 |
J90_39_3 | 83 | 83 | 83 | 83 | 0.05s | 90 |
J90_39_4 | 81 | 81 | 81 | 81 | 0.07s | 171 |
J90_39_5 | 85 | 85 | 85 | 85 | 0.05s | 196 |
J90_39_6 | 102 | 102 | 102 | 102 | 0.06s | 154 |
J90_39_7 | 85 | 85 | 85 | 85 | 0.04s | 135 |
J90_39_8 | 81 | 81 | 81 | 81 | 0.04s | 113 |
J90_39_9 | 79 | 79 | 79 | 79 | 0.04s | 163 |
J90_39_10 | 100 | 100 | 100 | 100 | 0.04s | 163 |
J90_40_1 | 95 | 95 | 95 | 95 | 0.04s | 90 |
J90_40_2 | 91 | 91 | 91 | 91 | 0.03s | 90 |
J90_40_3 | 77 | 77 | 77 | 77 | 0.04s | 90 |
J90_40_4 | 106 | 106 | 106 | 106 | 0.05s | 90 |
J90_40_5 | 92 | 92 | 92 | 92 | 0.05s | 90 |
J90_40_6 | 86 | 86 | 86 | 86 | 0.05s | 90 |
J90_40_7 | 87 | 87 | 87 | 87 | 0.03s | 90 |
J90_40_8 | 79 | 79 | 79 | 79 | 0.03s | 90 |
J90_40_9 | 98 | 98 | 98 | 98 | 0.04s | 90 |
J90_40_10 | 86 | 86 | 86 | 86 | 0.04s | 90 |
J90_41_1 | 128 | 142 | - | 149 | Time Out | |
J90_41_2 | 151 | 168 | - | 179 | Time Out | |
J90_41_3 | 146 | 161 | - | 172 | Time Out | |
J90_41_4 | 140 | 154 | - | 165 | Time Out | |
J90_41_5 | 115 | 127 | - | 134 | Time Out | |
J90_41_6 | 123 | 135 | - | 143 | Time Out | |
J90_41_7 | 143 | 157 | - | 163 | Time Out | |
J90_41_8 | 147 | 163 | - | 178 | Time Out | |
J90_41_9 | 109 | 119 | - | 128 | Time Out | |
J90_41_10 | 141 | 150 | - | 159 | Time Out | |
J90_42_1 | 106 | 106 | 106 | 106 | 0.14s | 340 |
J90_42_2 | 100 | 102 | 102 | 102 | 23.26s | 30640 |
J90_42_3 | 94 | 94 | 94 | 94 | 0.24s | 535 |
J90_42_4 | 102 | 102 | 102 | 102 | 0.16s | 741 |
J90_42_5 | 105 | 105 | 105 | 105 | 0.14s | 278 |
J90_42_6 | 89 | 89 | 89 | 89 | 0.12s | 286 |
J90_42_7 | 85 | 87 | 87 | 87 | 228.31s | 185078 |
J90_42_8 | 105 | 105 | 105 | 105 | 0.09s | 152 |
J90_42_9 | 83 | 83 | 83 | 83 | 1.39s | 2446 |
J90_42_10 | 88 | 90 | 90 | 90 | 482.46s | 325812 |
J90_43_1 | 99 | 99 | 99 | 99 | 0.13s | 506 |
J90_43_2 | 91 | 91 | 91 | 91 | 0.06s | 90 |
J90_43_3 | 102 | 102 | 102 | 102 | 0.06s | 148 |
J90_43_4 | 94 | 94 | 94 | 94 | 0.08s | 90 |
J90_43_5 | 98 | 98 | 98 | 98 | 0.07s | 90 |
J90_43_6 | 114 | 114 | 114 | 114 | 0.08s | 134 |
J90_43_7 | 88 | 88 | 88 | 88 | 0.07s | 246 |
J90_43_8 | 100 | 100 | 100 | 100 | 0.08s | 148 |
J90_43_9 | 88 | 88 | 88 | 88 | 0.07s | 90 |
J90_43_10 | 92 | 92 | 92 | 92 | 0.08s | 90 |
J90_44_1 | 100 | 100 | 100 | 100 | 0.06s | 90 |
J90_44_2 | 92 | 92 | 92 | 92 | 0.03s | 90 |
J90_44_3 | 110 | 110 | 110 | 110 | 0.05s | 90 |
J90_44_4 | 89 | 89 | 89 | 89 | 0.04s | 90 |
J90_44_5 | 84 | 84 | 84 | 84 | 0.04s | 90 |
J90_44_6 | 96 | 96 | 96 | 96 | 0.06s | 90 |
J90_44_7 | 93 | 93 | 93 | 93 | 0.06s | 90 |
J90_44_8 | 99 | 99 | 99 | 99 | 0.05s | 90 |
J90_44_9 | 96 | 96 | 96 | 96 | 0.07s | 90 |
J90_44_10 | 86 | 86 | 86 | 86 | 0.05s | 90 |
J90_45_1 | 142 | 146 | - | 155 | Time Out | |
J90_45_2 | 136 | 148 | - | 160 | Time Out | |
J90_45_3 | 143 | 154 | - | 170 | Time Out | |
J90_45_4 | 125 | 135 | - | 146 | Time Out | |
J90_45_5 | 162 | 174 | - | 192 | Time Out | |
J90_45_6 | 162 | 175 | - | 194 | Time Out | |
J90_45_7 | 127 | 136 | - | 148 | Time Out | |
J90_45_8 | 149 | 160 | - | 174 | Time Out | |
J90_45_9 | 144 | 158 | - | 170 | Time Out | |
J90_45_10 | 154 | 164 | - | 185 | Time Out | |
J90_46_1 | 104 | 104 | 104 | 104 | 1.89s | 3571 |
J90_46_2 | 98 | 98 | 98 | 98 | 0.48s | 1038 |
J90_46_3 | 113 | 113 | 113 | 113 | 0.35s | 427 |
J90_46_4 | 90 | 93 | - | 94 | Time Out | |
J90_46_5 | 91 | 91 | 91 | 91 | 0.12s | 198 |
J90_46_6 | 83 | 83 | 83 | 83 | 0.13s | 177 |
J90_46_7 | 89 | 89 | 89 | 89 | 0.12s | 190 |
J90_46_8 | 93 | 96 | - | 99 | Time Out | |
J90_46_9 | 85 | 89 | - | 91 | Time Out | |
J90_46_10 | 114 | 114 | 114 | 114 | 0.11s | 202 |
J90_47_1 | 82 | 82 | 82 | 82 | 0.06s | 90 |
J90_47_2 | 90 | 90 | 90 | 90 | 0.11s | 192 |
J90_47_3 | 102 | 102 | 102 | 102 | 0.11s | 197 |
J90_47_4 | 93 | 93 | 93 | 93 | 0.08s | 145 |
J90_47_5 | 93 | 93 | 93 | 93 | 0.08s | 90 |
J90_47_6 | 98 | 98 | 98 | 98 | 0.10s | 90 |
J90_47_7 | 94 | 94 | 94 | 94 | 0.06s | 90 |
J90_47_8 | 98 | 98 | 98 | 98 | 0.08s | 90 |
J90_47_9 | 86 | 86 | 86 | 86 | 0.06s | 90 |
J90_47_10 | 65 | 65 | 65 | 65 | 0.07s | 154 |
J90_48_1 | 83 | 83 | 83 | 83 | 0.04s | 90 |
J90_48_2 | 89 | 89 | 89 | 89 | 0.06s | 90 |
J90_48_3 | 86 | 86 | 86 | 86 | 0.05s | 90 |
J90_48_4 | 91 | 91 | 91 | 91 | 0.04s | 90 |
J90_48_5 | 75 | 75 | 75 | 75 | 0.04s | 90 |
J90_48_6 | 114 | 114 | 114 | 114 | 0.07s | 90 |
J90_48_7 | 103 | 103 | 103 | 103 | 0.06s | 90 |
J90_48_8 | 74 | 74 | 74 | 74 | 0.04s | 90 |
J90_48_9 | 89 | 89 | 89 | 89 | 0.04s | 90 |
J90_48_10 | 93 | 93 | 93 | 93 | 0.05s | 90 |