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 |
---|---|---|---|---|---|---|---|---|---|---|---|
comp01.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 = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 840 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
comp02.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = 118 T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3500 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
comp03.wcnf | S = N/A | O = N/A T = 0.95 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = 168 T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3400 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
comp04.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = 294 T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 35 T = 234.28 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2850 T = Time Out | (out)(err) |
S = OPTIMUM | O = 35 T = 149.99 | (out)(err) |
comp05.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = 962 T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 10008 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
comp06.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = 396 T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3500 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
comp07.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 21.67 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 6.59 | (out)(err) |
S = N/A | O = N/A T = 4.62 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
comp08.wcnf | S = N/A | O = N/A T = 1.47 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = 392 T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = OPTIMUM | O = 37 T = 364.86 | (out)(err) |
S = OPTIMUM | O = 37 T = 197.34 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3050 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
comp09.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = 280 T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3750 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
comp10.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = 525 T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = OPTIMUM | O = 4 T = 164.83 | (out)(err) |
S = OPTIMUM | O = 4 T = 86.92 | (out)(err) |
S = N/A | O = N/A T = 4.46 | (out)(err) |
S = N/A | O = N/A T = 3.45 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
comp11.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 = 541.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 = 1.27 | (out)(err) |
S = OPTIMUM | O = 0 T = 4.69 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1170 T = Time Out | (out)(err) |
S = OPTIMUM | O = 0 T = 40.29 | (out)(err) |
comp12.wcnf | S = N/A | O = N/A T = 0.97 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = 947 T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 10800 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
comp13.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = 388 T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3300 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
comp14.wcnf | S = N/A | O = N/A T = 1.38 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = 194 T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 51 T = 427.31 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3000 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
comp15.wcnf | S = N/A | O = N/A T = 0.96 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = 168 T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3400 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
comp16.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = 440 T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 18 T = 259.50 | (out)(err) |
S = N/A | O = N/A T = 4.87 | (out)(err) |
S = N/A | O = N/A T = 3.40 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
comp17.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = 348 T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
comp18.wcnf | S = N/A | O = N/A T = 0.36 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = 217 T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3744 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
comp19.wcnf | S = N/A | O = N/A T = 1.11 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = 309 T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3300 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
comp20.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = 540 T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 4.57 | (out)(err) |
S = N/A | O = N/A T = 3.47 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
comp21.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = 500 T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
dds1.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 65.20 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
dds2.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 33.71 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 5.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 5.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 = 0 T = 1.58 | (out)(err) |
dds3.wcnf | S = N/A | O = N/A T = 0.62 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 29.54 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 3.15 | (out)(err) |
S = OPTIMUM | O = 0 T = 3.01 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 990 T = Time Out | (out)(err) |
S = OPTIMUM | O = 0 T = 0.83 | (out)(err) |
dds4.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 2.91 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 30.30 | (out)(err) |
S = N/A | O = N/A T = 21.32 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
dds5.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 160.57 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 11.45 | (out)(err) |
S = N/A | O = N/A T = 7.66 | (out)(err) |
S = OPTIMUM | O = 0 T = 53.48 | (out)(err) |
dds6.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = 474 T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 26.55 | (out)(err) |
S = OPTIMUM | O = 0 T = 18.41 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 0 T = 317.94 | (out)(err) |
dds7.wcnf | S = N/A | O = N/A T = 1.26 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 447.52 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 7.39 | (out)(err) |
S = OPTIMUM | O = 0 T = 7.19 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4440 T = Time Out | (out)(err) |
S = OPTIMUM | O = 0 T = 9.81 | (out)(err) |
test1.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 = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1040 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
test2.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = 252 T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = OPTIMUM | O = 16 T = 130.17 | (out)(err) |
S = OPTIMUM | O = 16 T = 51.60 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1200 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
test3.wcnf | S = N/A | O = N/A T = 0.57 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = 853 T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2200 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
test4.wcnf | S = N/A | O = N/A T = 0.60 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = 1061 T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = 0.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2750 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
mancoosi-test-i1000d0u98-0.wcnf | S = OPTIMUM | O = 107076495 T = 93.46 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 107076495 T = 494.23 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.38 | (out)(err) |
S = OPTIMUM | O = 107076495 T = 903.54 | (out)(err) |
S = OPTIMUM | O = 107076495 T = 1124.87 | (out)(err) |
S = OPTIMUM | O = 107076495 T = 149.75 | (out)(err) |
mancoosi-test-i1000d0u98-1.wcnf | S = OPTIMUM | O = 122084953 T = 145.24 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 122084953 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.39 | (out)(err) |
S = N/A | O = 483013695 T = Time Out | (out)(err) |
S = N/A | O = 528075277 T = Time Out | (out)(err) |
S = OPTIMUM | O = 122084953 T = 159.22 | (out)(err) |
mancoosi-test-i1000d0u98-10.wcnf | S = OPTIMUM | O = 152083527 T = 106.89 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 152083527 T = 49.80 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.40 | (out)(err) |
S = N/A | O = 558164704 T = Time Out | (out)(err) |
S = N/A | O = 588199706 T = Time Out | (out)(err) |
S = OPTIMUM | O = 152083527 T = 134.61 | (out)(err) |
mancoosi-test-i1000d0u98-11.wcnf | S = OPTIMUM | O = 122139402 T = 91.98 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 122139402 T = 231.98 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.39 | (out)(err) |
S = OPTIMUM | O = 122139402 T = 642.82 | (out)(err) |
S = OPTIMUM | O = 122139402 T = 875.78 | (out)(err) |
S = OPTIMUM | O = 122139402 T = 145.85 | (out)(err) |
mancoosi-test-i1000d0u98-12.wcnf | S = OPTIMUM | O = 77077761 T = 136.49 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 77077761 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.37 | (out)(err) |
S = OPTIMUM | O = 77077761 T = 719.83 | (out)(err) |
S = OPTIMUM | O = 77077761 T = 945.18 | (out)(err) |
S = OPTIMUM | O = 77077761 T = 116.82 | (out)(err) |
mancoosi-test-i1000d0u98-13.wcnf | S = OPTIMUM | O = 182245730 T = 77.86 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 182245730 T = 41.84 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.40 | (out)(err) |
S = OPTIMUM | O = 182245730 T = 569.83 | (out)(err) |
S = OPTIMUM | O = 182245730 T = 804.12 | (out)(err) |
S = OPTIMUM | O = 182245730 T = 137.13 | (out)(err) |
mancoosi-test-i1000d0u98-14.wcnf | S = OPTIMUM | O = 137147806 T = 129.07 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 137147806 T = 371.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 = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.37 | (out)(err) |
S = OPTIMUM | O = 137147806 T = 854.32 | (out)(err) |
S = OPTIMUM | O = 137147806 T = 1077.78 | (out)(err) |
S = OPTIMUM | O = 137147806 T = 142.08 | (out)(err) |
mancoosi-test-i1000d0u98-15.wcnf | S = OPTIMUM | O = 92031744 T = 81.52 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 92031744 T = 79.06 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.37 | (out)(err) |
S = N/A | O = 92068091 T = Time Out | (out)(err) |
S = N/A | O = 92195289 T = Time Out | (out)(err) |
S = OPTIMUM | O = 92031744 T = 150.30 | (out)(err) |
mancoosi-test-i1000d0u98-16.wcnf | S = OPTIMUM | O = 137075245 T = 112.96 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 137075245 T = 69.90 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.38 | (out)(err) |
S = OPTIMUM | O = 137075245 T = 1530.80 | (out)(err) |
S = OPTIMUM | O = 137075245 T = 1746.37 | (out)(err) |
S = OPTIMUM | O = 137075245 T = 169.57 | (out)(err) |
mancoosi-test-i1000d0u98-17.wcnf | S = OPTIMUM | O = 152192544 T = 110.50 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 152192544 T = 65.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 = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.38 | (out)(err) |
S = OPTIMUM | O = 152192544 T = 608.72 | (out)(err) |
S = OPTIMUM | O = 152192544 T = 842.20 | (out)(err) |
S = OPTIMUM | O = 152192544 T = 140.31 | (out)(err) |
mancoosi-test-i1000d0u98-18.wcnf | S = OPTIMUM | O = 152228825 T = 60.38 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 152228825 T = 11.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 = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.39 | (out)(err) |
S = N/A | O = 422889076 T = Time Out | (out)(err) |
S = N/A | O = 422889076 T = Time Out | (out)(err) |
S = OPTIMUM | O = 152228825 T = 121.56 | (out)(err) |
mancoosi-test-i1000d0u98-19.wcnf | S = OPTIMUM | O = 92049939 T = 158.59 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 92049939 T = 145.39 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.38 | (out)(err) |
S = OPTIMUM | O = 92049939 T = 1095.24 | (out)(err) |
S = OPTIMUM | O = 92049939 T = 1307.47 | (out)(err) |
S = OPTIMUM | O = 92049939 T = 131.49 | (out)(err) |
mancoosi-test-i1000d0u98-2.wcnf | S = OPTIMUM | O = 77059701 T = 123.41 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 77059701 T = 18.47 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.38 | (out)(err) |
S = OPTIMUM | O = 77059701 T = 661.75 | (out)(err) |
S = OPTIMUM | O = 77059701 T = 890.07 | (out)(err) |
S = OPTIMUM | O = 77059701 T = 161.28 | (out)(err) |
mancoosi-test-i1000d0u98-20.wcnf | S = OPTIMUM | O = 122103131 T = 117.45 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 122103131 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.37 | (out)(err) |
S = N/A | O = 317448696 T = Time Out | (out)(err) |
S = N/A | O = 317448696 T = Time Out | (out)(err) |
S = OPTIMUM | O = 122103131 T = 160.82 | (out)(err) |
mancoosi-test-i1000d0u98-21.wcnf | S = OPTIMUM | O = 77041487 T = 154.31 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 77041487 T = 71.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 = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.38 | (out)(err) |
S = OPTIMUM | O = 77041487 T = 1123.99 | (out)(err) |
S = OPTIMUM | O = 77041487 T = 1326.15 | (out)(err) |
S = OPTIMUM | O = 77041487 T = 149.15 | (out)(err) |
mancoosi-test-i1000d0u98-22.wcnf | S = OPTIMUM | O = 92086312 T = 132.21 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 92086312 T = 76.89 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.38 | (out)(err) |
S = N/A | O = 107112926 T = Time Out | (out)(err) |
S = N/A | O = 197308743 T = Time Out | (out)(err) |
S = OPTIMUM | O = 92086312 T = 168.01 | (out)(err) |
mancoosi-test-i1000d0u98-23.wcnf | S = OPTIMUM | O = 62014822 T = 92.34 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 62014822 T = 29.70 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.38 | (out)(err) |
S = OPTIMUM | O = 62014822 T = 479.70 | (out)(err) |
S = OPTIMUM | O = 62014822 T = 716.09 | (out)(err) |
S = OPTIMUM | O = 62014822 T = 111.29 | (out)(err) |
mancoosi-test-i1000d0u98-24.wcnf | S = OPTIMUM | O = 167273676 T = 113.52 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 167273676 T = 353.36 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.38 | (out)(err) |
S = OPTIMUM | O = 167273676 T = Time Out | (out)(err) |
S = N/A | O = 257651222 T = Time Out | (out)(err) |
S = OPTIMUM | O = 167273676 T = 143.80 | (out)(err) |
mancoosi-test-i1000d0u98-3.wcnf | S = OPTIMUM | O = 91959146 T = 104.22 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 91959146 T = 36.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.36 | (out)(err) |
S = N/A | O = 272387117 T = Time Out | (out)(err) |
S = N/A | O = 482995505 T = Time Out | (out)(err) |
S = OPTIMUM | O = 91959146 T = 146.34 | (out)(err) |
mancoosi-test-i1000d0u98-4.wcnf | S = OPTIMUM | O = 122175781 T = 116.65 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 122175781 T = 382.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.39 | (out)(err) |
S = N/A | O = 633279563 T = Time Out | (out)(err) |
S = N/A | O = 633279563 T = Time Out | (out)(err) |
S = OPTIMUM | O = 122175781 T = 130.55 | (out)(err) |
mancoosi-test-i1000d0u98-5.wcnf | S = OPTIMUM | O = 107058295 T = 107.76 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 107058295 T = 688.98 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.39 | (out)(err) |
S = N/A | O = 573100507 T = Time Out | (out)(err) |
S = N/A | O = 573100507 T = Time Out | (out)(err) |
S = OPTIMUM | O = 107058295 T = 142.40 | (out)(err) |
mancoosi-test-i1000d0u98-6.wcnf | S = OPTIMUM | O = 137093314 T = 108.51 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 137093314 T = 45.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 = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.37 | (out)(err) |
S = OPTIMUM | O = 137093314 T = 843.88 | (out)(err) |
S = OPTIMUM | O = 137093314 T = 1066.45 | (out)(err) |
S = OPTIMUM | O = 137093314 T = 126.54 | (out)(err) |
mancoosi-test-i1000d0u98-7.wcnf | S = OPTIMUM | O = 92104395 T = 84.14 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 92104395 T = 86.86 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.38 | (out)(err) |
S = OPTIMUM | O = 92104395 T = 743.55 | (out)(err) |
S = OPTIMUM | O = 92104395 T = 966.40 | (out)(err) |
S = OPTIMUM | O = 92104395 T = 146.33 | (out)(err) |
mancoosi-test-i1000d0u98-8.wcnf | S = OPTIMUM | O = 137057008 T = 193.45 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 137057008 T = 770.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 = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.39 | (out)(err) |
S = OPTIMUM | O = 137057008 T = 1136.44 | (out)(err) |
S = OPTIMUM | O = 137057008 T = 1338.84 | (out)(err) |
S = OPTIMUM | O = 137057008 T = 151.22 | (out)(err) |
mancoosi-test-i1000d0u98-9.wcnf | S = OPTIMUM | O = 167164758 T = 96.54 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 167164758 T = 27.31 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.38 | (out)(err) |
S = N/A | O = 798572000 T = Time Out | (out)(err) |
S = N/A | O = 798572000 T = Time Out | (out)(err) |
S = OPTIMUM | O = 167164758 T = 143.42 | (out)(err) |
mancoosi-test-i2000d0u98-25.wcnf | S = N/A | O = 693404205 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 347556486 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 332548069 T = 268.89 | (out)(err) |
S = OPTIMUM | O = 332548069 T = 1015.44 | (out)(err) |
S = N/A | O = 3307612868 T = Time Out | (out)(err) |
S = N/A | O = 3307612868 T = Time Out | (out)(err) |
S = OPTIMUM | O = 332548069 T = 169.49 | (out)(err) |
mancoosi-test-i2000d0u98-26.wcnf | S = OPTIMUM | O = 287486453 T = 102.24 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 317539631 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 287486453 T = 248.04 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4239497542 T = Time Out | (out)(err) |
S = N/A | O = 4239497542 T = Time Out | (out)(err) |
S = OPTIMUM | O = 287486453 T = 135.35 | (out)(err) |
mancoosi-test-i2000d0u98-27.wcnf | S = OPTIMUM | O = 317557787 T = 101.94 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 317557792 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 317557787 T = 251.37 | (out)(err) |
S = OPTIMUM | O = 317557787 T = 974.18 | (out)(err) |
S = N/A | O = 3533447717 T = Time Out | (out)(err) |
S = N/A | O = 3533447717 T = Time Out | (out)(err) |
S = OPTIMUM | O = 317557787 T = 134.92 | (out)(err) |
mancoosi-test-i2000d0u98-28.wcnf | S = OPTIMUM | O = 287468289 T = 173.84 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 287468289 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 287468289 T = 241.85 | (out)(err) |
S = OPTIMUM | O = 287468289 T = 901.93 | (out)(err) |
S = N/A | O = 2256060442 T = Time Out | (out)(err) |
S = N/A | O = 2256060442 T = Time Out | (out)(err) |
S = OPTIMUM | O = 287468289 T = 168.16 | (out)(err) |
mancoosi-test-i2000d0u98-29.wcnf | S = OPTIMUM | O = 287595465 T = 112.29 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 302622058 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 287595465 T = 247.84 | (out)(err) |
S = OPTIMUM | O = 287595465 T = 835.26 | (out)(err) |
S = N/A | O = 1910467125 T = Time Out | (out)(err) |
S = N/A | O = 2045724569 T = Time Out | (out)(err) |
S = OPTIMUM | O = 287595465 T = 163.59 | (out)(err) |
mancoosi-test-i2000d0u98-30.wcnf | S = OPTIMUM | O = 212317206 T = 279.16 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 212317207 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 212317206 T = 260.32 | (out)(err) |
S = OPTIMUM | O = 212317206 T = 875.78 | (out)(err) |
S = N/A | O = 2556483253 T = Time Out | (out)(err) |
S = N/A | O = 2631652517 T = Time Out | (out)(err) |
S = OPTIMUM | O = 212317206 T = 171.28 | (out)(err) |
mancoosi-test-i2000d0u98-31.wcnf | S = OPTIMUM | O = 302513031 T = 193.91 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 302513031 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 302513031 T = 249.14 | (out)(err) |
S = OPTIMUM | O = 302513031 T = 842.00 | (out)(err) |
S = N/A | O = 3488476963 T = Time Out | (out)(err) |
S = N/A | O = 3488495134 T = Time Out | (out)(err) |
S = OPTIMUM | O = 302513031 T = 159.79 | (out)(err) |
mancoosi-test-i2000d0u98-32.wcnf | S = OPTIMUM | O = 362510376 T = 162.15 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 362510379 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 362510376 T = 278.83 | (out)(err) |
S = OPTIMUM | O = 362510376 T = 891.69 | (out)(err) |
S = N/A | O = 2766601086 T = Time Out | (out)(err) |
S = N/A | O = 2871841723 T = Time Out | (out)(err) |
S = OPTIMUM | O = 362510376 T = 161.97 | (out)(err) |
mancoosi-test-i2000d0u98-33.wcnf | S = OPTIMUM | O = 332529839 T = 125.64 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 332548016 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 332529839 T = 237.72 | (out)(err) |
S = OPTIMUM | O = 332529839 T = 843.82 | (out)(err) |
S = N/A | O = 3443233661 T = Time Out | (out)(err) |
S = N/A | O = 3443233663 T = Time Out | (out)(err) |
S = OPTIMUM | O = 332529839 T = 151.07 | (out)(err) |
mancoosi-test-i2000d0u98-34.wcnf | S = OPTIMUM | O = 317430597 T = 131.14 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 317430597 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 317430597 T = 256.16 | (out)(err) |
S = OPTIMUM | O = 317430597 T = 907.38 | (out)(err) |
S = N/A | O = 4179209579 T = Time Out | (out)(err) |
S = N/A | O = 4179209579 T = Time Out | (out)(err) |
S = OPTIMUM | O = 317430597 T = 138.27 | (out)(err) |
mancoosi-test-i2000d0u98-35.wcnf | S = OPTIMUM | O = 377591501 T = 139.26 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 407644681 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 377591501 T = 261.21 | (out)(err) |
S = OPTIMUM | O = 377591501 T = 909.02 | (out)(err) |
S = N/A | O = 2045415713 T = Time Out | (out)(err) |
S = N/A | O = 2255715253 T = Time Out | (out)(err) |
S = OPTIMUM | O = 377591501 T = 139.54 | (out)(err) |
mancoosi-test-i2000d0u98-36.wcnf | S = OPTIMUM | O = 332566184 T = 158.13 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 332566184 T = 438.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 = 332566184 T = 258.84 | (out)(err) |
S = OPTIMUM | O = 332566184 T = 838.53 | (out)(err) |
S = N/A | O = 3337902172 T = Time Out | (out)(err) |
S = N/A | O = 3352928759 T = Time Out | (out)(err) |
S = OPTIMUM | O = 332566184 T = 154.32 | (out)(err) |
mancoosi-test-i2000d0u98-37.wcnf | S = OPTIMUM | O = 362510425 T = 153.51 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 392708966 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 362510425 T = 290.45 | (out)(err) |
S = OPTIMUM | O = 362510425 T = 933.40 | (out)(err) |
S = N/A | O = 3097077049 T = Time Out | (out)(err) |
S = N/A | O = 3097077049 T = Time Out | (out)(err) |
S = OPTIMUM | O = 362510425 T = 176.03 | (out)(err) |
mancoosi-test-i2000d0u98-38.wcnf | S = OPTIMUM | O = 332620777 T = 190.74 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 347629200 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 332620777 T = 294.97 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3788699893 T = Time Out | (out)(err) |
S = N/A | O = 3833816005 T = Time Out | (out)(err) |
S = OPTIMUM | O = 332620777 T = 173.57 | (out)(err) |
mancoosi-test-i2000d0u98-39.wcnf | S = OPTIMUM | O = 347556415 T = 102.58 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 347556415 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 347556415 T = 245.35 | (out)(err) |
S = OPTIMUM | O = 347556415 T = 950.38 | (out)(err) |
S = N/A | O = 3383145442 T = Time Out | (out)(err) |
S = N/A | O = 3383145442 T = Time Out | (out)(err) |
S = OPTIMUM | O = 347556415 T = 128.33 | (out)(err) |
mancoosi-test-i2000d0u98-40.wcnf | S = OPTIMUM | O = 182372912 T = 114.78 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 182372912 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 182372912 T = 208.27 | (out)(err) |
S = OPTIMUM | O = 182372912 T = 719.62 | (out)(err) |
S = N/A | O = 3623661710 T = Time Out | (out)(err) |
S = N/A | O = 3623661714 T = Time Out | (out)(err) |
S = OPTIMUM | O = 182372912 T = 116.39 | (out)(err) |
mancoosi-test-i2000d0u98-41.wcnf | S = OPTIMUM | O = 317594172 T = 190.46 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 317594172 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 317594172 T = 245.43 | (out)(err) |
S = OPTIMUM | O = 317594172 T = 960.17 | (out)(err) |
S = N/A | O = 2871878087 T = Time Out | (out)(err) |
S = N/A | O = 2871878087 T = Time Out | (out)(err) |
S = OPTIMUM | O = 317594172 T = 164.54 | (out)(err) |
mancoosi-test-i2000d0u98-42.wcnf | S = OPTIMUM | O = 317503223 T = 103.76 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 317503223 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 317503223 T = 224.83 | (out)(err) |
S = OPTIMUM | O = 317503223 T = 803.00 | (out)(err) |
S = N/A | O = 2961946684 T = Time Out | (out)(err) |
S = N/A | O = 2961946684 T = Time Out | (out)(err) |
S = OPTIMUM | O = 317503223 T = 126.02 | (out)(err) |
mancoosi-test-i2000d0u98-43.wcnf | S = OPTIMUM | O = 242370348 T = 107.97 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 242370348 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 242370348 T = 219.49 | (out)(err) |
S = OPTIMUM | O = 242370348 T = 880.10 | (out)(err) |
S = N/A | O = 1940447622 T = Time Out | (out)(err) |
S = N/A | O = 1940447622 T = Time Out | (out)(err) |
S = OPTIMUM | O = 242370348 T = 135.83 | (out)(err) |
mancoosi-test-i2000d0u98-44.wcnf | S = OPTIMUM | O = 212353462 T = 315.41 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 212353462 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 212353462 T = 207.99 | (out)(err) |
S = OPTIMUM | O = 212353462 T = 803.42 | (out)(err) |
S = N/A | O = 3818680404 T = Time Out | (out)(err) |
S = N/A | O = 3818680404 T = Time Out | (out)(err) |
S = OPTIMUM | O = 212353462 T = 126.55 | (out)(err) |
mancoosi-test-i2000d0u98-45.wcnf | S = OPTIMUM | O = 182318477 T = 200.98 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 182318477 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 182318477 T = 211.93 | (out)(err) |
S = OPTIMUM | O = 182318477 T = 820.00 | (out)(err) |
S = N/A | O = 3954301255 T = Time Out | (out)(err) |
S = N/A | O = 3954319424 T = Time Out | (out)(err) |
S = OPTIMUM | O = 182318477 T = 155.60 | (out)(err) |
mancoosi-test-i2000d0u98-46.wcnf | S = OPTIMUM | O = 362601234 T = 117.18 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 362601234 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 362601234 T = 261.22 | (out)(err) |
S = OPTIMUM | O = 362601234 T = 1068.00 | (out)(err) |
S = N/A | O = 3803908188 T = Time Out | (out)(err) |
S = N/A | O = 3803908188 T = Time Out | (out)(err) |
S = OPTIMUM | O = 362601234 T = 164.59 | (out)(err) |
mancoosi-test-i2000d0u98-47.wcnf | S = OPTIMUM | O = 287486426 T = 126.63 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 302513007 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 287486426 T = 275.63 | (out)(err) |
S = OPTIMUM | O = 287486426 T = 891.88 | (out)(err) |
S = N/A | O = 2646624570 T = Time Out | (out)(err) |
S = N/A | O = 2646624570 T = Time Out | (out)(err) |
S = OPTIMUM | O = 287486426 T = 154.28 | (out)(err) |
mancoosi-test-i2000d0u98-48.wcnf | S = OPTIMUM | O = 332693445 T = 250.57 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 377773204 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 332693445 T = 262.72 | (out)(err) |
S = OPTIMUM | O = 332693445 T = 1004.48 | (out)(err) |
S = N/A | O = 3788990626 T = Time Out | (out)(err) |
S = N/A | O = 3788990626 T = Time Out | (out)(err) |
S = OPTIMUM | O = 332693445 T = 172.83 | (out)(err) |
mancoosi-test-i2000d0u98-49.wcnf | S = OPTIMUM | O = 212353539 T = 126.28 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 212353539 T = 1086.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 = 212353539 T = 282.92 | (out)(err) |
S = OPTIMUM | O = 212353539 T = 860.34 | (out)(err) |
S = N/A | O = 4014262251 T = Time Out | (out)(err) |
S = N/A | O = 4029270673 T = Time Out | (out)(err) |
S = OPTIMUM | O = 212353539 T = 141.81 | (out)(err) |
mancoosi-test-i3000d0u98-50.wcnf | S = OPTIMUM | O = 422725765 T = 214.11 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 482759430 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.39 | (out)(err) |
S = N/A | O = 8176991038 T = Time Out | (out)(err) |
S = N/A | O = 8176991038 T = Time Out | (out)(err) |
S = OPTIMUM | O = 422725765 T = 137.90 | (out)(err) |
mancoosi-test-i3000d0u98-51.wcnf | S = OPTIMUM | O = 573028153 T = 245.95 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 618162432 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.37 | (out)(err) |
S = N/A | O = 8491859043 T = Time Out | (out)(err) |
S = N/A | O = 8491859043 T = Time Out | (out)(err) |
S = OPTIMUM | O = 573028153 T = 189.00 | (out)(err) |
mancoosi-test-i3000d0u98-52.wcnf | S = OPTIMUM | O = 618125983 T = 120.17 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 768391881 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.39 | (out)(err) |
S = N/A | O = 8402153721 T = Time Out | (out)(err) |
S = N/A | O = 8402153721 T = Time Out | (out)(err) |
S = OPTIMUM | O = 618125983 T = 177.34 | (out)(err) |
mancoosi-test-i3000d0u98-53.wcnf | S = OPTIMUM | O = 573137017 T = 101.85 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 588163620 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.39 | (out)(err) |
S = N/A | O = 6673823316 T = Time Out | (out)(err) |
S = N/A | O = 6673823316 T = Time Out | (out)(err) |
S = OPTIMUM | O = 573137017 T = 171.86 | (out)(err) |
mancoosi-test-i3000d0u98-54.wcnf | S = OPTIMUM | O = 573137062 T = 155.27 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 738338694 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.39 | (out)(err) |
S = N/A | O = 8417016807 T = Time Out | (out)(err) |
S = N/A | O = 8417016807 T = Time Out | (out)(err) |
S = OPTIMUM | O = 573137062 T = 179.62 | (out)(err) |
mancoosi-test-i3000d0u98-55.wcnf | S = OPTIMUM | O = 528002690 T = 144.44 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 558055873 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.38 | (out)(err) |
S = N/A | O = 6689031552 T = Time Out | (out)(err) |
S = N/A | O = 6689031552 T = Time Out | (out)(err) |
S = OPTIMUM | O = 528002690 T = 130.34 | (out)(err) |
mancoosi-test-i3000d0u98-56.wcnf | S = N/A | O = 2571691 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 527893687 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.39 | (out)(err) |
S = N/A | O = 7335393012 T = Time Out | (out)(err) |
S = N/A | O = 7335393018 T = Time Out | (out)(err) |
S = OPTIMUM | O = 482868432 T = 144.04 | (out)(err) |
mancoosi-test-i3000d0u98-57.wcnf | S = OPTIMUM | O = 437806858 T = 108.15 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 437879541 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.40 | (out)(err) |
S = N/A | O = 6463632785 T = Time Out | (out)(err) |
S = N/A | O = 6463632785 T = Time Out | (out)(err) |
S = OPTIMUM | O = 437806858 T = 165.86 | (out)(err) |
mancoosi-test-i3000d0u98-58.wcnf | S = N/A | O = 2616789 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 633098048 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.37 | (out)(err) |
S = N/A | O = 6508530836 T = Time Out | (out)(err) |
S = N/A | O = 6508530836 T = Time Out | (out)(err) |
S = OPTIMUM | O = 527911930 T = 157.46 | (out)(err) |
mancoosi-test-i3000d0u98-59.wcnf | S = OPTIMUM | O = 588054583 T = 139.80 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 588054584 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.38 | (out)(err) |
S = N/A | O = 6418444010 T = Time Out | (out)(err) |
S = N/A | O = 6433452431 T = Time Out | (out)(err) |
S = OPTIMUM | O = 588054583 T = 144.64 | (out)(err) |
mancoosi-test-i3000d0u98-60.wcnf | S = OPTIMUM | O = 648142779 T = 130.64 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 678268640 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.38 | (out)(err) |
S = N/A | O = 7019998156 T = Time Out | (out)(err) |
S = N/A | O = 7019998156 T = Time Out | (out)(err) |
S = OPTIMUM | O = 648142779 T = 162.90 | (out)(err) |
mancoosi-test-i3000d0u98-61.wcnf | S = OPTIMUM | O = 558019587 T = 506.10 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 693331574 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.39 | (out)(err) |
S = N/A | O = 7710785244 T = Time Out | (out)(err) |
S = N/A | O = 7710785245 T = Time Out | (out)(err) |
S = OPTIMUM | O = 558019587 T = 174.24 | (out)(err) |
mancoosi-test-i3000d0u98-62.wcnf | S = OPTIMUM | O = 527930109 T = 164.28 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 573009879 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.37 | (out)(err) |
S = N/A | O = 6403562806 T = Time Out | (out)(err) |
S = N/A | O = 6403562806 T = Time Out | (out)(err) |
S = OPTIMUM | O = 527930109 T = 179.37 | (out)(err) |
mancoosi-test-i3000d0u98-63.wcnf | S = OPTIMUM | O = 512957980 T = 147.01 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 558037760 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.38 | (out)(err) |
S = N/A | O = 7800817555 T = Time Out | (out)(err) |
S = N/A | O = 7800817555 T = Time Out | (out)(err) |
S = OPTIMUM | O = 512957980 T = 151.43 | (out)(err) |
mancoosi-test-i3000d0u98-64.wcnf | S = OPTIMUM | O = 572991690 T = 110.40 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 723330266 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.37 | (out)(err) |
S = N/A | O = 7575237017 T = Time Out | (out)(err) |
S = N/A | O = 7575237017 T = Time Out | (out)(err) |
S = OPTIMUM | O = 572991690 T = 174.19 | (out)(err) |
mancoosi-test-i3000d0u98-65.wcnf | S = OPTIMUM | O = 603062985 T = 151.03 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 618089575 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.38 | (out)(err) |
S = N/A | O = 7350383246 T = Time Out | (out)(err) |
S = N/A | O = 7350383246 T = Time Out | (out)(err) |
S = OPTIMUM | O = 603062985 T = 164.28 | (out)(err) |
mancoosi-test-i3000d0u98-66.wcnf | S = OPTIMUM | O = 512939800 T = 154.79 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 663133016 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.38 | (out)(err) |
S = N/A | O = 7200026510 T = Time Out | (out)(err) |
S = N/A | O = 7200026510 T = Time Out | (out)(err) |
S = OPTIMUM | O = 512939800 T = 138.63 | (out)(err) |
mancoosi-test-i3000d0u98-67.wcnf | S = OPTIMUM | O = 542902120 T = 130.21 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 663169351 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.38 | (out)(err) |
S = N/A | O = 8161637389 T = Time Out | (out)(err) |
S = N/A | O = 8161637389 T = Time Out | (out)(err) |
S = OPTIMUM | O = 542902120 T = 161.90 | (out)(err) |
mancoosi-test-i3000d0u98-68.wcnf | S = OPTIMUM | O = 497931412 T = 99.18 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 603117546 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.39 | (out)(err) |
S = N/A | O = 6508894285 T = Time Out | (out)(err) |
S = N/A | O = 6508894285 T = Time Out | (out)(err) |
S = OPTIMUM | O = 497931412 T = 153.04 | (out)(err) |
mancoosi-test-i3000d0u98-69.wcnf | S = OPTIMUM | O = 663114835 T = 96.42 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 828425496 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.38 | (out)(err) |
S = N/A | O = 7936220356 T = Time Out | (out)(err) |
S = N/A | O = 7936220358 T = Time Out | (out)(err) |
S = OPTIMUM | O = 663114835 T = 165.43 | (out)(err) |
mancoosi-test-i3000d0u98-70.wcnf | S = OPTIMUM | O = 512958012 T = 143.31 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 588000108 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.39 | (out)(err) |
S = N/A | O = 7410489610 T = Time Out | (out)(err) |
S = N/A | O = 7410489610 T = Time Out | (out)(err) |
S = OPTIMUM | O = 512958012 T = 176.46 | (out)(err) |
mancoosi-test-i3000d0u98-71.wcnf | S = OPTIMUM | O = 467969155 T = 190.13 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 482995743 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.39 | (out)(err) |
S = N/A | O = 7455169671 T = Time Out | (out)(err) |
S = N/A | O = 7455169671 T = Time Out | (out)(err) |
S = OPTIMUM | O = 467969155 T = 190.07 | (out)(err) |
mancoosi-test-i3000d0u98-72.wcnf | S = OPTIMUM | O = 527857381 T = 111.46 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 633007163 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.38 | (out)(err) |
S = N/A | O = 6178254780 T = Time Out | (out)(err) |
S = N/A | O = 6178254780 T = Time Out | (out)(err) |
S = OPTIMUM | O = 527857381 T = 166.25 | (out)(err) |
mancoosi-test-i3000d0u98-73.wcnf | S = OPTIMUM | O = 527875592 T = 146.44 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 663114888 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.38 | (out)(err) |
S = N/A | O = 7455351408 T = Time Out | (out)(err) |
S = N/A | O = 7455351408 T = Time Out | (out)(err) |
S = OPTIMUM | O = 527875592 T = 150.16 | (out)(err) |
mancoosi-test-i3000d0u98-74.wcnf | S = OPTIMUM | O = 588109173 T = 232.04 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 603190271 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = 0.36 | (out)(err) |
S = N/A | O = 5682032130 T = Time Out | (out)(err) |
S = N/A | O = 5847288284 T = Time Out | (out)(err) |
S = OPTIMUM | O = 588109173 T = 158.24 | (out)(err) |
mancoosi-test-i4000d0u98-75.wcnf | S = N/A | O = 3142683 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 963773895 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 828534617 T = 343.11 | (out)(err) |
S = OPTIMUM | O = 828534617 T = 1029.57 | (out)(err) |
S = N/A | O = 8988208983 T = Time Out | (out)(err) |
S = N/A | O = 8988208983 T = Time Out | (out)(err) |
S = OPTIMUM | O = 828534617 T = 179.10 | (out)(err) |
mancoosi-test-i4000d0u98-76.wcnf | S = OPTIMUM | O = 738411504 T = 198.58 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 753365416 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 738411504 T = 324.94 | (out)(err) |
S = OPTIMUM | O = 738411504 T = 1125.57 | (out)(err) |
S = N/A | O = 8988408894 T = Time Out | (out)(err) |
S = N/A | O = 8988408894 T = Time Out | (out)(err) |
S = OPTIMUM | O = 738411504 T = 216.40 | (out)(err) |
mancoosi-test-i4000d0u98-77.wcnf | S = OPTIMUM | O = 843651993 T = 135.53 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 963864714 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 843651993 T = 246.01 | (out)(err) |
S = OPTIMUM | O = 843651993 T = 1060.92 | (out)(err) |
S = N/A | O = 9183336592 T = Time Out | (out)(err) |
S = N/A | O = 9243442954 T = Time Out | (out)(err) |
S = OPTIMUM | O = 843651993 T = 181.31 | (out)(err) |
mancoosi-test-i4000d0u98-78.wcnf | S = N/A | O = 3518421 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1023753011 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 873559793 T = 277.69 | (out)(err) |
S = OPTIMUM | O = 873559793 T = 1006.13 | (out)(err) |
S = N/A | O = 8898449168 T = Time Out | (out)(err) |
S = N/A | O = 8898449170 T = Time Out | (out)(err) |
S = OPTIMUM | O = 873559793 T = 172.25 | (out)(err) |
mancoosi-test-i4000d0u98-79.wcnf | S = OPTIMUM | O = 753510586 T = 156.48 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 903830998 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 753510586 T = 240.93 | (out)(err) |
S = OPTIMUM | O = 753510586 T = 893.98 | (out)(err) |
S = N/A | O = 9574482207 T = Time Out | (out)(err) |
S = N/A | O = 9589508797 T = Time Out | (out)(err) |
S = OPTIMUM | O = 753510586 T = 167.63 | (out)(err) |
mancoosi-test-i4000d0u98-80.wcnf | S = OPTIMUM | O = 828516449 T = 231.57 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1053987974 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 828516449 T = 296.22 | (out)(err) |
S = OPTIMUM | O = 828516449 T = 1441.29 | (out)(err) |
S = N/A | O = 9333784226 T = Time Out | (out)(err) |
S = N/A | O = 9333784226 T = Time Out | (out)(err) |
S = OPTIMUM | O = 828516449 T = 192.57 | (out)(err) |
mancoosi-test-i4000d0u98-81.wcnf | S = OPTIMUM | O = 1038888656 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1204253825 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 1038888656 T = 287.30 | (out)(err) |
S = OPTIMUM | O = 1038888656 T = 1067.82 | (out)(err) |
S = N/A | O = 9769537119 T = Time Out | (out)(err) |
S = N/A | O = 9784563708 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1038888656 T = 186.50 | (out)(err) |
mancoosi-test-i4000d0u98-82.wcnf | S = OPTIMUM | O = 918784858 T = 112.01 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1204271898 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 918784858 T = 256.51 | (out)(err) |
S = OPTIMUM | O = 918784858 T = 886.18 | (out)(err) |
S = N/A | O = 8672650547 T = Time Out | (out)(err) |
S = N/A | O = 8672650547 T = Time Out | (out)(err) |
S = OPTIMUM | O = 918784858 T = 147.00 | (out)(err) |
mancoosi-test-i4000d0u98-83.wcnf | S = OPTIMUM | O = 843633917 T = 113.97 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 903740286 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 843633917 T = 313.34 | (out)(err) |
S = OPTIMUM | O = 843633917 T = 1215.85 | (out)(err) |
S = N/A | O = 9153392481 T = Time Out | (out)(err) |
S = N/A | O = 9153392481 T = Time Out | (out)(err) |
S = OPTIMUM | O = 843633917 T = 198.39 | (out)(err) |
mancoosi-test-i4000d0u98-84.wcnf | S = OPTIMUM | O = 858696784 T = 168.99 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1084022961 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 858696784 T = 284.35 | (out)(err) |
S = OPTIMUM | O = 858696784 T = 968.74 | (out)(err) |
S = N/A | O = 8537811042 T = Time Out | (out)(err) |
S = N/A | O = 8537811042 T = Time Out | (out)(err) |
S = OPTIMUM | O = 858696784 T = 159.96 | (out)(err) |
mancoosi-test-i4000d0u98-85.wcnf | S = OPTIMUM | O = 723330351 T = 196.29 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 948783724 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 723330351 T = 292.46 | (out)(err) |
S = OPTIMUM | O = 723330351 T = 1092.63 | (out)(err) |
S = N/A | O = 8627589033 T = Time Out | (out)(err) |
S = N/A | O = 8627589033 T = Time Out | (out)(err) |
S = OPTIMUM | O = 723330351 T = 201.58 | (out)(err) |
mancoosi-test-i4000d0u98-86.wcnf | S = N/A | O = 3608362 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 978800464 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 918694091 T = 285.92 | (out)(err) |
S = OPTIMUM | O = 918694091 T = 1084.00 | (out)(err) |
S = N/A | O = 10069887200 T = Time Out | (out)(err) |
S = N/A | O = 10084913791 T = Time Out | (out)(err) |
S = OPTIMUM | O = 918694091 T = 182.10 | (out)(err) |
mancoosi-test-i4000d0u98-87.wcnf | S = N/A | O = 3833888 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1038888650 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 873596159 T = 287.92 | (out)(err) |
S = OPTIMUM | O = 873596159 T = 1050.83 | (out)(err) |
S = N/A | O = 9844470231 T = Time Out | (out)(err) |
S = N/A | O = 9859496824 T = Time Out | (out)(err) |
S = OPTIMUM | O = 873596159 T = 182.90 | (out)(err) |
mancoosi-test-i4000d0u98-88.wcnf | S = OPTIMUM | O = 738338700 T = 265.06 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 768464567 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 738338700 T = 295.31 | (out)(err) |
S = OPTIMUM | O = 738338700 T = 965.43 | (out)(err) |
S = N/A | O = 8732793286 T = Time Out | (out)(err) |
S = N/A | O = 8732793286 T = Time Out | (out)(err) |
S = OPTIMUM | O = 738338700 T = 161.60 | (out)(err) |
mancoosi-test-i4000d0u98-89.wcnf | S = N/A | O = 3323057 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1038852271 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 738429492 T = 297.18 | (out)(err) |
S = OPTIMUM | O = 738429492 T = 922.79 | (out)(err) |
S = N/A | O = 8056542254 T = Time Out | (out)(err) |
S = N/A | O = 8071550674 T = Time Out | (out)(err) |
S = OPTIMUM | O = 738429492 T = 145.86 | (out)(err) |
mancoosi-test-i4000d0u98-90.wcnf | S = OPTIMUM | O = 603172104 T = 132.50 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 708285549 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 603172104 T = 319.62 | (out)(err) |
S = OPTIMUM | O = 603172104 T = 1067.32 | (out)(err) |
S = N/A | O = 9048206309 T = Time Out | (out)(err) |
S = N/A | O = 9048206309 T = Time Out | (out)(err) |
S = OPTIMUM | O = 603172104 T = 185.15 | (out)(err) |
mancoosi-test-i4000d0u98-91.wcnf | S = N/A | O = 3578509 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1008889972 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 798517708 T = 315.69 | (out)(err) |
S = OPTIMUM | O = 798517708 T = 1002.95 | (out)(err) |
S = N/A | O = 8913348594 T = Time Out | (out)(err) |
S = N/A | O = 8928375179 T = Time Out | (out)(err) |
S = OPTIMUM | O = 798517708 T = 176.24 | (out)(err) |
mancoosi-test-i4000d0u98-92.wcnf | S = N/A | O = 23763821 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 873577950 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 723402933 T = 299.29 | (out)(err) |
S = OPTIMUM | O = 723402933 T = 918.27 | (out)(err) |
S = N/A | O = 9934847771 T = Time Out | (out)(err) |
S = N/A | O = 9949874360 T = Time Out | (out)(err) |
S = OPTIMUM | O = 723402933 T = 177.95 | (out)(err) |
mancoosi-test-i4000d0u98-93.wcnf | S = OPTIMUM | O = 678268636 T = 102.20 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 903576626 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 678268636 T = 303.21 | (out)(err) |
S = OPTIMUM | O = 678268636 T = 966.37 | (out)(err) |
S = N/A | O = 7725830111 T = Time Out | (out)(err) |
S = N/A | O = 7725830111 T = Time Out | (out)(err) |
S = OPTIMUM | O = 678268636 T = 161.62 | (out)(err) |
mancoosi-test-i4000d0u98-94.wcnf | S = OPTIMUM | O = 843524790 T = 153.34 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1053987911 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 843524790 T = 307.74 | (out)(err) |
S = OPTIMUM | O = 843524790 T = 1039.93 | (out)(err) |
S = N/A | O = 9063305572 T = Time Out | (out)(err) |
S = N/A | O = 9063305572 T = Time Out | (out)(err) |
S = OPTIMUM | O = 843524790 T = 176.81 | (out)(err) |
mancoosi-test-i4000d0u98-95.wcnf | S = N/A | O = 3458223 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 933811536 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 843579317 T = 322.58 | (out)(err) |
S = OPTIMUM | O = 843579317 T = 1071.01 | (out)(err) |
S = N/A | O = 9709285413 T = Time Out | (out)(err) |
S = N/A | O = 9709285429 T = Time Out | (out)(err) |
S = OPTIMUM | O = 843579317 T = 154.61 | (out)(err) |
mancoosi-test-i4000d0u98-96.wcnf | S = OPTIMUM | O = 828461902 T = 161.72 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1083841254 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 828461902 T = 281.85 | (out)(err) |
S = OPTIMUM | O = 828461902 T = 1017.00 | (out)(err) |
S = N/A | O = 8642470224 T = Time Out | (out)(err) |
S = N/A | O = 8657496815 T = Time Out | (out)(err) |
S = OPTIMUM | O = 828461902 T = 158.35 | (out)(err) |
mancoosi-test-i4000d0u98-97.wcnf | S = OPTIMUM | O = 903703891 T = 173.44 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 978818673 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 903703891 T = 300.80 | (out)(err) |
S = OPTIMUM | O = 903703891 T = 1038.42 | (out)(err) |
S = N/A | O = 9453760695 T = Time Out | (out)(err) |
S = N/A | O = 9453760695 T = Time Out | (out)(err) |
S = OPTIMUM | O = 903703891 T = 194.01 | (out)(err) |
mancoosi-test-i4000d0u98-98.wcnf | S = OPTIMUM | O = 828443727 T = 168.16 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 873596181 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 828443727 T = 321.08 | (out)(err) |
S = OPTIMUM | O = 828443727 T = 1067.88 | (out)(err) |
S = N/A | O = 9243697375 T = Time Out | (out)(err) |
S = N/A | O = 9273750547 T = Time Out | (out)(err) |
S = OPTIMUM | O = 828443727 T = 186.46 | (out)(err) |
mancoosi-test-i4000d0u98-99.wcnf | S = OPTIMUM | O = 768391869 T = 97.63 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 873650682 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(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 = 768391869 T = 314.24 | (out)(err) |
S = OPTIMUM | O = 768391869 T = 952.59 | (out)(err) |
S = N/A | O = 8492404254 T = Time Out | (out)(err) |
S = N/A | O = 8522457434 T = Time Out | (out)(err) |
S = OPTIMUM | O = 768391869 T = 181.50 | (out)(err) |