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 | Clone | IUT_BCMB_LSWMaxsatz | IUT_BCMB_WMaxsatz | MSUnCore | SAT4J-Maxsat | WMaxSatz-1.6 | WMaxSatz-2.5 | wbo | wpm1 |
---|---|---|---|---|---|---|---|---|---|
frb10-6-1.wcnf | S = OPTIMUM | O = 50 T = 3.08 | (out)(err) |
S = OPTIMUM | O = 50 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 50 T = 0.14 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 50 T = 5.61 | (out)(err) |
S = OPTIMUM | O = 50 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 50 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 50 T = 31.32 | (out)(err) |
S = N/A | O = N/A T = 311.56 | (out)(err) |
frb10-6-2.wcnf | S = OPTIMUM | O = 50 T = 3.06 | (out)(err) |
S = OPTIMUM | O = 50 T = 0.06 | (out)(err) |
S = OPTIMUM | O = 50 T = 0.14 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 50 T = 4.30 | (out)(err) |
S = OPTIMUM | O = 50 T = 0.06 | (out)(err) |
S = OPTIMUM | O = 50 T = 0.05 | (out)(err) |
S = OPTIMUM | O = 50 T = 26.60 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb10-6-3.wcnf | S = OPTIMUM | O = 50 T = 3.18 | (out)(err) |
S = OPTIMUM | O = 50 T = 0.05 | (out)(err) |
S = OPTIMUM | O = 50 T = 0.14 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 50 T = 5.32 | (out)(err) |
S = OPTIMUM | O = 50 T = 0.06 | (out)(err) |
S = OPTIMUM | O = 50 T = 0.06 | (out)(err) |
S = OPTIMUM | O = 50 T = 510.65 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb10-6-4.wcnf | S = OPTIMUM | O = 50 T = 3.07 | (out)(err) |
S = OPTIMUM | O = 50 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 50 T = 0.14 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 50 T = 3.81 | (out)(err) |
S = OPTIMUM | O = 50 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 50 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 50 T = 3.43 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb15-9-1.wcnf | S = OPTIMUM | O = 120 T = 157.97 | (out)(err) |
S = OPTIMUM | O = 120 T = 45.56 | (out)(err) |
S = OPTIMUM | O = 120 T = 41.30 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 121 T = Time Out | (out)(err) |
S = OPTIMUM | O = 120 T = 49.19 | (out)(err) |
S = OPTIMUM | O = 120 T = 44.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) |
frb15-9-2.wcnf | S = OPTIMUM | O = 120 T = 153.01 | (out)(err) |
S = OPTIMUM | O = 120 T = 43.48 | (out)(err) |
S = OPTIMUM | O = 120 T = 43.73 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 121 T = Time Out | (out)(err) |
S = OPTIMUM | O = 120 T = 47.12 | (out)(err) |
S = OPTIMUM | O = 120 T = 42.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) |
frb15-9-3.wcnf | S = OPTIMUM | O = 120 T = 136.11 | (out)(err) |
S = OPTIMUM | O = 120 T = 39.19 | (out)(err) |
S = OPTIMUM | O = 120 T = 39.13 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 121 T = Time Out | (out)(err) |
S = OPTIMUM | O = 120 T = 42.32 | (out)(err) |
S = OPTIMUM | O = 120 T = 38.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) |
frb15-9-4.wcnf | S = OPTIMUM | O = 120 T = 85.17 | (out)(err) |
S = OPTIMUM | O = 120 T = 42.93 | (out)(err) |
S = OPTIMUM | O = 120 T = 40.52 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 121 T = Time Out | (out)(err) |
S = OPTIMUM | O = 120 T = 46.45 | (out)(err) |
S = OPTIMUM | O = 120 T = 42.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) |
frb15-9-5.wcnf | S = OPTIMUM | O = 120 T = 145.34 | (out)(err) |
S = OPTIMUM | O = 120 T = 29.98 | (out)(err) |
S = OPTIMUM | O = 120 T = 30.25 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 120 T = Time Out | (out)(err) |
S = OPTIMUM | O = 120 T = 32.32 | (out)(err) |
S = OPTIMUM | O = 120 T = 29.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) |
frb20-11-1.wcnf | S = N/A | O = 202 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 202 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb20-11-2.wcnf | S = N/A | O = 202 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 202 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb20-11-3.wcnf | S = N/A | O = 202 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 203 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb20-11-4.wcnf | S = N/A | O = 203 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 202 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb20-11-5.wcnf | S = N/A | O = 203 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 202 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb25-13-1.wcnf | S = N/A | O = 305 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 304 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb25-13-2.wcnf | S = N/A | O = 304 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 303 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb25-13-3.wcnf | S = N/A | O = 307 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 303 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb25-13-4.wcnf | S = N/A | O = 308 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 304 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb25-13-5.wcnf | S = N/A | O = 306 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 304 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb30-15-1.wcnf | S = N/A | O = N/A T = 12.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 = 426 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb30-15-2.wcnf | S = N/A | O = N/A T = 9.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 = 425 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb30-15-3.wcnf | S = N/A | O = N/A T = 10.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 = N/A T = Time Out | (out)(err) |
S = N/A | O = 425 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb30-15-4.wcnf | S = N/A | O = N/A T = 11.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 = 425 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb30-15-5.wcnf | S = N/A | O = N/A T = 11.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 = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 425 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb35-17-1.wcnf | S = N/A | O = N/A T = 17.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 = 567 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb35-17-2.wcnf | S = N/A | O = N/A T = 15.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 = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 567 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb35-17-3.wcnf | S = N/A | O = N/A T = 16.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 = 568 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb35-17-4.wcnf | S = N/A | O = N/A T = 13.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 = N/A | O = N/A T = 563.30 | (out)(err) |
S = N/A | O = 567 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb35-17-5.wcnf | S = N/A | O = N/A T = 16.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 = 568 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb40-19-1.wcnf | S = N/A | O = N/A T = 20.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 = 519.93 | (out)(err) |
S = N/A | O = 728 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb40-19-2.wcnf | S = N/A | O = N/A T = 23.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 = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 733 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb40-19-3.wcnf | S = N/A | O = N/A T = 19.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 = 728 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb40-19-4.wcnf | S = N/A | O = N/A T = 22.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 = 729 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb40-19-5.wcnf | S = N/A | O = N/A T = 22.08 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 728 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
ram_k3_n10.ra1.wcnf | S = OPTIMUM | O = 232 T = 17.08 | (out)(err) |
S = OPTIMUM | O = 232 T = 3.59 | (out)(err) |
S = OPTIMUM | O = 232 T = 3.68 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 232 T = 294.18 | (out)(err) |
S = OPTIMUM | O = 232 T = 3.65 | (out)(err) |
S = OPTIMUM | O = 232 T = 3.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) |
ram_k3_n11.ra1.wcnf | S = OPTIMUM | O = 318 T = 345.32 | (out)(err) |
S = OPTIMUM | O = 318 T = 31.37 | (out)(err) |
S = OPTIMUM | O = 318 T = 20.46 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 318 T = 1595.56 | (out)(err) |
S = OPTIMUM | O = 318 T = 30.78 | (out)(err) |
S = OPTIMUM | O = 318 T = 31.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) |
ram_k3_n12.ra1.wcnf | S = N/A | O = 1378 T = Time Out | (out)(err) |
S = OPTIMUM | O = 524 T = 555.87 | (out)(err) |
S = OPTIMUM | O = 524 T = 258.13 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 45910 T = Time Out | (out)(err) |
S = OPTIMUM | O = 524 T = 579.10 | (out)(err) |
S = OPTIMUM | O = 524 T = 597.89 | (out)(err) |
S = N/A | O = N/A T = 1800.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
ram_k3_n13.ra1.wcnf | S = N/A | O = 2537 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 33025 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
ram_k3_n14.ra1.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 = 36640 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
ram_k3_n15.ra1.wcnf | S = N/A | O = 10539 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 35014 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
ram_k3_n16.ra1.wcnf | S = N/A | O = 13576 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 49364 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
ram_k3_n17.ra1.wcnf | S = N/A | O = 20897 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 56419 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
ram_k3_n18.ra1.wcnf | S = N/A | O = 26865 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 72862 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
ram_k3_n19.ra1.wcnf | S = N/A | O = 35816 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 93184 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
ram_k3_n20.ra1.wcnf | S = N/A | O = 48877 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 108277 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
ram_k3_n4.ra1.wcnf | S = OPTIMUM | O = 0 T = 0.41 | (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.39 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
ram_k3_n5.ra1.wcnf | S = OPTIMUM | O = 0 T = 0.43 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.40 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
ram_k3_n6.ra1.wcnf | S = OPTIMUM | O = 0 T = 0.52 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.41 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
ram_k3_n7.ra1.wcnf | S = OPTIMUM | O = 0 T = 0.79 | (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.42 | (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.00 | (out)(err) |
ram_k3_n8.ra1.wcnf | S = OPTIMUM | O = 0 T = 1.06 | (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.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.50 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
ram_k3_n9.ra1.wcnf | S = OPTIMUM | O = 7 T = 3.48 | (out)(err) |
S = OPTIMUM | O = 7 T = 0.32 | (out)(err) |
S = OPTIMUM | O = 7 T = 0.37 | (out)(err) |
S = OPTIMUM | O = 7 T = 0.59 | (out)(err) |
S = OPTIMUM | O = 7 T = 4.32 | (out)(err) |
S = OPTIMUM | O = 7 T = 0.30 | (out)(err) |
S = OPTIMUM | O = 7 T = 0.33 | (out)(err) |
S = OPTIMUM | O = 7 T = 1.84 | (out)(err) |
S = OPTIMUM | O = 7 T = 0.41 | (out)(err) |
ram_k4_n10.ra1.wcnf | S = OPTIMUM | O = 0 T = 2.60 | (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.00 | (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.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
ram_k4_n11.ra1.wcnf | S = OPTIMUM | O = 0 T = 3.83 | (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.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.65 | (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.00 | (out)(err) |
ram_k4_n12.ra1.wcnf | S = OPTIMUM | O = 0 T = 4.99 | (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.79 | (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) |
ram_k4_n13.ra1.wcnf | S = OPTIMUM | O = 0 T = 6.33 | (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 = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 1.01 | (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.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
ram_k4_n14.ra1.wcnf | S = OPTIMUM | O = 0 T = 8.20 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.06 | (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 = 1.36 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.04 | (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 = 0.02 | (out)(err) |
ram_k4_n15.ra1.wcnf | S = OPTIMUM | O = 0 T = 12.56 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.15 | (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 = 2.30 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.12 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.12 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.02 | (out)(err) |
ram_k4_n16.ra1.wcnf | S = OPTIMUM | O = 0 T = 16.07 | (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.03 | (out)(err) |
S = OPTIMUM | O = 0 T = 3.56 | (out)(err) |
S = OPTIMUM | O = 0 T = 9.06 | (out)(err) |
S = OPTIMUM | O = 0 T = 9.18 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.06 | (out)(err) |
ram_k4_n17.ra1.wcnf | S = OPTIMUM | O = 0 T = 22.44 | (out)(err) |
S = OPTIMUM | O = 0 T = 824.02 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 0 T = 29.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 = 0 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.60 | (out)(err) |
ram_k4_n18.ra1.wcnf | S = N/A | O = 3884 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 62530 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 93.76 | (out)(err) |
ram_k4_n19.ra1.wcnf | S = N/A | O = 7563 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 69671 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
ram_k4_n20.ra1.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 = 284.16 | (out)(err) |
S = N/A | O = 103361 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 121.63 | (out)(err) |
ram_k4_n5.ra1.wcnf | S = N/A | O = N/A T = 0.43 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.41 | (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.00 | (out)(err) |
ram_k4_n6.ra1.wcnf | S = N/A | O = N/A T = 0.51 | (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.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.41 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
ram_k4_n7.ra1.wcnf | S = OPTIMUM | O = 0 T = 0.85 | (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.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.40 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
ram_k4_n8.ra1.wcnf | S = N/A | O = N/A T = 1.43 | (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.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.49 | (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.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
ram_k4_n9.ra1.wcnf | S = OPTIMUM | O = 0 T = 1.95 | (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.57 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
ram_k5_n10.ra1.wcnf | S = OPTIMUM | O = 0 T = 3.94 | (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.63 | (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.00 | (out)(err) |
ram_k5_n11.ra1.wcnf | S = OPTIMUM | O = 0 T = 6.16 | (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.77 | (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) |
ram_k5_n12.ra1.wcnf | S = OPTIMUM | O = 0 T = 9.44 | (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.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 1.01 | (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.01 | (out)(err) |
ram_k5_n13.ra1.wcnf | S = OPTIMUM | O = 0 T = 16.53 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.03 | (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 = 1.21 | (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.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
ram_k5_n14.ra1.wcnf | S = OPTIMUM | O = 0 T = 30.05 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.06 | (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 = 1.44 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.05 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.06 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.03 | (out)(err) |
ram_k5_n15.ra1.wcnf | S = OPTIMUM | O = 0 T = 48.15 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.11 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 0 T = 1.61 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.09 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.10 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.04 | (out)(err) |
ram_k5_n16.ra1.wcnf | S = OPTIMUM | O = 0 T = 80.40 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.31 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.05 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 0 T = 2.06 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.35 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.36 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.05 | (out)(err) |
ram_k5_n17.ra1.wcnf | S = OPTIMUM | O = 0 T = 146.76 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.48 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.07 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.05 | (out)(err) |
S = OPTIMUM | O = 0 T = 2.04 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.86 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.80 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.08 | (out)(err) |
ram_k5_n18.ra1.wcnf | S = N/A | O = N/A T = 35.19 | (out)(err) |
S = OPTIMUM | O = 0 T = 1.08 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.09 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.06 | (out)(err) |
S = OPTIMUM | O = 0 T = 2.43 | (out)(err) |
S = OPTIMUM | O = 0 T = 1.11 | (out)(err) |
S = OPTIMUM | O = 0 T = 1.11 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.11 | (out)(err) |
ram_k5_n19.ra1.wcnf | S = N/A | O = N/A T = 32.05 | (out)(err) |
S = OPTIMUM | O = 0 T = 1.94 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.12 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.09 | (out)(err) |
S = OPTIMUM | O = 0 T = 2.75 | (out)(err) |
S = OPTIMUM | O = 0 T = 7.53 | (out)(err) |
S = OPTIMUM | O = 0 T = 5.41 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.05 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.15 | (out)(err) |
ram_k5_n20.ra1.wcnf | S = N/A | O = N/A T = 11.51 | (out)(err) |
S = OPTIMUM | O = 0 T = 5.44 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.16 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.11 | (out)(err) |
S = OPTIMUM | O = 0 T = 3.13 | (out)(err) |
S = OPTIMUM | O = 0 T = 29.76 | (out)(err) |
S = OPTIMUM | O = 0 T = 21.44 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.08 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.20 | (out)(err) |
ram_k5_n6.ra1.wcnf | S = N/A | O = N/A T = 0.49 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.41 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
ram_k5_n7.ra1.wcnf | S = N/A | O = N/A T = 0.83 | (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.40 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
ram_k5_n8.ra1.wcnf | S = N/A | O = N/A T = 1.50 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.45 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
ram_k5_n9.ra1.wcnf | S = OPTIMUM | O = 0 T = 2.36 | (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.59 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
MANN_a27.clq.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 = 2177 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
MANN_a45.clq.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 = 2223 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
MANN_a81.clq.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 = 2107 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
MANN_a9.clq.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 = 2320 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
brock200_1.clq.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1254 T = 19.35 | (out)(err) |
S = OPTIMUM | O = 1254 T = 17.20 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1406 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1254 T = 29.14 | (out)(err) |
S = OPTIMUM | O = 1254 T = 19.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) |
brock200_2.clq.wcnf | S = OPTIMUM | O = 753 T = 230.92 | (out)(err) |
S = OPTIMUM | O = 753 T = 0.51 | (out)(err) |
S = OPTIMUM | O = 753 T = 0.44 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 844 T = Time Out | (out)(err) |
S = OPTIMUM | O = 753 T = 0.91 | (out)(err) |
S = OPTIMUM | O = 753 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) |
brock200_3.clq.wcnf | S = OPTIMUM | O = 1102 T = 1757.94 | (out)(err) |
S = OPTIMUM | O = 1102 T = 4.88 | (out)(err) |
S = OPTIMUM | O = 1102 T = 4.68 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1275 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1102 T = 9.47 | (out)(err) |
S = OPTIMUM | O = 1102 T = 5.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) |
brock200_4.clq.wcnf | S = N/A | O = 1114 T = 1795.39 | (out)(err) |
S = OPTIMUM | O = 1105 T = 8.36 | (out)(err) |
S = OPTIMUM | O = 1105 T = 6.52 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1250 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1105 T = 13.02 | (out)(err) |
S = OPTIMUM | O = 1105 T = 9.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) |
brock400_1.clq.wcnf | S = N/A | O = 1361 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1361 T = 56.15 | (out)(err) |
S = OPTIMUM | O = 1361 T = 55.84 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1466 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1361 T = 56.55 | (out)(err) |
S = OPTIMUM | O = 1361 T = 54.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) |
brock400_2.clq.wcnf | S = N/A | O = 1358 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1355 T = 46.74 | (out)(err) |
S = OPTIMUM | O = 1355 T = 45.20 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1490 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1355 T = 67.69 | (out)(err) |
S = OPTIMUM | O = 1355 T = 46.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) |
brock400_3.clq.wcnf | S = N/A | O = 1267 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1259 T = 22.39 | (out)(err) |
S = OPTIMUM | O = 1259 T = 16.29 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1394 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1259 T = 31.76 | (out)(err) |
S = OPTIMUM | O = 1259 T = 22.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) |
brock400_4.clq.wcnf | S = N/A | O = 1290 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1290 T = 8.96 | (out)(err) |
S = OPTIMUM | O = 1290 T = 8.49 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1460 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1290 T = 15.11 | (out)(err) |
S = OPTIMUM | O = 1290 T = 9.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) |
brock800_1.clq.wcnf | S = N/A | O = 1088 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1071 T = 5.25 | (out)(err) |
S = OPTIMUM | O = 1071 T = 3.54 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1216 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1071 T = 7.42 | (out)(err) |
S = OPTIMUM | O = 1071 T = 5.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) |
brock800_2.clq.wcnf | S = N/A | O = 1076 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1076 T = 3.69 | (out)(err) |
S = OPTIMUM | O = 1076 T = 3.57 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1254 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1076 T = 5.35 | (out)(err) |
S = OPTIMUM | O = 1076 T = 3.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) |
brock800_3.clq.wcnf | S = N/A | O = 1079 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1079 T = 9.87 | (out)(err) |
S = OPTIMUM | O = 1079 T = 7.95 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1210 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1079 T = 10.93 | (out)(err) |
S = OPTIMUM | O = 1079 T = 11.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) |
brock800_4.clq.wcnf | S = N/A | O = 1050 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1050 T = 7.63 | (out)(err) |
S = OPTIMUM | O = 1050 T = 6.15 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1191 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1050 T = 11.25 | (out)(err) |
S = OPTIMUM | O = 1050 T = 7.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) |
c-fat200-1.clq.wcnf | S = OPTIMUM | O = 14 T = 0.55 | (out)(err) |
S = OPTIMUM | O = 14 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 14 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 14 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 14 T = 0.66 | (out)(err) |
S = OPTIMUM | O = 14 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 14 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 14 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 14 T = 0.01 | (out)(err) |
c-fat200-2.clq.wcnf | S = OPTIMUM | O = 167 T = 0.95 | (out)(err) |
S = OPTIMUM | O = 167 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 167 T = 0.05 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 213 T = Time Out | (out)(err) |
S = OPTIMUM | O = 167 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 167 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 167 T = 0.05 | (out)(err) |
S = OPTIMUM | O = 167 T = 0.38 | (out)(err) |
c-fat200-5.clq.wcnf | S = OPTIMUM | O = 613 T = 6.82 | (out)(err) |
S = OPTIMUM | O = 613 T = 0.36 | (out)(err) |
S = OPTIMUM | O = 613 T = 0.30 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 757 T = Time Out | (out)(err) |
S = OPTIMUM | O = 613 T = 0.62 | (out)(err) |
S = OPTIMUM | O = 613 T = 0.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) |
c-fat500-1.clq.wcnf | S = OPTIMUM | O = 10 T = 0.50 | (out)(err) |
S = OPTIMUM | O = 10 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 10 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 10 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 10 T = 0.44 | (out)(err) |
S = OPTIMUM | O = 10 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 10 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 10 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 10 T = 0.00 | (out)(err) |
c-fat500-10.clq.wcnf | S = N/A | O = 947 T = 1787.25 | (out)(err) |
S = OPTIMUM | O = 947 T = 63.54 | (out)(err) |
S = OPTIMUM | O = 947 T = 61.35 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1042 T = Time Out | (out)(err) |
S = OPTIMUM | O = 947 T = 49.75 | (out)(err) |
S = OPTIMUM | O = 947 T = 61.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) |
c-fat500-2.clq.wcnf | S = OPTIMUM | O = 97 T = 0.54 | (out)(err) |
S = OPTIMUM | O = 97 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 97 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 97 T = 0.06 | (out)(err) |
S = N/A | O = 102 T = Time Out | (out)(err) |
S = OPTIMUM | O = 97 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 97 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 97 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 97 T = 0.12 | (out)(err) |
c-fat500-5.clq.wcnf | S = OPTIMUM | O = 404 T = 2.07 | (out)(err) |
S = OPTIMUM | O = 404 T = 1.57 | (out)(err) |
S = OPTIMUM | O = 404 T = 1.53 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 452 T = Time Out | (out)(err) |
S = OPTIMUM | O = 404 T = 0.84 | (out)(err) |
S = OPTIMUM | O = 404 T = 1.54 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 354.13 | (out)(err) |
hamming10-2.clq.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1929 T = 371.05 | (out)(err) |
S = OPTIMUM | O = 1929 T = 340.70 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2062 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1929 T = 595.33 | (out)(err) |
S = OPTIMUM | O = 1929 T = 366.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) |
hamming10-4.clq.wcnf | S = N/A | O = 1697 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1683 T = 338.25 | (out)(err) |
S = OPTIMUM | O = 1683 T = 295.25 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1811 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1683 T = 382.41 | (out)(err) |
S = OPTIMUM | O = 1683 T = 328.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) |
hamming6-2.clq.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 = 4732 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
hamming6-4.clq.wcnf | S = N/A | O = 1104 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1035 T = 1.14 | (out)(err) |
S = OPTIMUM | O = 1035 T = 1.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1483 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1035 T = 4.73 | (out)(err) |
S = OPTIMUM | O = 1035 T = 1.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) |
hamming8-2.clq.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 = 2329 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
hamming8-4.clq.wcnf | S = N/A | O = 917 T = Time Out | (out)(err) |
S = OPTIMUM | O = 917 T = 0.76 | (out)(err) |
S = OPTIMUM | O = 917 T = 0.60 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1176 T = Time Out | (out)(err) |
S = OPTIMUM | O = 917 T = 1.82 | (out)(err) |
S = OPTIMUM | O = 917 T = 1.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) |
johnson16-2-4.clq.wcnf | S = OPTIMUM | O = 1170 T = 758.66 | (out)(err) |
S = OPTIMUM | O = 1170 T = 0.90 | (out)(err) |
S = OPTIMUM | O = 1170 T = 0.99 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1350 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1170 T = 2.40 | (out)(err) |
S = OPTIMUM | O = 1170 T = 1.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) |
johnson32-2-4.clq.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1788 T = 386.60 | (out)(err) |
S = OPTIMUM | O = 1788 T = 366.67 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1968 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1788 T = 444.54 | (out)(err) |
S = OPTIMUM | O = 1788 T = 375.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) |
johnson8-2-4.clq.wcnf | S = OPTIMUM | O = 392 T = 3.72 | (out)(err) |
S = OPTIMUM | O = 392 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 392 T = 0.08 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 435 T = Time Out | (out)(err) |
S = OPTIMUM | O = 392 T = 0.06 | (out)(err) |
S = OPTIMUM | O = 392 T = 0.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) |
johnson8-4-4.clq.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 = 4759 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
keller4.clq.wcnf | S = OPTIMUM | O = 1133 T = 437.91 | (out)(err) |
S = OPTIMUM | O = 1133 T = 0.55 | (out)(err) |
S = OPTIMUM | O = 1133 T = 0.59 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1335 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1133 T = 2.02 | (out)(err) |
S = OPTIMUM | O = 1133 T = 0.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) |
keller5.clq.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1383 T = 31.47 | (out)(err) |
S = OPTIMUM | O = 1383 T = 30.71 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1540 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1383 T = 49.95 | (out)(err) |
S = OPTIMUM | O = 1383 T = 30.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) |
p_hat1000-1.clq.wcnf | S = OPTIMUM | O = 248 T = 2.07 | (out)(err) |
S = OPTIMUM | O = 248 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 248 T = 0.07 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 323 T = Time Out | (out)(err) |
S = OPTIMUM | O = 248 T = 0.05 | (out)(err) |
S = OPTIMUM | O = 248 T = 0.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) |
p_hat1000-2.clq.wcnf | S = OPTIMUM | O = 752 T = 29.36 | (out)(err) |
S = OPTIMUM | O = 752 T = 0.70 | (out)(err) |
S = OPTIMUM | O = 752 T = 0.60 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 802 T = Time Out | (out)(err) |
S = OPTIMUM | O = 752 T = 0.86 | (out)(err) |
S = OPTIMUM | O = 752 T = 0.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) |
p_hat1000-3.clq.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1251 T = 14.84 | (out)(err) |
S = OPTIMUM | O = 1251 T = 11.86 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1424 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1251 T = 18.09 | (out)(err) |
S = OPTIMUM | O = 1251 T = 15.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) |
p_hat300-1.clq.wcnf | S = OPTIMUM | O = 243 T = 2.26 | (out)(err) |
S = OPTIMUM | O = 243 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 243 T = 0.08 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 295 T = Time Out | (out)(err) |
S = OPTIMUM | O = 243 T = 0.05 | (out)(err) |
S = OPTIMUM | O = 243 T = 0.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) |
p_hat300-2.clq.wcnf | S = OPTIMUM | O = 711 T = 43.96 | (out)(err) |
S = OPTIMUM | O = 711 T = 0.26 | (out)(err) |
S = OPTIMUM | O = 711 T = 0.32 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 850 T = Time Out | (out)(err) |
S = OPTIMUM | O = 711 T = 0.46 | (out)(err) |
S = OPTIMUM | O = 711 T = 0.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) |
p_hat300-3.clq.wcnf | S = N/A | O = 1458 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1439 T = 35.01 | (out)(err) |
S = OPTIMUM | O = 1439 T = 33.43 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1615 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1439 T = 43.69 | (out)(err) |
S = OPTIMUM | O = 1439 T = 35.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) |
p_hat500-1.clq.wcnf | S = OPTIMUM | O = 395 T = 4.59 | (out)(err) |
S = OPTIMUM | O = 395 T = 0.07 | (out)(err) |
S = OPTIMUM | O = 395 T = 0.11 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 496 T = Time Out | (out)(err) |
S = OPTIMUM | O = 395 T = 0.09 | (out)(err) |
S = OPTIMUM | O = 395 T = 0.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) |
p_hat500-2.clq.wcnf | S = OPTIMUM | O = 931 T = 369.86 | (out)(err) |
S = OPTIMUM | O = 931 T = 1.86 | (out)(err) |
S = OPTIMUM | O = 931 T = 1.84 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1006 T = Time Out | (out)(err) |
S = OPTIMUM | O = 931 T = 2.84 | (out)(err) |
S = OPTIMUM | O = 931 T = 1.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) |
p_hat500-3.clq.wcnf | S = N/A | O = 1519 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1501 T = 53.64 | (out)(err) |
S = OPTIMUM | O = 1501 T = 51.56 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1674 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1501 T = 65.83 | (out)(err) |
S = OPTIMUM | O = 1501 T = 67.02 | (out)(err) |
S = N/A | O = N/A T = 1800.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
p_hat700-1.clq.wcnf | S = OPTIMUM | O = 329 T = 3.04 | (out)(err) |
S = OPTIMUM | O = 329 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 329 T = 0.08 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 390 T = Time Out | (out)(err) |
S = OPTIMUM | O = 329 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 329 T = 0.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) |
p_hat700-2.clq.wcnf | S = OPTIMUM | O = 834 T = 45.51 | (out)(err) |
S = OPTIMUM | O = 834 T = 1.13 | (out)(err) |
S = OPTIMUM | O = 834 T = 0.91 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 905 T = Time Out | (out)(err) |
S = OPTIMUM | O = 834 T = 1.66 | (out)(err) |
S = OPTIMUM | O = 834 T = 1.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) |
p_hat700-3.clq.wcnf | S = N/A | O = 1432 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1432 T = 58.24 | (out)(err) |
S = OPTIMUM | O = 1432 T = 49.32 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1598 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1432 T = 64.49 | (out)(err) |
S = OPTIMUM | O = 1432 T = 60.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) |
san1000.clq.wcnf | S = OPTIMUM | O = 744 T = 224.87 | (out)(err) |
S = OPTIMUM | O = 744 T = 0.49 | (out)(err) |
S = OPTIMUM | O = 744 T = 0.47 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 839 T = Time Out | (out)(err) |
S = OPTIMUM | O = 744 T = 0.91 | (out)(err) |
S = OPTIMUM | O = 744 T = 0.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) |
san200_0.7_1.clq.wcnf | S = N/A | O = 1256 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1256 T = 27.16 | (out)(err) |
S = OPTIMUM | O = 1256 T = 22.51 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1386 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1256 T = 31.32 | (out)(err) |
S = OPTIMUM | O = 1256 T = 26.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) |
san200_0.7_2.clq.wcnf | S = N/A | O = 1243 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1243 T = 12.71 | (out)(err) |
S = OPTIMUM | O = 1243 T = 10.08 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1398 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1243 T = 14.63 | (out)(err) |
S = OPTIMUM | O = 1243 T = 12.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) |
san200_0.9_1.clq.wcnf | S = N/A | O = 1673 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1672 T = 839.95 | (out)(err) |
S = OPTIMUM | O = 1672 T = 775.91 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1774 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1672 T = 888.37 | (out)(err) |
S = OPTIMUM | O = 1672 T = 822.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) |
san200_0.9_2.clq.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1647 T = 202.89 | (out)(err) |
S = OPTIMUM | O = 1647 T = 182.67 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1786 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1647 T = 218.52 | (out)(err) |
S = OPTIMUM | O = 1647 T = 206.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) |
san200_0.9_3.clq.wcnf | S = N/A | O = 1686 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1670 T = 325.82 | (out)(err) |
S = OPTIMUM | O = 1670 T = 264.49 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1804 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1670 T = 264.76 | (out)(err) |
S = OPTIMUM | O = 1670 T = 337.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) |
san400_0.5_1.clq.wcnf | S = OPTIMUM | O = 718 T = 16.70 | (out)(err) |
S = OPTIMUM | O = 718 T = 0.19 | (out)(err) |
S = OPTIMUM | O = 718 T = 0.21 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 941 T = Time Out | (out)(err) |
S = OPTIMUM | O = 718 T = 0.48 | (out)(err) |
S = OPTIMUM | O = 718 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) |
san400_0.7_1.clq.wcnf | S = N/A | O = 1258 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1258 T = 36.56 | (out)(err) |
S = OPTIMUM | O = 1258 T = 30.98 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1359 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1258 T = 38.02 | (out)(err) |
S = OPTIMUM | O = 1258 T = 36.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) |
san400_0.7_2.clq.wcnf | S = N/A | O = 1237 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1237 T = 14.01 | (out)(err) |
S = OPTIMUM | O = 1237 T = 13.02 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1357 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1237 T = 23.91 | (out)(err) |
S = OPTIMUM | O = 1237 T = 22.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) |
san400_0.7_3.clq.wcnf | S = N/A | O = 1201 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1201 T = 8.82 | (out)(err) |
S = OPTIMUM | O = 1201 T = 8.18 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1377 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1201 T = 12.02 | (out)(err) |
S = OPTIMUM | O = 1201 T = 8.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) |
san400_0.9_1.clq.wcnf | S = N/A | O = 1607 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1604 T = 372.63 | (out)(err) |
S = OPTIMUM | O = 1604 T = 363.18 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1745 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1604 T = 398.17 | (out)(err) |
S = OPTIMUM | O = 1604 T = 361.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) |
sanr200_0.7.clq.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1171 T = 5.87 | (out)(err) |
S = OPTIMUM | O = 1171 T = 5.91 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1343 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1171 T = 12.29 | (out)(err) |
S = OPTIMUM | O = 1171 T = 5.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) |
sanr200_0.9.clq.wcnf | S = N/A | O = 1621 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1610 T = 335.30 | (out)(err) |
S = OPTIMUM | O = 1610 T = 324.03 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1747 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1610 T = 402.55 | (out)(err) |
S = OPTIMUM | O = 1610 T = 328.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) |
sanr400_0.5.clq.wcnf | S = OPTIMUM | O = 763 T = 211.55 | (out)(err) |
S = OPTIMUM | O = 763 T = 0.51 | (out)(err) |
S = OPTIMUM | O = 763 T = 0.42 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 907 T = Time Out | (out)(err) |
S = OPTIMUM | O = 763 T = 0.97 | (out)(err) |
S = OPTIMUM | O = 763 T = 0.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) |
sanr400_0.7.clq.wcnf | S = N/A | O = 1198 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1198 T = 10.55 | (out)(err) |
S = OPTIMUM | O = 1198 T = 7.46 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1350 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1198 T = 11.60 | (out)(err) |
S = OPTIMUM | O = 1198 T = 10.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) |
t3g3-5555.spn.wcnf | S = OPTIMUM | O = 1100610 T = 1.31 | (out)(err) |
S = OPTIMUM | O = 1100610 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 1100610 T = 0.04 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1188505 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1100610 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 1100610 T = 0.01 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 1796.86 | (out)(err) |
t4g3-6666.spn.wcnf | S = OPTIMUM | O = 2275606 T = 4.73 | (out)(err) |
S = OPTIMUM | O = 2275606 T = 0.09 | (out)(err) |
S = OPTIMUM | O = 2275606 T = 0.14 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3111368 T = Time Out | (out)(err) |
S = OPTIMUM | O = 2275606 T = 0.23 | (out)(err) |
S = OPTIMUM | O = 2275606 T = 0.13 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 1794.65 | (out)(err) |
t5g3-7777.spn.wcnf | S = N/A | O = 5220503 T = Time Out | (out)(err) |
S = OPTIMUM | O = 4241951 T = 7.89 | (out)(err) |
S = OPTIMUM | O = 4241951 T = 1.39 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 5056683 T = Time Out | (out)(err) |
S = OPTIMUM | O = 4241951 T = 8.64 | (out)(err) |
S = OPTIMUM | O = 4241951 T = 4.76 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 1796.30 | (out)(err) |
t6g3-8888.spn.wcnf | S = N/A | O = 9602293 T = Time Out | (out)(err) |
S = OPTIMUM | O = 7844119 T = 204.92 | (out)(err) |
S = OPTIMUM | O = 7844119 T = 131.15 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 10621927 T = Time Out | (out)(err) |
S = OPTIMUM | O = 7844119 T = 298.99 | (out)(err) |
S = OPTIMUM | O = 7844119 T = 209.46 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 1795.16 | (out)(err) |
t7g3-9999.spn.wcnf | S = N/A | O = 17505135 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 15917405 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 1792.40 | (out)(err) |