| 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 | CCEHC | CCLS | CnC-LS | HS-Greedy | Naps-1.02-ms | Optiriss6-in | Ramp | SC2016 | SsMonteCarlo | Swcca-ms | WPM3-2015-in | dsat-wpm3-in-ms | dsat-wpm3-s-in-ms |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| maxcut-140-630-0.7-1.cnf | O = 160 T = 1.88 |
O = 160 T = 2.84 |
O = 160 T = 2.43 |
O = 160 T = 1.88 |
O = 160 T = 2.27 |
O = N/A T = TO |
O = 630 T = 0.73 |
O = 160 T = 2.45 |
O = 160 T = 2.19 |
O = 160 T = 3.75 |
O = 160 T = 2.51 |
O = 235 T = 0.23 |
O = 160 T = 6.56 |
O = 160 T = 16.09 |
| maxcut-140-630-0.7-10.cnf | O = 167 T = 2.31 |
O = 167 T = 2.36 |
O = 167 T = 2.47 |
O = 167 T = 2.39 |
O = 179 T = 2.29 |
O = N/A T = TO |
O = 630 T = 0.87 |
O = 167 T = 2.93 |
O = 167 T = 2.31 |
O = 167 T = 3.75 |
O = 167 T = 2.86 |
O = 245 T = 0.10 |
O = 167 T = 6.28 |
O = 167 T = 15.12 |
| maxcut-140-630-0.7-11.cnf | O = 170 T = 2.35 |
O = 170 T = 2.36 |
O = 170 T = 2.35 |
O = 170 T = 2.40 |
O = 179 T = 1.96 |
O = N/A T = TO |
O = 630 T = 0.48 |
O = 170 T = 3.17 |
O = 170 T = 2.86 |
O = 170 T = 3.52 |
O = 170 T = 2.64 |
O = 265 T = 0.18 |
O = 170 T = 6.68 |
O = 170 T = 15.30 |
| maxcut-140-630-0.7-12.cnf | O = 167 T = 2.05 |
O = 167 T = 2.82 |
O = 167 T = 2.79 |
O = 167 T = 2.23 |
O = 177 T = 2.36 |
O = N/A T = TO |
O = N/A T = TO |
O = 167 T = 2.06 |
O = 167 T = 2.05 |
O = 167 T = 3.59 |
O = 167 T = 2.29 |
O = 250 T = 0.11 |
O = 167 T = 6.83 |
O = 167 T = 15.50 |
| maxcut-140-630-0.7-13.cnf | O = 169 T = 1.85 |
O = 169 T = 2.62 |
O = 169 T = 2.70 |
O = 169 T = 1.85 |
O = 173 T = 3.03 |
O = N/A T = TO |
O = 630 T = 0.73 |
O = 169 T = 3.34 |
O = 169 T = 2.03 |
O = 169 T = 2.48 |
O = 169 T = 3.05 |
O = 235 T = 0.11 |
O = 169 T = 6.78 |
O = 169 T = 15.87 |
| maxcut-140-630-0.7-14.cnf | O = 166 T = 2.02 |
O = 166 T = 2.04 |
O = 166 T = 2.33 |
O = 166 T = 2.60 |
O = 170 T = 2.45 |
O = N/A T = TO |
O = 630 T = 0.70 |
O = 166 T = 2.02 |
O = 166 T = 2.04 |
O = 166 T = 2.33 |
O = 166 T = 2.09 |
O = 243 T = 0.23 |
O = 166 T = 6.33 |
O = 166 T = 22.41 |
| maxcut-140-630-0.7-15.cnf | O = 169 T = 2.39 |
O = 169 T = 2.59 |
O = 169 T = 2.66 |
O = 169 T = 2.62 |
O = 176 T = 2.04 |
O = N/A T = TO |
O = 630 T = 0.86 |
O = 169 T = 2.49 |
O = 169 T = 2.44 |
O = 169 T = 2.46 |
O = 169 T = 2.39 |
O = 255 T = 0.09 |
O = 169 T = 6.54 |
O = 169 T = 15.26 |
| maxcut-140-630-0.7-16.cnf | O = 167 T = 2.41 |
O = 167 T = 2.57 |
O = 167 T = 2.76 |
O = 167 T = 2.41 |
O = 168 T = 2.48 |
O = N/A T = TO |
O = 630 T = 0.75 |
O = 167 T = 5.89 |
O = 167 T = 2.58 |
O = 167 T = 3.25 |
O = 167 T = 3.05 |
O = 234 T = 0.13 |
O = 167 T = 6.34 |
O = 167 T = 15.46 |
| maxcut-140-630-0.7-17.cnf | O = 166 T = 2.03 |
O = 166 T = 3.26 |
O = 166 T = 3.15 |
O = 166 T = 2.03 |
O = 178 T = 2.33 |
O = N/A T = TO |
O = 630 T = 1.01 |
O = 166 T = 2.42 |
O = 166 T = 2.52 |
O = 166 T = 2.58 |
O = 166 T = 2.97 |
O = 253 T = 0.12 |
O = 166 T = 6.65 |
O = 166 T = 19.98 |
| maxcut-140-630-0.7-18.cnf | O = 166 T = 2.18 |
O = 166 T = 3.05 |
O = 166 T = 2.69 |
O = 166 T = 2.46 |
O = 168 T = 2.34 |
O = N/A T = TO |
O = 630 T = 0.80 |
O = 166 T = 3.09 |
O = 166 T = 2.18 |
O = 166 T = 2.73 |
O = 166 T = 2.34 |
O = 236 T = 0.15 |
O = 166 T = 7.04 |
O = 166 T = 15.67 |
| maxcut-140-630-0.7-19.cnf | O = 167 T = 2.03 |
O = 167 T = 3.73 |
O = 167 T = 2.55 |
O = 167 T = 2.81 |
O = 171 T = 3.27 |
O = N/A T = TO |
O = 630 T = 0.47 |
O = 167 T = 2.69 |
O = 167 T = 2.12 |
O = 167 T = 2.73 |
O = 167 T = 2.03 |
O = 250 T = 0.21 |
O = 167 T = 7.04 |
O = 167 T = 36.34 |
| maxcut-140-630-0.7-2.cnf | O = 160 T = 2.19 |
O = 160 T = 2.85 |
O = 160 T = 2.47 |
O = 160 T = 2.19 |
O = 174 T = 2.56 |
O = N/A T = TO |
O = 630 T = 0.77 |
O = 160 T = 2.63 |
O = 160 T = 2.36 |
O = 160 T = 2.84 |
O = 160 T = 2.49 |
O = 231 T = 0.23 |
O = 160 T = 6.42 |
O = 160 T = 15.88 |
| maxcut-140-630-0.7-20.cnf | O = 168 T = 1.52 |
O = 168 T = 3.73 |
O = 168 T = 1.52 |
O = 168 T = 2.54 |
O = 172 T = 2.59 |
O = N/A T = TO |
O = 630 T = 1.15 |
O = 168 T = 2.36 |
O = 168 T = 2.55 |
O = 168 T = 2.51 |
O = 168 T = 2.56 |
O = 239 T = 0.12 |
O = 168 T = 6.51 |
O = 168 T = 15.86 |
| maxcut-140-630-0.7-21.cnf | O = 165 T = 1.31 |
O = 165 T = 2.80 |
O = 165 T = 1.31 |
O = 165 T = 2.54 |
O = 165 T = 2.58 |
O = N/A T = TO |
O = 630 T = 0.87 |
O = 165 T = 3.53 |
O = 165 T = 2.45 |
O = 165 T = 3.17 |
O = 165 T = 3.07 |
O = 246 T = 0.22 |
O = 165 T = 6.53 |
O = 165 T = 15.82 |
| maxcut-140-630-0.7-22.cnf | O = 164 T = 2.28 |
O = 164 T = 2.93 |
O = 164 T = 2.95 |
O = 164 T = 2.56 |
O = 165 T = 1.88 |
O = N/A T = TO |
O = 630 T = 0.52 |
O = 164 T = 2.89 |
O = 164 T = 2.28 |
O = 164 T = 3.53 |
O = 164 T = 2.84 |
O = 252 T = 0.17 |
O = 164 T = 7.04 |
O = 164 T = 16.39 |
| maxcut-140-630-0.7-23.cnf | O = 165 T = 2.30 |
O = 165 T = 2.51 |
O = 165 T = 2.59 |
O = 165 T = 2.30 |
O = 180 T = 2.31 |
O = N/A T = TO |
O = 630 T = 0.73 |
O = 165 T = 3.37 |
O = 165 T = 2.53 |
O = 165 T = 2.51 |
O = 165 T = 2.83 |
O = 232 T = 0.16 |
O = 165 T = 6.90 |
O = 165 T = 15.79 |
| maxcut-140-630-0.7-24.cnf | O = 166 T = 1.88 |
O = 166 T = 3.13 |
O = 166 T = 2.42 |
O = 166 T = 2.97 |
O = 172 T = 2.24 |
O = N/A T = TO |
O = 630 T = 0.83 |
O = 166 T = 1.88 |
O = 166 T = 2.66 |
O = 166 T = 3.20 |
O = 166 T = 3.09 |
O = 258 T = 0.16 |
O = 166 T = 6.33 |
O = 166 T = 16.14 |
| maxcut-140-630-0.7-25.cnf | O = 167 T = 1.71 |
O = 167 T = 2.57 |
O = 167 T = 2.62 |
O = 167 T = 1.71 |
O = 175 T = 2.05 |
O = N/A T = TO |
O = 630 T = 0.96 |
O = 167 T = 4.47 |
O = 167 T = 1.89 |
O = 167 T = 2.99 |
O = 167 T = 2.17 |
O = 224 T = 0.21 |
O = 167 T = 6.34 |
O = 167 T = 35.85 |
| maxcut-140-630-0.7-26.cnf | O = 166 T = 2.27 |
O = 166 T = 3.60 |
O = 166 T = 2.65 |
O = 166 T = 2.33 |
O = 169 T = 2.36 |
O = N/A T = TO |
O = 630 T = 0.95 |
O = 166 T = 3.12 |
O = 166 T = 2.27 |
O = 166 T = 3.05 |
O = 166 T = 2.57 |
O = 234 T = 0.19 |
O = 166 T = 6.15 |
O = 166 T = 15.48 |
| maxcut-140-630-0.7-27.cnf | O = 165 T = 2.01 |
O = 165 T = 3.23 |
O = 165 T = 2.01 |
O = 165 T = 2.58 |
O = 170 T = 3.18 |
O = N/A T = TO |
O = 630 T = 0.53 |
O = 165 T = 2.87 |
O = 165 T = 2.49 |
O = 165 T = 2.37 |
O = 165 T = 2.38 |
O = 253 T = 0.16 |
O = 165 T = 6.92 |
O = 165 T = 15.19 |
| maxcut-140-630-0.7-28.cnf | O = 167 T = 1.98 |
O = 167 T = 3.53 |
O = 167 T = 2.66 |
O = 167 T = 2.40 |
O = 175 T = 2.08 |
O = N/A T = TO |
O = 630 T = 0.73 |
O = 167 T = 2.07 |
O = 167 T = 1.98 |
O = 167 T = 3.16 |
O = 167 T = 2.74 |
O = 253 T = 0.11 |
O = 167 T = 6.53 |
O = 167 T = 15.39 |
| maxcut-140-630-0.7-29.cnf | O = 166 T = 2.13 |
O = 166 T = 2.95 |
O = 166 T = 2.74 |
O = 166 T = 2.29 |
O = 168 T = 2.89 |
O = N/A T = TO |
O = 630 T = 0.80 |
O = 166 T = 2.90 |
O = 166 T = 2.13 |
O = 166 T = 3.01 |
O = 166 T = 2.84 |
O = 234 T = 0.25 |
O = 166 T = 7.11 |
O = 166 T = 19.69 |
| maxcut-140-630-0.7-3.cnf | O = 168 T = 1.98 |
O = 168 T = 3.86 |
O = 168 T = 2.61 |
O = 168 T = 2.30 |
O = 168 T = 2.46 |
O = N/A T = TO |
O = 630 T = 0.82 |
O = 168 T = 1.98 |
O = 168 T = 2.13 |
O = 168 T = 3.32 |
O = 168 T = 3.08 |
O = 266 T = 0.20 |
O = 168 T = 6.84 |
O = 168 T = 15.40 |
| maxcut-140-630-0.7-30.cnf | O = 167 T = 1.80 |
O = 167 T = 3.23 |
O = 167 T = 1.80 |
O = 167 T = 2.08 |
O = 167 T = 2.33 |
O = N/A T = TO |
O = 630 T = 0.64 |
O = 167 T = 2.40 |
O = 167 T = 2.31 |
O = 167 T = 2.87 |
O = 167 T = 3.00 |
O = 247 T = 0.25 |
O = 167 T = 6.62 |
O = 167 T = 15.34 |
| maxcut-140-630-0.7-31.cnf | O = 170 T = 1.73 |
O = 170 T = 2.82 |
O = 170 T = 2.49 |
O = 170 T = 1.73 |
O = 173 T = 2.71 |
O = N/A T = TO |
O = 630 T = 0.93 |
O = 170 T = 2.31 |
O = 170 T = 2.18 |
O = 170 T = 3.35 |
O = 170 T = 1.79 |
O = 263 T = 0.23 |
O = 170 T = 6.88 |
O = 170 T = 19.54 |
| maxcut-140-630-0.7-32.cnf | O = 164 T = 2.02 |
O = 164 T = 3.25 |
O = 164 T = 2.81 |
O = 164 T = 2.54 |
O = 179 T = 2.30 |
O = N/A T = TO |
O = 630 T = 0.95 |
O = 164 T = 2.69 |
O = 164 T = 2.02 |
O = 164 T = 2.48 |
O = 164 T = 3.05 |
O = 228 T = 0.18 |
O = 164 T = 6.96 |
O = 164 T = 15.95 |
| maxcut-140-630-0.7-33.cnf | O = 165 T = 1.69 |
O = 165 T = 4.02 |
O = 165 T = 2.86 |
O = 165 T = 2.57 |
O = 176 T = 2.18 |
O = N/A T = TO |
O = 630 T = 0.76 |
O = 165 T = 2.55 |
O = 165 T = 1.69 |
O = 165 T = 3.01 |
O = 165 T = 3.43 |
O = 253 T = 0.10 |
O = 165 T = 7.34 |
O = 165 T = 15.96 |
| maxcut-140-630-0.7-34.cnf | O = 168 T = 1.35 |
O = 168 T = 3.05 |
O = 168 T = 2.40 |
O = 168 T = 2.07 |
O = 175 T = 2.46 |
O = N/A T = TO |
O = 630 T = 0.94 |
O = 168 T = 2.63 |
O = 168 T = 2.51 |
O = 168 T = 3.31 |
O = 168 T = 1.35 |
O = 262 T = 0.07 |
O = 168 T = 7.04 |
O = 168 T = 16.15 |
| maxcut-140-630-0.7-35.cnf | O = 164 T = 2.28 |
O = 164 T = 3.46 |
O = 164 T = 2.58 |
O = 164 T = 2.28 |
O = 173 T = 2.72 |
O = N/A T = TO |
O = 630 T = 0.80 |
O = 164 T = 2.47 |
O = 164 T = 2.46 |
O = 164 T = 2.68 |
O = 164 T = 2.54 |
O = 229 T = 0.11 |
O = 164 T = 6.56 |
O = 164 T = 15.31 |
| maxcut-140-630-0.7-36.cnf | O = 167 T = 1.85 |
O = 167 T = 3.33 |
O = 167 T = 2.00 |
O = 167 T = 2.22 |
O = 180 T = 2.40 |
O = N/A T = TO |
O = 630 T = 0.73 |
O = 167 T = 2.83 |
O = 167 T = 2.31 |
O = 167 T = 2.70 |
O = 167 T = 1.85 |
O = 233 T = 0.24 |
O = 167 T = 6.62 |
O = 167 T = 15.20 |
| maxcut-140-630-0.7-37.cnf | O = 170 T = 1.64 |
O = 170 T = 3.08 |
O = 170 T = 2.83 |
O = 170 T = 2.46 |
O = 175 T = 2.68 |
O = N/A T = TO |
O = 630 T = 0.78 |
O = 170 T = 2.13 |
O = 170 T = 1.64 |
O = 170 T = 2.98 |
O = 170 T = 1.97 |
O = 246 T = 0.23 |
O = 170 T = 7.05 |
O = 170 T = 15.33 |
| maxcut-140-630-0.7-38.cnf | O = 167 T = 2.04 |
O = 167 T = 2.49 |
O = 167 T = 2.31 |
O = 167 T = 2.83 |
O = 167 T = 2.57 |
O = N/A T = TO |
O = 630 T = 0.44 |
O = 167 T = 2.77 |
O = 167 T = 2.12 |
O = 167 T = 2.89 |
O = 167 T = 2.04 |
O = 255 T = 0.13 |
O = 167 T = 6.52 |
O = 167 T = 15.31 |
| maxcut-140-630-0.7-39.cnf | O = 163 T = 2.07 |
O = 163 T = 3.40 |
O = 163 T = 2.07 |
O = 163 T = 2.52 |
O = 170 T = 2.29 |
O = N/A T = TO |
O = 630 T = 0.83 |
O = 163 T = 3.29 |
O = 163 T = 2.07 |
O = 163 T = 3.24 |
O = 163 T = 2.99 |
O = 261 T = 0.21 |
O = 163 T = 6.96 |
O = 163 T = 15.52 |
| maxcut-140-630-0.7-4.cnf | O = 167 T = 2.00 |
O = 167 T = 2.06 |
O = 167 T = 2.13 |
O = 167 T = 2.09 |
O = 169 T = 2.24 |
O = N/A T = TO |
O = 630 T = 0.79 |
O = 167 T = 2.56 |
O = 167 T = 2.00 |
O = 167 T = 2.40 |
O = 167 T = 2.40 |
O = 257 T = 0.17 |
O = 167 T = 6.36 |
O = 167 T = 15.65 |
| maxcut-140-630-0.7-40.cnf | O = 167 T = 1.70 |
O = 167 T = 3.07 |
O = 167 T = 3.01 |
O = 167 T = 3.04 |
O = 181 T = 2.43 |
O = N/A T = TO |
O = 630 T = 0.89 |
O = 167 T = 2.28 |
O = 167 T = 3.38 |
O = 167 T = 2.87 |
O = 167 T = 1.70 |
O = 267 T = 0.15 |
O = 167 T = 6.47 |
O = 167 T = 19.33 |
| maxcut-140-630-0.7-41.cnf | O = 161 T = 2.22 |
O = 161 T = 3.98 |
O = 161 T = 2.62 |
O = 161 T = 2.30 |
O = 174 T = 2.66 |
O = N/A T = TO |
O = 630 T = 1.02 |
O = 161 T = 3.19 |
O = 161 T = 2.22 |
O = 161 T = 4.11 |
O = 161 T = 2.55 |
O = 242 T = 0.17 |
O = 161 T = 6.33 |
O = 161 T = 15.72 |
| maxcut-140-630-0.7-42.cnf | O = 161 T = 1.95 |
O = 161 T = 3.20 |
O = 161 T = 2.44 |
O = 161 T = 1.95 |
O = 170 T = 2.20 |
O = N/A T = TO |
O = 630 T = 0.87 |
O = 161 T = 2.79 |
O = 161 T = 2.00 |
O = 161 T = 2.56 |
O = 161 T = 2.21 |
O = 240 T = 0.24 |
O = 161 T = 6.00 |
O = 161 T = 15.90 |
| maxcut-140-630-0.7-43.cnf | O = 164 T = 2.15 |
O = 164 T = 3.21 |
O = 164 T = 2.91 |
O = 164 T = 2.65 |
O = 172 T = 2.38 |
O = N/A T = TO |
O = 630 T = 0.65 |
O = 164 T = 2.48 |
O = 164 T = 2.15 |
O = 164 T = 2.92 |
O = 164 T = 2.57 |
O = 261 T = 0.21 |
O = 164 T = 6.23 |
O = 164 T = 15.74 |
| maxcut-140-630-0.7-44.cnf | O = 163 T = 2.03 |
O = 163 T = 2.10 |
O = 163 T = 2.76 |
O = 163 T = 2.44 |
O = 167 T = 2.53 |
O = N/A T = TO |
O = 630 T = 0.68 |
O = 163 T = 3.46 |
O = 163 T = 2.03 |
O = 163 T = 2.99 |
O = 163 T = 2.80 |
O = 257 T = 0.17 |
O = 163 T = 5.96 |
O = 163 T = 19.61 |
| maxcut-140-630-0.7-45.cnf | O = 168 T = 1.34 |
O = 168 T = 3.04 |
O = 168 T = 2.39 |
O = 168 T = 1.85 |
O = 170 T = 2.50 |
O = N/A T = TO |
O = 630 T = 0.50 |
O = 168 T = 1.34 |
O = 168 T = 3.15 |
O = 168 T = 2.72 |
O = 168 T = 2.57 |
O = 261 T = 0.17 |
O = 168 T = 6.70 |
O = 168 T = 15.23 |
| maxcut-140-630-0.7-46.cnf | O = 168 T = 1.86 |
O = 168 T = 3.51 |
O = 168 T = 1.86 |
O = 168 T = 2.37 |
O = 169 T = 2.32 |
O = N/A T = TO |
O = 630 T = 0.97 |
O = 168 T = 3.18 |
O = 168 T = 2.29 |
O = 168 T = 3.03 |
O = 168 T = 2.92 |
O = 247 T = 0.17 |
O = 168 T = 6.24 |
O = 168 T = 15.66 |
| maxcut-140-630-0.7-47.cnf | O = 160 T = 1.92 |
O = 160 T = 3.35 |
O = 160 T = 2.89 |
O = 160 T = 2.95 |
O = 166 T = 2.59 |
O = N/A T = TO |
O = 630 T = 0.65 |
O = 160 T = 2.75 |
O = 160 T = 1.92 |
O = 160 T = 2.36 |
O = 160 T = 2.78 |
O = 245 T = 0.20 |
O = 160 T = 6.81 |
O = 160 T = 15.14 |
| maxcut-140-630-0.7-48.cnf | O = 168 T = 2.53 |
O = 168 T = 2.53 |
O = 168 T = 2.79 |
O = 168 T = 2.78 |
O = 177 T = 2.63 |
O = N/A T = TO |
O = 630 T = 0.70 |
O = 168 T = 2.70 |
O = 168 T = 2.88 |
O = 168 T = 3.08 |
O = 168 T = 2.87 |
O = 242 T = 0.20 |
O = 168 T = 6.40 |
O = 168 T = 15.60 |
| maxcut-140-630-0.7-49.cnf | O = 164 T = 1.87 |
O = 164 T = 2.91 |
O = 164 T = 1.87 |
O = 164 T = 2.47 |
O = 170 T = 2.46 |
O = N/A T = TO |
O = 630 T = 0.80 |
O = 164 T = 3.49 |
O = 164 T = 2.35 |
O = 164 T = 2.96 |
O = 164 T = 2.31 |
O = 251 T = 0.25 |
O = 164 T = 6.41 |
O = 164 T = 15.89 |
| maxcut-140-630-0.7-5.cnf | O = 164 T = 1.93 |
O = 164 T = 3.62 |
O = 164 T = 1.93 |
O = 164 T = 2.63 |
O = 167 T = 2.79 |
O = N/A T = TO |
O = 630 T = 1.01 |
O = 164 T = 3.25 |
O = 164 T = 1.97 |
O = 164 T = 3.26 |
O = 164 T = 3.27 |
O = 243 T = 0.25 |
O = 164 T = 6.27 |
O = 164 T = 15.31 |
| maxcut-140-630-0.7-50.cnf | O = 167 T = 2.05 |
O = 167 T = 3.18 |
O = 167 T = 2.38 |
O = 167 T = 2.06 |
O = 173 T = 2.74 |
O = N/A T = TO |
O = 630 T = 0.52 |
O = 167 T = 3.30 |
O = 167 T = 2.05 |
O = 167 T = 2.96 |
O = 167 T = 2.26 |
O = 252 T = 0.24 |
O = 167 T = 6.14 |
O = 167 T = 15.83 |
| maxcut-140-630-0.7-6.cnf | O = 162 T = 2.28 |
O = 162 T = 4.17 |
O = 162 T = 2.59 |
O = 162 T = 2.28 |
O = 174 T = 2.26 |
O = N/A T = TO |
O = 630 T = 0.63 |
O = 162 T = 3.06 |
O = 162 T = 3.03 |
O = 162 T = 3.14 |
O = 162 T = 2.57 |
O = 251 T = 0.24 |
O = 162 T = 5.82 |
O = 162 T = 15.70 |
| maxcut-140-630-0.7-7.cnf | O = 164 T = 1.35 |
O = 164 T = 3.40 |
O = 164 T = 1.87 |
O = 164 T = 2.07 |
O = 171 T = 2.97 |
O = N/A T = TO |
O = 630 T = 0.69 |
O = 164 T = 2.67 |
O = 164 T = 1.35 |
O = 164 T = 3.13 |
O = 164 T = 2.34 |
O = 260 T = 0.16 |
O = 164 T = 7.22 |
O = 164 T = 29.02 |
| maxcut-140-630-0.7-8.cnf | O = 165 T = 1.76 |
O = 165 T = 3.45 |
O = 165 T = 2.74 |
O = 165 T = 1.76 |
O = 171 T = 2.69 |
O = N/A T = TO |
O = 630 T = 0.50 |
O = 165 T = 3.35 |
O = 165 T = 2.67 |
O = 165 T = 2.71 |
O = 165 T = 2.32 |
O = 249 T = 0.18 |
O = 165 T = 6.13 |
O = 165 T = 15.57 |
| maxcut-140-630-0.7-9.cnf | O = 166 T = 1.99 |
O = 166 T = 2.79 |
O = 166 T = 2.61 |
O = 166 T = 2.05 |
O = 184 T = 1.66 |
O = N/A T = TO |
O = 630 T = 0.78 |
O = 166 T = 2.56 |
O = 166 T = 2.42 |
O = 166 T = 2.75 |
O = 166 T = 1.99 |
O = 237 T = 0.23 |
O = 166 T = 6.61 |
O = 166 T = 15.45 |
| maxcut-140-630-0.8-1.cnf | O = 165 T = 2.20 |
O = 165 T = 3.41 |
O = 165 T = 2.49 |
O = 165 T = 2.56 |
O = 174 T = 2.26 |
O = N/A T = TO |
O = 629 T = 0.93 |
O = 165 T = 3.75 |
O = 165 T = 2.68 |
O = 165 T = 3.19 |
O = 165 T = 2.20 |
O = 251 T = 0.20 |
O = 165 T = 6.36 |
O = 165 T = 15.49 |
| maxcut-140-630-0.8-10.cnf | O = 168 T = 1.95 |
O = 168 T = 3.29 |
O = 168 T = 2.80 |
O = 168 T = 1.95 |
O = 179 T = 2.10 |
O = N/A T = TO |
O = 629 T = 0.61 |
O = 168 T = 2.81 |
O = 168 T = 2.94 |
O = 168 T = 2.82 |
O = 168 T = 2.29 |
O = 241 T = 0.23 |
O = 168 T = 6.83 |
O = 168 T = 28.48 |
| maxcut-140-630-0.8-11.cnf | O = 168 T = 1.30 |
O = 168 T = 3.93 |
O = 168 T = 1.89 |
O = 168 T = 1.30 |
O = 169 T = 2.77 |
O = N/A T = TO |
O = 629 T = 0.68 |
O = 168 T = 3.49 |
O = 168 T = 1.69 |
O = 168 T = 3.07 |
O = 168 T = 3.10 |
O = 247 T = 0.20 |
O = 168 T = 7.11 |
O = 168 T = 28.92 |
| maxcut-140-630-0.8-12.cnf | O = 165 T = 1.31 |
O = 165 T = 1.88 |
O = 165 T = 2.67 |
O = 165 T = 1.69 |
O = 167 T = 2.01 |
O = N/A T = TO |
O = 629 T = 0.84 |
O = 165 T = 2.06 |
O = 165 T = 1.31 |
O = 165 T = 3.23 |
O = 165 T = 2.11 |
O = 241 T = 0.11 |
O = 165 T = 6.60 |
O = 165 T = 16.29 |
| maxcut-140-630-0.8-13.cnf | O = 167 T = 2.24 |
O = 167 T = 2.24 |
O = 167 T = 2.44 |
O = 167 T = 2.43 |
O = 172 T = 3.04 |
O = N/A T = TO |
O = 629 T = 0.61 |
O = 167 T = 2.56 |
O = 167 T = 3.10 |
O = 167 T = 3.47 |
O = 167 T = 2.84 |
O = 257 T = 0.18 |
O = 167 T = 6.43 |
O = 167 T = 15.69 |
| maxcut-140-630-0.8-14.cnf | O = 164 T = 1.97 |
O = 164 T = 3.23 |
O = 164 T = 1.98 |
O = 164 T = 2.38 |
O = 176 T = 2.14 |
O = N/A T = TO |
O = 629 T = 0.53 |
O = 164 T = 1.97 |
O = 164 T = 1.99 |
O = 164 T = 3.07 |
O = 164 T = 2.01 |
O = 242 T = 0.23 |
O = 164 T = 6.48 |
O = 164 T = 15.44 |
| maxcut-140-630-0.8-15.cnf | O = 166 T = 1.82 |
O = 166 T = 2.64 |
O = 166 T = 1.82 |
O = 166 T = 2.11 |
O = 169 T = 2.13 |
O = N/A T = TO |
O = 629 T = 0.80 |
O = 166 T = 2.13 |
O = 166 T = 1.96 |
O = 166 T = 2.33 |
O = 166 T = 2.39 |
O = 229 T = 0.13 |
O = 166 T = 6.89 |
O = 166 T = 22.52 |
| maxcut-140-630-0.8-16.cnf | O = 163 T = 2.35 |
O = 163 T = 2.39 |
O = 163 T = 2.60 |
O = 163 T = 2.35 |
O = 166 T = 1.18 |
O = N/A T = TO |
O = 629 T = 0.77 |
O = 163 T = 2.41 |
O = 163 T = 3.51 |
O = 163 T = 2.81 |
O = 163 T = 2.36 |
O = 245 T = 0.24 |
O = 163 T = 6.50 |
O = 163 T = 15.41 |
| maxcut-140-630-0.8-17.cnf | O = 168 T = 1.94 |
O = 168 T = 3.00 |
O = 168 T = 3.03 |
O = 168 T = 2.83 |
O = 179 T = 2.29 |
O = N/A T = TO |
O = 629 T = 0.93 |
O = 168 T = 2.18 |
O = 168 T = 1.94 |
O = 168 T = 2.41 |
O = 168 T = 1.96 |
O = 248 T = 0.21 |
O = 168 T = 6.75 |
O = 168 T = 19.45 |
| maxcut-140-630-0.8-18.cnf | O = 163 T = 1.87 |
O = 163 T = 3.10 |
O = 163 T = 1.87 |
O = 163 T = 2.59 |
O = 176 T = 1.80 |
O = N/A T = TO |
O = 629 T = 1.01 |
O = 163 T = 3.39 |
O = 163 T = 2.12 |
O = 163 T = 3.64 |
O = 163 T = 3.05 |
O = 251 T = 0.25 |
O = 163 T = 6.71 |
O = 163 T = 15.58 |
| maxcut-140-630-0.8-19.cnf | O = 164 T = 1.35 |
O = 164 T = 2.15 |
O = 164 T = 3.17 |
O = 164 T = 1.35 |
O = 175 T = 2.15 |
O = N/A T = TO |
O = 629 T = 0.86 |
O = 164 T = 2.67 |
O = 164 T = 3.04 |
O = 164 T = 2.90 |
O = 164 T = 2.44 |
O = 254 T = 0.23 |
O = 164 T = 7.47 |
O = 164 T = 35.76 |
| maxcut-140-630-0.8-2.cnf | O = 162 T = 2.47 |
O = 162 T = 3.12 |
O = 162 T = 3.52 |
O = 162 T = 2.59 |
O = 163 T = 2.61 |
O = N/A T = TO |
O = 629 T = 0.90 |
O = 162 T = 2.84 |
O = 162 T = 2.47 |
O = 162 T = 3.87 |
O = 162 T = 2.79 |
O = 240 T = 0.21 |
O = 162 T = 6.93 |
O = 162 T = 35.95 |
| maxcut-140-630-0.8-20.cnf | O = 165 T = 2.35 |
O = 165 T = 2.89 |
O = 165 T = 2.45 |
O = 165 T = 2.64 |
O = 168 T = 2.55 |
O = N/A T = TO |
O = 629 T = 0.65 |
O = 165 T = 2.78 |
O = 165 T = 2.75 |
O = 165 T = 3.05 |
O = 165 T = 2.35 |
O = 263 T = 0.23 |
O = 165 T = 6.77 |
O = 165 T = 15.66 |
| maxcut-140-630-0.8-21.cnf | O = 167 T = 1.83 |
O = 167 T = 3.00 |
O = 167 T = 2.45 |
O = 167 T = 1.83 |
O = 176 T = 2.22 |
O = N/A T = TO |
O = 629 T = 1.29 |
O = 167 T = 3.02 |
O = 167 T = 2.13 |
O = 167 T = 3.67 |
O = 167 T = 2.17 |
O = 244 T = 0.12 |
O = 167 T = 6.26 |
O = 167 T = 15.85 |
| maxcut-140-630-0.8-22.cnf | O = 170 T = 2.37 |
O = 170 T = 2.71 |
O = 170 T = 2.76 |
O = 170 T = 2.91 |
O = 177 T = 2.00 |
O = N/A T = TO |
O = 629 T = 1.26 |
O = 170 T = 2.37 |
O = 170 T = 3.06 |
O = 170 T = 3.33 |
O = 170 T = 2.97 |
O = 257 T = 0.18 |
O = 170 T = 6.70 |
O = 170 T = 15.44 |
| maxcut-140-630-0.8-23.cnf | O = 167 T = 2.28 |
O = 167 T = 3.21 |
O = 167 T = 2.79 |
O = 167 T = 2.28 |
O = 172 T = 1.99 |
O = N/A T = TO |
O = 629 T = 0.43 |
O = 167 T = 2.91 |
O = 167 T = 2.54 |
O = 167 T = 2.97 |
O = 167 T = 3.34 |
O = 251 T = 0.22 |
O = 167 T = 6.56 |
O = 167 T = 15.19 |
| maxcut-140-630-0.8-24.cnf | O = 165 T = 1.41 |
O = 165 T = 3.84 |
O = 165 T = 1.94 |
O = 165 T = 2.26 |
O = 175 T = 2.06 |
O = N/A T = TO |
O = 629 T = 0.96 |
O = 165 T = 2.77 |
O = 165 T = 1.41 |
O = 165 T = 2.47 |
O = 165 T = 2.81 |
O = 246 T = 0.23 |
O = 165 T = 6.03 |
O = 165 T = 15.29 |
| maxcut-140-630-0.8-25.cnf | O = 165 T = 2.10 |
O = 165 T = 3.40 |
O = 165 T = 3.21 |
O = 165 T = 2.75 |
O = 168 T = 2.25 |
O = N/A T = TO |
O = 629 T = 0.60 |
O = 165 T = 2.10 |
O = 165 T = 2.93 |
O = 165 T = 2.53 |
O = 165 T = 2.73 |
O = 232 T = 0.24 |
O = 165 T = 6.32 |
O = 165 T = 15.12 |
| maxcut-140-630-0.8-26.cnf | O = 167 T = 1.26 |
O = 167 T = 3.08 |
O = 167 T = 3.61 |
O = 167 T = 2.42 |
O = 171 T = 2.49 |
O = N/A T = TO |
O = 629 T = 0.98 |
O = 167 T = 3.43 |
O = 167 T = 1.26 |
O = 167 T = 3.96 |
O = 167 T = 2.41 |
O = 261 T = 0.17 |
O = 167 T = 6.16 |
O = 167 T = 15.43 |
| maxcut-140-630-0.8-27.cnf | O = 168 T = 2.17 |
O = 168 T = 3.34 |
O = 168 T = 2.42 |
O = 168 T = 2.43 |
O = 174 T = 1.95 |
O = N/A T = TO |
O = 629 T = 1.03 |
O = 168 T = 2.81 |
O = 168 T = 2.17 |
O = 168 T = 2.73 |
O = 168 T = 2.61 |
O = 229 T = 0.21 |
O = 168 T = 6.78 |
O = 168 T = 14.96 |
| maxcut-140-630-0.8-28.cnf | O = 168 T = 0.79 |
O = 168 T = 2.85 |
O = 168 T = 2.40 |
O = 168 T = 2.34 |
O = 173 T = 2.01 |
O = N/A T = TO |
O = 629 T = 0.72 |
O = 168 T = 3.60 |
O = 168 T = 2.98 |
O = 168 T = 3.36 |
O = 168 T = 0.79 |
O = 247 T = 0.24 |
O = 168 T = 6.72 |
O = 168 T = 15.47 |
| maxcut-140-630-0.8-29.cnf | O = 167 T = 1.41 |
O = 167 T = 2.68 |
O = 167 T = 3.29 |
O = 167 T = 2.22 |
O = 167 T = 3.09 |
O = N/A T = TO |
O = 629 T = 1.07 |
O = 167 T = 2.78 |
O = 167 T = 1.41 |
O = 167 T = 3.24 |
O = 167 T = 2.11 |
O = 247 T = 0.26 |
O = 167 T = 6.20 |
O = 167 T = 15.34 |
| maxcut-140-630-0.8-3.cnf | O = 165 T = 1.54 |
O = 165 T = 2.23 |
O = 165 T = 2.71 |
O = 165 T = 2.02 |
O = 172 T = 2.48 |
O = N/A T = TO |
O = 629 T = 1.08 |
O = 165 T = 3.11 |
O = 165 T = 1.54 |
O = 165 T = 3.45 |
O = 165 T = 2.40 |
O = 248 T = 0.24 |
O = 165 T = 6.28 |
O = 165 T = 16.35 |
| maxcut-140-630-0.8-30.cnf | O = 167 T = 1.33 |
O = 167 T = 2.98 |
O = 167 T = 3.67 |
O = 167 T = 2.20 |
O = 170 T = 2.76 |
O = N/A T = TO |
O = 629 T = 1.03 |
O = 167 T = 2.78 |
O = 167 T = 1.33 |
O = 167 T = 2.93 |
O = 167 T = 2.29 |
O = 268 T = 0.17 |
O = 167 T = 6.86 |
O = 167 T = 15.69 |
| maxcut-140-630-0.8-31.cnf | O = 165 T = 2.27 |
O = 165 T = 3.66 |
O = 165 T = 2.74 |
O = 165 T = 2.27 |
O = 165 T = 2.80 |
O = N/A T = TO |
O = 629 T = 0.45 |
O = 165 T = 3.59 |
O = 165 T = 2.96 |
O = 165 T = 3.31 |
O = 165 T = 2.39 |
O = 252 T = 0.25 |
O = 165 T = 6.27 |
O = 165 T = 15.09 |
| maxcut-140-630-0.8-32.cnf | O = 164 T = 1.44 |
O = 164 T = 3.40 |
O = 164 T = 1.96 |
O = 164 T = 2.73 |
O = 176 T = 2.18 |
O = N/A T = TO |
O = 629 T = 0.91 |
O = 164 T = 3.77 |
O = 164 T = 1.44 |
O = 164 T = 2.91 |
O = 164 T = 2.37 |
O = 263 T = 0.20 |
O = 164 T = 6.77 |
O = 164 T = 15.16 |
| maxcut-140-630-0.8-33.cnf | O = 163 T = 1.26 |
O = 163 T = 3.04 |
O = 163 T = 3.18 |
O = 163 T = 1.26 |
O = 171 T = 2.19 |
O = N/A T = TO |
O = 629 T = 0.58 |
O = 163 T = 3.05 |
O = 163 T = 2.73 |
O = 163 T = 3.40 |
O = 163 T = 2.37 |
O = 241 T = 0.20 |
O = 163 T = 6.27 |
O = 163 T = 15.90 |
| maxcut-140-630-0.8-34.cnf | O = 163 T = 1.50 |
O = 163 T = 2.97 |
O = 163 T = 2.56 |
O = 163 T = 1.50 |
O = 172 T = 2.43 |
O = N/A T = TO |
O = 629 T = 0.93 |
O = 163 T = 3.50 |
O = 163 T = 1.72 |
O = 163 T = 3.37 |
O = 163 T = 2.97 |
O = 247 T = 0.12 |
O = 163 T = 5.96 |
O = 163 T = 15.56 |
| maxcut-140-630-0.8-35.cnf | O = 165 T = 2.11 |
O = 165 T = 3.69 |
O = 165 T = 2.69 |
O = 165 T = 2.11 |
O = 170 T = 2.22 |
O = N/A T = TO |
O = 629 T = 0.97 |
O = 165 T = 2.60 |
O = 165 T = 2.36 |
O = 165 T = 3.34 |
O = 165 T = 2.37 |
O = 248 T = 0.19 |
O = 165 T = 6.48 |
O = 165 T = 19.34 |
| maxcut-140-630-0.8-36.cnf | O = 165 T = 2.07 |
O = 165 T = 3.94 |
O = 165 T = 2.56 |
O = 165 T = 2.79 |
O = 173 T = 2.53 |
O = N/A T = TO |
O = 629 T = 0.97 |
O = 165 T = 3.22 |
O = 165 T = 2.70 |
O = 165 T = 2.79 |
O = 165 T = 2.07 |
O = 247 T = 0.08 |
O = 165 T = 6.48 |
O = 165 T = 35.98 |
| maxcut-140-630-0.8-37.cnf | O = 167 T = 1.95 |
O = 167 T = 3.81 |
O = 167 T = 3.37 |
O = 167 T = 2.29 |
O = 171 T = 2.75 |
O = N/A T = TO |
O = 629 T = 0.66 |
O = 167 T = 3.20 |
O = 167 T = 1.95 |
O = 167 T = 3.40 |
O = 167 T = 2.76 |
O = 231 T = 0.22 |
O = 167 T = 6.28 |
O = 167 T = 15.46 |
| maxcut-140-630-0.8-38.cnf | O = 160 T = 1.99 |
O = 160 T = 3.32 |
O = 160 T = 2.91 |
O = 160 T = 2.42 |
O = 175 T = 2.39 |
O = N/A T = TO |
O = 629 T = 0.95 |
O = 160 T = 2.41 |
O = 160 T = 1.99 |
O = 160 T = 3.28 |
O = 160 T = 2.35 |
O = 250 T = 0.09 |
O = 160 T = 6.91 |
O = 160 T = 15.22 |
| maxcut-140-630-0.8-39.cnf | O = 169 T = 2.08 |
O = 169 T = 3.62 |
O = 169 T = 3.47 |
O = 169 T = 2.36 |
O = 177 T = 2.97 |
O = N/A T = TO |
O = 629 T = 0.97 |
O = 169 T = 2.91 |
O = 169 T = 3.04 |
O = 169 T = 3.04 |
O = 169 T = 2.08 |
O = 247 T = 0.25 |
O = 169 T = 6.40 |
O = 169 T = 35.71 |
| maxcut-140-630-0.8-4.cnf | O = 165 T = 2.20 |
O = 165 T = 2.97 |
O = 165 T = 2.91 |
O = 165 T = 2.30 |
O = 176 T = 2.02 |
O = N/A T = TO |
O = 629 T = 0.86 |
O = 165 T = 3.44 |
O = 165 T = 2.25 |
O = 165 T = 3.73 |
O = 165 T = 2.20 |
O = 278 T = 0.23 |
O = 165 T = 6.23 |
O = 165 T = 15.65 |
| maxcut-140-630-0.8-40.cnf | O = 161 T = 2.42 |
O = 161 T = 3.34 |
O = 161 T = 2.42 |
O = 161 T = 2.67 |
O = 164 T = 3.56 |
O = N/A T = TO |
O = 629 T = 1.00 |
O = 161 T = 3.76 |
O = 161 T = 3.09 |
O = 161 T = 2.59 |
O = 161 T = 2.68 |
O = 227 T = 0.18 |
O = 161 T = 6.46 |
O = 161 T = 15.48 |
| maxcut-140-630-0.8-41.cnf | O = 163 T = 1.84 |
O = 163 T = 2.84 |
O = 163 T = 2.46 |
O = 163 T = 3.01 |
O = 176 T = 2.54 |
O = N/A T = TO |
O = 629 T = 0.61 |
O = 163 T = 2.72 |
O = 163 T = 1.84 |
O = 163 T = 3.39 |
O = 163 T = 2.24 |
O = 255 T = 0.24 |
O = 163 T = 6.18 |
O = 163 T = 15.34 |
| maxcut-140-630-0.8-42.cnf | O = 164 T = 2.20 |
O = 164 T = 2.52 |
O = 164 T = 2.50 |
O = 164 T = 2.29 |
O = 169 T = 2.44 |
O = N/A T = TO |
O = 629 T = 0.94 |
O = 164 T = 2.20 |
O = 164 T = 3.06 |
O = 164 T = 3.04 |
O = 164 T = 2.48 |
O = 254 T = 0.21 |
O = 164 T = 6.24 |
O = 164 T = 19.17 |
| maxcut-140-630-0.8-43.cnf | O = 165 T = 2.28 |
O = 165 T = 3.25 |
O = 165 T = 2.97 |
O = 165 T = 2.60 |
O = 171 T = 2.12 |
O = N/A T = TO |
O = 629 T = 0.68 |
O = 165 T = 3.30 |
O = 165 T = 2.28 |
O = 165 T = 3.00 |
O = 165 T = 2.93 |
O = 228 T = 0.25 |
O = 165 T = 6.12 |
O = 165 T = 17.42 |
| maxcut-140-630-0.8-44.cnf | O = 160 T = 1.87 |
O = 160 T = 4.04 |
O = 160 T = 2.89 |
O = 160 T = 3.34 |
O = 169 T = 2.12 |
O = N/A T = TO |
O = 629 T = 1.20 |
O = 160 T = 2.75 |
O = 160 T = 1.97 |
O = 160 T = 3.36 |
O = 160 T = 1.87 |
O = 257 T = 0.19 |
O = 160 T = 6.27 |
O = 160 T = 15.96 |
| maxcut-140-630-0.8-45.cnf | O = 165 T = 2.28 |
O = 165 T = 3.11 |
O = 165 T = 2.33 |
O = 165 T = 2.28 |
O = 174 T = 2.78 |
O = N/A T = TO |
O = 629 T = 0.71 |
O = 165 T = 2.79 |
O = 165 T = 2.85 |
O = 165 T = 3.69 |
O = 165 T = 2.40 |
O = 238 T = 0.24 |
O = 165 T = 6.58 |
O = 165 T = 16.52 |
| maxcut-140-630-0.8-46.cnf | O = 162 T = 1.75 |
O = 162 T = 3.94 |
O = 162 T = 2.56 |
O = 162 T = 2.91 |
O = 169 T = 2.16 |
O = N/A T = TO |
O = 629 T = 1.04 |
O = 162 T = 3.15 |
O = 162 T = 1.86 |
O = 162 T = 3.34 |
O = 162 T = 1.75 |
O = 236 T = 0.15 |
O = 162 T = 6.66 |
O = 162 T = 15.12 |
| maxcut-140-630-0.8-47.cnf | O = 164 T = 0.99 |
O = 164 T = 3.12 |
O = 164 T = 2.13 |
O = 164 T = 0.99 |
O = 179 T = 2.20 |
O = N/A T = TO |
O = 629 T = 0.71 |
O = 164 T = 2.42 |
O = 164 T = 2.82 |
O = 164 T = 3.42 |
O = 164 T = 2.87 |
O = 254 T = 0.21 |
O = 164 T = 6.70 |
O = 164 T = 15.71 |
| maxcut-140-630-0.8-48.cnf | O = 164 T = 1.39 |
O = 164 T = 1.39 |
O = 164 T = 2.21 |
O = 164 T = 2.42 |
O = 165 T = 3.00 |
O = N/A T = TO |
O = 629 T = 0.50 |
O = 164 T = 3.08 |
O = 164 T = 2.65 |
O = 164 T = 3.24 |
O = 164 T = 1.76 |
O = 254 T = 0.27 |
O = 164 T = 6.41 |
O = 164 T = 16.28 |
| maxcut-140-630-0.8-49.cnf | O = 166 T = 1.86 |
O = 166 T = 3.25 |
O = 166 T = 2.69 |
O = 166 T = 2.83 |
O = 171 T = 2.80 |
O = N/A T = TO |
O = 629 T = 1.08 |
O = 166 T = 3.06 |
O = 166 T = 2.45 |
O = 166 T = 2.68 |
O = 166 T = 1.86 |
O = 266 T = 0.18 |
O = 166 T = 6.24 |
O = 166 T = 22.71 |
| maxcut-140-630-0.8-5.cnf | O = 164 T = 2.26 |
O = 164 T = 2.84 |
O = 164 T = 2.31 |
O = 164 T = 2.26 |
O = 175 T = 2.67 |
O = N/A T = TO |
O = 629 T = 1.11 |
O = 164 T = 2.85 |
O = 164 T = 2.66 |
O = 164 T = 2.72 |
O = 164 T = 2.28 |
O = 243 T = 0.21 |
O = 164 T = 6.74 |
O = 164 T = 15.31 |
| maxcut-140-630-0.8-50.cnf | O = 165 T = 1.17 |
O = 165 T = 3.54 |
O = 165 T = 3.16 |
O = 165 T = 1.17 |
O = 175 T = 2.15 |
O = N/A T = TO |
O = 629 T = 0.68 |
O = 165 T = 2.89 |
O = 165 T = 2.17 |
O = 165 T = 2.89 |
O = 165 T = 1.87 |
O = 258 T = 0.22 |
O = 165 T = 6.15 |
O = 165 T = 16.00 |
| maxcut-140-630-0.8-6.cnf | O = 169 T = 2.13 |
O = 169 T = 2.77 |
O = 169 T = 2.80 |
O = 169 T = 2.46 |
O = 176 T = 2.17 |
O = N/A T = TO |
O = 629 T = 1.05 |
O = 169 T = 3.43 |
O = 169 T = 2.27 |
O = 169 T = 3.04 |
O = 169 T = 2.13 |
O = 246 T = 0.20 |
O = 169 T = 6.28 |
O = 169 T = 28.58 |
| maxcut-140-630-0.8-7.cnf | O = 166 T = 1.16 |
O = 166 T = 3.51 |
O = 166 T = 2.23 |
O = 166 T = 1.16 |
O = 166 T = 2.54 |
O = N/A T = TO |
O = 629 T = 0.51 |
O = 166 T = 2.49 |
O = 166 T = 1.93 |
O = 166 T = 2.80 |
O = 166 T = 1.85 |
O = 232 T = 0.24 |
O = 166 T = 6.18 |
O = 166 T = 19.33 |
| maxcut-140-630-0.8-8.cnf | O = 167 T = 2.23 |
O = 167 T = 3.31 |
O = 167 T = 2.54 |
O = 167 T = 2.48 |
O = 172 T = 1.70 |
O = N/A T = TO |
O = 629 T = 0.80 |
O = 167 T = 2.23 |
O = 167 T = 2.43 |
O = 167 T = 3.51 |
O = 167 T = 2.30 |
O = 244 T = 0.27 |
O = 167 T = 5.87 |
O = 167 T = 24.34 |
| maxcut-140-630-0.8-9.cnf | O = 165 T = 1.96 |
O = 165 T = 2.58 |
O = 165 T = 2.31 |
O = 165 T = 2.52 |
O = 167 T = 2.57 |
O = N/A T = TO |
O = 629 T = 0.80 |
O = 165 T = 2.65 |
O = 165 T = 1.96 |
O = 165 T = 3.06 |
O = 165 T = 2.39 |
O = 240 T = 0.24 |
O = 165 T = 6.42 |
O = 165 T = 15.74 |
| s2v140c1200-1.cnf | O = 158 T = 1.49 |
O = 158 T = 3.46 |
O = 158 T = 2.72 |
O = 158 T = 2.74 |
O = 167 T = 1.86 |
O = N/A T = TO |
O = 600 T = 0.43 |
O = 158 T = 3.31 |
O = 158 T = 2.45 |
O = 158 T = 3.33 |
O = 158 T = 1.49 |
O = 244 T = 0.26 |
O = 158 T = 6.12 |
O = 158 T = 15.59 |
| s2v140c1200-2.cnf | O = 152 T = 1.78 |
O = 152 T = 2.73 |
O = 152 T = 3.36 |
O = 152 T = 2.19 |
O = 152 T = 2.16 |
O = N/A T = TO |
O = 600 T = 0.84 |
O = 152 T = 3.19 |
O = 152 T = 2.33 |
O = 152 T = 2.48 |
O = 152 T = 1.78 |
O = 234 T = 0.19 |
O = 152 T = 6.13 |
O = 152 T = 15.29 |
| s2v140c1200-3.cnf | O = 157 T = 1.74 |
O = 157 T = 3.57 |
O = 157 T = 2.60 |
O = 157 T = 2.73 |
O = 168 T = 2.23 |
O = N/A T = TO |
O = 600 T = 0.87 |
O = 157 T = 2.40 |
O = 157 T = 2.03 |
O = 157 T = 3.48 |
O = 157 T = 1.74 |
O = 252 T = 0.23 |
O = 157 T = 6.02 |
O = 157 T = 15.97 |
| s2v140c1300-1.cnf | O = 176 T = 1.88 |
O = 176 T = 3.44 |
O = 176 T = 3.24 |
O = 176 T = 2.90 |
O = 184 T = 2.15 |
O = N/A T = TO |
O = 650 T = 1.21 |
O = 176 T = 3.20 |
O = 176 T = 2.67 |
O = 176 T = 3.19 |
O = 176 T = 1.88 |
O = 270 T = 0.24 |
O = 176 T = 6.18 |
O = 176 T = 35.84 |
| s2v140c1300-2.cnf | O = 169 T = 1.29 |
O = 169 T = 3.23 |
O = 169 T = 3.21 |
O = 169 T = 2.45 |
O = 170 T = 3.08 |
O = N/A T = TO |
O = 650 T = 0.97 |
O = 169 T = 2.74 |
O = 169 T = 3.21 |
O = 169 T = 3.29 |
O = 169 T = 1.29 |
O = 263 T = 0.22 |
O = 169 T = 6.27 |
O = 169 T = 16.16 |
| s2v140c1300-3.cnf | O = 172 T = 1.70 |
O = 172 T = 3.32 |
O = 172 T = 3.04 |
O = 172 T = 2.55 |
O = 182 T = 2.25 |
O = N/A T = TO |
O = 650 T = 0.97 |
O = 172 T = 3.40 |
O = 172 T = 2.42 |
O = 172 T = 3.53 |
O = 172 T = 1.70 |
O = 264 T = 0.25 |
O = 172 T = 7.00 |
O = 172 T = 15.33 |
| s2v140c1400-1.cnf | O = 196 T = 2.05 |
O = 196 T = 3.31 |
O = 196 T = 3.35 |
O = 196 T = 2.18 |
O = 202 T = 2.29 |
O = N/A T = TO |
O = 700 T = 1.06 |
O = 196 T = 2.34 |
O = 196 T = 2.63 |
O = 196 T = 3.40 |
O = 196 T = 2.05 |
O = 296 T = 0.26 |
O = 196 T = 6.67 |
O = 196 T = 23.39 |
| s2v140c1400-2.cnf | O = 195 T = 1.41 |
O = 195 T = 2.85 |
O = 195 T = 3.64 |
O = 195 T = 2.92 |
O = 200 T = 2.83 |
O = N/A T = TO |
O = 700 T = 0.67 |
O = 195 T = 2.52 |
O = 195 T = 1.80 |
O = 195 T = 2.63 |
O = 195 T = 1.41 |
O = 315 T = 0.24 |
O = 195 T = 6.08 |
O = 195 T = 35.61 |
| s2v140c1400-3.cnf | O = 194 T = 2.01 |
O = 194 T = 3.40 |
O = 194 T = 2.47 |
O = 194 T = 2.72 |
O = 204 T = 3.03 |
O = N/A T = TO |
O = 700 T = 0.95 |
O = 194 T = 2.71 |
O = 194 T = 2.81 |
O = 194 T = 3.40 |
O = 194 T = 2.01 |
O = 299 T = 0.15 |
O = 194 T = 6.79 |
O = 194 T = 19.48 |
| s2v140c1500-1.cnf | O = 212 T = 1.52 |
O = 212 T = 3.62 |
O = 212 T = 3.14 |
O = 212 T = 3.17 |
O = 214 T = 2.74 |
O = N/A T = TO |
O = N/A T = TO |
O = 212 T = 2.17 |
O = 212 T = 1.52 |
O = 212 T = 3.34 |
O = 212 T = 2.23 |
O = 312 T = 0.25 |
O = 212 T = 5.89 |
O = 212 T = 15.62 |
| s2v140c1500-2.cnf | O = 215 T = 1.84 |
O = 215 T = 3.14 |
O = 215 T = 2.83 |
O = 215 T = 2.25 |
O = 223 T = 2.29 |
O = N/A T = TO |
O = 750 T = 1.25 |
O = 215 T = 2.60 |
O = 215 T = 1.84 |
O = 215 T = 3.21 |
O = 215 T = 1.88 |
O = 329 T = 0.24 |
O = 215 T = 6.70 |
O = 215 T = 28.97 |
| s2v140c1500-3.cnf | O = 211 T = 1.94 |
O = 211 T = 3.69 |
O = 211 T = 1.96 |
O = 211 T = 2.72 |
O = 220 T = 2.13 |
O = N/A T = TO |
O = N/A T = TO |
O = 211 T = 2.86 |
O = 211 T = 1.94 |
O = 211 T = 3.62 |
O = 211 T = 5.51 |
O = 318 T = 0.27 |
O = 211 T = 6.34 |
O = 211 T = 15.54 |
| s2v140c1600-1.cnf | O = 233 T = 1.65 |
O = 233 T = 2.76 |
O = 233 T = 2.84 |
O = 233 T = 1.65 |
O = 241 T = 2.85 |
O = N/A T = TO |
O = N/A T = TO |
O = 233 T = 5.53 |
O = 233 T = 2.50 |
O = 233 T = 2.95 |
O = 233 T = 2.28 |
O = 347 T = 0.27 |
O = 233 T = 6.98 |
O = 233 T = 35.65 |
| s2v140c1600-2.cnf | O = 231 T = 1.95 |
O = 231 T = 3.91 |
O = 231 T = 3.16 |
O = 231 T = 2.50 |
O = 252 T = 2.31 |
O = N/A T = TO |
O = 800 T = 1.21 |
O = 231 T = 3.77 |
O = 231 T = 2.39 |
O = 231 T = 3.52 |
O = 231 T = 1.95 |
O = 358 T = 0.19 |
O = 231 T = 6.19 |
O = 231 T = 15.86 |
| s2v140c1600-3.cnf | O = 235 T = 1.74 |
O = 235 T = 3.52 |
O = 235 T = 3.13 |
O = 235 T = 2.72 |
O = 244 T = 2.61 |
O = N/A T = TO |
O = 800 T = 1.18 |
O = 235 T = 3.65 |
O = 235 T = 2.27 |
O = 235 T = 4.34 |
O = 235 T = 1.74 |
O = 339 T = 0.23 |
O = 235 T = 6.44 |
O = 235 T = 15.58 |
| s2v140c1700-1.cnf | O = 253 T = 1.82 |
O = 253 T = 3.18 |
O = 253 T = 3.30 |
O = 253 T = 2.95 |
O = 272 T = 2.70 |
O = N/A T = TO |
O = 850 T = 0.94 |
O = 253 T = 3.31 |
O = 253 T = 1.82 |
O = 253 T = 3.22 |
O = 253 T = 2.25 |
O = 371 T = 0.20 |
O = 253 T = 6.31 |
O = 253 T = 28.58 |
| s2v140c1700-2.cnf | O = 255 T = 1.95 |
O = 255 T = 2.87 |
O = 255 T = 3.48 |
O = 255 T = 2.43 |
O = 263 T = 2.29 |
O = N/A T = TO |
O = N/A T = TO |
O = 255 T = 2.76 |
O = 255 T = 2.89 |
O = 255 T = 3.12 |
O = 255 T = 1.95 |
O = 356 T = 0.22 |
O = 255 T = 6.10 |
O = 255 T = 15.19 |
| s2v140c1700-3.cnf | O = 253 T = 1.66 |
O = 253 T = 3.95 |
O = 253 T = 2.57 |
O = 253 T = 2.17 |
O = 263 T = 2.46 |
O = N/A T = TO |
O = 850 T = 0.82 |
O = 253 T = 3.03 |
O = 253 T = 2.87 |
O = 253 T = 3.96 |
O = 253 T = 1.66 |
O = 378 T = 0.20 |
O = 253 T = 6.22 |
O = 253 T = 19.42 |
| s2v140c1800-1.cnf | O = 273 T = 1.60 |
O = 273 T = 2.87 |
O = 273 T = 2.87 |
O = 273 T = 2.18 |
O = 285 T = 2.07 |
O = N/A T = TO |
O = 900 T = 0.83 |
O = 273 T = 3.65 |
O = 273 T = 2.44 |
O = 273 T = 4.43 |
O = 273 T = 1.60 |
O = 398 T = 0.16 |
O = 273 T = 6.15 |
O = 273 T = 22.71 |
| s2v140c1800-2.cnf | O = 272 T = 1.88 |
O = 272 T = 3.72 |
O = 272 T = 3.22 |
O = 272 T = 2.70 |
O = 286 T = 2.01 |
O = N/A T = TO |
O = N/A T = TO |
O = 272 T = 2.90 |
O = 272 T = 1.96 |
O = 272 T = 4.49 |
O = 272 T = 1.88 |
O = 387 T = 0.24 |
O = 272 T = 6.16 |
O = 272 T = 15.12 |
| s2v140c1800-3.cnf | O = 276 T = 1.19 |
O = 276 T = 3.37 |
O = 276 T = 3.01 |
O = 276 T = 2.89 |
O = 287 T = 1.96 |
O = N/A T = TO |
O = N/A T = TO |
O = 276 T = 3.12 |
O = 276 T = 2.68 |
O = 276 T = 4.23 |
O = 276 T = 1.19 |
O = 416 T = 0.20 |
O = 276 T = 6.85 |
O = 276 T = 29.35 |
| s2v140c1900-1.cnf | O = 292 T = 1.14 |
O = 292 T = 3.21 |
O = 292 T = 2.11 |
O = 292 T = 2.47 |
O = 310 T = 2.38 |
O = N/A T = TO |
O = 950 T = 1.28 |
O = 292 T = 2.86 |
O = 292 T = 1.14 |
O = 292 T = 4.00 |
O = 292 T = 2.37 |
O = 425 T = 0.19 |
O = 292 T = 6.13 |
O = 292 T = 16.07 |
| s2v140c1900-2.cnf | O = 294 T = 1.61 |
O = 294 T = 3.84 |
O = 294 T = 2.13 |
O = 294 T = 1.86 |
O = 301 T = 2.13 |
O = N/A T = TO |
O = N/A T = TO |
O = 294 T = 2.62 |
O = 294 T = 3.74 |
O = 294 T = 4.78 |
O = 294 T = 1.61 |
O = 419 T = 0.24 |
O = 294 T = 6.41 |
O = 294 T = 15.46 |
| s2v140c1900-3.cnf | O = 293 T = 2.62 |
O = 293 T = 2.80 |
O = 293 T = 3.65 |
O = 293 T = 3.18 |
O = 301 T = 2.51 |
O = N/A T = TO |
O = 950 T = 0.78 |
O = 293 T = 3.06 |
O = 293 T = 2.81 |
O = 293 T = 2.93 |
O = 293 T = 2.62 |
O = 422 T = 0.25 |
O = 293 T = 6.15 |
O = 293 T = 15.27 |
| s2v140c2000-1.cnf | O = 315 T = 2.20 |
O = 315 T = 2.62 |
O = 315 T = 3.38 |
O = 315 T = 2.20 |
O = 318 T = 2.89 |
O = N/A T = TO |
O = 1000 T = 0.73 |
O = 315 T = 3.63 |
O = 315 T = 2.25 |
O = 315 T = 3.10 |
O = 315 T = 2.69 |
O = 445 T = 0.20 |
O = 315 T = 6.22 |
O = 315 T = 15.27 |
| s2v140c2000-2.cnf | O = 315 T = 1.83 |
O = 315 T = 3.40 |
O = 315 T = 3.68 |
O = 315 T = 3.30 |
O = 326 T = 2.82 |
O = N/A T = TO |
O = 1000 T = 0.46 |
O = 315 T = 2.91 |
O = 315 T = 2.64 |
O = 315 T = 3.51 |
O = 315 T = 1.83 |
O = 455 T = 0.19 |
O = 315 T = 6.44 |
O = 315 T = 15.75 |
| s2v140c2000-3.cnf | O = 318 T = 2.15 |
O = 318 T = 2.33 |
O = 318 T = 2.95 |
O = 318 T = 2.15 |
O = 324 T = 2.19 |
O = N/A T = TO |
O = N/A T = TO |
O = 318 T = 3.60 |
O = 318 T = 2.63 |
O = 318 T = 3.17 |
O = 318 T = 2.45 |
O = 422 T = 0.23 |
O = 318 T = 6.04 |
O = 318 T = 15.63 |
| s2v140c2100-1.cnf | O = 336 T = 1.50 |
O = 336 T = 3.47 |
O = 336 T = 3.10 |
O = 336 T = 3.18 |
O = 350 T = 2.76 |
O = N/A T = TO |
O = 1050 T = 0.62 |
O = 336 T = 3.23 |
O = 336 T = 2.06 |
O = 336 T = 4.04 |
O = 336 T = 1.50 |
O = 441 T = 0.18 |
O = 336 T = 6.12 |
O = 336 T = 15.91 |
| s2v140c2100-2.cnf | O = 333 T = 2.13 |
O = 333 T = 3.51 |
O = 333 T = 3.50 |
O = 333 T = 2.92 |
O = 334 T = 3.03 |
O = N/A T = TO |
O = 1050 T = 0.48 |
O = 333 T = 2.48 |
O = 333 T = 2.87 |
O = 333 T = 3.27 |
O = 333 T = 2.13 |
O = 484 T = 0.14 |
O = 333 T = 6.18 |
O = 333 T = 19.30 |
| s2v140c2100-3.cnf | O = 338 T = 2.39 |
O = 338 T = 3.63 |
O = 338 T = 2.61 |
O = 338 T = 2.56 |
O = 346 T = 2.45 |
O = N/A T = TO |
O = 1050 T = 0.69 |
O = 338 T = 2.95 |
O = 338 T = 2.39 |
O = 338 T = 3.25 |
O = 338 T = 2.49 |
O = 517 T = 0.17 |
O = 338 T = 6.34 |
O = 338 T = 15.06 |
| s2v140c2200-1.cnf | O = 356 T = 1.67 |
O = 356 T = 1.70 |
O = 356 T = 2.68 |
O = 356 T = 3.71 |
O = 364 T = 3.06 |
O = N/A T = TO |
O = 1100 T = 0.46 |
O = 356 T = 3.52 |
O = 356 T = 2.89 |
O = 356 T = 3.17 |
O = 356 T = 1.67 |
O = 506 T = 0.26 |
O = 356 T = 6.30 |
O = 356 T = 15.14 |
| s2v140c2200-2.cnf | O = 359 T = 2.26 |
O = 359 T = 3.14 |
O = 359 T = 3.02 |
O = 359 T = 3.00 |
O = 370 T = 2.39 |
O = N/A T = TO |
O = 1100 T = 0.79 |
O = 359 T = 2.78 |
O = 359 T = 3.31 |
O = 359 T = 3.52 |
O = 359 T = 2.26 |
O = 529 T = 0.19 |
O = 359 T = 6.75 |
O = 359 T = 15.49 |
| s2v140c2200-3.cnf | O = 354 T = 1.69 |
O = 354 T = 3.20 |
O = 354 T = 1.69 |
O = 354 T = 2.26 |
O = 379 T = 2.61 |
O = N/A T = TO |
O = 1100 T = 0.69 |
O = 354 T = 3.01 |
O = 354 T = 2.13 |
O = 354 T = 3.56 |
O = 354 T = 10.75 |
O = 521 T = 0.22 |
O = 354 T = 6.11 |
O = 354 T = 35.68 |
| s2v140c2300-1.cnf | O = 374 T = 2.28 |
O = 374 T = 3.51 |
O = 374 T = 2.52 |
O = 374 T = 2.34 |
O = 384 T = 2.45 |
O = N/A T = TO |
O = N/A T = TO |
O = 374 T = 2.66 |
O = 374 T = 2.28 |
O = 374 T = 2.60 |
O = 374 T = 24.39 |
O = 515 T = 0.22 |
O = 374 T = 6.57 |
O = 374 T = 15.51 |
| s2v140c2300-2.cnf | O = 378 T = 2.31 |
O = 378 T = 3.61 |
O = 378 T = 2.78 |
O = 378 T = 2.31 |
O = 389 T = 2.40 |
O = N/A T = TO |
O = N/A T = TO |
O = 378 T = 3.53 |
O = 378 T = 2.86 |
O = 378 T = 4.09 |
O = 378 T = 2.72 |
O = 508 T = 0.22 |
O = 378 T = 6.67 |
O = 378 T = 28.48 |
| s2v140c2300-3.cnf | O = 373 T = 2.19 |
O = 373 T = 3.54 |
O = 373 T = 2.83 |
O = 373 T = 2.66 |
O = 380 T = 2.63 |
O = N/A T = TO |
O = N/A T = TO |
O = 373 T = 3.04 |
O = 373 T = 2.19 |
O = 373 T = 3.51 |
O = 373 T = 2.84 |
O = 512 T = 0.18 |
O = 373 T = 6.39 |
O = 373 T = 14.98 |
| s2v140c2400-1.cnf | O = 398 T = 1.83 |
O = 398 T = 4.05 |
O = 398 T = 2.62 |
O = 398 T = 2.80 |
O = 417 T = 2.81 |
O = N/A T = TO |
O = N/A T = TO |
O = 398 T = 2.76 |
O = 398 T = 2.95 |
O = 398 T = 3.67 |
O = 398 T = 1.83 |
O = 543 T = 0.15 |
O = 398 T = 6.15 |
O = 398 T = 22.74 |
| s2v140c2400-2.cnf | O = 399 T = 1.56 |
O = 399 T = 3.16 |
O = 399 T = 1.56 |
O = 399 T = 2.33 |
O = 403 T = 1.69 |
O = N/A T = TO |
O = N/A T = TO |
O = 399 T = 3.71 |
O = 399 T = 2.67 |
O = 399 T = 3.42 |
O = 399 T = 2.01 |
O = 583 T = 0.21 |
O = 399 T = 7.00 |
O = 399 T = 16.01 |
| s2v140c2400-3.cnf | O = 395 T = 2.64 |
O = 395 T = 3.68 |
O = 395 T = 3.26 |
O = 395 T = 3.08 |
O = 397 T = 3.81 |
O = N/A T = TO |
O = N/A T = TO |
O = 395 T = 3.29 |
O = 395 T = 2.75 |
O = 395 T = 2.83 |
O = 395 T = 2.64 |
O = 543 T = 0.24 |
O = 395 T = 6.12 |
O = 395 T = 15.68 |
| s2v140c2500-1.cnf | O = 420 T = 1.92 |
O = 420 T = 2.91 |
O = 420 T = 2.26 |
O = 420 T = 3.10 |
O = 429 T = 2.85 |
O = N/A T = TO |
O = N/A T = TO |
O = 420 T = 2.75 |
O = 420 T = 2.72 |
O = 420 T = 3.94 |
O = 420 T = 1.92 |
O = 562 T = 0.20 |
O = 420 T = 6.35 |
O = 420 T = 15.97 |
| s2v140c2500-2.cnf | O = 424 T = 2.27 |
O = 424 T = 3.28 |
O = 424 T = 2.27 |
O = 424 T = 2.92 |
O = 444 T = 2.96 |
O = N/A T = TO |
O = 1250 T = 0.65 |
O = 424 T = 2.37 |
O = 424 T = 2.87 |
O = 424 T = 3.10 |
O = 424 T = 3.01 |
O = 595 T = 0.26 |
O = 424 T = 6.41 |
O = 424 T = 15.06 |
| s2v140c2500-3.cnf | O = 414 T = 1.80 |
O = 414 T = 3.34 |
O = 414 T = 3.01 |
O = 414 T = 3.51 |
O = 416 T = 2.29 |
O = N/A T = TO |
O = N/A T = TO |
O = 414 T = 1.80 |
O = 414 T = 2.94 |
O = 414 T = 3.29 |
O = 414 T = 3.21 |
O = 577 T = 0.19 |
O = 414 T = 6.16 |
O = 414 T = 16.10 |
| s2v140c2600-1.cnf | O = 439 T = 2.20 |
O = 439 T = 3.26 |
O = 439 T = 3.07 |
O = 439 T = 2.39 |
O = 448 T = 3.10 |
O = N/A T = TO |
O = N/A T = TO |
O = 439 T = 2.20 |
O = 439 T = 2.49 |
O = 439 T = 4.20 |
O = 441 T = 9.77 |
O = 556 T = 0.25 |
O = 439 T = 5.95 |
O = 439 T = 16.05 |
| s2v140c2600-2.cnf | O = 446 T = 2.66 |
O = 446 T = 2.94 |
O = 446 T = 2.90 |
O = 446 T = 3.05 |
O = 447 T = 1.53 |
O = N/A T = TO |
O = N/A T = TO |
O = 446 T = 2.67 |
O = 446 T = 2.66 |
O = 446 T = 3.52 |
O = 446 T = 3.29 |
O = 604 T = 0.27 |
O = 446 T = 6.11 |
O = 446 T = 15.30 |
| s2v140c2600-3.cnf | O = 434 T = 3.03 |
O = 434 T = 3.12 |
O = 434 T = 4.07 |
O = 434 T = 3.14 |
O = 451 T = 2.55 |
O = N/A T = TO |
O = N/A T = TO |
O = 434 T = 3.97 |
O = 434 T = 3.03 |
O = 434 T = 3.70 |
O = 434 T = 3.36 |
O = 625 T = 0.26 |
O = 434 T = 6.54 |
O = 434 T = 15.76 |
| s2v160c1200-1.cnf | O = 149 T = 1.69 |
O = 149 T = 3.98 |
O = 149 T = 2.77 |
O = 149 T = 1.69 |
O = 151 T = 2.78 |
O = N/A T = TO |
O = 600 T = 0.69 |
O = 149 T = 2.53 |
O = 149 T = 3.44 |
O = 149 T = 3.71 |
O = 149 T = 3.39 |
O = 229 T = 0.12 |
O = 149 T = 6.56 |
O = 149 T = 19.25 |
| s2v160c1200-2.cnf | O = 145 T = 2.20 |
O = 145 T = 3.17 |
O = 145 T = 2.98 |
O = 145 T = 2.20 |
O = 149 T = 1.30 |
O = N/A T = TO |
O = 600 T = 0.63 |
O = 145 T = 3.06 |
O = 145 T = 2.64 |
O = 145 T = 3.26 |
O = 145 T = 3.16 |
O = 230 T = 0.17 |
O = 145 T = 6.19 |
O = 145 T = 35.84 |
| s2v160c1200-3.cnf | O = 146 T = 2.27 |
O = 146 T = 3.98 |
O = 146 T = 2.61 |
O = 146 T = 2.29 |
O = 147 T = 2.92 |
O = N/A T = TO |
O = 600 T = 0.69 |
O = 146 T = 2.96 |
O = 146 T = 2.27 |
O = 146 T = 4.01 |
O = 146 T = 2.58 |
O = 246 T = 0.08 |
O = 146 T = 6.54 |
O = 146 T = 28.22 |
| s2v160c1300-1.cnf | O = 165 T = 1.96 |
O = 165 T = 3.14 |
O = 165 T = 2.57 |
O = 165 T = 1.96 |
O = 174 T = 2.68 |
O = N/A T = TO |
O = 650 T = 0.67 |
O = 165 T = 2.94 |
O = 165 T = 2.81 |
O = 165 T = 3.90 |
O = 165 T = 2.03 |
O = 259 T = 0.20 |
O = 165 T = 6.18 |
O = 165 T = 22.53 |
| s2v160c1300-2.cnf | O = 163 T = 1.25 |
O = 163 T = 3.38 |
O = 163 T = 2.66 |
O = 163 T = 3.37 |
O = 177 T = 2.92 |
O = N/A T = TO |
O = 650 T = 0.65 |
O = 163 T = 1.25 |
O = 163 T = 2.79 |
O = 163 T = 3.74 |
O = 163 T = 2.41 |
O = 262 T = 0.18 |
O = 163 T = 6.17 |
O = 163 T = 36.00 |
| s2v160c1300-3.cnf | O = 164 T = 2.15 |
O = 164 T = 3.50 |
O = 164 T = 3.12 |
O = 164 T = 2.24 |
O = 164 T = 2.89 |
O = N/A T = TO |
O = 650 T = 0.57 |
O = 164 T = 3.33 |
O = 164 T = 3.91 |
O = 164 T = 3.72 |
O = 164 T = 2.15 |
O = 265 T = 0.09 |
O = 164 T = 6.36 |
O = 164 T = 19.70 |
| s2v160c1400-1.cnf | O = 185 T = 2.57 |
O = 185 T = 2.97 |
O = 185 T = 2.57 |
O = 185 T = 2.99 |
O = 188 T = 3.38 |
O = N/A T = TO |
O = 700 T = 0.87 |
O = 185 T = 2.80 |
O = 185 T = 3.29 |
O = 185 T = 3.57 |
O = 185 T = 3.05 |
O = 291 T = 0.19 |
O = 185 T = 6.21 |
O = 185 T = 36.09 |
| s2v160c1400-2.cnf | O = 186 T = 2.21 |
O = 186 T = 3.97 |
O = 186 T = 2.25 |
O = 186 T = 2.33 |
O = 187 T = 3.05 |
O = N/A T = TO |
O = 700 T = 0.97 |
O = 186 T = 2.21 |
O = 186 T = 2.83 |
O = 186 T = 3.09 |
O = 186 T = 2.80 |
O = 276 T = 0.22 |
O = 186 T = 6.27 |
O = 186 T = 19.34 |
| s2v160c1400-3.cnf | O = 182 T = 1.51 |
O = 182 T = 3.45 |
O = 182 T = 2.88 |
O = 182 T = 2.59 |
O = 197 T = 2.74 |
O = N/A T = TO |
O = 700 T = 0.76 |
O = 182 T = 1.51 |
O = 182 T = 3.22 |
O = 182 T = 3.85 |
O = 182 T = 2.72 |
O = 280 T = 0.18 |
O = 182 T = 6.66 |
O = 182 T = 15.38 |
| s2v160c1500-1.cnf | O = 204 T = 2.53 |
O = 204 T = 3.79 |
O = 204 T = 2.57 |
O = 204 T = 2.71 |
O = 214 T = 2.41 |
O = N/A T = TO |
O = 750 T = 0.70 |
O = 204 T = 2.72 |
O = 204 T = 2.53 |
O = 204 T = 3.40 |
O = 204 T = 2.58 |
O = 321 T = 0.23 |
O = 204 T = 6.64 |
O = 204 T = 19.69 |
| s2v160c1500-2.cnf | O = 202 T = 2.21 |
O = 202 T = 2.45 |
O = 202 T = 3.00 |
O = 202 T = 2.98 |
O = 202 T = 2.98 |
O = N/A T = TO |
O = N/A T = TO |
O = 202 T = 3.67 |
O = 202 T = 2.36 |
O = 202 T = 3.87 |
O = 202 T = 2.21 |
O = 293 T = 0.18 |
O = 202 T = 6.42 |
O = 202 T = 15.32 |
| s2v160c1500-3.cnf | O = 202 T = 1.97 |
O = 202 T = 3.76 |
O = 202 T = 3.59 |
O = 202 T = 3.09 |
O = 217 T = 2.70 |
O = N/A T = TO |
O = 750 T = 0.91 |
O = 202 T = 2.06 |
O = 202 T = 2.65 |
O = 202 T = 3.61 |
O = 202 T = 1.97 |
O = 307 T = 0.20 |
O = 202 T = 6.46 |
O = 202 T = 28.59 |
| s2v160c1600-1.cnf | O = 221 T = 2.40 |
O = 221 T = 2.95 |
O = 221 T = 2.98 |
O = 221 T = 3.18 |
O = 226 T = 3.49 |
O = N/A T = TO |
O = 800 T = 0.76 |
O = 221 T = 4.07 |
O = 221 T = 2.40 |
O = 221 T = 2.90 |
O = 221 T = 2.64 |
O = 340 T = 0.14 |
O = 221 T = 6.50 |
O = 221 T = 22.49 |
| s2v160c1600-2.cnf | O = 223 T = 1.33 |
O = 223 T = 3.15 |
O = 223 T = 2.30 |
O = 223 T = 2.36 |
O = 229 T = 2.76 |
O = N/A T = TO |
O = 800 T = 0.53 |
O = 223 T = 3.27 |
O = 223 T = 1.33 |
O = 223 T = 3.98 |
O = 223 T = 3.04 |
O = 339 T = 0.10 |
O = 223 T = 6.86 |
O = 223 T = 15.48 |
| s2v160c1600-3.cnf | O = 220 T = 2.42 |
O = 220 T = 3.15 |
O = 220 T = 2.98 |
O = 220 T = 2.42 |
O = 232 T = 2.92 |
O = N/A T = TO |
O = 800 T = 0.59 |
O = 220 T = 3.29 |
O = 220 T = 2.48 |
O = 220 T = 3.25 |
O = 220 T = 2.92 |
O = 341 T = 0.16 |
O = 220 T = 6.73 |
O = 220 T = 27.97 |
| s2v160c1700-1.cnf | O = 244 T = 2.42 |
O = 244 T = 2.80 |
O = 244 T = 3.02 |
O = 244 T = 2.58 |
O = 256 T = 3.02 |
O = N/A T = TO |
O = N/A T = TO |
O = 244 T = 3.10 |
O = 244 T = 2.42 |
O = 244 T = 3.29 |
O = 244 T = 2.73 |
O = 361 T = 0.19 |
O = 244 T = 7.20 |
O = 244 T = 15.68 |
| s2v160c1700-2.cnf | O = 244 T = 2.35 |
O = 244 T = 3.96 |
O = 244 T = 2.81 |
O = 244 T = 2.35 |
O = 253 T = 2.88 |
O = N/A T = TO |
O = 850 T = 0.79 |
O = 244 T = 3.44 |
O = 244 T = 3.89 |
O = 244 T = 4.41 |
O = 244 T = 3.26 |
O = 354 T = 0.13 |
O = 244 T = 6.66 |
O = 244 T = 15.51 |
| s2v160c1700-3.cnf | O = 241 T = 2.08 |
O = 241 T = 3.77 |
O = 241 T = 2.08 |
O = 241 T = 3.15 |
O = 255 T = 2.92 |
O = N/A T = TO |
O = N/A T = TO |
O = 241 T = 3.40 |
O = 241 T = 2.89 |
O = 241 T = 3.81 |
O = 241 T = 3.50 |
O = 355 T = 0.14 |
O = 241 T = 6.23 |
O = 241 T = 19.54 |
| s2v160c1800-1.cnf | O = 262 T = 1.85 |
O = 262 T = 2.35 |
O = 262 T = 1.85 |
O = 262 T = 3.21 |
O = 276 T = 2.18 |
O = N/A T = TO |
O = N/A T = TO |
O = 262 T = 3.91 |
O = 262 T = 3.41 |
O = 262 T = 4.39 |
O = 262 T = 2.58 |
O = 387 T = 0.24 |
O = 262 T = 6.21 |
O = 262 T = 15.47 |
| s2v160c1800-2.cnf | O = 262 T = 2.24 |
O = 262 T = 3.86 |
O = 262 T = 3.24 |
O = 262 T = 3.16 |
O = 267 T = 2.70 |
O = N/A T = TO |
O = 900 T = 0.72 |
O = 262 T = 3.24 |
O = 262 T = 2.24 |
O = 262 T = 2.87 |
O = 262 T = 2.31 |
O = 416 T = 0.11 |
O = 262 T = 6.63 |
O = 262 T = 15.68 |
| s2v160c1800-3.cnf | O = 261 T = 2.40 |
O = 261 T = 3.16 |
O = 261 T = 2.45 |
O = 261 T = 2.40 |
O = 277 T = 2.97 |
O = N/A T = TO |
O = 900 T = 0.68 |
O = 261 T = 3.20 |
O = 261 T = 3.06 |
O = 261 T = 3.52 |
O = 261 T = 3.41 |
O = 384 T = 0.14 |
O = 261 T = 6.92 |
O = 261 T = 23.09 |
| s2v160c1900-1.cnf | O = 279 T = 2.82 |
O = 279 T = 3.02 |
O = 279 T = 3.05 |
O = 279 T = 2.82 |
O = 279 T = 2.95 |
O = N/A T = TO |
O = 950 T = 0.87 |
O = 279 T = 3.19 |
O = 279 T = 4.10 |
O = 279 T = 3.06 |
O = 279 T = 3.43 |
O = 429 T = 0.14 |
O = 279 T = 6.67 |
O = 279 T = 15.46 |
| s2v160c1900-2.cnf | O = 282 T = 1.85 |
O = 282 T = 4.45 |
O = 282 T = 1.85 |
O = 282 T = 3.07 |
O = 293 T = 2.25 |
O = N/A T = TO |
O = 950 T = 0.69 |
O = 282 T = 3.71 |
O = 282 T = 2.91 |
O = 282 T = 3.22 |
O = 282 T = 2.84 |
O = 421 T = 0.25 |
O = 282 T = 6.44 |
O = 282 T = 15.48 |
| s2v160c1900-3.cnf | O = 283 T = 2.54 |
O = 283 T = 2.97 |
O = 283 T = 2.61 |
O = 283 T = 3.29 |
O = 288 T = 2.30 |
O = N/A T = TO |
O = 950 T = 0.65 |
O = 283 T = 3.24 |
O = 283 T = 3.31 |
O = 283 T = 3.41 |
O = 283 T = 2.54 |
O = 419 T = 0.17 |
O = 283 T = 6.77 |
O = 283 T = 19.19 |
| s2v160c2000-1.cnf | O = 302 T = 2.79 |
O = 302 T = 3.63 |
O = 302 T = 2.79 |
O = 302 T = 3.25 |
O = 312 T = 3.19 |
O = N/A T = TO |
O = 1000 T = 0.94 |
O = 302 T = 3.93 |
O = 302 T = 3.69 |
O = 302 T = 4.11 |
O = 302 T = 2.90 |
O = 456 T = 0.14 |
O = 302 T = 6.14 |
O = 302 T = 15.88 |
| s2v160c2000-2.cnf | O = 302 T = 2.54 |
O = 302 T = 4.27 |
O = 302 T = 2.57 |
O = 302 T = 2.73 |
O = 309 T = 2.53 |
O = N/A T = TO |
O = 1000 T = 0.70 |
O = 302 T = 3.30 |
O = 302 T = 2.77 |
O = 302 T = 3.56 |
O = 302 T = 2.54 |
O = 431 T = 0.22 |
O = 302 T = 6.73 |
O = 302 T = 35.66 |
| s2v160c2000-3.cnf | O = 302 T = 2.38 |
O = 302 T = 3.13 |
O = 302 T = 3.95 |
O = 302 T = 3.01 |
O = 318 T = 2.77 |
O = N/A T = TO |
O = 1000 T = 0.97 |
O = 302 T = 3.29 |
O = 302 T = 2.38 |
O = 302 T = 4.69 |
O = 302 T = 3.31 |
O = 458 T = 0.06 |
O = 302 T = 7.13 |
O = 302 T = 15.30 |
| s2v160c2100-1.cnf | O = 322 T = 2.70 |
O = 322 T = 3.67 |
O = 322 T = 2.70 |
O = 322 T = 2.96 |
O = 330 T = 3.17 |
O = N/A T = TO |
O = 1050 T = 0.79 |
O = 322 T = 3.50 |
O = 322 T = 3.45 |
O = 322 T = 4.05 |
O = 322 T = 3.10 |
O = 471 T = 0.22 |
O = 322 T = 6.64 |
O = 322 T = 28.38 |
| s2v160c2100-2.cnf | O = 324 T = 2.80 |
O = 324 T = 3.65 |
O = 324 T = 3.35 |
O = 324 T = 3.41 |
O = 340 T = 3.01 |
O = N/A T = TO |
O = 1050 T = 1.03 |
O = 324 T = 3.94 |
O = 324 T = 2.80 |
O = 324 T = 4.26 |
O = 324 T = 3.63 |
O = 463 T = 0.19 |
O = 324 T = 6.81 |
O = 324 T = 27.99 |
| s2v160c2100-3.cnf | O = 319 T = 2.84 |
O = 319 T = 3.88 |
O = 319 T = 3.10 |
O = 319 T = 3.59 |
O = 338 T = 2.57 |
O = N/A T = TO |
O = N/A T = TO |
O = 319 T = 2.84 |
O = 319 T = 3.45 |
O = 319 T = 4.14 |
O = 319 T = 3.18 |
O = 474 T = 0.17 |
O = 319 T = 6.76 |
O = 319 T = 15.32 |
| s2v160c2200-1.cnf | O = 340 T = 2.92 |
O = 340 T = 4.19 |
O = 340 T = 3.57 |
O = 340 T = 2.92 |
O = 355 T = 3.19 |
O = N/A T = TO |
O = N/A T = TO |
O = 340 T = 3.30 |
O = 340 T = 2.95 |
O = 340 T = 3.38 |
O = 340 T = 3.80 |
O = 478 T = 0.17 |
O = 340 T = 6.99 |
O = 340 T = 16.51 |
| s2v160c2200-2.cnf | O = 342 T = 2.60 |
O = 342 T = 3.27 |
O = 342 T = 2.96 |
O = 342 T = 3.48 |
O = 359 T = 2.12 |
O = N/A T = TO |
O = N/A T = TO |
O = 342 T = 3.38 |
O = 342 T = 2.60 |
O = 342 T = 4.70 |
O = 342 T = 3.16 |
O = 462 T = 0.18 |
O = 342 T = 6.93 |
O = 342 T = 15.72 |
| s2v160c2200-3.cnf | O = 342 T = 2.67 |
O = 342 T = 3.23 |
O = 342 T = 3.11 |
O = 342 T = 2.83 |
O = 356 T = 2.77 |
O = N/A T = TO |
O = N/A T = TO |
O = 342 T = 2.67 |
O = 342 T = 3.19 |
O = 342 T = 4.59 |
O = 342 T = 3.57 |
O = 498 T = 0.14 |
O = 342 T = 6.71 |
O = 342 T = 23.57 |
| s2v160c2300-1.cnf | O = 363 T = 2.13 |
O = 363 T = 4.32 |
O = 363 T = 3.30 |
O = 363 T = 2.67 |
O = 378 T = 3.30 |
O = N/A T = TO |
O = 1150 T = 0.68 |
O = 363 T = 2.13 |
O = 363 T = 3.74 |
O = 363 T = 4.27 |
O = 363 T = 2.28 |
O = 487 T = 0.13 |
O = 363 T = 6.78 |
O = 363 T = 35.60 |
| s2v160c2300-2.cnf | O = 361 T = 1.75 |
O = 361 T = 4.07 |
O = 361 T = 6.00 |
O = 361 T = 3.16 |
O = 374 T = 2.30 |
O = N/A T = TO |
O = 1150 T = 0.78 |
O = 361 T = 1.75 |
O = 361 T = 2.85 |
O = 361 T = 4.48 |
O = 361 T = 2.64 |
O = 515 T = 0.20 |
O = 361 T = 6.79 |
O = 361 T = 15.06 |
| s2v160c2300-3.cnf | O = 361 T = 2.60 |
O = 361 T = 3.60 |
O = 361 T = 4.03 |
O = 361 T = 3.20 |
O = 382 T = 3.15 |
O = N/A T = TO |
O = 1150 T = 0.77 |
O = 361 T = 2.66 |
O = 361 T = 2.60 |
O = 361 T = 4.49 |
O = 361 T = 7.07 |
O = 536 T = 0.09 |
O = 361 T = 6.05 |
O = 361 T = 17.02 |
| s2v160c2400-1.cnf | O = 383 T = 2.42 |
O = 383 T = 3.88 |
O = 383 T = 2.42 |
O = 383 T = 3.17 |
O = 395 T = 3.20 |
O = N/A T = TO |
O = N/A T = TO |
O = 383 T = 3.14 |
O = 383 T = 4.05 |
O = 383 T = 3.69 |
O = 383 T = 3.00 |
O = 504 T = 0.10 |
O = 383 T = 6.35 |
O = 383 T = 17.96 |
| s2v160c2400-2.cnf | O = 382 T = 2.93 |
O = 382 T = 4.21 |
O = 382 T = 3.62 |
O = 382 T = 3.60 |
O = 401 T = 3.15 |
O = N/A T = TO |
O = 1200 T = 0.71 |
O = 382 T = 4.29 |
O = 382 T = 2.93 |
O = 382 T = 3.64 |
O = 382 T = 3.51 |
O = 581 T = 0.21 |
O = 382 T = 6.44 |
O = 382 T = 15.66 |
| s2v160c2400-3.cnf | O = 383 T = 2.32 |
O = 383 T = 4.02 |
O = 383 T = 3.24 |
O = 383 T = 3.28 |
O = 389 T = 3.12 |
O = N/A T = TO |
O = N/A T = TO |
O = 383 T = 2.32 |
O = 383 T = 2.55 |
O = 383 T = 3.87 |
O = 383 T = 3.38 |
O = 534 T = 0.10 |
O = 383 T = 6.60 |
O = 383 T = 23.11 |
| s2v160c2500-1.cnf | O = 405 T = 2.46 |
O = 405 T = 3.84 |
O = 405 T = 3.09 |
O = 405 T = 3.75 |
O = 415 T = 2.83 |
O = N/A T = TO |
O = 1250 T = 0.63 |
O = 405 T = 2.94 |
O = 405 T = 2.54 |
O = 405 T = 3.66 |
O = 405 T = 2.46 |
O = 548 T = 0.19 |
O = 405 T = 6.33 |
O = 405 T = 19.07 |
| s2v160c2500-2.cnf | O = 405 T = 2.66 |
O = 405 T = 3.23 |
O = 405 T = 3.11 |
O = 405 T = 3.12 |
O = 419 T = 3.03 |
O = N/A T = TO |
O = 1250 T = 0.55 |
O = 405 T = 2.98 |
O = 405 T = 2.66 |
O = 405 T = 3.57 |
O = 405 T = 3.37 |
O = 572 T = 0.18 |
O = 405 T = 6.53 |
O = 405 T = 15.49 |
| s2v160c2500-3.cnf | O = 401 T = 1.65 |
O = 401 T = 3.99 |
O = 401 T = 2.88 |
O = 401 T = 1.65 |
O = 422 T = 2.62 |
O = N/A T = TO |
O = N/A T = TO |
O = 401 T = 2.92 |
O = 401 T = 2.59 |
O = 401 T = 4.67 |
O = 401 T = 2.13 |
O = 585 T = 0.11 |
O = 401 T = 6.43 |
O = 401 T = 15.33 |
| s2v160c2600-1.cnf | O = 428 T = 2.44 |
O = 428 T = 3.91 |
O = 428 T = 3.60 |
O = 428 T = 2.74 |
O = 442 T = 3.12 |
O = N/A T = TO |
O = N/A T = TO |
O = 428 T = 3.66 |
O = 428 T = 2.44 |
O = 428 T = 4.81 |
O = 428 T = 3.01 |
O = 575 T = 0.11 |
O = 428 T = 6.84 |
O = 428 T = 24.08 |
| s2v160c2600-2.cnf | O = 428 T = 1.56 |
O = 428 T = 3.62 |
O = 428 T = 2.26 |
O = 428 T = 2.54 |
O = 433 T = 2.85 |
O = N/A T = TO |
O = 1300 T = 0.71 |
O = 428 T = 3.76 |
O = 428 T = 2.79 |
O = 428 T = 3.71 |
O = 428 T = 1.56 |
O = 596 T = 0.12 |
O = 428 T = 6.99 |
O = 428 T = 15.27 |
| s2v160c2600-3.cnf | O = 426 T = 2.24 |
O = 426 T = 3.85 |
O = 426 T = 2.96 |
O = 426 T = 3.23 |
O = 431 T = 3.62 |
O = N/A T = TO |
O = 1300 T = 0.78 |
O = 426 T = 2.30 |
O = 426 T = 2.24 |
O = 426 T = 4.36 |
O = 426 T = 3.67 |
O = 583 T = 0.21 |
O = 426 T = 7.42 |
O = 426 T = 15.37 |
| s2v180c1200-1.cnf | O = 129 T = 2.97 |
O = 129 T = 4.33 |
O = 129 T = 3.94 |
O = 129 T = 2.97 |
O = 144 T = 2.54 |
O = N/A T = TO |
O = 600 T = 0.83 |
O = 129 T = 3.34 |
O = 129 T = 3.36 |
O = 129 T = 3.31 |
O = 129 T = 4.12 |
O = 227 T = 0.18 |
O = 129 T = 6.51 |
O = 129 T = 15.75 |
| s2v180c1200-2.cnf | O = 134 T = 1.41 |
O = 134 T = 3.13 |
O = 134 T = 3.19 |
O = 134 T = 1.41 |
O = 134 T = 3.99 |
O = N/A T = TO |
O = 600 T = 0.51 |
O = 134 T = 3.74 |
O = 134 T = 2.98 |
O = 134 T = 4.15 |
O = 134 T = 3.04 |
O = 219 T = 0.08 |
O = 134 T = 6.76 |
O = 134 T = 15.72 |
| s2v180c1200-3.cnf | O = 132 T = 2.80 |
O = 132 T = 3.04 |
O = 132 T = 3.38 |
O = 132 T = 2.80 |
O = 132 T = 4.12 |
O = N/A T = TO |
O = 600 T = 0.71 |
O = 132 T = 3.57 |
O = 132 T = 3.84 |
O = 132 T = 4.67 |
O = 132 T = 3.69 |
O = 206 T = 0.13 |
O = 132 T = 6.71 |
O = 132 T = 15.53 |
| s2v180c1300-1.cnf | O = 155 T = 1.92 |
O = 155 T = 3.63 |
O = 155 T = 1.97 |
O = 155 T = 1.92 |
O = 158 T = 2.91 |
O = N/A T = TO |
O = 650 T = 0.85 |
O = 155 T = 3.13 |
O = 155 T = 2.31 |
O = 155 T = 3.38 |
O = 155 T = 2.84 |
O = 229 T = 0.14 |
O = 155 T = 7.25 |
O = 155 T = 19.11 |
| s2v180c1300-2.cnf | O = 152 T = 1.85 |
O = 152 T = 3.87 |
O = 152 T = 1.85 |
O = 152 T = 2.55 |
O = 155 T = 3.60 |
O = N/A T = TO |
O = 650 T = 0.72 |
O = 152 T = 3.83 |
O = 152 T = 1.96 |
O = 152 T = 2.83 |
O = 152 T = 2.58 |
O = 263 T = 0.17 |
O = 152 T = 6.70 |
O = 152 T = 36.00 |
| s2v180c1300-3.cnf | O = 150 T = 2.50 |
O = 150 T = 2.50 |
O = 150 T = 2.71 |
O = 150 T = 2.53 |
O = 160 T = 3.01 |
O = N/A T = TO |
O = 650 T = 0.81 |
O = 150 T = 2.84 |
O = 150 T = 4.13 |
O = 150 T = 3.87 |
O = 150 T = 3.49 |
O = 259 T = 0.19 |
O = 150 T = 7.26 |
O = 150 T = 15.32 |
| s2v180c1400-1.cnf | O = 172 T = 2.41 |
O = 172 T = 3.69 |
O = 172 T = 3.03 |
O = 172 T = 3.08 |
O = 178 T = 3.06 |
O = N/A T = TO |
O = 700 T = 0.78 |
O = 172 T = 2.41 |
O = 172 T = 3.85 |
O = 172 T = 3.67 |
O = 172 T = 3.58 |
O = 297 T = 0.20 |
O = 172 T = 6.86 |
O = 172 T = 15.80 |
| s2v180c1400-2.cnf | O = 171 T = 2.34 |
O = 171 T = 3.45 |
O = 171 T = 2.97 |
O = 171 T = 2.34 |
O = 187 T = 2.56 |
O = N/A T = TO |
O = 700 T = 0.81 |
O = 171 T = 3.38 |
O = 171 T = 3.83 |
O = 171 T = 4.59 |
O = 171 T = 2.85 |
O = 291 T = 0.08 |
O = 171 T = 6.55 |
O = 171 T = 28.51 |
| s2v180c1400-3.cnf | O = 170 T = 1.99 |
O = 170 T = 2.17 |
O = 170 T = 1.99 |
O = 170 T = 3.11 |
O = 179 T = 2.35 |
O = N/A T = TO |
O = 700 T = 0.61 |
O = 170 T = 3.30 |
O = 170 T = 3.61 |
O = 170 T = 4.24 |
O = 170 T = 3.24 |
O = 320 T = 0.08 |
O = 170 T = 6.96 |
O = 170 T = 19.46 |
| s2v180c1500-1.cnf | O = 192 T = 2.47 |
O = 192 T = 3.71 |
O = 192 T = 3.30 |
O = 192 T = 3.00 |
O = 197 T = 3.52 |
O = N/A T = TO |
O = N/A T = TO |
O = 192 T = 2.47 |
O = 192 T = 2.50 |
O = 192 T = 3.68 |
O = 192 T = 3.47 |
O = 298 T = 0.17 |
O = 192 T = 6.72 |
O = 192 T = 15.80 |
| s2v180c1500-2.cnf | O = 189 T = 2.00 |
O = 189 T = 3.18 |
O = 189 T = 2.00 |
O = 189 T = 2.98 |
O = 201 T = 2.37 |
O = N/A T = TO |
O = 750 T = 0.82 |
O = 189 T = 4.07 |
O = 189 T = 2.46 |
O = 189 T = 2.86 |
O = 189 T = 3.85 |
O = 277 T = 0.11 |
O = 189 T = 6.70 |
O = 189 T = 28.82 |
| s2v180c1500-3.cnf | O = 187 T = 2.91 |
O = 187 T = 2.91 |
O = 187 T = 3.38 |
O = 187 T = 2.96 |
O = 191 T = 3.35 |
O = N/A T = TO |
O = 750 T = 0.59 |
O = 187 T = 3.41 |
O = 187 T = 4.02 |
O = 187 T = 4.34 |
O = 187 T = 3.05 |
O = 313 T = 0.18 |
O = 187 T = 7.10 |
O = 187 T = 36.08 |
| s2v180c1600-1.cnf | O = 209 T = 2.19 |
O = 209 T = 4.46 |
O = 209 T = 3.01 |
O = 209 T = 2.72 |
O = 217 T = 3.48 |
O = N/A T = TO |
O = 800 T = 0.71 |
O = 209 T = 8.80 |
O = 209 T = 3.27 |
O = 209 T = 2.19 |
O = 209 T = 3.75 |
O = 327 T = 0.17 |
O = 209 T = 6.67 |
O = 209 T = 23.54 |
| s2v180c1600-2.cnf | O = 209 T = 1.67 |
O = 209 T = 1.67 |
O = 209 T = 2.86 |
O = 209 T = 3.11 |
O = 211 T = 3.14 |
O = N/A T = TO |
O = 800 T = 0.79 |
O = 209 T = 3.98 |
O = 209 T = 3.23 |
O = 209 T = 3.93 |
O = 209 T = 3.50 |
O = 316 T = 0.26 |
O = 209 T = 6.57 |
O = 209 T = 36.11 |
| s2v180c1600-3.cnf | O = 211 T = 3.00 |
O = 211 T = 3.44 |
O = 211 T = 3.64 |
O = 211 T = 3.00 |
O = 216 T = 3.66 |
O = N/A T = TO |
O = 800 T = 0.59 |
O = 211 T = 3.07 |
O = 211 T = 3.18 |
O = 211 T = 9.78 |
O = 211 T = 3.57 |
O = 337 T = 0.23 |
O = 211 T = 7.07 |
O = 211 T = 36.12 |
| s2v180c1700-1.cnf | O = 226 T = 1.72 |
O = 226 T = 3.58 |
O = 226 T = 1.72 |
O = 226 T = 3.53 |
O = 242 T = 2.40 |
O = N/A T = TO |
O = 850 T = 0.89 |
O = 226 T = 3.32 |
O = 226 T = 4.31 |
O = 226 T = 3.46 |
O = 226 T = 3.41 |
O = 327 T = 0.21 |
O = 226 T = 6.54 |
O = 226 T = 15.81 |
| s2v180c1700-2.cnf | O = 228 T = 2.82 |
O = 228 T = 3.67 |
O = 228 T = 2.94 |
O = 228 T = 3.10 |
O = 240 T = 2.44 |
O = N/A T = TO |
O = 850 T = 0.67 |
O = 228 T = 3.05 |
O = 228 T = 2.82 |
O = 228 T = 3.11 |
O = 228 T = 3.78 |
O = 366 T = 0.23 |
O = 228 T = 6.40 |
O = 228 T = 23.03 |
| s2v180c1700-3.cnf | O = 231 T = 2.22 |
O = 231 T = 2.67 |
O = 231 T = 2.37 |
O = 231 T = 2.22 |
O = 232 T = 3.64 |
O = N/A T = TO |
O = 850 T = 0.95 |
O = 231 T = 3.46 |
O = 231 T = 2.62 |
O = 231 T = 3.65 |
O = 231 T = 3.20 |
O = 344 T = 0.20 |
O = 231 T = 7.01 |
O = 231 T = 15.33 |
| s2v180c1800-1.cnf | O = 246 T = 2.06 |
O = 246 T = 4.54 |
O = 246 T = 2.06 |
O = 246 T = 2.97 |
O = 249 T = 3.70 |
O = N/A T = TO |
O = N/A T = TO |
O = 246 T = 4.23 |
O = 246 T = 3.07 |
O = 246 T = 5.18 |
O = 246 T = 3.24 |
O = 382 T = 0.10 |
O = 246 T = 6.94 |
O = 246 T = 35.86 |
| s2v180c1800-2.cnf | O = 244 T = 2.50 |
O = 244 T = 4.19 |
O = 244 T = 3.00 |
O = 244 T = 3.65 |
O = 248 T = 3.06 |
O = N/A T = TO |
O = 900 T = 0.75 |
O = 244 T = 5.04 |
O = 244 T = 2.50 |
O = 244 T = 3.95 |
O = 244 T = 3.09 |
O = 355 T = 0.19 |
O = 244 T = 6.62 |
O = 244 T = 35.81 |
| s2v180c1800-3.cnf | O = 249 T = 2.40 |
O = 249 T = 3.87 |
O = 249 T = 2.40 |
O = 249 T = 2.95 |
O = 262 T = 2.77 |
O = N/A T = TO |
O = 900 T = 0.76 |
O = 249 T = 2.80 |
O = 249 T = 2.88 |
O = 249 T = 9.65 |
O = 249 T = 4.00 |
O = 396 T = 0.19 |
O = 249 T = 7.13 |
O = 249 T = 36.65 |
| s2v180c1900-1.cnf | O = 267 T = 3.24 |
O = 267 T = 3.65 |
O = 267 T = 3.76 |
O = 267 T = 3.24 |
O = 280 T = 3.49 |
O = N/A T = TO |
O = 950 T = 0.81 |
O = 267 T = 3.80 |
O = 267 T = 4.20 |
O = 267 T = 3.50 |
O = 267 T = 3.47 |
O = 400 T = 0.13 |
O = 267 T = 6.39 |
O = 267 T = 16.42 |
| s2v180c1900-2.cnf | O = 263 T = 2.66 |
O = 263 T = 3.81 |
O = 263 T = 2.66 |
O = 263 T = 3.28 |
O = 281 T = 4.02 |
O = N/A T = TO |
O = N/A T = TO |
O = 263 T = 3.00 |
O = 263 T = 2.89 |
O = 263 T = 3.68 |
O = 263 T = 3.94 |
O = 400 T = 0.17 |
O = 263 T = 6.56 |
O = 263 T = 28.90 |
| s2v180c1900-3.cnf | O = 269 T = 2.76 |
O = 269 T = 4.77 |
O = 269 T = 3.13 |
O = 269 T = 3.55 |
O = 282 T = 3.76 |
O = N/A T = TO |
O = N/A T = TO |
O = 269 T = 2.76 |
O = 269 T = 3.61 |
O = 269 T = 3.42 |
O = 269 T = 3.94 |
O = 422 T = 0.16 |
O = 269 T = 6.30 |
O = 269 T = 19.57 |
| s2v180c2000-1.cnf | O = 286 T = 2.71 |
O = 286 T = 4.08 |
O = 286 T = 2.71 |
O = 286 T = 3.49 |
O = 297 T = 4.06 |
O = N/A T = TO |
O = 1000 T = 0.83 |
O = 286 T = 4.39 |
O = 286 T = 3.70 |
O = 286 T = 4.16 |
O = 286 T = 4.10 |
O = 470 T = 0.24 |
O = 286 T = 6.53 |
O = 286 T = 15.54 |
| s2v180c2000-2.cnf | O = 285 T = 2.39 |
O = 285 T = 4.56 |
O = 285 T = 3.68 |
O = 285 T = 3.57 |
O = 293 T = 3.09 |
O = N/A T = TO |
O = 1000 T = 0.99 |
O = 285 T = 3.16 |
O = 285 T = 2.39 |
O = 285 T = 4.33 |
O = 285 T = 3.30 |
O = 413 T = 0.12 |
O = 285 T = 6.83 |
O = 285 T = 28.75 |
| s2v180c2000-3.cnf | O = 288 T = 2.19 |
O = 288 T = 4.94 |
O = 288 T = 3.26 |
O = 288 T = 3.22 |
O = 296 T = 3.30 |
O = N/A T = TO |
O = 1000 T = 0.55 |
O = 288 T = 2.50 |
O = 288 T = 2.78 |
O = 288 T = 3.74 |
O = 288 T = 2.19 |
O = 426 T = 0.21 |
O = 288 T = 6.74 |
O = 288 T = 15.56 |
| s2v180c2100-1.cnf | O = 306 T = 2.82 |
O = 306 T = 3.85 |
O = 306 T = 2.82 |
O = 306 T = 3.04 |
O = 316 T = 2.55 |
O = N/A T = TO |
O = 1050 T = 0.78 |
O = 306 T = 3.69 |
O = 306 T = 3.43 |
O = 306 T = 3.30 |
O = 306 T = 3.72 |
O = 465 T = 0.19 |
O = 306 T = 6.69 |
O = 306 T = 19.36 |
| s2v180c2100-2.cnf | O = 302 T = 2.64 |
O = 302 T = 3.17 |
O = 302 T = 2.64 |
O = 302 T = 3.24 |
O = 324 T = 2.88 |
O = N/A T = TO |
O = 1050 T = 0.81 |
O = 302 T = 3.81 |
O = 302 T = 3.88 |
O = 302 T = 3.92 |
O = 302 T = 2.78 |
O = 481 T = 0.07 |
O = 302 T = 6.87 |
O = 302 T = 15.47 |
| s2v180c2100-3.cnf | O = 304 T = 2.35 |
O = 304 T = 4.00 |
O = 304 T = 2.35 |
O = 304 T = 3.18 |
O = 327 T = 2.77 |
O = N/A T = TO |
O = N/A T = TO |
O = 304 T = 3.64 |
O = 304 T = 3.83 |
O = 304 T = 3.70 |
O = 304 T = 3.35 |
O = 447 T = 0.23 |
O = 304 T = 6.48 |
O = 304 T = 15.38 |
| s2v180c2200-1.cnf | O = 323 T = 2.69 |
O = 323 T = 4.35 |
O = 323 T = 3.17 |
O = 323 T = 3.46 |
O = 333 T = 3.95 |
O = N/A T = TO |
O = 1100 T = 0.97 |
O = 323 T = 4.10 |
O = 323 T = 3.09 |
O = 323 T = 4.12 |
O = 323 T = 2.69 |
O = 511 T = 0.17 |
O = 323 T = 6.87 |
O = 323 T = 15.14 |
| s2v180c2200-2.cnf | O = 324 T = 2.29 |
O = 324 T = 3.83 |
O = 324 T = 2.29 |
O = 324 T = 3.66 |
O = 333 T = 3.64 |
O = N/A T = TO |
O = 1100 T = 0.88 |
O = 324 T = 3.57 |
O = 324 T = 3.06 |
O = 324 T = 4.25 |
O = 324 T = 3.59 |
O = 488 T = 0.17 |
O = 324 T = 6.15 |
O = 324 T = 24.57 |
| s2v180c2200-3.cnf | O = 321 T = 2.34 |
O = 321 T = 4.21 |
O = 321 T = 3.60 |
O = 321 T = 3.29 |
O = 337 T = 4.12 |
O = N/A T = TO |
O = 1100 T = 0.53 |
O = 321 T = 3.93 |
O = 321 T = 2.46 |
O = 321 T = 4.49 |
O = 321 T = 2.34 |
O = 460 T = 0.15 |
O = 321 T = 6.17 |
O = 321 T = 15.78 |
| s2v180c2300-1.cnf | O = 340 T = 2.76 |
O = 340 T = 4.70 |
O = 340 T = 4.04 |
O = 340 T = 2.76 |
O = 367 T = 2.69 |
O = N/A T = TO |
O = 1150 T = 0.73 |
O = 340 T = 3.58 |
O = 340 T = 3.99 |
O = 340 T = 4.47 |
O = 340 T = 3.03 |
O = 512 T = 0.10 |
O = 340 T = 6.26 |
O = 340 T = 24.06 |
| s2v180c2300-2.cnf | O = 344 T = 1.84 |
O = 344 T = 3.84 |
O = 344 T = 3.28 |
O = 344 T = 4.46 |
O = 356 T = 3.80 |
O = N/A T = TO |
O = 1150 T = 0.71 |
O = 344 T = 3.69 |
O = 344 T = 1.84 |
O = 344 T = 5.23 |
O = 344 T = 3.16 |
O = 487 T = 0.24 |
O = 344 T = 6.67 |
O = 344 T = 23.00 |
| s2v180c2300-3.cnf | O = 347 T = 2.98 |
O = 347 T = 5.12 |
O = 347 T = 2.98 |
O = 347 T = 3.04 |
O = 360 T = 3.53 |
O = N/A T = TO |
O = N/A T = TO |
O = 347 T = 3.52 |
O = 347 T = 3.56 |
O = 347 T = 4.04 |
O = 347 T = 3.82 |
O = 522 T = 0.19 |
O = 347 T = 6.98 |
O = 347 T = 36.21 |
| s2v180c2400-1.cnf | O = 363 T = 2.74 |
O = 363 T = 3.81 |
O = 363 T = 3.60 |
O = 363 T = 2.74 |
O = 371 T = 3.44 |
O = N/A T = TO |
O = 1200 T = 0.62 |
O = 363 T = 3.48 |
O = 363 T = 3.34 |
O = 363 T = 3.80 |
O = 363 T = 11.53 |
O = 533 T = 0.15 |
O = 363 T = 6.28 |
O = 363 T = 23.44 |
| s2v180c2400-2.cnf | O = 362 T = 2.36 |
O = 362 T = 5.01 |
O = 362 T = 3.80 |
O = 362 T = 4.08 |
O = 367 T = 3.74 |
O = N/A T = TO |
O = 1200 T = 0.94 |
O = 362 T = 4.38 |
O = 362 T = 2.36 |
O = 362 T = 3.49 |
O = 362 T = 2.90 |
O = 507 T = 0.13 |
O = 362 T = 7.10 |
O = 362 T = 15.63 |
| s2v180c2400-3.cnf | O = 371 T = 2.84 |
O = 371 T = 4.17 |
O = 371 T = 3.82 |
O = 371 T = 3.96 |
O = 374 T = 3.19 |
O = N/A T = TO |
O = 1200 T = 0.69 |
O = 371 T = 3.21 |
O = 371 T = 2.84 |
O = 371 T = 4.91 |
O = 371 T = 3.84 |
O = 535 T = 0.24 |
O = 371 T = 6.82 |
O = 371 T = 28.18 |
| s2v180c2500-1.cnf | O = 385 T = 2.82 |
O = 385 T = 5.42 |
O = 385 T = 3.76 |
O = 385 T = 2.82 |
O = 399 T = 3.25 |
O = N/A T = TO |
O = 1250 T = 0.56 |
O = 385 T = 3.95 |
O = 385 T = 3.68 |
O = 385 T = 4.74 |
O = 385 T = 3.40 |
O = 570 T = 0.13 |
O = 385 T = 6.59 |
O = 385 T = 17.23 |
| s2v180c2500-2.cnf | O = 382 T = 2.97 |
O = 382 T = 4.62 |
O = 382 T = 3.23 |
O = 382 T = 2.97 |
O = 384 T = 5.33 |
O = N/A T = TO |
O = N/A T = TO |
O = 382 T = 4.15 |
O = 382 T = 4.45 |
O = 382 T = 3.80 |
O = 382 T = 3.60 |
O = 553 T = 0.09 |
O = 382 T = 7.27 |
O = 382 T = 22.88 |
| s2v180c2500-3.cnf | O = 390 T = 2.86 |
O = 390 T = 3.80 |
O = 390 T = 3.69 |
O = 390 T = 3.44 |
O = 405 T = 2.89 |
O = N/A T = TO |
O = 1250 T = 1.05 |
O = 390 T = 3.99 |
O = 390 T = 3.09 |
O = 390 T = 4.31 |
O = 390 T = 2.86 |
O = 554 T = 0.16 |
O = 390 T = 6.93 |
O = 390 T = 35.54 |
| s2v180c2600-1.cnf | O = 405 T = 1.67 |
O = 405 T = 2.94 |
O = 405 T = 4.23 |
O = 405 T = 4.89 |
O = 415 T = 3.58 |
O = N/A T = TO |
O = N/A T = TO |
O = 405 T = 4.07 |
O = 405 T = 1.67 |
O = 405 T = 4.67 |
O = 405 T = 2.79 |
O = N/A T = TO |
O = 405 T = 6.99 |
O = 405 T = 16.53 |
| s2v180c2600-2.cnf | O = 405 T = 2.85 |
O = 405 T = 5.17 |
O = 405 T = 3.44 |
O = 405 T = 3.72 |
O = 423 T = 2.83 |
O = N/A T = TO |
O = N/A T = TO |
O = 405 T = 4.22 |
O = 405 T = 2.85 |
O = 405 T = 4.34 |
O = 405 T = 3.61 |
O = 556 T = 0.23 |
O = 405 T = 6.64 |
O = 405 T = 17.14 |
| s2v180c2600-3.cnf | O = 413 T = 2.90 |
O = 413 T = 4.08 |
O = 413 T = 3.72 |
O = 413 T = 2.98 |
O = 439 T = 3.19 |
O = N/A T = TO |
O = N/A T = TO |
O = 413 T = 3.42 |
O = 413 T = 2.90 |
O = 413 T = 4.30 |
O = 413 T = 3.36 |
O = 611 T = 0.24 |
O = 413 T = 6.66 |
O = 413 T = 37.14 |
| s2v200c1200-1.cnf | O = 122 T = 2.96 |
O = 122 T = 5.05 |
O = 122 T = 3.04 |
O = 122 T = 2.96 |
O = 122 T = 4.51 |
O = N/A T = TO |
O = 600 T = 0.79 |
O = 122 T = 4.42 |
O = 122 T = 3.96 |
O = 122 T = 4.32 |
O = 122 T = 3.77 |
O = 197 T = 0.19 |
O = 122 T = 6.89 |
O = 122 T = 15.63 |
| s2v200c1200-2.cnf | O = 125 T = 2.57 |
O = 125 T = 4.75 |
O = 125 T = 3.58 |
O = 125 T = 2.69 |
O = 137 T = 3.31 |
O = N/A T = TO |
O = 600 T = 0.79 |
O = 125 T = 4.47 |
O = 125 T = 2.57 |
O = 125 T = 4.28 |
O = 125 T = 4.46 |
O = 237 T = 0.18 |
O = 125 T = 6.46 |
O = 125 T = 19.58 |
| s2v200c1200-3.cnf | O = 128 T = 3.01 |
O = 128 T = 12.49 |
O = 128 T = 3.45 |
O = 128 T = 3.01 |
O = 141 T = 2.67 |
O = N/A T = TO |
O = 600 T = 0.69 |
O = 128 T = 4.01 |
O = 128 T = 3.76 |
O = 128 T = 3.98 |
O = 128 T = 3.69 |
O = 218 T = 0.22 |
O = 128 T = 9.28 |
O = 128 T = 16.19 |
| s2v200c1300-1.cnf | O = 142 T = 2.73 |
O = 142 T = 4.44 |
O = 142 T = 3.69 |
O = 142 T = 2.78 |
O = 148 T = 3.27 |
O = N/A T = TO |
O = 650 T = 0.88 |
O = 142 T = 43.61 |
O = 142 T = 2.73 |
O = 142 T = 3.53 |
O = 142 T = 3.52 |
O = 232 T = 0.23 |
O = 142 T = 7.34 |
O = 142 T = 36.42 |
| s2v200c1300-2.cnf | O = 147 T = 2.51 |
O = 147 T = 6.66 |
O = 147 T = 2.81 |
O = 147 T = 2.51 |
O = 160 T = 3.80 |
O = N/A T = TO |
O = 650 T = 0.48 |
O = 147 T = 3.98 |
O = 147 T = 3.31 |
O = 147 T = 3.94 |
O = 147 T = 3.17 |
O = 253 T = 0.19 |
O = 147 T = 10.71 |
O = 147 T = 36.64 |
| s2v200c1300-3.cnf | O = 146 T = 2.79 |
O = 146 T = 4.06 |
O = 146 T = 3.42 |
O = 146 T = 2.79 |
O = 156 T = 2.93 |
O = N/A T = TO |
O = 650 T = 0.43 |
O = 146 T = 3.81 |
O = 146 T = 3.70 |
O = 146 T = 4.45 |
O = 146 T = 2.83 |
O = 253 T = 0.14 |
O = 146 T = 6.75 |
O = 146 T = 36.21 |
| s2v200c1400-1.cnf | O = 159 T = 1.99 |
O = 159 T = 4.46 |
O = 159 T = 4.35 |
O = 159 T = 1.99 |
O = 171 T = 3.43 |
O = N/A T = TO |
O = 700 T = 0.53 |
O = 159 T = 4.43 |
O = 159 T = 4.80 |
O = 159 T = 3.63 |
O = 159 T = 3.38 |
O = 249 T = 0.22 |
O = 159 T = 7.11 |
O = 159 T = 35.86 |
| s2v200c1400-2.cnf | O = 161 T = 2.01 |
O = 161 T = 10.86 |
O = 161 T = 3.97 |
O = 161 T = 3.70 |
O = 165 T = 3.44 |
O = N/A T = TO |
O = 700 T = 0.76 |
O = 161 T = 3.67 |
O = 161 T = 2.01 |
O = 161 T = 3.22 |
O = 161 T = 3.66 |
O = 243 T = 0.19 |
O = 161 T = 6.45 |
O = 161 T = 36.38 |
| s2v200c1400-3.cnf | O = 162 T = 2.78 |
O = 162 T = 4.67 |
O = 162 T = 3.51 |
O = 162 T = 2.78 |
O = 169 T = 3.49 |
O = N/A T = TO |
O = 700 T = 0.69 |
O = 162 T = 4.43 |
O = 162 T = 3.00 |
O = 162 T = 3.83 |
O = 162 T = 4.53 |
O = 279 T = 0.15 |
O = 162 T = 5.96 |
O = 162 T = 16.48 |
| s2v200c1500-1.cnf | O = 178 T = 2.95 |
O = 178 T = 3.85 |
O = 178 T = 4.18 |
O = 178 T = 3.78 |
O = 187 T = 3.46 |
O = N/A T = TO |
O = 750 T = 0.92 |
O = 178 T = 3.71 |
O = 178 T = 2.95 |
O = 178 T = 4.68 |
O = 178 T = 4.19 |
O = 272 T = 0.20 |
O = 178 T = 6.37 |
O = 178 T = 29.08 |
| s2v200c1500-2.cnf | O = 176 T = 3.48 |
O = 176 T = 4.70 |
O = 176 T = 3.97 |
O = 176 T = 3.48 |
O = 181 T = 3.89 |
O = N/A T = TO |
O = 750 T = 0.64 |
O = 176 T = 3.64 |
O = 176 T = 3.50 |
O = 176 T = 4.81 |
O = 176 T = 4.10 |
O = 290 T = 0.19 |
O = 176 T = 6.74 |
O = 176 T = 29.11 |
| s2v200c1500-3.cnf | O = 181 T = 2.96 |
O = 181 T = 3.21 |
O = 181 T = 4.13 |
O = 181 T = 2.96 |
O = 192 T = 3.59 |
O = N/A T = TO |
O = 750 T = 0.67 |
O = 181 T = 4.21 |
O = 181 T = 3.45 |
O = 181 T = 4.50 |
O = 181 T = 3.99 |
O = 299 T = 0.13 |
O = 181 T = 6.86 |
O = 181 T = 19.25 |
| s2v200c1600-1.cnf | O = 200 T = 2.73 |
O = 200 T = 4.20 |
O = 200 T = 4.45 |
O = 200 T = 2.73 |
O = 203 T = 4.26 |
O = N/A T = TO |
O = 800 T = 0.53 |
O = 200 T = 3.89 |
O = 200 T = 3.43 |
O = 200 T = 4.33 |
O = 200 T = 3.10 |
O = 306 T = 0.14 |
O = 200 T = 6.99 |
O = 200 T = 36.02 |
| s2v200c1600-2.cnf | O = 193 T = 3.69 |
O = 193 T = 4.61 |
O = 193 T = 4.09 |
O = 193 T = 3.69 |
O = 205 T = 3.52 |
O = N/A T = TO |
O = 800 T = 0.71 |
O = 193 T = 5.00 |
O = 193 T = 4.73 |
O = 193 T = 4.54 |
O = 193 T = 4.12 |
O = 329 T = 0.17 |
O = 193 T = 6.62 |
O = 193 T = 15.71 |
| s2v200c1600-3.cnf | O = 200 T = 3.25 |
O = 200 T = 4.87 |
O = 200 T = 3.61 |
O = 200 T = 3.25 |
O = 204 T = 3.80 |
O = N/A T = TO |
O = 800 T = 0.87 |
O = 200 T = 3.82 |
O = 200 T = 4.34 |
O = 200 T = 4.01 |
O = 200 T = 4.34 |
O = 328 T = 0.23 |
O = 200 T = 6.55 |
O = 200 T = 28.92 |
| s2v200c1700-1.cnf | O = 216 T = 3.06 |
O = 216 T = 5.03 |
O = 216 T = 3.93 |
O = 216 T = 3.06 |
O = 223 T = 3.15 |
O = N/A T = TO |
O = 850 T = 0.88 |
O = 216 T = 3.74 |
O = 216 T = 3.50 |
O = 216 T = 5.32 |
O = 216 T = 4.10 |
O = 352 T = 0.23 |
O = 216 T = 6.10 |
O = 216 T = 24.10 |
| s2v200c1700-2.cnf | O = 215 T = 3.86 |
O = 215 T = 4.27 |
O = 215 T = 4.32 |
O = 215 T = 3.94 |
O = 220 T = 4.06 |
O = N/A T = TO |
O = 850 T = 0.49 |
O = 215 T = 4.23 |
O = 215 T = 4.43 |
O = 215 T = 4.34 |
O = 215 T = 3.86 |
O = 337 T = 0.14 |
O = 215 T = 6.43 |
O = 215 T = 19.33 |
| s2v200c1700-3.cnf | O = 219 T = 2.42 |
O = 219 T = 5.12 |
O = 219 T = 3.20 |
O = 219 T = 2.42 |
O = 224 T = 4.22 |
O = N/A T = TO |
O = 850 T = 0.91 |
O = 219 T = 4.96 |
O = 219 T = 3.52 |
O = 219 T = 3.93 |
O = 219 T = 4.98 |
O = 335 T = 0.17 |
O = 219 T = 6.41 |
O = 219 T = 35.71 |
| s2v200c1800-1.cnf | O = 236 T = 3.34 |
O = 236 T = 5.31 |
O = 236 T = 4.05 |
O = 236 T = 4.09 |
O = 236 T = 3.66 |
O = N/A T = TO |
O = 900 T = 0.48 |
O = 236 T = 3.85 |
O = 236 T = 3.34 |
O = 236 T = 3.86 |
O = 236 T = 4.59 |
O = 387 T = 0.21 |
O = 236 T = 7.22 |
O = 236 T = 23.26 |
| s2v200c1800-2.cnf | O = 233 T = 3.42 |
O = 233 T = 4.43 |
O = 233 T = 4.14 |
O = 233 T = 3.54 |
O = 240 T = 4.37 |
O = N/A T = TO |
O = 900 T = 1.00 |
O = 233 T = 4.80 |
O = 233 T = 3.42 |
O = 233 T = 4.75 |
O = 233 T = 3.60 |
O = 362 T = 0.24 |
O = 233 T = 6.13 |
O = 233 T = 19.41 |
| s2v200c1800-3.cnf | O = 240 T = 2.95 |
O = 240 T = 3.86 |
O = 240 T = 2.95 |
O = 240 T = 3.51 |
O = 246 T = 3.57 |
O = N/A T = TO |
O = 900 T = 1.06 |
O = 240 T = 3.37 |
O = 240 T = 3.76 |
O = 240 T = 3.38 |
O = 240 T = 3.03 |
O = 379 T = 0.16 |
O = 240 T = 7.13 |
O = 240 T = 36.01 |
| s2v200c1900-1.cnf | O = 256 T = 2.49 |
O = 256 T = 3.83 |
O = 256 T = 3.34 |
O = 256 T = 4.07 |
O = 267 T = 3.48 |
O = N/A T = TO |
O = N/A T = TO |
O = 256 T = 3.58 |
O = 256 T = 3.75 |
O = 256 T = 3.06 |
O = 256 T = 2.49 |
O = 368 T = 0.11 |
O = 256 T = 6.82 |
O = 256 T = 19.10 |
| s2v200c1900-2.cnf | O = 254 T = 3.62 |
O = 254 T = 4.13 |
O = 254 T = 3.90 |
O = 254 T = 3.62 |
O = 257 T = 3.83 |
O = N/A T = TO |
O = 950 T = 1.08 |
O = 254 T = 4.74 |
O = 254 T = 4.13 |
O = 254 T = 3.87 |
O = 254 T = 3.65 |
O = 416 T = 0.20 |
O = 254 T = 6.50 |
O = 254 T = 15.34 |
| s2v200c1900-3.cnf | O = 256 T = 3.49 |
O = 256 T = 4.34 |
O = 256 T = 3.65 |
O = 256 T = 3.49 |
O = 273 T = 2.21 |
O = N/A T = TO |
O = 950 T = 0.81 |
O = 256 T = 4.05 |
O = 256 T = 3.64 |
O = 256 T = 4.64 |
O = 256 T = 4.06 |
O = 396 T = 0.17 |
O = 256 T = 6.88 |
O = 256 T = 15.81 |
| s2v200c2000-1.cnf | O = 273 T = 2.79 |
O = 273 T = 3.72 |
O = 273 T = 3.24 |
O = 273 T = 3.20 |
O = 284 T = 3.58 |
O = N/A T = TO |
O = 1000 T = 0.85 |
O = 273 T = 4.60 |
O = 273 T = 3.98 |
O = 273 T = 4.51 |
O = 273 T = 2.79 |
O = 430 T = 0.19 |
O = 273 T = 6.45 |
O = 273 T = 36.20 |
| s2v200c2000-2.cnf | O = 275 T = 3.53 |
O = 275 T = 4.99 |
O = 275 T = 5.23 |
O = 275 T = 3.53 |
O = 289 T = 2.91 |
O = N/A T = TO |
O = N/A T = TO |
O = 275 T = 4.67 |
O = 275 T = 3.67 |
O = 275 T = 4.47 |
O = 275 T = 3.58 |
O = 413 T = 0.19 |
O = 275 T = 7.18 |
O = 275 T = 15.84 |
| s2v200c2000-3.cnf | O = 272 T = 2.59 |
O = 272 T = 4.75 |
O = 272 T = 3.39 |
O = 272 T = 3.66 |
O = 283 T = 3.41 |
O = N/A T = TO |
O = 1000 T = 0.72 |
O = 272 T = 5.46 |
O = 272 T = 3.05 |
O = 272 T = 2.59 |
O = 272 T = 2.69 |
O = 421 T = 0.14 |
O = 272 T = 7.00 |
O = 272 T = 24.78 |
| s2v200c2100-1.cnf | O = 289 T = 2.75 |
O = 289 T = 4.15 |
O = 289 T = 4.11 |
O = 289 T = 3.87 |
O = 289 T = 4.29 |
O = N/A T = TO |
O = 1050 T = 0.96 |
O = 289 T = 4.22 |
O = 289 T = 2.75 |
O = 289 T = 4.18 |
O = 289 T = 3.96 |
O = 423 T = 0.21 |
O = 289 T = 6.65 |
O = 289 T = 24.47 |
| s2v200c2100-2.cnf | O = 292 T = 3.01 |
O = 292 T = 4.50 |
O = 292 T = 5.44 |
O = 292 T = 3.01 |
O = 301 T = 2.00 |
O = N/A T = TO |
O = 1050 T = 0.96 |
O = 292 T = 4.56 |
O = 292 T = 3.41 |
O = 292 T = 4.77 |
O = 292 T = 3.44 |
O = 439 T = 0.25 |
O = 292 T = 6.21 |
O = 292 T = 24.14 |
| s2v200c2100-3.cnf | O = 296 T = 3.27 |
O = 296 T = 4.81 |
O = 296 T = 3.92 |
O = 296 T = 3.70 |
O = 299 T = 4.66 |
O = N/A T = TO |
O = 1050 T = 1.00 |
O = 296 T = 4.49 |
O = 296 T = 4.43 |
O = 296 T = 9.18 |
O = 296 T = 3.27 |
O = 456 T = 0.23 |
O = 296 T = 6.82 |
O = 296 T = 35.95 |
| s2v200c2200-1.cnf | O = 311 T = 3.25 |
O = 311 T = 4.33 |
O = 311 T = 4.05 |
O = 311 T = 3.38 |
O = 323 T = 3.91 |
O = N/A T = TO |
O = N/A T = TO |
O = 311 T = 3.25 |
O = 311 T = 3.35 |
O = 311 T = 3.62 |
O = 311 T = 3.63 |
O = 451 T = 0.14 |
O = 311 T = 6.28 |
O = 311 T = 36.37 |
| s2v200c2200-2.cnf | O = 309 T = 3.38 |
O = 309 T = 5.53 |
O = 309 T = 4.65 |
O = 309 T = 3.38 |
O = 325 T = 2.99 |
O = N/A T = TO |
O = 1100 T = 0.96 |
O = 309 T = 3.98 |
O = 309 T = 3.89 |
O = 309 T = 4.76 |
O = 309 T = 3.55 |
O = N/A T = TO |
O = 309 T = 8.38 |
O = 309 T = 16.22 |
| s2v200c2200-3.cnf | O = 313 T = 3.40 |
O = 313 T = 3.40 |
O = 313 T = 3.48 |
O = 313 T = 3.85 |
O = 320 T = 3.96 |
O = N/A T = TO |
O = N/A T = TO |
O = 313 T = 4.14 |
O = 313 T = 3.43 |
O = 313 T = 5.25 |
O = 313 T = 3.77 |
O = 468 T = 0.21 |
O = 313 T = 6.26 |
O = 313 T = 29.15 |
| s2v200c2300-1.cnf | O = 330 T = 2.68 |
O = 330 T = 4.95 |
O = 330 T = 4.00 |
O = 330 T = 4.00 |
O = 340 T = 4.46 |
O = N/A T = TO |
O = 1150 T = 0.63 |
O = 330 T = 4.04 |
O = 330 T = 4.09 |
O = 330 T = 4.24 |
O = 330 T = 2.68 |
O = 472 T = 0.23 |
O = 330 T = 6.72 |
O = 330 T = 29.00 |
| s2v200c2300-2.cnf | O = 330 T = 3.02 |
O = 330 T = 4.07 |
O = 330 T = 4.82 |
O = 330 T = 3.64 |
O = 346 T = 2.99 |
O = N/A T = TO |
O = N/A T = TO |
O = 330 T = 85.03 |
O = 330 T = 3.76 |
O = 330 T = 9.22 |
O = 330 T = 3.02 |
O = 466 T = 0.14 |
O = 330 T = 6.51 |
O = 330 T = 35.95 |
| s2v200c2300-3.cnf | O = 336 T = 3.18 |
O = 336 T = 3.51 |
O = 336 T = 3.81 |
O = 336 T = 4.23 |
O = 344 T = 3.52 |
O = N/A T = TO |
O = N/A T = TO |
O = 336 T = 4.30 |
O = 336 T = 3.18 |
O = 336 T = 3.34 |
O = 336 T = 3.50 |
O = 502 T = 0.14 |
O = 336 T = 6.22 |
O = 336 T = 17.14 |
| s2v200c2400-1.cnf | O = 347 T = 3.06 |
O = 347 T = 3.82 |
O = 347 T = 4.67 |
O = 347 T = 4.56 |
O = 351 T = 2.44 |
O = N/A T = TO |
O = 1200 T = 1.19 |
O = 347 T = 4.43 |
O = 347 T = 3.64 |
O = 347 T = 3.06 |
O = 347 T = 27.78 |
O = 506 T = 0.13 |
O = 347 T = 6.06 |
O = 347 T = 15.28 |
| s2v200c2400-2.cnf | O = 350 T = 3.62 |
O = 350 T = 5.56 |
O = 350 T = 4.29 |
O = 350 T = 3.62 |
O = 357 T = 4.51 |
O = N/A T = TO |
O = 1200 T = 0.96 |
O = 350 T = 8.11 |
O = 350 T = 3.93 |
O = 350 T = 4.51 |
O = 350 T = 11.02 |
O = 503 T = 0.12 |
O = 350 T = 6.27 |
O = 350 T = 36.42 |
| s2v200c2400-3.cnf | O = 353 T = 2.90 |
O = 353 T = 4.28 |
O = 353 T = 2.90 |
O = 353 T = 4.55 |
O = 373 T = 4.21 |
O = N/A T = TO |
O = N/A T = TO |
O = 353 T = 3.98 |
O = 353 T = 3.60 |
O = 353 T = 4.48 |
O = 353 T = 3.13 |
O = 524 T = 0.24 |
O = 353 T = 6.44 |
O = 353 T = 35.76 |
| s2v200c2500-1.cnf | O = 368 T = 2.98 |
O = 368 T = 5.97 |
O = 368 T = 5.05 |
O = 368 T = 4.66 |
O = 379 T = 3.55 |
O = N/A T = TO |
O = 1250 T = 0.80 |
O = 368 T = 4.35 |
O = 368 T = 2.98 |
O = 368 T = 4.77 |
O = 368 T = 4.11 |
O = N/A T = TO |
O = 368 T = 6.25 |
O = 368 T = 15.92 |
| s2v200c2500-2.cnf | O = 373 T = 3.39 |
O = 373 T = 4.75 |
O = 373 T = 3.94 |
O = 373 T = 3.43 |
O = 380 T = 4.66 |
O = N/A T = TO |
O = N/A T = TO |
O = 373 T = 4.94 |
O = 373 T = 3.39 |
O = 373 T = 4.64 |
O = 373 T = 96.37 |
O = 516 T = 0.17 |
O = 373 T = 7.46 |
O = 373 T = 36.73 |
| s2v200c2500-3.cnf | O = 369 T = 3.55 |
O = 369 T = 3.91 |
O = 369 T = 4.02 |
O = 369 T = 4.03 |
O = 386 T = 4.23 |
O = N/A T = TO |
O = N/A T = TO |
O = 369 T = 4.86 |
O = 369 T = 3.97 |
O = 369 T = 4.71 |
O = 369 T = 3.55 |
O = 584 T = 0.17 |
O = 369 T = 6.48 |
O = 369 T = 16.02 |
| s2v200c2600-1.cnf | O = 390 T = 3.07 |
O = 390 T = 3.28 |
O = 390 T = 3.09 |
O = 390 T = 3.47 |
O = 401 T = 3.82 |
O = N/A T = TO |
O = 1300 T = 0.60 |
O = 390 T = 4.79 |
O = 390 T = 3.40 |
O = 390 T = 4.46 |
O = 390 T = 3.07 |
O = N/A T = TO |
O = 390 T = 6.20 |
O = 390 T = 17.93 |
| s2v200c2600-2.cnf | O = 392 T = 3.61 |
O = 392 T = 5.00 |
O = 392 T = 5.28 |
O = 392 T = 3.90 |
O = 406 T = 4.17 |
O = N/A T = TO |
O = 1300 T = 1.10 |
O = 392 T = 4.44 |
O = 392 T = 3.61 |
O = 392 T = 5.48 |
O = 392 T = 4.09 |
O = 559 T = 0.20 |
O = 392 T = 7.26 |
O = 392 T = 36.70 |
| s2v200c2600-3.cnf | O = 390 T = 3.47 |
O = 390 T = 3.85 |
O = 390 T = 5.18 |
O = 390 T = 3.47 |
O = 405 T = 3.81 |
O = N/A T = TO |
O = 1300 T = 1.20 |
O = 390 T = 4.55 |
O = 390 T = 4.05 |
O = 390 T = 3.91 |
O = 390 T = 3.90 |
O = 562 T = 0.28 |
O = 390 T = 6.40 |
O = 390 T = 15.34 |
| s2v220c1200-1.cnf | O = 117 T = 3.31 |
O = 117 T = 4.78 |
O = 117 T = 3.38 |
O = 117 T = 3.38 |
O = 124 T = 2.98 |
O = N/A T = TO |
O = 600 T = 0.47 |
O = 117 T = 4.49 |
O = 117 T = 3.31 |
O = 117 T = 5.80 |
O = 117 T = 3.54 |
O = 196 T = 0.23 |
O = 117 T = 6.18 |
O = 117 T = 35.56 |
| s2v220c1200-2.cnf | O = 116 T = 2.35 |
O = 116 T = 4.72 |
O = 116 T = 5.13 |
O = 116 T = 3.22 |
O = 120 T = 3.50 |
O = N/A T = TO |
O = 600 T = 0.53 |
O = 116 T = 4.61 |
O = 116 T = 2.35 |
O = 116 T = 3.90 |
O = 116 T = 3.12 |
O = 198 T = 0.13 |
O = 116 T = 7.06 |
O = 116 T = 16.33 |
| s2v220c1200-3.cnf | O = 115 T = 2.26 |
O = 115 T = 3.98 |
O = 115 T = 4.03 |
O = 115 T = 2.26 |
O = 125 T = 4.19 |
O = N/A T = TO |
O = 600 T = 1.12 |
O = 115 T = 3.90 |
O = 115 T = 4.00 |
O = 115 T = 5.44 |
O = 115 T = 3.56 |
O = 197 T = 0.23 |
O = 115 T = 6.90 |
O = 115 T = 23.01 |
| s2v220c1300-1.cnf | O = 132 T = 2.22 |
O = 132 T = 5.62 |
O = 132 T = 3.45 |
O = 132 T = 2.94 |
O = 144 T = 3.30 |
O = N/A T = TO |
O = 650 T = 0.78 |
O = 132 T = 5.24 |
O = 132 T = 2.62 |
O = 132 T = 3.70 |
O = 132 T = 2.22 |
O = 242 T = 0.13 |
O = 132 T = 6.39 |
O = 132 T = 15.57 |
| s2v220c1300-2.cnf | O = 132 T = 3.09 |
O = 132 T = 5.26 |
O = 132 T = 3.50 |
O = 132 T = 3.54 |
O = 142 T = 3.87 |
O = N/A T = TO |
O = 650 T = 1.00 |
O = 132 T = 3.70 |
O = 132 T = 3.81 |
O = 132 T = 3.72 |
O = 132 T = 3.09 |
O = 234 T = 0.16 |
O = 132 T = 7.28 |
O = 132 T = 16.09 |
| s2v220c1300-3.cnf | O = 136 T = 2.47 |
O = 136 T = 5.33 |
O = 136 T = 3.84 |
O = 136 T = 2.47 |
O = 140 T = 4.07 |
O = N/A T = TO |
O = 650 T = 0.55 |
O = 136 T = 4.91 |
O = 136 T = 3.73 |
O = 136 T = 4.51 |
O = 136 T = 4.39 |
O = 220 T = 0.20 |
O = 136 T = 6.73 |
O = 136 T = 28.39 |
| s2v220c1400-1.cnf | O = 154 T = 2.83 |
O = 154 T = 6.06 |
O = 154 T = 4.34 |
O = 154 T = 2.83 |
O = 167 T = 2.93 |
O = N/A T = TO |
O = 700 T = 0.81 |
O = 154 T = 3.88 |
O = 154 T = 4.99 |
O = 154 T = 4.46 |
O = 154 T = 3.58 |
O = 247 T = 0.17 |
O = 154 T = 6.87 |
O = 154 T = 15.43 |
| s2v220c1400-2.cnf | O = 149 T = 2.74 |
O = 149 T = 5.28 |
O = 149 T = 2.74 |
O = 149 T = 3.10 |
O = 155 T = 3.71 |
O = N/A T = TO |
O = 700 T = 0.76 |
O = 149 T = 3.54 |
O = 149 T = 2.91 |
O = 149 T = 4.16 |
O = 149 T = 3.73 |
O = 262 T = 0.20 |
O = 149 T = 6.79 |
O = 149 T = 36.70 |
| s2v220c1400-3.cnf | O = 151 T = 2.73 |
O = 151 T = 4.19 |
O = 151 T = 3.96 |
O = 151 T = 2.88 |
O = 159 T = 4.02 |
O = N/A T = TO |
O = 700 T = 1.06 |
O = 151 T = 4.46 |
O = 151 T = 2.73 |
O = 151 T = 4.29 |
O = 151 T = 3.65 |
O = 251 T = 0.21 |
O = 151 T = 8.35 |
O = 151 T = 36.49 |
| s2v220c1500-1.cnf | O = 170 T = 2.78 |
O = 170 T = 4.59 |
O = 170 T = 3.91 |
O = 170 T = 3.97 |
O = 175 T = 3.64 |
O = N/A T = TO |
O = 750 T = 1.00 |
O = 170 T = 3.99 |
O = 170 T = 4.56 |
O = 170 T = 4.19 |
O = 170 T = 2.78 |
O = 262 T = 0.23 |
O = 170 T = 7.76 |
O = 170 T = 15.52 |
| s2v220c1500-2.cnf | O = 169 T = 2.89 |
O = 169 T = 3.45 |
O = 169 T = 3.68 |
O = 169 T = 2.89 |
O = 180 T = 3.21 |
O = N/A T = TO |
O = 750 T = 0.90 |
O = 169 T = 4.42 |
O = 169 T = 4.32 |
O = 169 T = 3.47 |
O = 169 T = 3.53 |
O = 293 T = 0.16 |
O = 169 T = 6.66 |
O = 169 T = 37.81 |
| s2v220c1500-3.cnf | O = 169 T = 2.86 |
O = 169 T = 4.98 |
O = 169 T = 5.15 |
O = 169 T = 2.93 |
O = 172 T = 4.03 |
O = N/A T = TO |
O = 750 T = 1.14 |
O = 169 T = 4.41 |
O = 169 T = 4.04 |
O = 169 T = 4.77 |
O = 169 T = 2.86 |
O = 265 T = 0.21 |
O = 170 T = 6.76 |
O = 169 T = 39.48 |
| s2v220c1600-1.cnf | O = 186 T = 3.07 |
O = 186 T = 4.78 |
O = 186 T = 3.91 |
O = 186 T = 3.64 |
O = 195 T = 2.07 |
O = N/A T = TO |
O = 800 T = 0.69 |
O = 186 T = 5.38 |
O = 186 T = 3.07 |
O = 186 T = 4.23 |
O = 186 T = 4.34 |
O = 305 T = 0.20 |
O = 186 T = 7.07 |
O = 186 T = 19.71 |
| s2v220c1600-2.cnf | O = 186 T = 2.78 |
O = 186 T = 4.54 |
O = 186 T = 4.66 |
O = 186 T = 3.41 |
O = 198 T = 2.97 |
O = N/A T = TO |
O = 800 T = 0.92 |
O = 186 T = 4.69 |
O = 186 T = 3.55 |
O = 186 T = 4.78 |
O = 186 T = 2.78 |
O = 305 T = 0.23 |
O = 186 T = 7.27 |
O = 186 T = 29.10 |
| s2v220c1600-3.cnf | O = 184 T = 2.69 |
O = 184 T = 4.46 |
O = 184 T = 4.87 |
O = 184 T = 2.69 |
O = 205 T = 3.80 |
O = N/A T = TO |
O = 800 T = 0.92 |
O = 184 T = 2.95 |
O = 184 T = 5.29 |
O = 184 T = 5.13 |
O = 184 T = 4.81 |
O = 293 T = 0.21 |
O = 184 T = 6.80 |
O = 184 T = 15.21 |
| s2v220c1700-1.cnf | O = 209 T = 3.62 |
O = 209 T = 5.11 |
O = 209 T = 4.07 |
O = 209 T = 3.71 |
O = 216 T = 3.49 |
O = N/A T = TO |
O = 850 T = 1.03 |
O = 209 T = 4.69 |
O = 209 T = 3.62 |
O = 209 T = 4.42 |
O = 209 T = 3.63 |
O = 335 T = 0.22 |
O = 209 T = 6.34 |
O = 209 T = 35.78 |
| s2v220c1700-2.cnf | O = 204 T = 3.22 |
O = 204 T = 5.16 |
O = 204 T = 4.51 |
O = 204 T = 3.22 |
O = 207 T = 3.78 |
O = N/A T = TO |
O = 850 T = 0.73 |
O = 204 T = 4.61 |
O = 204 T = 4.15 |
O = 204 T = 4.14 |
O = 204 T = 4.31 |
O = 336 T = 0.20 |
O = 204 T = 8.81 |
O = 204 T = 15.40 |
| s2v220c1700-3.cnf | O = 199 T = 3.68 |
O = 199 T = 3.79 |
O = 199 T = 4.41 |
O = 199 T = 3.68 |
O = 222 T = 3.97 |
O = N/A T = TO |
O = 850 T = 0.88 |
O = 199 T = 4.59 |
O = 199 T = 4.27 |
O = 199 T = 4.91 |
O = 199 T = 4.23 |
O = 326 T = 0.23 |
O = 199 T = 7.28 |
O = 199 T = 36.60 |
| s2v220c1800-1.cnf | O = 227 T = 2.98 |
O = 227 T = 4.84 |
O = 227 T = 3.45 |
O = 227 T = 3.46 |
O = 231 T = 4.13 |
O = N/A T = TO |
O = 900 T = 0.93 |
O = 227 T = 3.74 |
O = 227 T = 4.40 |
O = 227 T = 3.65 |
O = 227 T = 2.98 |
O = 353 T = 0.18 |
O = 227 T = 7.38 |
O = 227 T = 15.25 |
| s2v220c1800-2.cnf | O = 225 T = 2.77 |
O = 225 T = 4.91 |
O = 225 T = 3.80 |
O = 225 T = 3.66 |
O = 238 T = 3.24 |
O = N/A T = TO |
O = 900 T = 0.84 |
O = 225 T = 5.13 |
O = 225 T = 2.77 |
O = 225 T = 2.96 |
O = 225 T = 3.17 |
O = 357 T = 0.21 |
O = 225 T = 8.24 |
O = 225 T = 28.90 |
| s2v220c1800-3.cnf | O = 216 T = 3.63 |
O = 216 T = 5.41 |
O = 216 T = 4.12 |
O = 216 T = 3.63 |
O = 229 T = 2.63 |
O = N/A T = TO |
O = 900 T = 0.80 |
O = 216 T = 5.13 |
O = 216 T = 4.47 |
O = 216 T = 4.77 |
O = 216 T = 4.50 |
O = 350 T = 0.10 |
O = 216 T = 6.52 |
O = 216 T = 15.59 |
| s2v220c1900-1.cnf | O = 249 T = 3.21 |
O = 249 T = 4.47 |
O = 249 T = 4.90 |
O = 249 T = 3.79 |
O = 250 T = 4.32 |
O = N/A T = TO |
O = N/A T = TO |
O = 249 T = 4.03 |
O = 249 T = 3.89 |
O = 249 T = 5.49 |
O = 249 T = 3.21 |
O = 361 T = 0.25 |
O = 249 T = 6.57 |
O = 249 T = 22.65 |
| s2v220c1900-2.cnf | O = 245 T = 3.03 |
O = 245 T = 3.60 |
O = 245 T = 4.04 |
O = 245 T = 4.15 |
O = 254 T = 2.61 |
O = N/A T = TO |
O = 950 T = 0.96 |
O = 245 T = 4.86 |
O = 245 T = 3.03 |
O = 245 T = 5.30 |
O = 245 T = 4.35 |
O = 389 T = 0.23 |
O = 245 T = 6.61 |
O = 245 T = 16.11 |
| s2v220c1900-3.cnf | O = 238 T = 3.29 |
O = 238 T = 4.26 |
O = 238 T = 4.34 |
O = 238 T = 3.33 |
O = 260 T = 3.76 |
O = N/A T = TO |
O = 950 T = 0.83 |
O = 238 T = 5.19 |
O = 238 T = 3.29 |
O = 238 T = 4.30 |
O = 238 T = 4.56 |
O = 399 T = 0.23 |
O = 238 T = 7.09 |
O = 238 T = 23.38 |
| s2v220c2000-1.cnf | O = 265 T = 2.70 |
O = 265 T = 9.19 |
O = 265 T = 4.34 |
O = 265 T = 2.70 |
O = 286 T = 3.58 |
O = N/A T = TO |
O = 1000 T = 0.55 |
O = 265 T = 5.89 |
O = 265 T = 3.97 |
O = 265 T = 5.13 |
O = 265 T = 3.34 |
O = 420 T = 0.11 |
O = 265 T = 10.44 |
O = 265 T = 16.65 |
| s2v220c2000-2.cnf | O = 263 T = 2.51 |
O = 263 T = 5.13 |
O = 263 T = 4.74 |
O = 263 T = 2.51 |
O = 266 T = 4.56 |
O = N/A T = TO |
O = N/A T = TO |
O = 263 T = 5.19 |
O = 263 T = 4.95 |
O = 263 T = 5.04 |
O = 263 T = 3.89 |
O = 419 T = 0.24 |
O = 263 T = 7.79 |
O = 263 T = 36.71 |
| s2v220c2000-3.cnf | O = 264 T = 2.89 |
O = 264 T = 8.51 |
O = 264 T = 4.35 |
O = 264 T = 3.40 |
O = 271 T = 5.07 |
O = N/A T = TO |
O = 1000 T = 0.80 |
O = 264 T = 15.47 |
O = 264 T = 2.89 |
O = 264 T = 14.03 |
O = 264 T = 3.88 |
O = 428 T = 0.23 |
O = 264 T = 8.04 |
O = 264 T = 37.52 |
| s2v220c2100-1.cnf | O = 284 T = 2.30 |
O = 284 T = 8.23 |
O = 284 T = 3.43 |
O = 284 T = 2.30 |
O = 299 T = 4.10 |
O = N/A T = TO |
O = N/A T = TO |
O = 284 T = 4.64 |
O = 284 T = 5.30 |
O = 284 T = 5.54 |
O = 284 T = 3.00 |
O = 450 T = 0.15 |
O = 284 T = 7.77 |
O = 284 T = 23.50 |
| s2v220c2100-2.cnf | O = 275 T = 3.25 |
O = 275 T = 4.57 |
O = 275 T = 3.65 |
O = 275 T = 4.10 |
O = 286 T = 4.61 |
O = N/A T = TO |
O = 1050 T = 1.13 |
O = 275 T = 4.63 |
O = 275 T = 3.58 |
O = 275 T = 4.82 |
O = 275 T = 3.25 |
O = 449 T = 0.22 |
O = 275 T = 6.39 |
O = 275 T = 16.90 |
| s2v220c2100-3.cnf | O = 281 T = 3.48 |
O = 281 T = 3.88 |
O = 281 T = 4.07 |
O = 281 T = 3.87 |
O = 287 T = 4.86 |
O = N/A T = TO |
O = 1050 T = 0.97 |
O = 281 T = 4.83 |
O = 281 T = 5.42 |
O = 281 T = 5.06 |
O = 281 T = 3.48 |
O = 424 T = 0.24 |
O = 281 T = 6.68 |
O = 281 T = 19.43 |
| s2v220c2200-1.cnf | O = 304 T = 2.77 |
O = 304 T = 5.17 |
O = 304 T = 4.67 |
O = 304 T = 2.90 |
O = 311 T = 4.28 |
O = N/A T = TO |
O = N/A T = TO |
O = 304 T = 2.83 |
O = 304 T = 2.77 |
O = 304 T = 5.54 |
O = 304 T = 3.59 |
O = 454 T = 0.19 |
O = 304 T = 6.80 |
O = 304 T = 22.28 |
| s2v220c2200-2.cnf | O = 298 T = 2.14 |
O = 298 T = 4.53 |
O = 298 T = 4.88 |
O = 298 T = 3.89 |
O = 303 T = 2.71 |
O = N/A T = TO |
O = N/A T = TO |
O = 298 T = 4.03 |
O = 298 T = 2.14 |
O = 298 T = 5.60 |
O = 298 T = 2.89 |
O = 462 T = 0.17 |
O = 298 T = 6.35 |
O = 298 T = 15.51 |
| s2v220c2200-3.cnf | O = 301 T = 2.64 |
O = 301 T = 4.44 |
O = 301 T = 5.14 |
O = 301 T = 4.81 |
O = 305 T = 4.43 |
O = N/A T = TO |
O = N/A T = TO |
O = 301 T = 4.64 |
O = 301 T = 3.26 |
O = 301 T = 5.96 |
O = 301 T = 2.64 |
O = 446 T = 0.22 |
O = 301 T = 6.70 |
O = 301 T = 16.72 |
| s2v220c2300-1.cnf | O = 321 T = 3.41 |
O = 321 T = 5.12 |
O = 321 T = 3.41 |
O = 321 T = 4.30 |
O = 330 T = 5.13 |
O = N/A T = TO |
O = 1150 T = 1.11 |
O = 321 T = 4.02 |
O = 321 T = 4.72 |
O = 321 T = 5.77 |
O = 321 T = 3.93 |
O = 483 T = 0.22 |
O = 321 T = 7.67 |
O = 321 T = 19.03 |
| s2v220c2300-2.cnf | O = 319 T = 1.74 |
O = 319 T = 3.21 |
O = 319 T = 3.91 |
O = 319 T = 1.74 |
O = 346 T = 3.66 |
O = N/A T = TO |
O = N/A T = TO |
O = 319 T = 4.92 |
O = 319 T = 4.57 |
O = 319 T = 6.25 |
O = 319 T = 3.22 |
O = 504 T = 0.24 |
O = 319 T = 7.18 |
O = 319 T = 36.04 |
| s2v220c2300-3.cnf | O = 318 T = 3.09 |
O = 318 T = 4.11 |
O = 318 T = 4.53 |
O = 318 T = 3.09 |
O = 334 T = 3.81 |
O = N/A T = TO |
O = 1150 T = 1.08 |
O = 318 T = 4.42 |
O = 318 T = 4.92 |
O = 318 T = 5.39 |
O = 318 T = 4.24 |
O = 487 T = 0.17 |
O = 318 T = 6.36 |
O = 318 T = 36.14 |
| s2v220c2400-1.cnf | O = 343 T = 2.73 |
O = 343 T = 4.23 |
O = 343 T = 3.60 |
O = 343 T = 3.54 |
O = 366 T = 3.47 |
O = N/A T = TO |
O = 1200 T = 1.15 |
O = 343 T = 2.89 |
O = 343 T = 4.89 |
O = 343 T = 2.86 |
O = 343 T = 2.73 |
O = 511 T = 0.20 |
O = 343 T = 9.61 |
O = 343 T = 28.20 |
| s2v220c2400-2.cnf | O = 339 T = 2.62 |
O = 339 T = 4.80 |
O = 339 T = 4.29 |
O = 339 T = 4.33 |
O = 350 T = 4.69 |
O = N/A T = TO |
O = 1200 T = 0.79 |
O = 339 T = 2.62 |
O = 339 T = 5.38 |
O = 339 T = 4.94 |
O = 339 T = 3.20 |
O = 481 T = 0.21 |
O = 339 T = 6.60 |
O = 339 T = 17.10 |
| s2v220c2400-3.cnf | O = 337 T = 2.36 |
O = 337 T = 3.21 |
O = 337 T = 5.19 |
O = 337 T = 4.03 |
O = 358 T = 4.35 |
O = N/A T = TO |
O = 1200 T = 1.18 |
O = 337 T = 5.69 |
O = 337 T = 3.90 |
O = 337 T = 5.24 |
O = 337 T = 2.36 |
O = 506 T = 0.24 |
O = 337 T = 6.77 |
O = 337 T = 36.40 |
| s2v220c2500-1.cnf | O = 361 T = 2.60 |
O = 361 T = 5.26 |
O = 361 T = 4.10 |
O = 361 T = 2.60 |
O = 365 T = 4.47 |
O = N/A T = TO |
O = N/A T = TO |
O = 361 T = 27.23 |
O = 361 T = 4.11 |
O = 361 T = 4.87 |
O = 361 T = 3.95 |
O = 554 T = 0.20 |
O = 361 T = 7.12 |
O = 361 T = 36.51 |
| s2v220c2500-2.cnf | O = 358 T = 3.58 |
O = 358 T = 5.44 |
O = 358 T = 4.30 |
O = 358 T = 4.75 |
O = 361 T = 4.06 |
O = N/A T = TO |
O = N/A T = TO |
O = 358 T = 3.66 |
O = 358 T = 3.58 |
O = 358 T = 5.34 |
O = 358 T = 4.01 |
O = 539 T = 0.21 |
O = 358 T = 6.40 |
O = 358 T = 15.95 |
| s2v220c2500-3.cnf | O = 359 T = 3.06 |
O = 359 T = 5.68 |
O = 359 T = 4.19 |
O = 359 T = 3.06 |
O = 375 T = 4.08 |
O = N/A T = TO |
O = 1250 T = 0.89 |
O = 359 T = 4.31 |
O = N/A T = TO |
O = 359 T = 5.53 |
O = 359 T = 25.24 |
O = 532 T = 0.17 |
O = 359 T = 10.03 |
O = 359 T = 18.83 |
| s2v220c2600-1.cnf | O = 379 T = 2.16 |
O = 379 T = 5.49 |
O = 379 T = 3.01 |
O = 379 T = 2.73 |
O = 379 T = 5.09 |
O = N/A T = TO |
O = 1300 T = 0.94 |
O = 379 T = 4.77 |
O = 379 T = 2.16 |
O = 379 T = 6.03 |
O = 379 T = 3.65 |
O = 562 T = 0.25 |
O = 379 T = 7.33 |
O = 379 T = 29.18 |
| s2v220c2600-2.cnf | O = 378 T = 2.39 |
O = 378 T = 5.44 |
O = 378 T = 4.35 |
O = 378 T = 2.39 |
O = 392 T = 4.45 |
O = N/A T = TO |
O = N/A T = TO |
O = 378 T = 6.37 |
O = 378 T = 3.94 |
O = 378 T = 3.30 |
O = 378 T = 2.96 |
O = 577 T = 0.17 |
O = 378 T = 10.67 |
O = 378 T = 37.28 |
| s2v220c2600-3.cnf | O = 380 T = 3.11 |
O = 380 T = 4.09 |
O = 380 T = 3.11 |
O = 380 T = 4.53 |
O = 386 T = 4.00 |
O = N/A T = TO |
O = N/A T = TO |
O = 380 T = 5.60 |
O = 380 T = 3.62 |
O = 380 T = 5.12 |
O = 380 T = 4.01 |
O = 558 T = 0.23 |
O = 380 T = 8.57 |
O = 380 T = 36.01 |
| MANN_a27.clq.cnf | O = 404 T = 0.29 |
O = 404 T = 0.87 |
O = 404 T = 0.51 |
O = 404 T = 0.52 |
O = 404 T = 0.33 |
O = N/A T = TO |
O = N/A T = TO |
O = 404 T = 0.29 |
O = 404 T = 0.51 |
O = 404 T = 0.47 |
O = 404 T = 0.32 |
O = 804 T = 0.17 |
O = 404 T = 5.98 |
O = 404 T = 15.13 |
| MANN_a45.clq.cnf | O = 418 T = 0.06 |
O = 418 T = 0.66 |
O = 418 T = 0.20 |
O = 418 T = 0.32 |
O = 418 T = 0.08 |
O = N/A T = TO |
O = N/A T = TO |
O = 418 T = 0.14 |
O = 418 T = 0.29 |
O = 418 T = 0.19 |
O = 418 T = 0.06 |
O = 818 T = 0.07 |
O = 418 T = 5.96 |
O = 418 T = 10.71 |
| MANN_a81.clq.cnf | O = 399 T = 0.02 |
O = 399 T = 0.40 |
O = 399 T = 0.50 |
O = 399 T = 0.37 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 399 T = 0.02 |
O = 399 T = 0.30 |
O = 399 T = 0.22 |
O = 399 T = 0.06 |
O = 779 T = 0.23 |
O = 399 T = 5.96 |
O = 399 T = 7.03 |
| MANN_a9.clq.cnf | O = 422 T = 0.61 |
O = 422 T = 1.25 |
O = 422 T = 0.85 |
O = 422 T = 0.68 |
O = 424 T = 0.71 |
O = N/A T = TO |
O = N/A T = TO |
O = 422 T = 0.94 |
O = 422 T = 0.65 |
O = 422 T = 0.63 |
O = 422 T = 0.61 |
O = 759 T = 0.08 |
O = 422 T = 6.29 |
O = 422 T = 15.14 |
| brock200_1.clq.cnf | O = 238 T = 0.72 |
O = 238 T = 1.32 |
O = 238 T = 0.72 |
O = 238 T = 0.94 |
O = 242 T = 0.78 |
O = N/A T = TO |
O = 566 T = 0.59 |
O = 238 T = 0.74 |
O = 238 T = 1.00 |
O = 238 T = 0.79 |
O = 238 T = 0.78 |
O = 349 T = 0.26 |
O = 238 T = 6.21 |
O = 238 T = 15.51 |
| brock200_2.clq.cnf | O = 141 T = 0.73 |
O = 141 T = 1.28 |
O = 141 T = 1.07 |
O = 141 T = 1.01 |
O = 141 T = 1.00 |
O = N/A T = TO |
O = 385 T = 0.57 |
O = 141 T = 1.02 |
O = 141 T = 0.74 |
O = 141 T = 1.79 |
O = 141 T = 0.73 |
O = 177 T = 0.21 |
O = 141 T = 6.25 |
O = 141 T = 15.51 |
| brock200_3.clq.cnf | O = 214 T = 0.44 |
O = 214 T = 1.47 |
O = 214 T = 0.70 |
O = 214 T = 0.59 |
O = 217 T = 0.56 |
O = N/A T = TO |
O = 519 T = 0.56 |
O = 214 T = 0.44 |
O = 214 T = 0.91 |
O = 214 T = 1.17 |
O = 214 T = 0.44 |
O = 322 T = 0.17 |
O = 214 T = 6.26 |
O = 214 T = 15.51 |
| brock200_4.clq.cnf | O = 209 T = 0.62 |
O = 209 T = 1.24 |
O = 209 T = 1.03 |
O = 209 T = 0.89 |
O = 212 T = 0.54 |
O = N/A T = TO |
O = N/A T = TO |
O = 209 T = 0.79 |
O = 209 T = 0.63 |
O = 209 T = 0.64 |
O = 209 T = 0.62 |
O = 295 T = 0.16 |
O = 209 T = 6.16 |
O = 209 T = 13.40 |
| brock400_1.clq.cnf | O = 255 T = 0.40 |
O = 255 T = 1.08 |
O = 255 T = 0.77 |
O = 255 T = 0.40 |
O = 258 T = 0.65 |
O = N/A T = TO |
O = 596 T = 0.70 |
O = 255 T = 0.93 |
O = 255 T = 0.75 |
O = 255 T = 0.98 |
O = 255 T = 0.54 |
O = 383 T = 0.13 |
O = 255 T = 6.28 |
O = 255 T = 15.04 |
| brock400_2.clq.cnf | O = 252 T = 0.67 |
O = 252 T = 1.21 |
O = 252 T = 0.92 |
O = 252 T = 1.03 |
O = 257 T = 0.63 |
O = N/A T = TO |
O = N/A T = TO |
O = 252 T = 0.83 |
O = 252 T = 0.91 |
O = 252 T = 0.94 |
O = 252 T = 0.67 |
O = 362 T = 0.21 |
O = 252 T = 6.03 |
O = 252 T = 15.52 |
| brock400_3.clq.cnf | O = 238 T = 0.55 |
O = 238 T = 1.39 |
O = 238 T = 0.90 |
O = 238 T = 0.73 |
O = 240 T = 0.63 |
O = N/A T = TO |
O = N/A T = TO |
O = 238 T = 0.68 |
O = 238 T = 0.78 |
O = 238 T = 0.94 |
O = 238 T = 0.55 |
O = 436 T = 0.23 |
O = 238 T = 6.29 |
O = 238 T = 15.13 |
| brock400_4.clq.cnf | O = 249 T = 0.60 |
O = 249 T = 1.22 |
O = 249 T = 0.79 |
O = 249 T = 0.77 |
O = 254 T = 0.40 |
O = N/A T = TO |
O = N/A T = TO |
O = 249 T = 0.62 |
O = 249 T = 0.76 |
O = 249 T = 1.23 |
O = 249 T = 0.60 |
O = 497 T = 0.22 |
O = 249 T = 6.00 |
O = 249 T = 15.19 |
| brock800_1.clq.cnf | O = 205 T = 0.58 |
O = 205 T = 1.24 |
O = 205 T = 1.23 |
O = 205 T = 0.60 |
O = 209 T = 0.66 |
O = N/A T = TO |
O = N/A T = TO |
O = 205 T = 0.76 |
O = 205 T = 0.61 |
O = 205 T = 0.58 |
O = 205 T = 0.94 |
O = 359 T = 0.10 |
O = 205 T = 6.10 |
O = 205 T = 15.53 |
| brock800_2.clq.cnf | O = 207 T = 0.42 |
O = 207 T = 1.49 |
O = 207 T = 0.70 |
O = 207 T = 0.87 |
O = 209 T = 0.45 |
O = N/A T = TO |
O = 513 T = 0.68 |
O = 207 T = 0.42 |
O = 207 T = 0.86 |
O = 207 T = 0.59 |
O = 207 T = 0.81 |
O = 330 T = 0.21 |
O = 207 T = 6.15 |
O = 207 T = 15.25 |
| brock800_3.clq.cnf | O = 203 T = 0.38 |
O = 203 T = 0.95 |
O = 203 T = 1.03 |
O = 203 T = 0.38 |
O = 203 T = 0.83 |
O = N/A T = TO |
O = N/A T = TO |
O = 203 T = 0.67 |
O = 203 T = 1.08 |
O = 203 T = 1.04 |
O = 203 T = 0.71 |
O = 336 T = 0.16 |
O = 203 T = 6.13 |
O = 203 T = 15.45 |
| brock800_4.clq.cnf | O = 200 T = 0.56 |
O = 200 T = 1.44 |
O = 200 T = 1.38 |
O = 200 T = 1.03 |
O = 203 T = 0.53 |
O = N/A T = TO |
O = 498 T = 0.66 |
O = 200 T = 0.56 |
O = 200 T = 1.17 |
O = 200 T = 1.30 |
O = 200 T = 0.79 |
O = 275 T = 0.12 |
O = 200 T = 6.16 |
O = 200 T = 15.08 |
| c-fat200-1.clq.cnf | O = 4 T = 0.00 |
O = 4 T = 1.04 |
O = 4 T = 0.80 |
O = 4 T = 0.16 |
O = 4 T = 0.41 |
O = 4 T = 0.01 |
O = 4 T = 0.00 |
O = 4 T = 0.55 |
O = 4 T = 0.69 |
O = 4 T = 0.78 |
O = 4 T = 0.45 |
O = 4 T = 0.00 |
O = 4 T = 6.08 |
O = 4 T = 2.39 |
| c-fat200-2.clq.cnf | O = 26 T = 0.02 |
O = 26 T = 1.33 |
O = 26 T = 1.11 |
O = 26 T = 0.56 |
O = 32 T = 0.38 |
O = 26 T = 32.75 |
O = 26 T = 0.22 |
O = 26 T = 0.50 |
O = 26 T = 0.84 |
O = 26 T = 1.09 |
O = 26 T = 0.69 |
O = 26 T = 0.02 |
O = 26 T = 6.03 |
O = 26 T = 3.10 |
| c-fat200-5.clq.cnf | O = 116 T = 0.37 |
O = 116 T = 1.25 |
O = 116 T = 0.68 |
O = 116 T = 0.82 |
O = 116 T = 0.87 |
O = N/A T = TO |
O = 323 T = 0.62 |
O = 116 T = 0.88 |
O = 116 T = 0.79 |
O = 116 T = 0.61 |
O = 116 T = 0.37 |
O = 199 T = 0.18 |
O = 116 T = 5.93 |
O = 116 T = 8.02 |
| c-fat500-1.clq.cnf | O = 2 T = 0.00 |
O = 2 T = 0.80 |
O = 2 T = 0.86 |
O = 2 T = 0.17 |
O = 2 T = 0.42 |
O = 2 T = 0.00 |
O = 2 T = 0.00 |
O = 2 T = 0.27 |
O = 2 T = 0.42 |
O = 2 T = 0.51 |
O = 2 T = 0.49 |
O = 2 T = 0.00 |
O = 2 T = 6.01 |
O = 2 T = 1.87 |
| c-fat500-10.clq.cnf | O = 200 T = 0.05 |
O = 200 T = 0.63 |
O = 200 T = 0.51 |
O = 200 T = 0.17 |
O = 200 T = 0.24 |
O = N/A T = TO |
O = 420 T = 0.60 |
O = 200 T = 0.05 |
O = 200 T = 0.36 |
O = 200 T = 0.26 |
O = 200 T = 0.12 |
O = 310 T = 0.23 |
O = 200 T = 5.98 |
O = 200 T = 15.08 |
| c-fat500-2.clq.cnf | O = 24 T = 0.00 |
O = 24 T = 0.93 |
O = 24 T = 0.49 |
O = 24 T = 0.26 |
O = 24 T = 0.21 |
O = 24 T = 2.63 |
O = 24 T = 0.00 |
O = 24 T = 0.14 |
O = 24 T = 0.40 |
O = 24 T = 0.78 |
O = 24 T = 0.32 |
O = 24 T = 0.00 |
O = 24 T = 6.00 |
O = 24 T = 2.38 |
| c-fat500-5.clq.cnf | O = 90 T = 0.10 |
O = 90 T = 0.78 |
O = 90 T = 0.53 |
O = 90 T = 0.37 |
O = 90 T = 0.11 |
O = N/A T = TO |
O = 90 T = 0.36 |
O = 90 T = 0.21 |
O = 90 T = 0.44 |
O = 90 T = 0.41 |
O = 90 T = 0.10 |
O = 90 T = 0.45 |
O = 90 T = 6.05 |
O = 90 T = 4.37 |
| hamming10-2.clq.cnf | O = 400 T = 0.05 |
O = 400 T = 0.78 |
O = 400 T = 0.27 |
O = 400 T = 0.31 |
O = N/A T = TO |
O = N/A T = TO |
O = N/A T = TO |
O = 400 T = 0.05 |
O = 400 T = 0.36 |
O = 400 T = 0.40 |
O = 400 T = 0.09 |
O = N/A T = TO |
O = 400 T = 6.08 |
O = 400 T = 7.96 |
| hamming10-4.clq.cnf | O = 319 T = 0.57 |
O = 319 T = 1.10 |
O = 319 T = 0.60 |
O = 319 T = 0.74 |
O = 323 T = 0.59 |
O = N/A T = TO |
O = N/A T = TO |
O = 319 T = 0.57 |
O = 319 T = 0.88 |
O = 319 T = 1.09 |
O = 319 T = 0.87 |
O = 560 T = 0.20 |
O = 319 T = 6.11 |
O = 319 T = 15.14 |
| hamming6-2.clq.cnf | O = 832 T = 0.91 |
O = 832 T = 1.71 |
O = 832 T = 0.91 |
O = 832 T = 1.47 |
O = 832 T = 1.15 |
O = N/A T = TO |
O = N/A T = TO |
O = 832 T = 1.14 |
O = 832 T = 1.37 |
O = 832 T = 1.76 |
O = 832 T = 1.42 |
O = 1551 T = 0.12 |
O = 832 T = 6.16 |
O = 832 T = 16.52 |
| hamming6-4.clq.cnf | O = 192 T = 0.50 |
O = 192 T = 1.66 |
O = 192 T = 0.50 |
O = 192 T = 1.21 |
O = 192 T = 1.06 |
O = N/A T = TO |
O = 704 T = 0.68 |
O = 192 T = 1.11 |
O = 192 T = 1.12 |
O = 192 T = 1.61 |
O = 192 T = 1.70 |
O = 290 T = 0.11 |
O = 192 T = 6.04 |
O = 192 T = 8.45 |
| hamming8-2.clq.cnf | O = 441 T = 0.04 |
O = 441 T = 0.52 |
O = 441 T = 0.35 |
O = 441 T = 0.26 |
O = 441 T = 0.05 |
O = N/A T = TO |
O = N/A T = TO |
O = 441 T = 0.04 |
O = 441 T = 0.47 |
O = 441 T = 0.38 |
O = 441 T = 0.12 |
O = 861 T = 0.16 |
O = 441 T = 5.96 |
O = 441 T = 10.79 |
| hamming8-4.clq.cnf | O = 176 T = 0.61 |
O = 176 T = 1.00 |
O = 176 T = 0.61 |
O = 176 T = 0.99 |
O = 176 T = 1.17 |
O = N/A T = TO |
O = 497 T = 0.63 |
O = 176 T = 1.00 |
O = 176 T = 0.80 |
O = 176 T = 0.99 |
O = 176 T = 1.03 |
O = 265 T = 0.20 |
O = 176 T = 5.92 |
O = 176 T = 15.11 |
| johnson16-2-4.clq.cnf | O = 215 T = 0.46 |
O = 215 T = 1.35 |
O = 215 T = 1.43 |
O = 215 T = 0.94 |
O = 215 T = 0.46 |
O = N/A T = TO |
O = 575 T = 0.64 |
O = 215 T = 0.70 |
O = 215 T = 0.92 |
O = 215 T = 1.10 |
O = 215 T = 0.64 |
O = 353 T = 0.12 |
O = 215 T = 6.21 |
O = 215 T = 14.96 |
| johnson32-2-4.clq.cnf | O = 329 T = 0.64 |
O = 329 T = 37.19 |
O = 329 T = 0.84 |
O = 329 T = 1.06 |
O = 330 T = 0.81 |
O = N/A T = TO |
O = N/A T = TO |
O = 329 T = 0.84 |
O = 329 T = 0.96 |
O = 329 T = 1.21 |
O = 329 T = 0.64 |
O = 593 T = 0.24 |
O = 329 T = 5.97 |
O = 329 T = 15.21 |
| johnson8-2-4.clq.cnf | O = 75 T = 0.27 |
O = 75 T = 0.66 |
O = 75 T = 0.90 |
O = 75 T = 0.49 |
O = 75 T = 0.27 |
O = N/A T = TO |
O = 210 T = 0.67 |
O = 75 T = 0.28 |
O = 75 T = 0.65 |
O = 75 T = 0.60 |
O = 75 T = 0.47 |
O = 105 T = 0.13 |
O = 75 T = 6.04 |
O = 75 T = 4.43 |
| johnson8-4-4.clq.cnf | O = 770 T = 0.74 |
O = 770 T = 2.06 |
O = 770 T = 1.61 |
O = 770 T = 1.22 |
O = 770 T = 1.72 |
O = N/A T = TO |
O = N/A T = TO |
O = 770 T = 0.74 |
O = 770 T = 1.38 |
O = 770 T = 2.12 |
O = 770 T = 1.12 |
O = 1279 T = 0.13 |
O = 770 T = 6.01 |
O = 770 T = 18.21 |
| keller4.clq.cnf | O = 199 T = 0.65 |
O = 199 T = 0.81 |
O = 199 T = 0.99 |
O = 199 T = 0.98 |
O = 199 T = 1.05 |
O = N/A T = TO |
O = N/A T = TO |
O = 199 T = 0.87 |
O = 199 T = 1.27 |
O = 199 T = 1.45 |
O = 199 T = 0.65 |
O = 480 T = 0.13 |
O = 199 T = 5.90 |
O = 199 T = 15.04 |
| keller5.clq.cnf | O = 250 T = 0.28 |
O = 250 T = 1.23 |
O = 250 T = 0.99 |
O = 250 T = 1.08 |
O = 250 T = 0.28 |
O = N/A T = TO |
O = 615 T = 1.05 |
O = 250 T = 0.69 |
O = 250 T = 0.71 |
O = 250 T = 0.89 |
O = 250 T = 0.46 |
O = 407 T = 0.11 |
O = 250 T = 6.05 |
O = 250 T = 15.14 |
| p_hat1000-1.clq.cnf | O = 52 T = 0.41 |
O = 52 T = 1.17 |
O = 52 T = 1.04 |
O = 52 T = 0.41 |
O = 54 T = 0.59 |
O = 52 T = 95.62 |
O = 52 T = 22.14 |
O = 52 T = 0.64 |
O = 52 T = 0.79 |
O = 52 T = 1.03 |
O = 52 T = 0.52 |
O = 52 T = 11.55 |
O = 52 T = 6.21 |
O = 52 T = 6.66 |
| p_hat1000-2.clq.cnf | O = 142 T = 0.66 |
O = 142 T = 1.08 |
O = 142 T = 1.31 |
O = 142 T = 0.72 |
O = 142 T = 0.66 |
O = N/A T = TO |
O = N/A T = TO |
O = 142 T = 0.67 |
O = 142 T = 0.73 |
O = 142 T = 0.66 |
O = 142 T = 0.69 |
O = 240 T = 0.22 |
O = 142 T = 6.11 |
O = 142 T = 15.46 |
| p_hat1000-3.clq.cnf | O = 238 T = 0.45 |
O = 238 T = 1.01 |
O = 238 T = 1.03 |
O = 238 T = 1.02 |
O = 238 T = 0.85 |
O = N/A T = TO |
O = 570 T = 0.72 |
O = 238 T = 0.45 |
O = 238 T = 0.71 |
O = 238 T = 1.16 |
O = 238 T = 0.59 |
O = 382 T = 0.27 |
O = 238 T = 6.41 |
O = 238 T = 15.29 |
| p_hat300-1.clq.cnf | O = 49 T = 0.47 |
O = 49 T = 0.53 |
O = 49 T = 1.02 |
O = 49 T = 0.64 |
O = 49 T = 0.47 |
O = 49 T = 42.76 |
O = 49 T = 16.73 |
O = 49 T = 0.71 |
O = 49 T = 0.95 |
O = 49 T = 1.18 |
O = 49 T = 0.69 |
O = 49 T = 23.61 |
O = 49 T = 6.29 |
O = 49 T = 10.39 |
| p_hat300-2.clq.cnf | O = 135 T = 0.65 |
O = 135 T = 0.65 |
O = 135 T = 1.00 |
O = 135 T = 0.66 |
O = 142 T = 0.70 |
O = N/A T = TO |
O = N/A T = TO |
O = 135 T = 0.65 |
O = 135 T = 1.12 |
O = 135 T = 1.02 |
O = 135 T = 1.06 |
O = 229 T = 0.15 |
O = 135 T = 6.50 |
O = 135 T = 15.74 |
| p_hat300-3.clq.cnf | O = 269 T = 0.40 |
O = 269 T = 1.25 |
O = 269 T = 0.55 |
O = 269 T = 0.72 |
O = 269 T = 0.82 |
O = N/A T = TO |
O = 635 T = 0.77 |
O = 269 T = 0.40 |
O = 269 T = 0.80 |
O = 269 T = 1.20 |
O = 269 T = 0.82 |
O = 316 T = 0.14 |
O = 269 T = 6.48 |
O = 269 T = 15.36 |
| p_hat500-1.clq.cnf | O = 75 T = 0.43 |
O = 75 T = 1.29 |
O = 75 T = 1.11 |
O = 75 T = 0.87 |
O = 75 T = 0.43 |
O = N/A T = TO |
O = 237 T = 0.87 |
O = 75 T = 0.72 |
O = 75 T = 1.26 |
O = 75 T = 1.28 |
O = 75 T = 0.81 |
O = 111 T = 0.24 |
O = 75 T = 6.29 |
O = 75 T = 15.48 |
| p_hat500-2.clq.cnf | O = 176 T = 0.68 |
O = 176 T = 1.42 |
O = 176 T = 0.98 |
O = 176 T = 1.03 |
O = 176 T = 0.68 |
O = N/A T = TO |
O = N/A T = TO |
O = 176 T = 0.72 |
O = 176 T = 1.04 |
O = 176 T = 1.41 |
O = 176 T = 0.71 |
O = 344 T = 0.16 |
O = 176 T = 6.25 |
O = 176 T = 15.26 |
| p_hat500-3.clq.cnf | O = 284 T = 0.35 |
O = 284 T = 1.40 |
O = 284 T = 0.56 |
O = 284 T = 0.90 |
O = 285 T = 0.62 |
O = N/A T = TO |
O = N/A T = TO |
O = 284 T = 0.35 |
O = 284 T = 0.94 |
O = 284 T = 0.76 |
O = 284 T = 0.52 |
O = 395 T = 0.21 |
O = 284 T = 6.08 |
O = 284 T = 15.40 |
| p_hat700-1.clq.cnf | O = 63 T = 0.65 |
O = 63 T = 1.16 |
O = 63 T = 1.36 |
O = 63 T = 0.77 |
O = 64 T = 0.56 |
O = N/A T = TO |
O = 63 T = 79.44 |
O = 63 T = 0.79 |
O = 63 T = 1.10 |
O = 63 T = 0.65 |
O = 63 T = 0.72 |
O = 63 T = 82.55 |
O = 63 T = 6.25 |
O = 63 T = 4.36 |
| p_hat700-2.clq.cnf | O = 154 T = 0.46 |
O = 154 T = 1.00 |
O = 154 T = 1.16 |
O = 154 T = 0.70 |
O = 154 T = 0.46 |
O = N/A T = TO |
O = N/A T = TO |
O = 154 T = 0.58 |
O = 154 T = 0.99 |
O = 154 T = 1.43 |
O = 154 T = 0.83 |
O = 218 T = 0.16 |
O = 154 T = 6.37 |
O = 154 T = 15.32 |
| p_hat700-3.clq.cnf | O = 267 T = 0.53 |
O = 267 T = 1.40 |
O = 267 T = 1.30 |
O = 267 T = 0.89 |
O = 272 T = 0.59 |
O = N/A T = TO |
O = N/A T = TO |
O = 267 T = 0.53 |
O = 267 T = 0.95 |
O = 267 T = 1.00 |
O = 267 T = 0.73 |
O = N/A T = TO |
O = 267 T = 6.36 |
O = 267 T = 15.60 |
| san1000.clq.cnf | O = 139 T = 0.40 |
O = 139 T = 0.73 |
O = 139 T = 1.17 |
O = 139 T = 0.89 |
O = 143 T = 0.88 |
O = N/A T = TO |
O = 372 T = 0.65 |
O = 139 T = 0.40 |
O = 139 T = 0.69 |
O = 139 T = 1.20 |
O = 139 T = 0.60 |
O = 218 T = 0.18 |
O = 139 T = 6.17 |
O = 139 T = 15.18 |
| san200_0.7_1.clq.cnf | O = 237 T = 0.64 |
O = 237 T = 1.43 |
O = 237 T = 1.09 |
O = 237 T = 0.89 |
O = 237 T = 0.64 |
O = N/A T = TO |
O = 558 T = 0.66 |
O = 237 T = 0.79 |
O = 237 T = 0.70 |
O = 237 T = 1.23 |
O = 237 T = 0.70 |
O = 349 T = 0.19 |
O = 237 T = 5.97 |
O = 237 T = 15.42 |
| san200_0.7_2.clq.cnf | O = 236 T = 0.59 |
O = 236 T = 1.05 |
O = 236 T = 1.00 |
O = 236 T = 0.62 |
O = 238 T = 0.77 |
O = N/A T = TO |
O = N/A T = TO |
O = 236 T = 1.13 |
O = 236 T = 1.00 |
O = 236 T = 1.06 |
O = 236 T = 0.59 |
O = 407 T = 0.16 |
O = 236 T = 6.15 |
O = 236 T = 15.65 |
| san200_0.9_1.clq.cnf | O = 313 T = 0.59 |
O = 313 T = 0.71 |
O = 313 T = 0.94 |
O = 313 T = 0.94 |
O = 313 T = 0.59 |
O = N/A T = TO |
O = N/A T = TO |
O = 313 T = 0.67 |
O = 313 T = 0.90 |
O = 313 T = 1.06 |
O = 313 T = 0.67 |
O = 628 T = 0.16 |
O = 313 T = 6.12 |
O = 313 T = 15.23 |
| san200_0.9_2.clq.cnf | O = 316 T = 0.37 |
O = 316 T = 0.87 |
O = 316 T = 1.12 |
O = 316 T = 0.61 |
O = 319 T = 0.70 |
O = N/A T = TO |
O = N/A T = TO |
O = 316 T = 0.37 |
O = 316 T = 0.64 |
O = 316 T = 0.99 |
O = 316 T = 0.77 |
O = 574 T = 0.09 |
O = 316 T = 6.70 |
O = 316 T = 15.17 |
| san200_0.9_3.clq.cnf | O = 320 T = 0.37 |
O = 320 T = 0.77 |
O = 320 T = 1.01 |
O = 320 T = 0.76 |
O = 320 T = 0.76 |
O = N/A T = TO |
O = N/A T = TO |
O = 320 T = 0.88 |
O = 320 T = 0.94 |
O = 320 T = 0.69 |
O = 320 T = 0.37 |
O = 574 T = 0.24 |
O = 320 T = 6.24 |
O = 320 T = 15.21 |
| san400_0.5_1.clq.cnf | O = 146 T = 0.46 |
O = 146 T = 0.96 |
O = 146 T = 0.63 |
O = 146 T = 0.77 |
O = 146 T = 0.75 |
O = N/A T = TO |
O = 395 T = 0.66 |
O = 146 T = 0.46 |
O = 146 T = 0.63 |
O = 146 T = 0.90 |
O = 146 T = 0.72 |
O = 205 T = 0.16 |
O = 146 T = 6.21 |
O = 146 T = 15.38 |
| san400_0.7_1.clq.cnf | O = 236 T = 0.61 |
O = 236 T = 0.82 |
O = 236 T = 0.90 |
O = 236 T = 0.92 |
O = 240 T = 0.49 |
O = N/A T = TO |
O = 560 T = 0.63 |
O = 236 T = 0.73 |
O = 236 T = 0.66 |
O = 236 T = 1.07 |
O = 236 T = 0.61 |
O = 407 T = 0.16 |
O = 236 T = 6.25 |
O = 236 T = 15.56 |
| san400_0.7_2.clq.cnf | O = 236 T = 0.64 |
O = 236 T = 0.90 |
O = 236 T = 1.09 |
O = 236 T = 0.73 |
O = 239 T = 0.89 |
O = N/A T = TO |
O = 563 T = 0.68 |
O = 236 T = 0.75 |
O = 236 T = 0.64 |
O = 236 T = 1.21 |
O = 236 T = 0.84 |
O = 389 T = 0.09 |
O = 236 T = 6.35 |
O = 236 T = 15.01 |
| san400_0.7_3.clq.cnf | O = 230 T = 0.50 |
O = 230 T = 0.72 |
O = 230 T = 1.01 |
O = 230 T = 0.70 |
O = 230 T = 0.72 |
O = N/A T = TO |
O = N/A T = TO |
O = 230 T = 0.75 |
O = 230 T = 0.72 |
O = 230 T = 1.04 |
O = 230 T = 0.50 |
O = 401 T = 0.19 |
O = 230 T = 6.23 |
O = 230 T = 15.05 |
| san400_0.9_1.clq.cnf | O = 304 T = 0.49 |
O = 304 T = 1.32 |
O = 304 T = 0.84 |
O = 304 T = 0.77 |
O = 304 T = 0.67 |
O = N/A T = TO |
O = N/A T = TO |
O = 304 T = 0.50 |
O = 304 T = 0.84 |
O = 304 T = 0.49 |
O = 304 T = 0.50 |
O = 476 T = 0.15 |
O = 304 T = 6.45 |
O = 304 T = 15.06 |
| sanr200_0.7.clq.cnf | O = 227 T = 0.35 |
O = 227 T = 1.05 |
O = 227 T = 1.37 |
O = 227 T = 0.63 |
O = 228 T = 0.80 |
O = N/A T = TO |
O = N/A T = TO |
O = 227 T = 0.35 |
O = 227 T = 0.67 |
O = 227 T = 0.96 |
O = 227 T = 0.72 |
O = 319 T = 0.09 |
O = 227 T = 6.32 |
O = 227 T = 15.53 |
| sanr200_0.9.clq.cnf | O = 300 T = 0.53 |
O = 300 T = 1.12 |
O = 300 T = 0.81 |
O = 300 T = 0.85 |
O = 301 T = 0.83 |
O = N/A T = TO |
O = N/A T = TO |
O = 300 T = 0.85 |
O = 300 T = 0.53 |
O = 300 T = 1.10 |
O = 300 T = 0.60 |
O = 411 T = 0.24 |
O = 300 T = 6.02 |
O = 300 T = 15.16 |
| sanr400_0.5.clq.cnf | O = 148 T = 0.61 |
O = 148 T = 1.51 |
O = 148 T = 1.23 |
O = 148 T = 0.90 |
O = 149 T = 0.77 |
O = N/A T = TO |
O = 399 T = 0.86 |
O = 148 T = 0.61 |
O = 148 T = 0.89 |
O = 148 T = 1.53 |
O = 148 T = 0.84 |
O = 192 T = 0.24 |
O = 148 T = 6.47 |
O = 148 T = 15.26 |
| sanr400_0.7.clq.cnf | O = 223 T = 0.79 |
O = 223 T = 1.46 |
O = 223 T = 1.08 |
O = 223 T = 0.90 |
O = 223 T = 1.16 |
O = N/A T = TO |
O = 548 T = 0.60 |
O = 223 T = 0.79 |
O = 223 T = 0.99 |
O = 223 T = 0.95 |
O = 223 T = 0.85 |
O = 313 T = 0.15 |
O = 223 T = 6.09 |
O = 223 T = 15.32 |
| t3pm3-5555.spn.cnf | O = 17 T = 0.01 |
O = 17 T = 0.56 |
O = 17 T = 0.91 |
O = 17 T = 0.44 |
O = 17 T = 0.33 |
O = 17 T = 0.48 |
O = 17 T = 0.01 |
O = 17 T = 0.22 |
O = 17 T = 0.60 |
O = 17 T = 0.35 |
O = 17 T = 0.38 |
O = 17 T = 0.01 |
O = 17 T = 5.96 |
O = 17 T = 2.93 |
| t4pm3-6666.spn.cnf | O = 38 T = 0.91 |
O = 38 T = 1.39 |
O = 38 T = 1.19 |
O = 38 T = 0.94 |
O = 46 T = 0.93 |
O = 38 T = 154.18 |
O = 38 T = 59.43 |
O = 38 T = 1.15 |
O = 38 T = 0.94 |
O = 38 T = 0.91 |
O = 38 T = 1.09 |
O = 38 T = 4.17 |
O = 38 T = 5.88 |
O = 38 T = 4.26 |
| t5pm3-7777.spn.cnf | O = 78 T = 1.07 |
O = 78 T = 1.83 |
O = 78 T = 1.76 |
O = 78 T = 1.14 |
O = 80 T = 1.24 |
O = N/A T = TO |
O = 190 T = 0.92 |
O = 78 T = 1.24 |
O = 78 T = 1.26 |
O = 78 T = 1.07 |
O = 78 T = 2.11 |
O = 136 T = 0.20 |
O = 78 T = 5.95 |
O = 78 T = 15.13 |
| t6pm3-8888.spn.cnf | O = 136 T = 1.32 |
O = 136 T = 3.11 |
O = 136 T = 3.90 |
O = 136 T = 2.14 |
O = 139 T = 3.36 |
O = N/A T = TO |
O = 325 T = 0.90 |
O = 136 T = 3.04 |
O = 136 T = 3.16 |
O = 136 T = 1.32 |
O = 136 T = 3.31 |
O = 218 T = 0.22 |
O = 136 T = 6.35 |
O = 136 T = 19.68 |
| t7pm3-9999.spn.cnf | O = 209 T = 4.22 |
O = 209 T = 5.55 |
O = 209 T = 5.38 |
O = 209 T = 4.22 |
O = 219 T = 5.09 |
O = N/A T = TO |
O = 516 T = 0.60 |
O = 209 T = 5.23 |
O = 209 T = 4.75 |
O = 209 T = 13.79 |
O = 209 T = 5.91 |
O = 349 T = 0.10 |
O = 209 T = 7.14 |
O = 209 T = 158.86 |
| scpclr10_maxsat.cnf | O = 25 T = 1.02 |
O = 25 T = 3.36 |
O = 25 T = 2.91 |
O = 25 T = 1.02 |
O = 26 T = 1.90 |
O = N/A T = TO |
O = 210 T = 1.07 |
O = 25 T = 2.74 |
O = 25 T = 3.94 |
O = 25 T = 3.58 |
O = 25 T = 3.53 |
O = 511 T = 0.14 |
O = 25 T = 7.01 |
O = 25 T = 16.29 |
| scpclr11_maxsat.cnf | O = 23 T = 1.12 |
O = 23 T = 5.61 |
O = 23 T = 6.37 |
O = 23 T = 1.12 |
O = 25 T = 5.53 |
O = N/A T = TO |
O = 330 T = 0.68 |
O = 23 T = 6.01 |
O = 23 T = 5.68 |
O = 23 T = 252.98 |
O = 23 T = 5.98 |
O = 1023 T = 0.14 |
O = 24 T = 73.51 |
O = 26 T = 38.03 |
| scpclr12_maxsat.cnf | O = 23 T = 8.25 |
O = 23 T = 8.25 |
O = 23 T = 9.45 |
O = 26 T = 20.93 |
O = 24 T = 8.87 |
O = N/A T = TO |
O = 495 T = 0.59 |
O = 24 T = 8.06 |
O = 23 T = 8.59 |
O = 29 T = 40.02 |
O = 23 T = 9.31 |
O = 2047 T = 0.11 |
O = 25 T = 31.71 |
O = 28 T = 70.57 |
| scpclr13_maxsat.cnf | O = 23 T = 7.34 |
O = 23 T = 12.48 |
O = 23 T = 11.26 |
O = 25 T = 46.45 |
O = 29 T = 13.14 |
O = N/A T = TO |
O = 715 T = 0.51 |
O = 27 T = 52.33 |
O = 23 T = 7.34 |
O = 30 T = 124.21 |
O = 23 T = 267.21 |
O = 4095 T = 0.14 |
O = 27 T = 286.86 |
O = 29 T = 264.82 |
| scpcyc06_maxsat.cnf | O = 60 T = 1.43 |
O = 60 T = 2.50 |
O = 60 T = 2.81 |
O = 60 T = 1.90 |
O = 64 T = 1.84 |
O = N/A T = TO |
O = 192 T = 0.60 |
O = 60 T = 2.04 |
O = 60 T = 2.05 |
O = 60 T = 1.43 |
O = 60 T = 2.17 |
O = 240 T = 0.20 |
O = 60 T = 6.57 |
O = 60 T = 15.66 |
| scpcyc07_maxsat.cnf | O = 144 T = 2.31 |
O = 144 T = 4.11 |
O = 144 T = 4.76 |
O = 144 T = 3.72 |
O = 153 T = 4.59 |
O = N/A T = TO |
O = N/A T = TO |
O = 144 T = 5.72 |
O = 144 T = 2.31 |
O = 144 T = 9.90 |
O = 145 T = 5.23 |
O = 672 T = 0.10 |
O = 144 T = 71.50 |
O = 144 T = 100.58 |
| scpcyc08_maxsat.cnf | O = 342 T = 4.61 |
O = 342 T = 11.39 |
O = 342 T = 10.87 |
O = 344 T = 170.61 |
O = 362 T = 9.92 |
O = N/A T = TO |
O = N/A T = TO |
O = 342 T = 44.74 |
O = 342 T = 4.61 |
O = 350 T = 14.60 |
O = 346 T = 10.83 |
O = 1792 T = 0.19 |
O = 350 T = 117.53 |
O = 352 T = 42.36 |
| scpcyc09_maxsat.cnf | O = 772 T = 12.20 |
O = 786 T = 64.57 |
O = 772 T = 12.20 |
O = 803 T = 264.94 |
O = 841 T = 57.41 |
O = N/A T = TO |
O = 2304 T = 0.00 |
O = 792 T = 128.66 |
O = 780 T = 18.98 |
O = 832 T = 251.02 |
O = 801 T = 32.17 |
O = N/A T = TO |
O = 836 T = 51.65 |
O = 845 T = 50.19 |
| scpcyc10_maxsat.cnf | O = 1816 T = 39.17 |
O = 1824 T = 257.31 |
O = 1816 T = 39.17 |
O = 1889 T = 55.17 |
O = 1927 T = 34.53 |
O = N/A T = TO |
O = 5120 T = 0.01 |
O = 1836 T = 179.77 |
O = N/A T = TO |
O = 2056 T = 258.84 |
O = 1836 T = 130.53 |
O = N/A T = TO |
O = N/A T = TO |
O = 11520 T = 0.59 |
| scpcyc11_maxsat.cnf | O = 4069 T = 241.21 |
O = 4202 T = 293.79 |
O = 4069 T = 241.21 |
O = 4283 T = 42.04 |
O = 4388 T = 139.08 |
O = N/A T = TO |
O = 11264 T = 0.03 |
O = 4216 T = 212.57 |
O = N/A T = TO |
O = 5857 T = 288.42 |
O = 4383 T = 289.95 |
O = 28160 T = 0.17 |
O = 7301 T = 6.11 |
O = N/A T = TO |