Label | Meaning |
---|---|
S | Solution {OPTIMUM FOUND or OPT | UNSATISFIABLE or UNSAT | UNKNOWN | Not available or N/A} |
O | Best solution found |
T | CPU time (TO for Time Out) |
(out)(err) | Standard output and standard error for each solver |
Color | Meaning for Complete Solvers | Meaning for Incomplete Solvers |
---|---|---|
Text | Best solver column | Best solver column |
Text | Optimal solution with the best CPU time | Best solution with the best CPU time |
Text | Optimal solution and finished within the Time Out | Best solution without the best CPU time |
Text | Optimal solution and did not finish within the Time Out | Solution found but not the best |
Text | Time Out | Time Out |
Text | Buggy solution | Buggy solution |
Instance file name | Best solver | CCLS | SAT4Jms-ext-i | SAT4Jms-int-i | iraNovelty++ | optimax-it |
---|---|---|---|---|---|---|
HG-3SAT-V250-C1000-1.cnf | O = 5 T = 18.73 |
O = 5 T = 18.73 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 5 T = 38.72 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V250-C1000-10.cnf | O = 6 T = 2.70 |
O = 6 T = 2.70 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6 T = 8.45 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V250-C1000-100.cnf | O = 6 T = 3.35 |
O = 6 T = 3.35 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6 T = 9.23 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V250-C1000-11.cnf | O = 6 T = 3.62 |
O = 6 T = 3.62 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6 T = 6.04 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V250-C1000-12.cnf | O = 6 T = 2.72 |
O = 6 T = 2.72 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6 T = 80.56 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V250-C1000-13.cnf | O = 5 T = 2.20 |
O = 5 T = 2.20 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 5 T = 270.23 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V250-C1000-14.cnf | O = 5 T = 3.35 |
O = 5 T = 3.35 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 5 T = 277.30 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V250-C1000-15.cnf | O = 5 T = 3.33 |
O = 5 T = 3.33 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 5 T = 6.59 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V250-C1000-16.cnf | O = 5 T = 6.25 |
O = 5 T = 6.25 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 5 T = 230.56 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V250-C1000-17.cnf | O = 6 T = 4.33 |
O = 6 T = 4.33 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6 T = 34.96 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V250-C1000-18.cnf | O = 6 T = 23.10 |
O = 6 T = 23.10 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6 T = 160.93 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V250-C1000-19.cnf | O = 5 T = 3.22 |
O = 5 T = 3.22 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 5 T = 9.06 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V250-C1000-2.cnf | O = 5 T = 2.41 |
O = 5 T = 2.41 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 5 T = 31.21 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V250-C1000-20.cnf | O = 7 T = 2.70 |
O = 7 T = 2.70 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 2.87 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V250-C1000-21.cnf | O = 4 T = 58.94 |
O = 4 T = 212.31 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4 T = 58.94 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V250-C1000-22.cnf | O = 5 T = 12.40 |
O = 5 T = 12.40 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 5 T = 60.12 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V250-C1000-23.cnf | O = 6 T = 4.12 |
O = 6 T = 4.12 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6 T = 5.88 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V250-C1000-24.cnf | O = 5 T = 3.91 |
O = 5 T = 3.91 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 5 T = 95.31 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V250-C1000-3.cnf | O = 5 T = 96.19 |
O = 5 T = 96.19 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 5 T = 277.43 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V250-C1000-4.cnf | O = 6 T = 16.04 |
O = 6 T = 16.04 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6 T = 16.22 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V250-C1000-5.cnf | O = 6 T = 2.96 |
O = 6 T = 2.96 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6 T = 9.46 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V250-C1000-6.cnf | O = 6 T = 3.15 |
O = 6 T = 3.15 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6 T = 113.76 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V250-C1000-7.cnf | O = 6 T = 3.40 |
O = 6 T = 3.40 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6 T = 180.21 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V250-C1000-8.cnf | O = 5 T = 20.91 |
O = 5 T = 279.21 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 5 T = 20.91 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V250-C1000-9.cnf | O = 6 T = 3.71 |
O = 6 T = 3.71 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6 T = 68.87 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V300-C1200-1.cnf | O = 6 T = 20.33 |
O = 6 T = 62.57 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6 T = 20.33 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V300-C1200-10.cnf | O = 7 T = 63.94 |
O = 7 T = 63.94 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 259.01 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V300-C1200-100.cnf | O = 6 T = 3.47 |
O = 6 T = 3.47 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 43.94 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V300-C1200-11.cnf | O = 6 T = 3.77 |
O = 6 T = 3.77 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6 T = 25.76 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V300-C1200-12.cnf | O = 7 T = 3.95 |
O = 7 T = 3.95 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 280.57 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V300-C1200-13.cnf | O = 6 T = 53.41 |
O = 6 T = 53.41 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8 T = 13.32 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V300-C1200-14.cnf | O = 6 T = 3.43 |
O = 6 T = 3.43 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6 T = 82.89 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V300-C1200-15.cnf | O = 7 T = 3.85 |
O = 7 T = 3.85 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 232.00 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V300-C1200-16.cnf | O = 6 T = 3.11 |
O = 6 T = 22.05 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6 T = 3.11 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V300-C1200-17.cnf | O = 7 T = 20.48 |
O = 7 T = 20.48 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 221.03 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V300-C1200-18.cnf | O = 7 T = 3.74 |
O = 7 T = 3.74 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 24.28 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V300-C1200-19.cnf | O = 6 T = 58.14 |
O = 6 T = 58.14 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6 T = 265.77 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V300-C1200-2.cnf | O = 5 T = 93.35 |
O = 5 T = 93.35 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6 T = 197.99 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V300-C1200-20.cnf | O = 6 T = 9.67 |
O = 6 T = 9.67 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6 T = 42.12 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V300-C1200-21.cnf | O = 5 T = 3.03 |
O = 5 T = 3.03 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6 T = 12.01 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V300-C1200-22.cnf | O = 6 T = 164.65 |
O = 6 T = 164.65 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 164.81 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V300-C1200-23.cnf | O = 7 T = 3.73 |
O = 7 T = 3.73 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 156.12 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V300-C1200-24.cnf | O = 7 T = 4.78 |
O = 7 T = 4.78 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 84.02 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V300-C1200-3.cnf | O = 6 T = 4.82 |
O = 6 T = 4.82 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6 T = 81.83 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V300-C1200-4.cnf | O = 7 T = 4.57 |
O = 7 T = 4.57 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 10.04 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V300-C1200-5.cnf | O = 6 T = 14.25 |
O = 6 T = 14.25 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 83.42 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V300-C1200-6.cnf | O = 6 T = 4.80 |
O = 6 T = 4.80 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 19.31 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V300-C1200-7.cnf | O = 5 T = 20.00 |
O = 6 T = 4.83 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 5 T = 20.00 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V300-C1200-8.cnf | O = 7 T = 4.58 |
O = 7 T = 4.58 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8 T = 38.47 (out)(err) |
O = N/A T = TO (out)(err) |
HG-3SAT-V300-C1200-9.cnf | O = 7 T = 4.43 |
O = 7 T = 4.43 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 19.42 (out)(err) |
O = N/A T = TO (out)(err) |
HG-4SAT-V100-C900-14.cnf | O = 2 T = 1.49 |
O = 2 T = 1.69 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2 T = 1.49 (out)(err) |
O = N/A T = TO (out)(err) |
HG-4SAT-V100-C900-19.cnf | O = 2 T = 1.65 |
O = 2 T = 1.65 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2 T = 5.89 (out)(err) |
O = N/A T = TO (out)(err) |
HG-4SAT-V100-C900-2.cnf | O = 2 T = 1.34 |
O = 2 T = 1.34 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2 T = 1.72 (out)(err) |
O = N/A T = TO (out)(err) |
HG-4SAT-V100-C900-20.cnf | O = 2 T = 1.33 |
O = 2 T = 1.43 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2 T = 1.33 (out)(err) |
O = N/A T = TO (out)(err) |
HG-4SAT-V100-C900-23.cnf | O = 2 T = 1.11 |
O = 2 T = 1.11 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2 T = 1.18 (out)(err) |
O = N/A T = TO (out)(err) |
HG-4SAT-V100-C900-4.cnf | O = 2 T = 1.07 |
O = 2 T = 1.76 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2 T = 1.07 (out)(err) |
O = N/A T = TO (out)(err) |
HG-4SAT-V100-C900-7.cnf | O = 2 T = 0.97 |
O = 2 T = 1.24 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2 T = 0.97 (out)(err) |
O = N/A T = TO (out)(err) |
HG-4SAT-V150-C1350-1.cnf | O = 1 T = 2.58 |
O = 1 T = 2.58 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1 T = 3.07 (out)(err) |
O = N/A T = TO (out)(err) |
HG-4SAT-V150-C1350-10.cnf | O = 1 T = 1.71 |
O = 1 T = 8.79 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1 T = 1.71 (out)(err) |
O = N/A T = TO (out)(err) |
HG-4SAT-V150-C1350-100.cnf | O = 1 T = 11.89 |
O = 1 T = 11.89 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1 T = 13.89 (out)(err) |
O = N/A T = TO (out)(err) |
HG-4SAT-V150-C1350-11.cnf | O = 2 T = 1.86 |
O = 2 T = 1.86 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2 T = 2.33 (out)(err) |
O = N/A T = TO (out)(err) |
HG-4SAT-V150-C1350-12.cnf | O = 2 T = 1.74 |
O = 2 T = 1.74 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2 T = 3.59 (out)(err) |
O = N/A T = TO (out)(err) |
HG-4SAT-V150-C1350-13.cnf | O = 1 T = 19.35 |
O = 1 T = 19.35 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1 T = 25.83 (out)(err) |
O = N/A T = TO (out)(err) |
HG-4SAT-V150-C1350-14.cnf | O = 1 T = 39.15 |
O = 1 T = 39.15 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1 T = 43.61 (out)(err) |
O = N/A T = TO (out)(err) |
HG-4SAT-V150-C1350-15.cnf | O = 1 T = 26.66 |
O = 1 T = 48.64 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1 T = 26.66 (out)(err) |
O = N/A T = TO (out)(err) |
HG-4SAT-V150-C1350-16.cnf | O = 1 T = 6.56 |
O = 1 T = 6.56 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1 T = 167.15 (out)(err) |
O = N/A T = TO (out)(err) |
HG-4SAT-V150-C1350-17.cnf | O = 2 T = 5.52 |
O = 2 T = 5.52 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2 T = 12.47 (out)(err) |
O = N/A T = TO (out)(err) |
HG-4SAT-V150-C1350-18.cnf | O = 1 T = 96.15 |
O = 2 T = 3.09 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1 T = 96.15 (out)(err) |
O = N/A T = TO (out)(err) |
HG-4SAT-V150-C1350-19.cnf | O = 1 T = 26.66 |
O = 1 T = 154.64 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1 T = 26.66 (out)(err) |
O = N/A T = TO (out)(err) |
HG-4SAT-V150-C1350-2.cnf | O = 1 T = 56.01 |
O = 2 T = 3.29 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1 T = 56.01 (out)(err) |
O = N/A T = TO (out)(err) |
HG-4SAT-V150-C1350-20.cnf | O = 2 T = 8.37 |
O = 2 T = 8.37 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2 T = 29.98 (out)(err) |
O = N/A T = TO (out)(err) |
HG-4SAT-V150-C1350-21.cnf | O = 2 T = 2.01 |
O = 2 T = 2.01 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2 T = 5.75 (out)(err) |
O = N/A T = TO (out)(err) |
HG-4SAT-V150-C1350-22.cnf | O = 1 T = 30.30 |
O = 1 T = 91.45 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1 T = 30.30 (out)(err) |
O = N/A T = TO (out)(err) |
HG-4SAT-V150-C1350-23.cnf | O = 0 T = 36.80 |
O = 0 T = 36.80 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2 T = 11.10 (out)(err) |
O = N/A T = TO (out)(err) |
HG-4SAT-V150-C1350-24.cnf | O = 2 T = 2.01 |
O = 2 T = 2.01 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2 T = 4.09 (out)(err) |
O = N/A T = TO (out)(err) |
HG-4SAT-V150-C1350-3.cnf | O = 1 T = 5.06 |
O = 1 T = 5.06 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1 T = 38.58 (out)(err) |
O = N/A T = TO (out)(err) |
HG-4SAT-V150-C1350-4.cnf | O = 1 T = 1.86 |
O = 1 T = 1.86 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1 T = 3.15 (out)(err) |
O = N/A T = TO (out)(err) |
HG-4SAT-V150-C1350-5.cnf | O = 2 T = 2.01 |
O = 2 T = 2.01 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2 T = 2.23 (out)(err) |
O = N/A T = TO (out)(err) |
HG-4SAT-V150-C1350-6.cnf | O = 1 T = 16.20 |
O = 2 T = 1.98 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1 T = 16.20 (out)(err) |
O = N/A T = TO (out)(err) |
HG-4SAT-V150-C1350-7.cnf | O = 1 T = 115.20 |
O = 2 T = 2.40 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1 T = 115.20 (out)(err) |
O = N/A T = TO (out)(err) |
HG-4SAT-V150-C1350-8.cnf | O = 2 T = 2.20 |
O = 2 T = 2.20 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2 T = 26.46 (out)(err) |
O = N/A T = TO (out)(err) |
HG-4SAT-V150-C1350-9.cnf | O = 2 T = 2.65 |
O = 2 T = 2.65 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2 T = 10.60 (out)(err) |
O = N/A T = TO (out)(err) |
s2v120c1200-1.cnf | O = 161 T = 2.68 |
O = 161 T = 2.68 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 161 T = 9.40 (out)(err) |
O = 194 T = 0.08 (out)(err) |
s2v120c1200-10.cnf | O = 154 T = 2.52 |
O = 154 T = 2.52 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 154 T = 2.77 (out)(err) |
O = 187 T = 0.12 (out)(err) |
s2v120c1200-2.cnf | O = 159 T = 2.37 |
O = 159 T = 2.37 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 159 T = 97.12 (out)(err) |
O = 204 T = 0.10 (out)(err) |
s2v120c1200-3.cnf | O = 160 T = 1.91 |
O = 160 T = 1.91 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 160 T = 6.73 (out)(err) |
O = 202 T = 0.08 (out)(err) |
s2v120c1200-4.cnf | O = 157 T = 1.67 |
O = 157 T = 1.67 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 157 T = 26.11 (out)(err) |
O = 203 T = 0.08 (out)(err) |
s2v120c1200-5.cnf | O = 143 T = 2.04 |
O = 143 T = 2.04 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 144 T = 4.44 (out)(err) |
O = 177 T = 0.08 (out)(err) |
s2v120c1200-6.cnf | O = 167 T = 2.16 |
O = 167 T = 2.16 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 5.52 (out)(err) |
O = 210 T = 0.12 (out)(err) |
s2v120c1200-7.cnf | O = 162 T = 2.48 |
O = 162 T = 2.48 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 162 T = 4.85 (out)(err) |
O = 206 T = 0.08 (out)(err) |
s2v120c1200-8.cnf | O = 165 T = 2.63 |
O = 165 T = 2.63 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 166 T = 18.38 (out)(err) |
O = 207 T = 0.13 (out)(err) |
s2v120c1200-9.cnf | O = 148 T = 2.91 |
O = 148 T = 2.91 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 148 T = 26.14 (out)(err) |
O = 169 T = 0.12 (out)(err) |
s2v120c1300-1.cnf | O = 180 T = 2.69 |
O = 180 T = 2.69 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 180 T = 5.21 (out)(err) |
O = 223 T = 0.08 (out)(err) |
s2v120c1300-10.cnf | O = 180 T = 2.40 |
O = 180 T = 2.40 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 180 T = 27.31 (out)(err) |
O = 219 T = 0.08 (out)(err) |
s2v120c1300-2.cnf | O = 172 T = 2.11 |
O = 172 T = 2.11 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 172 T = 195.66 (out)(err) |
O = 209 T = 0.13 (out)(err) |
s2v120c1300-3.cnf | O = 173 T = 2.14 |
O = 173 T = 2.14 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 173 T = 51.51 (out)(err) |
O = 211 T = 0.11 (out)(err) |
s2v120c1300-4.cnf | O = 176 T = 1.94 |
O = 176 T = 1.94 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 176 T = 42.12 (out)(err) |
O = 213 T = 0.12 (out)(err) |
s2v120c1300-5.cnf | O = 168 T = 2.47 |
O = 168 T = 2.47 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 168 T = 106.24 (out)(err) |
O = 204 T = 0.12 (out)(err) |
s2v120c1300-6.cnf | O = 180 T = 2.93 |
O = 180 T = 2.93 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 181 T = 46.44 (out)(err) |
O = 217 T = 0.12 (out)(err) |
s2v120c1300-7.cnf | O = 169 T = 2.60 |
O = 169 T = 2.60 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 170 T = 9.67 (out)(err) |
O = 225 T = 0.08 (out)(err) |
s2v120c1300-8.cnf | O = 174 T = 3.20 |
O = 174 T = 3.20 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 174 T = 99.37 (out)(err) |
O = 224 T = 0.08 (out)(err) |
s2v120c1300-9.cnf | O = 186 T = 2.70 |
O = 186 T = 2.70 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 186 T = 37.43 (out)(err) |
O = 218 T = 0.12 (out)(err) |
s2v120c1400-1.cnf | O = 197 T = 2.88 |
O = 197 T = 2.88 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 198 T = 156.19 (out)(err) |
O = 245 T = 0.10 (out)(err) |
s2v120c1400-10.cnf | O = 211 T = 2.89 |
O = 211 T = 2.89 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 211 T = 100.74 (out)(err) |
O = 253 T = 0.12 (out)(err) |
s2v120c1400-2.cnf | O = 191 T = 2.44 |
O = 191 T = 2.44 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 192 T = 42.92 (out)(err) |
O = 238 T = 0.11 (out)(err) |
s2v120c1400-3.cnf | O = 189 T = 2.69 |
O = 189 T = 2.69 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 189 T = 16.38 (out)(err) |
O = 213 T = 0.10 (out)(err) |
s2v120c1400-4.cnf | O = 200 T = 2.22 |
O = 200 T = 2.22 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 200 T = 101.89 (out)(err) |
O = 240 T = 0.14 (out)(err) |
s2v120c1400-5.cnf | O = 199 T = 2.43 |
O = 199 T = 2.43 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 199 T = 44.60 (out)(err) |
O = 258 T = 0.10 (out)(err) |
s2v120c1400-6.cnf | O = 196 T = 3.40 |
O = 196 T = 3.40 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 196 T = 5.49 (out)(err) |
O = 240 T = 0.09 (out)(err) |
s2v120c1400-7.cnf | O = 206 T = 2.74 |
O = 206 T = 2.74 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 207 T = 44.50 (out)(err) |
O = 263 T = 0.09 (out)(err) |
s2v120c1400-8.cnf | O = 194 T = 2.07 |
O = 194 T = 2.07 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 194 T = 11.03 (out)(err) |
O = 242 T = 0.13 (out)(err) |
s2v120c1400-9.cnf | O = 198 T = 1.84 |
O = 198 T = 1.84 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 198 T = 6.28 (out)(err) |
O = 242 T = 0.08 (out)(err) |
s2v120c1500-1.cnf | O = 211 T = 1.32 |
O = 211 T = 1.32 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 211 T = 6.65 (out)(err) |
O = 249 T = 0.09 (out)(err) |
s2v120c1500-10.cnf | O = 213 T = 1.72 |
O = 213 T = 1.72 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 214 T = 6.12 (out)(err) |
O = 270 T = 0.08 (out)(err) |
s2v120c1500-2.cnf | O = 213 T = 2.34 |
O = 213 T = 2.34 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 213 T = 18.16 (out)(err) |
O = 258 T = 0.08 (out)(err) |
s2v120c1500-3.cnf | O = 207 T = 1.72 |
O = 207 T = 1.72 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 208 T = 30.86 (out)(err) |
O = 251 T = 0.11 (out)(err) |
s2v120c1500-4.cnf | O = 212 T = 1.93 |
O = 212 T = 1.93 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 214 T = 36.24 (out)(err) |
O = 261 T = 0.12 (out)(err) |
s2v120c1500-5.cnf | O = 233 T = 2.28 |
O = 233 T = 2.28 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 233 T = 95.83 (out)(err) |
O = 277 T = 0.12 (out)(err) |
s2v120c1500-6.cnf | O = 209 T = 2.25 |
O = 209 T = 2.25 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 209 T = 17.00 (out)(err) |
O = 260 T = 0.12 (out)(err) |
s2v120c1500-7.cnf | O = 216 T = 2.37 |
O = 216 T = 2.37 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 217 T = 22.25 (out)(err) |
O = 274 T = 0.10 (out)(err) |
s2v120c1500-8.cnf | O = 212 T = 1.72 |
O = 212 T = 1.72 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 213 T = 9.27 (out)(err) |
O = 253 T = 0.10 (out)(err) |
s2v120c1500-9.cnf | O = 223 T = 2.52 |
O = 223 T = 2.52 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 223 T = 143.86 (out)(err) |
O = 261 T = 0.10 (out)(err) |
s2v120c1600-1.cnf | O = 233 T = 2.10 |
O = 233 T = 2.10 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 233 T = 6.92 (out)(err) |
O = 281 T = 0.11 (out)(err) |
s2v120c1600-10.cnf | O = 233 T = 2.44 |
O = 233 T = 2.44 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 235 T = 46.76 (out)(err) |
O = 273 T = 0.09 (out)(err) |
s2v120c1600-2.cnf | O = 239 T = 1.81 |
O = 239 T = 1.81 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 239 T = 38.86 (out)(err) |
O = 287 T = 0.10 (out)(err) |
s2v120c1600-3.cnf | O = 233 T = 1.66 |
O = 233 T = 1.66 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 234 T = 6.78 (out)(err) |
O = 272 T = 0.12 (out)(err) |
s2v120c1600-4.cnf | O = 219 T = 2.89 |
O = 219 T = 2.89 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 219 T = 6.87 (out)(err) |
O = 256 T = 0.10 (out)(err) |
s2v120c1600-5.cnf | O = 247 T = 1.57 |
O = 247 T = 1.57 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 248 T = 176.46 (out)(err) |
O = 292 T = 0.08 (out)(err) |
s2v120c1600-6.cnf | O = 235 T = 1.85 |
O = 235 T = 1.85 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 235 T = 111.76 (out)(err) |
O = 280 T = 0.09 (out)(err) |
s2v120c1600-7.cnf | O = 225 T = 2.41 |
O = 225 T = 2.41 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 225 T = 32.98 (out)(err) |
O = 267 T = 0.12 (out)(err) |
s2v120c1600-8.cnf | O = 237 T = 1.89 |
O = 237 T = 1.89 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 237 T = 6.76 (out)(err) |
O = 292 T = 0.10 (out)(err) |
s2v120c1600-9.cnf | O = 240 T = 2.55 |
O = 240 T = 2.55 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 240 T = 92.82 (out)(err) |
O = 289 T = 0.09 (out)(err) |
s2v140c1200-1.cnf | O = 144 T = 2.98 |
O = 144 T = 2.98 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 144 T = 27.11 (out)(err) |
O = 176 T = 0.10 (out)(err) |
s2v140c1200-10.cnf | O = 140 T = 2.96 |
O = 140 T = 2.96 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 140 T = 64.01 (out)(err) |
O = 170 T = 0.09 (out)(err) |
s2v140c1200-2.cnf | O = 155 T = 2.89 |
O = 155 T = 2.89 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 156 T = 21.43 (out)(err) |
O = 188 T = 0.10 (out)(err) |
s2v140c1200-3.cnf | O = 155 T = 2.97 |
O = 155 T = 2.97 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 155 T = 69.12 (out)(err) |
O = 195 T = 0.08 (out)(err) |
s2v140c1200-4.cnf | O = 148 T = 3.48 |
O = 148 T = 3.48 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 149 T = 8.50 (out)(err) |
O = 188 T = 0.10 (out)(err) |
s2v140c1200-5.cnf | O = 143 T = 2.62 |
O = 143 T = 2.62 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 143 T = 39.90 (out)(err) |
O = 185 T = 0.10 (out)(err) |
s2v140c1200-6.cnf | O = 148 T = 3.04 |
O = 148 T = 3.04 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 149 T = 2.94 (out)(err) |
O = 192 T = 0.09 (out)(err) |
s2v140c1200-7.cnf | O = 148 T = 3.49 |
O = 148 T = 3.49 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 149 T = 13.13 (out)(err) |
O = 186 T = 0.13 (out)(err) |
s2v140c1200-8.cnf | O = 152 T = 2.99 |
O = 152 T = 2.99 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 152 T = 87.86 (out)(err) |
O = 193 T = 0.13 (out)(err) |
s2v140c1200-9.cnf | O = 151 T = 3.31 |
O = 151 T = 3.31 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 152 T = 17.16 (out)(err) |
O = 191 T = 0.10 (out)(err) |
s2v140c1300-1.cnf | O = 162 T = 3.70 |
O = 162 T = 3.70 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 163 T = 140.61 (out)(err) |
O = 203 T = 0.10 (out)(err) |
s2v140c1300-10.cnf | O = 170 T = 1.83 |
O = 170 T = 1.83 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 170 T = 231.32 (out)(err) |
O = 214 T = 0.11 (out)(err) |
s2v140c1300-2.cnf | O = 171 T = 2.02 |
O = 171 T = 2.02 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 171 T = 80.97 (out)(err) |
O = 206 T = 0.11 (out)(err) |
s2v140c1300-3.cnf | O = 168 T = 2.49 |
O = 168 T = 2.49 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 169 T = 53.29 (out)(err) |
O = 205 T = 0.12 (out)(err) |
s2v140c1300-4.cnf | O = 164 T = 2.34 |
O = 164 T = 2.34 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 164 T = 111.17 (out)(err) |
O = 208 T = 0.10 (out)(err) |
s2v140c1300-5.cnf | O = 169 T = 1.74 |
O = 169 T = 1.74 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 169 T = 9.47 (out)(err) |
O = 214 T = 0.13 (out)(err) |
s2v140c1300-6.cnf | O = 168 T = 1.70 |
O = 168 T = 1.70 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 169 T = 19.95 (out)(err) |
O = 207 T = 0.09 (out)(err) |
s2v140c1300-7.cnf | O = 160 T = 1.81 |
O = 160 T = 1.81 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 161 T = 25.25 (out)(err) |
O = 199 T = 0.10 (out)(err) |
s2v140c1300-8.cnf | O = 157 T = 2.16 |
O = 157 T = 2.16 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 157 T = 15.31 (out)(err) |
O = 205 T = 0.08 (out)(err) |
s2v140c1300-9.cnf | O = 162 T = 2.29 |
O = 162 T = 2.29 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 163 T = 14.89 (out)(err) |
O = 199 T = 0.12 (out)(err) |
s2v140c1400-1.cnf | O = 182 T = 3.31 |
O = 182 T = 3.31 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 182 T = 267.32 (out)(err) |
O = 228 T = 0.07 (out)(err) |
s2v140c1400-10.cnf | O = 188 T = 2.75 |
O = 188 T = 2.75 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 188 T = 154.09 (out)(err) |
O = 227 T = 0.11 (out)(err) |
s2v140c1400-2.cnf | O = 178 T = 3.39 |
O = 178 T = 3.39 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 178 T = 6.53 (out)(err) |
O = 224 T = 0.12 (out)(err) |
s2v140c1400-3.cnf | O = 193 T = 3.38 |
O = 193 T = 3.38 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 193 T = 94.59 (out)(err) |
O = 239 T = 0.12 (out)(err) |
s2v140c1400-4.cnf | O = 184 T = 2.92 |
O = 184 T = 3.96 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 184 T = 2.92 (out)(err) |
O = 219 T = 0.08 (out)(err) |
s2v140c1400-5.cnf | O = 187 T = 1.77 |
O = 187 T = 1.77 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 188 T = 73.66 (out)(err) |
O = 245 T = 0.08 (out)(err) |
s2v140c1400-6.cnf | O = 188 T = 3.14 |
O = 188 T = 3.14 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 188 T = 31.63 (out)(err) |
O = 243 T = 0.11 (out)(err) |
s2v140c1400-7.cnf | O = 187 T = 3.40 |
O = 187 T = 3.40 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 187 T = 132.26 (out)(err) |
O = 258 T = 0.10 (out)(err) |
s2v140c1400-8.cnf | O = 181 T = 2.99 |
O = 181 T = 2.99 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 181 T = 16.65 (out)(err) |
O = 216 T = 0.12 (out)(err) |
s2v140c1400-9.cnf | O = 185 T = 2.90 |
O = 185 T = 2.90 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 185 T = 61.27 (out)(err) |
O = 235 T = 0.07 (out)(err) |
s2v140c1500-1.cnf | O = 205 T = 2.59 |
O = 205 T = 2.59 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 206 T = 27.78 (out)(err) |
O = 239 T = 0.09 (out)(err) |
s2v140c1500-10.cnf | O = 202 T = 2.67 |
O = 202 T = 2.67 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 203 T = 123.92 (out)(err) |
O = 263 T = 0.13 (out)(err) |
s2v140c1500-2.cnf | O = 199 T = 2.76 |
O = 199 T = 2.76 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 199 T = 75.16 (out)(err) |
O = 235 T = 0.08 (out)(err) |
s2v140c1500-3.cnf | O = 212 T = 2.71 |
O = 212 T = 2.71 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 214 T = 97.94 (out)(err) |
O = 277 T = 0.11 (out)(err) |
s2v140c1500-4.cnf | O = 197 T = 3.47 |
O = 197 T = 3.47 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 198 T = 20.33 (out)(err) |
O = 236 T = 0.09 (out)(err) |
s2v140c1500-5.cnf | O = 205 T = 2.11 |
O = 205 T = 2.11 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 206 T = 43.39 (out)(err) |
O = 248 T = 0.13 (out)(err) |
s2v140c1500-6.cnf | O = 198 T = 3.18 |
O = 198 T = 3.18 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 198 T = 249.83 (out)(err) |
O = 243 T = 0.07 (out)(err) |
s2v140c1500-7.cnf | O = 202 T = 3.22 |
O = 202 T = 3.22 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 203 T = 73.81 (out)(err) |
O = 246 T = 0.08 (out)(err) |
s2v140c1500-8.cnf | O = 199 T = 2.54 |
O = 199 T = 2.59 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 199 T = 2.54 (out)(err) |
O = 248 T = 0.13 (out)(err) |
s2v140c1500-9.cnf | O = 199 T = 2.26 |
O = 199 T = 2.26 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 200 T = 112.57 (out)(err) |
O = 236 T = 0.13 (out)(err) |
s2v140c1600-1.cnf | O = 221 T = 2.92 |
O = 221 T = 2.92 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 222 T = 2.43 (out)(err) |
O = 270 T = 0.13 (out)(err) |
s2v140c1600-10.cnf | O = 226 T = 2.95 |
O = 226 T = 2.95 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 227 T = 6.91 (out)(err) |
O = 289 T = 0.08 (out)(err) |
s2v140c1600-2.cnf | O = 221 T = 3.04 |
O = 221 T = 3.04 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 222 T = 68.20 (out)(err) |
O = 277 T = 0.13 (out)(err) |
s2v140c1600-3.cnf | O = 226 T = 2.96 |
O = 226 T = 2.96 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 227 T = 123.75 (out)(err) |
O = 288 T = 0.12 (out)(err) |
s2v140c1600-4.cnf | O = 220 T = 3.02 |
O = 220 T = 3.02 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 222 T = 48.62 (out)(err) |
O = 278 T = 0.08 (out)(err) |
s2v140c1600-5.cnf | O = 228 T = 2.71 |
O = 228 T = 2.71 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 229 T = 2.20 (out)(err) |
O = 280 T = 0.11 (out)(err) |
s2v140c1600-6.cnf | O = 220 T = 2.58 |
O = 220 T = 2.58 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 221 T = 40.95 (out)(err) |
O = 262 T = 0.13 (out)(err) |
s2v140c1600-7.cnf | O = 218 T = 2.19 |
O = 218 T = 2.19 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 219 T = 88.24 (out)(err) |
O = 250 T = 0.11 (out)(err) |
s2v140c1600-8.cnf | O = 227 T = 3.07 |
O = 227 T = 3.07 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 228 T = 130.86 (out)(err) |
O = 290 T = 0.08 (out)(err) |
s2v140c1600-9.cnf | O = 228 T = 2.92 |
O = 228 T = 2.92 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 229 T = 7.66 (out)(err) |
O = 289 T = 0.08 (out)(err) |
s3v70c1000-1.cnf | O = 47 T = 1.32 |
O = 47 T = 1.32 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 47 T = 3.47 (out)(err) |
O = 84 T = 0.13 (out)(err) |
s3v70c1000-10.cnf | O = 45 T = 1.55 |
O = 45 T = 1.73 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 45 T = 1.55 (out)(err) |
O = 72 T = 0.08 (out)(err) |
s3v70c1000-2.cnf | O = 43 T = 2.31 |
O = 43 T = 2.31 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 43 T = 3.68 (out)(err) |
O = 95 T = 0.09 (out)(err) |
s3v70c1000-3.cnf | O = 45 T = 0.74 |
O = 45 T = 1.82 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 45 T = 0.74 (out)(err) |
O = 92 T = 0.12 (out)(err) |
s3v70c1000-4.cnf | O = 47 T = 1.08 |
O = 47 T = 1.08 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 47 T = 1.77 (out)(err) |
O = 91 T = 0.11 (out)(err) |
s3v70c1000-5.cnf | O = 42 T = 0.94 |
O = 42 T = 2.05 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 42 T = 0.94 (out)(err) |
O = 71 T = 0.13 (out)(err) |
s3v70c1000-6.cnf | O = 50 T = 1.92 |
O = 50 T = 1.92 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 50 T = 22.48 (out)(err) |
O = 99 T = 0.08 (out)(err) |
s3v70c1000-7.cnf | O = 49 T = 1.94 |
O = 49 T = 1.94 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 49 T = 3.54 (out)(err) |
O = 99 T = 0.09 (out)(err) |
s3v70c1000-8.cnf | O = 48 T = 1.31 |
O = 48 T = 1.67 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 48 T = 1.31 (out)(err) |
O = 74 T = 0.12 (out)(err) |
s3v70c1000-9.cnf | O = 49 T = 1.28 |
O = 49 T = 1.28 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 49 T = 9.76 (out)(err) |
O = 88 T = 0.13 (out)(err) |
s3v70c1100-1.cnf | O = 56 T = 1.18 |
O = 56 T = 1.50 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 56 T = 1.18 (out)(err) |
O = 93 T = 0.14 (out)(err) |
s3v70c1100-10.cnf | O = 58 T = 1.52 |
O = 58 T = 1.52 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 58 T = 4.24 (out)(err) |
O = 101 T = 0.11 (out)(err) |
s3v70c1100-2.cnf | O = 55 T = 1.85 |
O = 55 T = 1.85 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 55 T = 4.02 (out)(err) |
O = 89 T = 0.08 (out)(err) |
s3v70c1100-3.cnf | O = 53 T = 2.11 |
O = 53 T = 2.11 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 53 T = 41.70 (out)(err) |
O = 95 T = 0.08 (out)(err) |
s3v70c1100-4.cnf | O = 52 T = 1.98 |
O = 52 T = 1.98 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 52 T = 4.31 (out)(err) |
O = 89 T = 0.08 (out)(err) |
s3v70c1100-5.cnf | O = 53 T = 1.96 |
O = 53 T = 1.96 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 53 T = 4.34 (out)(err) |
O = 83 T = 0.12 (out)(err) |
s3v70c1100-6.cnf | O = 53 T = 1.12 |
O = 53 T = 2.05 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 53 T = 1.12 (out)(err) |
O = 108 T = 0.13 (out)(err) |
s3v70c1100-7.cnf | O = 53 T = 1.62 |
O = 53 T = 1.62 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 53 T = 7.30 (out)(err) |
O = 95 T = 0.09 (out)(err) |
s3v70c1100-8.cnf | O = 51 T = 0.77 |
O = 51 T = 1.93 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 51 T = 0.77 (out)(err) |
O = 97 T = 0.13 (out)(err) |
s3v70c1100-9.cnf | O = 48 T = 1.87 |
O = 48 T = 1.87 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 48 T = 4.30 (out)(err) |
O = 91 T = 0.12 (out)(err) |
s3v70c1200-1.cnf | O = 66 T = 1.19 |
O = 66 T = 2.80 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 66 T = 1.19 (out)(err) |
O = 101 T = 0.10 (out)(err) |
s3v70c1200-10.cnf | O = 63 T = 1.84 |
O = 63 T = 1.84 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 63 T = 14.78 (out)(err) |
O = 118 T = 0.12 (out)(err) |
s3v70c1200-2.cnf | O = 63 T = 1.66 |
O = 63 T = 1.66 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 63 T = 4.43 (out)(err) |
O = 98 T = 0.10 (out)(err) |
s3v70c1200-3.cnf | O = 65 T = 1.46 |
O = 65 T = 1.46 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 65 T = 4.88 (out)(err) |
O = 106 T = 0.10 (out)(err) |
s3v70c1200-4.cnf | O = 67 T = 1.04 |
O = 67 T = 1.94 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 67 T = 1.04 (out)(err) |
O = 99 T = 0.15 (out)(err) |
s3v70c1200-5.cnf | O = 65 T = 2.30 |
O = 65 T = 2.30 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 65 T = 12.63 (out)(err) |
O = 94 T = 0.07 (out)(err) |
s3v70c1200-6.cnf | O = 66 T = 1.39 |
O = 66 T = 1.39 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 66 T = 4.30 (out)(err) |
O = 114 T = 0.10 (out)(err) |
s3v70c1200-7.cnf | O = 62 T = 1.45 |
O = 62 T = 1.74 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 62 T = 1.45 (out)(err) |
O = 109 T = 0.09 (out)(err) |
s3v70c1200-8.cnf | O = 63 T = 0.85 |
O = 63 T = 1.31 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 63 T = 0.85 (out)(err) |
O = 111 T = 0.13 (out)(err) |
s3v70c1200-9.cnf | O = 61 T = 1.25 |
O = 61 T = 1.43 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 61 T = 1.25 (out)(err) |
O = 100 T = 0.08 (out)(err) |
s3v70c800-1.cnf | O = 31 T = 0.92 |
O = 31 T = 0.92 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 31 T = 2.39 (out)(err) |
O = 66 T = 0.12 (out)(err) |
s3v70c800-10.cnf | O = 30 T = 1.12 |
O = 30 T = 1.12 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 30 T = 9.14 (out)(err) |
O = 62 T = 0.13 (out)(err) |
s3v70c800-2.cnf | O = 34 T = 1.69 |
O = 34 T = 1.69 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 34 T = 2.55 (out)(err) |
O = 59 T = 0.13 (out)(err) |
s3v70c800-3.cnf | O = 30 T = 1.97 |
O = 30 T = 1.97 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 30 T = 4.43 (out)(err) |
O = 40 T = 282.44 (out)(err) |
s3v70c800-4.cnf | O = 28 T = 1.40 |
O = 28 T = 1.54 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 28 T = 1.40 (out)(err) |
O = 57 T = 0.14 (out)(err) |
s3v70c800-5.cnf | O = 31 T = 1.19 |
O = 31 T = 1.19 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 31 T = 2.42 (out)(err) |
O = 51 T = 0.08 (out)(err) |
s3v70c800-6.cnf | O = 30 T = 0.93 |
O = 30 T = 1.92 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 30 T = 0.93 (out)(err) |
O = 63 T = 0.09 (out)(err) |
s3v70c800-7.cnf | O = 31 T = 1.53 |
O = 31 T = 1.72 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 31 T = 1.53 (out)(err) |
O = 66 T = 0.14 (out)(err) |
s3v70c800-8.cnf | O = 34 T = 1.75 |
O = 34 T = 1.75 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 34 T = 2.63 (out)(err) |
O = 73 T = 0.12 (out)(err) |
s3v70c800-9.cnf | O = 32 T = 1.33 |
O = 32 T = 1.33 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 32 T = 4.55 (out)(err) |
O = 62 T = 0.09 (out)(err) |
s3v70c900-1.cnf | O = 39 T = 1.68 |
O = 39 T = 1.68 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 39 T = 3.23 (out)(err) |
O = 88 T = 0.13 (out)(err) |
s3v70c900-10.cnf | O = 39 T = 1.81 |
O = 39 T = 1.81 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 39 T = 3.18 (out)(err) |
O = 83 T = 0.09 (out)(err) |
s3v70c900-2.cnf | O = 38 T = 1.09 |
O = 38 T = 1.69 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 38 T = 1.09 (out)(err) |
O = 72 T = 0.13 (out)(err) |
s3v70c900-3.cnf | O = 39 T = 1.88 |
O = 39 T = 1.88 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 39 T = 8.90 (out)(err) |
O = 84 T = 0.10 (out)(err) |
s3v70c900-4.cnf | O = 39 T = 1.91 |
O = 39 T = 1.91 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 39 T = 5.81 (out)(err) |
O = 64 T = 0.08 (out)(err) |
s3v70c900-5.cnf | O = 40 T = 2.00 |
O = 40 T = 2.00 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 40 T = 5.73 (out)(err) |
O = 56 T = 0.10 (out)(err) |
s3v70c900-6.cnf | O = 41 T = 1.99 |
O = 41 T = 1.99 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 41 T = 3.12 (out)(err) |
O = 68 T = 0.11 (out)(err) |
s3v70c900-7.cnf | O = 40 T = 1.12 |
O = 40 T = 1.87 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 40 T = 1.12 (out)(err) |
O = 68 T = 0.11 (out)(err) |
s3v70c900-8.cnf | O = 42 T = 1.29 |
O = 42 T = 1.57 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 42 T = 1.29 (out)(err) |
O = 60 T = 0.08 (out)(err) |
s3v70c900-9.cnf | O = 35 T = 0.87 |
O = 35 T = 1.38 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 35 T = 0.87 (out)(err) |
O = 76 T = 0.09 (out)(err) |
s3v80c1000-1.cnf | O = 44 T = 1.15 |
O = 44 T = 1.86 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 44 T = 1.15 (out)(err) |
O = 80 T = 0.14 (out)(err) |
s3v80c1000-10.cnf | O = 39 T = 2.98 |
O = 39 T = 2.98 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 39 T = 3.70 (out)(err) |
O = 69 T = 0.15 (out)(err) |
s3v80c1000-2.cnf | O = 43 T = 1.39 |
O = 43 T = 1.98 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 43 T = 1.39 (out)(err) |
O = 84 T = 0.09 (out)(err) |
s3v80c1000-3.cnf | O = 39 T = 1.11 |
O = 39 T = 2.11 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 39 T = 1.11 (out)(err) |
O = 73 T = 0.13 (out)(err) |
s3v80c1000-4.cnf | O = 45 T = 2.20 |
O = 45 T = 2.20 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 45 T = 9.61 (out)(err) |
O = 78 T = 0.04 (out)(err) |
s3v80c1000-5.cnf | O = 41 T = 1.70 |
O = 41 T = 1.70 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 41 T = 6.72 (out)(err) |
O = 79 T = 0.06 (out)(err) |
s3v80c1000-6.cnf | O = 40 T = 0.90 |
O = 40 T = 1.51 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 40 T = 0.90 (out)(err) |
O = 58 T = 0.13 (out)(err) |
s3v80c1000-7.cnf | O = 40 T = 1.09 |
O = 40 T = 2.46 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 40 T = 1.09 (out)(err) |
O = 79 T = 0.09 (out)(err) |
s3v80c1000-8.cnf | O = 41 T = 2.15 |
O = 41 T = 2.15 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 41 T = 3.62 (out)(err) |
O = 92 T = 0.10 (out)(err) |
s3v80c1000-9.cnf | O = 38 T = 2.03 |
O = 38 T = 2.03 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 38 T = 3.41 (out)(err) |
O = 88 T = 0.13 (out)(err) |
s3v80c600-1.cnf | O = 14 T = 1.44 |
O = 14 T = 1.44 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 14 T = 9.29 (out)(err) |
O = 19 T = 59.27 (out)(err) |
s3v80c600-10.cnf | O = 15 T = 0.73 |
O = 15 T = 1.56 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 15 T = 0.73 (out)(err) |
O = 21 T = 8.23 (out)(err) |
s3v80c600-2.cnf | O = 16 T = 1.47 |
O = 16 T = 1.50 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 16 T = 1.47 (out)(err) |
O = 33 T = 0.09 (out)(err) |
s3v80c600-3.cnf | O = 11 T = 1.19 |
O = 11 T = 2.13 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 11 T = 1.19 (out)(err) |
O = 17 T = 9.41 (out)(err) |
s3v80c600-4.cnf | O = 13 T = 0.96 |
O = 13 T = 1.58 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 0.96 (out)(err) |
O = 32 T = 0.14 (out)(err) |
s3v80c600-5.cnf | O = 12 T = 1.02 |
O = 12 T = 1.42 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 12 T = 1.02 (out)(err) |
O = 16 T = 32.61 (out)(err) |
s3v80c600-6.cnf | O = 14 T = 0.93 |
O = 14 T = 1.56 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 14 T = 0.93 (out)(err) |
O = 27 T = 0.14 (out)(err) |
s3v80c600-7.cnf | O = 12 T = 1.05 |
O = 12 T = 1.42 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 12 T = 1.05 (out)(err) |
O = 21 T = 8.81 (out)(err) |
s3v80c600-8.cnf | O = 15 T = 2.03 |
O = 15 T = 2.03 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 15 T = 2.83 (out)(err) |
O = 20 T = 18.57 (out)(err) |
s3v80c600-9.cnf | O = 12 T = 0.83 |
O = 12 T = 1.45 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 12 T = 0.83 (out)(err) |
O = 22 T = 0.79 (out)(err) |
s3v80c700-1.cnf | O = 19 T = 0.93 |
O = 19 T = 1.81 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 19 T = 0.93 (out)(err) |
O = 28 T = 0.18 (out)(err) |
s3v80c700-10.cnf | O = 19 T = 1.71 |
O = 19 T = 1.84 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 19 T = 1.71 (out)(err) |
O = 44 T = 0.11 (out)(err) |
s3v80c700-2.cnf | O = 20 T = 1.57 |
O = 20 T = 1.62 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 20 T = 1.57 (out)(err) |
O = 46 T = 0.14 (out)(err) |
s3v80c700-3.cnf | O = 18 T = 1.51 |
O = 18 T = 1.71 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 18 T = 1.51 (out)(err) |
O = 24 T = 0.30 (out)(err) |
s3v80c700-4.cnf | O = 15 T = 1.27 |
O = 15 T = 2.12 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 15 T = 1.27 (out)(err) |
O = 31 T = 0.11 (out)(err) |
s3v80c700-5.cnf | O = 21 T = 1.33 |
O = 21 T = 1.65 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 21 T = 1.33 (out)(err) |
O = 50 T = 0.13 (out)(err) |
s3v80c700-6.cnf | O = 18 T = 1.56 |
O = 18 T = 2.38 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 18 T = 1.56 (out)(err) |
O = 26 T = 4.28 (out)(err) |
s3v80c700-7.cnf | O = 21 T = 2.07 |
O = 21 T = 2.07 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 21 T = 8.46 (out)(err) |
O = 34 T = 25.90 (out)(err) |
s3v80c700-8.cnf | O = 19 T = 1.63 |
O = 19 T = 1.63 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 19 T = 1.95 (out)(err) |
O = 39 T = 0.11 (out)(err) |
s3v80c700-9.cnf | O = 18 T = 1.33 |
O = 18 T = 1.94 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 18 T = 1.33 (out)(err) |
O = 24 T = 7.54 (out)(err) |
s3v80c800-1.cnf | O = 28 T = 1.60 |
O = 28 T = 2.04 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 28 T = 1.60 (out)(err) |
O = 53 T = 0.14 (out)(err) |
s3v80c800-10.cnf | O = 27 T = 1.82 |
O = 27 T = 1.82 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 27 T = 60.60 (out)(err) |
O = 53 T = 0.09 (out)(err) |
s3v80c800-2.cnf | O = 32 T = 1.24 |
O = 32 T = 1.24 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 32 T = 1.52 (out)(err) |
O = 59 T = 0.12 (out)(err) |
s3v80c800-3.cnf | O = 27 T = 1.45 |
O = 27 T = 2.10 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 27 T = 1.45 (out)(err) |
O = 40 T = 0.09 (out)(err) |
s3v80c800-4.cnf | O = 26 T = 1.00 |
O = 26 T = 1.57 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 26 T = 1.00 (out)(err) |
O = 50 T = 0.10 (out)(err) |
s3v80c800-5.cnf | O = 27 T = 2.41 |
O = 27 T = 2.41 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 27 T = 6.99 (out)(err) |
O = 65 T = 0.11 (out)(err) |
s3v80c800-6.cnf | O = 28 T = 2.03 |
O = 28 T = 2.03 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 28 T = 2.27 (out)(err) |
O = 37 T = 0.72 (out)(err) |
s3v80c800-7.cnf | O = 27 T = 1.21 |
O = 27 T = 1.21 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 27 T = 4.71 (out)(err) |
O = 53 T = 0.11 (out)(err) |
s3v80c800-8.cnf | O = 25 T = 1.49 |
O = 25 T = 1.93 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 25 T = 1.49 (out)(err) |
O = 49 T = 0.13 (out)(err) |
s3v80c800-9.cnf | O = 26 T = 1.22 |
O = 26 T = 1.22 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 26 T = 4.36 (out)(err) |
O = 44 T = 0.11 (out)(err) |
s3v80c900-1.cnf | O = 35 T = 1.76 |
O = 35 T = 1.76 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 35 T = 5.67 (out)(err) |
O = 73 T = 0.12 (out)(err) |
s3v80c900-10.cnf | O = 35 T = 1.60 |
O = 35 T = 1.60 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 35 T = 2.65 (out)(err) |
O = 59 T = 0.11 (out)(err) |
s3v80c900-2.cnf | O = 37 T = 1.71 |
O = 37 T = 1.71 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 37 T = 3.03 (out)(err) |
O = 64 T = 0.08 (out)(err) |
s3v80c900-3.cnf | O = 34 T = 1.93 |
O = 34 T = 1.98 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 34 T = 1.93 (out)(err) |
O = 62 T = 0.10 (out)(err) |
s3v80c900-4.cnf | O = 35 T = 2.00 |
O = 35 T = 2.00 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 35 T = 3.50 (out)(err) |
O = 67 T = 0.11 (out)(err) |
s3v80c900-5.cnf | O = 32 T = 1.10 |
O = 32 T = 2.34 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 32 T = 1.10 (out)(err) |
O = 56 T = 0.12 (out)(err) |
s3v80c900-6.cnf | O = 31 T = 1.77 |
O = 31 T = 1.77 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 31 T = 2.76 (out)(err) |
O = 65 T = 0.08 (out)(err) |
s3v80c900-7.cnf | O = 34 T = 1.07 |
O = 34 T = 2.27 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 34 T = 1.07 (out)(err) |
O = 74 T = 0.10 (out)(err) |
s3v80c900-8.cnf | O = 33 T = 1.13 |
O = 33 T = 1.92 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 33 T = 1.13 (out)(err) |
O = 61 T = 0.11 (out)(err) |
s3v80c900-9.cnf | O = 36 T = 2.28 |
O = 36 T = 2.28 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 36 T = 2.87 (out)(err) |
O = 51 T = 0.13 (out)(err) |
min1s2v160c640_0.cnf | O = 359 T = 1.99 |
O = 359 T = 3.45 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 359 T = 1.99 (out)(err) |
O = 397 T = 0.11 (out)(err) |
min1s2v160c640_1.cnf | O = 356 T = 2.25 |
O = 356 T = 2.25 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 356 T = 2.70 (out)(err) |
O = 390 T = 0.08 (out)(err) |
min1s2v160c640_10.cnf | O = 351 T = 1.93 |
O = 351 T = 1.93 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 351 T = 2.32 (out)(err) |
O = 381 T = 0.11 (out)(err) |
min1s2v160c640_11.cnf | O = 350 T = 2.43 |
O = 350 T = 3.44 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 350 T = 2.43 (out)(err) |
O = 390 T = 0.08 (out)(err) |
min1s2v160c640_12.cnf | O = 361 T = 2.02 |
O = 361 T = 2.02 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 361 T = 5.69 (out)(err) |
O = 406 T = 0.12 (out)(err) |
min1s2v160c640_13.cnf | O = 365 T = 1.64 |
O = 365 T = 1.87 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 365 T = 1.64 (out)(err) |
O = 403 T = 0.09 (out)(err) |
min1s2v160c640_14.cnf | O = 354 T = 2.61 |
O = 354 T = 3.24 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 354 T = 2.61 (out)(err) |
O = 378 T = 0.10 (out)(err) |
min1s2v160c640_15.cnf | O = 357 T = 2.50 |
O = 357 T = 2.51 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 357 T = 2.50 (out)(err) |
O = 389 T = 0.11 (out)(err) |
min1s2v160c640_2.cnf | O = 345 T = 2.19 |
O = 345 T = 2.99 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 345 T = 2.19 (out)(err) |
O = 376 T = 0.10 (out)(err) |
min1s2v160c640_3.cnf | O = 349 T = 2.27 |
O = 349 T = 2.82 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 349 T = 2.27 (out)(err) |
O = 371 T = 0.09 (out)(err) |
min1s2v160c640_4.cnf | O = 355 T = 1.96 |
O = 355 T = 3.10 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 355 T = 1.96 (out)(err) |
O = 391 T = 0.09 (out)(err) |
min1s2v160c640_5.cnf | O = 348 T = 1.77 |
O = 348 T = 3.17 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 348 T = 1.77 (out)(err) |
O = 389 T = 0.12 (out)(err) |
min1s2v160c640_6.cnf | O = 348 T = 2.63 |
O = 348 T = 2.80 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 348 T = 2.63 (out)(err) |
O = 379 T = 0.14 (out)(err) |
min1s2v160c640_7.cnf | O = 355 T = 2.26 |
O = 355 T = 2.26 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 355 T = 2.71 (out)(err) |
O = 401 T = 0.11 (out)(err) |
min1s2v160c640_8.cnf | O = 363 T = 2.91 |
O = 363 T = 2.91 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 363 T = 3.10 (out)(err) |
O = 401 T = 0.09 (out)(err) |
min1s2v160c640_9.cnf | O = 353 T = 1.72 |
O = 353 T = 1.73 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 353 T = 1.72 (out)(err) |
O = 384 T = 0.10 (out)(err) |
min1s2v160c800_0.cnf | O = 452 T = 3.13 |
O = 452 T = 3.13 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 452 T = 3.40 (out)(err) |
O = 490 T = 0.08 (out)(err) |
min1s2v160c800_1.cnf | O = 463 T = 1.82 |
O = 463 T = 1.82 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 463 T = 122.73 (out)(err) |
O = 520 T = 0.08 (out)(err) |
min1s2v160c800_10.cnf | O = 457 T = 2.42 |
O = 457 T = 3.10 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 457 T = 2.42 (out)(err) |
O = 508 T = 0.09 (out)(err) |
min1s2v160c800_11.cnf | O = 462 T = 3.05 |
O = 462 T = 3.05 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 463 T = 2.82 (out)(err) |
O = 496 T = 0.14 (out)(err) |
min1s2v160c800_12.cnf | O = 462 T = 2.41 |
O = 462 T = 3.53 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 462 T = 2.41 (out)(err) |
O = 516 T = 0.09 (out)(err) |
min1s2v160c800_13.cnf | O = 467 T = 1.98 |
O = 467 T = 1.98 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 467 T = 2.38 (out)(err) |
O = 502 T = 0.14 (out)(err) |
min1s2v160c800_14.cnf | O = 464 T = 2.06 |
O = 464 T = 2.06 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 464 T = 4.65 (out)(err) |
O = 511 T = 0.13 (out)(err) |
min1s2v160c800_15.cnf | O = 459 T = 2.12 |
O = 459 T = 2.12 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 459 T = 13.21 (out)(err) |
O = 503 T = 0.07 (out)(err) |
min1s2v160c800_2.cnf | O = 457 T = 2.34 |
O = 457 T = 3.17 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 457 T = 2.34 (out)(err) |
O = 507 T = 0.07 (out)(err) |
min1s2v160c800_3.cnf | O = 459 T = 2.63 |
O = 459 T = 3.81 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 459 T = 2.63 (out)(err) |
O = 515 T = 0.11 (out)(err) |
min1s2v160c800_4.cnf | O = 464 T = 1.87 |
O = 464 T = 3.43 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 464 T = 1.87 (out)(err) |
O = 505 T = 0.13 (out)(err) |
min1s2v160c800_5.cnf | O = 455 T = 1.69 |
O = 455 T = 3.40 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 455 T = 1.69 (out)(err) |
O = 494 T = 0.12 (out)(err) |
min1s2v160c800_6.cnf | O = 445 T = 1.86 |
O = 445 T = 2.16 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 445 T = 1.86 (out)(err) |
O = 504 T = 0.10 (out)(err) |
min1s2v160c800_7.cnf | O = 460 T = 2.00 |
O = 460 T = 2.00 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 460 T = 3.18 (out)(err) |
O = 511 T = 0.10 (out)(err) |
min1s2v160c800_8.cnf | O = 464 T = 3.28 |
O = 464 T = 3.28 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 464 T = 10.15 (out)(err) |
O = 499 T = 0.09 (out)(err) |
min1s2v160c800_9.cnf | O = 459 T = 2.47 |
O = 459 T = 3.64 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 459 T = 2.47 (out)(err) |
O = 496 T = 0.11 (out)(err) |
min1s2v160c960_0.cnf | O = 562 T = 2.71 |
O = 562 T = 2.71 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 562 T = 2.74 (out)(err) |
O = 596 T = 0.10 (out)(err) |
min1s2v160c960_1.cnf | O = 578 T = 2.59 |
O = 578 T = 2.59 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 579 T = 2.69 (out)(err) |
O = 636 T = 0.13 (out)(err) |
min1s2v160c960_10.cnf | O = 564 T = 3.08 |
O = 564 T = 3.08 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 564 T = 13.30 (out)(err) |
O = 622 T = 0.12 (out)(err) |
min1s2v160c960_11.cnf | O = 567 T = 2.93 |
O = 567 T = 2.93 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 567 T = 26.00 (out)(err) |
O = 617 T = 0.12 (out)(err) |
min1s2v160c960_12.cnf | O = 568 T = 3.64 |
O = 568 T = 3.64 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 568 T = 20.47 (out)(err) |
O = 611 T = 0.10 (out)(err) |
min1s2v160c960_13.cnf | O = 572 T = 2.17 |
O = 572 T = 3.48 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 572 T = 2.17 (out)(err) |
O = 619 T = 0.13 (out)(err) |
min1s2v160c960_14.cnf | O = 568 T = 4.03 |
O = 568 T = 4.03 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 568 T = 15.73 (out)(err) |
O = 621 T = 0.14 (out)(err) |
min1s2v160c960_15.cnf | O = 558 T = 2.02 |
O = 558 T = 3.94 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 558 T = 2.02 (out)(err) |
O = 599 T = 0.07 (out)(err) |
min1s2v160c960_2.cnf | O = 561 T = 2.02 |
O = 561 T = 2.02 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 561 T = 10.84 (out)(err) |
O = 607 T = 0.13 (out)(err) |
min1s2v160c960_3.cnf | O = 563 T = 3.71 |
O = 563 T = 3.71 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 563 T = 44.14 (out)(err) |
O = 610 T = 0.13 (out)(err) |
min1s2v160c960_4.cnf | O = 574 T = 2.39 |
O = 574 T = 2.52 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 574 T = 2.39 (out)(err) |
O = 625 T = 0.13 (out)(err) |
min1s2v160c960_5.cnf | O = 571 T = 2.36 |
O = 571 T = 2.36 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 571 T = 55.71 (out)(err) |
O = 614 T = 0.13 (out)(err) |
min1s2v160c960_6.cnf | O = 549 T = 2.78 |
O = 549 T = 3.47 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 549 T = 2.78 (out)(err) |
O = 616 T = 0.11 (out)(err) |
min1s2v160c960_7.cnf | O = 565 T = 3.04 |
O = 565 T = 3.10 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 565 T = 3.04 (out)(err) |
O = 635 T = 0.14 (out)(err) |
min1s2v160c960_8.cnf | O = 566 T = 3.57 |
O = 566 T = 3.57 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 566 T = 141.31 (out)(err) |
O = 611 T = 0.08 (out)(err) |
min1s2v160c960_9.cnf | O = 555 T = 2.92 |
O = 555 T = 4.10 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 555 T = 2.92 (out)(err) |
O = 591 T = 0.10 (out)(err) |
min1s2v200c1000_0.cnf | O = 580 T = 2.44 |
O = 580 T = 2.44 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 580 T = 8.04 (out)(err) |
O = 624 T = 0.12 (out)(err) |
min1s2v200c1000_1.cnf | O = 570 T = 3.49 |
O = 570 T = 3.84 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 570 T = 3.49 (out)(err) |
O = 609 T = 0.13 (out)(err) |
min1s2v200c1000_10.cnf | O = 574 T = 3.36 |
O = 574 T = 3.36 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 574 T = 23.31 (out)(err) |
O = 634 T = 0.12 (out)(err) |
min1s2v200c1000_11.cnf | O = 570 T = 3.66 |
O = 570 T = 3.66 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 571 T = 3.45 (out)(err) |
O = 627 T = 0.12 (out)(err) |
min1s2v200c1000_12.cnf | O = 569 T = 2.75 |
O = 569 T = 2.75 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 569 T = 4.52 (out)(err) |
O = 627 T = 0.13 (out)(err) |
min1s2v200c1000_13.cnf | O = 573 T = 2.59 |
O = 573 T = 2.59 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 573 T = 3.55 (out)(err) |
O = 627 T = 0.13 (out)(err) |
min1s2v200c1000_14.cnf | O = 571 T = 4.12 |
O = 571 T = 4.12 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 571 T = 11.41 (out)(err) |
O = 631 T = 0.11 (out)(err) |
min1s2v200c1000_15.cnf | O = 573 T = 2.82 |
O = 573 T = 2.82 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 573 T = 27.41 (out)(err) |
O = 631 T = 0.07 (out)(err) |
min1s2v200c1000_2.cnf | O = 575 T = 4.19 |
O = 575 T = 4.19 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 575 T = 26.23 (out)(err) |
O = 636 T = 0.12 (out)(err) |
min1s2v200c1000_3.cnf | O = 574 T = 2.75 |
O = 574 T = 2.75 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 574 T = 153.55 (out)(err) |
O = 641 T = 0.09 (out)(err) |
min1s2v200c1000_4.cnf | O = 570 T = 3.29 |
O = 570 T = 3.29 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 571 T = 92.27 (out)(err) |
O = 621 T = 0.13 (out)(err) |
min1s2v200c1000_5.cnf | O = 571 T = 3.65 |
O = 571 T = 3.65 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 571 T = 15.82 (out)(err) |
O = 616 T = 0.08 (out)(err) |
min1s2v200c1000_6.cnf | O = 570 T = 2.40 |
O = 570 T = 4.21 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 570 T = 2.40 (out)(err) |
O = 631 T = 0.08 (out)(err) |
min1s2v200c1000_7.cnf | O = 561 T = 3.64 |
O = 561 T = 3.64 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 561 T = 3.87 (out)(err) |
O = 614 T = 0.11 (out)(err) |
min1s2v200c1000_8.cnf | O = 559 T = 3.30 |
O = 559 T = 4.27 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 559 T = 3.30 (out)(err) |
O = 626 T = 0.11 (out)(err) |
min1s2v200c1000_9.cnf | O = 563 T = 2.00 |
O = 563 T = 3.63 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 563 T = 2.00 (out)(err) |
O = 598 T = 0.13 (out)(err) |
min1s2v200c1200_0.cnf | O = 708 T = 3.31 |
O = 708 T = 3.31 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 708 T = 4.86 (out)(err) |
O = 769 T = 0.11 (out)(err) |
min1s2v200c1200_1.cnf | O = 699 T = 2.60 |
O = 699 T = 2.60 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 699 T = 34.17 (out)(err) |
O = 769 T = 0.11 (out)(err) |
min1s2v200c1200_10.cnf | O = 708 T = 2.15 |
O = 708 T = 2.15 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 709 T = 65.79 (out)(err) |
O = 772 T = 0.14 (out)(err) |
min1s2v200c1200_11.cnf | O = 699 T = 4.37 |
O = 699 T = 4.37 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 699 T = 193.70 (out)(err) |
O = 762 T = 0.11 (out)(err) |
min1s2v200c1200_12.cnf | O = 704 T = 4.13 |
O = 704 T = 4.13 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 704 T = 179.00 (out)(err) |
O = 773 T = 0.11 (out)(err) |
min1s2v200c1200_13.cnf | O = 710 T = 4.52 |
O = 710 T = 4.52 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 710 T = 109.55 (out)(err) |
O = 775 T = 0.15 (out)(err) |
min1s2v200c1200_14.cnf | O = 707 T = 2.35 |
O = 707 T = 2.35 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 707 T = 2.71 (out)(err) |
O = 768 T = 0.09 (out)(err) |
min1s2v200c1200_15.cnf | O = 709 T = 4.28 |
O = 709 T = 4.28 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 710 T = 35.55 (out)(err) |
O = 758 T = 0.10 (out)(err) |
min1s2v200c1200_2.cnf | O = 706 T = 3.19 |
O = 706 T = 3.19 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 706 T = 62.45 (out)(err) |
O = 782 T = 0.09 (out)(err) |
min1s2v200c1200_3.cnf | O = 703 T = 4.32 |
O = 703 T = 4.32 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 703 T = 293.77 (out)(err) |
O = 773 T = 0.14 (out)(err) |
min1s2v200c1200_4.cnf | O = 710 T = 4.35 |
O = 710 T = 4.35 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 710 T = 275.29 (out)(err) |
O = 792 T = 0.11 (out)(err) |
min1s2v200c1200_5.cnf | O = 700 T = 3.98 |
O = 700 T = 3.98 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 700 T = 20.14 (out)(err) |
O = 744 T = 0.10 (out)(err) |
min1s2v200c1200_6.cnf | O = 709 T = 4.56 |
O = 709 T = 4.56 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 710 T = 97.74 (out)(err) |
O = 779 T = 0.10 (out)(err) |
min1s2v200c1200_7.cnf | O = 704 T = 4.53 |
O = 704 T = 4.53 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 705 T = 80.03 (out)(err) |
O = 779 T = 0.09 (out)(err) |
min1s2v200c1200_8.cnf | O = 685 T = 4.85 |
O = 685 T = 4.85 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 686 T = 7.25 (out)(err) |
O = 757 T = 0.13 (out)(err) |
min1s2v200c1200_9.cnf | O = 696 T = 4.20 |
O = 696 T = 4.42 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 696 T = 4.20 (out)(err) |
O = 745 T = 0.13 (out)(err) |
min1s2v200c800_0.cnf | O = 446 T = 3.76 |
O = 446 T = 3.76 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 446 T = 8.97 (out)(err) |
O = 483 T = 0.09 (out)(err) |
min1s2v200c800_1.cnf | O = 444 T = 4.00 |
O = 444 T = 4.17 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 444 T = 4.00 (out)(err) |
O = 485 T = 0.09 (out)(err) |
min1s2v200c800_10.cnf | O = 438 T = 2.35 |
O = 438 T = 3.10 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 438 T = 2.35 (out)(err) |
O = 498 T = 0.13 (out)(err) |
min1s2v200c800_11.cnf | O = 437 T = 3.29 |
O = 437 T = 3.95 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 437 T = 3.29 (out)(err) |
O = 474 T = 0.13 (out)(err) |
min1s2v200c800_12.cnf | O = 436 T = 2.25 |
O = 436 T = 2.53 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 436 T = 2.25 (out)(err) |
O = 477 T = 0.09 (out)(err) |
min1s2v200c800_13.cnf | O = 439 T = 2.38 |
O = 439 T = 3.72 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 439 T = 2.38 (out)(err) |
O = 497 T = 0.14 (out)(err) |
min1s2v200c800_14.cnf | O = 436 T = 1.99 |
O = 436 T = 4.28 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 436 T = 1.99 (out)(err) |
O = 483 T = 0.13 (out)(err) |
min1s2v200c800_15.cnf | O = 438 T = 2.22 |
O = 438 T = 4.26 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 438 T = 2.22 (out)(err) |
O = 474 T = 0.13 (out)(err) |
min1s2v200c800_2.cnf | O = 438 T = 1.99 |
O = 438 T = 4.33 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 438 T = 1.99 (out)(err) |
O = 484 T = 0.08 (out)(err) |
min1s2v200c800_3.cnf | O = 439 T = 2.40 |
O = 439 T = 2.40 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 439 T = 2.84 (out)(err) |
O = 478 T = 0.13 (out)(err) |
min1s2v200c800_4.cnf | O = 437 T = 2.25 |
O = 437 T = 3.36 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 437 T = 2.25 (out)(err) |
O = 478 T = 0.14 (out)(err) |
min1s2v200c800_5.cnf | O = 435 T = 3.41 |
O = 435 T = 3.41 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 435 T = 3.50 (out)(err) |
O = 483 T = 0.13 (out)(err) |
min1s2v200c800_6.cnf | O = 445 T = 2.57 |
O = 445 T = 2.86 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 445 T = 2.57 (out)(err) |
O = 448 T = 283.10 (out)(err) |
min1s2v200c800_7.cnf | O = 440 T = 2.05 |
O = 440 T = 3.71 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 440 T = 2.05 (out)(err) |
O = 470 T = 0.13 (out)(err) |
min1s2v200c800_8.cnf | O = 436 T = 3.98 |
O = 436 T = 3.98 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 436 T = 8.73 (out)(err) |
O = 484 T = 0.13 (out)(err) |
min1s2v200c800_9.cnf | O = 438 T = 4.49 |
O = 438 T = 4.49 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 438 T = 8.14 (out)(err) |
O = 471 T = 0.09 (out)(err) |