| 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 | ISAC+-2016-in |
|---|---|---|
| maxcut-140-630-0.7-1.cnf | O = 160 T = 6.37 |
O = 160 T = 6.37 |
| maxcut-140-630-0.7-10.cnf | O = 167 T = 6.19 |
O = 167 T = 6.19 |
| maxcut-140-630-0.7-11.cnf | O = 170 T = 6.63 |
O = 170 T = 6.63 |
| maxcut-140-630-0.7-12.cnf | O = 167 T = 6.81 |
O = 167 T = 6.81 |
| maxcut-140-630-0.7-13.cnf | O = 169 T = 6.46 |
O = 169 T = 6.46 |
| maxcut-140-630-0.7-14.cnf | O = 166 T = 6.75 |
O = 166 T = 6.75 |
| maxcut-140-630-0.7-15.cnf | O = 169 T = 6.36 |
O = 169 T = 6.36 |
| maxcut-140-630-0.7-16.cnf | O = 167 T = 6.96 |
O = 167 T = 6.96 |
| maxcut-140-630-0.7-17.cnf | O = 166 T = 6.99 |
O = 166 T = 6.99 |
| maxcut-140-630-0.7-18.cnf | O = 166 T = 7.16 |
O = 166 T = 7.16 |
| maxcut-140-630-0.7-19.cnf | O = 167 T = 6.63 |
O = 167 T = 6.63 |
| maxcut-140-630-0.7-2.cnf | O = 160 T = 6.48 |
O = 160 T = 6.48 |
| maxcut-140-630-0.7-20.cnf | O = 168 T = 6.46 |
O = 168 T = 6.46 |
| maxcut-140-630-0.7-21.cnf | O = 165 T = 6.10 |
O = 165 T = 6.10 |
| maxcut-140-630-0.7-22.cnf | O = 164 T = 6.66 |
O = 164 T = 6.66 |
| maxcut-140-630-0.7-23.cnf | O = 165 T = 6.86 |
O = 165 T = 6.86 |
| maxcut-140-630-0.7-24.cnf | O = 166 T = 6.47 |
O = 166 T = 6.47 |
| maxcut-140-630-0.7-25.cnf | O = 167 T = 6.58 |
O = 167 T = 6.58 |
| maxcut-140-630-0.7-26.cnf | O = 166 T = 6.47 |
O = 166 T = 6.47 |
| maxcut-140-630-0.7-27.cnf | O = 165 T = 7.25 |
O = 165 T = 7.25 |
| maxcut-140-630-0.7-28.cnf | O = 167 T = 6.56 |
O = 167 T = 6.56 |
| maxcut-140-630-0.7-29.cnf | O = 166 T = 6.43 |
O = 166 T = 6.43 |
| maxcut-140-630-0.7-3.cnf | O = 168 T = 6.63 |
O = 168 T = 6.63 |
| maxcut-140-630-0.7-30.cnf | O = 167 T = 6.65 |
O = 167 T = 6.65 |
| maxcut-140-630-0.7-31.cnf | O = 170 T = 6.63 |
O = 170 T = 6.63 |
| maxcut-140-630-0.7-32.cnf | O = 164 T = 6.70 |
O = 164 T = 6.70 |
| maxcut-140-630-0.7-33.cnf | O = 165 T = 6.46 |
O = 165 T = 6.46 |
| maxcut-140-630-0.7-34.cnf | O = 168 T = 6.60 |
O = 168 T = 6.60 |
| maxcut-140-630-0.7-35.cnf | O = 164 T = 6.46 |
O = 164 T = 6.46 |
| maxcut-140-630-0.7-36.cnf | O = 167 T = 6.77 |
O = 167 T = 6.77 |
| maxcut-140-630-0.7-37.cnf | O = 170 T = 6.66 |
O = 170 T = 6.66 |
| maxcut-140-630-0.7-38.cnf | O = 167 T = 6.42 |
O = 167 T = 6.42 |
| maxcut-140-630-0.7-39.cnf | O = 163 T = 6.15 |
O = 163 T = 6.15 |
| maxcut-140-630-0.7-4.cnf | O = 167 T = 6.54 |
O = 167 T = 6.54 |
| maxcut-140-630-0.7-40.cnf | O = 167 T = 6.08 |
O = 167 T = 6.08 |
| maxcut-140-630-0.7-41.cnf | O = 161 T = 7.00 |
O = 161 T = 7.00 |
| maxcut-140-630-0.7-42.cnf | O = 161 T = 6.39 |
O = 161 T = 6.39 |
| maxcut-140-630-0.7-43.cnf | O = 164 T = 6.29 |
O = 164 T = 6.29 |
| maxcut-140-630-0.7-44.cnf | O = 163 T = 6.32 |
O = 163 T = 6.32 |
| maxcut-140-630-0.7-45.cnf | O = 168 T = 6.30 |
O = 168 T = 6.30 |
| maxcut-140-630-0.7-46.cnf | O = 168 T = 6.58 |
O = 168 T = 6.58 |
| maxcut-140-630-0.7-47.cnf | O = 160 T = 6.61 |
O = 160 T = 6.61 |
| maxcut-140-630-0.7-48.cnf | O = 168 T = 6.36 |
O = 168 T = 6.36 |
| maxcut-140-630-0.7-49.cnf | O = 164 T = 6.89 |
O = 164 T = 6.89 |
| maxcut-140-630-0.7-5.cnf | O = 164 T = 6.20 |
O = 164 T = 6.20 |
| maxcut-140-630-0.7-50.cnf | O = 167 T = 7.08 |
O = 167 T = 7.08 |
| maxcut-140-630-0.7-6.cnf | O = 162 T = 6.44 |
O = 162 T = 6.44 |
| maxcut-140-630-0.7-7.cnf | O = 164 T = 6.79 |
O = 164 T = 6.79 |
| maxcut-140-630-0.7-8.cnf | O = 165 T = 6.45 |
O = 165 T = 6.45 |
| maxcut-140-630-0.7-9.cnf | O = 166 T = 6.31 |
O = 166 T = 6.31 |
| maxcut-140-630-0.8-1.cnf | O = 165 T = 6.47 |
O = 165 T = 6.47 |
| maxcut-140-630-0.8-10.cnf | O = 168 T = 6.42 |
O = 168 T = 6.42 |
| maxcut-140-630-0.8-11.cnf | O = 168 T = 6.81 |
O = 168 T = 6.81 |
| maxcut-140-630-0.8-12.cnf | O = 165 T = 6.42 |
O = 165 T = 6.42 |
| maxcut-140-630-0.8-13.cnf | O = 167 T = 6.19 |
O = 167 T = 6.19 |
| maxcut-140-630-0.8-14.cnf | O = 164 T = 6.20 |
O = 164 T = 6.20 |
| maxcut-140-630-0.8-15.cnf | O = 166 T = 6.45 |
O = 166 T = 6.45 |
| maxcut-140-630-0.8-16.cnf | O = 163 T = 6.75 |
O = 163 T = 6.75 |
| maxcut-140-630-0.8-17.cnf | O = 168 T = 6.73 |
O = 168 T = 6.73 |
| maxcut-140-630-0.8-18.cnf | O = 163 T = 6.29 |
O = 163 T = 6.29 |
| maxcut-140-630-0.8-19.cnf | O = 164 T = 7.16 |
O = 164 T = 7.16 |
| maxcut-140-630-0.8-2.cnf | O = 162 T = 6.41 |
O = 162 T = 6.41 |
| maxcut-140-630-0.8-20.cnf | O = 165 T = 6.36 |
O = 165 T = 6.36 |
| maxcut-140-630-0.8-21.cnf | O = 167 T = 6.67 |
O = 167 T = 6.67 |
| maxcut-140-630-0.8-22.cnf | O = 170 T = 6.39 |
O = 170 T = 6.39 |
| maxcut-140-630-0.8-23.cnf | O = 167 T = 6.28 |
O = 167 T = 6.28 |
| maxcut-140-630-0.8-24.cnf | O = 165 T = 6.62 |
O = 165 T = 6.62 |
| maxcut-140-630-0.8-25.cnf | O = 165 T = 6.18 |
O = 165 T = 6.18 |
| maxcut-140-630-0.8-26.cnf | O = 167 T = 6.63 |
O = 167 T = 6.63 |
| maxcut-140-630-0.8-27.cnf | O = 168 T = 6.96 |
O = 168 T = 6.96 |
| maxcut-140-630-0.8-28.cnf | O = 168 T = 6.66 |
O = 168 T = 6.66 |
| maxcut-140-630-0.8-29.cnf | O = 167 T = 6.55 |
O = 167 T = 6.55 |
| maxcut-140-630-0.8-3.cnf | O = 165 T = 6.58 |
O = 165 T = 6.58 |
| maxcut-140-630-0.8-30.cnf | O = 167 T = 6.57 |
O = 167 T = 6.57 |
| maxcut-140-630-0.8-31.cnf | O = 165 T = 6.27 |
O = 165 T = 6.27 |
| maxcut-140-630-0.8-32.cnf | O = 164 T = 6.93 |
O = 164 T = 6.93 |
| maxcut-140-630-0.8-33.cnf | O = 163 T = 6.22 |
O = 163 T = 6.22 |
| maxcut-140-630-0.8-34.cnf | O = 163 T = 6.46 |
O = 163 T = 6.46 |
| maxcut-140-630-0.8-35.cnf | O = 165 T = 6.45 |
O = 165 T = 6.45 |
| maxcut-140-630-0.8-36.cnf | O = 165 T = 6.67 |
O = 165 T = 6.67 |
| maxcut-140-630-0.8-37.cnf | O = 167 T = 6.71 |
O = 167 T = 6.71 |
| maxcut-140-630-0.8-38.cnf | O = 160 T = 6.99 |
O = 160 T = 6.99 |
| maxcut-140-630-0.8-39.cnf | O = 169 T = 6.50 |
O = 169 T = 6.50 |
| maxcut-140-630-0.8-4.cnf | O = 165 T = 6.54 |
O = 165 T = 6.54 |
| maxcut-140-630-0.8-40.cnf | O = 161 T = 6.41 |
O = 161 T = 6.41 |
| maxcut-140-630-0.8-41.cnf | O = 163 T = 6.54 |
O = 163 T = 6.54 |
| maxcut-140-630-0.8-42.cnf | O = 164 T = 6.15 |
O = 164 T = 6.15 |
| maxcut-140-630-0.8-43.cnf | O = 165 T = 6.34 |
O = 165 T = 6.34 |
| maxcut-140-630-0.8-44.cnf | O = 160 T = 6.17 |
O = 160 T = 6.17 |
| maxcut-140-630-0.8-45.cnf | O = 165 T = 6.82 |
O = 165 T = 6.82 |
| maxcut-140-630-0.8-46.cnf | O = 162 T = 6.47 |
O = 162 T = 6.47 |
| maxcut-140-630-0.8-47.cnf | O = 164 T = 6.50 |
O = 164 T = 6.50 |
| maxcut-140-630-0.8-48.cnf | O = 164 T = 6.39 |
O = 164 T = 6.39 |
| maxcut-140-630-0.8-49.cnf | O = 166 T = 6.80 |
O = 166 T = 6.80 |
| maxcut-140-630-0.8-5.cnf | O = 164 T = 6.50 |
O = 164 T = 6.50 |
| maxcut-140-630-0.8-50.cnf | O = 165 T = 6.24 |
O = 165 T = 6.24 |
| maxcut-140-630-0.8-6.cnf | O = 169 T = 6.35 |
O = 169 T = 6.35 |
| maxcut-140-630-0.8-7.cnf | O = 166 T = 6.65 |
O = 166 T = 6.65 |
| maxcut-140-630-0.8-8.cnf | O = 167 T = 6.38 |
O = 167 T = 6.38 |
| maxcut-140-630-0.8-9.cnf | O = 165 T = 6.59 |
O = 165 T = 6.59 |
| s2v140c1200-1.cnf | O = 158 T = 6.87 |
O = 158 T = 6.87 |
| s2v140c1200-2.cnf | O = 152 T = 6.14 |
O = 152 T = 6.14 |
| s2v140c1200-3.cnf | O = 157 T = 6.38 |
O = 157 T = 6.38 |
| s2v140c1300-1.cnf | O = 176 T = 6.31 |
O = 176 T = 6.31 |
| s2v140c1300-2.cnf | O = 169 T = 6.48 |
O = 169 T = 6.48 |
| s2v140c1300-3.cnf | O = 172 T = 7.07 |
O = 172 T = 7.07 |
| s2v140c1400-1.cnf | O = 196 T = 6.39 |
O = 196 T = 6.39 |
| s2v140c1400-2.cnf | O = 195 T = 6.39 |
O = 195 T = 6.39 |
| s2v140c1400-3.cnf | O = 194 T = 6.82 |
O = 194 T = 6.82 |
| s2v140c1500-1.cnf | O = 212 T = 6.14 |
O = 212 T = 6.14 |
| s2v140c1500-2.cnf | O = 215 T = 7.08 |
O = 215 T = 7.08 |
| s2v140c1500-3.cnf | O = 211 T = 7.02 |
O = 211 T = 7.02 |
| s2v140c1600-1.cnf | O = 233 T = 6.92 |
O = 233 T = 6.92 |
| s2v140c1600-2.cnf | O = 231 T = 6.46 |
O = 231 T = 6.46 |
| s2v140c1600-3.cnf | O = 235 T = 6.42 |
O = 235 T = 6.42 |
| s2v140c1700-1.cnf | O = 253 T = 6.40 |
O = 253 T = 6.40 |
| s2v140c1700-2.cnf | O = 255 T = 6.46 |
O = 255 T = 6.46 |
| s2v140c1700-3.cnf | O = 253 T = 6.43 |
O = 253 T = 6.43 |
| s2v140c1800-1.cnf | O = 273 T = 6.43 |
O = 273 T = 6.43 |
| s2v140c1800-2.cnf | O = 272 T = 6.42 |
O = 272 T = 6.42 |
| s2v140c1800-3.cnf | O = 276 T = 6.60 |
O = 276 T = 6.60 |
| s2v140c1900-1.cnf | O = 292 T = 6.16 |
O = 292 T = 6.16 |
| s2v140c1900-2.cnf | O = 294 T = 6.15 |
O = 294 T = 6.15 |
| s2v140c1900-3.cnf | O = 293 T = 6.31 |
O = 293 T = 6.31 |
| s2v140c2000-1.cnf | O = 315 T = 6.38 |
O = 315 T = 6.38 |
| s2v140c2000-2.cnf | O = 315 T = 6.77 |
O = 315 T = 6.77 |
| s2v140c2000-3.cnf | O = 318 T = 5.96 |
O = 318 T = 5.96 |
| s2v140c2100-1.cnf | O = 336 T = 6.09 |
O = 336 T = 6.09 |
| s2v140c2100-2.cnf | O = 333 T = 6.52 |
O = 333 T = 6.52 |
| s2v140c2100-3.cnf | O = 338 T = 6.40 |
O = 338 T = 6.40 |
| s2v140c2200-1.cnf | O = 356 T = 6.47 |
O = 356 T = 6.47 |
| s2v140c2200-2.cnf | O = 359 T = 6.85 |
O = 359 T = 6.85 |
| s2v140c2200-3.cnf | O = 354 T = 6.33 |
O = 354 T = 6.33 |
| s2v140c2300-1.cnf | O = 374 T = 6.34 |
O = 374 T = 6.34 |
| s2v140c2300-2.cnf | O = 378 T = 6.98 |
O = 378 T = 6.98 |
| s2v140c2300-3.cnf | O = 373 T = 6.42 |
O = 373 T = 6.42 |
| s2v140c2400-1.cnf | O = 398 T = 6.70 |
O = 398 T = 6.70 |
| s2v140c2400-2.cnf | O = 399 T = 6.28 |
O = 399 T = 6.28 |
| s2v140c2400-3.cnf | O = 395 T = 6.90 |
O = 395 T = 6.90 |
| s2v140c2500-1.cnf | O = 420 T = 6.19 |
O = 420 T = 6.19 |
| s2v140c2500-2.cnf | O = 424 T = 6.86 |
O = 424 T = 6.86 |
| s2v140c2500-3.cnf | O = 414 T = 6.54 |
O = 414 T = 6.54 |
| s2v140c2600-1.cnf | O = 439 T = 6.34 |
O = 439 T = 6.34 |
| s2v140c2600-2.cnf | O = 446 T = 6.42 |
O = 446 T = 6.42 |
| s2v140c2600-3.cnf | O = 434 T = 6.44 |
O = 434 T = 6.44 |
| s2v160c1200-1.cnf | O = 149 T = 6.41 |
O = 149 T = 6.41 |
| s2v160c1200-2.cnf | O = 145 T = 6.64 |
O = 145 T = 6.64 |
| s2v160c1200-3.cnf | O = 146 T = 6.24 |
O = 146 T = 6.24 |
| s2v160c1300-1.cnf | O = 165 T = 6.78 |
O = 165 T = 6.78 |
| s2v160c1300-2.cnf | O = 163 T = 6.39 |
O = 163 T = 6.39 |
| s2v160c1300-3.cnf | O = 164 T = 6.62 |
O = 164 T = 6.62 |
| s2v160c1400-1.cnf | O = 185 T = 6.49 |
O = 185 T = 6.49 |
| s2v160c1400-2.cnf | O = 186 T = 6.92 |
O = 186 T = 6.92 |
| s2v160c1400-3.cnf | O = 182 T = 6.58 |
O = 182 T = 6.58 |
| s2v160c1500-1.cnf | O = 204 T = 6.96 |
O = 204 T = 6.96 |
| s2v160c1500-2.cnf | O = 202 T = 6.79 |
O = 202 T = 6.79 |
| s2v160c1500-3.cnf | O = 202 T = 6.19 |
O = 202 T = 6.19 |
| s2v160c1600-1.cnf | O = 221 T = 6.59 |
O = 221 T = 6.59 |
| s2v160c1600-2.cnf | O = 223 T = 6.62 |
O = 223 T = 6.62 |
| s2v160c1600-3.cnf | O = 220 T = 7.15 |
O = 220 T = 7.15 |
| s2v160c1700-1.cnf | O = 244 T = 6.69 |
O = 244 T = 6.69 |
| s2v160c1700-2.cnf | O = 244 T = 6.35 |
O = 244 T = 6.35 |
| s2v160c1700-3.cnf | O = 241 T = 6.24 |
O = 241 T = 6.24 |
| s2v160c1800-1.cnf | O = 262 T = 6.64 |
O = 262 T = 6.64 |
| s2v160c1800-2.cnf | O = 262 T = 6.80 |
O = 262 T = 6.80 |
| s2v160c1800-3.cnf | O = 261 T = 7.58 |
O = 261 T = 7.58 |
| s2v160c1900-1.cnf | O = 279 T = 6.77 |
O = 279 T = 6.77 |
| s2v160c1900-2.cnf | O = 282 T = 6.48 |
O = 282 T = 6.48 |
| s2v160c1900-3.cnf | O = 283 T = 6.76 |
O = 283 T = 6.76 |
| s2v160c2000-1.cnf | O = 302 T = 6.42 |
O = 302 T = 6.42 |
| s2v160c2000-2.cnf | O = 302 T = 6.42 |
O = 302 T = 6.42 |
| s2v160c2000-3.cnf | O = 302 T = 6.41 |
O = 302 T = 6.41 |
| s2v160c2100-1.cnf | O = 322 T = 6.22 |
O = 322 T = 6.22 |
| s2v160c2100-2.cnf | O = 324 T = 6.89 |
O = 324 T = 6.89 |
| s2v160c2100-3.cnf | O = 319 T = 6.51 |
O = 319 T = 6.51 |
| s2v160c2200-1.cnf | O = 340 T = 6.77 |
O = 340 T = 6.77 |
| s2v160c2200-2.cnf | O = 342 T = 7.04 |
O = 342 T = 7.04 |
| s2v160c2200-3.cnf | O = 342 T = 6.74 |
O = 342 T = 6.74 |
| s2v160c2300-1.cnf | O = 363 T = 6.40 |
O = 363 T = 6.40 |
| s2v160c2300-2.cnf | O = 361 T = 6.50 |
O = 361 T = 6.50 |
| s2v160c2300-3.cnf | O = 361 T = 6.16 |
O = 361 T = 6.16 |
| s2v160c2400-1.cnf | O = 383 T = 6.31 |
O = 383 T = 6.31 |
| s2v160c2400-2.cnf | O = 382 T = 6.45 |
O = 382 T = 6.45 |
| s2v160c2400-3.cnf | O = 383 T = 6.83 |
O = 383 T = 6.83 |
| s2v160c2500-1.cnf | O = 405 T = 6.21 |
O = 405 T = 6.21 |
| s2v160c2500-2.cnf | O = 405 T = 6.84 |
O = 405 T = 6.84 |
| s2v160c2500-3.cnf | O = 401 T = 6.89 |
O = 401 T = 6.89 |
| s2v160c2600-1.cnf | O = 428 T = 6.76 |
O = 428 T = 6.76 |
| s2v160c2600-2.cnf | O = 428 T = 6.53 |
O = 428 T = 6.53 |
| s2v160c2600-3.cnf | O = 426 T = 7.01 |
O = 426 T = 7.01 |
| s2v180c1200-1.cnf | O = 129 T = 7.15 |
O = 129 T = 7.15 |
| s2v180c1200-2.cnf | O = 134 T = 6.79 |
O = 134 T = 6.79 |
| s2v180c1200-3.cnf | O = 132 T = 6.63 |
O = 132 T = 6.63 |
| s2v180c1300-1.cnf | O = 155 T = 6.68 |
O = 155 T = 6.68 |
| s2v180c1300-2.cnf | O = 152 T = 6.75 |
O = 152 T = 6.75 |
| s2v180c1300-3.cnf | O = 150 T = 6.97 |
O = 150 T = 6.97 |
| s2v180c1400-1.cnf | O = 172 T = 6.28 |
O = 172 T = 6.28 |
| s2v180c1400-2.cnf | O = 171 T = 6.21 |
O = 171 T = 6.21 |
| s2v180c1400-3.cnf | O = 170 T = 6.48 |
O = 170 T = 6.48 |
| s2v180c1500-1.cnf | O = 192 T = 6.67 |
O = 192 T = 6.67 |
| s2v180c1500-2.cnf | O = 189 T = 6.88 |
O = 189 T = 6.88 |
| s2v180c1500-3.cnf | O = 187 T = 6.74 |
O = 187 T = 6.74 |
| s2v180c1600-1.cnf | O = 209 T = 6.57 |
O = 209 T = 6.57 |
| s2v180c1600-2.cnf | O = 209 T = 9.34 |
O = 209 T = 9.34 |
| s2v180c1600-3.cnf | O = 211 T = 10.27 |
O = 211 T = 10.27 |
| s2v180c1700-1.cnf | O = 226 T = 6.46 |
O = 226 T = 6.46 |
| s2v180c1700-2.cnf | O = 228 T = 6.73 |
O = 228 T = 6.73 |
| s2v180c1700-3.cnf | O = 231 T = 6.69 |
O = 231 T = 6.69 |
| s2v180c1800-1.cnf | O = 246 T = 6.66 |
O = 246 T = 6.66 |
| s2v180c1800-2.cnf | O = 244 T = 6.22 |
O = 244 T = 6.22 |
| s2v180c1800-3.cnf | O = 249 T = 7.19 |
O = 249 T = 7.19 |
| s2v180c1900-1.cnf | O = 267 T = 6.96 |
O = 267 T = 6.96 |
| s2v180c1900-2.cnf | O = 263 T = 6.55 |
O = 263 T = 6.55 |
| s2v180c1900-3.cnf | O = 269 T = 6.62 |
O = 269 T = 6.62 |
| s2v180c2000-1.cnf | O = 286 T = 6.96 |
O = 286 T = 6.96 |
| s2v180c2000-2.cnf | O = 285 T = 6.83 |
O = 285 T = 6.83 |
| s2v180c2000-3.cnf | O = 288 T = 6.36 |
O = 288 T = 6.36 |
| s2v180c2100-1.cnf | O = 306 T = 6.71 |
O = 306 T = 6.71 |
| s2v180c2100-2.cnf | O = 302 T = 6.84 |
O = 302 T = 6.84 |
| s2v180c2100-3.cnf | O = 304 T = 6.54 |
O = 304 T = 6.54 |
| s2v180c2200-1.cnf | O = 323 T = 6.87 |
O = 323 T = 6.87 |
| s2v180c2200-2.cnf | O = 324 T = 6.53 |
O = 324 T = 6.53 |
| s2v180c2200-3.cnf | O = 321 T = 6.57 |
O = 321 T = 6.57 |
| s2v180c2300-1.cnf | O = 340 T = 6.47 |
O = 340 T = 6.47 |
| s2v180c2300-2.cnf | O = 344 T = 6.53 |
O = 344 T = 6.53 |
| s2v180c2300-3.cnf | O = 347 T = 6.87 |
O = 347 T = 6.87 |
| s2v180c2400-1.cnf | O = 363 T = 6.11 |
O = 363 T = 6.11 |
| s2v180c2400-2.cnf | O = 362 T = 7.17 |
O = 362 T = 7.17 |
| s2v180c2400-3.cnf | O = 371 T = 6.80 |
O = 371 T = 6.80 |
| s2v180c2500-1.cnf | O = 385 T = 7.08 |
O = 385 T = 7.08 |
| s2v180c2500-2.cnf | O = 382 T = 7.31 |
O = 382 T = 7.31 |
| s2v180c2500-3.cnf | O = 390 T = 6.36 |
O = 390 T = 6.36 |
| s2v180c2600-1.cnf | O = 405 T = 7.41 |
O = 405 T = 7.41 |
| s2v180c2600-2.cnf | O = 405 T = 6.20 |
O = 405 T = 6.20 |
| s2v180c2600-3.cnf | O = 414 T = 6.71 |
O = 414 T = 6.71 |
| s2v200c1200-1.cnf | O = 122 T = 6.95 |
O = 122 T = 6.95 |
| s2v200c1200-2.cnf | O = 125 T = 6.19 |
O = 125 T = 6.19 |
| s2v200c1200-3.cnf | O = 128 T = 10.03 |
O = 128 T = 10.03 |
| s2v200c1300-1.cnf | O = 142 T = 6.86 |
O = 142 T = 6.86 |
| s2v200c1300-2.cnf | O = 147 T = 7.73 |
O = 147 T = 7.73 |
| s2v200c1300-3.cnf | O = 146 T = 6.77 |
O = 146 T = 6.77 |
| s2v200c1400-1.cnf | O = 159 T = 6.57 |
O = 159 T = 6.57 |
| s2v200c1400-2.cnf | O = 161 T = 8.12 |
O = 161 T = 8.12 |
| s2v200c1400-3.cnf | O = 162 T = 6.56 |
O = 162 T = 6.56 |
| s2v200c1500-1.cnf | O = 178 T = 6.82 |
O = 178 T = 6.82 |
| s2v200c1500-2.cnf | O = 176 T = 6.91 |
O = 176 T = 6.91 |
| s2v200c1500-3.cnf | O = 181 T = 7.08 |
O = 181 T = 7.08 |
| s2v200c1600-1.cnf | O = 200 T = 6.83 |
O = 200 T = 6.83 |
| s2v200c1600-2.cnf | O = 193 T = 6.82 |
O = 193 T = 6.82 |
| s2v200c1600-3.cnf | O = 200 T = 6.75 |
O = 200 T = 6.75 |
| s2v200c1700-1.cnf | O = 216 T = 6.63 |
O = 216 T = 6.63 |
| s2v200c1700-2.cnf | O = 215 T = 7.11 |
O = 215 T = 7.11 |
| s2v200c1700-3.cnf | O = 219 T = 6.68 |
O = 219 T = 6.68 |
| s2v200c1800-1.cnf | O = 236 T = 7.17 |
O = 236 T = 7.17 |
| s2v200c1800-2.cnf | O = 233 T = 6.56 |
O = 233 T = 6.56 |
| s2v200c1800-3.cnf | O = 240 T = 6.79 |
O = 240 T = 6.79 |
| s2v200c1900-1.cnf | O = 256 T = 7.01 |
O = 256 T = 7.01 |
| s2v200c1900-2.cnf | O = 254 T = 8.05 |
O = 254 T = 8.05 |
| s2v200c1900-3.cnf | O = 256 T = 7.41 |
O = 256 T = 7.41 |
| s2v200c2000-1.cnf | O = 273 T = 7.47 |
O = 273 T = 7.47 |
| s2v200c2000-2.cnf | O = 275 T = 6.77 |
O = 275 T = 6.77 |
| s2v200c2000-3.cnf | O = 272 T = 7.23 |
O = 272 T = 7.23 |
| s2v200c2100-1.cnf | O = 289 T = 6.72 |
O = 289 T = 6.72 |
| s2v200c2100-2.cnf | O = 292 T = 6.55 |
O = 292 T = 6.55 |
| s2v200c2100-3.cnf | O = 296 T = 6.69 |
O = 296 T = 6.69 |
| s2v200c2200-1.cnf | O = 311 T = 6.56 |
O = 311 T = 6.56 |
| s2v200c2200-2.cnf | O = 309 T = 7.32 |
O = 309 T = 7.32 |
| s2v200c2200-3.cnf | O = 313 T = 6.79 |
O = 313 T = 6.79 |
| s2v200c2300-1.cnf | O = 330 T = 7.07 |
O = 330 T = 7.07 |
| s2v200c2300-2.cnf | O = 330 T = 6.59 |
O = 330 T = 6.59 |
| s2v200c2300-3.cnf | O = 336 T = 6.82 |
O = 336 T = 6.82 |
| s2v200c2400-1.cnf | O = 347 T = 6.87 |
O = 347 T = 6.87 |
| s2v200c2400-2.cnf | O = 350 T = 6.40 |
O = 350 T = 6.40 |
| s2v200c2400-3.cnf | O = 353 T = 6.36 |
O = 353 T = 6.36 |
| s2v200c2500-1.cnf | O = 368 T = 6.56 |
O = 368 T = 6.56 |
| s2v200c2500-2.cnf | O = 373 T = 7.37 |
O = 373 T = 7.37 |
| s2v200c2500-3.cnf | O = 369 T = 6.54 |
O = 369 T = 6.54 |
| s2v200c2600-1.cnf | O = 390 T = 6.35 |
O = 390 T = 6.35 |
| s2v200c2600-2.cnf | O = 392 T = 7.26 |
O = 392 T = 7.26 |
| s2v200c2600-3.cnf | O = 390 T = 6.69 |
O = 390 T = 6.69 |
| s2v220c1200-1.cnf | O = 117 T = 6.13 |
O = 117 T = 6.13 |
| s2v220c1200-2.cnf | O = 116 T = 6.75 |
O = 116 T = 6.75 |
| s2v220c1200-3.cnf | O = 115 T = 6.71 |
O = 115 T = 6.71 |
| s2v220c1300-1.cnf | O = 132 T = 7.21 |
O = 132 T = 7.21 |
| s2v220c1300-2.cnf | O = 132 T = 6.31 |
O = 132 T = 6.31 |
| s2v220c1300-3.cnf | O = 136 T = 6.64 |
O = 136 T = 6.64 |
| s2v220c1400-1.cnf | O = 154 T = 7.41 |
O = 154 T = 7.41 |
| s2v220c1400-2.cnf | O = 149 T = 7.14 |
O = 149 T = 7.14 |
| s2v220c1400-3.cnf | O = 151 T = 8.25 |
O = 151 T = 8.25 |
| s2v220c1500-1.cnf | O = 170 T = 7.67 |
O = 170 T = 7.67 |
| s2v220c1500-2.cnf | O = 169 T = 10.49 |
O = 169 T = 10.49 |
| s2v220c1500-3.cnf | O = 169 T = 8.74 |
O = 169 T = 8.74 |
| s2v220c1600-1.cnf | O = 186 T = 6.99 |
O = 186 T = 6.99 |
| s2v220c1600-2.cnf | O = 186 T = 7.31 |
O = 186 T = 7.31 |
| s2v220c1600-3.cnf | O = 184 T = 7.07 |
O = 184 T = 7.07 |
| s2v220c1700-1.cnf | O = 209 T = 6.01 |
O = 209 T = 6.01 |
| s2v220c1700-2.cnf | O = 204 T = 8.76 |
O = 204 T = 8.76 |
| s2v220c1700-3.cnf | O = 199 T = 6.91 |
O = 199 T = 6.91 |
| s2v220c1800-1.cnf | O = 227 T = 7.34 |
O = 227 T = 7.34 |
| s2v220c1800-2.cnf | O = 225 T = 8.15 |
O = 225 T = 8.15 |
| s2v220c1800-3.cnf | O = 216 T = 6.67 |
O = 216 T = 6.67 |
| s2v220c1900-1.cnf | O = 249 T = 6.77 |
O = 249 T = 6.77 |
| s2v220c1900-2.cnf | O = 245 T = 6.69 |
O = 245 T = 6.69 |
| s2v220c1900-3.cnf | O = 238 T = 6.82 |
O = 238 T = 6.82 |
| s2v220c2000-1.cnf | O = 265 T = 10.35 |
O = 265 T = 10.35 |
| s2v220c2000-2.cnf | O = 263 T = 7.41 |
O = 263 T = 7.41 |
| s2v220c2000-3.cnf | O = 264 T = 8.03 |
O = 264 T = 8.03 |
| s2v220c2100-1.cnf | O = 285 T = 6.49 |
O = 285 T = 6.49 |
| s2v220c2100-2.cnf | O = 275 T = 7.03 |
O = 275 T = 7.03 |
| s2v220c2100-3.cnf | O = 281 T = 6.88 |
O = 281 T = 6.88 |
| s2v220c2200-1.cnf | O = 304 T = 6.81 |
O = 304 T = 6.81 |
| s2v220c2200-2.cnf | O = 298 T = 7.51 |
O = 298 T = 7.51 |
| s2v220c2200-3.cnf | O = 301 T = 6.91 |
O = 301 T = 6.91 |
| s2v220c2300-1.cnf | O = 321 T = 6.68 |
O = 321 T = 6.68 |
| s2v220c2300-2.cnf | O = 319 T = 6.87 |
O = 319 T = 6.87 |
| s2v220c2300-3.cnf | O = 318 T = 6.88 |
O = 318 T = 6.88 |
| s2v220c2400-1.cnf | O = 343 T = 7.34 |
O = 343 T = 7.34 |
| s2v220c2400-2.cnf | O = 339 T = 7.13 |
O = 339 T = 7.13 |
| s2v220c2400-3.cnf | O = 337 T = 6.92 |
O = 337 T = 6.92 |
| s2v220c2500-1.cnf | O = 361 T = 7.06 |
O = 361 T = 7.06 |
| s2v220c2500-2.cnf | O = 358 T = 6.35 |
O = 358 T = 6.35 |
| s2v220c2500-3.cnf | O = 359 T = 6.74 |
O = 359 T = 6.74 |
| s2v220c2600-1.cnf | O = 379 T = 7.26 |
O = 379 T = 7.26 |
| s2v220c2600-2.cnf | O = 378 T = 10.50 |
O = 378 T = 10.50 |
| s2v220c2600-3.cnf | O = 380 T = 7.08 |
O = 380 T = 7.08 |
| MANN_a27.clq.cnf | O = 404 T = 6.18 |
O = 404 T = 6.18 |
| MANN_a45.clq.cnf | O = 418 T = 5.92 |
O = 418 T = 5.92 |
| MANN_a81.clq.cnf | O = 399 T = 5.84 |
O = 399 T = 5.84 |
| MANN_a9.clq.cnf | O = 422 T = 6.11 |
O = 422 T = 6.11 |
| brock200_1.clq.cnf | O = 238 T = 6.01 |
O = 238 T = 6.01 |
| brock200_2.clq.cnf | O = 141 T = 6.29 |
O = 141 T = 6.29 |
| brock200_3.clq.cnf | O = 214 T = 5.91 |
O = 214 T = 5.91 |
| brock200_4.clq.cnf | O = 209 T = 6.04 |
O = 209 T = 6.04 |
| brock400_1.clq.cnf | O = 255 T = 6.29 |
O = 255 T = 6.29 |
| brock400_2.clq.cnf | O = 252 T = 5.94 |
O = 252 T = 5.94 |
| brock400_3.clq.cnf | O = 238 T = 6.09 |
O = 238 T = 6.09 |
| brock400_4.clq.cnf | O = 249 T = 5.97 |
O = 249 T = 5.97 |
| brock800_1.clq.cnf | O = 205 T = 6.05 |
O = 205 T = 6.05 |
| brock800_2.clq.cnf | O = 207 T = 6.17 |
O = 207 T = 6.17 |
| brock800_3.clq.cnf | O = 203 T = 6.16 |
O = 203 T = 6.16 |
| brock800_4.clq.cnf | O = 200 T = 6.24 |
O = 200 T = 6.24 |
| c-fat200-1.clq.cnf | O = 4 T = 6.17 |
O = 4 T = 6.17 |
| c-fat200-2.clq.cnf | O = 26 T = 6.14 |
O = 26 T = 6.14 |
| c-fat200-5.clq.cnf | O = 116 T = 6.17 |
O = 116 T = 6.17 |
| c-fat500-1.clq.cnf | O = 2 T = 5.84 |
O = 2 T = 5.84 |
| c-fat500-10.clq.cnf | O = 200 T = 5.87 |
O = 200 T = 5.87 |
| c-fat500-2.clq.cnf | O = 24 T = 5.98 |
O = 24 T = 5.98 |
| c-fat500-5.clq.cnf | O = 90 T = 5.93 |
O = 90 T = 5.93 |
| hamming10-2.clq.cnf | O = 400 T = 5.95 |
O = 400 T = 5.95 |
| hamming10-4.clq.cnf | O = 319 T = 5.97 |
O = 319 T = 5.97 |
| hamming6-2.clq.cnf | O = 832 T = 6.13 |
O = 832 T = 6.13 |
| hamming6-4.clq.cnf | O = 192 T = 5.90 |
O = 192 T = 5.90 |
| hamming8-2.clq.cnf | O = 441 T = 5.96 |
O = 441 T = 5.96 |
| hamming8-4.clq.cnf | O = 176 T = 5.95 |
O = 176 T = 5.95 |
| johnson16-2-4.clq.cnf | O = 215 T = 6.38 |
O = 215 T = 6.38 |
| johnson32-2-4.clq.cnf | O = 329 T = 5.86 |
O = 329 T = 5.86 |
| johnson8-2-4.clq.cnf | O = 75 T = 5.86 |
O = 75 T = 5.86 |
| johnson8-4-4.clq.cnf | O = 770 T = 6.18 |
O = 770 T = 6.18 |
| keller4.clq.cnf | O = 199 T = 5.86 |
O = 199 T = 5.86 |
| keller5.clq.cnf | O = 250 T = 6.20 |
O = 250 T = 6.20 |
| p_hat1000-1.clq.cnf | O = 52 T = 6.17 |
O = 52 T = 6.17 |
| p_hat1000-2.clq.cnf | O = 142 T = 6.19 |
O = 142 T = 6.19 |
| p_hat1000-3.clq.cnf | O = 238 T = 6.79 |
O = 238 T = 6.79 |
| p_hat300-1.clq.cnf | O = 49 T = 6.59 |
O = 49 T = 6.59 |
| p_hat300-2.clq.cnf | O = 135 T = 6.51 |
O = 135 T = 6.51 |
| p_hat300-3.clq.cnf | O = 269 T = 6.08 |
O = 269 T = 6.08 |
| p_hat500-1.clq.cnf | O = 75 T = 6.27 |
O = 75 T = 6.27 |
| p_hat500-2.clq.cnf | O = 176 T = 5.95 |
O = 176 T = 5.95 |
| p_hat500-3.clq.cnf | O = 284 T = 6.04 |
O = 284 T = 6.04 |
| p_hat700-1.clq.cnf | O = 63 T = 6.02 |
O = 63 T = 6.02 |
| p_hat700-2.clq.cnf | O = 154 T = 6.39 |
O = 154 T = 6.39 |
| p_hat700-3.clq.cnf | O = 267 T = 6.35 |
O = 267 T = 6.35 |
| san1000.clq.cnf | O = 139 T = 6.13 |
O = 139 T = 6.13 |
| san200_0.7_1.clq.cnf | O = 237 T = 6.08 |
O = 237 T = 6.08 |
| san200_0.7_2.clq.cnf | O = 236 T = 6.34 |
O = 236 T = 6.34 |
| san200_0.9_1.clq.cnf | O = 313 T = 6.28 |
O = 313 T = 6.28 |
| san200_0.9_2.clq.cnf | O = 316 T = 6.18 |
O = 316 T = 6.18 |
| san200_0.9_3.clq.cnf | O = 320 T = 6.06 |
O = 320 T = 6.06 |
| san400_0.5_1.clq.cnf | O = 146 T = 6.27 |
O = 146 T = 6.27 |
| san400_0.7_1.clq.cnf | O = 236 T = 5.90 |
O = 236 T = 5.90 |
| san400_0.7_2.clq.cnf | O = 236 T = 6.16 |
O = 236 T = 6.16 |
| san400_0.7_3.clq.cnf | O = 230 T = 6.22 |
O = 230 T = 6.22 |
| san400_0.9_1.clq.cnf | O = 304 T = 6.15 |
O = 304 T = 6.15 |
| sanr200_0.7.clq.cnf | O = 227 T = 6.27 |
O = 227 T = 6.27 |
| sanr200_0.9.clq.cnf | O = 300 T = 6.05 |
O = 300 T = 6.05 |
| sanr400_0.5.clq.cnf | O = 148 T = 6.27 |
O = 148 T = 6.27 |
| sanr400_0.7.clq.cnf | O = 223 T = 6.06 |
O = 223 T = 6.06 |
| t3pm3-5555.spn.cnf | O = 17 T = 5.93 |
O = 17 T = 5.93 |
| t4pm3-6666.spn.cnf | O = 38 T = 6.29 |
O = 38 T = 6.29 |
| t5pm3-7777.spn.cnf | O = 78 T = 6.54 |
O = 78 T = 6.54 |
| t6pm3-8888.spn.cnf | O = N/A T = TO |
O = N/A T = TO |
| t7pm3-9999.spn.cnf | O = N/A T = TO |
O = N/A T = TO |
| scpclr10_maxsat.cnf | O = N/A T = TO |
O = N/A T = TO |
| scpclr11_maxsat.cnf | O = N/A T = TO |
O = N/A T = TO |
| scpclr12_maxsat.cnf | O = N/A T = TO |
O = N/A T = TO |
| scpclr13_maxsat.cnf | O = N/A T = TO |
O = N/A T = TO |
| scpcyc06_maxsat.cnf | O = N/A T = TO |
O = N/A T = TO |
| scpcyc07_maxsat.cnf | O = N/A T = TO |
O = N/A T = TO |
| scpcyc08_maxsat.cnf | O = N/A T = TO |
O = N/A T = TO |
| scpcyc09_maxsat.cnf | O = N/A T = TO |
O = N/A T = TO |
| scpcyc10_maxsat.cnf | O = N/A T = TO |
O = N/A T = TO |
| scpcyc11_maxsat.cnf | O = N/A T = TO |
O = N/A T = TO |