| 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 | CCAT | CCLS2014 | CCMPA | Dist | SAT4J-ms-inc | Swcca_ms | WPM-2014-in | optimax2-r-i | optimax2-rn-i |
|---|---|---|---|---|---|---|---|---|---|---|
| maxcut-140-630-0.7-1.cnf | O = 160 T = 0.03 |
O = 160 T = 2.70 (out)(err) |
O = 160 T = 2.54 (out)(err) |
O = 160 T = 0.03 (out)(err) |
O = 160 T = 3.11 (out)(err) |
O = N/A T = TO (out)(err) |
O = 160 T = 1.42 (out)(err) |
O = 235 T = 284.27 (out)(err) |
O = 235 T = 0.11 (out)(err) |
O = 220 T = 125.57 (out)(err) |
| maxcut-140-630-0.7-10.cnf | O = 167 T = 0.67 |
O = 167 T = 3.07 (out)(err) |
O = 167 T = 2.30 (out)(err) |
O = 167 T = 0.67 (out)(err) |
O = 167 T = 3.22 (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 1.55 (out)(err) |
O = 245 T = 283.89 (out)(err) |
O = 245 T = 0.04 (out)(err) |
O = 226 T = 0.26 (out)(err) |
| maxcut-140-630-0.7-11.cnf | O = 170 T = 0.08 |
O = 170 T = 3.04 (out)(err) |
O = 170 T = 2.48 (out)(err) |
O = 170 T = 0.08 (out)(err) |
O = 170 T = 2.65 (out)(err) |
O = N/A T = TO (out)(err) |
O = 170 T = 1.99 (out)(err) |
O = 246 T = 283.98 (out)(err) |
O = 265 T = 0.06 (out)(err) |
O = 232 T = 1.30 (out)(err) |
| maxcut-140-630-0.7-12.cnf | O = 167 T = 0.07 |
O = 167 T = 2.96 (out)(err) |
O = 167 T = 1.88 (out)(err) |
O = 167 T = 0.07 (out)(err) |
O = 167 T = 2.99 (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 1.79 (out)(err) |
O = 238 T = 284.69 (out)(err) |
O = 243 T = 0.19 (out)(err) |
O = 223 T = 267.01 (out)(err) |
| maxcut-140-630-0.7-13.cnf | O = 169 T = 0.09 |
O = 169 T = 2.74 (out)(err) |
O = 169 T = 1.22 (out)(err) |
O = 169 T = 0.09 (out)(err) |
O = 169 T = 2.27 (out)(err) |
O = N/A T = TO (out)(err) |
O = 169 T = 0.85 (out)(err) |
O = 235 T = 284.54 (out)(err) |
O = 235 T = 0.16 (out)(err) |
O = 224 T = 167.68 (out)(err) |
| maxcut-140-630-0.7-14.cnf | O = 166 T = 1.21 |
O = 166 T = 2.78 (out)(err) |
O = 166 T = 1.21 (out)(err) |
O = 166 T = 4.60 (out)(err) |
O = 166 T = 3.61 (out)(err) |
O = N/A T = TO (out)(err) |
O = 166 T = 2.94 (out)(err) |
O = 233 T = 284.74 (out)(err) |
O = 243 T = 0.11 (out)(err) |
O = 217 T = 207.04 (out)(err) |
| maxcut-140-630-0.7-15.cnf | O = 169 T = 0.06 |
O = 169 T = 2.37 (out)(err) |
O = 169 T = 1.34 (out)(err) |
O = 169 T = 0.06 (out)(err) |
O = 169 T = 2.93 (out)(err) |
O = N/A T = TO (out)(err) |
O = 169 T = 2.98 (out)(err) |
O = 242 T = 284.46 (out)(err) |
O = 256 T = 0.04 (out)(err) |
O = 224 T = 90.10 (out)(err) |
| maxcut-140-630-0.7-16.cnf | O = 167 T = 0.04 |
O = 167 T = 3.00 (out)(err) |
O = 167 T = 1.61 (out)(err) |
O = 167 T = 0.04 (out)(err) |
O = 167 T = 3.14 (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 1.72 (out)(err) |
O = 229 T = 284.54 (out)(err) |
O = 234 T = 0.15 (out)(err) |
O = 230 T = 0.74 (out)(err) |
| maxcut-140-630-0.7-17.cnf | O = 166 T = 0.10 |
O = 166 T = 2.07 (out)(err) |
O = 166 T = 3.19 (out)(err) |
O = 166 T = 0.10 (out)(err) |
O = 166 T = 2.60 (out)(err) |
O = N/A T = TO (out)(err) |
O = 166 T = 1.34 (out)(err) |
O = 242 T = 284.43 (out)(err) |
O = 259 T = 0.19 (out)(err) |
O = 223 T = 0.51 (out)(err) |
| maxcut-140-630-0.7-18.cnf | O = 166 T = 0.03 |
O = 166 T = 3.22 (out)(err) |
O = 166 T = 3.40 (out)(err) |
O = 166 T = 0.03 (out)(err) |
O = 166 T = 2.90 (out)(err) |
O = N/A T = TO (out)(err) |
O = 166 T = 1.82 (out)(err) |
O = 236 T = 284.29 (out)(err) |
O = 236 T = 0.21 (out)(err) |
O = 227 T = 14.72 (out)(err) |
| maxcut-140-630-0.7-19.cnf | O = 167 T = 0.04 |
O = 167 T = 2.43 (out)(err) |
O = 167 T = 3.10 (out)(err) |
O = 167 T = 0.04 (out)(err) |
O = 167 T = 3.08 (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 2.84 (out)(err) |
O = 233 T = 284.27 (out)(err) |
O = 250 T = 0.17 (out)(err) |
O = 227 T = 214.08 (out)(err) |
| maxcut-140-630-0.7-2.cnf | O = 160 T = 0.04 |
O = 160 T = 2.68 (out)(err) |
O = 160 T = 3.43 (out)(err) |
O = 160 T = 0.04 (out)(err) |
O = 160 T = 3.59 (out)(err) |
O = N/A T = TO (out)(err) |
O = 160 T = 2.37 (out)(err) |
O = 231 T = 283.94 (out)(err) |
O = 231 T = 0.15 (out)(err) |
O = 226 T = 208.57 (out)(err) |
| maxcut-140-630-0.7-20.cnf | O = 168 T = 0.05 |
O = 168 T = 3.10 (out)(err) |
O = 168 T = 3.12 (out)(err) |
O = 168 T = 0.05 (out)(err) |
O = 168 T = 2.72 (out)(err) |
O = N/A T = TO (out)(err) |
O = 168 T = 1.88 (out)(err) |
O = 239 T = 284.67 (out)(err) |
O = 237 T = 0.12 (out)(err) |
O = 228 T = 23.06 (out)(err) |
| maxcut-140-630-0.7-21.cnf | O = 165 T = 0.10 |
O = 165 T = 3.03 (out)(err) |
O = 165 T = 3.30 (out)(err) |
O = 165 T = 0.10 (out)(err) |
O = 165 T = 1.20 (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 2.04 (out)(err) |
O = 246 T = 284.48 (out)(err) |
O = 246 T = 0.18 (out)(err) |
O = 232 T = 25.97 (out)(err) |
| maxcut-140-630-0.7-22.cnf | O = 164 T = 0.03 |
O = 164 T = 2.49 (out)(err) |
O = 164 T = 2.41 (out)(err) |
O = 164 T = 0.03 (out)(err) |
O = 164 T = 3.41 (out)(err) |
O = N/A T = TO (out)(err) |
O = 164 T = 2.45 (out)(err) |
O = 227 T = 284.74 (out)(err) |
O = 251 T = 0.14 (out)(err) |
O = 235 T = 13.19 (out)(err) |
| maxcut-140-630-0.7-23.cnf | O = 165 T = 0.05 |
O = 165 T = 2.75 (out)(err) |
O = 165 T = 2.31 (out)(err) |
O = 165 T = 0.05 (out)(err) |
O = 165 T = 3.31 (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 1.91 (out)(err) |
O = 232 T = 284.32 (out)(err) |
O = 232 T = 0.17 (out)(err) |
O = 218 T = 32.69 (out)(err) |
| maxcut-140-630-0.7-24.cnf | O = 166 T = 0.51 |
O = 166 T = 2.33 (out)(err) |
O = 166 T = 2.76 (out)(err) |
O = 166 T = 0.51 (out)(err) |
O = 166 T = 2.83 (out)(err) |
O = N/A T = TO (out)(err) |
O = 166 T = 2.47 (out)(err) |
O = 233 T = 284.38 (out)(err) |
O = 257 T = 0.20 (out)(err) |
O = 217 T = 256.02 (out)(err) |
| maxcut-140-630-0.7-25.cnf | O = 167 T = 0.99 |
O = 167 T = 2.82 (out)(err) |
O = 167 T = 3.29 (out)(err) |
O = 167 T = 0.99 (out)(err) |
O = 167 T = 3.02 (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 2.88 (out)(err) |
O = 224 T = 284.25 (out)(err) |
O = 224 T = 0.14 (out)(err) |
O = 216 T = 137.64 (out)(err) |
| maxcut-140-630-0.7-26.cnf | O = 166 T = 0.05 |
O = 166 T = 2.50 (out)(err) |
O = 166 T = 2.20 (out)(err) |
O = 166 T = 0.05 (out)(err) |
O = 166 T = 3.35 (out)(err) |
O = N/A T = TO (out)(err) |
O = 166 T = 1.55 (out)(err) |
O = 229 T = 284.05 (out)(err) |
O = 235 T = 0.15 (out)(err) |
O = 230 T = 0.51 (out)(err) |
| maxcut-140-630-0.7-27.cnf | O = 165 T = 0.04 |
O = 165 T = 2.47 (out)(err) |
O = 165 T = 1.73 (out)(err) |
O = 165 T = 0.04 (out)(err) |
O = 165 T = 3.52 (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 1.73 (out)(err) |
O = 228 T = 284.38 (out)(err) |
O = 250 T = 0.16 (out)(err) |
O = 226 T = 21.73 (out)(err) |
| maxcut-140-630-0.7-28.cnf | O = 167 T = 0.29 |
O = 167 T = 1.82 (out)(err) |
O = 167 T = 1.95 (out)(err) |
O = 167 T = 0.29 (out)(err) |
O = 167 T = 1.04 (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 1.88 (out)(err) |
O = 235 T = 284.28 (out)(err) |
O = 258 T = 0.20 (out)(err) |
O = 224 T = 0.69 (out)(err) |
| maxcut-140-630-0.7-29.cnf | O = 166 T = 0.08 |
O = 166 T = 2.68 (out)(err) |
O = 166 T = 2.47 (out)(err) |
O = 166 T = 0.08 (out)(err) |
O = 166 T = 2.82 (out)(err) |
O = N/A T = TO (out)(err) |
O = 166 T = 1.58 (out)(err) |
O = 234 T = 284.40 (out)(err) |
O = 229 T = 0.06 (out)(err) |
O = 215 T = 138.91 (out)(err) |
| maxcut-140-630-0.7-3.cnf | O = 168 T = 0.05 |
O = 168 T = 2.46 (out)(err) |
O = 168 T = 2.69 (out)(err) |
O = 168 T = 0.05 (out)(err) |
O = 168 T = 2.86 (out)(err) |
O = N/A T = TO (out)(err) |
O = 168 T = 0.87 (out)(err) |
O = 243 T = 284.67 (out)(err) |
O = 262 T = 0.05 (out)(err) |
O = 229 T = 100.93 (out)(err) |
| maxcut-140-630-0.7-30.cnf | O = 167 T = 0.15 |
O = 167 T = 2.91 (out)(err) |
O = 167 T = 2.67 (out)(err) |
O = 167 T = 0.15 (out)(err) |
O = 167 T = 3.18 (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 1.88 (out)(err) |
O = 228 T = 284.14 (out)(err) |
O = 246 T = 0.17 (out)(err) |
O = 220 T = 70.96 (out)(err) |
| maxcut-140-630-0.7-31.cnf | O = 170 T = 0.50 |
O = 170 T = 3.19 (out)(err) |
O = 170 T = 2.20 (out)(err) |
O = 170 T = 0.50 (out)(err) |
O = 170 T = 2.98 (out)(err) |
O = N/A T = TO (out)(err) |
O = 170 T = 1.67 (out)(err) |
O = 259 T = 284.52 (out)(err) |
O = 264 T = 0.17 (out)(err) |
O = 230 T = 196.95 (out)(err) |
| maxcut-140-630-0.7-32.cnf | O = 164 T = 0.07 |
O = 164 T = 2.85 (out)(err) |
O = 164 T = 2.22 (out)(err) |
O = 164 T = 0.07 (out)(err) |
O = 164 T = 3.31 (out)(err) |
O = N/A T = TO (out)(err) |
O = 164 T = 1.94 (out)(err) |
O = 228 T = 284.73 (out)(err) |
O = 230 T = 0.11 (out)(err) |
O = 230 T = 0.24 (out)(err) |
| maxcut-140-630-0.7-33.cnf | O = 165 T = 0.10 |
O = 165 T = 3.07 (out)(err) |
O = 165 T = 1.99 (out)(err) |
O = 165 T = 0.10 (out)(err) |
O = 165 T = 3.40 (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 1.80 (out)(err) |
O = 237 T = 284.30 (out)(err) |
O = 252 T = 0.18 (out)(err) |
O = 223 T = 0.42 (out)(err) |
| maxcut-140-630-0.7-34.cnf | O = 168 T = 0.04 |
O = 168 T = 2.96 (out)(err) |
O = 168 T = 2.39 (out)(err) |
O = 168 T = 0.04 (out)(err) |
O = 168 T = 2.34 (out)(err) |
O = N/A T = TO (out)(err) |
O = 168 T = 1.83 (out)(err) |
O = 242 T = 284.22 (out)(err) |
O = 262 T = 0.14 (out)(err) |
O = 230 T = 12.23 (out)(err) |
| maxcut-140-630-0.7-35.cnf | O = 164 T = 0.08 |
O = 164 T = 3.05 (out)(err) |
O = 164 T = 3.78 (out)(err) |
O = 164 T = 0.08 (out)(err) |
O = 164 T = 2.45 (out)(err) |
O = N/A T = TO (out)(err) |
O = 164 T = 2.25 (out)(err) |
O = 229 T = 284.01 (out)(err) |
O = 229 T = 0.19 (out)(err) |
O = 229 T = 0.13 (out)(err) |
| maxcut-140-630-0.7-36.cnf | O = 167 T = 0.05 |
O = 167 T = 3.23 (out)(err) |
O = 167 T = 3.62 (out)(err) |
O = 167 T = 0.05 (out)(err) |
O = 167 T = 1.43 (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 2.05 (out)(err) |
O = 232 T = 283.91 (out)(err) |
O = 254 T = 0.12 (out)(err) |
O = 232 T = 1.18 (out)(err) |
| maxcut-140-630-0.7-37.cnf | O = 170 T = 1.08 |
O = 170 T = 2.54 (out)(err) |
O = 170 T = 3.18 (out)(err) |
O = 170 T = 1.08 (out)(err) |
O = 170 T = 2.00 (out)(err) |
O = N/A T = TO (out)(err) |
O = 170 T = 1.45 (out)(err) |
O = 229 T = 283.90 (out)(err) |
O = 254 T = 0.19 (out)(err) |
O = 228 T = 142.56 (out)(err) |
| maxcut-140-630-0.7-38.cnf | O = 167 T = 0.04 |
O = 167 T = 2.56 (out)(err) |
O = 167 T = 1.81 (out)(err) |
O = 167 T = 0.04 (out)(err) |
O = 167 T = 2.78 (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 2.09 (out)(err) |
O = 235 T = 283.95 (out)(err) |
O = 256 T = 0.20 (out)(err) |
O = 215 T = 65.38 (out)(err) |
| maxcut-140-630-0.7-39.cnf | O = 163 T = 0.21 |
O = 163 T = 3.20 (out)(err) |
O = 163 T = 1.27 (out)(err) |
O = 163 T = 0.21 (out)(err) |
O = 163 T = 2.09 (out)(err) |
O = N/A T = TO (out)(err) |
O = 163 T = 1.85 (out)(err) |
O = 236 T = 284.67 (out)(err) |
O = 259 T = 0.14 (out)(err) |
O = 231 T = 2.11 (out)(err) |
| maxcut-140-630-0.7-4.cnf | O = 167 T = 0.24 |
O = 167 T = 2.50 (out)(err) |
O = 167 T = 1.94 (out)(err) |
O = 167 T = 0.24 (out)(err) |
O = 167 T = 1.91 (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 1.89 (out)(err) |
O = 227 T = 284.60 (out)(err) |
O = 257 T = 0.16 (out)(err) |
O = 227 T = 262.91 (out)(err) |
| maxcut-140-630-0.7-40.cnf | O = 167 T = 0.04 |
O = 167 T = 2.71 (out)(err) |
O = 167 T = 2.11 (out)(err) |
O = 167 T = 0.04 (out)(err) |
O = 167 T = 3.46 (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 1.41 (out)(err) |
O = 250 T = 284.52 (out)(err) |
O = 255 T = 0.19 (out)(err) |
O = 228 T = 46.62 (out)(err) |
| maxcut-140-630-0.7-41.cnf | O = 161 T = 0.06 |
O = 161 T = 2.72 (out)(err) |
O = 161 T = 2.26 (out)(err) |
O = 161 T = 0.06 (out)(err) |
O = 161 T = 2.97 (out)(err) |
O = N/A T = TO (out)(err) |
O = 161 T = 7.83 (out)(err) |
O = 229 T = 284.13 (out)(err) |
O = 242 T = 0.06 (out)(err) |
O = 226 T = 1.26 (out)(err) |
| maxcut-140-630-0.7-42.cnf | O = 161 T = 0.05 |
O = 161 T = 2.88 (out)(err) |
O = 161 T = 1.71 (out)(err) |
O = 161 T = 0.05 (out)(err) |
O = 161 T = 3.03 (out)(err) |
O = N/A T = TO (out)(err) |
O = 161 T = 2.20 (out)(err) |
O = 238 T = 284.51 (out)(err) |
O = 231 T = 0.15 (out)(err) |
O = 231 T = 0.09 (out)(err) |
| maxcut-140-630-0.7-43.cnf | O = 164 T = 0.07 |
O = 164 T = 3.12 (out)(err) |
O = 164 T = 1.82 (out)(err) |
O = 164 T = 0.07 (out)(err) |
O = 164 T = 2.92 (out)(err) |
O = N/A T = TO (out)(err) |
O = 164 T = 2.04 (out)(err) |
O = 234 T = 284.62 (out)(err) |
O = 261 T = 0.12 (out)(err) |
O = 226 T = 10.89 (out)(err) |
| maxcut-140-630-0.7-44.cnf | O = 163 T = 0.04 |
O = 163 T = 3.12 (out)(err) |
O = 163 T = 1.92 (out)(err) |
O = 163 T = 0.04 (out)(err) |
O = 163 T = 4.13 (out)(err) |
O = N/A T = TO (out)(err) |
O = 163 T = 2.23 (out)(err) |
O = 231 T = 284.70 (out)(err) |
O = 265 T = 0.13 (out)(err) |
O = 232 T = 12.49 (out)(err) |
| maxcut-140-630-0.7-45.cnf | O = 168 T = 0.10 |
O = 168 T = 2.92 (out)(err) |
O = 168 T = 3.30 (out)(err) |
O = 168 T = 0.10 (out)(err) |
O = 168 T = 2.72 (out)(err) |
O = N/A T = TO (out)(err) |
O = 168 T = 2.14 (out)(err) |
O = 242 T = 284.20 (out)(err) |
O = 261 T = 0.18 (out)(err) |
O = 219 T = 188.77 (out)(err) |
| maxcut-140-630-0.7-46.cnf | O = 168 T = 0.04 |
O = 168 T = 2.69 (out)(err) |
O = 168 T = 3.89 (out)(err) |
O = 168 T = 0.04 (out)(err) |
O = 168 T = 1.64 (out)(err) |
O = N/A T = TO (out)(err) |
O = 168 T = 1.70 (out)(err) |
O = 220 T = 284.54 (out)(err) |
O = 247 T = 0.17 (out)(err) |
O = 213 T = 18.89 (out)(err) |
| maxcut-140-630-0.7-47.cnf | O = 160 T = 0.08 |
O = 160 T = 2.91 (out)(err) |
O = 160 T = 4.32 (out)(err) |
O = 160 T = 0.08 (out)(err) |
O = 160 T = 1.53 (out)(err) |
O = N/A T = TO (out)(err) |
O = 160 T = 1.23 (out)(err) |
O = 245 T = 284.45 (out)(err) |
O = 245 T = 0.14 (out)(err) |
O = 227 T = 149.44 (out)(err) |
| maxcut-140-630-0.7-48.cnf | O = 168 T = 0.09 |
O = 168 T = 2.92 (out)(err) |
O = 168 T = 4.08 (out)(err) |
O = 168 T = 0.09 (out)(err) |
O = 168 T = 3.37 (out)(err) |
O = N/A T = TO (out)(err) |
O = 168 T = 1.86 (out)(err) |
O = 240 T = 284.59 (out)(err) |
O = 255 T = 0.19 (out)(err) |
O = 223 T = 115.18 (out)(err) |
| maxcut-140-630-0.7-49.cnf | O = 164 T = 0.10 |
O = 164 T = 2.47 (out)(err) |
O = 164 T = 2.10 (out)(err) |
O = 164 T = 0.10 (out)(err) |
O = 164 T = 1.06 (out)(err) |
O = N/A T = TO (out)(err) |
O = 164 T = 2.32 (out)(err) |
O = 238 T = 286.35 (out)(err) |
O = 251 T = 0.16 (out)(err) |
O = 220 T = 37.19 (out)(err) |
| maxcut-140-630-0.7-5.cnf | O = 164 T = 0.06 |
O = 164 T = 2.80 (out)(err) |
O = 164 T = 1.85 (out)(err) |
O = 164 T = 0.06 (out)(err) |
O = 164 T = 1.05 (out)(err) |
O = N/A T = TO (out)(err) |
O = 164 T = 2.19 (out)(err) |
O = 226 T = 284.55 (out)(err) |
O = 243 T = 0.16 (out)(err) |
O = 222 T = 70.82 (out)(err) |
| maxcut-140-630-0.7-50.cnf | O = 167 T = 0.08 |
O = 167 T = 2.67 (out)(err) |
O = 167 T = 2.91 (out)(err) |
O = 167 T = 0.08 (out)(err) |
O = 167 T = 2.58 (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 1.62 (out)(err) |
O = 242 T = 284.55 (out)(err) |
O = 251 T = 0.05 (out)(err) |
O = 224 T = 38.41 (out)(err) |
| maxcut-140-630-0.7-6.cnf | O = 162 T = 0.05 |
O = 162 T = 2.40 (out)(err) |
O = 162 T = 2.08 (out)(err) |
O = 162 T = 0.05 (out)(err) |
O = 162 T = 2.58 (out)(err) |
O = N/A T = TO (out)(err) |
O = 162 T = 1.38 (out)(err) |
O = 250 T = 284.68 (out)(err) |
O = 252 T = 0.07 (out)(err) |
O = 222 T = 254.46 (out)(err) |
| maxcut-140-630-0.7-7.cnf | O = 164 T = 0.04 |
O = 164 T = 3.45 (out)(err) |
O = 164 T = 1.86 (out)(err) |
O = 164 T = 0.04 (out)(err) |
O = 164 T = 3.55 (out)(err) |
O = N/A T = TO (out)(err) |
O = 164 T = 2.00 (out)(err) |
O = 245 T = 284.73 (out)(err) |
O = 260 T = 0.14 (out)(err) |
O = 228 T = 34.85 (out)(err) |
| maxcut-140-630-0.7-8.cnf | O = 165 T = 0.10 |
O = 165 T = 2.64 (out)(err) |
O = 165 T = 3.52 (out)(err) |
O = 165 T = 0.10 (out)(err) |
O = 165 T = 3.15 (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 2.22 (out)(err) |
O = 249 T = 284.65 (out)(err) |
O = 249 T = 0.12 (out)(err) |
O = 230 T = 82.05 (out)(err) |
| maxcut-140-630-0.7-9.cnf | O = 166 T = 0.09 |
O = 166 T = 3.36 (out)(err) |
O = 166 T = 1.95 (out)(err) |
O = 166 T = 0.09 (out)(err) |
O = 166 T = 1.09 (out)(err) |
O = N/A T = TO (out)(err) |
O = 166 T = 1.97 (out)(err) |
O = 237 T = 284.68 (out)(err) |
O = 237 T = 0.15 (out)(err) |
O = 221 T = 85.58 (out)(err) |
| maxcut-140-630-0.8-1.cnf | O = 165 T = 0.04 |
O = 165 T = 3.14 (out)(err) |
O = 165 T = 2.00 (out)(err) |
O = 165 T = 0.04 (out)(err) |
O = 165 T = 2.67 (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 1.00 (out)(err) |
O = 241 T = 284.60 (out)(err) |
O = 255 T = 0.12 (out)(err) |
O = 221 T = 11.87 (out)(err) |
| maxcut-140-630-0.8-10.cnf | O = 168 T = 1.51 |
O = 168 T = 3.07 (out)(err) |
O = 168 T = 1.91 (out)(err) |
O = 168 T = 4.93 (out)(err) |
O = 168 T = 2.49 (out)(err) |
O = N/A T = TO (out)(err) |
O = 168 T = 1.51 (out)(err) |
O = 241 T = 284.55 (out)(err) |
O = 245 T = 0.17 (out)(err) |
O = 227 T = 92.42 (out)(err) |
| maxcut-140-630-0.8-11.cnf | O = 168 T = 0.18 |
O = 168 T = 2.64 (out)(err) |
O = 168 T = 1.75 (out)(err) |
O = 168 T = 0.18 (out)(err) |
O = 168 T = 1.09 (out)(err) |
O = N/A T = TO (out)(err) |
O = 168 T = 2.17 (out)(err) |
O = 241 T = 284.44 (out)(err) |
O = 247 T = 0.12 (out)(err) |
O = 225 T = 195.85 (out)(err) |
| maxcut-140-630-0.8-12.cnf | O = 165 T = 0.19 |
O = 165 T = 2.80 (out)(err) |
O = 165 T = 2.09 (out)(err) |
O = 165 T = 0.19 (out)(err) |
O = 165 T = 3.49 (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 1.70 (out)(err) |
O = 241 T = 284.45 (out)(err) |
O = 241 T = 0.12 (out)(err) |
O = 228 T = 0.63 (out)(err) |
| maxcut-140-630-0.8-13.cnf | O = 167 T = 0.05 |
O = 167 T = 2.96 (out)(err) |
O = 167 T = 3.50 (out)(err) |
O = 167 T = 0.05 (out)(err) |
O = 167 T = 3.41 (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 1.09 (out)(err) |
O = 237 T = 284.61 (out)(err) |
O = 264 T = 0.09 (out)(err) |
O = 222 T = 55.47 (out)(err) |
| maxcut-140-630-0.8-14.cnf | O = 164 T = 0.04 |
O = 164 T = 2.81 (out)(err) |
O = 164 T = 3.37 (out)(err) |
O = 164 T = 0.04 (out)(err) |
O = 164 T = 3.05 (out)(err) |
O = N/A T = TO (out)(err) |
O = 164 T = 1.52 (out)(err) |
O = 238 T = 284.74 (out)(err) |
O = 242 T = 0.12 (out)(err) |
O = 223 T = 183.86 (out)(err) |
| maxcut-140-630-0.8-15.cnf | O = 166 T = 0.87 |
O = 166 T = 2.50 (out)(err) |
O = 166 T = 1.88 (out)(err) |
O = 166 T = 0.87 (out)(err) |
O = 166 T = 2.90 (out)(err) |
O = N/A T = TO (out)(err) |
O = 166 T = 1.86 (out)(err) |
O = 229 T = 284.74 (out)(err) |
O = 239 T = 0.07 (out)(err) |
O = 228 T = 0.67 (out)(err) |
| maxcut-140-630-0.8-16.cnf | O = 163 T = 0.05 |
O = 163 T = 2.51 (out)(err) |
O = 163 T = 1.89 (out)(err) |
O = 163 T = 0.05 (out)(err) |
O = 163 T = 3.27 (out)(err) |
O = N/A T = TO (out)(err) |
O = 163 T = 1.73 (out)(err) |
O = 227 T = 284.72 (out)(err) |
O = 245 T = 0.15 (out)(err) |
O = 226 T = 51.02 (out)(err) |
| maxcut-140-630-0.8-17.cnf | O = 168 T = 0.51 |
O = 168 T = 1.77 (out)(err) |
O = 168 T = 1.70 (out)(err) |
O = 168 T = 0.51 (out)(err) |
O = 168 T = 3.16 (out)(err) |
O = N/A T = TO (out)(err) |
O = 168 T = 2.46 (out)(err) |
O = 243 T = 284.68 (out)(err) |
O = 248 T = 0.05 (out)(err) |
O = 230 T = 27.54 (out)(err) |
| maxcut-140-630-0.8-18.cnf | O = 163 T = 0.04 |
O = 163 T = 1.73 (out)(err) |
O = 163 T = 1.64 (out)(err) |
O = 163 T = 0.04 (out)(err) |
O = 163 T = 3.21 (out)(err) |
O = N/A T = TO (out)(err) |
O = 163 T = 2.99 (out)(err) |
O = 245 T = 284.52 (out)(err) |
O = 251 T = 0.11 (out)(err) |
O = 223 T = 98.95 (out)(err) |
| maxcut-140-630-0.8-19.cnf | O = 164 T = 0.05 |
O = 164 T = 2.51 (out)(err) |
O = 164 T = 2.52 (out)(err) |
O = 164 T = 0.05 (out)(err) |
O = 164 T = 1.07 (out)(err) |
O = N/A T = TO (out)(err) |
O = 164 T = 3.13 (out)(err) |
O = 240 T = 292.57 (out)(err) |
O = 261 T = 0.16 (out)(err) |
O = 221 T = 73.43 (out)(err) |
| maxcut-140-630-0.8-2.cnf | O = 162 T = 0.09 |
O = 162 T = 2.99 (out)(err) |
O = 162 T = 2.49 (out)(err) |
O = 162 T = 0.09 (out)(err) |
O = 162 T = 1.23 (out)(err) |
O = N/A T = TO (out)(err) |
O = 162 T = 3.19 (out)(err) |
O = 233 T = 284.67 (out)(err) |
O = 257 T = 0.18 (out)(err) |
O = 216 T = 106.64 (out)(err) |
| maxcut-140-630-0.8-20.cnf | O = 165 T = 0.74 |
O = 165 T = 2.87 (out)(err) |
O = 165 T = 2.73 (out)(err) |
O = 165 T = 0.74 (out)(err) |
O = 165 T = 1.95 (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 2.75 (out)(err) |
O = 242 T = 284.71 (out)(err) |
O = 256 T = 0.14 (out)(err) |
O = 219 T = 285.92 (out)(err) |
| maxcut-140-630-0.8-21.cnf | O = 167 T = 0.04 |
O = 167 T = 2.00 (out)(err) |
O = 167 T = 1.81 (out)(err) |
O = 167 T = 0.04 (out)(err) |
O = 167 T = 1.09 (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 2.56 (out)(err) |
O = 238 T = 284.73 (out)(err) |
O = 239 T = 0.07 (out)(err) |
O = 219 T = 154.29 (out)(err) |
| maxcut-140-630-0.8-22.cnf | O = 170 T = 0.04 |
O = 170 T = 4.10 (out)(err) |
O = 170 T = 1.93 (out)(err) |
O = 170 T = 0.04 (out)(err) |
O = 170 T = 0.99 (out)(err) |
O = N/A T = TO (out)(err) |
O = 170 T = 2.38 (out)(err) |
O = 233 T = 284.74 (out)(err) |
O = 245 T = 0.10 (out)(err) |
O = 229 T = 263.03 (out)(err) |
| maxcut-140-630-0.8-23.cnf | O = 167 T = 0.08 |
O = 167 T = 4.42 (out)(err) |
O = 167 T = 2.37 (out)(err) |
O = 167 T = 0.08 (out)(err) |
O = 167 T = 1.06 (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 2.21 (out)(err) |
O = 240 T = 284.69 (out)(err) |
O = 251 T = 0.10 (out)(err) |
O = 228 T = 51.67 (out)(err) |
| maxcut-140-630-0.8-24.cnf | O = 165 T = 0.10 |
O = 165 T = 2.88 (out)(err) |
O = 165 T = 2.62 (out)(err) |
O = 165 T = 0.10 (out)(err) |
O = 165 T = 3.50 (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 2.36 (out)(err) |
O = 232 T = 284.71 (out)(err) |
O = 246 T = 0.10 (out)(err) |
O = 222 T = 22.34 (out)(err) |
| maxcut-140-630-0.8-25.cnf | O = 165 T = 0.07 |
O = 165 T = 2.92 (out)(err) |
O = 165 T = 2.38 (out)(err) |
O = 165 T = 0.07 (out)(err) |
O = 165 T = 3.29 (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 1.96 (out)(err) |
O = 232 T = 284.55 (out)(err) |
O = 245 T = 0.06 (out)(err) |
O = 223 T = 18.35 (out)(err) |
| maxcut-140-630-0.8-26.cnf | O = 167 T = 0.10 |
O = 167 T = 3.48 (out)(err) |
O = 167 T = 2.55 (out)(err) |
O = 167 T = 0.10 (out)(err) |
O = 167 T = 3.72 (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 2.20 (out)(err) |
O = 238 T = 284.52 (out)(err) |
O = 253 T = 0.08 (out)(err) |
O = 234 T = 93.52 (out)(err) |
| maxcut-140-630-0.8-27.cnf | O = 168 T = 0.29 |
O = 168 T = 2.83 (out)(err) |
O = 168 T = 2.37 (out)(err) |
O = 168 T = 0.29 (out)(err) |
O = 168 T = 2.20 (out)(err) |
O = N/A T = TO (out)(err) |
O = 168 T = 1.91 (out)(err) |
O = 221 T = 284.73 (out)(err) |
O = 229 T = 0.12 (out)(err) |
O = 229 T = 0.14 (out)(err) |
| maxcut-140-630-0.8-28.cnf | O = 168 T = 0.09 |
O = 168 T = 3.48 (out)(err) |
O = 168 T = 3.15 (out)(err) |
O = 168 T = 0.09 (out)(err) |
O = 168 T = 1.10 (out)(err) |
O = N/A T = TO (out)(err) |
O = 168 T = 2.23 (out)(err) |
O = 247 T = 284.71 (out)(err) |
O = 246 T = 0.05 (out)(err) |
O = 218 T = 156.42 (out)(err) |
| maxcut-140-630-0.8-29.cnf | O = 167 T = 0.08 |
O = 167 T = 3.09 (out)(err) |
O = 167 T = 2.75 (out)(err) |
O = 167 T = 0.08 (out)(err) |
O = 167 T = 2.15 (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 2.34 (out)(err) |
O = 244 T = 284.71 (out)(err) |
O = 246 T = 0.07 (out)(err) |
O = 231 T = 77.62 (out)(err) |
| maxcut-140-630-0.8-3.cnf | O = 165 T = 0.04 |
O = 165 T = 3.22 (out)(err) |
O = 165 T = 2.89 (out)(err) |
O = 165 T = 0.04 (out)(err) |
O = 165 T = 1.50 (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 2.15 (out)(err) |
O = 238 T = 284.75 (out)(err) |
O = 248 T = 0.10 (out)(err) |
O = 225 T = 0.85 (out)(err) |
| maxcut-140-630-0.8-30.cnf | O = 167 T = 0.04 |
O = 167 T = 3.10 (out)(err) |
O = 167 T = 3.35 (out)(err) |
O = 167 T = 0.04 (out)(err) |
O = 167 T = 1.54 (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 1.96 (out)(err) |
O = 231 T = 284.68 (out)(err) |
O = 268 T = 0.08 (out)(err) |
O = 216 T = 253.69 (out)(err) |
| maxcut-140-630-0.8-31.cnf | O = 165 T = 0.07 |
O = 165 T = 2.84 (out)(err) |
O = 165 T = 3.05 (out)(err) |
O = 165 T = 0.07 (out)(err) |
O = 165 T = 2.65 (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 1.08 (out)(err) |
O = 232 T = 284.75 (out)(err) |
O = 252 T = 0.10 (out)(err) |
O = 213 T = 8.10 (out)(err) |
| maxcut-140-630-0.8-32.cnf | O = 164 T = 0.04 |
O = 164 T = 2.52 (out)(err) |
O = 164 T = 2.94 (out)(err) |
O = 164 T = 0.04 (out)(err) |
O = 164 T = 3.19 (out)(err) |
O = N/A T = TO (out)(err) |
O = 164 T = 1.11 (out)(err) |
O = 248 T = 284.74 (out)(err) |
O = 263 T = 0.12 (out)(err) |
O = 226 T = 0.67 (out)(err) |
| maxcut-140-630-0.8-33.cnf | O = 163 T = 0.11 |
O = 163 T = 2.94 (out)(err) |
O = 163 T = 2.67 (out)(err) |
O = 163 T = 0.11 (out)(err) |
O = 163 T = 3.12 (out)(err) |
O = N/A T = TO (out)(err) |
O = 163 T = 2.61 (out)(err) |
O = 241 T = 284.75 (out)(err) |
O = 257 T = 0.10 (out)(err) |
O = 221 T = 77.16 (out)(err) |
| maxcut-140-630-0.8-34.cnf | O = 163 T = 0.04 |
O = 163 T = 2.89 (out)(err) |
O = 163 T = 2.70 (out)(err) |
O = 163 T = 0.04 (out)(err) |
O = 163 T = 3.39 (out)(err) |
O = N/A T = TO (out)(err) |
O = 163 T = 2.37 (out)(err) |
O = 242 T = 284.42 (out)(err) |
O = 247 T = 0.08 (out)(err) |
O = 220 T = 122.79 (out)(err) |
| maxcut-140-630-0.8-35.cnf | O = 165 T = 0.05 |
O = 165 T = 2.93 (out)(err) |
O = 165 T = 2.89 (out)(err) |
O = 165 T = 0.05 (out)(err) |
O = 165 T = 3.48 (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 2.57 (out)(err) |
O = 229 T = 284.47 (out)(err) |
O = 238 T = 0.07 (out)(err) |
O = 231 T = 13.30 (out)(err) |
| maxcut-140-630-0.8-36.cnf | O = 165 T = 0.05 |
O = 165 T = 2.82 (out)(err) |
O = 165 T = 2.57 (out)(err) |
O = 165 T = 0.05 (out)(err) |
O = 165 T = 2.27 (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 2.17 (out)(err) |
O = 218 T = 284.62 (out)(err) |
O = 247 T = 0.11 (out)(err) |
O = 215 T = 290.46 (out)(err) |
| maxcut-140-630-0.8-37.cnf | O = 167 T = 0.04 |
O = 167 T = 2.78 (out)(err) |
O = 167 T = 2.83 (out)(err) |
O = 167 T = 0.04 (out)(err) |
O = 167 T = 2.19 (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 2.46 (out)(err) |
O = 220 T = 284.59 (out)(err) |
O = 231 T = 0.12 (out)(err) |
O = 231 T = 0.24 (out)(err) |
| maxcut-140-630-0.8-38.cnf | O = 160 T = 0.04 |
O = 160 T = 2.54 (out)(err) |
O = 160 T = 3.33 (out)(err) |
O = 160 T = 0.04 (out)(err) |
O = 160 T = 2.28 (out)(err) |
O = N/A T = TO (out)(err) |
O = 160 T = 2.55 (out)(err) |
O = 235 T = 284.72 (out)(err) |
O = 250 T = 0.07 (out)(err) |
O = 219 T = 36.93 (out)(err) |
| maxcut-140-630-0.8-39.cnf | O = 169 T = 0.09 |
O = 169 T = 2.99 (out)(err) |
O = 169 T = 3.40 (out)(err) |
O = 169 T = 0.09 (out)(err) |
O = 169 T = 3.08 (out)(err) |
O = N/A T = TO (out)(err) |
O = 169 T = 2.12 (out)(err) |
O = 238 T = 284.69 (out)(err) |
O = 248 T = 0.12 (out)(err) |
O = 225 T = 39.05 (out)(err) |
| maxcut-140-630-0.8-4.cnf | O = 165 T = 0.10 |
O = 165 T = 2.71 (out)(err) |
O = 165 T = 2.99 (out)(err) |
O = 165 T = 0.10 (out)(err) |
O = 165 T = 2.28 (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 1.97 (out)(err) |
O = 237 T = 284.73 (out)(err) |
O = 267 T = 0.06 (out)(err) |
O = 225 T = 0.53 (out)(err) |
| maxcut-140-630-0.8-40.cnf | O = 161 T = 0.10 |
O = 161 T = 2.50 (out)(err) |
O = 161 T = 2.31 (out)(err) |
O = 161 T = 0.10 (out)(err) |
O = 161 T = 2.41 (out)(err) |
O = N/A T = TO (out)(err) |
O = 161 T = 2.54 (out)(err) |
O = 227 T = 284.62 (out)(err) |
O = 226 T = 0.16 (out)(err) |
O = 226 T = 0.22 (out)(err) |
| maxcut-140-630-0.8-41.cnf | O = 163 T = 0.05 |
O = 163 T = 2.11 (out)(err) |
O = 163 T = 1.87 (out)(err) |
O = 163 T = 0.05 (out)(err) |
O = 163 T = 1.93 (out)(err) |
O = N/A T = TO (out)(err) |
O = 163 T = 2.58 (out)(err) |
O = 246 T = 284.61 (out)(err) |
O = 255 T = 0.21 (out)(err) |
O = 220 T = 68.46 (out)(err) |
| maxcut-140-630-0.8-42.cnf | O = 164 T = 0.37 |
O = 164 T = 2.90 (out)(err) |
O = 164 T = 2.42 (out)(err) |
O = 164 T = 0.37 (out)(err) |
O = 164 T = 2.26 (out)(err) |
O = N/A T = TO (out)(err) |
O = 164 T = 2.45 (out)(err) |
O = 235 T = 284.67 (out)(err) |
O = 258 T = 0.10 (out)(err) |
O = 220 T = 132.42 (out)(err) |
| maxcut-140-630-0.8-43.cnf | O = 165 T = 0.09 |
O = 165 T = 2.70 (out)(err) |
O = 165 T = 2.11 (out)(err) |
O = 165 T = 0.09 (out)(err) |
O = 165 T = 2.50 (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 2.05 (out)(err) |
O = 228 T = 284.69 (out)(err) |
O = 228 T = 0.12 (out)(err) |
O = 221 T = 240.08 (out)(err) |
| maxcut-140-630-0.8-44.cnf | O = 160 T = 0.05 |
O = 160 T = 3.17 (out)(err) |
O = 160 T = 2.07 (out)(err) |
O = 160 T = 0.05 (out)(err) |
O = 160 T = 2.71 (out)(err) |
O = N/A T = TO (out)(err) |
O = 160 T = 2.38 (out)(err) |
O = 239 T = 284.45 (out)(err) |
O = 243 T = 0.04 (out)(err) |
O = 211 T = 14.97 (out)(err) |
| maxcut-140-630-0.8-45.cnf | O = 165 T = 0.29 |
O = 165 T = 2.48 (out)(err) |
O = 165 T = 2.11 (out)(err) |
O = 165 T = 0.29 (out)(err) |
O = 165 T = 3.09 (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 2.51 (out)(err) |
O = 238 T = 284.61 (out)(err) |
O = 238 T = 0.05 (out)(err) |
O = 218 T = 194.77 (out)(err) |
| maxcut-140-630-0.8-46.cnf | O = 162 T = 0.02 |
O = 162 T = 3.09 (out)(err) |
O = 162 T = 1.96 (out)(err) |
O = 162 T = 0.02 (out)(err) |
O = 162 T = 3.07 (out)(err) |
O = N/A T = TO (out)(err) |
O = 162 T = 2.91 (out)(err) |
O = 236 T = 284.50 (out)(err) |
O = 237 T = 0.13 (out)(err) |
O = 222 T = 47.42 (out)(err) |
| maxcut-140-630-0.8-47.cnf | O = 164 T = 0.07 |
O = 164 T = 3.21 (out)(err) |
O = 164 T = 1.23 (out)(err) |
O = 164 T = 0.07 (out)(err) |
O = 164 T = 2.93 (out)(err) |
O = N/A T = TO (out)(err) |
O = 164 T = 2.95 (out)(err) |
O = 240 T = 286.90 (out)(err) |
O = 237 T = 0.04 (out)(err) |
O = 226 T = 56.37 (out)(err) |
| maxcut-140-630-0.8-48.cnf | O = 164 T = 0.05 |
O = 164 T = 2.87 (out)(err) |
O = 164 T = 2.09 (out)(err) |
O = 164 T = 0.05 (out)(err) |
O = 164 T = 2.89 (out)(err) |
O = N/A T = TO (out)(err) |
O = 164 T = 2.68 (out)(err) |
O = 239 T = 284.52 (out)(err) |
O = 254 T = 0.15 (out)(err) |
O = 228 T = 222.76 (out)(err) |
| maxcut-140-630-0.8-49.cnf | O = 166 T = 0.07 |
O = 166 T = 2.88 (out)(err) |
O = 166 T = 2.29 (out)(err) |
O = 166 T = 0.07 (out)(err) |
O = 166 T = 1.28 (out)(err) |
O = N/A T = TO (out)(err) |
O = 166 T = 2.95 (out)(err) |
O = 247 T = 284.56 (out)(err) |
O = 266 T = 0.11 (out)(err) |
O = 222 T = 51.89 (out)(err) |
| maxcut-140-630-0.8-5.cnf | O = 164 T = 0.04 |
O = 164 T = 2.82 (out)(err) |
O = 164 T = 1.87 (out)(err) |
O = 164 T = 0.04 (out)(err) |
O = 164 T = 1.47 (out)(err) |
O = N/A T = TO (out)(err) |
O = 164 T = 3.54 (out)(err) |
O = 243 T = 284.71 (out)(err) |
O = 243 T = 0.09 (out)(err) |
O = 228 T = 3.00 (out)(err) |
| maxcut-140-630-0.8-50.cnf | O = 165 T = 0.05 |
O = 165 T = 3.09 (out)(err) |
O = 165 T = 1.38 (out)(err) |
O = 165 T = 0.05 (out)(err) |
O = 165 T = 2.15 (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 3.02 (out)(err) |
O = 236 T = 284.67 (out)(err) |
O = 259 T = 0.11 (out)(err) |
O = 221 T = 11.91 (out)(err) |
| maxcut-140-630-0.8-6.cnf | O = 169 T = 0.05 |
O = 169 T = 2.53 (out)(err) |
O = 169 T = 1.78 (out)(err) |
O = 169 T = 0.05 (out)(err) |
O = 169 T = 2.12 (out)(err) |
O = N/A T = TO (out)(err) |
O = 169 T = 0.91 (out)(err) |
O = 246 T = 284.75 (out)(err) |
O = 251 T = 0.09 (out)(err) |
O = 229 T = 160.70 (out)(err) |
| maxcut-140-630-0.8-7.cnf | O = 166 T = 0.05 |
O = 166 T = 2.93 (out)(err) |
O = 166 T = 1.91 (out)(err) |
O = 166 T = 0.05 (out)(err) |
O = 166 T = 2.24 (out)(err) |
O = N/A T = TO (out)(err) |
O = 166 T = 1.73 (out)(err) |
O = 232 T = 284.71 (out)(err) |
O = 232 T = 0.12 (out)(err) |
O = 224 T = 140.41 (out)(err) |
| maxcut-140-630-0.8-8.cnf | O = 167 T = 0.08 |
O = 167 T = 2.83 (out)(err) |
O = 167 T = 2.31 (out)(err) |
O = 167 T = 0.08 (out)(err) |
O = 167 T = 3.57 (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 2.29 (out)(err) |
O = 236 T = 284.49 (out)(err) |
O = 244 T = 0.11 (out)(err) |
O = 227 T = 5.57 (out)(err) |
| maxcut-140-630-0.8-9.cnf | O = 165 T = 0.08 |
O = 165 T = 2.89 (out)(err) |
O = 165 T = 2.43 (out)(err) |
O = 165 T = 0.08 (out)(err) |
O = 165 T = 2.84 (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 2.34 (out)(err) |
O = 240 T = 284.70 (out)(err) |
O = 240 T = 0.10 (out)(err) |
O = 215 T = 179.66 (out)(err) |
| MANN_a27.clq.cnf | O = 404 T = 0.05 |
O = 404 T = 0.34 (out)(err) |
O = 404 T = 0.57 (out)(err) |
O = 404 T = 0.05 (out)(err) |
O = 404 T = 0.58 (out)(err) |
O = N/A T = TO (out)(err) |
O = 404 T = 0.30 (out)(err) |
O = 406 T = 284.54 (out)(err) |
O = 804 T = 0.13 (out)(err) |
O = 405 T = 113.79 (out)(err) |
| MANN_a45.clq.cnf | O = 418 T = 0.06 |
O = 418 T = 0.20 (out)(err) |
O = 418 T = 0.29 (out)(err) |
O = 418 T = 0.06 (out)(err) |
O = 418 T = 0.15 (out)(err) |
O = N/A T = TO (out)(err) |
O = 418 T = 0.11 (out)(err) |
O = 418 T = 284.61 (out)(err) |
O = 818 T = 0.05 (out)(err) |
O = 418 T = 0.98 (out)(err) |
| MANN_a81.clq.cnf | O = 399 T = 0.05 |
O = 399 T = 0.13 (out)(err) |
O = 399 T = 0.35 (out)(err) |
O = 399 T = 0.05 (out)(err) |
O = 399 T = 0.20 (out)(err) |
O = N/A T = TO (out)(err) |
O = 399 T = 0.12 (out)(err) |
O = 399 T = 284.72 (out)(err) |
O = 779 T = 0.15 (out)(err) |
O = 399 T = 0.51 (out)(err) |
| MANN_a9.clq.cnf | O = 422 T = 0.06 |
O = 422 T = 0.77 (out)(err) |
O = 422 T = 0.63 (out)(err) |
O = 422 T = 0.06 (out)(err) |
O = 422 T = 0.46 (out)(err) |
O = N/A T = TO (out)(err) |
O = 422 T = 0.58 (out)(err) |
O = 435 T = 284.56 (out)(err) |
O = 759 T = 0.14 (out)(err) |
O = 427 T = 121.54 (out)(err) |
| brock200_1.clq.cnf | O = 238 T = 0.04 |
O = 238 T = 0.62 (out)(err) |
O = 238 T = 0.70 (out)(err) |
O = 238 T = 0.04 (out)(err) |
O = 238 T = 0.58 (out)(err) |
O = N/A T = TO (out)(err) |
O = 238 T = 0.36 (out)(err) |
O = 251 T = 284.73 (out)(err) |
O = 309 T = 0.21 (out)(err) |
O = N/A T = TO (out)(err) |
| brock200_2.clq.cnf | O = 141 T = 0.04 |
O = 141 T = 1.35 (out)(err) |
O = 141 T = 1.25 (out)(err) |
O = 141 T = 0.04 (out)(err) |
O = 141 T = 0.48 (out)(err) |
O = N/A T = TO (out)(err) |
O = 141 T = 0.73 (out)(err) |
O = 163 T = 284.73 (out)(err) |
O = 195 T = 0.17 (out)(err) |
O = 152 T = 188.10 (out)(err) |
| brock200_3.clq.cnf | O = 214 T = 0.02 |
O = 214 T = 0.62 (out)(err) |
O = 214 T = 0.70 (out)(err) |
O = 214 T = 0.02 (out)(err) |
O = 214 T = 0.87 (out)(err) |
O = N/A T = TO (out)(err) |
O = 214 T = 0.84 (out)(err) |
O = 235 T = 284.54 (out)(err) |
O = 344 T = 0.16 (out)(err) |
O = 227 T = 3.85 (out)(err) |
| brock200_4.clq.cnf | O = 209 T = 0.05 |
O = 209 T = 0.70 (out)(err) |
O = 209 T = 1.48 (out)(err) |
O = 209 T = 0.05 (out)(err) |
O = 209 T = 0.92 (out)(err) |
O = N/A T = TO (out)(err) |
O = 209 T = 0.35 (out)(err) |
O = 226 T = 284.69 (out)(err) |
O = 299 T = 0.17 (out)(err) |
O = 229 T = 278.04 (out)(err) |
| brock400_1.clq.cnf | O = 255 T = 0.03 |
O = 255 T = 0.81 (out)(err) |
O = 255 T = 1.40 (out)(err) |
O = 255 T = 0.03 (out)(err) |
O = 255 T = 0.57 (out)(err) |
O = N/A T = TO (out)(err) |
O = 255 T = 0.28 (out)(err) |
O = 271 T = 284.75 (out)(err) |
O = 383 T = 0.13 (out)(err) |
O = 269 T = 93.70 (out)(err) |
| brock400_2.clq.cnf | O = 252 T = 0.04 |
O = 252 T = 0.87 (out)(err) |
O = 252 T = 0.65 (out)(err) |
O = 252 T = 0.04 (out)(err) |
O = 252 T = 0.46 (out)(err) |
O = N/A T = TO (out)(err) |
O = 252 T = 0.88 (out)(err) |
O = 268 T = 284.72 (out)(err) |
O = 383 T = 0.17 (out)(err) |
O = 271 T = 64.93 (out)(err) |
| brock400_3.clq.cnf | O = 238 T = 0.05 |
O = 238 T = 0.84 (out)(err) |
O = 238 T = 0.95 (out)(err) |
O = 238 T = 0.05 (out)(err) |
O = 238 T = 0.68 (out)(err) |
O = N/A T = TO (out)(err) |
O = 238 T = 0.58 (out)(err) |
O = 249 T = 284.70 (out)(err) |
O = 417 T = 0.16 (out)(err) |
O = 250 T = 214.75 (out)(err) |
| brock400_4.clq.cnf | O = 249 T = 0.02 |
O = 249 T = 0.81 (out)(err) |
O = 249 T = 0.81 (out)(err) |
O = 249 T = 0.02 (out)(err) |
O = 249 T = 0.39 (out)(err) |
O = N/A T = TO (out)(err) |
O = 249 T = 0.31 (out)(err) |
O = 269 T = 284.55 (out)(err) |
O = 497 T = 0.16 (out)(err) |
O = 264 T = 88.84 (out)(err) |
| brock800_1.clq.cnf | O = 205 T = 0.02 |
O = 205 T = 1.16 (out)(err) |
O = 205 T = 1.07 (out)(err) |
O = 205 T = 0.02 (out)(err) |
O = 205 T = 0.39 (out)(err) |
O = N/A T = TO (out)(err) |
O = 205 T = 0.46 (out)(err) |
O = 225 T = 284.54 (out)(err) |
O = 389 T = 0.12 (out)(err) |
O = 224 T = 6.98 (out)(err) |
| brock800_2.clq.cnf | O = 207 T = 0.05 |
O = 207 T = 1.30 (out)(err) |
O = 207 T = 1.04 (out)(err) |
O = 207 T = 0.05 (out)(err) |
O = 207 T = 0.32 (out)(err) |
O = N/A T = TO (out)(err) |
O = 207 T = 0.77 (out)(err) |
O = 225 T = 284.57 (out)(err) |
O = 304 T = 0.08 (out)(err) |
O = 220 T = 109.88 (out)(err) |
| brock800_3.clq.cnf | O = 203 T = 0.04 |
O = 203 T = 0.95 (out)(err) |
O = 203 T = 0.96 (out)(err) |
O = 203 T = 0.04 (out)(err) |
O = 203 T = 0.47 (out)(err) |
O = N/A T = TO (out)(err) |
O = 203 T = 0.83 (out)(err) |
O = 225 T = 284.52 (out)(err) |
O = 326 T = 0.13 (out)(err) |
O = 223 T = 252.28 (out)(err) |
| brock800_4.clq.cnf | O = 200 T = 0.05 |
O = 200 T = 0.67 (out)(err) |
O = 200 T = 0.62 (out)(err) |
O = 200 T = 0.05 (out)(err) |
O = 200 T = 0.32 (out)(err) |
O = N/A T = TO (out)(err) |
O = 200 T = 0.99 (out)(err) |
O = 218 T = 284.58 (out)(err) |
O = 258 T = 0.10 (out)(err) |
O = 215 T = 13.67 (out)(err) |
| c-fat200-1.clq.cnf | O = 4 T = 0.00 |
O = 4 T = 0.50 (out)(err) |
O = 4 T = 0.83 (out)(err) |
O = 4 T = 0.03 (out)(err) |
O = 4 T = 0.49 (out)(err) |
O = 4 T = 0.52 (out)(err) |
O = 4 T = 0.70 (out)(err) |
O = 4 T = 0.00 (out)(err) |
O = 4 T = 0.00 (out)(err) |
O = 4 T = 0.01 (out)(err) |
| c-fat200-2.clq.cnf | O = 26 T = 0.03 |
O = 26 T = 0.67 (out)(err) |
O = 26 T = 0.92 (out)(err) |
O = 26 T = 0.03 (out)(err) |
O = 26 T = 0.54 (out)(err) |
O = N/A T = TO (out)(err) |
O = 26 T = 0.94 (out)(err) |
O = 26 T = 14.89 (out)(err) |
O = 26 T = 37.26 (out)(err) |
O = 26 T = 21.14 (out)(err) |
| c-fat200-5.clq.cnf | O = 116 T = 0.05 |
O = 116 T = 0.52 (out)(err) |
O = 116 T = 0.70 (out)(err) |
O = 116 T = 0.05 (out)(err) |
O = 116 T = 0.59 (out)(err) |
O = N/A T = TO (out)(err) |
O = 116 T = 0.76 (out)(err) |
O = 117 T = 284.53 (out)(err) |
O = 199 T = 0.05 (out)(err) |
O = 129 T = 297.15 (out)(err) |
| c-fat500-1.clq.cnf | O = 2 T = 0.00 |
O = 2 T = 0.38 (out)(err) |
O = 2 T = 0.54 (out)(err) |
O = 2 T = 0.01 (out)(err) |
O = 2 T = 0.39 (out)(err) |
O = 2 T = 0.22 (out)(err) |
O = 2 T = 0.15 (out)(err) |
O = 2 T = 0.00 (out)(err) |
O = 2 T = 0.00 (out)(err) |
O = 2 T = 0.00 (out)(err) |
| c-fat500-10.clq.cnf | O = 200 T = 0.05 |
O = 200 T = 0.10 (out)(err) |
O = 200 T = 0.45 (out)(err) |
O = 200 T = 0.05 (out)(err) |
O = 200 T = 0.25 (out)(err) |
O = N/A T = TO (out)(err) |
O = 200 T = 0.09 (out)(err) |
O = 206 T = 284.70 (out)(err) |
O = 292 T = 0.11 (out)(err) |
O = 200 T = 0.74 (out)(err) |
| c-fat500-2.clq.cnf | O = 24 T = 0.01 |
O = 24 T = 0.18 (out)(err) |
O = 24 T = 0.51 (out)(err) |
O = 24 T = 0.05 (out)(err) |
O = 24 T = 0.19 (out)(err) |
O = N/A T = TO (out)(err) |
O = 24 T = 0.30 (out)(err) |
O = 24 T = 0.01 (out)(err) |
O = 24 T = 0.02 (out)(err) |
O = 24 T = 1.43 (out)(err) |
| c-fat500-5.clq.cnf | O = 90 T = 0.04 |
O = 90 T = 0.15 (out)(err) |
O = 90 T = 0.48 (out)(err) |
O = 90 T = 0.04 (out)(err) |
O = 90 T = 0.13 (out)(err) |
O = N/A T = TO (out)(err) |
O = 90 T = 0.25 (out)(err) |
O = 90 T = 0.35 (out)(err) |
O = 114 T = 0.11 (out)(err) |
O = 90 T = 1.53 (out)(err) |
| hamming10-2.clq.cnf | O = 400 T = 0.04 |
O = 400 T = 0.21 (out)(err) |
O = 400 T = 0.54 (out)(err) |
O = 400 T = 0.04 (out)(err) |
O = 400 T = 0.06 (out)(err) |
O = N/A T = TO (out)(err) |
O = 400 T = 0.13 (out)(err) |
O = 400 T = 284.64 (out)(err) |
O = 780 T = 0.09 (out)(err) |
O = 400 T = 2.51 (out)(err) |
| hamming10-4.clq.cnf | O = 319 T = 0.05 |
O = 319 T = 1.11 (out)(err) |
O = 319 T = 1.42 (out)(err) |
O = 319 T = 0.05 (out)(err) |
O = 319 T = 0.61 (out)(err) |
O = N/A T = TO (out)(err) |
O = 319 T = 0.88 (out)(err) |
O = 336 T = 284.57 (out)(err) |
O = 533 T = 0.07 (out)(err) |
O = 333 T = 249.70 (out)(err) |
| hamming6-2.clq.cnf | O = 832 T = 0.05 |
O = 832 T = 0.66 (out)(err) |
O = 832 T = 1.53 (out)(err) |
O = 832 T = 0.05 (out)(err) |
O = 832 T = 0.68 (out)(err) |
O = N/A T = TO (out)(err) |
O = 832 T = 1.48 (out)(err) |
O = 870 T = 284.64 (out)(err) |
O = 1551 T = 0.05 (out)(err) |
O = 870 T = 118.98 (out)(err) |
| hamming6-4.clq.cnf | O = 192 T = 0.05 |
O = 192 T = 0.56 (out)(err) |
O = 192 T = 0.80 (out)(err) |
O = 192 T = 0.05 (out)(err) |
O = 192 T = 0.46 (out)(err) |
O = N/A T = TO (out)(err) |
O = 192 T = 1.19 (out)(err) |
O = 202 T = 285.27 (out)(err) |
O = 302 T = 0.09 (out)(err) |
O = 192 T = 92.05 (out)(err) |
| hamming8-2.clq.cnf | O = 441 T = 0.03 |
O = 441 T = 0.13 (out)(err) |
O = 441 T = 0.41 (out)(err) |
O = 441 T = 0.04 (out)(err) |
O = 441 T = 0.07 (out)(err) |
O = N/A T = TO (out)(err) |
O = 441 T = 0.03 (out)(err) |
O = 441 T = 284.67 (out)(err) |
O = 861 T = 0.08 (out)(err) |
O = 441 T = 0.76 (out)(err) |
| hamming8-4.clq.cnf | O = 176 T = 0.05 |
O = 176 T = 0.66 (out)(err) |
O = 176 T = 0.71 (out)(err) |
O = 176 T = 0.05 (out)(err) |
O = 176 T = 0.40 (out)(err) |
O = N/A T = TO (out)(err) |
O = 176 T = 0.33 (out)(err) |
O = 176 T = 284.61 (out)(err) |
O = 280 T = 0.05 (out)(err) |
O = 195 T = 297.45 (out)(err) |
| johnson16-2-4.clq.cnf | O = 215 T = 0.05 |
O = 215 T = 0.71 (out)(err) |
O = 215 T = 0.99 (out)(err) |
O = 215 T = 0.05 (out)(err) |
O = 215 T = 1.10 (out)(err) |
O = N/A T = TO (out)(err) |
O = 215 T = 0.84 (out)(err) |
O = 236 T = 284.59 (out)(err) |
O = 353 T = 0.05 (out)(err) |
O = 241 T = 297.95 (out)(err) |
| johnson32-2-4.clq.cnf | O = 329 T = 0.05 |
O = 329 T = 0.63 (out)(err) |
O = 329 T = 0.85 (out)(err) |
O = 329 T = 0.05 (out)(err) |
O = 329 T = 0.97 (out)(err) |
O = N/A T = TO (out)(err) |
O = 329 T = 1.11 (out)(err) |
O = 358 T = 284.50 (out)(err) |
O = 593 T = 0.05 (out)(err) |
O = 347 T = 199.82 (out)(err) |
| johnson8-2-4.clq.cnf | O = 75 T = 0.05 |
O = 75 T = 0.41 (out)(err) |
O = 75 T = 0.84 (out)(err) |
O = 75 T = 0.05 (out)(err) |
O = 75 T = 0.48 (out)(err) |
O = N/A T = TO (out)(err) |
O = 75 T = 0.60 (out)(err) |
O = 75 T = 3.72 (out)(err) |
O = 105 T = 0.16 (out)(err) |
O = 75 T = 7.22 (out)(err) |
| johnson8-4-4.clq.cnf | O = 770 T = 0.06 |
O = 770 T = 1.70 (out)(err) |
O = 770 T = 0.61 (out)(err) |
O = 770 T = 0.06 (out)(err) |
O = 770 T = 1.63 (out)(err) |
O = N/A T = TO (out)(err) |
O = 770 T = 1.62 (out)(err) |
O = 860 T = 284.49 (out)(err) |
O = 1238 T = 0.10 (out)(err) |
O = 821 T = 157.47 (out)(err) |
| keller4.clq.cnf | O = 199 T = 0.05 |
O = 199 T = 0.73 (out)(err) |
O = 199 T = 1.08 (out)(err) |
O = 199 T = 0.05 (out)(err) |
O = 199 T = 0.97 (out)(err) |
O = N/A T = TO (out)(err) |
O = 199 T = 1.04 (out)(err) |
O = 212 T = 284.48 (out)(err) |
O = 467 T = 0.08 (out)(err) |
O = 251 T = 2.19 (out)(err) |
| keller5.clq.cnf | O = 250 T = 0.02 |
O = 250 T = 0.70 (out)(err) |
O = 250 T = 0.86 (out)(err) |
O = 250 T = 0.02 (out)(err) |
O = 250 T = 1.00 (out)(err) |
O = N/A T = TO (out)(err) |
O = 250 T = 1.00 (out)(err) |
O = 272 T = 284.62 (out)(err) |
O = 369 T = 0.15 (out)(err) |
O = 268 T = 4.04 (out)(err) |
| p_hat1000-1.clq.cnf | O = 52 T = 0.04 |
O = 52 T = 0.89 (out)(err) |
O = 52 T = 0.89 (out)(err) |
O = 52 T = 0.04 (out)(err) |
O = 52 T = 0.50 (out)(err) |
O = N/A T = TO (out)(err) |
O = 52 T = 0.84 (out)(err) |
O = 52 T = 74.73 (out)(err) |
O = 68 T = 0.25 (out)(err) |
O = 52 T = 25.01 (out)(err) |
| p_hat1000-2.clq.cnf | O = 142 T = 0.06 |
O = 142 T = 0.79 (out)(err) |
O = 142 T = 0.75 (out)(err) |
O = 142 T = 0.06 (out)(err) |
O = 142 T = 0.50 (out)(err) |
O = N/A T = TO (out)(err) |
O = 142 T = 0.76 (out)(err) |
O = 151 T = 284.73 (out)(err) |
O = 221 T = 0.17 (out)(err) |
O = 149 T = 218.71 (out)(err) |
| p_hat1000-3.clq.cnf | O = 238 T = 0.06 |
O = 238 T = 1.06 (out)(err) |
O = 238 T = 1.37 (out)(err) |
O = 238 T = 0.06 (out)(err) |
O = 238 T = 0.64 (out)(err) |
O = N/A T = TO (out)(err) |
O = 238 T = 0.77 (out)(err) |
O = 256 T = 284.68 (out)(err) |
O = 401 T = 0.05 (out)(err) |
O = 254 T = 120.70 (out)(err) |
| p_hat300-1.clq.cnf | O = 49 T = 0.04 |
O = 49 T = 0.77 (out)(err) |
O = 49 T = 0.80 (out)(err) |
O = 49 T = 0.04 (out)(err) |
O = 49 T = 0.69 (out)(err) |
O = N/A T = TO (out)(err) |
O = 49 T = 0.91 (out)(err) |
O = 49 T = 50.08 (out)(err) |
O = 75 T = 0.13 (out)(err) |
O = 49 T = 43.38 (out)(err) |
| p_hat300-2.clq.cnf | O = 135 T = 0.05 |
O = 135 T = 0.88 (out)(err) |
O = 135 T = 0.84 (out)(err) |
O = 135 T = 0.05 (out)(err) |
O = 135 T = 1.09 (out)(err) |
O = N/A T = TO (out)(err) |
O = 135 T = 0.96 (out)(err) |
O = 140 T = 284.53 (out)(err) |
O = 244 T = 0.18 (out)(err) |
O = 146 T = 281.97 (out)(err) |
| p_hat300-3.clq.cnf | O = 269 T = 0.05 |
O = 269 T = 0.89 (out)(err) |
O = 269 T = 0.84 (out)(err) |
O = 269 T = 0.05 (out)(err) |
O = 269 T = 0.94 (out)(err) |
O = N/A T = TO (out)(err) |
O = 269 T = 0.75 (out)(err) |
O = 292 T = 284.66 (out)(err) |
O = 316 T = 0.15 (out)(err) |
O = 282 T = 7.18 (out)(err) |
| p_hat500-1.clq.cnf | O = 75 T = 0.05 |
O = 75 T = 1.01 (out)(err) |
O = 75 T = 0.87 (out)(err) |
O = 75 T = 0.05 (out)(err) |
O = 75 T = 0.81 (out)(err) |
O = N/A T = TO (out)(err) |
O = 75 T = 0.95 (out)(err) |
O = 76 T = 284.63 (out)(err) |
O = 111 T = 0.19 (out)(err) |
O = 81 T = 295.28 (out)(err) |
| p_hat500-2.clq.cnf | O = 176 T = 0.05 |
O = 176 T = 0.93 (out)(err) |
O = 176 T = 1.00 (out)(err) |
O = 176 T = 0.05 (out)(err) |
O = 176 T = 0.52 (out)(err) |
O = N/A T = TO (out)(err) |
O = 176 T = 0.94 (out)(err) |
O = 182 T = 284.62 (out)(err) |
O = 310 T = 0.20 (out)(err) |
O = 194 T = 139.92 (out)(err) |
| p_hat500-3.clq.cnf | O = 284 T = 0.04 |
O = 284 T = 1.03 (out)(err) |
O = 284 T = 0.83 (out)(err) |
O = 284 T = 0.04 (out)(err) |
O = 284 T = 0.52 (out)(err) |
O = N/A T = TO (out)(err) |
O = 284 T = 0.69 (out)(err) |
O = 298 T = 284.65 (out)(err) |
O = 435 T = 0.18 (out)(err) |
O = 300 T = 18.86 (out)(err) |
| p_hat700-1.clq.cnf | O = 63 T = 0.05 |
O = 63 T = 0.80 (out)(err) |
O = 63 T = 0.78 (out)(err) |
O = 63 T = 0.05 (out)(err) |
O = 63 T = 0.45 (out)(err) |
O = N/A T = TO (out)(err) |
O = 63 T = 0.86 (out)(err) |
O = 63 T = 284.61 (out)(err) |
O = 94 T = 0.21 (out)(err) |
O = 66 T = 262.90 (out)(err) |
| p_hat700-2.clq.cnf | O = 154 T = 0.04 |
O = 154 T = 0.89 (out)(err) |
O = 154 T = 0.58 (out)(err) |
O = 154 T = 0.04 (out)(err) |
O = 154 T = 0.96 (out)(err) |
O = N/A T = TO (out)(err) |
O = 154 T = 0.96 (out)(err) |
O = 165 T = 284.44 (out)(err) |
O = 244 T = 0.14 (out)(err) |
O = 167 T = 277.69 (out)(err) |
| p_hat700-3.clq.cnf | O = 267 T = 0.04 |
O = 267 T = 0.71 (out)(err) |
O = 267 T = 0.66 (out)(err) |
O = 267 T = 0.04 (out)(err) |
O = 267 T = 0.86 (out)(err) |
O = N/A T = TO (out)(err) |
O = 267 T = 0.79 (out)(err) |
O = 284 T = 284.68 (out)(err) |
O = 453 T = 0.17 (out)(err) |
O = 287 T = 245.45 (out)(err) |
| san1000.clq.cnf | O = 139 T = 0.05 |
O = 139 T = 0.86 (out)(err) |
O = 139 T = 0.80 (out)(err) |
O = 139 T = 0.05 (out)(err) |
O = 139 T = 0.93 (out)(err) |
O = N/A T = TO (out)(err) |
O = 139 T = 0.68 (out)(err) |
O = 144 T = 284.46 (out)(err) |
O = 199 T = 0.19 (out)(err) |
O = 149 T = 144.18 (out)(err) |
| san200_0.7_1.clq.cnf | O = 237 T = 0.04 |
O = 237 T = 0.79 (out)(err) |
O = 237 T = 0.79 (out)(err) |
O = 237 T = 0.04 (out)(err) |
O = 237 T = 0.98 (out)(err) |
O = N/A T = TO (out)(err) |
O = 237 T = 0.66 (out)(err) |
O = 250 T = 284.81 (out)(err) |
O = 331 T = 0.12 (out)(err) |
O = 256 T = 105.03 (out)(err) |
| san200_0.7_2.clq.cnf | O = 236 T = 0.03 |
O = 236 T = 0.53 (out)(err) |
O = 236 T = 0.39 (out)(err) |
O = 236 T = 0.03 (out)(err) |
O = 236 T = 1.04 (out)(err) |
O = N/A T = TO (out)(err) |
O = 236 T = 0.91 (out)(err) |
O = 240 T = 284.68 (out)(err) |
O = 421 T = 0.20 (out)(err) |
O = 255 T = 30.84 (out)(err) |
| san200_0.9_1.clq.cnf | O = 313 T = 0.05 |
O = 313 T = 0.70 (out)(err) |
O = 313 T = 0.89 (out)(err) |
O = 313 T = 0.05 (out)(err) |
O = 313 T = 0.86 (out)(err) |
O = N/A T = TO (out)(err) |
O = 313 T = 0.88 (out)(err) |
O = 325 T = 284.65 (out)(err) |
O = 628 T = 0.17 (out)(err) |
O = 325 T = 64.73 (out)(err) |
| san200_0.9_2.clq.cnf | O = 316 T = 0.05 |
O = 316 T = 0.76 (out)(err) |
O = 316 T = 1.13 (out)(err) |
O = 316 T = 0.05 (out)(err) |
O = 316 T = 0.95 (out)(err) |
O = N/A T = TO (out)(err) |
O = 316 T = 0.90 (out)(err) |
O = 332 T = 284.70 (out)(err) |
O = 574 T = 0.11 (out)(err) |
O = 327 T = 41.81 (out)(err) |
| san200_0.9_3.clq.cnf | O = 320 T = 0.06 |
O = 320 T = 0.57 (out)(err) |
O = 320 T = 1.10 (out)(err) |
O = 320 T = 0.06 (out)(err) |
O = 320 T = 0.54 (out)(err) |
O = N/A T = TO (out)(err) |
O = 320 T = 0.75 (out)(err) |
O = 334 T = 284.61 (out)(err) |
O = 574 T = 0.19 (out)(err) |
O = 331 T = 90.68 (out)(err) |
| san400_0.5_1.clq.cnf | O = 146 T = 0.06 |
O = 146 T = 0.86 (out)(err) |
O = 146 T = 1.13 (out)(err) |
O = 146 T = 0.06 (out)(err) |
O = 146 T = 0.91 (out)(err) |
O = N/A T = TO (out)(err) |
O = 146 T = 0.79 (out)(err) |
O = 156 T = 284.68 (out)(err) |
O = 217 T = 0.18 (out)(err) |
O = 161 T = 1.85 (out)(err) |
| san400_0.7_1.clq.cnf | O = 236 T = 0.05 |
O = 236 T = 0.81 (out)(err) |
O = 236 T = 0.68 (out)(err) |
O = 236 T = 0.05 (out)(err) |
O = 236 T = 1.10 (out)(err) |
O = N/A T = TO (out)(err) |
O = 236 T = 0.38 (out)(err) |
O = 256 T = 284.69 (out)(err) |
O = 386 T = 0.15 (out)(err) |
O = 248 T = 178.18 (out)(err) |
| san400_0.7_2.clq.cnf | O = 236 T = 0.05 |
O = 236 T = 0.60 (out)(err) |
O = 236 T = 0.74 (out)(err) |
O = 236 T = 0.05 (out)(err) |
O = 236 T = 0.70 (out)(err) |
O = N/A T = TO (out)(err) |
O = 236 T = 0.38 (out)(err) |
O = 252 T = 284.47 (out)(err) |
O = 377 T = 0.18 (out)(err) |
O = 250 T = 170.56 (out)(err) |
| san400_0.7_3.clq.cnf | O = 230 T = 0.04 |
O = 230 T = 0.76 (out)(err) |
O = 230 T = 0.71 (out)(err) |
O = 230 T = 0.04 (out)(err) |
O = 230 T = 0.62 (out)(err) |
O = N/A T = TO (out)(err) |
O = 230 T = 0.83 (out)(err) |
O = 238 T = 284.41 (out)(err) |
O = N/A T = TO (out)(err) |
O = 245 T = 191.82 (out)(err) |
| san400_0.9_1.clq.cnf | O = 304 T = 0.06 |
O = 304 T = 0.82 (out)(err) |
O = 304 T = 1.29 (out)(err) |
O = 304 T = 0.06 (out)(err) |
O = 304 T = 0.60 (out)(err) |
O = N/A T = TO (out)(err) |
O = 304 T = 0.55 (out)(err) |
O = 310 T = 284.63 (out)(err) |
O = N/A T = TO (out)(err) |
O = 317 T = 10.54 (out)(err) |
| sanr200_0.7.clq.cnf | O = 227 T = 0.05 |
O = 227 T = 0.65 (out)(err) |
O = 227 T = 0.97 (out)(err) |
O = 227 T = 0.05 (out)(err) |
O = 227 T = 0.57 (out)(err) |
O = N/A T = TO (out)(err) |
O = 227 T = 0.76 (out)(err) |
O = 245 T = 284.71 (out)(err) |
O = 335 T = 0.16 (out)(err) |
O = 236 T = 134.79 (out)(err) |
| sanr200_0.9.clq.cnf | O = 300 T = 0.05 |
O = 300 T = 0.67 (out)(err) |
O = 300 T = 0.76 (out)(err) |
O = 300 T = 0.05 (out)(err) |
O = 300 T = 0.52 (out)(err) |
O = N/A T = TO (out)(err) |
O = 300 T = 0.82 (out)(err) |
O = 314 T = 284.66 (out)(err) |
O = 496 T = 0.12 (out)(err) |
O = 317 T = 26.65 (out)(err) |
| sanr400_0.5.clq.cnf | O = 148 T = 0.05 |
O = 148 T = 0.83 (out)(err) |
O = 148 T = 0.84 (out)(err) |
O = 148 T = 0.05 (out)(err) |
O = 148 T = 0.65 (out)(err) |
O = N/A T = TO (out)(err) |
O = 148 T = 0.97 (out)(err) |
O = 159 T = 284.38 (out)(err) |
O = 218 T = 0.16 (out)(err) |
O = 161 T = 142.62 (out)(err) |
| sanr400_0.7.clq.cnf | O = 223 T = 0.05 |
O = 223 T = 1.04 (out)(err) |
O = 223 T = 1.33 (out)(err) |
O = 223 T = 0.05 (out)(err) |
O = 223 T = 0.46 (out)(err) |
O = N/A T = TO (out)(err) |
O = 223 T = 1.02 (out)(err) |
O = 241 T = 284.60 (out)(err) |
O = 313 T = 0.18 (out)(err) |
O = 243 T = 276.11 (out)(err) |
| t3pm3-5555.spn.cnf | O = 17 T = 0.03 |
O = 17 T = 0.48 (out)(err) |
O = 17 T = 0.61 (out)(err) |
O = 17 T = 0.03 (out)(err) |
O = 17 T = 0.26 (out)(err) |
O = N/A T = TO (out)(err) |
O = 17 T = 0.43 (out)(err) |
O = 17 T = 0.40 (out)(err) |
O = 17 T = 0.40 (out)(err) |
O = 17 T = 1.42 (out)(err) |
| t4pm3-6666.spn.cnf | O = 38 T = 0.02 |
O = 38 T = 0.98 (out)(err) |
O = 38 T = 0.93 (out)(err) |
O = 38 T = 0.02 (out)(err) |
O = 38 T = 0.54 (out)(err) |
O = N/A T = TO (out)(err) |
O = 38 T = 1.13 (out)(err) |
O = 40 T = 284.51 (out)(err) |
O = 70 T = 0.26 (out)(err) |
O = 42 T = 208.35 (out)(err) |
| t5pm3-7777.spn.cnf | O = 78 T = 0.04 |
O = 78 T = 2.03 (out)(err) |
O = 78 T = 1.11 (out)(err) |
O = 78 T = 0.04 (out)(err) |
O = 78 T = 2.37 (out)(err) |
O = N/A T = TO (out)(err) |
O = 78 T = 2.03 (out)(err) |
O = 114 T = 284.74 (out)(err) |
O = 132 T = 0.19 (out)(err) |
O = 100 T = 284.40 (out)(err) |
| t6pm3-8888.spn.cnf | O = 136 T = 0.07 |
O = 136 T = 3.72 (out)(err) |
O = 136 T = 4.21 (out)(err) |
O = 136 T = 0.07 (out)(err) |
O = 136 T = 25.46 (out)(err) |
O = N/A T = TO (out)(err) |
O = 136 T = 3.52 (out)(err) |
O = 186 T = 284.56 (out)(err) |
O = 220 T = 0.13 (out)(err) |
O = 196 T = 91.42 (out)(err) |
| t7pm3-9999.spn.cnf | O = 209 T = 4.17 |
O = 209 T = 6.85 (out)(err) |
O = 209 T = 4.17 (out)(err) |
O = 209 T = 31.56 (out)(err) |
O = 215 T = 136.48 (out)(err) |
O = N/A T = TO (out)(err) |
O = 209 T = 6.12 (out)(err) |
O = 337 T = 284.68 (out)(err) |
O = 347 T = 0.16 (out)(err) |
O = 347 T = 0.23 (out)(err) |
| scpclr10_maxsat.cnf | O = 25 T = 0.21 |
O = 25 T = 10.10 (out)(err) |
O = 25 T = 2.49 (out)(err) |
O = 25 T = 0.21 (out)(err) |
O = 25 T = 3.02 (out)(err) |
O = N/A T = TO (out)(err) |
O = 25 T = 4.03 (out)(err) |
O = 36 T = 285.63 (out)(err) |
O = 511 T = 0.20 (out)(err) |
O = 37 T = 209.73 (out)(err) |
| scpclr11_maxsat.cnf | O = 23 T = 0.72 |
O = 23 T = 173.57 (out)(err) |
O = 23 T = 4.36 (out)(err) |
O = 23 T = 0.72 (out)(err) |
O = 23 T = 4.38 (out)(err) |
O = N/A T = TO (out)(err) |
O = 23 T = 6.77 (out)(err) |
O = 209 T = 284.53 (out)(err) |
O = 1023 T = 0.23 (out)(err) |
O = 39 T = 48.25 (out)(err) |
| scpclr12_maxsat.cnf | O = 23 T = 6.04 |
O = 28 T = 15.76 (out)(err) |
O = 23 T = 6.04 (out)(err) |
O = 23 T = 184.54 (out)(err) |
O = 23 T = 6.81 (out)(err) |
O = N/A T = TO (out)(err) |
O = 23 T = 10.69 (out)(err) |
O = 163 T = 284.63 (out)(err) |
O = 2047 T = 0.07 (out)(err) |
O = 40 T = 237.17 (out)(err) |
| scpclr13_maxsat.cnf | O = 23 T = 6.74 |
O = 30 T = 67.25 (out)(err) |
O = 23 T = 7.95 (out)(err) |
O = 25 T = 286.90 (out)(err) |
O = 23 T = 18.05 (out)(err) |
O = N/A T = TO (out)(err) |
O = 23 T = 6.74 (out)(err) |
O = 70 T = 284.71 (out)(err) |
O = 4095 T = 0.15 (out)(err) |
O = 47 T = 255.86 (out)(err) |
| scpcyc06_maxsat.cnf | O = 60 T = 0.13 |
O = 60 T = 2.03 (out)(err) |
O = 60 T = 1.95 (out)(err) |
O = 60 T = 0.13 (out)(err) |
O = 60 T = 93.26 (out)(err) |
O = N/A T = TO (out)(err) |
O = 60 T = 1.14 (out)(err) |
O = 74 T = 285.61 (out)(err) |
O = 240 T = 0.19 (out)(err) |
O = 79 T = 231.88 (out)(err) |
| scpcyc07_maxsat.cnf | O = 144 T = 2.68 |
O = 144 T = 5.96 (out)(err) |
O = 144 T = 2.83 (out)(err) |
O = 144 T = 2.68 (out)(err) |
O = 157 T = 17.13 (out)(err) |
O = N/A T = TO (out)(err) |
O = 146 T = 5.24 (out)(err) |
O = 255 T = 284.71 (out)(err) |
O = 672 T = 0.12 (out)(err) |
O = 198 T = 199.84 (out)(err) |
| scpcyc08_maxsat.cnf | O = 342 T = 7.06 |
O = 346 T = 7.53 (out)(err) |
O = 342 T = 7.06 (out)(err) |
O = 342 T = 245.37 (out)(err) |
O = 387 T = 44.17 (out)(err) |
O = N/A T = TO (out)(err) |
O = 346 T = 10.67 (out)(err) |
O = 598 T = 284.56 (out)(err) |
O = 1792 T = 0.14 (out)(err) |
O = 557 T = 75.58 (out)(err) |
| scpcyc09_maxsat.cnf | O = 782 T = 15.65 |
O = 793 T = 28.99 (out)(err) |
O = 782 T = 15.65 (out)(err) |
O = 794 T = 250.97 (out)(err) |
O = 919 T = 293.53 (out)(err) |
O = N/A T = TO (out)(err) |
O = 806 T = 17.29 (out)(err) |
O = 1647 T = 284.58 (out)(err) |
O = 4608 T = 0.01 (out)(err) |
O = 1407 T = 128.47 (out)(err) |
| scpcyc10_maxsat.cnf | O = 1814 T = 169.39 |
O = 1817 T = 246.76 (out)(err) |
O = 1814 T = 169.39 (out)(err) |
O = 1842 T = 232.33 (out)(err) |
O = 2127 T = 215.47 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1830 T = 49.24 (out)(err) |
O = 3844 T = 284.51 (out)(err) |
O = 11520 T = 0.03 (out)(err) |
O = 3516 T = 260.51 (out)(err) |
| scpcyc11_maxsat.cnf | O = 4113 T = 246.04 |
O = 4113 T = 246.04 (out)(err) |
O = N/A T = TO (out)(err) |
O = 4230 T = 259.18 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8946 T = 284.54 (out)(err) |
O = 28160 T = 0.07 (out)(err) |
O = 11732 T = 178.33 (out)(err) |