| Label | Meaning |
|---|---|
| S | Solution {OPTIMUM FOUND or OPT | UNSATISFIABLE or UNSAT | UNKNOWN | Not available or N/A} |
| O | Best solution found |
| T | CPU time (TO for Time Out) |
| (out)(err) | Standard output and standard error for each solver |
| Color | Meaning for Complete Solvers | Meaning for Incomplete Solvers |
|---|---|---|
| Text | Best solver column | Best solver column |
| Text | Optimal solution with the best CPU time | Best solution with the best CPU time |
| Text | Optimal solution and finished within the Time Out | Best solution without the best CPU time |
| Text | Optimal solution and did not finish within the Time Out | Solution found but not the best |
| Text | Time Out | Time Out |
| Text | Buggy solution | Buggy solution |
| Instance file name | Best solver | CCLS2014 | CCMPA | Dist | SAT4J-ms-inc | WPM-2014-in | antom_inc | optimax2-r-i | optimax2-rn-i |
|---|---|---|---|---|---|---|---|---|---|
| frb20-11-1.partial.wcnf | O = 200 T = 0.04 |
O = 200 T = 0.47 (out)(err) |
O = 200 T = 0.04 (out)(err) |
O = 200 T = 0.49 (out)(err) |
O = N/A T = TO (out)(err) |
O = 200 T = 0.73 (out)(err) |
O = 204 T = 0.09 (out)(err) |
O = 200 T = 0.86 (out)(err) |
O = 200 T = 2.42 (out)(err) |
| frb20-11-2.partial.wcnf | O = 200 T = 0.09 |
O = 200 T = 0.51 (out)(err) |
O = 200 T = 0.09 (out)(err) |
O = 200 T = 0.46 (out)(err) |
O = N/A T = TO (out)(err) |
O = 200 T = 1.24 (out)(err) |
O = 206 T = 0.09 (out)(err) |
O = 200 T = 0.85 (out)(err) |
O = 200 T = 2.14 (out)(err) |
| frb20-11-3.partial.wcnf | O = 200 T = 0.37 |
O = 200 T = 0.43 (out)(err) |
O = 200 T = 0.37 (out)(err) |
O = 200 T = 0.48 (out)(err) |
O = N/A T = TO (out)(err) |
O = 200 T = 1.25 (out)(err) |
O = 205 T = 0.08 (out)(err) |
O = 200 T = 0.86 (out)(err) |
O = 200 T = 2.81 (out)(err) |
| frb20-11-4.partial.wcnf | O = 200 T = 0.23 |
O = 200 T = 0.36 (out)(err) |
O = 200 T = 0.23 (out)(err) |
O = 200 T = 0.29 (out)(err) |
O = N/A T = TO (out)(err) |
O = 200 T = 1.06 (out)(err) |
O = 205 T = 0.09 (out)(err) |
O = 200 T = 0.92 (out)(err) |
O = 200 T = 2.54 (out)(err) |
| frb20-11-5.partial.wcnf | O = 200 T = 0.18 |
O = 200 T = 0.37 (out)(err) |
O = 200 T = 0.18 (out)(err) |
O = 200 T = 0.98 (out)(err) |
O = N/A T = TO (out)(err) |
O = 200 T = 1.01 (out)(err) |
O = 203 T = 0.10 (out)(err) |
O = 200 T = 0.90 (out)(err) |
O = 200 T = 1.43 (out)(err) |
| frb25-13-1.partial.wcnf | O = 300 T = 0.48 |
O = 300 T = 0.48 (out)(err) |
O = 300 T = 0.55 (out)(err) |
O = 300 T = 24.47 (out)(err) |
O = N/A T = TO (out)(err) |
O = 300 T = 4.65 (out)(err) |
O = 309 T = 0.15 (out)(err) |
O = 300 T = 5.84 (out)(err) |
O = 300 T = 43.69 (out)(err) |
| frb25-13-2.partial.wcnf | O = 300 T = 0.33 |
O = 300 T = 0.33 (out)(err) |
O = 300 T = 13.09 (out)(err) |
O = 300 T = 10.01 (out)(err) |
O = N/A T = TO (out)(err) |
O = 300 T = 5.48 (out)(err) |
O = 308 T = 0.16 (out)(err) |
O = 300 T = 4.02 (out)(err) |
O = 300 T = 28.66 (out)(err) |
| frb25-13-3.partial.wcnf | O = 300 T = 0.52 |
O = 300 T = 0.52 (out)(err) |
O = 300 T = 0.99 (out)(err) |
O = 300 T = 16.61 (out)(err) |
O = N/A T = TO (out)(err) |
O = 300 T = 3.96 (out)(err) |
O = 308 T = 0.14 (out)(err) |
O = 300 T = 3.95 (out)(err) |
O = 300 T = 22.75 (out)(err) |
| frb25-13-4.partial.wcnf | O = 300 T = 0.53 |
O = 300 T = 0.53 (out)(err) |
O = 300 T = 1.82 (out)(err) |
O = 300 T = 9.11 (out)(err) |
O = N/A T = TO (out)(err) |
O = 300 T = 2.53 (out)(err) |
O = 307 T = 0.18 (out)(err) |
O = 300 T = 3.71 (out)(err) |
O = 300 T = 19.83 (out)(err) |
| frb25-13-5.partial.wcnf | O = 300 T = 0.61 |
O = 300 T = 0.61 (out)(err) |
O = 300 T = 1.86 (out)(err) |
O = 300 T = 6.35 (out)(err) |
O = N/A T = TO (out)(err) |
O = 300 T = 3.37 (out)(err) |
O = 307 T = 0.17 (out)(err) |
O = 300 T = 4.37 (out)(err) |
O = 300 T = 24.89 (out)(err) |
| frb30-15-1.partial.wcnf | O = 420 T = 0.40 |
O = 420 T = 0.58 (out)(err) |
O = 420 T = 0.46 (out)(err) |
O = 420 T = 0.40 (out)(err) |
O = N/A T = TO (out)(err) |
O = 420 T = 20.91 (out)(err) |
O = 427 T = 0.37 (out)(err) |
O = 420 T = 17.61 (out)(err) |
O = 420 T = 66.33 (out)(err) |
| frb30-15-2.partial.wcnf | O = 420 T = 0.56 |
O = 420 T = 0.56 (out)(err) |
O = 420 T = 2.45 (out)(err) |
O = 421 T = 1.06 (out)(err) |
O = N/A T = TO (out)(err) |
O = 420 T = 66.11 (out)(err) |
O = 426 T = 0.38 (out)(err) |
O = 420 T = 19.93 (out)(err) |
O = 420 T = 110.29 (out)(err) |
| frb30-15-3.partial.wcnf | O = 420 T = 4.40 |
O = 420 T = 4.40 (out)(err) |
O = 420 T = 41.58 (out)(err) |
O = 420 T = 181.21 (out)(err) |
O = N/A T = TO (out)(err) |
O = 420 T = 36.70 (out)(err) |
O = 428 T = 0.34 (out)(err) |
O = 420 T = 16.20 (out)(err) |
O = 420 T = 74.84 (out)(err) |
| frb30-15-4.partial.wcnf | O = 420 T = 0.57 |
O = 420 T = 0.72 (out)(err) |
O = 420 T = 0.57 (out)(err) |
O = 420 T = 90.02 (out)(err) |
O = N/A T = TO (out)(err) |
O = 420 T = 27.72 (out)(err) |
O = 426 T = 0.41 (out)(err) |
O = 420 T = 14.03 (out)(err) |
O = 420 T = 122.02 (out)(err) |
| frb30-15-5.partial.wcnf | O = 420 T = 0.73 |
O = 420 T = 0.73 (out)(err) |
O = 420 T = 14.84 (out)(err) |
O = 421 T = 58.16 (out)(err) |
O = N/A T = TO (out)(err) |
O = 420 T = 35.22 (out)(err) |
O = 429 T = 0.38 (out)(err) |
O = 420 T = 13.53 (out)(err) |
O = 420 T = 84.98 (out)(err) |
| frb35-17-1.partial.wcnf | O = 560 T = 10.21 |
O = 560 T = 10.21 (out)(err) |
O = 560 T = 274.13 (out)(err) |
O = 560 T = 206.67 (out)(err) |
O = N/A T = TO (out)(err) |
O = 560 T = 97.99 (out)(err) |
O = 571 T = 0.76 (out)(err) |
O = 560 T = 64.48 (out)(err) |
O = 561 T = 215.09 (out)(err) |
| frb35-17-2.partial.wcnf | O = 560 T = 1.57 |
O = 560 T = 1.57 (out)(err) |
O = 560 T = 73.49 (out)(err) |
O = 560 T = 93.13 (out)(err) |
O = N/A T = TO (out)(err) |
O = 561 T = 284.39 (out)(err) |
O = 569 T = 0.70 (out)(err) |
O = 560 T = 51.74 (out)(err) |
O = 562 T = 79.08 (out)(err) |
| frb35-17-3.partial.wcnf | O = 560 T = 1.05 |
O = 560 T = 1.05 (out)(err) |
O = 560 T = 1.67 (out)(err) |
O = 560 T = 10.09 (out)(err) |
O = N/A T = TO (out)(err) |
O = 560 T = 88.48 (out)(err) |
O = 569 T = 0.73 (out)(err) |
O = 560 T = 39.28 (out)(err) |
O = 561 T = 195.18 (out)(err) |
| frb35-17-4.partial.wcnf | O = 560 T = 34.52 |
O = 560 T = 34.52 (out)(err) |
O = 560 T = 82.94 (out)(err) |
O = 560 T = 263.17 (out)(err) |
O = N/A T = TO (out)(err) |
O = 562 T = 284.64 (out)(err) |
O = 571 T = 0.70 (out)(err) |
O = 560 T = 76.83 (out)(err) |
O = 562 T = 282.02 (out)(err) |
| frb35-17-5.partial.wcnf | O = 560 T = 0.61 |
O = 560 T = 0.61 (out)(err) |
O = 560 T = 9.01 (out)(err) |
O = 560 T = 14.20 (out)(err) |
O = N/A T = TO (out)(err) |
O = 562 T = 284.72 (out)(err) |
O = 570 T = 0.73 (out)(err) |
O = 560 T = 66.60 (out)(err) |
O = 562 T = 163.60 (out)(err) |
| frb40-19-1.partial.wcnf | O = 720 T = 22.15 |
O = 720 T = 34.30 (out)(err) |
O = 720 T = 22.15 (out)(err) |
O = 722 T = 21.57 (out)(err) |
O = N/A T = TO (out)(err) |
O = 721 T = 284.55 (out)(err) |
O = 730 T = 1.22 (out)(err) |
O = 720 T = 233.19 (out)(err) |
O = 723 T = 174.66 (out)(err) |
| frb40-19-2.partial.wcnf | O = 720 T = 59.69 |
O = 720 T = 59.69 (out)(err) |
O = 721 T = 13.59 (out)(err) |
O = 722 T = 104.99 (out)(err) |
O = N/A T = TO (out)(err) |
O = 721 T = 284.71 (out)(err) |
O = 731 T = 1.31 (out)(err) |
O = 720 T = 239.95 (out)(err) |
O = 722 T = 248.20 (out)(err) |
| frb40-19-3.partial.wcnf | O = 720 T = 1.98 |
O = 720 T = 1.98 (out)(err) |
O = 720 T = 146.80 (out)(err) |
O = 723 T = 11.60 (out)(err) |
O = N/A T = TO (out)(err) |
O = 724 T = 284.72 (out)(err) |
O = 731 T = 1.36 (out)(err) |
O = N/A T = TO (out)(err) |
O = 723 T = 170.01 (out)(err) |
| frb40-19-4.partial.wcnf | O = 720 T = 143.85 |
O = 720 T = 143.85 (out)(err) |
O = 720 T = 179.57 (out)(err) |
O = 722 T = 10.96 (out)(err) |
O = N/A T = TO (out)(err) |
O = 724 T = 284.58 (out)(err) |
O = 732 T = 1.07 (out)(err) |
O = N/A T = TO (out)(err) |
O = 722 T = 211.92 (out)(err) |
| frb40-19-5.partial.wcnf | O = 720 T = 57.62 |
O = 720 T = 64.04 (out)(err) |
O = 720 T = 57.62 (out)(err) |
O = 722 T = 185.20 (out)(err) |
O = N/A T = TO (out)(err) |
O = 722 T = 284.68 (out)(err) |
O = 734 T = 1.05 (out)(err) |
O = N/A T = TO (out)(err) |
O = 722 T = 294.73 (out)(err) |
| ft10-808-1090.wcnf | O = 122 T = 57.61 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 283 T = 24.16 (out)(err) |
O = N/A T = TO (out)(err) |
O = 122 T = 57.61 (out)(err) |
O = 122 T = 108.02 (out)(err) |
O = N/A T = TO (out)(err) |
O = 130 T = 234.48 (out)(err) |
| la04-567-0696.wcnf | O = 23 T = 1.44 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 130 T = 2.59 (out)(err) |
O = 23 T = 27.55 (out)(err) |
O = 23 T = 1.44 (out)(err) |
O = 23 T = 3.41 (out)(err) |
O = 23 T = 13.59 (out)(err) |
O = 23 T = 9.22 (out)(err) |
| orb08-894-1058.wcnf | O = 5 T = 24.91 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 22.76 (out)(err) |
O = N/A T = TO (out)(err) |
O = 5 T = 24.91 (out)(err) |
O = 5 T = 34.97 (out)(err) |
O = 5 T = 34.45 (out)(err) |
O = 5 T = 160.99 (out)(err) |
| max_clq_150-0-447-1.clq.wcnf | O = 147 T = 0.02 |
O = 147 T = 0.23 (out)(err) |
O = 147 T = 0.02 (out)(err) |
O = 147 T = 0.03 (out)(err) |
O = 147 T = 1.28 (out)(err) |
O = 147 T = 0.16 (out)(err) |
O = 147 T = 0.02 (out)(err) |
O = 148 T = 0.10 (out)(err) |
O = 147 T = 0.07 (out)(err) |
| max_clq_150-0-447-2.clq.wcnf | O = 147 T = 0.02 |
O = 147 T = 0.25 (out)(err) |
O = 147 T = 0.02 (out)(err) |
O = 147 T = 0.03 (out)(err) |
O = 147 T = 1.23 (out)(err) |
O = 147 T = 0.16 (out)(err) |
O = 147 T = 0.02 (out)(err) |
O = 148 T = 0.08 (out)(err) |
O = 147 T = 0.07 (out)(err) |
| max_clq_150-0-447-3.clq.wcnf | O = 147 T = 0.03 |
O = 147 T = 0.33 (out)(err) |
O = 147 T = 0.04 (out)(err) |
O = 147 T = 0.13 (out)(err) |
O = 147 T = 1.12 (out)(err) |
O = 147 T = 0.16 (out)(err) |
O = 147 T = 0.03 (out)(err) |
O = 148 T = 0.17 (out)(err) |
O = 147 T = 0.08 (out)(err) |
| max_clq_150-0-447-4.clq.wcnf | O = 147 T = 0.02 |
O = 147 T = 0.31 (out)(err) |
O = 147 T = 0.02 (out)(err) |
O = 147 T = 0.07 (out)(err) |
O = 147 T = 1.12 (out)(err) |
O = 147 T = 0.19 (out)(err) |
O = 147 T = 0.03 (out)(err) |
O = 148 T = 0.17 (out)(err) |
O = 147 T = 0.08 (out)(err) |
| max_clq_150-1-894-1.clq.wcnf | O = 146 T = 0.02 |
O = 146 T = 0.44 (out)(err) |
O = 146 T = 0.02 (out)(err) |
O = 146 T = 0.11 (out)(err) |
O = 146 T = 1.14 (out)(err) |
O = 146 T = 0.28 (out)(err) |
O = 147 T = 0.02 (out)(err) |
O = 148 T = 0.08 (out)(err) |
O = 146 T = 0.14 (out)(err) |
| max_clq_150-1-894-2.clq.wcnf | O = 146 T = 0.02 |
O = 146 T = 0.36 (out)(err) |
O = 146 T = 0.02 (out)(err) |
O = 146 T = 0.04 (out)(err) |
O = 146 T = 1.21 (out)(err) |
O = 146 T = 0.16 (out)(err) |
O = 147 T = 0.03 (out)(err) |
O = 147 T = 0.17 (out)(err) |
O = 146 T = 0.09 (out)(err) |
| max_clq_150-1-894-3.clq.wcnf | O = 146 T = 0.02 |
O = 146 T = 0.34 (out)(err) |
O = 146 T = 0.05 (out)(err) |
O = 146 T = 0.02 (out)(err) |
O = 146 T = 1.25 (out)(err) |
O = 146 T = 0.21 (out)(err) |
O = 146 T = 0.03 (out)(err) |
O = 147 T = 0.08 (out)(err) |
O = 146 T = 0.08 (out)(err) |
| max_clq_150-1-894-4.clq.wcnf | O = 146 T = 0.06 |
O = 146 T = 0.23 (out)(err) |
O = 146 T = 0.06 (out)(err) |
O = 146 T = 0.06 (out)(err) |
O = 146 T = 1.23 (out)(err) |
O = 146 T = 0.21 (out)(err) |
O = 147 T = 0.05 (out)(err) |
O = 147 T = 0.12 (out)(err) |
O = 146 T = 0.13 (out)(err) |
| max_clq_150-10-4917-1.clq.wcnf | O = 141 T = 0.07 |
O = 141 T = 0.31 (out)(err) |
O = 141 T = 0.07 (out)(err) |
O = 141 T = 0.09 (out)(err) |
O = 141 T = 6.10 (out)(err) |
O = 141 T = 0.97 (out)(err) |
O = 142 T = 0.06 (out)(err) |
O = 144 T = 0.13 (out)(err) |
O = 141 T = 0.78 (out)(err) |
| max_clq_150-10-4917-2.clq.wcnf | O = 141 T = 0.12 |
O = 141 T = 0.47 (out)(err) |
O = 141 T = 0.16 (out)(err) |
O = 141 T = 0.12 (out)(err) |
O = 141 T = 2.94 (out)(err) |
O = 141 T = 0.29 (out)(err) |
O = 142 T = 0.06 (out)(err) |
O = 145 T = 0.12 (out)(err) |
O = 141 T = 0.96 (out)(err) |
| max_clq_150-10-4917-3.clq.wcnf | O = 141 T = 0.06 |
O = 141 T = 0.42 (out)(err) |
O = 141 T = 0.06 (out)(err) |
O = 141 T = 0.15 (out)(err) |
O = 141 T = 1.69 (out)(err) |
O = 141 T = 0.30 (out)(err) |
O = 143 T = 0.06 (out)(err) |
O = 144 T = 0.10 (out)(err) |
O = 141 T = 0.76 (out)(err) |
| max_clq_150-10-4917-4.clq.wcnf | O = 141 T = 0.05 |
O = 141 T = 0.38 (out)(err) |
O = 141 T = 0.05 (out)(err) |
O = 141 T = 0.12 (out)(err) |
O = 141 T = 2.96 (out)(err) |
O = 141 T = 0.93 (out)(err) |
O = 144 T = 0.05 (out)(err) |
O = 143 T = 0.08 (out)(err) |
O = 141 T = 0.72 (out)(err) |
| max_clq_150-11-5364-1.clq.wcnf | O = 140 T = 0.02 |
O = 140 T = 0.38 (out)(err) |
O = 140 T = 0.02 (out)(err) |
O = 140 T = 0.22 (out)(err) |
O = 140 T = 3.26 (out)(err) |
O = 140 T = 1.37 (out)(err) |
O = 143 T = 0.05 (out)(err) |
O = 143 T = 0.07 (out)(err) |
O = 140 T = 0.57 (out)(err) |
| max_clq_150-11-5364-2.clq.wcnf | O = 141 T = 0.02 |
O = 141 T = 0.34 (out)(err) |
O = 141 T = 0.02 (out)(err) |
O = 141 T = 0.18 (out)(err) |
O = 141 T = 2.04 (out)(err) |
O = 141 T = 0.24 (out)(err) |
O = 143 T = 0.05 (out)(err) |
O = 144 T = 0.13 (out)(err) |
O = 141 T = 0.57 (out)(err) |
| max_clq_150-11-5364-3.clq.wcnf | O = 140 T = 0.05 |
O = 140 T = 0.35 (out)(err) |
O = 140 T = 0.05 (out)(err) |
O = 140 T = 0.19 (out)(err) |
O = 140 T = 2.18 (out)(err) |
O = 140 T = 0.73 (out)(err) |
O = 143 T = 0.05 (out)(err) |
O = 144 T = 0.09 (out)(err) |
O = 140 T = 1.65 (out)(err) |
| max_clq_150-11-5364-4.clq.wcnf | O = 140 T = 0.11 |
O = 140 T = 0.36 (out)(err) |
O = 140 T = 0.11 (out)(err) |
O = 140 T = 0.15 (out)(err) |
O = 140 T = 2.65 (out)(err) |
O = 140 T = 0.61 (out)(err) |
O = 142 T = 0.06 (out)(err) |
O = 144 T = 0.07 (out)(err) |
O = 140 T = 0.51 (out)(err) |
| max_clq_150-12-5811-1.clq.wcnf | O = 140 T = 0.02 |
O = 140 T = 0.36 (out)(err) |
O = 140 T = 0.02 (out)(err) |
O = 140 T = 0.15 (out)(err) |
O = 140 T = 1.99 (out)(err) |
O = 140 T = 0.29 (out)(err) |
O = 142 T = 0.05 (out)(err) |
O = 142 T = 0.07 (out)(err) |
O = 140 T = 0.42 (out)(err) |
| max_clq_150-12-5811-2.clq.wcnf | O = 140 T = 0.02 |
O = 140 T = 0.39 (out)(err) |
O = 140 T = 0.02 (out)(err) |
O = 140 T = 0.07 (out)(err) |
O = 140 T = 2.24 (out)(err) |
O = 140 T = 0.27 (out)(err) |
O = 143 T = 0.05 (out)(err) |
O = 143 T = 0.07 (out)(err) |
O = 140 T = 0.79 (out)(err) |
| max_clq_150-12-5811-3.clq.wcnf | O = 139 T = 0.10 |
O = 139 T = 0.35 (out)(err) |
O = 139 T = 0.10 (out)(err) |
O = 139 T = 0.11 (out)(err) |
O = 139 T = 1.86 (out)(err) |
O = 139 T = 0.40 (out)(err) |
O = 143 T = 0.05 (out)(err) |
O = 142 T = 0.07 (out)(err) |
O = 139 T = 9.90 (out)(err) |
| max_clq_150-12-5811-4.clq.wcnf | O = 140 T = 0.06 |
O = 140 T = 0.45 (out)(err) |
O = 140 T = 0.06 (out)(err) |
O = 140 T = 0.12 (out)(err) |
O = 140 T = 1.94 (out)(err) |
O = 140 T = 0.55 (out)(err) |
O = 142 T = 0.05 (out)(err) |
O = 143 T = 0.08 (out)(err) |
O = 140 T = 0.93 (out)(err) |
| max_clq_150-13-6258-1.clq.wcnf | O = 138 T = 0.02 |
O = 138 T = 0.45 (out)(err) |
O = 138 T = 0.02 (out)(err) |
O = 138 T = 0.17 (out)(err) |
O = 138 T = 55.67 (out)(err) |
O = 138 T = 9.97 (out)(err) |
O = 143 T = 0.05 (out)(err) |
O = 140 T = 0.18 (out)(err) |
O = 138 T = 3.29 (out)(err) |
| max_clq_150-13-6258-2.clq.wcnf | O = 139 T = 0.02 |
O = 139 T = 0.32 (out)(err) |
O = 139 T = 0.02 (out)(err) |
O = 139 T = 0.18 (out)(err) |
O = 139 T = 1.66 (out)(err) |
O = 139 T = 0.54 (out)(err) |
O = 141 T = 0.06 (out)(err) |
O = 142 T = 0.11 (out)(err) |
O = 139 T = 0.45 (out)(err) |
| max_clq_150-13-6258-3.clq.wcnf | O = 138 T = 0.18 |
O = 138 T = 0.35 (out)(err) |
O = 138 T = 0.39 (out)(err) |
O = 138 T = 0.18 (out)(err) |
O = 138 T = 2.77 (out)(err) |
O = 138 T = 8.66 (out)(err) |
O = 141 T = 0.06 (out)(err) |
O = 142 T = 0.06 (out)(err) |
O = 138 T = 23.84 (out)(err) |
| max_clq_150-13-6258-4.clq.wcnf | O = 138 T = 0.08 |
O = 138 T = 0.34 (out)(err) |
O = 138 T = 0.08 (out)(err) |
O = 138 T = 0.20 (out)(err) |
O = 138 T = 3.79 (out)(err) |
O = 138 T = 0.76 (out)(err) |
O = 142 T = 0.05 (out)(err) |
O = 142 T = 0.15 (out)(err) |
O = 138 T = 2.73 (out)(err) |
| max_clq_150-14-6705-1.clq.wcnf | O = 138 T = 0.06 |
O = 138 T = 0.41 (out)(err) |
O = 138 T = 0.06 (out)(err) |
O = 138 T = 0.15 (out)(err) |
O = 138 T = 2.32 (out)(err) |
O = 138 T = 1.16 (out)(err) |
O = 140 T = 0.06 (out)(err) |
O = 142 T = 0.08 (out)(err) |
O = 138 T = 1.46 (out)(err) |
| max_clq_150-14-6705-2.clq.wcnf | O = 137 T = 0.05 |
O = 137 T = 0.45 (out)(err) |
O = 137 T = 0.05 (out)(err) |
O = 137 T = 0.11 (out)(err) |
O = 137 T = 25.10 (out)(err) |
O = 137 T = 2.66 (out)(err) |
O = 139 T = 0.05 (out)(err) |
O = 143 T = 0.08 (out)(err) |
O = 137 T = 18.38 (out)(err) |
| max_clq_150-14-6705-3.clq.wcnf | O = 137 T = 0.18 |
O = 137 T = 0.50 (out)(err) |
O = 137 T = 0.30 (out)(err) |
O = 137 T = 0.18 (out)(err) |
O = 137 T = 55.98 (out)(err) |
O = 137 T = 4.40 (out)(err) |
O = 139 T = 0.05 (out)(err) |
O = 142 T = 0.08 (out)(err) |
O = 137 T = 14.68 (out)(err) |
| max_clq_150-14-6705-4.clq.wcnf | O = 137 T = 0.02 |
O = 137 T = 0.36 (out)(err) |
O = 137 T = 0.02 (out)(err) |
O = 137 T = 0.22 (out)(err) |
O = 137 T = 4.95 (out)(err) |
O = 137 T = 0.69 (out)(err) |
O = 140 T = 0.05 (out)(err) |
O = 142 T = 0.10 (out)(err) |
O = 137 T = 7.23 (out)(err) |
| max_clq_150-15-7152-1.clq.wcnf | O = 135 T = 0.04 |
O = 135 T = 0.47 (out)(err) |
O = 135 T = 0.04 (out)(err) |
O = 135 T = 0.28 (out)(err) |
O = N/A T = TO (out)(err) |
O = 135 T = 8.39 (out)(err) |
O = 140 T = 0.05 (out)(err) |
O = 139 T = 0.07 (out)(err) |
O = 135 T = 3.51 (out)(err) |
| max_clq_150-15-7152-2.clq.wcnf | O = 136 T = 0.07 |
O = 136 T = 0.49 (out)(err) |
O = 136 T = 0.07 (out)(err) |
O = 136 T = 0.11 (out)(err) |
O = N/A T = TO (out)(err) |
O = 136 T = 3.68 (out)(err) |
O = 140 T = 0.05 (out)(err) |
O = 140 T = 0.08 (out)(err) |
O = 136 T = 29.53 (out)(err) |
| max_clq_150-15-7152-3.clq.wcnf | O = 135 T = 0.06 |
O = 135 T = 0.47 (out)(err) |
O = 135 T = 0.06 (out)(err) |
O = 135 T = 0.23 (out)(err) |
O = N/A T = TO (out)(err) |
O = 135 T = 14.43 (out)(err) |
O = 139 T = 0.04 (out)(err) |
O = 140 T = 0.13 (out)(err) |
O = 135 T = 36.48 (out)(err) |
| max_clq_150-15-7152-4.clq.wcnf | O = 136 T = 0.05 |
O = 136 T = 0.43 (out)(err) |
O = 136 T = 0.05 (out)(err) |
O = 136 T = 0.24 (out)(err) |
O = N/A T = TO (out)(err) |
O = 136 T = 0.46 (out)(err) |
O = 140 T = 0.05 (out)(err) |
O = 140 T = 0.14 (out)(err) |
O = 136 T = 1.69 (out)(err) |
| max_clq_150-16-7599-1.clq.wcnf | O = 134 T = 0.05 |
O = 134 T = 0.46 (out)(err) |
O = 134 T = 0.05 (out)(err) |
O = 134 T = 0.21 (out)(err) |
O = N/A T = TO (out)(err) |
O = 134 T = 3.71 (out)(err) |
O = 136 T = 0.05 (out)(err) |
O = 139 T = 0.18 (out)(err) |
O = 134 T = 41.60 (out)(err) |
| max_clq_150-16-7599-2.clq.wcnf | O = 135 T = 0.05 |
O = 135 T = 0.41 (out)(err) |
O = 135 T = 0.05 (out)(err) |
O = 135 T = 0.11 (out)(err) |
O = N/A T = TO (out)(err) |
O = 135 T = 4.10 (out)(err) |
O = 138 T = 0.05 (out)(err) |
O = 141 T = 0.17 (out)(err) |
O = 135 T = 5.25 (out)(err) |
| max_clq_150-16-7599-3.clq.wcnf | O = 134 T = 0.13 |
O = 134 T = 0.53 (out)(err) |
O = 134 T = 0.13 (out)(err) |
O = 134 T = 0.19 (out)(err) |
O = N/A T = TO (out)(err) |
O = 134 T = 22.30 (out)(err) |
O = 137 T = 0.05 (out)(err) |
O = 140 T = 0.15 (out)(err) |
O = 134 T = 10.56 (out)(err) |
| max_clq_150-16-7599-4.clq.wcnf | O = 135 T = 0.02 |
O = 135 T = 0.29 (out)(err) |
O = 135 T = 0.02 (out)(err) |
O = 135 T = 0.29 (out)(err) |
O = N/A T = TO (out)(err) |
O = 135 T = 284.71 (out)(err) |
O = 139 T = 0.04 (out)(err) |
O = 139 T = 0.08 (out)(err) |
O = 135 T = 3.15 (out)(err) |
| max_clq_150-17-8046-1.clq.wcnf | O = 132 T = 0.02 |
O = 132 T = 0.53 (out)(err) |
O = 132 T = 0.02 (out)(err) |
O = 132 T = 0.25 (out)(err) |
O = N/A T = TO (out)(err) |
O = 132 T = 284.72 (out)(err) |
O = 135 T = 0.04 (out)(err) |
O = 137 T = 0.11 (out)(err) |
O = 132 T = 44.14 (out)(err) |
| max_clq_150-17-8046-2.clq.wcnf | O = 133 T = 0.08 |
O = 133 T = 0.49 (out)(err) |
O = 133 T = 0.08 (out)(err) |
O = 133 T = 0.16 (out)(err) |
O = N/A T = TO (out)(err) |
O = 133 T = 284.69 (out)(err) |
O = 138 T = 0.04 (out)(err) |
O = 138 T = 0.08 (out)(err) |
O = 133 T = 8.55 (out)(err) |
| max_clq_150-17-8046-3.clq.wcnf | O = 132 T = 0.05 |
O = 132 T = 0.43 (out)(err) |
O = 132 T = 0.05 (out)(err) |
O = 132 T = 0.35 (out)(err) |
O = N/A T = TO (out)(err) |
O = 132 T = 254.69 (out)(err) |
O = 136 T = 0.04 (out)(err) |
O = 138 T = 0.07 (out)(err) |
O = 132 T = 25.53 (out)(err) |
| max_clq_150-17-8046-4.clq.wcnf | O = 132 T = 0.03 |
O = 132 T = 0.47 (out)(err) |
O = 132 T = 0.03 (out)(err) |
O = 132 T = 0.33 (out)(err) |
O = N/A T = TO (out)(err) |
O = 132 T = 284.68 (out)(err) |
O = 136 T = 0.05 (out)(err) |
O = 136 T = 0.11 (out)(err) |
O = 132 T = 12.68 (out)(err) |
| max_clq_150-18-8493-1.clq.wcnf | O = 130 T = 0.06 |
O = 130 T = 0.48 (out)(err) |
O = 130 T = 0.06 (out)(err) |
O = 130 T = 0.35 (out)(err) |
O = N/A T = TO (out)(err) |
O = 130 T = 284.69 (out)(err) |
O = 136 T = 0.04 (out)(err) |
O = 136 T = 0.10 (out)(err) |
O = 131 T = 9.77 (out)(err) |
| max_clq_150-18-8493-2.clq.wcnf | O = 130 T = 0.40 |
O = 130 T = 0.53 (out)(err) |
O = 130 T = 0.85 (out)(err) |
O = 130 T = 0.40 (out)(err) |
O = N/A T = TO (out)(err) |
O = 131 T = 284.63 (out)(err) |
O = 136 T = 0.03 (out)(err) |
O = 137 T = 0.18 (out)(err) |
O = 130 T = 122.64 (out)(err) |
| max_clq_150-18-8493-3.clq.wcnf | O = 129 T = 0.02 |
O = 129 T = 0.56 (out)(err) |
O = 129 T = 0.02 (out)(err) |
O = 129 T = 0.41 (out)(err) |
O = N/A T = TO (out)(err) |
O = 129 T = 284.49 (out)(err) |
O = 138 T = 0.05 (out)(err) |
O = 137 T = 0.08 (out)(err) |
O = 129 T = 62.79 (out)(err) |
| max_clq_150-18-8493-4.clq.wcnf | O = 129 T = 0.03 |
O = 129 T = 0.55 (out)(err) |
O = 129 T = 0.03 (out)(err) |
O = 129 T = 0.36 (out)(err) |
O = N/A T = TO (out)(err) |
O = 129 T = 284.68 (out)(err) |
O = 136 T = 0.04 (out)(err) |
O = 137 T = 0.11 (out)(err) |
O = 129 T = 283.95 (out)(err) |
| max_clq_150-19-8940-1.clq.wcnf | O = 127 T = 0.16 |
O = 127 T = 0.43 (out)(err) |
O = 127 T = 0.16 (out)(err) |
O = 127 T = 0.34 (out)(err) |
O = N/A T = TO (out)(err) |
O = 127 T = 284.73 (out)(err) |
O = 131 T = 0.02 (out)(err) |
O = 135 T = 0.08 (out)(err) |
O = 127 T = 98.23 (out)(err) |
| max_clq_150-19-8940-2.clq.wcnf | O = 126 T = 0.08 |
O = 126 T = 0.55 (out)(err) |
O = 126 T = 0.08 (out)(err) |
O = 126 T = 0.40 (out)(err) |
O = N/A T = TO (out)(err) |
O = 126 T = 284.65 (out)(err) |
O = 133 T = 0.05 (out)(err) |
O = 133 T = 0.14 (out)(err) |
O = 126 T = 107.71 (out)(err) |
| max_clq_150-19-8940-3.clq.wcnf | O = 127 T = 0.02 |
O = 127 T = 0.48 (out)(err) |
O = 127 T = 0.02 (out)(err) |
O = 127 T = 0.54 (out)(err) |
O = N/A T = TO (out)(err) |
O = 127 T = 284.58 (out)(err) |
O = 134 T = 0.04 (out)(err) |
O = 134 T = 0.08 (out)(err) |
O = 127 T = 94.63 (out)(err) |
| max_clq_150-19-8940-4.clq.wcnf | O = 127 T = 0.06 |
O = 127 T = 0.57 (out)(err) |
O = 127 T = 0.06 (out)(err) |
O = 127 T = 0.53 (out)(err) |
O = N/A T = TO (out)(err) |
O = 128 T = 284.72 (out)(err) |
O = 134 T = 0.03 (out)(err) |
O = 135 T = 0.12 (out)(err) |
O = 127 T = 153.61 (out)(err) |
| max_clq_150-2-1341-1.clq.wcnf | O = 146 T = 0.05 |
O = 146 T = 0.33 (out)(err) |
O = 146 T = 0.05 (out)(err) |
O = 146 T = 0.11 (out)(err) |
O = 146 T = 0.91 (out)(err) |
O = 146 T = 0.19 (out)(err) |
O = 147 T = 0.04 (out)(err) |
O = 147 T = 0.18 (out)(err) |
O = 146 T = 0.12 (out)(err) |
| max_clq_150-2-1341-2.clq.wcnf | O = 146 T = 0.03 |
O = 146 T = 0.22 (out)(err) |
O = 146 T = 0.06 (out)(err) |
O = 146 T = 0.15 (out)(err) |
O = 146 T = 0.87 (out)(err) |
O = 146 T = 0.06 (out)(err) |
O = 146 T = 0.03 (out)(err) |
O = 147 T = 0.15 (out)(err) |
O = 146 T = 0.12 (out)(err) |
| max_clq_150-2-1341-3.clq.wcnf | O = 146 T = 0.03 |
O = 146 T = 0.27 (out)(err) |
O = 146 T = 0.06 (out)(err) |
O = 146 T = 0.08 (out)(err) |
O = 146 T = 0.93 (out)(err) |
O = 146 T = 0.20 (out)(err) |
O = 146 T = 0.03 (out)(err) |
O = 147 T = 0.18 (out)(err) |
O = 146 T = 0.12 (out)(err) |
| max_clq_150-2-1341-4.clq.wcnf | O = 145 T = 0.11 |
O = 145 T = 0.28 (out)(err) |
O = 145 T = 0.13 (out)(err) |
O = 145 T = 0.11 (out)(err) |
O = 145 T = 0.94 (out)(err) |
O = 145 T = 0.35 (out)(err) |
O = 147 T = 0.04 (out)(err) |
O = 147 T = 0.13 (out)(err) |
O = 145 T = 0.21 (out)(err) |
| max_clq_150-20-9387-1.clq.wcnf | O = 123 T = 0.06 |
O = 123 T = 0.67 (out)(err) |
O = 123 T = 0.06 (out)(err) |
O = 123 T = 0.23 (out)(err) |
O = N/A T = TO (out)(err) |
O = 123 T = 284.80 (out)(err) |
O = 132 T = 0.03 (out)(err) |
O = 133 T = 0.10 (out)(err) |
O = 124 T = 59.42 (out)(err) |
| max_clq_150-20-9387-2.clq.wcnf | O = 124 T = 0.03 |
O = 124 T = 0.59 (out)(err) |
O = 124 T = 0.03 (out)(err) |
O = 124 T = 0.54 (out)(err) |
O = N/A T = TO (out)(err) |
O = 124 T = 284.46 (out)(err) |
O = 132 T = 0.04 (out)(err) |
O = 131 T = 0.11 (out)(err) |
O = 125 T = 22.13 (out)(err) |
| max_clq_150-20-9387-3.clq.wcnf | O = 123 T = 0.02 |
O = 123 T = 0.63 (out)(err) |
O = 123 T = 0.02 (out)(err) |
O = 123 T = 0.63 (out)(err) |
O = N/A T = TO (out)(err) |
O = 124 T = 284.69 (out)(err) |
O = 131 T = 0.05 (out)(err) |
O = 131 T = 0.09 (out)(err) |
O = 124 T = 264.55 (out)(err) |
| max_clq_150-20-9387-4.clq.wcnf | O = 123 T = 0.03 |
O = 123 T = 0.73 (out)(err) |
O = 123 T = 0.03 (out)(err) |
O = 123 T = 0.59 (out)(err) |
O = N/A T = TO (out)(err) |
O = 123 T = 284.73 (out)(err) |
O = 133 T = 0.04 (out)(err) |
O = 130 T = 0.11 (out)(err) |
O = 124 T = 30.09 (out)(err) |
| max_clq_150-21-9834-1.clq.wcnf | O = 117 T = 0.04 |
O = 117 T = 0.62 (out)(err) |
O = 117 T = 0.04 (out)(err) |
O = 117 T = 0.69 (out)(err) |
O = N/A T = TO (out)(err) |
O = 117 T = 284.55 (out)(err) |
O = 126 T = 0.03 (out)(err) |
O = 125 T = 0.19 (out)(err) |
O = 118 T = 160.48 (out)(err) |
| max_clq_150-21-9834-2.clq.wcnf | O = 118 T = 0.05 |
O = 118 T = 0.70 (out)(err) |
O = 118 T = 0.05 (out)(err) |
O = 118 T = 0.29 (out)(err) |
O = N/A T = TO (out)(err) |
O = 119 T = 284.75 (out)(err) |
O = 125 T = 0.03 (out)(err) |
O = 129 T = 0.15 (out)(err) |
O = 118 T = 171.84 (out)(err) |
| max_clq_150-21-9834-3.clq.wcnf | O = 116 T = 0.09 |
O = 116 T = 0.55 (out)(err) |
O = 116 T = 0.09 (out)(err) |
O = 116 T = 0.48 (out)(err) |
O = N/A T = TO (out)(err) |
O = 117 T = 284.67 (out)(err) |
O = 125 T = 0.03 (out)(err) |
O = 131 T = 0.18 (out)(err) |
O = 118 T = 34.72 (out)(err) |
| max_clq_150-21-9834-4.clq.wcnf | O = 118 T = 0.04 |
O = 118 T = 0.52 (out)(err) |
O = 118 T = 0.04 (out)(err) |
O = 118 T = 0.36 (out)(err) |
O = N/A T = TO (out)(err) |
O = 118 T = 284.73 (out)(err) |
O = 126 T = 0.03 (out)(err) |
O = 125 T = 0.13 (out)(err) |
O = 120 T = 28.57 (out)(err) |
| max_clq_150-22-10281-1.clq.wcnf | O = 107 T = 0.05 |
O = 107 T = 0.75 (out)(err) |
O = 107 T = 0.05 (out)(err) |
O = 107 T = 0.61 (out)(err) |
O = N/A T = TO (out)(err) |
O = 109 T = 284.57 (out)(err) |
O = 121 T = 0.03 (out)(err) |
O = 117 T = 0.12 (out)(err) |
O = 110 T = 22.13 (out)(err) |
| max_clq_150-22-10281-2.clq.wcnf | O = 107 T = 0.04 |
O = 107 T = 0.64 (out)(err) |
O = 107 T = 0.04 (out)(err) |
O = 107 T = 0.59 (out)(err) |
O = N/A T = TO (out)(err) |
O = 108 T = 284.63 (out)(err) |
O = 117 T = 0.03 (out)(err) |
O = 117 T = 0.10 (out)(err) |
O = 110 T = 6.87 (out)(err) |
| max_clq_150-22-10281-3.clq.wcnf | O = 108 T = 0.07 |
O = 108 T = 0.87 (out)(err) |
O = 108 T = 0.07 (out)(err) |
O = 108 T = 0.51 (out)(err) |
O = N/A T = TO (out)(err) |
O = 109 T = 284.66 (out)(err) |
O = 118 T = 0.02 (out)(err) |
O = 117 T = 0.15 (out)(err) |
O = 110 T = 27.74 (out)(err) |
| max_clq_150-22-10281-4.clq.wcnf | O = 108 T = 0.02 |
O = 108 T = 0.61 (out)(err) |
O = 108 T = 0.02 (out)(err) |
O = 108 T = 0.56 (out)(err) |
O = N/A T = TO (out)(err) |
O = 113 T = 284.67 (out)(err) |
O = 120 T = 0.02 (out)(err) |
O = 115 T = 0.14 (out)(err) |
O = 110 T = 183.32 (out)(err) |
| max_clq_150-23-10728-1.clq.wcnf | O = 91 T = 0.03 |
O = 91 T = 0.82 (out)(err) |
O = 91 T = 0.03 (out)(err) |
O = 91 T = 0.73 (out)(err) |
O = N/A T = TO (out)(err) |
O = 100 T = 284.70 (out)(err) |
O = 104 T = 0.02 (out)(err) |
O = 102 T = 0.17 (out)(err) |
O = 92 T = 4.14 (out)(err) |
| max_clq_150-23-10728-2.clq.wcnf | O = 89 T = 0.04 |
O = 89 T = 1.13 (out)(err) |
O = 89 T = 0.04 (out)(err) |
O = 89 T = 1.15 (out)(err) |
O = N/A T = TO (out)(err) |
O = 95 T = 284.66 (out)(err) |
O = 97 T = 0.03 (out)(err) |
O = 105 T = 0.22 (out)(err) |
O = 92 T = 18.92 (out)(err) |
| max_clq_150-23-10728-3.clq.wcnf | O = 91 T = 0.04 |
O = 91 T = 1.04 (out)(err) |
O = 91 T = 0.04 (out)(err) |
O = 91 T = 0.47 (out)(err) |
O = N/A T = TO (out)(err) |
O = 98 T = 284.77 (out)(err) |
O = 100 T = 0.02 (out)(err) |
O = 100 T = 0.19 (out)(err) |
O = 93 T = 261.70 (out)(err) |
| max_clq_150-23-10728-4.clq.wcnf | O = 90 T = 0.04 |
O = 90 T = 1.10 (out)(err) |
O = 90 T = 0.04 (out)(err) |
O = 90 T = 0.59 (out)(err) |
O = N/A T = TO (out)(err) |
O = 91 T = 284.63 (out)(err) |
O = 97 T = 0.01 (out)(err) |
O = 104 T = 0.07 (out)(err) |
O = 92 T = 100.70 (out)(err) |
| max_clq_150-3-1788-1.clq.wcnf | O = 145 T = 0.09 |
O = 145 T = 0.34 (out)(err) |
O = 145 T = 0.09 (out)(err) |
O = 145 T = 0.11 (out)(err) |
O = 145 T = 0.93 (out)(err) |
O = 145 T = 0.34 (out)(err) |
O = 146 T = 0.05 (out)(err) |
O = 148 T = 0.22 (out)(err) |
O = 145 T = 0.31 (out)(err) |
| max_clq_150-3-1788-2.clq.wcnf | O = 145 T = 0.04 |
O = 145 T = 0.34 (out)(err) |
O = 145 T = 0.04 (out)(err) |
O = 145 T = 0.19 (out)(err) |
O = 145 T = 1.10 (out)(err) |
O = 145 T = 0.27 (out)(err) |
O = 146 T = 0.04 (out)(err) |
O = 147 T = 0.20 (out)(err) |
O = 145 T = 0.20 (out)(err) |
| max_clq_150-3-1788-3.clq.wcnf | O = 145 T = 0.04 |
O = 145 T = 0.35 (out)(err) |
O = 145 T = 0.04 (out)(err) |
O = 145 T = 0.15 (out)(err) |
O = 145 T = 1.00 (out)(err) |
O = 145 T = 0.19 (out)(err) |
O = 146 T = 0.07 (out)(err) |
O = 147 T = 0.22 (out)(err) |
O = 145 T = 0.23 (out)(err) |
| max_clq_150-3-1788-4.clq.wcnf | O = 145 T = 0.05 |
O = 145 T = 0.35 (out)(err) |
O = 145 T = 0.05 (out)(err) |
O = 145 T = 0.28 (out)(err) |
O = 145 T = 0.97 (out)(err) |
O = 145 T = 0.34 (out)(err) |
O = 146 T = 0.04 (out)(err) |
O = 147 T = 0.07 (out)(err) |
O = 145 T = 0.21 (out)(err) |
| max_clq_150-4-2235-1.clq.wcnf | O = 144 T = 0.11 |
O = 144 T = 0.34 (out)(err) |
O = 144 T = 0.11 (out)(err) |
O = 144 T = 0.27 (out)(err) |
O = 144 T = 1.13 (out)(err) |
O = 144 T = 0.19 (out)(err) |
O = 146 T = 0.06 (out)(err) |
O = 145 T = 0.12 (out)(err) |
O = 144 T = 0.32 (out)(err) |
| max_clq_150-4-2235-2.clq.wcnf | O = 145 T = 0.02 |
O = 145 T = 0.37 (out)(err) |
O = 145 T = 0.02 (out)(err) |
O = 145 T = 0.22 (out)(err) |
O = 145 T = 1.23 (out)(err) |
O = 145 T = 0.04 (out)(err) |
O = 145 T = 0.07 (out)(err) |
O = 145 T = 0.15 (out)(err) |
O = 145 T = 0.17 (out)(err) |
| max_clq_150-4-2235-3.clq.wcnf | O = 144 T = 0.05 |
O = 144 T = 0.38 (out)(err) |
O = 144 T = 0.05 (out)(err) |
O = 144 T = 0.27 (out)(err) |
O = 144 T = 1.04 (out)(err) |
O = 144 T = 0.28 (out)(err) |
O = 146 T = 0.08 (out)(err) |
O = 146 T = 0.08 (out)(err) |
O = 144 T = 0.39 (out)(err) |
| max_clq_150-4-2235-4.clq.wcnf | O = 145 T = 0.05 |
O = 145 T = 0.34 (out)(err) |
O = 145 T = 0.05 (out)(err) |
O = 145 T = 0.16 (out)(err) |
O = 145 T = 1.10 (out)(err) |
O = 145 T = 0.20 (out)(err) |
O = 146 T = 0.06 (out)(err) |
O = 146 T = 0.17 (out)(err) |
O = 145 T = 0.24 (out)(err) |
| max_clq_150-5-2682-1.clq.wcnf | O = 144 T = 0.05 |
O = 144 T = 0.38 (out)(err) |
O = 144 T = 0.05 (out)(err) |
O = 144 T = 0.14 (out)(err) |
O = 144 T = 1.30 (out)(err) |
O = 144 T = 0.30 (out)(err) |
O = 144 T = 0.05 (out)(err) |
O = 147 T = 0.17 (out)(err) |
O = 144 T = 0.48 (out)(err) |
| max_clq_150-5-2682-2.clq.wcnf | O = 144 T = 0.03 |
O = 144 T = 0.33 (out)(err) |
O = 144 T = 0.03 (out)(err) |
O = 144 T = 0.18 (out)(err) |
O = 144 T = 1.13 (out)(err) |
O = 144 T = 0.21 (out)(err) |
O = 145 T = 0.06 (out)(err) |
O = 146 T = 0.08 (out)(err) |
O = 144 T = 0.33 (out)(err) |
| max_clq_150-5-2682-3.clq.wcnf | O = 144 T = 0.10 |
O = 144 T = 0.34 (out)(err) |
O = 144 T = 0.14 (out)(err) |
O = 144 T = 0.10 (out)(err) |
O = 144 T = 1.29 (out)(err) |
O = 144 T = 0.22 (out)(err) |
O = 146 T = 0.06 (out)(err) |
O = 145 T = 0.07 (out)(err) |
O = 144 T = 0.47 (out)(err) |
| max_clq_150-5-2682-4.clq.wcnf | O = 144 T = 0.06 |
O = 144 T = 0.35 (out)(err) |
O = 144 T = 0.06 (out)(err) |
O = 144 T = 0.31 (out)(err) |
O = 144 T = 1.26 (out)(err) |
O = 144 T = 0.26 (out)(err) |
O = 145 T = 0.04 (out)(err) |
O = 146 T = 0.05 (out)(err) |
O = 144 T = 0.67 (out)(err) |
| max_clq_150-6-3129-1.clq.wcnf | O = 144 T = 0.02 |
O = 144 T = 0.30 (out)(err) |
O = 144 T = 0.02 (out)(err) |
O = 144 T = 0.17 (out)(err) |
O = 144 T = 1.67 (out)(err) |
O = 144 T = 0.03 (out)(err) |
O = 145 T = 0.06 (out)(err) |
O = 144 T = 0.15 (out)(err) |
O = 144 T = 0.10 (out)(err) |
| max_clq_150-6-3129-2.clq.wcnf | O = 143 T = 0.04 |
O = 143 T = 0.20 (out)(err) |
O = 143 T = 0.05 (out)(err) |
O = 143 T = 0.12 (out)(err) |
O = 143 T = 1.43 (out)(err) |
O = 143 T = 0.04 (out)(err) |
O = 145 T = 0.05 (out)(err) |
O = 143 T = 0.09 (out)(err) |
O = 143 T = 0.17 (out)(err) |
| max_clq_150-6-3129-3.clq.wcnf | O = 143 T = 0.04 |
O = 143 T = 0.23 (out)(err) |
O = 143 T = 0.04 (out)(err) |
O = 143 T = 0.08 (out)(err) |
O = 143 T = 1.49 (out)(err) |
O = 143 T = 0.54 (out)(err) |
O = 145 T = 0.06 (out)(err) |
O = 146 T = 0.17 (out)(err) |
O = 143 T = 0.81 (out)(err) |
| max_clq_150-6-3129-4.clq.wcnf | O = 144 T = 0.05 |
O = 144 T = 0.30 (out)(err) |
O = 144 T = 0.05 (out)(err) |
O = 144 T = 0.10 (out)(err) |
O = 144 T = 1.62 (out)(err) |
O = 144 T = 0.28 (out)(err) |
O = 145 T = 0.07 (out)(err) |
O = 146 T = 0.19 (out)(err) |
O = 144 T = 0.57 (out)(err) |
| max_clq_150-7-3576-1.clq.wcnf | O = 144 T = 0.04 |
O = 144 T = 0.32 (out)(err) |
O = 144 T = 0.04 (out)(err) |
O = 144 T = 0.09 (out)(err) |
O = 144 T = 2.67 (out)(err) |
O = 144 T = 0.21 (out)(err) |
O = 145 T = 0.06 (out)(err) |
O = 146 T = 0.23 (out)(err) |
O = 144 T = 0.53 (out)(err) |
| max_clq_150-7-3576-2.clq.wcnf | O = 143 T = 0.05 |
O = 143 T = 0.34 (out)(err) |
O = 143 T = 0.05 (out)(err) |
O = 143 T = 0.12 (out)(err) |
O = 143 T = 1.72 (out)(err) |
O = 143 T = 0.24 (out)(err) |
O = 144 T = 0.06 (out)(err) |
O = 145 T = 0.07 (out)(err) |
O = 143 T = 0.54 (out)(err) |
| max_clq_150-7-3576-3.clq.wcnf | O = 143 T = 0.16 |
O = 143 T = 0.16 (out)(err) |
O = 143 T = 0.65 (out)(err) |
O = 143 T = 0.18 (out)(err) |
O = 143 T = 2.47 (out)(err) |
O = 143 T = 0.82 (out)(err) |
O = 145 T = 0.07 (out)(err) |
O = 145 T = 0.11 (out)(err) |
O = 143 T = 0.62 (out)(err) |
| max_clq_150-7-3576-4.clq.wcnf | O = 143 T = 0.07 |
O = 143 T = 0.15 (out)(err) |
O = 143 T = 0.09 (out)(err) |
O = 143 T = 0.36 (out)(err) |
O = 143 T = 1.50 (out)(err) |
O = 143 T = 0.42 (out)(err) |
O = 143 T = 0.07 (out)(err) |
O = 146 T = 0.20 (out)(err) |
O = 143 T = 0.87 (out)(err) |
| max_clq_150-8-4023-1.clq.wcnf | O = 143 T = 0.05 |
O = 143 T = 0.29 (out)(err) |
O = 143 T = 0.05 (out)(err) |
O = 143 T = 0.15 (out)(err) |
O = 143 T = 3.03 (out)(err) |
O = 143 T = 0.23 (out)(err) |
O = 145 T = 0.04 (out)(err) |
O = 145 T = 0.20 (out)(err) |
O = 143 T = 0.71 (out)(err) |
| max_clq_150-8-4023-2.clq.wcnf | O = 142 T = 0.03 |
O = 142 T = 0.44 (out)(err) |
O = 142 T = 0.03 (out)(err) |
O = 142 T = 0.12 (out)(err) |
O = 142 T = 3.21 (out)(err) |
O = 142 T = 0.74 (out)(err) |
O = 145 T = 0.06 (out)(err) |
O = 146 T = 0.24 (out)(err) |
O = 142 T = 1.31 (out)(err) |
| max_clq_150-8-4023-3.clq.wcnf | O = 143 T = 0.02 |
O = 143 T = 0.34 (out)(err) |
O = 143 T = 0.02 (out)(err) |
O = 143 T = 0.26 (out)(err) |
O = 143 T = 1.81 (out)(err) |
O = 143 T = 0.21 (out)(err) |
O = 145 T = 0.06 (out)(err) |
O = 146 T = 0.07 (out)(err) |
O = 143 T = 0.54 (out)(err) |
| max_clq_150-8-4023-4.clq.wcnf | O = 142 T = 0.10 |
O = 142 T = 0.33 (out)(err) |
O = 142 T = 0.10 (out)(err) |
O = 142 T = 0.17 (out)(err) |
O = 142 T = 1.80 (out)(err) |
O = 142 T = 0.41 (out)(err) |
O = 145 T = 0.06 (out)(err) |
O = 145 T = 0.08 (out)(err) |
O = 142 T = 0.59 (out)(err) |
| max_clq_150-9-4470-1.clq.wcnf | O = 142 T = 0.05 |
O = 142 T = 0.32 (out)(err) |
O = 142 T = 0.05 (out)(err) |
O = 142 T = 0.13 (out)(err) |
O = 142 T = 1.71 (out)(err) |
O = 142 T = 0.28 (out)(err) |
O = 143 T = 0.06 (out)(err) |
O = 144 T = 0.20 (out)(err) |
O = 142 T = 0.57 (out)(err) |
| max_clq_150-9-4470-2.clq.wcnf | O = 142 T = 0.03 |
O = 142 T = 0.33 (out)(err) |
O = 142 T = 0.03 (out)(err) |
O = 142 T = 0.29 (out)(err) |
O = 142 T = 2.29 (out)(err) |
O = 142 T = 0.24 (out)(err) |
O = 143 T = 0.05 (out)(err) |
O = 145 T = 0.19 (out)(err) |
O = 142 T = 0.58 (out)(err) |
| max_clq_150-9-4470-3.clq.wcnf | O = 142 T = 0.04 |
O = 142 T = 0.58 (out)(err) |
O = 142 T = 0.04 (out)(err) |
O = 142 T = 0.28 (out)(err) |
O = 142 T = 2.16 (out)(err) |
O = 142 T = 0.18 (out)(err) |
O = 143 T = 0.06 (out)(err) |
O = 145 T = 0.18 (out)(err) |
O = 142 T = 0.55 (out)(err) |
| max_clq_150-9-4470-4.clq.wcnf | O = 142 T = 0.05 |
O = 142 T = 0.35 (out)(err) |
O = 142 T = 0.05 (out)(err) |
O = 142 T = 0.14 (out)(err) |
O = 142 T = 2.03 (out)(err) |
O = 142 T = 0.27 (out)(err) |
O = 144 T = 0.06 (out)(err) |
O = 145 T = 0.13 (out)(err) |
O = 142 T = 0.58 (out)(err) |
| MANN_a27.clq.wcnf | O = 252 T = 0.73 |
O = 254 T = 17.20 (out)(err) |
O = 252 T = 191.74 (out)(err) |
O = 254 T = 242.42 (out)(err) |
O = N/A T = TO (out)(err) |
O = 252 T = 0.73 (out)(err) |
O = 317 T = 0.10 (out)(err) |
O = 253 T = 0.09 (out)(err) |
O = 252 T = 3.14 (out)(err) |
| MANN_a45.clq.wcnf | O = 690 T = 284.72 |
O = 702 T = 1.27 (out)(err) |
O = 699 T = 8.50 (out)(err) |
O = 701 T = 16.91 (out)(err) |
O = N/A T = TO (out)(err) |
O = 690 T = 284.72 (out)(err) |
O = 990 T = 0.01 (out)(err) |
O = N/A T = TO (out)(err) |
O = 693 T = 149.31 (out)(err) |
| MANN_a81.clq.wcnf | O = 2225 T = 0.00 |
O = 2240 T = 24.63 (out)(err) |
O = 2240 T = 0.44 (out)(err) |
O = 2239 T = 18.41 (out)(err) |
O = N/A T = TO (out)(err) |
O = 2225 T = 284.70 (out)(err) |
O = 3240 T = 0.09 (out)(err) |
O = 2225 T = 0.01 (out)(err) |
O = 2225 T = 0.00 (out)(err) |
| MANN_a9.clq.wcnf | O = 29 T = 0.00 |
O = 29 T = 0.35 (out)(err) |
O = 29 T = 0.03 (out)(err) |
O = 29 T = 0.25 (out)(err) |
O = 29 T = 1.65 (out)(err) |
O = 29 T = 0.01 (out)(err) |
O = 29 T = 0.01 (out)(err) |
O = 29 T = 0.00 (out)(err) |
O = 29 T = 0.01 (out)(err) |
| brock200_1.clq.wcnf | O = 179 T = 0.08 |
O = 179 T = 0.48 (out)(err) |
O = 179 T = 0.08 (out)(err) |
O = 179 T = 0.23 (out)(err) |
O = N/A T = TO (out)(err) |
O = 180 T = 284.47 (out)(err) |
O = 184 T = 0.13 (out)(err) |
O = 188 T = 0.19 (out)(err) |
O = 180 T = 33.63 (out)(err) |
| brock200_2.clq.wcnf | O = 188 T = 0.18 |
O = 188 T = 0.37 (out)(err) |
O = 188 T = 237.56 (out)(err) |
O = 188 T = 0.18 (out)(err) |
O = 188 T = 13.80 (out)(err) |
O = 188 T = 1.60 (out)(err) |
O = 192 T = 0.11 (out)(err) |
O = 194 T = 0.07 (out)(err) |
O = 188 T = 12.76 (out)(err) |
| brock200_3.clq.wcnf | O = 185 T = 0.75 |
O = 185 T = 27.73 (out)(err) |
O = 186 T = 0.24 (out)(err) |
O = 185 T = 0.75 (out)(err) |
O = N/A T = TO (out)(err) |
O = 185 T = 284.64 (out)(err) |
O = 190 T = 0.12 (out)(err) |
O = 191 T = 0.09 (out)(err) |
O = 185 T = 161.22 (out)(err) |
| brock200_4.clq.wcnf | O = 183 T = 0.48 |
O = 183 T = 5.31 (out)(err) |
O = 184 T = 0.10 (out)(err) |
O = 183 T = 0.48 (out)(err) |
O = N/A T = TO (out)(err) |
O = 184 T = 284.54 (out)(err) |
O = 188 T = 0.11 (out)(err) |
O = 189 T = 0.08 (out)(err) |
O = 184 T = 211.02 (out)(err) |
| brock400_1.clq.wcnf | O = 373 T = 15.12 |
O = 375 T = 0.41 (out)(err) |
O = 375 T = 3.08 (out)(err) |
O = 373 T = 15.12 (out)(err) |
O = N/A T = TO (out)(err) |
O = 380 T = 284.51 (out)(err) |
O = 384 T = 0.44 (out)(err) |
O = 383 T = 0.19 (out)(err) |
O = 377 T = 135.87 (out)(err) |
| brock400_2.clq.wcnf | O = 371 T = 10.73 |
O = 375 T = 0.46 (out)(err) |
O = 375 T = 1.34 (out)(err) |
O = 371 T = 10.73 (out)(err) |
O = N/A T = TO (out)(err) |
O = 378 T = 284.63 (out)(err) |
O = 383 T = 0.41 (out)(err) |
O = 385 T = 0.11 (out)(err) |
O = 378 T = 219.20 (out)(err) |
| brock400_3.clq.wcnf | O = 369 T = 45.22 |
O = 369 T = 141.12 (out)(err) |
O = 375 T = 4.81 (out)(err) |
O = 369 T = 45.22 (out)(err) |
O = N/A T = TO (out)(err) |
O = 378 T = 284.46 (out)(err) |
O = 384 T = 0.40 (out)(err) |
O = 384 T = 0.06 (out)(err) |
O = 378 T = 115.05 (out)(err) |
| brock400_4.clq.wcnf | O = 367 T = 5.59 |
O = 375 T = 0.37 (out)(err) |
O = 375 T = 3.66 (out)(err) |
O = 367 T = 5.59 (out)(err) |
O = N/A T = TO (out)(err) |
O = 379 T = 284.44 (out)(err) |
O = 383 T = 0.49 (out)(err) |
O = 382 T = 0.07 (out)(err) |
O = 378 T = 17.51 (out)(err) |
| brock800_1.clq.wcnf | O = 779 T = 0.58 |
O = 779 T = 0.58 (out)(err) |
O = 779 T = 57.70 (out)(err) |
O = 779 T = 12.57 (out)(err) |
O = N/A T = TO (out)(err) |
O = 783 T = 284.66 (out)(err) |
O = 786 T = 2.66 (out)(err) |
O = N/A T = TO (out)(err) |
O = 782 T = 194.57 (out)(err) |
| brock800_2.clq.wcnf | O = 779 T = 0.62 |
O = 779 T = 0.62 (out)(err) |
O = 779 T = 284.48 (out)(err) |
O = 779 T = 11.67 (out)(err) |
O = N/A T = TO (out)(err) |
O = 785 T = 284.73 (out)(err) |
O = 786 T = 2.50 (out)(err) |
O = 786 T = 0.07 (out)(err) |
O = 782 T = 64.03 (out)(err) |
| brock800_3.clq.wcnf | O = 778 T = 42.14 |
O = 778 T = 42.14 (out)(err) |
O = 779 T = 284.86 (out)(err) |
O = 778 T = 75.11 (out)(err) |
O = N/A T = TO (out)(err) |
O = 781 T = 284.58 (out)(err) |
O = 786 T = 2.84 (out)(err) |
O = N/A T = TO (out)(err) |
O = 782 T = 48.93 (out)(err) |
| brock800_4.clq.wcnf | O = 779 T = 2.58 |
O = 779 T = 2.58 (out)(err) |
O = 779 T = 284.58 (out)(err) |
O = 779 T = 15.22 (out)(err) |
O = N/A T = TO (out)(err) |
O = 782 T = 284.47 (out)(err) |
O = 787 T = 2.75 (out)(err) |
O = N/A T = TO (out)(err) |
O = 782 T = 15.31 (out)(err) |
| c-fat200-1.clq.wcnf | O = 188 T = 0.05 |
O = 188 T = 2.60 (out)(err) |
O = 188 T = 0.05 (out)(err) |
O = 188 T = 0.23 (out)(err) |
O = 188 T = 1.20 (out)(err) |
O = 188 T = 0.07 (out)(err) |
O = 188 T = 0.09 (out)(err) |
O = 188 T = 0.11 (out)(err) |
O = 188 T = 0.05 (out)(err) |
| c-fat200-2.clq.wcnf | O = 176 T = 0.05 |
O = 178 T = 0.52 (out)(err) |
O = 176 T = 2.55 (out)(err) |
O = 176 T = 51.34 (out)(err) |
O = 176 T = 1.29 (out)(err) |
O = 176 T = 0.05 (out)(err) |
O = 178 T = 0.18 (out)(err) |
O = 176 T = 0.22 (out)(err) |
O = 176 T = 0.12 (out)(err) |
| c-fat200-5.clq.wcnf | O = 142 T = 0.04 |
O = 144 T = 0.96 (out)(err) |
O = 142 T = 0.05 (out)(err) |
O = 143 T = 0.93 (out)(err) |
O = 142 T = 1.10 (out)(err) |
O = 142 T = 0.04 (out)(err) |
O = 143 T = 0.36 (out)(err) |
O = 142 T = 0.20 (out)(err) |
O = 142 T = 0.07 (out)(err) |
| c-fat500-1.clq.wcnf | O = 486 T = 0.08 |
O = 486 T = 120.39 (out)(err) |
O = 486 T = 1.33 (out)(err) |
O = 486 T = 0.41 (out)(err) |
O = 486 T = 1.50 (out)(err) |
O = 486 T = 0.14 (out)(err) |
O = 488 T = 1.05 (out)(err) |
O = 486 T = 0.13 (out)(err) |
O = 486 T = 0.08 (out)(err) |
| c-fat500-10.clq.wcnf | O = 374 T = 0.06 |
O = 374 T = 2.06 (out)(err) |
O = 374 T = 4.07 (out)(err) |
O = 376 T = 2.57 (out)(err) |
O = 374 T = 1.74 (out)(err) |
O = 374 T = 0.08 (out)(err) |
O = 376 T = 5.37 (out)(err) |
O = 374 T = 0.06 (out)(err) |
O = 374 T = 0.07 (out)(err) |
| c-fat500-2.clq.wcnf | O = 474 T = 0.06 |
O = 474 T = 0.79 (out)(err) |
O = 474 T = 1.30 (out)(err) |
O = 474 T = 0.95 (out)(err) |
O = 474 T = 1.56 (out)(err) |
O = 474 T = 0.16 (out)(err) |
O = 476 T = 1.00 (out)(err) |
O = 474 T = 0.06 (out)(err) |
O = 474 T = 0.07 (out)(err) |
| c-fat500-5.clq.wcnf | O = 436 T = 0.07 |
O = 438 T = 1.19 (out)(err) |
O = 436 T = 4.79 (out)(err) |
O = 438 T = 2.44 (out)(err) |
O = 436 T = 1.68 (out)(err) |
O = 436 T = 0.10 (out)(err) |
O = 438 T = 4.41 (out)(err) |
O = 436 T = 0.12 (out)(err) |
O = 436 T = 0.07 (out)(err) |
| hamming10-2.clq.wcnf | O = 512 T = 0.03 |
O = 512 T = 6.68 (out)(err) |
O = 512 T = 0.05 (out)(err) |
O = 512 T = 13.87 (out)(err) |
O = N/A T = TO (out)(err) |
O = 512 T = 0.03 (out)(err) |
O = 512 T = 2.84 (out)(err) |
O = 512 T = 0.09 (out)(err) |
O = 512 T = 0.17 (out)(err) |
| hamming10-4.clq.wcnf | O = 984 T = 0.20 |
O = 984 T = 0.81 (out)(err) |
O = 984 T = 0.20 (out)(err) |
O = 984 T = 7.33 (out)(err) |
O = N/A T = TO (out)(err) |
O = 996 T = 284.73 (out)(err) |
O = 992 T = 3.14 (out)(err) |
O = 996 T = 0.11 (out)(err) |
O = 988 T = 168.49 (out)(err) |
| hamming6-2.clq.wcnf | O = 32 T = 0.00 |
O = 32 T = 0.75 (out)(err) |
O = 32 T = 0.04 (out)(err) |
O = 32 T = 0.54 (out)(err) |
O = 32 T = 1.23 (out)(err) |
O = 32 T = 0.00 (out)(err) |
O = 32 T = 0.01 (out)(err) |
O = 32 T = 0.00 (out)(err) |
O = 32 T = 0.01 (out)(err) |
| hamming6-4.clq.wcnf | O = 60 T = 0.02 |
O = 60 T = 0.24 (out)(err) |
O = 60 T = 0.04 (out)(err) |
O = 60 T = 0.03 (out)(err) |
O = 60 T = 0.66 (out)(err) |
O = 60 T = 0.04 (out)(err) |
O = 60 T = 0.03 (out)(err) |
O = 60 T = 0.07 (out)(err) |
O = 60 T = 0.02 (out)(err) |
| hamming8-2.clq.wcnf | O = 128 T = 0.01 |
O = 128 T = 2.13 (out)(err) |
O = 128 T = 0.05 (out)(err) |
O = 128 T = 2.09 (out)(err) |
O = N/A T = TO (out)(err) |
O = 128 T = 0.01 (out)(err) |
O = 128 T = 0.11 (out)(err) |
O = 128 T = 0.07 (out)(err) |
O = 128 T = 0.10 (out)(err) |
| hamming8-4.clq.wcnf | O = 240 T = 0.04 |
O = 240 T = 0.40 (out)(err) |
O = 240 T = 0.06 (out)(err) |
O = 240 T = 0.41 (out)(err) |
O = N/A T = TO (out)(err) |
O = 240 T = 0.04 (out)(err) |
O = 240 T = 0.13 (out)(err) |
O = 240 T = 0.25 (out)(err) |
O = 240 T = 0.12 (out)(err) |
| johnson16-2-4.clq.wcnf | O = 112 T = 0.04 |
O = 112 T = 0.27 (out)(err) |
O = 112 T = 0.04 (out)(err) |
O = 112 T = 0.19 (out)(err) |
O = N/A T = TO (out)(err) |
O = 112 T = 0.04 (out)(err) |
O = 112 T = 0.09 (out)(err) |
O = 112 T = 0.18 (out)(err) |
O = 112 T = 0.11 (out)(err) |
| johnson32-2-4.clq.wcnf | O = 480 T = 0.05 |
O = 480 T = 0.25 (out)(err) |
O = 480 T = 0.05 (out)(err) |
O = 480 T = 0.37 (out)(err) |
O = N/A T = TO (out)(err) |
O = 480 T = 284.72 (out)(err) |
O = 480 T = 0.37 (out)(err) |
O = N/A T = TO (out)(err) |
O = 480 T = 0.13 (out)(err) |
| johnson8-2-4.clq.wcnf | O = 24 T = 0.00 |
O = 24 T = 0.27 (out)(err) |
O = 24 T = 0.04 (out)(err) |
O = 24 T = 0.10 (out)(err) |
O = 24 T = 0.36 (out)(err) |
O = 24 T = 0.00 (out)(err) |
O = 24 T = 0.00 (out)(err) |
O = 24 T = 0.01 (out)(err) |
O = 24 T = 0.00 (out)(err) |
| johnson8-4-4.clq.wcnf | O = 56 T = 0.01 |
O = 56 T = 0.36 (out)(err) |
O = 56 T = 0.05 (out)(err) |
O = 56 T = 0.49 (out)(err) |
O = 56 T = 1.90 (out)(err) |
O = 56 T = 0.04 (out)(err) |
O = 56 T = 0.01 (out)(err) |
O = 56 T = 0.02 (out)(err) |
O = 56 T = 0.04 (out)(err) |
| keller4.clq.wcnf | O = 160 T = 0.04 |
O = 160 T = 0.34 (out)(err) |
O = 160 T = 0.04 (out)(err) |
O = 160 T = 0.20 (out)(err) |
O = N/A T = TO (out)(err) |
O = 160 T = 0.33 (out)(err) |
O = 164 T = 0.04 (out)(err) |
O = 164 T = 0.08 (out)(err) |
O = 160 T = 0.51 (out)(err) |
| keller5.clq.wcnf | O = 749 T = 0.54 |
O = 749 T = 0.59 (out)(err) |
O = 749 T = 0.54 (out)(err) |
O = 749 T = 4.54 (out)(err) |
O = N/A T = TO (out)(err) |
O = 757 T = 284.67 (out)(err) |
O = 761 T = 1.63 (out)(err) |
O = N/A T = TO (out)(err) |
O = 750 T = 109.81 (out)(err) |
| p_hat1000-1.clq.wcnf | O = 990 T = 0.56 |
O = 990 T = 0.63 (out)(err) |
O = 990 T = 3.23 (out)(err) |
O = 990 T = 0.56 (out)(err) |
O = N/A T = TO (out)(err) |
O = 990 T = 284.70 (out)(err) |
O = 994 T = 10.92 (out)(err) |
O = 995 T = 0.16 (out)(err) |
O = 990 T = 120.32 (out)(err) |
| p_hat1000-2.clq.wcnf | O = 954 T = 0.86 |
O = 954 T = 0.86 (out)(err) |
O = 954 T = 2.74 (out)(err) |
O = 954 T = 1.06 (out)(err) |
O = N/A T = TO (out)(err) |
O = 973 T = 284.73 (out)(err) |
O = 981 T = 7.85 (out)(err) |
O = N/A T = TO (out)(err) |
O = 966 T = 272.38 (out)(err) |
| p_hat1000-3.clq.wcnf | O = 932 T = 0.93 |
O = 932 T = 0.93 (out)(err) |
O = 932 T = 2.10 (out)(err) |
O = 932 T = 1.62 (out)(err) |
O = N/A T = TO (out)(err) |
O = 956 T = 284.41 (out)(err) |
O = 969 T = 4.72 (out)(err) |
O = N/A T = TO (out)(err) |
O = 956 T = 256.99 (out)(err) |
| p_hat300-1.clq.wcnf | O = 292 T = 0.11 |
O = 292 T = 0.29 (out)(err) |
O = 292 T = 0.11 (out)(err) |
O = 292 T = 0.16 (out)(err) |
O = 292 T = 2.15 (out)(err) |
O = 292 T = 3.48 (out)(err) |
O = 295 T = 0.35 (out)(err) |
O = 295 T = 0.08 (out)(err) |
O = 292 T = 0.68 (out)(err) |
| p_hat300-2.clq.wcnf | O = 275 T = 0.12 |
O = 275 T = 0.40 (out)(err) |
O = 275 T = 0.12 (out)(err) |
O = 275 T = 0.42 (out)(err) |
O = N/A T = TO (out)(err) |
O = 275 T = 284.70 (out)(err) |
O = 284 T = 0.33 (out)(err) |
O = 286 T = 0.11 (out)(err) |
O = 275 T = 78.89 (out)(err) |
| p_hat300-3.clq.wcnf | O = 264 T = 0.06 |
O = 264 T = 0.48 (out)(err) |
O = 264 T = 0.06 (out)(err) |
O = 264 T = 0.47 (out)(err) |
O = N/A T = TO (out)(err) |
O = 267 T = 284.35 (out)(err) |
O = 274 T = 0.23 (out)(err) |
O = 280 T = 0.09 (out)(err) |
O = 266 T = 120.09 (out)(err) |
| p_hat500-1.clq.wcnf | O = 491 T = 0.19 |
O = 491 T = 0.36 (out)(err) |
O = 491 T = 0.29 (out)(err) |
O = 491 T = 0.19 (out)(err) |
O = N/A T = TO (out)(err) |
O = 491 T = 284.62 (out)(err) |
O = 494 T = 1.37 (out)(err) |
O = N/A T = TO (out)(err) |
O = 491 T = 5.98 (out)(err) |
| p_hat500-2.clq.wcnf | O = 464 T = 0.23 |
O = 464 T = 0.50 (out)(err) |
O = 464 T = 0.23 (out)(err) |
O = 464 T = 0.45 (out)(err) |
O = N/A T = TO (out)(err) |
O = 470 T = 284.50 (out)(err) |
O = 478 T = 1.54 (out)(err) |
O = N/A T = TO (out)(err) |
O = 468 T = 244.32 (out)(err) |
| p_hat500-3.clq.wcnf | O = 450 T = 0.23 |
O = 450 T = 0.66 (out)(err) |
O = 450 T = 0.23 (out)(err) |
O = 450 T = 0.69 (out)(err) |
O = N/A T = TO (out)(err) |
O = 462 T = 284.81 (out)(err) |
O = 471 T = 0.80 (out)(err) |
O = 465 T = 0.10 (out)(err) |
O = 460 T = 236.87 (out)(err) |
| p_hat700-1.clq.wcnf | O = 689 T = 0.30 |
O = 689 T = 0.50 (out)(err) |
O = 689 T = 9.58 (out)(err) |
O = 689 T = 0.30 (out)(err) |
O = N/A T = TO (out)(err) |
O = 690 T = 284.73 (out)(err) |
O = 693 T = 4.53 (out)(err) |
O = N/A T = TO (out)(err) |
O = 690 T = 186.53 (out)(err) |
| p_hat700-2.clq.wcnf | O = 656 T = 0.33 |
O = 656 T = 0.78 (out)(err) |
O = 656 T = 0.33 (out)(err) |
O = 656 T = 0.52 (out)(err) |
O = N/A T = TO (out)(err) |
O = 666 T = 284.72 (out)(err) |
O = 673 T = 3.80 (out)(err) |
O = N/A T = TO (out)(err) |
O = 665 T = 248.54 (out)(err) |
| p_hat700-3.clq.wcnf | O = 638 T = 0.18 |
O = 638 T = 0.69 (out)(err) |
O = 638 T = 0.18 (out)(err) |
O = 638 T = 1.06 (out)(err) |
O = N/A T = TO (out)(err) |
O = 645 T = 284.69 (out)(err) |
O = 667 T = 1.67 (out)(err) |
O = N/A T = TO (out)(err) |
O = 653 T = 291.01 (out)(err) |
| san1000.clq.wcnf | O = 990 T = 0.90 |
O = 990 T = 206.40 (out)(err) |
O = 990 T = 75.08 (out)(err) |
O = 990 T = 0.90 (out)(err) |
O = N/A T = TO (out)(err) |
O = 991 T = 284.71 (out)(err) |
O = 992 T = 6.02 (out)(err) |
O = N/A T = TO (out)(err) |
O = 991 T = 21.70 (out)(err) |
| san200_0.7_1.clq.wcnf | O = 170 T = 0.39 |
O = 170 T = 2.35 (out)(err) |
O = 170 T = 7.92 (out)(err) |
O = 170 T = 0.39 (out)(err) |
O = N/A T = TO (out)(err) |
O = 173 T = 284.73 (out)(err) |
O = 185 T = 0.12 (out)(err) |
O = 185 T = 0.13 (out)(err) |
O = 180 T = 154.17 (out)(err) |
| san200_0.7_2.clq.wcnf | O = 182 T = 9.69 |
O = 182 T = 9.69 (out)(err) |
O = 182 T = 21.67 (out)(err) |
O = 182 T = 223.68 (out)(err) |
O = N/A T = TO (out)(err) |
O = 185 T = 284.73 (out)(err) |
O = 188 T = 0.19 (out)(err) |
O = 188 T = 0.23 (out)(err) |
O = 185 T = 8.96 (out)(err) |
| san200_0.9_1.clq.wcnf | O = 130 T = 0.09 |
O = 130 T = 1.07 (out)(err) |
O = 130 T = 0.09 (out)(err) |
O = 130 T = 0.88 (out)(err) |
O = N/A T = TO (out)(err) |
O = 130 T = 292.46 (out)(err) |
O = 154 T = 0.07 (out)(err) |
O = 162 T = 0.15 (out)(err) |
O = 130 T = 155.53 (out)(err) |
| san200_0.9_2.clq.wcnf | O = 140 T = 0.05 |
O = 140 T = 1.26 (out)(err) |
O = 140 T = 0.05 (out)(err) |
O = 140 T = 0.77 (out)(err) |
O = N/A T = TO (out)(err) |
O = 140 T = 284.59 (out)(err) |
O = 165 T = 0.05 (out)(err) |
O = 170 T = 0.20 (out)(err) |
O = 146 T = 184.64 (out)(err) |
| san200_0.9_3.clq.wcnf | O = 156 T = 0.02 |
O = 156 T = 1.01 (out)(err) |
O = 156 T = 0.02 (out)(err) |
O = 156 T = 0.47 (out)(err) |
O = N/A T = TO (out)(err) |
O = 168 T = 284.47 (out)(err) |
O = 172 T = 0.18 (out)(err) |
O = 176 T = 0.21 (out)(err) |
O = 164 T = 139.22 (out)(err) |
| san400_0.5_1.clq.wcnf | O = 387 T = 0.54 |
O = 387 T = 4.39 (out)(err) |
O = 387 T = 139.61 (out)(err) |
O = 387 T = 0.54 (out)(err) |
O = N/A T = TO (out)(err) |
O = 392 T = 284.50 (out)(err) |
O = 393 T = 0.56 (out)(err) |
O = 393 T = 0.24 (out)(err) |
O = 392 T = 0.31 (out)(err) |
| san400_0.7_1.clq.wcnf | O = 376 T = 53.09 |
O = 379 T = 0.22 (out)(err) |
O = 378 T = 44.09 (out)(err) |
O = 376 T = 53.09 (out)(err) |
O = N/A T = TO (out)(err) |
O = 380 T = 284.53 (out)(err) |
O = 380 T = 0.38 (out)(err) |
O = 380 T = 0.15 (out)(err) |
O = 378 T = 194.23 (out)(err) |
| san400_0.7_2.clq.wcnf | O = 370 T = 22.78 |
O = 382 T = 58.89 (out)(err) |
O = 370 T = 22.78 (out)(err) |
O = 370 T = 107.65 (out)(err) |
O = N/A T = TO (out)(err) |
O = 383 T = 284.70 (out)(err) |
O = 385 T = 0.41 (out)(err) |
O = 387 T = 0.18 (out)(err) |
O = 382 T = 22.11 (out)(err) |
| san400_0.7_3.clq.wcnf | O = 378 T = 1.39 |
O = 378 T = 1.39 (out)(err) |
O = 378 T = 92.13 (out)(err) |
O = 378 T = 88.92 (out)(err) |
O = N/A T = TO (out)(err) |
O = 384 T = 284.53 (out)(err) |
O = 388 T = 0.45 (out)(err) |
O = 386 T = 0.10 (out)(err) |
O = 384 T = 43.36 (out)(err) |
| san400_0.9_1.clq.wcnf | O = 300 T = 1.45 |
O = 300 T = 36.70 (out)(err) |
O = 300 T = 1.45 (out)(err) |
O = 300 T = 1.96 (out)(err) |
O = N/A T = TO (out)(err) |
O = 355 T = 284.66 (out)(err) |
O = 350 T = 0.30 (out)(err) |
O = 357 T = 0.25 (out)(err) |
O = 344 T = 78.52 (out)(err) |
| sanr200_0.7.clq.wcnf | O = 182 T = 0.09 |
O = 182 T = 0.33 (out)(err) |
O = 182 T = 0.09 (out)(err) |
O = 182 T = 0.19 (out)(err) |
O = N/A T = TO (out)(err) |
O = 183 T = 284.60 (out)(err) |
O = 186 T = 0.12 (out)(err) |
O = 184 T = 0.20 (out)(err) |
O = 182 T = 14.36 (out)(err) |
| sanr200_0.9.clq.wcnf | O = 158 T = 0.20 |
O = 158 T = 0.47 (out)(err) |
O = 158 T = 0.20 (out)(err) |
O = 158 T = 0.62 (out)(err) |
O = N/A T = TO (out)(err) |
O = 160 T = 284.63 (out)(err) |
O = 169 T = 0.13 (out)(err) |
O = 170 T = 0.24 (out)(err) |
O = 163 T = 11.53 (out)(err) |
| sanr400_0.5.clq.wcnf | O = 387 T = 0.23 |
O = 387 T = 0.37 (out)(err) |
O = 387 T = 2.24 (out)(err) |
O = 387 T = 0.23 (out)(err) |
O = N/A T = TO (out)(err) |
O = 388 T = 284.46 (out)(err) |
O = 391 T = 0.62 (out)(err) |
O = 392 T = 0.20 (out)(err) |
O = 388 T = 27.01 (out)(err) |
| sanr400_0.7.clq.wcnf | O = 379 T = 0.23 |
O = 379 T = 0.55 (out)(err) |
O = 379 T = 0.23 (out)(err) |
O = 379 T = 0.68 (out)(err) |
O = N/A T = TO (out)(err) |
O = 383 T = 284.52 (out)(err) |
O = 385 T = 0.48 (out)(err) |
O = 387 T = 0.27 (out)(err) |
O = 381 T = 19.24 (out)(err) |
| cnf3.150.250.832706.cnf.wcnf | O = 15 T = 0.00 |
O = 15 T = 1.67 (out)(err) |
O = 15 T = 0.04 (out)(err) |
O = 15 T = 1.07 (out)(err) |
O = 15 T = 54.14 (out)(err) |
O = 15 T = 0.00 (out)(err) |
O = 23 T = 0.01 (out)(err) |
O = 15 T = 0.01 (out)(err) |
O = 15 T = 1.63 (out)(err) |
| cnf3.150.250.832707.cnf.wcnf | O = 18 T = 0.00 |
O = 18 T = 0.64 (out)(err) |
O = 18 T = 0.04 (out)(err) |
O = 18 T = 0.67 (out)(err) |
O = N/A T = TO (out)(err) |
O = 18 T = 0.00 (out)(err) |
O = 31 T = 0.00 (out)(err) |
O = 18 T = 0.01 (out)(err) |
O = 18 T = 1.71 (out)(err) |
| cnf3.150.250.832708.cnf.wcnf | O = 20 T = 0.00 |
O = 20 T = 0.85 (out)(err) |
O = 20 T = 0.04 (out)(err) |
O = 20 T = 0.27 (out)(err) |
O = N/A T = TO (out)(err) |
O = 20 T = 0.00 (out)(err) |
O = 31 T = 0.01 (out)(err) |
O = 20 T = 0.01 (out)(err) |
O = 20 T = 5.05 (out)(err) |
| cnf3.150.250.832709.cnf.wcnf | O = 24 T = 0.04 |
O = 24 T = 0.69 (out)(err) |
O = 24 T = 0.04 (out)(err) |
O = 24 T = 0.33 (out)(err) |
O = N/A T = TO (out)(err) |
O = 24 T = 5.50 (out)(err) |
O = 32 T = 0.01 (out)(err) |
O = 24 T = 0.14 (out)(err) |
O = 24 T = 72.43 (out)(err) |
| cnf3.150.250.832710.cnf.wcnf | O = 24 T = 0.04 |
O = 24 T = 1.02 (out)(err) |
O = 24 T = 0.04 (out)(err) |
O = 24 T = 3.05 (out)(err) |
O = N/A T = TO (out)(err) |
O = 24 T = 4.53 (out)(err) |
O = 30 T = 0.01 (out)(err) |
O = 34 T = 0.15 (out)(err) |
O = 24 T = 88.18 (out)(err) |
| cnf3.150.250.832711.cnf.wcnf | O = 20 T = 0.03 |
O = 20 T = 0.62 (out)(err) |
O = 20 T = 0.03 (out)(err) |
O = 20 T = 2.59 (out)(err) |
O = N/A T = TO (out)(err) |
O = 20 T = 2.23 (out)(err) |
O = 31 T = 0.00 (out)(err) |
O = 20 T = 0.55 (out)(err) |
O = 20 T = 2.29 (out)(err) |
| cnf3.150.250.832712.cnf.wcnf | O = 23 T = 0.02 |
O = 23 T = 0.56 (out)(err) |
O = 23 T = 0.04 (out)(err) |
O = 23 T = 0.48 (out)(err) |
O = N/A T = TO (out)(err) |
O = 23 T = 0.02 (out)(err) |
O = 33 T = 0.01 (out)(err) |
O = 38 T = 0.20 (out)(err) |
O = 23 T = 17.82 (out)(err) |
| cnf3.150.250.832713.cnf.wcnf | O = 16 T = 0.00 |
O = 16 T = 1.28 (out)(err) |
O = 16 T = 0.03 (out)(err) |
O = 16 T = 1.70 (out)(err) |
O = N/A T = TO (out)(err) |
O = 16 T = 0.00 (out)(err) |
O = 26 T = 0.01 (out)(err) |
O = 16 T = 0.00 (out)(err) |
O = 16 T = 4.25 (out)(err) |
| cnf3.150.250.832714.cnf.wcnf | O = 23 T = 0.02 |
O = 23 T = 0.56 (out)(err) |
O = 23 T = 0.03 (out)(err) |
O = 23 T = 0.92 (out)(err) |
O = N/A T = TO (out)(err) |
O = 23 T = 0.02 (out)(err) |
O = 36 T = 0.02 (out)(err) |
O = 33 T = 0.20 (out)(err) |
O = 23 T = 25.64 (out)(err) |
| cnf3.150.250.832715.cnf.wcnf | O = 24 T = 0.04 |
O = 24 T = 0.71 (out)(err) |
O = 24 T = 0.04 (out)(err) |
O = 24 T = 0.96 (out)(err) |
O = N/A T = TO (out)(err) |
O = 24 T = 0.42 (out)(err) |
O = 29 T = 0.00 (out)(err) |
O = 33 T = 0.22 (out)(err) |
O = 24 T = 17.38 (out)(err) |
| cnf3.150.300.195561.cnf.wcnf | O = 22 T = 0.04 |
O = 22 T = 0.49 (out)(err) |
O = 22 T = 0.04 (out)(err) |
O = 22 T = 0.51 (out)(err) |
O = N/A T = TO (out)(err) |
O = 22 T = 3.77 (out)(err) |
O = 31 T = 0.01 (out)(err) |
O = 25 T = 0.22 (out)(err) |
O = 22 T = 75.19 (out)(err) |
| cnf3.150.300.195562.cnf.wcnf | O = 22 T = 0.04 |
O = 22 T = 0.76 (out)(err) |
O = 22 T = 0.04 (out)(err) |
O = 22 T = 1.33 (out)(err) |
O = N/A T = TO (out)(err) |
O = 22 T = 4.95 (out)(err) |
O = 29 T = 0.01 (out)(err) |
O = 31 T = 0.18 (out)(err) |
O = 22 T = 63.33 (out)(err) |
| cnf3.150.300.195563.cnf.wcnf | O = 20 T = 0.01 |
O = 20 T = 0.66 (out)(err) |
O = 20 T = 0.05 (out)(err) |
O = 20 T = 0.36 (out)(err) |
O = N/A T = TO (out)(err) |
O = 20 T = 0.01 (out)(err) |
O = 31 T = 0.01 (out)(err) |
O = 20 T = 0.05 (out)(err) |
O = 20 T = 11.69 (out)(err) |
| cnf3.150.300.195564.cnf.wcnf | O = 26 T = 0.04 |
O = 26 T = 1.06 (out)(err) |
O = 26 T = 0.04 (out)(err) |
O = 26 T = 0.33 (out)(err) |
O = N/A T = TO (out)(err) |
O = 26 T = 27.69 (out)(err) |
O = 39 T = 0.01 (out)(err) |
O = 40 T = 0.14 (out)(err) |
O = 26 T = 107.56 (out)(err) |
| cnf3.150.300.195565.cnf.wcnf | O = 27 T = 0.05 |
O = 27 T = 0.53 (out)(err) |
O = 27 T = 0.05 (out)(err) |
O = 27 T = 1.00 (out)(err) |
O = N/A T = TO (out)(err) |
O = 27 T = 6.33 (out)(err) |
O = 37 T = 0.01 (out)(err) |
O = 41 T = 0.23 (out)(err) |
O = 29 T = 211.28 (out)(err) |
| cnf3.150.300.195566.cnf.wcnf | O = 21 T = 0.00 |
O = 21 T = 0.85 (out)(err) |
O = 21 T = 0.03 (out)(err) |
O = 21 T = 0.36 (out)(err) |
O = N/A T = TO (out)(err) |
O = 21 T = 0.00 (out)(err) |
O = 32 T = 0.01 (out)(err) |
O = 21 T = 0.06 (out)(err) |
O = 21 T = 13.48 (out)(err) |
| cnf3.150.300.195567.cnf.wcnf | O = 26 T = 0.05 |
O = 26 T = 0.51 (out)(err) |
O = 26 T = 0.05 (out)(err) |
O = 26 T = 0.76 (out)(err) |
O = N/A T = TO (out)(err) |
O = 26 T = 9.15 (out)(err) |
O = 30 T = 0.01 (out)(err) |
O = 39 T = 0.24 (out)(err) |
O = 26 T = 72.62 (out)(err) |
| cnf3.150.300.195568.cnf.wcnf | O = 25 T = 0.04 |
O = 25 T = 0.41 (out)(err) |
O = 25 T = 0.04 (out)(err) |
O = 25 T = 0.46 (out)(err) |
O = N/A T = TO (out)(err) |
O = 25 T = 32.30 (out)(err) |
O = 36 T = 0.01 (out)(err) |
O = 46 T = 0.21 (out)(err) |
O = 26 T = 214.19 (out)(err) |
| cnf3.150.300.195569.cnf.wcnf | O = 27 T = 0.03 |
O = 27 T = 0.51 (out)(err) |
O = 27 T = 0.03 (out)(err) |
O = 27 T = 0.39 (out)(err) |
O = N/A T = TO (out)(err) |
O = 29 T = 284.71 (out)(err) |
O = 39 T = 0.01 (out)(err) |
O = 37 T = 0.20 (out)(err) |
O = 30 T = 176.45 (out)(err) |
| cnf3.150.300.195570.cnf.wcnf | O = 20 T = 0.01 |
O = 20 T = 0.45 (out)(err) |
O = 20 T = 0.05 (out)(err) |
O = 20 T = 0.41 (out)(err) |
O = N/A T = TO (out)(err) |
O = 20 T = 0.01 (out)(err) |
O = 29 T = 0.01 (out)(err) |
O = 20 T = 0.01 (out)(err) |
O = 20 T = 27.46 (out)(err) |
| cnf3.150.350.558416.cnf.wcnf | O = 32 T = 0.04 |
O = 32 T = 0.48 (out)(err) |
O = 32 T = 0.04 (out)(err) |
O = 32 T = 0.56 (out)(err) |
O = N/A T = TO (out)(err) |
O = 35 T = 284.73 (out)(err) |
O = 56 T = 0.01 (out)(err) |
O = 57 T = 0.21 (out)(err) |
O = 34 T = 89.08 (out)(err) |
| cnf3.150.350.558417.cnf.wcnf | O = 30 T = 0.05 |
O = 30 T = 0.49 (out)(err) |
O = 30 T = 0.05 (out)(err) |
O = 30 T = 0.39 (out)(err) |
O = N/A T = TO (out)(err) |
O = 30 T = 0.33 (out)(err) |
O = 36 T = 0.01 (out)(err) |
O = 43 T = 0.21 (out)(err) |
O = 30 T = 58.06 (out)(err) |
| cnf3.150.350.558418.cnf.wcnf | O = 29 T = 0.05 |
O = 29 T = 0.30 (out)(err) |
O = 29 T = 0.05 (out)(err) |
O = 29 T = 0.63 (out)(err) |
O = N/A T = TO (out)(err) |
O = 34 T = 284.69 (out)(err) |
O = 37 T = 0.01 (out)(err) |
O = 58 T = 0.22 (out)(err) |
O = 35 T = 0.78 (out)(err) |
| cnf3.150.350.558419.cnf.wcnf | O = 29 T = 0.05 |
O = 29 T = 0.73 (out)(err) |
O = 29 T = 0.05 (out)(err) |
O = 29 T = 0.36 (out)(err) |
O = N/A T = TO (out)(err) |
O = 32 T = 284.46 (out)(err) |
O = 38 T = 0.01 (out)(err) |
O = 44 T = 0.24 (out)(err) |
O = 29 T = 251.90 (out)(err) |
| cnf3.150.350.558420.cnf.wcnf | O = 32 T = 0.02 |
O = 32 T = 0.50 (out)(err) |
O = 32 T = 0.02 (out)(err) |
O = 32 T = 0.64 (out)(err) |
O = N/A T = TO (out)(err) |
O = 32 T = 284.39 (out)(err) |
O = 53 T = 0.02 (out)(err) |
O = 39 T = 0.22 (out)(err) |
O = 36 T = 58.65 (out)(err) |
| cnf3.150.350.558421.cnf.wcnf | O = 30 T = 0.03 |
O = 30 T = 0.40 (out)(err) |
O = 30 T = 0.03 (out)(err) |
O = 30 T = 0.69 (out)(err) |
O = N/A T = TO (out)(err) |
O = 31 T = 284.44 (out)(err) |
O = 44 T = 0.01 (out)(err) |
O = 44 T = 0.19 (out)(err) |
O = 31 T = 290.85 (out)(err) |
| cnf3.150.350.558422.cnf.wcnf | O = 30 T = 0.05 |
O = 30 T = 0.67 (out)(err) |
O = 30 T = 0.05 (out)(err) |
O = 30 T = 1.06 (out)(err) |
O = N/A T = TO (out)(err) |
O = 33 T = 284.47 (out)(err) |
O = 41 T = 0.01 (out)(err) |
O = 45 T = 0.23 (out)(err) |
O = 32 T = 175.69 (out)(err) |
| cnf3.150.350.558423.cnf.wcnf | O = 26 T = 0.05 |
O = 26 T = 0.71 (out)(err) |
O = 26 T = 0.05 (out)(err) |
O = 26 T = 0.33 (out)(err) |
O = N/A T = TO (out)(err) |
O = 26 T = 104.83 (out)(err) |
O = 40 T = 0.01 (out)(err) |
O = 46 T = 0.25 (out)(err) |
O = 26 T = 171.74 (out)(err) |
| cnf3.150.350.558424.cnf.wcnf | O = 24 T = 0.05 |
O = 24 T = 1.44 (out)(err) |
O = 24 T = 0.05 (out)(err) |
O = 24 T = 0.37 (out)(err) |
O = N/A T = TO (out)(err) |
O = 24 T = 7.94 (out)(err) |
O = 36 T = 0.01 (out)(err) |
O = 34 T = 0.18 (out)(err) |
O = 24 T = 22.06 (out)(err) |
| cnf3.150.350.558425.cnf.wcnf | O = 27 T = 0.05 |
O = 27 T = 0.67 (out)(err) |
O = 27 T = 0.05 (out)(err) |
O = 27 T = 0.74 (out)(err) |
O = N/A T = TO (out)(err) |
O = 27 T = 1.14 (out)(err) |
O = 31 T = 0.01 (out)(err) |
O = 45 T = 0.24 (out)(err) |
O = 27 T = 132.81 (out)(err) |
| cnf3.150.400.921271.cnf.wcnf | O = 38 T = 0.05 |
O = 38 T = 0.50 (out)(err) |
O = 38 T = 0.05 (out)(err) |
O = 38 T = 0.63 (out)(err) |
O = N/A T = TO (out)(err) |
O = 41 T = 284.74 (out)(err) |
O = 55 T = 0.02 (out)(err) |
O = 55 T = 0.22 (out)(err) |
O = 42 T = 20.31 (out)(err) |
| cnf3.150.400.921272.cnf.wcnf | O = 33 T = 0.03 |
O = 33 T = 0.30 (out)(err) |
O = 33 T = 0.03 (out)(err) |
O = 33 T = 0.52 (out)(err) |
O = N/A T = TO (out)(err) |
O = 36 T = 284.65 (out)(err) |
O = 46 T = 0.01 (out)(err) |
O = 59 T = 0.11 (out)(err) |
O = 38 T = 107.90 (out)(err) |
| cnf3.150.400.921273.cnf.wcnf | O = 31 T = 0.05 |
O = 31 T = 0.29 (out)(err) |
O = 31 T = 0.05 (out)(err) |
O = 31 T = 0.53 (out)(err) |
O = N/A T = TO (out)(err) |
O = 31 T = 202.40 (out)(err) |
O = 32 T = 0.01 (out)(err) |
O = 51 T = 0.24 (out)(err) |
O = 34 T = 113.21 (out)(err) |
| cnf3.150.400.921274.cnf.wcnf | O = 34 T = 0.02 |
O = 34 T = 0.64 (out)(err) |
O = 34 T = 0.02 (out)(err) |
O = 34 T = 0.30 (out)(err) |
O = N/A T = TO (out)(err) |
O = 34 T = 284.50 (out)(err) |
O = 42 T = 0.01 (out)(err) |
O = 63 T = 0.14 (out)(err) |
O = 37 T = 196.19 (out)(err) |
| cnf3.150.400.921275.cnf.wcnf | O = 37 T = 0.04 |
O = 37 T = 0.57 (out)(err) |
O = 37 T = 0.04 (out)(err) |
O = 37 T = 0.21 (out)(err) |
O = N/A T = TO (out)(err) |
O = 38 T = 284.68 (out)(err) |
O = 57 T = 0.01 (out)(err) |
O = 53 T = 0.23 (out)(err) |
O = 39 T = 184.53 (out)(err) |
| cnf3.150.400.921276.cnf.wcnf | O = 34 T = 0.04 |
O = 34 T = 0.42 (out)(err) |
O = 34 T = 0.04 (out)(err) |
O = 34 T = 0.18 (out)(err) |
O = N/A T = TO (out)(err) |
O = 34 T = 181.66 (out)(err) |
O = 42 T = 0.01 (out)(err) |
O = 50 T = 0.24 (out)(err) |
O = 34 T = 210.66 (out)(err) |
| cnf3.150.400.921277.cnf.wcnf | O = 33 T = 0.04 |
O = 33 T = 0.35 (out)(err) |
O = 33 T = 0.04 (out)(err) |
O = 33 T = 0.29 (out)(err) |
O = N/A T = TO (out)(err) |
O = 35 T = 284.58 (out)(err) |
O = 46 T = 0.01 (out)(err) |
O = 45 T = 0.17 (out)(err) |
O = 35 T = 260.36 (out)(err) |
| cnf3.150.400.921278.cnf.wcnf | O = 31 T = 0.03 |
O = 31 T = 0.48 (out)(err) |
O = 31 T = 0.03 (out)(err) |
O = 31 T = 0.58 (out)(err) |
O = N/A T = TO (out)(err) |
O = 31 T = 284.49 (out)(err) |
O = 51 T = 0.01 (out)(err) |
O = 38 T = 0.16 (out)(err) |
O = 33 T = 248.73 (out)(err) |
| cnf3.150.400.921279.cnf.wcnf | O = 28 T = 0.03 |
O = 28 T = 0.39 (out)(err) |
O = 28 T = 0.03 (out)(err) |
O = 28 T = 0.33 (out)(err) |
O = N/A T = TO (out)(err) |
O = 28 T = 46.62 (out)(err) |
O = 35 T = 0.01 (out)(err) |
O = 40 T = 0.26 (out)(err) |
O = 28 T = 161.30 (out)(err) |
| cnf3.150.400.921280.cnf.wcnf | O = 30 T = 0.04 |
O = 30 T = 0.65 (out)(err) |
O = 30 T = 0.04 (out)(err) |
O = 30 T = 0.66 (out)(err) |
O = N/A T = TO (out)(err) |
O = 30 T = 83.47 (out)(err) |
O = 52 T = 0.01 (out)(err) |
O = 50 T = 0.08 (out)(err) |
O = 30 T = 142.50 (out)(err) |
| cnf3.150.450.284126.cnf.wcnf | O = 43 T = 0.10 |
O = 43 T = 0.61 (out)(err) |
O = 43 T = 0.10 (out)(err) |
O = 43 T = 0.51 (out)(err) |
O = N/A T = TO (out)(err) |
O = 44 T = 284.67 (out)(err) |
O = 53 T = 0.02 (out)(err) |
O = 63 T = 0.07 (out)(err) |
O = 44 T = 158.85 (out)(err) |
| cnf3.150.450.284127.cnf.wcnf | O = 34 T = 0.04 |
O = 34 T = 0.56 (out)(err) |
O = 34 T = 0.04 (out)(err) |
O = 34 T = 0.50 (out)(err) |
O = N/A T = TO (out)(err) |
O = 34 T = 93.36 (out)(err) |
O = 52 T = 0.02 (out)(err) |
O = 63 T = 0.10 (out)(err) |
O = 34 T = 272.73 (out)(err) |
| cnf3.150.450.284128.cnf.wcnf | O = 34 T = 0.05 |
O = 34 T = 0.56 (out)(err) |
O = 34 T = 0.05 (out)(err) |
O = 34 T = 0.32 (out)(err) |
O = N/A T = TO (out)(err) |
O = 35 T = 284.63 (out)(err) |
O = 47 T = 0.01 (out)(err) |
O = 66 T = 0.10 (out)(err) |
O = 35 T = 230.23 (out)(err) |
| cnf3.150.450.284129.cnf.wcnf | O = 33 T = 0.04 |
O = 33 T = 0.85 (out)(err) |
O = 33 T = 0.04 (out)(err) |
O = 33 T = 0.51 (out)(err) |
O = N/A T = TO (out)(err) |
O = 33 T = 28.31 (out)(err) |
O = 45 T = 0.01 (out)(err) |
O = 50 T = 0.22 (out)(err) |
O = 33 T = 274.67 (out)(err) |
| cnf3.150.450.284130.cnf.wcnf | O = 36 T = 0.02 |
O = 36 T = 0.49 (out)(err) |
O = 36 T = 0.02 (out)(err) |
O = 36 T = 0.40 (out)(err) |
O = N/A T = TO (out)(err) |
O = 40 T = 284.53 (out)(err) |
O = 53 T = 0.02 (out)(err) |
O = 69 T = 0.22 (out)(err) |
O = 40 T = 69.55 (out)(err) |
| cnf3.150.450.284131.cnf.wcnf | O = 31 T = 0.04 |
O = 31 T = 0.51 (out)(err) |
O = 31 T = 0.04 (out)(err) |
O = 31 T = 0.47 (out)(err) |
O = N/A T = TO (out)(err) |
O = 33 T = 284.41 (out)(err) |
O = 51 T = 0.01 (out)(err) |
O = 46 T = 0.18 (out)(err) |
O = 32 T = 291.76 (out)(err) |
| cnf3.150.450.284132.cnf.wcnf | O = 31 T = 0.05 |
O = 31 T = 0.50 (out)(err) |
O = 31 T = 0.05 (out)(err) |
O = 31 T = 0.35 (out)(err) |
O = N/A T = TO (out)(err) |
O = 31 T = 55.80 (out)(err) |
O = 40 T = 0.02 (out)(err) |
O = 63 T = 0.23 (out)(err) |
O = 31 T = 289.45 (out)(err) |
| cnf3.150.450.284133.cnf.wcnf | O = 39 T = 0.08 |
O = 39 T = 0.48 (out)(err) |
O = 39 T = 0.08 (out)(err) |
O = 39 T = 0.12 (out)(err) |
O = N/A T = TO (out)(err) |
O = 39 T = 44.46 (out)(err) |
O = 47 T = 0.02 (out)(err) |
O = 64 T = 0.09 (out)(err) |
O = 39 T = 183.13 (out)(err) |
| cnf3.150.450.284134.cnf.wcnf | O = 39 T = 0.08 |
O = 39 T = 0.40 (out)(err) |
O = 39 T = 0.08 (out)(err) |
O = 39 T = 0.30 (out)(err) |
O = N/A T = TO (out)(err) |
O = 40 T = 284.67 (out)(err) |
O = 57 T = 0.01 (out)(err) |
O = 76 T = 0.06 (out)(err) |
O = 39 T = 233.34 (out)(err) |
| cnf3.150.450.284135.cnf.wcnf | O = 35 T = 0.04 |
O = 35 T = 0.44 (out)(err) |
O = 35 T = 0.04 (out)(err) |
O = 35 T = 0.70 (out)(err) |
O = N/A T = TO (out)(err) |
O = 37 T = 284.65 (out)(err) |
O = 49 T = 0.02 (out)(err) |
O = 52 T = 0.21 (out)(err) |
O = 42 T = 200.20 (out)(err) |
| cnf3.150.500.646981.cnf.wcnf | O = 47 T = 0.31 |
O = 47 T = 0.35 (out)(err) |
O = 47 T = 0.31 (out)(err) |
O = 47 T = 0.32 (out)(err) |
O = 47 T = 31.01 (out)(err) |
O = 47 T = 12.53 (out)(err) |
O = 62 T = 0.28 (out)(err) |
O = 69 T = 0.26 (out)(err) |
O = 47 T = 8.43 (out)(err) |
| cnf3.150.500.646982.cnf.wcnf | O = 46 T = 0.26 |
O = 46 T = 0.36 (out)(err) |
O = 46 T = 1.48 (out)(err) |
O = 46 T = 0.26 (out)(err) |
O = 46 T = 15.72 (out)(err) |
O = 46 T = 2.61 (out)(err) |
O = 52 T = 0.15 (out)(err) |
O = 61 T = 0.18 (out)(err) |
O = 46 T = 15.14 (out)(err) |
| cnf3.150.500.646983.cnf.wcnf | O = 47 T = 0.25 |
O = 47 T = 0.42 (out)(err) |
O = 47 T = 0.95 (out)(err) |
O = 47 T = 0.25 (out)(err) |
O = N/A T = TO (out)(err) |
O = 47 T = 109.47 (out)(err) |
O = 62 T = 0.03 (out)(err) |
O = 72 T = 0.23 (out)(err) |
O = 47 T = 144.85 (out)(err) |
| cnf3.150.500.646984.cnf.wcnf | O = 42 T = 0.04 |
O = 42 T = 0.38 (out)(err) |
O = 42 T = 0.04 (out)(err) |
O = 42 T = 0.21 (out)(err) |
O = 42 T = 48.60 (out)(err) |
O = 42 T = 8.32 (out)(err) |
O = 57 T = 0.07 (out)(err) |
O = 60 T = 0.22 (out)(err) |
O = 42 T = 93.67 (out)(err) |
| cnf3.150.500.646985.cnf.wcnf | O = 53 T = 0.03 |
O = 53 T = 0.31 (out)(err) |
O = 53 T = 0.03 (out)(err) |
O = 53 T = 0.22 (out)(err) |
O = 53 T = 18.20 (out)(err) |
O = 53 T = 8.00 (out)(err) |
O = 61 T = 0.39 (out)(err) |
O = 75 T = 0.11 (out)(err) |
O = 53 T = 3.71 (out)(err) |
| cnf3.150.500.646986.cnf.wcnf | O = 47 T = 0.20 |
O = 47 T = 0.38 (out)(err) |
O = 47 T = 1.08 (out)(err) |
O = 47 T = 0.20 (out)(err) |
O = 47 T = 14.20 (out)(err) |
O = 47 T = 2.40 (out)(err) |
O = 58 T = 0.29 (out)(err) |
O = 66 T = 0.06 (out)(err) |
O = 47 T = 10.45 (out)(err) |
| cnf3.150.500.646987.cnf.wcnf | O = 43 T = 0.19 |
O = 43 T = 0.42 (out)(err) |
O = 43 T = 1.43 (out)(err) |
O = 43 T = 0.19 (out)(err) |
O = 43 T = 10.60 (out)(err) |
O = 43 T = 6.57 (out)(err) |
O = 51 T = 0.05 (out)(err) |
O = 64 T = 0.23 (out)(err) |
O = 43 T = 9.64 (out)(err) |
| cnf3.150.500.646988.cnf.wcnf | O = 41 T = 0.02 |
O = 41 T = 0.53 (out)(err) |
O = 41 T = 0.02 (out)(err) |
O = 41 T = 0.22 (out)(err) |
O = 41 T = 14.12 (out)(err) |
O = 41 T = 5.21 (out)(err) |
O = 54 T = 0.02 (out)(err) |
O = 79 T = 0.14 (out)(err) |
O = 41 T = 11.32 (out)(err) |
| cnf3.150.500.646989.cnf.wcnf | O = 49 T = 0.22 |
O = 49 T = 0.33 (out)(err) |
O = 49 T = 0.31 (out)(err) |
O = 49 T = 0.22 (out)(err) |
O = 49 T = 12.39 (out)(err) |
O = 49 T = 12.47 (out)(err) |
O = 58 T = 0.10 (out)(err) |
O = 76 T = 0.25 (out)(err) |
O = 49 T = 12.01 (out)(err) |
| cnf3.150.500.646990.cnf.wcnf | O = 44 T = 0.07 |
O = 44 T = 0.38 (out)(err) |
O = 44 T = 0.07 (out)(err) |
O = 44 T = 0.22 (out)(err) |
O = 44 T = 25.98 (out)(err) |
O = 44 T = 9.52 (out)(err) |
O = 56 T = 0.35 (out)(err) |
O = 62 T = 0.18 (out)(err) |
O = 44 T = 32.29 (out)(err) |
| cnf3.150.550.009836.cnf.wcnf | O = 54 T = 0.17 |
O = 54 T = 0.45 (out)(err) |
O = N/A T = TO (out)(err) |
O = 54 T = 0.17 (out)(err) |
O = 54 T = 2.09 (out)(err) |
O = 54 T = 0.51 (out)(err) |
O = 58 T = 0.21 (out)(err) |
O = 79 T = 0.10 (out)(err) |
O = 54 T = 1.75 (out)(err) |
| cnf3.150.550.009837.cnf.wcnf | O = 52 T = 0.08 |
O = 52 T = 0.35 (out)(err) |
O = 52 T = 0.27 (out)(err) |
O = 52 T = 0.08 (out)(err) |
O = 52 T = 3.66 (out)(err) |
O = 52 T = 3.93 (out)(err) |
O = 63 T = 0.96 (out)(err) |
O = 81 T = 0.20 (out)(err) |
O = 52 T = 4.70 (out)(err) |
| cnf3.150.550.009838.cnf.wcnf | O = 45 T = 0.10 |
O = 45 T = 0.36 (out)(err) |
O = 45 T = 0.10 (out)(err) |
O = 45 T = 0.12 (out)(err) |
O = 45 T = 5.22 (out)(err) |
O = 45 T = 3.22 (out)(err) |
O = 51 T = 0.11 (out)(err) |
O = 68 T = 0.11 (out)(err) |
O = 45 T = 4.76 (out)(err) |
| cnf3.150.550.009839.cnf.wcnf | O = 39 T = 0.05 |
O = 39 T = 0.68 (out)(err) |
O = 39 T = 0.05 (out)(err) |
O = 39 T = 0.61 (out)(err) |
O = 39 T = 3.25 (out)(err) |
O = 39 T = 12.08 (out)(err) |
O = 46 T = 0.08 (out)(err) |
O = 71 T = 0.17 (out)(err) |
O = 39 T = 27.16 (out)(err) |
| cnf3.150.550.009840.cnf.wcnf | O = 52 T = 0.31 |
O = 52 T = 0.49 (out)(err) |
O = 52 T = 0.95 (out)(err) |
O = 52 T = 0.31 (out)(err) |
O = 52 T = 3.95 (out)(err) |
O = 52 T = 1.38 (out)(err) |
O = 59 T = 0.27 (out)(err) |
O = 68 T = 0.16 (out)(err) |
O = 52 T = 1.34 (out)(err) |
| cnf3.150.550.009841.cnf.wcnf | O = 57 T = 0.27 |
O = 57 T = 0.56 (out)(err) |
O = 57 T = 0.27 (out)(err) |
O = 57 T = 0.30 (out)(err) |
O = 57 T = 4.89 (out)(err) |
O = 57 T = 4.70 (out)(err) |
O = 68 T = 0.35 (out)(err) |
O = 73 T = 0.13 (out)(err) |
O = 57 T = 11.01 (out)(err) |
| cnf3.150.550.009842.cnf.wcnf | O = 45 T = 0.04 |
O = 45 T = 0.24 (out)(err) |
O = 45 T = 0.04 (out)(err) |
O = 45 T = 0.10 (out)(err) |
O = 45 T = 3.81 (out)(err) |
O = 45 T = 1.85 (out)(err) |
O = 59 T = 0.53 (out)(err) |
O = 66 T = 0.19 (out)(err) |
O = 45 T = 4.15 (out)(err) |
| cnf3.150.550.009843.cnf.wcnf | O = 40 T = 0.08 |
O = 40 T = 0.33 (out)(err) |
O = 40 T = 0.08 (out)(err) |
O = 40 T = 0.44 (out)(err) |
O = 40 T = 3.82 (out)(err) |
O = 40 T = 2.51 (out)(err) |
O = 47 T = 0.09 (out)(err) |
O = 72 T = 0.19 (out)(err) |
O = 40 T = 6.21 (out)(err) |
| cnf3.150.550.009844.cnf.wcnf | O = 47 T = 0.40 |
O = 47 T = 0.59 (out)(err) |
O = 47 T = 0.88 (out)(err) |
O = 47 T = 0.40 (out)(err) |
O = 47 T = 8.46 (out)(err) |
O = 47 T = 6.59 (out)(err) |
O = 52 T = 0.78 (out)(err) |
O = 73 T = 0.08 (out)(err) |
O = 47 T = 12.80 (out)(err) |
| cnf3.150.550.009845.cnf.wcnf | O = 50 T = 0.17 |
O = 50 T = 0.35 (out)(err) |
O = 50 T = 2.12 (out)(err) |
O = 50 T = 0.17 (out)(err) |
O = 50 T = 3.22 (out)(err) |
O = 50 T = 4.26 (out)(err) |
O = 53 T = 0.65 (out)(err) |
O = 75 T = 0.07 (out)(err) |
O = 50 T = 5.98 (out)(err) |
| cnf3.150.600.372691.cnf.wcnf | O = 63 T = 0.09 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 63 T = 0.21 (out)(err) |
O = 63 T = 2.29 (out)(err) |
O = 63 T = 0.18 (out)(err) |
O = 63 T = 0.09 (out)(err) |
O = 81 T = 0.12 (out)(err) |
O = 63 T = 1.14 (out)(err) |
| cnf3.150.600.372692.cnf.wcnf | O = 49 T = 0.33 |
O = 49 T = 0.45 (out)(err) |
O = 49 T = 2.15 (out)(err) |
O = 49 T = 0.33 (out)(err) |
O = 49 T = 1.80 (out)(err) |
O = 49 T = 0.59 (out)(err) |
O = 65 T = 0.24 (out)(err) |
O = 69 T = 0.06 (out)(err) |
O = 49 T = 1.31 (out)(err) |
| cnf3.150.600.372693.cnf.wcnf | O = 69 T = 0.05 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 69 T = 219.70 (out)(err) |
O = 69 T = 1.13 (out)(err) |
O = 69 T = 0.05 (out)(err) |
O = 69 T = 0.05 (out)(err) |
O = 73 T = 0.10 (out)(err) |
O = 69 T = 0.19 (out)(err) |
| cnf3.150.600.372694.cnf.wcnf | O = 62 T = 0.06 |
O = 62 T = 80.90 (out)(err) |
O = N/A T = TO (out)(err) |
O = 62 T = 0.13 (out)(err) |
O = 62 T = 1.19 (out)(err) |
O = 62 T = 0.16 (out)(err) |
O = 62 T = 0.06 (out)(err) |
O = 72 T = 0.10 (out)(err) |
O = 62 T = 0.24 (out)(err) |
| cnf3.150.600.372695.cnf.wcnf | O = 53 T = 0.14 |
O = 53 T = 0.27 (out)(err) |
O = 53 T = 2.35 (out)(err) |
O = 53 T = 0.14 (out)(err) |
O = 53 T = 1.82 (out)(err) |
O = 53 T = 0.17 (out)(err) |
O = 53 T = 0.14 (out)(err) |
O = 57 T = 0.12 (out)(err) |
O = 53 T = 0.16 (out)(err) |
| cnf3.150.600.372696.cnf.wcnf | O = 53 T = 0.31 |
O = 53 T = 27.58 (out)(err) |
O = N/A T = TO (out)(err) |
O = 53 T = 0.31 (out)(err) |
O = 53 T = 1.69 (out)(err) |
O = 53 T = 0.33 (out)(err) |
O = 72 T = 0.10 (out)(err) |
O = 85 T = 0.11 (out)(err) |
O = 53 T = 1.00 (out)(err) |
| cnf3.150.600.372697.cnf.wcnf | O = 46 T = 0.30 |
O = 46 T = 0.31 (out)(err) |
O = 46 T = 8.65 (out)(err) |
O = 46 T = 0.30 (out)(err) |
O = 46 T = 2.69 (out)(err) |
O = 46 T = 0.85 (out)(err) |
O = 59 T = 0.25 (out)(err) |
O = 63 T = 0.20 (out)(err) |
O = 46 T = 4.15 (out)(err) |
| cnf3.150.600.372698.cnf.wcnf | O = 57 T = 0.22 |
O = 57 T = 1.96 (out)(err) |
O = 57 T = 27.48 (out)(err) |
O = 57 T = 0.22 (out)(err) |
O = 57 T = 2.44 (out)(err) |
O = 57 T = 0.74 (out)(err) |
O = 65 T = 0.35 (out)(err) |
O = 68 T = 0.20 (out)(err) |
O = 57 T = 0.94 (out)(err) |
| cnf3.150.600.372699.cnf.wcnf | O = 65 T = 0.14 |
O = 65 T = 2.21 (out)(err) |
O = N/A T = TO (out)(err) |
O = 65 T = 0.18 (out)(err) |
O = 65 T = 1.10 (out)(err) |
O = 65 T = 0.14 (out)(err) |
O = 66 T = 0.08 (out)(err) |
O = 78 T = 0.16 (out)(err) |
O = 65 T = 0.28 (out)(err) |
| cnf3.150.600.372700.cnf.wcnf | O = 60 T = 0.35 |
O = 60 T = 0.35 (out)(err) |
O = 60 T = 49.70 (out)(err) |
O = 60 T = 0.37 (out)(err) |
O = 60 T = 2.36 (out)(err) |
O = 60 T = 0.46 (out)(err) |
O = 65 T = 0.11 (out)(err) |
O = 87 T = 0.14 (out)(err) |
O = 60 T = 0.91 (out)(err) |
| 3col100_5_1.shuffled.cnf.wcnf | O = 100 T = 0.15 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 100 T = 0.15 (out)(err) |
O = 100 T = 1.20 (out)(err) |
O = 100 T = 0.19 (out)(err) |
O = 103 T = 0.14 (out)(err) |
O = 109 T = 0.13 (out)(err) |
O = 100 T = 0.62 (out)(err) |
| 3col100_5_10.shuffled.cnf.wcnf | O = 94 T = 0.11 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 94 T = 0.51 (out)(err) |
O = 94 T = 1.16 (out)(err) |
O = 94 T = 0.11 (out)(err) |
O = 100 T = 0.10 (out)(err) |
O = 95 T = 0.14 (out)(err) |
O = 94 T = 0.26 (out)(err) |
| 3col100_5_2.shuffled.cnf.wcnf | O = 104 T = 0.16 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 104 T = 0.16 (out)(err) |
O = 104 T = 1.21 (out)(err) |
O = 104 T = 0.17 (out)(err) |
O = 110 T = 0.16 (out)(err) |
O = 110 T = 0.06 (out)(err) |
O = 104 T = 0.39 (out)(err) |
| 3col100_5_3.shuffled.cnf.wcnf | O = 92 T = 0.04 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 92 T = 0.08 (out)(err) |
O = 92 T = 1.28 (out)(err) |
O = 92 T = 0.04 (out)(err) |
O = 98 T = 0.10 (out)(err) |
O = 100 T = 0.17 (out)(err) |
O = 92 T = 0.78 (out)(err) |
| 3col100_5_4.shuffled.cnf.wcnf | O = 97 T = 0.17 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 97 T = 0.40 (out)(err) |
O = 97 T = 1.21 (out)(err) |
O = 97 T = 0.17 (out)(err) |
O = 103 T = 0.11 (out)(err) |
O = 103 T = 0.08 (out)(err) |
O = 97 T = 0.47 (out)(err) |
| 3col100_5_5.shuffled.cnf.wcnf | O = 86 T = 0.11 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 86 T = 0.16 (out)(err) |
O = 86 T = 1.24 (out)(err) |
O = 86 T = 0.11 (out)(err) |
O = 86 T = 0.13 (out)(err) |
O = 97 T = 0.14 (out)(err) |
O = 86 T = 0.88 (out)(err) |
| 3col100_5_6.shuffled.cnf.wcnf | O = 90 T = 0.10 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 90 T = 0.20 (out)(err) |
O = 90 T = 1.11 (out)(err) |
O = 90 T = 0.13 (out)(err) |
O = 90 T = 0.10 (out)(err) |
O = 103 T = 0.11 (out)(err) |
O = 90 T = 0.58 (out)(err) |
| 3col100_5_7.shuffled.cnf.wcnf | O = 85 T = 0.11 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 85 T = 0.11 (out)(err) |
O = 85 T = 1.12 (out)(err) |
O = 85 T = 0.21 (out)(err) |
O = 86 T = 0.13 (out)(err) |
O = 99 T = 0.09 (out)(err) |
O = 85 T = 0.75 (out)(err) |
| 3col100_5_8.shuffled.cnf.wcnf | O = 94 T = 0.08 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 94 T = 0.08 (out)(err) |
O = 94 T = 1.13 (out)(err) |
O = 94 T = 0.25 (out)(err) |
O = 95 T = 0.11 (out)(err) |
O = 102 T = 0.09 (out)(err) |
O = 94 T = 0.83 (out)(err) |
| 3col100_5_9.shuffled.cnf.wcnf | O = 94 T = 0.10 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 94 T = 0.42 (out)(err) |
O = 94 T = 1.22 (out)(err) |
O = 94 T = 0.24 (out)(err) |
O = 94 T = 0.10 (out)(err) |
O = 100 T = 0.10 (out)(err) |
O = 94 T = 0.58 (out)(err) |
| 3col120_5_1.shuffled.cnf.wcnf | O = 123 T = 0.24 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 123 T = 0.24 (out)(err) |
O = 123 T = 2.72 (out)(err) |
O = 123 T = 0.99 (out)(err) |
O = 127 T = 1.01 (out)(err) |
O = 129 T = 0.28 (out)(err) |
O = 123 T = 3.14 (out)(err) |
| 3col120_5_10.shuffled.cnf.wcnf | O = 125 T = 0.27 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 125 T = 0.27 (out)(err) |
O = 125 T = 3.18 (out)(err) |
O = 125 T = 1.43 (out)(err) |
O = 125 T = 0.93 (out)(err) |
O = 127 T = 0.83 (out)(err) |
O = 125 T = 2.49 (out)(err) |
| 3col120_5_2.shuffled.cnf.wcnf | O = 124 T = 1.01 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 124 T = 9.36 (out)(err) |
O = 124 T = 3.29 (out)(err) |
O = 124 T = 1.38 (out)(err) |
O = 124 T = 1.01 (out)(err) |
O = 130 T = 0.11 (out)(err) |
O = 124 T = 2.42 (out)(err) |
| 3col120_5_3.shuffled.cnf.wcnf | O = 119 T = 0.59 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 119 T = 1.82 (out)(err) |
O = 119 T = 3.04 (out)(err) |
O = 119 T = 2.02 (out)(err) |
O = 119 T = 1.26 (out)(err) |
O = 121 T = 0.36 (out)(err) |
O = 119 T = 0.59 (out)(err) |
| 3col120_5_4.shuffled.cnf.wcnf | O = 122 T = 1.39 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 122 T = 2.16 (out)(err) |
O = 122 T = 2.99 (out)(err) |
O = 122 T = 1.72 (out)(err) |
O = 122 T = 1.39 (out)(err) |
O = 125 T = 0.53 (out)(err) |
O = 122 T = 1.63 (out)(err) |
| 3col120_5_5.shuffled.cnf.wcnf | O = 112 T = 0.63 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 112 T = 0.90 (out)(err) |
O = 112 T = 2.80 (out)(err) |
O = 112 T = 0.63 (out)(err) |
O = 112 T = 0.87 (out)(err) |
O = 114 T = 0.62 (out)(err) |
O = 112 T = 0.84 (out)(err) |
| 3col120_5_6.shuffled.cnf.wcnf | O = 121 T = 1.21 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 121 T = 6.92 (out)(err) |
O = 121 T = 2.83 (out)(err) |
O = 121 T = 1.30 (out)(err) |
O = 122 T = 0.84 (out)(err) |
O = 123 T = 0.82 (out)(err) |
O = 121 T = 1.21 (out)(err) |
| 3col120_5_7.shuffled.cnf.wcnf | O = 120 T = 0.71 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 120 T = 0.71 (out)(err) |
O = 120 T = 3.61 (out)(err) |
O = 120 T = 1.21 (out)(err) |
O = 121 T = 0.86 (out)(err) |
O = 126 T = 0.60 (out)(err) |
O = 120 T = 1.69 (out)(err) |
| 3col120_5_8.shuffled.cnf.wcnf | O = 110 T = 0.99 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 110 T = 2.15 (out)(err) |
O = 110 T = 2.79 (out)(err) |
O = 110 T = 1.48 (out)(err) |
O = 111 T = 0.88 (out)(err) |
O = 113 T = 0.79 (out)(err) |
O = 110 T = 0.99 (out)(err) |
| 3col120_5_9.shuffled.cnf.wcnf | O = 117 T = 0.83 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 117 T = 2.92 (out)(err) |
O = 117 T = 2.89 (out)(err) |
O = 117 T = 2.38 (out)(err) |
O = 117 T = 0.83 (out)(err) |
O = 119 T = 0.44 (out)(err) |
O = 117 T = 1.34 (out)(err) |
| 3col140_5_1.shuffled.cnf.wcnf | O = 121 T = 0.70 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 121 T = 0.70 (out)(err) |
O = 121 T = 3.50 (out)(err) |
O = 121 T = 7.18 (out)(err) |
O = 126 T = 1.07 (out)(err) |
O = 139 T = 0.20 (out)(err) |
O = 121 T = 8.92 (out)(err) |
| 3col140_5_10.shuffled.cnf.wcnf | O = 122 T = 0.31 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 122 T = 0.31 (out)(err) |
O = 122 T = 7.39 (out)(err) |
O = 122 T = 6.03 (out)(err) |
O = 122 T = 0.98 (out)(err) |
O = 137 T = 0.16 (out)(err) |
O = 122 T = 10.15 (out)(err) |
| 3col140_5_2.shuffled.cnf.wcnf | O = 131 T = 0.56 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 131 T = 0.56 (out)(err) |
O = 131 T = 3.27 (out)(err) |
O = 131 T = 6.18 (out)(err) |
O = 132 T = 0.84 (out)(err) |
O = 142 T = 0.18 (out)(err) |
O = 131 T = 3.54 (out)(err) |
| 3col140_5_3.shuffled.cnf.wcnf | O = 128 T = 0.66 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 128 T = 0.66 (out)(err) |
O = 128 T = 5.33 (out)(err) |
O = 128 T = 6.99 (out)(err) |
O = 136 T = 1.58 (out)(err) |
O = 143 T = 0.24 (out)(err) |
O = 128 T = 4.76 (out)(err) |
| 3col140_5_4.shuffled.cnf.wcnf | O = 128 T = 0.36 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 128 T = 0.36 (out)(err) |
O = 128 T = 3.74 (out)(err) |
O = 128 T = 5.73 (out)(err) |
O = 130 T = 1.69 (out)(err) |
O = 148 T = 0.26 (out)(err) |
O = 128 T = 5.46 (out)(err) |
| 3col140_5_5.shuffled.cnf.wcnf | O = 124 T = 0.16 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 124 T = 0.16 (out)(err) |
O = 124 T = 2.88 (out)(err) |
O = 124 T = 4.12 (out)(err) |
O = 124 T = 2.09 (out)(err) |
O = 126 T = 0.26 (out)(err) |
O = 124 T = 0.47 (out)(err) |
| 3col140_5_6.shuffled.cnf.wcnf | O = 120 T = 0.35 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 120 T = 0.35 (out)(err) |
O = 120 T = 3.54 (out)(err) |
O = 120 T = 5.63 (out)(err) |
O = 132 T = 3.66 (out)(err) |
O = 130 T = 0.27 (out)(err) |
O = 120 T = 3.29 (out)(err) |
| 3col140_5_7.shuffled.cnf.wcnf | O = 119 T = 0.15 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 119 T = 0.15 (out)(err) |
O = 119 T = 4.57 (out)(err) |
O = 119 T = 6.18 (out)(err) |
O = 140 T = 1.79 (out)(err) |
O = 122 T = 0.26 (out)(err) |
O = 119 T = 2.99 (out)(err) |
| 3col140_5_8.shuffled.cnf.wcnf | O = 123 T = 0.77 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 123 T = 0.77 (out)(err) |
O = 123 T = 5.07 (out)(err) |
O = 123 T = 0.85 (out)(err) |
O = 127 T = 2.77 (out)(err) |
O = 133 T = 0.21 (out)(err) |
O = 123 T = 2.31 (out)(err) |
| 3col140_5_9.shuffled.cnf.wcnf | O = 134 T = 1.04 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 134 T = 1.04 (out)(err) |
O = 134 T = 4.57 (out)(err) |
O = 134 T = 5.00 (out)(err) |
O = 135 T = 2.16 (out)(err) |
O = 138 T = 0.98 (out)(err) |
O = 134 T = 6.52 (out)(err) |
| 3col80_5_1.shuffled.cnf.wcnf | O = 79 T = 0.04 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 79 T = 0.18 (out)(err) |
O = 79 T = 0.81 (out)(err) |
O = 79 T = 0.04 (out)(err) |
O = 86 T = 0.02 (out)(err) |
O = 81 T = 0.06 (out)(err) |
O = 79 T = 0.07 (out)(err) |
| 3col80_5_10.shuffled.cnf.wcnf | O = 75 T = 0.02 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 75 T = 0.12 (out)(err) |
O = 75 T = 0.83 (out)(err) |
O = 75 T = 0.03 (out)(err) |
O = 75 T = 0.02 (out)(err) |
O = 89 T = 0.12 (out)(err) |
O = 75 T = 0.12 (out)(err) |
| 3col80_5_2.shuffled.cnf.wcnf | O = 71 T = 0.04 |
O = 71 T = 90.22 (out)(err) |
O = N/A T = TO (out)(err) |
O = 71 T = 0.15 (out)(err) |
O = 71 T = 0.70 (out)(err) |
O = 71 T = 0.04 (out)(err) |
O = 77 T = 0.03 (out)(err) |
O = 79 T = 0.19 (out)(err) |
O = 71 T = 0.14 (out)(err) |
| 3col80_5_3.shuffled.cnf.wcnf | O = 88 T = 0.04 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 88 T = 0.89 (out)(err) |
O = 88 T = 0.67 (out)(err) |
O = 88 T = 0.04 (out)(err) |
O = 92 T = 0.02 (out)(err) |
O = 88 T = 0.19 (out)(err) |
O = 88 T = 0.07 (out)(err) |
| 3col80_5_4.shuffled.cnf.wcnf | O = 73 T = 0.04 |
O = 73 T = 61.08 (out)(err) |
O = N/A T = TO (out)(err) |
O = 73 T = 0.08 (out)(err) |
O = 73 T = 0.76 (out)(err) |
O = 73 T = 0.04 (out)(err) |
O = 77 T = 0.02 (out)(err) |
O = 75 T = 0.10 (out)(err) |
O = 73 T = 0.06 (out)(err) |
| 3col80_5_5.shuffled.cnf.wcnf | O = 78 T = 0.02 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 78 T = 0.08 (out)(err) |
O = 78 T = 0.80 (out)(err) |
O = 78 T = 0.04 (out)(err) |
O = 78 T = 0.02 (out)(err) |
O = 78 T = 0.21 (out)(err) |
O = 78 T = 0.06 (out)(err) |
| 3col80_5_6.shuffled.cnf.wcnf | O = 76 T = 0.04 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 76 T = 0.11 (out)(err) |
O = 76 T = 0.71 (out)(err) |
O = 76 T = 0.04 (out)(err) |
O = 78 T = 0.03 (out)(err) |
O = 78 T = 0.05 (out)(err) |
O = 76 T = 0.11 (out)(err) |
| 3col80_5_7.shuffled.cnf.wcnf | O = 80 T = 0.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 80 T = 0.08 (out)(err) |
O = 80 T = 0.64 (out)(err) |
O = 80 T = 0.04 (out)(err) |
O = 80 T = 0.03 (out)(err) |
O = 87 T = 0.18 (out)(err) |
O = 80 T = 0.10 (out)(err) |
| 3col80_5_8.shuffled.cnf.wcnf | O = 82 T = 0.02 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 82 T = 0.12 (out)(err) |
O = 82 T = 0.88 (out)(err) |
O = 82 T = 0.03 (out)(err) |
O = 82 T = 0.02 (out)(err) |
O = 82 T = 0.12 (out)(err) |
O = 82 T = 0.07 (out)(err) |
| 3col80_5_9.shuffled.cnf.wcnf | O = 79 T = 0.04 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 79 T = 0.16 (out)(err) |
O = 79 T = 0.67 (out)(err) |
O = 79 T = 0.04 (out)(err) |
O = 80 T = 0.03 (out)(err) |
O = 79 T = 0.14 (out)(err) |
O = 79 T = 0.06 (out)(err) |
| cnt05.shuffled.cnf.wcnf | O = 174 T = 0.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 174 T = 0.65 (out)(err) |
O = 174 T = 0.05 (out)(err) |
O = 174 T = 0.03 (out)(err) |
O = 174 T = 0.05 (out)(err) |
O = 174 T = 0.04 (out)(err) |
| cnt06.shuffled.cnf.wcnf | O = 365 T = 0.07 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 365 T = 0.86 (out)(err) |
O = 365 T = 0.07 (out)(err) |
O = 365 T = 0.15 (out)(err) |
O = 365 T = 0.13 (out)(err) |
O = 365 T = 0.07 (out)(err) |
| cnt07.shuffled.cnf.wcnf | O = 877 T = 0.12 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 877 T = 1.51 (out)(err) |
O = 877 T = 0.12 (out)(err) |
O = 877 T = 0.69 (out)(err) |
O = N/A T = TO (out)(err) |
O = 877 T = 0.22 (out)(err) |
| dp02s02.shuffled.cnf.wcnf | O = 100 T = 0.01 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 100 T = 0.10 (out)(err) |
O = 100 T = 0.35 (out)(err) |
O = 100 T = 0.01 (out)(err) |
O = 103 T = 0.02 (out)(err) |
O = 100 T = 10.46 (out)(err) |
O = 100 T = 0.04 (out)(err) |
| dp03s03.shuffled.cnf.wcnf | O = 254 T = 0.11 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 254 T = 0.15 (out)(err) |
O = 254 T = 0.69 (out)(err) |
O = 254 T = 0.14 (out)(err) |
O = 258 T = 0.12 (out)(err) |
O = 277 T = 0.20 (out)(err) |
O = 254 T = 0.11 (out)(err) |
| dp04s04.shuffled.cnf.wcnf | O = 533 T = 1.30 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 533 T = 2.55 (out)(err) |
O = 533 T = 1.30 (out)(err) |
O = 533 T = 3.17 (out)(err) |
O = 538 T = 0.51 (out)(err) |
O = N/A T = TO (out)(err) |
O = 533 T = 2.08 (out)(err) |
| dp05s05.shuffled.cnf.wcnf | O = 765 T = 1.64 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 766 T = 24.32 (out)(err) |
O = 765 T = 1.64 (out)(err) |
O = 765 T = 6.16 (out)(err) |
O = 794 T = 1.16 (out)(err) |
O = N/A T = TO (out)(err) |
O = 765 T = 15.53 (out)(err) |
| dp06s06.shuffled.cnf.wcnf | O = 1164 T = 3.33 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1164 T = 3.33 (out)(err) |
O = 1164 T = 63.52 (out)(err) |
O = 1204 T = 2.87 (out)(err) |
O = 1286 T = 0.12 (out)(err) |
O = 1164 T = 47.28 (out)(err) |
| dp07s07.shuffled.cnf.wcnf | O = 1563 T = 13.43 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1563 T = 13.43 (out)(err) |
O = 1563 T = 216.70 (out)(err) |
O = 1583 T = 8.07 (out)(err) |
O = 1731 T = 0.06 (out)(err) |
O = 1565 T = 138.72 (out)(err) |
| ezfact32_1.shuffled.cnf.wcnf | O = 400 T = 0.09 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 400 T = 1.98 (out)(err) |
O = 400 T = 4.02 (out)(err) |
O = 400 T = 0.09 (out)(err) |
O = 400 T = 0.24 (out)(err) |
O = 400 T = 0.52 (out)(err) |
O = 400 T = 0.50 (out)(err) |
| ezfact32_10.shuffled.cnf.wcnf | O = 389 T = 0.15 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 389 T = 252.63 (out)(err) |
O = 389 T = 3.55 (out)(err) |
O = 389 T = 1.76 (out)(err) |
O = 389 T = 0.15 (out)(err) |
O = 389 T = 6.72 (out)(err) |
O = 389 T = 6.60 (out)(err) |
| ezfact32_2.shuffled.cnf.wcnf | O = 364 T = 0.04 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 364 T = 1.69 (out)(err) |
O = 364 T = 0.91 (out)(err) |
O = 364 T = 0.04 (out)(err) |
O = 364 T = 0.15 (out)(err) |
O = 364 T = 0.19 (out)(err) |
O = 364 T = 0.15 (out)(err) |
| ezfact32_3.shuffled.cnf.wcnf | O = 397 T = 0.10 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 397 T = 18.10 (out)(err) |
O = 397 T = 9.61 (out)(err) |
O = 397 T = 4.43 (out)(err) |
O = 397 T = 0.17 (out)(err) |
O = 397 T = 0.16 (out)(err) |
O = 397 T = 0.10 (out)(err) |
| ezfact32_4.shuffled.cnf.wcnf | O = 379 T = 0.13 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 379 T = 0.35 (out)(err) |
O = 379 T = 5.01 (out)(err) |
O = 379 T = 1.70 (out)(err) |
O = 379 T = 0.69 (out)(err) |
O = 379 T = 0.20 (out)(err) |
O = 379 T = 0.13 (out)(err) |
| ezfact32_5.shuffled.cnf.wcnf | O = 394 T = 0.09 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 394 T = 8.24 (out)(err) |
O = 394 T = 0.09 (out)(err) |
O = 394 T = 0.15 (out)(err) |
O = N/A T = TO (out)(err) |
O = 394 T = 0.13 (out)(err) |
| ezfact32_6.shuffled.cnf.wcnf | O = 382 T = 0.06 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 382 T = 1.26 (out)(err) |
O = 382 T = 0.06 (out)(err) |
O = 382 T = 0.16 (out)(err) |
O = N/A T = TO (out)(err) |
O = 382 T = 0.67 (out)(err) |
| ezfact32_7.shuffled.cnf.wcnf | O = 394 T = 0.16 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 394 T = 0.91 (out)(err) |
O = 394 T = 3.08 (out)(err) |
O = 394 T = 0.16 (out)(err) |
O = 394 T = 0.59 (out)(err) |
O = 394 T = 0.57 (out)(err) |
| ezfact32_8.shuffled.cnf.wcnf | O = 392 T = 0.09 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 392 T = 1.12 (out)(err) |
O = 392 T = 0.09 (out)(err) |
O = 392 T = 0.15 (out)(err) |
O = 392 T = 0.14 (out)(err) |
O = 392 T = 0.09 (out)(err) |
| ezfact32_9.shuffled.cnf.wcnf | O = 382 T = 0.04 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 382 T = 47.16 (out)(err) |
O = 382 T = 0.91 (out)(err) |
O = 382 T = 0.04 (out)(err) |
O = 382 T = 0.16 (out)(err) |
O = N/A T = TO (out)(err) |
O = 382 T = 0.18 (out)(err) |
| med11.shuffled.cnf.wcnf | O = 164 T = 0.02 |
O = 164 T = 0.36 (out)(err) |
O = 164 T = 0.10 (out)(err) |
O = 164 T = 0.17 (out)(err) |
O = 164 T = 6.57 (out)(err) |
O = 164 T = 0.17 (out)(err) |
O = 164 T = 0.02 (out)(err) |
O = 166 T = 0.19 (out)(err) |
O = 164 T = 0.36 (out)(err) |
| kbtree9_7_3_5_30_1.wcsp.wcnf | O = 9 T = 1.13 |
O = 9 T = 1.13 (out)(err) |
O = 9 T = 194.86 (out)(err) |
O = 9 T = 11.93 (out)(err) |
O = N/A T = TO (out)(err) |
O = 9 T = 214.03 (out)(err) |
O = 25 T = 0.08 (out)(err) |
O = 34 T = 0.20 (out)(err) |
O = 18 T = 266.23 (out)(err) |
| kbtree9_7_3_5_30_2.wcsp.wcnf | O = 7 T = 0.72 |
O = 7 T = 0.72 (out)(err) |
O = 7 T = 5.72 (out)(err) |
O = 7 T = 1.38 (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 190.31 (out)(err) |
O = 16 T = 0.09 (out)(err) |
O = 43 T = 0.14 (out)(err) |
O = 10 T = 243.03 (out)(err) |
| kbtree9_7_3_5_30_3.wcsp.wcnf | O = 9 T = 0.72 |
O = 9 T = 1.04 (out)(err) |
O = 9 T = 6.39 (out)(err) |
O = 9 T = 0.72 (out)(err) |
O = N/A T = TO (out)(err) |
O = 9 T = 285.24 (out)(err) |
O = 20 T = 0.09 (out)(err) |
O = 14 T = 0.07 (out)(err) |
O = 13 T = 0.34 (out)(err) |
| kbtree9_7_3_5_30_4.wcsp.wcnf | O = 6 T = 0.89 |
O = 6 T = 0.97 (out)(err) |
O = 6 T = 9.38 (out)(err) |
O = 6 T = 0.89 (out)(err) |
O = N/A T = TO (out)(err) |
O = 6 T = 25.39 (out)(err) |
O = 10 T = 0.08 (out)(err) |
O = 6 T = 261.18 (out)(err) |
O = 11 T = 123.29 (out)(err) |
| kbtree9_7_3_5_30_5.wcsp.wcnf | O = 6 T = 0.11 |
O = 6 T = 0.59 (out)(err) |
O = 6 T = 0.11 (out)(err) |
O = 6 T = 0.61 (out)(err) |
O = N/A T = TO (out)(err) |
O = 6 T = 12.17 (out)(err) |
O = 11 T = 0.10 (out)(err) |
O = 33 T = 0.24 (out)(err) |
O = 12 T = 240.48 (out)(err) |
| kbtree9_7_3_5_30_6.wcsp.wcnf | O = 9 T = 0.57 |
O = 9 T = 0.57 (out)(err) |
O = 9 T = 32.06 (out)(err) |
O = 9 T = 0.66 (out)(err) |
O = N/A T = TO (out)(err) |
O = 14 T = 285.35 (out)(err) |
O = 21 T = 0.11 (out)(err) |
O = 31 T = 0.20 (out)(err) |
O = 16 T = 204.96 (out)(err) |
| kbtree9_7_3_5_40_1.wcsp.wcnf | O = 27 T = 0.62 |
O = 27 T = 0.73 (out)(err) |
O = 27 T = 163.84 (out)(err) |
O = 27 T = 0.62 (out)(err) |
O = N/A T = TO (out)(err) |
O = 36 T = 284.58 (out)(err) |
O = 40 T = 0.12 (out)(err) |
O = 57 T = 0.19 (out)(err) |
O = 36 T = 70.64 (out)(err) |
| kbtree9_7_3_5_40_2.wcsp.wcnf | O = 26 T = 0.56 |
O = 26 T = 0.75 (out)(err) |
O = 26 T = 37.42 (out)(err) |
O = 26 T = 0.56 (out)(err) |
O = N/A T = TO (out)(err) |
O = 38 T = 284.52 (out)(err) |
O = 50 T = 0.13 (out)(err) |
O = 50 T = 0.19 (out)(err) |
O = 43 T = 0.47 (out)(err) |
| kbtree9_7_3_5_40_3.wcsp.wcnf | O = 22 T = 0.50 |
O = 22 T = 0.64 (out)(err) |
O = 22 T = 64.70 (out)(err) |
O = 22 T = 0.50 (out)(err) |
O = N/A T = TO (out)(err) |
O = 27 T = 284.56 (out)(err) |
O = 45 T = 0.12 (out)(err) |
O = 50 T = 0.12 (out)(err) |
O = 39 T = 70.15 (out)(err) |
| kbtree9_7_3_5_40_4.wcsp.wcnf | O = 22 T = 0.64 |
O = 22 T = 0.95 (out)(err) |
O = 22 T = 4.15 (out)(err) |
O = 22 T = 0.64 (out)(err) |
O = N/A T = TO (out)(err) |
O = 26 T = 284.54 (out)(err) |
O = 47 T = 0.13 (out)(err) |
O = 45 T = 0.19 (out)(err) |
O = 42 T = 7.16 (out)(err) |
| kbtree9_7_3_5_40_5.wcsp.wcnf | O = 23 T = 0.53 |
O = 23 T = 0.53 (out)(err) |
O = 23 T = 24.13 (out)(err) |
O = 23 T = 0.58 (out)(err) |
O = N/A T = TO (out)(err) |
O = 29 T = 284.54 (out)(err) |
O = 44 T = 0.14 (out)(err) |
O = 51 T = 0.09 (out)(err) |
O = 33 T = 176.86 (out)(err) |
| kbtree9_7_3_5_40_6.wcsp.wcnf | O = 26 T = 0.52 |
O = 26 T = 0.62 (out)(err) |
O = 26 T = 98.74 (out)(err) |
O = 26 T = 0.52 (out)(err) |
O = N/A T = TO (out)(err) |
O = 37 T = 284.62 (out)(err) |
O = 57 T = 0.13 (out)(err) |
O = 55 T = 0.12 (out)(err) |
O = 40 T = 34.72 (out)(err) |
| kbtree9_7_3_5_50_1.wcsp.wcnf | O = 36 T = 0.64 |
O = 36 T = 0.64 (out)(err) |
O = 36 T = 63.85 (out)(err) |
O = 36 T = 0.78 (out)(err) |
O = N/A T = TO (out)(err) |
O = 53 T = 284.63 (out)(err) |
O = 68 T = 0.13 (out)(err) |
O = 71 T = 0.12 (out)(err) |
O = 51 T = 168.97 (out)(err) |
| kbtree9_7_3_5_50_2.wcsp.wcnf | O = 37 T = 0.83 |
O = 37 T = 1.74 (out)(err) |
O = 37 T = 221.08 (out)(err) |
O = 37 T = 0.83 (out)(err) |
O = N/A T = TO (out)(err) |
O = 53 T = 284.72 (out)(err) |
O = 63 T = 0.14 (out)(err) |
O = 72 T = 0.14 (out)(err) |
O = 47 T = 41.86 (out)(err) |
| kbtree9_7_3_5_50_3.wcsp.wcnf | O = 37 T = 0.66 |
O = 37 T = 1.16 (out)(err) |
O = 37 T = 13.28 (out)(err) |
O = 37 T = 0.66 (out)(err) |
O = N/A T = TO (out)(err) |
O = 58 T = 284.51 (out)(err) |
O = 78 T = 0.13 (out)(err) |
O = 67 T = 0.07 (out)(err) |
O = 53 T = 0.93 (out)(err) |
| kbtree9_7_3_5_50_4.wcsp.wcnf | O = 38 T = 0.61 |
O = 38 T = 1.34 (out)(err) |
O = 38 T = 255.41 (out)(err) |
O = 38 T = 0.61 (out)(err) |
O = N/A T = TO (out)(err) |
O = 52 T = 284.59 (out)(err) |
O = 49 T = 0.11 (out)(err) |
O = 60 T = 0.18 (out)(err) |
O = 55 T = 60.34 (out)(err) |
| kbtree9_7_3_5_50_5.wcsp.wcnf | O = 37 T = 0.99 |
O = 37 T = 0.99 (out)(err) |
O = 37 T = 8.77 (out)(err) |
O = 37 T = 1.09 (out)(err) |
O = N/A T = TO (out)(err) |
O = 49 T = 284.58 (out)(err) |
O = 68 T = 0.12 (out)(err) |
O = 58 T = 0.19 (out)(err) |
O = 51 T = 0.90 (out)(err) |
| kbtree9_7_3_5_50_6.wcsp.wcnf | O = 38 T = 0.63 |
O = 38 T = 0.63 (out)(err) |
O = 39 T = 255.47 (out)(err) |
O = 38 T = 1.03 (out)(err) |
O = N/A T = TO (out)(err) |
O = 43 T = 284.55 (out)(err) |
O = 54 T = 0.14 (out)(err) |
O = 69 T = 0.20 (out)(err) |
O = 51 T = 2.49 (out)(err) |
| kbtree9_7_3_5_60_1.wcsp.wcnf | O = 54 T = 0.66 |
O = 54 T = 0.96 (out)(err) |
O = 54 T = 39.51 (out)(err) |
O = 54 T = 0.66 (out)(err) |
O = N/A T = TO (out)(err) |
O = 75 T = 284.62 (out)(err) |
O = 97 T = 0.16 (out)(err) |
O = 93 T = 0.19 (out)(err) |
O = 75 T = 17.32 (out)(err) |
| kbtree9_7_3_5_60_2.wcsp.wcnf | O = 59 T = 0.46 |
O = 59 T = 0.67 (out)(err) |
O = 59 T = 2.39 (out)(err) |
O = 59 T = 0.46 (out)(err) |
O = N/A T = TO (out)(err) |
O = 69 T = 284.61 (out)(err) |
O = 91 T = 0.16 (out)(err) |
O = 85 T = 0.22 (out)(err) |
O = 74 T = 12.57 (out)(err) |
| kbtree9_7_3_5_60_3.wcsp.wcnf | O = 59 T = 0.68 |
O = 59 T = 0.76 (out)(err) |
O = 59 T = 9.48 (out)(err) |
O = 59 T = 0.68 (out)(err) |
O = N/A T = TO (out)(err) |
O = 77 T = 284.70 (out)(err) |
O = 89 T = 0.16 (out)(err) |
O = 90 T = 0.18 (out)(err) |
O = 72 T = 220.25 (out)(err) |
| kbtree9_7_3_5_60_4.wcsp.wcnf | O = 59 T = 0.45 |
O = 59 T = 0.51 (out)(err) |
O = 59 T = 193.14 (out)(err) |
O = 59 T = 0.45 (out)(err) |
O = N/A T = TO (out)(err) |
O = 71 T = 284.66 (out)(err) |
O = 86 T = 0.15 (out)(err) |
O = 77 T = 0.20 (out)(err) |
O = 73 T = 111.04 (out)(err) |
| kbtree9_7_3_5_60_5.wcsp.wcnf | O = 56 T = 0.99 |
O = 56 T = 0.99 (out)(err) |
O = 57 T = 252.42 (out)(err) |
O = 56 T = 1.06 (out)(err) |
O = N/A T = TO (out)(err) |
O = 67 T = 284.66 (out)(err) |
O = 93 T = 0.13 (out)(err) |
O = 82 T = 0.18 (out)(err) |
O = 76 T = 3.68 (out)(err) |
| kbtree9_7_3_5_60_6.wcsp.wcnf | O = 57 T = 0.69 |
O = 57 T = 0.69 (out)(err) |
O = 57 T = 53.06 (out)(err) |
O = 57 T = 0.72 (out)(err) |
O = N/A T = TO (out)(err) |
O = 73 T = 284.68 (out)(err) |
O = 85 T = 0.09 (out)(err) |
O = 100 T = 0.13 (out)(err) |
O = 71 T = 7.90 (out)(err) |
| kbtree9_7_3_5_70_1.wcsp.wcnf | O = 74 T = 0.64 |
O = 74 T = 3.19 (out)(err) |
O = 75 T = 249.49 (out)(err) |
O = 74 T = 0.64 (out)(err) |
O = N/A T = TO (out)(err) |
O = 89 T = 284.52 (out)(err) |
O = 105 T = 0.15 (out)(err) |
O = 109 T = 0.13 (out)(err) |
O = 90 T = 2.70 (out)(err) |
| kbtree9_7_3_5_70_2.wcsp.wcnf | O = 72 T = 0.92 |
O = 72 T = 0.92 (out)(err) |
O = 72 T = 40.23 (out)(err) |
O = 72 T = 0.99 (out)(err) |
O = N/A T = TO (out)(err) |
O = 98 T = 284.49 (out)(err) |
O = 110 T = 0.16 (out)(err) |
O = 97 T = 0.17 (out)(err) |
O = 92 T = 9.87 (out)(err) |
| kbtree9_7_3_5_70_3.wcsp.wcnf | O = 74 T = 0.80 |
O = 74 T = 0.80 (out)(err) |
O = 76 T = 252.26 (out)(err) |
O = 74 T = 2.13 (out)(err) |
O = N/A T = TO (out)(err) |
O = 100 T = 284.61 (out)(err) |
O = 104 T = 0.15 (out)(err) |
O = 116 T = 0.11 (out)(err) |
O = 92 T = 17.75 (out)(err) |
| kbtree9_7_3_5_70_4.wcsp.wcnf | O = 73 T = 0.64 |
O = 73 T = 0.65 (out)(err) |
O = 73 T = 249.35 (out)(err) |
O = 73 T = 0.64 (out)(err) |
O = N/A T = TO (out)(err) |
O = 87 T = 284.59 (out)(err) |
O = 105 T = 0.16 (out)(err) |
O = 114 T = 0.12 (out)(err) |
O = 92 T = 9.51 (out)(err) |
| kbtree9_7_3_5_70_5.wcsp.wcnf | O = 72 T = 0.66 |
O = 72 T = 1.28 (out)(err) |
O = 72 T = 5.24 (out)(err) |
O = 72 T = 0.66 (out)(err) |
O = N/A T = TO (out)(err) |
O = 90 T = 284.75 (out)(err) |
O = 117 T = 0.15 (out)(err) |
O = 105 T = 0.23 (out)(err) |
O = 90 T = 20.33 (out)(err) |
| kbtree9_7_3_5_70_6.wcsp.wcnf | O = 74 T = 0.74 |
O = 74 T = 0.92 (out)(err) |
O = 76 T = 248.71 (out)(err) |
O = 74 T = 0.74 (out)(err) |
O = N/A T = TO (out)(err) |
O = 94 T = 284.57 (out)(err) |
O = 106 T = 0.16 (out)(err) |
O = 102 T = 0.21 (out)(err) |
O = 84 T = 10.84 (out)(err) |
| kbtree9_7_3_5_80_1.wcsp.wcnf | O = 96 T = 0.88 |
O = 96 T = 1.08 (out)(err) |
O = 96 T = 242.04 (out)(err) |
O = 96 T = 0.88 (out)(err) |
O = N/A T = TO (out)(err) |
O = 117 T = 284.65 (out)(err) |
O = 133 T = 0.17 (out)(err) |
O = 129 T = 0.22 (out)(err) |
O = 120 T = 0.49 (out)(err) |
| kbtree9_7_3_5_80_2.wcsp.wcnf | O = 103 T = 14.26 |
O = 103 T = 19.31 (out)(err) |
O = 108 T = 243.39 (out)(err) |
O = 103 T = 14.26 (out)(err) |
O = N/A T = TO (out)(err) |
O = 121 T = 284.61 (out)(err) |
O = 125 T = 0.16 (out)(err) |
O = 128 T = 0.21 (out)(err) |
O = 118 T = 164.03 (out)(err) |
| kbtree9_7_3_5_80_3.wcsp.wcnf | O = 102 T = 1.54 |
O = 102 T = 6.86 (out)(err) |
O = 104 T = 64.12 (out)(err) |
O = 102 T = 1.54 (out)(err) |
O = N/A T = TO (out)(err) |
O = 119 T = 284.70 (out)(err) |
O = 129 T = 0.16 (out)(err) |
O = 132 T = 0.18 (out)(err) |
O = 120 T = 46.07 (out)(err) |
| kbtree9_7_3_5_80_4.wcsp.wcnf | O = 100 T = 6.38 |
O = 100 T = 10.04 (out)(err) |
O = 104 T = 242.14 (out)(err) |
O = 100 T = 6.38 (out)(err) |
O = N/A T = TO (out)(err) |
O = 121 T = 284.71 (out)(err) |
O = 136 T = 0.17 (out)(err) |
O = 126 T = 0.20 (out)(err) |
O = 119 T = 58.01 (out)(err) |
| kbtree9_7_3_5_80_5.wcsp.wcnf | O = 104 T = 0.97 |
O = 104 T = 0.97 (out)(err) |
O = 106 T = 83.52 (out)(err) |
O = 104 T = 1.37 (out)(err) |
O = N/A T = TO (out)(err) |
O = 112 T = 284.69 (out)(err) |
O = 125 T = 0.15 (out)(err) |
O = 135 T = 0.06 (out)(err) |
O = 115 T = 42.20 (out)(err) |
| kbtree9_7_3_5_80_6.wcsp.wcnf | O = 104 T = 1.38 |
O = 104 T = 2.85 (out)(err) |
O = 107 T = 156.26 (out)(err) |
O = 104 T = 1.38 (out)(err) |
O = N/A T = TO (out)(err) |
O = 118 T = 284.52 (out)(err) |
O = 123 T = 0.16 (out)(err) |
O = 138 T = 0.09 (out)(err) |
O = 116 T = 215.12 (out)(err) |
| kbtree9_7_3_5_90_1.wcsp.wcnf | O = 124 T = 56.93 |
O = 124 T = 56.93 (out)(err) |
O = 130 T = 158.14 (out)(err) |
O = 124 T = 98.11 (out)(err) |
O = N/A T = TO (out)(err) |
O = 142 T = 284.73 (out)(err) |
O = 151 T = 0.16 (out)(err) |
O = 152 T = 0.09 (out)(err) |
O = 135 T = 232.54 (out)(err) |
| kbtree9_7_3_5_90_2.wcsp.wcnf | O = 125 T = 7.36 |
O = 125 T = 7.36 (out)(err) |
O = 130 T = 19.20 (out)(err) |
O = 125 T = 74.08 (out)(err) |
O = N/A T = TO (out)(err) |
O = 135 T = 284.64 (out)(err) |
O = 151 T = 0.17 (out)(err) |
O = 151 T = 0.06 (out)(err) |
O = 138 T = 13.76 (out)(err) |
| kbtree9_7_3_5_90_3.wcsp.wcnf | O = 121 T = 2.10 |
O = 121 T = 2.10 (out)(err) |
O = 124 T = 234.07 (out)(err) |
O = 121 T = 32.74 (out)(err) |
O = N/A T = TO (out)(err) |
O = 140 T = 284.46 (out)(err) |
O = 146 T = 0.12 (out)(err) |
O = 143 T = 0.11 (out)(err) |
O = 138 T = 1.74 (out)(err) |
| kbtree9_7_3_5_90_4.wcsp.wcnf | O = 126 T = 14.70 |
O = 126 T = 16.74 (out)(err) |
O = 130 T = 234.30 (out)(err) |
O = 126 T = 14.70 (out)(err) |
O = N/A T = TO (out)(err) |
O = 144 T = 284.60 (out)(err) |
O = 148 T = 0.17 (out)(err) |
O = 154 T = 0.13 (out)(err) |
O = 139 T = 11.58 (out)(err) |
| kbtree9_7_3_5_90_5.wcsp.wcnf | O = 124 T = 71.76 |
O = 125 T = 2.10 (out)(err) |
O = 128 T = 233.55 (out)(err) |
O = 124 T = 71.76 (out)(err) |
O = N/A T = TO (out)(err) |
O = 144 T = 284.60 (out)(err) |
O = 153 T = 0.16 (out)(err) |
O = 151 T = 0.15 (out)(err) |
O = 140 T = 6.27 (out)(err) |
| kbtree9_7_3_5_90_6.wcsp.wcnf | O = 128 T = 27.44 |
O = 128 T = 27.44 (out)(err) |
O = 132 T = 233.51 (out)(err) |
O = 128 T = 80.93 (out)(err) |
O = N/A T = TO (out)(err) |
O = 138 T = 284.73 (out)(err) |
O = 154 T = 0.14 (out)(err) |
O = 153 T = 0.10 (out)(err) |
O = 140 T = 37.34 (out)(err) |
| normalized-mps-v2-20-10-stein15.opb.msat.wcnf | O = 9 T = 0.00 |
O = 9 T = 0.35 (out)(err) |
O = 9 T = 0.05 (out)(err) |
O = 9 T = 0.15 (out)(err) |
O = 9 T = 0.40 (out)(err) |
O = 9 T = 0.00 (out)(err) |
O = 9 T = 0.00 (out)(err) |
O = 9 T = 0.13 (out)(err) |
O = 9 T = 0.00 (out)(err) |
| normalized-mps-v2-20-10-stein27.opb.msat.wcnf | O = 18 T = 0.04 |
O = 18 T = 0.37 (out)(err) |
O = 18 T = 0.05 (out)(err) |
O = 18 T = 0.38 (out)(err) |
O = 18 T = 2.27 (out)(err) |
O = 18 T = 0.04 (out)(err) |
O = 18 T = 0.31 (out)(err) |
O = 18 T = 0.14 (out)(err) |
O = 18 T = 0.16 (out)(err) |
| normalized-mps-v2-20-10-stein45.opb.msat.wcnf | O = 30 T = 0.27 |
O = 30 T = 0.49 (out)(err) |
O = 30 T = 241.19 (out)(err) |
O = 30 T = 0.27 (out)(err) |
O = N/A T = TO (out)(err) |
O = 30 T = 1.21 (out)(err) |
O = 30 T = 21.18 (out)(err) |
O = 33 T = 0.21 (out)(err) |
O = 30 T = 0.76 (out)(err) |
| normalized-mps-v2-20-10-stein9.opb.msat.wcnf | O = 5 T = 0.00 |
O = 5 T = 0.41 (out)(err) |
O = 5 T = 0.04 (out)(err) |
O = 5 T = 0.11 (out)(err) |
O = 5 T = 0.24 (out)(err) |
O = 5 T = 0.00 (out)(err) |
O = 5 T = 0.00 (out)(err) |
O = 5 T = 0.00 (out)(err) |
O = 5 T = 0.00 (out)(err) |
| rev44-10.wcnf | O = 5 T = 0.24 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 5 T = 13.36 (out)(err) |
O = 5 T = 3.91 (out)(err) |
O = 5 T = 0.40 (out)(err) |
O = 5 T = 0.58 (out)(err) |
O = 5 T = 8.29 (out)(err) |
O = 5 T = 0.24 (out)(err) |
| rev44-12.wcnf | O = 2 T = 0.59 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3 T = 123.40 (out)(err) |
O = 2 T = 3.59 (out)(err) |
O = 2 T = 0.70 (out)(err) |
O = 2 T = 0.67 (out)(err) |
O = 2 T = 0.81 (out)(err) |
O = 2 T = 0.59 (out)(err) |
| rev44-14.wcnf | O = 0 T = 0.01 |
O = N/A T = TO (out)(err) |
O = 0 T = 159.20 (out)(err) |
O = 2 T = 199.69 (out)(err) |
O = 0 T = 1.66 (out)(err) |
O = 0 T = 0.01 (out)(err) |
O = 0 T = 0.04 (out)(err) |
O = 0 T = 0.09 (out)(err) |
O = 0 T = 0.14 (out)(err) |
| rev44-16.wcnf | O = 0 T = 0.03 |
O = N/A T = TO (out)(err) |
O = 0 T = 38.68 (out)(err) |
O = 6 T = 32.26 (out)(err) |
O = 0 T = 1.93 (out)(err) |
O = 0 T = 0.03 (out)(err) |
O = 0 T = 0.07 (out)(err) |
O = 0 T = 0.03 (out)(err) |
O = 0 T = 0.03 (out)(err) |
| rev44-18.wcnf | O = 0 T = 0.02 |
O = N/A T = TO (out)(err) |
O = 0 T = 17.63 (out)(err) |
O = 8 T = 259.23 (out)(err) |
O = 0 T = 2.05 (out)(err) |
O = 0 T = 0.02 (out)(err) |
O = 0 T = 0.06 (out)(err) |
O = 0 T = 0.13 (out)(err) |
O = 0 T = 0.09 (out)(err) |
| rev44-2.wcnf | O = 16 T = 0.00 |
O = 16 T = 145.28 (out)(err) |
O = N/A T = TO (out)(err) |
O = 16 T = 0.05 (out)(err) |
O = 16 T = 0.43 (out)(err) |
O = 16 T = 0.00 (out)(err) |
O = 16 T = 0.00 (out)(err) |
O = 16 T = 0.01 (out)(err) |
O = 16 T = 0.00 (out)(err) |
| rev44-20.wcnf | O = 0 T = 0.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 0 T = 1.59 (out)(err) |
O = 0 T = 0.03 (out)(err) |
O = 0 T = 0.05 (out)(err) |
O = 0 T = 0.10 (out)(err) |
O = 0 T = 0.14 (out)(err) |
| rev44-22.wcnf | O = 0 T = 0.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 0 T = 1.83 (out)(err) |
O = 0 T = 0.03 (out)(err) |
O = 0 T = 0.16 (out)(err) |
O = 0 T = 0.10 (out)(err) |
O = 0 T = 0.13 (out)(err) |
| rev44-24.wcnf | O = 0 T = 0.03 |
O = N/A T = TO (out)(err) |
O = 2 T = 236.76 (out)(err) |
O = N/A T = TO (out)(err) |
O = 0 T = 3.10 (out)(err) |
O = 0 T = 0.03 (out)(err) |
O = 0 T = 0.08 (out)(err) |
O = 0 T = 0.10 (out)(err) |
O = 0 T = 0.19 (out)(err) |
| rev44-4.wcnf | O = 14 T = 0.00 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 14 T = 0.03 (out)(err) |
O = 14 T = 0.81 (out)(err) |
O = 14 T = 0.01 (out)(err) |
O = 14 T = 0.00 (out)(err) |
O = 14 T = 0.05 (out)(err) |
O = 14 T = 0.01 (out)(err) |
| rev44-6.wcnf | O = 11 T = 0.05 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 11 T = 0.11 (out)(err) |
O = 11 T = 1.28 (out)(err) |
O = 11 T = 0.06 (out)(err) |
O = 11 T = 0.05 (out)(err) |
O = 11 T = 246.20 (out)(err) |
O = 11 T = 0.08 (out)(err) |
| rev44-8.wcnf | O = 8 T = 0.22 |
O = N/A T = TO (out)(err) |
O = 8 T = 152.86 (out)(err) |
O = 8 T = 4.81 (out)(err) |
O = 8 T = 1.71 (out)(err) |
O = 8 T = 0.22 (out)(err) |
O = 8 T = 0.30 (out)(err) |
O = 8 T = 45.26 (out)(err) |
O = 8 T = 0.47 (out)(err) |
| rev66-10.wcnf | O = 23 T = 9.12 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 32 T = 203.40 (out)(err) |
O = N/A T = TO (out)(err) |
O = 23 T = 41.54 (out)(err) |
O = 28 T = 1.73 (out)(err) |
O = 40 T = 0.09 (out)(err) |
O = 23 T = 9.12 (out)(err) |
| rev66-12.wcnf | O = 21 T = 66.07 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 21 T = 284.51 (out)(err) |
O = 26 T = 10.24 (out)(err) |
O = 36 T = 0.14 (out)(err) |
O = 21 T = 66.07 (out)(err) |
| rev66-14.wcnf | O = 19 T = 125.61 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 19 T = 284.67 (out)(err) |
O = 24 T = 132.96 (out)(err) |
O = 26 T = 0.13 (out)(err) |
O = 19 T = 125.61 (out)(err) |
| rev66-16.wcnf | O = 17 T = 252.81 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 17 T = 284.72 (out)(err) |
O = N/A T = TO (out)(err) |
O = 40 T = 0.15 (out)(err) |
O = 17 T = 252.81 (out)(err) |
| rev66-18.wcnf | O = 15 T = 113.41 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 40 T = 284.57 (out)(err) |
O = N/A T = TO (out)(err) |
O = 40 T = 0.17 (out)(err) |
O = 15 T = 113.41 (out)(err) |
| rev66-2.wcnf | O = 36 T = 0.00 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 36 T = 0.02 (out)(err) |
O = 36 T = 1.50 (out)(err) |
O = 36 T = 0.01 (out)(err) |
O = 36 T = 0.00 (out)(err) |
O = 36 T = 0.05 (out)(err) |
O = 36 T = 0.01 (out)(err) |
| rev66-20.wcnf | O = 13 T = 93.93 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 40 T = 284.65 (out)(err) |
O = N/A T = TO (out)(err) |
O = 34 T = 0.30 (out)(err) |
O = 13 T = 93.93 (out)(err) |
| rev66-22.wcnf | O = 15 T = 186.45 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 32 T = 284.68 (out)(err) |
O = N/A T = TO (out)(err) |
O = 42 T = 0.33 (out)(err) |
O = 15 T = 186.45 (out)(err) |
| rev66-24.wcnf | O = 14 T = 194.20 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 46 T = 284.68 (out)(err) |
O = N/A T = TO (out)(err) |
O = 21 T = 0.43 (out)(err) |
O = 14 T = 194.20 (out)(err) |
| rev66-26.wcnf | O = 7 T = 242.13 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 48 T = 284.64 (out)(err) |
O = N/A T = TO (out)(err) |
O = 44 T = 0.39 (out)(err) |
O = 7 T = 242.13 (out)(err) |
| rev66-28.wcnf | O = 12 T = 184.24 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 44 T = 284.65 (out)(err) |
O = N/A T = TO (out)(err) |
O = 38 T = 0.45 (out)(err) |
O = 12 T = 184.24 (out)(err) |
| rev66-30.wcnf | O = 3 T = 58.24 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 36 T = 284.70 (out)(err) |
O = N/A T = TO (out)(err) |
O = 48 T = 0.50 (out)(err) |
O = 3 T = 58.24 (out)(err) |
| rev66-32.wcnf | O = 1 T = 72.15 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 44 T = 284.54 (out)(err) |
O = N/A T = TO (out)(err) |
O = 50 T = 0.56 (out)(err) |
O = 1 T = 72.15 (out)(err) |
| rev66-34.wcnf | O = 0 T = 4.83 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 0 T = 106.08 (out)(err) |
O = 0 T = 4.83 (out)(err) |
O = 0 T = 12.07 (out)(err) |
O = 0 T = 8.48 (out)(err) |
O = 0 T = 32.86 (out)(err) |
| rev66-36.wcnf | O = 0 T = 0.97 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 0 T = 83.82 (out)(err) |
O = 0 T = 0.97 (out)(err) |
O = 0 T = 4.37 (out)(err) |
O = 0 T = 48.49 (out)(err) |
O = 0 T = 15.58 (out)(err) |
| rev66-38.wcnf | O = 0 T = 4.39 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 0 T = 54.36 (out)(err) |
O = 0 T = 4.39 (out)(err) |
O = 0 T = 12.35 (out)(err) |
O = 0 T = 9.88 (out)(err) |
O = 0 T = 36.08 (out)(err) |
| rev66-4.wcnf | O = 34 T = 0.01 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 34 T = 0.10 (out)(err) |
O = 34 T = 2.09 (out)(err) |
O = 34 T = 0.05 (out)(err) |
O = 34 T = 0.01 (out)(err) |
O = 36 T = 0.02 (out)(err) |
O = 34 T = 0.04 (out)(err) |
| rev66-40.wcnf | O = 0 T = 4.13 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 0 T = 133.80 (out)(err) |
O = 0 T = 27.44 (out)(err) |
O = 0 T = 5.07 (out)(err) |
O = 0 T = 13.74 (out)(err) |
O = 0 T = 4.13 (out)(err) |
| rev66-42.wcnf | O = 0 T = 4.14 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 0 T = 30.53 (out)(err) |
O = 0 T = 4.14 (out)(err) |
O = 0 T = 14.89 (out)(err) |
O = 0 T = 36.50 (out)(err) |
O = 0 T = 13.79 (out)(err) |
| rev66-44.wcnf | O = 0 T = 9.41 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 0 T = 118.99 (out)(err) |
O = 0 T = 11.79 (out)(err) |
O = 0 T = 9.41 (out)(err) |
O = 0 T = 44.56 (out)(err) |
O = 0 T = 35.56 (out)(err) |
| rev66-46.wcnf | O = 0 T = 1.72 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 0 T = 146.33 (out)(err) |
O = 0 T = 1.72 (out)(err) |
O = 0 T = 11.85 (out)(err) |
O = 0 T = 16.38 (out)(err) |
O = 0 T = 35.26 (out)(err) |
| rev66-48.wcnf | O = 0 T = 16.84 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 0 T = 141.84 (out)(err) |
O = 0 T = 18.06 (out)(err) |
O = 0 T = 24.54 (out)(err) |
O = 0 T = 16.84 (out)(err) |
O = 0 T = 59.48 (out)(err) |
| rev66-50.wcnf | O = 0 T = 2.91 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 0 T = 104.79 (out)(err) |
O = 0 T = 20.68 (out)(err) |
O = 0 T = 27.72 (out)(err) |
O = 0 T = 2.91 (out)(err) |
O = 0 T = 35.16 (out)(err) |
| rev66-52.wcnf | O = 0 T = 11.88 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 0 T = 219.54 (out)(err) |
O = 0 T = 37.40 (out)(err) |
O = 0 T = 13.14 (out)(err) |
O = 0 T = 11.88 (out)(err) |
O = 0 T = 41.98 (out)(err) |
| rev66-54.wcnf | O = 0 T = 13.39 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 0 T = 165.89 (out)(err) |
O = 0 T = 15.00 (out)(err) |
O = 0 T = 13.39 (out)(err) |
O = 0 T = 27.80 (out)(err) |
O = 0 T = 66.49 (out)(err) |
| rev66-56.wcnf | O = 0 T = 15.94 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 0 T = 121.17 (out)(err) |
O = 0 T = 20.52 (out)(err) |
O = 0 T = 15.94 (out)(err) |
O = 0 T = 21.53 (out)(err) |
O = 0 T = 40.12 (out)(err) |
| rev66-58.wcnf | O = 0 T = 20.79 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 0 T = 156.10 (out)(err) |
O = 0 T = 32.51 (out)(err) |
O = 0 T = 20.79 (out)(err) |
O = 0 T = 45.70 (out)(err) |
O = 0 T = 97.90 (out)(err) |
| rev66-6.wcnf | O = 32 T = 0.07 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 32 T = 0.72 (out)(err) |
O = 32 T = 4.14 (out)(err) |
O = 32 T = 0.09 (out)(err) |
O = 32 T = 0.07 (out)(err) |
O = 40 T = 0.03 (out)(err) |
O = 32 T = 0.11 (out)(err) |
| rev66-60.wcnf | O = 0 T = 8.39 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 0 T = 111.30 (out)(err) |
O = 0 T = 23.81 (out)(err) |
O = 0 T = 8.74 (out)(err) |
O = 0 T = 8.39 (out)(err) |
O = 0 T = 15.44 (out)(err) |
| rev66-62.wcnf | O = 0 T = 18.73 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 0 T = 78.37 (out)(err) |
O = 0 T = 18.73 (out)(err) |
O = 0 T = 24.80 (out)(err) |
O = 0 T = 54.70 (out)(err) |
O = 0 T = 58.28 (out)(err) |
| rev66-64.wcnf | O = 0 T = 10.01 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 0 T = 249.41 (out)(err) |
O = 0 T = 27.05 (out)(err) |
O = 0 T = 20.03 (out)(err) |
O = 0 T = 10.01 (out)(err) |
O = 0 T = 82.88 (out)(err) |
| rev66-8.wcnf | O = 30 T = 1.25 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 32 T = 8.63 (out)(err) |
O = 30 T = 10.14 (out)(err) |
O = 30 T = 3.86 (out)(err) |
O = 32 T = 0.63 (out)(err) |
O = 38 T = 0.07 (out)(err) |
O = 30 T = 1.25 (out)(err) |
| cnf_10.wcnf | O = 102 T = 135.85 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 149 T = 147.31 (out)(err) |
O = N/A T = TO (out)(err) |
O = 164 T = 284.59 (out)(err) |
O = N/A T = TO (out)(err) |
O = 334 T = 1.81 (out)(err) |
O = 102 T = 135.85 (out)(err) |
| cnf_10_center.wcnf | O = 168 T = 20.04 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 237 T = 160.39 (out)(err) |
O = N/A T = TO (out)(err) |
O = 275 T = 284.66 (out)(err) |
O = 168 T = 20.04 (out)(err) |
O = 339 T = 0.56 (out)(err) |
O = 193 T = 194.90 (out)(err) |
| cnf_12.wcnf | O = 82 T = 256.16 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 125 T = 184.66 (out)(err) |
O = N/A T = TO (out)(err) |
O = 140 T = 284.75 (out)(err) |
O = N/A T = TO (out)(err) |
O = 229 T = 1.58 (out)(err) |
O = 82 T = 256.16 (out)(err) |
| cnf_12_center.wcnf | O = 244 T = 14.65 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 282 T = 161.61 (out)(err) |
O = N/A T = TO (out)(err) |
O = 308 T = 284.74 (out)(err) |
O = 244 T = 14.65 (out)(err) |
O = N/A T = TO (out)(err) |
O = 255 T = 87.41 (out)(err) |
| cnf_small.wcnf | O = 30 T = 206.12 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 58 T = 19.32 (out)(err) |
O = N/A T = TO (out)(err) |
O = 42 T = 284.61 (out)(err) |
O = 41 T = 9.39 (out)(err) |
O = 78 T = 0.05 (out)(err) |
O = 30 T = 206.12 (out)(err) |