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 | SAT4J-MAXSAT-2.2.0 | WMaxSatz+ | WMaxSatz-2009 | WMaxsat_Power | WPM1 | WPM2 | akmaxsat | akmaxsat_ls | wbo-1.4a-wcnf |
---|---|---|---|---|---|---|---|---|---|---|---|
ram_k3_n10.ra1.wcnf | S = OPTIMUM | O = 232 T = 2.73 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 232 T = 31.47 | (out)(err) |
S = OPTIMUM | O = 232 T = 3.54 | (out)(err) |
S = OPTIMUM | O = 232 T = 3.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 = OPTIMUM | O = 232 T = 356.48 | (out)(err) |
S = OPTIMUM | O = 232 T = 10.52 | (out)(err) |
S = OPTIMUM | O = 232 T = 9.55 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
ram_k3_n11.ra1.wcnf | S = OPTIMUM | O = 318 T = 21.13 | (out)(err) |
S = N/A | O = 3918 T = Time Out | (out)(err) |
S = OPTIMUM | O = 318 T = 56.10 | (out)(err) |
S = OPTIMUM | O = 318 T = 30.68 | (out)(err) |
S = OPTIMUM | O = 318 T = 30.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 = OPTIMUM | O = 318 T = 107.86 | (out)(err) |
S = OPTIMUM | O = 318 T = 65.59 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
ram_k3_n12.ra1.wcnf | S = OPTIMUM | O = 524 T = 222.36 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 524 T = 555.11 | (out)(err) |
S = OPTIMUM | O = 524 T = 575.48 | (out)(err) |
S = OPTIMUM | O = 524 T = 570.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 = OPTIMUM | O = 524 T = 450.61 | (out)(err) |
S = OPTIMUM | O = 524 T = 370.83 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
ram_k3_n13.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 = 2179 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2353 T = Time Out | (out)(err) |
S = N/A | O = 1453 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 = 13602 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 7491 T = Time Out | (out)(err) |
S = N/A | O = 3171 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 = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 17566 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 10291 T = Time Out | (out)(err) |
S = N/A | O = 4884 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 = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 24343 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 19325 T = Time Out | (out)(err) |
S = N/A | O = 7849 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 = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 32233 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 25114 T = Time Out | (out)(err) |
S = N/A | O = 10554 T = Time Out | (out)(err) |
S = N/A | O = N/A T = 1800.00 | (out)(err) |
ram_k3_n18.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 = 41007 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 36066 T = Time Out | (out)(err) |
S = N/A | O = 16166 T = Time Out | (out)(err) |
S = N/A | O = N/A T = 1800.00 | (out)(err) |
ram_k3_n19.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 = 48122 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 44736 T = Time Out | (out)(err) |
S = N/A | O = 21705 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 = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 61918 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 56899 T = Time Out | (out)(err) |
S = N/A | O = 24822 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.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (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.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.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
ram_k3_n5.ra1.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.61 | (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.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) |
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.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.62 | (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.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.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.60 | (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) |
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_k3_n8.ra1.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.65 | (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.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 = 0.26 | (out)(err) |
S = OPTIMUM | O = 7 T = 0.33 | (out)(err) |
S = OPTIMUM | O = 7 T = 5.93 | (out)(err) |
S = OPTIMUM | O = 7 T = 0.32 | (out)(err) |
S = OPTIMUM | O = 7 T = 0.32 | (out)(err) |
S = OPTIMUM | O = 7 T = 0.33 | (out)(err) |
S = OPTIMUM | O = 7 T = 0.33 | (out)(err) |
S = OPTIMUM | O = 7 T = 0.28 | (out)(err) |
S = OPTIMUM | O = 7 T = 0.43 | (out)(err) |
S = OPTIMUM | O = 7 T = 0.49 | (out)(err) |
S = OPTIMUM | O = 7 T = 1.83 | (out)(err) |
ram_k4_n10.ra1.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.71 | (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.00 | (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 = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.80 | (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.01 | (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 = 0.00 | (out)(err) |
ram_k4_n12.ra1.wcnf | S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.87 | (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.01 | (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 = 0.00 | (out)(err) |
ram_k4_n13.ra1.wcnf | S = OPTIMUM | O = 0 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.07 | (out)(err) |
S = OPTIMUM | O = 0 T = 1.32 | (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.03 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.04 | (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) |
ram_k4_n14.ra1.wcnf | S = OPTIMUM | O = 0 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.08 | (out)(err) |
S = OPTIMUM | O = 0 T = 1.73 | (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.05 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.02 | (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 = 0.02 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
ram_k4_n15.ra1.wcnf | S = OPTIMUM | O = 0 T = 0.07 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.16 | (out)(err) |
S = OPTIMUM | O = 0 T = 3.39 | (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.13 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.06 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.16 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
ram_k4_n16.ra1.wcnf | S = OPTIMUM | O = 0 T = 4.75 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 0 T = 5.93 | (out)(err) |
S = OPTIMUM | O = 0 T = 8.95 | (out)(err) |
S = OPTIMUM | O = 0 T = 8.95 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 0 T = 0.07 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.09 | (out)(err) |
S = OPTIMUM | O = 0 T = 6.75 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.09 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.03 | (out)(err) |
ram_k4_n17.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 = OPTIMUM | O = 0 T = 7.23 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 0 T = 0.07 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.11 | (out)(err) |
S = N/A | O = 512 T = Time Out | (out)(err) |
S = OPTIMUM | O = 0 T = 0.65 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.04 | (out)(err) |
ram_k4_n18.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 = 51516 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2259 T = Time Out | (out)(err) |
S = N/A | O = 750 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
ram_k4_n19.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 = 57255 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 9085 T = Time Out | (out)(err) |
S = N/A | O = 2109 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 = 73285 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 12781 T = Time Out | (out)(err) |
S = N/A | O = 4414 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
ram_k4_n5.ra1.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.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.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) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
ram_k4_n6.ra1.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.62 | (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.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.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
ram_k4_n7.ra1.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.60 | (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.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 = 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.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 = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.68 | (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.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 = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.72 | (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.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
ram_k5_n11.ra1.wcnf | S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.86 | (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.01 | (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 = 0.00 | (out)(err) |
ram_k5_n12.ra1.wcnf | S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 0 T = 1.22 | (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.01 | (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 = 0.00 | (out)(err) |
ram_k5_n13.ra1.wcnf | S = OPTIMUM | O = 0 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 0 T = 1.48 | (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.03 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.05 | (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) |
ram_k5_n14.ra1.wcnf | S = OPTIMUM | O = 0 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.06 | (out)(err) |
S = OPTIMUM | O = 0 T = 1.76 | (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.06 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.07 | (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.01 | (out)(err) |
ram_k5_n15.ra1.wcnf | S = OPTIMUM | O = 0 T = 0.06 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.10 | (out)(err) |
S = OPTIMUM | O = 0 T = 1.70 | (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.10 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.05 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.11 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.06 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
ram_k5_n16.ra1.wcnf | S = OPTIMUM | O = 0 T = 0.22 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.31 | (out)(err) |
S = OPTIMUM | O = 0 T = 2.32 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.37 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.36 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.35 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.07 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.16 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.12 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.06 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
ram_k5_n17.ra1.wcnf | S = OPTIMUM | O = 0 T = 0.59 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 0 T = 2.40 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.99 | (out)(err) |
S = OPTIMUM | O = 0 T = 1.27 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 0 T = 0.11 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.22 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.22 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.09 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.03 | (out)(err) |
ram_k5_n18.ra1.wcnf | S = OPTIMUM | O = 0 T = 0.90 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 0 T = 3.13 | (out)(err) |
S = OPTIMUM | O = 0 T = 1.16 | (out)(err) |
S = OPTIMUM | O = 0 T = 1.08 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 0 T = 0.15 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.30 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.32 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.12 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.03 | (out)(err) |
ram_k5_n19.ra1.wcnf | S = OPTIMUM | O = 0 T = 3.44 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 0 T = 3.48 | (out)(err) |
S = OPTIMUM | O = 0 T = 7.14 | (out)(err) |
S = OPTIMUM | O = 0 T = 7.63 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 0 T = 0.20 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.40 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.72 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.15 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.04 | (out)(err) |
ram_k5_n20.ra1.wcnf | S = OPTIMUM | O = 0 T = 13.12 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 0 T = 3.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 = OPTIMUM | O = 0 T = 0.26 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.55 | (out)(err) |
S = OPTIMUM | O = 0 T = 1.36 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.21 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.08 | (out)(err) |
ram_k5_n6.ra1.wcnf | S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.60 | (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) |
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_k5_n7.ra1.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.62 | (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.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) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
ram_k5_n8.ra1.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.64 | (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.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.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
ram_k5_n9.ra1.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.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.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 = 2183 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 2049 T = 814.62 | (out)(err) |
S = OPTIMUM | O = 2049 T = 705.65 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
MANN_a45.clq.wcnf | S = OPTIMUM | O = 2057 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2153 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 2057 T = 483.78 | (out)(err) |
S = OPTIMUM | O = 2057 T = 446.27 | (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 = 2065 T = Time Out | (out)(err) |
S = N/A | O = 2065 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 1995 T = 522.09 | (out)(err) |
S = OPTIMUM | O = 1995 T = 520.19 | (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 = 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) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 2179 T = 717.15 | (out)(err) |
S = OPTIMUM | O = 2179 T = 587.12 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
brock200_1.clq.wcnf | S = OPTIMUM | O = 1254 T = 16.40 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1408 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1254 T = 18.00 | (out)(err) |
S = OPTIMUM | O = 1254 T = 18.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 = OPTIMUM | O = 1254 T = 5.03 | (out)(err) |
S = OPTIMUM | O = 1254 T = 3.38 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
brock200_2.clq.wcnf | S = OPTIMUM | O = 753 T = 0.53 | (out)(err) |
S = N/A | O = 842 T = Time Out | (out)(err) |
S = N/A | O = 838 T = Time Out | (out)(err) |
S = OPTIMUM | O = 753 T = 0.52 | (out)(err) |
S = OPTIMUM | O = 753 T = 0.54 | (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) |
S = OPTIMUM | O = 753 T = 0.18 | (out)(err) |
S = OPTIMUM | O = 753 T = 0.20 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
brock200_3.clq.wcnf | S = OPTIMUM | O = 1102 T = 4.88 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1213 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1102 T = 5.33 | (out)(err) |
S = OPTIMUM | O = 1102 T = 5.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 = OPTIMUM | O = 1102 T = 1.13 | (out)(err) |
S = OPTIMUM | O = 1102 T = 1.07 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
brock200_4.clq.wcnf | S = OPTIMUM | O = 1105 T = 6.64 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1227 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1105 T = 8.63 | (out)(err) |
S = OPTIMUM | O = 1105 T = 8.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 = OPTIMUM | O = 1105 T = 2.10 | (out)(err) |
S = OPTIMUM | O = 1105 T = 1.53 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
brock400_1.clq.wcnf | S = OPTIMUM | O = 1361 T = 35.28 | (out)(err) |
S = N/A | O = 1440 T = Time Out | (out)(err) |
S = N/A | O = 1502 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1361 T = 51.87 | (out)(err) |
S = OPTIMUM | O = 1361 T = 52.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 = OPTIMUM | O = 1361 T = 14.23 | (out)(err) |
S = OPTIMUM | O = 1361 T = 12.16 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
brock400_2.clq.wcnf | S = OPTIMUM | O = 1355 T = 39.47 | (out)(err) |
S = N/A | O = 1435 T = Time Out | (out)(err) |
S = N/A | O = 1498 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1355 T = 44.21 | (out)(err) |
S = OPTIMUM | O = 1355 T = 44.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 = OPTIMUM | O = 1355 T = 9.62 | (out)(err) |
S = OPTIMUM | O = 1355 T = 8.95 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
brock400_3.clq.wcnf | S = OPTIMUM | O = 1259 T = 16.18 | (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 = 20.17 | (out)(err) |
S = OPTIMUM | O = 1259 T = 21.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 = OPTIMUM | O = 1259 T = 5.20 | (out)(err) |
S = OPTIMUM | O = 1259 T = 3.68 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
brock400_4.clq.wcnf | S = OPTIMUM | O = 1290 T = 7.85 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1462 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1290 T = 8.86 | (out)(err) |
S = OPTIMUM | O = 1290 T = 8.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 = OPTIMUM | O = 1290 T = 2.41 | (out)(err) |
S = OPTIMUM | O = 1290 T = 2.06 | (out)(err) |
S = N/A | O = N/A T = 1800.00 | (out)(err) |
brock800_1.clq.wcnf | S = OPTIMUM | O = 1071 T = 3.66 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1232 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1071 T = 4.78 | (out)(err) |
S = OPTIMUM | O = 1071 T = 4.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 = OPTIMUM | O = 1071 T = 1.51 | (out)(err) |
S = OPTIMUM | O = 1071 T = 1.06 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
brock800_2.clq.wcnf | S = OPTIMUM | O = 1076 T = 2.82 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1180 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1076 T = 3.49 | (out)(err) |
S = OPTIMUM | O = 1076 T = 3.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 = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1076 T = 1.31 | (out)(err) |
S = OPTIMUM | O = 1076 T = 0.99 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
brock800_3.clq.wcnf | S = OPTIMUM | O = 1079 T = 5.80 | (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.64 | (out)(err) |
S = OPTIMUM | O = 1079 T = 10.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 = OPTIMUM | O = 1079 T = 1.56 | (out)(err) |
S = OPTIMUM | O = 1079 T = 1.54 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
brock800_4.clq.wcnf | S = OPTIMUM | O = 1050 T = 6.46 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1168 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1050 T = 7.51 | (out)(err) |
S = OPTIMUM | O = 1050 T = 7.54 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1050 T = 1.38 | (out)(err) |
S = OPTIMUM | O = 1050 T = 1.06 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
c-fat200-1.clq.wcnf | S = OPTIMUM | O = 14 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 14 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 14 T = 0.87 | (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) |
S = OPTIMUM | O = 14 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 14 T = 0.05 | (out)(err) |
S = OPTIMUM | O = 14 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 14 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 14 T = 0.00 | (out)(err) |
c-fat200-2.clq.wcnf | S = OPTIMUM | O = 167 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 167 T = 0.01 | (out)(err) |
S = N/A | O = 187 T = Time Out | (out)(err) |
S = OPTIMUM | O = 167 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 167 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 167 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 167 T = 0.34 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 167 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 167 T = 0.05 | (out)(err) |
S = OPTIMUM | O = 167 T = 0.05 | (out)(err) |
c-fat200-5.clq.wcnf | S = OPTIMUM | O = 613 T = 0.29 | (out)(err) |
S = OPTIMUM | O = 613 T = 0.47 | (out)(err) |
S = N/A | O = 715 T = Time Out | (out)(err) |
S = OPTIMUM | O = 613 T = 0.43 | (out)(err) |
S = OPTIMUM | O = 613 T = 0.46 | (out)(err) |
S = OPTIMUM | O = 613 T = 0.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 = 613 T = 0.17 | (out)(err) |
S = OPTIMUM | O = 613 T = 0.16 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
c-fat500-1.clq.wcnf | S = OPTIMUM | O = 10 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 10 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 10 T = 0.64 | (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) |
S = OPTIMUM | O = 10 T = 0.01 | (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) |
c-fat500-10.clq.wcnf | S = OPTIMUM | O = 947 T = 41.08 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1039 T = Time Out | (out)(err) |
S = OPTIMUM | O = 947 T = 57.80 | (out)(err) |
S = OPTIMUM | O = 947 T = 59.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 = OPTIMUM | O = 947 T = 10.70 | (out)(err) |
S = OPTIMUM | O = 947 T = 10.27 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
c-fat500-2.clq.wcnf | S = OPTIMUM | O = 97 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 97 T = 0.01 | (out)(err) |
S = N/A | O = 97 T = Time Out | (out)(err) |
S = OPTIMUM | O = 97 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 97 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 97 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 97 T = 0.11 | (out)(err) |
S = OPTIMUM | O = 97 T = 0.62 | (out)(err) |
S = OPTIMUM | O = 97 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 97 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 97 T = 0.02 | (out)(err) |
c-fat500-5.clq.wcnf | S = OPTIMUM | O = 404 T = 0.57 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 450 T = Time Out | (out)(err) |
S = OPTIMUM | O = 404 T = 1.47 | (out)(err) |
S = OPTIMUM | O = 404 T = 1.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 = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 404 T = 0.31 | (out)(err) |
S = OPTIMUM | O = 404 T = 0.31 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
hamming10-2.clq.wcnf | S = OPTIMUM | O = 1929 T = 304.65 | (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 = 351.12 | (out)(err) |
S = OPTIMUM | O = 1929 T = 357.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 = OPTIMUM | O = 1929 T = 88.41 | (out)(err) |
S = OPTIMUM | O = 1929 T = 82.66 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
hamming10-4.clq.wcnf | S = OPTIMUM | O = 1683 T = 267.89 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1812 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1683 T = 316.46 | (out)(err) |
S = OPTIMUM | O = 1683 T = 318.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 = OPTIMUM | O = 1683 T = 77.71 | (out)(err) |
S = OPTIMUM | O = 1683 T = 61.96 | (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 = 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) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4462 T = Time Out | (out)(err) |
S = N/A | O = 4391 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
hamming6-4.clq.wcnf | S = OPTIMUM | O = 1035 T = 2.52 | (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 = 1.56 | (out)(err) |
S = OPTIMUM | O = 1035 T = 1.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 = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1035 T = 1.05 | (out)(err) |
S = OPTIMUM | O = 1035 T = 0.39 | (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 = 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) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2213 T = Time Out | (out)(err) |
S = OPTIMUM | O = 2213 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
hamming8-4.clq.wcnf | S = OPTIMUM | O = 917 T = 1.02 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1050 T = Time Out | (out)(err) |
S = OPTIMUM | O = 917 T = 1.15 | (out)(err) |
S = OPTIMUM | O = 917 T = 1.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 = OPTIMUM | O = 917 T = 0.29 | (out)(err) |
S = OPTIMUM | O = 917 T = 0.20 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
johnson16-2-4.clq.wcnf | S = OPTIMUM | O = 1170 T = 1.21 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1320 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1170 T = 1.00 | (out)(err) |
S = OPTIMUM | O = 1170 T = 1.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 = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1170 T = 0.49 | (out)(err) |
S = OPTIMUM | O = 1170 T = 0.33 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
johnson32-2-4.clq.wcnf | S = OPTIMUM | O = 1788 T = 395.29 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1903 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1788 T = 360.89 | (out)(err) |
S = OPTIMUM | O = 1788 T = 365.23 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1788 T = 86.19 | (out)(err) |
S = OPTIMUM | O = 1788 T = 67.92 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
johnson8-2-4.clq.wcnf | S = OPTIMUM | O = 392 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 392 T = 0.03 | (out)(err) |
S = N/A | O = 392 T = Time Out | (out)(err) |
S = OPTIMUM | O = 392 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 392 T = 0.03 | (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) |
S = OPTIMUM | O = 392 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 392 T = 0.07 | (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 = 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) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4234 T = Time Out | (out)(err) |
S = N/A | O = 4154 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
keller4.clq.wcnf | S = OPTIMUM | O = 1133 T = 0.87 | (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 = 0.77 | (out)(err) |
S = OPTIMUM | O = 1133 T = 0.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 = OPTIMUM | O = 1133 T = 0.18 | (out)(err) |
S = OPTIMUM | O = 1133 T = 0.21 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
keller5.clq.wcnf | S = OPTIMUM | O = 1383 T = 24.04 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1543 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1383 T = 29.69 | (out)(err) |
S = OPTIMUM | O = 1383 T = 29.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 = OPTIMUM | O = 1383 T = 6.34 | (out)(err) |
S = OPTIMUM | O = 1383 T = 6.09 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
p_hat1000-1.clq.wcnf | S = OPTIMUM | O = 248 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 248 T = 0.03 | (out)(err) |
S = N/A | O = 255 T = Time Out | (out)(err) |
S = OPTIMUM | O = 248 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 248 T = 0.02 | (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) |
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) |
p_hat1000-2.clq.wcnf | S = OPTIMUM | O = 752 T = 0.49 | (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.70 | (out)(err) |
S = OPTIMUM | O = 752 T = 0.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 = OPTIMUM | O = 752 T = 0.21 | (out)(err) |
S = OPTIMUM | O = 752 T = 0.25 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
p_hat1000-3.clq.wcnf | S = OPTIMUM | O = 1251 T = 10.43 | (out)(err) |
S = N/A | O = 137 T = Time Out | (out)(err) |
S = N/A | O = 1408 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1251 T = 14.64 | (out)(err) |
S = OPTIMUM | O = 1251 T = 14.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 = OPTIMUM | O = 1251 T = 2.93 | (out)(err) |
S = OPTIMUM | O = 1251 T = 2.62 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
p_hat300-1.clq.wcnf | S = OPTIMUM | O = 243 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 243 T = 0.04 | (out)(err) |
S = N/A | O = 245 T = Time Out | (out)(err) |
S = OPTIMUM | O = 243 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 243 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 243 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) |
S = OPTIMUM | O = 243 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 243 T = 0.07 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
p_hat300-2.clq.wcnf | S = OPTIMUM | O = 711 T = 0.24 | (out)(err) |
S = OPTIMUM | O = 711 T = 0.31 | (out)(err) |
S = N/A | O = 771 T = Time Out | (out)(err) |
S = OPTIMUM | O = 711 T = 0.26 | (out)(err) |
S = OPTIMUM | O = 711 T = 0.27 | (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) |
S = OPTIMUM | O = 711 T = 0.17 | (out)(err) |
S = OPTIMUM | O = 711 T = 0.18 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
p_hat300-3.clq.wcnf | S = OPTIMUM | O = 1439 T = 22.73 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1513 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1439 T = 34.03 | (out)(err) |
S = OPTIMUM | O = 1439 T = 34.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 = OPTIMUM | O = 1439 T = 9.53 | (out)(err) |
S = OPTIMUM | O = 1439 T = 8.47 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
p_hat500-1.clq.wcnf | S = OPTIMUM | O = 395 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 395 T = 0.11 | (out)(err) |
S = N/A | O = 405 T = Time Out | (out)(err) |
S = OPTIMUM | O = 395 T = 0.07 | (out)(err) |
S = OPTIMUM | O = 395 T = 0.07 | (out)(err) |
S = OPTIMUM | O = 395 T = 0.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 = 395 T = 0.05 | (out)(err) |
S = OPTIMUM | O = 395 T = 0.09 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
p_hat500-2.clq.wcnf | S = OPTIMUM | O = 931 T = 1.55 | (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 = 931 T = 1.85 | (out)(err) |
S = OPTIMUM | O = 931 T = 1.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 = OPTIMUM | O = 931 T = 0.64 | (out)(err) |
S = OPTIMUM | O = 931 T = 0.68 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
p_hat500-3.clq.wcnf | S = OPTIMUM | O = 1501 T = 39.81 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1679 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1501 T = 64.22 | (out)(err) |
S = OPTIMUM | O = 1501 T = 65.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 = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1501 T = 11.51 | (out)(err) |
S = OPTIMUM | O = 1501 T = 9.57 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
p_hat700-1.clq.wcnf | S = OPTIMUM | O = 329 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 329 T = 0.07 | (out)(err) |
S = N/A | O = 344 T = Time Out | (out)(err) |
S = OPTIMUM | O = 329 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 329 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 329 T = 0.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 = OPTIMUM | O = 329 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 329 T = 0.08 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
p_hat700-2.clq.wcnf | S = OPTIMUM | O = 834 T = 0.89 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 872 T = Time Out | (out)(err) |
S = OPTIMUM | O = 834 T = 1.12 | (out)(err) |
S = OPTIMUM | O = 834 T = 1.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 = OPTIMUM | O = 834 T = 0.36 | (out)(err) |
S = OPTIMUM | O = 834 T = 0.35 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
p_hat700-3.clq.wcnf | S = OPTIMUM | O = 1432 T = 36.22 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1518 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1432 T = 57.58 | (out)(err) |
S = OPTIMUM | O = 1432 T = 58.23 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1432 T = 9.20 | (out)(err) |
S = OPTIMUM | O = 1432 T = 6.81 | (out)(err) |
S = N/A | O = N/A T = 1800.00 | (out)(err) |
san1000.clq.wcnf | S = OPTIMUM | O = 744 T = 0.47 | (out)(err) |
S = OPTIMUM | O = 744 T = 0.51 | (out)(err) |
S = N/A | O = 798 T = Time Out | (out)(err) |
S = OPTIMUM | O = 744 T = 0.51 | (out)(err) |
S = OPTIMUM | O = 744 T = 0.51 | (out)(err) |
S = OPTIMUM | O = 744 T = 0.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 = 744 T = 0.25 | (out)(err) |
S = OPTIMUM | O = 744 T = 0.22 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
san200_0.7_1.clq.wcnf | S = OPTIMUM | O = 1256 T = 18.84 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1298 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1256 T = 25.32 | (out)(err) |
S = OPTIMUM | O = 1256 T = 25.51 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1256 T = 5.17 | (out)(err) |
S = OPTIMUM | O = 1256 T = 5.24 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
san200_0.7_2.clq.wcnf | S = OPTIMUM | O = 1243 T = 7.77 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1376 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1243 T = 11.89 | (out)(err) |
S = OPTIMUM | O = 1243 T = 12.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 = OPTIMUM | O = 1243 T = 3.59 | (out)(err) |
S = OPTIMUM | O = 1243 T = 2.73 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
san200_0.9_1.clq.wcnf | S = OPTIMUM | O = 1672 T = 722.48 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1734 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1672 T = 784.83 | (out)(err) |
S = OPTIMUM | O = 1672 T = 796.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 = OPTIMUM | O = 1672 T = 143.74 | (out)(err) |
S = OPTIMUM | O = 1672 T = 136.73 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
san200_0.9_2.clq.wcnf | S = OPTIMUM | O = 1647 T = 146.11 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1812 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1647 T = 197.22 | (out)(err) |
S = OPTIMUM | O = 1647 T = 199.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 = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1647 T = 39.30 | (out)(err) |
S = OPTIMUM | O = 1647 T = 32.51 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
san200_0.9_3.clq.wcnf | S = OPTIMUM | O = 1670 T = 178.88 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1830 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1670 T = 322.87 | (out)(err) |
S = OPTIMUM | O = 1670 T = 328.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 = Time Out | (out)(err) |
S = OPTIMUM | O = 1670 T = 52.46 | (out)(err) |
S = OPTIMUM | O = 1670 T = 50.99 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
san400_0.5_1.clq.wcnf | S = OPTIMUM | O = 718 T = 0.23 | (out)(err) |
S = OPTIMUM | O = 718 T = 0.33 | (out)(err) |
S = N/A | O = 850 T = Time Out | (out)(err) |
S = OPTIMUM | O = 718 T = 0.34 | (out)(err) |
S = OPTIMUM | O = 718 T = 0.35 | (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) |
S = OPTIMUM | O = 718 T = 0.13 | (out)(err) |
S = OPTIMUM | O = 718 T = 0.13 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
san400_0.7_1.clq.wcnf | S = OPTIMUM | O = 1258 T = 22.33 | (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 = 34.69 | (out)(err) |
S = OPTIMUM | O = 1258 T = 34.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 = OPTIMUM | O = 1258 T = 7.98 | (out)(err) |
S = OPTIMUM | O = 1258 T = 6.62 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
san400_0.7_2.clq.wcnf | S = OPTIMUM | O = 1237 T = 11.70 | (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 = 20.74 | (out)(err) |
S = OPTIMUM | O = 1237 T = 21.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 = OPTIMUM | O = 1237 T = 3.74 | (out)(err) |
S = OPTIMUM | O = 1237 T = 2.62 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
san400_0.7_3.clq.wcnf | S = OPTIMUM | O = 1201 T = 6.30 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1326 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1201 T = 8.72 | (out)(err) |
S = OPTIMUM | O = 1201 T = 8.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 = OPTIMUM | O = 1201 T = 2.77 | (out)(err) |
S = OPTIMUM | O = 1201 T = 2.40 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
san400_0.9_1.clq.wcnf | S = OPTIMUM | O = 1604 T = 229.31 | (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 = 1604 T = 346.69 | (out)(err) |
S = OPTIMUM | O = 1604 T = 351.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 = Time Out | (out)(err) |
S = OPTIMUM | O = 1604 T = 60.48 | (out)(err) |
S = OPTIMUM | O = 1604 T = 55.18 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
sanr200_0.7.clq.wcnf | S = OPTIMUM | O = 1171 T = 6.38 | (out)(err) |
S = N/A | O = 127 T = Time Out | (out)(err) |
S = N/A | O = 1308 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1171 T = 5.45 | (out)(err) |
S = OPTIMUM | O = 1171 T = 5.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 = OPTIMUM | O = 1171 T = 1.83 | (out)(err) |
S = OPTIMUM | O = 1171 T = 1.29 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
sanr200_0.9.clq.wcnf | S = OPTIMUM | O = 1610 T = 233.54 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1714 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1610 T = 313.69 | (out)(err) |
S = OPTIMUM | O = 1610 T = 318.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 = OPTIMUM | O = 1610 T = 53.09 | (out)(err) |
S = OPTIMUM | O = 1610 T = 50.30 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
sanr400_0.5.clq.wcnf | S = OPTIMUM | O = 763 T = 0.48 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 868 T = Time Out | (out)(err) |
S = OPTIMUM | O = 763 T = 0.74 | (out)(err) |
S = OPTIMUM | O = 763 T = 0.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 = OPTIMUM | O = 763 T = 0.29 | (out)(err) |
S = OPTIMUM | O = 763 T = 0.18 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
sanr400_0.7.clq.wcnf | S = OPTIMUM | O = 1198 T = 5.98 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1328 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1198 T = 9.94 | (out)(err) |
S = OPTIMUM | O = 1198 T = 10.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 = OPTIMUM | O = 1198 T = 2.27 | (out)(err) |
S = OPTIMUM | O = 1198 T = 1.67 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
t3g3-5555.spn.wcnf | S = OPTIMUM | O = 1100610 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 1100610 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 1100610 T = 13.34 | (out)(err) |
S = OPTIMUM | O = 1100610 T = 0.01 | (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 = Time Out | (out)(err) |
S = OPTIMUM | O = 1100610 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 1100610 T = 0.03 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
t4g3-6666.spn.wcnf | S = OPTIMUM | O = 2275606 T = 0.05 | (out)(err) |
S = OPTIMUM | O = 2275606 T = 0.12 | (out)(err) |
S = N/A | O = 2558926 T = Time Out | (out)(err) |
S = OPTIMUM | O = 2275606 T = 0.12 | (out)(err) |
S = OPTIMUM | O = 2275606 T = 0.12 | (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 = Time Out | (out)(err) |
S = OPTIMUM | O = 2275606 T = 0.19 | (out)(err) |
S = OPTIMUM | O = 2275606 T = 0.14 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
t5g3-7777.spn.wcnf | S = OPTIMUM | O = 4241951 T = 1.20 | (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 = 4.52 | (out)(err) |
S = OPTIMUM | O = 4241951 T = 4.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 = OPTIMUM | O = 4241951 T = 2.91 | (out)(err) |
S = OPTIMUM | O = 4241951 T = 0.62 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
t6g3-8888.spn.wcnf | S = OPTIMUM | O = 7844119 T = 137.08 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 10510608 T = Time Out | (out)(err) |
S = OPTIMUM | O = 7844119 T = 200.54 | (out)(err) |
S = OPTIMUM | O = 7844119 T = 200.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 = OPTIMUM | O = 7844119 T = 73.95 | (out)(err) |
S = OPTIMUM | O = 7844119 T = 51.41 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
t7g3-9999.spn.wcnf | S = N/A | O = 16052 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 15881403 T = Time Out | (out)(err) |
S = N/A | O = 14832554 T = Time Out | (out)(err) |
S = N/A | O = 14832554 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 12696216 T = Time Out | (out)(err) |
S = N/A | O = 12442744 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb10-6-1.wcnf | S = OPTIMUM | O = 50 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 50 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 50 T = 4.17 | (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 = 0.04 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 50 T = 1.07 | (out)(err) |
S = OPTIMUM | O = 50 T = 0.05 | (out)(err) |
S = OPTIMUM | O = 50 T = 0.13 | (out)(err) |
S = OPTIMUM | O = 50 T = 32.35 | (out)(err) |
frb10-6-2.wcnf | S = OPTIMUM | O = 50 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 50 T = 0.06 | (out)(err) |
S = OPTIMUM | O = 50 T = 3.83 | (out)(err) |
S = OPTIMUM | O = 50 T = 0.05 | (out)(err) |
S = OPTIMUM | O = 50 T = 0.05 | (out)(err) |
S = OPTIMUM | O = 50 T = 0.06 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 50 T = 0.99 | (out)(err) |
S = OPTIMUM | O = 50 T = 0.06 | (out)(err) |
S = OPTIMUM | O = 50 T = 0.14 | (out)(err) |
S = OPTIMUM | O = 50 T = 27.37 | (out)(err) |
frb10-6-3.wcnf | S = OPTIMUM | O = 50 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 50 T = 0.06 | (out)(err) |
S = OPTIMUM | O = 50 T = 4.58 | (out)(err) |
S = OPTIMUM | O = 50 T = 0.05 | (out)(err) |
S = OPTIMUM | O = 50 T = 0.05 | (out)(err) |
S = OPTIMUM | O = 50 T = 0.06 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 50 T = 1.02 | (out)(err) |
S = OPTIMUM | O = 50 T = 0.07 | (out)(err) |
S = OPTIMUM | O = 50 T = 0.13 | (out)(err) |
S = OPTIMUM | O = 50 T = 500.26 | (out)(err) |
frb10-6-4.wcnf | S = OPTIMUM | O = 50 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 50 T = 0.05 | (out)(err) |
S = OPTIMUM | O = 50 T = 5.05 | (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 = 0.05 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 50 T = 1.06 | (out)(err) |
S = OPTIMUM | O = 50 T = 0.06 | (out)(err) |
S = OPTIMUM | O = 50 T = 0.14 | (out)(err) |
S = OPTIMUM | O = 50 T = 3.46 | (out)(err) |
frb15-9-1.wcnf | S = OPTIMUM | O = 120 T = 2.58 | (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 = 43.34 | (out)(err) |
S = OPTIMUM | O = 120 T = 43.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 = 120 T = 7.69 | (out)(err) |
S = OPTIMUM | O = 120 T = 9.61 | (out)(err) |
S = OPTIMUM | O = 120 T = 8.93 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb15-9-2.wcnf | S = OPTIMUM | O = 120 T = 2.56 | (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 = 41.20 | (out)(err) |
S = OPTIMUM | O = 120 T = 41.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 = 120 T = 7.52 | (out)(err) |
S = OPTIMUM | O = 120 T = 13.76 | (out)(err) |
S = OPTIMUM | O = 120 T = 8.78 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb15-9-3.wcnf | S = OPTIMUM | O = 120 T = 2.17 | (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 = 37.25 | (out)(err) |
S = OPTIMUM | O = 120 T = 37.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 = 120 T = 7.33 | (out)(err) |
S = OPTIMUM | O = 120 T = 14.22 | (out)(err) |
S = OPTIMUM | O = 120 T = 9.92 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb15-9-4.wcnf | S = OPTIMUM | O = 120 T = 2.15 | (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 = 40.90 | (out)(err) |
S = OPTIMUM | O = 120 T = 41.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 = 120 T = 7.35 | (out)(err) |
S = OPTIMUM | O = 120 T = 9.97 | (out)(err) |
S = OPTIMUM | O = 120 T = 8.40 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb15-9-5.wcnf | S = OPTIMUM | O = 120 T = 2.00 | (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 = 28.36 | (out)(err) |
S = OPTIMUM | O = 120 T = 28.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 = 120 T = 7.40 | (out)(err) |
S = OPTIMUM | O = 120 T = 12.19 | (out)(err) |
S = OPTIMUM | O = 120 T = 9.19 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb20-11-1.wcnf | S = OPTIMUM | O = 200 T = 324.14 | (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) |
S = OPTIMUM | O = 200 T = 130.05 | (out)(err) |
S = OPTIMUM | O = 200 T = 934.08 | (out)(err) |
S = OPTIMUM | O = 200 T = 948.39 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb20-11-2.wcnf | S = OPTIMUM | O = 200 T = 300.02 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 201 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 200 T = 108.56 | (out)(err) |
S = OPTIMUM | O = 200 T = 793.30 | (out)(err) |
S = OPTIMUM | O = 200 T = 946.31 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb20-11-3.wcnf | S = OPTIMUM | O = 200 T = 415.45 | (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) |
S = OPTIMUM | O = 200 T = 120.11 | (out)(err) |
S = OPTIMUM | O = 200 T = 1104.08 | (out)(err) |
S = OPTIMUM | O = 200 T = 1173.15 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb20-11-4.wcnf | S = OPTIMUM | O = 200 T = 339.72 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 201 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 200 T = 108.35 | (out)(err) |
S = OPTIMUM | O = 200 T = 1268.11 | (out)(err) |
S = OPTIMUM | O = 200 T = 1457.62 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb20-11-5.wcnf | S = OPTIMUM | O = 200 T = 487.31 | (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) |
S = OPTIMUM | O = 200 T = 121.47 | (out)(err) |
S = OPTIMUM | O = 200 T = 1126.04 | (out)(err) |
S = OPTIMUM | O = 200 T = 1276.18 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb25-13-1.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 = 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) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 302 T = Time Out | (out)(err) |
S = N/A | O = 302 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb25-13-2.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 = 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) |
S = OPTIMUM | O = 300 T = 1264.11 | (out)(err) |
S = N/A | O = 303 T = Time Out | (out)(err) |
S = N/A | O = 302 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb25-13-3.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 = 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) |
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 = 302 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb25-13-4.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 = 302 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 302 T = Time Out | (out)(err) |
S = N/A | O = 302 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
frb25-13-5.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 = 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) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 302 T = Time Out | (out)(err) |
S = N/A | O = 302 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 = 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) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 427 T = Time Out | (out)(err) |
S = N/A | O = 424 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 = 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) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 430 T = Time Out | (out)(err) |
S = N/A | O = 424 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 = 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) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 424 T = Time Out | (out)(err) |
S = N/A | O = 424 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 = 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) |
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 = 424 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 = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 424 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 424 T = Time Out | (out)(err) |
S = N/A | O = 423 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 = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 566 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 566 T = Time Out | (out)(err) |
S = N/A | O = 566 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 = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 566 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = 565 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 = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 566 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 566 T = Time Out | (out)(err) |
S = N/A | O = 565 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 = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 566 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = 566 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 = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 566 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = 565 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 = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 727 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 732 T = Time Out | (out)(err) |
S = N/A | O = 727 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 = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 726 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = 727 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 = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 727 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = 727 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 = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 727 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/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 = 727 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 = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 727 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 727 T = Time Out | (out)(err) |
S = N/A | O = 726 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |