Label | Meaning |
---|---|
S | Solution {OPTIMUM FOUND or OPT | UNSATISFIABLE or UNSAT | UNKNOWN | Not available or N/A} |
O | Best solution found |
T | CPU time (TO for Time Out) |
(out)(err) | Standard output and standard error for each solver |
Color | Meaning for Complete Solvers | Meaning for Incomplete Solvers |
---|---|---|
Text | Best solver column | Best solver column |
Text | Optimal solution with the best CPU time | Best solution with the best CPU time |
Text | Optimal solution and finished within the Time Out | Best solution without the best CPU time |
Text | Optimal solution and did not finish within the Time Out | Solution found but not the best |
Text | Time Out | Time Out |
Text | Buggy solution | Buggy solution |
Instance file name | Best solver | Sat4j-i | ubcsat-irots |
---|---|---|---|
maxcut-140-630-0.7-1.cnf | O = 160 T = 5.53 |
O = 231 T = 5.01 (out)(err) |
O = 160 T = 5.53 (out)(err) |
maxcut-140-630-0.7-10.cnf | O = 167 T = 6.11 |
O = 244 T = 3.31 (out)(err) |
O = 167 T = 6.11 (out)(err) |
maxcut-140-630-0.7-11.cnf | O = 170 T = 4.86 |
O = 261 T = 2.22 (out)(err) |
O = 170 T = 4.86 (out)(err) |
maxcut-140-630-0.7-12.cnf | O = 167 T = 5.98 |
O = 243 T = 5.38 (out)(err) |
O = 167 T = 5.98 (out)(err) |
maxcut-140-630-0.7-13.cnf | O = 169 T = 4.23 |
O = 243 T = 2.92 (out)(err) |
O = 169 T = 4.23 (out)(err) |
maxcut-140-630-0.7-14.cnf | O = 166 T = 5.00 |
O = 241 T = 1.43 (out)(err) |
O = 166 T = 5.00 (out)(err) |
maxcut-140-630-0.7-15.cnf | O = 169 T = 4.28 |
O = 248 T = 1.65 (out)(err) |
O = 169 T = 4.28 (out)(err) |
maxcut-140-630-0.7-16.cnf | O = 167 T = 5.23 |
O = 253 T = 4.66 (out)(err) |
O = 167 T = 5.23 (out)(err) |
maxcut-140-630-0.7-17.cnf | O = 166 T = 4.94 |
O = 242 T = 3.57 (out)(err) |
O = 166 T = 4.94 (out)(err) |
maxcut-140-630-0.7-18.cnf | O = 166 T = 6.23 |
O = 248 T = 3.01 (out)(err) |
O = 166 T = 6.23 (out)(err) |
maxcut-140-630-0.7-19.cnf | O = 167 T = 5.71 |
O = 239 T = 1.79 (out)(err) |
O = 167 T = 5.71 (out)(err) |
maxcut-140-630-0.7-2.cnf | O = 160 T = 5.65 |
O = 245 T = 4.72 (out)(err) |
O = 160 T = 5.65 (out)(err) |
maxcut-140-630-0.7-20.cnf | O = 168 T = 5.09 |
O = 239 T = 4.96 (out)(err) |
O = 168 T = 5.09 (out)(err) |
maxcut-140-630-0.7-21.cnf | O = 165 T = 4.95 |
O = 238 T = 2.38 (out)(err) |
O = 165 T = 4.95 (out)(err) |
maxcut-140-630-0.7-22.cnf | O = 164 T = 6.04 |
O = 249 T = 4.03 (out)(err) |
O = 164 T = 6.04 (out)(err) |
maxcut-140-630-0.7-23.cnf | O = 165 T = 5.74 |
O = 239 T = 4.18 (out)(err) |
O = 165 T = 5.74 (out)(err) |
maxcut-140-630-0.7-24.cnf | O = 166 T = 6.08 |
O = 241 T = 5.27 (out)(err) |
O = 166 T = 6.08 (out)(err) |
maxcut-140-630-0.7-25.cnf | O = 167 T = 6.25 |
O = 252 T = 1.77 (out)(err) |
O = 167 T = 6.25 (out)(err) |
maxcut-140-630-0.7-26.cnf | O = 166 T = 5.80 |
O = 261 T = 4.59 (out)(err) |
O = 166 T = 5.80 (out)(err) |
maxcut-140-630-0.7-27.cnf | O = 165 T = 4.33 |
O = 226 T = 2.41 (out)(err) |
O = 165 T = 4.33 (out)(err) |
maxcut-140-630-0.7-28.cnf | O = 167 T = 0.68 |
O = 252 T = 1.15 (out)(err) |
O = 167 T = 0.68 (out)(err) |
maxcut-140-630-0.7-29.cnf | O = 166 T = 5.05 |
O = 242 T = 3.37 (out)(err) |
O = 166 T = 5.05 (out)(err) |
maxcut-140-630-0.7-3.cnf | O = 168 T = 4.81 |
O = 256 T = 2.87 (out)(err) |
O = 168 T = 4.81 (out)(err) |
maxcut-140-630-0.7-30.cnf | O = 167 T = 5.87 |
O = 233 T = 2.80 (out)(err) |
O = 167 T = 5.87 (out)(err) |
maxcut-140-630-0.7-31.cnf | O = 170 T = 5.49 |
O = 253 T = 4.77 (out)(err) |
O = 170 T = 5.49 (out)(err) |
maxcut-140-630-0.7-32.cnf | O = 164 T = 5.95 |
O = 239 T = 3.07 (out)(err) |
O = 164 T = 5.95 (out)(err) |
maxcut-140-630-0.7-33.cnf | O = 165 T = 5.28 |
O = 239 T = 6.39 (out)(err) |
O = 165 T = 5.28 (out)(err) |
maxcut-140-630-0.7-34.cnf | O = 168 T = 5.16 |
O = 245 T = 5.82 (out)(err) |
O = 168 T = 5.16 (out)(err) |
maxcut-140-630-0.7-35.cnf | O = 164 T = 0.60 |
O = 224 T = 4.26 (out)(err) |
O = 164 T = 0.60 (out)(err) |
maxcut-140-630-0.7-36.cnf | O = 167 T = 0.81 |
O = 238 T = 1.74 (out)(err) |
O = 167 T = 0.81 (out)(err) |
maxcut-140-630-0.7-37.cnf | O = 170 T = 0.66 |
O = 237 T = 3.14 (out)(err) |
O = 170 T = 0.66 (out)(err) |
maxcut-140-630-0.7-38.cnf | O = 167 T = 4.68 |
O = 238 T = 2.84 (out)(err) |
O = 167 T = 4.68 (out)(err) |
maxcut-140-630-0.7-39.cnf | O = 163 T = 5.71 |
O = 248 T = 3.34 (out)(err) |
O = 163 T = 5.71 (out)(err) |
maxcut-140-630-0.7-4.cnf | O = 167 T = 4.85 |
O = 250 T = 3.45 (out)(err) |
O = 167 T = 4.85 (out)(err) |
maxcut-140-630-0.7-40.cnf | O = 167 T = 4.77 |
O = 251 T = 2.92 (out)(err) |
O = 167 T = 4.77 (out)(err) |
maxcut-140-630-0.7-41.cnf | O = 161 T = 5.06 |
O = 254 T = 2.93 (out)(err) |
O = 161 T = 5.06 (out)(err) |
maxcut-140-630-0.7-42.cnf | O = 161 T = 5.72 |
O = 246 T = 3.62 (out)(err) |
O = 161 T = 5.72 (out)(err) |
maxcut-140-630-0.7-43.cnf | O = 164 T = 5.90 |
O = 222 T = 3.88 (out)(err) |
O = 164 T = 5.90 (out)(err) |
maxcut-140-630-0.7-44.cnf | O = 163 T = 4.93 |
O = 236 T = 3.14 (out)(err) |
O = 163 T = 4.93 (out)(err) |
maxcut-140-630-0.7-45.cnf | O = 168 T = 4.35 |
O = 262 T = 4.31 (out)(err) |
O = 168 T = 4.35 (out)(err) |
maxcut-140-630-0.7-46.cnf | O = 168 T = 4.28 |
O = 260 T = 1.51 (out)(err) |
O = 168 T = 4.28 (out)(err) |
maxcut-140-630-0.7-47.cnf | O = 160 T = 5.24 |
O = 224 T = 3.36 (out)(err) |
O = 160 T = 5.24 (out)(err) |
maxcut-140-630-0.7-48.cnf | O = 168 T = 5.05 |
O = 245 T = 2.80 (out)(err) |
O = 168 T = 5.05 (out)(err) |
maxcut-140-630-0.7-49.cnf | O = 164 T = 4.80 |
O = 218 T = 3.16 (out)(err) |
O = 164 T = 4.80 (out)(err) |
maxcut-140-630-0.7-5.cnf | O = 164 T = 6.17 |
O = 250 T = 4.53 (out)(err) |
O = 164 T = 6.17 (out)(err) |
maxcut-140-630-0.7-50.cnf | O = 167 T = 6.27 |
O = 243 T = 3.10 (out)(err) |
O = 167 T = 6.27 (out)(err) |
maxcut-140-630-0.7-6.cnf | O = 162 T = 5.21 |
O = 240 T = 4.41 (out)(err) |
O = 162 T = 5.21 (out)(err) |
maxcut-140-630-0.7-7.cnf | O = 164 T = 5.54 |
O = 242 T = 1.69 (out)(err) |
O = 164 T = 5.54 (out)(err) |
maxcut-140-630-0.7-8.cnf | O = 165 T = 5.18 |
O = 244 T = 4.47 (out)(err) |
O = 165 T = 5.18 (out)(err) |
maxcut-140-630-0.7-9.cnf | O = 166 T = 4.79 |
O = 245 T = 1.59 (out)(err) |
O = 166 T = 4.79 (out)(err) |
maxcut-140-630-0.8-1.cnf | O = 165 T = 5.45 |
O = 237 T = 3.05 (out)(err) |
O = 165 T = 5.45 (out)(err) |
maxcut-140-630-0.8-10.cnf | O = 168 T = 4.86 |
O = 242 T = 3.63 (out)(err) |
O = 168 T = 4.86 (out)(err) |
maxcut-140-630-0.8-11.cnf | O = 168 T = 5.35 |
O = 230 T = 5.06 (out)(err) |
O = 168 T = 5.35 (out)(err) |
maxcut-140-630-0.8-12.cnf | O = 165 T = 5.43 |
O = 227 T = 4.59 (out)(err) |
O = 165 T = 5.43 (out)(err) |
maxcut-140-630-0.8-13.cnf | O = 167 T = 4.56 |
O = 253 T = 3.84 (out)(err) |
O = 167 T = 4.56 (out)(err) |
maxcut-140-630-0.8-14.cnf | O = 164 T = 6.00 |
O = 241 T = 3.98 (out)(err) |
O = 164 T = 6.00 (out)(err) |
maxcut-140-630-0.8-15.cnf | O = 166 T = 4.64 |
O = 239 T = 3.94 (out)(err) |
O = 166 T = 4.64 (out)(err) |
maxcut-140-630-0.8-16.cnf | O = 163 T = 5.55 |
O = 245 T = 1.75 (out)(err) |
O = 163 T = 5.55 (out)(err) |
maxcut-140-630-0.8-17.cnf | O = 168 T = 5.90 |
O = 254 T = 1.81 (out)(err) |
O = 168 T = 5.90 (out)(err) |
maxcut-140-630-0.8-18.cnf | O = 163 T = 5.39 |
O = 243 T = 4.11 (out)(err) |
O = 163 T = 5.39 (out)(err) |
maxcut-140-630-0.8-19.cnf | O = 164 T = 6.12 |
O = 249 T = 2.84 (out)(err) |
O = 164 T = 6.12 (out)(err) |
maxcut-140-630-0.8-2.cnf | O = 162 T = 5.13 |
O = 217 T = 2.85 (out)(err) |
O = 162 T = 5.13 (out)(err) |
maxcut-140-630-0.8-20.cnf | O = 165 T = 4.77 |
O = 237 T = 2.12 (out)(err) |
O = 165 T = 4.77 (out)(err) |
maxcut-140-630-0.8-21.cnf | O = 167 T = 5.41 |
O = 256 T = 1.98 (out)(err) |
O = 167 T = 5.41 (out)(err) |
maxcut-140-630-0.8-22.cnf | O = 170 T = 6.10 |
O = 242 T = 3.74 (out)(err) |
O = 170 T = 6.10 (out)(err) |
maxcut-140-630-0.8-23.cnf | O = 167 T = 5.14 |
O = 231 T = 3.50 (out)(err) |
O = 167 T = 5.14 (out)(err) |
maxcut-140-630-0.8-24.cnf | O = 165 T = 4.19 |
O = 238 T = 4.89 (out)(err) |
O = 165 T = 4.19 (out)(err) |
maxcut-140-630-0.8-25.cnf | O = 165 T = 5.04 |
O = 243 T = 4.06 (out)(err) |
O = 165 T = 5.04 (out)(err) |
maxcut-140-630-0.8-26.cnf | O = 167 T = 5.76 |
O = 239 T = 3.00 (out)(err) |
O = 167 T = 5.76 (out)(err) |
maxcut-140-630-0.8-27.cnf | O = 168 T = 4.47 |
O = 245 T = 5.22 (out)(err) |
O = 168 T = 4.47 (out)(err) |
maxcut-140-630-0.8-28.cnf | O = 168 T = 6.10 |
O = 241 T = 3.07 (out)(err) |
O = 168 T = 6.10 (out)(err) |
maxcut-140-630-0.8-29.cnf | O = 167 T = 5.10 |
O = 254 T = 4.46 (out)(err) |
O = 167 T = 5.10 (out)(err) |
maxcut-140-630-0.8-3.cnf | O = 165 T = 4.43 |
O = 233 T = 2.99 (out)(err) |
O = 165 T = 4.43 (out)(err) |
maxcut-140-630-0.8-30.cnf | O = 167 T = 4.94 |
O = 242 T = 3.49 (out)(err) |
O = 167 T = 4.94 (out)(err) |
maxcut-140-630-0.8-31.cnf | O = 165 T = 4.56 |
O = 251 T = 1.54 (out)(err) |
O = 165 T = 4.56 (out)(err) |
maxcut-140-630-0.8-32.cnf | O = 164 T = 4.82 |
O = 262 T = 2.08 (out)(err) |
O = 164 T = 4.82 (out)(err) |
maxcut-140-630-0.8-33.cnf | O = 163 T = 5.59 |
O = 233 T = 4.86 (out)(err) |
O = 163 T = 5.59 (out)(err) |
maxcut-140-630-0.8-34.cnf | O = 163 T = 5.04 |
O = 224 T = 4.92 (out)(err) |
O = 163 T = 5.04 (out)(err) |
maxcut-140-630-0.8-35.cnf | O = 165 T = 4.65 |
O = 245 T = 3.20 (out)(err) |
O = 165 T = 4.65 (out)(err) |
maxcut-140-630-0.8-36.cnf | O = 165 T = 5.50 |
O = 245 T = 2.86 (out)(err) |
O = 165 T = 5.50 (out)(err) |
maxcut-140-630-0.8-37.cnf | O = 167 T = 4.68 |
O = 228 T = 3.26 (out)(err) |
O = 167 T = 4.68 (out)(err) |
maxcut-140-630-0.8-38.cnf | O = 160 T = 5.92 |
O = 224 T = 3.79 (out)(err) |
O = 160 T = 5.92 (out)(err) |
maxcut-140-630-0.8-39.cnf | O = 169 T = 4.76 |
O = 226 T = 2.11 (out)(err) |
O = 169 T = 4.76 (out)(err) |
maxcut-140-630-0.8-4.cnf | O = 165 T = 1.34 |
O = 239 T = 1.99 (out)(err) |
O = 165 T = 1.34 (out)(err) |
maxcut-140-630-0.8-40.cnf | O = 161 T = 5.61 |
O = 224 T = 4.28 (out)(err) |
O = 161 T = 5.61 (out)(err) |
maxcut-140-630-0.8-41.cnf | O = 163 T = 0.86 |
O = 240 T = 4.69 (out)(err) |
O = 163 T = 0.86 (out)(err) |
maxcut-140-630-0.8-42.cnf | O = 164 T = 5.20 |
O = 250 T = 1.65 (out)(err) |
O = 164 T = 5.20 (out)(err) |
maxcut-140-630-0.8-43.cnf | O = 165 T = 5.06 |
O = 237 T = 3.93 (out)(err) |
O = 165 T = 5.06 (out)(err) |
maxcut-140-630-0.8-44.cnf | O = 160 T = 4.88 |
O = 235 T = 2.85 (out)(err) |
O = 160 T = 4.88 (out)(err) |
maxcut-140-630-0.8-45.cnf | O = 165 T = 5.94 |
O = 225 T = 2.03 (out)(err) |
O = 165 T = 5.94 (out)(err) |
maxcut-140-630-0.8-46.cnf | O = 162 T = 5.82 |
O = 222 T = 3.43 (out)(err) |
O = 162 T = 5.82 (out)(err) |
maxcut-140-630-0.8-47.cnf | O = 164 T = 4.39 |
O = 260 T = 1.89 (out)(err) |
O = 164 T = 4.39 (out)(err) |
maxcut-140-630-0.8-48.cnf | O = 164 T = 5.18 |
O = 245 T = 0.62 (out)(err) |
O = 164 T = 5.18 (out)(err) |
maxcut-140-630-0.8-49.cnf | O = 166 T = 5.35 |
O = 241 T = 2.03 (out)(err) |
O = 166 T = 5.35 (out)(err) |
maxcut-140-630-0.8-5.cnf | O = 164 T = 5.26 |
O = 234 T = 5.05 (out)(err) |
O = 164 T = 5.26 (out)(err) |
maxcut-140-630-0.8-50.cnf | O = 165 T = 0.48 |
O = 243 T = 3.01 (out)(err) |
O = 165 T = 0.48 (out)(err) |
maxcut-140-630-0.8-6.cnf | O = 169 T = 4.39 |
O = 251 T = 3.15 (out)(err) |
O = 169 T = 4.39 (out)(err) |
maxcut-140-630-0.8-7.cnf | O = 166 T = 6.17 |
O = 238 T = 2.17 (out)(err) |
O = 166 T = 6.17 (out)(err) |
maxcut-140-630-0.8-8.cnf | O = 167 T = 5.73 |
O = 239 T = 3.70 (out)(err) |
O = 167 T = 5.73 (out)(err) |
maxcut-140-630-0.8-9.cnf | O = 165 T = 5.57 |
O = 236 T = 2.82 (out)(err) |
O = 165 T = 5.57 (out)(err) |
MANN_a27.clq.cnf | O = 404 T = 1.52 |
O = 462 T = 7.24 (out)(err) |
O = 404 T = 1.52 (out)(err) |
MANN_a45.clq.cnf | O = 418 T = 0.96 |
O = 444 T = 3.17 (out)(err) |
O = 418 T = 0.96 (out)(err) |
MANN_a81.clq.cnf | O = 399 T = 0.79 |
O = 442 T = 6.28 (out)(err) |
O = 399 T = 0.79 (out)(err) |
MANN_a9.clq.cnf | O = 422 T = 2.36 |
O = 508 T = 2.18 (out)(err) |
O = 422 T = 2.36 (out)(err) |
brock200_1.clq.cnf | O = 238 T = 1.74 |
O = 264 T = 7.49 (out)(err) |
O = 238 T = 1.74 (out)(err) |
brock200_2.clq.cnf | O = 141 T = 2.31 |
O = 171 T = 2.11 (out)(err) |
O = 141 T = 2.31 (out)(err) |
brock200_3.clq.cnf | O = 214 T = 1.79 |
O = 247 T = 5.18 (out)(err) |
O = 214 T = 1.79 (out)(err) |
brock200_4.clq.cnf | O = 209 T = 2.32 |
O = 244 T = 5.77 (out)(err) |
O = 209 T = 2.32 (out)(err) |
brock400_1.clq.cnf | O = 255 T = 2.54 |
O = 326 T = 4.22 (out)(err) |
O = 255 T = 2.54 (out)(err) |
brock400_2.clq.cnf | O = 252 T = 2.10 |
O = 301 T = 4.06 (out)(err) |
O = 252 T = 2.10 (out)(err) |
brock400_3.clq.cnf | O = 238 T = 2.17 |
O = 272 T = 4.67 (out)(err) |
O = 238 T = 2.17 (out)(err) |
brock400_4.clq.cnf | O = 249 T = 2.00 |
O = 291 T = 3.70 (out)(err) |
O = 249 T = 2.00 (out)(err) |
brock800_1.clq.cnf | O = 205 T = 1.69 |
O = 241 T = 6.52 (out)(err) |
O = 205 T = 1.69 (out)(err) |
brock800_2.clq.cnf | O = 207 T = 2.72 |
O = 241 T = 8.88 (out)(err) |
O = 207 T = 2.72 (out)(err) |
brock800_3.clq.cnf | O = 203 T = 1.88 |
O = 245 T = 2.76 (out)(err) |
O = 203 T = 1.88 (out)(err) |
brock800_4.clq.cnf | O = 200 T = 2.30 |
O = 275 T = 3.01 (out)(err) |
O = 200 T = 2.30 (out)(err) |
c-fat200-1.clq.cnf | O = 4 T = 0.60 |
O = 4 T = 0.60 (out)(err) |
O = 4 T = 1.12 (out)(err) |
c-fat200-2.clq.cnf | O = 26 T = 1.83 |
O = 40 T = 0.97 (out)(err) |
O = 26 T = 1.83 (out)(err) |
c-fat200-5.clq.cnf | O = 116 T = 1.44 |
O = 150 T = 0.64 (out)(err) |
O = 116 T = 1.44 (out)(err) |
c-fat500-1.clq.cnf | O = 2 T = 0.36 |
O = 2 T = 0.36 (out)(err) |
O = 2 T = 1.25 (out)(err) |
c-fat500-10.clq.cnf | O = 200 T = 0.41 |
O = 212 T = 3.26 (out)(err) |
O = 200 T = 0.41 (out)(err) |
c-fat500-2.clq.cnf | O = 24 T = 0.69 |
O = 25 T = 5.57 (out)(err) |
O = 24 T = 0.69 (out)(err) |
c-fat500-5.clq.cnf | O = 90 T = 0.80 |
O = 92 T = 2.71 (out)(err) |
O = 90 T = 0.80 (out)(err) |
hamming10-2.clq.cnf | O = 400 T = 1.28 |
O = 442 T = 5.33 (out)(err) |
O = 400 T = 1.28 (out)(err) |
hamming10-4.clq.cnf | O = 319 T = 2.01 |
O = 359 T = 2.31 (out)(err) |
O = 319 T = 2.01 (out)(err) |
hamming6-2.clq.cnf | O = 832 T = 2.71 |
O = 914 T = 3.86 (out)(err) |
O = 832 T = 2.71 (out)(err) |
hamming6-4.clq.cnf | O = 192 T = 2.15 |
O = 310 T = 3.31 (out)(err) |
O = 192 T = 2.15 (out)(err) |
hamming8-2.clq.cnf | O = 441 T = 1.38 |
O = 453 T = 2.87 (out)(err) |
O = 441 T = 1.38 (out)(err) |
hamming8-4.clq.cnf | O = 176 T = 1.69 |
O = 247 T = 4.85 (out)(err) |
O = 176 T = 1.69 (out)(err) |
johnson16-2-4.clq.cnf | O = 215 T = 1.65 |
O = 274 T = 5.31 (out)(err) |
O = 215 T = 1.65 (out)(err) |
johnson32-2-4.clq.cnf | O = 329 T = 1.83 |
O = 383 T = 4.51 (out)(err) |
O = 329 T = 1.83 (out)(err) |
johnson8-2-4.clq.cnf | O = 75 T = 1.06 |
O = 82 T = 6.62 (out)(err) |
O = 75 T = 1.06 (out)(err) |
johnson8-4-4.clq.cnf | O = 770 T = 3.25 |
O = 941 T = 4.50 (out)(err) |
O = 770 T = 3.25 (out)(err) |
keller4.clq.cnf | O = 199 T = 1.85 |
O = 300 T = 4.71 (out)(err) |
O = 199 T = 1.85 (out)(err) |
keller5.clq.cnf | O = 250 T = 2.45 |
O = 309 T = 5.92 (out)(err) |
O = 250 T = 2.45 (out)(err) |
p_hat1000-1.clq.cnf | O = 52 T = 2.08 |
O = 67 T = 3.51 (out)(err) |
O = 52 T = 2.08 (out)(err) |
p_hat1000-2.clq.cnf | O = 142 T = 1.71 |
O = 180 T = 8.00 (out)(err) |
O = 142 T = 1.71 (out)(err) |
p_hat1000-3.clq.cnf | O = 238 T = 1.99 |
O = 264 T = 7.16 (out)(err) |
O = 238 T = 1.99 (out)(err) |
p_hat300-1.clq.cnf | O = 49 T = 1.99 |
O = 67 T = 2.39 (out)(err) |
O = 49 T = 1.99 (out)(err) |
p_hat300-2.clq.cnf | O = 135 T = 1.39 |
O = 159 T = 1.86 (out)(err) |
O = 135 T = 1.39 (out)(err) |
p_hat300-3.clq.cnf | O = 269 T = 2.39 |
O = 289 T = 2.69 (out)(err) |
O = 269 T = 2.39 (out)(err) |
p_hat500-1.clq.cnf | O = 75 T = 1.91 |
O = 100 T = 4.35 (out)(err) |
O = 75 T = 1.91 (out)(err) |
p_hat500-2.clq.cnf | O = 176 T = 1.67 |
O = 231 T = 6.49 (out)(err) |
O = 176 T = 1.67 (out)(err) |
p_hat500-3.clq.cnf | O = 284 T = 1.87 |
O = 311 T = 6.73 (out)(err) |
O = 284 T = 1.87 (out)(err) |
p_hat700-1.clq.cnf | O = 63 T = 1.42 |
O = 81 T = 2.61 (out)(err) |
O = 63 T = 1.42 (out)(err) |
p_hat700-2.clq.cnf | O = 154 T = 1.99 |
O = 203 T = 3.71 (out)(err) |
O = 154 T = 1.99 (out)(err) |
p_hat700-3.clq.cnf | O = 267 T = 2.15 |
O = 306 T = 2.20 (out)(err) |
O = 267 T = 2.15 (out)(err) |
san1000.clq.cnf | O = 139 T = 1.36 |
O = 169 T = 4.58 (out)(err) |
O = 139 T = 1.36 (out)(err) |
san200_0.7_1.clq.cnf | O = 237 T = 1.85 |
O = 280 T = 4.61 (out)(err) |
O = 237 T = 1.85 (out)(err) |
san200_0.7_2.clq.cnf | O = 236 T = 2.28 |
O = 266 T = 4.41 (out)(err) |
O = 236 T = 2.28 (out)(err) |
san200_0.9_1.clq.cnf | O = 313 T = 2.05 |
O = 414 T = 4.56 (out)(err) |
O = 313 T = 2.05 (out)(err) |
san200_0.9_2.clq.cnf | O = 316 T = 2.03 |
O = 355 T = 6.96 (out)(err) |
O = 316 T = 2.03 (out)(err) |
san200_0.9_3.clq.cnf | O = 320 T = 1.20 |
O = 408 T = 4.71 (out)(err) |
O = 320 T = 1.20 (out)(err) |
san400_0.5_1.clq.cnf | O = 146 T = 1.60 |
O = 170 T = 6.04 (out)(err) |
O = 146 T = 1.60 (out)(err) |
san400_0.7_1.clq.cnf | O = 236 T = 1.93 |
O = 288 T = 8.45 (out)(err) |
O = 236 T = 1.93 (out)(err) |
san400_0.7_2.clq.cnf | O = 236 T = 2.10 |
O = 277 T = 2.40 (out)(err) |
O = 236 T = 2.10 (out)(err) |
san400_0.7_3.clq.cnf | O = 230 T = 1.74 |
O = 264 T = 5.31 (out)(err) |
O = 230 T = 1.74 (out)(err) |
san400_0.9_1.clq.cnf | O = 304 T = 1.81 |
O = 323 T = 5.71 (out)(err) |
O = 304 T = 1.81 (out)(err) |
sanr200_0.7.clq.cnf | O = 227 T = 1.74 |
O = 274 T = 1.10 (out)(err) |
O = 227 T = 1.74 (out)(err) |
sanr200_0.9.clq.cnf | O = 300 T = 2.43 |
O = 333 T = 1.54 (out)(err) |
O = 300 T = 2.43 (out)(err) |
sanr400_0.5.clq.cnf | O = 148 T = 1.63 |
O = 174 T = 7.95 (out)(err) |
O = 148 T = 1.63 (out)(err) |
sanr400_0.7.clq.cnf | O = 223 T = 1.75 |
O = 267 T = 3.61 (out)(err) |
O = 223 T = 1.75 (out)(err) |
t3pm3-5555.spn.cnf | O = 17 T = 1.18 |
O = 21 T = 84.34 (out)(err) |
O = 17 T = 1.18 (out)(err) |
t4pm3-6666.spn.cnf | O = 38 T = 1.89 |
O = 52 T = 2.69 (out)(err) |
O = 38 T = 1.89 (out)(err) |
t5pm3-7777.spn.cnf | O = 78 T = 3.37 |
O = 118 T = 2.98 (out)(err) |
O = 78 T = 3.37 (out)(err) |
t6pm3-8888.spn.cnf | O = 136 T = 6.19 |
O = 218 T = 3.37 (out)(err) |
O = 136 T = 6.19 (out)(err) |
t7pm3-9999.spn.cnf | O = 209 T = 9.70 |
O = 347 T = 2.44 (out)(err) |
O = 209 T = 9.70 (out)(err) |