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 | IncWMaxSatz | LSW_Power | PM2 | QMaxSat | SAT4J-MAXSAT-2.2.0 | WMaxSatz+ | WMaxSatz-2009 | WMaxsat_Power | WPM1 | akmaxsat | akmaxsat_ls | wbo-1.4a-wcnf | wbo-1.4b-wcnf |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
clq1-cv160c800l2g1.wcnf | S = OPTIMUM | O = 61 T = 690.40 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 89 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = 65 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 245 T = Time Out | (out)(err) |
clq1-cv160c800l2g10.wcnf | S = OPTIMUM | O = 53 T = 393.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 = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 79 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 53 T = 1271.84 | (out)(err) |
S = N/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 = 66 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 215 T = Time Out | (out)(err) |
clq1-cv160c800l2g11.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 97 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 78 T = Time Out | (out)(err) |
S = N/A | O = 78 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 246 T = Time Out | (out)(err) |
clq1-cv160c800l2g12.wcnf | S = OPTIMUM | O = 59 T = 401.98 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 87 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | 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 = 65 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 = 270 T = Time Out | (out)(err) |
clq1-cv160c800l2g13.wcnf | S = OPTIMUM | O = 51 T = 19.19 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 76 T = Time Out | (out)(err) |
S = OPTIMUM | O = 51 T = 262.21 | (out)(err) |
S = OPTIMUM | O = 51 T = 120.01 | (out)(err) |
S = N/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 = 56 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 248 T = Time Out | (out)(err) |
clq1-cv160c800l2g14.wcnf | S = OPTIMUM | O = 45 T = 3.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 = 68 T = Time Out | (out)(err) |
S = OPTIMUM | O = 45 T = 35.95 | (out)(err) |
S = OPTIMUM | O = 45 T = 14.29 | (out)(err) |
S = N/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 = 49 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 228 T = Time Out | (out)(err) |
clq1-cv160c800l2g15.wcnf | S = OPTIMUM | 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 = 89 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 71 T = Time Out | (out)(err) |
S = N/A | O = 71 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 262 T = Time Out | (out)(err) |
clq1-cv160c800l2g16.wcnf | S = OPTIMUM | O = 56 T = 135.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 85 T = Time Out | (out)(err) |
S = OPTIMUM | O = 56 T = 1244.48 | (out)(err) |
S = OPTIMUM | O = 56 T = 516.77 | (out)(err) |
S = N/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 = 66 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 247 T = Time Out | (out)(err) |
clq1-cv160c800l2g17.wcnf | S = OPTIMUM | O = 59 T = 947.93 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 88 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = 67 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 243 T = Time Out | (out)(err) |
clq1-cv160c800l2g18.wcnf | S = OPTIMUM | O = 55 T = 171.99 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (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 = 55 T = 815.56 | (out)(err) |
S = OPTIMUM | O = 55 T = 609.31 | (out)(err) |
S = N/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 = 63 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 248 T = Time Out | (out)(err) |
clq1-cv160c800l2g19.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 101 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 84 T = Time Out | (out)(err) |
S = N/A | O = 84 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 265 T = Time Out | (out)(err) |
clq1-cv160c800l2g2.wcnf | S = OPTIMUM | O = 48 T = 12.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 = 80 T = Time Out | (out)(err) |
S = OPTIMUM | O = 48 T = 116.70 | (out)(err) |
S = OPTIMUM | O = 48 T = 61.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 = 56 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 = 242 T = Time Out | (out)(err) |
clq1-cv160c800l2g20.wcnf | S = OPTIMUM | O = 46 T = 7.62 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 78 T = Time Out | (out)(err) |
S = OPTIMUM | O = 46 T = 88.41 | (out)(err) |
S = OPTIMUM | O = 46 T = 35.10 | (out)(err) |
S = N/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 = 56 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 275 T = Time Out | (out)(err) |
clq1-cv160c800l2g21.wcnf | S = OPTIMUM | O = 56 T = 246.20 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (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 = 56 T = 1780.07 | (out)(err) |
S = OPTIMUM | O = 56 T = 737.60 | (out)(err) |
S = N/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 = 65 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 234 T = Time Out | (out)(err) |
clq1-cv160c800l2g22.wcnf | S = OPTIMUM | O = 56 T = 172.66 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 90 T = Time Out | (out)(err) |
S = OPTIMUM | O = 56 T = 962.10 | (out)(err) |
S = OPTIMUM | O = 56 T = 790.13 | (out)(err) |
S = N/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 = 66 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 247 T = Time Out | (out)(err) |
clq1-cv160c800l2g23.wcnf | S = OPTIMUM | O = 51 T = 11.88 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 75 T = Time Out | (out)(err) |
S = OPTIMUM | O = 51 T = 164.61 | (out)(err) |
S = OPTIMUM | O = 51 T = 68.86 | (out)(err) |
S = N/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 = 57 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 254 T = Time Out | (out)(err) |
clq1-cv160c800l2g24.wcnf | S = OPTIMUM | O = 49 T = 14.21 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 76 T = Time Out | (out)(err) |
S = OPTIMUM | O = 49 T = 151.19 | (out)(err) |
S = OPTIMUM | O = 49 T = 81.56 | (out)(err) |
S = N/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 = 53 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 228 T = Time Out | (out)(err) |
clq1-cv160c800l2g25.wcnf | S = OPTIMUM | O = 55 T = 722.85 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 83 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 55 T = 767.87 | (out)(err) |
S = N/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 = 66 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 248 T = Time Out | (out)(err) |
clq1-cv160c800l2g26.wcnf | S = OPTIMUM | O = 53 T = 344.29 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 81 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 53 T = 1058.96 | (out)(err) |
S = N/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 = 64 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 209 T = Time Out | (out)(err) |
clq1-cv160c800l2g27.wcnf | S = OPTIMUM | O = 56 T = 451.52 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 90 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (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 = 60 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 200 T = Time Out | (out)(err) |
clq1-cv160c800l2g28.wcnf | S = OPTIMUM | O = 50 T = 57.50 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (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 = 50 T = 454.69 | (out)(err) |
S = OPTIMUM | O = 50 T = 162.48 | (out)(err) |
S = N/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 = 54 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 228 T = Time Out | (out)(err) |
clq1-cv160c800l2g29.wcnf | S = OPTIMUM | O = 42 T = 5.62 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 42 T = 44.52 | (out)(err) |
S = OPTIMUM | O = 42 T = 27.31 | (out)(err) |
S = N/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 = 48 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 222 T = Time Out | (out)(err) |
clq1-cv160c800l2g3.wcnf | S = OPTIMUM | O = 60 T = 815.63 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (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 = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 65 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 = 269 T = Time Out | (out)(err) |
clq1-cv160c800l2g30.wcnf | S = OPTIMUM | O = 60 T = 72.96 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (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 = 60 T = 810.14 | (out)(err) |
S = OPTIMUM | O = 60 T = 509.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 = 69 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 = 266 T = Time Out | (out)(err) |
clq1-cv160c800l2g4.wcnf | S = OPTIMUM | O = 49 T = 186.98 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 75 T = Time Out | (out)(err) |
S = OPTIMUM | O = 49 T = 1526.86 | (out)(err) |
S = OPTIMUM | O = 49 T = 404.42 | (out)(err) |
S = N/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 = 57 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 238 T = Time Out | (out)(err) |
clq1-cv160c800l2g5.wcnf | S = OPTIMUM | O = 49 T = 24.89 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 73 T = Time Out | (out)(err) |
S = OPTIMUM | O = 49 T = 359.35 | (out)(err) |
S = OPTIMUM | O = 49 T = 84.28 | (out)(err) |
S = N/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 = 54 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 251 T = Time Out | (out)(err) |
clq1-cv160c800l2g6.wcnf | S = OPTIMUM | O = 62 T = 735.13 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 90 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = 69 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 253 T = Time Out | (out)(err) |
clq1-cv160c800l2g7.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 80 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 72 T = Time Out | (out)(err) |
S = N/A | O = 72 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 238 T = Time Out | (out)(err) |
clq1-cv160c800l2g8.wcnf | S = OPTIMUM | O = 49 T = 24.99 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 75 T = Time Out | (out)(err) |
S = OPTIMUM | O = 49 T = 213.78 | (out)(err) |
S = OPTIMUM | O = 49 T = 68.31 | (out)(err) |
S = N/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 = 59 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 227 T = Time Out | (out)(err) |
clq1-cv160c800l2g9.wcnf | S = OPTIMUM | O = 57 T = 649.95 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 79 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 57 T = 1762.33 | (out)(err) |
S = N/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 = 63 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 235 T = Time Out | (out)(err) |
clq1-cv260c1040l2g1.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 100 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 80 T = Time Out | (out)(err) |
S = N/A | O = 80 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 318 T = Time Out | (out)(err) |
clq1-cv260c1040l2g10.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 94 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 68 T = Time Out | (out)(err) |
S = N/A | O = 68 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 275 T = Time Out | (out)(err) |
clq1-cv260c1040l2g11.wcnf | S = OPTIMUM | O = 40 T = 17.39 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 40 T = 300.52 | (out)(err) |
S = OPTIMUM | O = 40 T = 65.09 | (out)(err) |
S = N/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 = 54 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 254 T = Time Out | (out)(err) |
clq1-cv260c1040l2g12.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 88 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 74 T = Time Out | (out)(err) |
S = N/A | O = 74 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 311 T = Time Out | (out)(err) |
clq1-cv260c1040l2g13.wcnf | S = OPTIMUM | O = 38 T = 46.96 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 38 T = 213.72 | (out)(err) |
S = OPTIMUM | O = 38 T = 42.21 | (out)(err) |
S = N/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 = 52 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 221 T = Time Out | (out)(err) |
clq1-cv260c1040l2g14.wcnf | S = OPTIMUM | O = 57 T = 1067.69 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 93 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = 69 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 288 T = Time Out | (out)(err) |
clq1-cv260c1040l2g15.wcnf | S = OPTIMUM | O = 46 T = 567.90 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 46 T = 851.39 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 61 T = Time Out | (out)(err) |
S = N/A | O = 61 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 265 T = Time Out | (out)(err) |
clq1-cv260c1040l2g16.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 77 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 75 T = Time Out | (out)(err) |
S = N/A | O = 75 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 280 T = Time Out | (out)(err) |
clq1-cv260c1040l2g17.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 80 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = 62 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 284 T = Time Out | (out)(err) |
clq1-cv260c1040l2g18.wcnf | S = OPTIMUM | O = 52 T = 167.16 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (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 = 52 T = 1213.00 | (out)(err) |
S = OPTIMUM | O = 52 T = 273.73 | (out)(err) |
S = N/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 = 59 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 271 T = Time Out | (out)(err) |
clq1-cv260c1040l2g19.wcnf | S = OPTIMUM | O = 57 T = 953.67 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 80 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 76 T = Time Out | (out)(err) |
S = N/A | O = 76 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 312 T = Time Out | (out)(err) |
clq1-cv260c1040l2g2.wcnf | S = OPTIMUM | O = 54 T = 84.22 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 87 T = Time Out | (out)(err) |
S = OPTIMUM | O = 54 T = 539.21 | (out)(err) |
S = OPTIMUM | O = 54 T = 243.46 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 68 T = Time Out | (out)(err) |
S = N/A | O = 68 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 327 T = Time Out | (out)(err) |
clq1-cv260c1040l2g20.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 81 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 80 T = Time Out | (out)(err) |
S = N/A | O = 80 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 291 T = Time Out | (out)(err) |
clq1-cv260c1040l2g21.wcnf | S = OPTIMUM | O = 55 T = 232.88 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 86 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 55 T = 949.41 | (out)(err) |
S = N/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 = 69 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 313 T = Time Out | (out)(err) |
clq1-cv260c1040l2g22.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 103 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 75 T = Time Out | (out)(err) |
S = N/A | O = 75 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 325 T = Time Out | (out)(err) |
clq1-cv260c1040l2g23.wcnf | S = OPTIMUM | O = 52 T = 128.24 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 87 T = Time Out | (out)(err) |
S = OPTIMUM | O = 52 T = 1550.69 | (out)(err) |
S = OPTIMUM | O = 52 T = 521.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 = 64 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 = 307 T = Time Out | (out)(err) |
clq1-cv260c1040l2g24.wcnf | S = OPTIMUM | O = 42 T = 5.28 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 42 T = 101.86 | (out)(err) |
S = OPTIMUM | O = 42 T = 28.29 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 58 T = Time Out | (out)(err) |
S = N/A | O = 58 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 242 T = Time Out | (out)(err) |
clq1-cv260c1040l2g25.wcnf | S = OPTIMUM | O = 46 T = 33.09 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 85 T = Time Out | (out)(err) |
S = OPTIMUM | O = 46 T = 521.63 | (out)(err) |
S = OPTIMUM | O = 46 T = 138.63 | (out)(err) |
S = N/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 = 56 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 256 T = Time Out | (out)(err) |
clq1-cv260c1040l2g26.wcnf | S = OPTIMUM | O = 50 T = 986.62 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 81 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 50 T = 1417.49 | (out)(err) |
S = N/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 = 64 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 258 T = Time Out | (out)(err) |
clq1-cv260c1040l2g27.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 121 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (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 = 85 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 319 T = Time Out | (out)(err) |
clq1-cv260c1040l2g28.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 100 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 74 T = Time Out | (out)(err) |
S = N/A | O = 74 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 281 T = Time Out | (out)(err) |
clq1-cv260c1040l2g29.wcnf | S = OPTIMUM | O = 54 T = 382.50 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 103 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 54 T = 1333.26 | (out)(err) |
S = N/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 = 67 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 308 T = Time Out | (out)(err) |
clq1-cv260c1040l2g3.wcnf | S = OPTIMUM | O = 52 T = 269.93 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 89 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 52 T = 655.71 | (out)(err) |
S = N/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 = 67 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 258 T = Time Out | (out)(err) |
clq1-cv260c1040l2g30.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 101 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 80 T = Time Out | (out)(err) |
S = N/A | O = 80 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 321 T = Time Out | (out)(err) |
clq1-cv260c1040l2g4.wcnf | S = OPTIMUM | O = 45 T = 538.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 = 79 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 45 T = 396.97 | (out)(err) |
S = N/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 = 62 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 319 T = Time Out | (out)(err) |
clq1-cv260c1040l2g5.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 89 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 72 T = Time Out | (out)(err) |
S = N/A | O = 72 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 287 T = Time Out | (out)(err) |
clq1-cv260c1040l2g6.wcnf | S = OPTIMUM | O = 49 T = 40.20 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (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 = 49 T = 612.30 | (out)(err) |
S = OPTIMUM | O = 49 T = 265.82 | (out)(err) |
S = N/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 = 59 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 280 T = Time Out | (out)(err) |
clq1-cv260c1040l2g7.wcnf | S = OPTIMUM | O = 46 T = 45.42 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 82 T = Time Out | (out)(err) |
S = OPTIMUM | O = 46 T = 356.24 | (out)(err) |
S = OPTIMUM | O = 46 T = 102.59 | (out)(err) |
S = N/A | O = N/A T = Time Out | (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 = 60 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 265 T = Time Out | (out)(err) |
clq1-cv260c1040l2g8.wcnf | S = OPTIMUM | O = 48 T = 138.49 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 76 T = Time Out | (out)(err) |
S = OPTIMUM | O = 48 T = 673.18 | (out)(err) |
S = OPTIMUM | O = 48 T = 307.18 | (out)(err) |
S = N/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 = 64 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 305 T = Time Out | (out)(err) |
clq1-cv260c1040l2g9.wcnf | S = OPTIMUM | O = 50 T = 1774.17 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 50 T = 1712.96 | (out)(err) |
S = N/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 = 67 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 254 T = Time Out | (out)(err) |
clq1-c2mv70c350l3g1.wcnf | S = OPTIMUM | O = 54 T = 1055.58 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 54 T = 642.78 | (out)(err) |
S = OPTIMUM | O = 54 T = 1344.98 | (out)(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 = 54 T = Time Out | (out)(err) |
S = OPTIMUM | O = 54 T = 1766.63 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 104 T = Time Out | (out)(err) |
clq1-c2mv70c350l3g10.wcnf | S = OPTIMUM | O = 43 T = 116.56 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 43 T = 86.01 | (out)(err) |
S = OPTIMUM | O = 43 T = 134.52 | (out)(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 = 43 T = 404.06 | (out)(err) |
S = OPTIMUM | O = 43 T = 145.43 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 86 T = Time Out | (out)(err) |
clq1-c2mv70c350l3g11.wcnf | S = OPTIMUM | O = 48 T = 201.73 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 48 T = 188.93 | (out)(err) |
S = OPTIMUM | O = 48 T = 250.83 | (out)(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 = 48 T = 372.36 | (out)(err) |
S = OPTIMUM | O = 48 T = 421.08 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 94 T = Time Out | (out)(err) |
clq1-c2mv70c350l3g12.wcnf | S = OPTIMUM | O = 51 T = 62.69 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 51 T = 69.13 | (out)(err) |
S = OPTIMUM | O = 51 T = 133.65 | (out)(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 = 51 T = 159.56 | (out)(err) |
S = OPTIMUM | O = 51 T = 223.53 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 99 T = Time Out | (out)(err) |
clq1-c2mv70c350l3g13.wcnf | S = OPTIMUM | O = 46 T = 100.59 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 46 T = 109.17 | (out)(err) |
S = OPTIMUM | O = 46 T = 148.47 | (out)(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 = 46 T = 173.09 | (out)(err) |
S = OPTIMUM | O = 46 T = 227.23 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 92 T = Time Out | (out)(err) |
clq1-c2mv70c350l3g14.wcnf | S = OPTIMUM | O = 50 T = 375.47 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 50 T = 329.03 | (out)(err) |
S = OPTIMUM | O = 50 T = 558.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 = OPTIMUM | O = 50 T = 613.19 | (out)(err) |
S = OPTIMUM | O = 50 T = 801.74 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 98 T = Time Out | (out)(err) |
clq1-c2mv70c350l3g15.wcnf | S = OPTIMUM | O = 51 T = 238.98 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 51 T = 281.49 | (out)(err) |
S = OPTIMUM | O = 51 T = 318.07 | (out)(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 = 51 T = 760.48 | (out)(err) |
S = OPTIMUM | O = 51 T = 787.17 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 107 T = Time Out | (out)(err) |
clq1-c2mv70c350l3g16.wcnf | S = OPTIMUM | O = 51 T = 455.24 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 51 T = 336.51 | (out)(err) |
S = OPTIMUM | O = 51 T = 408.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 = OPTIMUM | O = 51 T = 525.09 | (out)(err) |
S = OPTIMUM | O = 51 T = 596.71 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 102 T = Time Out | (out)(err) |
clq1-c2mv70c350l3g17.wcnf | S = OPTIMUM | O = 45 T = 206.32 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 45 T = 226.50 | (out)(err) |
S = OPTIMUM | O = 45 T = 304.60 | (out)(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 = 45 T = 355.76 | (out)(err) |
S = OPTIMUM | O = 45 T = 507.07 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 86 T = Time Out | (out)(err) |
clq1-c2mv70c350l3g18.wcnf | S = OPTIMUM | O = 51 T = 1203.69 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 51 T = 1105.97 | (out)(err) |
S = OPTIMUM | O = 51 T = 1307.71 | (out)(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 = 51 T = 1706.60 | (out)(err) |
S = OPTIMUM | O = 51 T = 1630.31 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 84 T = Time Out | (out)(err) |
clq1-c2mv70c350l3g19.wcnf | S = OPTIMUM | 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 = 59 T = Time Out | (out)(err) |
S = OPTIMUM | O = 55 T = 1422.12 | (out)(err) |
S = OPTIMUM | O = 55 T = 1774.43 | (out)(err) |
S = N/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 = 55 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 100 T = Time Out | (out)(err) |
clq1-c2mv70c350l3g2.wcnf | S = OPTIMUM | O = 48 T = 83.87 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 48 T = 97.29 | (out)(err) |
S = OPTIMUM | O = 48 T = 189.13 | (out)(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 = 48 T = 183.91 | (out)(err) |
S = OPTIMUM | O = 48 T = 230.19 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 102 T = Time Out | (out)(err) |
clq1-c2mv70c350l3g20.wcnf | S = OPTIMUM | O = 50 T = 223.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 50 T = 268.55 | (out)(err) |
S = OPTIMUM | O = 50 T = 348.65 | (out)(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 = 50 T = 1053.99 | (out)(err) |
S = OPTIMUM | O = 50 T = 729.91 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 98 T = Time Out | (out)(err) |
clq1-c2mv70c350l3g21.wcnf | S = OPTIMUM | O = 40 T = 82.57 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (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 = 40 T = 86.67 | (out)(err) |
S = OPTIMUM | O = 40 T = 110.33 | (out)(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 = 40 T = 237.96 | (out)(err) |
S = OPTIMUM | O = 40 T = 328.06 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 86 T = Time Out | (out)(err) |
clq1-c2mv70c350l3g22.wcnf | S = OPTIMUM | O = 50 T = 420.14 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 50 T = 311.48 | (out)(err) |
S = OPTIMUM | O = 50 T = 509.17 | (out)(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 = 50 T = 610.02 | (out)(err) |
S = OPTIMUM | O = 50 T = 775.73 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 101 T = Time Out | (out)(err) |
clq1-c2mv70c350l3g23.wcnf | S = OPTIMUM | O = 52 T = 146.14 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 52 T = 157.83 | (out)(err) |
S = OPTIMUM | O = 52 T = 285.93 | (out)(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 = 52 T = 469.52 | (out)(err) |
S = OPTIMUM | O = 52 T = 451.70 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 102 T = Time Out | (out)(err) |
clq1-c2mv70c350l3g24.wcnf | S = OPTIMUM | O = 50 T = 178.44 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 50 T = 140.01 | (out)(err) |
S = OPTIMUM | O = 50 T = 309.46 | (out)(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 = 50 T = 559.49 | (out)(err) |
S = OPTIMUM | O = 50 T = 433.72 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 95 T = Time Out | (out)(err) |
clq1-c2mv70c350l3g25.wcnf | S = OPTIMUM | O = 45 T = 272.30 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 45 T = 240.14 | (out)(err) |
S = OPTIMUM | O = 45 T = 238.83 | (out)(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 = 45 T = 390.49 | (out)(err) |
S = OPTIMUM | O = 45 T = 326.51 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 82 T = Time Out | (out)(err) |
clq1-c2mv70c350l3g26.wcnf | S = OPTIMUM | O = 50 T = 87.96 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 50 T = 90.64 | (out)(err) |
S = OPTIMUM | O = 50 T = 173.44 | (out)(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 = 50 T = 485.99 | (out)(err) |
S = OPTIMUM | O = 50 T = 549.21 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 99 T = Time Out | (out)(err) |
clq1-c2mv70c350l3g27.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 61 T = Time Out | (out)(err) |
S = OPTIMUM | 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 = 56 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 = 95 T = Time Out | (out)(err) |
clq1-c2mv70c350l3g28.wcnf | S = OPTIMUM | O = 51 T = 249.68 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 51 T = 288.11 | (out)(err) |
S = OPTIMUM | O = 51 T = 409.86 | (out)(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 = 51 T = 618.72 | (out)(err) |
S = OPTIMUM | O = 51 T = 1122.90 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 96 T = Time Out | (out)(err) |
clq1-c2mv70c350l3g29.wcnf | S = OPTIMUM | O = 55 T = 510.90 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (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 = 55 T = 518.14 | (out)(err) |
S = OPTIMUM | O = 55 T = 672.81 | (out)(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 = 55 T = 932.80 | (out)(err) |
S = OPTIMUM | O = 55 T = 1584.59 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 103 T = Time Out | (out)(err) |
clq1-c2mv70c350l3g3.wcnf | S = OPTIMUM | O = 49 T = 1503.78 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 49 T = 1060.72 | (out)(err) |
S = OPTIMUM | O = 49 T = 1255.67 | (out)(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 = 49 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 = 88 T = Time Out | (out)(err) |
clq1-c2mv70c350l3g30.wcnf | S = OPTIMUM | O = 53 T = 979.71 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 53 T = 970.95 | (out)(err) |
S = OPTIMUM | 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 = 53 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 = 103 T = Time Out | (out)(err) |
clq1-c2mv70c350l3g4.wcnf | S = OPTIMUM | O = 47 T = 134.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 = 52 T = Time Out | (out)(err) |
S = OPTIMUM | O = 47 T = 153.06 | (out)(err) |
S = OPTIMUM | O = 47 T = 175.52 | (out)(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 = 47 T = 217.78 | (out)(err) |
S = OPTIMUM | O = 47 T = 250.60 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 94 T = Time Out | (out)(err) |
clq1-c2mv70c350l3g5.wcnf | S = OPTIMUM | O = 46 T = 100.24 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 46 T = 167.24 | (out)(err) |
S = OPTIMUM | O = 46 T = 149.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 = OPTIMUM | O = 46 T = 161.65 | (out)(err) |
S = OPTIMUM | O = 46 T = 157.75 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 97 T = Time Out | (out)(err) |
clq1-c2mv70c350l3g6.wcnf | S = OPTIMUM | O = 49 T = 88.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 49 T = 78.04 | (out)(err) |
S = OPTIMUM | O = 49 T = 155.27 | (out)(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 = 49 T = 185.41 | (out)(err) |
S = OPTIMUM | O = 49 T = 267.96 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 97 T = Time Out | (out)(err) |
clq1-c2mv70c350l3g7.wcnf | S = OPTIMUM | O = 54 T = 1130.98 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 54 T = 884.39 | (out)(err) |
S = OPTIMUM | O = 54 T = 1502.78 | (out)(err) |
S = N/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 = OPTIMUM | O = 54 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 93 T = Time Out | (out)(err) |
clq1-c2mv70c350l3g8.wcnf | S = OPTIMUM | O = 48 T = 1241.59 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 48 T = 672.72 | (out)(err) |
S = OPTIMUM | O = 48 T = 972.60 | (out)(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 = 48 T = 1634.02 | (out)(err) |
S = OPTIMUM | O = 48 T = 1371.90 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 89 T = Time Out | (out)(err) |
clq1-c2mv70c350l3g9.wcnf | S = OPTIMUM | O = 50 T = 1242.02 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 50 T = 702.54 | (out)(err) |
S = OPTIMUM | O = 50 T = 1108.79 | (out)(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 = 50 T = 1455.57 | (out)(err) |
S = OPTIMUM | O = 50 T = 1258.12 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 90 T = Time Out | (out)(err) |
clq1-c2mv80c400l3g1.wcnf | S = OPTIMUM | O = 56 T = 691.77 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 56 T = 617.93 | (out)(err) |
S = OPTIMUM | O = 56 T = 978.64 | (out)(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 = 56 T = 1212.14 | (out)(err) |
S = OPTIMUM | O = 56 T = 1046.44 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 111 T = Time Out | (out)(err) |
clq1-c2mv80c400l3g10.wcnf | S = OPTIMUM | O = 55 T = 341.05 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 55 T = 391.34 | (out)(err) |
S = OPTIMUM | O = 55 T = 654.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 = OPTIMUM | O = 55 T = 795.74 | (out)(err) |
S = OPTIMUM | O = 55 T = 1027.35 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 113 T = Time Out | (out)(err) |
clq1-c2mv80c400l3g11.wcnf | S = OPTIMUM | O = 57 T = 1348.30 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 57 T = 1047.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 = 57 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 = 110 T = Time Out | (out)(err) |
clq1-c2mv80c400l3g12.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 72 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = 66 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 113 T = Time Out | (out)(err) |
clq1-c2mv80c400l3g13.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = N/A T = Time Out | (out)(err) |
S = N/A | O = 61 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 = 118 T = Time Out | (out)(err) |
clq1-c2mv80c400l3g14.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = N/A T = Time Out | (out)(err) |
S = N/A | O = 59 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 = 115 T = Time Out | (out)(err) |
clq1-c2mv80c400l3g15.wcnf | S = OPTIMUM | O = 59 T = 1217.30 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (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 = 59 T = 881.02 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 61 T = Time Out | (out)(err) |
S = N/A | O = 61 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 111 T = Time Out | (out)(err) |
clq1-c2mv80c400l3g16.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 72 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 61 T = Time Out | (out)(err) |
S = N/A | O = 61 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 117 T = Time Out | (out)(err) |
clq1-c2mv80c400l3g17.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 73 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 68 T = Time Out | (out)(err) |
S = N/A | O = 68 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 113 T = Time Out | (out)(err) |
clq1-c2mv80c400l3g18.wcnf | S = OPTIMUM | O = 58 T = 1290.69 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 58 T = 1237.69 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 58 T = Time Out | (out)(err) |
S = N/A | O = 58 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 116 T = Time Out | (out)(err) |
clq1-c2mv80c400l3g19.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = N/A T = Time Out | (out)(err) |
S = N/A | O = 56 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 = 109 T = Time Out | (out)(err) |
clq1-c2mv80c400l3g2.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 73 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 68 T = Time Out | (out)(err) |
S = N/A | O = 68 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 119 T = Time Out | (out)(err) |
clq1-c2mv80c400l3g20.wcnf | S = OPTIMUM | O = 56 T = 1006.22 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 56 T = 871.86 | (out)(err) |
S = OPTIMUM | O = 56 T = 1482.79 | (out)(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 = 56 T = Time Out | (out)(err) |
S = OPTIMUM | O = 56 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 115 T = Time Out | (out)(err) |
clq1-c2mv80c400l3g21.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 72 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = 66 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 123 T = Time Out | (out)(err) |
clq1-c2mv80c400l3g22.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (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 = 64 T = 1591.49 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = 64 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 123 T = Time Out | (out)(err) |
clq1-c2mv80c400l3g23.wcnf | S = OPTIMUM | O = 56 T = 1223.84 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 56 T = 1352.32 | (out)(err) |
S = OPTIMUM | O = 56 T = 1711.50 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 58 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 = 110 T = Time Out | (out)(err) |
clq1-c2mv80c400l3g24.wcnf | S = OPTIMUM | O = 51 T = 181.61 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 61 T = Time Out | (out)(err) |
S = OPTIMUM | O = 51 T = 176.73 | (out)(err) |
S = OPTIMUM | O = 51 T = 346.77 | (out)(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 = 51 T = 404.16 | (out)(err) |
S = OPTIMUM | O = 51 T = 383.87 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 122 T = Time Out | (out)(err) |
clq1-c2mv80c400l3g25.wcnf | S = OPTIMUM | O = 55 T = 1574.87 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 55 T = 1151.96 | (out)(err) |
S = OPTIMUM | 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 = 55 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 = 109 T = Time Out | (out)(err) |
clq1-c2mv80c400l3g26.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = N/A T = Time Out | (out)(err) |
S = N/A | O = 61 T = Time Out | (out)(err) |
S = N/A | O = 61 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 111 T = Time Out | (out)(err) |
clq1-c2mv80c400l3g27.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = N/A T = Time Out | (out)(err) |
S = N/A | O = 59 T = Time Out | (out)(err) |
S = N/A | O = 61 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 115 T = Time Out | (out)(err) |
clq1-c2mv80c400l3g28.wcnf | S = OPTIMUM | O = 57 T = 620.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 = 67 T = Time Out | (out)(err) |
S = OPTIMUM | O = 57 T = 583.01 | (out)(err) |
S = OPTIMUM | O = 57 T = 1184.80 | (out)(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 = 57 T = 1388.90 | (out)(err) |
S = OPTIMUM | O = 57 T = 1693.21 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 126 T = Time Out | (out)(err) |
clq1-c2mv80c400l3g29.wcnf | S = OPTIMUM | 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 = 70 T = Time Out | (out)(err) |
S = OPTIMUM | O = 63 T = 1506.43 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = 66 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 123 T = Time Out | (out)(err) |
clq1-c2mv80c400l3g3.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 68 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = 63 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 118 T = Time Out | (out)(err) |
clq1-c2mv80c400l3g30.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (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 = 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 = 60 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 = 109 T = Time Out | (out)(err) |
clq1-c2mv80c400l3g4.wcnf | S = OPTIMUM | O = 61 T = 1793.37 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (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 = 61 T = 879.26 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 61 T = Time Out | (out)(err) |
S = N/A | O = 61 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 122 T = Time Out | (out)(err) |
clq1-c2mv80c400l3g5.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 70 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = 65 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 108 T = Time Out | (out)(err) |
clq1-c2mv80c400l3g6.wcnf | S = OPTIMUM | O = 59 T = 1154.31 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = 59 T = 828.46 | (out)(err) |
S = OPTIMUM | 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 = 59 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 = 115 T = Time Out | (out)(err) |
clq1-c2mv80c400l3g7.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 72 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = 67 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 114 T = Time Out | (out)(err) |
clq1-c2mv80c400l3g8.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 73 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = 67 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 126 T = Time Out | (out)(err) |
clq1-c2mv80c400l3g9.wcnf | S = OPTIMUM | 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 = 65 T = Time Out | (out)(err) |
S = OPTIMUM | O = 59 T = 1434.99 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (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 = 63 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 111 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C4000_H150_0.wcnf | S = OPTIMUM | O = 802 T = 3.65 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 4.75 | (out)(err) |
S = N/A | O = 883 T = Time Out | (out)(err) |
S = OPTIMUM | O = 802 T = 2.08 | (out)(err) |
S = OPTIMUM | O = 802 T = 1.66 | (out)(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 = 802 T = 1.47 | (out)(err) |
S = OPTIMUM | O = 802 T = 1.70 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3599 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C4000_H150_1.wcnf | S = UNSAT | O = 4000 T = 0.05 | (out)(err) |
S = UNSAT | O = 4000 T = 0.03 | (out)(err) |
S = UNSAT | O = N/A T = 0.02 | (out)(err) |
S = UNSAT | O = N/A T = 0.00 | (out)(err) |
S = UNSAT | O = N/A T = 1.45 | (out)(err) |
S = UNSAT | O = 4000 T = 0.03 | (out)(err) |
S = UNSAT | O = 4000 T = 0.03 | (out)(err) |
S = UNSAT | O = 4000 T = 0.04 | (out)(err) |
S = UNSAT | O = N/A T = 0.02 | (out)(err) |
S = UNSAT | O = N/A T = 0.02 | (out)(err) |
S = UNSAT | O = 4000 T = 0.74 | (out)(err) |
S = UNSAT | O = N/A T = 3.81 | (out)(err) |
S = N/A | O = N/A T = 0.01 | (out)(err) |
file_rpms_wcnf_L2_V150_C4000_H150_2.wcnf | S = OPTIMUM | O = 805 T = 5.72 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 4.77 | (out)(err) |
S = N/A | O = 902 T = Time Out | (out)(err) |
S = OPTIMUM | O = 805 T = 1.51 | (out)(err) |
S = OPTIMUM | O = 805 T = 1.44 | (out)(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 = 805 T = 1.11 | (out)(err) |
S = OPTIMUM | O = 805 T = 1.73 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3647 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C4000_H150_3.wcnf | S = OPTIMUM | O = 752 T = 24.57 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 880 T = Time Out | (out)(err) |
S = OPTIMUM | O = 752 T = 4.95 | (out)(err) |
S = OPTIMUM | O = 752 T = 4.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 = OPTIMUM | O = 752 T = 3.03 | (out)(err) |
S = OPTIMUM | O = 752 T = 2.07 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3657 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C4000_H150_4.wcnf | S = OPTIMUM | O = 750 T = 37.17 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 4.78 | (out)(err) |
S = N/A | O = 843 T = Time Out | (out)(err) |
S = OPTIMUM | O = 750 T = 4.94 | (out)(err) |
S = OPTIMUM | O = 750 T = 5.66 | (out)(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 = 750 T = 6.42 | (out)(err) |
S = OPTIMUM | O = 750 T = 2.73 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3622 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C4000_H150_5.wcnf | S = OPTIMUM | O = 756 T = 52.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 = 4.82 | (out)(err) |
S = N/A | O = 858 T = Time Out | (out)(err) |
S = OPTIMUM | O = 756 T = 19.05 | (out)(err) |
S = OPTIMUM | O = 756 T = 18.65 | (out)(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 = 756 T = 13.79 | (out)(err) |
S = OPTIMUM | O = 756 T = 6.89 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3589 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C4000_H150_6.wcnf | S = OPTIMUM | O = 782 T = 97.96 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 4.84 | (out)(err) |
S = N/A | O = 870 T = Time Out | (out)(err) |
S = OPTIMUM | O = 782 T = 29.81 | (out)(err) |
S = OPTIMUM | O = 782 T = 29.52 | (out)(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 = 782 T = 19.63 | (out)(err) |
S = OPTIMUM | O = 782 T = 13.01 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3668 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C4000_H150_7.wcnf | S = OPTIMUM | O = 755 T = 103.52 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 869 T = Time Out | (out)(err) |
S = OPTIMUM | O = 755 T = 17.52 | (out)(err) |
S = OPTIMUM | O = 755 T = 16.94 | (out)(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 = 755 T = 9.21 | (out)(err) |
S = OPTIMUM | O = 755 T = 4.41 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3591 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C4000_H150_8.wcnf | S = OPTIMUM | O = 764 T = 478.86 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 4.79 | (out)(err) |
S = N/A | O = 878 T = Time Out | (out)(err) |
S = OPTIMUM | O = 764 T = 92.53 | (out)(err) |
S = OPTIMUM | O = 764 T = 88.14 | (out)(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 = 764 T = 36.59 | (out)(err) |
S = OPTIMUM | O = 764 T = 31.32 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3637 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C4000_H150_9.wcnf | S = OPTIMUM | O = 792 T = 46.29 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 4.78 | (out)(err) |
S = N/A | O = 883 T = Time Out | (out)(err) |
S = OPTIMUM | O = 792 T = 13.00 | (out)(err) |
S = OPTIMUM | O = 792 T = 11.70 | (out)(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 = 792 T = 6.83 | (out)(err) |
S = OPTIMUM | O = 792 T = 5.41 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3636 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C4500_H150_0.wcnf | S = OPTIMUM | O = 867 T = 365.21 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1004 T = Time Out | (out)(err) |
S = OPTIMUM | O = 867 T = 38.77 | (out)(err) |
S = OPTIMUM | O = 867 T = 35.94 | (out)(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 = 867 T = 21.66 | (out)(err) |
S = OPTIMUM | O = 867 T = 8.39 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4162 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C4500_H150_1.wcnf | S = OPTIMUM | O = 905 T = 129.30 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1007 T = Time Out | (out)(err) |
S = OPTIMUM | O = 905 T = 30.79 | (out)(err) |
S = OPTIMUM | O = 905 T = 30.18 | (out)(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 = 905 T = 18.46 | (out)(err) |
S = OPTIMUM | O = 905 T = 5.69 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4118 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C4500_H150_2.wcnf | S = OPTIMUM | O = 912 T = 28.19 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1004 T = Time Out | (out)(err) |
S = OPTIMUM | O = 912 T = 13.45 | (out)(err) |
S = OPTIMUM | O = 912 T = 13.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 = 912 T = 5.34 | (out)(err) |
S = OPTIMUM | O = 912 T = 4.09 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4163 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C4500_H150_3.wcnf | S = OPTIMUM | O = 878 T = 9.14 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1002 T = Time Out | (out)(err) |
S = OPTIMUM | O = 878 T = 3.66 | (out)(err) |
S = OPTIMUM | O = 878 T = 3.24 | (out)(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 = 878 T = 2.92 | (out)(err) |
S = OPTIMUM | O = 878 T = 2.96 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4128 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C4500_H150_4.wcnf | S = OPTIMUM | O = 890 T = 324.04 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1011 T = Time Out | (out)(err) |
S = OPTIMUM | O = 890 T = 23.39 | (out)(err) |
S = OPTIMUM | O = 890 T = 23.09 | (out)(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 = 890 T = 21.03 | (out)(err) |
S = OPTIMUM | O = 890 T = 14.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4200 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C4500_H150_5.wcnf | S = OPTIMUM | O = 881 T = 101.28 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1000 T = Time Out | (out)(err) |
S = OPTIMUM | O = 881 T = 18.20 | (out)(err) |
S = OPTIMUM | O = 881 T = 18.32 | (out)(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 = 881 T = 10.02 | (out)(err) |
S = OPTIMUM | O = 881 T = 7.81 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4141 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C4500_H150_6.wcnf | S = OPTIMUM | O = 856 T = 79.89 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 4.56 | (out)(err) |
S = N/A | O = 967 T = Time Out | (out)(err) |
S = OPTIMUM | O = 856 T = 21.01 | (out)(err) |
S = OPTIMUM | O = 856 T = 21.14 | (out)(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 = 856 T = 11.29 | (out)(err) |
S = OPTIMUM | O = 856 T = 2.46 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4166 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C4500_H150_7.wcnf | S = OPTIMUM | O = 875 T = 101.02 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 993 T = Time Out | (out)(err) |
S = OPTIMUM | O = 875 T = 31.89 | (out)(err) |
S = OPTIMUM | O = 875 T = 30.49 | (out)(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 = 875 T = 14.29 | (out)(err) |
S = OPTIMUM | O = 875 T = 8.85 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4110 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C4500_H150_8.wcnf | S = OPTIMUM | O = 908 T = 19.52 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1015 T = Time Out | (out)(err) |
S = OPTIMUM | O = 908 T = 4.47 | (out)(err) |
S = OPTIMUM | O = 908 T = 4.93 | (out)(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 = 908 T = 3.27 | (out)(err) |
S = OPTIMUM | O = 908 T = 2.76 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4156 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C4500_H150_9.wcnf | S = OPTIMUM | O = 898 T = 24.60 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 994 T = Time Out | (out)(err) |
S = OPTIMUM | O = 898 T = 9.02 | (out)(err) |
S = OPTIMUM | O = 898 T = 7.69 | (out)(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 = 898 T = 3.44 | (out)(err) |
S = OPTIMUM | O = 898 T = 2.37 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4146 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C5000_H150_0.wcnf | S = OPTIMUM | O = 1018 T = 60.04 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1136 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1018 T = 16.82 | (out)(err) |
S = OPTIMUM | O = 1018 T = 20.00 | (out)(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 = 1018 T = 6.93 | (out)(err) |
S = OPTIMUM | O = 1018 T = 2.32 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4634 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C5000_H150_1.wcnf | S = OPTIMUM | O = 1015 T = 56.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 4.49 | (out)(err) |
S = N/A | O = 1129 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1015 T = 27.13 | (out)(err) |
S = OPTIMUM | O = 1015 T = 28.19 | (out)(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 = 1015 T = 10.37 | (out)(err) |
S = OPTIMUM | O = 1015 T = 2.96 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4690 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C5000_H150_2.wcnf | S = OPTIMUM | O = 979 T = 173.30 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 4.57 | (out)(err) |
S = N/A | O = 1115 T = Time Out | (out)(err) |
S = OPTIMUM | O = 979 T = 17.63 | (out)(err) |
S = OPTIMUM | O = 979 T = 16.27 | (out)(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 = 979 T = 14.52 | (out)(err) |
S = OPTIMUM | O = 979 T = 4.69 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4623 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C5000_H150_3.wcnf | S = OPTIMUM | O = 1032 T = 65.38 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1126 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1032 T = 14.04 | (out)(err) |
S = OPTIMUM | O = 1032 T = 13.98 | (out)(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 = 1032 T = 8.59 | (out)(err) |
S = OPTIMUM | O = 1032 T = 8.69 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4658 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C5000_H150_4.wcnf | S = OPTIMUM | O = 1018 T = 1494.17 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1133 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1018 T = 127.94 | (out)(err) |
S = OPTIMUM | O = 1018 T = 131.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 = OPTIMUM | O = 1018 T = 43.07 | (out)(err) |
S = OPTIMUM | O = 1018 T = 16.59 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4654 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C5000_H150_5.wcnf | S = OPTIMUM | O = 991 T = 99.15 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 4.59 | (out)(err) |
S = N/A | O = 1098 T = Time Out | (out)(err) |
S = OPTIMUM | O = 991 T = 14.72 | (out)(err) |
S = OPTIMUM | O = 991 T = 12.72 | (out)(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 = 991 T = 6.12 | (out)(err) |
S = OPTIMUM | O = 991 T = 3.98 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4662 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C5000_H150_6.wcnf | S = OPTIMUM | O = 1005 T = 41.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 = 4.52 | (out)(err) |
S = N/A | O = 1095 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1005 T = 9.51 | (out)(err) |
S = OPTIMUM | O = 1005 T = 9.56 | (out)(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 = 1005 T = 5.71 | (out)(err) |
S = OPTIMUM | O = 1005 T = 4.93 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4622 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C5000_H150_7.wcnf | S = OPTIMUM | O = 991 T = 99.83 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1103 T = Time Out | (out)(err) |
S = OPTIMUM | O = 991 T = 35.42 | (out)(err) |
S = OPTIMUM | O = 991 T = 33.88 | (out)(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 = 991 T = 6.19 | (out)(err) |
S = OPTIMUM | O = 991 T = 6.25 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4604 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C5000_H150_8.wcnf | S = OPTIMUM | O = 999 T = 4.98 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 4.58 | (out)(err) |
S = N/A | O = 1118 T = Time Out | (out)(err) |
S = OPTIMUM | O = 999 T = 2.34 | (out)(err) |
S = OPTIMUM | O = 999 T = 2.28 | (out)(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 = 999 T = 2.27 | (out)(err) |
S = OPTIMUM | O = 999 T = 2.56 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4646 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C5000_H150_9.wcnf | S = OPTIMUM | O = 993 T = 19.29 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 4.56 | (out)(err) |
S = N/A | O = 1125 T = Time Out | (out)(err) |
S = OPTIMUM | O = 993 T = 4.44 | (out)(err) |
S = OPTIMUM | O = 993 T = 4.20 | (out)(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 = 993 T = 3.22 | (out)(err) |
S = OPTIMUM | O = 993 T = 2.49 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4587 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C2500_H150_0.wcnf | S = OPTIMUM | O = 464 T = 0.96 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 526 T = Time Out | (out)(err) |
S = OPTIMUM | O = 464 T = 0.59 | (out)(err) |
S = OPTIMUM | O = 464 T = 0.56 | (out)(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 = 464 T = 0.76 | (out)(err) |
S = OPTIMUM | O = 464 T = 0.99 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2105 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C2500_H150_1.wcnf | S = OPTIMUM | O = 454 T = 2.10 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 524 T = Time Out | (out)(err) |
S = OPTIMUM | O = 454 T = 1.23 | (out)(err) |
S = OPTIMUM | O = 454 T = 1.26 | (out)(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 = 454 T = 1.25 | (out)(err) |
S = OPTIMUM | O = 454 T = 1.23 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2171 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C2500_H150_2.wcnf | S = OPTIMUM | O = 423 T = 17.85 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 516 T = Time Out | (out)(err) |
S = OPTIMUM | O = 423 T = 6.45 | (out)(err) |
S = OPTIMUM | O = 423 T = 5.66 | (out)(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 = 423 T = 5.74 | (out)(err) |
S = OPTIMUM | O = 423 T = 1.78 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2163 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C2500_H150_3.wcnf | S = OPTIMUM | O = 442 T = 5.68 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 521 T = Time Out | (out)(err) |
S = OPTIMUM | O = 442 T = 2.28 | (out)(err) |
S = OPTIMUM | O = 442 T = 2.21 | (out)(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 = 442 T = 2.32 | (out)(err) |
S = OPTIMUM | O = 442 T = 2.39 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2168 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C2500_H150_4.wcnf | S = OPTIMUM | O = 447 T = 0.92 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 511 T = Time Out | (out)(err) |
S = OPTIMUM | O = 447 T = 0.46 | (out)(err) |
S = OPTIMUM | O = 447 T = 0.47 | (out)(err) |
S = OPTIMUM | O = 447 T = 0.46 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 447 T = 0.78 | (out)(err) |
S = OPTIMUM | O = 447 T = 1.12 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2094 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C2500_H150_5.wcnf | S = OPTIMUM | O = 433 T = 0.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 = 508 T = Time Out | (out)(err) |
S = OPTIMUM | O = 433 T = 0.40 | (out)(err) |
S = OPTIMUM | O = 433 T = 0.36 | (out)(err) |
S = OPTIMUM | O = 433 T = 0.37 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 433 T = 0.91 | (out)(err) |
S = OPTIMUM | O = 433 T = 1.12 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2151 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C2500_H150_6.wcnf | S = OPTIMUM | O = 461 T = 3.29 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 516 T = Time Out | (out)(err) |
S = OPTIMUM | O = 461 T = 1.80 | (out)(err) |
S = OPTIMUM | O = 461 T = 1.69 | (out)(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 = 461 T = 1.67 | (out)(err) |
S = OPTIMUM | O = 461 T = 1.91 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2144 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C2500_H150_7.wcnf | S = OPTIMUM | O = 434 T = 12.79 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 513 T = Time Out | (out)(err) |
S = OPTIMUM | O = 434 T = 5.32 | (out)(err) |
S = OPTIMUM | O = 434 T = 5.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 = OPTIMUM | O = 434 T = 4.40 | (out)(err) |
S = OPTIMUM | O = 434 T = 1.78 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2162 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C2500_H150_8.wcnf | S = OPTIMUM | O = 456 T = 6.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 = 516 T = Time Out | (out)(err) |
S = OPTIMUM | O = 456 T = 3.15 | (out)(err) |
S = OPTIMUM | O = 456 T = 3.00 | (out)(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 = 456 T = 3.06 | (out)(err) |
S = OPTIMUM | O = 456 T = 2.83 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2187 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C2500_H150_9.wcnf | S = OPTIMUM | O = 470 T = 0.39 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 537 T = Time Out | (out)(err) |
S = OPTIMUM | O = 470 T = 0.44 | (out)(err) |
S = OPTIMUM | O = 470 T = 0.40 | (out)(err) |
S = OPTIMUM | O = 470 T = 0.42 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 470 T = 0.52 | (out)(err) |
S = OPTIMUM | O = 470 T = 0.77 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2160 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C3000_H150_0.wcnf | S = OPTIMUM | O = 539 T = 20.85 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 616 T = Time Out | (out)(err) |
S = OPTIMUM | O = 539 T = 6.96 | (out)(err) |
S = OPTIMUM | O = 539 T = 6.80 | (out)(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 = 539 T = 4.92 | (out)(err) |
S = OPTIMUM | O = 539 T = 4.46 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2686 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C3000_H150_1.wcnf | S = OPTIMUM | O = 560 T = 51.58 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 640 T = Time Out | (out)(err) |
S = OPTIMUM | O = 560 T = 25.56 | (out)(err) |
S = OPTIMUM | O = 560 T = 24.04 | (out)(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 = 560 T = 14.24 | (out)(err) |
S = OPTIMUM | O = 560 T = 9.22 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2658 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C3000_H150_2.wcnf | S = OPTIMUM | O = 531 T = 7.80 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 628 T = Time Out | (out)(err) |
S = OPTIMUM | O = 531 T = 7.61 | (out)(err) |
S = OPTIMUM | O = 531 T = 6.97 | (out)(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 = 531 T = 3.01 | (out)(err) |
S = OPTIMUM | O = 531 T = 1.38 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2607 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C3000_H150_3.wcnf | S = OPTIMUM | O = 555 T = 55.78 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 636 T = Time Out | (out)(err) |
S = OPTIMUM | O = 555 T = 19.52 | (out)(err) |
S = OPTIMUM | O = 555 T = 17.47 | (out)(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 = 555 T = 10.06 | (out)(err) |
S = OPTIMUM | O = 555 T = 2.88 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2665 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C3000_H150_4.wcnf | S = OPTIMUM | O = 556 T = 1.66 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 643 T = Time Out | (out)(err) |
S = OPTIMUM | O = 556 T = 1.06 | (out)(err) |
S = OPTIMUM | O = 556 T = 0.98 | (out)(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 = 556 T = 1.09 | (out)(err) |
S = OPTIMUM | O = 556 T = 1.12 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2586 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C3000_H150_5.wcnf | S = OPTIMUM | O = 538 T = 142.53 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 637 T = Time Out | (out)(err) |
S = OPTIMUM | O = 538 T = 26.32 | (out)(err) |
S = OPTIMUM | O = 538 T = 25.19 | (out)(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 = 538 T = 16.64 | (out)(err) |
S = OPTIMUM | O = 538 T = 8.96 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2647 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C3000_H150_6.wcnf | S = OPTIMUM | O = 537 T = 43.84 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 635 T = Time Out | (out)(err) |
S = OPTIMUM | O = 537 T = 15.40 | (out)(err) |
S = OPTIMUM | O = 537 T = 13.84 | (out)(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 = 537 T = 11.38 | (out)(err) |
S = OPTIMUM | O = 537 T = 7.31 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2640 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C3000_H150_7.wcnf | S = OPTIMUM | O = 527 T = 6.35 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 632 T = Time Out | (out)(err) |
S = OPTIMUM | O = 527 T = 3.66 | (out)(err) |
S = OPTIMUM | O = 527 T = 3.79 | (out)(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 = 527 T = 3.21 | (out)(err) |
S = OPTIMUM | O = 527 T = 2.03 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2681 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C3000_H150_8.wcnf | S = OPTIMUM | O = 564 T = 105.53 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 632 T = Time Out | (out)(err) |
S = OPTIMUM | O = 564 T = 35.37 | (out)(err) |
S = OPTIMUM | O = 564 T = 38.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 = 564 T = 16.26 | (out)(err) |
S = OPTIMUM | O = 564 T = 8.70 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2681 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C3000_H150_9.wcnf | S = OPTIMUM | O = 552 T = 7.97 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 639 T = Time Out | (out)(err) |
S = OPTIMUM | O = 552 T = 3.33 | (out)(err) |
S = OPTIMUM | O = 552 T = 3.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 = OPTIMUM | O = 552 T = 2.60 | (out)(err) |
S = OPTIMUM | O = 552 T = 2.34 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2608 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C3500_H150_0.wcnf | S = OPTIMUM | O = 680 T = 157.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 = 773 T = Time Out | (out)(err) |
S = OPTIMUM | O = 680 T = 28.61 | (out)(err) |
S = OPTIMUM | O = 680 T = 26.81 | (out)(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 = 680 T = 20.49 | (out)(err) |
S = OPTIMUM | O = 680 T = 6.04 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3121 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C3500_H150_1.wcnf | S = OPTIMUM | O = 679 T = 8.46 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 760 T = Time Out | (out)(err) |
S = OPTIMUM | O = 679 T = 6.01 | (out)(err) |
S = OPTIMUM | O = 679 T = 6.17 | (out)(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 = 679 T = 4.25 | (out)(err) |
S = OPTIMUM | O = 679 T = 3.13 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3118 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C3500_H150_2.wcnf | S = OPTIMUM | O = 716 T = 9.04 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 779 T = Time Out | (out)(err) |
S = OPTIMUM | O = 716 T = 3.39 | (out)(err) |
S = OPTIMUM | O = 716 T = 3.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 = OPTIMUM | O = 716 T = 2.98 | (out)(err) |
S = OPTIMUM | O = 716 T = 2.79 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3144 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C3500_H150_3.wcnf | S = OPTIMUM | O = 669 T = 15.58 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 738 T = Time Out | (out)(err) |
S = OPTIMUM | O = 669 T = 5.98 | (out)(err) |
S = OPTIMUM | O = 669 T = 5.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 = OPTIMUM | O = 669 T = 4.25 | (out)(err) |
S = OPTIMUM | O = 669 T = 2.75 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3188 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C3500_H150_4.wcnf | S = OPTIMUM | O = 627 T = 21.95 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 733 T = Time Out | (out)(err) |
S = OPTIMUM | O = 627 T = 4.10 | (out)(err) |
S = OPTIMUM | O = 627 T = 4.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 = OPTIMUM | O = 627 T = 4.25 | (out)(err) |
S = OPTIMUM | O = 627 T = 3.86 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3165 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C3500_H150_5.wcnf | S = OPTIMUM | O = 667 T = 176.89 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 773 T = Time Out | (out)(err) |
S = OPTIMUM | O = 667 T = 33.97 | (out)(err) |
S = OPTIMUM | O = 667 T = 36.70 | (out)(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 = 667 T = 16.19 | (out)(err) |
S = OPTIMUM | O = 667 T = 8.63 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3128 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C3500_H150_6.wcnf | S = OPTIMUM | O = 688 T = 1.93 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 780 T = Time Out | (out)(err) |
S = OPTIMUM | O = 688 T = 1.83 | (out)(err) |
S = OPTIMUM | O = 688 T = 1.66 | (out)(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 = 688 T = 0.99 | (out)(err) |
S = OPTIMUM | O = 688 T = 0.96 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3159 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C3500_H150_7.wcnf | S = OPTIMUM | O = 675 T = 2.71 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 767 T = Time Out | (out)(err) |
S = OPTIMUM | O = 675 T = 1.43 | (out)(err) |
S = OPTIMUM | O = 675 T = 1.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 = OPTIMUM | O = 675 T = 2.47 | (out)(err) |
S = OPTIMUM | O = 675 T = 2.84 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3113 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C3500_H150_8.wcnf | S = OPTIMUM | O = 675 T = 8.79 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 777 T = Time Out | (out)(err) |
S = OPTIMUM | O = 675 T = 2.82 | (out)(err) |
S = OPTIMUM | O = 675 T = 2.66 | (out)(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 = 675 T = 2.83 | (out)(err) |
S = OPTIMUM | O = 675 T = 1.99 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3194 T = Time Out | (out)(err) |
file_rpms_wcnf_L2_V150_C3500_H150_9.wcnf | S = OPTIMUM | O = 638 T = 32.83 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 749 T = Time Out | (out)(err) |
S = OPTIMUM | O = 638 T = 10.93 | (out)(err) |
S = OPTIMUM | O = 638 T = 10.58 | (out)(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 = 638 T = 6.84 | (out)(err) |
S = OPTIMUM | O = 638 T = 3.42 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3141 T = Time Out | (out)(err) |
file_rpms_wcnf_L3_V100_C600_H100_0.wcnf | S = OPTIMUM | O = 8 T = 5.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 = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 15 T = Time Out | (out)(err) |
S = OPTIMUM | O = 8 T = 5.11 | (out)(err) |
S = OPTIMUM | O = 8 T = 4.80 | (out)(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 = 8 T = 24.65 | (out)(err) |
S = OPTIMUM | O = 8 T = 6.93 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 105 T = Time Out | (out)(err) |
file_rpms_wcnf_L3_V100_C600_H100_1.wcnf | S = OPTIMUM | O = 8 T = 15.39 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 8 T = 14.26 | (out)(err) |
S = OPTIMUM | O = 8 T = 13.47 | (out)(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 = 8 T = 14.25 | (out)(err) |
S = OPTIMUM | O = 8 T = 8.59 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 115 T = Time Out | (out)(err) |
file_rpms_wcnf_L3_V100_C600_H100_2.wcnf | S = OPTIMUM | O = 8 T = 22.87 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 8 T = 20.01 | (out)(err) |
S = OPTIMUM | O = 8 T = 18.89 | (out)(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 = 8 T = 12.64 | (out)(err) |
S = OPTIMUM | O = 8 T = 4.63 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 134 T = Time Out | (out)(err) |
file_rpms_wcnf_L3_V100_C600_H100_3.wcnf | S = OPTIMUM | O = 9 T = 18.80 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 9 T = 16.20 | (out)(err) |
S = OPTIMUM | O = 9 T = 15.27 | (out)(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 = 9 T = 21.71 | (out)(err) |
S = OPTIMUM | O = 9 T = 10.52 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 115 T = Time Out | (out)(err) |
file_rpms_wcnf_L3_V100_C600_H100_4.wcnf | S = OPTIMUM | O = 7 T = 3.93 | (out)(err) |
S = N/A | O = 2425 T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 7 T = 4.03 | (out)(err) |
S = OPTIMUM | O = 7 T = 3.84 | (out)(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 = 7 T = 4.97 | (out)(err) |
S = OPTIMUM | O = 7 T = 3.02 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 101 T = Time Out | (out)(err) |
file_rpms_wcnf_L3_V100_C600_H100_5.wcnf | S = OPTIMUM | O = 8 T = 4.89 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 8 T = 4.74 | (out)(err) |
S = OPTIMUM | O = 8 T = 4.48 | (out)(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 = 8 T = 11.11 | (out)(err) |
S = OPTIMUM | O = 8 T = 4.27 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 109 T = Time Out | (out)(err) |
file_rpms_wcnf_L3_V100_C600_H100_6.wcnf | S = OPTIMUM | O = 7 T = 14.81 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 7 T = 12.17 | (out)(err) |
S = OPTIMUM | O = 7 T = 11.43 | (out)(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 = 7 T = 16.03 | (out)(err) |
S = OPTIMUM | O = 7 T = 4.37 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 116 T = Time Out | (out)(err) |
file_rpms_wcnf_L3_V100_C600_H100_7.wcnf | S = OPTIMUM | O = 8 T = 14.47 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 8 T = 13.00 | (out)(err) |
S = OPTIMUM | O = 8 T = 12.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 = OPTIMUM | O = 8 T = 16.91 | (out)(err) |
S = OPTIMUM | O = 8 T = 12.07 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 107 T = Time Out | (out)(err) |
file_rpms_wcnf_L3_V100_C600_H100_8.wcnf | S = OPTIMUM | O = 5 T = 7.84 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 5 T = 7.15 | (out)(err) |
S = OPTIMUM | O = 5 T = 6.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 = OPTIMUM | O = 5 T = 6.41 | (out)(err) |
S = OPTIMUM | O = 5 T = 1.94 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 89 T = Time Out | (out)(err) |
file_rpms_wcnf_L3_V100_C600_H100_9.wcnf | S = OPTIMUM | O = 9 T = 16.92 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 9 T = 15.75 | (out)(err) |
S = OPTIMUM | O = 9 T = 14.73 | (out)(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 = 9 T = 9.97 | (out)(err) |
S = OPTIMUM | O = 9 T = 9.29 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 141 T = Time Out | (out)(err) |
file_rpms_wcnf_L3_V100_C700_H100_0.wcnf | S = OPTIMUM | O = 18 T = 108.34 | (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 = 25 T = Time Out | (out)(err) |
S = OPTIMUM | O = 18 T = 75.80 | (out)(err) |
S = OPTIMUM | O = 18 T = 72.22 | (out)(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 = 18 T = 91.19 | (out)(err) |
S = OPTIMUM | O = 18 T = 88.80 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 251 T = Time Out | (out)(err) |
file_rpms_wcnf_L3_V100_C700_H100_1.wcnf | S = OPTIMUM | O = 14 T = 136.84 | (out)(err) |
S = N/A | O = 1434 T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 14 T = 84.26 | (out)(err) |
S = OPTIMUM | O = 14 T = 80.99 | (out)(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 = 14 T = 148.73 | (out)(err) |
S = OPTIMUM | O = 14 T = 36.33 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 228 T = Time Out | (out)(err) |
file_rpms_wcnf_L3_V100_C700_H100_2.wcnf | S = OPTIMUM | O = 15 T = 54.35 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 15 T = 39.56 | (out)(err) |
S = OPTIMUM | O = 15 T = 37.99 | (out)(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 = 15 T = 50.93 | (out)(err) |
S = OPTIMUM | O = 15 T = 46.17 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 238 T = Time Out | (out)(err) |
file_rpms_wcnf_L3_V100_C700_H100_3.wcnf | S = OPTIMUM | O = 12 T = 55.58 | (out)(err) |
S = N/A | O = 722 T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 12 T = 39.46 | (out)(err) |
S = OPTIMUM | O = 12 T = 37.58 | (out)(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 = 12 T = 44.30 | (out)(err) |
S = OPTIMUM | O = 12 T = 33.03 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 185 T = Time Out | (out)(err) |
file_rpms_wcnf_L3_V100_C700_H100_4.wcnf | S = OPTIMUM | O = 11 T = 78.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 = 20 T = Time Out | (out)(err) |
S = OPTIMUM | O = 11 T = 51.12 | (out)(err) |
S = OPTIMUM | O = 11 T = 48.78 | (out)(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 = 11 T = 56.84 | (out)(err) |
S = OPTIMUM | O = 11 T = 7.10 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 200 T = Time Out | (out)(err) |
file_rpms_wcnf_L3_V100_C700_H100_5.wcnf | S = OPTIMUM | O = 14 T = 190.54 | (out)(err) |
S = N/A | O = 1433 T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 14 T = 125.20 | (out)(err) |
S = OPTIMUM | O = 14 T = 118.72 | (out)(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 = 14 T = 166.09 | (out)(err) |
S = OPTIMUM | O = 14 T = 41.96 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 221 T = Time Out | (out)(err) |
file_rpms_wcnf_L3_V100_C700_H100_6.wcnf | S = OPTIMUM | O = 12 T = 81.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 = 20 T = Time Out | (out)(err) |
S = OPTIMUM | O = 12 T = 60.16 | (out)(err) |
S = OPTIMUM | O = 12 T = 56.98 | (out)(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 = 12 T = 63.09 | (out)(err) |
S = OPTIMUM | O = 12 T = 27.89 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 217 T = Time Out | (out)(err) |
file_rpms_wcnf_L3_V100_C700_H100_7.wcnf | S = OPTIMUM | O = 17 T = 168.14 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 17 T = 118.73 | (out)(err) |
S = OPTIMUM | O = 17 T = 113.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 = OPTIMUM | O = 17 T = 134.65 | (out)(err) |
S = OPTIMUM | O = 17 T = 115.53 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 225 T = Time Out | (out)(err) |
file_rpms_wcnf_L3_V100_C700_H100_8.wcnf | S = OPTIMUM | O = 16 T = 269.60 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 16 T = 176.69 | (out)(err) |
S = OPTIMUM | O = 16 T = 167.29 | (out)(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 = 16 T = 208.00 | (out)(err) |
S = OPTIMUM | O = 16 T = 178.36 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 227 T = Time Out | (out)(err) |
file_rpms_wcnf_L3_V100_C700_H100_9.wcnf | S = OPTIMUM | O = 12 T = 39.77 | (out)(err) |
S = N/A | O = 732 T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 12 T = 32.20 | (out)(err) |
S = OPTIMUM | O = 12 T = 30.49 | (out)(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 = 12 T = 42.95 | (out)(err) |
S = OPTIMUM | O = 12 T = 10.96 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 203 T = Time Out | (out)(err) |
file_rpms_wcnf_L3_V100_C800_H100_0.wcnf | S = OPTIMUM | O = 21 T = 298.78 | (out)(err) |
S = N/A | O = 837 T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 21 T = 154.49 | (out)(err) |
S = OPTIMUM | O = 21 T = 149.92 | (out)(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 = 21 T = 219.90 | (out)(err) |
S = OPTIMUM | O = 21 T = 145.87 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 324 T = Time Out | (out)(err) |
file_rpms_wcnf_L3_V100_C800_H100_1.wcnf | S = OPTIMUM | O = 21 T = 455.51 | (out)(err) |
S = N/A | O = 8 T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 21 T = 269.46 | (out)(err) |
S = OPTIMUM | O = 21 T = 258.95 | (out)(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 = 21 T = 367.86 | (out)(err) |
S = OPTIMUM | O = 21 T = 194.89 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 305 T = Time Out | (out)(err) |
file_rpms_wcnf_L3_V100_C800_H100_2.wcnf | S = OPTIMUM | O = 20 T = 601.79 | (out)(err) |
S = N/A | O = 836 T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 20 T = 308.72 | (out)(err) |
S = OPTIMUM | O = 20 T = 296.44 | (out)(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 = 20 T = 277.30 | (out)(err) |
S = OPTIMUM | O = 20 T = 249.37 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 300 T = Time Out | (out)(err) |
file_rpms_wcnf_L3_V100_C800_H100_3.wcnf | S = OPTIMUM | O = 22 T = 146.34 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 22 T = 100.75 | (out)(err) |
S = OPTIMUM | O = 22 T = 96.68 | (out)(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 = 22 T = 132.79 | (out)(err) |
S = OPTIMUM | O = 22 T = 119.41 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 281 T = Time Out | (out)(err) |
file_rpms_wcnf_L3_V100_C800_H100_4.wcnf | S = OPTIMUM | O = 18 T = 269.46 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 18 T = 145.35 | (out)(err) |
S = OPTIMUM | O = 18 T = 138.85 | (out)(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 = 18 T = 139.86 | (out)(err) |
S = OPTIMUM | O = 18 T = 98.77 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 282 T = Time Out | (out)(err) |
file_rpms_wcnf_L3_V100_C800_H100_5.wcnf | S = OPTIMUM | O = 20 T = 214.12 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 20 T = 122.48 | (out)(err) |
S = OPTIMUM | O = 20 T = 116.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 = OPTIMUM | O = 20 T = 149.00 | (out)(err) |
S = OPTIMUM | O = 20 T = 113.22 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 302 T = Time Out | (out)(err) |
file_rpms_wcnf_L3_V100_C800_H100_6.wcnf | S = OPTIMUM | O = 17 T = 201.62 | (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 = 37 T = Time Out | (out)(err) |
S = OPTIMUM | O = 17 T = 120.31 | (out)(err) |
S = OPTIMUM | O = 17 T = 114.70 | (out)(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 = 17 T = 137.95 | (out)(err) |
S = OPTIMUM | O = 17 T = 47.19 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 286 T = Time Out | (out)(err) |
file_rpms_wcnf_L3_V100_C800_H100_7.wcnf | S = OPTIMUM | O = 23 T = 384.35 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 23 T = 197.85 | (out)(err) |
S = OPTIMUM | O = 23 T = 191.66 | (out)(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 = 23 T = 216.54 | (out)(err) |
S = OPTIMUM | O = 23 T = 112.52 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 315 T = Time Out | (out)(err) |
file_rpms_wcnf_L3_V100_C800_H100_8.wcnf | S = OPTIMUM | O = 25 T = 1265.49 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (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 = 25 T = 678.07 | (out)(err) |
S = OPTIMUM | O = 25 T = 656.74 | (out)(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 = 25 T = 744.84 | (out)(err) |
S = OPTIMUM | O = 25 T = 700.72 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 288 T = Time Out | (out)(err) |
file_rpms_wcnf_L3_V100_C800_H100_9.wcnf | S = OPTIMUM | O = 20 T = 317.56 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = OPTIMUM | O = 20 T = 189.12 | (out)(err) |
S = OPTIMUM | O = 20 T = 181.66 | (out)(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 = 20 T = 189.68 | (out)(err) |
S = OPTIMUM | O = 20 T = 110.06 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 308 T = Time Out | (out)(err) |
file_rpms_wcnf_L3_V100_C300_H100_0.wcnf | S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.66 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.32 | (out)(err) |
file_rpms_wcnf_L3_V100_C300_H100_1.wcnf | S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.67 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.32 | (out)(err) |
file_rpms_wcnf_L3_V100_C300_H100_2.wcnf | S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.68 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.33 | (out)(err) |
file_rpms_wcnf_L3_V100_C300_H100_3.wcnf | S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.66 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.33 | (out)(err) |
file_rpms_wcnf_L3_V100_C300_H100_4.wcnf | S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.64 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.33 | (out)(err) |
file_rpms_wcnf_L3_V100_C300_H100_5.wcnf | S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.68 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.33 | (out)(err) |
file_rpms_wcnf_L3_V100_C300_H100_6.wcnf | S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.66 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.33 | (out)(err) |
file_rpms_wcnf_L3_V100_C300_H100_7.wcnf | S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.67 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.33 | (out)(err) |
file_rpms_wcnf_L3_V100_C300_H100_8.wcnf | S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.63 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.32 | (out)(err) |
file_rpms_wcnf_L3_V100_C300_H100_9.wcnf | S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.67 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.33 | (out)(err) |
file_rpms_wcnf_L3_V100_C400_H100_0.wcnf | S = OPTIMUM | O = 0 T = 0.06 | (out)(err) |
S = N/A | O = 411 T = Time Out | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 0 T = 1.53 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.09 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.09 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.09 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.22 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 1.51 | (out)(err) |
file_rpms_wcnf_L3_V100_C400_H100_1.wcnf | S = OPTIMUM | O = 0 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.05 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.19 | (out)(err) |
S = OPTIMUM | O = 0 T = 1.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.08 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 1.62 | (out)(err) |
file_rpms_wcnf_L3_V100_C400_H100_2.wcnf | S = OPTIMUM | O = 0 T = 0.05 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.22 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 0 T = 1.60 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.10 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.10 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.10 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.07 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 2.42 | (out)(err) |
file_rpms_wcnf_L3_V100_C400_H100_3.wcnf | S = OPTIMUM | O = 0 T = 0.08 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.28 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 0 T = 2.03 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.14 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.13 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.14 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 1.71 | (out)(err) |
file_rpms_wcnf_L3_V100_C400_H100_4.wcnf | S = OPTIMUM | O = 0 T = 0.05 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.07 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.53 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.85 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.07 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.06 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.06 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.17 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 1.73 | (out)(err) |
file_rpms_wcnf_L3_V100_C400_H100_5.wcnf | S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.36 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.83 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.06 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 2.10 | (out)(err) |
file_rpms_wcnf_L3_V100_C400_H100_6.wcnf | S = OPTIMUM | O = 0 T = 0.03 | (out)(err) |
S = N/A | O = 413 T = Time Out | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.19 | (out)(err) |
S = OPTIMUM | O = 0 T = 1.40 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.10 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.09 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 1.46 | (out)(err) |
file_rpms_wcnf_L3_V100_C400_H100_7.wcnf | S = OPTIMUM | O = 0 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.07 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.66 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.06 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.06 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.06 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.08 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 1.44 | (out)(err) |
file_rpms_wcnf_L3_V100_C400_H100_8.wcnf | S = OPTIMUM | O = 0 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.06 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.27 | (out)(err) |
S = OPTIMUM | O = 0 T = 1.41 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.15 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.05 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 2.95 | (out)(err) |
file_rpms_wcnf_L3_V100_C400_H100_9.wcnf | S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.13 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.87 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.05 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.05 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 2.24 | (out)(err) |
file_rpms_wcnf_L3_V100_C500_H100_0.wcnf | S = OPTIMUM | O = 2 T = 0.43 | (out)(err) |
S = N/A | O = 1012 T = Time Out | (out)(err) |
S = OPTIMUM | O = 2 T = 6.94 | (out)(err) |
S = OPTIMUM | O = 2 T = 222.72 | (out)(err) |
S = OPTIMUM | O = 2 T = 123.30 | (out)(err) |
S = OPTIMUM | O = 2 T = 0.57 | (out)(err) |
S = OPTIMUM | O = 2 T = 0.53 | (out)(err) |
S = OPTIMUM | O = 2 T = 0.54 | (out)(err) |
S = OPTIMUM | O = 2 T = 33.88 | (out)(err) |
S = OPTIMUM | O = 2 T = 1.10 | (out)(err) |
S = OPTIMUM | O = 2 T = 0.30 | (out)(err) |
S = OPTIMUM | O = 2 T = 56.52 | (out)(err) |
S = OPTIMUM | O = 2 T = 629.64 | (out)(err) |
file_rpms_wcnf_L3_V100_C500_H100_1.wcnf | S = OPTIMUM | O = 3 T = 0.75 | (out)(err) |
S = N/A | O = 13 T = Time Out | (out)(err) |
S = OPTIMUM | O = 3 T = 16.85 | (out)(err) |
S = OPTIMUM | O = 3 T = 141.82 | (out)(err) |
S = OPTIMUM | O = 3 T = 64.88 | (out)(err) |
S = OPTIMUM | O = 3 T = 1.02 | (out)(err) |
S = OPTIMUM | O = 3 T = 0.94 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 3 T = 144.27 | (out)(err) |
S = OPTIMUM | O = 3 T = 0.92 | (out)(err) |
S = OPTIMUM | O = 3 T = 0.76 | (out)(err) |
S = OPTIMUM | O = 3 T = 168.79 | (out)(err) |
S = N/A | O = 7 T = Time Out | (out)(err) |
file_rpms_wcnf_L3_V100_C500_H100_2.wcnf | S = OPTIMUM | O = 3 T = 1.34 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 3 T = 66.49 | (out)(err) |
S = OPTIMUM | O = 3 T = 379.95 | (out)(err) |
S = OPTIMUM | O = 3 T = 241.92 | (out)(err) |
S = OPTIMUM | O = 3 T = 1.80 | (out)(err) |
S = OPTIMUM | O = 3 T = 1.67 | (out)(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 = 3 T = 3.33 | (out)(err) |
S = OPTIMUM | O = 3 T = 0.87 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 25 T = Time Out | (out)(err) |
file_rpms_wcnf_L3_V100_C500_H100_3.wcnf | S = OPTIMUM | O = 3 T = 0.65 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 3 T = 93.89 | (out)(err) |
S = OPTIMUM | O = 3 T = 66.57 | (out)(err) |
S = OPTIMUM | O = 3 T = 35.56 | (out)(err) |
S = OPTIMUM | O = 3 T = 0.91 | (out)(err) |
S = OPTIMUM | O = 3 T = 0.85 | (out)(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 = 3 T = 1.49 | (out)(err) |
S = OPTIMUM | O = 3 T = 0.64 | (out)(err) |
S = OPTIMUM | O = 3 T = 408.80 | (out)(err) |
S = OPTIMUM | O = 3 T = 1164.53 | (out)(err) |
file_rpms_wcnf_L3_V100_C500_H100_4.wcnf | S = OPTIMUM | O = 4 T = 6.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 = OPTIMUM | O = 4 T = 470.05 | (out)(err) |
S = OPTIMUM | O = 4 T = 1403.79 | (out)(err) |
S = OPTIMUM | O = 4 T = 7.03 | (out)(err) |
S = OPTIMUM | O = 4 T = 6.59 | (out)(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 = 4 T = 8.97 | (out)(err) |
S = OPTIMUM | O = 4 T = 1.95 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 40 T = Time Out | (out)(err) |
file_rpms_wcnf_L3_V100_C500_H100_5.wcnf | S = OPTIMUM | O = 4 T = 1.96 | (out)(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 = 4 T = 1368.41 | (out)(err) |
S = OPTIMUM | O = 4 T = 1205.55 | (out)(err) |
S = OPTIMUM | O = 4 T = 2.46 | (out)(err) |
S = OPTIMUM | O = 4 T = 2.31 | (out)(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 = 4 T = 8.53 | (out)(err) |
S = OPTIMUM | O = 4 T = 2.29 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 37 T = Time Out | (out)(err) |
file_rpms_wcnf_L3_V100_C500_H100_6.wcnf | S = OPTIMUM | O = 3 T = 0.90 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 3 T = 146.95 | (out)(err) |
S = OPTIMUM | O = 3 T = 66.77 | (out)(err) |
S = OPTIMUM | O = 3 T = 542.14 | (out)(err) |
S = OPTIMUM | O = 3 T = 1.32 | (out)(err) |
S = OPTIMUM | O = 3 T = 1.22 | (out)(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 = 3 T = 2.84 | (out)(err) |
S = OPTIMUM | O = 3 T = 0.64 | (out)(err) |
S = OPTIMUM | O = 3 T = 195.15 | (out)(err) |
S = N/A | O = 32 T = Time Out | (out)(err) |
file_rpms_wcnf_L3_V100_C500_H100_7.wcnf | S = OPTIMUM | O = 3 T = 2.10 | (out)(err) |
S = N/A | O = 10 T = Time Out | (out)(err) |
S = OPTIMUM | O = 3 T = 55.98 | (out)(err) |
S = OPTIMUM | O = 3 T = 791.04 | (out)(err) |
S = OPTIMUM | O = 3 T = 242.71 | (out)(err) |
S = OPTIMUM | O = 3 T = 2.39 | (out)(err) |
S = OPTIMUM | O = 3 T = 2.20 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 3 T = 185.93 | (out)(err) |
S = OPTIMUM | O = 3 T = 4.63 | (out)(err) |
S = OPTIMUM | O = 3 T = 1.01 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 17 T = 1800.00 | (out)(err) |
file_rpms_wcnf_L3_V100_C500_H100_8.wcnf | S = OPTIMUM | O = 2 T = 0.89 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 2 T = 1.99 | (out)(err) |
S = OPTIMUM | O = 2 T = 14.32 | (out)(err) |
S = OPTIMUM | O = 2 T = 11.15 | (out)(err) |
S = OPTIMUM | O = 2 T = 1.21 | (out)(err) |
S = OPTIMUM | O = 2 T = 1.12 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 2 T = 2.07 | (out)(err) |
S = OPTIMUM | O = 2 T = 1.14 | (out)(err) |
S = OPTIMUM | O = 2 T = 0.42 | (out)(err) |
S = OPTIMUM | O = 2 T = 2.72 | (out)(err) |
S = OPTIMUM | O = 2 T = 120.81 | (out)(err) |
file_rpms_wcnf_L3_V100_C500_H100_9.wcnf | S = OPTIMUM | O = 4 T = 1.89 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 4 T = 168.67 | (out)(err) |
S = OPTIMUM | O = 4 T = 488.26 | (out)(err) |
S = OPTIMUM | O = 4 T = 1063.51 | (out)(err) |
S = OPTIMUM | O = 4 T = 2.28 | (out)(err) |
S = OPTIMUM | O = 4 T = 2.15 | (out)(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 = 4 T = 4.67 | (out)(err) |
S = OPTIMUM | O = 4 T = 1.93 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 24 T = Time Out | (out)(err) |