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 | PM2 | QMaxSat-g2 | QMaxSat | Sat4j | ShinMaxSat | WMaxSatz+ | WMaxSatz09 | WPM1 | akmaxsat | akmaxsat_ls | iut_rr_ls | iut_rr_rv | pwbo2.0 | wbo1.6 |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
clq1-cv160c800l2g1.wcnf | S = OPT O = 61 T = 1045.12 |
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 = 112 T = TO (out)(err) |
S = N/A O = 70 T = 1034.52 (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 = 61 T = 1045.12 (out)(err) |
S = OPT O = 61 T = 1074.68 (out)(err) |
S = N/A O = 61 T = TO (out)(err) |
S = N/A O = 61 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-cv160c800l2g10.wcnf | S = OPT O = 53 T = 503.46 |
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 = 86 T = TO (out)(err) |
S = N/A O = 59 T = 575.51 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 53 T = 1280.39 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 53 T = 503.46 (out)(err) |
S = OPT O = 53 T = 510.09 (out)(err) |
S = OPT O = 53 T = 1363.86 (out)(err) |
S = OPT O = 53 T = 1293.23 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-cv160c800l2g11.wcnf | 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 = N/A T = TO (out)(err) |
S = N/A O = 111 T = TO (out)(err) |
S = N/A O = 81 T = 635.59 (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 = 69 T = TO (out)(err) |
S = N/A O = 69 T = TO (out)(err) |
S = N/A O = 69 T = TO (out)(err) |
S = N/A O = 69 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-cv160c800l2g12.wcnf | S = OPT O = 59 T = 796.13 |
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 = 101 T = TO (out)(err) |
S = N/A O = 70 T = 805.21 (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 = 59 T = 796.13 (out)(err) |
S = OPT O = 59 T = 805.02 (out)(err) |
S = N/A O = 59 T = TO (out)(err) |
S = N/A O = 59 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-cv160c800l2g13.wcnf | S = OPT O = 51 T = 60.54 |
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 = 65 T = 677.40 (out)(err) |
S = OPT O = 51 T = 257.93 (out)(err) |
S = OPT O = 51 T = 122.17 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 51 T = 60.54 (out)(err) |
S = OPT O = 51 T = 70.86 (out)(err) |
S = OPT O = 51 T = 189.88 (out)(err) |
S = OPT O = 51 T = 163.73 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-cv160c800l2g14.wcnf | S = OPT O = 45 T = 9.82 |
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 = 85 T = TO (out)(err) |
S = N/A O = 53 T = TO (out)(err) |
S = OPT O = 45 T = 35.33 (out)(err) |
S = OPT O = 45 T = 14.45 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 45 T = 9.82 (out)(err) |
S = OPT O = 45 T = 16.67 (out)(err) |
S = OPT O = 45 T = 43.41 (out)(err) |
S = OPT O = 45 T = 30.08 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-cv160c800l2g15.wcnf | 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 = N/A T = TO (out)(err) |
S = N/A O = 95 T = TO (out)(err) |
S = N/A O = 64 T = 831.49 (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 = 62 T = TO (out)(err) |
S = N/A O = 62 T = TO (out)(err) |
S = N/A O = 62 T = TO (out)(err) |
S = N/A O = 62 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-cv160c800l2g16.wcnf | S = OPT O = 56 T = 258.84 |
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 = 104 T = TO (out)(err) |
S = N/A O = 66 T = 659.62 (out)(err) |
S = OPT O = 56 T = 1219.54 (out)(err) |
S = OPT O = 56 T = 521.18 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 56 T = 258.84 (out)(err) |
S = OPT O = 56 T = 265.14 (out)(err) |
S = OPT O = 56 T = 594.67 (out)(err) |
S = OPT O = 56 T = 547.41 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-cv160c800l2g17.wcnf | S = OPT O = 59 T = 1296.93 |
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 = 97 T = TO (out)(err) |
S = N/A O = 66 T = 664.82 (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 = 59 T = 1296.93 (out)(err) |
S = OPT O = 59 T = 1336.65 (out)(err) |
S = N/A O = 59 T = TO (out)(err) |
S = N/A O = 59 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-cv160c800l2g18.wcnf | S = OPT O = 55 T = 562.06 |
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 = 99 T = TO (out)(err) |
S = N/A O = 66 T = 798.19 (out)(err) |
S = OPT O = 55 T = 799.87 (out)(err) |
S = OPT O = 55 T = 617.18 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 55 T = 562.06 (out)(err) |
S = OPT O = 55 T = 562.62 (out)(err) |
S = OPT O = 55 T = 1373.11 (out)(err) |
S = OPT O = 55 T = 1261.14 (out)(err) |
S = N/A O = N/A T = 1765.44 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-cv160c800l2g19.wcnf | 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 = N/A T = TO (out)(err) |
S = N/A O = 119 T = TO (out)(err) |
S = N/A O = 90 T = 615.57 (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 = 68 T = TO (out)(err) |
S = N/A O = 68 T = TO (out)(err) |
S = N/A O = 69 T = TO (out)(err) |
S = N/A O = 69 T = TO (out)(err) |
S = N/A O = N/A T = 1759.87 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-cv160c800l2g2.wcnf | S = OPT O = 48 T = 19.36 |
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 = 87 T = TO (out)(err) |
S = N/A O = 59 T = 833.38 (out)(err) |
S = OPT O = 48 T = 114.50 (out)(err) |
S = OPT O = 48 T = 62.77 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 48 T = 19.36 (out)(err) |
S = OPT O = 48 T = 27.25 (out)(err) |
S = OPT O = 48 T = 74.78 (out)(err) |
S = OPT O = 48 T = 60.37 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-cv160c800l2g20.wcnf | S = OPT O = 46 T = 18.37 |
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 = 91 T = TO (out)(err) |
S = N/A O = 53 T = 821.95 (out)(err) |
S = OPT O = 46 T = 86.88 (out)(err) |
S = OPT O = 46 T = 35.73 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 46 T = 18.37 (out)(err) |
S = OPT O = 46 T = 26.66 (out)(err) |
S = OPT O = 46 T = 121.88 (out)(err) |
S = OPT O = 46 T = 97.79 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-cv160c800l2g21.wcnf | S = OPT O = 56 T = 400.49 |
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 = 69 T = 839.54 (out)(err) |
S = OPT O = 56 T = 1742.53 (out)(err) |
S = OPT O = 56 T = 750.47 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 56 T = 400.49 (out)(err) |
S = OPT O = 56 T = 408.21 (out)(err) |
S = OPT O = 56 T = 930.38 (out)(err) |
S = OPT O = 56 T = 863.98 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-cv160c800l2g22.wcnf | S = OPT O = 56 T = 799.53 |
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 = 111 T = TO (out)(err) |
S = N/A O = 64 T = TO (out)(err) |
S = OPT O = 56 T = 946.40 (out)(err) |
S = OPT O = 56 T = 799.53 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 56 T = 979.55 (out)(err) |
S = OPT O = 56 T = 986.91 (out)(err) |
S = N/A O = 56 T = TO (out)(err) |
S = N/A O = 56 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-cv160c800l2g23.wcnf | S = OPT O = 51 T = 23.16 |
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 = 99 T = TO (out)(err) |
S = N/A O = 52 T = 756.94 (out)(err) |
S = OPT O = 51 T = 161.46 (out)(err) |
S = OPT O = 51 T = 70.08 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 51 T = 23.16 (out)(err) |
S = OPT O = 51 T = 30.38 (out)(err) |
S = OPT O = 51 T = 85.89 (out)(err) |
S = OPT O = 51 T = 70.73 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-cv160c800l2g24.wcnf | S = OPT O = 49 T = 27.63 |
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 = 81 T = TO (out)(err) |
S = N/A O = 52 T = 754.62 (out)(err) |
S = OPT O = 49 T = 148.30 (out)(err) |
S = OPT O = 49 T = 83.00 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 49 T = 27.63 (out)(err) |
S = OPT O = 49 T = 35.55 (out)(err) |
S = OPT O = 49 T = 98.66 (out)(err) |
S = OPT O = 49 T = 79.84 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-cv160c800l2g25.wcnf | S = OPT O = 55 T = 776.83 |
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 = 106 T = TO (out)(err) |
S = N/A O = 59 T = 601.87 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 55 T = 776.83 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 55 T = 805.84 (out)(err) |
S = OPT O = 55 T = 816.61 (out)(err) |
S = N/A O = 55 T = TO (out)(err) |
S = OPT O = 55 T = 1756.78 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-cv160c800l2g26.wcnf | S = OPT O = 53 T = 611.26 |
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 = 66 T = 1496.08 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 53 T = 1074.28 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 53 T = 611.26 (out)(err) |
S = OPT O = 53 T = 621.71 (out)(err) |
S = OPT O = 53 T = 1441.41 (out)(err) |
S = OPT O = 53 T = 1340.64 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-cv160c800l2g27.wcnf | S = OPT O = 56 T = 918.82 |
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 = 108 T = TO (out)(err) |
S = N/A O = 71 T = 708.10 (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 = 56 T = 918.82 (out)(err) |
S = OPT O = 56 T = 930.91 (out)(err) |
S = N/A O = 56 T = TO (out)(err) |
S = N/A O = 56 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-cv160c800l2g28.wcnf | S = OPT O = 50 T = 157.29 |
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 = 98 T = TO (out)(err) |
S = N/A O = 53 T = 590.73 (out)(err) |
S = OPT O = 50 T = 445.88 (out)(err) |
S = OPT O = 50 T = 164.32 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 50 T = 157.29 (out)(err) |
S = OPT O = 50 T = 164.82 (out)(err) |
S = OPT O = 50 T = 382.49 (out)(err) |
S = OPT O = 50 T = 346.79 (out)(err) |
S = N/A O = N/A T = 1762.37 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-cv160c800l2g29.wcnf | S = OPT O = 42 T = 19.74 |
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 = 82 T = TO (out)(err) |
S = N/A O = 52 T = 985.68 (out)(err) |
S = OPT O = 42 T = 43.78 (out)(err) |
S = OPT O = 42 T = 27.85 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 42 T = 19.74 (out)(err) |
S = OPT O = 42 T = 27.65 (out)(err) |
S = OPT O = 42 T = 80.65 (out)(err) |
S = OPT O = 42 T = 61.63 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-cv160c800l2g3.wcnf | S = OPT O = 60 T = 1221.73 |
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 = 107 T = TO (out)(err) |
S = N/A O = 65 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 = 60 T = 1221.73 (out)(err) |
S = OPT O = 60 T = 1232.82 (out)(err) |
S = N/A O = 60 T = TO (out)(err) |
S = N/A O = 60 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-cv160c800l2g30.wcnf | S = OPT O = 60 T = 204.23 |
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 = 122 T = TO (out)(err) |
S = N/A O = 67 T = 772.75 (out)(err) |
S = OPT O = 60 T = 795.40 (out)(err) |
S = OPT O = 60 T = 513.61 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 60 T = 204.23 (out)(err) |
S = OPT O = 60 T = 212.28 (out)(err) |
S = OPT O = 60 T = 510.00 (out)(err) |
S = OPT O = 60 T = 471.47 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-cv160c800l2g4.wcnf | S = OPT O = 49 T = 338.58 |
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 = 99 T = TO (out)(err) |
S = N/A O = 62 T = 882.41 (out)(err) |
S = OPT O = 49 T = 1498.73 (out)(err) |
S = OPT O = 49 T = 410.73 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 49 T = 338.58 (out)(err) |
S = OPT O = 49 T = 348.92 (out)(err) |
S = OPT O = 49 T = 695.18 (out)(err) |
S = OPT O = 49 T = 632.61 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-cv160c800l2g5.wcnf | S = OPT O = 49 T = 70.64 |
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 = 73 T = TO (out)(err) |
S = N/A O = 52 T = 621.34 (out)(err) |
S = OPT O = 49 T = 352.18 (out)(err) |
S = OPT O = 49 T = 85.09 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 49 T = 70.64 (out)(err) |
S = OPT O = 49 T = 79.54 (out)(err) |
S = OPT O = 49 T = 188.18 (out)(err) |
S = OPT O = 49 T = 167.91 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-cv160c800l2g6.wcnf | S = OPT O = 62 T = 842.37 |
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 = 102 T = TO (out)(err) |
S = N/A O = 66 T = 808.94 (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 = 62 T = 842.37 (out)(err) |
S = OPT O = 62 T = 852.94 (out)(err) |
S = N/A O = 62 T = TO (out)(err) |
S = N/A O = 62 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-cv160c800l2g7.wcnf | 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 = N/A T = TO (out)(err) |
S = N/A O = 94 T = TO (out)(err) |
S = N/A O = 66 T = 742.49 (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 = 61 T = TO (out)(err) |
S = N/A O = 61 T = TO (out)(err) |
S = N/A O = 62 T = TO (out)(err) |
S = N/A O = 62 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-cv160c800l2g8.wcnf | S = OPT O = 49 T = 48.28 |
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 = 79 T = TO (out)(err) |
S = N/A O = 57 T = TO (out)(err) |
S = OPT O = 49 T = 208.87 (out)(err) |
S = OPT O = 49 T = 69.12 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 49 T = 48.28 (out)(err) |
S = OPT O = 49 T = 56.13 (out)(err) |
S = OPT O = 49 T = 173.74 (out)(err) |
S = OPT O = 49 T = 144.66 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-cv160c800l2g9.wcnf | S = OPT O = 57 T = 1153.67 |
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 = 87 T = TO (out)(err) |
S = N/A O = 59 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 57 T = 1780.86 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 57 T = 1153.67 (out)(err) |
S = OPT O = 57 T = 1159.40 (out)(err) |
S = N/A O = 57 T = TO (out)(err) |
S = N/A O = 57 T = TO (out)(err) |
S = N/A O = N/A T = 1743.28 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-cv260c1040l2g1.wcnf | 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 = N/A T = TO (out)(err) |
S = N/A O = 100 T = TO (out)(err) |
S = N/A O = 87 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 = 67 T = TO (out)(err) |
S = N/A O = 67 T = TO (out)(err) |
S = N/A O = 69 T = TO (out)(err) |
S = N/A O = 69 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-cv260c1040l2g10.wcnf | 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 = N/A T = TO (out)(err) |
S = N/A O = 94 T = TO (out)(err) |
S = N/A O = 79 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 = 61 T = TO (out)(err) |
S = N/A O = 61 T = TO (out)(err) |
S = N/A O = 61 T = TO (out)(err) |
S = N/A O = 61 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-cv260c1040l2g11.wcnf | S = OPT O = 40 T = 54.40 |
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 = 50 T = TO (out)(err) |
S = N/A O = 43 T = TO (out)(err) |
S = OPT O = 40 T = 295.42 (out)(err) |
S = OPT O = 40 T = 65.52 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 40 T = 54.40 (out)(err) |
S = OPT O = 40 T = 67.99 (out)(err) |
S = OPT O = 40 T = 173.80 (out)(err) |
S = OPT O = 40 T = 140.84 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-cv260c1040l2g12.wcnf | 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 = N/A T = TO (out)(err) |
S = N/A O = 88 T = TO (out)(err) |
S = N/A O = 67 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 = 60 T = TO (out)(err) |
S = N/A O = 60 T = TO (out)(err) |
S = N/A O = 58 T = TO (out)(err) |
S = N/A O = 58 T = TO (out)(err) |
S = N/A O = N/A T = 1751.19 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-cv260c1040l2g13.wcnf | S = OPT O = 38 T = 42.43 |
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 = 56 T = TO (out)(err) |
S = N/A O = 45 T = 1030.25 (out)(err) |
S = OPT O = 38 T = 208.91 (out)(err) |
S = OPT O = 38 T = 42.59 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 38 T = 42.43 (out)(err) |
S = OPT O = 38 T = 55.57 (out)(err) |
S = OPT O = 38 T = 156.45 (out)(err) |
S = OPT O = 38 T = 123.71 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-cv260c1040l2g14.wcnf | 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 = N/A T = TO (out)(err) |
S = N/A O = 104 T = TO (out)(err) |
S = N/A O = 83 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 = 57 T = TO (out)(err) |
S = N/A O = 57 T = TO (out)(err) |
S = N/A O = 57 T = TO (out)(err) |
S = N/A O = 57 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-cv260c1040l2g15.wcnf | S = OPT O = 46 T = 529.90 |
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 = 64 T = TO (out)(err) |
S = N/A O = 62 T = 671.90 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 46 T = 860.70 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 46 T = 529.90 (out)(err) |
S = OPT O = 46 T = 542.38 (out)(err) |
S = OPT O = 46 T = 1372.25 (out)(err) |
S = OPT O = 46 T = 1267.58 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-cv260c1040l2g16.wcnf | 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 = N/A T = TO (out)(err) |
S = N/A O = 82 T = TO (out)(err) |
S = N/A O = 64 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 = 60 T = TO (out)(err) |
S = N/A O = 60 T = TO (out)(err) |
S = N/A O = 60 T = TO (out)(err) |
S = N/A O = 60 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-cv260c1040l2g17.wcnf | 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 = N/A T = TO (out)(err) |
S = N/A O = 80 T = TO (out)(err) |
S = N/A O = 54 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 = 51 T = TO (out)(err) |
S = N/A O = 51 T = TO (out)(err) |
S = N/A O = 51 T = TO (out)(err) |
S = N/A O = 51 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-cv260c1040l2g18.wcnf | S = OPT O = 52 T = 277.16 |
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 = 70 T = TO (out)(err) |
S = N/A O = 59 T = 1015.16 (out)(err) |
S = OPT O = 52 T = 1187.16 (out)(err) |
S = OPT O = 52 T = 277.16 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 52 T = 312.84 (out)(err) |
S = OPT O = 52 T = 325.95 (out)(err) |
S = OPT O = 52 T = 690.47 (out)(err) |
S = OPT O = 52 T = 636.47 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-cv260c1040l2g19.wcnf | S = OPT O = 57 T = 1756.01 |
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 = 91 T = TO (out)(err) |
S = N/A O = 76 T = 390.97 (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 = 57 T = 1756.01 (out)(err) |
S = OPT O = 57 T = 1762.78 (out)(err) |
S = N/A O = 59 T = TO (out)(err) |
S = N/A O = 58 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-cv260c1040l2g2.wcnf | S = OPT O = 54 T = 134.42 |
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 = 86 T = TO (out)(err) |
S = N/A O = 76 T = TO (out)(err) |
S = OPT O = 54 T = 529.93 (out)(err) |
S = OPT O = 54 T = 246.69 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 54 T = 134.42 (out)(err) |
S = OPT O = 54 T = 146.78 (out)(err) |
S = OPT O = 54 T = 395.15 (out)(err) |
S = OPT O = 54 T = 339.91 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-cv260c1040l2g20.wcnf | 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 = N/A T = TO (out)(err) |
S = N/A O = 82 T = TO (out)(err) |
S = N/A O = 78 T = 724.60 (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 = 63 T = TO (out)(err) |
S = N/A O = 63 T = TO (out)(err) |
S = N/A O = 63 T = TO (out)(err) |
S = N/A O = 63 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-cv260c1040l2g21.wcnf | S = OPT O = 55 T = 643.59 |
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 = 75 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 55 T = 960.91 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 55 T = 643.59 (out)(err) |
S = OPT O = 55 T = 660.72 (out)(err) |
S = OPT O = 55 T = 1516.21 (out)(err) |
S = OPT O = 55 T = 1401.22 (out)(err) |
S = N/A O = N/A T = 1729.05 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-cv260c1040l2g22.wcnf | 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 = N/A T = TO (out)(err) |
S = N/A O = 115 T = TO (out)(err) |
S = N/A O = 74 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 = 61 T = TO (out)(err) |
S = N/A O = 61 T = TO (out)(err) |
S = N/A O = 61 T = TO (out)(err) |
S = N/A O = 61 T = TO (out)(err) |
S = N/A O = N/A T = 1741.66 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-cv260c1040l2g23.wcnf | S = OPT O = 52 T = 311.36 |
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 = 98 T = TO (out)(err) |
S = N/A O = 54 T = TO (out)(err) |
S = OPT O = 52 T = 1518.52 (out)(err) |
S = OPT O = 52 T = 526.18 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 52 T = 311.36 (out)(err) |
S = OPT O = 52 T = 323.78 (out)(err) |
S = OPT O = 52 T = 766.74 (out)(err) |
S = OPT O = 52 T = 695.30 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-cv260c1040l2g24.wcnf | S = OPT O = 42 T = 19.11 |
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 = 62 T = TO (out)(err) |
S = N/A O = 53 T = TO (out)(err) |
S = OPT O = 42 T = 100.05 (out)(err) |
S = OPT O = 42 T = 28.66 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 42 T = 19.11 (out)(err) |
S = OPT O = 42 T = 32.48 (out)(err) |
S = OPT O = 42 T = 89.62 (out)(err) |
S = OPT O = 42 T = 62.78 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-cv260c1040l2g25.wcnf | S = OPT O = 46 T = 95.13 |
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 = 91 T = TO (out)(err) |
S = N/A O = 48 T = TO (out)(err) |
S = OPT O = 46 T = 509.87 (out)(err) |
S = OPT O = 46 T = 140.14 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 46 T = 95.13 (out)(err) |
S = OPT O = 46 T = 108.51 (out)(err) |
S = OPT O = 46 T = 234.32 (out)(err) |
S = OPT O = 46 T = 200.34 (out)(err) |
S = N/A O = N/A T = 1704.64 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-cv260c1040l2g26.wcnf | S = OPT O = 50 T = 1431.77 |
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 = 82 T = TO (out)(err) |
S = N/A O = 65 T = 771.71 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 50 T = 1431.77 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 50 T = 1658.89 (out)(err) |
S = OPT O = 50 T = 1651.64 (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) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-cv260c1040l2g27.wcnf | 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 = N/A T = TO (out)(err) |
S = N/A O = 130 T = TO (out)(err) |
S = N/A O = 93 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 = 69 T = TO (out)(err) |
S = N/A O = 69 T = TO (out)(err) |
S = N/A O = 69 T = TO (out)(err) |
S = N/A O = 69 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-cv260c1040l2g28.wcnf | 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 = N/A T = TO (out)(err) |
S = N/A O = 100 T = TO (out)(err) |
S = N/A O = 70 T = 473.07 (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 = 58 T = TO (out)(err) |
S = N/A O = 58 T = TO (out)(err) |
S = N/A O = 59 T = TO (out)(err) |
S = N/A O = 59 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-cv260c1040l2g29.wcnf | S = OPT O = 54 T = 689.35 |
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 = 105 T = TO (out)(err) |
S = N/A O = 57 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 54 T = 1345.51 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 54 T = 689.35 (out)(err) |
S = OPT O = 54 T = 701.30 (out)(err) |
S = OPT O = 54 T = 1444.46 (out)(err) |
S = OPT O = 54 T = 1343.26 (out)(err) |
S = N/A O = N/A T = 1751.69 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-cv260c1040l2g3.wcnf | S = OPT O = 52 T = 453.16 |
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 = 89 T = TO (out)(err) |
S = N/A O = 66 T = 475.90 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 52 T = 665.44 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 52 T = 453.16 (out)(err) |
S = OPT O = 52 T = 462.64 (out)(err) |
S = OPT O = 52 T = 973.45 (out)(err) |
S = OPT O = 52 T = 889.98 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-cv260c1040l2g30.wcnf | 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 = N/A T = TO (out)(err) |
S = N/A O = 101 T = TO (out)(err) |
S = N/A O = 70 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 = 64 T = TO (out)(err) |
S = N/A O = 64 T = TO (out)(err) |
S = N/A O = 64 T = TO (out)(err) |
S = N/A O = 64 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-cv260c1040l2g4.wcnf | S = OPT O = 45 T = 323.59 |
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 = 79 T = TO (out)(err) |
S = N/A O = 53 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 45 T = 401.29 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 45 T = 323.59 (out)(err) |
S = OPT O = 45 T = 339.71 (out)(err) |
S = OPT O = 45 T = 660.71 (out)(err) |
S = OPT O = 45 T = 593.69 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-cv260c1040l2g5.wcnf | 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 = N/A T = TO (out)(err) |
S = N/A O = 89 T = TO (out)(err) |
S = N/A O = 62 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 = 58 T = TO (out)(err) |
S = N/A O = 58 T = TO (out)(err) |
S = N/A O = 58 T = TO (out)(err) |
S = N/A O = 58 T = TO (out)(err) |
S = N/A O = N/A T = 1783.45 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-cv260c1040l2g6.wcnf | S = OPT O = 49 T = 117.57 |
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 = 57 T = TO (out)(err) |
S = OPT O = 49 T = 599.56 (out)(err) |
S = OPT O = 49 T = 268.12 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 49 T = 117.57 (out)(err) |
S = OPT O = 49 T = 132.00 (out)(err) |
S = OPT O = 49 T = 335.13 (out)(err) |
S = OPT O = 49 T = 287.41 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-cv260c1040l2g7.wcnf | S = OPT O = 46 T = 63.63 |
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 = 82 T = TO (out)(err) |
S = N/A O = 62 T = TO (out)(err) |
S = OPT O = 46 T = 348.46 (out)(err) |
S = OPT O = 46 T = 103.90 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 46 T = 63.63 (out)(err) |
S = OPT O = 46 T = 76.82 (out)(err) |
S = OPT O = 46 T = 188.57 (out)(err) |
S = OPT O = 46 T = 154.49 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-cv260c1040l2g8.wcnf | S = OPT O = 48 T = 205.00 |
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 = 82 T = TO (out)(err) |
S = N/A O = 53 T = TO (out)(err) |
S = OPT O = 48 T = 661.96 (out)(err) |
S = OPT O = 48 T = 311.08 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 48 T = 205.00 (out)(err) |
S = OPT O = 48 T = 218.87 (out)(err) |
S = OPT O = 48 T = 479.31 (out)(err) |
S = OPT O = 48 T = 432.66 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-cv260c1040l2g9.wcnf | S = OPT O = 50 T = 1602.12 |
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 = 64 T = TO (out)(err) |
S = N/A O = 55 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 50 T = 1733.93 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 50 T = 1602.12 (out)(err) |
S = OPT O = 50 T = 1633.08 (out)(err) |
S = N/A O = 51 T = TO (out)(err) |
S = N/A O = 51 T = TO (out)(err) |
S = N/A O = N/A T = 1742.08 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv70c350l3g1.wcnf | S = OPT O = 54 T = 625.30 |
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 = 72 T = TO (out)(err) |
S = N/A O = 57 T = TO (out)(err) |
S = OPT O = 54 T = 625.30 (out)(err) |
S = OPT O = 54 T = 1333.95 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 54 T = 812.11 (out)(err) |
S = OPT O = 54 T = 761.48 (out)(err) |
S = OPT O = 54 T = 1346.56 (out)(err) |
S = OPT O = 54 T = 1294.55 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-c2mv70c350l3g10.wcnf | S = OPT O = 43 T = 47.09 |
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 = 59 T = TO (out)(err) |
S = N/A O = 45 T = TO (out)(err) |
S = OPT O = 43 T = 83.87 (out)(err) |
S = OPT O = 43 T = 133.95 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 43 T = 89.95 (out)(err) |
S = OPT O = 43 T = 47.09 (out)(err) |
S = OPT O = 43 T = 164.79 (out)(err) |
S = OPT O = 43 T = 158.75 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv70c350l3g11.wcnf | S = OPT O = 48 T = 183.01 |
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 = 67 T = TO (out)(err) |
S = N/A O = 49 T = TO (out)(err) |
S = OPT O = 48 T = 183.01 (out)(err) |
S = OPT O = 48 T = 250.09 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 48 T = 188.85 (out)(err) |
S = OPT O = 48 T = 184.97 (out)(err) |
S = OPT O = 48 T = 561.21 (out)(err) |
S = OPT O = 48 T = 533.68 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv70c350l3g12.wcnf | S = OPT O = 51 T = 67.35 |
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 = 66 T = TO (out)(err) |
S = N/A O = 51 T = TO (out)(err) |
S = OPT O = 51 T = 67.35 (out)(err) |
S = OPT O = 51 T = 132.98 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 51 T = 71.61 (out)(err) |
S = OPT O = 51 T = 72.41 (out)(err) |
S = OPT O = 51 T = 240.67 (out)(err) |
S = OPT O = 51 T = 228.39 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-c2mv70c350l3g13.wcnf | S = OPT O = 46 T = 92.54 |
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 = 69 T = TO (out)(err) |
S = N/A O = 49 T = TO (out)(err) |
S = OPT O = 46 T = 106.56 (out)(err) |
S = OPT O = 46 T = 147.70 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 46 T = 94.87 (out)(err) |
S = OPT O = 46 T = 92.54 (out)(err) |
S = OPT O = 46 T = 247.30 (out)(err) |
S = OPT O = 46 T = 233.92 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-c2mv70c350l3g14.wcnf | S = OPT O = 50 T = 320.23 |
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 = 73 T = TO (out)(err) |
S = N/A O = 53 T = TO (out)(err) |
S = OPT O = 50 T = 320.23 (out)(err) |
S = OPT O = 50 T = 555.15 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 50 T = 461.95 (out)(err) |
S = OPT O = 50 T = 460.60 (out)(err) |
S = OPT O = 50 T = 1051.66 (out)(err) |
S = OPT O = 50 T = 994.36 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-c2mv70c350l3g15.wcnf | S = OPT O = 51 T = 259.06 |
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 = 81 T = TO (out)(err) |
S = N/A O = 52 T = TO (out)(err) |
S = OPT O = 51 T = 274.17 (out)(err) |
S = OPT O = 51 T = 317.82 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 51 T = 271.33 (out)(err) |
S = OPT O = 51 T = 259.06 (out)(err) |
S = OPT O = 51 T = 742.91 (out)(err) |
S = OPT O = 51 T = 708.73 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv70c350l3g16.wcnf | S = OPT O = 51 T = 325.80 |
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 = 70 T = TO (out)(err) |
S = N/A O = 52 T = TO (out)(err) |
S = OPT O = 51 T = 325.80 (out)(err) |
S = OPT O = 51 T = 403.34 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 51 T = 354.49 (out)(err) |
S = OPT O = 51 T = 363.36 (out)(err) |
S = OPT O = 51 T = 909.52 (out)(err) |
S = OPT O = 51 T = 859.24 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv70c350l3g17.wcnf | S = OPT O = 45 T = 163.56 |
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 = 59 T = TO (out)(err) |
S = N/A O = 46 T = TO (out)(err) |
S = OPT O = 45 T = 219.63 (out)(err) |
S = OPT O = 45 T = 301.99 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 45 T = 170.53 (out)(err) |
S = OPT O = 45 T = 163.56 (out)(err) |
S = OPT O = 45 T = 612.92 (out)(err) |
S = OPT O = 45 T = 587.97 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-c2mv70c350l3g18.wcnf | S = OPT O = 51 T = 706.18 |
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 = 67 T = TO (out)(err) |
S = N/A O = 52 T = TO (out)(err) |
S = OPT O = 51 T = 1072.91 (out)(err) |
S = OPT O = 51 T = 1299.79 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 51 T = 706.18 (out)(err) |
S = OPT O = 51 T = 712.28 (out)(err) |
S = N/A O = 51 T = TO (out)(err) |
S = N/A O = 51 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv70c350l3g19.wcnf | S = OPT O = 55 T = 848.82 |
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 = 75 T = TO (out)(err) |
S = N/A O = 57 T = TO (out)(err) |
S = OPT O = 55 T = 1379.03 (out)(err) |
S = OPT O = 55 T = 1762.18 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 55 T = 850.57 (out)(err) |
S = OPT O = 55 T = 848.82 (out)(err) |
S = N/A O = 56 T = TO (out)(err) |
S = N/A O = 56 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-c2mv70c350l3g2.wcnf | S = OPT O = 48 T = 87.07 |
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 = 70 T = TO (out)(err) |
S = N/A O = 52 T = TO (out)(err) |
S = OPT O = 48 T = 95.08 (out)(err) |
S = OPT O = 48 T = 188.59 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 48 T = 88.49 (out)(err) |
S = OPT O = 48 T = 87.07 (out)(err) |
S = OPT O = 48 T = 209.92 (out)(err) |
S = OPT O = 48 T = 198.95 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv70c350l3g20.wcnf | S = OPT O = 50 T = 261.09 |
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 = 67 T = TO (out)(err) |
S = N/A O = 50 T = TO (out)(err) |
S = OPT O = 50 T = 261.09 (out)(err) |
S = OPT O = 50 T = 346.82 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 50 T = 406.60 (out)(err) |
S = OPT O = 50 T = 324.27 (out)(err) |
S = OPT O = 50 T = 980.68 (out)(err) |
S = OPT O = 50 T = 923.88 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv70c350l3g21.wcnf | S = OPT O = 40 T = 84.57 |
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 = 62 T = TO (out)(err) |
S = N/A O = 42 T = TO (out)(err) |
S = OPT O = 40 T = 84.57 (out)(err) |
S = OPT O = 40 T = 109.59 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 40 T = 134.81 (out)(err) |
S = OPT O = 40 T = 130.35 (out)(err) |
S = OPT O = 40 T = 329.29 (out)(err) |
S = OPT O = 40 T = 309.60 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv70c350l3g22.wcnf | S = OPT O = 50 T = 217.29 |
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 = 71 T = TO (out)(err) |
S = N/A O = 51 T = TO (out)(err) |
S = OPT O = 50 T = 301.08 (out)(err) |
S = OPT O = 50 T = 504.78 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 50 T = 217.52 (out)(err) |
S = OPT O = 50 T = 217.29 (out)(err) |
S = OPT O = 50 T = 686.78 (out)(err) |
S = OPT O = 50 T = 654.09 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv70c350l3g23.wcnf | S = OPT O = 52 T = 142.26 |
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 = 69 T = TO (out)(err) |
S = N/A O = 55 T = TO (out)(err) |
S = OPT O = 52 T = 153.14 (out)(err) |
S = OPT O = 52 T = 283.79 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 52 T = 142.26 (out)(err) |
S = OPT O = 52 T = 143.12 (out)(err) |
S = OPT O = 52 T = 478.79 (out)(err) |
S = OPT O = 52 T = 460.56 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv70c350l3g24.wcnf | S = OPT O = 50 T = 135.42 |
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 = 69 T = TO (out)(err) |
S = N/A O = 51 T = TO (out)(err) |
S = OPT O = 50 T = 135.42 (out)(err) |
S = OPT O = 50 T = 307.98 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 50 T = 224.04 (out)(err) |
S = OPT O = 50 T = 189.21 (out)(err) |
S = OPT O = 50 T = 627.38 (out)(err) |
S = OPT O = 50 T = 598.03 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv70c350l3g25.wcnf | S = OPT O = 45 T = 170.74 |
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 = 70 T = TO (out)(err) |
S = N/A O = 46 T = TO (out)(err) |
S = OPT O = 45 T = 233.06 (out)(err) |
S = OPT O = 45 T = 238.32 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 45 T = 171.31 (out)(err) |
S = OPT O = 45 T = 170.74 (out)(err) |
S = OPT O = 45 T = 444.29 (out)(err) |
S = OPT O = 45 T = 421.42 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv70c350l3g26.wcnf | S = OPT O = 50 T = 88.00 |
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 = 74 T = TO (out)(err) |
S = N/A O = 50 T = TO (out)(err) |
S = OPT O = 50 T = 88.00 (out)(err) |
S = OPT O = 50 T = 172.26 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 50 T = 191.78 (out)(err) |
S = OPT O = 50 T = 189.37 (out)(err) |
S = OPT O = 50 T = 635.27 (out)(err) |
S = OPT O = 50 T = 600.00 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv70c350l3g27.wcnf | S = OPT O = 56 T = 1239.98 |
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 = 71 T = TO (out)(err) |
S = N/A O = 61 T = TO (out)(err) |
S = N/A O = 56 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 = 56 T = 1256.97 (out)(err) |
S = OPT O = 56 T = 1239.98 (out)(err) |
S = N/A O = 57 T = TO (out)(err) |
S = N/A O = 57 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv70c350l3g28.wcnf | S = OPT O = 51 T = 279.15 |
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 = 71 T = TO (out)(err) |
S = N/A O = 51 T = TO (out)(err) |
S = OPT O = 51 T = 279.15 (out)(err) |
S = OPT O = 51 T = 408.58 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 51 T = 469.30 (out)(err) |
S = OPT O = 51 T = 440.54 (out)(err) |
S = OPT O = 51 T = 1457.00 (out)(err) |
S = OPT O = 51 T = 1388.23 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-c2mv70c350l3g29.wcnf | S = OPT O = 55 T = 498.94 |
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 = 80 T = TO (out)(err) |
S = N/A O = 56 T = TO (out)(err) |
S = OPT O = 55 T = 498.94 (out)(err) |
S = OPT O = 55 T = 667.71 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 55 T = 825.07 (out)(err) |
S = OPT O = 55 T = 798.72 (out)(err) |
S = N/A O = 55 T = TO (out)(err) |
S = N/A O = 55 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv70c350l3g3.wcnf | S = OPT O = 49 T = 749.97 |
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 = 76 T = TO (out)(err) |
S = N/A O = 53 T = TO (out)(err) |
S = OPT O = 49 T = 1026.24 (out)(err) |
S = OPT O = 49 T = 1251.59 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 49 T = 749.97 (out)(err) |
S = OPT O = 49 T = 762.96 (out)(err) |
S = N/A O = 50 T = TO (out)(err) |
S = N/A O = 49 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv70c350l3g30.wcnf | S = OPT O = 53 T = 938.14 |
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 = 72 T = TO (out)(err) |
S = N/A O = 57 T = TO (out)(err) |
S = OPT O = 53 T = 938.14 (out)(err) |
S = N/A O = 53 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 53 T = 1186.74 (out)(err) |
S = OPT O = 53 T = 1167.68 (out)(err) |
S = N/A O = 53 T = TO (out)(err) |
S = N/A O = 53 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv70c350l3g4.wcnf | S = OPT O = 47 T = 111.02 |
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 = 61 T = TO (out)(err) |
S = N/A O = 50 T = TO (out)(err) |
S = OPT O = 47 T = 148.69 (out)(err) |
S = OPT O = 47 T = 174.40 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 47 T = 111.02 (out)(err) |
S = OPT O = 47 T = 111.53 (out)(err) |
S = OPT O = 47 T = 307.09 (out)(err) |
S = OPT O = 47 T = 292.30 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv70c350l3g5.wcnf | S = OPT O = 46 T = 59.98 |
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 = 66 T = TO (out)(err) |
S = N/A O = 51 T = TO (out)(err) |
S = OPT O = 46 T = 162.05 (out)(err) |
S = OPT O = 46 T = 150.86 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 46 T = 59.98 (out)(err) |
S = OPT O = 46 T = 60.48 (out)(err) |
S = OPT O = 46 T = 160.85 (out)(err) |
S = OPT O = 46 T = 151.18 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv70c350l3g6.wcnf | S = OPT O = 49 T = 75.72 |
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 = 72 T = TO (out)(err) |
S = N/A O = 49 T = TO (out)(err) |
S = OPT O = 49 T = 75.72 (out)(err) |
S = OPT O = 49 T = 154.08 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 49 T = 100.29 (out)(err) |
S = OPT O = 49 T = 103.41 (out)(err) |
S = OPT O = 49 T = 274.93 (out)(err) |
S = OPT O = 49 T = 260.90 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv70c350l3g7.wcnf | S = OPT O = 54 T = 751.27 |
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 = 60 T = TO (out)(err) |
S = N/A O = 55 T = TO (out)(err) |
S = OPT O = 54 T = 861.64 (out)(err) |
S = OPT O = 54 T = 1498.10 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 54 T = 751.27 (out)(err) |
S = OPT O = 54 T = 766.79 (out)(err) |
S = N/A O = 54 T = TO (out)(err) |
S = N/A O = 54 T = TO (out)(err) |
S = N/A O = N/A T = 1783.52 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-c2mv70c350l3g8.wcnf | S = OPT O = 48 T = 422.98 |
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 = 58 T = TO (out)(err) |
S = N/A O = 50 T = TO (out)(err) |
S = OPT O = 48 T = 654.51 (out)(err) |
S = OPT O = 48 T = 968.94 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 48 T = 475.18 (out)(err) |
S = OPT O = 48 T = 422.98 (out)(err) |
S = OPT O = 48 T = 1327.25 (out)(err) |
S = OPT O = 48 T = 1275.76 (out)(err) |
S = N/A O = N/A T = 1756.24 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv70c350l3g9.wcnf | S = OPT O = 50 T = 454.06 |
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 = 68 T = TO (out)(err) |
S = N/A O = 51 T = TO (out)(err) |
S = OPT O = 50 T = 680.52 (out)(err) |
S = OPT O = 50 T = 1103.40 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 50 T = 454.06 (out)(err) |
S = OPT O = 50 T = 458.18 (out)(err) |
S = OPT O = 50 T = 1337.37 (out)(err) |
S = OPT O = 50 T = 1274.03 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv80c400l3g1.wcnf | S = OPT O = 56 T = 481.02 |
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 = 95 T = TO (out)(err) |
S = N/A O = 59 T = TO (out)(err) |
S = OPT O = 56 T = 604.37 (out)(err) |
S = OPT O = 56 T = 970.85 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 56 T = 481.02 (out)(err) |
S = OPT O = 56 T = 488.56 (out)(err) |
S = OPT O = 56 T = 1222.77 (out)(err) |
S = OPT O = 56 T = 1163.02 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv80c400l3g10.wcnf | S = OPT O = 55 T = 380.42 |
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 = 85 T = TO (out)(err) |
S = N/A O = 56 T = TO (out)(err) |
S = OPT O = 55 T = 380.42 (out)(err) |
S = OPT O = 55 T = 653.29 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 55 T = 606.70 (out)(err) |
S = OPT O = 55 T = 595.25 (out)(err) |
S = OPT O = 55 T = 1451.39 (out)(err) |
S = OPT O = 55 T = 1374.39 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv80c400l3g11.wcnf | S = OPT O = 57 T = 1021.66 |
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 = 84 T = TO (out)(err) |
S = N/A O = 58 T = TO (out)(err) |
S = OPT O = 57 T = 1021.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 = 57 T = 1142.85 (out)(err) |
S = OPT O = 57 T = 1151.72 (out)(err) |
S = N/A O = 57 T = TO (out)(err) |
S = N/A O = 57 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-c2mv80c400l3g12.wcnf | 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 = N/A T = TO (out)(err) |
S = N/A O = 86 T = TO (out)(err) |
S = N/A O = 65 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 = 66 T = TO (out)(err) |
S = N/A O = 66 T = TO (out)(err) |
S = N/A O = 66 T = TO (out)(err) |
S = N/A O = 66 T = TO (out)(err) |
S = N/A O = N/A T = 1758.12 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv80c400l3g13.wcnf | 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 = N/A T = TO (out)(err) |
S = N/A O = 88 T = TO (out)(err) |
S = N/A O = 64 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 = 60 T = TO (out)(err) |
S = N/A O = 60 T = TO (out)(err) |
S = N/A O = 61 T = TO (out)(err) |
S = N/A O = 61 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv80c400l3g14.wcnf | 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 = N/A T = TO (out)(err) |
S = N/A O = 83 T = TO (out)(err) |
S = N/A O = 60 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 = 59 T = TO (out)(err) |
S = N/A O = 59 T = TO (out)(err) |
S = N/A O = 59 T = TO (out)(err) |
S = N/A O = 59 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv80c400l3g15.wcnf | S = OPT O = 59 T = 857.45 |
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 = 92 T = TO (out)(err) |
S = N/A O = 61 T = TO (out)(err) |
S = OPT O = 59 T = 857.45 (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 = 59 T = TO (out)(err) |
S = N/A O = 59 T = TO (out)(err) |
S = N/A O = 60 T = TO (out)(err) |
S = N/A O = 60 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-c2mv80c400l3g16.wcnf | 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 = N/A T = TO (out)(err) |
S = N/A O = 89 T = TO (out)(err) |
S = N/A O = 64 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 = 61 T = TO (out)(err) |
S = N/A O = 61 T = TO (out)(err) |
S = N/A O = 62 T = TO (out)(err) |
S = N/A O = 62 T = TO (out)(err) |
S = N/A O = N/A T = 1694.82 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-c2mv80c400l3g17.wcnf | 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 = N/A T = TO (out)(err) |
S = N/A O = 83 T = TO (out)(err) |
S = N/A O = 69 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 = 71 T = TO (out)(err) |
S = N/A O = 70 T = TO (out)(err) |
S = N/A O = 70 T = TO (out)(err) |
S = N/A O = 70 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-c2mv80c400l3g18.wcnf | S = OPT O = 58 T = 1035.78 |
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 = 89 T = TO (out)(err) |
S = N/A O = 59 T = TO (out)(err) |
S = OPT O = 58 T = 1204.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 = 58 T = 1035.78 (out)(err) |
S = OPT O = 58 T = 1084.32 (out)(err) |
S = N/A O = 58 T = TO (out)(err) |
S = N/A O = 58 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv80c400l3g19.wcnf | S = OPT O = 55 T = 1566.94 |
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 = 82 T = TO (out)(err) |
S = N/A O = 61 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 = 55 T = 1566.94 (out)(err) |
S = OPT O = 55 T = 1572.74 (out)(err) |
S = N/A O = 56 T = TO (out)(err) |
S = N/A O = 56 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv80c400l3g2.wcnf | 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 = N/A T = TO (out)(err) |
S = N/A O = 94 T = TO (out)(err) |
S = N/A O = 67 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 = 70 T = TO (out)(err) |
S = N/A O = 67 T = TO (out)(err) |
S = N/A O = 68 T = TO (out)(err) |
S = N/A O = 68 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv80c400l3g20.wcnf | S = OPT O = 56 T = 771.50 |
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 = 95 T = TO (out)(err) |
S = N/A O = 60 T = TO (out)(err) |
S = OPT O = 56 T = 846.13 (out)(err) |
S = OPT O = 56 T = 1475.01 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 56 T = 771.50 (out)(err) |
S = OPT O = 56 T = 772.39 (out)(err) |
S = N/A O = 56 T = TO (out)(err) |
S = N/A O = 56 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv80c400l3g21.wcnf | 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 = N/A T = TO (out)(err) |
S = N/A O = 91 T = TO (out)(err) |
S = N/A O = 68 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 = 66 T = TO (out)(err) |
S = N/A O = 66 T = TO (out)(err) |
S = N/A O = 66 T = TO (out)(err) |
S = N/A O = 66 T = TO (out)(err) |
S = N/A O = N/A T = 1707.61 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-c2mv80c400l3g22.wcnf | S = OPT O = 64 T = 1543.27 |
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 = 97 T = TO (out)(err) |
S = N/A O = 65 T = TO (out)(err) |
S = OPT O = 64 T = 1543.27 (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 = 64 T = TO (out)(err) |
S = N/A O = 64 T = TO (out)(err) |
S = N/A O = 64 T = TO (out)(err) |
S = N/A O = 64 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-c2mv80c400l3g23.wcnf | S = OPT O = 56 T = 934.79 |
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 = 92 T = TO (out)(err) |
S = N/A O = 61 T = TO (out)(err) |
S = OPT O = 56 T = 1312.83 (out)(err) |
S = OPT O = 56 T = 1712.80 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 56 T = 934.79 (out)(err) |
S = OPT O = 56 T = 952.96 (out)(err) |
S = N/A O = 56 T = TO (out)(err) |
S = N/A O = 56 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-c2mv80c400l3g24.wcnf | S = OPT O = 51 T = 139.95 |
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 = 53 T = TO (out)(err) |
S = OPT O = 51 T = 172.71 (out)(err) |
S = OPT O = 51 T = 346.97 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 51 T = 139.95 (out)(err) |
S = OPT O = 51 T = 140.03 (out)(err) |
S = OPT O = 51 T = 423.38 (out)(err) |
S = OPT O = 51 T = 404.20 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv80c400l3g25.wcnf | S = OPT O = 55 T = 1005.16 |
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 = 98 T = TO (out)(err) |
S = N/A O = 56 T = TO (out)(err) |
S = OPT O = 55 T = 1115.17 (out)(err) |
S = N/A O = 55 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 55 T = 1015.37 (out)(err) |
S = OPT O = 55 T = 1005.16 (out)(err) |
S = N/A O = 55 T = TO (out)(err) |
S = N/A O = 55 T = TO (out)(err) |
S = N/A O = N/A T = 1779.75 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv80c400l3g26.wcnf | 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 = N/A T = TO (out)(err) |
S = N/A O = 97 T = TO (out)(err) |
S = N/A O = 62 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 = 60 T = TO (out)(err) |
S = N/A O = 60 T = TO (out)(err) |
S = N/A O = 61 T = TO (out)(err) |
S = N/A O = 61 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv80c400l3g27.wcnf | S = OPT O = 59 T = 1545.97 |
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 = 88 T = TO (out)(err) |
S = N/A O = 62 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 = 59 T = 1555.93 (out)(err) |
S = OPT O = 59 T = 1545.97 (out)(err) |
S = N/A O = 59 T = TO (out)(err) |
S = N/A O = 59 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv80c400l3g28.wcnf | S = OPT O = 57 T = 566.50 |
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 = 89 T = TO (out)(err) |
S = N/A O = 57 T = TO (out)(err) |
S = OPT O = 57 T = 566.50 (out)(err) |
S = OPT O = 57 T = 1181.78 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 57 T = 876.72 (out)(err) |
S = OPT O = 57 T = 904.98 (out)(err) |
S = N/A O = 57 T = TO (out)(err) |
S = N/A O = 57 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-c2mv80c400l3g29.wcnf | S = OPT O = 63 T = 1464.64 |
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 = 63 T = TO (out)(err) |
S = OPT O = 63 T = 1464.64 (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 = 65 T = TO (out)(err) |
S = N/A O = 65 T = TO (out)(err) |
S = N/A O = 67 T = TO (out)(err) |
S = N/A O = 67 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv80c400l3g3.wcnf | 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 = N/A T = TO (out)(err) |
S = N/A O = 96 T = TO (out)(err) |
S = N/A O = 64 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 = 63 T = TO (out)(err) |
S = N/A O = 63 T = TO (out)(err) |
S = N/A O = 64 T = TO (out)(err) |
S = N/A O = 64 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv80c400l3g30.wcnf | 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 = N/A T = TO (out)(err) |
S = N/A O = 93 T = TO (out)(err) |
S = N/A O = 63 T = TO (out)(err) |
S = N/A O = 59 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 = 60 T = TO (out)(err) |
S = N/A O = 60 T = TO (out)(err) |
S = N/A O = 63 T = TO (out)(err) |
S = N/A O = 63 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv80c400l3g4.wcnf | S = OPT O = 61 T = 859.24 |
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 = 95 T = TO (out)(err) |
S = N/A O = 63 T = TO (out)(err) |
S = OPT O = 61 T = 859.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 = 61 T = 1626.94 (out)(err) |
S = OPT O = 61 T = 1609.97 (out)(err) |
S = N/A O = 64 T = TO (out)(err) |
S = N/A O = 64 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv80c400l3g5.wcnf | 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 = N/A T = TO (out)(err) |
S = N/A O = 87 T = TO (out)(err) |
S = N/A O = 65 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 = 65 T = TO (out)(err) |
S = N/A O = 65 T = TO (out)(err) |
S = N/A O = 66 T = TO (out)(err) |
S = N/A O = 65 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-c2mv80c400l3g6.wcnf | S = OPT O = 59 T = 802.58 |
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 = 91 T = TO (out)(err) |
S = N/A O = 59 T = TO (out)(err) |
S = OPT O = 59 T = 802.58 (out)(err) |
S = N/A O = 59 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 59 T = 1565.94 (out)(err) |
S = OPT O = 59 T = 1539.27 (out)(err) |
S = N/A O = 60 T = TO (out)(err) |
S = N/A O = 59 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv80c400l3g7.wcnf | 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 = N/A T = TO (out)(err) |
S = N/A O = 92 T = TO (out)(err) |
S = N/A O = 67 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 = 64 T = TO (out)(err) |
S = N/A O = 64 T = TO (out)(err) |
S = N/A O = 65 T = TO (out)(err) |
S = N/A O = 65 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
clq1-c2mv80c400l3g8.wcnf | 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 = N/A T = TO (out)(err) |
S = N/A O = 86 T = TO (out)(err) |
S = N/A O = 66 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 = 66 T = TO (out)(err) |
S = N/A O = 66 T = TO (out)(err) |
S = N/A O = 68 T = TO (out)(err) |
S = N/A O = 68 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
clq1-c2mv80c400l3g9.wcnf | S = OPT O = 59 T = 1388.54 |
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 = 86 T = TO (out)(err) |
S = N/A O = 62 T = TO (out)(err) |
S = OPT O = 59 T = 1388.54 (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 = 60 T = TO (out)(err) |
S = N/A O = 60 T = TO (out)(err) |
S = N/A O = 61 T = TO (out)(err) |
S = N/A O = 61 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
file_rpms_wcnf_L2_V150_C4000_H150_0.wcnf | S = OPT O = 802 T = 0.44 |
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 = 930 T = TO (out)(err) |
S = N/A O = 973 T = 277.45 (out)(err) |
S = OPT O = 802 T = 2.08 (out)(err) |
S = OPT O = 802 T = 1.66 (out)(err) |
S = N/A O = N/A T = 220.61 (out)(err) |
S = OPT O = 802 T = 0.44 (out)(err) |
S = OPT O = 802 T = 0.87 (out)(err) |
S = OPT O = 802 T = 3.33 (out)(err) |
S = OPT O = 802 T = 3.24 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C4000_H150_1.wcnf | S = UNSAT O = N/A T = 0.01 |
S = UNSAT O = N/A T = 0.03 (out)(err) |
S = UNSAT O = N/A T = 0.01 (out)(err) |
S = UNSAT O = N/A T = 0.01 (out)(err) |
S = UNSAT O = N/A T = 0.98 (out)(err) |
S = UNSAT O = N/A T = 0.14 (out)(err) |
S = UNSAT O = N/A T = 0.03 (out)(err) |
S = UNSAT O = N/A T = 0.03 (out)(err) |
S = UNSAT O = N/A T = 0.01 (out)(err) |
S = UNSAT O = N/A T = 0.02 (out)(err) |
S = UNSAT O = N/A T = 0.75 (out)(err) |
S = UNSAT O = N/A T = 0.73 (out)(err) |
S = UNSAT O = N/A T = 0.73 (out)(err) |
S = UNSAT O = N/A T = 0.02 (out)(err) |
S = UNSAT O = N/A T = 0.01 (out)(err) |
file_rpms_wcnf_L2_V150_C4000_H150_2.wcnf | S = OPT O = 805 T = 0.61 |
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 = 934 T = 1556.43 (out)(err) |
S = N/A O = 933 T = 280.74 (out)(err) |
S = OPT O = 805 T = 1.50 (out)(err) |
S = OPT O = 805 T = 1.43 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 805 T = 0.61 (out)(err) |
S = OPT O = 805 T = 1.26 (out)(err) |
S = OPT O = 805 T = 9.18 (out)(err) |
S = OPT O = 805 T = 5.66 (out)(err) |
S = N/A O = N/A T = 1718.01 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C4000_H150_3.wcnf | S = OPT O = 752 T = 1.23 |
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 = 909 T = 1384.59 (out)(err) |
S = N/A O = 947 T = 287.20 (out)(err) |
S = OPT O = 752 T = 4.91 (out)(err) |
S = OPT O = 752 T = 4.72 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 752 T = 1.50 (out)(err) |
S = OPT O = 752 T = 1.23 (out)(err) |
S = OPT O = 752 T = 3.48 (out)(err) |
S = OPT O = 752 T = 3.52 (out)(err) |
S = N/A O = N/A T = 1782.48 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
file_rpms_wcnf_L2_V150_C4000_H150_4.wcnf | S = OPT O = 750 T = 1.37 |
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 = 896 T = 1423.92 (out)(err) |
S = N/A O = 1012 T = 272.80 (out)(err) |
S = OPT O = 750 T = 4.91 (out)(err) |
S = OPT O = 750 T = 5.63 (out)(err) |
S = N/A O = N/A T = 129.30 (out)(err) |
S = OPT O = 750 T = 2.46 (out)(err) |
S = OPT O = 750 T = 1.37 (out)(err) |
S = OPT O = 750 T = 8.41 (out)(err) |
S = OPT O = 750 T = 8.09 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
file_rpms_wcnf_L2_V150_C4000_H150_5.wcnf | S = OPT O = 756 T = 3.12 |
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 = 879 T = 1686.60 (out)(err) |
S = N/A O = 910 T = 256.84 (out)(err) |
S = OPT O = 756 T = 18.97 (out)(err) |
S = OPT O = 756 T = 18.56 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 756 T = 6.25 (out)(err) |
S = OPT O = 756 T = 3.12 (out)(err) |
S = OPT O = 756 T = 17.17 (out)(err) |
S = OPT O = 756 T = 17.01 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C4000_H150_6.wcnf | S = OPT O = 782 T = 4.96 |
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 = 881 T = 1662.38 (out)(err) |
S = N/A O = 945 T = 213.67 (out)(err) |
S = OPT O = 782 T = 29.58 (out)(err) |
S = OPT O = 782 T = 29.32 (out)(err) |
S = N/A O = N/A T = 220.09 (out)(err) |
S = OPT O = 782 T = 8.04 (out)(err) |
S = OPT O = 782 T = 4.96 (out)(err) |
S = OPT O = 782 T = 40.70 (out)(err) |
S = OPT O = 782 T = 39.28 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
file_rpms_wcnf_L2_V150_C4000_H150_7.wcnf | S = OPT O = 755 T = 2.30 |
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 = 921 T = 1358.42 (out)(err) |
S = N/A O = 962 T = 222.83 (out)(err) |
S = OPT O = 755 T = 17.51 (out)(err) |
S = OPT O = 755 T = 16.84 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 755 T = 4.50 (out)(err) |
S = OPT O = 755 T = 2.30 (out)(err) |
S = OPT O = 755 T = 9.29 (out)(err) |
S = OPT O = 755 T = 9.39 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C4000_H150_8.wcnf | S = OPT O = 764 T = 18.16 |
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 = 915 T = 1408.61 (out)(err) |
S = N/A O = 898 T = 228.09 (out)(err) |
S = OPT O = 764 T = 92.52 (out)(err) |
S = OPT O = 764 T = 88.15 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 764 T = 22.50 (out)(err) |
S = OPT O = 764 T = 18.16 (out)(err) |
S = OPT O = 764 T = 69.06 (out)(err) |
S = OPT O = 764 T = 70.01 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C4000_H150_9.wcnf | S = OPT O = 792 T = 3.48 |
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 = 948 T = 1502.57 (out)(err) |
S = N/A O = 951 T = 256.93 (out)(err) |
S = OPT O = 792 T = 13.01 (out)(err) |
S = OPT O = 792 T = 11.67 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 792 T = 3.85 (out)(err) |
S = OPT O = 792 T = 3.48 (out)(err) |
S = OPT O = 792 T = 21.51 (out)(err) |
S = OPT O = 792 T = 20.34 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C4500_H150_0.wcnf | S = OPT O = 867 T = 4.30 |
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 = 1047 T = 1101.91 (out)(err) |
S = N/A O = 1118 T = 124.04 (out)(err) |
S = OPT O = 867 T = 38.05 (out)(err) |
S = OPT O = 867 T = 35.50 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 867 T = 10.59 (out)(err) |
S = OPT O = 867 T = 4.30 (out)(err) |
S = OPT O = 867 T = 23.87 (out)(err) |
S = OPT O = 867 T = 23.19 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C4500_H150_1.wcnf | S = OPT O = 905 T = 2.67 |
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 = 1021 T = 1279.59 (out)(err) |
S = N/A O = 1190 T = 136.90 (out)(err) |
S = OPT O = 905 T = 30.33 (out)(err) |
S = OPT O = 905 T = 29.87 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 905 T = 8.55 (out)(err) |
S = OPT O = 905 T = 2.67 (out)(err) |
S = OPT O = 905 T = 28.14 (out)(err) |
S = OPT O = 905 T = 27.07 (out)(err) |
S = N/A O = N/A T = 1635.15 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C4500_H150_2.wcnf | S = OPT O = 912 T = 1.98 |
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 = 1007 T = 1492.53 (out)(err) |
S = N/A O = 1148 T = TO (out)(err) |
S = OPT O = 912 T = 13.23 (out)(err) |
S = OPT O = 912 T = 12.93 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 912 T = 3.42 (out)(err) |
S = OPT O = 912 T = 1.98 (out)(err) |
S = OPT O = 912 T = 15.45 (out)(err) |
S = OPT O = 912 T = 15.44 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C4500_H150_3.wcnf | S = OPT O = 878 T = 0.93 |
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 = 1053 T = 1259.91 (out)(err) |
S = N/A O = 1053 T = 142.27 (out)(err) |
S = OPT O = 878 T = 3.62 (out)(err) |
S = OPT O = 878 T = 3.20 (out)(err) |
S = N/A O = N/A T = 186.54 (out)(err) |
S = OPT O = 878 T = 0.93 (out)(err) |
S = OPT O = 878 T = 1.35 (out)(err) |
S = OPT O = 878 T = 7.76 (out)(err) |
S = OPT O = 878 T = 7.53 (out)(err) |
S = N/A O = N/A T = 1793.70 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
file_rpms_wcnf_L2_V150_C4500_H150_4.wcnf | S = OPT O = 890 T = 6.00 |
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 = 1066 T = 1155.55 (out)(err) |
S = N/A O = 1118 T = TO (out)(err) |
S = OPT O = 890 T = 23.08 (out)(err) |
S = OPT O = 890 T = 22.73 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 890 T = 9.41 (out)(err) |
S = OPT O = 890 T = 6.00 (out)(err) |
S = OPT O = 890 T = 49.07 (out)(err) |
S = OPT O = 890 T = 48.11 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C4500_H150_5.wcnf | S = OPT O = 881 T = 3.85 |
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 = 1104 T = 1108.41 (out)(err) |
S = N/A O = 1095 T = TO (out)(err) |
S = OPT O = 881 T = 17.92 (out)(err) |
S = OPT O = 881 T = 18.11 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 881 T = 5.24 (out)(err) |
S = OPT O = 881 T = 3.85 (out)(err) |
S = OPT O = 881 T = 21.34 (out)(err) |
S = OPT O = 881 T = 20.93 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
file_rpms_wcnf_L2_V150_C4500_H150_6.wcnf | S = OPT O = 856 T = 1.29 |
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 = 985 T = 1325.01 (out)(err) |
S = N/A O = 1060 T = 134.36 (out)(err) |
S = OPT O = 856 T = 20.82 (out)(err) |
S = OPT O = 856 T = 20.96 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 856 T = 5.74 (out)(err) |
S = OPT O = 856 T = 1.29 (out)(err) |
S = OPT O = 856 T = 5.74 (out)(err) |
S = OPT O = 856 T = 5.56 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C4500_H150_7.wcnf | S = OPT O = 875 T = 3.38 |
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 = 1034 T = 1230.23 (out)(err) |
S = N/A O = 1065 T = TO (out)(err) |
S = OPT O = 875 T = 31.43 (out)(err) |
S = OPT O = 875 T = 30.08 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 875 T = 7.16 (out)(err) |
S = OPT O = 875 T = 3.38 (out)(err) |
S = OPT O = 875 T = 36.05 (out)(err) |
S = OPT O = 875 T = 34.55 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C4500_H150_8.wcnf | S = OPT O = 908 T = 1.42 |
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 = 1048 T = 1561.35 (out)(err) |
S = N/A O = 1076 T = TO (out)(err) |
S = OPT O = 908 T = 4.43 (out)(err) |
S = OPT O = 908 T = 4.92 (out)(err) |
S = N/A O = N/A T = 280.57 (out)(err) |
S = OPT O = 908 T = 1.92 (out)(err) |
S = OPT O = 908 T = 1.42 (out)(err) |
S = OPT O = 908 T = 11.13 (out)(err) |
S = OPT O = 908 T = 11.03 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C4500_H150_9.wcnf | S = OPT O = 898 T = 1.28 |
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 = 1048 T = 1523.06 (out)(err) |
S = N/A O = 1003 T = 149.57 (out)(err) |
S = OPT O = 898 T = 8.95 (out)(err) |
S = OPT O = 898 T = 7.61 (out)(err) |
S = N/A O = N/A T = 192.69 (out)(err) |
S = OPT O = 898 T = 2.08 (out)(err) |
S = OPT O = 898 T = 1.28 (out)(err) |
S = OPT O = 898 T = 9.50 (out)(err) |
S = OPT O = 898 T = 9.14 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
file_rpms_wcnf_L2_V150_C5000_H150_0.wcnf | S = OPT O = 1018 T = 1.42 |
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 = 1178 T = 1271.39 (out)(err) |
S = N/A O = 1183 T = 180.01 (out)(err) |
S = OPT O = 1018 T = 16.60 (out)(err) |
S = OPT O = 1018 T = 19.85 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1018 T = 4.12 (out)(err) |
S = OPT O = 1018 T = 1.42 (out)(err) |
S = OPT O = 1018 T = 5.48 (out)(err) |
S = OPT O = 1018 T = 5.05 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C5000_H150_1.wcnf | S = OPT O = 1015 T = 1.61 |
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 = 1198 T = 1599.22 (out)(err) |
S = N/A O = 1282 T = TO (out)(err) |
S = OPT O = 1015 T = 26.68 (out)(err) |
S = OPT O = 1015 T = 27.90 (out)(err) |
S = N/A O = N/A T = 296.12 (out)(err) |
S = OPT O = 1015 T = 5.52 (out)(err) |
S = OPT O = 1015 T = 1.61 (out)(err) |
S = OPT O = 1015 T = 7.69 (out)(err) |
S = OPT O = 1015 T = 7.50 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C5000_H150_2.wcnf | S = OPT O = 979 T = 2.39 |
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 = 1120 T = 1220.79 (out)(err) |
S = N/A O = 1178 T = 128.22 (out)(err) |
S = OPT O = 979 T = 17.30 (out)(err) |
S = OPT O = 979 T = 16.00 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 979 T = 8.48 (out)(err) |
S = OPT O = 979 T = 2.39 (out)(err) |
S = OPT O = 979 T = 14.72 (out)(err) |
S = OPT O = 979 T = 14.63 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
file_rpms_wcnf_L2_V150_C5000_H150_3.wcnf | S = OPT O = 1032 T = 3.48 |
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 = 1164 T = 1271.78 (out)(err) |
S = N/A O = 1233 T = TO (out)(err) |
S = OPT O = 1032 T = 13.85 (out)(err) |
S = OPT O = 1032 T = 13.86 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1032 T = 3.48 (out)(err) |
S = OPT O = 1032 T = 3.88 (out)(err) |
S = OPT O = 1032 T = 31.86 (out)(err) |
S = OPT O = 1032 T = 30.21 (out)(err) |
S = N/A O = N/A T = 1794.84 (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C5000_H150_4.wcnf | S = OPT O = 1018 T = 7.74 |
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 = 1155 T = 1104.98 (out)(err) |
S = N/A O = 1215 T = 176.64 (out)(err) |
S = OPT O = 1018 T = 126.02 (out)(err) |
S = OPT O = 1018 T = 130.24 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1018 T = 22.58 (out)(err) |
S = OPT O = 1018 T = 7.74 (out)(err) |
S = OPT O = 1018 T = 46.82 (out)(err) |
S = OPT O = 1018 T = 46.59 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
file_rpms_wcnf_L2_V150_C5000_H150_5.wcnf | S = OPT O = 991 T = 2.41 |
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 = 1130 T = 1204.25 (out)(err) |
S = N/A O = 1257 T = TO (out)(err) |
S = OPT O = 991 T = 14.50 (out)(err) |
S = OPT O = 991 T = 12.55 (out)(err) |
S = N/A O = N/A T = 93.46 (out)(err) |
S = OPT O = 991 T = 3.43 (out)(err) |
S = OPT O = 991 T = 2.41 (out)(err) |
S = OPT O = 991 T = 12.07 (out)(err) |
S = OPT O = 991 T = 11.99 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C5000_H150_6.wcnf | S = OPT O = 1005 T = 2.12 |
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 = 1129 T = 1200.84 (out)(err) |
S = N/A O = 1144 T = TO (out)(err) |
S = OPT O = 1005 T = 9.46 (out)(err) |
S = OPT O = 1005 T = 9.43 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 1005 T = 3.95 (out)(err) |
S = OPT O = 1005 T = 2.12 (out)(err) |
S = OPT O = 1005 T = 14.25 (out)(err) |
S = OPT O = 1005 T = 14.41 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
file_rpms_wcnf_L2_V150_C5000_H150_7.wcnf | S = OPT O = 991 T = 2.37 |
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 = 1132 T = 1229.21 (out)(err) |
S = N/A O = 1241 T = 103.72 (out)(err) |
S = OPT O = 991 T = 35.01 (out)(err) |
S = OPT O = 991 T = 33.65 (out)(err) |
S = N/A O = N/A T = 110.53 (out)(err) |
S = OPT O = 991 T = 2.37 (out)(err) |
S = OPT O = 991 T = 2.79 (out)(err) |
S = OPT O = 991 T = 23.11 (out)(err) |
S = OPT O = 991 T = 22.91 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C5000_H150_8.wcnf | S = OPT O = 999 T = 0.70 |
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 = 1151 T = 1505.47 (out)(err) |
S = N/A O = 1155 T = 154.76 (out)(err) |
S = OPT O = 999 T = 2.30 (out)(err) |
S = OPT O = 999 T = 2.25 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 999 T = 0.70 (out)(err) |
S = OPT O = 999 T = 1.26 (out)(err) |
S = OPT O = 999 T = 7.18 (out)(err) |
S = OPT O = 999 T = 7.05 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C5000_H150_9.wcnf | S = OPT O = 993 T = 1.15 |
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 = 1204 T = 1324.95 (out)(err) |
S = N/A O = 1277 T = TO (out)(err) |
S = OPT O = 993 T = 4.37 (out)(err) |
S = OPT O = 993 T = 4.13 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 993 T = 1.15 (out)(err) |
S = OPT O = 993 T = 1.34 (out)(err) |
S = OPT O = 993 T = 6.60 (out)(err) |
S = OPT O = 993 T = 6.59 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C2500_H150_0.wcnf | S = OPT O = 464 T = 0.30 |
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 = 536 T = TO (out)(err) |
S = N/A O = 583 T = 112.55 (out)(err) |
S = OPT O = 464 T = 0.58 (out)(err) |
S = OPT O = 464 T = 0.55 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 464 T = 0.30 (out)(err) |
S = OPT O = 464 T = 0.67 (out)(err) |
S = OPT O = 464 T = 2.02 (out)(err) |
S = OPT O = 464 T = 1.86 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C2500_H150_1.wcnf | S = OPT O = 454 T = 0.44 |
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 = 575 T = TO (out)(err) |
S = N/A O = 541 T = 523.45 (out)(err) |
S = OPT O = 454 T = 1.20 (out)(err) |
S = OPT O = 454 T = 1.24 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 454 T = 0.44 (out)(err) |
S = OPT O = 454 T = 0.68 (out)(err) |
S = OPT O = 454 T = 2.66 (out)(err) |
S = OPT O = 454 T = 2.59 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C2500_H150_2.wcnf | S = OPT O = 423 T = 0.92 |
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 = 543 T = TO (out)(err) |
S = N/A O = 549 T = TO (out)(err) |
S = OPT O = 423 T = 6.33 (out)(err) |
S = OPT O = 423 T = 5.56 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 423 T = 2.76 (out)(err) |
S = OPT O = 423 T = 0.92 (out)(err) |
S = OPT O = 423 T = 3.79 (out)(err) |
S = OPT O = 423 T = 3.56 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
file_rpms_wcnf_L2_V150_C2500_H150_3.wcnf | S = OPT O = 442 T = 1.03 |
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 = 551 T = TO (out)(err) |
S = N/A O = 611 T = TO (out)(err) |
S = OPT O = 442 T = 2.22 (out)(err) |
S = OPT O = 442 T = 2.17 (out)(err) |
S = N/A O = N/A T = 214.00 (out)(err) |
S = OPT O = 442 T = 1.03 (out)(err) |
S = OPT O = 442 T = 1.24 (out)(err) |
S = OPT O = 442 T = 6.39 (out)(err) |
S = OPT O = 442 T = 6.02 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C2500_H150_4.wcnf | S = OPT O = 447 T = 0.26 |
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 = 535 T = TO (out)(err) |
S = N/A O = 613 T = TO (out)(err) |
S = OPT O = 447 T = 0.46 (out)(err) |
S = OPT O = 447 T = 0.46 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 447 T = 0.26 (out)(err) |
S = OPT O = 447 T = 0.60 (out)(err) |
S = OPT O = 447 T = 1.54 (out)(err) |
S = OPT O = 447 T = 1.50 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C2500_H150_5.wcnf | S = OPT O = 433 T = 0.25 |
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 = 521 T = TO (out)(err) |
S = N/A O = 531 T = 494.94 (out)(err) |
S = OPT O = 433 T = 0.39 (out)(err) |
S = OPT O = 433 T = 0.35 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 433 T = 0.25 (out)(err) |
S = OPT O = 433 T = 0.59 (out)(err) |
S = OPT O = 433 T = 1.43 (out)(err) |
S = OPT O = 433 T = 1.45 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C2500_H150_6.wcnf | S = OPT O = 461 T = 0.63 |
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 = 523 T = TO (out)(err) |
S = N/A O = 518 T = 246.17 (out)(err) |
S = OPT O = 461 T = 1.77 (out)(err) |
S = OPT O = 461 T = 1.67 (out)(err) |
S = N/A O = N/A T = 210.39 (out)(err) |
S = OPT O = 461 T = 0.63 (out)(err) |
S = OPT O = 461 T = 0.96 (out)(err) |
S = OPT O = 461 T = 9.72 (out)(err) |
S = OPT O = 461 T = 9.23 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C2500_H150_7.wcnf | S = OPT O = 434 T = 1.08 |
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 = 549 T = TO (out)(err) |
S = N/A O = 563 T = TO (out)(err) |
S = OPT O = 434 T = 5.26 (out)(err) |
S = OPT O = 434 T = 5.00 (out)(err) |
S = N/A O = N/A T = 283.44 (out)(err) |
S = OPT O = 434 T = 2.64 (out)(err) |
S = OPT O = 434 T = 1.08 (out)(err) |
S = OPT O = 434 T = 4.08 (out)(err) |
S = OPT O = 434 T = 3.92 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
file_rpms_wcnf_L2_V150_C2500_H150_8.wcnf | S = OPT O = 456 T = 1.39 |
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 = 531 T = TO (out)(err) |
S = N/A O = 605 T = TO (out)(err) |
S = OPT O = 456 T = 3.10 (out)(err) |
S = OPT O = 456 T = 2.95 (out)(err) |
S = N/A O = N/A T = 168.56 (out)(err) |
S = OPT O = 456 T = 1.39 (out)(err) |
S = OPT O = 456 T = 1.45 (out)(err) |
S = OPT O = 456 T = 7.35 (out)(err) |
S = OPT O = 456 T = 7.21 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C2500_H150_9.wcnf | S = OPT O = 470 T = 0.19 |
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 = 575 T = TO (out)(err) |
S = N/A O = 588 T = TO (out)(err) |
S = OPT O = 470 T = 0.43 (out)(err) |
S = OPT O = 470 T = 0.39 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 470 T = 0.19 (out)(err) |
S = OPT O = 470 T = 0.59 (out)(err) |
S = OPT O = 470 T = 1.43 (out)(err) |
S = OPT O = 470 T = 1.16 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C3000_H150_0.wcnf | S = OPT O = 539 T = 2.09 |
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 = 695 T = 1782.37 (out)(err) |
S = N/A O = 720 T = 451.73 (out)(err) |
S = OPT O = 539 T = 6.88 (out)(err) |
S = OPT O = 539 T = 6.70 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 539 T = 2.36 (out)(err) |
S = OPT O = 539 T = 2.09 (out)(err) |
S = OPT O = 539 T = 14.71 (out)(err) |
S = OPT O = 539 T = 14.38 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C3000_H150_1.wcnf | S = OPT O = 560 T = 4.48 |
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 = 699 T = TO (out)(err) |
S = N/A O = 732 T = 265.71 (out)(err) |
S = OPT O = 560 T = 25.28 (out)(err) |
S = OPT O = 560 T = 23.79 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 560 T = 8.04 (out)(err) |
S = OPT O = 560 T = 4.48 (out)(err) |
S = OPT O = 560 T = 24.60 (out)(err) |
S = OPT O = 560 T = 23.70 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C3000_H150_2.wcnf | S = OPT O = 531 T = 0.80 |
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 = 666 T = TO (out)(err) |
S = N/A O = 763 T = 496.00 (out)(err) |
S = OPT O = 531 T = 7.56 (out)(err) |
S = OPT O = 531 T = 6.94 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 531 T = 2.72 (out)(err) |
S = OPT O = 531 T = 0.80 (out)(err) |
S = OPT O = 531 T = 1.97 (out)(err) |
S = OPT O = 531 T = 1.92 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
file_rpms_wcnf_L2_V150_C3000_H150_3.wcnf | S = OPT O = 555 T = 1.54 |
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 = 652 T = TO (out)(err) |
S = N/A O = 706 T = TO (out)(err) |
S = OPT O = 555 T = 19.33 (out)(err) |
S = OPT O = 555 T = 17.33 (out)(err) |
S = N/A O = N/A T = 181.56 (out)(err) |
S = OPT O = 555 T = 5.64 (out)(err) |
S = OPT O = 555 T = 1.54 (out)(err) |
S = OPT O = 555 T = 6.75 (out)(err) |
S = OPT O = 555 T = 6.50 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C3000_H150_4.wcnf | S = OPT O = 556 T = 0.46 |
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 = 636 T = TO (out)(err) |
S = N/A O = 684 T = TO (out)(err) |
S = OPT O = 556 T = 1.05 (out)(err) |
S = OPT O = 556 T = 0.96 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 556 T = 0.46 (out)(err) |
S = OPT O = 556 T = 0.75 (out)(err) |
S = OPT O = 556 T = 2.08 (out)(err) |
S = OPT O = 556 T = 2.00 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C3000_H150_5.wcnf | S = OPT O = 538 T = 3.93 |
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 = 679 T = TO (out)(err) |
S = N/A O = 676 T = 260.80 (out)(err) |
S = OPT O = 538 T = 26.04 (out)(err) |
S = OPT O = 538 T = 24.92 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 538 T = 8.99 (out)(err) |
S = OPT O = 538 T = 3.93 (out)(err) |
S = OPT O = 538 T = 19.34 (out)(err) |
S = OPT O = 538 T = 19.16 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
file_rpms_wcnf_L2_V150_C3000_H150_6.wcnf | S = OPT O = 537 T = 3.83 |
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 = 671 T = TO (out)(err) |
S = N/A O = 761 T = 247.54 (out)(err) |
S = OPT O = 537 T = 15.21 (out)(err) |
S = OPT O = 537 T = 13.72 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 537 T = 5.99 (out)(err) |
S = OPT O = 537 T = 3.83 (out)(err) |
S = OPT O = 537 T = 20.57 (out)(err) |
S = OPT O = 537 T = 19.98 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C3000_H150_7.wcnf | S = OPT O = 527 T = 1.04 |
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 = 653 T = TO (out)(err) |
S = N/A O = 692 T = 394.80 (out)(err) |
S = OPT O = 527 T = 3.62 (out)(err) |
S = OPT O = 527 T = 3.74 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 527 T = 1.64 (out)(err) |
S = OPT O = 527 T = 1.04 (out)(err) |
S = OPT O = 527 T = 2.82 (out)(err) |
S = OPT O = 527 T = 2.75 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C3000_H150_8.wcnf | S = OPT O = 564 T = 4.38 |
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 = 649 T = TO (out)(err) |
S = N/A O = 668 T = TO (out)(err) |
S = OPT O = 564 T = 35.11 (out)(err) |
S = OPT O = 564 T = 37.62 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 564 T = 9.60 (out)(err) |
S = OPT O = 564 T = 4.38 (out)(err) |
S = OPT O = 564 T = 28.53 (out)(err) |
S = OPT O = 564 T = 27.49 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C3000_H150_9.wcnf | S = OPT O = 552 T = 1.10 |
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 = 652 T = TO (out)(err) |
S = N/A O = 656 T = 234.92 (out)(err) |
S = OPT O = 552 T = 3.28 (out)(err) |
S = OPT O = 552 T = 3.21 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 552 T = 1.10 (out)(err) |
S = OPT O = 552 T = 1.22 (out)(err) |
S = OPT O = 552 T = 7.11 (out)(err) |
S = OPT O = 552 T = 6.86 (out)(err) |
S = N/A O = N/A T = 1681.95 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
file_rpms_wcnf_L2_V150_C3500_H150_0.wcnf | S = OPT O = 680 T = 3.13 |
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 = 790 T = TO (out)(err) |
S = N/A O = 878 T = 187.66 (out)(err) |
S = OPT O = 680 T = 28.44 (out)(err) |
S = OPT O = 680 T = 26.66 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 680 T = 13.37 (out)(err) |
S = OPT O = 680 T = 3.13 (out)(err) |
S = OPT O = 680 T = 28.81 (out)(err) |
S = OPT O = 680 T = 28.22 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C3500_H150_1.wcnf | S = OPT O = 679 T = 1.53 |
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 = 802 T = TO (out)(err) |
S = N/A O = 823 T = 245.27 (out)(err) |
S = OPT O = 679 T = 5.97 (out)(err) |
S = OPT O = 679 T = 6.17 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 679 T = 1.69 (out)(err) |
S = OPT O = 679 T = 1.53 (out)(err) |
S = OPT O = 679 T = 8.07 (out)(err) |
S = OPT O = 679 T = 7.81 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C3500_H150_2.wcnf | S = OPT O = 716 T = 1.07 |
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 = 796 T = TO (out)(err) |
S = N/A O = 823 T = 231.72 (out)(err) |
S = OPT O = 716 T = 3.40 (out)(err) |
S = OPT O = 716 T = 3.21 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 716 T = 1.07 (out)(err) |
S = OPT O = 716 T = 1.30 (out)(err) |
S = OPT O = 716 T = 12.29 (out)(err) |
S = OPT O = 716 T = 11.88 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C3500_H150_3.wcnf | S = OPT O = 669 T = 1.33 |
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 = 776 T = 1673.39 (out)(err) |
S = N/A O = 801 T = 221.79 (out)(err) |
S = OPT O = 669 T = 5.96 (out)(err) |
S = OPT O = 669 T = 5.70 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 669 T = 1.83 (out)(err) |
S = OPT O = 669 T = 1.33 (out)(err) |
S = OPT O = 669 T = 9.41 (out)(err) |
S = OPT O = 669 T = 9.19 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
file_rpms_wcnf_L2_V150_C3500_H150_4.wcnf | S = OPT O = 627 T = 1.77 |
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 = 775 T = 1761.82 (out)(err) |
S = N/A O = 740 T = 234.04 (out)(err) |
S = OPT O = 627 T = 4.10 (out)(err) |
S = OPT O = 627 T = 4.23 (out)(err) |
S = N/A O = N/A T = 235.80 (out)(err) |
S = OPT O = 627 T = 1.78 (out)(err) |
S = OPT O = 627 T = 1.77 (out)(err) |
S = OPT O = 627 T = 10.38 (out)(err) |
S = OPT O = 627 T = 10.33 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C3500_H150_5.wcnf | S = OPT O = 667 T = 4.27 |
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 = 809 T = 1630.69 (out)(err) |
S = N/A O = 967 T = 242.06 (out)(err) |
S = OPT O = 667 T = 34.02 (out)(err) |
S = OPT O = 667 T = 36.55 (out)(err) |
S = N/A O = N/A T = 216.40 (out)(err) |
S = OPT O = 667 T = 8.31 (out)(err) |
S = OPT O = 667 T = 4.27 (out)(err) |
S = OPT O = 667 T = 29.70 (out)(err) |
S = OPT O = 667 T = 29.27 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C3500_H150_6.wcnf | S = OPT O = 688 T = 0.52 |
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 = 828 T = TO (out)(err) |
S = N/A O = 823 T = 214.33 (out)(err) |
S = OPT O = 688 T = 1.81 (out)(err) |
S = OPT O = 688 T = 1.64 (out)(err) |
S = N/A O = N/A T = 393.81 (out)(err) |
S = OPT O = 688 T = 0.52 (out)(err) |
S = OPT O = 688 T = 0.71 (out)(err) |
S = OPT O = 688 T = 1.14 (out)(err) |
S = OPT O = 688 T = 1.15 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
file_rpms_wcnf_L2_V150_C3500_H150_7.wcnf | S = OPT O = 675 T = 0.69 |
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 = 808 T = 1760.90 (out)(err) |
S = N/A O = 818 T = 243.71 (out)(err) |
S = OPT O = 675 T = 1.43 (out)(err) |
S = OPT O = 675 T = 1.54 (out)(err) |
S = N/A O = N/A T = 95.21 (out)(err) |
S = OPT O = 675 T = 0.69 (out)(err) |
S = OPT O = 675 T = 1.18 (out)(err) |
S = OPT O = 675 T = 7.43 (out)(err) |
S = OPT O = 675 T = 7.25 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
file_rpms_wcnf_L2_V150_C3500_H150_8.wcnf | S = OPT O = 675 T = 1.15 |
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 = 823 T = 1732.27 (out)(err) |
S = N/A O = 855 T = 256.45 (out)(err) |
S = OPT O = 675 T = 2.81 (out)(err) |
S = OPT O = 675 T = 2.66 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 675 T = 1.24 (out)(err) |
S = OPT O = 675 T = 1.15 (out)(err) |
S = OPT O = 675 T = 5.08 (out)(err) |
S = OPT O = 675 T = 5.05 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L2_V150_C3500_H150_9.wcnf | S = OPT O = 638 T = 1.74 |
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 = 794 T = 1708.85 (out)(err) |
S = N/A O = 815 T = 206.34 (out)(err) |
S = OPT O = 638 T = 10.91 (out)(err) |
S = OPT O = 638 T = 10.50 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 638 T = 3.38 (out)(err) |
S = OPT O = 638 T = 1.74 (out)(err) |
S = OPT O = 638 T = 6.10 (out)(err) |
S = OPT O = 638 T = 5.88 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L3_V100_C600_H100_0.wcnf | S = OPT O = 8 T = 4.77 |
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 = 15 T = TO (out)(err) |
S = N/A O = 19 T = TO (out)(err) |
S = OPT O = 8 T = 5.05 (out)(err) |
S = OPT O = 8 T = 4.77 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 8 T = 16.60 (out)(err) |
S = OPT O = 8 T = 4.82 (out)(err) |
S = OPT O = 8 T = 10.17 (out)(err) |
S = OPT O = 8 T = 10.11 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L3_V100_C600_H100_1.wcnf | S = OPT O = 8 T = 6.34 |
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 = 34 T = TO (out)(err) |
S = N/A O = 18 T = TO (out)(err) |
S = OPT O = 8 T = 14.03 (out)(err) |
S = OPT O = 8 T = 13.36 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 8 T = 10.29 (out)(err) |
S = OPT O = 8 T = 6.34 (out)(err) |
S = OPT O = 8 T = 10.81 (out)(err) |
S = OPT O = 8 T = 10.74 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
file_rpms_wcnf_L3_V100_C600_H100_2.wcnf | S = OPT O = 8 T = 3.19 |
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 = 37 T = TO (out)(err) |
S = N/A O = 20 T = TO (out)(err) |
S = OPT O = 8 T = 19.83 (out)(err) |
S = OPT O = 8 T = 18.74 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 8 T = 8.65 (out)(err) |
S = OPT O = 8 T = 3.19 (out)(err) |
S = OPT O = 8 T = 6.45 (out)(err) |
S = OPT O = 8 T = 6.38 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L3_V100_C600_H100_3.wcnf | S = OPT O = 9 T = 7.30 |
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 = 35 T = TO (out)(err) |
S = N/A O = 21 T = TO (out)(err) |
S = OPT O = 9 T = 15.95 (out)(err) |
S = OPT O = 9 T = 15.09 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 9 T = 14.99 (out)(err) |
S = OPT O = 9 T = 7.30 (out)(err) |
S = OPT O = 9 T = 14.38 (out)(err) |
S = OPT O = 9 T = 14.30 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L3_V100_C600_H100_4.wcnf | S = OPT O = 7 T = 2.17 |
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 = 32 T = TO (out)(err) |
S = N/A O = 22 T = TO (out)(err) |
S = OPT O = 7 T = 3.96 (out)(err) |
S = OPT O = 7 T = 3.79 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 7 T = 3.53 (out)(err) |
S = OPT O = 7 T = 2.17 (out)(err) |
S = OPT O = 7 T = 3.86 (out)(err) |
S = OPT O = 7 T = 3.79 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
file_rpms_wcnf_L3_V100_C600_H100_5.wcnf | S = OPT O = 8 T = 3.12 |
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 = 34 T = TO (out)(err) |
S = N/A O = 20 T = TO (out)(err) |
S = OPT O = 8 T = 4.70 (out)(err) |
S = OPT O = 8 T = 4.43 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 8 T = 6.41 (out)(err) |
S = OPT O = 8 T = 3.12 (out)(err) |
S = OPT O = 8 T = 6.09 (out)(err) |
S = OPT O = 8 T = 6.12 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L3_V100_C600_H100_6.wcnf | S = OPT O = 7 T = 3.21 |
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 = 26 T = TO (out)(err) |
S = N/A O = 15 T = TO (out)(err) |
S = OPT O = 7 T = 12.07 (out)(err) |
S = OPT O = 7 T = 11.33 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 7 T = 10.84 (out)(err) |
S = OPT O = 7 T = 3.21 (out)(err) |
S = OPT O = 7 T = 5.78 (out)(err) |
S = OPT O = 7 T = 5.71 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L3_V100_C600_H100_7.wcnf | S = OPT O = 8 T = 8.37 |
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 = 28 T = TO (out)(err) |
S = N/A O = 19 T = TO (out)(err) |
S = OPT O = 8 T = 12.88 (out)(err) |
S = OPT O = 8 T = 12.14 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 8 T = 11.07 (out)(err) |
S = OPT O = 8 T = 8.37 (out)(err) |
S = OPT O = 8 T = 16.86 (out)(err) |
S = OPT O = 8 T = 16.92 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
file_rpms_wcnf_L3_V100_C600_H100_8.wcnf | S = OPT O = 5 T = 1.57 |
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 = 5 T = TO (out)(err) |
S = N/A O = 9 T = TO (out)(err) |
S = OPT O = 5 T = 7.06 (out)(err) |
S = OPT O = 5 T = 6.69 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 5 T = 4.71 (out)(err) |
S = OPT O = 5 T = 1.57 (out)(err) |
S = OPT O = 5 T = 2.50 (out)(err) |
S = OPT O = 5 T = 2.50 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
file_rpms_wcnf_L3_V100_C600_H100_9.wcnf | S = OPT O = 9 T = 6.41 |
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 = 42 T = TO (out)(err) |
S = N/A O = 17 T = TO (out)(err) |
S = OPT O = 9 T = 15.51 (out)(err) |
S = OPT O = 9 T = 14.64 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 9 T = 7.04 (out)(err) |
S = OPT O = 9 T = 6.41 (out)(err) |
S = OPT O = 9 T = 12.39 (out)(err) |
S = OPT O = 9 T = 12.30 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
file_rpms_wcnf_L3_V100_C700_H100_0.wcnf | S = OPT O = 18 T = 58.79 |
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 = 50 T = TO (out)(err) |
S = N/A O = 36 T = TO (out)(err) |
S = OPT O = 18 T = 75.53 (out)(err) |
S = OPT O = 18 T = 72.11 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 18 T = 68.21 (out)(err) |
S = OPT O = 18 T = 58.79 (out)(err) |
S = OPT O = 18 T = 151.12 (out)(err) |
S = OPT O = 18 T = 146.98 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L3_V100_C700_H100_1.wcnf | S = OPT O = 14 T = 26.19 |
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 = 52 T = TO (out)(err) |
S = N/A O = 34 T = TO (out)(err) |
S = OPT O = 14 T = 84.37 (out)(err) |
S = OPT O = 14 T = 81.62 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 14 T = 106.87 (out)(err) |
S = OPT O = 14 T = 26.19 (out)(err) |
S = OPT O = 14 T = 53.78 (out)(err) |
S = OPT O = 14 T = 53.17 (out)(err) |
S = N/A O = N/A T = 1723.53 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
file_rpms_wcnf_L3_V100_C700_H100_2.wcnf | S = OPT O = 15 T = 33.45 |
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 = 46 T = TO (out)(err) |
S = N/A O = 33 T = TO (out)(err) |
S = OPT O = 15 T = 39.73 (out)(err) |
S = OPT O = 15 T = 38.09 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 15 T = 36.59 (out)(err) |
S = OPT O = 15 T = 33.45 (out)(err) |
S = OPT O = 15 T = 67.79 (out)(err) |
S = OPT O = 15 T = 66.81 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
file_rpms_wcnf_L3_V100_C700_H100_3.wcnf | S = OPT O = 12 T = 23.58 |
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 = 55 T = TO (out)(err) |
S = N/A O = 28 T = TO (out)(err) |
S = OPT O = 12 T = 39.40 (out)(err) |
S = OPT O = 12 T = 37.71 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 12 T = 31.66 (out)(err) |
S = OPT O = 12 T = 23.58 (out)(err) |
S = OPT O = 12 T = 45.12 (out)(err) |
S = OPT O = 12 T = 44.54 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
file_rpms_wcnf_L3_V100_C700_H100_4.wcnf | S = OPT O = 11 T = 5.03 |
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 = 45 T = TO (out)(err) |
S = N/A O = 31 T = TO (out)(err) |
S = OPT O = 11 T = 51.20 (out)(err) |
S = OPT O = 11 T = 48.84 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 11 T = 41.56 (out)(err) |
S = OPT O = 11 T = 5.03 (out)(err) |
S = OPT O = 11 T = 10.19 (out)(err) |
S = OPT O = 11 T = 10.21 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L3_V100_C700_H100_5.wcnf | S = OPT O = 14 T = 31.46 |
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 = 50 T = TO (out)(err) |
S = N/A O = 31 T = TO (out)(err) |
S = OPT O = 14 T = 124.44 (out)(err) |
S = OPT O = 14 T = 118.33 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 14 T = 117.25 (out)(err) |
S = OPT O = 14 T = 31.46 (out)(err) |
S = OPT O = 14 T = 71.65 (out)(err) |
S = OPT O = 14 T = 70.01 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
file_rpms_wcnf_L3_V100_C700_H100_6.wcnf | S = OPT O = 12 T = 20.39 |
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 = 38 T = TO (out)(err) |
S = N/A O = 30 T = TO (out)(err) |
S = OPT O = 12 T = 59.69 (out)(err) |
S = OPT O = 12 T = 57.48 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 12 T = 44.81 (out)(err) |
S = OPT O = 12 T = 20.39 (out)(err) |
S = OPT O = 12 T = 39.02 (out)(err) |
S = OPT O = 12 T = 38.53 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L3_V100_C700_H100_7.wcnf | S = OPT O = 17 T = 77.69 |
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 = 58 T = TO (out)(err) |
S = N/A O = 32 T = TO (out)(err) |
S = OPT O = 17 T = 118.10 (out)(err) |
S = OPT O = 17 T = 112.91 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 17 T = 92.29 (out)(err) |
S = OPT O = 17 T = 77.69 (out)(err) |
S = OPT O = 17 T = 190.43 (out)(err) |
S = OPT O = 17 T = 190.69 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
file_rpms_wcnf_L3_V100_C700_H100_8.wcnf | S = OPT O = 16 T = 124.73 |
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 = 50 T = TO (out)(err) |
S = N/A O = 30 T = TO (out)(err) |
S = OPT O = 16 T = 175.77 (out)(err) |
S = OPT O = 16 T = 168.22 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 16 T = 146.30 (out)(err) |
S = OPT O = 16 T = 124.73 (out)(err) |
S = OPT O = 16 T = 275.36 (out)(err) |
S = OPT O = 16 T = 274.01 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L3_V100_C700_H100_9.wcnf | S = OPT O = 12 T = 7.81 |
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 = 51 T = TO (out)(err) |
S = N/A O = 29 T = TO (out)(err) |
S = OPT O = 12 T = 32.26 (out)(err) |
S = OPT O = 12 T = 30.40 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 12 T = 29.29 (out)(err) |
S = OPT O = 12 T = 7.81 (out)(err) |
S = OPT O = 12 T = 15.33 (out)(err) |
S = OPT O = 12 T = 15.15 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L3_V100_C800_H100_0.wcnf | S = OPT O = 21 T = 104.59 |
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 = 68 T = TO (out)(err) |
S = N/A O = 43 T = TO (out)(err) |
S = OPT O = 21 T = 153.53 (out)(err) |
S = OPT O = 21 T = 149.58 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 21 T = 166.48 (out)(err) |
S = OPT O = 21 T = 104.59 (out)(err) |
S = OPT O = 21 T = 217.17 (out)(err) |
S = OPT O = 21 T = 215.28 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L3_V100_C800_H100_1.wcnf | S = OPT O = 21 T = 142.70 |
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 = 64 T = TO (out)(err) |
S = N/A O = 44 T = TO (out)(err) |
S = OPT O = 21 T = 266.62 (out)(err) |
S = OPT O = 21 T = 258.18 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 21 T = 244.13 (out)(err) |
S = OPT O = 21 T = 142.70 (out)(err) |
S = OPT O = 21 T = 282.78 (out)(err) |
S = OPT O = 21 T = 281.70 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
file_rpms_wcnf_L3_V100_C800_H100_2.wcnf | S = OPT O = 20 T = 182.61 |
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 = 58 T = TO (out)(err) |
S = N/A O = 42 T = TO (out)(err) |
S = OPT O = 20 T = 303.94 (out)(err) |
S = OPT O = 20 T = 296.84 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 20 T = 198.64 (out)(err) |
S = OPT O = 20 T = 182.61 (out)(err) |
S = OPT O = 20 T = 384.67 (out)(err) |
S = OPT O = 20 T = 383.78 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
file_rpms_wcnf_L3_V100_C800_H100_3.wcnf | S = OPT O = 22 T = 80.70 |
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 = 47 T = TO (out)(err) |
S = N/A O = 40 T = TO (out)(err) |
S = OPT O = 22 T = 100.51 (out)(err) |
S = OPT O = 22 T = 96.08 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 22 T = 81.69 (out)(err) |
S = OPT O = 22 T = 80.70 (out)(err) |
S = OPT O = 22 T = 222.93 (out)(err) |
S = OPT O = 22 T = 217.91 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L3_V100_C800_H100_4.wcnf | S = OPT O = 18 T = 73.20 |
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 = 61 T = TO (out)(err) |
S = N/A O = 31 T = TO (out)(err) |
S = OPT O = 18 T = 144.30 (out)(err) |
S = OPT O = 18 T = 139.52 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 18 T = 104.52 (out)(err) |
S = OPT O = 18 T = 73.20 (out)(err) |
S = OPT O = 18 T = 157.92 (out)(err) |
S = OPT O = 18 T = 156.36 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
file_rpms_wcnf_L3_V100_C800_H100_5.wcnf | S = OPT O = 20 T = 81.56 |
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 = 41 T = TO (out)(err) |
S = N/A O = 44 T = TO (out)(err) |
S = OPT O = 20 T = 120.61 (out)(err) |
S = OPT O = 20 T = 116.44 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 20 T = 106.78 (out)(err) |
S = OPT O = 20 T = 81.56 (out)(err) |
S = OPT O = 20 T = 183.10 (out)(err) |
S = OPT O = 20 T = 181.18 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
file_rpms_wcnf_L3_V100_C800_H100_6.wcnf | S = OPT O = 17 T = 34.27 |
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 = 62 T = TO (out)(err) |
S = N/A O = 43 T = TO (out)(err) |
S = OPT O = 17 T = 118.81 (out)(err) |
S = OPT O = 17 T = 113.98 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 17 T = 97.66 (out)(err) |
S = OPT O = 17 T = 34.27 (out)(err) |
S = OPT O = 17 T = 74.42 (out)(err) |
S = OPT O = 17 T = 73.50 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
file_rpms_wcnf_L3_V100_C800_H100_7.wcnf | S = OPT O = 23 T = 78.20 |
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 = 60 T = TO (out)(err) |
S = N/A O = 46 T = TO (out)(err) |
S = OPT O = 23 T = 196.23 (out)(err) |
S = OPT O = 23 T = 190.30 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 23 T = 163.15 (out)(err) |
S = OPT O = 23 T = 78.20 (out)(err) |
S = OPT O = 23 T = 208.79 (out)(err) |
S = OPT O = 23 T = 206.27 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L3_V100_C800_H100_8.wcnf | S = OPT O = 25 T = 513.22 |
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 = 62 T = TO (out)(err) |
S = N/A O = 45 T = TO (out)(err) |
S = OPT O = 25 T = 674.29 (out)(err) |
S = OPT O = 25 T = 653.24 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 25 T = 550.05 (out)(err) |
S = OPT O = 25 T = 513.22 (out)(err) |
S = OPT O = 25 T = 1008.51 (out)(err) |
S = OPT O = 25 T = 989.95 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
file_rpms_wcnf_L3_V100_C800_H100_9.wcnf | S = OPT O = 20 T = 76.93 |
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 = 40 T = TO (out)(err) |
S = N/A O = 38 T = TO (out)(err) |
S = OPT O = 20 T = 187.34 (out)(err) |
S = OPT O = 20 T = 181.09 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 20 T = 125.55 (out)(err) |
S = OPT O = 20 T = 76.93 (out)(err) |
S = OPT O = 20 T = 178.16 (out)(err) |
S = OPT O = 20 T = 176.53 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |