Label | Meaning |
---|---|
S | Solution {OPTIMUM FOUND or OPTIMUM | UNSATISFIABLE or UNSAT | UNKNOWN | Not available or N/A} |
O | Best solution found |
T | CPU time |
Color | Meaning |
---|---|
Text | Optimal solution with the best CPU time |
Text | Optimal solution and finished within the Time Out |
Text | Optimal solution and did not finish within the Time Out |
Text | Time Out |
Text | Buggy solution |
Instance file name | IncMaxSatz | LS_Power | Maxsat_Power | PM2 | SAT4J-MAXSAT-2.2.0 | WMaxSatz+ | WMaxSatz-2009 | WPM1 | akmaxsat | akmaxsat_ls | wbo-1.4a |
---|---|---|---|---|---|---|---|---|---|---|---|
HG-3SAT-V250-C1000-1.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 47 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 20 T = Time Out | (out)(err) |
S = N/A | O = 6 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V250-C1000-10.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 48 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 17 T = Time Out | (out)(err) |
S = N/A | O = 6 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V250-C1000-100.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 50 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 19 T = Time Out | (out)(err) |
S = N/A | O = 6 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V250-C1000-11.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 51 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 26 T = Time Out | (out)(err) |
S = N/A | O = 6 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V250-C1000-12.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 53 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 20 T = Time Out | (out)(err) |
S = N/A | O = 6 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V250-C1000-13.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 47 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 19 T = Time Out | (out)(err) |
S = N/A | O = 5 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V250-C1000-14.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 51 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 21 T = Time Out | (out)(err) |
S = N/A | O = 6 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V250-C1000-15.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 54 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 15 T = Time Out | (out)(err) |
S = N/A | O = 5 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V250-C1000-16.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 54 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 16 T = Time Out | (out)(err) |
S = N/A | O = 5 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V250-C1000-17.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 55 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 21 T = Time Out | (out)(err) |
S = N/A | O = 7 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V250-C1000-18.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 53 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 22 T = Time Out | (out)(err) |
S = N/A | O = 8 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V250-C1000-19.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 51 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 19 T = Time Out | (out)(err) |
S = N/A | O = 7 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V250-C1000-2.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 49 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 16 T = Time Out | (out)(err) |
S = N/A | O = 6 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V250-C1000-20.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 52 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 23 T = Time Out | (out)(err) |
S = N/A | O = 7 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V250-C1000-21.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 54 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 19 T = Time Out | (out)(err) |
S = N/A | O = 4 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V250-C1000-22.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 49 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 23 T = Time Out | (out)(err) |
S = N/A | O = 6 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V250-C1000-23.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 50 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 17 T = Time Out | (out)(err) |
S = N/A | O = 6 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V250-C1000-24.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 54 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 24 T = Time Out | (out)(err) |
S = N/A | O = 5 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V250-C1000-3.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 55 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 20 T = Time Out | (out)(err) |
S = N/A | O = 5 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V250-C1000-4.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 48 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 21 T = Time Out | (out)(err) |
S = N/A | O = 7 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V250-C1000-5.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 48 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 23 T = Time Out | (out)(err) |
S = N/A | O = 6 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V250-C1000-6.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 54 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 16 T = Time Out | (out)(err) |
S = N/A | O = 6 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V250-C1000-7.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 52 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 16 T = Time Out | (out)(err) |
S = N/A | O = 6 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V250-C1000-8.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 53 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 25 T = Time Out | (out)(err) |
S = N/A | O = 5 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V250-C1000-9.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 54 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 17 T = Time Out | (out)(err) |
S = N/A | O = 7 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V300-C1200-1.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 63 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 30 T = Time Out | (out)(err) |
S = N/A | O = 7 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V300-C1200-10.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 62 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 31 T = Time Out | (out)(err) |
S = N/A | O = 8 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V300-C1200-100.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 54 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 22 T = Time Out | (out)(err) |
S = N/A | O = 7 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V300-C1200-11.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 62 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 28 T = Time Out | (out)(err) |
S = N/A | O = 7 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V300-C1200-12.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 53 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 31 T = Time Out | (out)(err) |
S = N/A | O = 7 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V300-C1200-13.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 63 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 28 T = Time Out | (out)(err) |
S = N/A | O = 7 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V300-C1200-14.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 63 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 27 T = Time Out | (out)(err) |
S = N/A | O = 7 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V300-C1200-15.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 67 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 30 T = Time Out | (out)(err) |
S = N/A | O = 7 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V300-C1200-16.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 65 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 29 T = Time Out | (out)(err) |
S = N/A | O = 6 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V300-C1200-17.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 64 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 27 T = Time Out | (out)(err) |
S = N/A | O = 7 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V300-C1200-18.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 54 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 27 T = Time Out | (out)(err) |
S = N/A | O = 8 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V300-C1200-19.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 51 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 22 T = Time Out | (out)(err) |
S = N/A | O = 6 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V300-C1200-2.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 67 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 22 T = Time Out | (out)(err) |
S = N/A | O = 5 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V300-C1200-20.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 63 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 24 T = Time Out | (out)(err) |
S = N/A | O = 8 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V300-C1200-21.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 62 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 27 T = Time Out | (out)(err) |
S = N/A | O = 8 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V300-C1200-22.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 55 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 29 T = Time Out | (out)(err) |
S = N/A | O = 8 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V300-C1200-23.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 62 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 29 T = Time Out | (out)(err) |
S = N/A | O = 7 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V300-C1200-24.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 62 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 22 T = Time Out | (out)(err) |
S = N/A | O = 8 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V300-C1200-3.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 66 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 25 T = Time Out | (out)(err) |
S = N/A | O = 8 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V300-C1200-4.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 62 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 27 T = Time Out | (out)(err) |
S = N/A | O = 7 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V300-C1200-5.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 62 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 27 T = Time Out | (out)(err) |
S = N/A | O = 6 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V300-C1200-6.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 59 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 27 T = Time Out | (out)(err) |
S = N/A | O = 6 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V300-C1200-7.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 56 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 23 T = Time Out | (out)(err) |
S = N/A | O = 6 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V300-C1200-8.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 69 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 30 T = Time Out | (out)(err) |
S = N/A | O = 8 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-3SAT-V300-C1200-9.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 57 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 29 T = Time Out | (out)(err) |
S = N/A | O = 8 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V100-C900-1.cnf | S = OPTIMUM | O = 1 T = 865.55 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 18 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1 T = 1618.04 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V100-C900-10.cnf | S = OPTIMUM | O = 1 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 19 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1 T = 1072.35 | (out)(err) |
S = OPTIMUM | O = 1 T = 196.99 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V100-C900-100.cnf | S = OPTIMUM | O = 1 T = 722.23 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 13 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1 T = 1422.79 | (out)(err) |
S = OPTIMUM | O = 1 T = 380.56 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V100-C900-11.cnf | S = OPTIMUM | O = 1 T = 1397.91 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 19 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1 T = 761.25 | (out)(err) |
S = OPTIMUM | O = 1 T = 484.19 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V100-C900-12.cnf | S = OPTIMUM | O = 1 T = 476.50 | (out)(err) |
S = OPTIMUM | O = 1 T = 1406.84 | (out)(err) |
S = OPTIMUM | O = 1 T = 189.61 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 16 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1 T = 1161.92 | (out)(err) |
S = OPTIMUM | O = 1 T = 645.75 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V100-C900-13.cnf | S = OPTIMUM | O = 1 T = 373.75 | (out)(err) |
S = OPTIMUM | O = 1 T = 1133.88 | (out)(err) |
S = OPTIMUM | O = 1 T = 56.28 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 15 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1 T = 1494.17 | (out)(err) |
S = OPTIMUM | O = 1 T = 1480.27 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1 T = 204.76 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V100-C900-14.cnf | S = OPTIMUM | O = 2 T = 1329.06 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 18 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3 T = Time Out | (out)(err) |
S = N/A | O = 2 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V100-C900-15.cnf | S = OPTIMUM | O = 1 T = 589.47 | (out)(err) |
S = OPTIMUM | O = 1 T = 1773.23 | (out)(err) |
S = OPTIMUM | O = 1 T = 1110.29 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 18 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1 T = 224.48 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V100-C900-16.cnf | S = OPTIMUM | O = 1 T = 486.69 | (out)(err) |
S = OPTIMUM | O = 1 T = 1525.17 | (out)(err) |
S = OPTIMUM | O = 1 T = 750.65 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 17 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1 T = 1789.77 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V100-C900-17.cnf | S = OPTIMUM | O = 1 T = 794.91 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 15 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1 T = 256.76 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V100-C900-18.cnf | S = OPTIMUM | O = 1 T = 155.41 | (out)(err) |
S = OPTIMUM | O = 1 T = 365.72 | (out)(err) |
S = OPTIMUM | O = 1 T = 78.98 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 17 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1 T = 538.02 | (out)(err) |
S = OPTIMUM | O = 1 T = 533.32 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1 T = 210.93 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V100-C900-19.cnf | S = OPTIMUM | O = 2 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 16 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3 T = Time Out | (out)(err) |
S = N/A | O = 2 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V100-C900-2.cnf | S = OPTIMUM | O = 2 T = 1282.76 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 15 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2 T = Time Out | (out)(err) |
S = N/A | O = 2 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V100-C900-20.cnf | S = OPTIMUM | O = 2 T = 1307.75 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 17 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2 T = Time Out | (out)(err) |
S = N/A | O = 2 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V100-C900-21.cnf | S = OPTIMUM | O = 1 T = 411.20 | (out)(err) |
S = OPTIMUM | O = 1 T = 1278.97 | (out)(err) |
S = OPTIMUM | O = 1 T = 1231.93 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 14 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1 T = 1737.15 | (out)(err) |
S = OPTIMUM | O = 1 T = 1723.50 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1 T = 222.47 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V100-C900-22.cnf | S = OPTIMUM | O = 1 T = 908.66 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1 T = 386.38 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 17 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2 T = Time Out | (out)(err) |
S = N/A | O = 2 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V100-C900-23.cnf | S = OPTIMUM | O = 2 T = 1197.11 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 12 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2 T = Time Out | (out)(err) |
S = N/A | O = 2 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V100-C900-24.cnf | S = OPTIMUM | O = 1 T = 914.08 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 16 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1 T = 1501.85 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V100-C900-3.cnf | S = OPTIMUM | O = 1 T = 973.54 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 15 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1 T = 1402.00 | (out)(err) |
S = OPTIMUM | O = 1 T = 254.69 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V100-C900-4.cnf | S = OPTIMUM | O = 2 T = 1297.36 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 15 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3 T = Time Out | (out)(err) |
S = N/A | O = 2 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V100-C900-5.cnf | S = OPTIMUM | O = 1 T = 211.19 | (out)(err) |
S = OPTIMUM | O = 1 T = 617.42 | (out)(err) |
S = OPTIMUM | O = 1 T = 50.03 | (out)(err) |
S = OPTIMUM | O = 1 T = 272.94 | (out)(err) |
S = N/A | O = 14 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1 T = 844.11 | (out)(err) |
S = OPTIMUM | O = 1 T = 833.73 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1 T = 912.37 | (out)(err) |
S = OPTIMUM | O = 1 T = 239.03 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V100-C900-6.cnf | S = OPTIMUM | O = 1 T = 461.03 | (out)(err) |
S = OPTIMUM | O = 1 T = 1390.46 | (out)(err) |
S = OPTIMUM | O = 1 T = 247.66 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 13 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1 T = 222.82 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V100-C900-7.cnf | S = OPTIMUM | O = 2 T = 1508.45 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 14 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2 T = Time Out | (out)(err) |
S = N/A | O = 2 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V100-C900-8.cnf | S = OPTIMUM | O = 1 T = 1133.25 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 15 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1 T = 916.17 | (out)(err) |
S = OPTIMUM | O = 1 T = 228.58 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V100-C900-9.cnf | S = OPTIMUM | O = 1 T = 493.22 | (out)(err) |
S = OPTIMUM | O = 1 T = 1533.75 | (out)(err) |
S = OPTIMUM | O = 1 T = 826.05 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 16 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1 T = 238.11 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V150-C1350-1.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 40 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 7 T = Time Out | (out)(err) |
S = N/A | O = 1 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V150-C1350-10.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 36 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 9 T = Time Out | (out)(err) |
S = N/A | O = 1 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V150-C1350-100.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 38 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 8 T = Time Out | (out)(err) |
S = N/A | O = 2 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V150-C1350-11.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 39 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 8 T = Time Out | (out)(err) |
S = N/A | O = 2 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V150-C1350-12.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 40 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 11 T = Time Out | (out)(err) |
S = N/A | O = 2 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V150-C1350-13.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 36 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 7 T = Time Out | (out)(err) |
S = N/A | O = 2 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V150-C1350-14.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 39 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 12 T = Time Out | (out)(err) |
S = N/A | O = 2 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V150-C1350-15.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 39 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 11 T = Time Out | (out)(err) |
S = N/A | O = 1 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V150-C1350-16.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 32 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 8 T = Time Out | (out)(err) |
S = N/A | O = 2 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V150-C1350-17.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 36 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 12 T = Time Out | (out)(err) |
S = N/A | O = 3 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V150-C1350-18.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 36 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 8 T = Time Out | (out)(err) |
S = N/A | O = 2 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V150-C1350-19.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 35 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 9 T = Time Out | (out)(err) |
S = N/A | O = 1 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V150-C1350-2.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 36 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 7 T = Time Out | (out)(err) |
S = N/A | O = 1 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V150-C1350-20.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 32 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 10 T = Time Out | (out)(err) |
S = N/A | O = 2 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V150-C1350-21.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 37 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 11 T = Time Out | (out)(err) |
S = N/A | O = 2 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V150-C1350-22.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 32 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 7 T = Time Out | (out)(err) |
S = N/A | O = 1 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V150-C1350-23.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 37 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 9 T = Time Out | (out)(err) |
S = N/A | O = 2 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V150-C1350-24.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 35 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 9 T = Time Out | (out)(err) |
S = N/A | O = 2 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V150-C1350-3.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 30 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 7 T = Time Out | (out)(err) |
S = N/A | O = 1 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V150-C1350-4.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 37 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 6 T = Time Out | (out)(err) |
S = N/A | O = 1 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V150-C1350-5.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 40 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 9 T = Time Out | (out)(err) |
S = N/A | O = 2 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V150-C1350-6.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 35 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 8 T = Time Out | (out)(err) |
S = N/A | O = 1 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V150-C1350-7.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 33 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 9 T = Time Out | (out)(err) |
S = N/A | O = 2 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V150-C1350-8.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 33 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 8 T = Time Out | (out)(err) |
S = N/A | O = 2 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
HG-4SAT-V150-C1350-9.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 36 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 6 T = Time Out | (out)(err) |
S = N/A | O = 2 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1200-1.cnf | S = OPTIMUM | O = 161 T = 155.23 | (out)(err) |
S = OPTIMUM | O = 161 T = 42.44 | (out)(err) |
S = OPTIMUM | O = 161 T = 17.22 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 230 T = Time Out | (out)(err) |
S = OPTIMUM | O = 161 T = 55.26 | (out)(err) |
S = OPTIMUM | O = 161 T = 57.22 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 161 T = 42.83 | (out)(err) |
S = OPTIMUM | O = 161 T = 28.04 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1200-10.cnf | S = OPTIMUM | O = 154 T = 22.99 | (out)(err) |
S = OPTIMUM | O = 154 T = 6.54 | (out)(err) |
S = OPTIMUM | O = 154 T = 6.71 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 216 T = Time Out | (out)(err) |
S = OPTIMUM | O = 154 T = 11.93 | (out)(err) |
S = OPTIMUM | O = 154 T = 9.33 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 154 T = 7.18 | (out)(err) |
S = OPTIMUM | O = 154 T = 6.86 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1200-2.cnf | S = OPTIMUM | O = 159 T = 177.66 | (out)(err) |
S = OPTIMUM | O = 159 T = 37.30 | (out)(err) |
S = OPTIMUM | O = 159 T = 24.14 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 222 T = Time Out | (out)(err) |
S = OPTIMUM | O = 159 T = 56.67 | (out)(err) |
S = OPTIMUM | O = 159 T = 77.56 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 159 T = 38.13 | (out)(err) |
S = OPTIMUM | O = 159 T = 23.62 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1200-3.cnf | S = OPTIMUM | O = 160 T = 68.09 | (out)(err) |
S = OPTIMUM | O = 160 T = 5.88 | (out)(err) |
S = OPTIMUM | O = 160 T = 5.79 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 222 T = Time Out | (out)(err) |
S = OPTIMUM | O = 160 T = 21.11 | (out)(err) |
S = OPTIMUM | O = 160 T = 14.04 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 160 T = 13.75 | (out)(err) |
S = OPTIMUM | O = 160 T = 9.07 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1200-4.cnf | S = OPTIMUM | O = 157 T = 44.00 | (out)(err) |
S = OPTIMUM | O = 157 T = 13.15 | (out)(err) |
S = OPTIMUM | O = 157 T = 9.89 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 222 T = Time Out | (out)(err) |
S = OPTIMUM | O = 157 T = 16.76 | (out)(err) |
S = OPTIMUM | O = 157 T = 16.45 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 157 T = 13.46 | (out)(err) |
S = OPTIMUM | O = 157 T = 12.14 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1200-5.cnf | S = OPTIMUM | O = 143 T = 25.56 | (out)(err) |
S = OPTIMUM | O = 143 T = 5.83 | (out)(err) |
S = OPTIMUM | O = 143 T = 4.40 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 198 T = Time Out | (out)(err) |
S = OPTIMUM | O = 143 T = 15.77 | (out)(err) |
S = OPTIMUM | O = 143 T = 12.52 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 143 T = 8.41 | (out)(err) |
S = OPTIMUM | O = 143 T = 6.63 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1200-6.cnf | S = OPTIMUM | O = 167 T = 145.72 | (out)(err) |
S = OPTIMUM | O = 167 T = 32.36 | (out)(err) |
S = OPTIMUM | O = 167 T = 21.73 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 229 T = Time Out | (out)(err) |
S = OPTIMUM | O = 167 T = 74.49 | (out)(err) |
S = OPTIMUM | O = 167 T = 77.31 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 167 T = 43.92 | (out)(err) |
S = OPTIMUM | O = 167 T = 33.17 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1200-7.cnf | S = OPTIMUM | O = 162 T = 110.93 | (out)(err) |
S = OPTIMUM | O = 162 T = 18.89 | (out)(err) |
S = OPTIMUM | O = 162 T = 17.77 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 231 T = Time Out | (out)(err) |
S = OPTIMUM | O = 162 T = 42.24 | (out)(err) |
S = OPTIMUM | O = 162 T = 34.56 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 162 T = 38.60 | (out)(err) |
S = OPTIMUM | O = 162 T = 33.77 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1200-8.cnf | S = OPTIMUM | O = 165 T = 335.21 | (out)(err) |
S = OPTIMUM | O = 165 T = 55.12 | (out)(err) |
S = OPTIMUM | O = 165 T = 54.99 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 229 T = Time Out | (out)(err) |
S = OPTIMUM | O = 165 T = 292.65 | (out)(err) |
S = OPTIMUM | O = 165 T = 199.43 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 165 T = 101.19 | (out)(err) |
S = OPTIMUM | O = 165 T = 88.37 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1200-9.cnf | S = OPTIMUM | O = 148 T = 29.59 | (out)(err) |
S = OPTIMUM | O = 148 T = 4.76 | (out)(err) |
S = OPTIMUM | O = 148 T = 4.20 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 223 T = Time Out | (out)(err) |
S = OPTIMUM | O = 148 T = 7.67 | (out)(err) |
S = OPTIMUM | O = 148 T = 6.82 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 148 T = 8.29 | (out)(err) |
S = OPTIMUM | O = 148 T = 5.93 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1300-1.cnf | S = OPTIMUM | O = 180 T = 304.63 | (out)(err) |
S = OPTIMUM | O = 180 T = 43.61 | (out)(err) |
S = OPTIMUM | O = 180 T = 41.66 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 236 T = Time Out | (out)(err) |
S = OPTIMUM | O = 180 T = 125.47 | (out)(err) |
S = OPTIMUM | O = 180 T = 117.55 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 180 T = 67.29 | (out)(err) |
S = OPTIMUM | O = 180 T = 58.40 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1300-10.cnf | S = OPTIMUM | O = 180 T = 229.31 | (out)(err) |
S = OPTIMUM | O = 180 T = 35.71 | (out)(err) |
S = OPTIMUM | O = 180 T = 36.32 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 242 T = Time Out | (out)(err) |
S = OPTIMUM | O = 180 T = 59.88 | (out)(err) |
S = OPTIMUM | O = 180 T = 73.61 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 180 T = 86.82 | (out)(err) |
S = OPTIMUM | O = 180 T = 38.80 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1300-2.cnf | S = OPTIMUM | O = 172 T = 102.80 | (out)(err) |
S = OPTIMUM | O = 172 T = 27.79 | (out)(err) |
S = OPTIMUM | O = 172 T = 21.38 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 242 T = Time Out | (out)(err) |
S = OPTIMUM | O = 172 T = 38.08 | (out)(err) |
S = OPTIMUM | O = 172 T = 47.01 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 172 T = 40.30 | (out)(err) |
S = OPTIMUM | O = 172 T = 25.32 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1300-3.cnf | S = OPTIMUM | O = 173 T = 115.95 | (out)(err) |
S = OPTIMUM | O = 173 T = 23.14 | (out)(err) |
S = OPTIMUM | O = 173 T = 17.73 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 243 T = Time Out | (out)(err) |
S = OPTIMUM | O = 173 T = 68.17 | (out)(err) |
S = OPTIMUM | O = 173 T = 62.52 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 173 T = 47.43 | (out)(err) |
S = OPTIMUM | O = 173 T = 22.46 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1300-4.cnf | S = OPTIMUM | O = 176 T = 209.64 | (out)(err) |
S = OPTIMUM | O = 176 T = 35.89 | (out)(err) |
S = OPTIMUM | O = 176 T = 17.47 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 244 T = Time Out | (out)(err) |
S = OPTIMUM | O = 176 T = 51.05 | (out)(err) |
S = OPTIMUM | O = 176 T = 34.82 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 176 T = 51.09 | (out)(err) |
S = OPTIMUM | O = 176 T = 19.85 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1300-5.cnf | S = OPTIMUM | O = 168 T = 43.49 | (out)(err) |
S = OPTIMUM | O = 168 T = 11.50 | (out)(err) |
S = OPTIMUM | O = 168 T = 7.74 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 231 T = Time Out | (out)(err) |
S = OPTIMUM | O = 168 T = 31.03 | (out)(err) |
S = OPTIMUM | O = 168 T = 28.70 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 168 T = 19.96 | (out)(err) |
S = OPTIMUM | O = 168 T = 14.39 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1300-6.cnf | S = OPTIMUM | O = 180 T = 127.13 | (out)(err) |
S = OPTIMUM | O = 180 T = 37.79 | (out)(err) |
S = OPTIMUM | O = 180 T = 18.55 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 232 T = Time Out | (out)(err) |
S = OPTIMUM | O = 180 T = 61.21 | (out)(err) |
S = OPTIMUM | O = 180 T = 65.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 180 T = 60.15 | (out)(err) |
S = OPTIMUM | O = 180 T = 29.45 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1300-7.cnf | S = OPTIMUM | O = 169 T = 58.62 | (out)(err) |
S = OPTIMUM | O = 169 T = 7.86 | (out)(err) |
S = OPTIMUM | O = 169 T = 6.32 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 247 T = Time Out | (out)(err) |
S = OPTIMUM | O = 169 T = 11.11 | (out)(err) |
S = OPTIMUM | O = 169 T = 15.37 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 169 T = 8.11 | (out)(err) |
S = OPTIMUM | O = 169 T = 7.22 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1300-8.cnf | S = OPTIMUM | O = 174 T = 81.80 | (out)(err) |
S = OPTIMUM | O = 174 T = 8.11 | (out)(err) |
S = OPTIMUM | O = 174 T = 7.92 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 242 T = Time Out | (out)(err) |
S = OPTIMUM | O = 174 T = 20.50 | (out)(err) |
S = OPTIMUM | O = 174 T = 22.29 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 174 T = 11.87 | (out)(err) |
S = OPTIMUM | O = 174 T = 11.93 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1300-9.cnf | S = OPTIMUM | O = 186 T = 400.45 | (out)(err) |
S = OPTIMUM | O = 186 T = 89.22 | (out)(err) |
S = OPTIMUM | O = 186 T = 90.06 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 254 T = Time Out | (out)(err) |
S = OPTIMUM | O = 186 T = 197.52 | (out)(err) |
S = OPTIMUM | O = 186 T = 185.65 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 186 T = 116.90 | (out)(err) |
S = OPTIMUM | O = 186 T = 110.96 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1400-1.cnf | S = OPTIMUM | O = 197 T = 448.81 | (out)(err) |
S = OPTIMUM | O = 197 T = 84.31 | (out)(err) |
S = OPTIMUM | O = 197 T = 61.14 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 264 T = Time Out | (out)(err) |
S = OPTIMUM | O = 197 T = 148.92 | (out)(err) |
S = OPTIMUM | O = 197 T = 143.67 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 197 T = 100.60 | (out)(err) |
S = OPTIMUM | O = 197 T = 55.90 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1400-10.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 211 T = 917.00 | (out)(err) |
S = OPTIMUM | O = 211 T = 326.90 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 272 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 211 T = 840.30 | (out)(err) |
S = OPTIMUM | O = 211 T = 411.28 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1400-2.cnf | S = OPTIMUM | O = 191 T = 238.22 | (out)(err) |
S = OPTIMUM | O = 191 T = 46.02 | (out)(err) |
S = OPTIMUM | O = 191 T = 42.30 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 273 T = Time Out | (out)(err) |
S = OPTIMUM | O = 191 T = 80.39 | (out)(err) |
S = OPTIMUM | O = 191 T = 79.61 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 191 T = 48.05 | (out)(err) |
S = OPTIMUM | O = 191 T = 45.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1400-3.cnf | S = OPTIMUM | O = 189 T = 177.44 | (out)(err) |
S = OPTIMUM | O = 189 T = 55.70 | (out)(err) |
S = OPTIMUM | O = 189 T = 26.40 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 265 T = Time Out | (out)(err) |
S = OPTIMUM | O = 189 T = 46.31 | (out)(err) |
S = OPTIMUM | O = 189 T = 38.37 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 189 T = 58.91 | (out)(err) |
S = OPTIMUM | O = 189 T = 37.25 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1400-4.cnf | S = OPTIMUM | O = 200 T = 1282.61 | (out)(err) |
S = OPTIMUM | O = 200 T = 287.34 | (out)(err) |
S = OPTIMUM | O = 200 T = 80.33 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 267 T = Time Out | (out)(err) |
S = OPTIMUM | O = 200 T = 1069.00 | (out)(err) |
S = OPTIMUM | O = 200 T = 1124.72 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 200 T = 145.51 | (out)(err) |
S = OPTIMUM | O = 200 T = 92.86 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1400-5.cnf | S = OPTIMUM | O = 199 T = 382.75 | (out)(err) |
S = OPTIMUM | O = 199 T = 54.86 | (out)(err) |
S = OPTIMUM | O = 199 T = 21.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 266 T = Time Out | (out)(err) |
S = OPTIMUM | O = 199 T = 166.47 | (out)(err) |
S = OPTIMUM | O = 199 T = 142.67 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 199 T = 102.82 | (out)(err) |
S = OPTIMUM | O = 199 T = 35.71 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1400-6.cnf | S = OPTIMUM | O = 196 T = 224.28 | (out)(err) |
S = OPTIMUM | O = 196 T = 42.48 | (out)(err) |
S = OPTIMUM | O = 196 T = 39.88 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 273 T = Time Out | (out)(err) |
S = OPTIMUM | O = 196 T = 111.79 | (out)(err) |
S = OPTIMUM | O = 196 T = 76.70 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 196 T = 51.65 | (out)(err) |
S = OPTIMUM | O = 196 T = 50.75 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1400-7.cnf | S = OPTIMUM | O = 206 T = 1556.94 | (out)(err) |
S = OPTIMUM | O = 206 T = 188.08 | (out)(err) |
S = OPTIMUM | O = 206 T = 180.11 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 275 T = Time Out | (out)(err) |
S = OPTIMUM | O = 206 T = 466.54 | (out)(err) |
S = OPTIMUM | O = 206 T = 1616.45 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 206 T = 460.08 | (out)(err) |
S = OPTIMUM | O = 206 T = 274.54 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1400-8.cnf | S = OPTIMUM | O = 194 T = 548.85 | (out)(err) |
S = OPTIMUM | O = 194 T = 180.18 | (out)(err) |
S = OPTIMUM | O = 194 T = 121.44 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 269 T = Time Out | (out)(err) |
S = OPTIMUM | O = 194 T = 310.37 | (out)(err) |
S = OPTIMUM | O = 194 T = 309.84 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 194 T = 162.30 | (out)(err) |
S = OPTIMUM | O = 194 T = 146.27 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1400-9.cnf | S = OPTIMUM | O = 198 T = 253.75 | (out)(err) |
S = OPTIMUM | O = 198 T = 32.39 | (out)(err) |
S = OPTIMUM | O = 198 T = 29.48 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 271 T = Time Out | (out)(err) |
S = OPTIMUM | O = 198 T = 115.82 | (out)(err) |
S = OPTIMUM | O = 198 T = 93.10 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 198 T = 41.91 | (out)(err) |
S = OPTIMUM | O = 198 T = 41.80 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1500-1.cnf | S = OPTIMUM | O = 211 T = 202.90 | (out)(err) |
S = OPTIMUM | O = 211 T = 68.44 | (out)(err) |
S = OPTIMUM | O = 211 T = 21.48 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 297 T = Time Out | (out)(err) |
S = OPTIMUM | O = 211 T = 215.83 | (out)(err) |
S = OPTIMUM | O = 211 T = 170.82 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 211 T = 51.08 | (out)(err) |
S = OPTIMUM | O = 211 T = 30.23 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1500-10.cnf | S = OPTIMUM | O = 213 T = 1539.88 | (out)(err) |
S = OPTIMUM | O = 213 T = 51.52 | (out)(err) |
S = OPTIMUM | O = 213 T = 35.07 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 292 T = Time Out | (out)(err) |
S = OPTIMUM | O = 213 T = 275.00 | (out)(err) |
S = OPTIMUM | O = 213 T = 229.43 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 213 T = 210.48 | (out)(err) |
S = OPTIMUM | O = 213 T = 37.04 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1500-2.cnf | S = OPTIMUM | O = 213 T = 642.41 | (out)(err) |
S = OPTIMUM | O = 213 T = 107.12 | (out)(err) |
S = OPTIMUM | O = 213 T = 104.17 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 296 T = Time Out | (out)(err) |
S = OPTIMUM | O = 213 T = 183.10 | (out)(err) |
S = OPTIMUM | O = 213 T = 212.82 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 213 T = 122.30 | (out)(err) |
S = OPTIMUM | O = 213 T = 96.48 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1500-3.cnf | S = OPTIMUM | O = 207 T = 154.59 | (out)(err) |
S = OPTIMUM | O = 207 T = 53.64 | (out)(err) |
S = OPTIMUM | O = 207 T = 19.75 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 291 T = Time Out | (out)(err) |
S = OPTIMUM | O = 207 T = 162.63 | (out)(err) |
S = OPTIMUM | O = 207 T = 84.24 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 207 T = 24.51 | (out)(err) |
S = OPTIMUM | O = 207 T = 18.32 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1500-4.cnf | S = OPTIMUM | O = 212 T = 1007.26 | (out)(err) |
S = OPTIMUM | O = 212 T = 196.53 | (out)(err) |
S = OPTIMUM | O = 212 T = 145.01 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 267 T = Time Out | (out)(err) |
S = OPTIMUM | O = 212 T = 533.59 | (out)(err) |
S = OPTIMUM | O = 212 T = 602.60 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 212 T = 220.73 | (out)(err) |
S = OPTIMUM | O = 212 T = 145.18 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1500-5.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 233 T = 595.98 | (out)(err) |
S = OPTIMUM | O = 233 T = 365.48 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 296 T = Time Out | (out)(err) |
S = OPTIMUM | O = 233 T = 1347.49 | (out)(err) |
S = OPTIMUM | O = 233 T = 1727.19 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 233 T = 1287.62 | (out)(err) |
S = OPTIMUM | O = 233 T = 521.74 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1500-6.cnf | S = OPTIMUM | O = 209 T = 212.70 | (out)(err) |
S = OPTIMUM | O = 209 T = 39.87 | (out)(err) |
S = OPTIMUM | O = 209 T = 26.36 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 299 T = Time Out | (out)(err) |
S = OPTIMUM | O = 209 T = 77.89 | (out)(err) |
S = OPTIMUM | O = 209 T = 71.77 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 209 T = 49.12 | (out)(err) |
S = OPTIMUM | O = 209 T = 29.88 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1500-7.cnf | S = OPTIMUM | O = 216 T = 1115.60 | (out)(err) |
S = OPTIMUM | O = 216 T = 115.67 | (out)(err) |
S = OPTIMUM | O = 216 T = 88.86 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 288 T = Time Out | (out)(err) |
S = OPTIMUM | O = 216 T = 397.68 | (out)(err) |
S = OPTIMUM | O = 216 T = 449.67 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 216 T = 199.83 | (out)(err) |
S = OPTIMUM | O = 216 T = 161.36 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1500-8.cnf | S = OPTIMUM | O = 212 T = 380.01 | (out)(err) |
S = OPTIMUM | O = 212 T = 61.15 | (out)(err) |
S = OPTIMUM | O = 212 T = 31.97 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 285 T = Time Out | (out)(err) |
S = OPTIMUM | O = 212 T = 187.20 | (out)(err) |
S = OPTIMUM | O = 212 T = 225.42 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 212 T = 98.68 | (out)(err) |
S = OPTIMUM | O = 212 T = 40.08 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1500-9.cnf | S = OPTIMUM | O = 223 T = 875.01 | (out)(err) |
S = OPTIMUM | O = 223 T = 170.39 | (out)(err) |
S = OPTIMUM | O = 223 T = 147.83 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 294 T = Time Out | (out)(err) |
S = OPTIMUM | O = 223 T = 334.84 | (out)(err) |
S = OPTIMUM | O = 223 T = 334.61 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 223 T = 250.58 | (out)(err) |
S = OPTIMUM | O = 223 T = 213.17 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1600-1.cnf | S = OPTIMUM | O = 233 T = 939.28 | (out)(err) |
S = OPTIMUM | O = 233 T = 88.88 | (out)(err) |
S = OPTIMUM | O = 233 T = 76.81 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 318 T = Time Out | (out)(err) |
S = OPTIMUM | O = 233 T = 460.41 | (out)(err) |
S = OPTIMUM | O = 233 T = 432.42 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 233 T = 124.37 | (out)(err) |
S = OPTIMUM | O = 233 T = 72.20 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1600-10.cnf | S = OPTIMUM | O = 233 T = 883.65 | (out)(err) |
S = OPTIMUM | O = 233 T = 129.12 | (out)(err) |
S = OPTIMUM | O = 233 T = 113.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 309 T = Time Out | (out)(err) |
S = OPTIMUM | O = 233 T = 247.94 | (out)(err) |
S = OPTIMUM | O = 233 T = 277.05 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 233 T = 137.67 | (out)(err) |
S = OPTIMUM | O = 233 T = 127.88 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1600-2.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 239 T = 264.00 | (out)(err) |
S = OPTIMUM | O = 239 T = 260.86 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 322 T = Time Out | (out)(err) |
S = OPTIMUM | O = 239 T = 673.54 | (out)(err) |
S = OPTIMUM | O = 239 T = 687.99 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 239 T = 267.43 | (out)(err) |
S = OPTIMUM | O = 239 T = 285.65 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1600-3.cnf | S = OPTIMUM | O = 233 T = 890.70 | (out)(err) |
S = OPTIMUM | O = 233 T = 165.34 | (out)(err) |
S = OPTIMUM | O = 233 T = 88.86 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 318 T = Time Out | (out)(err) |
S = OPTIMUM | O = 233 T = 273.83 | (out)(err) |
S = OPTIMUM | O = 233 T = 244.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 233 T = 174.12 | (out)(err) |
S = OPTIMUM | O = 233 T = 121.19 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1600-4.cnf | S = OPTIMUM | O = 219 T = 118.74 | (out)(err) |
S = OPTIMUM | O = 219 T = 15.10 | (out)(err) |
S = OPTIMUM | O = 219 T = 13.66 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 302 T = Time Out | (out)(err) |
S = OPTIMUM | O = 219 T = 29.96 | (out)(err) |
S = OPTIMUM | O = 219 T = 55.20 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 219 T = 20.99 | (out)(err) |
S = OPTIMUM | O = 219 T = 20.73 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1600-5.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 247 T = 603.40 | (out)(err) |
S = OPTIMUM | O = 247 T = 600.20 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 317 T = Time Out | (out)(err) |
S = OPTIMUM | O = 247 T = 1596.36 | (out)(err) |
S = OPTIMUM | O = 247 T = 1481.61 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 247 T = 791.76 | (out)(err) |
S = OPTIMUM | O = 247 T = 698.27 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1600-6.cnf | S = OPTIMUM | O = 235 T = 1380.93 | (out)(err) |
S = OPTIMUM | O = 235 T = 226.63 | (out)(err) |
S = OPTIMUM | O = 235 T = 202.26 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 326 T = Time Out | (out)(err) |
S = OPTIMUM | O = 235 T = 555.14 | (out)(err) |
S = OPTIMUM | O = 235 T = 529.99 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 235 T = 202.66 | (out)(err) |
S = OPTIMUM | O = 235 T = 160.55 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1600-7.cnf | S = OPTIMUM | O = 225 T = 374.10 | (out)(err) |
S = OPTIMUM | O = 225 T = 38.02 | (out)(err) |
S = OPTIMUM | O = 225 T = 36.97 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 313 T = Time Out | (out)(err) |
S = OPTIMUM | O = 225 T = 207.38 | (out)(err) |
S = OPTIMUM | O = 225 T = 173.50 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 225 T = 67.28 | (out)(err) |
S = OPTIMUM | O = 225 T = 66.19 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1600-8.cnf | S = OPTIMUM | O = 237 T = 543.55 | (out)(err) |
S = OPTIMUM | O = 237 T = 50.35 | (out)(err) |
S = OPTIMUM | O = 237 T = 41.50 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 318 T = Time Out | (out)(err) |
S = OPTIMUM | O = 237 T = 110.28 | (out)(err) |
S = OPTIMUM | O = 237 T = 98.34 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 237 T = 72.50 | (out)(err) |
S = OPTIMUM | O = 237 T = 57.65 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1600-9.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 240 T = 314.12 | (out)(err) |
S = OPTIMUM | O = 240 T = 274.10 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 315 T = Time Out | (out)(err) |
S = OPTIMUM | O = 240 T = 728.08 | (out)(err) |
S = OPTIMUM | O = 240 T = 743.09 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 240 T = 213.09 | (out)(err) |
S = OPTIMUM | O = 240 T = 219.49 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1200-1.cnf | S = OPTIMUM | O = 144 T = 109.76 | (out)(err) |
S = OPTIMUM | O = 144 T = 51.48 | (out)(err) |
S = OPTIMUM | O = 144 T = 26.20 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 215 T = Time Out | (out)(err) |
S = OPTIMUM | O = 144 T = 44.10 | (out)(err) |
S = OPTIMUM | O = 144 T = 31.96 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 144 T = 78.07 | (out)(err) |
S = OPTIMUM | O = 144 T = 35.54 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1200-10.cnf | S = OPTIMUM | O = 140 T = 89.06 | (out)(err) |
S = OPTIMUM | O = 140 T = 23.62 | (out)(err) |
S = OPTIMUM | O = 140 T = 12.95 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 196 T = Time Out | (out)(err) |
S = OPTIMUM | O = 140 T = 49.82 | (out)(err) |
S = OPTIMUM | O = 140 T = 25.57 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 140 T = 24.98 | (out)(err) |
S = OPTIMUM | O = 140 T = 17.39 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1200-2.cnf | S = OPTIMUM | O = 155 T = 1663.72 | (out)(err) |
S = OPTIMUM | O = 155 T = 461.54 | (out)(err) |
S = OPTIMUM | O = 155 T = 322.15 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 221 T = Time Out | (out)(err) |
S = OPTIMUM | O = 155 T = 659.27 | (out)(err) |
S = OPTIMUM | O = 155 T = 531.65 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 155 T = 739.65 | (out)(err) |
S = OPTIMUM | O = 155 T = 513.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1200-3.cnf | S = OPTIMUM | O = 155 T = 259.87 | (out)(err) |
S = OPTIMUM | O = 155 T = 80.25 | (out)(err) |
S = OPTIMUM | O = 155 T = 53.29 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 216 T = Time Out | (out)(err) |
S = OPTIMUM | O = 155 T = 129.03 | (out)(err) |
S = OPTIMUM | O = 155 T = 127.28 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 155 T = 89.37 | (out)(err) |
S = OPTIMUM | O = 155 T = 72.82 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1200-4.cnf | S = OPTIMUM | O = 148 T = 389.62 | (out)(err) |
S = OPTIMUM | O = 148 T = 71.17 | (out)(err) |
S = OPTIMUM | O = 148 T = 53.17 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 210 T = Time Out | (out)(err) |
S = OPTIMUM | O = 148 T = 157.32 | (out)(err) |
S = OPTIMUM | O = 148 T = 120.32 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 148 T = 127.01 | (out)(err) |
S = OPTIMUM | O = 148 T = 72.55 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1200-5.cnf | S = OPTIMUM | O = 143 T = 292.57 | (out)(err) |
S = OPTIMUM | O = 143 T = 105.86 | (out)(err) |
S = OPTIMUM | O = 143 T = 69.98 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 207 T = Time Out | (out)(err) |
S = OPTIMUM | O = 143 T = 159.25 | (out)(err) |
S = OPTIMUM | O = 143 T = 114.48 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 143 T = 155.93 | (out)(err) |
S = OPTIMUM | O = 143 T = 102.46 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1200-6.cnf | S = OPTIMUM | O = 148 T = 223.04 | (out)(err) |
S = OPTIMUM | O = 148 T = 128.02 | (out)(err) |
S = OPTIMUM | O = 148 T = 48.55 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 207 T = Time Out | (out)(err) |
S = OPTIMUM | O = 148 T = 195.11 | (out)(err) |
S = OPTIMUM | O = 148 T = 112.49 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 148 T = 213.15 | (out)(err) |
S = OPTIMUM | O = 148 T = 74.91 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1200-7.cnf | S = OPTIMUM | O = 148 T = 507.38 | (out)(err) |
S = OPTIMUM | O = 148 T = 136.23 | (out)(err) |
S = OPTIMUM | O = 148 T = 101.56 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 216 T = Time Out | (out)(err) |
S = OPTIMUM | O = 148 T = 183.70 | (out)(err) |
S = OPTIMUM | O = 148 T = 165.63 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 148 T = 183.28 | (out)(err) |
S = OPTIMUM | O = 148 T = 125.49 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1200-8.cnf | S = OPTIMUM | O = 152 T = 906.04 | (out)(err) |
S = OPTIMUM | O = 152 T = 193.54 | (out)(err) |
S = OPTIMUM | O = 152 T = 116.73 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 224 T = Time Out | (out)(err) |
S = OPTIMUM | O = 152 T = 202.85 | (out)(err) |
S = OPTIMUM | O = 152 T = 188.60 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 152 T = 153.80 | (out)(err) |
S = OPTIMUM | O = 152 T = 141.43 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1200-9.cnf | S = OPTIMUM | O = 151 T = 1239.70 | (out)(err) |
S = OPTIMUM | O = 151 T = 287.34 | (out)(err) |
S = OPTIMUM | O = 151 T = 168.07 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 214 T = Time Out | (out)(err) |
S = OPTIMUM | O = 151 T = 469.70 | (out)(err) |
S = OPTIMUM | O = 151 T = 303.85 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 151 T = 466.27 | (out)(err) |
S = OPTIMUM | O = 151 T = 267.65 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1300-1.cnf | S = OPTIMUM | O = 162 T = 618.78 | (out)(err) |
S = OPTIMUM | O = 162 T = 181.25 | (out)(err) |
S = OPTIMUM | O = 162 T = 102.84 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 226 T = Time Out | (out)(err) |
S = OPTIMUM | O = 162 T = 143.43 | (out)(err) |
S = OPTIMUM | O = 162 T = 236.30 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 162 T = 187.19 | (out)(err) |
S = OPTIMUM | O = 162 T = 114.47 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1300-10.cnf | S = OPTIMUM | O = 170 T = 579.26 | (out)(err) |
S = OPTIMUM | O = 170 T = 258.91 | (out)(err) |
S = OPTIMUM | O = 170 T = 232.47 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 238 T = Time Out | (out)(err) |
S = OPTIMUM | O = 170 T = 373.86 | (out)(err) |
S = OPTIMUM | O = 170 T = 516.07 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 170 T = 269.39 | (out)(err) |
S = OPTIMUM | O = 170 T = 257.85 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1300-2.cnf | S = OPTIMUM | O = 171 T = 1571.70 | (out)(err) |
S = OPTIMUM | O = 171 T = 563.43 | (out)(err) |
S = OPTIMUM | O = 171 T = 437.52 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 244 T = Time Out | (out)(err) |
S = OPTIMUM | O = 171 T = 897.37 | (out)(err) |
S = OPTIMUM | O = 171 T = 893.02 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 171 T = 500.21 | (out)(err) |
S = OPTIMUM | O = 171 T = 422.56 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1300-3.cnf | S = OPTIMUM | O = 168 T = 835.44 | (out)(err) |
S = OPTIMUM | O = 168 T = 198.54 | (out)(err) |
S = OPTIMUM | O = 168 T = 139.96 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 242 T = Time Out | (out)(err) |
S = OPTIMUM | O = 168 T = 307.55 | (out)(err) |
S = OPTIMUM | O = 168 T = 251.72 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 168 T = 290.30 | (out)(err) |
S = OPTIMUM | O = 168 T = 150.07 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1300-4.cnf | S = OPTIMUM | O = 164 T = 402.44 | (out)(err) |
S = OPTIMUM | O = 164 T = 75.69 | (out)(err) |
S = OPTIMUM | O = 164 T = 46.23 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 235 T = Time Out | (out)(err) |
S = OPTIMUM | O = 164 T = 113.41 | (out)(err) |
S = OPTIMUM | O = 164 T = 112.93 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 164 T = 90.65 | (out)(err) |
S = OPTIMUM | O = 164 T = 52.82 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1300-5.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 169 T = 488.79 | (out)(err) |
S = OPTIMUM | O = 169 T = 332.86 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 235 T = Time Out | (out)(err) |
S = OPTIMUM | O = 169 T = 954.40 | (out)(err) |
S = OPTIMUM | O = 169 T = 653.28 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 169 T = 505.25 | (out)(err) |
S = OPTIMUM | O = 169 T = 348.10 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1300-6.cnf | S = OPTIMUM | O = 168 T = 454.64 | (out)(err) |
S = OPTIMUM | O = 168 T = 190.13 | (out)(err) |
S = OPTIMUM | O = 168 T = 77.18 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 239 T = Time Out | (out)(err) |
S = OPTIMUM | O = 168 T = 238.84 | (out)(err) |
S = OPTIMUM | O = 168 T = 184.16 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 168 T = 140.25 | (out)(err) |
S = OPTIMUM | O = 168 T = 102.82 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1300-7.cnf | S = OPTIMUM | O = 160 T = 155.54 | (out)(err) |
S = OPTIMUM | O = 160 T = 37.08 | (out)(err) |
S = OPTIMUM | O = 160 T = 26.76 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 242 T = Time Out | (out)(err) |
S = OPTIMUM | O = 160 T = 77.75 | (out)(err) |
S = OPTIMUM | O = 160 T = 92.72 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 160 T = 64.64 | (out)(err) |
S = OPTIMUM | O = 160 T = 46.76 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1300-8.cnf | S = OPTIMUM | O = 157 T = 112.28 | (out)(err) |
S = OPTIMUM | O = 157 T = 19.62 | (out)(err) |
S = OPTIMUM | O = 157 T = 15.07 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 237 T = Time Out | (out)(err) |
S = OPTIMUM | O = 157 T = 52.60 | (out)(err) |
S = OPTIMUM | O = 157 T = 33.07 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 157 T = 50.72 | (out)(err) |
S = OPTIMUM | O = 157 T = 28.73 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1300-9.cnf | S = OPTIMUM | O = 162 T = 351.98 | (out)(err) |
S = OPTIMUM | O = 162 T = 76.69 | (out)(err) |
S = OPTIMUM | O = 162 T = 55.38 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 234 T = Time Out | (out)(err) |
S = OPTIMUM | O = 162 T = 127.15 | (out)(err) |
S = OPTIMUM | O = 162 T = 111.46 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 162 T = 155.73 | (out)(err) |
S = OPTIMUM | O = 162 T = 85.78 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1400-1.cnf | S = OPTIMUM | O = 182 T = 924.94 | (out)(err) |
S = OPTIMUM | O = 182 T = 199.39 | (out)(err) |
S = OPTIMUM | O = 182 T = 123.60 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 256 T = Time Out | (out)(err) |
S = OPTIMUM | O = 182 T = 337.28 | (out)(err) |
S = OPTIMUM | O = 182 T = 246.80 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 182 T = 241.72 | (out)(err) |
S = OPTIMUM | O = 182 T = 159.31 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1400-10.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 188 T = 373.42 | (out)(err) |
S = OPTIMUM | O = 188 T = 224.28 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 251 T = Time Out | (out)(err) |
S = OPTIMUM | O = 188 T = 616.49 | (out)(err) |
S = OPTIMUM | O = 188 T = 671.08 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 188 T = 1000.84 | (out)(err) |
S = OPTIMUM | O = 188 T = 333.77 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1400-2.cnf | S = OPTIMUM | O = 178 T = 1176.19 | (out)(err) |
S = OPTIMUM | O = 178 T = 112.56 | (out)(err) |
S = OPTIMUM | O = 178 T = 94.99 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 267 T = Time Out | (out)(err) |
S = OPTIMUM | O = 178 T = 235.10 | (out)(err) |
S = OPTIMUM | O = 178 T = 140.96 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 178 T = 223.43 | (out)(err) |
S = OPTIMUM | O = 178 T = 114.86 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1400-3.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 193 T = 686.20 | (out)(err) |
S = OPTIMUM | O = 193 T = 389.01 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 266 T = Time Out | (out)(err) |
S = OPTIMUM | O = 193 T = 802.96 | (out)(err) |
S = OPTIMUM | O = 193 T = 604.37 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 193 T = 446.43 | (out)(err) |
S = OPTIMUM | O = 193 T = 455.61 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1400-4.cnf | S = OPTIMUM | O = 184 T = 947.33 | (out)(err) |
S = OPTIMUM | O = 184 T = 95.60 | (out)(err) |
S = OPTIMUM | O = 184 T = 81.51 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 266 T = Time Out | (out)(err) |
S = OPTIMUM | O = 184 T = 282.44 | (out)(err) |
S = OPTIMUM | O = 184 T = 389.48 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 184 T = 183.88 | (out)(err) |
S = OPTIMUM | O = 184 T = 134.72 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1400-5.cnf | S = OPTIMUM | O = 187 T = 985.25 | (out)(err) |
S = OPTIMUM | O = 187 T = 153.47 | (out)(err) |
S = OPTIMUM | O = 187 T = 114.79 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 252 T = Time Out | (out)(err) |
S = OPTIMUM | O = 187 T = 402.25 | (out)(err) |
S = OPTIMUM | O = 187 T = 567.93 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 187 T = 408.03 | (out)(err) |
S = OPTIMUM | O = 187 T = 158.69 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1400-6.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 188 T = 732.12 | (out)(err) |
S = OPTIMUM | O = 188 T = 685.36 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 262 T = Time Out | (out)(err) |
S = OPTIMUM | O = 188 T = 1106.00 | (out)(err) |
S = OPTIMUM | O = 188 T = 1069.94 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 188 T = 870.47 | (out)(err) |
S = OPTIMUM | O = 188 T = 773.89 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1400-7.cnf | S = OPTIMUM | O = 187 T = Time Out | (out)(err) |
S = OPTIMUM | O = 187 T = 410.29 | (out)(err) |
S = OPTIMUM | O = 187 T = 264.70 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 267 T = Time Out | (out)(err) |
S = OPTIMUM | O = 187 T = 540.00 | (out)(err) |
S = OPTIMUM | O = 187 T = 612.46 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 187 T = 439.15 | (out)(err) |
S = OPTIMUM | O = 187 T = 342.30 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1400-8.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 181 T = 646.20 | (out)(err) |
S = OPTIMUM | O = 181 T = 253.97 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 238 T = Time Out | (out)(err) |
S = OPTIMUM | O = 181 T = 627.45 | (out)(err) |
S = OPTIMUM | O = 181 T = 596.76 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 181 T = 688.70 | (out)(err) |
S = OPTIMUM | O = 181 T = 431.95 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1400-9.cnf | S = OPTIMUM | O = 185 T = 1028.13 | (out)(err) |
S = OPTIMUM | O = 185 T = 116.47 | (out)(err) |
S = OPTIMUM | O = 185 T = 113.44 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 267 T = Time Out | (out)(err) |
S = OPTIMUM | O = 185 T = 357.71 | (out)(err) |
S = OPTIMUM | O = 185 T = 265.02 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 185 T = 212.61 | (out)(err) |
S = OPTIMUM | O = 185 T = 166.47 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1500-1.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 205 T = 466.36 | (out)(err) |
S = OPTIMUM | O = 205 T = 456.12 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 292 T = Time Out | (out)(err) |
S = OPTIMUM | O = 205 T = 852.07 | (out)(err) |
S = OPTIMUM | O = 205 T = 829.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 205 T = 583.85 | (out)(err) |
S = OPTIMUM | O = 205 T = 564.49 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1500-10.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 202 T = 595.65 | (out)(err) |
S = OPTIMUM | O = 202 T = 484.89 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 280 T = Time Out | (out)(err) |
S = OPTIMUM | O = 202 T = 1419.11 | (out)(err) |
S = OPTIMUM | O = 202 T = 1430.26 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 202 T = 694.35 | (out)(err) |
S = OPTIMUM | O = 202 T = 649.73 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1500-2.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 199 T = 676.48 | (out)(err) |
S = OPTIMUM | O = 199 T = 480.07 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 286 T = Time Out | (out)(err) |
S = OPTIMUM | O = 199 T = 1535.64 | (out)(err) |
S = OPTIMUM | O = 199 T = 1485.48 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 199 T = 983.03 | (out)(err) |
S = OPTIMUM | O = 199 T = 707.34 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1500-3.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 212 T = Time Out | (out)(err) |
S = OPTIMUM | O = 212 T = 1408.10 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 284 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 212 T = Time Out | (out)(err) |
S = OPTIMUM | O = 212 T = 1459.19 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1500-4.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 197 T = 254.42 | (out)(err) |
S = OPTIMUM | O = 197 T = 172.92 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 273 T = Time Out | (out)(err) |
S = OPTIMUM | O = 197 T = 638.89 | (out)(err) |
S = OPTIMUM | O = 197 T = 548.92 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 197 T = 1301.39 | (out)(err) |
S = OPTIMUM | O = 197 T = 358.12 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1500-5.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 205 T = 525.40 | (out)(err) |
S = OPTIMUM | O = 205 T = 383.35 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 287 T = Time Out | (out)(err) |
S = OPTIMUM | O = 205 T = 1605.20 | (out)(err) |
S = OPTIMUM | O = 205 T = 762.73 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 205 T = 646.97 | (out)(err) |
S = OPTIMUM | O = 205 T = 502.67 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1500-6.cnf | S = OPTIMUM | O = 198 T = 1334.06 | (out)(err) |
S = OPTIMUM | O = 198 T = 166.03 | (out)(err) |
S = OPTIMUM | O = 198 T = 162.91 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 283 T = Time Out | (out)(err) |
S = OPTIMUM | O = 198 T = 427.67 | (out)(err) |
S = OPTIMUM | O = 198 T = 361.97 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 198 T = 250.33 | (out)(err) |
S = OPTIMUM | O = 198 T = 242.04 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1500-7.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 202 T = 539.31 | (out)(err) |
S = OPTIMUM | O = 202 T = 392.38 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 277 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 202 T = 1696.09 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 202 T = 559.71 | (out)(err) |
S = OPTIMUM | O = 202 T = 477.74 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1500-8.cnf | S = OPTIMUM | O = 199 T = 1466.18 | (out)(err) |
S = OPTIMUM | O = 199 T = 154.71 | (out)(err) |
S = OPTIMUM | O = 199 T = 79.35 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 283 T = Time Out | (out)(err) |
S = OPTIMUM | O = 199 T = 643.79 | (out)(err) |
S = OPTIMUM | O = 199 T = 950.08 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 199 T = 366.25 | (out)(err) |
S = OPTIMUM | O = 199 T = 130.28 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1500-9.cnf | S = OPTIMUM | O = 199 T = 444.13 | (out)(err) |
S = OPTIMUM | O = 199 T = 85.61 | (out)(err) |
S = OPTIMUM | O = 199 T = 85.47 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 273 T = Time Out | (out)(err) |
S = OPTIMUM | O = 199 T = 186.20 | (out)(err) |
S = OPTIMUM | O = 199 T = 176.70 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 199 T = 133.46 | (out)(err) |
S = OPTIMUM | O = 199 T = 126.14 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1600-1.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 221 T = 505.77 | (out)(err) |
S = OPTIMUM | O = 221 T = 487.75 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 311 T = Time Out | (out)(err) |
S = OPTIMUM | O = 221 T = 826.59 | (out)(err) |
S = OPTIMUM | O = 221 T = 833.21 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 221 T = 420.89 | (out)(err) |
S = OPTIMUM | O = 221 T = 390.75 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1600-10.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 226 T = 857.72 | (out)(err) |
S = OPTIMUM | O = 226 T = 840.62 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 299 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 226 T = 1205.57 | (out)(err) |
S = OPTIMUM | O = 226 T = 1245.21 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1600-2.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 221 T = 551.54 | (out)(err) |
S = OPTIMUM | O = 221 T = 522.47 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 316 T = Time Out | (out)(err) |
S = OPTIMUM | O = 221 T = 1662.06 | (out)(err) |
S = OPTIMUM | O = 221 T = 1613.57 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 221 T = 737.11 | (out)(err) |
S = OPTIMUM | O = 221 T = 706.94 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1600-3.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 226 T = 996.64 | (out)(err) |
S = OPTIMUM | O = 226 T = 816.11 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 305 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 226 T = 1171.72 | (out)(err) |
S = OPTIMUM | O = 226 T = 942.72 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1600-4.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 220 T = 665.78 | (out)(err) |
S = OPTIMUM | O = 220 T = 590.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 301 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 220 T = 696.46 | (out)(err) |
S = OPTIMUM | O = 220 T = 682.91 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1600-5.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 228 T = 1379.91 | (out)(err) |
S = OPTIMUM | O = 228 T = 1019.50 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 317 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 228 T = 1479.98 | (out)(err) |
S = OPTIMUM | O = 228 T = 1135.18 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1600-6.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 220 T = 398.25 | (out)(err) |
S = OPTIMUM | O = 220 T = 344.90 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 316 T = Time Out | (out)(err) |
S = OPTIMUM | O = 220 T = 886.56 | (out)(err) |
S = OPTIMUM | O = 220 T = 871.62 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 220 T = 490.24 | (out)(err) |
S = OPTIMUM | O = 220 T = 395.44 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1600-7.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 218 T = 541.65 | (out)(err) |
S = OPTIMUM | O = 218 T = 450.19 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 301 T = Time Out | (out)(err) |
S = OPTIMUM | O = 218 T = 879.80 | (out)(err) |
S = OPTIMUM | O = 218 T = 888.72 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 218 T = 775.38 | (out)(err) |
S = OPTIMUM | O = 218 T = 673.24 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1600-8.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 227 T = 880.23 | (out)(err) |
S = OPTIMUM | O = 227 T = 755.76 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 312 T = Time Out | (out)(err) |
S = OPTIMUM | O = 227 T = 1583.03 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 227 T = 980.06 | (out)(err) |
S = OPTIMUM | O = 227 T = 814.77 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1600-9.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 228 T = 1792.94 | (out)(err) |
S = OPTIMUM | O = 228 T = 1082.77 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 312 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 231 T = Time Out | (out)(err) |
S = OPTIMUM | O = 228 T = 1638.17 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c1000-1.cnf | S = OPTIMUM | O = 47 T = 204.84 | (out)(err) |
S = OPTIMUM | O = 47 T = 252.54 | (out)(err) |
S = OPTIMUM | O = 47 T = 249.33 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 69 T = Time Out | (out)(err) |
S = OPTIMUM | O = 47 T = 350.17 | (out)(err) |
S = OPTIMUM | O = 47 T = 356.50 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 47 T = 221.54 | (out)(err) |
S = OPTIMUM | O = 47 T = 216.60 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c1000-10.cnf | S = OPTIMUM | O = 45 T = 158.40 | (out)(err) |
S = OPTIMUM | O = 45 T = 200.60 | (out)(err) |
S = OPTIMUM | O = 45 T = 154.95 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 72 T = Time Out | (out)(err) |
S = OPTIMUM | O = 45 T = 276.65 | (out)(err) |
S = OPTIMUM | O = 45 T = 279.03 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 45 T = 173.14 | (out)(err) |
S = OPTIMUM | O = 45 T = 129.39 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c1000-2.cnf | S = OPTIMUM | O = 43 T = 87.93 | (out)(err) |
S = OPTIMUM | O = 43 T = 112.15 | (out)(err) |
S = OPTIMUM | O = 43 T = 109.39 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 62 T = Time Out | (out)(err) |
S = OPTIMUM | O = 43 T = 162.06 | (out)(err) |
S = OPTIMUM | O = 43 T = 163.58 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 43 T = 176.77 | (out)(err) |
S = OPTIMUM | O = 43 T = 96.18 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c1000-3.cnf | S = OPTIMUM | O = 45 T = 128.29 | (out)(err) |
S = OPTIMUM | O = 45 T = 165.67 | (out)(err) |
S = OPTIMUM | O = 45 T = 150.55 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 79 T = Time Out | (out)(err) |
S = OPTIMUM | O = 45 T = 223.93 | (out)(err) |
S = OPTIMUM | O = 45 T = 229.92 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 45 T = 179.47 | (out)(err) |
S = OPTIMUM | O = 45 T = 131.60 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c1000-4.cnf | S = OPTIMUM | O = 47 T = 288.62 | (out)(err) |
S = OPTIMUM | O = 47 T = 359.32 | (out)(err) |
S = OPTIMUM | O = 47 T = 236.20 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 72 T = Time Out | (out)(err) |
S = OPTIMUM | O = 47 T = 505.42 | (out)(err) |
S = OPTIMUM | O = 47 T = 508.03 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 47 T = 266.15 | (out)(err) |
S = OPTIMUM | O = 47 T = 207.47 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c1000-5.cnf | S = OPTIMUM | O = 42 T = 123.65 | (out)(err) |
S = OPTIMUM | O = 42 T = 126.39 | (out)(err) |
S = OPTIMUM | O = 42 T = 93.10 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 68 T = Time Out | (out)(err) |
S = OPTIMUM | O = 42 T = 215.17 | (out)(err) |
S = OPTIMUM | O = 42 T = 214.69 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 42 T = 117.63 | (out)(err) |
S = OPTIMUM | O = 42 T = 78.96 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c1000-6.cnf | S = OPTIMUM | O = 50 T = 523.35 | (out)(err) |
S = OPTIMUM | O = 50 T = 653.21 | (out)(err) |
S = OPTIMUM | O = 50 T = 595.70 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 69 T = Time Out | (out)(err) |
S = OPTIMUM | O = 50 T = 892.74 | (out)(err) |
S = OPTIMUM | O = 50 T = 916.81 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 50 T = 597.83 | (out)(err) |
S = OPTIMUM | O = 50 T = 455.50 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c1000-7.cnf | S = OPTIMUM | O = 49 T = 719.92 | (out)(err) |
S = OPTIMUM | O = 49 T = 836.62 | (out)(err) |
S = OPTIMUM | O = 49 T = 459.75 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 70 T = Time Out | (out)(err) |
S = OPTIMUM | O = 49 T = 1186.14 | (out)(err) |
S = OPTIMUM | O = 49 T = 1202.14 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 49 T = 621.35 | (out)(err) |
S = OPTIMUM | O = 49 T = 355.28 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c1000-8.cnf | S = OPTIMUM | O = 48 T = 546.57 | (out)(err) |
S = OPTIMUM | O = 48 T = 650.30 | (out)(err) |
S = OPTIMUM | O = 48 T = 524.63 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 66 T = Time Out | (out)(err) |
S = OPTIMUM | O = 48 T = 918.56 | (out)(err) |
S = OPTIMUM | O = 48 T = 925.56 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 48 T = 533.88 | (out)(err) |
S = OPTIMUM | O = 48 T = 437.07 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c1000-9.cnf | S = OPTIMUM | O = 49 T = 534.07 | (out)(err) |
S = OPTIMUM | O = 49 T = 670.00 | (out)(err) |
S = OPTIMUM | O = 49 T = 528.74 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 69 T = Time Out | (out)(err) |
S = OPTIMUM | O = 49 T = 925.87 | (out)(err) |
S = OPTIMUM | O = 49 T = 936.78 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 49 T = 557.42 | (out)(err) |
S = OPTIMUM | O = 49 T = 459.87 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c1100-1.cnf | S = OPTIMUM | O = 56 T = 790.84 | (out)(err) |
S = OPTIMUM | O = 56 T = 930.57 | (out)(err) |
S = OPTIMUM | O = 56 T = 717.04 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 74 T = Time Out | (out)(err) |
S = OPTIMUM | O = 56 T = 1338.79 | (out)(err) |
S = OPTIMUM | O = 56 T = 1352.78 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 56 T = 740.34 | (out)(err) |
S = OPTIMUM | O = 56 T = 594.05 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c1100-10.cnf | S = OPTIMUM | O = 58 T = 940.42 | (out)(err) |
S = OPTIMUM | O = 58 T = 1128.78 | (out)(err) |
S = OPTIMUM | O = 58 T = 1034.37 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 80 T = Time Out | (out)(err) |
S = OPTIMUM | O = 58 T = 1640.77 | (out)(err) |
S = OPTIMUM | O = 58 T = 1668.99 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 58 T = 874.45 | (out)(err) |
S = OPTIMUM | O = 58 T = 821.38 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c1100-2.cnf | S = OPTIMUM | O = 55 T = 497.67 | (out)(err) |
S = OPTIMUM | O = 55 T = 505.16 | (out)(err) |
S = OPTIMUM | O = 55 T = 458.46 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 81 T = Time Out | (out)(err) |
S = OPTIMUM | O = 55 T = 843.24 | (out)(err) |
S = OPTIMUM | O = 55 T = 875.55 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 55 T = 530.49 | (out)(err) |
S = OPTIMUM | O = 55 T = 405.67 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c1100-3.cnf | S = OPTIMUM | O = 53 T = 374.51 | (out)(err) |
S = OPTIMUM | O = 53 T = 455.78 | (out)(err) |
S = OPTIMUM | O = 53 T = 265.92 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 84 T = Time Out | (out)(err) |
S = OPTIMUM | O = 53 T = 608.10 | (out)(err) |
S = OPTIMUM | O = 53 T = 665.42 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 53 T = 383.29 | (out)(err) |
S = OPTIMUM | O = 53 T = 235.68 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c1100-4.cnf | S = OPTIMUM | O = 52 T = 304.63 | (out)(err) |
S = OPTIMUM | O = 52 T = 371.16 | (out)(err) |
S = OPTIMUM | O = 52 T = 345.86 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 72 T = Time Out | (out)(err) |
S = OPTIMUM | O = 52 T = 536.51 | (out)(err) |
S = OPTIMUM | O = 52 T = 544.39 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 52 T = 302.81 | (out)(err) |
S = OPTIMUM | O = 52 T = 296.63 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c1100-5.cnf | S = OPTIMUM | O = 53 T = 373.74 | (out)(err) |
S = OPTIMUM | O = 53 T = 457.86 | (out)(err) |
S = OPTIMUM | O = 53 T = 385.55 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 84 T = Time Out | (out)(err) |
S = OPTIMUM | O = 53 T = 636.96 | (out)(err) |
S = OPTIMUM | O = 53 T = 646.68 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 53 T = 396.05 | (out)(err) |
S = OPTIMUM | O = 53 T = 320.27 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c1100-6.cnf | S = OPTIMUM | O = 53 T = 460.02 | (out)(err) |
S = OPTIMUM | O = 53 T = 566.26 | (out)(err) |
S = OPTIMUM | O = 53 T = 412.62 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 77 T = Time Out | (out)(err) |
S = OPTIMUM | O = 53 T = 791.54 | (out)(err) |
S = OPTIMUM | O = 53 T = 816.06 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 53 T = 490.24 | (out)(err) |
S = OPTIMUM | O = 53 T = 326.57 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c1100-7.cnf | S = OPTIMUM | O = 53 T = 293.68 | (out)(err) |
S = OPTIMUM | O = 53 T = 368.75 | (out)(err) |
S = OPTIMUM | O = 53 T = 356.06 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 81 T = Time Out | (out)(err) |
S = OPTIMUM | O = 53 T = 508.58 | (out)(err) |
S = OPTIMUM | O = 53 T = 525.42 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 53 T = 323.92 | (out)(err) |
S = OPTIMUM | O = 53 T = 300.44 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c1100-8.cnf | S = OPTIMUM | O = 51 T = 301.39 | (out)(err) |
S = OPTIMUM | O = 51 T = 220.72 | (out)(err) |
S = OPTIMUM | O = 51 T = 170.78 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 74 T = Time Out | (out)(err) |
S = OPTIMUM | O = 51 T = 523.62 | (out)(err) |
S = OPTIMUM | O = 51 T = 536.39 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 51 T = 395.17 | (out)(err) |
S = OPTIMUM | O = 51 T = 141.02 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c1100-9.cnf | S = OPTIMUM | O = 48 T = 145.93 | (out)(err) |
S = OPTIMUM | O = 48 T = 155.15 | (out)(err) |
S = OPTIMUM | O = 48 T = 85.78 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 84 T = Time Out | (out)(err) |
S = OPTIMUM | O = 48 T = 258.04 | (out)(err) |
S = OPTIMUM | O = 48 T = 261.93 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 48 T = 122.81 | (out)(err) |
S = OPTIMUM | O = 48 T = 70.62 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c1200-1.cnf | S = OPTIMUM | O = 66 T = 1646.45 | (out)(err) |
S = OPTIMUM | O = 66 T = Time Out | (out)(err) |
S = OPTIMUM | O = 66 T = 1733.35 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 85 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 66 T = 1362.74 | (out)(err) |
S = OPTIMUM | O = 66 T = 1354.48 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c1200-10.cnf | S = OPTIMUM | O = 63 T = 1210.61 | (out)(err) |
S = OPTIMUM | O = 63 T = 1434.35 | (out)(err) |
S = OPTIMUM | O = 63 T = 918.95 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 92 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 63 T = 921.08 | (out)(err) |
S = OPTIMUM | O = 63 T = 758.85 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c1200-2.cnf | S = OPTIMUM | O = 63 T = 880.72 | (out)(err) |
S = OPTIMUM | O = 63 T = 859.20 | (out)(err) |
S = OPTIMUM | O = 63 T = 677.53 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 83 T = Time Out | (out)(err) |
S = OPTIMUM | O = 63 T = 1534.35 | (out)(err) |
S = OPTIMUM | O = 63 T = 1559.07 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 63 T = 648.17 | (out)(err) |
S = OPTIMUM | O = 63 T = 564.42 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c1200-3.cnf | S = OPTIMUM | O = 65 T = 1280.26 | (out)(err) |
S = OPTIMUM | O = 65 T = 1524.74 | (out)(err) |
S = OPTIMUM | O = 65 T = 1465.73 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 91 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 65 T = 1136.88 | (out)(err) |
S = OPTIMUM | O = 65 T = 1082.53 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c1200-4.cnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 95 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 67 T = Time Out | (out)(err) |
S = OPTIMUM | O = 67 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c1200-5.cnf | S = OPTIMUM | O = 65 T = 1215.87 | (out)(err) |
S = OPTIMUM | O = 65 T = 1428.41 | (out)(err) |
S = OPTIMUM | O = 65 T = 1312.85 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 96 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 65 T = 987.07 | (out)(err) |
S = OPTIMUM | O = 65 T = 945.33 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c1200-6.cnf | S = OPTIMUM | O = 66 T = 1243.39 | (out)(err) |
S = OPTIMUM | O = 66 T = 1450.96 | (out)(err) |
S = OPTIMUM | O = 66 T = 1446.75 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 95 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 66 T = 1406.85 | (out)(err) |
S = OPTIMUM | O = 66 T = 1085.90 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c1200-7.cnf | S = OPTIMUM | O = 62 T = 570.97 | (out)(err) |
S = OPTIMUM | O = 62 T = 697.30 | (out)(err) |
S = OPTIMUM | O = 62 T = 697.52 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 92 T = Time Out | (out)(err) |
S = OPTIMUM | O = 62 T = 1016.79 | (out)(err) |
S = OPTIMUM | O = 62 T = 1053.86 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 62 T = 602.77 | (out)(err) |
S = OPTIMUM | O = 62 T = 566.23 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c1200-8.cnf | S = OPTIMUM | O = 63 T = 927.04 | (out)(err) |
S = OPTIMUM | O = 63 T = 1063.91 | (out)(err) |
S = OPTIMUM | O = 63 T = 742.41 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 84 T = Time Out | (out)(err) |
S = OPTIMUM | O = 63 T = 1567.12 | (out)(err) |
S = OPTIMUM | O = 63 T = 1607.04 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 63 T = 885.91 | (out)(err) |
S = OPTIMUM | O = 63 T = 636.97 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c1200-9.cnf | S = OPTIMUM | O = 61 T = 432.44 | (out)(err) |
S = OPTIMUM | O = 61 T = 539.15 | (out)(err) |
S = OPTIMUM | O = 61 T = 533.52 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 88 T = Time Out | (out)(err) |
S = OPTIMUM | O = 61 T = 764.10 | (out)(err) |
S = OPTIMUM | O = 61 T = 796.27 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 61 T = 545.78 | (out)(err) |
S = OPTIMUM | O = 61 T = 440.31 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c800-1.cnf | S = OPTIMUM | O = 31 T = 53.30 | (out)(err) |
S = OPTIMUM | O = 31 T = 70.42 | (out)(err) |
S = OPTIMUM | O = 31 T = 47.46 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 44 T = Time Out | (out)(err) |
S = OPTIMUM | O = 31 T = 90.79 | (out)(err) |
S = OPTIMUM | O = 31 T = 90.71 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 31 T = 66.62 | (out)(err) |
S = OPTIMUM | O = 31 T = 47.62 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c800-10.cnf | S = OPTIMUM | O = 30 T = 31.94 | (out)(err) |
S = OPTIMUM | O = 30 T = 38.83 | (out)(err) |
S = OPTIMUM | O = 30 T = 37.41 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 42 T = Time Out | (out)(err) |
S = OPTIMUM | O = 30 T = 50.08 | (out)(err) |
S = OPTIMUM | O = 30 T = 50.04 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 30 T = 36.42 | (out)(err) |
S = OPTIMUM | O = 30 T = 34.94 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c800-2.cnf | S = OPTIMUM | O = 34 T = 125.56 | (out)(err) |
S = OPTIMUM | O = 34 T = 161.66 | (out)(err) |
S = OPTIMUM | O = 34 T = 144.86 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 54 T = Time Out | (out)(err) |
S = OPTIMUM | O = 34 T = 214.94 | (out)(err) |
S = OPTIMUM | O = 34 T = 216.55 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 34 T = 171.28 | (out)(err) |
S = OPTIMUM | O = 34 T = 136.07 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c800-3.cnf | S = OPTIMUM | O = 30 T = 27.75 | (out)(err) |
S = OPTIMUM | O = 30 T = 31.59 | (out)(err) |
S = OPTIMUM | O = 30 T = 28.77 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 42 T = Time Out | (out)(err) |
S = OPTIMUM | O = 30 T = 41.23 | (out)(err) |
S = OPTIMUM | O = 30 T = 41.14 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 30 T = 27.71 | (out)(err) |
S = OPTIMUM | O = 30 T = 27.86 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c800-4.cnf | S = OPTIMUM | O = 28 T = 49.36 | (out)(err) |
S = OPTIMUM | O = 28 T = 64.95 | (out)(err) |
S = OPTIMUM | O = 28 T = 25.13 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 43 T = Time Out | (out)(err) |
S = OPTIMUM | O = 28 T = 83.96 | (out)(err) |
S = OPTIMUM | O = 28 T = 83.92 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 28 T = 50.36 | (out)(err) |
S = OPTIMUM | O = 28 T = 24.48 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c800-5.cnf | S = OPTIMUM | O = 31 T = 78.84 | (out)(err) |
S = OPTIMUM | O = 31 T = 107.25 | (out)(err) |
S = OPTIMUM | O = 31 T = 47.61 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 46 T = Time Out | (out)(err) |
S = OPTIMUM | O = 31 T = 135.89 | (out)(err) |
S = OPTIMUM | O = 31 T = 136.17 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 31 T = 107.39 | (out)(err) |
S = OPTIMUM | O = 31 T = 43.49 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c800-6.cnf | S = OPTIMUM | O = 30 T = 37.60 | (out)(err) |
S = OPTIMUM | O = 30 T = 47.59 | (out)(err) |
S = OPTIMUM | O = 30 T = 45.31 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 49 T = Time Out | (out)(err) |
S = OPTIMUM | O = 30 T = 60.23 | (out)(err) |
S = OPTIMUM | O = 30 T = 60.32 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 30 T = 50.04 | (out)(err) |
S = OPTIMUM | O = 30 T = 40.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c800-7.cnf | S = OPTIMUM | O = 31 T = 47.41 | (out)(err) |
S = OPTIMUM | O = 31 T = 61.57 | (out)(err) |
S = OPTIMUM | O = 31 T = 56.84 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 49 T = Time Out | (out)(err) |
S = OPTIMUM | O = 31 T = 78.45 | (out)(err) |
S = OPTIMUM | O = 31 T = 80.94 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 31 T = 53.98 | (out)(err) |
S = OPTIMUM | O = 31 T = 50.93 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c800-8.cnf | S = OPTIMUM | O = 34 T = 105.63 | (out)(err) |
S = OPTIMUM | O = 34 T = 137.62 | (out)(err) |
S = OPTIMUM | O = 34 T = 118.25 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 50 T = Time Out | (out)(err) |
S = OPTIMUM | O = 34 T = 180.68 | (out)(err) |
S = OPTIMUM | O = 34 T = 180.28 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 34 T = 146.69 | (out)(err) |
S = OPTIMUM | O = 34 T = 103.07 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c800-9.cnf | S = OPTIMUM | O = 32 T = 49.99 | (out)(err) |
S = OPTIMUM | O = 32 T = 60.77 | (out)(err) |
S = OPTIMUM | O = 32 T = 58.81 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 50 T = Time Out | (out)(err) |
S = OPTIMUM | O = 32 T = 81.66 | (out)(err) |
S = OPTIMUM | O = 32 T = 85.02 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 32 T = 57.89 | (out)(err) |
S = OPTIMUM | O = 32 T = 52.56 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c900-1.cnf | S = OPTIMUM | O = 39 T = 103.21 | (out)(err) |
S = OPTIMUM | O = 39 T = 132.91 | (out)(err) |
S = OPTIMUM | O = 39 T = 131.03 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 53 T = Time Out | (out)(err) |
S = OPTIMUM | O = 39 T = 177.41 | (out)(err) |
S = OPTIMUM | O = 39 T = 178.86 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 39 T = 171.03 | (out)(err) |
S = OPTIMUM | O = 39 T = 116.09 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c900-10.cnf | S = OPTIMUM | O = 39 T = 164.74 | (out)(err) |
S = OPTIMUM | O = 39 T = 205.89 | (out)(err) |
S = OPTIMUM | O = 39 T = 123.61 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 58 T = Time Out | (out)(err) |
S = OPTIMUM | O = 39 T = 271.14 | (out)(err) |
S = OPTIMUM | O = 39 T = 274.71 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 39 T = 163.27 | (out)(err) |
S = OPTIMUM | O = 39 T = 108.82 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c900-2.cnf | S = OPTIMUM | O = 38 T = 113.26 | (out)(err) |
S = OPTIMUM | O = 38 T = 142.09 | (out)(err) |
S = OPTIMUM | O = 38 T = 112.31 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 55 T = Time Out | (out)(err) |
S = OPTIMUM | O = 38 T = 190.50 | (out)(err) |
S = OPTIMUM | O = 38 T = 191.47 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 38 T = 116.51 | (out)(err) |
S = OPTIMUM | O = 38 T = 103.21 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c900-3.cnf | S = OPTIMUM | O = 39 T = 82.96 | (out)(err) |
S = OPTIMUM | O = 39 T = 106.88 | (out)(err) |
S = OPTIMUM | O = 39 T = 103.87 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 47 T = Time Out | (out)(err) |
S = OPTIMUM | O = 39 T = 148.14 | (out)(err) |
S = OPTIMUM | O = 39 T = 153.02 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 39 T = 122.09 | (out)(err) |
S = OPTIMUM | O = 39 T = 88.52 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c900-4.cnf | S = OPTIMUM | O = 39 T = 123.76 | (out)(err) |
S = OPTIMUM | O = 39 T = 149.53 | (out)(err) |
S = OPTIMUM | O = 39 T = 103.42 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 60 T = Time Out | (out)(err) |
S = OPTIMUM | O = 39 T = 201.35 | (out)(err) |
S = OPTIMUM | O = 39 T = 203.56 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 39 T = 106.81 | (out)(err) |
S = OPTIMUM | O = 39 T = 90.44 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c900-5.cnf | S = OPTIMUM | O = 40 T = 164.24 | (out)(err) |
S = OPTIMUM | O = 40 T = 193.26 | (out)(err) |
S = OPTIMUM | O = 40 T = 173.51 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 62 T = Time Out | (out)(err) |
S = OPTIMUM | O = 40 T = 275.18 | (out)(err) |
S = OPTIMUM | O = 40 T = 278.51 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 40 T = 220.27 | (out)(err) |
S = OPTIMUM | O = 40 T = 146.62 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c900-6.cnf | S = OPTIMUM | O = 41 T = 315.60 | (out)(err) |
S = OPTIMUM | O = 41 T = 377.70 | (out)(err) |
S = OPTIMUM | O = 41 T = 265.90 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 60 T = Time Out | (out)(err) |
S = OPTIMUM | O = 41 T = 506.01 | (out)(err) |
S = OPTIMUM | O = 41 T = 510.63 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 41 T = 287.85 | (out)(err) |
S = OPTIMUM | O = 41 T = 228.95 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c900-7.cnf | S = OPTIMUM | O = 40 T = 246.03 | (out)(err) |
S = OPTIMUM | O = 40 T = 279.82 | (out)(err) |
S = OPTIMUM | O = 40 T = 180.13 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 53 T = Time Out | (out)(err) |
S = OPTIMUM | O = 40 T = 385.88 | (out)(err) |
S = OPTIMUM | O = 40 T = 401.39 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 40 T = 245.90 | (out)(err) |
S = OPTIMUM | O = 40 T = 156.45 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c900-8.cnf | S = OPTIMUM | O = 42 T = 247.03 | (out)(err) |
S = OPTIMUM | O = 42 T = 308.40 | (out)(err) |
S = OPTIMUM | O = 42 T = 290.58 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 57 T = Time Out | (out)(err) |
S = OPTIMUM | O = 42 T = 392.72 | (out)(err) |
S = OPTIMUM | O = 42 T = 411.50 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 42 T = 245.88 | (out)(err) |
S = OPTIMUM | O = 42 T = 233.08 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v70c900-9.cnf | S = OPTIMUM | O = 35 T = 49.74 | (out)(err) |
S = OPTIMUM | O = 35 T = 59.36 | (out)(err) |
S = OPTIMUM | O = 35 T = 46.11 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 60 T = Time Out | (out)(err) |
S = OPTIMUM | O = 35 T = 83.41 | (out)(err) |
S = OPTIMUM | O = 35 T = 84.11 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 35 T = 47.41 | (out)(err) |
S = OPTIMUM | O = 35 T = 40.82 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c1000-1.cnf | S = OPTIMUM | O = 44 T = 1035.87 | (out)(err) |
S = OPTIMUM | O = 44 T = 1255.64 | (out)(err) |
S = OPTIMUM | O = 44 T = 1246.53 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 60 T = Time Out | (out)(err) |
S = OPTIMUM | O = 44 T = 1661.80 | (out)(err) |
S = OPTIMUM | O = 44 T = 1683.62 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 44 T = 1272.04 | (out)(err) |
S = OPTIMUM | O = 44 T = 1051.67 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c1000-10.cnf | S = OPTIMUM | O = 39 T = 472.26 | (out)(err) |
S = OPTIMUM | O = 39 T = 530.97 | (out)(err) |
S = OPTIMUM | O = 39 T = 380.30 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 59 T = Time Out | (out)(err) |
S = OPTIMUM | O = 39 T = 760.58 | (out)(err) |
S = OPTIMUM | O = 39 T = 759.24 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 39 T = 445.48 | (out)(err) |
S = OPTIMUM | O = 39 T = 335.24 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c1000-2.cnf | S = OPTIMUM | O = 43 T = 857.07 | (out)(err) |
S = OPTIMUM | O = 43 T = 1046.32 | (out)(err) |
S = OPTIMUM | O = 43 T = 971.74 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 65 T = Time Out | (out)(err) |
S = OPTIMUM | O = 43 T = 1446.58 | (out)(err) |
S = OPTIMUM | O = 43 T = 1452.46 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 43 T = 871.65 | (out)(err) |
S = OPTIMUM | O = 43 T = 837.73 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c1000-3.cnf | S = OPTIMUM | O = 39 T = 924.40 | (out)(err) |
S = OPTIMUM | O = 39 T = 693.28 | (out)(err) |
S = OPTIMUM | O = 39 T = 350.92 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 51 T = Time Out | (out)(err) |
S = OPTIMUM | O = 39 T = 1570.28 | (out)(err) |
S = OPTIMUM | O = 39 T = 1601.99 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 39 T = 882.91 | (out)(err) |
S = OPTIMUM | O = 39 T = 285.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c1000-4.cnf | S = OPTIMUM | O = 45 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 67 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 45 T = Time Out | (out)(err) |
S = OPTIMUM | O = 45 T = 1729.81 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c1000-5.cnf | S = OPTIMUM | O = 41 T = 930.18 | (out)(err) |
S = OPTIMUM | O = 41 T = 1050.14 | (out)(err) |
S = OPTIMUM | O = 41 T = 613.01 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 60 T = Time Out | (out)(err) |
S = OPTIMUM | O = 41 T = 1574.17 | (out)(err) |
S = OPTIMUM | O = 41 T = 1588.07 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 41 T = 1310.86 | (out)(err) |
S = OPTIMUM | O = 41 T = 538.75 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c1000-6.cnf | S = OPTIMUM | O = 40 T = 927.62 | (out)(err) |
S = OPTIMUM | O = 40 T = 1083.48 | (out)(err) |
S = OPTIMUM | O = 40 T = 690.21 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 70 T = Time Out | (out)(err) |
S = OPTIMUM | O = 40 T = 1436.46 | (out)(err) |
S = OPTIMUM | O = 40 T = 1455.28 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 40 T = 700.47 | (out)(err) |
S = OPTIMUM | O = 40 T = 599.38 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c1000-7.cnf | S = OPTIMUM | O = 40 T = 460.90 | (out)(err) |
S = OPTIMUM | O = 40 T = 514.52 | (out)(err) |
S = OPTIMUM | O = 40 T = 512.39 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 58 T = Time Out | (out)(err) |
S = OPTIMUM | O = 40 T = 678.99 | (out)(err) |
S = OPTIMUM | O = 40 T = 690.75 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 40 T = 473.95 | (out)(err) |
S = OPTIMUM | O = 40 T = 415.31 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c1000-8.cnf | S = OPTIMUM | O = 41 T = 1357.84 | (out)(err) |
S = OPTIMUM | O = 41 T = 1798.51 | (out)(err) |
S = OPTIMUM | O = 41 T = 861.45 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 60 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 41 T = 1360.46 | (out)(err) |
S = OPTIMUM | O = 41 T = 713.99 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c1000-9.cnf | S = OPTIMUM | O = 38 T = 523.74 | (out)(err) |
S = OPTIMUM | O = 38 T = 589.45 | (out)(err) |
S = OPTIMUM | O = 38 T = 472.45 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 55 T = Time Out | (out)(err) |
S = OPTIMUM | O = 38 T = 803.32 | (out)(err) |
S = OPTIMUM | O = 38 T = 803.28 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 38 T = 698.20 | (out)(err) |
S = OPTIMUM | O = 38 T = 392.68 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c600-1.cnf | S = OPTIMUM | O = 14 T = 21.73 | (out)(err) |
S = OPTIMUM | O = 14 T = 35.54 | (out)(err) |
S = OPTIMUM | O = 14 T = 14.62 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 22 T = Time Out | (out)(err) |
S = OPTIMUM | O = 14 T = 44.30 | (out)(err) |
S = OPTIMUM | O = 14 T = 43.83 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 14 T = 25.75 | (out)(err) |
S = OPTIMUM | O = 14 T = 12.70 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c600-10.cnf | S = OPTIMUM | O = 15 T = 26.43 | (out)(err) |
S = OPTIMUM | O = 15 T = 42.10 | (out)(err) |
S = OPTIMUM | O = 15 T = 17.81 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 29 T = Time Out | (out)(err) |
S = OPTIMUM | O = 15 T = 55.02 | (out)(err) |
S = OPTIMUM | O = 15 T = 53.74 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 15 T = 22.15 | (out)(err) |
S = OPTIMUM | O = 15 T = 17.03 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c600-2.cnf | S = OPTIMUM | O = 16 T = 28.93 | (out)(err) |
S = OPTIMUM | O = 16 T = 46.31 | (out)(err) |
S = OPTIMUM | O = 16 T = 42.43 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 20 T = Time Out | (out)(err) |
S = OPTIMUM | O = 16 T = 58.59 | (out)(err) |
S = OPTIMUM | O = 16 T = 57.16 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 16 T = 39.52 | (out)(err) |
S = OPTIMUM | O = 16 T = 40.14 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c600-3.cnf | S = OPTIMUM | O = 11 T = 2.98 | (out)(err) |
S = OPTIMUM | O = 11 T = 4.54 | (out)(err) |
S = OPTIMUM | O = 11 T = 1.86 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 22 T = Time Out | (out)(err) |
S = OPTIMUM | O = 11 T = 5.65 | (out)(err) |
S = OPTIMUM | O = 11 T = 5.52 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 11 T = 5.80 | (out)(err) |
S = OPTIMUM | O = 11 T = 2.15 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c600-4.cnf | S = OPTIMUM | O = 13 T = 8.28 | (out)(err) |
S = OPTIMUM | O = 13 T = 14.43 | (out)(err) |
S = OPTIMUM | O = 13 T = 9.70 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 18 T = Time Out | (out)(err) |
S = OPTIMUM | O = 13 T = 17.99 | (out)(err) |
S = OPTIMUM | O = 13 T = 17.52 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 13 T = 14.26 | (out)(err) |
S = OPTIMUM | O = 13 T = 9.46 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c600-5.cnf | S = OPTIMUM | O = 12 T = 6.98 | (out)(err) |
S = OPTIMUM | O = 12 T = 8.92 | (out)(err) |
S = OPTIMUM | O = 12 T = 4.84 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 19 T = Time Out | (out)(err) |
S = OPTIMUM | O = 12 T = 13.70 | (out)(err) |
S = OPTIMUM | O = 12 T = 13.32 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 12 T = 6.79 | (out)(err) |
S = OPTIMUM | O = 12 T = 5.07 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c600-6.cnf | S = OPTIMUM | O = 14 T = 13.05 | (out)(err) |
S = OPTIMUM | O = 14 T = 20.24 | (out)(err) |
S = OPTIMUM | O = 14 T = 10.48 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 29 T = Time Out | (out)(err) |
S = OPTIMUM | O = 14 T = 24.96 | (out)(err) |
S = OPTIMUM | O = 14 T = 24.59 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 14 T = 14.19 | (out)(err) |
S = OPTIMUM | O = 14 T = 10.45 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c600-7.cnf | S = OPTIMUM | O = 12 T = 3.78 | (out)(err) |
S = OPTIMUM | O = 12 T = 5.98 | (out)(err) |
S = OPTIMUM | O = 12 T = 6.11 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 21 T = Time Out | (out)(err) |
S = OPTIMUM | O = 12 T = 7.41 | (out)(err) |
S = OPTIMUM | O = 12 T = 7.36 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 12 T = 8.43 | (out)(err) |
S = OPTIMUM | O = 12 T = 6.72 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c600-8.cnf | S = OPTIMUM | O = 15 T = 16.84 | (out)(err) |
S = OPTIMUM | O = 15 T = 25.41 | (out)(err) |
S = OPTIMUM | O = 15 T = 17.96 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 25 T = Time Out | (out)(err) |
S = OPTIMUM | O = 15 T = 32.58 | (out)(err) |
S = OPTIMUM | O = 15 T = 31.95 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 15 T = 17.72 | (out)(err) |
S = OPTIMUM | O = 15 T = 16.97 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c600-9.cnf | S = OPTIMUM | O = 12 T = 5.07 | (out)(err) |
S = OPTIMUM | O = 12 T = 8.87 | (out)(err) |
S = OPTIMUM | O = 12 T = 5.81 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 19 T = Time Out | (out)(err) |
S = OPTIMUM | O = 12 T = 11.10 | (out)(err) |
S = OPTIMUM | O = 12 T = 10.80 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 12 T = 8.39 | (out)(err) |
S = OPTIMUM | O = 12 T = 5.88 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c700-1.cnf | S = OPTIMUM | O = 19 T = 44.88 | (out)(err) |
S = OPTIMUM | O = 19 T = 61.66 | (out)(err) |
S = OPTIMUM | O = 19 T = 28.14 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 34 T = Time Out | (out)(err) |
S = OPTIMUM | O = 19 T = 78.99 | (out)(err) |
S = OPTIMUM | O = 19 T = 77.94 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 19 T = 48.08 | (out)(err) |
S = OPTIMUM | O = 19 T = 24.46 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c700-10.cnf | S = OPTIMUM | O = 19 T = 31.64 | (out)(err) |
S = OPTIMUM | O = 19 T = 39.89 | (out)(err) |
S = OPTIMUM | O = 19 T = 38.36 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 36 T = Time Out | (out)(err) |
S = OPTIMUM | O = 19 T = 56.90 | (out)(err) |
S = OPTIMUM | O = 19 T = 56.42 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 19 T = 40.40 | (out)(err) |
S = OPTIMUM | O = 19 T = 39.55 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c700-2.cnf | S = OPTIMUM | O = 20 T = 48.83 | (out)(err) |
S = OPTIMUM | O = 20 T = 55.79 | (out)(err) |
S = OPTIMUM | O = 20 T = 50.16 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 36 T = Time Out | (out)(err) |
S = OPTIMUM | O = 20 T = 88.60 | (out)(err) |
S = OPTIMUM | O = 20 T = 87.74 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 20 T = 59.10 | (out)(err) |
S = OPTIMUM | O = 20 T = 45.47 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c700-3.cnf | S = OPTIMUM | O = 18 T = 15.26 | (out)(err) |
S = OPTIMUM | O = 18 T = 22.16 | (out)(err) |
S = OPTIMUM | O = 18 T = 18.64 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 37 T = Time Out | (out)(err) |
S = OPTIMUM | O = 18 T = 27.86 | (out)(err) |
S = OPTIMUM | O = 18 T = 27.69 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 18 T = 20.11 | (out)(err) |
S = OPTIMUM | O = 18 T = 16.90 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c700-4.cnf | S = OPTIMUM | O = 15 T = 3.56 | (out)(err) |
S = OPTIMUM | O = 15 T = 4.18 | (out)(err) |
S = OPTIMUM | O = 15 T = 4.03 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 28 T = Time Out | (out)(err) |
S = OPTIMUM | O = 15 T = 6.66 | (out)(err) |
S = OPTIMUM | O = 15 T = 6.62 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 15 T = 35.78 | (out)(err) |
S = OPTIMUM | O = 15 T = 4.43 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c700-5.cnf | S = OPTIMUM | O = 21 T = 72.30 | (out)(err) |
S = OPTIMUM | O = 21 T = 105.34 | (out)(err) |
S = OPTIMUM | O = 21 T = 74.56 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 31 T = Time Out | (out)(err) |
S = OPTIMUM | O = 21 T = 131.65 | (out)(err) |
S = OPTIMUM | O = 21 T = 130.69 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 21 T = 159.13 | (out)(err) |
S = OPTIMUM | O = 21 T = 63.32 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c700-6.cnf | S = OPTIMUM | O = 18 T = 17.63 | (out)(err) |
S = OPTIMUM | O = 18 T = 24.43 | (out)(err) |
S = OPTIMUM | O = 18 T = 17.57 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 34 T = Time Out | (out)(err) |
S = OPTIMUM | O = 18 T = 31.25 | (out)(err) |
S = OPTIMUM | O = 18 T = 31.17 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 18 T = 20.95 | (out)(err) |
S = OPTIMUM | O = 18 T = 17.30 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c700-7.cnf | S = OPTIMUM | O = 21 T = 77.80 | (out)(err) |
S = OPTIMUM | O = 21 T = 103.83 | (out)(err) |
S = OPTIMUM | O = 21 T = 62.84 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 32 T = Time Out | (out)(err) |
S = OPTIMUM | O = 21 T = 137.41 | (out)(err) |
S = OPTIMUM | O = 21 T = 135.66 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 21 T = 89.08 | (out)(err) |
S = OPTIMUM | O = 21 T = 60.33 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c700-8.cnf | S = OPTIMUM | O = 19 T = 37.29 | (out)(err) |
S = OPTIMUM | O = 19 T = 29.72 | (out)(err) |
S = OPTIMUM | O = 19 T = 24.10 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 36 T = Time Out | (out)(err) |
S = OPTIMUM | O = 19 T = 67.21 | (out)(err) |
S = OPTIMUM | O = 19 T = 66.47 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 19 T = 46.57 | (out)(err) |
S = OPTIMUM | O = 19 T = 23.19 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c700-9.cnf | S = OPTIMUM | O = 18 T = 40.58 | (out)(err) |
S = OPTIMUM | O = 18 T = 58.80 | (out)(err) |
S = OPTIMUM | O = 18 T = 26.29 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 30 T = Time Out | (out)(err) |
S = OPTIMUM | O = 18 T = 73.52 | (out)(err) |
S = OPTIMUM | O = 18 T = 72.69 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 18 T = 30.56 | (out)(err) |
S = OPTIMUM | O = 18 T = 24.43 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c800-1.cnf | S = OPTIMUM | O = 28 T = 140.05 | (out)(err) |
S = OPTIMUM | O = 28 T = 188.87 | (out)(err) |
S = OPTIMUM | O = 28 T = 183.12 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 43 T = Time Out | (out)(err) |
S = OPTIMUM | O = 28 T = 237.35 | (out)(err) |
S = OPTIMUM | O = 28 T = 238.54 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 28 T = 187.36 | (out)(err) |
S = OPTIMUM | O = 28 T = 155.85 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c800-10.cnf | S = OPTIMUM | O = 27 T = 110.12 | (out)(err) |
S = OPTIMUM | O = 27 T = 118.28 | (out)(err) |
S = OPTIMUM | O = 27 T = 101.86 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 50 T = Time Out | (out)(err) |
S = OPTIMUM | O = 27 T = 188.00 | (out)(err) |
S = OPTIMUM | O = 27 T = 186.69 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 27 T = 141.59 | (out)(err) |
S = OPTIMUM | O = 27 T = 89.87 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c800-2.cnf | S = OPTIMUM | O = 32 T = 856.18 | (out)(err) |
S = OPTIMUM | O = 32 T = 1182.10 | (out)(err) |
S = OPTIMUM | O = 32 T = 858.01 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 49 T = Time Out | (out)(err) |
S = OPTIMUM | O = 32 T = 1520.14 | (out)(err) |
S = OPTIMUM | O = 32 T = 1525.47 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 32 T = 806.54 | (out)(err) |
S = OPTIMUM | O = 32 T = 699.50 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c800-3.cnf | S = OPTIMUM | O = 27 T = 156.10 | (out)(err) |
S = OPTIMUM | O = 27 T = 212.60 | (out)(err) |
S = OPTIMUM | O = 27 T = 170.56 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 42 T = Time Out | (out)(err) |
S = OPTIMUM | O = 27 T = 277.96 | (out)(err) |
S = OPTIMUM | O = 27 T = 276.27 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 27 T = 159.80 | (out)(err) |
S = OPTIMUM | O = 27 T = 152.38 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c800-4.cnf | S = OPTIMUM | O = 26 T = 97.04 | (out)(err) |
S = OPTIMUM | O = 26 T = 133.01 | (out)(err) |
S = OPTIMUM | O = 26 T = 95.97 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 44 T = Time Out | (out)(err) |
S = OPTIMUM | O = 26 T = 167.80 | (out)(err) |
S = OPTIMUM | O = 26 T = 169.57 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 26 T = 113.89 | (out)(err) |
S = OPTIMUM | O = 26 T = 89.01 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c800-5.cnf | S = OPTIMUM | O = 27 T = 255.43 | (out)(err) |
S = OPTIMUM | O = 27 T = 344.64 | (out)(err) |
S = OPTIMUM | O = 27 T = 145.08 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 44 T = Time Out | (out)(err) |
S = OPTIMUM | O = 27 T = 437.01 | (out)(err) |
S = OPTIMUM | O = 27 T = 435.99 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 27 T = 368.70 | (out)(err) |
S = OPTIMUM | O = 27 T = 125.89 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c800-6.cnf | S = OPTIMUM | O = 28 T = 154.58 | (out)(err) |
S = OPTIMUM | O = 28 T = 201.27 | (out)(err) |
S = OPTIMUM | O = 28 T = 162.16 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 42 T = Time Out | (out)(err) |
S = OPTIMUM | O = 28 T = 253.91 | (out)(err) |
S = OPTIMUM | O = 28 T = 265.69 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 28 T = 154.04 | (out)(err) |
S = OPTIMUM | O = 28 T = 139.84 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c800-7.cnf | S = OPTIMUM | O = 27 T = 111.37 | (out)(err) |
S = OPTIMUM | O = 27 T = 150.61 | (out)(err) |
S = OPTIMUM | O = 27 T = 109.22 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 41 T = Time Out | (out)(err) |
S = OPTIMUM | O = 27 T = 195.15 | (out)(err) |
S = OPTIMUM | O = 27 T = 192.60 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 27 T = 117.67 | (out)(err) |
S = OPTIMUM | O = 27 T = 99.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c800-8.cnf | S = OPTIMUM | O = 25 T = 96.67 | (out)(err) |
S = OPTIMUM | O = 25 T = 112.59 | (out)(err) |
S = OPTIMUM | O = 25 T = 77.75 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 43 T = Time Out | (out)(err) |
S = OPTIMUM | O = 25 T = 170.84 | (out)(err) |
S = OPTIMUM | O = 25 T = 167.63 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 25 T = 85.33 | (out)(err) |
S = OPTIMUM | O = 25 T = 71.53 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c800-9.cnf | S = OPTIMUM | O = 26 T = 107.15 | (out)(err) |
S = OPTIMUM | O = 26 T = 149.71 | (out)(err) |
S = OPTIMUM | O = 26 T = 127.17 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 46 T = Time Out | (out)(err) |
S = OPTIMUM | O = 26 T = 190.26 | (out)(err) |
S = OPTIMUM | O = 26 T = 189.25 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 26 T = 149.81 | (out)(err) |
S = OPTIMUM | O = 26 T = 116.73 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c900-1.cnf | S = OPTIMUM | O = 35 T = 412.77 | (out)(err) |
S = OPTIMUM | O = 35 T = 526.83 | (out)(err) |
S = OPTIMUM | O = 35 T = 338.71 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 59 T = Time Out | (out)(err) |
S = OPTIMUM | O = 35 T = 685.93 | (out)(err) |
S = OPTIMUM | O = 35 T = 693.44 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 35 T = 422.57 | (out)(err) |
S = OPTIMUM | O = 35 T = 287.52 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c900-10.cnf | S = OPTIMUM | O = 35 T = 650.35 | (out)(err) |
S = OPTIMUM | O = 35 T = 729.12 | (out)(err) |
S = OPTIMUM | O = 35 T = 688.33 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 50 T = Time Out | (out)(err) |
S = OPTIMUM | O = 35 T = 931.08 | (out)(err) |
S = OPTIMUM | O = 35 T = 934.63 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 35 T = 845.80 | (out)(err) |
S = OPTIMUM | O = 35 T = 582.32 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c900-2.cnf | S = OPTIMUM | O = 37 T = 710.49 | (out)(err) |
S = OPTIMUM | O = 37 T = 910.29 | (out)(err) |
S = OPTIMUM | O = 37 T = 765.65 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 55 T = Time Out | (out)(err) |
S = OPTIMUM | O = 37 T = 1248.05 | (out)(err) |
S = OPTIMUM | O = 37 T = 1239.23 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 37 T = 653.68 | (out)(err) |
S = OPTIMUM | O = 37 T = 644.43 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c900-3.cnf | S = OPTIMUM | O = 34 T = 344.54 | (out)(err) |
S = OPTIMUM | O = 34 T = 455.90 | (out)(err) |
S = OPTIMUM | O = 34 T = 402.63 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 48 T = Time Out | (out)(err) |
S = OPTIMUM | O = 34 T = 596.10 | (out)(err) |
S = OPTIMUM | O = 34 T = 598.36 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 34 T = 441.56 | (out)(err) |
S = OPTIMUM | O = 34 T = 345.91 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c900-4.cnf | S = OPTIMUM | O = 35 T = 484.56 | (out)(err) |
S = OPTIMUM | O = 35 T = 462.99 | (out)(err) |
S = OPTIMUM | O = 35 T = 287.75 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 60 T = Time Out | (out)(err) |
S = OPTIMUM | O = 35 T = 804.83 | (out)(err) |
S = OPTIMUM | O = 35 T = 799.20 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 35 T = 348.37 | (out)(err) |
S = OPTIMUM | O = 35 T = 232.81 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c900-5.cnf | S = OPTIMUM | O = 32 T = 230.81 | (out)(err) |
S = OPTIMUM | O = 32 T = 304.02 | (out)(err) |
S = OPTIMUM | O = 32 T = 286.01 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 47 T = Time Out | (out)(err) |
S = OPTIMUM | O = 32 T = 388.37 | (out)(err) |
S = OPTIMUM | O = 32 T = 392.39 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 32 T = 246.66 | (out)(err) |
S = OPTIMUM | O = 32 T = 234.37 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c900-6.cnf | S = OPTIMUM | O = 31 T = 124.03 | (out)(err) |
S = OPTIMUM | O = 31 T = 168.26 | (out)(err) |
S = OPTIMUM | O = 31 T = 138.84 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 58 T = Time Out | (out)(err) |
S = OPTIMUM | O = 31 T = 215.22 | (out)(err) |
S = OPTIMUM | O = 31 T = 213.64 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 31 T = 150.46 | (out)(err) |
S = OPTIMUM | O = 31 T = 124.54 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c900-7.cnf | S = OPTIMUM | O = 34 T = 272.38 | (out)(err) |
S = OPTIMUM | O = 34 T = 350.04 | (out)(err) |
S = OPTIMUM | O = 34 T = 346.33 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 56 T = Time Out | (out)(err) |
S = OPTIMUM | O = 34 T = 455.37 | (out)(err) |
S = OPTIMUM | O = 34 T = 457.22 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 34 T = 324.14 | (out)(err) |
S = OPTIMUM | O = 34 T = 310.39 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c900-8.cnf | S = OPTIMUM | O = 33 T = 264.66 | (out)(err) |
S = OPTIMUM | O = 33 T = 328.18 | (out)(err) |
S = OPTIMUM | O = 33 T = 313.53 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 55 T = Time Out | (out)(err) |
S = OPTIMUM | O = 33 T = 457.56 | (out)(err) |
S = OPTIMUM | O = 33 T = 458.10 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 33 T = 354.87 | (out)(err) |
S = OPTIMUM | O = 33 T = 269.35 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s3v80c900-9.cnf | S = OPTIMUM | O = 36 T = 320.13 | (out)(err) |
S = OPTIMUM | O = 36 T = 417.08 | (out)(err) |
S = OPTIMUM | O = 36 T = 410.26 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 59 T = Time Out | (out)(err) |
S = OPTIMUM | O = 36 T = 547.65 | (out)(err) |
S = OPTIMUM | O = 36 T = 544.38 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 36 T = 406.09 | (out)(err) |
S = OPTIMUM | O = 36 T = 345.89 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |