Label | Meaning |
---|---|
S | Solution {OPTIMUM FOUND or OPT | UNSATISFIABLE or UNSAT | UNKNOWN | Not available or N/A} |
O | Best solution found |
T | CPU time (TO for Time Out) |
(out)(err) | Standard output and standard error for each solver |
Color | Meaning for Complete Solvers | Meaning for Incomplete Solvers |
---|---|---|
Text | Best solver column | Best solver column |
Text | Optimal solution with the best CPU time | Best solution with the best CPU time |
Text | Optimal solution and finished within the Time Out | Best solution without the best CPU time |
Text | Optimal solution and did not finish within the Time Out | Solution found but not the best |
Text | Time Out | Time Out |
Text | Buggy solution | Buggy solution |
Instance file name | Best solver | CCEHC2akms | CCLS2akms | LMHS-2016 | Naps-1.02-ms | Open-WBO15 | Open-WBO16 | Optiriss6 | QMaxSAT14 | QMaxSAT16UC | WMaxSatz+ | WMaxSatz09 | WPM3-2015-co | ahms-1.70 | ahms-ls-1.70 | maxhs-b | maxino16-c10 | maxino16-dis | mscg2015a | mscg2015b |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
clq1-cv160c800l2g1.wcnf | S = OPT O = 61 T = 63.24 |
S = OPT O = 61 T = 1056.58 |
S = OPT O = 61 T = 1044.97 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 61 T = 1264.42 |
S = N/A O = 97 T = TO |
S = OPT O = 61 T = 65.44 |
S = OPT O = 61 T = 63.24 |
S = N/A O = N/A T = TO |
S = N/A O = 48 T = TO |
S = N/A O = 46 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv160c800l2g10.wcnf | S = OPT O = 53 T = 28.82 |
S = OPT O = 53 T = 414.47 |
S = OPT O = 53 T = 423.68 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 53 T = 1106.42 |
S = OPT O = 53 T = 581.35 |
S = N/A O = 102 T = TO |
S = OPT O = 53 T = 34.07 |
S = OPT O = 53 T = 28.82 |
S = N/A O = N/A T = TO |
S = N/A O = 45 T = TO |
S = N/A O = 42 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv160c800l2g11.wcnf | S = OPT O = 67 T = 1636.17 |
S = N/A O = 67 T = TO |
S = N/A O = 67 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 72 T = TO |
S = OPT O = 67 T = 1711.78 |
S = OPT O = 67 T = 1636.17 |
S = N/A O = N/A T = TO |
S = N/A O = 47 T = TO |
S = N/A O = 47 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv160c800l2g12.wcnf | S = OPT O = 59 T = 57.69 |
S = OPT O = 59 T = 706.18 |
S = OPT O = 59 T = 739.53 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 59 T = 1531.32 |
S = OPT O = 59 T = 856.32 |
S = N/A O = 62 T = TO |
S = OPT O = 59 T = 57.69 |
S = OPT O = 59 T = 64.46 |
S = N/A O = N/A T = TO |
S = N/A O = 49 T = TO |
S = N/A O = 45 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv160c800l2g13.wcnf | S = OPT O = 51 T = 5.05 |
S = OPT O = 51 T = 34.90 |
S = OPT O = 51 T = 34.26 |
S = OPT O = 51 T = 319.73 |
S = N/A O = N/A T = TO |
S = OPT O = 51 T = 235.66 |
S = OPT O = 51 T = 884.52 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 51 T = 80.01 |
S = OPT O = 51 T = 32.66 |
S = OPT O = 51 T = 60.08 |
S = OPT O = 51 T = 5.40 |
S = OPT O = 51 T = 5.05 |
S = OPT O = 51 T = 21.38 |
S = N/A O = 48 T = TO |
S = N/A O = 48 T = TO |
S = OPT O = 51 T = 51.68 |
S = OPT O = 51 T = 163.33 |
clq1-cv160c800l2g14.wcnf | S = OPT O = 45 T = 1.74 |
S = OPT O = 45 T = 8.71 |
S = OPT O = 45 T = 7.93 |
S = OPT O = 45 T = 103.54 |
S = N/A O = N/A T = TO |
S = OPT O = 45 T = 52.59 |
S = OPT O = 45 T = 286.86 |
S = OPT O = 45 T = 313.80 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 45 T = 24.04 |
S = OPT O = 45 T = 5.81 |
S = OPT O = 45 T = 7.51 |
S = OPT O = 45 T = 1.86 |
S = OPT O = 45 T = 1.74 |
S = OPT O = 45 T = 28.09 |
S = OPT O = 45 T = 6.74 |
S = N/A O = 44 T = TO |
S = OPT O = 45 T = 8.35 |
S = OPT O = 45 T = 20.33 |
clq1-cv160c800l2g15.wcnf | S = OPT O = 62 T = 121.17 |
S = N/A O = 62 T = TO |
S = N/A O = 62 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 68 T = TO |
S = OPT O = 62 T = 121.17 |
S = OPT O = 62 T = 125.94 |
S = N/A O = N/A T = TO |
S = N/A O = 49 T = TO |
S = N/A O = 45 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv160c800l2g16.wcnf | S = OPT O = 56 T = 22.12 |
S = OPT O = 56 T = 209.84 |
S = OPT O = 56 T = 214.56 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 56 T = 611.59 |
S = OPT O = 56 T = 222.35 |
S = N/A O = 69 T = TO |
S = OPT O = 56 T = 22.12 |
S = OPT O = 56 T = 22.87 |
S = N/A O = N/A T = TO |
S = N/A O = 48 T = TO |
S = N/A O = 47 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv160c800l2g17.wcnf | S = OPT O = 59 T = 84.79 |
S = OPT O = 59 T = 1176.23 |
S = OPT O = 59 T = 1168.28 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 63 T = TO |
S = OPT O = 59 T = 98.35 |
S = OPT O = 59 T = 84.79 |
S = N/A O = N/A T = TO |
S = N/A O = 48 T = TO |
S = N/A O = 48 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv160c800l2g18.wcnf | S = OPT O = 55 T = 27.52 |
S = OPT O = 55 T = 393.31 |
S = OPT O = 55 T = 404.08 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 55 T = 595.67 |
S = OPT O = 55 T = 266.09 |
S = N/A O = 68 T = TO |
S = OPT O = 55 T = 28.25 |
S = OPT O = 55 T = 27.52 |
S = N/A O = N/A T = TO |
S = N/A O = 48 T = TO |
S = N/A O = 46 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv160c800l2g19.wcnf | S = OPT O = 68 T = 238.57 |
S = N/A O = 68 T = TO |
S = N/A O = 68 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 90 T = TO |
S = OPT O = 68 T = 240.79 |
S = OPT O = 68 T = 238.57 |
S = N/A O = N/A T = TO |
S = N/A O = 53 T = TO |
S = N/A O = 48 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv160c800l2g2.wcnf | S = OPT O = 48 T = 3.13 |
S = OPT O = 48 T = 20.97 |
S = OPT O = 48 T = 20.34 |
S = OPT O = 48 T = 303.01 |
S = N/A O = N/A T = TO |
S = OPT O = 48 T = 404.51 |
S = N/A O = N/A T = TO |
S = OPT O = 48 T = 411.09 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 48 T = 72.60 |
S = OPT O = 48 T = 25.73 |
S = OPT O = 48 T = 231.17 |
S = OPT O = 48 T = 3.26 |
S = OPT O = 48 T = 3.13 |
S = OPT O = 48 T = 54.36 |
S = N/A O = 47 T = TO |
S = N/A O = 44 T = TO |
S = OPT O = 48 T = 121.53 |
S = OPT O = 48 T = 95.74 |
clq1-cv160c800l2g20.wcnf | S = OPT O = 46 T = 2.28 |
S = OPT O = 46 T = 17.71 |
S = OPT O = 46 T = 17.04 |
S = OPT O = 46 T = 489.46 |
S = N/A O = N/A T = TO |
S = OPT O = 46 T = 89.09 |
S = OPT O = 46 T = 189.08 |
S = OPT O = 46 T = 1012.07 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 46 T = 49.44 |
S = OPT O = 46 T = 12.40 |
S = OPT O = 46 T = 151.97 |
S = OPT O = 46 T = 2.31 |
S = OPT O = 46 T = 2.28 |
S = OPT O = 46 T = 28.72 |
S = N/A O = 45 T = TO |
S = N/A O = 43 T = TO |
S = OPT O = 46 T = 168.44 |
S = OPT O = 46 T = 50.35 |
clq1-cv160c800l2g21.wcnf | S = OPT O = 56 T = 19.98 |
S = OPT O = 56 T = 262.53 |
S = OPT O = 56 T = 259.44 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 56 T = 826.54 |
S = OPT O = 56 T = 290.06 |
S = N/A O = 78 T = TO |
S = OPT O = 56 T = 22.76 |
S = OPT O = 56 T = 19.98 |
S = N/A O = N/A T = TO |
S = N/A O = 49 T = TO |
S = N/A O = 46 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv160c800l2g22.wcnf | S = OPT O = 56 T = 24.90 |
S = OPT O = 56 T = 633.36 |
S = OPT O = 56 T = 900.50 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 56 T = 518.79 |
S = OPT O = 56 T = 386.44 |
S = N/A O = 66 T = TO |
S = OPT O = 56 T = 28.60 |
S = OPT O = 56 T = 24.90 |
S = N/A O = N/A T = TO |
S = N/A O = 47 T = TO |
S = N/A O = 47 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv160c800l2g23.wcnf | S = OPT O = 51 T = 2.67 |
S = OPT O = 51 T = 25.64 |
S = OPT O = 51 T = 25.22 |
S = OPT O = 51 T = 1079.38 |
S = N/A O = N/A T = TO |
S = OPT O = 51 T = 168.24 |
S = OPT O = 51 T = 1415.96 |
S = OPT O = 51 T = 991.95 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 51 T = 78.88 |
S = OPT O = 51 T = 26.57 |
S = OPT O = 51 T = 71.75 |
S = OPT O = 51 T = 2.75 |
S = OPT O = 51 T = 2.67 |
S = OPT O = 51 T = 50.39 |
S = N/A O = 49 T = TO |
S = N/A O = 49 T = TO |
S = OPT O = 51 T = 70.25 |
S = OPT O = 51 T = 90.15 |
clq1-cv160c800l2g24.wcnf | S = OPT O = 49 T = 2.55 |
S = OPT O = 49 T = 26.30 |
S = OPT O = 49 T = 25.82 |
S = OPT O = 49 T = 704.68 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 49 T = 1206.49 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 49 T = 72.94 |
S = OPT O = 49 T = 31.92 |
S = OPT O = 49 T = 470.81 |
S = OPT O = 49 T = 2.55 |
S = OPT O = 49 T = 2.59 |
S = OPT O = 49 T = 186.11 |
S = N/A O = 48 T = TO |
S = N/A O = 43 T = TO |
S = OPT O = 49 T = 384.62 |
S = OPT O = 49 T = 299.98 |
clq1-cv160c800l2g25.wcnf | S = OPT O = 55 T = 57.16 |
S = OPT O = 55 T = 600.65 |
S = OPT O = 55 T = 606.20 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 55 T = 1674.69 |
S = OPT O = 55 T = 410.12 |
S = N/A O = 67 T = TO |
S = OPT O = 55 T = 57.16 |
S = OPT O = 55 T = 57.94 |
S = N/A O = N/A T = TO |
S = N/A O = 48 T = TO |
S = N/A O = 43 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv160c800l2g26.wcnf | S = OPT O = 53 T = 58.75 |
S = OPT O = 53 T = 344.33 |
S = OPT O = 53 T = 543.95 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 53 T = 1031.39 |
S = OPT O = 53 T = 477.68 |
S = N/A O = 65 T = TO |
S = OPT O = 53 T = 58.75 |
S = OPT O = 53 T = 64.80 |
S = N/A O = N/A T = TO |
S = N/A O = 48 T = TO |
S = N/A O = 46 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv160c800l2g27.wcnf | S = OPT O = 56 T = 43.55 |
S = OPT O = 56 T = 874.45 |
S = OPT O = 56 T = 907.99 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 56 T = 1625.50 |
S = OPT O = 56 T = 1243.02 |
S = N/A O = 66 T = TO |
S = OPT O = 56 T = 43.66 |
S = OPT O = 56 T = 43.55 |
S = N/A O = N/A T = TO |
S = N/A O = 46 T = TO |
S = N/A O = 45 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv160c800l2g28.wcnf | S = OPT O = 50 T = 10.81 |
S = OPT O = 50 T = 116.12 |
S = OPT O = 50 T = 116.35 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 50 T = 279.95 |
S = OPT O = 50 T = 71.75 |
S = N/A O = 104 T = TO |
S = OPT O = 50 T = 10.81 |
S = OPT O = 50 T = 11.29 |
S = OPT O = 50 T = 405.51 |
S = N/A O = 44 T = TO |
S = N/A O = 42 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv160c800l2g29.wcnf | S = OPT O = 42 T = 1.97 |
S = OPT O = 42 T = 14.84 |
S = OPT O = 42 T = 13.72 |
S = OPT O = 42 T = 117.99 |
S = N/A O = N/A T = TO |
S = OPT O = 42 T = 114.47 |
S = OPT O = 42 T = 180.79 |
S = OPT O = 42 T = 268.93 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 42 T = 27.46 |
S = OPT O = 42 T = 11.90 |
S = OPT O = 42 T = 23.85 |
S = OPT O = 42 T = 2.11 |
S = OPT O = 42 T = 1.97 |
S = OPT O = 42 T = 29.11 |
S = OPT O = 42 T = 170.16 |
S = N/A O = 41 T = TO |
S = OPT O = 42 T = 58.91 |
S = OPT O = 42 T = 60.33 |
clq1-cv160c800l2g3.wcnf | S = OPT O = 60 T = 62.74 |
S = OPT O = 60 T = 1287.57 |
S = OPT O = 60 T = 1222.10 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 60 T = 1427.55 |
S = N/A O = 83 T = TO |
S = OPT O = 60 T = 68.02 |
S = OPT O = 60 T = 62.74 |
S = N/A O = N/A T = TO |
S = N/A O = 48 T = TO |
S = N/A O = 50 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv160c800l2g30.wcnf | S = OPT O = 60 T = 12.30 |
S = OPT O = 60 T = 134.37 |
S = OPT O = 60 T = 135.87 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 60 T = 379.33 |
S = OPT O = 60 T = 137.12 |
S = N/A O = 88 T = TO |
S = OPT O = 60 T = 13.07 |
S = OPT O = 60 T = 12.30 |
S = N/A O = N/A T = TO |
S = N/A O = 52 T = TO |
S = N/A O = 56 T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 60 T = 1612.39 |
clq1-cv160c800l2g4.wcnf | S = OPT O = 49 T = 16.74 |
S = OPT O = 49 T = 167.26 |
S = OPT O = 49 T = 228.52 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 49 T = 745.60 |
S = OPT O = 49 T = 192.37 |
S = N/A O = 71 T = TO |
S = OPT O = 49 T = 18.05 |
S = OPT O = 49 T = 16.74 |
S = N/A O = N/A T = TO |
S = N/A O = 43 T = TO |
S = N/A O = 42 T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 49 T = 1724.64 |
clq1-cv160c800l2g5.wcnf | S = OPT O = 49 T = 5.64 |
S = OPT O = 49 T = 45.09 |
S = OPT O = 49 T = 42.31 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 49 T = 135.82 |
S = OPT O = 49 T = 34.82 |
S = N/A O = 49 T = TO |
S = OPT O = 49 T = 5.64 |
S = OPT O = 49 T = 5.96 |
S = OPT O = 49 T = 329.33 |
S = N/A O = 45 T = TO |
S = N/A O = 42 T = TO |
S = OPT O = 49 T = 1454.74 |
S = OPT O = 49 T = 193.83 |
clq1-cv160c800l2g6.wcnf | S = OPT O = 62 T = 67.02 |
S = OPT O = 62 T = 800.35 |
S = OPT O = 62 T = 783.74 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 62 T = TO |
S = OPT O = 62 T = 946.79 |
S = N/A O = 87 T = TO |
S = OPT O = 62 T = 67.02 |
S = OPT O = 62 T = 67.94 |
S = N/A O = N/A T = TO |
S = N/A O = 51 T = TO |
S = N/A O = 49 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv160c800l2g7.wcnf | S = OPT O = 61 T = 258.49 |
S = N/A O = 61 T = TO |
S = N/A O = 61 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 79 T = TO |
S = OPT O = 61 T = 258.49 |
S = OPT O = 61 T = 274.36 |
S = N/A O = N/A T = TO |
S = N/A O = 46 T = TO |
S = N/A O = 45 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv160c800l2g8.wcnf | S = OPT O = 49 T = 4.92 |
S = OPT O = 49 T = 48.85 |
S = OPT O = 49 T = 50.72 |
S = OPT O = 49 T = 1698.24 |
S = N/A O = N/A T = TO |
S = OPT O = 49 T = 736.81 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 49 T = 106.87 |
S = OPT O = 49 T = 28.74 |
S = OPT O = 49 T = 596.05 |
S = OPT O = 49 T = 4.92 |
S = OPT O = 49 T = 5.14 |
S = OPT O = 49 T = 148.09 |
S = N/A O = 47 T = TO |
S = N/A O = 44 T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 49 T = 482.22 |
clq1-cv160c800l2g9.wcnf | S = OPT O = 57 T = 65.67 |
S = OPT O = 57 T = 1081.46 |
S = OPT O = 57 T = 1086.37 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 57 T = 868.08 |
S = N/A O = 83 T = TO |
S = OPT O = 57 T = 65.67 |
S = OPT O = 57 T = 67.11 |
S = N/A O = N/A T = TO |
S = N/A O = 49 T = TO |
S = N/A O = 46 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv260c1040l2g1.wcnf | S = OPT O = 67 T = 1780.60 |
S = N/A O = 67 T = TO |
S = N/A O = 67 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 166 T = TO |
S = N/A O = 67 T = TO |
S = OPT O = 67 T = 1780.60 |
S = N/A O = N/A T = TO |
S = N/A O = 48 T = TO |
S = N/A O = 49 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv260c1040l2g10.wcnf | S = OPT O = 61 T = 927.93 |
S = N/A O = 61 T = TO |
S = N/A O = 61 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 78 T = TO |
S = OPT O = 61 T = 975.20 |
S = OPT O = 61 T = 927.93 |
S = N/A O = N/A T = TO |
S = N/A O = 46 T = TO |
S = N/A O = 42 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv260c1040l2g11.wcnf | S = OPT O = 40 T = 5.35 |
S = OPT O = 40 T = 49.36 |
S = OPT O = 40 T = 50.45 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 40 T = 1185.67 |
S = OPT O = 40 T = 1518.36 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 40 T = 138.24 |
S = OPT O = 40 T = 23.77 |
S = OPT O = 40 T = 402.59 |
S = OPT O = 40 T = 5.35 |
S = OPT O = 40 T = 5.35 |
S = OPT O = 40 T = 118.66 |
S = N/A O = 35 T = TO |
S = N/A O = 36 T = TO |
S = OPT O = 40 T = 458.21 |
S = OPT O = 40 T = 218.85 |
clq1-cv260c1040l2g12.wcnf | S = OPT O = 58 T = 652.94 |
S = N/A O = 59 T = TO |
S = N/A O = 59 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 66 T = TO |
S = OPT O = 58 T = 684.49 |
S = OPT O = 58 T = 652.94 |
S = N/A O = N/A T = TO |
S = N/A O = 45 T = TO |
S = N/A O = 43 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv260c1040l2g13.wcnf | S = OPT O = 38 T = 5.93 |
S = OPT O = 38 T = 21.75 |
S = OPT O = 38 T = 20.81 |
S = OPT O = 38 T = 666.11 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 38 T = 1293.04 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 38 T = 114.45 |
S = OPT O = 38 T = 18.31 |
S = N/A O = 67 T = TO |
S = OPT O = 38 T = 5.93 |
S = OPT O = 38 T = 6.01 |
S = OPT O = 38 T = 66.38 |
S = N/A O = 36 T = TO |
S = N/A O = 33 T = TO |
S = OPT O = 38 T = 1209.41 |
S = OPT O = 38 T = 373.95 |
clq1-cv260c1040l2g14.wcnf | S = OPT O = 57 T = 77.05 |
S = N/A O = 57 T = TO |
S = N/A O = 57 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 87 T = TO |
S = OPT O = 57 T = 94.02 |
S = OPT O = 57 T = 77.05 |
S = N/A O = N/A T = TO |
S = N/A O = 46 T = TO |
S = N/A O = 42 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv260c1040l2g15.wcnf | S = OPT O = 46 T = 24.77 |
S = OPT O = 46 T = 438.34 |
S = OPT O = 46 T = 422.65 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 46 T = 1722.02 |
S = OPT O = 46 T = 425.72 |
S = N/A O = 49 T = TO |
S = OPT O = 46 T = 24.77 |
S = OPT O = 46 T = 26.18 |
S = N/A O = 46 T = TO |
S = N/A O = 42 T = TO |
S = N/A O = 38 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv260c1040l2g16.wcnf | S = OPT O = 59 T = 1247.82 |
S = N/A O = 59 T = TO |
S = N/A O = 59 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 77 T = TO |
S = OPT O = 59 T = 1420.29 |
S = OPT O = 59 T = 1247.82 |
S = N/A O = N/A T = TO |
S = N/A O = 45 T = TO |
S = N/A O = 43 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv260c1040l2g17.wcnf | S = OPT O = 51 T = 136.40 |
S = N/A O = 51 T = TO |
S = N/A O = 51 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 86 T = TO |
S = OPT O = 51 T = 147.12 |
S = OPT O = 51 T = 136.40 |
S = N/A O = N/A T = TO |
S = N/A O = 41 T = TO |
S = N/A O = 37 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv260c1040l2g18.wcnf | S = OPT O = 52 T = 19.84 |
S = OPT O = 52 T = 254.27 |
S = OPT O = 52 T = 247.15 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 52 T = 570.64 |
S = OPT O = 52 T = 105.14 |
S = N/A O = 68 T = TO |
S = OPT O = 52 T = 20.66 |
S = OPT O = 52 T = 19.84 |
S = N/A O = 52 T = TO |
S = N/A O = 45 T = TO |
S = N/A O = 43 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv260c1040l2g19.wcnf | S = OPT O = 57 T = 51.88 |
S = OPT O = 57 T = 882.70 |
S = OPT O = 57 T = 840.36 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 57 T = 1267.13 |
S = N/A O = 144 T = TO |
S = OPT O = 57 T = 51.88 |
S = OPT O = 57 T = 52.00 |
S = OPT O = 57 T = 1246.09 |
S = N/A O = 45 T = TO |
S = N/A O = 46 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv260c1040l2g2.wcnf | S = OPT O = 54 T = 5.98 |
S = OPT O = 54 T = 119.85 |
S = OPT O = 54 T = 122.06 |
S = OPT O = 54 T = 816.46 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 54 T = 475.69 |
S = OPT O = 54 T = 88.94 |
S = OPT O = 54 T = 524.41 |
S = OPT O = 54 T = 5.98 |
S = OPT O = 54 T = 6.05 |
S = OPT O = 54 T = 191.07 |
S = N/A O = 51 T = TO |
S = N/A O = 46 T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 54 T = 629.94 |
clq1-cv260c1040l2g20.wcnf | S = OPT O = 63 T = 639.52 |
S = N/A O = 63 T = TO |
S = N/A O = 63 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 75 T = TO |
S = OPT O = 63 T = 660.23 |
S = OPT O = 63 T = 639.52 |
S = N/A O = N/A T = TO |
S = N/A O = 48 T = TO |
S = N/A O = 45 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv260c1040l2g21.wcnf | S = OPT O = 55 T = 27.92 |
S = OPT O = 55 T = 539.80 |
S = OPT O = 55 T = 552.65 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 55 T = 1093.85 |
S = OPT O = 55 T = 430.28 |
S = N/A O = 140 T = TO |
S = OPT O = 55 T = 28.51 |
S = OPT O = 55 T = 27.92 |
S = N/A O = N/A T = TO |
S = N/A O = 44 T = TO |
S = N/A O = 44 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv260c1040l2g22.wcnf | S = OPT O = 58 T = 166.64 |
S = OPT O = 58 T = 1726.64 |
S = OPT O = 58 T = 1776.54 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 134 T = TO |
S = OPT O = 58 T = 195.63 |
S = OPT O = 58 T = 166.64 |
S = N/A O = N/A T = TO |
S = N/A O = 48 T = TO |
S = N/A O = 46 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv260c1040l2g23.wcnf | S = OPT O = 52 T = 14.27 |
S = OPT O = 52 T = 211.16 |
S = OPT O = 52 T = 214.75 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 52 T = 577.58 |
S = OPT O = 52 T = 132.90 |
S = OPT O = 52 T = 415.61 |
S = OPT O = 52 T = 15.56 |
S = OPT O = 52 T = 14.27 |
S = OPT O = 52 T = 96.13 |
S = N/A O = 45 T = TO |
S = N/A O = 45 T = TO |
S = OPT O = 52 T = 1122.95 |
S = OPT O = 52 T = 979.09 |
clq1-cv260c1040l2g24.wcnf | S = OPT O = 42 T = 2.61 |
S = OPT O = 42 T = 14.93 |
S = OPT O = 42 T = 14.87 |
S = OPT O = 42 T = 1570.90 |
S = N/A O = N/A T = TO |
S = OPT O = 42 T = 164.61 |
S = OPT O = 42 T = 1355.67 |
S = OPT O = 42 T = 842.14 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 42 T = 50.98 |
S = OPT O = 42 T = 8.42 |
S = OPT O = 42 T = 25.15 |
S = OPT O = 42 T = 2.61 |
S = OPT O = 42 T = 2.76 |
S = OPT O = 42 T = 12.84 |
S = OPT O = 42 T = 1500.81 |
S = N/A O = 40 T = TO |
S = OPT O = 42 T = 90.13 |
S = OPT O = 42 T = 170.75 |
clq1-cv260c1040l2g25.wcnf | S = OPT O = 46 T = 5.07 |
S = OPT O = 46 T = 83.28 |
S = OPT O = 46 T = 80.55 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 46 T = 196.26 |
S = OPT O = 46 T = 39.60 |
S = OPT O = 46 T = 567.19 |
S = OPT O = 46 T = 5.07 |
S = OPT O = 46 T = 5.24 |
S = OPT O = 46 T = 89.62 |
S = N/A O = 40 T = TO |
S = N/A O = 39 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv260c1040l2g26.wcnf | S = OPT O = 50 T = 80.79 |
S = OPT O = 50 T = 1420.14 |
S = OPT O = 50 T = 1479.95 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 50 T = 688.09 |
S = N/A O = 134 T = TO |
S = OPT O = 50 T = 80.79 |
S = OPT O = 50 T = 82.75 |
S = N/A O = N/A T = TO |
S = N/A O = 41 T = TO |
S = N/A O = 36 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv260c1040l2g27.wcnf | S = OPT O = 69 T = 805.80 |
S = N/A O = 69 T = TO |
S = N/A O = 69 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 88 T = TO |
S = OPT O = 69 T = 929.78 |
S = OPT O = 69 T = 805.80 |
S = N/A O = N/A T = TO |
S = N/A O = 51 T = TO |
S = N/A O = 51 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv260c1040l2g28.wcnf | S = OPT O = 58 T = 134.47 |
S = N/A O = 58 T = TO |
S = N/A O = 58 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 91 T = TO |
S = OPT O = 58 T = 153.67 |
S = OPT O = 58 T = 134.47 |
S = N/A O = N/A T = TO |
S = N/A O = 45 T = TO |
S = N/A O = 47 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv260c1040l2g29.wcnf | S = OPT O = 54 T = 44.52 |
S = OPT O = 54 T = 490.73 |
S = OPT O = 54 T = 459.01 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 54 T = 585.10 |
S = N/A O = 94 T = TO |
S = OPT O = 54 T = 45.64 |
S = OPT O = 54 T = 44.52 |
S = OPT O = 54 T = 575.56 |
S = N/A O = 47 T = TO |
S = N/A O = 45 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv260c1040l2g3.wcnf | S = OPT O = 52 T = 20.64 |
S = OPT O = 52 T = 375.21 |
S = OPT O = 52 T = 220.59 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 52 T = 969.58 |
S = OPT O = 52 T = 148.90 |
S = N/A O = 100 T = TO |
S = OPT O = 52 T = 22.47 |
S = OPT O = 52 T = 20.64 |
S = OPT O = 52 T = 1118.93 |
S = N/A O = 42 T = TO |
S = N/A O = 43 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv260c1040l2g30.wcnf | S = OPT O = 62 T = 1030.86 |
S = N/A O = 63 T = TO |
S = N/A O = 63 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 152 T = TO |
S = OPT O = 62 T = 1159.55 |
S = OPT O = 62 T = 1030.86 |
S = N/A O = N/A T = TO |
S = N/A O = 49 T = TO |
S = N/A O = 50 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv260c1040l2g4.wcnf | S = OPT O = 45 T = 14.61 |
S = OPT O = 45 T = 118.86 |
S = OPT O = 45 T = 115.65 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 45 T = 1629.91 |
S = OPT O = 45 T = 174.63 |
S = OPT O = 45 T = 819.79 |
S = OPT O = 45 T = 15.26 |
S = OPT O = 45 T = 14.61 |
S = OPT O = 45 T = 149.28 |
S = N/A O = 40 T = TO |
S = N/A O = 37 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv260c1040l2g5.wcnf | S = OPT O = 58 T = 312.47 |
S = N/A O = 58 T = TO |
S = N/A O = 58 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 106 T = TO |
S = OPT O = 58 T = 312.47 |
S = OPT O = 58 T = 317.30 |
S = N/A O = N/A T = TO |
S = N/A O = 47 T = TO |
S = N/A O = 43 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-cv260c1040l2g6.wcnf | S = OPT O = 49 T = 6.28 |
S = OPT O = 49 T = 109.33 |
S = OPT O = 49 T = 108.75 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 49 T = 302.44 |
S = OPT O = 49 T = 91.65 |
S = OPT O = 49 T = 1032.45 |
S = OPT O = 49 T = 6.58 |
S = OPT O = 49 T = 6.28 |
S = OPT O = 49 T = 148.69 |
S = N/A O = 45 T = TO |
S = N/A O = 44 T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 49 T = 1085.96 |
clq1-cv260c1040l2g7.wcnf | S = OPT O = 46 T = 3.45 |
S = OPT O = 46 T = 58.60 |
S = OPT O = 46 T = 60.10 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 46 T = 247.26 |
S = OPT O = 46 T = 49.34 |
S = N/A O = 46 T = TO |
S = OPT O = 46 T = 3.45 |
S = OPT O = 46 T = 3.51 |
S = OPT O = 46 T = 144.81 |
S = N/A O = 41 T = TO |
S = N/A O = 39 T = TO |
S = OPT O = 46 T = 1092.33 |
S = OPT O = 46 T = 1406.73 |
clq1-cv260c1040l2g8.wcnf | S = OPT O = 48 T = 8.17 |
S = OPT O = 48 T = 168.22 |
S = OPT O = 48 T = 165.15 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 48 T = 320.52 |
S = OPT O = 48 T = 86.76 |
S = N/A O = 86 T = TO |
S = OPT O = 48 T = 8.45 |
S = OPT O = 48 T = 8.17 |
S = OPT O = 48 T = 138.39 |
S = N/A O = 42 T = TO |
S = N/A O = 40 T = TO |
S = N/A O = 48 T = TO |
S = N/A O = N/A T = TO |
clq1-cv260c1040l2g9.wcnf | S = OPT O = 50 T = 80.63 |
S = OPT O = 50 T = 947.03 |
S = OPT O = 50 T = 1446.91 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 50 T = 711.69 |
S = N/A O = 92 T = TO |
S = OPT O = 50 T = 80.63 |
S = OPT O = 50 T = 87.73 |
S = N/A O = N/A T = TO |
S = N/A O = 41 T = TO |
S = N/A O = 39 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv70c350l3g1.wcnf | S = OPT O = 54 T = 95.11 |
S = OPT O = 54 T = 354.91 |
S = OPT O = 54 T = 349.69 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 54 T = 388.56 |
S = OPT O = 54 T = 813.01 |
S = N/A O = 54 T = TO |
S = OPT O = 54 T = 95.11 |
S = OPT O = 54 T = 98.42 |
S = N/A O = N/A T = TO |
S = N/A O = 44 T = TO |
S = N/A O = 44 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv70c350l3g10.wcnf | S = OPT O = 43 T = 13.06 |
S = OPT O = 43 T = 57.05 |
S = OPT O = 43 T = 56.07 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 43 T = 52.48 |
S = OPT O = 43 T = 77.06 |
S = N/A O = 43 T = TO |
S = OPT O = 43 T = 13.06 |
S = OPT O = 43 T = 13.07 |
S = N/A O = N/A T = TO |
S = N/A O = 37 T = TO |
S = N/A O = 37 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv70c350l3g11.wcnf | S = OPT O = 48 T = 29.73 |
S = OPT O = 48 T = 157.92 |
S = OPT O = 48 T = 208.01 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 48 T = 113.38 |
S = OPT O = 48 T = 145.00 |
S = N/A O = 48 T = TO |
S = OPT O = 48 T = 30.66 |
S = OPT O = 48 T = 29.73 |
S = N/A O = N/A T = TO |
S = N/A O = 39 T = TO |
S = N/A O = 38 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv70c350l3g12.wcnf | S = OPT O = 51 T = 12.85 |
S = OPT O = 51 T = 77.04 |
S = OPT O = 51 T = 73.63 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 51 T = 69.14 |
S = OPT O = 51 T = 75.84 |
S = N/A O = 51 T = TO |
S = OPT O = 51 T = 13.87 |
S = OPT O = 51 T = 12.85 |
S = N/A O = N/A T = TO |
S = N/A O = 43 T = TO |
S = N/A O = 43 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv70c350l3g13.wcnf | S = OPT O = 46 T = 14.35 |
S = OPT O = 46 T = 63.46 |
S = OPT O = 46 T = 64.53 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 46 T = 63.86 |
S = OPT O = 46 T = 84.23 |
S = N/A O = 46 T = TO |
S = OPT O = 46 T = 14.35 |
S = OPT O = 46 T = 14.35 |
S = N/A O = N/A T = TO |
S = N/A O = 38 T = TO |
S = N/A O = 39 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv70c350l3g14.wcnf | S = OPT O = 50 T = 48.35 |
S = OPT O = 50 T = 282.20 |
S = OPT O = 50 T = 283.60 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 50 T = 227.35 |
S = OPT O = 50 T = 330.86 |
S = N/A O = 50 T = TO |
S = OPT O = 50 T = 48.35 |
S = OPT O = 50 T = 50.12 |
S = N/A O = N/A T = TO |
S = N/A O = 39 T = TO |
S = N/A O = 39 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv70c350l3g15.wcnf | S = OPT O = 51 T = 36.10 |
S = OPT O = 51 T = 141.25 |
S = OPT O = 51 T = 144.12 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 51 T = 175.14 |
S = OPT O = 51 T = 172.27 |
S = N/A O = 52 T = TO |
S = OPT O = 51 T = 37.85 |
S = OPT O = 51 T = 36.10 |
S = N/A O = N/A T = TO |
S = N/A O = 41 T = TO |
S = N/A O = 43 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv70c350l3g16.wcnf | S = OPT O = 51 T = 45.07 |
S = OPT O = 51 T = 237.27 |
S = OPT O = 51 T = 233.54 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 51 T = 199.20 |
S = OPT O = 51 T = 232.36 |
S = N/A O = 52 T = TO |
S = OPT O = 51 T = 46.07 |
S = OPT O = 51 T = 45.07 |
S = N/A O = N/A T = TO |
S = N/A O = 42 T = TO |
S = N/A O = 43 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv70c350l3g17.wcnf | S = OPT O = 45 T = 34.92 |
S = OPT O = 45 T = 168.71 |
S = OPT O = 45 T = 166.71 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 45 T = 137.14 |
S = OPT O = 45 T = 174.68 |
S = N/A O = 46 T = TO |
S = OPT O = 45 T = 35.15 |
S = OPT O = 45 T = 34.92 |
S = N/A O = N/A T = TO |
S = N/A O = 38 T = TO |
S = N/A O = 36 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv70c350l3g18.wcnf | S = OPT O = 51 T = 204.15 |
S = OPT O = 51 T = 548.60 |
S = OPT O = 51 T = 560.31 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 51 T = 561.90 |
S = OPT O = 51 T = 748.97 |
S = N/A O = 51 T = TO |
S = OPT O = 51 T = 214.94 |
S = OPT O = 51 T = 204.15 |
S = N/A O = N/A T = TO |
S = N/A O = 39 T = TO |
S = N/A O = 39 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv70c350l3g19.wcnf | S = OPT O = 55 T = 143.47 |
S = OPT O = 55 T = 577.25 |
S = OPT O = 55 T = 570.39 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 55 T = 838.35 |
S = OPT O = 55 T = 1058.31 |
S = N/A O = 56 T = TO |
S = OPT O = 55 T = 155.31 |
S = OPT O = 55 T = 143.47 |
S = N/A O = N/A T = TO |
S = N/A O = 42 T = TO |
S = N/A O = 41 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv70c350l3g2.wcnf | S = OPT O = 48 T = 13.39 |
S = OPT O = 48 T = 78.31 |
S = OPT O = 48 T = 78.04 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 48 T = 45.51 |
S = OPT O = 48 T = 105.65 |
S = N/A O = 48 T = TO |
S = OPT O = 48 T = 13.39 |
S = OPT O = 48 T = 13.44 |
S = N/A O = N/A T = TO |
S = N/A O = 42 T = TO |
S = N/A O = 41 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv70c350l3g20.wcnf | S = OPT O = 50 T = 57.99 |
S = OPT O = 50 T = 228.85 |
S = OPT O = 50 T = 230.66 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 50 T = 238.29 |
S = OPT O = 50 T = 199.14 |
S = N/A O = 50 T = TO |
S = OPT O = 50 T = 57.99 |
S = OPT O = 50 T = 59.48 |
S = N/A O = N/A T = TO |
S = N/A O = 41 T = TO |
S = N/A O = 41 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv70c350l3g21.wcnf | S = OPT O = 40 T = 15.11 |
S = OPT O = 40 T = 62.15 |
S = OPT O = 40 T = 63.23 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 40 T = 67.54 |
S = OPT O = 40 T = 62.83 |
S = N/A O = 40 T = TO |
S = OPT O = 40 T = 15.58 |
S = OPT O = 40 T = 15.11 |
S = OPT O = 40 T = 1615.40 |
S = N/A O = 35 T = TO |
S = N/A O = 35 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv70c350l3g22.wcnf | S = OPT O = 50 T = 48.52 |
S = OPT O = 50 T = 172.19 |
S = OPT O = 50 T = 172.99 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 50 T = 180.43 |
S = OPT O = 50 T = 274.32 |
S = N/A O = 50 T = TO |
S = OPT O = 50 T = 51.73 |
S = OPT O = 50 T = 48.52 |
S = N/A O = N/A T = TO |
S = N/A O = 41 T = TO |
S = N/A O = 41 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv70c350l3g23.wcnf | S = OPT O = 52 T = 52.82 |
S = OPT O = 52 T = 161.06 |
S = OPT O = 52 T = 164.93 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 52 T = 99.68 |
S = OPT O = 52 T = 160.15 |
S = N/A O = 57 T = TO |
S = OPT O = 52 T = 52.82 |
S = OPT O = 52 T = 55.29 |
S = N/A O = N/A T = TO |
S = N/A O = 43 T = TO |
S = N/A O = 44 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv70c350l3g24.wcnf | S = OPT O = 50 T = 49.51 |
S = OPT O = 50 T = 121.06 |
S = OPT O = 50 T = 121.06 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 50 T = 118.47 |
S = OPT O = 50 T = 177.68 |
S = N/A O = 50 T = TO |
S = OPT O = 50 T = 50.45 |
S = OPT O = 50 T = 49.51 |
S = N/A O = N/A T = TO |
S = N/A O = 43 T = TO |
S = N/A O = 42 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv70c350l3g25.wcnf | S = OPT O = 45 T = 29.47 |
S = OPT O = 45 T = 119.98 |
S = OPT O = 45 T = 116.58 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 45 T = 139.20 |
S = OPT O = 45 T = 127.25 |
S = N/A O = 45 T = TO |
S = OPT O = 45 T = 29.47 |
S = OPT O = 45 T = 29.86 |
S = N/A O = N/A T = TO |
S = N/A O = 37 T = TO |
S = N/A O = 36 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv70c350l3g26.wcnf | S = OPT O = 50 T = 14.75 |
S = OPT O = 50 T = 110.57 |
S = OPT O = 50 T = 109.85 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 50 T = 58.84 |
S = OPT O = 50 T = 95.40 |
S = N/A O = 50 T = TO |
S = OPT O = 50 T = 16.28 |
S = OPT O = 50 T = 14.75 |
S = N/A O = N/A T = TO |
S = N/A O = 41 T = TO |
S = N/A O = 42 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv70c350l3g27.wcnf | S = OPT O = 56 T = 260.17 |
S = OPT O = 56 T = 979.71 |
S = OPT O = 56 T = 941.82 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 56 T = 963.50 |
S = OPT O = 56 T = 1409.12 |
S = N/A O = 57 T = TO |
S = OPT O = 56 T = 272.25 |
S = OPT O = 56 T = 260.17 |
S = N/A O = N/A T = TO |
S = N/A O = 43 T = TO |
S = N/A O = 43 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv70c350l3g28.wcnf | S = OPT O = 51 T = 31.30 |
S = OPT O = 51 T = 236.57 |
S = OPT O = 51 T = 233.59 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 51 T = 145.96 |
S = OPT O = 51 T = 232.53 |
S = N/A O = 51 T = TO |
S = OPT O = 51 T = 33.06 |
S = OPT O = 51 T = 31.30 |
S = N/A O = N/A T = TO |
S = N/A O = 42 T = TO |
S = N/A O = 42 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv70c350l3g29.wcnf | S = OPT O = 55 T = 83.45 |
S = OPT O = 55 T = 495.98 |
S = OPT O = 55 T = 495.56 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 55 T = 338.32 |
S = OPT O = 55 T = 394.13 |
S = N/A O = 55 T = TO |
S = OPT O = 55 T = 89.61 |
S = OPT O = 55 T = 83.45 |
S = N/A O = N/A T = TO |
S = N/A O = 43 T = TO |
S = N/A O = 41 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv70c350l3g3.wcnf | S = OPT O = 49 T = 139.82 |
S = OPT O = 49 T = 334.53 |
S = OPT O = 49 T = 332.45 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 49 T = 611.46 |
S = OPT O = 49 T = 740.24 |
S = N/A O = 49 T = TO |
S = OPT O = 49 T = 140.50 |
S = OPT O = 49 T = 139.82 |
S = N/A O = N/A T = TO |
S = N/A O = 39 T = TO |
S = N/A O = 39 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv70c350l3g30.wcnf | S = OPT O = 53 T = 142.07 |
S = OPT O = 53 T = 724.55 |
S = OPT O = 53 T = 726.31 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 53 T = 567.64 |
S = OPT O = 53 T = 1001.20 |
S = N/A O = 55 T = TO |
S = OPT O = 53 T = 148.86 |
S = OPT O = 53 T = 142.07 |
S = N/A O = N/A T = TO |
S = N/A O = 39 T = TO |
S = N/A O = 39 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv70c350l3g4.wcnf | S = OPT O = 47 T = 18.35 |
S = OPT O = 47 T = 91.78 |
S = OPT O = 47 T = 90.88 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 47 T = 97.46 |
S = OPT O = 47 T = 98.81 |
S = N/A O = 47 T = TO |
S = OPT O = 47 T = 18.67 |
S = OPT O = 47 T = 18.35 |
S = N/A O = N/A T = TO |
S = N/A O = 39 T = TO |
S = N/A O = 39 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv70c350l3g5.wcnf | S = OPT O = 46 T = 15.15 |
S = OPT O = 46 T = 44.94 |
S = OPT O = 46 T = 44.40 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 46 T = 52.48 |
S = OPT O = 46 T = 83.53 |
S = N/A O = 46 T = TO |
S = OPT O = 46 T = 15.76 |
S = OPT O = 46 T = 15.15 |
S = OPT O = 46 T = 1582.84 |
S = N/A O = 41 T = TO |
S = N/A O = 40 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv70c350l3g6.wcnf | S = OPT O = 49 T = 13.29 |
S = OPT O = 49 T = 94.24 |
S = OPT O = 49 T = 92.12 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 49 T = 48.29 |
S = OPT O = 49 T = 84.75 |
S = N/A O = 49 T = TO |
S = OPT O = 49 T = 13.29 |
S = OPT O = 49 T = 14.80 |
S = N/A O = N/A T = TO |
S = N/A O = 43 T = TO |
S = N/A O = 42 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv70c350l3g7.wcnf | S = OPT O = 54 T = 152.58 |
S = OPT O = 54 T = 688.42 |
S = OPT O = 54 T = 821.34 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 54 T = 527.62 |
S = OPT O = 54 T = 884.00 |
S = N/A O = 55 T = TO |
S = OPT O = 54 T = 152.58 |
S = OPT O = 54 T = 153.50 |
S = N/A O = N/A T = TO |
S = N/A O = 42 T = TO |
S = N/A O = 41 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv70c350l3g8.wcnf | S = OPT O = 48 T = 99.10 |
S = OPT O = 48 T = 171.30 |
S = OPT O = 48 T = 236.99 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 48 T = 530.75 |
S = OPT O = 48 T = 581.54 |
S = N/A O = 48 T = TO |
S = OPT O = 48 T = 99.73 |
S = OPT O = 48 T = 99.10 |
S = N/A O = N/A T = TO |
S = N/A O = 39 T = TO |
S = N/A O = 39 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv70c350l3g9.wcnf | S = OPT O = 50 T = 105.24 |
S = OPT O = 50 T = 449.44 |
S = OPT O = 50 T = 450.03 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 50 T = 564.47 |
S = OPT O = 50 T = 659.83 |
S = N/A O = 50 T = TO |
S = OPT O = 50 T = 119.49 |
S = OPT O = 50 T = 105.24 |
S = N/A O = N/A T = TO |
S = N/A O = 39 T = TO |
S = N/A O = 39 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv80c400l3g1.wcnf | S = OPT O = 56 T = 57.05 |
S = OPT O = 56 T = 543.84 |
S = OPT O = 56 T = 523.62 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 56 T = 312.18 |
S = OPT O = 56 T = 536.02 |
S = N/A O = 79 T = TO |
S = OPT O = 56 T = 58.69 |
S = OPT O = 56 T = 57.05 |
S = N/A O = N/A T = TO |
S = N/A O = 45 T = TO |
S = N/A O = 43 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv80c400l3g10.wcnf | S = OPT O = 55 T = 50.04 |
S = OPT O = 55 T = 288.94 |
S = OPT O = 55 T = 286.89 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 55 T = 350.84 |
S = OPT O = 55 T = 367.17 |
S = N/A O = 55 T = TO |
S = OPT O = 55 T = 50.66 |
S = OPT O = 55 T = 50.04 |
S = N/A O = N/A T = TO |
S = N/A O = 44 T = TO |
S = N/A O = 43 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv80c400l3g11.wcnf | S = OPT O = 57 T = 116.76 |
S = OPT O = 57 T = 1058.15 |
S = OPT O = 57 T = 1063.57 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 57 T = 629.68 |
S = OPT O = 57 T = 1216.44 |
S = N/A O = 58 T = TO |
S = OPT O = 57 T = 120.58 |
S = OPT O = 57 T = 116.76 |
S = N/A O = N/A T = TO |
S = N/A O = 44 T = TO |
S = N/A O = 43 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv80c400l3g12.wcnf | S = OPT O = 65 T = 819.19 |
S = N/A O = 65 T = TO |
S = N/A O = 65 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 65 T = TO |
S = OPT O = 65 T = 819.19 |
S = OPT O = 65 T = 891.49 |
S = N/A O = N/A T = TO |
S = N/A O = 44 T = TO |
S = N/A O = 44 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv80c400l3g13.wcnf | S = OPT O = 60 T = 377.42 |
S = OPT O = 60 T = 1452.68 |
S = OPT O = 60 T = 1398.50 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 60 T = 1462.58 |
S = N/A O = N/A T = TO |
S = N/A O = 60 T = TO |
S = OPT O = 60 T = 377.42 |
S = OPT O = 60 T = 383.14 |
S = N/A O = N/A T = TO |
S = N/A O = 44 T = TO |
S = N/A O = 45 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv80c400l3g14.wcnf | S = OPT O = 59 T = 221.71 |
S = N/A O = 59 T = TO |
S = N/A O = 59 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 59 T = 1488.26 |
S = N/A O = N/A T = TO |
S = N/A O = 66 T = TO |
S = OPT O = 59 T = 222.84 |
S = OPT O = 59 T = 221.71 |
S = N/A O = N/A T = TO |
S = N/A O = 44 T = TO |
S = N/A O = 42 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv80c400l3g15.wcnf | S = OPT O = 59 T = 84.92 |
S = OPT O = 59 T = 1152.26 |
S = OPT O = 59 T = 1174.15 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 59 T = 570.63 |
S = OPT O = 59 T = 1165.86 |
S = N/A O = 59 T = TO |
S = OPT O = 59 T = 84.92 |
S = OPT O = 59 T = 85.71 |
S = N/A O = N/A T = TO |
S = N/A O = 46 T = TO |
S = N/A O = 45 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv80c400l3g16.wcnf | S = OPT O = 61 T = 264.85 |
S = N/A O = 61 T = TO |
S = N/A O = 61 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 61 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 62 T = TO |
S = OPT O = 61 T = 289.38 |
S = OPT O = 61 T = 264.85 |
S = N/A O = N/A T = TO |
S = N/A O = 42 T = TO |
S = N/A O = 44 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv80c400l3g17.wcnf | S = OPT O = 66 T = 1444.32 |
S = N/A O = 66 T = TO |
S = N/A O = 66 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 71 T = TO |
S = OPT O = 66 T = 1684.87 |
S = OPT O = 66 T = 1444.32 |
S = N/A O = N/A T = TO |
S = N/A O = 47 T = TO |
S = N/A O = 46 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv80c400l3g18.wcnf | S = OPT O = 58 T = 147.73 |
S = OPT O = 58 T = 938.01 |
S = OPT O = 58 T = 913.30 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 58 T = 713.89 |
S = OPT O = 58 T = 1166.06 |
S = N/A O = 59 T = TO |
S = OPT O = 58 T = 147.82 |
S = OPT O = 58 T = 147.73 |
S = N/A O = N/A T = TO |
S = N/A O = 45 T = TO |
S = N/A O = 44 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv80c400l3g19.wcnf | S = OPT O = 55 T = 220.24 |
S = OPT O = 55 T = 1097.24 |
S = OPT O = 55 T = 1574.56 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 55 T = 1364.36 |
S = OPT O = 55 T = 1509.96 |
S = N/A O = 56 T = TO |
S = OPT O = 55 T = 220.24 |
S = OPT O = 55 T = 224.65 |
S = N/A O = N/A T = TO |
S = N/A O = 41 T = TO |
S = N/A O = 42 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv80c400l3g2.wcnf | S = N/A O = N/A T = TO |
S = N/A O = 65 T = TO |
S = N/A O = 66 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 65 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 44 T = TO |
S = N/A O = 44 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv80c400l3g20.wcnf | S = OPT O = 56 T = 121.72 |
S = OPT O = 56 T = 592.15 |
S = OPT O = 56 T = 836.88 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 56 T = 477.38 |
S = OPT O = 56 T = 836.33 |
S = N/A O = 58 T = TO |
S = OPT O = 56 T = 124.36 |
S = OPT O = 56 T = 121.72 |
S = N/A O = N/A T = TO |
S = N/A O = 43 T = TO |
S = N/A O = 43 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv80c400l3g21.wcnf | S = OPT O = 65 T = 420.65 |
S = N/A O = 65 T = TO |
S = N/A O = 65 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 65 T = TO |
S = OPT O = 65 T = 420.65 |
S = OPT O = 65 T = 427.78 |
S = N/A O = N/A T = TO |
S = N/A O = 47 T = TO |
S = N/A O = 47 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv80c400l3g22.wcnf | S = OPT O = 64 T = 666.19 |
S = OPT O = 64 T = 1761.01 |
S = N/A O = 64 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 64 T = 876.10 |
S = N/A O = N/A T = TO |
S = N/A O = 64 T = TO |
S = OPT O = 64 T = 711.87 |
S = OPT O = 64 T = 666.19 |
S = N/A O = N/A T = TO |
S = N/A O = 47 T = TO |
S = N/A O = 49 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv80c400l3g23.wcnf | S = OPT O = 56 T = 119.13 |
S = OPT O = 56 T = 975.77 |
S = OPT O = 56 T = 966.28 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 56 T = 749.16 |
S = OPT O = 56 T = 973.99 |
S = N/A O = 57 T = TO |
S = OPT O = 56 T = 119.13 |
S = OPT O = 56 T = 121.17 |
S = N/A O = N/A T = TO |
S = N/A O = 42 T = TO |
S = N/A O = 43 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv80c400l3g24.wcnf | S = OPT O = 51 T = 22.06 |
S = OPT O = 51 T = 142.97 |
S = OPT O = 51 T = 143.81 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 51 T = 107.91 |
S = OPT O = 51 T = 191.70 |
S = N/A O = 51 T = TO |
S = OPT O = 51 T = 22.16 |
S = OPT O = 51 T = 22.06 |
S = N/A O = N/A T = TO |
S = N/A O = 42 T = TO |
S = N/A O = 42 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv80c400l3g25.wcnf | S = OPT O = 55 T = 109.68 |
S = OPT O = 55 T = 771.25 |
S = OPT O = 55 T = 851.89 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 55 T = 849.63 |
S = OPT O = 55 T = 1042.23 |
S = N/A O = 56 T = TO |
S = OPT O = 55 T = 113.77 |
S = OPT O = 55 T = 109.68 |
S = N/A O = N/A T = TO |
S = N/A O = 42 T = TO |
S = N/A O = 42 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv80c400l3g26.wcnf | S = OPT O = 59 T = 419.47 |
S = N/A O = 59 T = TO |
S = N/A O = 59 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 75 T = TO |
S = OPT O = 59 T = 420.42 |
S = OPT O = 59 T = 419.47 |
S = N/A O = N/A T = TO |
S = N/A O = 44 T = TO |
S = N/A O = 43 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv80c400l3g27.wcnf | S = OPT O = 59 T = 204.46 |
S = OPT O = 59 T = 1337.29 |
S = OPT O = 59 T = 1338.09 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 59 T = 1427.01 |
S = N/A O = N/A T = TO |
S = N/A O = 59 T = TO |
S = OPT O = 59 T = 215.42 |
S = OPT O = 59 T = 204.46 |
S = N/A O = N/A T = TO |
S = N/A O = 45 T = TO |
S = N/A O = 43 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv80c400l3g28.wcnf | S = OPT O = 57 T = 63.93 |
S = OPT O = 57 T = 654.14 |
S = OPT O = 57 T = 662.17 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 57 T = 348.52 |
S = OPT O = 57 T = 665.05 |
S = N/A O = 58 T = TO |
S = OPT O = 57 T = 64.13 |
S = OPT O = 57 T = 63.93 |
S = N/A O = N/A T = TO |
S = N/A O = 44 T = TO |
S = N/A O = 45 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv80c400l3g29.wcnf | S = OPT O = 63 T = 245.39 |
S = N/A O = 63 T = TO |
S = N/A O = 63 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 63 T = 1669.51 |
S = OPT O = 63 T = 1765.54 |
S = N/A O = 80 T = TO |
S = OPT O = 63 T = 265.38 |
S = OPT O = 63 T = 245.39 |
S = N/A O = N/A T = TO |
S = N/A O = 47 T = TO |
S = N/A O = 47 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv80c400l3g3.wcnf | S = OPT O = 63 T = 569.25 |
S = N/A O = 63 T = TO |
S = N/A O = 63 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 83 T = TO |
S = OPT O = 63 T = 591.91 |
S = OPT O = 63 T = 569.25 |
S = N/A O = N/A T = TO |
S = N/A O = 44 T = TO |
S = N/A O = 43 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv80c400l3g30.wcnf | S = OPT O = 59 T = 142.96 |
S = OPT O = 59 T = 1313.24 |
S = OPT O = 59 T = 1286.99 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 59 T = 1429.20 |
S = N/A O = N/A T = TO |
S = N/A O = 60 T = TO |
S = OPT O = 59 T = 142.96 |
S = OPT O = 59 T = 143.64 |
S = N/A O = N/A T = TO |
S = N/A O = 42 T = TO |
S = N/A O = 42 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv80c400l3g4.wcnf | S = OPT O = 61 T = 178.39 |
S = OPT O = 61 T = 776.54 |
S = OPT O = 61 T = 779.82 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 61 T = 572.68 |
S = OPT O = 61 T = 1277.96 |
S = N/A O = 87 T = TO |
S = OPT O = 61 T = 178.39 |
S = OPT O = 61 T = 185.18 |
S = N/A O = N/A T = TO |
S = N/A O = 45 T = TO |
S = N/A O = 45 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv80c400l3g5.wcnf | S = OPT O = 62 T = 268.08 |
S = N/A O = 62 T = TO |
S = N/A O = 62 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 62 T = 1603.82 |
S = N/A O = N/A T = TO |
S = N/A O = 64 T = TO |
S = OPT O = 62 T = 283.50 |
S = OPT O = 62 T = 268.08 |
S = N/A O = N/A T = TO |
S = N/A O = 45 T = TO |
S = N/A O = 45 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv80c400l3g6.wcnf | S = OPT O = 59 T = 90.54 |
S = OPT O = 59 T = 965.98 |
S = OPT O = 59 T = 983.78 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 59 T = 643.18 |
S = OPT O = 59 T = 1015.13 |
S = N/A O = 59 T = TO |
S = OPT O = 59 T = 96.75 |
S = OPT O = 59 T = 90.54 |
S = N/A O = N/A T = TO |
S = N/A O = 44 T = TO |
S = N/A O = 45 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv80c400l3g7.wcnf | S = OPT O = 64 T = 951.09 |
S = N/A O = 64 T = TO |
S = N/A O = 64 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 65 T = TO |
S = OPT O = 64 T = 973.20 |
S = OPT O = 64 T = 951.09 |
S = N/A O = N/A T = TO |
S = N/A O = 47 T = TO |
S = N/A O = 44 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv80c400l3g8.wcnf | S = OPT O = 65 T = 532.16 |
S = N/A O = 65 T = TO |
S = N/A O = 65 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 65 T = 1785.61 |
S = N/A O = N/A T = TO |
S = N/A O = 66 T = TO |
S = OPT O = 65 T = 544.50 |
S = OPT O = 65 T = 532.16 |
S = N/A O = N/A T = TO |
S = N/A O = 48 T = TO |
S = N/A O = 49 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
clq1-c2mv80c400l3g9.wcnf | S = OPT O = 59 T = 175.91 |
S = OPT O = 59 T = 964.08 |
S = OPT O = 59 T = 956.46 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 59 T = 888.36 |
S = OPT O = 59 T = 1341.87 |
S = N/A O = 61 T = TO |
S = OPT O = 59 T = 175.91 |
S = OPT O = 59 T = 178.66 |
S = N/A O = N/A T = TO |
S = N/A O = 47 T = TO |
S = N/A O = 42 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C4000_H150_0.wcnf | S = OPT O = 802 T = 0.30 |
S = OPT O = 802 T = 8.71 |
S = OPT O = 802 T = 3.19 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 935 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 802 T = 1.27 |
S = OPT O = 802 T = 1.00 |
S = N/A O = 828 T = TO |
S = OPT O = 802 T = 0.30 |
S = OPT O = 802 T = 0.30 |
S = N/A O = N/A T = TO |
S = N/A O = 639 T = TO |
S = N/A O = 649 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C4000_H150_1.wcnf | S = UNSAT O = N/A T = 0.00 |
S = UNSAT O = N/A T = 6.25 |
S = UNSAT O = N/A T = 1.29 |
S = N/A O = N/A T = 0.06 |
S = UNSAT O = N/A T = 0.06 |
S = UNSAT O = N/A T = 0.01 |
S = UNSAT O = N/A T = 0.00 |
S = UNSAT O = N/A T = 0.01 |
S = UNSAT O = N/A T = 0.00 |
S = UNSAT O = N/A T = 0.00 |
S = UNSAT O = N/A T = 0.02 |
S = UNSAT O = N/A T = 0.02 |
S = N/A O = 4000 T = 0.00 |
S = UNSAT O = N/A T = 0.03 |
S = UNSAT O = N/A T = 0.04 |
S = UNSAT O = N/A T = 0.18 |
S = UNSAT O = N/A T = 0.00 |
S = UNSAT O = N/A T = 0.00 |
S = UNSAT O = N/A T = 0.01 |
S = UNSAT O = N/A T = 0.00 |
file_rpms_wcnf_L2_V150_C4000_H150_2.wcnf | S = OPT O = 805 T = 0.39 |
S = OPT O = 805 T = 8.81 |
S = OPT O = 805 T = 3.54 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 933 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 805 T = 0.92 |
S = OPT O = 805 T = 0.88 |
S = N/A O = 835 T = TO |
S = OPT O = 805 T = 0.39 |
S = OPT O = 805 T = 0.40 |
S = N/A O = N/A T = TO |
S = N/A O = 654 T = TO |
S = N/A O = 662 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C4000_H150_3.wcnf | S = OPT O = 752 T = 0.50 |
S = OPT O = 752 T = 8.58 |
S = OPT O = 752 T = 2.73 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 752 T = 3.01 |
S = OPT O = 752 T = 2.89 |
S = N/A O = 808 T = TO |
S = OPT O = 752 T = 1.02 |
S = OPT O = 752 T = 0.50 |
S = N/A O = N/A T = TO |
S = N/A O = 515 T = TO |
S = N/A O = 525 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C4000_H150_4.wcnf | S = OPT O = 750 T = 1.08 |
S = OPT O = 750 T = 10.72 |
S = OPT O = 750 T = 4.95 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 750 T = 3.01 |
S = OPT O = 750 T = 3.48 |
S = N/A O = 825 T = TO |
S = OPT O = 750 T = 1.85 |
S = OPT O = 750 T = 1.08 |
S = N/A O = N/A T = TO |
S = N/A O = 514 T = TO |
S = N/A O = 525 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C4000_H150_5.wcnf | S = OPT O = 756 T = 4.28 |
S = OPT O = 756 T = 15.19 |
S = OPT O = 756 T = 8.89 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 756 T = 11.58 |
S = OPT O = 756 T = 11.31 |
S = N/A O = 811 T = TO |
S = OPT O = 756 T = 4.37 |
S = OPT O = 756 T = 4.28 |
S = N/A O = N/A T = TO |
S = N/A O = 511 T = TO |
S = N/A O = 519 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C4000_H150_6.wcnf | S = OPT O = 782 T = 4.89 |
S = OPT O = 782 T = 23.81 |
S = OPT O = 782 T = 18.73 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 782 T = 18.16 |
S = OPT O = 782 T = 18.01 |
S = N/A O = 843 T = TO |
S = OPT O = 782 T = 6.45 |
S = OPT O = 782 T = 4.89 |
S = N/A O = N/A T = TO |
S = N/A O = 500 T = TO |
S = N/A O = 525 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C4000_H150_7.wcnf | S = OPT O = 755 T = 2.21 |
S = OPT O = 755 T = 10.84 |
S = OPT O = 755 T = 5.08 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 755 T = 10.74 |
S = OPT O = 755 T = 10.35 |
S = N/A O = 808 T = TO |
S = OPT O = 755 T = 3.95 |
S = OPT O = 755 T = 2.21 |
S = N/A O = N/A T = TO |
S = N/A O = 498 T = TO |
S = N/A O = 516 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C4000_H150_8.wcnf | S = OPT O = 764 T = 15.56 |
S = OPT O = 764 T = 37.64 |
S = OPT O = 764 T = 32.41 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 764 T = 56.78 |
S = OPT O = 764 T = 54.31 |
S = N/A O = 819 T = TO |
S = OPT O = 764 T = 15.56 |
S = OPT O = 764 T = 15.58 |
S = N/A O = N/A T = TO |
S = N/A O = 476 T = TO |
S = N/A O = 490 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C4000_H150_9.wcnf | S = OPT O = 792 T = 2.60 |
S = OPT O = 792 T = 17.34 |
S = OPT O = 792 T = 11.12 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 792 T = 7.89 |
S = OPT O = 792 T = 7.07 |
S = N/A O = 864 T = TO |
S = OPT O = 792 T = 2.60 |
S = OPT O = 792 T = 2.66 |
S = N/A O = N/A T = TO |
S = N/A O = 553 T = TO |
S = N/A O = 569 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C4500_H150_0.wcnf | S = OPT O = 867 T = 3.41 |
S = OPT O = 867 T = 18.60 |
S = OPT O = 867 T = 12.89 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 867 T = 23.23 |
S = OPT O = 867 T = 21.87 |
S = N/A O = 933 T = TO |
S = OPT O = 867 T = 7.37 |
S = OPT O = 867 T = 3.41 |
S = N/A O = N/A T = TO |
S = N/A O = 533 T = TO |
S = N/A O = 557 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C4500_H150_1.wcnf | S = OPT O = 905 T = 6.94 |
S = OPT O = 905 T = 20.86 |
S = OPT O = 905 T = 13.90 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 905 T = 18.51 |
S = OPT O = 905 T = 18.41 |
S = N/A O = 1005 T = TO |
S = OPT O = 905 T = 7.34 |
S = OPT O = 905 T = 6.94 |
S = N/A O = N/A T = TO |
S = N/A O = 571 T = TO |
S = N/A O = 599 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C4500_H150_2.wcnf | S = OPT O = 912 T = 1.28 |
S = OPT O = 912 T = 15.75 |
S = OPT O = 912 T = 8.36 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 1070 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 912 T = 8.01 |
S = OPT O = 912 T = 7.77 |
S = N/A O = 971 T = TO |
S = OPT O = 912 T = 1.99 |
S = OPT O = 912 T = 1.28 |
S = N/A O = N/A T = TO |
S = N/A O = 617 T = TO |
S = N/A O = 651 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C4500_H150_3.wcnf | S = OPT O = 878 T = 0.68 |
S = OPT O = 878 T = 11.82 |
S = OPT O = 878 T = 4.59 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 878 T = 2.19 |
S = OPT O = 878 T = 1.95 |
S = N/A O = 900 T = TO |
S = OPT O = 878 T = 0.78 |
S = OPT O = 878 T = 0.68 |
S = N/A O = N/A T = TO |
S = N/A O = 604 T = TO |
S = N/A O = 635 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C4500_H150_4.wcnf | S = OPT O = 890 T = 5.02 |
S = OPT O = 890 T = 29.18 |
S = OPT O = 890 T = 22.80 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 890 T = 14.25 |
S = OPT O = 890 T = 14.03 |
S = N/A O = 957 T = TO |
S = OPT O = 890 T = 5.50 |
S = OPT O = 890 T = 5.02 |
S = N/A O = N/A T = TO |
S = N/A O = 560 T = TO |
S = N/A O = 577 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C4500_H150_5.wcnf | S = OPT O = 881 T = 3.34 |
S = OPT O = 881 T = 17.74 |
S = OPT O = 881 T = 10.78 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 881 T = 10.99 |
S = OPT O = 881 T = 11.08 |
S = N/A O = 957 T = TO |
S = OPT O = 881 T = 3.46 |
S = OPT O = 881 T = 3.34 |
S = N/A O = N/A T = TO |
S = N/A O = 550 T = TO |
S = N/A O = 595 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C4500_H150_6.wcnf | S = OPT O = 856 T = 0.72 |
S = OPT O = 856 T = 10.32 |
S = OPT O = 856 T = 3.69 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 856 T = 12.56 |
S = OPT O = 856 T = 12.75 |
S = N/A O = 928 T = TO |
S = OPT O = 856 T = 4.73 |
S = OPT O = 856 T = 0.72 |
S = N/A O = N/A T = TO |
S = N/A O = 577 T = TO |
S = N/A O = 596 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C4500_H150_7.wcnf | S = OPT O = 875 T = 3.84 |
S = OPT O = 875 T = 25.14 |
S = OPT O = 875 T = 17.46 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 875 T = 19.37 |
S = OPT O = 875 T = 18.31 |
S = N/A O = 929 T = TO |
S = OPT O = 875 T = 6.36 |
S = OPT O = 875 T = 3.84 |
S = N/A O = N/A T = TO |
S = N/A O = 563 T = TO |
S = N/A O = 594 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C4500_H150_8.wcnf | S = OPT O = 908 T = 0.86 |
S = OPT O = 908 T = 13.45 |
S = OPT O = 908 T = 6.24 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 1049 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 908 T = 2.69 |
S = OPT O = 908 T = 2.97 |
S = N/A O = 947 T = TO |
S = OPT O = 908 T = 0.86 |
S = OPT O = 908 T = 0.90 |
S = N/A O = N/A T = TO |
S = N/A O = 639 T = TO |
S = N/A O = 656 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C4500_H150_9.wcnf | S = OPT O = 898 T = 1.34 |
S = OPT O = 898 T = 12.23 |
S = OPT O = 898 T = 5.07 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 1134 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 898 T = 5.47 |
S = OPT O = 898 T = 4.65 |
S = N/A O = 941 T = TO |
S = OPT O = 898 T = 1.45 |
S = OPT O = 898 T = 1.34 |
S = N/A O = N/A T = TO |
S = N/A O = 666 T = TO |
S = N/A O = 681 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C5000_H150_0.wcnf | S = OPT O = 1018 T = 2.13 |
S = OPT O = 1018 T = 11.23 |
S = OPT O = 1018 T = 3.96 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 1159 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 1018 T = 9.99 |
S = OPT O = 1018 T = 11.96 |
S = N/A O = 1077 T = TO |
S = OPT O = 1018 T = 2.15 |
S = OPT O = 1018 T = 2.13 |
S = N/A O = N/A T = TO |
S = N/A O = 746 T = TO |
S = N/A O = 759 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C5000_H150_1.wcnf | S = OPT O = 1015 T = 1.16 |
S = OPT O = 1015 T = 13.13 |
S = OPT O = 1015 T = 5.01 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 1158 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 1015 T = 16.07 |
S = OPT O = 1015 T = 16.84 |
S = N/A O = 1074 T = TO |
S = OPT O = 1015 T = 4.20 |
S = OPT O = 1015 T = 1.16 |
S = N/A O = N/A T = TO |
S = N/A O = 691 T = TO |
S = N/A O = 715 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C5000_H150_2.wcnf | S = OPT O = 979 T = 1.50 |
S = OPT O = 979 T = 16.86 |
S = OPT O = 979 T = 7.78 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 1119 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 979 T = 10.69 |
S = OPT O = 979 T = 9.94 |
S = N/A O = 1046 T = TO |
S = OPT O = 979 T = 5.28 |
S = OPT O = 979 T = 1.50 |
S = N/A O = N/A T = TO |
S = N/A O = 643 T = TO |
S = N/A O = 656 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C5000_H150_3.wcnf | S = OPT O = 1032 T = 2.97 |
S = OPT O = 1032 T = 24.47 |
S = OPT O = 1032 T = 15.54 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 1190 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 1032 T = 8.52 |
S = OPT O = 1032 T = 8.57 |
S = N/A O = 1085 T = TO |
S = OPT O = 1032 T = 3.12 |
S = OPT O = 1032 T = 2.97 |
S = N/A O = N/A T = TO |
S = N/A O = 741 T = TO |
S = N/A O = 741 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C5000_H150_4.wcnf | S = OPT O = 1018 T = 7.70 |
S = OPT O = 1018 T = 30.07 |
S = OPT O = 1018 T = 22.36 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 1018 T = 78.78 |
S = OPT O = 1018 T = 81.16 |
S = N/A O = 1097 T = TO |
S = OPT O = 1018 T = 22.77 |
S = OPT O = 1018 T = 7.70 |
S = N/A O = N/A T = TO |
S = N/A O = 593 T = TO |
S = N/A O = 646 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C5000_H150_5.wcnf | S = OPT O = 991 T = 1.55 |
S = OPT O = 991 T = 14.05 |
S = OPT O = 991 T = 6.76 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 1175 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 991 T = 9.03 |
S = OPT O = 991 T = 7.70 |
S = N/A O = 1053 T = TO |
S = OPT O = 991 T = 2.23 |
S = OPT O = 991 T = 1.55 |
S = N/A O = N/A T = TO |
S = N/A O = 706 T = TO |
S = N/A O = 716 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C5000_H150_6.wcnf | S = OPT O = 1005 T = 1.31 |
S = OPT O = 1005 T = 15.66 |
S = OPT O = 1005 T = 7.69 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 1127 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 1005 T = 5.80 |
S = OPT O = 1005 T = 5.84 |
S = N/A O = 1080 T = TO |
S = OPT O = 1005 T = 1.78 |
S = OPT O = 1005 T = 1.31 |
S = N/A O = N/A T = TO |
S = N/A O = 676 T = TO |
S = N/A O = 716 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C5000_H150_7.wcnf | S = OPT O = 991 T = 2.19 |
S = OPT O = 991 T = 19.77 |
S = OPT O = 991 T = 11.33 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 1186 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 991 T = 21.44 |
S = OPT O = 991 T = 20.76 |
S = N/A O = 1044 T = TO |
S = OPT O = 991 T = 7.00 |
S = OPT O = 991 T = 2.19 |
S = N/A O = N/A T = TO |
S = N/A O = 642 T = TO |
S = N/A O = 670 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C5000_H150_8.wcnf | S = OPT O = 999 T = 0.63 |
S = OPT O = 999 T = 12.06 |
S = OPT O = 999 T = 4.43 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 1177 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 999 T = 1.41 |
S = OPT O = 999 T = 1.38 |
S = N/A O = 1060 T = TO |
S = OPT O = 999 T = 0.86 |
S = OPT O = 999 T = 0.63 |
S = N/A O = N/A T = TO |
S = N/A O = 731 T = TO |
S = N/A O = 755 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C5000_H150_9.wcnf | S = OPT O = 993 T = 0.58 |
S = OPT O = 993 T = 12.16 |
S = OPT O = 993 T = 4.62 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = 1192 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 993 T = 2.73 |
S = OPT O = 993 T = 2.55 |
S = N/A O = 1073 T = TO |
S = OPT O = 993 T = 0.90 |
S = OPT O = 993 T = 0.58 |
S = N/A O = N/A T = TO |
S = N/A O = 702 T = TO |
S = N/A O = 713 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C2500_H150_0.wcnf | S = OPT O = 464 T = 0.28 |
S = OPT O = 464 T = 5.13 |
S = OPT O = 464 T = 1.47 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 464 T = 0.38 |
S = OPT O = 464 T = 0.37 |
S = N/A O = 491 T = TO |
S = OPT O = 464 T = 0.30 |
S = OPT O = 464 T = 0.28 |
S = OPT O = 464 T = 407.19 |
S = N/A O = 379 T = TO |
S = N/A O = 390 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C2500_H150_1.wcnf | S = OPT O = 454 T = 0.52 |
S = OPT O = 454 T = 5.60 |
S = OPT O = 454 T = 1.89 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 454 T = 0.78 |
S = OPT O = 454 T = 0.81 |
S = N/A O = 490 T = TO |
S = OPT O = 454 T = 0.55 |
S = OPT O = 454 T = 0.52 |
S = OPT O = 454 T = 1127.88 |
S = N/A O = 350 T = TO |
S = N/A O = 345 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C2500_H150_2.wcnf | S = OPT O = 423 T = 0.58 |
S = OPT O = 423 T = 5.85 |
S = OPT O = 423 T = 2.33 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 423 T = 4.07 |
S = OPT O = 423 T = 3.58 |
S = N/A O = 469 T = TO |
S = OPT O = 423 T = 1.06 |
S = OPT O = 423 T = 0.58 |
S = N/A O = N/A T = TO |
S = N/A O = 292 T = TO |
S = N/A O = 305 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C2500_H150_3.wcnf | S = OPT O = 442 T = 0.87 |
S = OPT O = 442 T = 7.11 |
S = OPT O = 442 T = 3.45 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 442 T = 1.45 |
S = OPT O = 442 T = 1.42 |
S = N/A O = 490 T = TO |
S = OPT O = 442 T = 0.88 |
S = OPT O = 442 T = 0.87 |
S = N/A O = N/A T = TO |
S = N/A O = 320 T = TO |
S = N/A O = 315 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C2500_H150_4.wcnf | S = OPT O = 447 T = 0.18 |
S = OPT O = 447 T = 4.98 |
S = OPT O = 447 T = 1.35 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 447 T = 0.30 |
S = OPT O = 447 T = 0.30 |
S = N/A O = 472 T = TO |
S = OPT O = 447 T = 0.23 |
S = OPT O = 447 T = 0.18 |
S = OPT O = 447 T = 1288.41 |
S = N/A O = 334 T = TO |
S = N/A O = 341 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C2500_H150_5.wcnf | S = OPT O = 433 T = 0.21 |
S = OPT O = 433 T = 4.95 |
S = OPT O = 433 T = 1.33 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 433 T = 0.26 |
S = OPT O = 433 T = 0.23 |
S = N/A O = 465 T = TO |
S = OPT O = 433 T = 0.21 |
S = OPT O = 433 T = 0.22 |
S = OPT O = 433 T = 402.50 |
S = N/A O = 350 T = TO |
S = N/A O = 354 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C2500_H150_6.wcnf | S = OPT O = 461 T = 0.45 |
S = OPT O = 461 T = 8.65 |
S = OPT O = 461 T = 5.02 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 461 T = 1.15 |
S = OPT O = 461 T = 1.08 |
S = N/A O = 493 T = TO |
S = OPT O = 461 T = 0.52 |
S = OPT O = 461 T = 0.45 |
S = N/A O = N/A T = TO |
S = N/A O = 337 T = TO |
S = N/A O = 344 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C2500_H150_7.wcnf | S = OPT O = 434 T = 1.36 |
S = OPT O = 434 T = 6.00 |
S = OPT O = 434 T = 2.50 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 434 T = 3.40 |
S = OPT O = 434 T = 3.25 |
S = N/A O = 458 T = TO |
S = OPT O = 434 T = 1.54 |
S = OPT O = 434 T = 1.36 |
S = N/A O = N/A T = TO |
S = N/A O = 323 T = TO |
S = N/A O = 328 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C2500_H150_8.wcnf | S = OPT O = 456 T = 0.86 |
S = OPT O = 456 T = 7.69 |
S = OPT O = 456 T = 3.90 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 456 T = 2.02 |
S = OPT O = 456 T = 1.93 |
S = N/A O = 504 T = TO |
S = OPT O = 456 T = 0.94 |
S = OPT O = 456 T = 0.86 |
S = N/A O = N/A T = TO |
S = N/A O = 328 T = TO |
S = N/A O = 328 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C2500_H150_9.wcnf | S = OPT O = 470 T = 0.14 |
S = OPT O = 470 T = 4.89 |
S = OPT O = 470 T = 1.72 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 470 T = 0.28 |
S = OPT O = 470 T = 0.26 |
S = N/A O = 476 T = TO |
S = OPT O = 470 T = 0.14 |
S = OPT O = 470 T = 0.17 |
S = OPT O = 470 T = 38.93 |
S = N/A O = 424 T = TO |
S = N/A O = 429 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C3000_H150_0.wcnf | S = OPT O = 539 T = 1.57 |
S = OPT O = 539 T = 11.85 |
S = OPT O = 539 T = 7.44 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 539 T = 4.31 |
S = OPT O = 539 T = 4.20 |
S = N/A O = 590 T = TO |
S = OPT O = 539 T = 1.69 |
S = OPT O = 539 T = 1.57 |
S = N/A O = N/A T = TO |
S = N/A O = 358 T = TO |
S = N/A O = 366 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C3000_H150_1.wcnf | S = OPT O = 560 T = 4.13 |
S = OPT O = 560 T = 15.84 |
S = OPT O = 560 T = 11.29 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 560 T = 15.93 |
S = OPT O = 560 T = 14.96 |
S = N/A O = 621 T = TO |
S = OPT O = 560 T = 4.32 |
S = OPT O = 560 T = 4.13 |
S = N/A O = N/A T = TO |
S = N/A O = 364 T = TO |
S = N/A O = 373 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C3000_H150_2.wcnf | S = OPT O = 531 T = 0.40 |
S = OPT O = 531 T = 5.92 |
S = OPT O = 531 T = 1.60 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 531 T = 4.69 |
S = OPT O = 531 T = 4.29 |
S = N/A O = 546 T = TO |
S = OPT O = 531 T = 0.82 |
S = OPT O = 531 T = 0.40 |
S = N/A O = N/A T = TO |
S = N/A O = 372 T = TO |
S = N/A O = 390 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C3000_H150_3.wcnf | S = OPT O = 555 T = 2.47 |
S = OPT O = 555 T = 8.49 |
S = OPT O = 555 T = 3.78 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 555 T = 12.07 |
S = OPT O = 555 T = 10.78 |
S = N/A O = 596 T = TO |
S = OPT O = 555 T = 3.98 |
S = OPT O = 555 T = 2.47 |
S = N/A O = N/A T = TO |
S = N/A O = 381 T = TO |
S = N/A O = 381 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C3000_H150_4.wcnf | S = OPT O = 556 T = 0.31 |
S = OPT O = 556 T = 6.24 |
S = OPT O = 556 T = 1.85 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 556 T = 0.66 |
S = OPT O = 556 T = 0.61 |
S = N/A O = 572 T = TO |
S = OPT O = 556 T = 0.34 |
S = OPT O = 556 T = 0.31 |
S = N/A O = 556 T = TO |
S = N/A O = 425 T = TO |
S = N/A O = 438 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C3000_H150_5.wcnf | S = OPT O = 538 T = 3.85 |
S = OPT O = 538 T = 14.37 |
S = OPT O = 538 T = 9.85 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 538 T = 16.45 |
S = OPT O = 538 T = 15.75 |
S = N/A O = 598 T = TO |
S = OPT O = 538 T = 4.85 |
S = OPT O = 538 T = 3.85 |
S = N/A O = N/A T = TO |
S = N/A O = 342 T = TO |
S = N/A O = 348 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C3000_H150_6.wcnf | S = OPT O = 537 T = 4.04 |
S = OPT O = 537 T = 14.78 |
S = OPT O = 537 T = 10.22 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 537 T = 9.66 |
S = OPT O = 537 T = 8.68 |
S = N/A O = 579 T = TO |
S = OPT O = 537 T = 4.66 |
S = OPT O = 537 T = 4.04 |
S = N/A O = N/A T = TO |
S = N/A O = 349 T = TO |
S = N/A O = 358 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C3000_H150_7.wcnf | S = OPT O = 527 T = 0.61 |
S = OPT O = 527 T = 6.36 |
S = OPT O = 527 T = 2.02 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 527 T = 2.27 |
S = OPT O = 527 T = 2.35 |
S = N/A O = 558 T = TO |
S = OPT O = 527 T = 1.28 |
S = OPT O = 527 T = 0.61 |
S = N/A O = N/A T = TO |
S = N/A O = 377 T = TO |
S = N/A O = 385 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C3000_H150_8.wcnf | S = OPT O = 564 T = 4.11 |
S = OPT O = 564 T = 18.47 |
S = OPT O = 564 T = 14.64 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 564 T = 22.03 |
S = OPT O = 564 T = 23.52 |
S = N/A O = 602 T = TO |
S = OPT O = 564 T = 6.09 |
S = OPT O = 564 T = 4.11 |
S = N/A O = N/A T = TO |
S = N/A O = 382 T = TO |
S = N/A O = 390 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C3000_H150_9.wcnf | S = OPT O = 552 T = 0.80 |
S = OPT O = 552 T = 8.58 |
S = OPT O = 552 T = 3.97 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 552 T = 2.06 |
S = OPT O = 552 T = 2.03 |
S = N/A O = 563 T = TO |
S = OPT O = 552 T = 0.80 |
S = OPT O = 552 T = 0.82 |
S = N/A O = N/A T = TO |
S = N/A O = 395 T = TO |
S = N/A O = 406 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C3500_H150_0.wcnf | S = OPT O = 680 T = 6.65 |
S = OPT O = 680 T = 19.49 |
S = OPT O = 680 T = 14.31 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 680 T = 17.66 |
S = OPT O = 680 T = 16.55 |
S = N/A O = 755 T = TO |
S = OPT O = 680 T = 7.79 |
S = OPT O = 680 T = 6.65 |
S = N/A O = N/A T = TO |
S = N/A O = 441 T = TO |
S = N/A O = 460 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C3500_H150_1.wcnf | S = OPT O = 679 T = 1.25 |
S = OPT O = 679 T = 10.08 |
S = OPT O = 679 T = 4.47 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 679 T = 3.69 |
S = OPT O = 679 T = 3.79 |
S = N/A O = 705 T = TO |
S = OPT O = 679 T = 1.30 |
S = OPT O = 679 T = 1.25 |
S = N/A O = N/A T = TO |
S = N/A O = 493 T = TO |
S = N/A O = 501 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C3500_H150_2.wcnf | S = OPT O = 716 T = 0.79 |
S = OPT O = 716 T = 11.51 |
S = OPT O = 716 T = 8.59 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 716 T = 2.08 |
S = OPT O = 716 T = 1.98 |
S = N/A O = 762 T = TO |
S = OPT O = 716 T = 0.88 |
S = OPT O = 716 T = 0.79 |
S = N/A O = N/A T = TO |
S = N/A O = 520 T = TO |
S = N/A O = 545 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C3500_H150_3.wcnf | S = OPT O = 669 T = 1.34 |
S = OPT O = 669 T = 10.52 |
S = OPT O = 669 T = 5.14 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 669 T = 3.67 |
S = OPT O = 669 T = 3.54 |
S = N/A O = 729 T = TO |
S = OPT O = 669 T = 1.65 |
S = OPT O = 669 T = 1.34 |
S = N/A O = N/A T = TO |
S = N/A O = 462 T = TO |
S = N/A O = 495 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C3500_H150_4.wcnf | S = OPT O = 627 T = 1.30 |
S = OPT O = 627 T = 10.59 |
S = OPT O = 627 T = 5.54 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 627 T = 2.53 |
S = OPT O = 627 T = 2.63 |
S = N/A O = 654 T = TO |
S = OPT O = 627 T = 1.40 |
S = OPT O = 627 T = 1.30 |
S = N/A O = N/A T = TO |
S = N/A O = 417 T = TO |
S = N/A O = 431 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C3500_H150_5.wcnf | S = OPT O = 667 T = 5.38 |
S = OPT O = 667 T = 20.54 |
S = OPT O = 667 T = 14.69 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 667 T = 20.98 |
S = OPT O = 667 T = 22.75 |
S = N/A O = 732 T = TO |
S = OPT O = 667 T = 6.54 |
S = OPT O = 667 T = 5.38 |
S = N/A O = N/A T = TO |
S = N/A O = 429 T = TO |
S = N/A O = 432 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C3500_H150_6.wcnf | S = OPT O = 688 T = 0.29 |
S = OPT O = 688 T = 6.09 |
S = OPT O = 688 T = 1.48 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 688 T = 1.13 |
S = OPT O = 688 T = 1.03 |
S = N/A O = 704 T = TO |
S = OPT O = 688 T = 0.29 |
S = OPT O = 688 T = 0.32 |
S = OPT O = 688 T = 313.63 |
S = N/A O = 584 T = TO |
S = N/A O = 598 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C3500_H150_7.wcnf | S = OPT O = 675 T = 0.59 |
S = OPT O = 675 T = 10.18 |
S = OPT O = 675 T = 4.37 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 675 T = 0.89 |
S = OPT O = 675 T = 0.96 |
S = N/A O = 728 T = TO |
S = OPT O = 675 T = 0.61 |
S = OPT O = 675 T = 0.59 |
S = N/A O = N/A T = TO |
S = N/A O = 485 T = TO |
S = N/A O = 503 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C3500_H150_8.wcnf | S = OPT O = 675 T = 0.83 |
S = OPT O = 675 T = 8.31 |
S = OPT O = 675 T = 3.26 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 675 T = 1.73 |
S = OPT O = 675 T = 1.64 |
S = N/A O = 722 T = TO |
S = OPT O = 675 T = 0.85 |
S = OPT O = 675 T = 0.83 |
S = N/A O = N/A T = TO |
S = N/A O = 494 T = TO |
S = N/A O = 498 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L2_V150_C3500_H150_9.wcnf | S = OPT O = 638 T = 1.49 |
S = OPT O = 638 T = 8.97 |
S = OPT O = 638 T = 3.56 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 638 T = 6.69 |
S = OPT O = 638 T = 6.49 |
S = N/A O = 712 T = TO |
S = OPT O = 638 T = 2.20 |
S = OPT O = 638 T = 1.49 |
S = N/A O = N/A T = TO |
S = N/A O = 405 T = TO |
S = N/A O = 420 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L3_V100_C600_H100_0.wcnf | S = OPT O = 8 T = 3.61 |
S = OPT O = 8 T = 4.98 |
S = OPT O = 8 T = 4.85 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 8 T = 1797.14 |
S = OPT O = 8 T = 1577.21 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 8 T = 3.86 |
S = OPT O = 8 T = 3.61 |
S = N/A O = 8 T = TO |
S = OPT O = 8 T = 8.69 |
S = OPT O = 8 T = 7.60 |
S = OPT O = 8 T = 777.64 |
S = N/A O = 5 T = TO |
S = N/A O = 6 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L3_V100_C600_H100_1.wcnf | S = OPT O = 8 T = 3.62 |
S = OPT O = 8 T = 5.47 |
S = OPT O = 8 T = 5.36 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 8 T = 10.78 |
S = OPT O = 8 T = 10.14 |
S = N/A O = 8 T = TO |
S = OPT O = 8 T = 6.00 |
S = OPT O = 8 T = 3.62 |
S = OPT O = 8 T = 1100.04 |
S = N/A O = 5 T = TO |
S = N/A O = 5 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L3_V100_C600_H100_2.wcnf | S = OPT O = 8 T = 2.07 |
S = OPT O = 8 T = 3.33 |
S = OPT O = 8 T = 3.16 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 8 T = 1472.63 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 8 T = 15.33 |
S = OPT O = 8 T = 14.42 |
S = N/A O = 8 T = TO |
S = OPT O = 8 T = 8.18 |
S = OPT O = 8 T = 2.07 |
S = OPT O = 8 T = 1154.07 |
S = N/A O = 6 T = TO |
S = N/A O = 5 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L3_V100_C600_H100_3.wcnf | S = OPT O = 9 T = 6.72 |
S = OPT O = 9 T = 7.09 |
S = OPT O = 9 T = 6.97 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 9 T = 12.32 |
S = OPT O = 9 T = 11.54 |
S = N/A O = 9 T = TO |
S = OPT O = 9 T = 8.55 |
S = OPT O = 9 T = 6.72 |
S = N/A O = N/A T = TO |
S = N/A O = 5 T = TO |
S = N/A O = 5 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L3_V100_C600_H100_4.wcnf | S = OPT O = 7 T = 1.72 |
S = OPT O = 7 T = 2.17 |
S = OPT O = 7 T = 2.01 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 7 T = 1047.06 |
S = OPT O = 7 T = 397.68 |
S = N/A O = N/A T = TO |
S = OPT O = 7 T = 1433.72 |
S = OPT O = 7 T = 405.63 |
S = OPT O = 7 T = 3.02 |
S = OPT O = 7 T = 2.86 |
S = N/A O = 8 T = TO |
S = OPT O = 7 T = 1.80 |
S = OPT O = 7 T = 1.72 |
S = OPT O = 7 T = 812.60 |
S = N/A O = 6 T = TO |
S = N/A O = 5 T = TO |
S = OPT O = 7 T = 491.26 |
S = OPT O = 7 T = 1197.30 |
file_rpms_wcnf_L3_V100_C600_H100_5.wcnf | S = OPT O = 8 T = 3.03 |
S = OPT O = 8 T = 3.31 |
S = OPT O = 8 T = 3.03 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 8 T = 3.59 |
S = OPT O = 8 T = 3.38 |
S = N/A O = 9 T = TO |
S = OPT O = 8 T = 3.99 |
S = OPT O = 8 T = 3.12 |
S = OPT O = 8 T = 1554.72 |
S = N/A O = 6 T = TO |
S = N/A O = 6 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L3_V100_C600_H100_6.wcnf | S = OPT O = 7 T = 2.60 |
S = OPT O = 7 T = 3.17 |
S = OPT O = 7 T = 2.94 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 7 T = 1286.94 |
S = OPT O = 7 T = 1319.73 |
S = N/A O = N/A T = TO |
S = OPT O = 7 T = 1614.57 |
S = OPT O = 7 T = 452.02 |
S = OPT O = 7 T = 9.25 |
S = OPT O = 7 T = 8.66 |
S = N/A O = 10 T = TO |
S = OPT O = 7 T = 5.58 |
S = OPT O = 7 T = 2.60 |
S = OPT O = 7 T = 864.39 |
S = N/A O = 5 T = TO |
S = N/A O = 5 T = TO |
S = OPT O = 7 T = 517.62 |
S = OPT O = 7 T = 1304.71 |
file_rpms_wcnf_L3_V100_C600_H100_7.wcnf | S = OPT O = 8 T = 6.17 |
S = OPT O = 8 T = 8.17 |
S = OPT O = 8 T = 8.11 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 8 T = 9.88 |
S = OPT O = 8 T = 9.28 |
S = N/A O = 9 T = TO |
S = OPT O = 8 T = 6.52 |
S = OPT O = 8 T = 6.17 |
S = OPT O = 8 T = 1757.03 |
S = N/A O = 5 T = TO |
S = N/A O = 5 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L3_V100_C600_H100_8.wcnf | S = OPT O = 5 T = 1.37 |
S = OPT O = 5 T = 1.46 |
S = OPT O = 5 T = 1.37 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 5 T = 51.07 |
S = OPT O = 5 T = 116.68 |
S = OPT O = 5 T = 547.40 |
S = OPT O = 5 T = 265.16 |
S = OPT O = 5 T = 483.45 |
S = OPT O = 5 T = 5.41 |
S = OPT O = 5 T = 5.07 |
S = OPT O = 5 T = 228.49 |
S = OPT O = 5 T = 2.46 |
S = OPT O = 5 T = 1.77 |
S = OPT O = 5 T = 549.17 |
S = OPT O = 5 T = 693.87 |
S = N/A O = 4 T = TO |
S = OPT O = 5 T = 236.10 |
S = OPT O = 5 T = 518.48 |
file_rpms_wcnf_L3_V100_C600_H100_9.wcnf | S = OPT O = 9 T = 4.15 |
S = OPT O = 9 T = 6.04 |
S = OPT O = 9 T = 5.77 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 9 T = 11.96 |
S = OPT O = 9 T = 11.23 |
S = N/A O = 10 T = TO |
S = OPT O = 9 T = 4.19 |
S = OPT O = 9 T = 4.15 |
S = OPT O = 9 T = 1641.53 |
S = N/A O = 6 T = TO |
S = N/A O = 5 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L3_V100_C700_H100_0.wcnf | S = OPT O = 18 T = 41.89 |
S = OPT O = 18 T = 71.96 |
S = OPT O = 18 T = 70.16 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 18 T = 59.03 |
S = OPT O = 18 T = 56.41 |
S = N/A O = 18 T = TO |
S = OPT O = 18 T = 45.71 |
S = OPT O = 18 T = 41.89 |
S = N/A O = N/A T = TO |
S = N/A O = 6 T = TO |
S = N/A O = 6 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L3_V100_C700_H100_1.wcnf | S = OPT O = 14 T = 25.95 |
S = OPT O = 14 T = 26.50 |
S = OPT O = 14 T = 25.95 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 14 T = 65.61 |
S = OPT O = 14 T = 62.99 |
S = N/A O = 19 T = TO |
S = OPT O = 14 T = 71.56 |
S = OPT O = 14 T = 59.55 |
S = N/A O = N/A T = TO |
S = N/A O = 6 T = TO |
S = N/A O = 6 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L3_V100_C700_H100_2.wcnf | S = OPT O = 15 T = 22.96 |
S = OPT O = 15 T = 31.71 |
S = OPT O = 15 T = 31.64 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 15 T = 30.79 |
S = OPT O = 15 T = 29.40 |
S = N/A O = 16 T = TO |
S = OPT O = 15 T = 23.72 |
S = OPT O = 15 T = 22.96 |
S = N/A O = N/A T = TO |
S = N/A O = 7 T = TO |
S = N/A O = 6 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L3_V100_C700_H100_3.wcnf | S = OPT O = 12 T = 18.97 |
S = OPT O = 12 T = 21.61 |
S = OPT O = 12 T = 21.50 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 12 T = 30.55 |
S = OPT O = 12 T = 29.06 |
S = N/A O = 13 T = TO |
S = OPT O = 12 T = 19.39 |
S = OPT O = 12 T = 18.97 |
S = N/A O = N/A T = TO |
S = N/A O = 7 T = TO |
S = N/A O = 6 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L3_V100_C700_H100_4.wcnf | S = OPT O = 11 T = 4.58 |
S = OPT O = 11 T = 5.26 |
S = OPT O = 11 T = 5.00 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 11 T = 39.84 |
S = OPT O = 11 T = 38.09 |
S = N/A O = 11 T = TO |
S = OPT O = 11 T = 25.09 |
S = OPT O = 11 T = 4.58 |
S = OPT O = 11 T = 1476.53 |
S = N/A O = 7 T = TO |
S = N/A O = 6 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L3_V100_C700_H100_5.wcnf | S = OPT O = 14 T = 31.99 |
S = OPT O = 14 T = 33.98 |
S = OPT O = 14 T = 33.88 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 14 T = 97.55 |
S = OPT O = 14 T = 92.58 |
S = N/A O = 15 T = TO |
S = OPT O = 14 T = 71.28 |
S = OPT O = 14 T = 31.99 |
S = N/A O = N/A T = TO |
S = N/A O = 7 T = TO |
S = N/A O = 6 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L3_V100_C700_H100_6.wcnf | S = OPT O = 12 T = 18.62 |
S = OPT O = 12 T = 18.62 |
S = OPT O = 12 T = 18.74 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 12 T = 46.46 |
S = OPT O = 12 T = 44.47 |
S = N/A O = 15 T = TO |
S = OPT O = 12 T = 28.41 |
S = OPT O = 12 T = 28.70 |
S = N/A O = N/A T = TO |
S = N/A O = 7 T = TO |
S = N/A O = 6 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L3_V100_C700_H100_7.wcnf | S = OPT O = 17 T = 57.49 |
S = OPT O = 17 T = 90.53 |
S = OPT O = 17 T = 89.41 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 17 T = 92.59 |
S = OPT O = 17 T = 87.98 |
S = N/A O = 19 T = TO |
S = OPT O = 17 T = 59.80 |
S = OPT O = 17 T = 57.49 |
S = N/A O = N/A T = TO |
S = N/A O = 7 T = TO |
S = N/A O = 6 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L3_V100_C700_H100_8.wcnf | S = OPT O = 16 T = 91.87 |
S = OPT O = 16 T = 132.51 |
S = OPT O = 16 T = 133.24 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 16 T = 137.27 |
S = OPT O = 16 T = 130.24 |
S = N/A O = 16 T = TO |
S = OPT O = 16 T = 95.42 |
S = OPT O = 16 T = 91.87 |
S = N/A O = N/A T = TO |
S = N/A O = 7 T = TO |
S = N/A O = 6 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L3_V100_C700_H100_9.wcnf | S = OPT O = 12 T = 7.33 |
S = OPT O = 12 T = 7.66 |
S = OPT O = 12 T = 7.33 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 12 T = 25.01 |
S = OPT O = 12 T = 23.60 |
S = N/A O = 15 T = TO |
S = OPT O = 12 T = 18.96 |
S = OPT O = 12 T = 16.20 |
S = N/A O = N/A T = TO |
S = N/A O = 7 T = TO |
S = N/A O = 6 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L3_V100_C800_H100_0.wcnf | S = OPT O = 21 T = 90.89 |
S = OPT O = 21 T = 104.96 |
S = OPT O = 21 T = 104.57 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 21 T = 121.71 |
S = OPT O = 21 T = 118.11 |
S = N/A O = 31 T = TO |
S = OPT O = 21 T = 102.63 |
S = OPT O = 21 T = 90.89 |
S = N/A O = N/A T = TO |
S = N/A O = 9 T = TO |
S = N/A O = 7 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L3_V100_C800_H100_1.wcnf | S = OPT O = 21 T = 133.12 |
S = OPT O = 21 T = 134.85 |
S = OPT O = 21 T = 133.12 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 21 T = 212.27 |
S = OPT O = 21 T = 204.81 |
S = N/A O = 26 T = TO |
S = OPT O = 21 T = 174.20 |
S = OPT O = 21 T = 156.22 |
S = N/A O = N/A T = TO |
S = N/A O = 7 T = TO |
S = N/A O = 7 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L3_V100_C800_H100_2.wcnf | S = OPT O = 20 T = 125.55 |
S = OPT O = 20 T = 183.09 |
S = OPT O = 20 T = 186.69 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 20 T = 241.66 |
S = OPT O = 20 T = 232.78 |
S = N/A O = 22 T = TO |
S = OPT O = 20 T = 128.18 |
S = OPT O = 20 T = 125.55 |
S = N/A O = N/A T = TO |
S = N/A O = 8 T = TO |
S = N/A O = 7 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L3_V100_C800_H100_3.wcnf | S = OPT O = 22 T = 55.31 |
S = OPT O = 22 T = 106.50 |
S = OPT O = 22 T = 106.96 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 22 T = 79.41 |
S = OPT O = 22 T = 76.11 |
S = N/A O = 29 T = TO |
S = OPT O = 22 T = 55.94 |
S = OPT O = 22 T = 55.31 |
S = N/A O = N/A T = TO |
S = N/A O = 8 T = TO |
S = N/A O = 7 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L3_V100_C800_H100_4.wcnf | S = OPT O = 18 T = 53.17 |
S = OPT O = 18 T = 75.88 |
S = OPT O = 18 T = 73.62 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 18 T = 113.60 |
S = OPT O = 18 T = 109.05 |
S = N/A O = 28 T = TO |
S = OPT O = 18 T = 63.58 |
S = OPT O = 18 T = 53.17 |
S = N/A O = N/A T = TO |
S = N/A O = 8 T = TO |
S = N/A O = 7 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L3_V100_C800_H100_5.wcnf | S = OPT O = 20 T = 62.29 |
S = OPT O = 20 T = 87.53 |
S = OPT O = 20 T = 86.47 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 20 T = 95.75 |
S = OPT O = 20 T = 92.25 |
S = N/A O = 27 T = TO |
S = OPT O = 20 T = 71.89 |
S = OPT O = 20 T = 62.29 |
S = N/A O = N/A T = TO |
S = N/A O = 8 T = TO |
S = N/A O = 7 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L3_V100_C800_H100_6.wcnf | S = OPT O = 17 T = 35.52 |
S = OPT O = 17 T = 35.52 |
S = OPT O = 17 T = 35.56 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 17 T = 94.52 |
S = OPT O = 17 T = 89.90 |
S = N/A O = 24 T = TO |
S = OPT O = 17 T = 67.45 |
S = OPT O = 17 T = 53.13 |
S = N/A O = N/A T = TO |
S = N/A O = 7 T = TO |
S = N/A O = 7 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L3_V100_C800_H100_7.wcnf | S = OPT O = 23 T = 69.56 |
S = OPT O = 23 T = 99.66 |
S = OPT O = 23 T = 98.44 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 23 T = 156.10 |
S = OPT O = 23 T = 150.89 |
S = N/A O = 31 T = TO |
S = OPT O = 23 T = 100.08 |
S = OPT O = 23 T = 69.56 |
S = N/A O = N/A T = TO |
S = N/A O = 8 T = TO |
S = N/A O = 8 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L3_V100_C800_H100_8.wcnf | S = OPT O = 25 T = 368.18 |
S = OPT O = 25 T = 485.18 |
S = OPT O = 25 T = 489.28 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 25 T = 539.81 |
S = OPT O = 25 T = 517.85 |
S = N/A O = 38 T = TO |
S = OPT O = 25 T = 390.90 |
S = OPT O = 25 T = 368.18 |
S = N/A O = N/A T = TO |
S = N/A O = 8 T = TO |
S = N/A O = 8 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
file_rpms_wcnf_L3_V100_C800_H100_9.wcnf | S = OPT O = 20 T = 66.59 |
S = OPT O = 20 T = 84.25 |
S = OPT O = 20 T = 84.36 |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |
S = OPT O = 20 T = 149.18 |
S = OPT O = 20 T = 143.34 |
S = N/A O = 25 T = TO |
S = OPT O = 20 T = 94.31 |
S = OPT O = 20 T = 66.59 |
S = N/A O = N/A T = TO |
S = N/A O = 7 T = TO |
S = N/A O = 8 T = TO |
S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO |