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 |
---|---|
Text | Best solver column |
Text | Optimal solution with the best CPU time |
Text | Optimal solution and finished within the Time Out |
Text | Optimal solution and did not finish within the Time Out |
Text | Time Out |
Text | Buggy solution |
Instance file name | Best solver | IncMaxSatz | PM2 | QMaxSat0.4-cnf | WMaxSatz+ | WMaxSatz-2009 | WPM1 | akmaxsat | akmaxsat_ls | claspMaxSat | sat4j-maxsat | wbo1.6-cnf |
---|---|---|---|---|---|---|---|---|---|---|---|---|
maxcut-140-630-0.7-1.cnf | S = OPT O = 160 T = 32.47 |
S = OPT O = 160 T = 106.18 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 254 T = TO (out)(err) |
S = OPT O = 160 T = 132.78 (out)(err) |
S = OPT O = 160 T = 119.04 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 160 T = 77.92 (out)(err) |
S = OPT O = 160 T = 32.47 (out)(err) |
S = N/A O = 202 T = TO (out)(err) |
S = N/A O = 223 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
maxcut-140-630-0.7-10.cnf | S = OPT O = 167 T = 263.99 |
S = OPT O = 167 T = 421.52 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 246 T = TO (out)(err) |
S = OPT O = 167 T = 708.59 (out)(err) |
S = OPT O = 167 T = 646.82 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 167 T = 303.43 (out)(err) |
S = OPT O = 167 T = 263.99 (out)(err) |
S = N/A O = 208 T = TO (out)(err) |
S = N/A O = 233 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.7-11.cnf | S = OPT O = 170 T = 1007.35 |
S = OPT O = 170 T = 1492.93 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 262 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 170 T = 1007.35 (out)(err) |
S = OPT O = 170 T = 1115.18 (out)(err) |
S = N/A O = 221 T = TO (out)(err) |
S = N/A O = 246 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.7-12.cnf | S = OPT O = 167 T = 66.38 |
S = OPT O = 167 T = 277.11 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 246 T = TO (out)(err) |
S = OPT O = 167 T = 349.21 (out)(err) |
S = OPT O = 167 T = 316.14 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 167 T = 77.97 (out)(err) |
S = OPT O = 167 T = 66.38 (out)(err) |
S = N/A O = 219 T = TO (out)(err) |
S = N/A O = 241 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.7-13.cnf | S = OPT O = 169 T = 384.56 |
S = OPT O = 169 T = 608.33 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 231 T = TO (out)(err) |
S = OPT O = 169 T = 1016.77 (out)(err) |
S = OPT O = 169 T = 900.69 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 169 T = 480.41 (out)(err) |
S = OPT O = 169 T = 384.56 (out)(err) |
S = N/A O = 213 T = TO (out)(err) |
S = N/A O = 233 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.7-14.cnf | S = OPT O = 166 T = 166.50 |
S = OPT O = 166 T = 340.63 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 243 T = TO (out)(err) |
S = OPT O = 166 T = 383.34 (out)(err) |
S = OPT O = 166 T = 345.39 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 166 T = 166.50 (out)(err) |
S = OPT O = 166 T = 179.41 (out)(err) |
S = N/A O = 193 T = TO (out)(err) |
S = N/A O = 236 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
maxcut-140-630-0.7-15.cnf | S = OPT O = 169 T = 413.17 |
S = OPT O = 169 T = 1176.28 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 247 T = TO (out)(err) |
S = OPT O = 169 T = 896.40 (out)(err) |
S = OPT O = 169 T = 811.17 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 169 T = 521.77 (out)(err) |
S = OPT O = 169 T = 413.17 (out)(err) |
S = N/A O = 217 T = TO (out)(err) |
S = N/A O = 245 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
maxcut-140-630-0.7-16.cnf | S = OPT O = 167 T = 134.25 |
S = OPT O = 167 T = 203.91 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 235 T = TO (out)(err) |
S = OPT O = 167 T = 338.11 (out)(err) |
S = OPT O = 167 T = 306.83 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 167 T = 187.63 (out)(err) |
S = OPT O = 167 T = 134.25 (out)(err) |
S = N/A O = 222 T = TO (out)(err) |
S = N/A O = 234 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
maxcut-140-630-0.7-17.cnf | S = OPT O = 166 T = 90.43 |
S = OPT O = 166 T = 258.00 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 253 T = TO (out)(err) |
S = OPT O = 166 T = 299.40 (out)(err) |
S = OPT O = 166 T = 268.95 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 166 T = 102.68 (out)(err) |
S = OPT O = 166 T = 90.43 (out)(err) |
S = N/A O = 222 T = TO (out)(err) |
S = N/A O = 245 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.7-18.cnf | S = OPT O = 166 T = 169.56 |
S = OPT O = 166 T = 330.00 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 240 T = TO (out)(err) |
S = OPT O = 166 T = 561.92 (out)(err) |
S = OPT O = 166 T = 509.18 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 166 T = 273.05 (out)(err) |
S = OPT O = 166 T = 169.56 (out)(err) |
S = N/A O = 221 T = TO (out)(err) |
S = N/A O = 236 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.7-19.cnf | S = OPT O = 167 T = 84.49 |
S = OPT O = 167 T = 238.91 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 250 T = TO (out)(err) |
S = OPT O = 167 T = 440.55 (out)(err) |
S = OPT O = 167 T = 392.75 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 167 T = 93.25 (out)(err) |
S = OPT O = 167 T = 84.49 (out)(err) |
S = N/A O = 222 T = TO (out)(err) |
S = N/A O = 242 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
maxcut-140-630-0.7-2.cnf | S = OPT O = 160 T = 38.78 |
S = OPT O = 160 T = 123.45 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 239 T = TO (out)(err) |
S = OPT O = 160 T = 89.65 (out)(err) |
S = OPT O = 160 T = 83.78 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 160 T = 61.30 (out)(err) |
S = OPT O = 160 T = 38.78 (out)(err) |
S = N/A O = 214 T = TO (out)(err) |
S = N/A O = 227 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.7-20.cnf | S = OPT O = 168 T = 102.02 |
S = OPT O = 168 T = 283.83 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 233 T = TO (out)(err) |
S = OPT O = 168 T = 283.59 (out)(err) |
S = OPT O = 168 T = 256.69 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 168 T = 175.90 (out)(err) |
S = OPT O = 168 T = 102.02 (out)(err) |
S = N/A O = 212 T = TO (out)(err) |
S = N/A O = 241 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.7-21.cnf | S = OPT O = 165 T = 135.68 |
S = OPT O = 165 T = 199.72 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 250 T = TO (out)(err) |
S = OPT O = 165 T = 605.26 (out)(err) |
S = OPT O = 165 T = 549.94 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 165 T = 251.16 (out)(err) |
S = OPT O = 165 T = 135.68 (out)(err) |
S = N/A O = 218 T = TO (out)(err) |
S = N/A O = 241 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.7-22.cnf | S = OPT O = 164 T = 28.20 |
S = OPT O = 164 T = 192.52 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 258 T = TO (out)(err) |
S = OPT O = 164 T = 169.65 (out)(err) |
S = OPT O = 164 T = 153.34 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 164 T = 40.91 (out)(err) |
S = OPT O = 164 T = 28.20 (out)(err) |
S = N/A O = 211 T = TO (out)(err) |
S = N/A O = 242 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.7-23.cnf | S = OPT O = 165 T = 98.89 |
S = OPT O = 165 T = 233.92 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 245 T = TO (out)(err) |
S = OPT O = 165 T = 321.20 (out)(err) |
S = OPT O = 165 T = 291.69 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 165 T = 110.69 (out)(err) |
S = OPT O = 165 T = 98.89 (out)(err) |
S = N/A O = 207 T = TO (out)(err) |
S = N/A O = 227 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
maxcut-140-630-0.7-24.cnf | S = OPT O = 166 T = 100.26 |
S = OPT O = 166 T = 358.66 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 259 T = TO (out)(err) |
S = OPT O = 166 T = 425.36 (out)(err) |
S = OPT O = 166 T = 225.98 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 166 T = 211.51 (out)(err) |
S = OPT O = 166 T = 100.26 (out)(err) |
S = N/A O = 223 T = TO (out)(err) |
S = N/A O = 225 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.7-25.cnf | S = OPT O = 167 T = 123.93 |
S = OPT O = 167 T = 439.00 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 249 T = TO (out)(err) |
S = OPT O = 167 T = 548.25 (out)(err) |
S = OPT O = 167 T = 495.31 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 167 T = 167.49 (out)(err) |
S = OPT O = 167 T = 123.93 (out)(err) |
S = N/A O = 212 T = TO (out)(err) |
S = N/A O = 220 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.7-26.cnf | S = OPT O = 166 T = 115.49 |
S = OPT O = 166 T = 284.56 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 239 T = TO (out)(err) |
S = OPT O = 166 T = 308.61 (out)(err) |
S = OPT O = 166 T = 280.70 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 166 T = 142.23 (out)(err) |
S = OPT O = 166 T = 115.49 (out)(err) |
S = N/A O = 222 T = TO (out)(err) |
S = N/A O = 234 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.7-27.cnf | S = OPT O = 165 T = 103.08 |
S = OPT O = 165 T = 196.83 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 252 T = TO (out)(err) |
S = OPT O = 165 T = 421.52 (out)(err) |
S = OPT O = 165 T = 370.22 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 165 T = 108.62 (out)(err) |
S = OPT O = 165 T = 103.08 (out)(err) |
S = N/A O = 211 T = TO (out)(err) |
S = N/A O = 231 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
maxcut-140-630-0.7-28.cnf | S = OPT O = 167 T = 100.08 |
S = OPT O = 167 T = 198.73 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 264 T = TO (out)(err) |
S = OPT O = 167 T = 269.85 (out)(err) |
S = OPT O = 167 T = 239.31 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 167 T = 134.73 (out)(err) |
S = OPT O = 167 T = 100.08 (out)(err) |
S = N/A O = 222 T = TO (out)(err) |
S = N/A O = 229 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
maxcut-140-630-0.7-29.cnf | S = OPT O = 166 T = 308.74 |
S = OPT O = 166 T = 592.12 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 233 T = TO (out)(err) |
S = OPT O = 166 T = 956.26 (out)(err) |
S = OPT O = 166 T = 885.14 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 166 T = 434.89 (out)(err) |
S = OPT O = 166 T = 308.74 (out)(err) |
S = N/A O = 219 T = TO (out)(err) |
S = N/A O = 229 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
maxcut-140-630-0.7-3.cnf | S = OPT O = 168 T = 248.77 |
S = OPT O = 168 T = 712.88 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 249 T = TO (out)(err) |
S = OPT O = 168 T = 781.31 (out)(err) |
S = OPT O = 168 T = 698.02 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 168 T = 275.20 (out)(err) |
S = OPT O = 168 T = 248.77 (out)(err) |
S = N/A O = 218 T = TO (out)(err) |
S = N/A O = 241 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
maxcut-140-630-0.7-30.cnf | S = OPT O = 167 T = 178.46 |
S = OPT O = 167 T = 578.61 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 254 T = TO (out)(err) |
S = OPT O = 167 T = 354.68 (out)(err) |
S = OPT O = 167 T = 322.64 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 167 T = 211.91 (out)(err) |
S = OPT O = 167 T = 178.46 (out)(err) |
S = N/A O = 219 T = TO (out)(err) |
S = N/A O = 243 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
maxcut-140-630-0.7-31.cnf | S = OPT O = 170 T = 346.64 |
S = OPT O = 170 T = 699.27 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 263 T = TO (out)(err) |
S = OPT O = 170 T = 820.51 (out)(err) |
S = OPT O = 170 T = 744.57 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 170 T = 346.64 (out)(err) |
S = OPT O = 170 T = 365.33 (out)(err) |
S = N/A O = 220 T = TO (out)(err) |
S = N/A O = 247 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.7-32.cnf | S = OPT O = 164 T = 79.22 |
S = OPT O = 164 T = 214.59 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 253 T = TO (out)(err) |
S = OPT O = 164 T = 199.90 (out)(err) |
S = OPT O = 164 T = 177.69 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 164 T = 134.68 (out)(err) |
S = OPT O = 164 T = 79.22 (out)(err) |
S = N/A O = 206 T = TO (out)(err) |
S = N/A O = 228 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.7-33.cnf | S = OPT O = 165 T = 131.84 |
S = OPT O = 165 T = 368.20 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 253 T = TO (out)(err) |
S = OPT O = 165 T = 574.65 (out)(err) |
S = OPT O = 165 T = 511.57 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 165 T = 159.66 (out)(err) |
S = OPT O = 165 T = 131.84 (out)(err) |
S = N/A O = 216 T = TO (out)(err) |
S = N/A O = 239 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
maxcut-140-630-0.7-34.cnf | S = OPT O = 168 T = 236.74 |
S = OPT O = 168 T = 443.67 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 254 T = TO (out)(err) |
S = OPT O = 168 T = 614.58 (out)(err) |
S = OPT O = 168 T = 567.65 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 168 T = 343.09 (out)(err) |
S = OPT O = 168 T = 236.74 (out)(err) |
S = N/A O = 213 T = TO (out)(err) |
S = N/A O = 247 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
maxcut-140-630-0.7-35.cnf | S = OPT O = 164 T = 37.36 |
S = OPT O = 164 T = 129.02 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 237 T = TO (out)(err) |
S = OPT O = 164 T = 296.18 (out)(err) |
S = OPT O = 164 T = 268.43 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 164 T = 65.20 (out)(err) |
S = OPT O = 164 T = 37.36 (out)(err) |
S = N/A O = 222 T = TO (out)(err) |
S = N/A O = 226 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.7-36.cnf | S = OPT O = 167 T = 263.03 |
S = OPT O = 167 T = 494.40 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 233 T = TO (out)(err) |
S = OPT O = 167 T = 1038.84 (out)(err) |
S = OPT O = 167 T = 667.85 (out)(err) |
S = N/A O = N/A T = 405.91 (out)(err) |
S = OPT O = 167 T = 425.02 (out)(err) |
S = OPT O = 167 T = 263.03 (out)(err) |
S = N/A O = 222 T = TO (out)(err) |
S = N/A O = 233 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.7-37.cnf | S = OPT O = 170 T = 379.52 |
S = OPT O = 170 T = 976.88 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 246 T = TO (out)(err) |
S = OPT O = 170 T = 1089.20 (out)(err) |
S = OPT O = 170 T = 981.08 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 170 T = 504.55 (out)(err) |
S = OPT O = 170 T = 379.52 (out)(err) |
S = N/A O = 218 T = TO (out)(err) |
S = N/A O = 240 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
maxcut-140-630-0.7-38.cnf | S = OPT O = 167 T = 380.60 |
S = OPT O = 167 T = 792.06 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 232 T = TO (out)(err) |
S = OPT O = 167 T = 1349.51 (out)(err) |
S = OPT O = 167 T = 1137.55 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 167 T = 392.05 (out)(err) |
S = OPT O = 167 T = 380.60 (out)(err) |
S = N/A O = 216 T = TO (out)(err) |
S = N/A O = 238 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.7-39.cnf | S = OPT O = 163 T = 85.64 |
S = OPT O = 163 T = 332.09 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 260 T = TO (out)(err) |
S = OPT O = 163 T = 365.79 (out)(err) |
S = OPT O = 163 T = 268.22 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 163 T = 137.94 (out)(err) |
S = OPT O = 163 T = 85.64 (out)(err) |
S = N/A O = 219 T = TO (out)(err) |
S = N/A O = 246 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
maxcut-140-630-0.7-4.cnf | S = OPT O = 167 T = 253.95 |
S = OPT O = 167 T = 654.30 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 260 T = TO (out)(err) |
S = OPT O = 167 T = 557.97 (out)(err) |
S = OPT O = 167 T = 523.93 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 167 T = 302.59 (out)(err) |
S = OPT O = 167 T = 253.95 (out)(err) |
S = N/A O = 218 T = TO (out)(err) |
S = N/A O = 242 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
maxcut-140-630-0.7-40.cnf | S = OPT O = 167 T = 450.13 |
S = OPT O = 167 T = 949.14 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 267 T = TO (out)(err) |
S = OPT O = 167 T = 1399.50 (out)(err) |
S = OPT O = 167 T = 1275.48 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 167 T = 593.09 (out)(err) |
S = OPT O = 167 T = 450.13 (out)(err) |
S = N/A O = 219 T = TO (out)(err) |
S = N/A O = 239 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.7-41.cnf | S = OPT O = 161 T = 58.61 |
S = OPT O = 161 T = 136.65 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 250 T = TO (out)(err) |
S = OPT O = 161 T = 278.56 (out)(err) |
S = OPT O = 161 T = 253.75 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 161 T = 73.86 (out)(err) |
S = OPT O = 161 T = 58.61 (out)(err) |
S = N/A O = 220 T = TO (out)(err) |
S = N/A O = 237 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
maxcut-140-630-0.7-42.cnf | S = OPT O = 161 T = 25.59 |
S = OPT O = 161 T = 140.57 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 240 T = TO (out)(err) |
S = OPT O = 161 T = 66.28 (out)(err) |
S = OPT O = 161 T = 59.28 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 161 T = 52.42 (out)(err) |
S = OPT O = 161 T = 25.59 (out)(err) |
S = N/A O = 212 T = TO (out)(err) |
S = N/A O = 231 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
maxcut-140-630-0.7-43.cnf | S = OPT O = 164 T = 110.13 |
S = OPT O = 164 T = 415.74 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 261 T = TO (out)(err) |
S = OPT O = 164 T = 239.22 (out)(err) |
S = OPT O = 164 T = 218.23 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 164 T = 134.94 (out)(err) |
S = OPT O = 164 T = 110.13 (out)(err) |
S = N/A O = 217 T = TO (out)(err) |
S = N/A O = 232 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
maxcut-140-630-0.7-44.cnf | S = OPT O = 163 T = 82.63 |
S = OPT O = 163 T = 296.65 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 256 T = TO (out)(err) |
S = OPT O = 163 T = 391.12 (out)(err) |
S = OPT O = 163 T = 267.42 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 163 T = 113.16 (out)(err) |
S = OPT O = 163 T = 82.63 (out)(err) |
S = N/A O = 223 T = TO (out)(err) |
S = N/A O = 242 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
maxcut-140-630-0.7-45.cnf | S = OPT O = 168 T = 163.49 |
S = OPT O = 168 T = 508.00 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 262 T = TO (out)(err) |
S = OPT O = 168 T = 605.56 (out)(err) |
S = OPT O = 168 T = 549.08 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 168 T = 296.11 (out)(err) |
S = OPT O = 168 T = 163.49 (out)(err) |
S = N/A O = 222 T = TO (out)(err) |
S = N/A O = 247 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
maxcut-140-630-0.7-46.cnf | S = OPT O = 168 T = 233.21 |
S = OPT O = 168 T = 506.76 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 247 T = TO (out)(err) |
S = OPT O = 168 T = 574.43 (out)(err) |
S = OPT O = 168 T = 520.38 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 168 T = 273.01 (out)(err) |
S = OPT O = 168 T = 233.21 (out)(err) |
S = N/A O = 219 T = TO (out)(err) |
S = N/A O = 237 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.7-47.cnf | S = OPT O = 160 T = 30.01 |
S = OPT O = 160 T = 161.32 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 247 T = TO (out)(err) |
S = OPT O = 160 T = 155.54 (out)(err) |
S = OPT O = 160 T = 138.51 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 160 T = 30.01 (out)(err) |
S = OPT O = 160 T = 30.45 (out)(err) |
S = N/A O = 212 T = TO (out)(err) |
S = N/A O = 238 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.7-48.cnf | S = OPT O = 168 T = 129.18 |
S = OPT O = 168 T = 379.21 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 255 T = TO (out)(err) |
S = OPT O = 168 T = 405.04 (out)(err) |
S = OPT O = 168 T = 369.13 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 168 T = 170.69 (out)(err) |
S = OPT O = 168 T = 129.18 (out)(err) |
S = N/A O = 221 T = TO (out)(err) |
S = N/A O = 239 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.7-49.cnf | S = OPT O = 164 T = 87.18 |
S = OPT O = 164 T = 420.99 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 251 T = TO (out)(err) |
S = OPT O = 164 T = 256.51 (out)(err) |
S = OPT O = 164 T = 233.42 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 164 T = 119.92 (out)(err) |
S = OPT O = 164 T = 87.18 (out)(err) |
S = N/A O = 221 T = TO (out)(err) |
S = N/A O = 244 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
maxcut-140-630-0.7-5.cnf | S = OPT O = 164 T = 155.83 |
S = OPT O = 164 T = 714.55 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 243 T = TO (out)(err) |
S = OPT O = 164 T = 640.02 (out)(err) |
S = OPT O = 164 T = 569.77 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 164 T = 202.02 (out)(err) |
S = OPT O = 164 T = 155.83 (out)(err) |
S = N/A O = 219 T = TO (out)(err) |
S = N/A O = 235 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.7-50.cnf | S = OPT O = 167 T = 102.01 |
S = OPT O = 167 T = 436.38 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 248 T = TO (out)(err) |
S = OPT O = 167 T = 292.23 (out)(err) |
S = OPT O = 167 T = 267.37 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 167 T = 102.87 (out)(err) |
S = OPT O = 167 T = 102.01 (out)(err) |
S = N/A O = 221 T = TO (out)(err) |
S = N/A O = 232 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.7-6.cnf | S = OPT O = 162 T = 44.92 |
S = OPT O = 162 T = 156.84 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 245 T = TO (out)(err) |
S = OPT O = 162 T = 161.01 (out)(err) |
S = OPT O = 162 T = 147.83 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 162 T = 58.61 (out)(err) |
S = OPT O = 162 T = 44.92 (out)(err) |
S = N/A O = 219 T = TO (out)(err) |
S = N/A O = 230 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.7-7.cnf | S = OPT O = 164 T = 126.46 |
S = OPT O = 164 T = 462.18 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 257 T = TO (out)(err) |
S = OPT O = 164 T = 448.20 (out)(err) |
S = OPT O = 164 T = 400.95 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 164 T = 146.92 (out)(err) |
S = OPT O = 164 T = 126.46 (out)(err) |
S = N/A O = 218 T = TO (out)(err) |
S = N/A O = 238 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.7-8.cnf | S = OPT O = 165 T = 160.86 |
S = OPT O = 165 T = 370.93 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 253 T = TO (out)(err) |
S = OPT O = 165 T = 979.31 (out)(err) |
S = OPT O = 165 T = 879.26 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 165 T = 314.79 (out)(err) |
S = OPT O = 165 T = 160.86 (out)(err) |
S = N/A O = 219 T = TO (out)(err) |
S = N/A O = 245 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
maxcut-140-630-0.7-9.cnf | S = OPT O = 166 T = 182.83 |
S = OPT O = 166 T = 571.15 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 237 T = TO (out)(err) |
S = OPT O = 166 T = 511.70 (out)(err) |
S = OPT O = 166 T = 466.65 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 166 T = 237.54 (out)(err) |
S = OPT O = 166 T = 182.83 (out)(err) |
S = N/A O = 223 T = TO (out)(err) |
S = N/A O = 236 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.8-1.cnf | S = OPT O = 165 T = 129.03 |
S = OPT O = 165 T = 414.78 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 254 T = TO (out)(err) |
S = OPT O = 165 T = 544.23 (out)(err) |
S = OPT O = 165 T = 494.43 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 165 T = 186.17 (out)(err) |
S = OPT O = 165 T = 129.03 (out)(err) |
S = N/A O = 218 T = TO (out)(err) |
S = N/A O = 247 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.8-10.cnf | S = OPT O = 168 T = 353.87 |
S = OPT O = 168 T = 1375.57 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 245 T = TO (out)(err) |
S = OPT O = 168 T = 1287.64 (out)(err) |
S = OPT O = 168 T = 1157.80 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 168 T = 449.73 (out)(err) |
S = OPT O = 168 T = 353.87 (out)(err) |
S = N/A O = 209 T = TO (out)(err) |
S = N/A O = 241 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.8-11.cnf | S = OPT O = 168 T = 307.68 |
S = OPT O = 168 T = 606.47 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 251 T = TO (out)(err) |
S = OPT O = 168 T = 903.99 (out)(err) |
S = OPT O = 168 T = 817.87 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 168 T = 331.56 (out)(err) |
S = OPT O = 168 T = 307.68 (out)(err) |
S = N/A O = 220 T = TO (out)(err) |
S = N/A O = 236 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.8-12.cnf | S = OPT O = 165 T = 86.85 |
S = OPT O = 165 T = 171.09 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 236 T = TO (out)(err) |
S = OPT O = 165 T = 280.99 (out)(err) |
S = OPT O = 165 T = 255.43 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 165 T = 125.40 (out)(err) |
S = OPT O = 165 T = 86.85 (out)(err) |
S = N/A O = 217 T = TO (out)(err) |
S = N/A O = 235 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.8-13.cnf | S = OPT O = 167 T = 212.55 |
S = OPT O = 167 T = 401.46 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 244 T = TO (out)(err) |
S = OPT O = 167 T = 773.04 (out)(err) |
S = OPT O = 167 T = 695.47 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 167 T = 266.14 (out)(err) |
S = OPT O = 167 T = 212.55 (out)(err) |
S = N/A O = 215 T = TO (out)(err) |
S = N/A O = 235 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.8-14.cnf | S = OPT O = 164 T = 152.38 |
S = OPT O = 164 T = 350.74 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 239 T = TO (out)(err) |
S = OPT O = 164 T = 384.52 (out)(err) |
S = OPT O = 164 T = 352.27 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 164 T = 189.87 (out)(err) |
S = OPT O = 164 T = 152.38 (out)(err) |
S = N/A O = 210 T = TO (out)(err) |
S = N/A O = 232 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.8-15.cnf | S = OPT O = 166 T = 160.77 |
S = OPT O = 166 T = 302.61 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 229 T = TO (out)(err) |
S = OPT O = 166 T = 512.16 (out)(err) |
S = OPT O = 166 T = 461.74 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 166 T = 234.22 (out)(err) |
S = OPT O = 166 T = 160.77 (out)(err) |
S = N/A O = 217 T = TO (out)(err) |
S = N/A O = 227 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.8-16.cnf | S = OPT O = 163 T = 79.54 |
S = OPT O = 163 T = 181.54 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 254 T = TO (out)(err) |
S = OPT O = 163 T = 228.22 (out)(err) |
S = OPT O = 163 T = 200.19 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 163 T = 82.25 (out)(err) |
S = OPT O = 163 T = 79.54 (out)(err) |
S = N/A O = 219 T = TO (out)(err) |
S = N/A O = 233 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
maxcut-140-630-0.8-17.cnf | S = OPT O = 168 T = 120.07 |
S = OPT O = 168 T = 286.09 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 250 T = TO (out)(err) |
S = OPT O = 168 T = 449.81 (out)(err) |
S = OPT O = 168 T = 389.23 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 168 T = 144.66 (out)(err) |
S = OPT O = 168 T = 120.07 (out)(err) |
S = N/A O = 219 T = TO (out)(err) |
S = N/A O = 237 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.8-18.cnf | S = OPT O = 163 T = 146.37 |
S = OPT O = 163 T = 419.73 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 249 T = TO (out)(err) |
S = OPT O = 163 T = 607.84 (out)(err) |
S = OPT O = 163 T = 544.96 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 163 T = 209.57 (out)(err) |
S = OPT O = 163 T = 146.37 (out)(err) |
S = N/A O = 219 T = TO (out)(err) |
S = N/A O = 241 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
maxcut-140-630-0.8-19.cnf | S = OPT O = 164 T = 33.90 |
S = OPT O = 164 T = 146.81 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 248 T = TO (out)(err) |
S = OPT O = 164 T = 178.61 (out)(err) |
S = OPT O = 164 T = 127.19 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 164 T = 80.78 (out)(err) |
S = OPT O = 164 T = 33.90 (out)(err) |
S = N/A O = 214 T = TO (out)(err) |
S = N/A O = 242 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
maxcut-140-630-0.8-2.cnf | S = OPT O = 162 T = 53.90 |
S = OPT O = 162 T = 163.97 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 259 T = TO (out)(err) |
S = OPT O = 162 T = 167.72 (out)(err) |
S = OPT O = 162 T = 147.19 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 162 T = 66.84 (out)(err) |
S = OPT O = 162 T = 53.90 (out)(err) |
S = N/A O = 211 T = TO (out)(err) |
S = N/A O = 238 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.8-20.cnf | S = OPT O = 165 T = 100.33 |
S = OPT O = 165 T = 258.89 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 253 T = TO (out)(err) |
S = OPT O = 165 T = 456.29 (out)(err) |
S = OPT O = 165 T = 412.20 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 165 T = 146.24 (out)(err) |
S = OPT O = 165 T = 100.33 (out)(err) |
S = N/A O = 215 T = TO (out)(err) |
S = N/A O = 242 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.8-21.cnf | S = OPT O = 167 T = 57.53 |
S = OPT O = 167 T = 231.04 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 242 T = TO (out)(err) |
S = OPT O = 167 T = 235.03 (out)(err) |
S = OPT O = 167 T = 211.02 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 167 T = 89.51 (out)(err) |
S = OPT O = 167 T = 57.53 (out)(err) |
S = N/A O = 225 T = TO (out)(err) |
S = N/A O = 234 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.8-22.cnf | S = OPT O = 170 T = 152.24 |
S = OPT O = 170 T = 305.73 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 242 T = TO (out)(err) |
S = OPT O = 170 T = 424.98 (out)(err) |
S = OPT O = 170 T = 389.63 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 170 T = 156.21 (out)(err) |
S = OPT O = 170 T = 152.24 (out)(err) |
S = N/A O = 217 T = TO (out)(err) |
S = N/A O = 242 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.8-23.cnf | S = OPT O = 167 T = 411.50 |
S = OPT O = 167 T = 623.73 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 251 T = TO (out)(err) |
S = OPT O = 167 T = 1574.34 (out)(err) |
S = OPT O = 167 T = 1429.57 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 167 T = 411.50 (out)(err) |
S = OPT O = 167 T = 432.64 (out)(err) |
S = N/A O = 209 T = TO (out)(err) |
S = N/A O = 244 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
maxcut-140-630-0.8-24.cnf | S = OPT O = 165 T = 199.07 |
S = OPT O = 165 T = 437.44 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 240 T = TO (out)(err) |
S = OPT O = 165 T = 954.64 (out)(err) |
S = OPT O = 165 T = 872.84 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 165 T = 424.34 (out)(err) |
S = OPT O = 165 T = 199.07 (out)(err) |
S = N/A O = 217 T = TO (out)(err) |
S = N/A O = 228 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.8-25.cnf | S = OPT O = 165 T = 187.12 |
S = OPT O = 165 T = 298.84 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 263 T = TO (out)(err) |
S = OPT O = 165 T = 523.51 (out)(err) |
S = OPT O = 165 T = 472.07 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 165 T = 223.65 (out)(err) |
S = OPT O = 165 T = 187.12 (out)(err) |
S = N/A O = 216 T = TO (out)(err) |
S = N/A O = 220 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.8-26.cnf | S = OPT O = 167 T = 102.35 |
S = OPT O = 167 T = 208.70 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 255 T = TO (out)(err) |
S = OPT O = 167 T = 225.96 (out)(err) |
S = OPT O = 167 T = 205.99 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 167 T = 178.17 (out)(err) |
S = OPT O = 167 T = 102.35 (out)(err) |
S = N/A O = 213 T = TO (out)(err) |
S = N/A O = 234 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.8-27.cnf | S = OPT O = 168 T = 164.90 |
S = OPT O = 168 T = 296.53 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 234 T = TO (out)(err) |
S = OPT O = 168 T = 578.04 (out)(err) |
S = OPT O = 168 T = 509.64 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 168 T = 248.51 (out)(err) |
S = OPT O = 168 T = 164.90 (out)(err) |
S = N/A O = 215 T = TO (out)(err) |
S = N/A O = 226 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
maxcut-140-630-0.8-28.cnf | S = OPT O = 168 T = 186.90 |
S = OPT O = 168 T = 366.05 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 247 T = TO (out)(err) |
S = OPT O = 168 T = 596.94 (out)(err) |
S = OPT O = 168 T = 540.90 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 168 T = 215.26 (out)(err) |
S = OPT O = 168 T = 186.90 (out)(err) |
S = N/A O = 222 T = TO (out)(err) |
S = N/A O = 242 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.8-29.cnf | S = OPT O = 167 T = 140.65 |
S = OPT O = 167 T = 608.15 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 241 T = TO (out)(err) |
S = OPT O = 167 T = 346.56 (out)(err) |
S = OPT O = 167 T = 305.38 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 167 T = 140.65 (out)(err) |
S = OPT O = 167 T = 163.32 (out)(err) |
S = N/A O = 211 T = TO (out)(err) |
S = N/A O = 230 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.8-3.cnf | S = OPT O = 165 T = 39.06 |
S = OPT O = 165 T = 145.40 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 248 T = TO (out)(err) |
S = OPT O = 165 T = 124.75 (out)(err) |
S = OPT O = 165 T = 110.31 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 165 T = 43.68 (out)(err) |
S = OPT O = 165 T = 39.06 (out)(err) |
S = N/A O = 221 T = TO (out)(err) |
S = N/A O = 233 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
maxcut-140-630-0.8-30.cnf | S = OPT O = 167 T = 158.03 |
S = OPT O = 167 T = 577.01 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 264 T = TO (out)(err) |
S = OPT O = 167 T = 339.68 (out)(err) |
S = OPT O = 167 T = 308.10 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 167 T = 183.12 (out)(err) |
S = OPT O = 167 T = 158.03 (out)(err) |
S = N/A O = 215 T = TO (out)(err) |
S = N/A O = 243 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.8-31.cnf | S = OPT O = 165 T = 62.39 |
S = OPT O = 165 T = 172.73 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 246 T = TO (out)(err) |
S = OPT O = 165 T = 372.90 (out)(err) |
S = OPT O = 165 T = 322.20 (out)(err) |
S = N/A O = N/A T = 321.79 (out)(err) |
S = OPT O = 165 T = 62.39 (out)(err) |
S = OPT O = 165 T = 70.21 (out)(err) |
S = N/A O = 219 T = TO (out)(err) |
S = N/A O = 234 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.8-32.cnf | S = OPT O = 164 T = 25.61 |
S = OPT O = 164 T = 143.32 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 245 T = TO (out)(err) |
S = OPT O = 164 T = 81.87 (out)(err) |
S = OPT O = 164 T = 74.29 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 164 T = 80.23 (out)(err) |
S = OPT O = 164 T = 25.61 (out)(err) |
S = N/A O = 216 T = TO (out)(err) |
S = N/A O = 239 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
maxcut-140-630-0.8-33.cnf | S = OPT O = 163 T = 58.31 |
S = OPT O = 163 T = 133.39 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 249 T = TO (out)(err) |
S = OPT O = 163 T = 139.46 (out)(err) |
S = OPT O = 163 T = 132.98 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 163 T = 98.70 (out)(err) |
S = OPT O = 163 T = 58.31 (out)(err) |
S = N/A O = 216 T = TO (out)(err) |
S = N/A O = 224 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.8-34.cnf | S = OPT O = 163 T = 107.14 |
S = OPT O = 163 T = 276.82 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 252 T = TO (out)(err) |
S = OPT O = 163 T = 436.77 (out)(err) |
S = OPT O = 163 T = 395.70 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 163 T = 177.26 (out)(err) |
S = OPT O = 163 T = 107.14 (out)(err) |
S = N/A O = 215 T = TO (out)(err) |
S = N/A O = 243 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
maxcut-140-630-0.8-35.cnf | S = OPT O = 165 T = 115.73 |
S = OPT O = 165 T = 200.43 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 227 T = TO (out)(err) |
S = OPT O = 165 T = 287.30 (out)(err) |
S = OPT O = 165 T = 262.38 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 165 T = 143.72 (out)(err) |
S = OPT O = 165 T = 115.73 (out)(err) |
S = N/A O = 217 T = TO (out)(err) |
S = N/A O = 227 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
maxcut-140-630-0.8-36.cnf | S = OPT O = 165 T = 103.74 |
S = OPT O = 165 T = 240.78 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 247 T = TO (out)(err) |
S = OPT O = 165 T = 312.79 (out)(err) |
S = OPT O = 165 T = 318.89 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 165 T = 145.46 (out)(err) |
S = OPT O = 165 T = 103.74 (out)(err) |
S = N/A O = 211 T = TO (out)(err) |
S = N/A O = 230 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.8-37.cnf | S = OPT O = 167 T = 108.82 |
S = OPT O = 167 T = 189.80 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 231 T = TO (out)(err) |
S = OPT O = 167 T = 292.28 (out)(err) |
S = OPT O = 167 T = 262.22 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 167 T = 124.47 (out)(err) |
S = OPT O = 167 T = 108.82 (out)(err) |
S = N/A O = 210 T = TO (out)(err) |
S = N/A O = 230 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
maxcut-140-630-0.8-38.cnf | S = OPT O = 160 T = 30.51 |
S = OPT O = 160 T = 164.21 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 251 T = TO (out)(err) |
S = OPT O = 160 T = 114.04 (out)(err) |
S = OPT O = 160 T = 106.03 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 160 T = 50.46 (out)(err) |
S = OPT O = 160 T = 30.51 (out)(err) |
S = N/A O = 220 T = TO (out)(err) |
S = N/A O = 240 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.8-39.cnf | S = OPT O = 169 T = 161.00 |
S = OPT O = 169 T = 445.77 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 252 T = TO (out)(err) |
S = OPT O = 169 T = 597.14 (out)(err) |
S = OPT O = 169 T = 427.47 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 169 T = 243.29 (out)(err) |
S = OPT O = 169 T = 161.00 (out)(err) |
S = N/A O = 217 T = TO (out)(err) |
S = N/A O = 229 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
maxcut-140-630-0.8-4.cnf | S = OPT O = 165 T = 61.85 |
S = OPT O = 165 T = 232.97 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 276 T = TO (out)(err) |
S = OPT O = 165 T = 178.28 (out)(err) |
S = OPT O = 165 T = 160.99 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 165 T = 63.49 (out)(err) |
S = OPT O = 165 T = 61.85 (out)(err) |
S = N/A O = 216 T = TO (out)(err) |
S = N/A O = 240 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.8-40.cnf | S = OPT O = 161 T = 37.72 |
S = OPT O = 161 T = 187.01 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 227 T = TO (out)(err) |
S = OPT O = 161 T = 144.28 (out)(err) |
S = OPT O = 161 T = 131.15 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 161 T = 50.38 (out)(err) |
S = OPT O = 161 T = 37.72 (out)(err) |
S = N/A O = 217 T = TO (out)(err) |
S = N/A O = 227 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.8-41.cnf | S = OPT O = 163 T = 58.39 |
S = OPT O = 163 T = 190.52 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 255 T = TO (out)(err) |
S = OPT O = 163 T = 339.55 (out)(err) |
S = OPT O = 163 T = 311.59 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 163 T = 77.19 (out)(err) |
S = OPT O = 163 T = 58.39 (out)(err) |
S = N/A O = 220 T = TO (out)(err) |
S = N/A O = 236 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
maxcut-140-630-0.8-42.cnf | S = OPT O = 164 T = 81.82 |
S = OPT O = 164 T = 121.08 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 263 T = TO (out)(err) |
S = OPT O = 164 T = 211.42 (out)(err) |
S = OPT O = 164 T = 182.12 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 164 T = 121.75 (out)(err) |
S = OPT O = 164 T = 81.82 (out)(err) |
S = N/A O = 208 T = TO (out)(err) |
S = N/A O = 235 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.8-43.cnf | S = OPT O = 165 T = 81.26 |
S = OPT O = 165 T = 228.21 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 264 T = TO (out)(err) |
S = OPT O = 165 T = 293.95 (out)(err) |
S = OPT O = 165 T = 256.48 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 165 T = 93.11 (out)(err) |
S = OPT O = 165 T = 81.26 (out)(err) |
S = N/A O = 218 T = TO (out)(err) |
S = N/A O = 236 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.8-44.cnf | S = OPT O = 160 T = 15.56 |
S = OPT O = 160 T = 70.92 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 257 T = TO (out)(err) |
S = OPT O = 160 T = 87.41 (out)(err) |
S = OPT O = 160 T = 83.21 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 160 T = 23.67 (out)(err) |
S = OPT O = 160 T = 15.56 (out)(err) |
S = N/A O = 218 T = TO (out)(err) |
S = N/A O = 229 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.8-45.cnf | S = OPT O = 165 T = 27.52 |
S = OPT O = 165 T = 83.36 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 240 T = TO (out)(err) |
S = OPT O = 165 T = 80.52 (out)(err) |
S = OPT O = 165 T = 67.54 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 165 T = 46.74 (out)(err) |
S = OPT O = 165 T = 27.52 (out)(err) |
S = N/A O = 215 T = TO (out)(err) |
S = N/A O = 235 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
maxcut-140-630-0.8-46.cnf | S = OPT O = 162 T = 80.49 |
S = OPT O = 162 T = 191.06 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 238 T = TO (out)(err) |
S = OPT O = 162 T = 313.49 (out)(err) |
S = OPT O = 162 T = 283.86 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 162 T = 141.75 (out)(err) |
S = OPT O = 162 T = 80.49 (out)(err) |
S = N/A O = 217 T = TO (out)(err) |
S = N/A O = 228 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.8-47.cnf | S = OPT O = 164 T = 109.28 |
S = OPT O = 164 T = 325.09 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 253 T = TO (out)(err) |
S = OPT O = 164 T = 383.28 (out)(err) |
S = OPT O = 164 T = 342.45 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 164 T = 109.28 (out)(err) |
S = OPT O = 164 T = 122.12 (out)(err) |
S = N/A O = 214 T = TO (out)(err) |
S = N/A O = 237 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.8-48.cnf | S = OPT O = 164 T = 109.97 |
S = OPT O = 164 T = 277.05 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 253 T = TO (out)(err) |
S = OPT O = 164 T = 243.56 (out)(err) |
S = OPT O = 164 T = 221.62 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 164 T = 110.46 (out)(err) |
S = OPT O = 164 T = 109.97 (out)(err) |
S = N/A O = 210 T = TO (out)(err) |
S = N/A O = 239 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
maxcut-140-630-0.8-49.cnf | S = OPT O = 166 T = 121.98 |
S = OPT O = 166 T = 199.93 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 266 T = TO (out)(err) |
S = OPT O = 166 T = 368.14 (out)(err) |
S = OPT O = 166 T = 330.43 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 166 T = 174.60 (out)(err) |
S = OPT O = 166 T = 121.98 (out)(err) |
S = N/A O = 215 T = TO (out)(err) |
S = N/A O = 236 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
maxcut-140-630-0.8-5.cnf | S = OPT O = 164 T = 186.80 |
S = OPT O = 164 T = 320.09 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 233 T = TO (out)(err) |
S = OPT O = 164 T = 805.63 (out)(err) |
S = OPT O = 164 T = 744.14 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 164 T = 298.20 (out)(err) |
S = OPT O = 164 T = 186.80 (out)(err) |
S = N/A O = 219 T = TO (out)(err) |
S = N/A O = 227 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.8-50.cnf | S = OPT O = 165 T = 64.94 |
S = OPT O = 165 T = 281.52 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 258 T = TO (out)(err) |
S = OPT O = 165 T = 275.18 (out)(err) |
S = OPT O = 165 T = 249.65 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 165 T = 88.36 (out)(err) |
S = OPT O = 165 T = 64.94 (out)(err) |
S = N/A O = 215 T = TO (out)(err) |
S = N/A O = 237 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
maxcut-140-630-0.8-6.cnf | S = OPT O = 169 T = 639.40 |
S = OPT O = 169 T = 821.96 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 246 T = TO (out)(err) |
S = OPT O = 169 T = 1622.63 (out)(err) |
S = OPT O = 169 T = 1496.95 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 169 T = 778.69 (out)(err) |
S = OPT O = 169 T = 639.40 (out)(err) |
S = N/A O = 217 T = TO (out)(err) |
S = N/A O = 236 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.8-7.cnf | S = OPT O = 166 T = 141.16 |
S = OPT O = 166 T = 325.62 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 235 T = TO (out)(err) |
S = OPT O = 166 T = 388.29 (out)(err) |
S = OPT O = 166 T = 355.12 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 166 T = 163.77 (out)(err) |
S = OPT O = 166 T = 141.16 (out)(err) |
S = N/A O = 213 T = TO (out)(err) |
S = N/A O = 226 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.8-8.cnf | S = OPT O = 167 T = 143.39 |
S = OPT O = 167 T = 400.20 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 252 T = TO (out)(err) |
S = OPT O = 167 T = 548.81 (out)(err) |
S = OPT O = 167 T = 497.77 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 167 T = 235.29 (out)(err) |
S = OPT O = 167 T = 143.39 (out)(err) |
S = N/A O = 215 T = TO (out)(err) |
S = N/A O = 238 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
maxcut-140-630-0.8-9.cnf | S = OPT O = 165 T = 68.39 |
S = OPT O = 165 T = 133.43 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 237 T = TO (out)(err) |
S = OPT O = 165 T = 231.90 (out)(err) |
S = OPT O = 165 T = 211.61 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 165 T = 68.39 (out)(err) |
S = OPT O = 165 T = 71.19 (out)(err) |
S = N/A O = 216 T = TO (out)(err) |
S = N/A O = 236 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
MANN_a27.clq.cnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 611 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 404 T = TO (out)(err) |
S = N/A O = 404 T = TO (out)(err) |
S = N/A O = 404 T = TO (out)(err) |
S = N/A O = 407 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
MANN_a45.clq.cnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 541 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 418 T = TO (out)(err) |
S = N/A O = 418 T = TO (out)(err) |
S = N/A O = 418 T = TO (out)(err) |
S = N/A O = 420 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
MANN_a81.clq.cnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 510 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 399 T = TO (out)(err) |
S = N/A O = 399 T = TO (out)(err) |
S = N/A O = 399 T = TO (out)(err) |
S = N/A O = 399 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
MANN_a9.clq.cnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 532 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 422 T = TO (out)(err) |
S = N/A O = 422 T = TO (out)(err) |
S = N/A O = 429 T = TO (out)(err) |
S = N/A O = 438 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
brock200_1.clq.cnf | S = OPT O = 238 T = 11.12 |
S = OPT O = 238 T = 19.86 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 287 T = TO (out)(err) |
S = OPT O = 238 T = 33.62 (out)(err) |
S = OPT O = 238 T = 45.09 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 238 T = 12.26 (out)(err) |
S = OPT O = 238 T = 11.12 (out)(err) |
S = N/A O = 244 T = TO (out)(err) |
S = N/A O = 265 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
brock200_2.clq.cnf | S = OPT O = 141 T = 0.12 |
S = OPT O = 141 T = 0.29 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 190 T = TO (out)(err) |
S = OPT O = 141 T = 0.30 (out)(err) |
S = OPT O = 141 T = 0.29 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 141 T = 0.12 (out)(err) |
S = OPT O = 141 T = 0.17 (out)(err) |
S = N/A O = 146 T = TO (out)(err) |
S = N/A O = 159 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
brock200_3.clq.cnf | S = OPT O = 214 T = 4.19 |
S = OPT O = 214 T = 5.24 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 273 T = TO (out)(err) |
S = OPT O = 214 T = 11.40 (out)(err) |
S = OPT O = 214 T = 13.46 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 214 T = 5.82 (out)(err) |
S = OPT O = 214 T = 4.19 (out)(err) |
S = N/A O = 220 T = TO (out)(err) |
S = N/A O = 236 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
brock200_4.clq.cnf | S = OPT O = 209 T = 2.62 |
S = OPT O = 209 T = 3.44 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 334 T = TO (out)(err) |
S = OPT O = 209 T = 7.79 (out)(err) |
S = OPT O = 209 T = 8.30 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 209 T = 2.90 (out)(err) |
S = OPT O = 209 T = 2.62 (out)(err) |
S = N/A O = 216 T = TO (out)(err) |
S = N/A O = 232 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
brock400_1.clq.cnf | S = OPT O = 255 T = 27.51 |
S = OPT O = 255 T = 37.28 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 389 T = TO (out)(err) |
S = OPT O = 255 T = 96.15 (out)(err) |
S = OPT O = 255 T = 94.36 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 255 T = 32.71 (out)(err) |
S = OPT O = 255 T = 27.51 (out)(err) |
S = N/A O = 261 T = TO (out)(err) |
S = N/A O = 272 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
brock400_2.clq.cnf | S = OPT O = 252 T = 17.50 |
S = OPT O = 252 T = 31.51 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 357 T = TO (out)(err) |
S = OPT O = 252 T = 62.98 (out)(err) |
S = OPT O = 252 T = 75.69 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 252 T = 17.50 (out)(err) |
S = OPT O = 252 T = 18.07 (out)(err) |
S = N/A O = 260 T = TO (out)(err) |
S = N/A O = 276 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
brock400_3.clq.cnf | S = OPT O = 238 T = 9.71 |
S = OPT O = 238 T = 13.75 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 330 T = TO (out)(err) |
S = OPT O = 238 T = 29.86 (out)(err) |
S = OPT O = 238 T = 30.88 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 238 T = 11.91 (out)(err) |
S = OPT O = 238 T = 9.71 (out)(err) |
S = N/A O = 245 T = TO (out)(err) |
S = N/A O = 260 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
brock400_4.clq.cnf | S = OPT O = 249 T = 13.71 |
S = OPT O = 249 T = 16.05 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 327 T = TO (out)(err) |
S = OPT O = 249 T = 46.28 (out)(err) |
S = OPT O = 249 T = 48.65 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 249 T = 15.35 (out)(err) |
S = OPT O = 249 T = 13.71 (out)(err) |
S = N/A O = 256 T = TO (out)(err) |
S = N/A O = 274 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
brock800_1.clq.cnf | S = OPT O = 205 T = 1.80 |
S = OPT O = 205 T = 2.42 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 294 T = TO (out)(err) |
S = OPT O = 205 T = 4.79 (out)(err) |
S = OPT O = 205 T = 4.48 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 205 T = 2.00 (out)(err) |
S = OPT O = 205 T = 1.80 (out)(err) |
S = N/A O = 213 T = TO (out)(err) |
S = N/A O = 229 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
brock800_2.clq.cnf | S = OPT O = 207 T = 2.43 |
S = OPT O = 207 T = 3.31 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 301 T = TO (out)(err) |
S = OPT O = 207 T = 6.53 (out)(err) |
S = OPT O = 207 T = 6.95 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 207 T = 2.90 (out)(err) |
S = OPT O = 207 T = 2.43 (out)(err) |
S = N/A O = 215 T = TO (out)(err) |
S = N/A O = 230 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
brock800_3.clq.cnf | S = OPT O = 203 T = 1.73 |
S = OPT O = 203 T = 3.98 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 356 T = TO (out)(err) |
S = OPT O = 203 T = 3.90 (out)(err) |
S = OPT O = 203 T = 4.63 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 203 T = 1.78 (out)(err) |
S = OPT O = 203 T = 1.73 (out)(err) |
S = N/A O = 213 T = TO (out)(err) |
S = N/A O = 230 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
brock800_4.clq.cnf | S = OPT O = 200 T = 1.52 |
S = OPT O = 200 T = 2.81 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 316 T = TO (out)(err) |
S = OPT O = 200 T = 4.75 (out)(err) |
S = OPT O = 200 T = 4.44 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 200 T = 2.42 (out)(err) |
S = OPT O = 200 T = 1.52 (out)(err) |
S = N/A O = 206 T = TO (out)(err) |
S = N/A O = 225 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
c-fat200-1.clq.cnf | S = OPT O = 4 T = 0.00 |
S = OPT O = 4 T = 0.00 (out)(err) |
S = OPT O = 4 T = 0.01 (out)(err) |
S = OPT O = 4 T = 0.01 (out)(err) |
S = OPT O = 4 T = 0.00 (out)(err) |
S = OPT O = 4 T = 0.00 (out)(err) |
S = OPT O = 4 T = 0.01 (out)(err) |
S = OPT O = 4 T = 0.00 (out)(err) |
S = OPT O = 4 T = 0.03 (out)(err) |
S = OPT O = 4 T = 0.01 (out)(err) |
S = OPT O = 4 T = 1.14 (out)(err) |
S = OPT O = 4 T = 0.00 (out)(err) |
c-fat200-2.clq.cnf | S = OPT O = 26 T = 0.00 |
S = OPT O = 26 T = 0.00 (out)(err) |
S = OPT O = 26 T = 0.07 (out)(err) |
S = OPT O = 26 T = 74.07 (out)(err) |
S = OPT O = 26 T = 0.01 (out)(err) |
S = OPT O = 26 T = 0.01 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 26 T = 0.00 (out)(err) |
S = OPT O = 26 T = 0.04 (out)(err) |
S = N/A O = 28 T = TO (out)(err) |
S = N/A O = 28 T = TO (out)(err) |
S = OPT O = 26 T = 0.02 (out)(err) |
c-fat200-5.clq.cnf | S = OPT O = 116 T = 0.20 |
S = OPT O = 116 T = 0.27 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 170 T = TO (out)(err) |
S = OPT O = 116 T = 0.26 (out)(err) |
S = OPT O = 116 T = 0.45 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 116 T = 0.26 (out)(err) |
S = OPT O = 116 T = 0.20 (out)(err) |
S = N/A O = 118 T = TO (out)(err) |
S = N/A O = 117 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
c-fat500-1.clq.cnf | S = OPT O = 2 T = 0.00 |
S = OPT O = 2 T = 0.00 (out)(err) |
S = OPT O = 2 T = 0.00 (out)(err) |
S = OPT O = 2 T = 0.00 (out)(err) |
S = OPT O = 2 T = 0.00 (out)(err) |
S = OPT O = 2 T = 0.00 (out)(err) |
S = OPT O = 2 T = 0.00 (out)(err) |
S = OPT O = 2 T = 0.00 (out)(err) |
S = OPT O = 2 T = 0.03 (out)(err) |
S = OPT O = 2 T = 0.00 (out)(err) |
S = OPT O = 2 T = 0.57 (out)(err) |
S = OPT O = 2 T = 0.00 (out)(err) |
c-fat500-10.clq.cnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 274 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 200 T = TO (out)(err) |
S = N/A O = 200 T = TO (out)(err) |
S = N/A O = 200 T = TO (out)(err) |
S = N/A O = 200 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
c-fat500-2.clq.cnf | S = OPT O = 24 T = 0.00 |
S = OPT O = 24 T = 0.04 (out)(err) |
S = OPT O = 24 T = 0.06 (out)(err) |
S = OPT O = 24 T = 15.31 (out)(err) |
S = OPT O = 24 T = 0.00 (out)(err) |
S = OPT O = 24 T = 0.00 (out)(err) |
S = OPT O = 24 T = 0.03 (out)(err) |
S = OPT O = 24 T = 0.00 (out)(err) |
S = OPT O = 24 T = 0.04 (out)(err) |
S = N/A O = 24 T = TO (out)(err) |
S = N/A O = 24 T = TO (out)(err) |
S = OPT O = 24 T = 0.01 (out)(err) |
c-fat500-5.clq.cnf | S = OPT O = 90 T = 14.96 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 90 T = 14.96 (out)(err) |
S = N/A O = 115 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 90 T = TO (out)(err) |
S = N/A O = 90 T = TO (out)(err) |
S = N/A O = 90 T = TO (out)(err) |
S = N/A O = 90 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
hamming10-2.clq.cnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 456 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 400 T = TO (out)(err) |
S = N/A O = 400 T = TO (out)(err) |
S = N/A O = 400 T = TO (out)(err) |
S = N/A O = 402 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
hamming10-4.clq.cnf | S = OPT O = 319 T = 396.23 |
S = OPT O = 319 T = 524.62 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 459 T = TO (out)(err) |
S = OPT O = 319 T = 1056.92 (out)(err) |
S = OPT O = 319 T = 1161.48 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 319 T = 428.76 (out)(err) |
S = OPT O = 319 T = 396.23 (out)(err) |
S = N/A O = 327 T = TO (out)(err) |
S = N/A O = 340 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
hamming6-2.clq.cnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 1081 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 850 T = TO (out)(err) |
S = N/A O = 832 T = TO (out)(err) |
S = N/A O = 867 T = TO (out)(err) |
S = N/A O = 954 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
hamming6-4.clq.cnf | S = OPT O = 192 T = 0.17 |
S = OPT O = 192 T = 0.49 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 348 T = TO (out)(err) |
S = OPT O = 192 T = 0.22 (out)(err) |
S = OPT O = 192 T = 0.20 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 192 T = 0.17 (out)(err) |
S = OPT O = 192 T = 0.23 (out)(err) |
S = N/A O = 242 T = TO (out)(err) |
S = N/A O = 286 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
hamming8-2.clq.cnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 531 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 441 T = TO (out)(err) |
S = N/A O = 441 T = TO (out)(err) |
S = N/A O = 441 T = TO (out)(err) |
S = N/A O = 441 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
hamming8-4.clq.cnf | S = OPT O = 176 T = 0.11 |
S = OPT O = 176 T = 0.35 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 266 T = TO (out)(err) |
S = OPT O = 176 T = 0.22 (out)(err) |
S = OPT O = 176 T = 0.21 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 176 T = 0.11 (out)(err) |
S = OPT O = 176 T = 0.18 (out)(err) |
S = N/A O = 181 T = TO (out)(err) |
S = N/A O = 206 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
johnson16-2-4.clq.cnf | S = OPT O = 215 T = 0.22 |
S = OPT O = 215 T = 0.49 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 298 T = TO (out)(err) |
S = OPT O = 215 T = 0.24 (out)(err) |
S = OPT O = 215 T = 0.26 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 215 T = 0.22 (out)(err) |
S = OPT O = 215 T = 0.23 (out)(err) |
S = N/A O = 228 T = TO (out)(err) |
S = N/A O = 237 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
johnson32-2-4.clq.cnf | S = OPT O = 329 T = 82.91 |
S = OPT O = 329 T = 118.94 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 502 T = TO (out)(err) |
S = OPT O = 329 T = 235.98 (out)(err) |
S = OPT O = 329 T = 249.49 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 329 T = 82.91 (out)(err) |
S = OPT O = 329 T = 89.58 (out)(err) |
S = N/A O = 342 T = TO (out)(err) |
S = N/A O = 355 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
johnson8-2-4.clq.cnf | S = OPT O = 75 T = 0.02 |
S = OPT O = 75 T = 0.02 (out)(err) |
S = OPT O = 75 T = 602.93 (out)(err) |
S = OPT O = 75 T = 1089.10 (out)(err) |
S = OPT O = 75 T = 0.03 (out)(err) |
S = OPT O = 75 T = 0.04 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 75 T = 0.02 (out)(err) |
S = OPT O = 75 T = 0.07 (out)(err) |
S = N/A O = 75 T = TO (out)(err) |
S = N/A O = 75 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
johnson8-4-4.clq.cnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 1096 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 779 T = TO (out)(err) |
S = N/A O = 770 T = TO (out)(err) |
S = N/A O = 848 T = TO (out)(err) |
S = N/A O = 872 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
keller4.clq.cnf | S = OPT O = 199 T = 0.08 |
S = OPT O = 199 T = 0.28 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 379 T = TO (out)(err) |
S = OPT O = 199 T = 0.15 (out)(err) |
S = OPT O = 199 T = 0.14 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 199 T = 0.08 (out)(err) |
S = OPT O = 199 T = 0.11 (out)(err) |
S = N/A O = 219 T = TO (out)(err) |
S = N/A O = 242 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
keller5.clq.cnf | S = OPT O = 250 T = 3.63 |
S = OPT O = 250 T = 8.74 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 371 T = TO (out)(err) |
S = OPT O = 250 T = 9.91 (out)(err) |
S = OPT O = 250 T = 11.86 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 250 T = 5.57 (out)(err) |
S = OPT O = 250 T = 3.63 (out)(err) |
S = N/A O = 262 T = TO (out)(err) |
S = N/A O = 283 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
p_hat1000-1.clq.cnf | S = OPT O = 52 T = 0.01 |
S = OPT O = 52 T = 0.01 (out)(err) |
S = OPT O = 52 T = 21.71 (out)(err) |
S = OPT O = 52 T = 927.12 (out)(err) |
S = OPT O = 52 T = 0.01 (out)(err) |
S = OPT O = 52 T = 0.01 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 52 T = 0.01 (out)(err) |
S = OPT O = 52 T = 0.05 (out)(err) |
S = N/A O = 52 T = TO (out)(err) |
S = N/A O = 52 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
p_hat1000-2.clq.cnf | S = OPT O = 142 T = 0.21 |
S = OPT O = 142 T = 0.33 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 183 T = TO (out)(err) |
S = OPT O = 142 T = 0.38 (out)(err) |
S = OPT O = 142 T = 0.40 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 142 T = 0.21 (out)(err) |
S = OPT O = 142 T = 0.23 (out)(err) |
S = N/A O = 146 T = TO (out)(err) |
S = N/A O = 153 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
p_hat1000-3.clq.cnf | S = OPT O = 238 T = 6.60 |
S = OPT O = 238 T = 9.29 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 360 T = TO (out)(err) |
S = OPT O = 238 T = 16.57 (out)(err) |
S = OPT O = 238 T = 22.36 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 238 T = 8.75 (out)(err) |
S = OPT O = 238 T = 6.60 (out)(err) |
S = N/A O = 245 T = TO (out)(err) |
S = N/A O = 266 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
p_hat300-1.clq.cnf | S = OPT O = 49 T = 0.01 |
S = OPT O = 49 T = 0.01 (out)(err) |
S = OPT O = 49 T = 30.90 (out)(err) |
S = OPT O = 49 T = 303.03 (out)(err) |
S = OPT O = 49 T = 0.01 (out)(err) |
S = OPT O = 49 T = 0.01 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 49 T = 0.01 (out)(err) |
S = OPT O = 49 T = 0.05 (out)(err) |
S = N/A O = 50 T = TO (out)(err) |
S = N/A O = 50 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
p_hat300-2.clq.cnf | S = OPT O = 135 T = 0.10 |
S = OPT O = 135 T = 0.12 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 197 T = TO (out)(err) |
S = OPT O = 135 T = 0.19 (out)(err) |
S = OPT O = 135 T = 0.16 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 135 T = 0.10 (out)(err) |
S = OPT O = 135 T = 0.14 (out)(err) |
S = N/A O = 140 T = TO (out)(err) |
S = N/A O = 145 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
p_hat300-3.clq.cnf | S = OPT O = 269 T = 21.96 |
S = OPT O = 269 T = 31.19 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 386 T = TO (out)(err) |
S = OPT O = 269 T = 52.10 (out)(err) |
S = OPT O = 269 T = 55.10 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 269 T = 23.83 (out)(err) |
S = OPT O = 269 T = 21.96 (out)(err) |
S = N/A O = 276 T = TO (out)(err) |
S = N/A O = 295 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
p_hat500-1.clq.cnf | S = OPT O = 75 T = 0.02 |
S = OPT O = 75 T = 0.02 (out)(err) |
S = N/A O = 75 T = TO (out)(err) |
S = N/A O = 85 T = TO (out)(err) |
S = OPT O = 75 T = 0.02 (out)(err) |
S = OPT O = 75 T = 0.02 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 75 T = 0.02 (out)(err) |
S = OPT O = 75 T = 0.07 (out)(err) |
S = N/A O = 77 T = TO (out)(err) |
S = N/A O = 79 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
p_hat500-2.clq.cnf | S = OPT O = 176 T = 0.38 |
S = OPT O = 176 T = 0.74 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 257 T = TO (out)(err) |
S = OPT O = 176 T = 0.69 (out)(err) |
S = OPT O = 176 T = 0.74 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 176 T = 0.41 (out)(err) |
S = OPT O = 176 T = 0.38 (out)(err) |
S = N/A O = 180 T = TO (out)(err) |
S = N/A O = 194 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
p_hat500-3.clq.cnf | S = OPT O = 284 T = 57.52 |
S = OPT O = 284 T = 99.44 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 377 T = TO (out)(err) |
S = OPT O = 284 T = 190.88 (out)(err) |
S = OPT O = 284 T = 196.56 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 284 T = 62.50 (out)(err) |
S = OPT O = 284 T = 57.52 (out)(err) |
S = N/A O = 291 T = TO (out)(err) |
S = N/A O = 311 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
p_hat700-1.clq.cnf | S = OPT O = 63 T = 0.01 |
S = OPT O = 63 T = 0.01 (out)(err) |
S = OPT O = 63 T = 106.03 (out)(err) |
S = N/A O = 63 T = TO (out)(err) |
S = OPT O = 63 T = 0.02 (out)(err) |
S = OPT O = 63 T = 0.02 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 63 T = 0.02 (out)(err) |
S = OPT O = 63 T = 0.06 (out)(err) |
S = N/A O = 64 T = TO (out)(err) |
S = N/A O = 63 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
p_hat700-2.clq.cnf | S = OPT O = 154 T = 0.15 |
S = OPT O = 154 T = 0.27 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 239 T = TO (out)(err) |
S = OPT O = 154 T = 0.28 (out)(err) |
S = OPT O = 154 T = 0.26 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 154 T = 0.15 (out)(err) |
S = OPT O = 154 T = 0.17 (out)(err) |
S = N/A O = 160 T = TO (out)(err) |
S = N/A O = 167 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
p_hat700-3.clq.cnf | S = OPT O = 267 T = 13.51 |
S = OPT O = 267 T = 41.82 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 328 T = TO (out)(err) |
S = OPT O = 267 T = 45.80 (out)(err) |
S = OPT O = 267 T = 68.53 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 267 T = 14.00 (out)(err) |
S = OPT O = 267 T = 13.51 (out)(err) |
S = N/A O = 275 T = TO (out)(err) |
S = N/A O = 286 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
san1000.clq.cnf | S = OPT O = 139 T = 0.12 |
S = OPT O = 139 T = 0.26 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 242 T = TO (out)(err) |
S = OPT O = 139 T = 0.27 (out)(err) |
S = OPT O = 139 T = 0.22 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 139 T = 0.12 (out)(err) |
S = OPT O = 139 T = 0.18 (out)(err) |
S = N/A O = 143 T = TO (out)(err) |
S = N/A O = 146 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
san200_0.7_1.clq.cnf | S = OPT O = 237 T = 19.29 |
S = OPT O = 237 T = 37.73 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 318 T = TO (out)(err) |
S = OPT O = 237 T = 62.39 (out)(err) |
S = OPT O = 237 T = 67.12 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 237 T = 21.96 (out)(err) |
S = OPT O = 237 T = 19.29 (out)(err) |
S = N/A O = 241 T = TO (out)(err) |
S = N/A O = 260 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
san200_0.7_2.clq.cnf | S = OPT O = 236 T = 8.41 |
S = OPT O = 236 T = 11.58 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 340 T = TO (out)(err) |
S = OPT O = 236 T = 20.94 (out)(err) |
S = OPT O = 236 T = 23.07 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 236 T = 12.58 (out)(err) |
S = OPT O = 236 T = 8.41 (out)(err) |
S = N/A O = 243 T = TO (out)(err) |
S = N/A O = 259 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
san200_0.9_1.clq.cnf | S = OPT O = 313 T = 419.31 |
S = OPT O = 313 T = 692.68 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 466 T = TO (out)(err) |
S = OPT O = 313 T = 1309.52 (out)(err) |
S = OPT O = 313 T = 1461.31 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 313 T = 419.31 (out)(err) |
S = OPT O = 313 T = 471.28 (out)(err) |
S = N/A O = 320 T = TO (out)(err) |
S = N/A O = 331 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
san200_0.9_2.clq.cnf | S = OPT O = 316 T = 495.27 |
S = OPT O = 316 T = 708.68 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 383 T = TO (out)(err) |
S = OPT O = 316 T = 1475.29 (out)(err) |
S = OPT O = 316 T = 1667.26 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 316 T = 495.27 (out)(err) |
S = OPT O = 316 T = 504.27 (out)(err) |
S = N/A O = 322 T = TO (out)(err) |
S = N/A O = 334 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
san200_0.9_3.clq.cnf | S = OPT O = 320 T = 575.92 |
S = OPT O = 320 T = 858.12 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 521 T = TO (out)(err) |
S = OPT O = 320 T = 1431.76 (out)(err) |
S = OPT O = 320 T = 1604.20 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 320 T = 575.92 (out)(err) |
S = OPT O = 320 T = 577.68 (out)(err) |
S = N/A O = 325 T = TO (out)(err) |
S = N/A O = 340 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
san400_0.5_1.clq.cnf | S = OPT O = 146 T = 0.19 |
S = OPT O = 146 T = 0.28 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 198 T = TO (out)(err) |
S = OPT O = 146 T = 0.39 (out)(err) |
S = OPT O = 146 T = 0.36 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 146 T = 0.19 (out)(err) |
S = OPT O = 146 T = 0.26 (out)(err) |
S = N/A O = 148 T = TO (out)(err) |
S = N/A O = 156 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
san400_0.7_1.clq.cnf | S = OPT O = 236 T = 15.65 |
S = OPT O = 236 T = 18.85 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 333 T = TO (out)(err) |
S = OPT O = 236 T = 43.75 (out)(err) |
S = OPT O = 236 T = 46.36 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 236 T = 17.14 (out)(err) |
S = OPT O = 236 T = 15.65 (out)(err) |
S = N/A O = 244 T = TO (out)(err) |
S = N/A O = 260 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
san400_0.7_2.clq.cnf | S = OPT O = 236 T = 9.75 |
S = OPT O = 236 T = 11.76 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 327 T = TO (out)(err) |
S = OPT O = 236 T = 37.24 (out)(err) |
S = OPT O = 236 T = 24.56 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 236 T = 12.47 (out)(err) |
S = OPT O = 236 T = 9.75 (out)(err) |
S = N/A O = 246 T = TO (out)(err) |
S = N/A O = 259 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
san400_0.7_3.clq.cnf | S = OPT O = 230 T = 10.96 |
S = OPT O = 230 T = 14.38 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 331 T = TO (out)(err) |
S = OPT O = 230 T = 22.63 (out)(err) |
S = OPT O = 230 T = 24.59 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 230 T = 18.06 (out)(err) |
S = OPT O = 230 T = 10.96 (out)(err) |
S = N/A O = 236 T = TO (out)(err) |
S = N/A O = 255 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
san400_0.9_1.clq.cnf | S = OPT O = 304 T = 404.30 |
S = OPT O = 304 T = 635.77 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 426 T = TO (out)(err) |
S = OPT O = 304 T = 1348.36 (out)(err) |
S = OPT O = 304 T = 1451.43 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 304 T = 404.30 (out)(err) |
S = OPT O = 304 T = 440.58 (out)(err) |
S = N/A O = 309 T = TO (out)(err) |
S = N/A O = 317 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
sanr200_0.7.clq.cnf | S = OPT O = 227 T = 7.33 |
S = OPT O = 227 T = 11.69 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 333 T = TO (out)(err) |
S = OPT O = 227 T = 25.18 (out)(err) |
S = OPT O = 227 T = 27.36 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 227 T = 8.07 (out)(err) |
S = OPT O = 227 T = 7.33 (out)(err) |
S = N/A O = 232 T = TO (out)(err) |
S = N/A O = 250 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
sanr200_0.9.clq.cnf | S = OPT O = 300 T = 159.22 |
S = OPT O = 300 T = 238.65 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 456 T = TO (out)(err) |
S = OPT O = 300 T = 585.65 (out)(err) |
S = OPT O = 300 T = 637.33 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 300 T = 162.98 (out)(err) |
S = OPT O = 300 T = 159.22 (out)(err) |
S = N/A O = 307 T = TO (out)(err) |
S = N/A O = 319 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
sanr400_0.5.clq.cnf | S = OPT O = 148 T = 0.21 |
S = OPT O = 148 T = 0.34 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 192 T = TO (out)(err) |
S = OPT O = 148 T = 0.30 (out)(err) |
S = OPT O = 148 T = 0.36 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 148 T = 0.30 (out)(err) |
S = OPT O = 148 T = 0.21 (out)(err) |
S = N/A O = 152 T = TO (out)(err) |
S = N/A O = 167 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
sanr400_0.7.clq.cnf | S = OPT O = 223 T = 2.67 |
S = OPT O = 223 T = 4.01 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 318 T = TO (out)(err) |
S = OPT O = 223 T = 5.98 (out)(err) |
S = OPT O = 223 T = 7.41 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 223 T = 3.02 (out)(err) |
S = OPT O = 223 T = 2.67 (out)(err) |
S = N/A O = 233 T = TO (out)(err) |
S = N/A O = 249 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
t3pm3-5555.spn.cnf | S = OPT O = 17 T = 0.00 |
S = OPT O = 17 T = 0.00 (out)(err) |
S = OPT O = 17 T = 0.03 (out)(err) |
S = OPT O = 17 T = 0.46 (out)(err) |
S = OPT O = 17 T = 0.01 (out)(err) |
S = OPT O = 17 T = 0.01 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 17 T = 0.00 (out)(err) |
S = OPT O = 17 T = 0.03 (out)(err) |
S = OPT O = 17 T = 46.75 (out)(err) |
S = OPT O = 17 T = 51.17 (out)(err) |
S = OPT O = 17 T = 0.01 (out)(err) |
t4pm3-6666.spn.cnf | S = OPT O = 38 T = 0.03 |
S = OPT O = 38 T = 0.12 (out)(err) |
S = OPT O = 38 T = 7.61 (out)(err) |
S = N/A O = 40 T = TO (out)(err) |
S = OPT O = 38 T = 0.08 (out)(err) |
S = OPT O = 38 T = 0.08 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 38 T = 0.03 (out)(err) |
S = OPT O = 38 T = 0.10 (out)(err) |
S = N/A O = 46 T = TO (out)(err) |
S = N/A O = 50 T = TO (out)(err) |
S = OPT O = 38 T = 8.06 (out)(err) |
t5pm3-7777.spn.cnf | S = OPT O = 78 T = 15.80 |
S = OPT O = 78 T = 85.97 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 132 T = TO (out)(err) |
S = OPT O = 78 T = 17.22 (out)(err) |
S = OPT O = 78 T = 15.80 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 78 T = 44.49 (out)(err) |
S = OPT O = 78 T = 36.18 (out)(err) |
S = N/A O = 112 T = TO (out)(err) |
S = N/A O = 116 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
t6pm3-8888.spn.cnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 218 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 140 T = TO (out)(err) |
S = N/A O = 136 T = TO (out)(err) |
S = N/A O = 204 T = TO (out)(err) |
S = N/A O = 206 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
t7pm3-9999.spn.cnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 349 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 241 T = TO (out)(err) |
S = N/A O = 209 T = TO (out)(err) |
S = N/A O = 329 T = TO (out)(err) |
S = N/A O = 333 T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |