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 | CCLS | SAT4Jms-ext-i | SAT4Jms-int-i | iraNovelty++ | optimax-it |
---|---|---|---|---|---|---|
maxcut-140-630-0.7-1.cnf | O = 160 T = 3.51 |
O = 160 T = 3.51 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 160 T = 37.52 (out)(err) |
O = 251 T = 0.11 (out)(err) |
maxcut-140-630-0.7-10.cnf | O = 167 T = 3.40 |
O = 167 T = 3.40 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 169 T = 71.89 (out)(err) |
O = 248 T = 0.09 (out)(err) |
maxcut-140-630-0.7-11.cnf | O = 170 T = 2.91 |
O = 170 T = 2.91 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 171 T = 189.19 (out)(err) |
O = 231 T = 0.12 (out)(err) |
maxcut-140-630-0.7-12.cnf | O = 167 T = 3.41 |
O = 167 T = 3.41 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 27.89 (out)(err) |
O = 258 T = 0.12 (out)(err) |
maxcut-140-630-0.7-13.cnf | O = 169 T = 3.32 |
O = 169 T = 3.32 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 169 T = 13.83 (out)(err) |
O = 258 T = 0.13 (out)(err) |
maxcut-140-630-0.7-14.cnf | O = 166 T = 3.35 |
O = 166 T = 3.35 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 23.45 (out)(err) |
O = 247 T = 0.10 (out)(err) |
maxcut-140-630-0.7-15.cnf | O = 169 T = 2.93 |
O = 169 T = 2.93 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 169 T = 223.30 (out)(err) |
O = 260 T = 0.12 (out)(err) |
maxcut-140-630-0.7-16.cnf | O = 167 T = 3.40 |
O = 167 T = 3.40 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 61.87 (out)(err) |
O = 255 T = 0.13 (out)(err) |
maxcut-140-630-0.7-17.cnf | O = 166 T = 3.22 |
O = 166 T = 3.22 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 168 T = 106.36 (out)(err) |
O = 256 T = 0.09 (out)(err) |
maxcut-140-630-0.7-18.cnf | O = 166 T = 1.90 |
O = 166 T = 1.90 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 170.78 (out)(err) |
O = 242 T = 0.11 (out)(err) |
maxcut-140-630-0.7-19.cnf | O = 167 T = 3.01 |
O = 167 T = 3.01 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 88.84 (out)(err) |
O = 251 T = 0.08 (out)(err) |
maxcut-140-630-0.7-2.cnf | O = 160 T = 1.63 |
O = 160 T = 1.92 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 160 T = 1.63 (out)(err) |
O = 259 T = 0.12 (out)(err) |
maxcut-140-630-0.7-20.cnf | O = 168 T = 3.49 |
O = 168 T = 3.49 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 169 T = 41.73 (out)(err) |
O = 267 T = 0.09 (out)(err) |
maxcut-140-630-0.7-21.cnf | O = 165 T = 3.17 |
O = 165 T = 3.17 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 166 T = 4.79 (out)(err) |
O = 236 T = 0.12 (out)(err) |
maxcut-140-630-0.7-22.cnf | O = 164 T = 3.29 |
O = 164 T = 3.29 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 69.97 (out)(err) |
O = 274 T = 0.08 (out)(err) |
maxcut-140-630-0.7-23.cnf | O = 165 T = 3.40 |
O = 165 T = 3.40 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 215.60 (out)(err) |
O = 255 T = 0.13 (out)(err) |
maxcut-140-630-0.7-24.cnf | O = 166 T = 3.09 |
O = 166 T = 3.09 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 168.89 (out)(err) |
O = 246 T = 0.12 (out)(err) |
maxcut-140-630-0.7-25.cnf | O = 167 T = 3.17 |
O = 167 T = 3.17 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 169 T = 45.31 (out)(err) |
O = 260 T = 0.13 (out)(err) |
maxcut-140-630-0.7-26.cnf | O = 166 T = 3.31 |
O = 166 T = 3.31 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 166 T = 181.34 (out)(err) |
O = 231 T = 0.09 (out)(err) |
maxcut-140-630-0.7-27.cnf | O = 165 T = 2.83 |
O = 165 T = 2.83 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 13.93 (out)(err) |
O = 250 T = 0.11 (out)(err) |
maxcut-140-630-0.7-28.cnf | O = 167 T = 1.82 |
O = 167 T = 1.82 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 168 T = 13.98 (out)(err) |
O = 262 T = 0.09 (out)(err) |
maxcut-140-630-0.7-29.cnf | O = 166 T = 2.13 |
O = 166 T = 2.13 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 192.81 (out)(err) |
O = 258 T = 0.12 (out)(err) |
maxcut-140-630-0.7-3.cnf | O = 168 T = 2.35 |
O = 168 T = 2.35 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 168 T = 125.55 (out)(err) |
O = 259 T = 0.08 (out)(err) |
maxcut-140-630-0.7-30.cnf | O = 167 T = 2.95 |
O = 167 T = 2.95 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 24.25 (out)(err) |
O = 256 T = 0.10 (out)(err) |
maxcut-140-630-0.7-31.cnf | O = 170 T = 2.28 |
O = 170 T = 2.28 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 171 T = 153.73 (out)(err) |
O = 257 T = 0.08 (out)(err) |
maxcut-140-630-0.7-32.cnf | O = 164 T = 2.81 |
O = 164 T = 2.81 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 166 T = 9.51 (out)(err) |
O = 273 T = 0.13 (out)(err) |
maxcut-140-630-0.7-33.cnf | O = 165 T = 2.82 |
O = 165 T = 2.82 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 50.38 (out)(err) |
O = 248 T = 0.13 (out)(err) |
maxcut-140-630-0.7-34.cnf | O = 168 T = 3.08 |
O = 168 T = 3.08 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 168 T = 74.66 (out)(err) |
O = 259 T = 0.08 (out)(err) |
maxcut-140-630-0.7-35.cnf | O = 164 T = 2.89 |
O = 164 T = 2.89 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 164 T = 27.78 (out)(err) |
O = 254 T = 0.11 (out)(err) |
maxcut-140-630-0.7-36.cnf | O = 167 T = 3.36 |
O = 167 T = 3.36 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 168 T = 114.54 (out)(err) |
O = 237 T = 0.11 (out)(err) |
maxcut-140-630-0.7-37.cnf | O = 170 T = 2.81 |
O = 170 T = 2.81 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 171 T = 88.27 (out)(err) |
O = 273 T = 0.13 (out)(err) |
maxcut-140-630-0.7-38.cnf | O = 167 T = 2.76 |
O = 167 T = 2.76 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 5.09 (out)(err) |
O = 235 T = 0.12 (out)(err) |
maxcut-140-630-0.7-39.cnf | O = 163 T = 2.70 |
O = 163 T = 2.70 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 163 T = 18.67 (out)(err) |
O = 237 T = 0.13 (out)(err) |
maxcut-140-630-0.7-4.cnf | O = 167 T = 2.66 |
O = 167 T = 2.66 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 32.83 (out)(err) |
O = 248 T = 0.10 (out)(err) |
maxcut-140-630-0.7-40.cnf | O = 167 T = 2.73 |
O = 167 T = 2.73 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 9.77 (out)(err) |
O = 258 T = 0.12 (out)(err) |
maxcut-140-630-0.7-41.cnf | O = 161 T = 2.39 |
O = 161 T = 2.39 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 161 T = 119.81 (out)(err) |
O = 248 T = 0.10 (out)(err) |
maxcut-140-630-0.7-42.cnf | O = 161 T = 2.83 |
O = 161 T = 2.83 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 161 T = 75.83 (out)(err) |
O = 239 T = 0.14 (out)(err) |
maxcut-140-630-0.7-43.cnf | O = 164 T = 3.31 |
O = 164 T = 3.31 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 164 T = 5.36 (out)(err) |
O = 268 T = 0.14 (out)(err) |
maxcut-140-630-0.7-44.cnf | O = 163 T = 3.61 |
O = 163 T = 3.61 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 163 T = 55.66 (out)(err) |
O = 258 T = 0.14 (out)(err) |
maxcut-140-630-0.7-45.cnf | O = 168 T = 3.31 |
O = 168 T = 3.31 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 168 T = 28.64 (out)(err) |
O = 234 T = 0.09 (out)(err) |
maxcut-140-630-0.7-46.cnf | O = 168 T = 3.79 |
O = 168 T = 3.79 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 169 T = 9.51 (out)(err) |
O = 258 T = 0.14 (out)(err) |
maxcut-140-630-0.7-47.cnf | O = 160 T = 3.40 |
O = 160 T = 3.40 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 160 T = 4.97 (out)(err) |
O = 257 T = 0.10 (out)(err) |
maxcut-140-630-0.7-48.cnf | O = 168 T = 2.95 |
O = 168 T = 2.95 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 168 T = 10.61 (out)(err) |
O = 265 T = 0.09 (out)(err) |
maxcut-140-630-0.7-49.cnf | O = 164 T = 3.43 |
O = 164 T = 3.43 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 4.92 (out)(err) |
O = 251 T = 0.09 (out)(err) |
maxcut-140-630-0.7-5.cnf | O = 164 T = 3.01 |
O = 164 T = 3.01 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 164 T = 234.50 (out)(err) |
O = 269 T = 0.12 (out)(err) |
maxcut-140-630-0.7-50.cnf | O = 167 T = 3.29 |
O = 167 T = 3.29 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 88.99 (out)(err) |
O = 230 T = 0.12 (out)(err) |
maxcut-140-630-0.7-6.cnf | O = 162 T = 1.85 |
O = 162 T = 1.85 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 162 T = 5.04 (out)(err) |
O = 255 T = 0.13 (out)(err) |
maxcut-140-630-0.7-7.cnf | O = 164 T = 2.18 |
O = 164 T = 2.18 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 23.22 (out)(err) |
O = 242 T = 0.09 (out)(err) |
maxcut-140-630-0.7-8.cnf | O = 165 T = 2.24 |
O = 165 T = 2.24 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 46.63 (out)(err) |
O = 248 T = 0.14 (out)(err) |
maxcut-140-630-0.7-9.cnf | O = 166 T = 2.47 |
O = 166 T = 2.47 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 166 T = 113.99 (out)(err) |
O = 249 T = 0.13 (out)(err) |
maxcut-140-630-0.8-1.cnf | O = 165 T = 2.79 |
O = 165 T = 2.79 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 9.11 (out)(err) |
O = 264 T = 0.11 (out)(err) |
maxcut-140-630-0.8-10.cnf | O = 168 T = 3.25 |
O = 168 T = 3.25 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 168 T = 57.59 (out)(err) |
O = 254 T = 0.13 (out)(err) |
maxcut-140-630-0.8-11.cnf | O = 168 T = 2.02 |
O = 168 T = 2.02 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 169 T = 192.85 (out)(err) |
O = 258 T = 0.09 (out)(err) |
maxcut-140-630-0.8-12.cnf | O = 165 T = 2.62 |
O = 165 T = 2.62 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 166 T = 152.76 (out)(err) |
O = 258 T = 0.12 (out)(err) |
maxcut-140-630-0.8-13.cnf | O = 167 T = 1.78 |
O = 167 T = 1.78 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 14.42 (out)(err) |
O = 236 T = 0.13 (out)(err) |
maxcut-140-630-0.8-14.cnf | O = 164 T = 2.24 |
O = 164 T = 2.24 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 164 T = 18.55 (out)(err) |
O = 258 T = 0.13 (out)(err) |
maxcut-140-630-0.8-15.cnf | O = 166 T = 2.11 |
O = 166 T = 2.11 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 23.32 (out)(err) |
O = 276 T = 0.08 (out)(err) |
maxcut-140-630-0.8-16.cnf | O = 163 T = 1.91 |
O = 163 T = 1.91 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 13.89 (out)(err) |
O = 248 T = 0.09 (out)(err) |
maxcut-140-630-0.8-17.cnf | O = 168 T = 2.37 |
O = 168 T = 2.37 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 168 T = 23.32 (out)(err) |
O = 246 T = 0.08 (out)(err) |
maxcut-140-630-0.8-18.cnf | O = 163 T = 2.98 |
O = 163 T = 2.98 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 163 T = 74.16 (out)(err) |
O = 255 T = 0.10 (out)(err) |
maxcut-140-630-0.8-19.cnf | O = 164 T = 2.13 |
O = 164 T = 2.13 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 164 T = 144.17 (out)(err) |
O = 263 T = 0.09 (out)(err) |
maxcut-140-630-0.8-2.cnf | O = 162 T = 3.63 |
O = 162 T = 3.63 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 164 T = 9.37 (out)(err) |
O = 257 T = 0.10 (out)(err) |
maxcut-140-630-0.8-20.cnf | O = 165 T = 2.76 |
O = 165 T = 2.76 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 19.16 (out)(err) |
O = 256 T = 0.09 (out)(err) |
maxcut-140-630-0.8-21.cnf | O = 167 T = 3.11 |
O = 167 T = 3.11 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 59.37 (out)(err) |
O = 251 T = 0.10 (out)(err) |
maxcut-140-630-0.8-22.cnf | O = 170 T = 3.02 |
O = 170 T = 3.02 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 170 T = 175.34 (out)(err) |
O = 248 T = 0.08 (out)(err) |
maxcut-140-630-0.8-23.cnf | O = 167 T = 3.20 |
O = 167 T = 3.20 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 168 T = 1.73 (out)(err) |
O = 264 T = 0.13 (out)(err) |
maxcut-140-630-0.8-24.cnf | O = 165 T = 2.89 |
O = 165 T = 2.89 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 189.86 (out)(err) |
O = 255 T = 0.14 (out)(err) |
maxcut-140-630-0.8-25.cnf | O = 165 T = 2.28 |
O = 165 T = 2.28 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 41.72 (out)(err) |
O = 262 T = 0.12 (out)(err) |
maxcut-140-630-0.8-26.cnf | O = 167 T = 3.04 |
O = 167 T = 3.04 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 168 T = 14.90 (out)(err) |
O = 238 T = 0.09 (out)(err) |
maxcut-140-630-0.8-27.cnf | O = 168 T = 3.03 |
O = 168 T = 3.03 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 170 T = 74.03 (out)(err) |
O = 251 T = 0.14 (out)(err) |
maxcut-140-630-0.8-28.cnf | O = 168 T = 3.27 |
O = 168 T = 3.27 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 168 T = 5.66 (out)(err) |
O = 248 T = 0.09 (out)(err) |
maxcut-140-630-0.8-29.cnf | O = 167 T = 2.90 |
O = 167 T = 2.90 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 116.06 (out)(err) |
O = 274 T = 0.14 (out)(err) |
maxcut-140-630-0.8-3.cnf | O = 165 T = 1.86 |
O = 165 T = 1.86 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 4.87 (out)(err) |
O = 249 T = 0.13 (out)(err) |
maxcut-140-630-0.8-30.cnf | O = 167 T = 3.11 |
O = 167 T = 3.11 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 4.66 (out)(err) |
O = 260 T = 0.10 (out)(err) |
maxcut-140-630-0.8-31.cnf | O = 165 T = 3.28 |
O = 165 T = 3.28 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 18.43 (out)(err) |
O = 263 T = 0.09 (out)(err) |
maxcut-140-630-0.8-32.cnf | O = 164 T = 1.83 |
O = 164 T = 1.83 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 164 T = 24.95 (out)(err) |
O = 245 T = 0.12 (out)(err) |
maxcut-140-630-0.8-33.cnf | O = 163 T = 3.02 |
O = 163 T = 3.02 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 163 T = 73.88 (out)(err) |
O = 251 T = 0.13 (out)(err) |
maxcut-140-630-0.8-34.cnf | O = 163 T = 3.41 |
O = 163 T = 3.41 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 163 T = 13.66 (out)(err) |
O = 256 T = 0.10 (out)(err) |
maxcut-140-630-0.8-35.cnf | O = 165 T = 3.57 |
O = 165 T = 3.57 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 166 T = 27.89 (out)(err) |
O = 250 T = 0.09 (out)(err) |
maxcut-140-630-0.8-36.cnf | O = 165 T = 1.63 |
O = 165 T = 1.63 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 166 T = 57.32 (out)(err) |
O = 261 T = 0.10 (out)(err) |
maxcut-140-630-0.8-37.cnf | O = 167 T = 1.88 |
O = 167 T = 1.88 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 4.85 (out)(err) |
O = 247 T = 0.08 (out)(err) |
maxcut-140-630-0.8-38.cnf | O = 160 T = 2.06 |
O = 160 T = 2.06 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 160 T = 18.94 (out)(err) |
O = 250 T = 0.08 (out)(err) |
maxcut-140-630-0.8-39.cnf | O = 169 T = 2.90 |
O = 169 T = 2.90 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 170 T = 145.12 (out)(err) |
O = 247 T = 0.11 (out)(err) |
maxcut-140-630-0.8-4.cnf | O = 165 T = 3.39 |
O = 165 T = 3.39 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 14.53 (out)(err) |
O = 263 T = 0.13 (out)(err) |
maxcut-140-630-0.8-40.cnf | O = 161 T = 1.78 |
O = 161 T = 1.78 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 161 T = 4.75 (out)(err) |
O = 249 T = 0.13 (out)(err) |
maxcut-140-630-0.8-41.cnf | O = 163 T = 2.99 |
O = 163 T = 2.99 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 163 T = 28.32 (out)(err) |
O = 223 T = 0.10 (out)(err) |
maxcut-140-630-0.8-42.cnf | O = 164 T = 2.54 |
O = 164 T = 2.54 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 164 T = 210.99 (out)(err) |
O = 237 T = 0.11 (out)(err) |
maxcut-140-630-0.8-43.cnf | O = 165 T = 2.10 |
O = 165 T = 2.10 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 166.83 (out)(err) |
O = 264 T = 0.11 (out)(err) |
maxcut-140-630-0.8-44.cnf | O = 160 T = 3.15 |
O = 160 T = 3.15 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 160 T = 44.47 (out)(err) |
O = 268 T = 0.13 (out)(err) |
maxcut-140-630-0.8-45.cnf | O = 165 T = 3.49 |
O = 165 T = 3.49 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 19.18 (out)(err) |
O = 263 T = 0.07 (out)(err) |
maxcut-140-630-0.8-46.cnf | O = 162 T = 3.06 |
O = 162 T = 3.06 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 163 T = 14.80 (out)(err) |
O = 249 T = 0.14 (out)(err) |
maxcut-140-630-0.8-47.cnf | O = 164 T = 2.60 |
O = 164 T = 2.60 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 164 T = 102.08 (out)(err) |
O = 239 T = 0.12 (out)(err) |
maxcut-140-630-0.8-48.cnf | O = 164 T = 3.08 |
O = 164 T = 3.08 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 9.98 (out)(err) |
O = 271 T = 0.08 (out)(err) |
maxcut-140-630-0.8-49.cnf | O = 166 T = 2.67 |
O = 166 T = 2.67 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 41.44 (out)(err) |
O = 256 T = 0.13 (out)(err) |
maxcut-140-630-0.8-5.cnf | O = 164 T = 3.24 |
O = 164 T = 3.24 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 164 T = 185.78 (out)(err) |
O = 258 T = 0.07 (out)(err) |
maxcut-140-630-0.8-50.cnf | O = 165 T = 3.62 |
O = 165 T = 3.62 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 83.50 (out)(err) |
O = 236 T = 0.12 (out)(err) |
maxcut-140-630-0.8-6.cnf | O = 169 T = 3.05 |
O = 169 T = 3.05 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 170 T = 88.73 (out)(err) |
O = 252 T = 0.13 (out)(err) |
maxcut-140-630-0.8-7.cnf | O = 166 T = 1.96 |
O = 166 T = 1.96 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 65.57 (out)(err) |
O = 245 T = 0.12 (out)(err) |
maxcut-140-630-0.8-8.cnf | O = 167 T = 3.50 |
O = 167 T = 3.50 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 168 T = 39.25 (out)(err) |
O = 278 T = 0.11 (out)(err) |
maxcut-140-630-0.8-9.cnf | O = 165 T = 2.64 |
O = 165 T = 2.64 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 19.30 (out)(err) |
O = 253 T = 0.13 (out)(err) |
MANN_a27.clq.cnf | O = 404 T = 0.29 |
O = 404 T = 0.72 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 404 T = 0.29 (out)(err) |
O = 486 T = 0.10 (out)(err) |
MANN_a45.clq.cnf | O = 418 T = 0.19 |
O = 418 T = 0.57 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 418 T = 0.19 (out)(err) |
O = 518 T = 0.13 (out)(err) |
MANN_a81.clq.cnf | O = 399 T = 0.06 |
O = 399 T = 0.43 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 399 T = 0.06 (out)(err) |
O = 441 T = 0.12 (out)(err) |
MANN_a9.clq.cnf | O = 422 T = 1.16 |
O = 422 T = 1.16 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 422 T = 7.60 (out)(err) |
O = 584 T = 0.10 (out)(err) |
brock200_1.clq.cnf | O = 238 T = 0.95 |
O = 238 T = 1.18 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 238 T = 0.95 (out)(err) |
O = 349 T = 0.10 (out)(err) |
brock200_2.clq.cnf | O = 141 T = 1.11 |
O = 141 T = 1.11 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 141 T = 1.18 (out)(err) |
O = 221 T = 0.13 (out)(err) |
brock200_3.clq.cnf | O = 214 T = 0.96 |
O = 214 T = 0.96 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 214 T = 3.01 (out)(err) |
O = 232 T = 1.75 (out)(err) |
brock200_4.clq.cnf | O = 209 T = 1.04 |
O = 209 T = 1.18 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 209 T = 1.04 (out)(err) |
O = 299 T = 0.11 (out)(err) |
brock400_1.clq.cnf | O = 255 T = 0.83 |
O = 255 T = 1.06 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 255 T = 0.83 (out)(err) |
O = 340 T = 0.08 (out)(err) |
brock400_2.clq.cnf | O = 252 T = 0.84 |
O = 252 T = 0.98 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 252 T = 0.84 (out)(err) |
O = 310 T = 0.08 (out)(err) |
brock400_3.clq.cnf | O = 238 T = 1.27 |
O = 238 T = 1.27 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 238 T = 10.88 (out)(err) |
O = 278 T = 0.08 (out)(err) |
brock400_4.clq.cnf | O = 249 T = 0.73 |
O = 249 T = 1.39 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 249 T = 0.73 (out)(err) |
O = 374 T = 0.08 (out)(err) |
brock800_1.clq.cnf | O = 205 T = 0.95 |
O = 205 T = 1.10 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 205 T = 0.95 (out)(err) |
O = 273 T = 0.09 (out)(err) |
brock800_2.clq.cnf | O = 207 T = 0.97 |
O = 207 T = 1.20 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 207 T = 0.97 (out)(err) |
O = 270 T = 0.09 (out)(err) |
brock800_3.clq.cnf | O = 203 T = 0.47 |
O = 203 T = 1.66 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 203 T = 0.47 (out)(err) |
O = 315 T = 0.07 (out)(err) |
brock800_4.clq.cnf | O = 200 T = 0.32 |
O = 200 T = 0.95 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 200 T = 0.32 (out)(err) |
O = 310 T = 0.13 (out)(err) |
c-fat200-1.clq.cnf | O = 4 T = 0.00 |
O = 4 T = 0.79 (out)(err) |
O = 4 T = 0.74 (out)(err) |
O = 4 T = 0.65 (out)(err) |
O = 4 T = 0.25 (out)(err) |
O = 4 T = 0.00 (out)(err) |
c-fat200-2.clq.cnf | O = 26 T = 0.71 |
O = 26 T = 0.76 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 26 T = 0.71 (out)(err) |
O = 26 T = 3.93 (out)(err) |
c-fat200-5.clq.cnf | O = 116 T = 0.47 |
O = 116 T = 1.37 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 116 T = 0.47 (out)(err) |
O = 172 T = 0.08 (out)(err) |
c-fat500-1.clq.cnf | O = 2 T = 0.00 |
O = 2 T = 0.79 (out)(err) |
O = 2 T = 0.25 (out)(err) |
O = 2 T = 0.25 (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.08 |
O = 200 T = 0.32 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 200 T = 0.08 (out)(err) |
O = 232 T = 0.11 (out)(err) |
c-fat500-2.clq.cnf | O = 24 T = 0.01 |
O = 24 T = 0.81 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 24 T = 0.34 (out)(err) |
O = 24 T = 0.01 (out)(err) |
c-fat500-5.clq.cnf | O = 90 T = 0.09 |
O = 90 T = 0.63 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 90 T = 0.09 (out)(err) |
O = 90 T = 1.12 (out)(err) |
hamming10-2.clq.cnf | O = 400 T = 0.09 |
O = 400 T = 0.37 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 400 T = 0.09 (out)(err) |
O = 532 T = 0.08 (out)(err) |
hamming10-4.clq.cnf | O = 319 T = 0.42 |
O = 319 T = 1.14 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 319 T = 0.42 (out)(err) |
O = 341 T = 0.09 (out)(err) |
hamming6-2.clq.cnf | O = 832 T = 1.18 |
O = 832 T = 1.18 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 837 T = 30.77 (out)(err) |
O = 1100 T = 0.13 (out)(err) |
hamming6-4.clq.cnf | O = 192 T = 1.00 |
O = 192 T = 2.00 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 192 T = 1.00 (out)(err) |
O = 312 T = 0.13 (out)(err) |
hamming8-2.clq.cnf | O = 441 T = 0.12 |
O = 441 T = 0.68 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 441 T = 0.12 (out)(err) |
O = 551 T = 0.13 (out)(err) |
hamming8-4.clq.cnf | O = 176 T = 1.17 |
O = 176 T = 1.19 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 176 T = 1.17 (out)(err) |
O = 254 T = 0.14 (out)(err) |
johnson16-2-4.clq.cnf | O = 215 T = 0.68 |
O = 215 T = 190.62 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 215 T = 0.68 (out)(err) |
O = 344 T = 0.08 (out)(err) |
johnson32-2-4.clq.cnf | O = 329 T = 1.51 |
O = 329 T = 1.51 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 329 T = 11.46 (out)(err) |
O = 492 T = 0.09 (out)(err) |
johnson8-2-4.clq.cnf | O = 75 T = 0.34 |
O = 75 T = 0.93 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 75 T = 0.34 (out)(err) |
O = 100 T = 0.08 (out)(err) |
johnson8-4-4.clq.cnf | O = 770 T = 1.59 |
O = 770 T = 1.59 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 770 T = 59.89 (out)(err) |
O = 1069 T = 0.11 (out)(err) |
keller4.clq.cnf | O = 199 T = 0.74 |
O = 199 T = 1.25 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 199 T = 0.74 (out)(err) |
O = 344 T = 0.09 (out)(err) |
keller5.clq.cnf | O = 250 T = 0.49 |
O = 250 T = 1.26 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 250 T = 0.49 (out)(err) |
O = 317 T = 0.09 (out)(err) |
p_hat1000-1.clq.cnf | O = 52 T = 0.54 |
O = 52 T = 1.17 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 52 T = 0.54 (out)(err) |
O = 52 T = 8.59 (out)(err) |
p_hat1000-2.clq.cnf | O = 142 T = 0.79 |
O = 142 T = 1.02 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 142 T = 0.79 (out)(err) |
O = 181 T = 0.13 (out)(err) |
p_hat1000-3.clq.cnf | O = 238 T = 1.04 |
O = 238 T = 1.33 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 238 T = 1.04 (out)(err) |
O = 362 T = 0.09 (out)(err) |
p_hat300-1.clq.cnf | O = 49 T = 0.50 |
O = 49 T = 1.15 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 49 T = 0.50 (out)(err) |
O = 49 T = 5.38 (out)(err) |
p_hat300-2.clq.cnf | O = 135 T = 0.80 |
O = 135 T = 1.26 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 135 T = 0.80 (out)(err) |
O = 184 T = 0.08 (out)(err) |
p_hat300-3.clq.cnf | O = 269 T = 1.41 |
O = 269 T = 1.41 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 269 T = 11.69 (out)(err) |
O = 327 T = 0.12 (out)(err) |
p_hat500-1.clq.cnf | O = 75 T = 0.50 |
O = 75 T = 1.41 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 75 T = 0.50 (out)(err) |
O = 108 T = 0.08 (out)(err) |
p_hat500-2.clq.cnf | O = 176 T = 0.59 |
O = 176 T = 1.58 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 176 T = 0.59 (out)(err) |
O = 244 T = 0.09 (out)(err) |
p_hat500-3.clq.cnf | O = 284 T = 1.29 |
O = 284 T = 1.29 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 284 T = 14.71 (out)(err) |
O = 434 T = 0.11 (out)(err) |
p_hat700-1.clq.cnf | O = 63 T = 0.63 |
O = 63 T = 1.37 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 63 T = 0.63 (out)(err) |
O = 63 T = 21.42 (out)(err) |
p_hat700-2.clq.cnf | O = 154 T = 1.19 |
O = 154 T = 1.44 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 154 T = 1.19 (out)(err) |
O = 224 T = 0.10 (out)(err) |
p_hat700-3.clq.cnf | O = 267 T = 1.36 |
O = 267 T = 1.36 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 267 T = 6.88 (out)(err) |
O = 395 T = 0.12 (out)(err) |
san1000.clq.cnf | O = 139 T = 0.70 |
O = 139 T = 0.70 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 139 T = 1.95 (out)(err) |
O = 146 T = 17.30 (out)(err) |
san200_0.7_1.clq.cnf | O = 237 T = 0.55 |
O = 237 T = 1.17 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 237 T = 0.55 (out)(err) |
O = 313 T = 0.11 (out)(err) |
san200_0.7_2.clq.cnf | O = 236 T = 0.30 |
O = 236 T = 1.14 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 236 T = 0.30 (out)(err) |
O = 288 T = 0.10 (out)(err) |
san200_0.9_1.clq.cnf | O = 313 T = 0.85 |
O = 313 T = 1.17 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 313 T = 0.85 (out)(err) |
O = 403 T = 0.08 (out)(err) |
san200_0.9_2.clq.cnf | O = 316 T = 1.00 |
O = 316 T = 1.00 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 316 T = 9.20 (out)(err) |
O = 440 T = 0.12 (out)(err) |
san200_0.9_3.clq.cnf | O = 320 T = 1.19 |
O = 320 T = 1.19 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 320 T = 10.22 (out)(err) |
O = 442 T = 0.09 (out)(err) |
san400_0.5_1.clq.cnf | O = 146 T = 1.15 |
O = 146 T = 1.28 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 146 T = 1.15 (out)(err) |
O = 220 T = 0.11 (out)(err) |
san400_0.7_1.clq.cnf | O = 236 T = 0.81 |
O = 236 T = 1.40 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 236 T = 0.81 (out)(err) |
O = 333 T = 0.13 (out)(err) |
san400_0.7_2.clq.cnf | O = 236 T = 0.93 |
O = 236 T = 1.27 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 236 T = 0.93 (out)(err) |
O = 295 T = 0.13 (out)(err) |
san400_0.7_3.clq.cnf | O = 230 T = 1.32 |
O = 230 T = 1.32 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 230 T = 1.98 (out)(err) |
O = 289 T = 0.13 (out)(err) |
san400_0.9_1.clq.cnf | O = 304 T = 0.94 |
O = 304 T = 0.94 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 304 T = 9.71 (out)(err) |
O = 460 T = 0.08 (out)(err) |
sanr200_0.7.clq.cnf | O = 227 T = 0.62 |
O = 227 T = 0.78 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 227 T = 0.62 (out)(err) |
O = 280 T = 0.09 (out)(err) |
sanr200_0.9.clq.cnf | O = 300 T = 1.02 |
O = 300 T = 1.02 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 300 T = 10.12 (out)(err) |
O = 418 T = 0.13 (out)(err) |
sanr400_0.5.clq.cnf | O = 148 T = 0.60 |
O = 148 T = 1.22 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 148 T = 0.60 (out)(err) |
O = 176 T = 0.13 (out)(err) |
sanr400_0.7.clq.cnf | O = 223 T = 0.60 |
O = 223 T = 1.15 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 223 T = 0.60 (out)(err) |
O = 318 T = 0.09 (out)(err) |
t3pm3-5555.spn.cnf | O = 17 T = 0.30 |
O = 17 T = 1.01 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 17 T = 0.30 (out)(err) |
O = 17 T = 0.78 (out)(err) |
t4pm3-6666.spn.cnf | O = 38 T = 1.55 |
O = 38 T = 1.55 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 38 T = 2.68 (out)(err) |
O = 40 T = 69.11 (out)(err) |
t5pm3-7777.spn.cnf | O = 78 T = 1.46 |
O = 78 T = 1.66 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 78 T = 1.46 (out)(err) |
O = 120 T = 0.10 (out)(err) |
t6pm3-8888.spn.cnf | O = 136 T = 3.30 |
O = 136 T = 3.30 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 136 T = 134.93 (out)(err) |
O = 222 T = 0.09 (out)(err) |
t7pm3-9999.spn.cnf | O = 209 T = 4.36 |
O = 209 T = 4.36 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 215 T = 220.86 (out)(err) |
O = 343 T = 0.11 (out)(err) |