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 | CCLS2014 | CCMPA | Dist | SAT4J-ms-inc | WPM-2014-in | antom_inc | optimax2-r-i | optimax2-rn-i |
---|---|---|---|---|---|---|---|---|---|
clq1-cv160c800l2g1.wcnf | O = 61 T = 3.52 |
O = 61 T = 3.52 (out)(err) |
O = 61 T = 3.64 (out)(err) |
O = 61 T = 3.71 (out)(err) |
O = N/A T = TO (out)(err) |
O = 144 T = 284.74 (out)(err) |
O = 67 T = 0.22 (out)(err) |
O = 144 T = 0.05 (out)(err) |
O = 70 T = 89.57 (out)(err) |
clq1-cv160c800l2g10.wcnf | O = 53 T = 2.70 |
O = 53 T = 3.92 (out)(err) |
O = 53 T = 2.70 (out)(err) |
O = 53 T = 3.23 (out)(err) |
O = N/A T = TO (out)(err) |
O = 118 T = 284.75 (out)(err) |
O = 65 T = 0.24 (out)(err) |
O = 118 T = 0.07 (out)(err) |
O = 68 T = 227.62 (out)(err) |
clq1-cv160c800l2g11.wcnf | O = 67 T = 2.98 |
O = 67 T = 3.39 (out)(err) |
O = 67 T = 13.52 (out)(err) |
O = 67 T = 2.98 (out)(err) |
O = N/A T = TO (out)(err) |
O = 128 T = 284.73 (out)(err) |
O = 72 T = 0.24 (out)(err) |
O = 128 T = 0.06 (out)(err) |
O = 77 T = 43.52 (out)(err) |
clq1-cv160c800l2g12.wcnf | O = 59 T = 3.54 |
O = 59 T = 3.54 (out)(err) |
O = 59 T = 4.52 (out)(err) |
O = 59 T = 9.19 (out)(err) |
O = N/A T = TO (out)(err) |
O = 143 T = 284.57 (out)(err) |
O = 70 T = 0.25 (out)(err) |
O = 143 T = 0.06 (out)(err) |
O = 71 T = 218.09 (out)(err) |
clq1-cv160c800l2g13.wcnf | O = 51 T = 1.96 |
O = 51 T = 3.68 (out)(err) |
O = 51 T = 1.96 (out)(err) |
O = 51 T = 8.90 (out)(err) |
O = N/A T = TO (out)(err) |
O = 121 T = 284.74 (out)(err) |
O = 63 T = 0.24 (out)(err) |
O = 121 T = 0.06 (out)(err) |
O = 59 T = 74.26 (out)(err) |
clq1-cv160c800l2g14.wcnf | O = 45 T = 3.38 |
O = 45 T = 3.88 (out)(err) |
O = 45 T = 24.23 (out)(err) |
O = 45 T = 3.38 (out)(err) |
O = N/A T = TO (out)(err) |
O = 74 T = 284.61 (out)(err) |
O = 53 T = 0.05 (out)(err) |
O = 118 T = 0.06 (out)(err) |
O = 56 T = 206.67 (out)(err) |
clq1-cv160c800l2g15.wcnf | O = 62 T = 3.63 |
O = 62 T = 3.63 (out)(err) |
O = 62 T = 112.01 (out)(err) |
O = 62 T = 5.51 (out)(err) |
O = N/A T = TO (out)(err) |
O = 77 T = 284.66 (out)(err) |
O = 69 T = 0.22 (out)(err) |
O = 126 T = 0.06 (out)(err) |
O = 72 T = 33.69 (out)(err) |
clq1-cv160c800l2g16.wcnf | O = 56 T = 5.53 |
O = 56 T = 9.36 (out)(err) |
O = 56 T = 68.60 (out)(err) |
O = 56 T = 5.53 (out)(err) |
O = N/A T = TO (out)(err) |
O = 149 T = 284.63 (out)(err) |
O = 64 T = 0.06 (out)(err) |
O = 149 T = 0.06 (out)(err) |
O = 64 T = 144.00 (out)(err) |
clq1-cv160c800l2g17.wcnf | O = 59 T = 5.34 |
O = 59 T = 13.44 (out)(err) |
O = 59 T = 61.60 (out)(err) |
O = 59 T = 5.34 (out)(err) |
O = N/A T = TO (out)(err) |
O = 128 T = 284.75 (out)(err) |
O = 73 T = 0.16 (out)(err) |
O = 128 T = 0.39 (out)(err) |
O = 74 T = 82.89 (out)(err) |
clq1-cv160c800l2g18.wcnf | O = 55 T = 3.21 |
O = 55 T = 3.21 (out)(err) |
O = 55 T = 14.06 (out)(err) |
O = 55 T = 5.88 (out)(err) |
O = N/A T = TO (out)(err) |
O = 136 T = 284.62 (out)(err) |
O = 60 T = 0.17 (out)(err) |
O = 136 T = 0.06 (out)(err) |
O = 66 T = 86.21 (out)(err) |
clq1-cv160c800l2g19.wcnf | O = 68 T = 3.01 |
O = 68 T = 3.01 (out)(err) |
O = 68 T = 29.73 (out)(err) |
O = 68 T = 4.45 (out)(err) |
O = N/A T = TO (out)(err) |
O = 130 T = 284.55 (out)(err) |
O = 84 T = 0.21 (out)(err) |
O = 130 T = 0.05 (out)(err) |
O = 86 T = 224.48 (out)(err) |
clq1-cv160c800l2g2.wcnf | O = 48 T = 6.34 |
O = 49 T = 3.48 (out)(err) |
O = 48 T = 15.12 (out)(err) |
O = 48 T = 6.34 (out)(err) |
O = N/A T = TO (out)(err) |
O = 90 T = 284.66 (out)(err) |
O = 53 T = 0.25 (out)(err) |
O = 135 T = 0.05 (out)(err) |
O = 56 T = 235.26 (out)(err) |
clq1-cv160c800l2g20.wcnf | O = 46 T = 3.80 |
O = 46 T = 3.80 (out)(err) |
O = 46 T = 4.71 (out)(err) |
O = 46 T = 6.49 (out)(err) |
O = N/A T = TO (out)(err) |
O = 128 T = 284.50 (out)(err) |
O = 51 T = 0.27 (out)(err) |
O = 128 T = 0.06 (out)(err) |
O = 53 T = 279.33 (out)(err) |
clq1-cv160c800l2g21.wcnf | O = 56 T = 3.38 |
O = 56 T = 3.38 (out)(err) |
O = 56 T = 12.57 (out)(err) |
O = 56 T = 5.08 (out)(err) |
O = N/A T = TO (out)(err) |
O = 114 T = 284.64 (out)(err) |
O = 66 T = 0.06 (out)(err) |
O = 114 T = 0.06 (out)(err) |
O = 68 T = 283.04 (out)(err) |
clq1-cv160c800l2g22.wcnf | O = 56 T = 5.39 |
O = 56 T = 12.10 (out)(err) |
O = 56 T = 50.28 (out)(err) |
O = 56 T = 5.39 (out)(err) |
O = N/A T = TO (out)(err) |
O = 70 T = 284.70 (out)(err) |
O = 68 T = 0.27 (out)(err) |
O = 135 T = 0.07 (out)(err) |
O = 67 T = 238.22 (out)(err) |
clq1-cv160c800l2g23.wcnf | O = 51 T = 3.48 |
O = 51 T = 3.48 (out)(err) |
O = 51 T = 3.63 (out)(err) |
O = 51 T = 5.73 (out)(err) |
O = N/A T = TO (out)(err) |
O = 144 T = 284.49 (out)(err) |
O = 55 T = 0.05 (out)(err) |
O = 144 T = 0.07 (out)(err) |
O = 65 T = 88.04 (out)(err) |
clq1-cv160c800l2g24.wcnf | O = 49 T = 3.22 |
O = 49 T = 3.22 (out)(err) |
O = 49 T = 12.52 (out)(err) |
O = 49 T = 3.46 (out)(err) |
O = N/A T = TO (out)(err) |
O = 130 T = 284.74 (out)(err) |
O = 57 T = 0.19 (out)(err) |
O = 130 T = 0.06 (out)(err) |
O = 61 T = 290.60 (out)(err) |
clq1-cv160c800l2g25.wcnf | O = 55 T = 4.89 |
O = 55 T = 7.62 (out)(err) |
O = 55 T = 4.89 (out)(err) |
O = 55 T = 8.66 (out)(err) |
O = N/A T = TO (out)(err) |
O = 123 T = 284.76 (out)(err) |
O = 62 T = 0.07 (out)(err) |
O = 123 T = 0.07 (out)(err) |
O = 64 T = 237.21 (out)(err) |
clq1-cv160c800l2g26.wcnf | O = 53 T = 3.56 |
O = 53 T = 3.56 (out)(err) |
O = 53 T = 18.33 (out)(err) |
O = 53 T = 5.37 (out)(err) |
O = N/A T = TO (out)(err) |
O = 128 T = 284.74 (out)(err) |
O = 63 T = 0.04 (out)(err) |
O = 132 T = 0.06 (out)(err) |
O = 66 T = 116.80 (out)(err) |
clq1-cv160c800l2g27.wcnf | O = 56 T = 3.08 |
O = 56 T = 3.08 (out)(err) |
O = 56 T = 13.91 (out)(err) |
O = 56 T = 8.61 (out)(err) |
O = N/A T = TO (out)(err) |
O = 137 T = 284.70 (out)(err) |
O = 64 T = 0.25 (out)(err) |
O = 137 T = 0.05 (out)(err) |
O = 66 T = 253.81 (out)(err) |
clq1-cv160c800l2g28.wcnf | O = 50 T = 3.71 |
O = 50 T = 3.71 (out)(err) |
O = 50 T = 4.74 (out)(err) |
O = 50 T = 5.53 (out)(err) |
O = N/A T = TO (out)(err) |
O = 121 T = 284.65 (out)(err) |
O = 58 T = 0.16 (out)(err) |
O = 121 T = 0.06 (out)(err) |
O = 59 T = 195.97 (out)(err) |
clq1-cv160c800l2g29.wcnf | O = 42 T = 5.21 |
O = 42 T = 5.95 (out)(err) |
O = 42 T = 7.83 (out)(err) |
O = 42 T = 5.21 (out)(err) |
O = N/A T = TO (out)(err) |
O = 129 T = 284.55 (out)(err) |
O = 49 T = 0.06 (out)(err) |
O = 129 T = 0.06 (out)(err) |
O = 49 T = 282.65 (out)(err) |
clq1-cv160c800l2g3.wcnf | O = 60 T = 3.82 |
O = 60 T = 3.82 (out)(err) |
O = 60 T = 9.50 (out)(err) |
O = 60 T = 5.28 (out)(err) |
O = N/A T = TO (out)(err) |
O = 122 T = 284.73 (out)(err) |
O = 67 T = 0.23 (out)(err) |
O = 138 T = 0.05 (out)(err) |
O = 71 T = 173.19 (out)(err) |
clq1-cv160c800l2g30.wcnf | O = 60 T = 5.43 |
O = 60 T = 32.28 (out)(err) |
O = 60 T = 51.68 (out)(err) |
O = 60 T = 5.43 (out)(err) |
O = N/A T = TO (out)(err) |
O = 140 T = 284.76 (out)(err) |
O = 68 T = 0.24 (out)(err) |
O = 140 T = 0.05 (out)(err) |
O = 71 T = 102.07 (out)(err) |
clq1-cv160c800l2g4.wcnf | O = 49 T = 5.55 |
O = 49 T = 10.18 (out)(err) |
O = 49 T = 27.90 (out)(err) |
O = 49 T = 5.55 (out)(err) |
O = N/A T = TO (out)(err) |
O = 135 T = 284.72 (out)(err) |
O = 58 T = 0.24 (out)(err) |
O = 141 T = 0.07 (out)(err) |
O = 59 T = 217.28 (out)(err) |
clq1-cv160c800l2g5.wcnf | O = 49 T = 4.51 |
O = 49 T = 89.28 (out)(err) |
O = 49 T = 4.51 (out)(err) |
O = 49 T = 6.18 (out)(err) |
O = N/A T = TO (out)(err) |
O = 120 T = 284.68 (out)(err) |
O = 55 T = 0.08 (out)(err) |
O = 120 T = 0.07 (out)(err) |
O = 57 T = 234.10 (out)(err) |
clq1-cv160c800l2g6.wcnf | O = 62 T = 3.62 |
O = 62 T = 3.62 (out)(err) |
O = 62 T = 132.92 (out)(err) |
O = 62 T = 5.81 (out)(err) |
O = N/A T = TO (out)(err) |
O = 129 T = 284.64 (out)(err) |
O = 76 T = 0.03 (out)(err) |
O = 129 T = 0.06 (out)(err) |
O = 74 T = 70.30 (out)(err) |
clq1-cv160c800l2g7.wcnf | O = 61 T = 8.60 |
O = 61 T = 10.47 (out)(err) |
O = 61 T = 12.24 (out)(err) |
O = 61 T = 8.60 (out)(err) |
O = N/A T = TO (out)(err) |
O = 96 T = 284.66 (out)(err) |
O = 71 T = 0.13 (out)(err) |
O = 123 T = 0.06 (out)(err) |
O = 73 T = 69.06 (out)(err) |
clq1-cv160c800l2g8.wcnf | O = 49 T = 4.32 |
O = 49 T = 4.32 (out)(err) |
O = 49 T = 99.16 (out)(err) |
O = 49 T = 4.91 (out)(err) |
O = N/A T = TO (out)(err) |
O = 93 T = 284.64 (out)(err) |
O = 58 T = 0.19 (out)(err) |
O = 131 T = 0.06 (out)(err) |
O = 59 T = 90.42 (out)(err) |
clq1-cv160c800l2g9.wcnf | O = 57 T = 6.30 |
O = 57 T = 16.47 (out)(err) |
O = 57 T = 26.98 (out)(err) |
O = 57 T = 6.30 (out)(err) |
O = N/A T = TO (out)(err) |
O = 132 T = 284.53 (out)(err) |
O = 66 T = 0.16 (out)(err) |
O = 132 T = 0.06 (out)(err) |
O = 68 T = 46.95 (out)(err) |
clq1-cv260c1040l2g1.wcnf | O = 67 T = 4.74 |
O = 67 T = 4.74 (out)(err) |
O = 67 T = 15.43 (out)(err) |
O = 67 T = 7.31 (out)(err) |
O = N/A T = TO (out)(err) |
O = 166 T = 284.75 (out)(err) |
O = 81 T = 0.04 (out)(err) |
O = 166 T = 0.06 (out)(err) |
O = 86 T = 33.03 (out)(err) |
clq1-cv260c1040l2g10.wcnf | O = 61 T = 4.84 |
O = 61 T = 4.84 (out)(err) |
O = 61 T = 55.15 (out)(err) |
O = 61 T = 8.95 (out)(err) |
O = N/A T = TO (out)(err) |
O = 134 T = 284.74 (out)(err) |
O = 74 T = 0.22 (out)(err) |
O = 134 T = 0.06 (out)(err) |
O = 81 T = 126.16 (out)(err) |
clq1-cv260c1040l2g11.wcnf | O = 40 T = 3.58 |
O = 40 T = 4.82 (out)(err) |
O = 40 T = 3.58 (out)(err) |
O = 40 T = 8.13 (out)(err) |
O = N/A T = TO (out)(err) |
O = 101 T = 284.76 (out)(err) |
O = 47 T = 0.12 (out)(err) |
O = 101 T = 0.06 (out)(err) |
O = 49 T = 230.15 (out)(err) |
clq1-cv260c1040l2g12.wcnf | O = 58 T = 7.58 |
O = 58 T = 38.02 (out)(err) |
O = 58 T = 34.80 (out)(err) |
O = 58 T = 7.58 (out)(err) |
O = N/A T = TO (out)(err) |
O = 139 T = 284.44 (out)(err) |
O = 74 T = 0.18 (out)(err) |
O = 139 T = 0.06 (out)(err) |
O = 75 T = 108.13 (out)(err) |
clq1-cv260c1040l2g13.wcnf | O = 38 T = 4.93 |
O = 38 T = 20.20 (out)(err) |
O = 38 T = 28.20 (out)(err) |
O = 38 T = 4.93 (out)(err) |
O = N/A T = TO (out)(err) |
O = 120 T = 284.71 (out)(err) |
O = 44 T = 0.07 (out)(err) |
O = 120 T = 0.06 (out)(err) |
O = 48 T = 117.21 (out)(err) |
clq1-cv260c1040l2g14.wcnf | O = 57 T = 3.96 |
O = 57 T = 3.96 (out)(err) |
O = 57 T = 8.82 (out)(err) |
O = 57 T = 4.62 (out)(err) |
O = N/A T = TO (out)(err) |
O = 139 T = 284.66 (out)(err) |
O = 67 T = 0.13 (out)(err) |
O = 139 T = 0.06 (out)(err) |
O = 78 T = 26.75 (out)(err) |
clq1-cv260c1040l2g15.wcnf | O = 46 T = 2.93 |
O = 46 T = 5.75 (out)(err) |
O = 46 T = 2.93 (out)(err) |
O = 46 T = 8.94 (out)(err) |
O = N/A T = TO (out)(err) |
O = 121 T = 284.73 (out)(err) |
O = 55 T = 0.14 (out)(err) |
O = 121 T = 0.06 (out)(err) |
O = 60 T = 117.15 (out)(err) |
clq1-cv260c1040l2g16.wcnf | O = 59 T = 5.27 |
O = 59 T = 5.27 (out)(err) |
O = 59 T = 19.23 (out)(err) |
O = 59 T = 8.22 (out)(err) |
O = N/A T = TO (out)(err) |
O = 120 T = 284.77 (out)(err) |
O = 67 T = 0.09 (out)(err) |
O = 120 T = 0.06 (out)(err) |
O = 75 T = 281.49 (out)(err) |
clq1-cv260c1040l2g17.wcnf | O = 51 T = 2.29 |
O = 51 T = 4.54 (out)(err) |
O = 51 T = 2.29 (out)(err) |
O = 51 T = 7.62 (out)(err) |
O = N/A T = TO (out)(err) |
O = 129 T = 284.62 (out)(err) |
O = 61 T = 0.12 (out)(err) |
O = 129 T = 0.07 (out)(err) |
O = 65 T = 282.40 (out)(err) |
clq1-cv260c1040l2g18.wcnf | O = 52 T = 4.36 |
O = 52 T = 5.58 (out)(err) |
O = 52 T = 4.36 (out)(err) |
O = 52 T = 7.96 (out)(err) |
O = N/A T = TO (out)(err) |
O = 143 T = 284.68 (out)(err) |
O = 56 T = 0.05 (out)(err) |
O = 143 T = 0.07 (out)(err) |
O = 62 T = 75.83 (out)(err) |
clq1-cv260c1040l2g19.wcnf | O = 57 T = 3.69 |
O = 57 T = 3.69 (out)(err) |
O = 57 T = 27.06 (out)(err) |
O = 57 T = 7.98 (out)(err) |
O = N/A T = TO (out)(err) |
O = 145 T = 284.76 (out)(err) |
O = 71 T = 0.06 (out)(err) |
O = 144 T = 0.07 (out)(err) |
O = 75 T = 76.04 (out)(err) |
clq1-cv260c1040l2g2.wcnf | O = 54 T = 7.61 |
O = 54 T = 27.97 (out)(err) |
O = 54 T = 20.33 (out)(err) |
O = 54 T = 7.61 (out)(err) |
O = N/A T = TO (out)(err) |
O = 105 T = 284.69 (out)(err) |
O = 61 T = 0.17 (out)(err) |
O = 163 T = 0.06 (out)(err) |
O = 68 T = 254.46 (out)(err) |
clq1-cv260c1040l2g20.wcnf | O = 63 T = 7.15 |
O = 63 T = 19.53 (out)(err) |
O = 63 T = 13.15 (out)(err) |
O = 63 T = 7.15 (out)(err) |
O = N/A T = TO (out)(err) |
O = 133 T = 284.67 (out)(err) |
O = 75 T = 0.08 (out)(err) |
O = 143 T = 0.06 (out)(err) |
O = 76 T = 193.53 (out)(err) |
clq1-cv260c1040l2g21.wcnf | O = 55 T = 4.85 |
O = 55 T = 4.85 (out)(err) |
O = 55 T = 8.30 (out)(err) |
O = 55 T = 6.02 (out)(err) |
O = N/A T = TO (out)(err) |
O = 140 T = 284.34 (out)(err) |
O = 61 T = 0.24 (out)(err) |
O = 140 T = 0.06 (out)(err) |
O = 69 T = 136.84 (out)(err) |
clq1-cv260c1040l2g22.wcnf | O = 58 T = 4.98 |
O = 58 T = 4.98 (out)(err) |
O = 58 T = 39.56 (out)(err) |
O = 58 T = 7.71 (out)(err) |
O = N/A T = TO (out)(err) |
O = 142 T = 284.44 (out)(err) |
O = 67 T = 0.22 (out)(err) |
O = 141 T = 0.05 (out)(err) |
O = 71 T = 0.52 (out)(err) |
clq1-cv260c1040l2g23.wcnf | O = 52 T = 4.50 |
O = 52 T = 5.85 (out)(err) |
O = 52 T = 4.50 (out)(err) |
O = 52 T = 5.80 (out)(err) |
O = N/A T = TO (out)(err) |
O = 113 T = 284.72 (out)(err) |
O = 58 T = 0.06 (out)(err) |
O = 113 T = 0.08 (out)(err) |
O = 59 T = 286.09 (out)(err) |
clq1-cv260c1040l2g24.wcnf | O = 42 T = 5.35 |
O = 42 T = 5.35 (out)(err) |
O = 42 T = 12.75 (out)(err) |
O = 42 T = 7.24 (out)(err) |
O = N/A T = TO (out)(err) |
O = 120 T = 284.09 (out)(err) |
O = 56 T = 0.12 (out)(err) |
O = 120 T = 0.06 (out)(err) |
O = 54 T = 281.90 (out)(err) |
clq1-cv260c1040l2g25.wcnf | O = 46 T = 4.78 |
O = 46 T = 4.78 (out)(err) |
O = 46 T = 42.53 (out)(err) |
O = 46 T = 9.02 (out)(err) |
O = N/A T = TO (out)(err) |
O = 128 T = 284.54 (out)(err) |
O = 56 T = 0.10 (out)(err) |
O = 128 T = 0.07 (out)(err) |
O = 59 T = 129.09 (out)(err) |
clq1-cv260c1040l2g26.wcnf | O = 50 T = 4.44 |
O = 50 T = 4.44 (out)(err) |
O = 50 T = 7.00 (out)(err) |
O = 50 T = 6.65 (out)(err) |
O = N/A T = TO (out)(err) |
O = 84 T = 284.25 (out)(err) |
O = 59 T = 0.20 (out)(err) |
O = 131 T = 0.07 (out)(err) |
O = 63 T = 172.73 (out)(err) |
clq1-cv260c1040l2g27.wcnf | O = 69 T = 5.99 |
O = 69 T = 5.99 (out)(err) |
O = 69 T = 119.07 (out)(err) |
O = 69 T = 7.05 (out)(err) |
O = N/A T = TO (out)(err) |
O = 168 T = 284.49 (out)(err) |
O = 81 T = 0.23 (out)(err) |
O = 168 T = 0.06 (out)(err) |
O = 88 T = 89.79 (out)(err) |
clq1-cv260c1040l2g28.wcnf | O = 58 T = 4.22 |
O = 58 T = 4.22 (out)(err) |
O = 58 T = 8.39 (out)(err) |
O = 58 T = 6.01 (out)(err) |
O = N/A T = TO (out)(err) |
O = 134 T = 284.73 (out)(err) |
O = 71 T = 0.04 (out)(err) |
O = 129 T = 0.06 (out)(err) |
O = 73 T = 104.95 (out)(err) |
clq1-cv260c1040l2g29.wcnf | O = 54 T = 4.21 |
O = 54 T = 4.21 (out)(err) |
O = 54 T = 10.27 (out)(err) |
O = 54 T = 7.35 (out)(err) |
O = N/A T = TO (out)(err) |
O = 93 T = 284.74 (out)(err) |
O = 58 T = 0.16 (out)(err) |
O = 132 T = 0.07 (out)(err) |
O = 69 T = 194.80 (out)(err) |
clq1-cv260c1040l2g3.wcnf | O = 52 T = 4.64 |
O = 52 T = 5.03 (out)(err) |
O = 52 T = 85.89 (out)(err) |
O = 52 T = 4.64 (out)(err) |
O = N/A T = TO (out)(err) |
O = 135 T = 284.77 (out)(err) |
O = 67 T = 0.13 (out)(err) |
O = 134 T = 0.06 (out)(err) |
O = 69 T = 213.55 (out)(err) |
clq1-cv260c1040l2g30.wcnf | O = 62 T = 4.86 |
O = 62 T = 4.86 (out)(err) |
O = 62 T = 6.18 (out)(err) |
O = 62 T = 6.49 (out)(err) |
O = N/A T = TO (out)(err) |
O = 154 T = 284.65 (out)(err) |
O = 71 T = 0.16 (out)(err) |
O = 154 T = 0.06 (out)(err) |
O = 80 T = 7.99 (out)(err) |
clq1-cv260c1040l2g4.wcnf | O = 45 T = 5.44 |
O = 45 T = 5.44 (out)(err) |
O = 45 T = 11.78 (out)(err) |
O = 45 T = 6.30 (out)(err) |
O = N/A T = TO (out)(err) |
O = 134 T = 284.77 (out)(err) |
O = 56 T = 0.11 (out)(err) |
O = 134 T = 0.06 (out)(err) |
O = 60 T = 128.33 (out)(err) |
clq1-cv260c1040l2g5.wcnf | O = 58 T = 5.48 |
O = 58 T = 5.48 (out)(err) |
O = 58 T = 14.44 (out)(err) |
O = 58 T = 5.58 (out)(err) |
O = N/A T = TO (out)(err) |
O = 139 T = 284.66 (out)(err) |
O = 65 T = 0.17 (out)(err) |
O = 139 T = 0.06 (out)(err) |
O = 74 T = 120.33 (out)(err) |
clq1-cv260c1040l2g6.wcnf | O = 49 T = 4.55 |
O = 49 T = 4.55 (out)(err) |
O = 49 T = 4.72 (out)(err) |
O = 49 T = 6.84 (out)(err) |
O = N/A T = TO (out)(err) |
O = 131 T = 284.54 (out)(err) |
O = 60 T = 0.16 (out)(err) |
O = 131 T = 0.06 (out)(err) |
O = 64 T = 201.68 (out)(err) |
clq1-cv260c1040l2g7.wcnf | O = 46 T = 0.92 |
O = 46 T = 4.82 (out)(err) |
O = 46 T = 0.92 (out)(err) |
O = 46 T = 6.67 (out)(err) |
O = N/A T = TO (out)(err) |
O = 89 T = 284.57 (out)(err) |
O = 57 T = 0.13 (out)(err) |
O = 143 T = 0.06 (out)(err) |
O = 57 T = 275.28 (out)(err) |
clq1-cv260c1040l2g8.wcnf | O = 48 T = 4.95 |
O = 48 T = 4.95 (out)(err) |
O = 48 T = 12.93 (out)(err) |
O = 48 T = 7.27 (out)(err) |
O = N/A T = TO (out)(err) |
O = 127 T = 284.68 (out)(err) |
O = 57 T = 0.15 (out)(err) |
O = 127 T = 0.06 (out)(err) |
O = 63 T = 82.98 (out)(err) |
clq1-cv260c1040l2g9.wcnf | O = 50 T = 4.71 |
O = 50 T = 4.71 (out)(err) |
O = 50 T = 9.38 (out)(err) |
O = 50 T = 6.33 (out)(err) |
O = N/A T = TO (out)(err) |
O = 114 T = 284.74 (out)(err) |
O = 58 T = 0.09 (out)(err) |
O = 114 T = 0.06 (out)(err) |
O = 64 T = 70.05 (out)(err) |
clq1-c2mv70c350l3g1.wcnf | O = 54 T = 1.28 |
O = 54 T = 1.28 (out)(err) |
O = 54 T = 3.55 (out)(err) |
O = 54 T = 1.61 (out)(err) |
O = N/A T = TO (out)(err) |
O = 62 T = 284.71 (out)(err) |
O = 69 T = 0.05 (out)(err) |
O = 81 T = 0.07 (out)(err) |
O = 60 T = 203.36 (out)(err) |
clq1-c2mv70c350l3g10.wcnf | O = 43 T = 0.26 |
O = 43 T = 1.19 (out)(err) |
O = 43 T = 0.26 (out)(err) |
O = 43 T = 1.14 (out)(err) |
O = N/A T = TO (out)(err) |
O = 44 T = 284.16 (out)(err) |
O = 52 T = 0.06 (out)(err) |
O = 80 T = 0.06 (out)(err) |
O = 46 T = 139.81 (out)(err) |
clq1-c2mv70c350l3g11.wcnf | O = 48 T = 1.20 |
O = 48 T = 1.20 (out)(err) |
O = 48 T = 12.74 (out)(err) |
O = 48 T = 1.74 (out)(err) |
O = N/A T = TO (out)(err) |
O = 51 T = 284.53 (out)(err) |
O = 49 T = 0.06 (out)(err) |
O = 76 T = 0.04 (out)(err) |
O = 51 T = 140.35 (out)(err) |
clq1-c2mv70c350l3g12.wcnf | O = 51 T = 0.15 |
O = 51 T = 1.16 (out)(err) |
O = 51 T = 0.15 (out)(err) |
O = 51 T = 1.82 (out)(err) |
O = N/A T = TO (out)(err) |
O = 54 T = 284.41 (out)(err) |
O = 58 T = 0.06 (out)(err) |
O = 85 T = 0.07 (out)(err) |
O = 54 T = 175.10 (out)(err) |
clq1-c2mv70c350l3g13.wcnf | O = 46 T = 1.06 |
O = 46 T = 1.06 (out)(err) |
O = 46 T = 3.08 (out)(err) |
O = 46 T = 1.91 (out)(err) |
O = N/A T = TO (out)(err) |
O = 49 T = 284.61 (out)(err) |
O = 52 T = 0.06 (out)(err) |
O = 77 T = 0.06 (out)(err) |
O = 52 T = 8.00 (out)(err) |
clq1-c2mv70c350l3g14.wcnf | O = 50 T = 1.36 |
O = 50 T = 1.36 (out)(err) |
O = 50 T = 6.81 (out)(err) |
O = 50 T = 2.10 (out)(err) |
O = N/A T = TO (out)(err) |
O = 86 T = 284.60 (out)(err) |
O = 56 T = 0.05 (out)(err) |
O = 81 T = 0.05 (out)(err) |
O = 53 T = 76.42 (out)(err) |
clq1-c2mv70c350l3g15.wcnf | O = 51 T = 1.46 |
O = 51 T = 1.46 (out)(err) |
O = 51 T = 8.05 (out)(err) |
O = 51 T = 2.08 (out)(err) |
O = N/A T = TO (out)(err) |
O = 80 T = 284.38 (out)(err) |
O = 58 T = 0.06 (out)(err) |
O = 80 T = 0.06 (out)(err) |
O = 56 T = 58.45 (out)(err) |
clq1-c2mv70c350l3g16.wcnf | O = 51 T = 1.52 |
O = 51 T = 1.52 (out)(err) |
O = 51 T = 8.40 (out)(err) |
O = 51 T = 1.64 (out)(err) |
O = N/A T = TO (out)(err) |
O = 53 T = 284.69 (out)(err) |
O = 59 T = 0.04 (out)(err) |
O = 86 T = 0.04 (out)(err) |
O = 56 T = 63.50 (out)(err) |
clq1-c2mv70c350l3g17.wcnf | O = 45 T = 1.06 |
O = 45 T = 1.06 (out)(err) |
O = 45 T = 1.20 (out)(err) |
O = 45 T = 1.63 (out)(err) |
O = N/A T = TO (out)(err) |
O = 47 T = 284.53 (out)(err) |
O = 49 T = 0.06 (out)(err) |
O = 78 T = 0.06 (out)(err) |
O = 47 T = 238.88 (out)(err) |
clq1-c2mv70c350l3g18.wcnf | O = 51 T = 1.20 |
O = 51 T = 1.20 (out)(err) |
O = 51 T = 3.96 (out)(err) |
O = 51 T = 1.86 (out)(err) |
O = N/A T = TO (out)(err) |
O = 71 T = 284.73 (out)(err) |
O = 70 T = 0.04 (out)(err) |
O = 71 T = 0.03 (out)(err) |
O = 56 T = 52.84 (out)(err) |
clq1-c2mv70c350l3g19.wcnf | O = 55 T = 1.22 |
O = 55 T = 47.33 (out)(err) |
O = 55 T = 16.82 (out)(err) |
O = 55 T = 1.22 (out)(err) |
O = N/A T = TO (out)(err) |
O = 59 T = 284.69 (out)(err) |
O = 67 T = 0.05 (out)(err) |
O = 77 T = 0.04 (out)(err) |
O = 62 T = 27.52 (out)(err) |
clq1-c2mv70c350l3g2.wcnf | O = 48 T = 1.30 |
O = 48 T = 1.30 (out)(err) |
O = 48 T = 6.74 (out)(err) |
O = 48 T = 1.57 (out)(err) |
O = N/A T = TO (out)(err) |
O = 50 T = 284.70 (out)(err) |
O = 55 T = 0.06 (out)(err) |
O = 86 T = 0.04 (out)(err) |
O = 53 T = 14.45 (out)(err) |
clq1-c2mv70c350l3g20.wcnf | O = 50 T = 0.05 |
O = 50 T = 1.22 (out)(err) |
O = 50 T = 4.23 (out)(err) |
O = 50 T = 1.62 (out)(err) |
O = N/A T = TO (out)(err) |
O = 76 T = 284.64 (out)(err) |
O = 50 T = 0.05 (out)(err) |
O = 76 T = 0.03 (out)(err) |
O = 52 T = 293.19 (out)(err) |
clq1-c2mv70c350l3g21.wcnf | O = 40 T = 1.12 |
O = 40 T = 1.41 (out)(err) |
O = 40 T = 14.11 (out)(err) |
O = 40 T = 1.12 (out)(err) |
O = N/A T = TO (out)(err) |
O = 68 T = 284.76 (out)(err) |
O = 49 T = 0.06 (out)(err) |
O = 71 T = 0.06 (out)(err) |
O = 43 T = 114.89 (out)(err) |
clq1-c2mv70c350l3g22.wcnf | O = 50 T = 1.36 |
O = 50 T = 1.36 (out)(err) |
O = 50 T = 6.57 (out)(err) |
O = 50 T = 1.49 (out)(err) |
O = N/A T = TO (out)(err) |
O = 53 T = 284.45 (out)(err) |
O = 58 T = 0.06 (out)(err) |
O = 77 T = 0.03 (out)(err) |
O = 55 T = 16.37 (out)(err) |
clq1-c2mv70c350l3g23.wcnf | O = 52 T = 1.45 |
O = 52 T = 1.45 (out)(err) |
O = 52 T = 52.61 (out)(err) |
O = 52 T = 1.48 (out)(err) |
O = N/A T = TO (out)(err) |
O = 74 T = 284.40 (out)(err) |
O = 65 T = 0.05 (out)(err) |
O = 84 T = 0.04 (out)(err) |
O = 58 T = 160.09 (out)(err) |
clq1-c2mv70c350l3g24.wcnf | O = 50 T = 1.12 |
O = 50 T = 1.12 (out)(err) |
O = 50 T = 4.90 (out)(err) |
O = 50 T = 1.66 (out)(err) |
O = N/A T = TO (out)(err) |
O = 53 T = 284.36 (out)(err) |
O = 58 T = 0.06 (out)(err) |
O = 74 T = 0.05 (out)(err) |
O = 55 T = 98.77 (out)(err) |
clq1-c2mv70c350l3g25.wcnf | O = 45 T = 1.11 |
O = 45 T = 1.11 (out)(err) |
O = 45 T = 1.52 (out)(err) |
O = 45 T = 1.58 (out)(err) |
O = N/A T = TO (out)(err) |
O = 46 T = 284.65 (out)(err) |
O = 49 T = 0.06 (out)(err) |
O = 73 T = 0.05 (out)(err) |
O = 47 T = 248.24 (out)(err) |
clq1-c2mv70c350l3g26.wcnf | O = 50 T = 1.04 |
O = 50 T = 1.04 (out)(err) |
O = 50 T = 55.87 (out)(err) |
O = 50 T = 1.41 (out)(err) |
O = N/A T = TO (out)(err) |
O = 77 T = 284.73 (out)(err) |
O = 55 T = 0.06 (out)(err) |
O = 78 T = 0.07 (out)(err) |
O = 54 T = 13.27 (out)(err) |
clq1-c2mv70c350l3g27.wcnf | O = 56 T = 1.78 |
O = 56 T = 28.82 (out)(err) |
O = 56 T = 29.03 (out)(err) |
O = 56 T = 1.78 (out)(err) |
O = N/A T = TO (out)(err) |
O = 86 T = 284.62 (out)(err) |
O = 70 T = 0.04 (out)(err) |
O = 84 T = 0.06 (out)(err) |
O = 64 T = 221.23 (out)(err) |
clq1-c2mv70c350l3g28.wcnf | O = 51 T = 1.53 |
O = 51 T = 3.45 (out)(err) |
O = 51 T = 7.26 (out)(err) |
O = 51 T = 1.53 (out)(err) |
O = N/A T = TO (out)(err) |
O = 53 T = 284.68 (out)(err) |
O = 57 T = 0.05 (out)(err) |
O = 77 T = 0.02 (out)(err) |
O = 54 T = 168.64 (out)(err) |
clq1-c2mv70c350l3g29.wcnf | O = 55 T = 1.26 |
O = 55 T = 1.26 (out)(err) |
O = 55 T = 17.07 (out)(err) |
O = 55 T = 1.96 (out)(err) |
O = N/A T = TO (out)(err) |
O = 58 T = 284.71 (out)(err) |
O = 59 T = 0.06 (out)(err) |
O = 86 T = 0.05 (out)(err) |
O = 58 T = 73.91 (out)(err) |
clq1-c2mv70c350l3g3.wcnf | O = 49 T = 0.96 |
O = 49 T = 0.96 (out)(err) |
O = 49 T = 6.86 (out)(err) |
O = 49 T = 1.70 (out)(err) |
O = N/A T = TO (out)(err) |
O = 54 T = 284.61 (out)(err) |
O = 60 T = 0.05 (out)(err) |
O = 73 T = 0.04 (out)(err) |
O = 54 T = 23.81 (out)(err) |
clq1-c2mv70c350l3g30.wcnf | O = 53 T = 1.48 |
O = 53 T = 1.48 (out)(err) |
O = 53 T = 219.21 (out)(err) |
O = 53 T = 1.97 (out)(err) |
O = N/A T = TO (out)(err) |
O = 57 T = 284.57 (out)(err) |
O = 60 T = 0.05 (out)(err) |
O = 77 T = 0.05 (out)(err) |
O = 57 T = 60.76 (out)(err) |
clq1-c2mv70c350l3g4.wcnf | O = 47 T = 1.15 |
O = 47 T = 1.15 (out)(err) |
O = 47 T = 29.94 (out)(err) |
O = 47 T = 1.91 (out)(err) |
O = N/A T = TO (out)(err) |
O = 80 T = 284.60 (out)(err) |
O = 53 T = 0.06 (out)(err) |
O = 80 T = 0.05 (out)(err) |
O = 50 T = 208.82 (out)(err) |
clq1-c2mv70c350l3g5.wcnf | O = 46 T = 1.33 |
O = 46 T = 1.45 (out)(err) |
O = 46 T = 60.88 (out)(err) |
O = 46 T = 1.33 (out)(err) |
O = N/A T = TO (out)(err) |
O = 68 T = 284.68 (out)(err) |
O = 53 T = 0.06 (out)(err) |
O = 77 T = 0.16 (out)(err) |
O = 52 T = 128.09 (out)(err) |
clq1-c2mv70c350l3g6.wcnf | O = 49 T = 0.15 |
O = 49 T = 1.21 (out)(err) |
O = 49 T = 0.15 (out)(err) |
O = 49 T = 0.81 (out)(err) |
O = N/A T = TO (out)(err) |
O = 50 T = 284.64 (out)(err) |
O = 54 T = 0.06 (out)(err) |
O = 78 T = 0.04 (out)(err) |
O = 51 T = 212.24 (out)(err) |
clq1-c2mv70c350l3g7.wcnf | O = 54 T = 0.73 |
O = 54 T = 1.28 (out)(err) |
O = 54 T = 248.21 (out)(err) |
O = 54 T = 0.73 (out)(err) |
O = N/A T = TO (out)(err) |
O = 75 T = 284.50 (out)(err) |
O = 62 T = 0.05 (out)(err) |
O = 75 T = 0.06 (out)(err) |
O = 58 T = 215.56 (out)(err) |
clq1-c2mv70c350l3g8.wcnf | O = 48 T = 0.96 |
O = 48 T = 1.16 (out)(err) |
O = 48 T = 3.34 (out)(err) |
O = 48 T = 0.96 (out)(err) |
O = N/A T = TO (out)(err) |
O = 53 T = 284.63 (out)(err) |
O = 60 T = 0.04 (out)(err) |
O = 73 T = 0.05 (out)(err) |
O = 54 T = 17.16 (out)(err) |
clq1-c2mv70c350l3g9.wcnf | O = 50 T = 1.57 |
O = 50 T = 67.33 (out)(err) |
O = 50 T = 10.18 (out)(err) |
O = 50 T = 1.57 (out)(err) |
O = N/A T = TO (out)(err) |
O = 52 T = 284.31 (out)(err) |
O = 59 T = 0.05 (out)(err) |
O = 75 T = 0.07 (out)(err) |
O = 55 T = 119.59 (out)(err) |
clq1-c2mv80c400l3g1.wcnf | O = 56 T = 1.32 |
O = 56 T = 1.47 (out)(err) |
O = 56 T = 1.32 (out)(err) |
O = 56 T = 1.85 (out)(err) |
O = N/A T = TO (out)(err) |
O = 58 T = 284.72 (out)(err) |
O = 65 T = 0.08 (out)(err) |
O = 90 T = 0.06 (out)(err) |
O = 64 T = 21.03 (out)(err) |
clq1-c2mv80c400l3g10.wcnf | O = 55 T = 1.53 |
O = 55 T = 1.53 (out)(err) |
O = 55 T = 38.71 (out)(err) |
O = 55 T = 2.08 (out)(err) |
O = N/A T = TO (out)(err) |
O = 96 T = 284.73 (out)(err) |
O = 59 T = 0.07 (out)(err) |
O = 96 T = 0.07 (out)(err) |
O = 63 T = 21.46 (out)(err) |
clq1-c2mv80c400l3g11.wcnf | O = 57 T = 1.40 |
O = 57 T = 1.40 (out)(err) |
O = 57 T = 15.21 (out)(err) |
O = 57 T = 2.08 (out)(err) |
O = N/A T = TO (out)(err) |
O = 61 T = 284.58 (out)(err) |
O = 61 T = 0.08 (out)(err) |
O = 92 T = 0.07 (out)(err) |
O = 63 T = 141.27 (out)(err) |
clq1-c2mv80c400l3g12.wcnf | O = 65 T = 1.25 |
O = 65 T = 1.25 (out)(err) |
O = 65 T = 62.50 (out)(err) |
O = 65 T = 1.97 (out)(err) |
O = N/A T = TO (out)(err) |
O = 99 T = 284.73 (out)(err) |
O = 66 T = 0.08 (out)(err) |
O = 99 T = 0.07 (out)(err) |
O = 69 T = 4.03 (out)(err) |
clq1-c2mv80c400l3g13.wcnf | O = 60 T = 1.70 |
O = 60 T = 3.45 (out)(err) |
O = 60 T = 30.98 (out)(err) |
O = 60 T = 1.70 (out)(err) |
O = N/A T = TO (out)(err) |
O = 87 T = 284.16 (out)(err) |
O = 70 T = 0.06 (out)(err) |
O = 87 T = 0.06 (out)(err) |
O = 63 T = 234.35 (out)(err) |
clq1-c2mv80c400l3g14.wcnf | O = 59 T = 1.67 |
O = 59 T = 2.07 (out)(err) |
O = 59 T = 5.28 (out)(err) |
O = 59 T = 1.67 (out)(err) |
O = N/A T = TO (out)(err) |
O = 63 T = 284.39 (out)(err) |
O = 67 T = 0.07 (out)(err) |
O = 91 T = 0.09 (out)(err) |
O = 64 T = 142.14 (out)(err) |
clq1-c2mv80c400l3g15.wcnf | O = 59 T = 1.59 |
O = 59 T = 1.65 (out)(err) |
O = 59 T = 1.59 (out)(err) |
O = 59 T = 1.89 (out)(err) |
O = N/A T = TO (out)(err) |
O = 62 T = 284.58 (out)(err) |
O = 61 T = 0.08 (out)(err) |
O = 101 T = 0.04 (out)(err) |
O = 65 T = 29.66 (out)(err) |
clq1-c2mv80c400l3g16.wcnf | O = 61 T = 1.42 |
O = 61 T = 1.42 (out)(err) |
O = 61 T = 14.57 (out)(err) |
O = 61 T = 1.63 (out)(err) |
O = N/A T = TO (out)(err) |
O = 68 T = 284.71 (out)(err) |
O = 69 T = 0.07 (out)(err) |
O = 96 T = 0.07 (out)(err) |
O = 68 T = 187.89 (out)(err) |
clq1-c2mv80c400l3g17.wcnf | O = 66 T = 1.56 |
O = 66 T = 1.56 (out)(err) |
O = 67 T = 4.07 (out)(err) |
O = 66 T = 1.73 (out)(err) |
O = N/A T = TO (out)(err) |
O = 90 T = 284.74 (out)(err) |
O = 78 T = 0.07 (out)(err) |
O = 90 T = 0.05 (out)(err) |
O = 73 T = 81.95 (out)(err) |
clq1-c2mv80c400l3g18.wcnf | O = 58 T = 1.70 |
O = 58 T = 1.70 (out)(err) |
O = 58 T = 17.14 (out)(err) |
O = 58 T = 1.93 (out)(err) |
O = N/A T = TO (out)(err) |
O = 91 T = 284.57 (out)(err) |
O = 66 T = 0.07 (out)(err) |
O = 91 T = 0.06 (out)(err) |
O = 63 T = 58.59 (out)(err) |
clq1-c2mv80c400l3g19.wcnf | O = 55 T = 1.63 |
O = 55 T = 1.63 (out)(err) |
O = 55 T = 235.38 (out)(err) |
O = 55 T = 1.65 (out)(err) |
O = N/A T = TO (out)(err) |
O = 87 T = 284.66 (out)(err) |
O = 63 T = 0.08 (out)(err) |
O = 95 T = 0.05 (out)(err) |
O = 63 T = 239.60 (out)(err) |
clq1-c2mv80c400l3g2.wcnf | O = 65 T = 1.86 |
O = 65 T = 2.37 (out)(err) |
O = 65 T = 7.61 (out)(err) |
O = 65 T = 1.86 (out)(err) |
O = N/A T = TO (out)(err) |
O = 70 T = 284.67 (out)(err) |
O = 73 T = 0.06 (out)(err) |
O = 89 T = 0.04 (out)(err) |
O = 73 T = 66.49 (out)(err) |
clq1-c2mv80c400l3g20.wcnf | O = 56 T = 1.72 |
O = 56 T = 37.65 (out)(err) |
O = 56 T = 6.53 (out)(err) |
O = 56 T = 1.72 (out)(err) |
O = N/A T = TO (out)(err) |
O = 88 T = 284.40 (out)(err) |
O = 65 T = 0.08 (out)(err) |
O = 93 T = 0.04 (out)(err) |
O = 63 T = 132.72 (out)(err) |
clq1-c2mv80c400l3g21.wcnf | O = 65 T = 1.69 |
O = 65 T = 1.82 (out)(err) |
O = 65 T = 13.02 (out)(err) |
O = 65 T = 1.69 (out)(err) |
O = N/A T = TO (out)(err) |
O = 66 T = 284.53 (out)(err) |
O = 70 T = 0.06 (out)(err) |
O = 91 T = 0.04 (out)(err) |
O = 68 T = 253.58 (out)(err) |
clq1-c2mv80c400l3g22.wcnf | O = 64 T = 1.67 |
O = 64 T = 1.67 (out)(err) |
O = 64 T = 5.75 (out)(err) |
O = 64 T = 1.88 (out)(err) |
O = N/A T = TO (out)(err) |
O = 96 T = 284.26 (out)(err) |
O = 71 T = 0.08 (out)(err) |
O = 96 T = 0.07 (out)(err) |
O = 69 T = 234.69 (out)(err) |
clq1-c2mv80c400l3g23.wcnf | O = 56 T = 1.97 |
O = 56 T = 2.18 (out)(err) |
O = 56 T = 47.01 (out)(err) |
O = 56 T = 1.97 (out)(err) |
O = N/A T = TO (out)(err) |
O = 81 T = 284.40 (out)(err) |
O = 61 T = 0.08 (out)(err) |
O = 81 T = 0.04 (out)(err) |
O = 61 T = 223.09 (out)(err) |
clq1-c2mv80c400l3g24.wcnf | O = 51 T = 1.83 |
O = 51 T = 1.83 (out)(err) |
O = 51 T = 11.79 (out)(err) |
O = 51 T = 1.86 (out)(err) |
O = N/A T = TO (out)(err) |
O = 55 T = 284.65 (out)(err) |
O = 59 T = 0.08 (out)(err) |
O = 90 T = 0.05 (out)(err) |
O = 56 T = 114.17 (out)(err) |
clq1-c2mv80c400l3g25.wcnf | O = 55 T = 1.19 |
O = 55 T = 16.78 (out)(err) |
O = 55 T = 74.67 (out)(err) |
O = 55 T = 1.19 (out)(err) |
O = N/A T = TO (out)(err) |
O = 62 T = 284.41 (out)(err) |
O = 64 T = 0.08 (out)(err) |
O = 94 T = 0.16 (out)(err) |
O = 59 T = 97.11 (out)(err) |
clq1-c2mv80c400l3g26.wcnf | O = 59 T = 1.81 |
O = 59 T = 1.81 (out)(err) |
O = 59 T = 82.01 (out)(err) |
O = 59 T = 1.89 (out)(err) |
O = N/A T = TO (out)(err) |
O = 63 T = 284.77 (out)(err) |
O = 61 T = 0.08 (out)(err) |
O = 89 T = 0.06 (out)(err) |
O = 65 T = 46.85 (out)(err) |
clq1-c2mv80c400l3g27.wcnf | O = 59 T = 1.36 |
O = 59 T = 1.36 (out)(err) |
O = 59 T = 24.13 (out)(err) |
O = 59 T = 2.00 (out)(err) |
O = N/A T = TO (out)(err) |
O = 84 T = 284.69 (out)(err) |
O = 67 T = 0.06 (out)(err) |
O = 84 T = 0.05 (out)(err) |
O = 67 T = 188.60 (out)(err) |
clq1-c2mv80c400l3g28.wcnf | O = 57 T = 1.76 |
O = 57 T = 1.76 (out)(err) |
O = 57 T = 4.17 (out)(err) |
O = 57 T = 1.85 (out)(err) |
O = N/A T = TO (out)(err) |
O = 95 T = 284.48 (out)(err) |
O = 60 T = 0.08 (out)(err) |
O = 95 T = 0.05 (out)(err) |
O = 61 T = 159.90 (out)(err) |
clq1-c2mv80c400l3g29.wcnf | O = 63 T = 2.00 |
O = 63 T = 2.43 (out)(err) |
O = 63 T = 4.45 (out)(err) |
O = 63 T = 2.00 (out)(err) |
O = N/A T = TO (out)(err) |
O = 67 T = 284.35 (out)(err) |
O = 68 T = 0.08 (out)(err) |
O = 97 T = 0.24 (out)(err) |
O = 67 T = 141.72 (out)(err) |
clq1-c2mv80c400l3g3.wcnf | O = 63 T = 1.50 |
O = 63 T = 1.50 (out)(err) |
O = 63 T = 25.49 (out)(err) |
O = 63 T = 1.98 (out)(err) |
O = N/A T = TO (out)(err) |
O = 94 T = 284.41 (out)(err) |
O = 70 T = 0.06 (out)(err) |
O = 94 T = 5.67 (out)(err) |
O = 70 T = 2.26 (out)(err) |
clq1-c2mv80c400l3g30.wcnf | O = 59 T = 1.52 |
O = 59 T = 1.52 (out)(err) |
O = 59 T = 29.63 (out)(err) |
O = 59 T = 1.63 (out)(err) |
O = N/A T = TO (out)(err) |
O = 64 T = 284.32 (out)(err) |
O = 72 T = 0.06 (out)(err) |
O = 90 T = 0.05 (out)(err) |
O = 66 T = 10.04 (out)(err) |
clq1-c2mv80c400l3g4.wcnf | O = 61 T = 1.62 |
O = 61 T = 1.62 (out)(err) |
O = 61 T = 14.63 (out)(err) |
O = 61 T = 2.32 (out)(err) |
O = N/A T = TO (out)(err) |
O = 65 T = 284.33 (out)(err) |
O = 71 T = 0.06 (out)(err) |
O = 90 T = 0.09 (out)(err) |
O = 67 T = 59.51 (out)(err) |
clq1-c2mv80c400l3g5.wcnf | O = 62 T = 1.39 |
O = 62 T = 1.67 (out)(err) |
O = 62 T = 66.15 (out)(err) |
O = 62 T = 1.39 (out)(err) |
O = N/A T = TO (out)(err) |
O = 65 T = 284.18 (out)(err) |
O = 71 T = 0.06 (out)(err) |
O = 98 T = 5.68 (out)(err) |
O = 69 T = 124.92 (out)(err) |
clq1-c2mv80c400l3g6.wcnf | O = 59 T = 1.32 |
O = 59 T = 1.80 (out)(err) |
O = 59 T = 1.32 (out)(err) |
O = 59 T = 1.33 (out)(err) |
O = N/A T = TO (out)(err) |
O = 63 T = 284.48 (out)(err) |
O = 65 T = 0.07 (out)(err) |
O = 87 T = 0.08 (out)(err) |
O = 63 T = 43.41 (out)(err) |
clq1-c2mv80c400l3g7.wcnf | O = 64 T = 1.57 |
O = 64 T = 5.62 (out)(err) |
O = 64 T = 3.38 (out)(err) |
O = 64 T = 1.57 (out)(err) |
O = N/A T = TO (out)(err) |
O = 90 T = 284.61 (out)(err) |
O = 68 T = 0.06 (out)(err) |
O = 94 T = 0.05 (out)(err) |
O = 70 T = 272.27 (out)(err) |
clq1-c2mv80c400l3g8.wcnf | O = 65 T = 1.65 |
O = 65 T = 1.65 (out)(err) |
O = 65 T = 62.62 (out)(err) |
O = 65 T = 1.74 (out)(err) |
O = N/A T = TO (out)(err) |
O = 69 T = 284.72 (out)(err) |
O = 75 T = 0.08 (out)(err) |
O = 100 T = 0.06 (out)(err) |
O = 71 T = 71.10 (out)(err) |
clq1-c2mv80c400l3g9.wcnf | O = 59 T = 1.63 |
O = 59 T = 1.63 (out)(err) |
O = 59 T = 64.35 (out)(err) |
O = 59 T = 1.76 (out)(err) |
O = N/A T = TO (out)(err) |
O = 65 T = 284.74 (out)(err) |
O = 67 T = 0.07 (out)(err) |
O = 99 T = 2.94 (out)(err) |
O = 66 T = 118.47 (out)(err) |
file_rpms_wcnf_L2_V150_C4000_H150_0.wcnf | O = 802 T = 0.91 |
O = 802 T = 4.86 (out)(err) |
O = 811 T = 3.01 (out)(err) |
O = 802 T = 0.91 (out)(err) |
O = N/A T = TO (out)(err) |
O = 868 T = 284.70 (out)(err) |
O = 904 T = 2.28 (out)(err) |
O = N/A T = TO (out)(err) |
O = 861 T = 115.78 (out)(err) |
file_rpms_wcnf_L2_V150_C4000_H150_1.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
file_rpms_wcnf_L2_V150_C4000_H150_2.wcnf | O = 805 T = 0.49 |
O = 805 T = 219.66 (out)(err) |
O = 806 T = 252.85 (out)(err) |
O = 805 T = 0.49 (out)(err) |
O = N/A T = TO (out)(err) |
O = 853 T = 284.50 (out)(err) |
O = 945 T = 1.98 (out)(err) |
O = N/A T = TO (out)(err) |
O = 868 T = 165.57 (out)(err) |
file_rpms_wcnf_L2_V150_C4000_H150_3.wcnf | O = 752 T = 0.10 |
O = 752 T = 0.38 (out)(err) |
O = 752 T = 0.10 (out)(err) |
O = 752 T = 0.73 (out)(err) |
O = N/A T = TO (out)(err) |
O = 835 T = 284.64 (out)(err) |
O = 897 T = 3.32 (out)(err) |
O = 928 T = 0.12 (out)(err) |
O = 858 T = 130.39 (out)(err) |
file_rpms_wcnf_L2_V150_C4000_H150_4.wcnf | O = 750 T = 0.25 |
O = 750 T = 0.37 (out)(err) |
O = 750 T = 0.25 (out)(err) |
O = 750 T = 0.69 (out)(err) |
O = N/A T = TO (out)(err) |
O = 830 T = 284.58 (out)(err) |
O = 905 T = 3.22 (out)(err) |
O = 921 T = 0.12 (out)(err) |
O = 845 T = 56.17 (out)(err) |
file_rpms_wcnf_L2_V150_C4000_H150_5.wcnf | O = 756 T = 0.10 |
O = 756 T = 0.82 (out)(err) |
O = 756 T = 0.10 (out)(err) |
O = 756 T = 0.60 (out)(err) |
O = N/A T = TO (out)(err) |
O = 827 T = 284.71 (out)(err) |
O = 885 T = 3.04 (out)(err) |
O = 899 T = 0.14 (out)(err) |
O = 850 T = 208.19 (out)(err) |
file_rpms_wcnf_L2_V150_C4000_H150_6.wcnf | O = 782 T = 0.18 |
O = 782 T = 1.74 (out)(err) |
O = 782 T = 0.18 (out)(err) |
O = 782 T = 1.50 (out)(err) |
O = N/A T = TO (out)(err) |
O = 866 T = 284.53 (out)(err) |
O = 903 T = 3.08 (out)(err) |
O = N/A T = TO (out)(err) |
O = 874 T = 292.77 (out)(err) |
file_rpms_wcnf_L2_V150_C4000_H150_7.wcnf | O = 755 T = 0.02 |
O = 755 T = 0.62 (out)(err) |
O = 755 T = 0.02 (out)(err) |
O = 755 T = 0.66 (out)(err) |
O = N/A T = TO (out)(err) |
O = 842 T = 284.66 (out)(err) |
O = 923 T = 3.17 (out)(err) |
O = N/A T = TO (out)(err) |
O = 857 T = 73.39 (out)(err) |
file_rpms_wcnf_L2_V150_C4000_H150_8.wcnf | O = 764 T = 0.37 |
O = 764 T = 1.27 (out)(err) |
O = 764 T = 0.37 (out)(err) |
O = 764 T = 0.78 (out)(err) |
O = N/A T = TO (out)(err) |
O = 844 T = 284.13 (out)(err) |
O = 909 T = 3.08 (out)(err) |
O = 877 T = 0.05 (out)(err) |
O = 857 T = 148.35 (out)(err) |
file_rpms_wcnf_L2_V150_C4000_H150_9.wcnf | O = 792 T = 0.05 |
O = 792 T = 0.48 (out)(err) |
O = 792 T = 0.05 (out)(err) |
O = 792 T = 0.71 (out)(err) |
O = N/A T = TO (out)(err) |
O = 862 T = 284.65 (out)(err) |
O = 934 T = 2.74 (out)(err) |
O = 943 T = 0.11 (out)(err) |
O = 884 T = 98.99 (out)(err) |
file_rpms_wcnf_L2_V150_C4500_H150_0.wcnf | O = 867 T = 0.57 |
O = 867 T = 0.57 (out)(err) |
O = 867 T = 0.91 (out)(err) |
O = 867 T = 0.94 (out)(err) |
O = N/A T = TO (out)(err) |
O = 970 T = 284.71 (out)(err) |
O = 1039 T = 4.71 (out)(err) |
O = N/A T = TO (out)(err) |
O = 974 T = 87.09 (out)(err) |
file_rpms_wcnf_L2_V150_C4500_H150_1.wcnf | O = 905 T = 0.70 |
O = 905 T = 0.70 (out)(err) |
O = 905 T = 1.22 (out)(err) |
O = 905 T = 1.39 (out)(err) |
O = N/A T = TO (out)(err) |
O = 991 T = 284.43 (out)(err) |
O = 1075 T = 0.67 (out)(err) |
O = N/A T = TO (out)(err) |
O = 990 T = 296.45 (out)(err) |
file_rpms_wcnf_L2_V150_C4500_H150_2.wcnf | O = 912 T = 0.51 |
O = 912 T = 0.80 (out)(err) |
O = 912 T = 0.77 (out)(err) |
O = 912 T = 0.51 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1006 T = 284.45 (out)(err) |
O = 1059 T = 5.00 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1001 T = 91.33 (out)(err) |
file_rpms_wcnf_L2_V150_C4500_H150_3.wcnf | O = 878 T = 0.05 |
O = 878 T = 0.71 (out)(err) |
O = 878 T = 0.05 (out)(err) |
O = 878 T = 0.54 (out)(err) |
O = N/A T = TO (out)(err) |
O = 969 T = 284.67 (out)(err) |
O = 1069 T = 6.49 (out)(err) |
O = N/A T = TO (out)(err) |
O = 955 T = 163.68 (out)(err) |
file_rpms_wcnf_L2_V150_C4500_H150_4.wcnf | O = 890 T = 0.05 |
O = 890 T = 0.77 (out)(err) |
O = 890 T = 0.05 (out)(err) |
O = 890 T = 0.80 (out)(err) |
O = N/A T = TO (out)(err) |
O = 971 T = 284.42 (out)(err) |
O = 1035 T = 4.71 (out)(err) |
O = 1041 T = 0.04 (out)(err) |
O = 1005 T = 46.66 (out)(err) |
file_rpms_wcnf_L2_V150_C4500_H150_5.wcnf | O = 881 T = 0.13 |
O = 881 T = 0.65 (out)(err) |
O = 881 T = 0.13 (out)(err) |
O = 881 T = 1.20 (out)(err) |
O = N/A T = TO (out)(err) |
O = 980 T = 284.58 (out)(err) |
O = 1061 T = 5.43 (out)(err) |
O = 1068 T = 0.05 (out)(err) |
O = 982 T = 43.91 (out)(err) |
file_rpms_wcnf_L2_V150_C4500_H150_6.wcnf | O = 856 T = 1.12 |
O = 856 T = 1.61 (out)(err) |
O = 856 T = 1.12 (out)(err) |
O = 856 T = 1.81 (out)(err) |
O = N/A T = TO (out)(err) |
O = 966 T = 284.59 (out)(err) |
O = 1047 T = 0.73 (out)(err) |
O = N/A T = TO (out)(err) |
O = 962 T = 86.09 (out)(err) |
file_rpms_wcnf_L2_V150_C4500_H150_7.wcnf | O = 875 T = 0.40 |
O = 875 T = 1.30 (out)(err) |
O = 875 T = 4.86 (out)(err) |
O = 875 T = 0.40 (out)(err) |
O = N/A T = TO (out)(err) |
O = 964 T = 284.46 (out)(err) |
O = 1001 T = 5.43 (out)(err) |
O = 1065 T = 0.04 (out)(err) |
O = 983 T = 250.19 (out)(err) |
file_rpms_wcnf_L2_V150_C4500_H150_8.wcnf | O = 908 T = 0.41 |
O = 908 T = 0.88 (out)(err) |
O = 908 T = 12.35 (out)(err) |
O = 908 T = 0.41 (out)(err) |
O = N/A T = TO (out)(err) |
O = 990 T = 284.54 (out)(err) |
O = 1056 T = 0.69 (out)(err) |
O = N/A T = TO (out)(err) |
O = 992 T = 117.73 (out)(err) |
file_rpms_wcnf_L2_V150_C4500_H150_9.wcnf | O = 898 T = 0.53 |
O = 898 T = 0.84 (out)(err) |
O = 898 T = 12.27 (out)(err) |
O = 898 T = 0.53 (out)(err) |
O = N/A T = TO (out)(err) |
O = 986 T = 284.54 (out)(err) |
O = 1058 T = 1.99 (out)(err) |
O = N/A T = TO (out)(err) |
O = 992 T = 33.98 (out)(err) |
file_rpms_wcnf_L2_V150_C5000_H150_0.wcnf | O = 1018 T = 0.16 |
O = 1018 T = 0.36 (out)(err) |
O = 1018 T = 0.16 (out)(err) |
O = 1018 T = 0.21 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1104 T = 284.66 (out)(err) |
O = 1199 T = 5.86 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1108 T = 254.39 (out)(err) |
file_rpms_wcnf_L2_V150_C5000_H150_1.wcnf | O = 1015 T = 0.14 |
O = 1015 T = 0.24 (out)(err) |
O = 1015 T = 0.14 (out)(err) |
O = 1015 T = 0.87 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1098 T = 284.06 (out)(err) |
O = 1169 T = 0.84 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1123 T = 155.29 (out)(err) |
file_rpms_wcnf_L2_V150_C5000_H150_2.wcnf | O = 979 T = 0.11 |
O = 979 T = 0.64 (out)(err) |
O = 979 T = 0.11 (out)(err) |
O = 979 T = 0.44 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1077 T = 284.68 (out)(err) |
O = 1144 T = 8.37 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1090 T = 154.01 (out)(err) |
file_rpms_wcnf_L2_V150_C5000_H150_3.wcnf | O = 1032 T = 0.37 |
O = 1032 T = 0.57 (out)(err) |
O = 1032 T = 25.93 (out)(err) |
O = 1032 T = 0.37 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1102 T = 284.12 (out)(err) |
O = 1211 T = 6.21 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1110 T = 273.13 (out)(err) |
file_rpms_wcnf_L2_V150_C5000_H150_4.wcnf | O = 1018 T = 0.06 |
O = 1018 T = 1.30 (out)(err) |
O = 1018 T = 0.06 (out)(err) |
O = 1018 T = 1.08 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1131 T = 284.07 (out)(err) |
O = 1159 T = 0.91 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1142 T = 82.64 (out)(err) |
file_rpms_wcnf_L2_V150_C5000_H150_5.wcnf | O = 991 T = 0.11 |
O = 991 T = 1.21 (out)(err) |
O = 991 T = 0.11 (out)(err) |
O = 991 T = 0.79 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1088 T = 284.63 (out)(err) |
O = 1158 T = 5.41 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1084 T = 278.11 (out)(err) |
file_rpms_wcnf_L2_V150_C5000_H150_6.wcnf | O = 1005 T = 0.31 |
O = 1005 T = 0.60 (out)(err) |
O = 1005 T = 0.31 (out)(err) |
O = 1005 T = 0.60 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1087 T = 284.55 (out)(err) |
O = 1176 T = 6.35 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1108 T = 10.84 (out)(err) |
file_rpms_wcnf_L2_V150_C5000_H150_7.wcnf | O = 991 T = 0.64 |
O = 991 T = 1.01 (out)(err) |
O = 991 T = 0.64 (out)(err) |
O = 991 T = 0.68 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1079 T = 284.48 (out)(err) |
O = 1165 T = 3.74 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1078 T = 237.52 (out)(err) |
file_rpms_wcnf_L2_V150_C5000_H150_8.wcnf | O = 999 T = 0.57 |
O = 999 T = 0.57 (out)(err) |
O = 999 T = 1.26 (out)(err) |
O = 999 T = 0.94 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1075 T = 284.72 (out)(err) |
O = 1129 T = 4.89 (out)(err) |
O = 1177 T = 0.06 (out)(err) |
O = 1074 T = 140.47 (out)(err) |
file_rpms_wcnf_L2_V150_C5000_H150_9.wcnf | O = 993 T = 0.20 |
O = 993 T = 0.88 (out)(err) |
O = 993 T = 0.20 (out)(err) |
O = 993 T = 0.34 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1075 T = 284.58 (out)(err) |
O = 1149 T = 5.59 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1116 T = 71.73 (out)(err) |
file_rpms_wcnf_L2_V150_C2500_H150_0.wcnf | O = 464 T = 0.63 |
O = 464 T = 0.63 (out)(err) |
O = 464 T = 28.07 (out)(err) |
O = 464 T = 0.65 (out)(err) |
O = N/A T = TO (out)(err) |
O = 510 T = 284.65 (out)(err) |
O = 515 T = 1.21 (out)(err) |
O = 588 T = 0.05 (out)(err) |
O = 521 T = 7.88 (out)(err) |
file_rpms_wcnf_L2_V150_C2500_H150_1.wcnf | O = 454 T = 0.15 |
O = 454 T = 0.86 (out)(err) |
O = 454 T = 0.15 (out)(err) |
O = 454 T = 0.83 (out)(err) |
O = N/A T = TO (out)(err) |
O = 506 T = 284.45 (out)(err) |
O = 571 T = 1.21 (out)(err) |
O = 562 T = 0.10 (out)(err) |
O = 514 T = 83.77 (out)(err) |
file_rpms_wcnf_L2_V150_C2500_H150_2.wcnf | O = 423 T = 0.16 |
O = 423 T = 1.18 (out)(err) |
O = 423 T = 0.16 (out)(err) |
O = 423 T = 0.75 (out)(err) |
O = N/A T = TO (out)(err) |
O = 482 T = 284.55 (out)(err) |
O = 486 T = 0.26 (out)(err) |
O = 549 T = 0.07 (out)(err) |
O = 494 T = 207.07 (out)(err) |
file_rpms_wcnf_L2_V150_C2500_H150_3.wcnf | O = 442 T = 0.09 |
O = 442 T = 0.26 (out)(err) |
O = 442 T = 0.09 (out)(err) |
O = 442 T = 0.40 (out)(err) |
O = N/A T = TO (out)(err) |
O = 501 T = 284.74 (out)(err) |
O = 583 T = 1.35 (out)(err) |
O = 566 T = 0.10 (out)(err) |
O = 494 T = 24.98 (out)(err) |
file_rpms_wcnf_L2_V150_C2500_H150_4.wcnf | O = 447 T = 0.14 |
O = 447 T = 0.71 (out)(err) |
O = 447 T = 0.14 (out)(err) |
O = 447 T = 0.32 (out)(err) |
O = N/A T = TO (out)(err) |
O = 522 T = 284.43 (out)(err) |
O = 568 T = 1.23 (out)(err) |
O = 550 T = 0.04 (out)(err) |
O = 525 T = 2.36 (out)(err) |
file_rpms_wcnf_L2_V150_C2500_H150_5.wcnf | O = 433 T = 0.05 |
O = 433 T = 0.35 (out)(err) |
O = 433 T = 0.05 (out)(err) |
O = 433 T = 0.79 (out)(err) |
O = N/A T = TO (out)(err) |
O = 481 T = 284.55 (out)(err) |
O = 552 T = 1.20 (out)(err) |
O = 506 T = 0.13 (out)(err) |
O = 486 T = 59.78 (out)(err) |
file_rpms_wcnf_L2_V150_C2500_H150_6.wcnf | O = 461 T = 0.05 |
O = 461 T = 0.68 (out)(err) |
O = 461 T = 0.05 (out)(err) |
O = 461 T = 0.60 (out)(err) |
O = N/A T = TO (out)(err) |
O = 515 T = 284.51 (out)(err) |
O = 562 T = 1.25 (out)(err) |
O = 517 T = 0.10 (out)(err) |
O = 510 T = 103.01 (out)(err) |
file_rpms_wcnf_L2_V150_C2500_H150_7.wcnf | O = 434 T = 0.12 |
O = 434 T = 0.31 (out)(err) |
O = 434 T = 0.12 (out)(err) |
O = 434 T = 0.39 (out)(err) |
O = N/A T = TO (out)(err) |
O = 486 T = 284.66 (out)(err) |
O = 520 T = 1.34 (out)(err) |
O = 527 T = 0.13 (out)(err) |
O = 493 T = 74.90 (out)(err) |
file_rpms_wcnf_L2_V150_C2500_H150_8.wcnf | O = 456 T = 0.15 |
O = 456 T = 0.97 (out)(err) |
O = 456 T = 0.15 (out)(err) |
O = 456 T = 1.21 (out)(err) |
O = N/A T = TO (out)(err) |
O = 503 T = 284.35 (out)(err) |
O = 571 T = 0.23 (out)(err) |
O = 552 T = 0.05 (out)(err) |
O = 507 T = 129.53 (out)(err) |
file_rpms_wcnf_L2_V150_C2500_H150_9.wcnf | O = 470 T = 0.57 |
O = 473 T = 134.85 (out)(err) |
O = N/A T = TO (out)(err) |
O = 470 T = 0.57 (out)(err) |
O = N/A T = TO (out)(err) |
O = 501 T = 284.37 (out)(err) |
O = 554 T = 0.74 (out)(err) |
O = 560 T = 0.12 (out)(err) |
O = 523 T = 125.44 (out)(err) |
file_rpms_wcnf_L2_V150_C3000_H150_0.wcnf | O = 539 T = 0.06 |
O = 539 T = 0.57 (out)(err) |
O = 539 T = 0.06 (out)(err) |
O = 539 T = 0.45 (out)(err) |
O = N/A T = TO (out)(err) |
O = 605 T = 284.18 (out)(err) |
O = 646 T = 1.67 (out)(err) |
O = 689 T = 0.09 (out)(err) |
O = 610 T = 254.95 (out)(err) |
file_rpms_wcnf_L2_V150_C3000_H150_1.wcnf | O = 560 T = 0.44 |
O = 560 T = 0.48 (out)(err) |
O = 560 T = 0.44 (out)(err) |
O = 560 T = 0.67 (out)(err) |
O = N/A T = TO (out)(err) |
O = 622 T = 284.74 (out)(err) |
O = 697 T = 2.10 (out)(err) |
O = 673 T = 0.13 (out)(err) |
O = 617 T = 173.31 (out)(err) |
file_rpms_wcnf_L2_V150_C3000_H150_2.wcnf | O = 531 T = 0.05 |
O = 531 T = 1.33 (out)(err) |
O = 531 T = 0.05 (out)(err) |
O = 531 T = 0.42 (out)(err) |
O = N/A T = TO (out)(err) |
O = 605 T = 284.68 (out)(err) |
O = 650 T = 1.87 (out)(err) |
O = N/A T = TO (out)(err) |
O = 598 T = 88.49 (out)(err) |
file_rpms_wcnf_L2_V150_C3000_H150_3.wcnf | O = 555 T = 0.15 |
O = 555 T = 1.32 (out)(err) |
O = 555 T = 0.15 (out)(err) |
O = 555 T = 0.34 (out)(err) |
O = N/A T = TO (out)(err) |
O = 621 T = 284.60 (out)(err) |
O = 648 T = 2.04 (out)(err) |
O = 679 T = 0.04 (out)(err) |
O = 619 T = 11.12 (out)(err) |
file_rpms_wcnf_L2_V150_C3000_H150_4.wcnf | O = 556 T = 0.14 |
O = 556 T = 0.70 (out)(err) |
O = 556 T = 0.14 (out)(err) |
O = 556 T = 0.40 (out)(err) |
O = N/A T = TO (out)(err) |
O = 623 T = 284.51 (out)(err) |
O = 685 T = 0.56 (out)(err) |
O = 720 T = 0.06 (out)(err) |
O = 628 T = 24.84 (out)(err) |
file_rpms_wcnf_L2_V150_C3000_H150_5.wcnf | O = 538 T = 0.10 |
O = 538 T = 0.80 (out)(err) |
O = 538 T = 0.10 (out)(err) |
O = 538 T = 1.95 (out)(err) |
O = N/A T = TO (out)(err) |
O = 603 T = 284.68 (out)(err) |
O = 680 T = 2.09 (out)(err) |
O = 654 T = 0.07 (out)(err) |
O = 625 T = 17.44 (out)(err) |
file_rpms_wcnf_L2_V150_C3000_H150_6.wcnf | O = 537 T = 0.05 |
O = 537 T = 0.54 (out)(err) |
O = 537 T = 0.05 (out)(err) |
O = 537 T = 0.57 (out)(err) |
O = N/A T = TO (out)(err) |
O = 599 T = 284.62 (out)(err) |
O = 644 T = 1.94 (out)(err) |
O = N/A T = TO (out)(err) |
O = 602 T = 76.83 (out)(err) |
file_rpms_wcnf_L2_V150_C3000_H150_7.wcnf | O = 527 T = 0.11 |
O = 527 T = 0.65 (out)(err) |
O = 527 T = 0.11 (out)(err) |
O = 527 T = 0.43 (out)(err) |
O = N/A T = TO (out)(err) |
O = 599 T = 284.37 (out)(err) |
O = 674 T = 1.50 (out)(err) |
O = 657 T = 0.09 (out)(err) |
O = 610 T = 91.23 (out)(err) |
file_rpms_wcnf_L2_V150_C3000_H150_8.wcnf | O = 564 T = 0.89 |
O = 564 T = 0.89 (out)(err) |
O = 564 T = 4.80 (out)(err) |
O = 564 T = 1.03 (out)(err) |
O = N/A T = TO (out)(err) |
O = 613 T = 284.50 (out)(err) |
O = 665 T = 1.82 (out)(err) |
O = 673 T = 0.17 (out)(err) |
O = 623 T = 204.33 (out)(err) |
file_rpms_wcnf_L2_V150_C3000_H150_9.wcnf | O = 552 T = 0.63 |
O = 552 T = 2.34 (out)(err) |
O = 552 T = 8.35 (out)(err) |
O = 552 T = 0.63 (out)(err) |
O = N/A T = TO (out)(err) |
O = 617 T = 284.64 (out)(err) |
O = 699 T = 1.98 (out)(err) |
O = 661 T = 0.12 (out)(err) |
O = 618 T = 202.60 (out)(err) |
file_rpms_wcnf_L2_V150_C3500_H150_0.wcnf | O = 680 T = 0.11 |
O = 680 T = 0.86 (out)(err) |
O = 680 T = 0.11 (out)(err) |
O = 680 T = 0.93 (out)(err) |
O = N/A T = TO (out)(err) |
O = 758 T = 284.64 (out)(err) |
O = 821 T = 2.44 (out)(err) |
O = 832 T = 0.10 (out)(err) |
O = 762 T = 31.20 (out)(err) |
file_rpms_wcnf_L2_V150_C3500_H150_1.wcnf | O = 679 T = 0.58 |
O = 679 T = 0.58 (out)(err) |
O = 679 T = 2.08 (out)(err) |
O = 679 T = 0.65 (out)(err) |
O = N/A T = TO (out)(err) |
O = 732 T = 284.56 (out)(err) |
O = 809 T = 2.88 (out)(err) |
O = 751 T = 0.12 (out)(err) |
O = 739 T = 271.28 (out)(err) |
file_rpms_wcnf_L2_V150_C3500_H150_2.wcnf | O = 716 T = 0.54 |
O = 716 T = 91.17 (out)(err) |
O = 724 T = 263.61 (out)(err) |
O = 716 T = 0.54 (out)(err) |
O = N/A T = TO (out)(err) |
O = 773 T = 284.54 (out)(err) |
O = 835 T = 2.35 (out)(err) |
O = 795 T = 0.12 (out)(err) |
O = 786 T = 290.56 (out)(err) |
file_rpms_wcnf_L2_V150_C3500_H150_3.wcnf | O = 669 T = 0.39 |
O = 669 T = 0.85 (out)(err) |
O = 669 T = 0.39 (out)(err) |
O = 669 T = 0.98 (out)(err) |
O = N/A T = TO (out)(err) |
O = 742 T = 284.54 (out)(err) |
O = 813 T = 0.43 (out)(err) |
O = 781 T = 0.10 (out)(err) |
O = 747 T = 291.49 (out)(err) |
file_rpms_wcnf_L2_V150_C3500_H150_4.wcnf | O = 627 T = 0.05 |
O = 627 T = 1.46 (out)(err) |
O = 627 T = 0.05 (out)(err) |
O = 627 T = 0.63 (out)(err) |
O = N/A T = TO (out)(err) |
O = 689 T = 284.54 (out)(err) |
O = 823 T = 2.23 (out)(err) |
O = 737 T = 0.15 (out)(err) |
O = 727 T = 280.18 (out)(err) |
file_rpms_wcnf_L2_V150_C3500_H150_5.wcnf | O = 667 T = 0.38 |
O = 667 T = 1.36 (out)(err) |
O = 667 T = 0.77 (out)(err) |
O = 667 T = 0.38 (out)(err) |
O = N/A T = TO (out)(err) |
O = 742 T = 284.61 (out)(err) |
O = 788 T = 2.39 (out)(err) |
O = 827 T = 0.12 (out)(err) |
O = 749 T = 247.00 (out)(err) |
file_rpms_wcnf_L2_V150_C3500_H150_6.wcnf | O = 688 T = 0.50 |
O = 688 T = 33.01 (out)(err) |
O = 688 T = 16.47 (out)(err) |
O = 688 T = 0.50 (out)(err) |
O = N/A T = TO (out)(err) |
O = 731 T = 284.65 (out)(err) |
O = 846 T = 2.41 (out)(err) |
O = 837 T = 0.11 (out)(err) |
O = 758 T = 57.78 (out)(err) |
file_rpms_wcnf_L2_V150_C3500_H150_7.wcnf | O = 675 T = 0.05 |
O = 675 T = 0.59 (out)(err) |
O = 675 T = 0.05 (out)(err) |
O = 675 T = 0.43 (out)(err) |
O = N/A T = TO (out)(err) |
O = 740 T = 284.57 (out)(err) |
O = 827 T = 2.56 (out)(err) |
O = 837 T = 0.10 (out)(err) |
O = 745 T = 208.10 (out)(err) |
file_rpms_wcnf_L2_V150_C3500_H150_8.wcnf | O = 675 T = 0.22 |
O = 675 T = 0.54 (out)(err) |
O = 675 T = 1.70 (out)(err) |
O = 675 T = 0.22 (out)(err) |
O = N/A T = TO (out)(err) |
O = 748 T = 284.59 (out)(err) |
O = 776 T = 2.58 (out)(err) |
O = N/A T = TO (out)(err) |
O = 751 T = 58.48 (out)(err) |
file_rpms_wcnf_L2_V150_C3500_H150_9.wcnf | O = 638 T = 0.09 |
O = 638 T = 0.75 (out)(err) |
O = 638 T = 0.09 (out)(err) |
O = 638 T = 0.45 (out)(err) |
O = N/A T = TO (out)(err) |
O = 720 T = 284.73 (out)(err) |
O = 793 T = 2.54 (out)(err) |
O = 815 T = 0.13 (out)(err) |
O = 740 T = 48.05 (out)(err) |
file_rpms_wcnf_L3_V100_C600_H100_0.wcnf | O = 8 T = 0.11 |
O = 8 T = 0.84 (out)(err) |
O = 8 T = 0.11 (out)(err) |
O = 8 T = 1.07 (out)(err) |
O = N/A T = TO (out)(err) |
O = 17 T = 284.70 (out)(err) |
O = 14 T = 0.07 (out)(err) |
O = 42 T = 0.17 (out)(err) |
O = 26 T = 42.36 (out)(err) |
file_rpms_wcnf_L3_V100_C600_H100_1.wcnf | O = 8 T = 0.10 |
O = 8 T = 0.89 (out)(err) |
O = 8 T = 0.10 (out)(err) |
O = 8 T = 0.90 (out)(err) |
O = N/A T = TO (out)(err) |
O = 17 T = 284.62 (out)(err) |
O = 15 T = 0.07 (out)(err) |
O = 54 T = 0.14 (out)(err) |
O = 22 T = 1.05 (out)(err) |
file_rpms_wcnf_L3_V100_C600_H100_2.wcnf | O = 8 T = 0.04 |
O = 8 T = 1.04 (out)(err) |
O = 8 T = 0.04 (out)(err) |
O = 8 T = 1.15 (out)(err) |
O = N/A T = TO (out)(err) |
O = 20 T = 284.65 (out)(err) |
O = 26 T = 0.07 (out)(err) |
O = 33 T = 0.05 (out)(err) |
O = 23 T = 0.91 (out)(err) |
file_rpms_wcnf_L3_V100_C600_H100_3.wcnf | O = 9 T = 0.10 |
O = 9 T = 0.86 (out)(err) |
O = 9 T = 0.10 (out)(err) |
O = 9 T = 1.09 (out)(err) |
O = N/A T = TO (out)(err) |
O = 20 T = 284.71 (out)(err) |
O = 19 T = 0.08 (out)(err) |
O = 34 T = 0.21 (out)(err) |
O = 27 T = 10.83 (out)(err) |
file_rpms_wcnf_L3_V100_C600_H100_4.wcnf | O = 7 T = 0.03 |
O = 7 T = 1.23 (out)(err) |
O = 7 T = 0.03 (out)(err) |
O = 7 T = 0.85 (out)(err) |
O = N/A T = TO (out)(err) |
O = 20 T = 284.63 (out)(err) |
O = 9 T = 0.08 (out)(err) |
O = 33 T = 0.23 (out)(err) |
O = 25 T = 1.10 (out)(err) |
file_rpms_wcnf_L3_V100_C600_H100_5.wcnf | O = 8 T = 0.10 |
O = 8 T = 1.17 (out)(err) |
O = 8 T = 0.10 (out)(err) |
O = 8 T = 1.42 (out)(err) |
O = N/A T = TO (out)(err) |
O = 14 T = 284.63 (out)(err) |
O = 13 T = 0.08 (out)(err) |
O = 35 T = 0.23 (out)(err) |
O = 22 T = 186.74 (out)(err) |
file_rpms_wcnf_L3_V100_C600_H100_6.wcnf | O = 7 T = 0.08 |
O = 7 T = 0.94 (out)(err) |
O = 7 T = 0.08 (out)(err) |
O = 7 T = 1.33 (out)(err) |
O = N/A T = TO (out)(err) |
O = 17 T = 284.76 (out)(err) |
O = 15 T = 0.08 (out)(err) |
O = 33 T = 0.20 (out)(err) |
O = 22 T = 43.46 (out)(err) |
file_rpms_wcnf_L3_V100_C600_H100_7.wcnf | O = 8 T = 0.13 |
O = 8 T = 0.92 (out)(err) |
O = 8 T = 0.13 (out)(err) |
O = 8 T = 1.18 (out)(err) |
O = N/A T = TO (out)(err) |
O = 14 T = 284.73 (out)(err) |
O = 12 T = 0.09 (out)(err) |
O = 38 T = 0.21 (out)(err) |
O = 15 T = 1.46 (out)(err) |
file_rpms_wcnf_L3_V100_C600_H100_8.wcnf | O = 5 T = 0.04 |
O = 5 T = 0.87 (out)(err) |
O = 5 T = 0.04 (out)(err) |
O = 5 T = 0.73 (out)(err) |
O = N/A T = TO (out)(err) |
O = 14 T = 284.72 (out)(err) |
O = 8 T = 0.09 (out)(err) |
O = 54 T = 0.08 (out)(err) |
O = 23 T = 2.80 (out)(err) |
file_rpms_wcnf_L3_V100_C600_H100_9.wcnf | O = 9 T = 0.09 |
O = 9 T = 0.99 (out)(err) |
O = 9 T = 0.09 (out)(err) |
O = 9 T = 0.83 (out)(err) |
O = N/A T = TO (out)(err) |
O = 16 T = 284.72 (out)(err) |
O = 19 T = 0.09 (out)(err) |
O = 36 T = 0.10 (out)(err) |
O = 25 T = 63.48 (out)(err) |
file_rpms_wcnf_L3_V100_C700_H100_0.wcnf | O = 18 T = 0.05 |
O = 18 T = 1.25 (out)(err) |
O = 18 T = 0.05 (out)(err) |
O = 18 T = 0.53 (out)(err) |
O = N/A T = TO (out)(err) |
O = 29 T = 284.53 (out)(err) |
O = 35 T = 0.07 (out)(err) |
O = 57 T = 0.14 (out)(err) |
O = 47 T = 0.92 (out)(err) |
file_rpms_wcnf_L3_V100_C700_H100_1.wcnf | O = 14 T = 0.06 |
O = 14 T = 1.33 (out)(err) |
O = 14 T = 0.06 (out)(err) |
O = 14 T = 1.08 (out)(err) |
O = N/A T = TO (out)(err) |
O = 29 T = 284.74 (out)(err) |
O = 28 T = 0.08 (out)(err) |
O = 52 T = 0.15 (out)(err) |
O = 41 T = 0.80 (out)(err) |
file_rpms_wcnf_L3_V100_C700_H100_2.wcnf | O = 15 T = 0.11 |
O = 15 T = 1.07 (out)(err) |
O = 15 T = 0.11 (out)(err) |
O = 15 T = 1.12 (out)(err) |
O = N/A T = TO (out)(err) |
O = 32 T = 284.72 (out)(err) |
O = 29 T = 0.07 (out)(err) |
O = 58 T = 0.12 (out)(err) |
O = 35 T = 11.30 (out)(err) |
file_rpms_wcnf_L3_V100_C700_H100_3.wcnf | O = 12 T = 0.06 |
O = 12 T = 1.03 (out)(err) |
O = 12 T = 0.06 (out)(err) |
O = 12 T = 1.72 (out)(err) |
O = N/A T = TO (out)(err) |
O = 23 T = 284.69 (out)(err) |
O = 31 T = 0.07 (out)(err) |
O = 43 T = 0.14 (out)(err) |
O = 42 T = 0.46 (out)(err) |
file_rpms_wcnf_L3_V100_C700_H100_4.wcnf | O = 11 T = 0.03 |
O = 11 T = 0.84 (out)(err) |
O = 11 T = 0.03 (out)(err) |
O = 11 T = 1.19 (out)(err) |
O = N/A T = TO (out)(err) |
O = 26 T = 284.62 (out)(err) |
O = 24 T = 0.07 (out)(err) |
O = 55 T = 0.23 (out)(err) |
O = 32 T = 0.70 (out)(err) |
file_rpms_wcnf_L3_V100_C700_H100_5.wcnf | O = 14 T = 0.29 |
O = 14 T = 1.01 (out)(err) |
O = 14 T = 0.29 (out)(err) |
O = 14 T = 0.96 (out)(err) |
O = N/A T = TO (out)(err) |
O = 34 T = 284.59 (out)(err) |
O = 28 T = 0.08 (out)(err) |
O = 57 T = 0.22 (out)(err) |
O = 36 T = 220.78 (out)(err) |
file_rpms_wcnf_L3_V100_C700_H100_6.wcnf | O = 12 T = 0.05 |
O = 12 T = 1.03 (out)(err) |
O = 12 T = 0.05 (out)(err) |
O = 12 T = 0.67 (out)(err) |
O = N/A T = TO (out)(err) |
O = 26 T = 284.60 (out)(err) |
O = 27 T = 0.07 (out)(err) |
O = 44 T = 0.15 (out)(err) |
O = 44 T = 0.08 (out)(err) |
file_rpms_wcnf_L3_V100_C700_H100_7.wcnf | O = 17 T = 0.09 |
O = 17 T = 1.04 (out)(err) |
O = 17 T = 0.09 (out)(err) |
O = 17 T = 0.86 (out)(err) |
O = N/A T = TO (out)(err) |
O = 26 T = 284.67 (out)(err) |
O = 35 T = 0.08 (out)(err) |
O = 54 T = 0.10 (out)(err) |
O = 36 T = 10.00 (out)(err) |
file_rpms_wcnf_L3_V100_C700_H100_8.wcnf | O = 16 T = 0.10 |
O = 16 T = 0.95 (out)(err) |
O = 16 T = 0.10 (out)(err) |
O = 16 T = 0.48 (out)(err) |
O = N/A T = TO (out)(err) |
O = 30 T = 284.42 (out)(err) |
O = 33 T = 0.07 (out)(err) |
O = 56 T = 0.11 (out)(err) |
O = 35 T = 1.14 (out)(err) |
file_rpms_wcnf_L3_V100_C700_H100_9.wcnf | O = 12 T = 0.05 |
O = 12 T = 0.96 (out)(err) |
O = 12 T = 0.05 (out)(err) |
O = 12 T = 1.09 (out)(err) |
O = N/A T = TO (out)(err) |
O = 23 T = 284.73 (out)(err) |
O = 47 T = 0.07 (out)(err) |
O = 41 T = 0.08 (out)(err) |
O = 30 T = 0.81 (out)(err) |
file_rpms_wcnf_L3_V100_C800_H100_0.wcnf | O = 21 T = 0.12 |
O = 21 T = 0.85 (out)(err) |
O = 21 T = 0.12 (out)(err) |
O = 21 T = 1.09 (out)(err) |
O = N/A T = TO (out)(err) |
O = 30 T = 284.67 (out)(err) |
O = 43 T = 0.10 (out)(err) |
O = 66 T = 0.13 (out)(err) |
O = 47 T = 1.11 (out)(err) |
file_rpms_wcnf_L3_V100_C800_H100_1.wcnf | O = 21 T = 0.09 |
O = 21 T = 1.30 (out)(err) |
O = 21 T = 0.09 (out)(err) |
O = 21 T = 0.54 (out)(err) |
O = N/A T = TO (out)(err) |
O = 37 T = 284.67 (out)(err) |
O = 49 T = 0.08 (out)(err) |
O = 78 T = 0.12 (out)(err) |
O = 48 T = 0.82 (out)(err) |
file_rpms_wcnf_L3_V100_C800_H100_2.wcnf | O = 20 T = 0.20 |
O = 20 T = 0.96 (out)(err) |
O = 20 T = 0.20 (out)(err) |
O = 20 T = 0.75 (out)(err) |
O = N/A T = TO (out)(err) |
O = 39 T = 284.72 (out)(err) |
O = 35 T = 0.10 (out)(err) |
O = 64 T = 0.17 (out)(err) |
O = 42 T = 3.81 (out)(err) |
file_rpms_wcnf_L3_V100_C800_H100_3.wcnf | O = 22 T = 0.05 |
O = 22 T = 1.02 (out)(err) |
O = 22 T = 0.05 (out)(err) |
O = 22 T = 0.61 (out)(err) |
O = N/A T = TO (out)(err) |
O = 35 T = 284.26 (out)(err) |
O = 40 T = 0.10 (out)(err) |
O = 69 T = 0.09 (out)(err) |
O = 46 T = 0.79 (out)(err) |
file_rpms_wcnf_L3_V100_C800_H100_4.wcnf | O = 18 T = 0.09 |
O = 18 T = 1.48 (out)(err) |
O = 18 T = 0.09 (out)(err) |
O = 18 T = 1.05 (out)(err) |
O = N/A T = TO (out)(err) |
O = 38 T = 284.41 (out)(err) |
O = 42 T = 0.09 (out)(err) |
O = 59 T = 0.15 (out)(err) |
O = 44 T = 2.02 (out)(err) |
file_rpms_wcnf_L3_V100_C800_H100_5.wcnf | O = 20 T = 0.02 |
O = 20 T = 1.46 (out)(err) |
O = 20 T = 0.02 (out)(err) |
O = 20 T = 1.04 (out)(err) |
O = N/A T = TO (out)(err) |
O = 34 T = 284.29 (out)(err) |
O = 40 T = 0.07 (out)(err) |
O = 66 T = 0.22 (out)(err) |
O = 44 T = 9.12 (out)(err) |
file_rpms_wcnf_L3_V100_C800_H100_6.wcnf | O = 17 T = 0.13 |
O = 17 T = 0.93 (out)(err) |
O = 17 T = 0.13 (out)(err) |
O = 17 T = 1.95 (out)(err) |
O = N/A T = TO (out)(err) |
O = 41 T = 284.60 (out)(err) |
O = 29 T = 0.09 (out)(err) |
O = 62 T = 0.08 (out)(err) |
O = 47 T = 38.99 (out)(err) |
file_rpms_wcnf_L3_V100_C800_H100_7.wcnf | O = 23 T = 0.11 |
O = 23 T = 0.91 (out)(err) |
O = 23 T = 0.11 (out)(err) |
O = 23 T = 1.37 (out)(err) |
O = N/A T = TO (out)(err) |
O = 41 T = 284.54 (out)(err) |
O = 42 T = 0.09 (out)(err) |
O = 76 T = 0.09 (out)(err) |
O = 48 T = 43.52 (out)(err) |
file_rpms_wcnf_L3_V100_C800_H100_8.wcnf | O = 25 T = 0.07 |
O = 25 T = 1.16 (out)(err) |
O = 25 T = 0.07 (out)(err) |
O = 25 T = 1.26 (out)(err) |
O = N/A T = TO (out)(err) |
O = 41 T = 284.20 (out)(err) |
O = 60 T = 0.10 (out)(err) |
O = 66 T = 0.07 (out)(err) |
O = 48 T = 1.18 (out)(err) |
file_rpms_wcnf_L3_V100_C800_H100_9.wcnf | O = 20 T = 0.12 |
O = 20 T = 1.33 (out)(err) |
O = 20 T = 0.12 (out)(err) |
O = 20 T = 1.00 (out)(err) |
O = N/A T = TO (out)(err) |
O = 39 T = 284.49 (out)(err) |
O = 41 T = 0.10 (out)(err) |
O = 41 T = 0.20 (out)(err) |
O = 39 T = 0.26 (out)(err) |