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 | ILP-2013 | ISAC+-wms | MSUnCore | MaxHS | Maxsatz2013f | Toulbar2 | WMaxSatz+ | WMaxSatz09 | WPM1-2013 | WPM2-2013 | ahmaxsat | ckmax-small | glpk-maxsat | optimax-ni | optimax | scip-maxsat | toysat | wbo2.1-wcnf | wmifumax |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
frb10-6-1.wcnf | S = OPT O = 50 T = 0.01 |
S = OPT O = 50 T = 0.05 (out)(err) |
S = OPT O = 50 T = 0.47 (out)(err) |
S = OPT O = 50 T = 0.15 (out)(err) |
S = OPT O = 50 T = 0.04 (out)(err) |
S = OPT O = 50 T = 0.01 (out)(err) |
S = OPT O = 50 T = 0.05 (out)(err) |
S = OPT O = 50 T = 0.02 (out)(err) |
S = OPT O = 50 T = 0.01 (out)(err) |
S = OPT O = 50 T = 3.09 (out)(err) |
S = OPT O = 50 T = 0.35 (out)(err) |
S = OPT O = 50 T = 0.02 (out)(err) |
S = OPT O = 50 T = 0.16 (out)(err) |
S = OPT O = 50 T = 2.53 (out)(err) |
S = OPT O = 50 T = 0.04 (out)(err) |
S = OPT O = 50 T = 0.02 (out)(err) |
S = OPT O = 50 T = 0.21 (out)(err) |
S = OPT O = 50 T = 3.35 (out)(err) |
S = OPT O = 50 T = 0.34 (out)(err) |
S = OPT O = 50 T = 0.01 (out)(err) |
frb10-6-2.wcnf | S = OPT O = 50 T = 0.01 |
S = OPT O = 50 T = 0.05 (out)(err) |
S = OPT O = 50 T = 0.84 (out)(err) |
S = OPT O = 50 T = 0.12 (out)(err) |
S = OPT O = 50 T = 0.05 (out)(err) |
S = OPT O = 50 T = 0.01 (out)(err) |
S = OPT O = 50 T = 0.03 (out)(err) |
S = OPT O = 50 T = 0.02 (out)(err) |
S = OPT O = 50 T = 0.02 (out)(err) |
S = OPT O = 50 T = 4.77 (out)(err) |
S = OPT O = 50 T = 0.25 (out)(err) |
S = OPT O = 50 T = 0.03 (out)(err) |
S = OPT O = 50 T = 0.18 (out)(err) |
S = OPT O = 50 T = 1.99 (out)(err) |
S = OPT O = 50 T = 0.03 (out)(err) |
S = OPT O = 50 T = 0.06 (out)(err) |
S = OPT O = 50 T = 0.17 (out)(err) |
S = OPT O = 50 T = 6.72 (out)(err) |
S = OPT O = 50 T = 184.85 (out)(err) |
S = OPT O = 50 T = 0.01 (out)(err) |
frb10-6-3.wcnf | S = OPT O = 50 T = 0.01 |
S = OPT O = 50 T = 0.06 (out)(err) |
S = OPT O = 50 T = 0.81 (out)(err) |
S = OPT O = 50 T = 0.13 (out)(err) |
S = OPT O = 50 T = 0.06 (out)(err) |
S = OPT O = 50 T = 0.01 (out)(err) |
S = OPT O = 50 T = 0.04 (out)(err) |
S = OPT O = 50 T = 0.02 (out)(err) |
S = OPT O = 50 T = 0.02 (out)(err) |
S = OPT O = 50 T = 2.79 (out)(err) |
S = OPT O = 50 T = 0.47 (out)(err) |
S = OPT O = 50 T = 0.02 (out)(err) |
S = OPT O = 50 T = 0.15 (out)(err) |
S = OPT O = 50 T = 3.81 (out)(err) |
S = OPT O = 50 T = 0.01 (out)(err) |
S = OPT O = 50 T = 0.01 (out)(err) |
S = OPT O = 50 T = 0.20 (out)(err) |
S = OPT O = 50 T = 6.61 (out)(err) |
S = OPT O = 50 T = 71.03 (out)(err) |
S = OPT O = 50 T = 0.02 (out)(err) |
frb10-6-4.wcnf | S = OPT O = 50 T = 0.01 |
S = OPT O = 50 T = 0.05 (out)(err) |
S = OPT O = 50 T = 0.82 (out)(err) |
S = OPT O = 50 T = 0.10 (out)(err) |
S = OPT O = 50 T = 0.04 (out)(err) |
S = OPT O = 50 T = 0.01 (out)(err) |
S = OPT O = 50 T = 0.03 (out)(err) |
S = OPT O = 50 T = 0.01 (out)(err) |
S = OPT O = 50 T = 0.02 (out)(err) |
S = OPT O = 50 T = 4.13 (out)(err) |
S = OPT O = 50 T = 0.32 (out)(err) |
S = OPT O = 50 T = 0.02 (out)(err) |
S = OPT O = 50 T = 0.13 (out)(err) |
S = OPT O = 50 T = 1.74 (out)(err) |
S = OPT O = 50 T = 0.05 (out)(err) |
S = OPT O = 50 T = 0.02 (out)(err) |
S = OPT O = 50 T = 0.27 (out)(err) |
S = OPT O = 50 T = 2.54 (out)(err) |
S = OPT O = 50 T = 759.62 (out)(err) |
S = OPT O = 50 T = 0.02 (out)(err) |
frb15-9-1.wcnf | S = OPT O = 120 T = 0.08 |
S = OPT O = 120 T = 0.44 (out)(err) |
S = OPT O = 120 T = 0.85 (out)(err) |
S = OPT O = 120 T = 269.71 (out)(err) |
S = OPT O = 120 T = 0.26 (out)(err) |
S = OPT O = 120 T = 1.35 (out)(err) |
S = OPT O = 120 T = 11.67 (out)(err) |
S = OPT O = 120 T = 2.02 (out)(err) |
S = OPT O = 120 T = 2.21 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 120 T = 132.78 (out)(err) |
S = OPT O = 120 T = 3.47 (out)(err) |
S = OPT O = 120 T = 7.48 (out)(err) |
S = N/A O = 120 T = TO (out)(err) |
S = OPT O = 120 T = 0.08 (out)(err) |
S = OPT O = 120 T = 1.41 (out)(err) |
S = OPT O = 120 T = 5.21 (out)(err) |
S = N/A O = 121 T = TO (out)(err) |
S = N/A O = N/A T = 1794.21 (out)(err) |
S = OPT O = 120 T = 0.14 (out)(err) |
frb15-9-2.wcnf | S = OPT O = 120 T = 0.14 |
S = OPT O = 120 T = 0.75 (out)(err) |
S = OPT O = 120 T = 0.91 (out)(err) |
S = OPT O = 120 T = 240.57 (out)(err) |
S = OPT O = 120 T = 0.85 (out)(err) |
S = OPT O = 120 T = 1.29 (out)(err) |
S = OPT O = 120 T = 13.10 (out)(err) |
S = OPT O = 120 T = 2.36 (out)(err) |
S = OPT O = 120 T = 2.40 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 120 T = 67.04 (out)(err) |
S = OPT O = 120 T = 3.23 (out)(err) |
S = OPT O = 120 T = 8.48 (out)(err) |
S = N/A O = 121 T = TO (out)(err) |
S = OPT O = 120 T = 8.78 (out)(err) |
S = OPT O = 120 T = 13.47 (out)(err) |
S = OPT O = 120 T = 3.92 (out)(err) |
S = N/A O = 121 T = TO (out)(err) |
S = N/A O = N/A T = 1793.64 (out)(err) |
S = OPT O = 120 T = 0.14 (out)(err) |
frb15-9-3.wcnf | S = OPT O = 120 T = 0.15 |
S = OPT O = 120 T = 0.29 (out)(err) |
S = OPT O = 120 T = 0.85 (out)(err) |
S = OPT O = 120 T = 265.02 (out)(err) |
S = OPT O = 120 T = 0.55 (out)(err) |
S = OPT O = 120 T = 1.12 (out)(err) |
S = OPT O = 120 T = 10.91 (out)(err) |
S = OPT O = 120 T = 1.45 (out)(err) |
S = OPT O = 120 T = 2.12 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 120 T = 511.76 (out)(err) |
S = OPT O = 120 T = 4.98 (out)(err) |
S = OPT O = 120 T = 8.82 (out)(err) |
S = N/A O = 121 T = TO (out)(err) |
S = OPT O = 120 T = 3.77 (out)(err) |
S = OPT O = 120 T = 0.87 (out)(err) |
S = OPT O = 120 T = 8.57 (out)(err) |
S = N/A O = 121 T = TO (out)(err) |
S = N/A O = N/A T = 1794.43 (out)(err) |
S = OPT O = 120 T = 0.15 (out)(err) |
frb15-9-4.wcnf | S = OPT O = 120 T = 0.14 |
S = OPT O = 120 T = 0.94 (out)(err) |
S = OPT O = 120 T = 1.05 (out)(err) |
S = OPT O = 120 T = 140.05 (out)(err) |
S = OPT O = 120 T = 0.97 (out)(err) |
S = OPT O = 120 T = 1.08 (out)(err) |
S = OPT O = 120 T = 12.51 (out)(err) |
S = OPT O = 120 T = 2.04 (out)(err) |
S = OPT O = 120 T = 1.77 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 120 T = 484.39 (out)(err) |
S = OPT O = 120 T = 3.80 (out)(err) |
S = OPT O = 120 T = 9.06 (out)(err) |
S = N/A O = 121 T = TO (out)(err) |
S = OPT O = 120 T = 5.16 (out)(err) |
S = OPT O = 120 T = 1.15 (out)(err) |
S = OPT O = 120 T = 3.68 (out)(err) |
S = N/A O = 122 T = TO (out)(err) |
S = N/A O = N/A T = 1792.47 (out)(err) |
S = OPT O = 120 T = 0.14 (out)(err) |
frb15-9-5.wcnf | S = OPT O = 120 T = 0.14 |
S = OPT O = 120 T = 0.38 (out)(err) |
S = OPT O = 120 T = 0.89 (out)(err) |
S = OPT O = 120 T = 124.56 (out)(err) |
S = OPT O = 120 T = 1.00 (out)(err) |
S = OPT O = 120 T = 1.01 (out)(err) |
S = OPT O = 120 T = 8.44 (out)(err) |
S = OPT O = 120 T = 1.62 (out)(err) |
S = OPT O = 120 T = 1.71 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 120 T = 446.74 (out)(err) |
S = OPT O = 120 T = 4.93 (out)(err) |
S = OPT O = 120 T = 8.25 (out)(err) |
S = N/A O = 121 T = TO (out)(err) |
S = OPT O = 120 T = 2.32 (out)(err) |
S = OPT O = 120 T = 5.54 (out)(err) |
S = OPT O = 120 T = 5.50 (out)(err) |
S = N/A O = 121 T = TO (out)(err) |
S = N/A O = N/A T = 1794.17 (out)(err) |
S = OPT O = 120 T = 0.14 (out)(err) |
frb20-11-1.wcnf | S = OPT O = 200 T = 0.53 |
S = OPT O = 200 T = 2.65 (out)(err) |
S = OPT O = 200 T = 3.56 (out)(err) |
S = N/A O = 205 T = TO (out)(err) |
S = OPT O = 200 T = 17.02 (out)(err) |
S = OPT O = 200 T = 149.80 (out)(err) |
S = N/A O = 200 T = TO (out)(err) |
S = OPT O = 200 T = 246.03 (out)(err) |
S = OPT O = 200 T = 276.80 (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 = 200 T = 352.04 (out)(err) |
S = OPT O = 200 T = 871.46 (out)(err) |
S = N/A O = 202 T = TO (out)(err) |
S = OPT O = 200 T = 19.31 (out)(err) |
S = OPT O = 200 T = 43.29 (out)(err) |
S = OPT O = 200 T = 9.03 (out)(err) |
S = N/A O = 206 T = TO (out)(err) |
S = N/A O = N/A T = 1794.15 (out)(err) |
S = OPT O = 200 T = 0.53 (out)(err) |
frb20-11-2.wcnf | S = OPT O = 200 T = 0.49 |
S = OPT O = 200 T = 12.79 (out)(err) |
S = OPT O = 200 T = 3.14 (out)(err) |
S = N/A O = 201 T = TO (out)(err) |
S = OPT O = 200 T = 6.52 (out)(err) |
S = OPT O = 200 T = 144.91 (out)(err) |
S = OPT O = 200 T = 1760.94 (out)(err) |
S = OPT O = 200 T = 237.75 (out)(err) |
S = OPT O = 200 T = 265.56 (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 = 200 T = 310.97 (out)(err) |
S = OPT O = 200 T = 780.98 (out)(err) |
S = N/A O = 202 T = TO (out)(err) |
S = OPT O = 200 T = 15.94 (out)(err) |
S = OPT O = 200 T = 12.68 (out)(err) |
S = OPT O = 200 T = 2.83 (out)(err) |
S = N/A O = 204 T = TO (out)(err) |
S = N/A O = N/A T = 1794.19 (out)(err) |
S = OPT O = 200 T = 0.49 (out)(err) |
frb20-11-3.wcnf | S = OPT O = 200 T = 0.55 |
S = OPT O = 200 T = 16.95 (out)(err) |
S = OPT O = 200 T = 2.63 (out)(err) |
S = N/A O = 207 T = TO (out)(err) |
S = OPT O = 200 T = 3.93 (out)(err) |
S = OPT O = 200 T = 191.58 (out)(err) |
S = N/A O = 201 T = TO (out)(err) |
S = OPT O = 200 T = 322.62 (out)(err) |
S = OPT O = 200 T = 358.47 (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 = 200 T = 350.03 (out)(err) |
S = OPT O = 200 T = 803.00 (out)(err) |
S = N/A O = 203 T = TO (out)(err) |
S = OPT O = 200 T = 50.55 (out)(err) |
S = OPT O = 200 T = 21.71 (out)(err) |
S = OPT O = 200 T = 44.10 (out)(err) |
S = N/A O = 205 T = TO (out)(err) |
S = N/A O = N/A T = 1793.01 (out)(err) |
S = OPT O = 200 T = 0.55 (out)(err) |
frb20-11-4.wcnf | S = OPT O = 200 T = 0.47 |
S = OPT O = 200 T = 18.25 (out)(err) |
S = OPT O = 200 T = 2.75 (out)(err) |
S = N/A O = 205 T = TO (out)(err) |
S = OPT O = 200 T = 14.87 (out)(err) |
S = OPT O = 200 T = 163.30 (out)(err) |
S = N/A O = 200 T = TO (out)(err) |
S = OPT O = 200 T = 258.76 (out)(err) |
S = OPT O = 200 T = 294.66 (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 = 200 T = 286.47 (out)(err) |
S = OPT O = 200 T = 1138.69 (out)(err) |
S = N/A O = 203 T = TO (out)(err) |
S = OPT O = 200 T = 30.60 (out)(err) |
S = OPT O = 200 T = 25.64 (out)(err) |
S = OPT O = 200 T = 22.24 (out)(err) |
S = N/A O = 204 T = TO (out)(err) |
S = N/A O = N/A T = 1794.27 (out)(err) |
S = OPT O = 200 T = 0.47 (out)(err) |
frb20-11-5.wcnf | S = OPT O = 200 T = 0.28 |
S = OPT O = 200 T = 8.76 (out)(err) |
S = OPT O = 200 T = 2.95 (out)(err) |
S = N/A O = 206 T = TO (out)(err) |
S = OPT O = 200 T = 7.96 (out)(err) |
S = OPT O = 200 T = 223.51 (out)(err) |
S = N/A O = 200 T = TO (out)(err) |
S = OPT O = 200 T = 378.15 (out)(err) |
S = OPT O = 200 T = 416.32 (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 = 200 T = 341.91 (out)(err) |
S = OPT O = 200 T = 1320.39 (out)(err) |
S = N/A O = 202 T = TO (out)(err) |
S = OPT O = 200 T = 18.21 (out)(err) |
S = OPT O = 200 T = 0.28 (out)(err) |
S = OPT O = 200 T = 20.02 (out)(err) |
S = N/A O = 205 T = TO (out)(err) |
S = N/A O = N/A T = 1794.70 (out)(err) |
S = OPT O = 200 T = 0.48 (out)(err) |
frb25-13-1.wcnf | S = OPT O = 300 T = 1.66 |
S = OPT O = 300 T = 169.04 (out)(err) |
S = OPT O = 300 T = 11.80 (out)(err) |
S = N/A O = 302 T = TO (out)(err) |
S = OPT O = 300 T = 81.48 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 302 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 = N/A T = TO (out)(err) |
S = N/A O = 302 T = 1792.81 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 304 T = TO (out)(err) |
S = OPT O = 300 T = 56.32 (out)(err) |
S = OPT O = 300 T = 15.80 (out)(err) |
S = OPT O = 300 T = 1360.89 (out)(err) |
S = N/A O = 307 T = TO (out)(err) |
S = N/A O = N/A T = 1793.83 (out)(err) |
S = OPT O = 300 T = 1.66 (out)(err) |
frb25-13-2.wcnf | S = OPT O = 300 T = 2.12 |
S = OPT O = 300 T = 269.90 (out)(err) |
S = OPT O = 300 T = 12.31 (out)(err) |
S = N/A O = 308 T = TO (out)(err) |
S = OPT O = 300 T = 184.79 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 302 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 = N/A T = TO (out)(err) |
S = N/A O = 302 T = 1792.64 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 304 T = TO (out)(err) |
S = OPT O = 300 T = 6.90 (out)(err) |
S = OPT O = 300 T = 136.65 (out)(err) |
S = OPT O = 300 T = 144.35 (out)(err) |
S = N/A O = 306 T = TO (out)(err) |
S = N/A O = N/A T = 1793.92 (out)(err) |
S = OPT O = 300 T = 2.12 (out)(err) |
frb25-13-3.wcnf | S = OPT O = 300 T = 1.30 |
S = OPT O = 300 T = 678.02 (out)(err) |
S = OPT O = 300 T = 10.19 (out)(err) |
S = N/A O = 303 T = TO (out)(err) |
S = OPT O = 300 T = 108.70 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 303 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 = N/A T = TO (out)(err) |
S = N/A O = 302 T = 1792.67 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 305 T = TO (out)(err) |
S = N/A O = 301 T = TO (out)(err) |
S = OPT O = 300 T = 1.30 (out)(err) |
S = OPT O = 300 T = 736.25 (out)(err) |
S = N/A O = 306 T = TO (out)(err) |
S = N/A O = N/A T = 1793.27 (out)(err) |
S = OPT O = 300 T = 1.63 (out)(err) |
frb25-13-4.wcnf | S = OPT O = 300 T = 1.47 |
S = OPT O = 300 T = 1119.57 (out)(err) |
S = OPT O = 300 T = 6.40 (out)(err) |
S = N/A O = 309 T = TO (out)(err) |
S = OPT O = 300 T = 150.42 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 304 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 = N/A T = TO (out)(err) |
S = N/A O = 302 T = 1792.53 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 304 T = TO (out)(err) |
S = OPT O = 300 T = 95.38 (out)(err) |
S = OPT O = 300 T = 4.74 (out)(err) |
S = OPT O = 300 T = 270.83 (out)(err) |
S = N/A O = 308 T = TO (out)(err) |
S = N/A O = N/A T = 1793.40 (out)(err) |
S = OPT O = 300 T = 1.47 (out)(err) |
frb25-13-5.wcnf | S = OPT O = 300 T = 2.45 |
S = OPT O = 300 T = 164.46 (out)(err) |
S = OPT O = 300 T = 17.13 (out)(err) |
S = N/A O = 306 T = TO (out)(err) |
S = OPT O = 300 T = 251.13 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 303 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 = N/A T = TO (out)(err) |
S = N/A O = 302 T = 1792.61 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 305 T = TO (out)(err) |
S = OPT O = 300 T = 312.36 (out)(err) |
S = OPT O = 300 T = 178.82 (out)(err) |
S = OPT O = 300 T = 181.89 (out)(err) |
S = N/A O = 305 T = TO (out)(err) |
S = N/A O = N/A T = 1793.78 (out)(err) |
S = OPT O = 300 T = 2.45 (out)(err) |
frb30-15-1.wcnf | S = OPT O = 420 T = 3.48 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 420 T = 59.55 (out)(err) |
S = N/A O = 425 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 = 425 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 = N/A T = TO (out)(err) |
S = N/A O = 425 T = 1792.73 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 427 T = TO (out)(err) |
S = OPT O = 420 T = 12.05 (out)(err) |
S = OPT O = 420 T = 29.93 (out)(err) |
S = N/A O = 422 T = TO (out)(err) |
S = N/A O = 428 T = TO (out)(err) |
S = N/A O = N/A T = 1793.18 (out)(err) |
S = OPT O = 420 T = 3.48 (out)(err) |
frb30-15-2.wcnf | S = OPT O = 420 T = 14.93 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 420 T = 90.24 (out)(err) |
S = N/A O = 425 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 = 426 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 = N/A T = TO (out)(err) |
S = N/A O = 424 T = 1793.16 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 427 T = TO (out)(err) |
S = OPT O = 420 T = 14.93 (out)(err) |
S = OPT O = 420 T = 62.91 (out)(err) |
S = N/A O = 421 T = TO (out)(err) |
S = N/A O = 427 T = TO (out)(err) |
S = N/A O = N/A T = 1793.76 (out)(err) |
S = OPT O = 420 T = 64.28 (out)(err) |
frb30-15-3.wcnf | S = OPT O = 420 T = 10.61 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 420 T = 55.36 (out)(err) |
S = N/A O = 425 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 = 425 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 = N/A T = TO (out)(err) |
S = N/A O = 425 T = 1792.81 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 428 T = TO (out)(err) |
S = N/A O = 420 T = TO (out)(err) |
S = N/A O = 421 T = TO (out)(err) |
S = N/A O = 421 T = TO (out)(err) |
S = N/A O = 429 T = TO (out)(err) |
S = N/A O = N/A T = 1793.43 (out)(err) |
S = OPT O = 420 T = 10.61 (out)(err) |
frb30-15-4.wcnf | S = OPT O = 420 T = 6.68 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 420 T = 40.41 (out)(err) |
S = N/A O = 428 T = TO (out)(err) |
S = OPT O = 420 T = 1186.00 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 425 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 = N/A T = TO (out)(err) |
S = N/A O = 424 T = 1792.75 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 427 T = TO (out)(err) |
S = OPT O = 420 T = 69.64 (out)(err) |
S = OPT O = 420 T = 12.33 (out)(err) |
S = N/A O = 421 T = TO (out)(err) |
S = N/A O = 427 T = TO (out)(err) |
S = N/A O = N/A T = 1793.55 (out)(err) |
S = OPT O = 420 T = 6.68 (out)(err) |
frb30-15-5.wcnf | S = OPT O = 420 T = 7.55 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 420 T = 12.23 (out)(err) |
S = N/A O = 428 T = TO (out)(err) |
S = OPT O = 420 T = 756.11 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 423 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 = N/A T = TO (out)(err) |
S = N/A O = 424 T = 1793.25 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 428 T = TO (out)(err) |
S = N/A O = 422 T = TO (out)(err) |
S = OPT O = 420 T = 58.66 (out)(err) |
S = OPT O = 420 T = 1216.27 (out)(err) |
S = N/A O = 430 T = TO (out)(err) |
S = N/A O = N/A T = 1792.91 (out)(err) |
S = OPT O = 420 T = 7.55 (out)(err) |
frb35-17-1.wcnf | S = OPT O = 560 T = 25.57 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 560 T = 289.59 (out)(err) |
S = N/A O = 570 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 = 566 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 = N/A T = TO (out)(err) |
S = N/A O = 567 T = 1793.22 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 571 T = TO (out)(err) |
S = N/A O = 1168 T = TO (out)(err) |
S = N/A O = 562 T = 460.47 (out)(err) |
S = N/A O = 562 T = TO (out)(err) |
S = N/A O = 570 T = TO (out)(err) |
S = N/A O = N/A T = 1793.48 (out)(err) |
S = OPT O = 560 T = 25.57 (out)(err) |
frb35-17-2.wcnf | S = OPT O = 560 T = 538.78 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 560 T = 538.78 (out)(err) |
S = N/A O = 567 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 = 566 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 = N/A T = TO (out)(err) |
S = N/A O = 567 T = 1792.81 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 570 T = TO (out)(err) |
S = OPT O = 560 T = 1673.18 (out)(err) |
S = OPT O = 560 T = 1203.43 (out)(err) |
S = N/A O = 562 T = TO (out)(err) |
S = N/A O = 571 T = TO (out)(err) |
S = N/A O = N/A T = 1793.32 (out)(err) |
S = N/A O = N/A T = 238.49 (out)(err) |
frb35-17-3.wcnf | S = OPT O = 560 T = 36.20 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 560 T = 164.34 (out)(err) |
S = N/A O = 572 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 = 565 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 = N/A T = TO (out)(err) |
S = N/A O = 567 T = 1793.05 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 568 T = TO (out)(err) |
S = N/A O = 564 T = TO (out)(err) |
S = OPT O = 560 T = 73.59 (out)(err) |
S = N/A O = 562 T = TO (out)(err) |
S = N/A O = 570 T = TO (out)(err) |
S = N/A O = N/A T = 1792.69 (out)(err) |
S = OPT O = 560 T = 36.20 (out)(err) |
frb35-17-4.wcnf | S = OPT O = 560 T = 132.16 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 560 T = 132.16 (out)(err) |
S = N/A O = 566 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 = 566 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 = N/A T = TO (out)(err) |
S = N/A O = 567 T = 1793.04 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 569 T = TO (out)(err) |
S = N/A O = 561 T = TO (out)(err) |
S = N/A O = 1774 T = TO (out)(err) |
S = N/A O = 562 T = TO (out)(err) |
S = N/A O = 566 T = TO (out)(err) |
S = N/A O = N/A T = 1792.76 (out)(err) |
S = OPT O = 560 T = 144.55 (out)(err) |
frb35-17-5.wcnf | S = OPT O = 560 T = 169.91 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 560 T = 169.91 (out)(err) |
S = N/A O = 564 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 = 566 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 = N/A T = TO (out)(err) |
S = N/A O = 566 T = 1793.35 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 571 T = TO (out)(err) |
S = N/A O = 561 T = TO (out)(err) |
S = N/A O = 561 T = 1758.95 (out)(err) |
S = N/A O = 562 T = TO (out)(err) |
S = N/A O = 569 T = TO (out)(err) |
S = N/A O = N/A T = 1793.57 (out)(err) |
S = N/A O = N/A T = 225.79 (out)(err) |
frb40-19-1.wcnf | S = OPT O = 720 T = 132.11 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 720 T = 363.40 (out)(err) |
S = N/A O = 733 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 = 730 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 = N/A T = TO (out)(err) |
S = N/A O = 729 T = 1792.95 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 733 T = TO (out)(err) |
S = OPT O = 720 T = 175.04 (out)(err) |
S = OPT O = 720 T = 132.11 (out)(err) |
S = N/A O = 723 T = TO (out)(err) |
S = N/A O = 1495 T = TO (out)(err) |
S = N/A O = N/A T = 1792.35 (out)(err) |
S = N/A O = N/A T = 140.64 (out)(err) |
frb40-19-2.wcnf | S = OPT O = 720 T = 187.23 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 720 T = 187.23 (out)(err) |
S = N/A O = 730 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 = 727 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 = N/A T = TO (out)(err) |
S = N/A O = 729 T = 1793.87 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 732 T = TO (out)(err) |
S = N/A O = 2254 T = TO (out)(err) |
S = OPT O = 720 T = 482.14 (out)(err) |
S = N/A O = 722 T = TO (out)(err) |
S = N/A O = 1492 T = TO (out)(err) |
S = N/A O = N/A T = 1793.32 (out)(err) |
S = N/A O = N/A T = 162.77 (out)(err) |
frb40-19-3.wcnf | S = OPT O = 720 T = 226.11 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 721 T = TO (out)(err) |
S = N/A O = 726 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 = 726 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 = N/A T = TO (out)(err) |
S = N/A O = 729 T = 1793.36 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 734 T = TO (out)(err) |
S = N/A O = 721 T = TO (out)(err) |
S = N/A O = 722 T = TO (out)(err) |
S = N/A O = 724 T = TO (out)(err) |
S = N/A O = 731 T = TO (out)(err) |
S = N/A O = N/A T = 1793.10 (out)(err) |
S = OPT O = 720 T = 226.11 (out)(err) |
frb40-19-4.wcnf | S = OPT O = 720 T = 213.37 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 720 T = 1691.68 (out)(err) |
S = N/A O = 733 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 = 727 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 = N/A T = TO (out)(err) |
S = N/A O = 729 T = 1793.61 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 733 T = TO (out)(err) |
S = N/A O = 722 T = TO (out)(err) |
S = N/A O = 3789 T = TO (out)(err) |
S = N/A O = 723 T = TO (out)(err) |
S = N/A O = 735 T = TO (out)(err) |
S = N/A O = N/A T = 1793.33 (out)(err) |
S = OPT O = 720 T = 213.37 (out)(err) |
frb40-19-5.wcnf | S = OPT O = 720 T = 217.70 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 720 T = TO (out)(err) |
S = N/A O = 731 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 = 726 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 = N/A T = TO (out)(err) |
S = N/A O = 729 T = 1793.82 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 732 T = TO (out)(err) |
S = N/A O = 726 T = TO (out)(err) |
S = OPT O = 720 T = 217.70 (out)(err) |
S = N/A O = 724 T = TO (out)(err) |
S = N/A O = 735 T = TO (out)(err) |
S = N/A O = N/A T = 1792.17 (out)(err) |
S = N/A O = N/A T = 308.14 (out)(err) |
ram_k3_n10.ra1.wcnf | S = OPT O = 232 T = 2.63 |
S = OPT O = 232 T = 83.30 (out)(err) |
S = OPT O = 232 T = 3.42 (out)(err) |
S = OPT O = 232 T = 14.83 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1.00 (out)(err) |
S = OPT O = 232 T = 137.16 (out)(err) |
S = OPT O = 232 T = 2.63 (out)(err) |
S = OPT O = 232 T = 2.75 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 232 T = 16.78 (out)(err) |
S = OPT O = 232 T = 6.50 (out)(err) |
S = OPT O = 232 T = 19.60 (out)(err) |
S = OPT O = 232 T = 633.01 (out)(err) |
S = OPT O = 232 T = 41.83 (out)(err) |
S = N/A O = N/A T = 1.72 (out)(err) |
S = OPT O = 232 T = 134.58 (out)(err) |
S = OPT O = 232 T = 248.70 (out)(err) |
S = N/A O = N/A T = 1792.78 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ram_k3_n11.ra1.wcnf | S = OPT O = 318 T = 22.63 |
S = OPT O = 318 T = 517.64 (out)(err) |
S = OPT O = 318 T = 29.25 (out)(err) |
S = OPT O = 318 T = 239.58 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 0.92 (out)(err) |
S = N/A O = 318 T = TO (out)(err) |
S = OPT O = 318 T = 22.63 (out)(err) |
S = OPT O = 318 T = 22.69 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 318 T = 266.61 (out)(err) |
S = OPT O = 318 T = 39.28 (out)(err) |
S = OPT O = 318 T = 281.80 (out)(err) |
S = N/A O = 399 T = TO (out)(err) |
S = OPT O = 318 T = 404.22 (out)(err) |
S = N/A O = N/A T = 0.58 (out)(err) |
S = OPT O = 318 T = 686.14 (out)(err) |
S = N/A O = 719 T = TO (out)(err) |
S = N/A O = N/A T = 1792.82 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ram_k3_n12.ra1.wcnf | S = OPT O = 524 T = 137.34 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 524 T = 137.34 (out)(err) |
S = N/A O = 524 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 58.27 (out)(err) |
S = N/A O = 1176 T = TO (out)(err) |
S = OPT O = 524 T = 380.98 (out)(err) |
S = OPT O = 524 T = 379.93 (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 = 833 T = 1797.41 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 1225 T = TO (out)(err) |
S = N/A O = 27525 T = TO (out)(err) |
S = N/A O = N/A T = 0.80 (out)(err) |
S = N/A O = 679 T = TO (out)(err) |
S = N/A O = 6348 T = TO (out)(err) |
S = N/A O = N/A T = 1792.76 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ram_k3_n13.ra1.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 2177 T = TO (out)(err) |
S = N/A O = 20819 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 = 2328 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 = N/A T = TO (out)(err) |
S = N/A O = 3844 T = 1797.85 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 2824 T = TO (out)(err) |
S = N/A O = 18254 T = TO (out)(err) |
S = N/A O = N/A T = 1.23 (out)(err) |
S = N/A O = 1670 T = TO (out)(err) |
S = N/A O = 10556 T = TO (out)(err) |
S = N/A O = N/A T = 1793.73 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ram_k3_n14.ra1.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 6064 T = TO (out)(err) |
S = N/A O = 20339 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 = 6208 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 = N/A T = TO (out)(err) |
S = N/A O = 6270 T = 1797.86 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 5278 T = TO (out)(err) |
S = N/A O = 40456 T = TO (out)(err) |
S = N/A O = N/A T = 1.23 (out)(err) |
S = N/A O = 4295 T = TO (out)(err) |
S = N/A O = 10959 T = TO (out)(err) |
S = N/A O = N/A T = 1791.62 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ram_k3_n15.ra1.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 9606 T = TO (out)(err) |
S = N/A O = 30377 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 = 8141 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 = N/A T = TO (out)(err) |
S = N/A O = 7940 T = 1798.29 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 8570 T = TO (out)(err) |
S = N/A O = 22864 T = TO (out)(err) |
S = N/A O = N/A T = 0.93 (out)(err) |
S = N/A O = 8735 T = TO (out)(err) |
S = N/A O = 19251 T = TO (out)(err) |
S = N/A O = N/A T = 1791.44 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ram_k3_n16.ra1.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 17868 T = TO (out)(err) |
S = N/A O = 54181 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 = 13530 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 = N/A T = TO (out)(err) |
S = N/A O = 13062 T = 1797.99 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 14164 T = TO (out)(err) |
S = N/A O = 30571 T = TO (out)(err) |
S = N/A O = N/A T = 0.65 (out)(err) |
S = N/A O = 13863 T = TO (out)(err) |
S = N/A O = 16656 T = TO (out)(err) |
S = N/A O = N/A T = 1787.58 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ram_k3_n17.ra1.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 26746 T = TO (out)(err) |
S = N/A O = 67405 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 = 21179 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 = N/A T = TO (out)(err) |
S = N/A O = 19008 T = 1798.22 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 18002 T = TO (out)(err) |
S = N/A O = 62628 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 20104 T = TO (out)(err) |
S = N/A O = 33705 T = TO (out)(err) |
S = N/A O = N/A T = 1791.50 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ram_k3_n18.ra1.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 32196 T = TO (out)(err) |
S = N/A O = 90849 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 = 26928 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 = N/A T = TO (out)(err) |
S = N/A O = 24192 T = 1798.21 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 28076 T = TO (out)(err) |
S = N/A O = 69561 T = TO (out)(err) |
S = N/A O = N/A T = 0.47 (out)(err) |
S = N/A O = 27677 T = TO (out)(err) |
S = N/A O = 35753 T = TO (out)(err) |
S = N/A O = N/A T = 1789.25 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ram_k3_n19.ra1.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 41858 T = TO (out)(err) |
S = N/A O = 94951 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 = 39395 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 = N/A T = TO (out)(err) |
S = N/A O = 44015 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 38927 T = TO (out)(err) |
S = N/A O = 69217 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 39483 T = TO (out)(err) |
S = N/A O = 55513 T = TO (out)(err) |
S = N/A O = N/A T = 1772.65 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ram_k3_n20.ra1.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 58683 T = TO (out)(err) |
S = N/A O = 84132 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 = 46765 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 = N/A T = TO (out)(err) |
S = N/A O = 49861 T = 1798.88 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 45881 T = TO (out)(err) |
S = N/A O = 98842 T = TO (out)(err) |
S = N/A O = N/A T = 1.22 (out)(err) |
S = N/A O = 46898 T = TO (out)(err) |
S = N/A O = 96844 T = TO (out)(err) |
S = N/A O = N/A T = 1781.44 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ram_k3_n9.ra1.wcnf | S = OPT O = 7 T = 0.21 |
S = OPT O = 7 T = 2.59 (out)(err) |
S = OPT O = 7 T = 0.68 (out)(err) |
S = OPT O = 7 T = 0.21 (out)(err) |
S = OPT O = 7 T = 1.63 (out)(err) |
S = N/A O = N/A T = 0.93 (out)(err) |
S = OPT O = 7 T = 7.42 (out)(err) |
S = OPT O = 7 T = 0.24 (out)(err) |
S = OPT O = 7 T = 0.24 (out)(err) |
S = OPT O = 7 T = 0.39 (out)(err) |
S = OPT O = 7 T = 0.60 (out)(err) |
S = OPT O = 7 T = 0.47 (out)(err) |
S = OPT O = 7 T = 1.69 (out)(err) |
S = OPT O = 7 T = 16.27 (out)(err) |
S = OPT O = 7 T = 0.90 (out)(err) |
S = N/A O = N/A T = 0.56 (out)(err) |
S = OPT O = 7 T = 7.54 (out)(err) |
S = OPT O = 7 T = 1.48 (out)(err) |
S = OPT O = 7 T = 1.01 (out)(err) |
S = OPT O = 7 T = 1.47 (out)(err) |
ram_k4_n18.ra1.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 1954 T = TO (out)(err) |
S = N/A O = 27180 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 = 4010 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 = N/A T = TO (out)(err) |
S = N/A O = 3284 T = 1797.88 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3739 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 = 2785 T = TO (out)(err) |
S = N/A O = 6824 T = TO (out)(err) |
S = N/A O = N/A T = 1792.03 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ram_k4_n19.ra1.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 8360 T = TO (out)(err) |
S = N/A O = 41348 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 = 8712 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 = N/A T = TO (out)(err) |
S = N/A O = 5600 T = 1797.74 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 8055 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 = 10865 T = TO (out)(err) |
S = N/A O = 16311 T = TO (out)(err) |
S = N/A O = N/A T = 1791.39 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ram_k4_n20.ra1.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 12809 T = TO (out)(err) |
S = N/A O = 58581 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 = 12580 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 = N/A T = TO (out)(err) |
S = N/A O = 13987 T = 1798.22 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 14345 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 = 16120 T = TO (out)(err) |
S = N/A O = 36850 T = TO (out)(err) |
S = N/A O = N/A T = 1789.48 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
MANN_a27.clq.wcnf | S = OPT O = 2049 T = 300.19 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 2049 T = 300.19 (out)(err) |
S = N/A O = 2115 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 2049 T = 995.01 (out)(err) |
S = N/A O = 2062 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 = N/A T = TO (out)(err) |
S = N/A O = 2056 T = 1797.53 (out)(err) |
S = OPT O = 2049 T = 459.59 (out)(err) |
S = N/A O = 2090 T = TO (out)(err) |
S = N/A O = 2961 T = TO (out)(err) |
S = N/A O = 2772 T = TO (out)(err) |
S = N/A O = 2059 T = TO (out)(err) |
S = N/A O = 2391 T = TO (out)(err) |
S = N/A O = N/A T = 318.25 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
MANN_a45.clq.wcnf | S = OPT O = 2057 T = 172.79 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 2057 T = 172.79 (out)(err) |
S = N/A O = 2233 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 2057 T = 607.54 (out)(err) |
S = N/A O = 2087 T = TO (out)(err) |
S = OPT O = 2057 T = 1499.35 (out)(err) |
S = OPT O = 2057 T = 1522.70 (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 = 2057 T = 1797.31 (out)(err) |
S = OPT O = 2057 T = 286.21 (out)(err) |
S = N/A O = 2128 T = TO (out)(err) |
S = N/A O = 3002 T = TO (out)(err) |
S = N/A O = 2912 T = TO (out)(err) |
S = N/A O = 2073 T = TO (out)(err) |
S = N/A O = 2480 T = TO (out)(err) |
S = N/A O = N/A T = 317.66 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
MANN_a81.clq.wcnf | S = OPT O = 1995 T = 193.51 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1995 T = 193.51 (out)(err) |
S = N/A O = 2087 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1995 T = 649.44 (out)(err) |
S = N/A O = 1995 T = TO (out)(err) |
S = OPT O = 1995 T = 1621.62 (out)(err) |
S = OPT O = 1995 T = 1656.22 (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 = 1995 T = 1797.60 (out)(err) |
S = OPT O = 1995 T = 333.35 (out)(err) |
S = N/A O = 2048 T = TO (out)(err) |
S = N/A O = 2903 T = TO (out)(err) |
S = N/A O = 2458 T = TO (out)(err) |
S = N/A O = 1995 T = TO (out)(err) |
S = N/A O = 2303 T = TO (out)(err) |
S = N/A O = N/A T = 317.58 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
MANN_a9.clq.wcnf | S = OPT O = 2179 T = 261.22 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 2179 T = 261.22 (out)(err) |
S = N/A O = 2358 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 2179 T = 1174.91 (out)(err) |
S = N/A O = 2195 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 = N/A T = TO (out)(err) |
S = N/A O = 2193 T = 1797.58 (out)(err) |
S = OPT O = 2179 T = 332.83 (out)(err) |
S = N/A O = 2257 T = TO (out)(err) |
S = N/A O = 3015 T = TO (out)(err) |
S = N/A O = 3260 T = TO (out)(err) |
S = N/A O = 2196 T = TO (out)(err) |
S = N/A O = 2301 T = TO (out)(err) |
S = N/A O = N/A T = 317.50 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
brock200_1.clq.wcnf | S = OPT O = 1254 T = 2.39 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1254 T = 2.39 (out)(err) |
S = N/A O = 1392 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1254 T = 6.23 (out)(err) |
S = OPT O = 1254 T = 263.59 (out)(err) |
S = OPT O = 1254 T = 11.29 (out)(err) |
S = OPT O = 1254 T = 11.58 (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 = 1254 T = 49.25 (out)(err) |
S = OPT O = 1254 T = 2.84 (out)(err) |
S = N/A O = 1280 T = TO (out)(err) |
S = N/A O = 1934 T = TO (out)(err) |
S = N/A O = 1930 T = TO (out)(err) |
S = N/A O = 1254 T = TO (out)(err) |
S = N/A O = 1516 T = TO (out)(err) |
S = N/A O = N/A T = 178.72 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
brock200_2.clq.wcnf | S = OPT O = 753 T = 0.16 |
S = OPT O = 753 T = 34.84 (out)(err) |
S = OPT O = 753 T = 0.56 (out)(err) |
S = N/A O = 896 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 753 T = 0.16 (out)(err) |
S = OPT O = 753 T = 9.90 (out)(err) |
S = OPT O = 753 T = 0.35 (out)(err) |
S = OPT O = 753 T = 0.37 (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 = 753 T = 1.06 (out)(err) |
S = OPT O = 753 T = 0.33 (out)(err) |
S = N/A O = 770 T = TO (out)(err) |
S = N/A O = 1062 T = TO (out)(err) |
S = N/A O = 1246 T = TO (out)(err) |
S = OPT O = 753 T = 103.18 (out)(err) |
S = N/A O = 897 T = TO (out)(err) |
S = N/A O = N/A T = 212.77 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
brock200_3.clq.wcnf | S = OPT O = 1102 T = 1.14 |
S = OPT O = 1102 T = 564.06 (out)(err) |
S = OPT O = 1102 T = 1.16 (out)(err) |
S = N/A O = 1231 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1102 T = 1.42 (out)(err) |
S = OPT O = 1102 T = 87.58 (out)(err) |
S = OPT O = 1102 T = 3.37 (out)(err) |
S = OPT O = 1102 T = 4.68 (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 = 1102 T = 11.35 (out)(err) |
S = OPT O = 1102 T = 1.14 (out)(err) |
S = N/A O = 1125 T = TO (out)(err) |
S = N/A O = 1609 T = TO (out)(err) |
S = N/A O = 1964 T = TO (out)(err) |
S = OPT O = 1102 T = 1155.83 (out)(err) |
S = N/A O = 1313 T = TO (out)(err) |
S = N/A O = N/A T = 317.58 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
brock200_4.clq.wcnf | S = OPT O = 1105 T = 1.55 |
S = OPT O = 1105 T = 1112.43 (out)(err) |
S = OPT O = 1105 T = 1.72 (out)(err) |
S = N/A O = 1198 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1105 T = 2.39 (out)(err) |
S = OPT O = 1105 T = 170.78 (out)(err) |
S = OPT O = 1105 T = 5.53 (out)(err) |
S = OPT O = 1105 T = 5.71 (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 = 1105 T = 37.25 (out)(err) |
S = OPT O = 1105 T = 1.55 (out)(err) |
S = N/A O = 1123 T = TO (out)(err) |
S = N/A O = 1825 T = TO (out)(err) |
S = N/A O = 1685 T = TO (out)(err) |
S = OPT O = 1105 T = 1576.27 (out)(err) |
S = N/A O = 1400 T = TO (out)(err) |
S = N/A O = N/A T = 178.95 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
brock400_1.clq.wcnf | S = OPT O = 1361 T = 5.87 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1361 T = 5.87 (out)(err) |
S = N/A O = 1451 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1361 T = 14.97 (out)(err) |
S = OPT O = 1361 T = 580.55 (out)(err) |
S = OPT O = 1361 T = 32.16 (out)(err) |
S = OPT O = 1361 T = 32.67 (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 = 1361 T = 102.54 (out)(err) |
S = OPT O = 1361 T = 7.67 (out)(err) |
S = N/A O = 1383 T = TO (out)(err) |
S = N/A O = 2022 T = TO (out)(err) |
S = N/A O = 1970 T = TO (out)(err) |
S = N/A O = 1361 T = TO (out)(err) |
S = N/A O = 1653 T = TO (out)(err) |
S = N/A O = N/A T = 317.83 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
brock400_2.clq.wcnf | S = OPT O = 1355 T = 5.30 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1355 T = 5.30 (out)(err) |
S = N/A O = 1447 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1355 T = 11.58 (out)(err) |
S = OPT O = 1355 T = 427.27 (out)(err) |
S = OPT O = 1355 T = 27.81 (out)(err) |
S = OPT O = 1355 T = 27.66 (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 = 1355 T = 98.66 (out)(err) |
S = OPT O = 1355 T = 6.03 (out)(err) |
S = N/A O = 1376 T = TO (out)(err) |
S = N/A O = 1968 T = TO (out)(err) |
S = N/A O = 1755 T = TO (out)(err) |
S = N/A O = 1355 T = TO (out)(err) |
S = N/A O = 1694 T = TO (out)(err) |
S = N/A O = N/A T = 318.10 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
brock400_3.clq.wcnf | S = OPT O = 1259 T = 2.38 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1259 T = 2.38 (out)(err) |
S = N/A O = 1309 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1259 T = 5.20 (out)(err) |
S = OPT O = 1259 T = 248.71 (out)(err) |
S = OPT O = 1259 T = 12.76 (out)(err) |
S = OPT O = 1259 T = 13.47 (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 = 1259 T = 53.98 (out)(err) |
S = OPT O = 1259 T = 2.84 (out)(err) |
S = N/A O = 1292 T = TO (out)(err) |
S = N/A O = 1993 T = TO (out)(err) |
S = N/A O = 1643 T = TO (out)(err) |
S = N/A O = 1259 T = TO (out)(err) |
S = N/A O = 1409 T = TO (out)(err) |
S = N/A O = N/A T = 317.56 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
brock400_4.clq.wcnf | S = OPT O = 1290 T = 1.89 |
S = OPT O = 1290 T = 1367.66 (out)(err) |
S = OPT O = 1290 T = 2.21 (out)(err) |
S = N/A O = 1400 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1290 T = 2.27 (out)(err) |
S = OPT O = 1290 T = 172.88 (out)(err) |
S = OPT O = 1290 T = 5.57 (out)(err) |
S = OPT O = 1290 T = 5.63 (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 = 1290 T = 18.10 (out)(err) |
S = OPT O = 1290 T = 1.89 (out)(err) |
S = N/A O = 1305 T = TO (out)(err) |
S = N/A O = 2019 T = TO (out)(err) |
S = N/A O = 2143 T = TO (out)(err) |
S = N/A O = 1290 T = TO (out)(err) |
S = N/A O = 1551 T = TO (out)(err) |
S = N/A O = N/A T = 317.39 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
brock800_1.clq.wcnf | S = OPT O = 1071 T = 0.96 |
S = OPT O = 1071 T = 1102.24 (out)(err) |
S = OPT O = 1071 T = 0.96 (out)(err) |
S = N/A O = 1176 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1071 T = 1.71 (out)(err) |
S = OPT O = 1071 T = 95.27 (out)(err) |
S = OPT O = 1071 T = 3.00 (out)(err) |
S = OPT O = 1071 T = 3.18 (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 = 1071 T = 21.42 (out)(err) |
S = OPT O = 1071 T = 1.17 (out)(err) |
S = N/A O = 1095 T = TO (out)(err) |
S = N/A O = 1609 T = TO (out)(err) |
S = N/A O = 1499 T = TO (out)(err) |
S = OPT O = 1071 T = 1224.05 (out)(err) |
S = N/A O = 1353 T = TO (out)(err) |
S = N/A O = N/A T = 317.94 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
brock800_2.clq.wcnf | S = OPT O = 1076 T = 1.04 |
S = OPT O = 1076 T = 743.03 (out)(err) |
S = OPT O = 1076 T = 1.24 (out)(err) |
S = N/A O = 1213 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1076 T = 1.26 (out)(err) |
S = OPT O = 1076 T = 102.58 (out)(err) |
S = OPT O = 1076 T = 2.21 (out)(err) |
S = OPT O = 1076 T = 2.20 (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 = 1076 T = 21.08 (out)(err) |
S = OPT O = 1076 T = 1.04 (out)(err) |
S = N/A O = 1096 T = TO (out)(err) |
S = N/A O = 1656 T = TO (out)(err) |
S = N/A O = 1481 T = TO (out)(err) |
S = OPT O = 1076 T = 1223.15 (out)(err) |
S = N/A O = 1246 T = TO (out)(err) |
S = N/A O = N/A T = 178.75 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
brock800_3.clq.wcnf | S = OPT O = 1079 T = 1.39 |
S = OPT O = 1079 T = 1640.67 (out)(err) |
S = OPT O = 1079 T = 1.65 (out)(err) |
S = N/A O = 1137 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1079 T = 2.62 (out)(err) |
S = OPT O = 1079 T = 138.80 (out)(err) |
S = OPT O = 1079 T = 6.76 (out)(err) |
S = OPT O = 1079 T = 6.83 (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 = 1079 T = 14.08 (out)(err) |
S = OPT O = 1079 T = 1.39 (out)(err) |
S = N/A O = 1089 T = TO (out)(err) |
S = N/A O = 1763 T = TO (out)(err) |
S = N/A O = 1781 T = TO (out)(err) |
S = N/A O = 1079 T = TO (out)(err) |
S = N/A O = 1308 T = TO (out)(err) |
S = N/A O = N/A T = 178.79 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
brock800_4.clq.wcnf | S = OPT O = 1050 T = 1.03 |
S = OPT O = 1050 T = 1306.12 (out)(err) |
S = OPT O = 1050 T = 1.03 (out)(err) |
S = N/A O = 1133 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1050 T = 1.87 (out)(err) |
S = OPT O = 1050 T = 116.63 (out)(err) |
S = OPT O = 1050 T = 4.79 (out)(err) |
S = OPT O = 1050 T = 4.82 (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 = 1050 T = 10.92 (out)(err) |
S = OPT O = 1050 T = 1.27 (out)(err) |
S = N/A O = 1068 T = TO (out)(err) |
S = N/A O = 1496 T = TO (out)(err) |
S = N/A O = 1713 T = TO (out)(err) |
S = OPT O = 1050 T = 1220.14 (out)(err) |
S = N/A O = 1261 T = TO (out)(err) |
S = N/A O = N/A T = 178.66 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
c-fat200-1.clq.wcnf | S = OPT O = 14 T = 0.00 |
S = OPT O = 14 T = 0.02 (out)(err) |
S = OPT O = 14 T = 0.46 (out)(err) |
S = OPT O = 14 T = 0.00 (out)(err) |
S = OPT O = 14 T = 0.01 (out)(err) |
S = OPT O = 14 T = 0.01 (out)(err) |
S = OPT O = 14 T = 0.00 (out)(err) |
S = OPT O = 14 T = 0.01 (out)(err) |
S = OPT O = 14 T = 0.01 (out)(err) |
S = OPT O = 14 T = 0.01 (out)(err) |
S = OPT O = 14 T = 0.01 (out)(err) |
S = OPT O = 14 T = 0.00 (out)(err) |
S = OPT O = 14 T = 0.12 (out)(err) |
S = OPT O = 14 T = 0.00 (out)(err) |
S = OPT O = 14 T = 0.01 (out)(err) |
S = OPT O = 14 T = 0.01 (out)(err) |
S = OPT O = 14 T = 0.03 (out)(err) |
S = OPT O = 14 T = 0.04 (out)(err) |
S = OPT O = 14 T = 0.00 (out)(err) |
S = OPT O = 14 T = 0.00 (out)(err) |
c-fat200-2.clq.wcnf | S = OPT O = 167 T = 0.01 |
S = OPT O = 167 T = 0.21 (out)(err) |
S = OPT O = 167 T = 0.48 (out)(err) |
S = N/A O = 167 T = TO (out)(err) |
S = OPT O = 167 T = 0.63 (out)(err) |
S = OPT O = 167 T = 0.01 (out)(err) |
S = OPT O = 167 T = 0.14 (out)(err) |
S = OPT O = 167 T = 0.01 (out)(err) |
S = OPT O = 167 T = 0.01 (out)(err) |
S = OPT O = 167 T = 0.15 (out)(err) |
S = OPT O = 167 T = 84.73 (out)(err) |
S = OPT O = 167 T = 0.04 (out)(err) |
S = OPT O = 167 T = 0.12 (out)(err) |
S = OPT O = 167 T = 5.68 (out)(err) |
S = N/A O = 182 T = TO (out)(err) |
S = N/A O = 197 T = TO (out)(err) |
S = OPT O = 167 T = 0.72 (out)(err) |
S = N/A O = 296 T = TO (out)(err) |
S = OPT O = 167 T = 0.09 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
c-fat200-5.clq.wcnf | S = OPT O = 613 T = 0.16 |
S = OPT O = 613 T = 18.55 (out)(err) |
S = OPT O = 613 T = 0.55 (out)(err) |
S = N/A O = 738 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 613 T = 0.16 (out)(err) |
S = OPT O = 613 T = 6.59 (out)(err) |
S = OPT O = 613 T = 0.30 (out)(err) |
S = OPT O = 613 T = 0.32 (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 = 613 T = 1.19 (out)(err) |
S = OPT O = 613 T = 0.34 (out)(err) |
S = N/A O = 613 T = TO (out)(err) |
S = N/A O = 996 T = TO (out)(err) |
S = N/A O = 974 T = TO (out)(err) |
S = OPT O = 613 T = 93.69 (out)(err) |
S = N/A O = 926 T = TO (out)(err) |
S = N/A O = N/A T = 178.57 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
c-fat500-1.clq.wcnf | S = OPT O = 10 T = 0.00 |
S = OPT O = 10 T = 0.01 (out)(err) |
S = OPT O = 10 T = 0.46 (out)(err) |
S = OPT O = 10 T = 0.00 (out)(err) |
S = OPT O = 10 T = 0.00 (out)(err) |
S = OPT O = 10 T = 0.01 (out)(err) |
S = OPT O = 10 T = 0.00 (out)(err) |
S = OPT O = 10 T = 0.01 (out)(err) |
S = OPT O = 10 T = 0.01 (out)(err) |
S = OPT O = 10 T = 0.01 (out)(err) |
S = OPT O = 10 T = 0.00 (out)(err) |
S = OPT O = 10 T = 0.00 (out)(err) |
S = OPT O = 10 T = 0.02 (out)(err) |
S = OPT O = 10 T = 0.00 (out)(err) |
S = OPT O = 10 T = 0.00 (out)(err) |
S = OPT O = 10 T = 0.00 (out)(err) |
S = OPT O = 10 T = 0.04 (out)(err) |
S = OPT O = 10 T = 0.01 (out)(err) |
S = OPT O = 10 T = 0.00 (out)(err) |
S = OPT O = 10 T = 0.00 (out)(err) |
c-fat500-10.clq.wcnf | S = OPT O = 947 T = 5.00 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 947 T = 5.00 (out)(err) |
S = N/A O = 948 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 947 T = 13.74 (out)(err) |
S = OPT O = 947 T = 527.31 (out)(err) |
S = OPT O = 947 T = 35.41 (out)(err) |
S = OPT O = 947 T = 37.63 (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 = 947 T = 70.54 (out)(err) |
S = OPT O = 947 T = 6.40 (out)(err) |
S = N/A O = 981 T = TO (out)(err) |
S = N/A O = 1471 T = TO (out)(err) |
S = N/A O = 1307 T = TO (out)(err) |
S = OPT O = 947 T = 16.17 (out)(err) |
S = N/A O = 1036 T = TO (out)(err) |
S = N/A O = N/A T = 206.18 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
c-fat500-2.clq.wcnf | S = OPT O = 97 T = 0.00 |
S = OPT O = 97 T = 0.02 (out)(err) |
S = OPT O = 97 T = 0.46 (out)(err) |
S = OPT O = 97 T = 0.08 (out)(err) |
S = OPT O = 97 T = 0.04 (out)(err) |
S = OPT O = 97 T = 0.01 (out)(err) |
S = OPT O = 97 T = 0.07 (out)(err) |
S = OPT O = 97 T = 0.01 (out)(err) |
S = OPT O = 97 T = 0.01 (out)(err) |
S = OPT O = 97 T = 0.06 (out)(err) |
S = OPT O = 97 T = 0.22 (out)(err) |
S = OPT O = 97 T = 0.00 (out)(err) |
S = OPT O = 97 T = 0.07 (out)(err) |
S = OPT O = 97 T = 21.70 (out)(err) |
S = OPT O = 97 T = 0.01 (out)(err) |
S = OPT O = 97 T = 0.02 (out)(err) |
S = OPT O = 97 T = 0.07 (out)(err) |
S = N/A O = 111 T = TO (out)(err) |
S = OPT O = 97 T = 0.02 (out)(err) |
S = OPT O = 97 T = 0.02 (out)(err) |
c-fat500-5.clq.wcnf | S = OPT O = 404 T = 0.19 |
S = OPT O = 404 T = 1.54 (out)(err) |
S = OPT O = 404 T = 0.56 (out)(err) |
S = OPT O = 404 T = 204.80 (out)(err) |
S = OPT O = 404 T = 17.78 (out)(err) |
S = OPT O = 404 T = 0.32 (out)(err) |
S = OPT O = 404 T = 13.13 (out)(err) |
S = OPT O = 404 T = 0.82 (out)(err) |
S = OPT O = 404 T = 1.10 (out)(err) |
S = OPT O = 404 T = 503.65 (out)(err) |
S = OPT O = 404 T = 11.34 (out)(err) |
S = OPT O = 404 T = 1.36 (out)(err) |
S = OPT O = 404 T = 0.19 (out)(err) |
S = N/A O = 423 T = TO (out)(err) |
S = OPT O = 404 T = 2.29 (out)(err) |
S = OPT O = 404 T = 2.46 (out)(err) |
S = OPT O = 404 T = 0.66 (out)(err) |
S = N/A O = 468 T = TO (out)(err) |
S = N/A O = N/A T = 238.92 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
hamming10-2.clq.wcnf | S = OPT O = 1929 T = 33.52 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1929 T = 33.52 (out)(err) |
S = N/A O = 2037 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1929 T = 85.18 (out)(err) |
S = N/A O = 1929 T = TO (out)(err) |
S = OPT O = 1929 T = 210.47 (out)(err) |
S = OPT O = 1929 T = 215.46 (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 = 1929 T = 786.65 (out)(err) |
S = OPT O = 1929 T = 49.61 (out)(err) |
S = N/A O = 1970 T = TO (out)(err) |
S = N/A O = 2689 T = TO (out)(err) |
S = N/A O = 2989 T = TO (out)(err) |
S = N/A O = 1942 T = TO (out)(err) |
S = N/A O = 2208 T = TO (out)(err) |
S = N/A O = N/A T = 317.76 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
hamming10-4.clq.wcnf | S = OPT O = 1683 T = 33.47 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1683 T = 36.57 (out)(err) |
S = N/A O = 1818 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1683 T = 72.59 (out)(err) |
S = N/A O = 1683 T = TO (out)(err) |
S = OPT O = 1683 T = 191.17 (out)(err) |
S = OPT O = 1683 T = 189.54 (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 = 1683 T = 727.22 (out)(err) |
S = OPT O = 1683 T = 33.47 (out)(err) |
S = N/A O = 1745 T = TO (out)(err) |
S = N/A O = 2557 T = TO (out)(err) |
S = N/A O = 1885 T = TO (out)(err) |
S = N/A O = 1683 T = TO (out)(err) |
S = N/A O = 1970 T = TO (out)(err) |
S = N/A O = N/A T = 317.63 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
hamming6-2.clq.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 4474 T = TO (out)(err) |
S = N/A O = 4660 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 = 4486 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 = N/A T = TO (out)(err) |
S = N/A O = 4426 T = 1797.78 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 4580 T = TO (out)(err) |
S = N/A O = 6294 T = TO (out)(err) |
S = N/A O = 6065 T = TO (out)(err) |
S = N/A O = 4803 T = TO (out)(err) |
S = N/A O = 5257 T = TO (out)(err) |
S = N/A O = N/A T = 1143.70 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
hamming6-4.clq.wcnf | S = OPT O = 1035 T = 0.40 |
S = OPT O = 1035 T = 83.80 (out)(err) |
S = OPT O = 1035 T = 0.67 (out)(err) |
S = N/A O = 1540 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1035 T = 0.40 (out)(err) |
S = OPT O = 1035 T = 73.61 (out)(err) |
S = OPT O = 1035 T = 0.95 (out)(err) |
S = OPT O = 1035 T = 1.16 (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 = 1035 T = 1.04 (out)(err) |
S = OPT O = 1035 T = 0.53 (out)(err) |
S = N/A O = 1102 T = TO (out)(err) |
S = N/A O = 1543 T = TO (out)(err) |
S = N/A O = 1800 T = TO (out)(err) |
S = OPT O = 1035 T = 1651.80 (out)(err) |
S = N/A O = 1775 T = TO (out)(err) |
S = N/A O = N/A T = 178.98 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
hamming8-2.clq.wcnf | S = OPT O = 2213 T = 752.82 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 2213 T = 752.82 (out)(err) |
S = N/A O = 2310 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 = 2225 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 = N/A T = TO (out)(err) |
S = N/A O = 2220 T = 1797.55 (out)(err) |
S = OPT O = 2213 T = 1232.45 (out)(err) |
S = N/A O = 2262 T = TO (out)(err) |
S = N/A O = 3092 T = TO (out)(err) |
S = N/A O = 3111 T = TO (out)(err) |
S = N/A O = 2213 T = TO (out)(err) |
S = N/A O = 2462 T = TO (out)(err) |
S = N/A O = N/A T = 317.64 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
hamming8-4.clq.wcnf | S = OPT O = 917 T = 0.30 |
S = OPT O = 917 T = 66.61 (out)(err) |
S = OPT O = 917 T = 0.59 (out)(err) |
S = N/A O = 1159 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 917 T = 0.30 (out)(err) |
S = OPT O = 917 T = 17.56 (out)(err) |
S = OPT O = 917 T = 0.73 (out)(err) |
S = OPT O = 917 T = 0.74 (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 = 917 T = 2.00 (out)(err) |
S = OPT O = 917 T = 0.35 (out)(err) |
S = N/A O = 917 T = TO (out)(err) |
S = N/A O = 1432 T = TO (out)(err) |
S = N/A O = 1409 T = TO (out)(err) |
S = OPT O = 917 T = 214.16 (out)(err) |
S = N/A O = 1239 T = TO (out)(err) |
S = N/A O = N/A T = 317.34 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
johnson16-2-4.clq.wcnf | S = OPT O = 1170 T = 0.25 |
S = OPT O = 1170 T = 148.68 (out)(err) |
S = OPT O = 1170 T = 0.65 (out)(err) |
S = N/A O = 1419 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1170 T = 0.25 (out)(err) |
S = OPT O = 1170 T = 27.72 (out)(err) |
S = OPT O = 1170 T = 0.62 (out)(err) |
S = OPT O = 1170 T = 0.63 (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 = 1170 T = 4.34 (out)(err) |
S = OPT O = 1170 T = 0.58 (out)(err) |
S = N/A O = 1194 T = TO (out)(err) |
S = N/A O = 1808 T = TO (out)(err) |
S = N/A O = 1905 T = TO (out)(err) |
S = OPT O = 1170 T = 561.28 (out)(err) |
S = N/A O = 1548 T = TO (out)(err) |
S = N/A O = N/A T = 317.78 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
johnson32-2-4.clq.wcnf | S = OPT O = 1788 T = 31.31 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1788 T = 31.31 (out)(err) |
S = N/A O = 1956 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1788 T = 81.50 (out)(err) |
S = N/A O = 1788 T = TO (out)(err) |
S = OPT O = 1788 T = 212.61 (out)(err) |
S = OPT O = 1788 T = 217.91 (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 = 1788 T = 675.80 (out)(err) |
S = OPT O = 1788 T = 35.21 (out)(err) |
S = N/A O = 1856 T = TO (out)(err) |
S = N/A O = 2844 T = TO (out)(err) |
S = N/A O = 2774 T = TO (out)(err) |
S = N/A O = 1803 T = TO (out)(err) |
S = N/A O = 2076 T = TO (out)(err) |
S = N/A O = N/A T = 317.57 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
johnson8-2-4.clq.wcnf | S = OPT O = 392 T = 0.01 |
S = OPT O = 392 T = 5.80 (out)(err) |
S = OPT O = 392 T = 0.48 (out)(err) |
S = N/A O = 392 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 392 T = 0.01 (out)(err) |
S = OPT O = 392 T = 0.18 (out)(err) |
S = OPT O = 392 T = 0.02 (out)(err) |
S = OPT O = 392 T = 0.03 (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 = 392 T = 0.21 (out)(err) |
S = OPT O = 392 T = 0.11 (out)(err) |
S = OPT O = 392 T = 6.82 (out)(err) |
S = N/A O = 542 T = TO (out)(err) |
S = N/A O = 565 T = TO (out)(err) |
S = OPT O = 392 T = 7.33 (out)(err) |
S = N/A O = 441 T = TO (out)(err) |
S = N/A O = N/A T = 178.68 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
johnson8-4-4.clq.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 4154 T = TO (out)(err) |
S = N/A O = 4724 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 = 4334 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 = N/A T = TO (out)(err) |
S = N/A O = 4350 T = 1797.86 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 4535 T = TO (out)(err) |
S = N/A O = 5911 T = TO (out)(err) |
S = N/A O = 5837 T = TO (out)(err) |
S = N/A O = 4705 T = TO (out)(err) |
S = N/A O = 4940 T = TO (out)(err) |
S = N/A O = N/A T = 1143.98 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
keller4.clq.wcnf | S = OPT O = 1133 T = 0.31 |
S = OPT O = 1133 T = 55.68 (out)(err) |
S = OPT O = 1133 T = 0.58 (out)(err) |
S = N/A O = 1312 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1133 T = 0.31 (out)(err) |
S = OPT O = 1133 T = 21.15 (out)(err) |
S = OPT O = 1133 T = 0.47 (out)(err) |
S = OPT O = 1133 T = 0.47 (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 = 1133 T = 0.55 (out)(err) |
S = OPT O = 1133 T = 0.45 (out)(err) |
S = N/A O = 1175 T = TO (out)(err) |
S = N/A O = 1822 T = TO (out)(err) |
S = N/A O = 2017 T = TO (out)(err) |
S = OPT O = 1133 T = 221.54 (out)(err) |
S = N/A O = 1574 T = TO (out)(err) |
S = N/A O = N/A T = 317.90 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
keller5.clq.wcnf | S = OPT O = 1383 T = 3.39 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1383 T = 3.39 (out)(err) |
S = N/A O = 1475 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1383 T = 7.00 (out)(err) |
S = OPT O = 1383 T = 387.23 (out)(err) |
S = OPT O = 1383 T = 17.79 (out)(err) |
S = OPT O = 1383 T = 18.39 (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 = 1383 T = 73.05 (out)(err) |
S = OPT O = 1383 T = 4.19 (out)(err) |
S = N/A O = 1406 T = TO (out)(err) |
S = N/A O = 2247 T = TO (out)(err) |
S = N/A O = 1859 T = TO (out)(err) |
S = N/A O = 1383 T = TO (out)(err) |
S = N/A O = 1580 T = TO (out)(err) |
S = N/A O = N/A T = 317.48 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
p_hat1000-1.clq.wcnf | S = OPT O = 248 T = 0.01 |
S = OPT O = 248 T = 2.65 (out)(err) |
S = OPT O = 248 T = 0.47 (out)(err) |
S = N/A O = 253 T = TO (out)(err) |
S = OPT O = 248 T = 14.99 (out)(err) |
S = OPT O = 248 T = 0.01 (out)(err) |
S = OPT O = 248 T = 0.04 (out)(err) |
S = OPT O = 248 T = 0.02 (out)(err) |
S = OPT O = 248 T = 0.02 (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 = 248 T = 0.05 (out)(err) |
S = OPT O = 248 T = 0.10 (out)(err) |
S = OPT O = 248 T = 2.49 (out)(err) |
S = N/A O = 383 T = TO (out)(err) |
S = N/A O = 253 T = TO (out)(err) |
S = OPT O = 248 T = 2.89 (out)(err) |
S = N/A O = 425 T = TO (out)(err) |
S = N/A O = N/A T = 301.84 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
p_hat1000-2.clq.wcnf | S = OPT O = 752 T = 0.20 |
S = OPT O = 752 T = 44.56 (out)(err) |
S = OPT O = 752 T = 0.58 (out)(err) |
S = N/A O = 808 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 752 T = 0.20 (out)(err) |
S = OPT O = 752 T = 4.61 (out)(err) |
S = OPT O = 752 T = 0.66 (out)(err) |
S = OPT O = 752 T = 0.68 (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 = 752 T = 1.51 (out)(err) |
S = OPT O = 752 T = 0.49 (out)(err) |
S = N/A O = 752 T = TO (out)(err) |
S = N/A O = 974 T = TO (out)(err) |
S = N/A O = 1003 T = TO (out)(err) |
S = OPT O = 752 T = 65.01 (out)(err) |
S = N/A O = 973 T = TO (out)(err) |
S = N/A O = N/A T = 178.63 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
p_hat1000-3.clq.wcnf | S = OPT O = 1251 T = 2.03 |
S = OPT O = 1251 T = 1413.88 (out)(err) |
S = OPT O = 1251 T = 2.03 (out)(err) |
S = N/A O = 1341 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1251 T = 3.65 (out)(err) |
S = OPT O = 1251 T = 179.01 (out)(err) |
S = OPT O = 1251 T = 9.18 (out)(err) |
S = OPT O = 1251 T = 9.16 (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 = 1251 T = 28.59 (out)(err) |
S = OPT O = 1251 T = 2.09 (out)(err) |
S = N/A O = 1300 T = TO (out)(err) |
S = N/A O = 1790 T = TO (out)(err) |
S = N/A O = 2002 T = TO (out)(err) |
S = N/A O = 1251 T = TO (out)(err) |
S = N/A O = 1395 T = TO (out)(err) |
S = N/A O = N/A T = 317.74 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
p_hat300-1.clq.wcnf | S = OPT O = 243 T = 0.01 |
S = OPT O = 243 T = 3.32 (out)(err) |
S = OPT O = 243 T = 0.48 (out)(err) |
S = N/A O = 263 T = TO (out)(err) |
S = OPT O = 243 T = 67.32 (out)(err) |
S = OPT O = 243 T = 0.01 (out)(err) |
S = OPT O = 243 T = 0.06 (out)(err) |
S = OPT O = 243 T = 0.03 (out)(err) |
S = OPT O = 243 T = 0.04 (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 = 243 T = 0.12 (out)(err) |
S = OPT O = 243 T = 0.11 (out)(err) |
S = OPT O = 243 T = 13.23 (out)(err) |
S = N/A O = 313 T = TO (out)(err) |
S = N/A O = 384 T = TO (out)(err) |
S = OPT O = 243 T = 2.70 (out)(err) |
S = N/A O = 347 T = TO (out)(err) |
S = N/A O = N/A T = 365.79 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
p_hat300-2.clq.wcnf | S = OPT O = 711 T = 0.08 |
S = OPT O = 711 T = 25.15 (out)(err) |
S = OPT O = 711 T = 0.56 (out)(err) |
S = N/A O = 732 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 711 T = 0.08 (out)(err) |
S = OPT O = 711 T = 2.20 (out)(err) |
S = OPT O = 711 T = 0.18 (out)(err) |
S = OPT O = 711 T = 0.19 (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 = 711 T = 1.11 (out)(err) |
S = OPT O = 711 T = 0.34 (out)(err) |
S = N/A O = 717 T = TO (out)(err) |
S = N/A O = 943 T = TO (out)(err) |
S = N/A O = 1021 T = TO (out)(err) |
S = OPT O = 711 T = 30.37 (out)(err) |
S = N/A O = 843 T = TO (out)(err) |
S = N/A O = N/A T = 178.93 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
p_hat300-3.clq.wcnf | S = OPT O = 1439 T = 4.68 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1439 T = 4.68 (out)(err) |
S = N/A O = 1561 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1439 T = 7.93 (out)(err) |
S = OPT O = 1439 T = 541.31 (out)(err) |
S = OPT O = 1439 T = 20.82 (out)(err) |
S = OPT O = 1439 T = 21.10 (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 = 1439 T = 87.28 (out)(err) |
S = OPT O = 1439 T = 6.50 (out)(err) |
S = N/A O = 1475 T = TO (out)(err) |
S = N/A O = 2023 T = TO (out)(err) |
S = N/A O = 1826 T = TO (out)(err) |
S = N/A O = 1439 T = TO (out)(err) |
S = N/A O = 1691 T = TO (out)(err) |
S = N/A O = N/A T = 317.71 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
p_hat500-1.clq.wcnf | S = OPT O = 395 T = 0.03 |
S = OPT O = 395 T = 6.68 (out)(err) |
S = OPT O = 395 T = 0.49 (out)(err) |
S = N/A O = 405 T = TO (out)(err) |
S = OPT O = 395 T = 781.29 (out)(err) |
S = OPT O = 395 T = 0.03 (out)(err) |
S = OPT O = 395 T = 0.30 (out)(err) |
S = OPT O = 395 T = 0.06 (out)(err) |
S = OPT O = 395 T = 0.06 (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 = 395 T = 0.14 (out)(err) |
S = OPT O = 395 T = 0.15 (out)(err) |
S = OPT O = 395 T = 84.48 (out)(err) |
S = N/A O = 494 T = TO (out)(err) |
S = N/A O = 595 T = TO (out)(err) |
S = OPT O = 395 T = 6.70 (out)(err) |
S = N/A O = 489 T = TO (out)(err) |
S = N/A O = N/A T = 245.80 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
p_hat500-2.clq.wcnf | S = OPT O = 931 T = 0.53 |
S = OPT O = 931 T = 139.71 (out)(err) |
S = OPT O = 931 T = 1.01 (out)(err) |
S = N/A O = 1015 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 931 T = 0.53 (out)(err) |
S = OPT O = 931 T = 28.68 (out)(err) |
S = OPT O = 931 T = 1.23 (out)(err) |
S = OPT O = 931 T = 1.27 (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 = 931 T = 4.62 (out)(err) |
S = OPT O = 931 T = 1.04 (out)(err) |
S = N/A O = 935 T = TO (out)(err) |
S = N/A O = 1283 T = TO (out)(err) |
S = N/A O = 1369 T = TO (out)(err) |
S = OPT O = 931 T = 259.74 (out)(err) |
S = N/A O = 1134 T = TO (out)(err) |
S = N/A O = N/A T = 178.42 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
p_hat500-3.clq.wcnf | S = OPT O = 1501 T = 6.59 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1501 T = 8.19 (out)(err) |
S = N/A O = 1579 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1501 T = 15.21 (out)(err) |
S = OPT O = 1501 T = 807.24 (out)(err) |
S = OPT O = 1501 T = 38.10 (out)(err) |
S = OPT O = 1501 T = 39.55 (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 = 1501 T = 124.10 (out)(err) |
S = OPT O = 1501 T = 6.59 (out)(err) |
S = N/A O = 1561 T = TO (out)(err) |
S = N/A O = 2468 T = TO (out)(err) |
S = N/A O = 2459 T = TO (out)(err) |
S = N/A O = 1501 T = TO (out)(err) |
S = N/A O = 1790 T = TO (out)(err) |
S = N/A O = N/A T = 317.70 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
p_hat700-1.clq.wcnf | S = OPT O = 329 T = 0.02 |
S = OPT O = 329 T = 4.61 (out)(err) |
S = OPT O = 329 T = 0.49 (out)(err) |
S = N/A O = 352 T = TO (out)(err) |
S = OPT O = 329 T = 155.07 (out)(err) |
S = OPT O = 329 T = 0.02 (out)(err) |
S = OPT O = 329 T = 0.11 (out)(err) |
S = OPT O = 329 T = 0.04 (out)(err) |
S = OPT O = 329 T = 0.04 (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 = 329 T = 0.10 (out)(err) |
S = OPT O = 329 T = 0.12 (out)(err) |
S = OPT O = 329 T = 26.50 (out)(err) |
S = N/A O = 513 T = TO (out)(err) |
S = N/A O = 559 T = TO (out)(err) |
S = OPT O = 329 T = 3.72 (out)(err) |
S = N/A O = 427 T = TO (out)(err) |
S = N/A O = N/A T = 206.10 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
p_hat700-2.clq.wcnf | S = OPT O = 834 T = 0.32 |
S = OPT O = 834 T = 64.12 (out)(err) |
S = OPT O = 834 T = 0.65 (out)(err) |
S = N/A O = 910 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 834 T = 0.32 (out)(err) |
S = OPT O = 834 T = 7.92 (out)(err) |
S = OPT O = 834 T = 0.76 (out)(err) |
S = OPT O = 834 T = 0.99 (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 = 834 T = 2.08 (out)(err) |
S = OPT O = 834 T = 0.67 (out)(err) |
S = N/A O = 841 T = TO (out)(err) |
S = N/A O = 1385 T = TO (out)(err) |
S = N/A O = 1297 T = TO (out)(err) |
S = OPT O = 834 T = 67.01 (out)(err) |
S = N/A O = 949 T = TO (out)(err) |
S = N/A O = N/A T = 178.85 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
p_hat700-3.clq.wcnf | S = OPT O = 1432 T = 3.99 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1432 T = 3.99 (out)(err) |
S = N/A O = 1523 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1432 T = 14.76 (out)(err) |
S = OPT O = 1432 T = 555.36 (out)(err) |
S = OPT O = 1432 T = 35.80 (out)(err) |
S = OPT O = 1432 T = 35.33 (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 = 1432 T = 81.26 (out)(err) |
S = OPT O = 1432 T = 5.11 (out)(err) |
S = N/A O = 1470 T = TO (out)(err) |
S = N/A O = 2283 T = TO (out)(err) |
S = N/A O = 2259 T = TO (out)(err) |
S = N/A O = 1437 T = TO (out)(err) |
S = N/A O = 1660 T = TO (out)(err) |
S = N/A O = N/A T = 317.75 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
san1000.clq.wcnf | S = OPT O = 744 T = 0.15 |
S = OPT O = 744 T = 31.20 (out)(err) |
S = OPT O = 744 T = 0.60 (out)(err) |
S = N/A O = 818 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 744 T = 0.15 (out)(err) |
S = OPT O = 744 T = 9.26 (out)(err) |
S = OPT O = 744 T = 0.35 (out)(err) |
S = OPT O = 744 T = 0.36 (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 = 744 T = 1.16 (out)(err) |
S = OPT O = 744 T = 0.37 (out)(err) |
S = N/A O = 758 T = TO (out)(err) |
S = N/A O = 1071 T = TO (out)(err) |
S = N/A O = 1308 T = TO (out)(err) |
S = OPT O = 744 T = 91.28 (out)(err) |
S = N/A O = 1033 T = TO (out)(err) |
S = N/A O = N/A T = 178.88 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
san200_0.7_1.clq.wcnf | S = OPT O = 1256 T = 3.28 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1256 T = 3.45 (out)(err) |
S = N/A O = 1388 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1256 T = 6.29 (out)(err) |
S = OPT O = 1256 T = 319.53 (out)(err) |
S = OPT O = 1256 T = 15.87 (out)(err) |
S = OPT O = 1256 T = 15.37 (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 = 1256 T = 50.14 (out)(err) |
S = OPT O = 1256 T = 3.28 (out)(err) |
S = N/A O = 1291 T = TO (out)(err) |
S = N/A O = 1787 T = TO (out)(err) |
S = N/A O = 1733 T = TO (out)(err) |
S = N/A O = 1256 T = TO (out)(err) |
S = N/A O = 1654 T = TO (out)(err) |
S = N/A O = N/A T = 198.32 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
san200_0.7_2.clq.wcnf | S = OPT O = 1243 T = 2.13 |
S = OPT O = 1243 T = 1396.49 (out)(err) |
S = OPT O = 1243 T = 2.16 (out)(err) |
S = N/A O = 1304 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1243 T = 2.98 (out)(err) |
S = OPT O = 1243 T = 186.28 (out)(err) |
S = OPT O = 1243 T = 7.43 (out)(err) |
S = OPT O = 1243 T = 7.58 (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 = 1243 T = 28.85 (out)(err) |
S = OPT O = 1243 T = 2.13 (out)(err) |
S = N/A O = 1259 T = TO (out)(err) |
S = N/A O = 1959 T = TO (out)(err) |
S = N/A O = 1637 T = TO (out)(err) |
S = N/A O = 1243 T = TO (out)(err) |
S = N/A O = 1595 T = TO (out)(err) |
S = N/A O = N/A T = 317.65 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
san200_0.9_1.clq.wcnf | S = OPT O = 1672 T = 57.30 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1672 T = 57.30 (out)(err) |
S = N/A O = 1744 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1672 T = 199.42 (out)(err) |
S = N/A O = 1672 T = TO (out)(err) |
S = OPT O = 1672 T = 481.32 (out)(err) |
S = OPT O = 1672 T = 488.63 (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 = 1672 T = 1505.82 (out)(err) |
S = OPT O = 1672 T = 82.23 (out)(err) |
S = N/A O = 1715 T = TO (out)(err) |
S = N/A O = 2522 T = TO (out)(err) |
S = N/A O = 2280 T = TO (out)(err) |
S = N/A O = 1677 T = TO (out)(err) |
S = N/A O = 1896 T = TO (out)(err) |
S = N/A O = N/A T = 317.66 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
san200_0.9_2.clq.wcnf | S = OPT O = 1647 T = 16.09 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1647 T = 16.09 (out)(err) |
S = N/A O = 1687 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1647 T = 49.33 (out)(err) |
S = OPT O = 1647 T = 1316.59 (out)(err) |
S = OPT O = 1647 T = 119.93 (out)(err) |
S = OPT O = 1647 T = 121.76 (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 = 1647 T = 317.20 (out)(err) |
S = OPT O = 1647 T = 19.75 (out)(err) |
S = N/A O = 1690 T = TO (out)(err) |
S = N/A O = 2535 T = TO (out)(err) |
S = N/A O = 2472 T = TO (out)(err) |
S = N/A O = 1651 T = TO (out)(err) |
S = N/A O = 1898 T = TO (out)(err) |
S = N/A O = N/A T = 317.94 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
san200_0.9_3.clq.wcnf | S = OPT O = 1670 T = 25.10 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1670 T = 25.10 (out)(err) |
S = N/A O = 1805 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1670 T = 78.11 (out)(err) |
S = OPT O = 1670 T = 1505.54 (out)(err) |
S = OPT O = 1670 T = 194.93 (out)(err) |
S = OPT O = 1670 T = 197.73 (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 = 1670 T = 466.99 (out)(err) |
S = OPT O = 1670 T = 31.83 (out)(err) |
S = N/A O = 1690 T = TO (out)(err) |
S = N/A O = 2586 T = TO (out)(err) |
S = N/A O = 2418 T = TO (out)(err) |
S = N/A O = 1679 T = TO (out)(err) |
S = N/A O = 1906 T = TO (out)(err) |
S = N/A O = N/A T = 317.25 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
san400_0.5_1.clq.wcnf | S = OPT O = 718 T = 0.12 |
S = OPT O = 718 T = 16.14 (out)(err) |
S = OPT O = 718 T = 0.54 (out)(err) |
S = N/A O = 778 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 718 T = 0.12 (out)(err) |
S = OPT O = 718 T = 4.46 (out)(err) |
S = OPT O = 718 T = 0.23 (out)(err) |
S = OPT O = 718 T = 0.24 (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 = 718 T = 0.43 (out)(err) |
S = OPT O = 718 T = 0.28 (out)(err) |
S = OPT O = 718 T = 840.33 (out)(err) |
S = N/A O = 1314 T = TO (out)(err) |
S = N/A O = 1242 T = TO (out)(err) |
S = OPT O = 718 T = 56.45 (out)(err) |
S = N/A O = 986 T = TO (out)(err) |
S = N/A O = N/A T = 178.95 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
san400_0.7_1.clq.wcnf | S = OPT O = 1258 T = 4.23 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1258 T = 4.23 (out)(err) |
S = N/A O = 1361 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1258 T = 8.73 (out)(err) |
S = OPT O = 1258 T = 357.72 (out)(err) |
S = OPT O = 1258 T = 21.98 (out)(err) |
S = OPT O = 1258 T = 22.17 (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 = 1258 T = 75.51 (out)(err) |
S = OPT O = 1258 T = 4.76 (out)(err) |
S = N/A O = 1279 T = TO (out)(err) |
S = N/A O = 2185 T = TO (out)(err) |
S = N/A O = 1929 T = TO (out)(err) |
S = N/A O = 1258 T = TO (out)(err) |
S = N/A O = 1459 T = TO (out)(err) |
S = N/A O = N/A T = 317.50 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
san400_0.7_2.clq.wcnf | S = OPT O = 1237 T = 1.96 |
S = OPT O = 1237 T = 1776.54 (out)(err) |
S = OPT O = 1237 T = 2.31 (out)(err) |
S = N/A O = 1334 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1237 T = 5.29 (out)(err) |
S = OPT O = 1237 T = 237.45 (out)(err) |
S = OPT O = 1237 T = 13.16 (out)(err) |
S = OPT O = 1237 T = 13.54 (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 = 1237 T = 21.90 (out)(err) |
S = OPT O = 1237 T = 1.96 (out)(err) |
S = N/A O = 1277 T = TO (out)(err) |
S = N/A O = 2248 T = TO (out)(err) |
S = N/A O = 1752 T = TO (out)(err) |
S = N/A O = 1237 T = TO (out)(err) |
S = N/A O = 1387 T = TO (out)(err) |
S = N/A O = N/A T = 317.72 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
san400_0.7_3.clq.wcnf | S = OPT O = 1201 T = 1.84 |
S = N/A O = 1201 T = TO (out)(err) |
S = OPT O = 1201 T = 1.93 (out)(err) |
S = N/A O = 1324 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1201 T = 2.26 (out)(err) |
S = OPT O = 1201 T = 167.11 (out)(err) |
S = OPT O = 1201 T = 5.52 (out)(err) |
S = OPT O = 1201 T = 7.45 (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 = 1201 T = 25.93 (out)(err) |
S = OPT O = 1201 T = 1.84 (out)(err) |
S = N/A O = 1215 T = TO (out)(err) |
S = N/A O = 1766 T = TO (out)(err) |
S = N/A O = 1681 T = TO (out)(err) |
S = N/A O = 1201 T = TO (out)(err) |
S = N/A O = 1452 T = TO (out)(err) |
S = N/A O = N/A T = 318.35 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
san400_0.9_1.clq.wcnf | S = OPT O = 1604 T = 23.50 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1604 T = 23.50 (out)(err) |
S = N/A O = 1637 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1604 T = 82.90 (out)(err) |
S = OPT O = 1604 T = 1626.95 (out)(err) |
S = OPT O = 1604 T = 211.76 (out)(err) |
S = OPT O = 1604 T = 216.25 (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 = 1604 T = 523.36 (out)(err) |
S = OPT O = 1604 T = 35.35 (out)(err) |
S = N/A O = 1622 T = TO (out)(err) |
S = N/A O = 2457 T = TO (out)(err) |
S = N/A O = 2656 T = TO (out)(err) |
S = N/A O = 1604 T = TO (out)(err) |
S = N/A O = 1764 T = TO (out)(err) |
S = N/A O = N/A T = 635.91 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
sanr200_0.7.clq.wcnf | S = OPT O = 1171 T = 1.37 |
S = OPT O = 1171 T = 667.47 (out)(err) |
S = OPT O = 1171 T = 1.85 (out)(err) |
S = N/A O = 1305 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1171 T = 1.37 (out)(err) |
S = OPT O = 1171 T = 119.98 (out)(err) |
S = OPT O = 1171 T = 3.42 (out)(err) |
S = OPT O = 1171 T = 3.46 (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 = 1171 T = 13.88 (out)(err) |
S = OPT O = 1171 T = 1.80 (out)(err) |
S = N/A O = 1200 T = TO (out)(err) |
S = N/A O = 1851 T = TO (out)(err) |
S = N/A O = 1546 T = TO (out)(err) |
S = OPT O = 1171 T = 1486.49 (out)(err) |
S = N/A O = 1414 T = TO (out)(err) |
S = N/A O = N/A T = 184.75 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
sanr200_0.9.clq.wcnf | S = OPT O = 1610 T = 23.82 |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1610 T = 23.82 (out)(err) |
S = N/A O = 1664 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1610 T = 80.78 (out)(err) |
S = OPT O = 1610 T = 1476.74 (out)(err) |
S = OPT O = 1610 T = 193.11 (out)(err) |
S = OPT O = 1610 T = 199.82 (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 = 1610 T = 500.22 (out)(err) |
S = OPT O = 1610 T = 28.17 (out)(err) |
S = N/A O = 1649 T = TO (out)(err) |
S = N/A O = 2420 T = TO (out)(err) |
S = N/A O = 2351 T = TO (out)(err) |
S = N/A O = 1612 T = TO (out)(err) |
S = N/A O = 1798 T = TO (out)(err) |
S = N/A O = N/A T = 317.66 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
sanr400_0.5.clq.wcnf | S = OPT O = 763 T = 0.22 |
S = OPT O = 763 T = 33.36 (out)(err) |
S = OPT O = 763 T = 0.98 (out)(err) |
S = N/A O = 893 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 763 T = 0.22 (out)(err) |
S = OPT O = 763 T = 11.53 (out)(err) |
S = OPT O = 763 T = 0.50 (out)(err) |
S = OPT O = 763 T = 0.50 (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 = 763 T = 1.31 (out)(err) |
S = OPT O = 763 T = 0.34 (out)(err) |
S = N/A O = 763 T = TO (out)(err) |
S = N/A O = 1252 T = TO (out)(err) |
S = N/A O = 1025 T = TO (out)(err) |
S = OPT O = 763 T = 136.20 (out)(err) |
S = N/A O = 892 T = TO (out)(err) |
S = N/A O = N/A T = 178.70 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
sanr400_0.7.clq.wcnf | S = OPT O = 1198 T = 1.36 |
S = OPT O = 1198 T = 1236.40 (out)(err) |
S = OPT O = 1198 T = 1.61 (out)(err) |
S = N/A O = 1321 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1198 T = 2.50 (out)(err) |
S = OPT O = 1198 T = 146.59 (out)(err) |
S = OPT O = 1198 T = 6.02 (out)(err) |
S = OPT O = 1198 T = 6.48 (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 = 1198 T = 21.89 (out)(err) |
S = OPT O = 1198 T = 1.36 (out)(err) |
S = N/A O = 1218 T = TO (out)(err) |
S = N/A O = 1871 T = TO (out)(err) |
S = N/A O = 1834 T = TO (out)(err) |
S = N/A O = 1198 T = TO (out)(err) |
S = N/A O = 1424 T = TO (out)(err) |
S = N/A O = N/A T = 317.32 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
t3g3-5555.spn.wcnf | S = OPT O = 1100610 T = 0.01 |
S = OPT O = 1100610 T = 0.48 (out)(err) |
S = OPT O = 1100610 T = 0.80 (out)(err) |
S = N/A O = 1273873 T = TO (out)(err) |
S = OPT O = 1100610 T = 0.47 (out)(err) |
S = OPT O = 1100610 T = 0.01 (out)(err) |
S = OPT O = 1100610 T = 0.01 (out)(err) |
S = OPT O = 1100610 T = 0.01 (out)(err) |
S = OPT O = 1100610 T = 0.01 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1100610 T = 376.86 (out)(err) |
S = OPT O = 1100610 T = 0.09 (out)(err) |
S = OPT O = 1100610 T = 0.47 (out)(err) |
S = OPT O = 1100610 T = 0.04 (out)(err) |
S = N/A O = 1218043 T = TO (out)(err) |
S = N/A O = 1818852 T = TO (out)(err) |
S = OPT O = 1100610 T = 0.23 (out)(err) |
S = N/A O = 1446634 T = TO (out)(err) |
S = N/A O = N/A T = 1732.60 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
t4g3-6666.spn.wcnf | S = OPT O = 2275606 T = 0.05 |
S = OPT O = 2275606 T = 3.53 (out)(err) |
S = OPT O = 2275606 T = 0.88 (out)(err) |
S = N/A O = 2766679 T = TO (out)(err) |
S = OPT O = 2275606 T = 9.22 (out)(err) |
S = OPT O = 2275606 T = 0.05 (out)(err) |
S = OPT O = 2275606 T = 0.20 (out)(err) |
S = OPT O = 2275606 T = 0.09 (out)(err) |
S = OPT O = 2275606 T = 0.09 (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 = N/A T = 71.07 (out)(err) |
S = OPT O = 2275606 T = 16.90 (out)(err) |
S = N/A O = 4221822 T = TO (out)(err) |
S = N/A O = 5449756 T = TO (out)(err) |
S = OPT O = 2275606 T = 3.35 (out)(err) |
S = N/A O = 3627190 T = TO (out)(err) |
S = N/A O = N/A T = 247.24 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
t5g3-7777.spn.wcnf | S = OPT O = 4241951 T = 1.40 |
S = OPT O = 4241951 T = 10.99 (out)(err) |
S = OPT O = 4241951 T = 2.16 (out)(err) |
S = N/A O = 5448282 T = TO (out)(err) |
S = OPT O = 4241951 T = 121.89 (out)(err) |
S = OPT O = 4241951 T = 1.40 (out)(err) |
S = OPT O = 4241951 T = 275.53 (out)(err) |
S = OPT O = 4241951 T = 2.65 (out)(err) |
S = OPT O = 4241951 T = 2.65 (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 = N/A T = 0.00 (out)(err) |
S = N/A O = 4466001 T = TO (out)(err) |
S = N/A O = 8369904 T = TO (out)(err) |
S = N/A O = 8202693 T = TO (out)(err) |
S = OPT O = 4241951 T = 49.52 (out)(err) |
S = N/A O = 5232085 T = TO (out)(err) |
S = N/A O = N/A T = 1432.96 (out)(err) |
S = N/A O = N/A T = 1799.20 (out)(err) |
t6g3-8888.spn.wcnf | S = OPT O = 7844119 T = 33.26 |
S = OPT O = 7844119 T = 84.11 (out)(err) |
S = OPT O = 7844119 T = 33.26 (out)(err) |
S = N/A O = 10717830 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 7844119 T = 68.78 (out)(err) |
S = N/A O = 8665784 T = TO (out)(err) |
S = OPT O = 7844119 T = 124.47 (out)(err) |
S = OPT O = 7844119 T = 123.67 (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 = N/A T = 0.00 (out)(err) |
S = N/A O = 9044124 T = TO (out)(err) |
S = N/A O = 17112928 T = TO (out)(err) |
S = N/A O = 18418298 T = TO (out)(err) |
S = N/A O = 7926914 T = TO (out)(err) |
S = N/A O = 10004835 T = TO (out)(err) |
S = N/A O = N/A T = 1395.18 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
t7g3-9999.spn.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 12471605 T = TO (out)(err) |
S = N/A O = 17842570 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 = 15447895 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 = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 0.01 (out)(err) |
S = N/A O = 14381152 T = TO (out)(err) |
S = N/A O = 25478780 T = TO (out)(err) |
S = N/A O = 30381168 T = TO (out)(err) |
S = N/A O = 12977041 T = TO (out)(err) |
S = N/A O = 16338015 T = TO (out)(err) |
S = N/A O = N/A T = 1503.70 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |