Label | Meaning |
---|---|
S | Solution {OPTIMUM FOUND or OPT | UNSATISFIABLE or UNSAT | UNKNOWN | Not available or N/A} |
O | Best solution found |
T | CPU time (TO for Time Out) |
(out)(err) | Standard output and standard error for each solver |
Color | Meaning |
---|---|
Text | Best solver column |
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 | Best solver | IncWMaxSatz | WMaxSatz+ | WMaxSatz-2009 | WPM1 | WPM2 | akmaxsat | akmaxsat_ls | claspMaxSat | sat4j-maxsat | wbo1.6 |
---|---|---|---|---|---|---|---|---|---|---|---|
ped2.B.recomb1-0.01-1.wcnf | S = OPT O = 7 T = 2.65 |
S = N/A O = N/A T = 0.84 (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 = OPT O = 7 T = 19.33 (out)(err) |
S = OPT O = 7 T = 15.44 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 7 T = 2.98 (out)(err) |
S = OPT O = 7 T = 6.11 (out)(err) |
S = OPT O = 7 T = 2.65 (out)(err) |
ped2.B.recomb1-0.01-2.wcnf | S = OPT O = 7 T = 2.60 |
S = N/A O = N/A T = TO (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 = OPT O = 7 T = 20.03 (out)(err) |
S = OPT O = 7 T = 15.56 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 7 T = 2.69 (out)(err) |
S = OPT O = 7 T = 7.49 (out)(err) |
S = OPT O = 7 T = 2.60 (out)(err) |
ped2.B.recomb1-0.01-3.wcnf | S = OPT O = 6 T = 1.69 |
S = N/A O = N/A T = TO (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 = OPT O = 6 T = 14.69 (out)(err) |
S = OPT O = 6 T = 9.48 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 930181 T = TO (out)(err) |
S = OPT O = 6 T = 1.69 (out)(err) |
S = OPT O = 6 T = 6.35 (out)(err) |
S = OPT O = 6 T = 1.72 (out)(err) |
ped2.B.recomb1-0.01-4.wcnf | S = OPT O = 7 T = 2.09 |
S = N/A O = N/A T = TO (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 = OPT O = 7 T = 19.79 (out)(err) |
S = OPT O = 7 T = 14.04 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 7 T = 2.09 (out)(err) |
S = OPT O = 7 T = 6.38 (out)(err) |
S = OPT O = 7 T = 2.98 (out)(err) |
ped2.B.recomb1-0.01-5.wcnf | S = OPT O = 7 T = 2.41 |
S = N/A O = N/A T = TO (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 = OPT O = 7 T = 19.81 (out)(err) |
S = OPT O = 7 T = 14.47 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 7 T = 2.41 (out)(err) |
S = OPT O = 7 T = 6.30 (out)(err) |
S = OPT O = 7 T = 2.83 (out)(err) |
ped2.B.recomb1-0.10-10.wcnf | S = OPT O = 6 T = 3.04 |
S = N/A O = N/A T = TO (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 = OPT O = 6 T = 21.64 (out)(err) |
S = OPT O = 6 T = 14.81 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 6 T = 4.17 (out)(err) |
S = OPT O = 6 T = 8.09 (out)(err) |
S = OPT O = 6 T = 3.04 (out)(err) |
ped2.B.recomb1-0.10-6.wcnf | S = OPT O = 7 T = 3.78 |
S = N/A O = N/A T = TO (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 = OPT O = 7 T = 21.99 (out)(err) |
S = OPT O = 7 T = 17.26 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 7 T = 3.83 (out)(err) |
S = OPT O = 7 T = 7.48 (out)(err) |
S = OPT O = 7 T = 3.78 (out)(err) |
ped2.B.recomb1-0.10-7.wcnf | S = OPT O = 588 T = 4.68 |
S = N/A O = N/A T = TO (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 = OPT O = 588 T = 26.06 (out)(err) |
S = OPT O = 588 T = 32.43 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 588 T = 6.38 (out)(err) |
S = OPT O = 588 T = 13.44 (out)(err) |
S = OPT O = 588 T = 4.68 (out)(err) |
ped2.B.recomb1-0.10-8.wcnf | S = OPT O = 589 T = 4.59 |
S = N/A O = N/A T = TO (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 = OPT O = 589 T = 25.26 (out)(err) |
S = OPT O = 589 T = 18.54 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 589 T = 6.79 (out)(err) |
S = OPT O = 589 T = 7.63 (out)(err) |
S = OPT O = 589 T = 4.59 (out)(err) |
ped2.B.recomb1-0.10-9.wcnf | S = OPT O = 7 T = 3.37 |
S = N/A O = N/A T = TO (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 = OPT O = 7 T = 20.37 (out)(err) |
S = OPT O = 7 T = 16.11 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 7 T = 5.62 (out)(err) |
S = OPT O = 7 T = 8.04 (out)(err) |
S = OPT O = 7 T = 3.37 (out)(err) |
ped2.B.recomb1-0.20-11.wcnf | S = OPT O = 7 T = 6.29 |
S = N/A O = N/A T = TO (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 = OPT O = 7 T = 24.96 (out)(err) |
S = OPT O = 7 T = 21.06 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 7 T = 12.75 (out)(err) |
S = OPT O = 7 T = 16.12 (out)(err) |
S = OPT O = 7 T = 6.29 (out)(err) |
ped2.B.recomb1-0.20-12.wcnf | S = OPT O = 7 T = 6.34 |
S = N/A O = N/A T = TO (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 = OPT O = 7 T = 24.85 (out)(err) |
S = OPT O = 7 T = 21.30 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 7 T = 9.19 (out)(err) |
S = OPT O = 7 T = 96.33 (out)(err) |
S = OPT O = 7 T = 6.34 (out)(err) |
ped2.B.recomb1-0.20-13.wcnf | S = OPT O = 7 T = 5.88 |
S = N/A O = N/A T = TO (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 = OPT O = 7 T = 25.76 (out)(err) |
S = OPT O = 7 T = 18.53 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 7 T = 7.59 (out)(err) |
S = OPT O = 7 T = 21.75 (out)(err) |
S = OPT O = 7 T = 5.88 (out)(err) |
ped2.B.recomb1-0.20-14.wcnf | S = OPT O = 7 T = 5.62 |
S = N/A O = N/A T = TO (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 = OPT O = 7 T = 23.51 (out)(err) |
S = OPT O = 7 T = 19.61 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 7 T = 7.18 (out)(err) |
S = OPT O = 7 T = 36.29 (out)(err) |
S = OPT O = 7 T = 5.62 (out)(err) |
ped2.B.recomb1-0.20-15.wcnf | S = OPT O = 7 T = 8.03 |
S = N/A O = N/A T = TO (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 = OPT O = 7 T = 26.83 (out)(err) |
S = OPT O = 7 T = 20.00 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 7 T = 9.74 (out)(err) |
S = OPT O = 7 T = 15.25 (out)(err) |
S = OPT O = 7 T = 8.03 (out)(err) |
ped2.G.recomb1-0.01-1.wcnf | S = OPT O = 6430 T = 43.10 |
S = N/A O = N/A T = TO (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 = OPT O = 6430 T = 236.28 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 4903929 T = TO (out)(err) |
S = N/A O = 181347 T = TO (out)(err) |
S = OPT O = 6430 T = 43.10 (out)(err) |
ped2.G.recomb1-0.01-2.wcnf | S = OPT O = 4686 T = 43.56 |
S = N/A O = N/A T = TO (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 = 293.55 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 4811542 T = TO (out)(err) |
S = N/A O = 121501 T = TO (out)(err) |
S = OPT O = 4686 T = 43.56 (out)(err) |
ped2.G.recomb1-0.01-3.wcnf | S = OPT O = 5266 T = 33.04 |
S = N/A O = N/A T = TO (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 = OPT O = 5266 T = 249.77 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 2015106 T = TO (out)(err) |
S = N/A O = 60483 T = TO (out)(err) |
S = OPT O = 5266 T = 33.04 (out)(err) |
ped2.G.recomb1-0.01-4.wcnf | S = OPT O = 7009 T = 38.28 |
S = N/A O = N/A T = TO (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 = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 4750522 T = TO (out)(err) |
S = N/A O = 137198 T = TO (out)(err) |
S = OPT O = 7009 T = 38.28 (out)(err) |
ped2.G.recomb1-0.01-5.wcnf | S = OPT O = 3521 T = 33.40 |
S = N/A O = N/A T = TO (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 = OPT O = 3521 T = 223.51 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3162648 T = TO (out)(err) |
S = N/A O = 93612 T = TO (out)(err) |
S = OPT O = 3521 T = 33.40 (out)(err) |
ped2.G.recomb1-0.10-10.wcnf | S = OPT O = 2358 T = 42.74 |
S = N/A O = N/A T = TO (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 = OPT O = 2358 T = 232.35 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 5.55 (out)(err) |
S = N/A O = N/A T = 5.68 (out)(err) |
S = N/A O = 3819863 T = TO (out)(err) |
S = N/A O = N/A T = 34.93 (out)(err) |
S = OPT O = 2358 T = 42.74 (out)(err) |
ped2.G.recomb1-0.10-6.wcnf | S = OPT O = 5845 T = 41.22 |
S = N/A O = N/A T = TO (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 = OPT O = 5845 T = 293.35 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 5.76 (out)(err) |
S = N/A O = N/A T = 5.75 (out)(err) |
S = N/A O = 3461989 T = TO (out)(err) |
S = N/A O = N/A T = 21.52 (out)(err) |
S = OPT O = 5845 T = 41.22 (out)(err) |
ped2.G.recomb1-0.10-7.wcnf | S = OPT O = 3522 T = 140.62 |
S = N/A O = N/A T = TO (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 = OPT O = 3522 T = 291.23 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 5.79 (out)(err) |
S = N/A O = N/A T = 5.92 (out)(err) |
S = N/A O = 3122086 T = TO (out)(err) |
S = N/A O = N/A T = 24.97 (out)(err) |
S = OPT O = 3522 T = 140.62 (out)(err) |
ped2.G.recomb1-0.10-8.wcnf | S = OPT O = 8175 T = 334.82 |
S = N/A O = N/A T = TO (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 = OPT O = 8175 T = 334.82 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 6.20 (out)(err) |
S = N/A O = N/A T = 6.29 (out)(err) |
S = N/A O = 3122669 T = TO (out)(err) |
S = N/A O = N/A T = 24.96 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ped2.G.recomb1-0.10-9.wcnf | S = OPT O = 4105 T = 47.64 |
S = N/A O = N/A T = TO (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 = OPT O = 4105 T = 273.21 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 6.09 (out)(err) |
S = N/A O = N/A T = 5.89 (out)(err) |
S = N/A O = 2940831 T = TO (out)(err) |
S = N/A O = N/A T = 26.22 (out)(err) |
S = OPT O = 4105 T = 47.64 (out)(err) |
ped2.G.recomb1-0.20-11.wcnf | S = OPT O = 4103 T = 371.07 |
S = N/A O = N/A T = TO (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 = OPT O = 4103 T = 371.07 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 7.48 (out)(err) |
S = N/A O = N/A T = 7.39 (out)(err) |
S = N/A O = 2647512 T = TO (out)(err) |
S = N/A O = N/A T = 191.33 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ped2.G.recomb1-0.20-12.wcnf | S = OPT O = 8175 T = 416.11 |
S = N/A O = N/A T = TO (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 = OPT O = 8175 T = 416.11 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 7.43 (out)(err) |
S = N/A O = N/A T = 7.52 (out)(err) |
S = N/A O = 2207704 T = TO (out)(err) |
S = N/A O = N/A T = 178.92 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ped2.G.recomb1-0.20-13.wcnf | S = OPT O = 6430 T = 365.41 |
S = N/A O = N/A T = TO (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 = OPT O = 6430 T = 365.41 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 7.47 (out)(err) |
S = N/A O = N/A T = 7.44 (out)(err) |
S = N/A O = 2704999 T = TO (out)(err) |
S = N/A O = N/A T = 130.34 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ped2.G.recomb1-0.20-14.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (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 = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 7.92 (out)(err) |
S = N/A O = N/A T = 7.95 (out)(err) |
S = N/A O = 2357605 T = TO (out)(err) |
S = N/A O = N/A T = 215.14 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ped2.G.recomb1-0.20-15.wcnf | S = OPT O = 5265 T = 361.07 |
S = N/A O = N/A T = TO (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 = OPT O = 5265 T = 361.07 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 8.21 (out)(err) |
S = N/A O = N/A T = 8.32 (out)(err) |
S = N/A O = 2640004 T = TO (out)(err) |
S = N/A O = N/A T = 131.97 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ped2.G.recomb10-0.01-1.wcnf | S = OPT O = 58202 T = 314.73 |
S = N/A O = N/A T = TO (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 = OPT O = 58202 T = 825.81 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 4833092 T = TO (out)(err) |
S = N/A O = 247091 T = TO (out)(err) |
S = OPT O = 58202 T = 314.73 (out)(err) |
ped2.G.recomb10-0.01-2.wcnf | S = OPT O = 46566 T = 324.92 |
S = N/A O = N/A T = TO (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 = OPT O = 46566 T = 906.19 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 5052125 T = TO (out)(err) |
S = N/A O = 197692 T = TO (out)(err) |
S = OPT O = 46566 T = 324.92 (out)(err) |
ped2.G.recomb10-0.01-3.wcnf | S = OPT O = 47737 T = 163.66 |
S = N/A O = N/A T = TO (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 = OPT O = 47737 T = 658.06 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 5476184 T = TO (out)(err) |
S = N/A O = 166869 T = TO (out)(err) |
S = OPT O = 47737 T = 163.66 (out)(err) |
ped2.G.recomb10-0.01-4.wcnf | S = OPT O = 58784 T = 1030.07 |
S = N/A O = N/A T = TO (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 = OPT O = 58784 T = 1030.07 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 4853453 T = TO (out)(err) |
S = N/A O = 223264 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ped2.G.recomb10-0.01-5.wcnf | S = OPT O = 59945 T = 187.79 |
S = N/A O = N/A T = TO (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 = OPT O = 59945 T = 975.60 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 5131739 T = TO (out)(err) |
S = N/A O = 218024 T = TO (out)(err) |
S = OPT O = 59945 T = 187.79 (out)(err) |
ped2.G.recomb10-0.10-10.wcnf | S = OPT O = 57616 T = 1205.72 |
S = N/A O = N/A T = TO (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 = OPT O = 57616 T = 1205.72 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 5.61 (out)(err) |
S = N/A O = N/A T = 5.66 (out)(err) |
S = N/A O = 3372530 T = TO (out)(err) |
S = N/A O = N/A T = 22.60 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ped2.G.recomb10-0.10-6.wcnf | S = OPT O = 47155 T = 425.56 |
S = N/A O = N/A T = TO (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 = OPT O = 47155 T = 936.11 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 5.61 (out)(err) |
S = N/A O = N/A T = 5.66 (out)(err) |
S = N/A O = 3394050 T = TO (out)(err) |
S = N/A O = N/A T = 33.34 (out)(err) |
S = OPT O = 47155 T = 425.56 (out)(err) |
ped2.G.recomb10-0.10-7.wcnf | S = OPT O = 52383 T = 1382.13 |
S = N/A O = N/A T = TO (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 = OPT O = 52383 T = 1382.13 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 5.98 (out)(err) |
S = N/A O = N/A T = 6.13 (out)(err) |
S = N/A O = 2996082 T = TO (out)(err) |
S = N/A O = N/A T = 23.13 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ped2.G.recomb10-0.10-8.wcnf | S = OPT O = 55874 T = 1169.22 |
S = N/A O = N/A T = TO (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 = OPT O = 55874 T = 1169.22 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 5.64 (out)(err) |
S = N/A O = N/A T = 5.54 (out)(err) |
S = N/A O = 3097747 T = TO (out)(err) |
S = N/A O = N/A T = 33.11 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ped2.G.recomb10-0.10-9.wcnf | S = OPT O = 47741 T = 885.17 |
S = N/A O = N/A T = TO (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 = OPT O = 47741 T = 885.17 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 5.30 (out)(err) |
S = N/A O = N/A T = 5.46 (out)(err) |
S = N/A O = 3292932 T = TO (out)(err) |
S = N/A O = 186087 T = 334.76 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ped2.G.recomb10-0.20-11.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (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 = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 7.69 (out)(err) |
S = N/A O = N/A T = 7.47 (out)(err) |
S = N/A O = 2217606 T = TO (out)(err) |
S = N/A O = N/A T = 127.84 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ped2.G.recomb10-0.20-12.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (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 = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 7.21 (out)(err) |
S = N/A O = N/A T = 7.30 (out)(err) |
S = N/A O = 2363990 T = TO (out)(err) |
S = N/A O = N/A T = 42.97 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ped2.G.recomb10-0.20-13.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (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 = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 7.51 (out)(err) |
S = N/A O = N/A T = 7.66 (out)(err) |
S = N/A O = 2672504 T = TO (out)(err) |
S = N/A O = N/A T = 144.86 (out)(err) |
S = N/A O = N/A T = 4.90 (out)(err) |
ped2.G.recomb10-0.20-14.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (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 = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 7.63 (out)(err) |
S = N/A O = N/A T = 7.64 (out)(err) |
S = N/A O = 2713151 T = TO (out)(err) |
S = N/A O = N/A T = 115.88 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ped2.G.recomb10-0.20-15.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (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 = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 7.26 (out)(err) |
S = N/A O = N/A T = 7.19 (out)(err) |
S = N/A O = 2338416 T = TO (out)(err) |
S = N/A O = N/A T = 48.83 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ped2.G.recomb5-0.01-1.wcnf | S = OPT O = 29116 T = 101.06 |
S = N/A O = N/A T = TO (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 = OPT O = 29116 T = 579.38 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 5301929 T = TO (out)(err) |
S = N/A O = 168596 T = TO (out)(err) |
S = OPT O = 29116 T = 101.06 (out)(err) |
ped2.G.recomb5-0.01-2.wcnf | S = OPT O = 34935 T = 650.69 |
S = N/A O = N/A T = TO (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 = OPT O = 34935 T = 650.69 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 4887153 T = TO (out)(err) |
S = N/A O = 187204 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ped2.G.recomb5-0.01-3.wcnf | S = OPT O = 31442 T = 103.24 |
S = N/A O = N/A T = TO (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 = OPT O = 31442 T = 535.52 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 4877814 T = TO (out)(err) |
S = N/A O = 113981 T = TO (out)(err) |
S = OPT O = 31442 T = 103.24 (out)(err) |
ped2.G.recomb5-0.01-4.wcnf | S = OPT O = 21555 T = 80.23 |
S = N/A O = N/A T = TO (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 = OPT O = 21555 T = 454.37 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 4449055 T = TO (out)(err) |
S = N/A O = 172660 T = TO (out)(err) |
S = OPT O = 21555 T = 80.23 (out)(err) |
ped2.G.recomb5-0.01-5.wcnf | S = OPT O = 25054 T = 79.53 |
S = N/A O = N/A T = TO (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 = OPT O = 25054 T = 482.10 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 4905078 T = TO (out)(err) |
S = N/A O = 165130 T = TO (out)(err) |
S = OPT O = 25054 T = 79.53 (out)(err) |
ped2.G.recomb5-0.10-10.wcnf | S = OPT O = 25042 T = 137.62 |
S = N/A O = N/A T = TO (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 = OPT O = 25042 T = 522.73 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 5.48 (out)(err) |
S = N/A O = N/A T = 5.44 (out)(err) |
S = N/A O = 3285949 T = TO (out)(err) |
S = N/A O = N/A T = 35.05 (out)(err) |
S = OPT O = 25042 T = 137.62 (out)(err) |
ped2.G.recomb5-0.10-6.wcnf | S = OPT O = 27380 T = 145.45 |
S = N/A O = N/A T = TO (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 = OPT O = 27380 T = 579.18 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 5.46 (out)(err) |
S = N/A O = N/A T = 5.52 (out)(err) |
S = N/A O = 3260991 T = TO (out)(err) |
S = N/A O = 222680 T = 37.44 (out)(err) |
S = OPT O = 27380 T = 145.45 (out)(err) |
ped2.G.recomb5-0.10-7.wcnf | S = OPT O = 25626 T = 158.73 |
S = N/A O = N/A T = TO (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 = OPT O = 25626 T = 587.52 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 5.55 (out)(err) |
S = N/A O = N/A T = 5.29 (out)(err) |
S = N/A O = 3265601 T = TO (out)(err) |
S = N/A O = 179665 T = 37.30 (out)(err) |
S = OPT O = 25626 T = 158.73 (out)(err) |
ped2.G.recomb5-0.10-8.wcnf | S = OPT O = 25048 T = 175.23 |
S = N/A O = N/A T = TO (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 = OPT O = 25048 T = 713.38 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 5.92 (out)(err) |
S = N/A O = N/A T = 5.87 (out)(err) |
S = N/A O = 2997786 T = TO (out)(err) |
S = N/A O = N/A T = 24.76 (out)(err) |
S = OPT O = 25048 T = 175.23 (out)(err) |
ped2.G.recomb5-0.10-9.wcnf | S = OPT O = 31445 T = 818.36 |
S = N/A O = N/A T = TO (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 = OPT O = 31445 T = 818.36 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 5.55 (out)(err) |
S = N/A O = N/A T = 5.46 (out)(err) |
S = N/A O = 3191249 T = TO (out)(err) |
S = N/A O = N/A T = 32.48 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ped2.G.recomb5-0.20-11.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (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 = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 8.23 (out)(err) |
S = N/A O = N/A T = 8.12 (out)(err) |
S = N/A O = 2264071 T = TO (out)(err) |
S = N/A O = N/A T = 194.47 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ped2.G.recomb5-0.20-12.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (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 = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 7.51 (out)(err) |
S = N/A O = N/A T = 7.36 (out)(err) |
S = N/A O = 2292506 T = TO (out)(err) |
S = N/A O = N/A T = 188.54 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ped2.G.recomb5-0.20-13.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (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 = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 7.76 (out)(err) |
S = N/A O = N/A T = 7.81 (out)(err) |
S = N/A O = 2166429 T = TO (out)(err) |
S = N/A O = N/A T = 148.79 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ped2.G.recomb5-0.20-14.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (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 = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 7.30 (out)(err) |
S = N/A O = N/A T = 7.56 (out)(err) |
S = N/A O = 2469735 T = TO (out)(err) |
S = N/A O = N/A T = 57.12 (out)(err) |
S = N/A O = N/A T = 5.44 (out)(err) |
ped2.G.recomb5-0.20-15.wcnf | S = OPT O = 25045 T = 795.10 |
S = N/A O = N/A T = TO (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 = OPT O = 25045 T = 795.10 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 7.74 (out)(err) |
S = N/A O = N/A T = 7.94 (out)(err) |
S = N/A O = 2782894 T = TO (out)(err) |
S = N/A O = N/A T = 148.74 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ped3.D.recomb10-0.20-11.wcnf | S = OPT O = 690 T = 21.06 |
S = N/A O = N/A T = TO (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 = OPT O = 690 T = 21.06 (out)(err) |
S = OPT O = 690 T = 47.11 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 525481 T = TO (out)(err) |
S = OPT O = 690 T = 186.62 (out)(err) |
S = OPT O = 690 T = 595.85 (out)(err) |
S = OPT O = 690 T = 37.46 (out)(err) |
ped3.D.recomb10-0.20-12.wcnf | S = OPT O = 349 T = 2.48 |
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 = N/A T = 0.00 (out)(err) |
S = OPT O = 349 T = 10.60 (out)(err) |
S = OPT O = 349 T = 8.16 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 525481 T = TO (out)(err) |
S = OPT O = 349 T = 6.97 (out)(err) |
S = OPT O = 349 T = 10.27 (out)(err) |
S = OPT O = 349 T = 2.48 (out)(err) |
ped3.D.recomb10-0.20-13.wcnf | S = OPT O = 350 T = 8.06 |
S = N/A O = N/A T = 0.59 (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 = OPT O = 350 T = 16.43 (out)(err) |
S = OPT O = 350 T = 15.96 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 525481 T = TO (out)(err) |
S = OPT O = 350 T = 83.73 (out)(err) |
S = OPT O = 350 T = 231.55 (out)(err) |
S = OPT O = 350 T = 8.06 (out)(err) |
ped3.D.recomb10-0.20-14.wcnf | S = OPT O = 7 T = 3.32 |
S = N/A O = N/A T = 0.56 (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 = OPT O = 7 T = 9.98 (out)(err) |
S = OPT O = 7 T = 7.65 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 525481 T = TO (out)(err) |
S = OPT O = 7 T = 8.41 (out)(err) |
S = OPT O = 7 T = 9.18 (out)(err) |
S = OPT O = 7 T = 3.32 (out)(err) |
ped3.D.recomb10-0.20-15.wcnf | S = OPT O = 689 T = 79.84 |
S = N/A O = N/A T = 0.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 = OPT O = 689 T = 79.84 (out)(err) |
S = OPT O = 689 T = 250.24 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 525481 T = TO (out)(err) |
S = OPT O = 689 T = 849.79 (out)(err) |
S = OPT O = 689 T = 1062.58 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ped3.E.recomb10-0.20-11.wcnf | S = OPT O = 9588 T = 48.84 |
S = N/A O = N/A T = TO (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 = OPT O = 9588 T = 152.27 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 1875841 T = TO (out)(err) |
S = N/A O = 649150 T = TO (out)(err) |
S = N/A O = 54303 T = TO (out)(err) |
S = OPT O = 9588 T = 48.84 (out)(err) |
ped3.E.recomb10-0.20-12.wcnf | S = OPT O = 9927 T = 173.84 |
S = N/A O = N/A T = TO (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 = OPT O = 9927 T = 173.84 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 1875841 T = TO (out)(err) |
S = N/A O = 586423 T = TO (out)(err) |
S = N/A O = 72020 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ped3.E.recomb10-0.20-13.wcnf | S = OPT O = 8559 T = 52.73 |
S = N/A O = N/A T = TO (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 = OPT O = 8559 T = 322.69 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 1875841 T = TO (out)(err) |
S = N/A O = 570715 T = TO (out)(err) |
S = N/A O = 35536 T = TO (out)(err) |
S = OPT O = 8559 T = 52.73 (out)(err) |
ped3.E.recomb10-0.20-14.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (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 = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 1875841 T = TO (out)(err) |
S = N/A O = 610303 T = TO (out)(err) |
S = N/A O = 70312 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ped3.E.recomb10-0.20-15.wcnf | S = OPT O = 3781 T = 164.39 |
S = N/A O = N/A T = TO (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 = OPT O = 3781 T = 164.39 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 1875841 T = TO (out)(err) |
S = N/A O = 728969 T = TO (out)(err) |
S = N/A O = 31765 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ped3.F.recomb10-0.01-1.wcnf | S = OPT O = 6853 T = 16.11 |
S = N/A O = N/A T = TO (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 = OPT O = 6853 T = 68.42 (out)(err) |
S = OPT O = 6853 T = 93.62 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 1575761 T = TO (out)(err) |
S = N/A O = 346592 T = TO (out)(err) |
S = N/A O = 24605 T = TO (out)(err) |
S = OPT O = 6853 T = 16.11 (out)(err) |
ped3.F.recomb10-0.01-2.wcnf | S = OPT O = 8900 T = 13.84 |
S = N/A O = N/A T = TO (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 = OPT O = 8900 T = 73.72 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 1575761 T = TO (out)(err) |
S = N/A O = 755168 T = TO (out)(err) |
S = N/A O = 31766 T = TO (out)(err) |
S = OPT O = 8900 T = 13.84 (out)(err) |
ped3.F.recomb10-0.01-3.wcnf | S = OPT O = 7193 T = 15.33 |
S = N/A O = N/A T = TO (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 = OPT O = 7193 T = 76.53 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 1575761 T = TO (out)(err) |
S = N/A O = 464245 T = TO (out)(err) |
S = N/A O = 25969 T = TO (out)(err) |
S = OPT O = 7193 T = 15.33 (out)(err) |
ped3.F.recomb10-0.01-4.wcnf | S = OPT O = 5483 T = 15.62 |
S = N/A O = N/A T = TO (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 = OPT O = 5483 T = 70.08 (out)(err) |
S = OPT O = 5483 T = 691.93 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 1575761 T = TO (out)(err) |
S = N/A O = 276347 T = TO (out)(err) |
S = N/A O = 19469 T = TO (out)(err) |
S = OPT O = 5483 T = 15.62 (out)(err) |
ped3.F.recomb10-0.01-5.wcnf | S = OPT O = 7540 T = 16.33 |
S = N/A O = N/A T = TO (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 = OPT O = 7540 T = 75.45 (out)(err) |
S = OPT O = 7540 T = 198.66 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 1575761 T = TO (out)(err) |
S = N/A O = 793671 T = TO (out)(err) |
S = N/A O = 15394 T = TO (out)(err) |
S = OPT O = 7540 T = 16.33 (out)(err) |
ped3.F.recomb10-0.10-10.wcnf | S = OPT O = 7537 T = 23.79 |
S = N/A O = N/A T = TO (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 = OPT O = 7537 T = 102.94 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 1575761 T = TO (out)(err) |
S = N/A O = 652182 T = TO (out)(err) |
S = N/A O = 29044 T = TO (out)(err) |
S = OPT O = 7537 T = 23.79 (out)(err) |
ped3.F.recomb10-0.10-6.wcnf | S = OPT O = 6517 T = 21.64 |
S = N/A O = N/A T = TO (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 = OPT O = 6517 T = 95.09 (out)(err) |
S = OPT O = 6517 T = 163.12 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 1575761 T = TO (out)(err) |
S = N/A O = 757594 T = TO (out)(err) |
S = N/A O = 31436 T = TO (out)(err) |
S = OPT O = 6517 T = 21.64 (out)(err) |
ped3.F.recomb10-0.10-7.wcnf | S = OPT O = 8905 T = 24.82 |
S = N/A O = N/A T = TO (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 = OPT O = 8905 T = 107.93 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 1575761 T = TO (out)(err) |
S = N/A O = 642331 T = TO (out)(err) |
S = N/A O = 51216 T = TO (out)(err) |
S = OPT O = 8905 T = 24.82 (out)(err) |
ped3.F.recomb10-0.10-8.wcnf | S = OPT O = 9245 T = 173.49 |
S = N/A O = N/A T = TO (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 = OPT O = 9245 T = 175.01 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 1575761 T = TO (out)(err) |
S = N/A O = 614705 T = TO (out)(err) |
S = N/A O = 55309 T = TO (out)(err) |
S = OPT O = 9245 T = 173.49 (out)(err) |
ped3.F.recomb10-0.10-9.wcnf | S = OPT O = 5488 T = 66.08 |
S = N/A O = N/A T = TO (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 = OPT O = 5488 T = 110.51 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 1575761 T = TO (out)(err) |
S = N/A O = 707421 T = TO (out)(err) |
S = N/A O = 22552 T = TO (out)(err) |
S = OPT O = 5488 T = 66.08 (out)(err) |
ped3.F.recomb10-0.20-11.wcnf | S = OPT O = 4807 T = 40.59 |
S = N/A O = N/A T = TO (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 = OPT O = 4807 T = 101.44 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 1575761 T = TO (out)(err) |
S = N/A O = 535969 T = TO (out)(err) |
S = N/A O = 64894 T = TO (out)(err) |
S = OPT O = 4807 T = 40.59 (out)(err) |
ped3.F.recomb10-0.20-12.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (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 = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 1575761 T = TO (out)(err) |
S = N/A O = 588801 T = TO (out)(err) |
S = N/A O = 56007 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ped3.F.recomb10-0.20-13.wcnf | S = OPT O = 2412 T = 57.77 |
S = N/A O = N/A T = TO (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 = OPT O = 2412 T = 82.51 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 1575761 T = TO (out)(err) |
S = N/A O = 474221 T = TO (out)(err) |
S = N/A O = 50212 T = TO (out)(err) |
S = OPT O = 2412 T = 57.77 (out)(err) |
ped3.F.recomb10-0.20-14.wcnf | S = OPT O = 5482 T = 157.51 |
S = N/A O = N/A T = TO (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 = OPT O = 5482 T = 157.51 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 1575761 T = TO (out)(err) |
S = N/A O = 455145 T = TO (out)(err) |
S = N/A O = 51552 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ped3.F.recomb10-0.20-15.wcnf | S = OPT O = 4123 T = 25.67 |
S = N/A O = N/A T = TO (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 = OPT O = 4123 T = 98.30 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 1575761 T = TO (out)(err) |
S = N/A O = 488212 T = TO (out)(err) |
S = N/A O = 38275 T = TO (out)(err) |
S = OPT O = 4123 T = 25.67 (out)(err) |
ped3.G.recomb10-0.01-1.wcnf | S = OPT O = 15748 T = 201.58 |
S = N/A O = N/A T = TO (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 = OPT O = 15748 T = 201.58 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3451261 T = TO (out)(err) |
S = N/A O = 1974243 T = TO (out)(err) |
S = N/A O = 39976 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ped3.G.recomb10-0.01-2.wcnf | S = OPT O = 16784 T = 37.84 |
S = N/A O = N/A T = TO (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 = OPT O = 16784 T = 189.22 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3451261 T = TO (out)(err) |
S = N/A O = 1544957 T = TO (out)(err) |
S = N/A O = 48180 T = TO (out)(err) |
S = OPT O = 16784 T = 37.84 (out)(err) |
ped3.G.recomb10-0.01-3.wcnf | S = OPT O = 15414 T = 38.18 |
S = N/A O = N/A T = TO (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 = OPT O = 15414 T = 205.66 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3451261 T = TO (out)(err) |
S = N/A O = 1672478 T = TO (out)(err) |
S = N/A O = 71381 T = TO (out)(err) |
S = OPT O = 15414 T = 38.18 (out)(err) |
ped3.G.recomb10-0.01-4.wcnf | S = OPT O = 17444 T = 46.97 |
S = N/A O = N/A T = TO (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 = OPT O = 17444 T = 183.22 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3451261 T = TO (out)(err) |
S = N/A O = 1270085 T = TO (out)(err) |
S = N/A O = 59416 T = TO (out)(err) |
S = OPT O = 17444 T = 46.97 (out)(err) |
ped3.G.recomb10-0.01-5.wcnf | S = OPT O = 14043 T = 220.51 |
S = N/A O = N/A T = TO (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 = OPT O = 14043 T = 220.51 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3451261 T = TO (out)(err) |
S = N/A O = 1507111 T = TO (out)(err) |
S = N/A O = 56355 T = TO (out)(err) |
S = OPT O = 14043 T = 334.62 (out)(err) |
ped3.G.recomb10-0.10-10.wcnf | S = OPT O = 18485 T = 750.96 |
S = N/A O = N/A T = TO (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 = OPT O = 18485 T = 750.96 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3451261 T = TO (out)(err) |
S = N/A O = 1033493 T = TO (out)(err) |
S = N/A O = 68303 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ped3.G.recomb10-0.10-6.wcnf | S = OPT O = 17460 T = 49.99 |
S = N/A O = N/A T = TO (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 = OPT O = 17460 T = 234.94 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3451261 T = TO (out)(err) |
S = N/A O = 1202977 T = TO (out)(err) |
S = N/A O = 72411 T = TO (out)(err) |
S = OPT O = 17460 T = 49.99 (out)(err) |
ped3.G.recomb10-0.10-7.wcnf | S = OPT O = 16092 T = 72.84 |
S = N/A O = N/A T = TO (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 = OPT O = 16092 T = 227.48 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3451261 T = TO (out)(err) |
S = N/A O = 883782 T = TO (out)(err) |
S = N/A O = 74114 T = TO (out)(err) |
S = OPT O = 16092 T = 72.84 (out)(err) |
ped3.G.recomb10-0.10-8.wcnf | S = OPT O = 15072 T = 47.03 |
S = N/A O = N/A T = TO (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 = OPT O = 15072 T = 196.15 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3451261 T = TO (out)(err) |
S = N/A O = 1181133 T = TO (out)(err) |
S = N/A O = 68307 T = TO (out)(err) |
S = OPT O = 15072 T = 47.03 (out)(err) |
ped3.G.recomb10-0.10-9.wcnf | S = OPT O = 15407 T = 230.27 |
S = N/A O = N/A T = TO (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 = OPT O = 15407 T = 230.27 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3451261 T = TO (out)(err) |
S = N/A O = 1147385 T = TO (out)(err) |
S = N/A O = 79235 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ped3.G.recomb10-0.20-11.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (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 = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3451261 T = TO (out)(err) |
S = N/A O = 959865 T = TO (out)(err) |
S = N/A O = 73772 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ped3.G.recomb10-0.20-12.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (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 = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3451261 T = TO (out)(err) |
S = N/A O = 730006 T = TO (out)(err) |
S = N/A O = 58408 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ped3.G.recomb10-0.20-13.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (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 = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3451261 T = TO (out)(err) |
S = N/A O = 864023 T = TO (out)(err) |
S = N/A O = 106896 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ped3.G.recomb10-0.20-14.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (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 = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3451261 T = TO (out)(err) |
S = N/A O = 771627 T = TO (out)(err) |
S = N/A O = 68657 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
ped3.G.recomb10-0.20-15.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (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 = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3451261 T = TO (out)(err) |
S = N/A O = 970069 T = TO (out)(err) |
S = N/A O = 84351 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
comp01.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 840 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 1800.00 (out)(err) |
comp02.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (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 = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3500 T = TO (out)(err) |
S = N/A O = 450 T = TO (out)(err) |
S = N/A O = 257 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
comp03.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (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 = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3400 T = TO (out)(err) |
S = N/A O = 304 T = TO (out)(err) |
S = N/A O = 374 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
comp04.wcnf | S = OPT O = 35 T = 40.78 |
S = N/A O = N/A T = TO (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 = OPT O = 35 T = 160.91 (out)(err) |
S = OPT O = 35 T = 238.27 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 2850 T = TO (out)(err) |
S = N/A O = 222 T = TO (out)(err) |
S = N/A O = 206 T = TO (out)(err) |
S = OPT O = 35 T = 40.78 (out)(err) |
comp05.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (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 = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 10008 T = TO (out)(err) |
S = N/A O = 977 T = TO (out)(err) |
S = N/A O = 929 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
comp06.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (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 = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3500 T = TO (out)(err) |
S = N/A O = 1181 T = TO (out)(err) |
S = N/A O = 437 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
comp07.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (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 = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 4.56 (out)(err) |
S = N/A O = N/A T = 4.73 (out)(err) |
S = N/A O = 1654 T = TO (out)(err) |
S = N/A O = N/A T = 57.74 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
comp08.wcnf | S = OPT O = 37 T = 107.37 |
S = N/A O = N/A T = TO (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 = OPT O = 37 T = 107.37 (out)(err) |
S = OPT O = 37 T = 197.05 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3050 T = TO (out)(err) |
S = N/A O = 402 T = TO (out)(err) |
S = N/A O = 399 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
comp09.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (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 = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3750 T = TO (out)(err) |
S = N/A O = 429 T = TO (out)(err) |
S = N/A O = 324 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
comp10.wcnf | S = OPT O = 4 T = 95.96 |
S = N/A O = N/A T = TO (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 = OPT O = 4 T = 151.49 (out)(err) |
S = OPT O = 4 T = 95.96 (out)(err) |
S = N/A O = N/A T = 3.30 (out)(err) |
S = N/A O = N/A T = 3.29 (out)(err) |
S = N/A O = 1026 T = TO (out)(err) |
S = N/A O = 678 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
comp12.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (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 = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 10800 T = TO (out)(err) |
S = N/A O = 1167 T = TO (out)(err) |
S = N/A O = 1013 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
comp13.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (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 = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3300 T = TO (out)(err) |
S = N/A O = 461 T = TO (out)(err) |
S = N/A O = 368 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
comp14.wcnf | S = OPT O = 51 T = 410.97 |
S = N/A O = N/A T = TO (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 = TO (out)(err) |
S = OPT O = 51 T = 410.97 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3000 T = TO (out)(err) |
S = N/A O = 399 T = TO (out)(err) |
S = N/A O = 323 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
comp15.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (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 = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3400 T = TO (out)(err) |
S = N/A O = 304 T = TO (out)(err) |
S = N/A O = 376 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
comp16.wcnf | S = OPT O = 18 T = 185.91 |
S = N/A O = N/A T = TO (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 = OPT O = 18 T = 185.91 (out)(err) |
S = OPT O = 18 T = 253.18 (out)(err) |
S = N/A O = N/A T = 3.48 (out)(err) |
S = N/A O = N/A T = 3.45 (out)(err) |
S = N/A O = 1034 T = TO (out)(err) |
S = N/A O = 504 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
comp17.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (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 = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 589 T = TO (out)(err) |
S = N/A O = 566 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
comp18.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = 0.35 (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 = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3744 T = TO (out)(err) |
S = N/A O = 326 T = TO (out)(err) |
S = N/A O = 214 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
comp19.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (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 = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3300 T = TO (out)(err) |
S = N/A O = 388 T = TO (out)(err) |
S = N/A O = 315 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
comp20.wcnf | S = OPT O = 4 T = 650.53 |
S = N/A O = N/A T = TO (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 = OPT O = 4 T = 650.53 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 3.31 (out)(err) |
S = N/A O = N/A T = 3.35 (out)(err) |
S = N/A O = 1431 T = TO (out)(err) |
S = N/A O = 625 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
comp21.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (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 = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 594 T = TO (out)(err) |
S = N/A O = 473 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
dds1.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (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 = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 5.40 (out)(err) |
S = N/A O = N/A T = 5.70 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 76.72 (out)(err) |
S = N/A O = N/A T = 2.31 (out)(err) |
dds4.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (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 = 13.45 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 20.23 (out)(err) |
S = N/A O = N/A T = 20.88 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = 3.20 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
test1.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 1040 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
test2.wcnf | S = OPT O = 16 T = 39.74 |
S = N/A O = N/A T = TO (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 = OPT O = 16 T = 39.74 (out)(err) |
S = OPT O = 16 T = 60.92 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 1200 T = TO (out)(err) |
S = N/A O = 593 T = TO (out)(err) |
S = N/A O = 341 T = TO (out)(err) |
S = OPT O = 16 T = 418.25 (out)(err) |
test3.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = 0.56 (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 = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 2200 T = TO (out)(err) |
S = N/A O = 861 T = TO (out)(err) |
S = N/A O = 819 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
test4.wcnf | S = N/A O = N/A T = TO |
S = N/A O = N/A T = 0.61 (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 = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 2750 T = TO (out)(err) |
S = N/A O = 1064 T = TO (out)(err) |
S = N/A O = 1145 T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
mancoosi-test-i1000d0u98-0.wcnf | S = OPT O = 107076495 T = 33.16 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 2721666421 T = TO (out)(err) |
S = N/A O = 2721666421 T = TO (out)(err) |
S = OPT O = 107076495 T = 33.16 (out)(err) |
S = OPT O = 107076495 T = 189.78 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 16514222410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = OPT O = 107076495 T = 798.24 (out)(err) |
S = OPT O = 107076495 T = 50.47 (out)(err) |
mancoosi-test-i1000d0u98-1.wcnf | S = OPT O = 122084953 T = 38.13 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3352528799 T = TO (out)(err) |
S = N/A O = 3352528799 T = TO (out)(err) |
S = OPT O = 122084953 T = 38.13 (out)(err) |
S = OPT O = 122084953 T = 198.26 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 16514222410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = N/A O = 122084953 T = TO (out)(err) |
S = OPT O = 122084953 T = 63.24 (out)(err) |
mancoosi-test-i1000d0u98-10.wcnf | S = OPT O = 152083527 T = 33.77 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 152083527 T = 33.77 (out)(err) |
S = OPT O = 152083527 T = 179.95 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 16514222410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = OPT O = 152083527 T = 42.22 (out)(err) |
S = OPT O = 152083527 T = 45.71 (out)(err) |
mancoosi-test-i1000d0u98-11.wcnf | S = OPT O = 122139402 T = 33.84 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 122139402 T = 33.84 (out)(err) |
S = OPT O = 122139402 T = 190.81 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 16514222410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = OPT O = 122139402 T = 222.59 (out)(err) |
S = OPT O = 122139402 T = 56.22 (out)(err) |
mancoosi-test-i1000d0u98-12.wcnf | S = OPT O = 77077761 T = 29.24 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3052251337 T = TO (out)(err) |
S = N/A O = 3052251337 T = TO (out)(err) |
S = OPT O = 77077761 T = 29.24 (out)(err) |
S = OPT O = 77077761 T = 171.64 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 16514222410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = N/A O = 77077762 T = TO (out)(err) |
S = OPT O = 77077761 T = 49.46 (out)(err) |
mancoosi-test-i1000d0u98-13.wcnf | S = OPT O = 182245730 T = 33.06 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3052233192 T = TO (out)(err) |
S = N/A O = 3052233192 T = TO (out)(err) |
S = OPT O = 182245730 T = 33.06 (out)(err) |
S = OPT O = 182245730 T = 192.07 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 16514222410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = OPT O = 182245730 T = 40.92 (out)(err) |
S = OPT O = 182245730 T = 50.86 (out)(err) |
mancoosi-test-i1000d0u98-14.wcnf | S = OPT O = 137147806 T = 34.04 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 1865223495 T = TO (out)(err) |
S = N/A O = 1865223495 T = TO (out)(err) |
S = OPT O = 137147806 T = 34.04 (out)(err) |
S = OPT O = 137147806 T = 191.88 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 16514222410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = OPT O = 137147806 T = 390.23 (out)(err) |
S = OPT O = 137147806 T = 53.48 (out)(err) |
mancoosi-test-i1000d0u98-15.wcnf | S = OPT O = 92031744 T = 35.65 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 2496322087 T = TO (out)(err) |
S = N/A O = 2496322087 T = TO (out)(err) |
S = OPT O = 92031744 T = 35.65 (out)(err) |
S = OPT O = 92031744 T = 191.24 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 16514222410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = OPT O = 92031744 T = 75.20 (out)(err) |
S = OPT O = 92031744 T = 60.34 (out)(err) |
mancoosi-test-i1000d0u98-16.wcnf | S = OPT O = 137075245 T = 35.17 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 2361100970 T = TO (out)(err) |
S = N/A O = 2361100970 T = TO (out)(err) |
S = OPT O = 137075245 T = 35.17 (out)(err) |
S = OPT O = 137075245 T = 208.84 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 16514222410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = OPT O = 137075245 T = 53.04 (out)(err) |
S = OPT O = 137075245 T = 68.98 (out)(err) |
mancoosi-test-i1000d0u98-17.wcnf | S = OPT O = 152192544 T = 32.95 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 152192544 T = 32.95 (out)(err) |
S = OPT O = 152192544 T = 185.66 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 16514222410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = OPT O = 152192544 T = 55.72 (out)(err) |
S = OPT O = 152192544 T = 52.67 (out)(err) |
mancoosi-test-i1000d0u98-18.wcnf | S = OPT O = 152228825 T = 11.08 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 2616625641 T = TO (out)(err) |
S = N/A O = 2616625641 T = TO (out)(err) |
S = OPT O = 152228825 T = 27.12 (out)(err) |
S = OPT O = 152228825 T = 163.13 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 16514222410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = OPT O = 152228825 T = 11.08 (out)(err) |
S = OPT O = 152228825 T = 44.84 (out)(err) |
mancoosi-test-i1000d0u98-19.wcnf | S = OPT O = 92049939 T = 36.70 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 92049939 T = 36.70 (out)(err) |
S = OPT O = 92049939 T = 205.07 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 16514222410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = OPT O = 92049939 T = 100.43 (out)(err) |
S = OPT O = 92049939 T = 53.07 (out)(err) |
mancoosi-test-i1000d0u98-2.wcnf | S = OPT O = 77059701 T = 18.73 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 2225825289 T = TO (out)(err) |
S = N/A O = 2225825289 T = TO (out)(err) |
S = OPT O = 77059701 T = 34.66 (out)(err) |
S = OPT O = 77059701 T = 196.04 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 16514222410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = OPT O = 77059701 T = 18.73 (out)(err) |
S = OPT O = 77059701 T = 54.46 (out)(err) |
mancoosi-test-i1000d0u98-20.wcnf | S = OPT O = 122103131 T = 35.56 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 2511385020 T = TO (out)(err) |
S = N/A O = 2511385020 T = TO (out)(err) |
S = OPT O = 122103131 T = 35.56 (out)(err) |
S = OPT O = 122103131 T = 214.35 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 16514222410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = N/A O = 122103131 T = TO (out)(err) |
S = OPT O = 122103131 T = 55.62 (out)(err) |
mancoosi-test-i1000d0u98-21.wcnf | S = OPT O = 77041487 T = 35.41 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3397917437 T = TO (out)(err) |
S = N/A O = 3397917437 T = TO (out)(err) |
S = OPT O = 77041487 T = 35.41 (out)(err) |
S = OPT O = 77041487 T = 370.70 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 16514222410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = OPT O = 77041487 T = 89.18 (out)(err) |
S = OPT O = 77041487 T = 51.42 (out)(err) |
mancoosi-test-i1000d0u98-22.wcnf | S = OPT O = 92086312 T = 39.48 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 92086312 T = 39.48 (out)(err) |
S = OPT O = 92086312 T = 1283.95 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 16514222410 T = TO (out)(err) |
S = N/A O = N/A T = 0.01 (out)(err) |
S = OPT O = 92086312 T = 84.15 (out)(err) |
S = OPT O = 92086312 T = 66.82 (out)(err) |
mancoosi-test-i1000d0u98-23.wcnf | S = OPT O = 62014822 T = 28.16 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 2331047736 T = TO (out)(err) |
S = N/A O = 2331047736 T = TO (out)(err) |
S = OPT O = 62014822 T = 28.82 (out)(err) |
S = OPT O = 62014822 T = 174.54 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 16514222410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = OPT O = 62014822 T = 28.16 (out)(err) |
S = OPT O = 62014822 T = 44.05 (out)(err) |
mancoosi-test-i1000d0u98-24.wcnf | S = OPT O = 167273676 T = 34.47 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 18502332 T = TO (out)(err) |
S = N/A O = 18502332 T = TO (out)(err) |
S = OPT O = 167273676 T = 34.47 (out)(err) |
S = OPT O = 167273676 T = 183.17 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 16514222410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = OPT O = 167273676 T = 355.61 (out)(err) |
S = OPT O = 167273676 T = 53.74 (out)(err) |
mancoosi-test-i1000d0u98-3.wcnf | S = OPT O = 91959146 T = 33.96 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3067059901 T = TO (out)(err) |
S = N/A O = 3067059901 T = TO (out)(err) |
S = OPT O = 91959146 T = 40.51 (out)(err) |
S = OPT O = 91959146 T = 210.69 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 16514222410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = OPT O = 91959146 T = 33.96 (out)(err) |
S = OPT O = 91959146 T = 62.86 (out)(err) |
mancoosi-test-i1000d0u98-4.wcnf | S = OPT O = 122175781 T = 36.16 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 2391099638 T = TO (out)(err) |
S = N/A O = 2391099638 T = TO (out)(err) |
S = OPT O = 122175781 T = 36.16 (out)(err) |
S = OPT O = 122175781 T = 193.91 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 16514222410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = OPT O = 122175781 T = 396.74 (out)(err) |
S = OPT O = 122175781 T = 60.72 (out)(err) |
mancoosi-test-i1000d0u98-5.wcnf | S = OPT O = 107058295 T = 34.19 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 2180745 T = TO (out)(err) |
S = N/A O = 2180745 T = TO (out)(err) |
S = OPT O = 107058295 T = 34.19 (out)(err) |
S = OPT O = 107058295 T = 201.59 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 16514222410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = OPT O = 107058295 T = 549.14 (out)(err) |
S = OPT O = 107058295 T = 46.74 (out)(err) |
mancoosi-test-i1000d0u98-6.wcnf | S = OPT O = 137093314 T = 34.14 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 2270868743 T = TO (out)(err) |
S = N/A O = 2270868743 T = TO (out)(err) |
S = OPT O = 137093314 T = 34.14 (out)(err) |
S = OPT O = 137093314 T = 185.43 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 16514222410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = OPT O = 137093314 T = 61.81 (out)(err) |
S = OPT O = 137093314 T = 55.14 (out)(err) |
mancoosi-test-i1000d0u98-7.wcnf | S = OPT O = 92104395 T = 34.26 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 2270 T = TO (out)(err) |
S = N/A O = 2270 T = TO (out)(err) |
S = OPT O = 92104395 T = 34.26 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 16514222410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = OPT O = 92104395 T = 84.42 (out)(err) |
S = OPT O = 92104395 T = 56.05 (out)(err) |
mancoosi-test-i1000d0u98-8.wcnf | S = OPT O = 137057008 T = 35.36 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3217543831 T = TO (out)(err) |
S = N/A O = 3217543831 T = TO (out)(err) |
S = OPT O = 137057008 T = 35.36 (out)(err) |
S = OPT O = 137057008 T = 193.94 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 16514222410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = N/A O = 137057008 T = TO (out)(err) |
S = OPT O = 137057008 T = 55.68 (out)(err) |
mancoosi-test-i1000d0u98-9.wcnf | S = OPT O = 167164758 T = 25.45 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 167164758 T = 39.60 (out)(err) |
S = OPT O = 167164758 T = 217.70 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 16514222410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = OPT O = 167164758 T = 25.45 (out)(err) |
S = OPT O = 167164758 T = 67.74 (out)(err) |
mancoosi-test-i2000d0u98-25.wcnf | S = OPT O = 332548069 T = 38.41 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3458132909 T = TO (out)(err) |
S = N/A O = 3458132909 T = TO (out)(err) |
S = OPT O = 332548069 T = 38.41 (out)(err) |
S = OPT O = 332548069 T = 212.13 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 31540812410 T = TO (out)(err) |
S = OPT O = 332548069 T = 76.28 (out)(err) |
S = N/A O = 347574654 T = TO (out)(err) |
S = OPT O = 332548069 T = 68.76 (out)(err) |
mancoosi-test-i2000d0u98-26.wcnf | S = OPT O = 287486453 T = 34.43 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3232752257 T = TO (out)(err) |
S = N/A O = 3232752257 T = TO (out)(err) |
S = OPT O = 287486453 T = 34.43 (out)(err) |
S = OPT O = 287486453 T = 200.03 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 31540812410 T = TO (out)(err) |
S = OPT O = 287486453 T = 607.58 (out)(err) |
S = N/A O = 317539631 T = TO (out)(err) |
S = OPT O = 287486453 T = 54.75 (out)(err) |
mancoosi-test-i2000d0u98-27.wcnf | S = OPT O = 317557787 T = 38.01 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 4915675729 T = TO (out)(err) |
S = N/A O = 4915675729 T = TO (out)(err) |
S = OPT O = 317557787 T = 38.01 (out)(err) |
S = OPT O = 317557787 T = 232.64 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 31540812410 T = TO (out)(err) |
S = OPT O = 317557787 T = 172.76 (out)(err) |
S = N/A O = 317557787 T = TO (out)(err) |
S = OPT O = 317557787 T = 64.08 (out)(err) |
mancoosi-test-i2000d0u98-28.wcnf | S = OPT O = 287468289 T = 37.44 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 5336383859 T = TO (out)(err) |
S = N/A O = 5336383859 T = TO (out)(err) |
S = OPT O = 287468289 T = 37.44 (out)(err) |
S = OPT O = 287468289 T = 208.95 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 31540812410 T = TO (out)(err) |
S = N/A O = 317570141 T = TO (out)(err) |
S = N/A O = 287468289 T = TO (out)(err) |
S = OPT O = 287468289 T = 57.62 (out)(err) |
mancoosi-test-i2000d0u98-29.wcnf | S = OPT O = 287595465 T = 37.31 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 4464896196 T = TO (out)(err) |
S = N/A O = 4464896196 T = TO (out)(err) |
S = OPT O = 287595465 T = 37.31 (out)(err) |
S = OPT O = 287595465 T = 215.34 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 31540812410 T = TO (out)(err) |
S = N/A O = 407802225 T = TO (out)(err) |
S = N/A O = 287595468 T = TO (out)(err) |
S = OPT O = 287595465 T = 60.37 (out)(err) |
mancoosi-test-i2000d0u98-30.wcnf | S = OPT O = 212317206 T = 39.91 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 4765373483 T = TO (out)(err) |
S = N/A O = 4765373483 T = TO (out)(err) |
S = OPT O = 212317206 T = 39.91 (out)(err) |
S = OPT O = 212317206 T = 228.04 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 31540812410 T = TO (out)(err) |
S = N/A O = 212317206 T = TO (out)(err) |
S = N/A O = 212317206 T = TO (out)(err) |
S = OPT O = 212317206 T = 61.35 (out)(err) |
mancoosi-test-i2000d0u98-31.wcnf | S = OPT O = 302513031 T = 35.97 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 302513031 T = 35.97 (out)(err) |
S = OPT O = 302513031 T = 203.79 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 31540812410 T = TO (out)(err) |
S = N/A O = 302513031 T = TO (out)(err) |
S = N/A O = 302513031 T = TO (out)(err) |
S = OPT O = 302513031 T = 54.70 (out)(err) |
mancoosi-test-i2000d0u98-32.wcnf | S = OPT O = 362510376 T = 34.04 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 5005780719 T = TO (out)(err) |
S = N/A O = 5005780719 T = TO (out)(err) |
S = OPT O = 362510376 T = 34.04 (out)(err) |
S = OPT O = 362510376 T = 214.59 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 31540812410 T = TO (out)(err) |
S = N/A O = 452736665 T = TO (out)(err) |
S = N/A O = 362510379 T = TO (out)(err) |
S = OPT O = 362510376 T = 63.57 (out)(err) |
mancoosi-test-i2000d0u98-33.wcnf | S = OPT O = 332529839 T = 33.95 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 332529839 T = 33.95 (out)(err) |
S = OPT O = 332529839 T = 189.85 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 31540812410 T = TO (out)(err) |
S = N/A O = 332529845 T = TO (out)(err) |
S = N/A O = 347483751 T = TO (out)(err) |
S = OPT O = 332529839 T = 60.16 (out)(err) |
mancoosi-test-i2000d0u98-34.wcnf | S = OPT O = 317430597 T = 37.77 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3473068655 T = TO (out)(err) |
S = N/A O = 3473068655 T = TO (out)(err) |
S = OPT O = 317430597 T = 37.77 (out)(err) |
S = OPT O = 317430597 T = 246.87 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 31540812410 T = TO (out)(err) |
S = N/A O = 350657418 T = TO (out)(err) |
S = N/A O = 317430597 T = TO (out)(err) |
S = OPT O = 317430597 T = 55.21 (out)(err) |
mancoosi-test-i2000d0u98-35.wcnf | S = OPT O = 377591501 T = 39.59 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 4945710694 T = TO (out)(err) |
S = N/A O = 4945710694 T = TO (out)(err) |
S = OPT O = 377591501 T = 39.59 (out)(err) |
S = OPT O = 377591501 T = 218.12 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 31540812410 T = TO (out)(err) |
S = OPT O = 377591501 T = 508.44 (out)(err) |
S = N/A O = 407644683 T = TO (out)(err) |
S = OPT O = 377591501 T = 57.73 (out)(err) |
mancoosi-test-i2000d0u98-36.wcnf | S = OPT O = 332566184 T = 33.25 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 332566184 T = 33.25 (out)(err) |
S = OPT O = 332566184 T = 240.85 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 31540812410 T = TO (out)(err) |
S = N/A O = 377640129 T = TO (out)(err) |
S = OPT O = 332566184 T = 308.29 (out)(err) |
S = OPT O = 332566184 T = 55.61 (out)(err) |
mancoosi-test-i2000d0u98-37.wcnf | S = OPT O = 362510425 T = 40.85 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 362510425 T = 40.85 (out)(err) |
S = OPT O = 362510425 T = 219.48 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 31540812410 T = TO (out)(err) |
S = N/A O = 377537014 T = TO (out)(err) |
S = N/A O = 392708966 T = TO (out)(err) |
S = OPT O = 362510425 T = 65.60 (out)(err) |
mancoosi-test-i2000d0u98-38.wcnf | S = OPT O = 332620777 T = 37.51 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 5020825499 T = TO (out)(err) |
S = N/A O = 5020825499 T = TO (out)(err) |
S = OPT O = 332620777 T = 37.51 (out)(err) |
S = OPT O = 332620777 T = 234.97 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 31540812410 T = TO (out)(err) |
S = N/A O = 335649071 T = TO (out)(err) |
S = N/A O = 347647310 T = TO (out)(err) |
S = OPT O = 332620777 T = 70.59 (out)(err) |
mancoosi-test-i2000d0u98-39.wcnf | S = OPT O = 347556415 T = 35.21 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3367937004 T = TO (out)(err) |
S = N/A O = 3367937004 T = TO (out)(err) |
S = OPT O = 347556415 T = 35.21 (out)(err) |
S = OPT O = 347556415 T = 214.07 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 31540812410 T = TO (out)(err) |
S = N/A O = 362577206 T = TO (out)(err) |
S = N/A O = 362510326 T = TO (out)(err) |
S = OPT O = 347556415 T = 49.38 (out)(err) |
mancoosi-test-i2000d0u98-40.wcnf | S = OPT O = 182372912 T = 34.07 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3022307288 T = TO (out)(err) |
S = N/A O = 3022307288 T = TO (out)(err) |
S = OPT O = 182372912 T = 34.07 (out)(err) |
S = OPT O = 182372912 T = 179.41 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 31540812410 T = TO (out)(err) |
S = OPT O = 182372912 T = 1769.29 (out)(err) |
S = N/A O = 182372912 T = TO (out)(err) |
S = OPT O = 182372912 T = 51.15 (out)(err) |
mancoosi-test-i2000d0u98-41.wcnf | S = OPT O = 317594172 T = 39.09 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 317594172 T = 39.09 (out)(err) |
S = OPT O = 317594172 T = 222.24 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 31540812410 T = TO (out)(err) |
S = N/A O = 317594172 T = TO (out)(err) |
S = N/A O = 317594172 T = TO (out)(err) |
S = OPT O = 317594172 T = 62.76 (out)(err) |
mancoosi-test-i2000d0u98-42.wcnf | S = OPT O = 317503223 T = 33.50 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 317503223 T = 33.50 (out)(err) |
S = OPT O = 317503223 T = 189.68 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 31540812410 T = TO (out)(err) |
S = OPT O = 317503223 T = 190.81 (out)(err) |
S = N/A O = 317503223 T = TO (out)(err) |
S = OPT O = 317503223 T = 57.25 (out)(err) |
mancoosi-test-i2000d0u98-43.wcnf | S = OPT O = 242370348 T = 36.59 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 242370348 T = 36.59 (out)(err) |
S = OPT O = 242370348 T = 268.91 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 31540812410 T = TO (out)(err) |
S = N/A O = 242370348 T = TO (out)(err) |
S = N/A O = 242370348 T = TO (out)(err) |
S = OPT O = 242370348 T = 67.13 (out)(err) |
mancoosi-test-i2000d0u98-44.wcnf | S = OPT O = 212353462 T = 35.53 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 4885568019 T = TO (out)(err) |
S = N/A O = 4885568019 T = TO (out)(err) |
S = OPT O = 212353462 T = 35.53 (out)(err) |
S = OPT O = 212353462 T = 191.16 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 31540812410 T = TO (out)(err) |
S = N/A O = 212353462 T = TO (out)(err) |
S = N/A O = 212353463 T = TO (out)(err) |
S = OPT O = 212353462 T = 57.03 (out)(err) |
mancoosi-test-i2000d0u98-45.wcnf | S = OPT O = 182318477 T = 34.11 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 182318477 T = 34.11 (out)(err) |
S = OPT O = 182318477 T = 202.07 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 31540812410 T = TO (out)(err) |
S = N/A O = 182318477 T = TO (out)(err) |
S = N/A O = 182318477 T = TO (out)(err) |
S = OPT O = 182318477 T = 60.24 (out)(err) |
mancoosi-test-i2000d0u98-46.wcnf | S = OPT O = 362601234 T = 34.15 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 4329602409 T = TO (out)(err) |
S = N/A O = 4329602409 T = TO (out)(err) |
S = OPT O = 362601234 T = 34.15 (out)(err) |
S = OPT O = 362601234 T = 277.84 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 31540812410 T = TO (out)(err) |
S = OPT O = 362601234 T = 178.10 (out)(err) |
S = N/A O = 362601234 T = TO (out)(err) |
S = OPT O = 362601234 T = 59.13 (out)(err) |
mancoosi-test-i2000d0u98-47.wcnf | S = OPT O = 287486426 T = 33.19 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 287486426 T = 33.19 (out)(err) |
S = OPT O = 287486426 T = 245.31 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 31540812410 T = TO (out)(err) |
S = N/A O = 317533669 T = TO (out)(err) |
S = N/A O = 302513008 T = TO (out)(err) |
S = OPT O = 287486426 T = 61.10 (out)(err) |
mancoosi-test-i2000d0u98-48.wcnf | S = OPT O = 332693445 T = 40.79 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 332693445 T = 40.79 (out)(err) |
S = OPT O = 332693445 T = 229.86 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 31540812410 T = TO (out)(err) |
S = N/A O = 407820559 T = TO (out)(err) |
S = N/A O = 377773204 T = TO (out)(err) |
S = OPT O = 332693445 T = 70.66 (out)(err) |
mancoosi-test-i2000d0u98-49.wcnf | S = OPT O = 212353539 T = 39.05 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 212353539 T = 39.05 (out)(err) |
S = OPT O = 212353539 T = 209.97 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 31540812410 T = TO (out)(err) |
S = OPT O = 212353539 T = 90.77 (out)(err) |
S = OPT O = 212353539 T = 780.25 (out)(err) |
S = OPT O = 212353539 T = 68.00 (out)(err) |
mancoosi-test-i3000d0u98-50.wcnf | S = OPT O = 422725765 T = 37.18 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3 T = TO (out)(err) |
S = N/A O = 3 T = TO (out)(err) |
S = OPT O = 422725765 T = 37.18 (out)(err) |
S = OPT O = 422725765 T = 220.61 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 46567402410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = N/A O = 467805519 T = TO (out)(err) |
S = OPT O = 422725765 T = 68.63 (out)(err) |
mancoosi-test-i3000d0u98-51.wcnf | S = OPT O = 573028153 T = 47.10 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 5697058443 T = TO (out)(err) |
S = N/A O = 5697058443 T = TO (out)(err) |
S = OPT O = 573028153 T = 47.10 (out)(err) |
S = OPT O = 573028153 T = 263.77 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 46567402410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = N/A O = 618162432 T = TO (out)(err) |
S = OPT O = 573028153 T = 91.52 (out)(err) |
mancoosi-test-i3000d0u98-52.wcnf | S = OPT O = 618125983 T = 42.29 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 4359601126 T = TO (out)(err) |
S = N/A O = 4359601126 T = TO (out)(err) |
S = OPT O = 618125983 T = 42.29 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 46567402410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = N/A O = 768391883 T = TO (out)(err) |
S = OPT O = 618125983 T = 75.66 (out)(err) |
mancoosi-test-i3000d0u98-53.wcnf | S = OPT O = 573137017 T = 37.57 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 4570118706 T = TO (out)(err) |
S = N/A O = 4570118706 T = TO (out)(err) |
S = OPT O = 573137017 T = 37.57 (out)(err) |
S = OPT O = 573137017 T = 252.42 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 46567402410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = N/A O = 588163620 T = TO (out)(err) |
S = OPT O = 573137017 T = 70.97 (out)(err) |
mancoosi-test-i3000d0u98-54.wcnf | S = OPT O = 573137062 T = 42.27 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 4089231559 T = TO (out)(err) |
S = N/A O = 4089231559 T = TO (out)(err) |
S = OPT O = 573137062 T = 42.27 (out)(err) |
S = OPT O = 573137062 T = 239.24 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 46567402410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = N/A O = 723402958 T = TO (out)(err) |
S = OPT O = 573137062 T = 75.30 (out)(err) |
mancoosi-test-i3000d0u98-55.wcnf | S = OPT O = 528002690 T = 36.22 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 528002690 T = 36.22 (out)(err) |
S = OPT O = 528002690 T = 205.32 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 46567402410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = N/A O = 558055873 T = TO (out)(err) |
S = OPT O = 528002690 T = 58.18 (out)(err) |
mancoosi-test-i3000d0u98-56.wcnf | S = OPT O = 482868432 T = 38.65 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 5366418929 T = TO (out)(err) |
S = N/A O = 5366418929 T = TO (out)(err) |
S = OPT O = 482868432 T = 38.65 (out)(err) |
S = OPT O = 482868432 T = 209.06 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 46567402410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = N/A O = 528020883 T = TO (out)(err) |
S = OPT O = 482868432 T = 56.47 (out)(err) |
mancoosi-test-i3000d0u98-57.wcnf | S = OPT O = 437806858 T = 39.48 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 4179372921 T = TO (out)(err) |
S = N/A O = 4179372921 T = TO (out)(err) |
S = OPT O = 437806858 T = 39.48 (out)(err) |
S = OPT O = 437806858 T = 248.78 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 46567402410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = N/A O = 437806864 T = TO (out)(err) |
S = OPT O = 437806858 T = 67.73 (out)(err) |
mancoosi-test-i3000d0u98-58.wcnf | S = OPT O = 527911930 T = 40.81 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 5035906632 T = TO (out)(err) |
S = N/A O = 5035906632 T = TO (out)(err) |
S = OPT O = 527911930 T = 40.81 (out)(err) |
S = OPT O = 527911930 T = 289.12 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 46567402410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = N/A O = 633170699 T = TO (out)(err) |
S = OPT O = 527911930 T = 71.74 (out)(err) |
mancoosi-test-i3000d0u98-59.wcnf | S = OPT O = 588054583 T = 40.14 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 5005871699 T = TO (out)(err) |
S = N/A O = 5005871699 T = TO (out)(err) |
S = OPT O = 588054583 T = 40.14 (out)(err) |
S = OPT O = 588054583 T = 257.41 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 46567402410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = N/A O = 588054584 T = TO (out)(err) |
S = OPT O = 588054583 T = 69.57 (out)(err) |
mancoosi-test-i3000d0u98-60.wcnf | S = OPT O = 648142779 T = 40.80 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3127475323 T = TO (out)(err) |
S = N/A O = 3127475323 T = TO (out)(err) |
S = OPT O = 648142779 T = 40.80 (out)(err) |
S = OPT O = 648142779 T = 255.29 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 46567402410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = N/A O = 678268640 T = TO (out)(err) |
S = OPT O = 648142779 T = 70.32 (out)(err) |
mancoosi-test-i3000d0u98-61.wcnf | S = OPT O = 558019587 T = 40.58 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 6072741324 T = TO (out)(err) |
S = OPT O = 558019587 T = 40.58 (out)(err) |
S = OPT O = 558019587 T = 239.88 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 46567402410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = N/A O = 693277050 T = TO (out)(err) |
S = OPT O = 558019587 T = 67.86 (out)(err) |
mancoosi-test-i3000d0u98-62.wcnf | S = OPT O = 527930109 T = 38.02 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 479 T = TO (out)(err) |
S = N/A O = 479 T = TO (out)(err) |
S = OPT O = 527930109 T = 38.02 (out)(err) |
S = OPT O = 527930109 T = 1500.94 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 46567402410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = N/A O = 573009879 T = TO (out)(err) |
S = OPT O = 527930109 T = 73.57 (out)(err) |
mancoosi-test-i3000d0u98-63.wcnf | S = OPT O = 512957980 T = 37.96 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3382945524 T = TO (out)(err) |
S = N/A O = 3382945524 T = TO (out)(err) |
S = OPT O = 512957980 T = 37.96 (out)(err) |
S = OPT O = 512957980 T = 213.53 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 46567402410 T = TO (out)(err) |
S = N/A O = N/A T = 0.01 (out)(err) |
S = N/A O = 558037760 T = TO (out)(err) |
S = OPT O = 512957980 T = 60.55 (out)(err) |
mancoosi-test-i3000d0u98-64.wcnf | S = OPT O = 572991690 T = 37.24 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3382927351 T = TO (out)(err) |
S = N/A O = 3382927351 T = TO (out)(err) |
S = OPT O = 572991690 T = 37.24 (out)(err) |
S = OPT O = 572991690 T = 237.91 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 46567402410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = N/A O = 723330266 T = TO (out)(err) |
S = OPT O = 572991690 T = 66.09 (out)(err) |
mancoosi-test-i3000d0u98-65.wcnf | S = OPT O = 603062985 T = 38.38 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 4840524648 T = TO (out)(err) |
S = N/A O = 4840524648 T = TO (out)(err) |
S = OPT O = 603062985 T = 38.38 (out)(err) |
S = OPT O = 603062985 T = 253.01 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 46567402410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = N/A O = 618089575 T = TO (out)(err) |
S = OPT O = 603062985 T = 67.69 (out)(err) |
mancoosi-test-i3000d0u98-66.wcnf | S = OPT O = 512939800 T = 39.45 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 5621979983 T = TO (out)(err) |
S = N/A O = 5621979983 T = TO (out)(err) |
S = OPT O = 512939800 T = 39.45 (out)(err) |
S = OPT O = 512939800 T = 211.92 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 46567402410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = N/A O = 663187524 T = TO (out)(err) |
S = OPT O = 512939800 T = 59.30 (out)(err) |
mancoosi-test-i3000d0u98-67.wcnf | S = OPT O = 542902120 T = 38.07 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 4494913111 T = TO (out)(err) |
S = N/A O = 4494913111 T = TO (out)(err) |
S = OPT O = 542902120 T = 38.07 (out)(err) |
S = OPT O = 542902120 T = 205.62 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 46567402410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = N/A O = 663169351 T = TO (out)(err) |
S = OPT O = 542902120 T = 65.44 (out)(err) |
mancoosi-test-i3000d0u98-68.wcnf | S = OPT O = 497931412 T = 41.28 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 5065996160 T = TO (out)(err) |
S = N/A O = 5065996160 T = TO (out)(err) |
S = OPT O = 497931412 T = 41.28 (out)(err) |
S = OPT O = 497931412 T = 224.76 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 46567402410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = N/A O = 603117546 T = TO (out)(err) |
S = OPT O = 497931412 T = 68.42 (out)(err) |
mancoosi-test-i3000d0u98-69.wcnf | S = OPT O = 663114835 T = 38.02 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 4840506481 T = TO (out)(err) |
S = N/A O = 4840506481 T = TO (out)(err) |
S = OPT O = 663114835 T = 38.02 (out)(err) |
S = OPT O = 663114835 T = 220.76 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 46567402410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = N/A O = 828425496 T = TO (out)(err) |
S = OPT O = 663114835 T = 56.02 (out)(err) |
mancoosi-test-i3000d0u98-70.wcnf | S = OPT O = 512958012 T = 36.56 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 4885604413 T = TO (out)(err) |
S = N/A O = 4885604413 T = TO (out)(err) |
S = OPT O = 512958012 T = 36.56 (out)(err) |
S = OPT O = 512958012 T = 215.20 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 46567402410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = N/A O = 588000108 T = TO (out)(err) |
S = OPT O = 512958012 T = 60.20 (out)(err) |
mancoosi-test-i3000d0u98-71.wcnf | S = OPT O = 467969155 T = 44.99 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 467969155 T = 44.99 (out)(err) |
S = OPT O = 467969155 T = 333.73 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 46567402410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = N/A O = 482995743 T = TO (out)(err) |
S = OPT O = 467969155 T = 78.84 (out)(err) |
mancoosi-test-i3000d0u98-72.wcnf | S = OPT O = 527857381 T = 39.00 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 4570118731 T = TO (out)(err) |
S = N/A O = 4570118731 T = TO (out)(err) |
S = OPT O = 527857381 T = 39.00 (out)(err) |
S = OPT O = 527857381 T = 214.82 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 46567402410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = N/A O = 633007162 T = TO (out)(err) |
S = OPT O = 527857381 T = 65.89 (out)(err) |
mancoosi-test-i3000d0u98-73.wcnf | S = OPT O = 527875592 T = 41.33 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 527875592 T = 41.33 (out)(err) |
S = OPT O = 527875592 T = 251.45 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 46567402410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = N/A O = 663114882 T = TO (out)(err) |
S = OPT O = 527875592 T = 73.71 (out)(err) |
mancoosi-test-i3000d0u98-74.wcnf | S = OPT O = 588109173 T = 39.61 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 3938983839 T = TO (out)(err) |
S = N/A O = 3938983839 T = TO (out)(err) |
S = OPT O = 588109173 T = 39.61 (out)(err) |
S = OPT O = 588109173 T = 236.24 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 46567402410 T = TO (out)(err) |
S = N/A O = N/A T = 0.00 (out)(err) |
S = N/A O = 603190271 T = TO (out)(err) |
S = OPT O = 588109173 T = 79.97 (out)(err) |
mancoosi-test-i4000d0u98-75.wcnf | S = OPT O = 828534617 T = 41.18 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 641838 T = TO (out)(err) |
S = N/A O = 641838 T = TO (out)(err) |
S = OPT O = 828534617 T = 41.18 (out)(err) |
S = OPT O = 828534617 T = 249.55 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 61593992410 T = TO (out)(err) |
S = N/A O = 858533292 T = TO (out)(err) |
S = N/A O = 963773895 T = TO (out)(err) |
S = OPT O = 828534617 T = 69.75 (out)(err) |
mancoosi-test-i4000d0u98-76.wcnf | S = OPT O = 738411504 T = 50.36 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 5546774400 T = TO (out)(err) |
S = N/A O = 5546774400 T = TO (out)(err) |
S = OPT O = 738411504 T = 50.36 (out)(err) |
S = OPT O = 738411504 T = 294.00 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 61593992410 T = TO (out)(err) |
S = N/A O = 1068996467 T = TO (out)(err) |
S = N/A O = 753365416 T = TO (out)(err) |
S = OPT O = 738411504 T = 81.60 (out)(err) |
mancoosi-test-i4000d0u98-77.wcnf | S = OPT O = 843651993 T = 37.41 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 6794 T = TO (out)(err) |
S = N/A O = 62 T = TO (out)(err) |
S = OPT O = 843651993 T = 37.41 (out)(err) |
S = OPT O = 843651993 T = 234.09 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 61593992410 T = TO (out)(err) |
S = N/A O = 978909470 T = TO (out)(err) |
S = N/A O = 963864714 T = TO (out)(err) |
S = OPT O = 843651993 T = 70.15 (out)(err) |
mancoosi-test-i4000d0u98-78.wcnf | S = OPT O = 873559793 T = 37.41 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 598247 T = TO (out)(err) |
S = N/A O = 598247 T = TO (out)(err) |
S = OPT O = 873559793 T = 37.41 (out)(err) |
S = OPT O = 873559793 T = 231.06 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 61593992410 T = TO (out)(err) |
S = N/A O = 1129084504 T = TO (out)(err) |
S = N/A O = 1023753012 T = TO (out)(err) |
S = OPT O = 873559793 T = 70.54 (out)(err) |
mancoosi-test-i4000d0u98-79.wcnf | S = OPT O = 753510586 T = 39.67 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 6403398989 T = TO (out)(err) |
S = N/A O = 6403398989 T = TO (out)(err) |
S = OPT O = 753510586 T = 39.67 (out)(err) |
S = OPT O = 753510586 T = 210.76 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 61593992410 T = TO (out)(err) |
S = N/A O = 948801740 T = TO (out)(err) |
S = N/A O = 903830998 T = TO (out)(err) |
S = OPT O = 753510586 T = 68.41 (out)(err) |
mancoosi-test-i4000d0u98-80.wcnf | S = OPT O = 828516449 T = 42.28 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 6944283558 T = TO (out)(err) |
S = N/A O = 6944283558 T = TO (out)(err) |
S = OPT O = 828516449 T = 42.28 (out)(err) |
S = OPT O = 828516449 T = 268.67 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 61593992410 T = TO (out)(err) |
S = N/A O = 1159094177 T = TO (out)(err) |
S = N/A O = 1053987974 T = TO (out)(err) |
S = OPT O = 828516449 T = 72.74 (out)(err) |
mancoosi-test-i4000d0u98-81.wcnf | S = OPT O = 1038888656 T = 41.70 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 6703 T = TO (out)(err) |
S = N/A O = 6703 T = TO (out)(err) |
S = OPT O = 1038888656 T = 41.70 (out)(err) |
S = OPT O = 1038888656 T = 251.68 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 61593992410 T = TO (out)(err) |
S = N/A O = 1174146132 T = TO (out)(err) |
S = N/A O = 1204253825 T = TO (out)(err) |
S = OPT O = 1038888656 T = 77.29 (out)(err) |
mancoosi-test-i4000d0u98-82.wcnf | S = OPT O = 918784858 T = 34.48 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 5877450179 T = TO (out)(err) |
S = N/A O = 5877450179 T = TO (out)(err) |
S = OPT O = 918784858 T = 34.48 (out)(err) |
S = OPT O = 918784858 T = 206.88 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 61593992410 T = TO (out)(err) |
S = N/A O = 1159210296 T = TO (out)(err) |
S = N/A O = 1204271898 T = TO (out)(err) |
S = OPT O = 918784858 T = 56.40 (out)(err) |
mancoosi-test-i4000d0u98-83.wcnf | S = OPT O = 843633917 T = 45.62 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 4464950850 T = TO (out)(err) |
S = N/A O = 4464950850 T = TO (out)(err) |
S = OPT O = 843633917 T = 45.62 (out)(err) |
S = OPT O = 843633917 T = 257.32 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 61593992410 T = TO (out)(err) |
S = N/A O = 1114094370 T = TO (out)(err) |
S = N/A O = 903740286 T = TO (out)(err) |
S = OPT O = 843633917 T = 79.17 (out)(err) |
mancoosi-test-i4000d0u98-84.wcnf | S = OPT O = 858696784 T = 43.75 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 4464969001 T = TO (out)(err) |
S = N/A O = 4464969001 T = TO (out)(err) |
S = OPT O = 858696784 T = 43.75 (out)(err) |
S = OPT O = 858696784 T = 233.88 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 61593992410 T = TO (out)(err) |
S = N/A O = 903812899 T = TO (out)(err) |
S = N/A O = 1084022961 T = TO (out)(err) |
S = OPT O = 858696784 T = 70.85 (out)(err) |
mancoosi-test-i4000d0u98-85.wcnf | S = OPT O = 723330351 T = 44.89 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 6523448179 T = TO (out)(err) |
S = N/A O = 6523448179 T = TO (out)(err) |
S = OPT O = 723330351 T = 44.89 (out)(err) |
S = OPT O = 723330351 T = 265.96 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 61593992410 T = TO (out)(err) |
S = N/A O = 768373774 T = TO (out)(err) |
S = N/A O = 948783724 T = TO (out)(err) |
S = OPT O = 723330351 T = 84.37 (out)(err) |
mancoosi-test-i4000d0u98-86.wcnf | S = OPT O = 918694091 T = 43.23 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 5531856840 T = TO (out)(err) |
S = N/A O = 5531856840 T = TO (out)(err) |
S = OPT O = 918694091 T = 43.23 (out)(err) |
S = OPT O = 918694091 T = 367.87 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 61593992410 T = TO (out)(err) |
S = N/A O = 1129048159 T = TO (out)(err) |
S = N/A O = 978800464 T = TO (out)(err) |
S = OPT O = 918694091 T = 74.66 (out)(err) |
mancoosi-test-i4000d0u98-87.wcnf | S = OPT O = 873596159 T = 43.29 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 6373218623 T = TO (out)(err) |
S = N/A O = 6373218623 T = TO (out)(err) |
S = OPT O = 873596159 T = 43.29 (out)(err) |
S = OPT O = 873596159 T = 253.58 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 61593992410 T = TO (out)(err) |
S = N/A O = 1219189547 T = TO (out)(err) |
S = N/A O = 1038888650 T = TO (out)(err) |
S = OPT O = 873596159 T = 64.70 (out)(err) |
mancoosi-test-i4000d0u98-88.wcnf | S = OPT O = 738338700 T = 43.49 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = OPT O = 738338700 T = 43.49 (out)(err) |
S = OPT O = 738338700 T = 229.53 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 61593992410 T = TO (out)(err) |
S = N/A O = 753365291 T = TO (out)(err) |
S = N/A O = 768464567 T = TO (out)(err) |
S = OPT O = 738338700 T = 64.81 (out)(err) |
mancoosi-test-i4000d0u98-89.wcnf | S = OPT O = 738429492 T = 40.05 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 5997 T = TO (out)(err) |
S = N/A O = 5997 T = TO (out)(err) |
S = OPT O = 738429492 T = 40.05 (out)(err) |
S = OPT O = 738429492 T = 220.23 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 61593992410 T = TO (out)(err) |
S = N/A O = 1099049481 T = TO (out)(err) |
S = N/A O = 1038852271 T = TO (out)(err) |
S = OPT O = 738429492 T = 65.75 (out)(err) |
mancoosi-test-i4000d0u98-90.wcnf | S = OPT O = 603172104 T = 43.88 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 6403308 T = TO (out)(err) |
S = N/A O = 6403308 T = TO (out)(err) |
S = OPT O = 603172104 T = 43.88 (out)(err) |
S = OPT O = 603172104 T = 239.12 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 61593992410 T = TO (out)(err) |
S = N/A O = 603183108 T = TO (out)(err) |
S = N/A O = 708285549 T = TO (out)(err) |
S = OPT O = 603172104 T = 77.18 (out)(err) |
mancoosi-test-i4000d0u98-91.wcnf | S = OPT O = 798517708 T = 42.08 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 6087858816 T = TO (out)(err) |
S = N/A O = 6087858816 T = TO (out)(err) |
S = OPT O = 798517708 T = 42.08 (out)(err) |
S = OPT O = 798517708 T = 243.82 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 61593992410 T = TO (out)(err) |
S = N/A O = 903685672 T = TO (out)(err) |
S = N/A O = 1008889972 T = TO (out)(err) |
S = OPT O = 798517708 T = 69.09 (out)(err) |
mancoosi-test-i4000d0u98-92.wcnf | S = OPT O = 723402933 T = 41.73 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 6944 T = TO (out)(err) |
S = N/A O = 6944 T = TO (out)(err) |
S = OPT O = 723402933 T = 41.73 (out)(err) |
S = OPT O = 723402933 T = 227.18 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 61593992410 T = TO (out)(err) |
S = N/A O = 753365265 T = TO (out)(err) |
S = N/A O = 873577950 T = TO (out)(err) |
S = OPT O = 723402933 T = 72.84 (out)(err) |
mancoosi-test-i4000d0u98-93.wcnf | S = OPT O = 678268636 T = 37.90 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 5081059145 T = TO (out)(err) |
S = N/A O = 5081059145 T = TO (out)(err) |
S = OPT O = 678268636 T = 37.90 (out)(err) |
S = OPT O = 678268636 T = 243.91 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 61593992410 T = TO (out)(err) |
S = N/A O = 918675897 T = TO (out)(err) |
S = N/A O = 903576637 T = TO (out)(err) |
S = OPT O = 678268636 T = 60.50 (out)(err) |
mancoosi-test-i4000d0u98-94.wcnf | S = OPT O = 843524790 T = 40.37 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 5937 T = TO (out)(err) |
S = N/A O = 5937 T = TO (out)(err) |
S = OPT O = 843524790 T = 40.37 (out)(err) |
S = OPT O = 843524790 T = 242.59 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 61593992410 T = TO (out)(err) |
S = N/A O = 918657738 T = TO (out)(err) |
S = N/A O = 1053987911 T = TO (out)(err) |
S = OPT O = 843524790 T = 72.95 (out)(err) |
mancoosi-test-i4000d0u98-95.wcnf | S = OPT O = 843579317 T = 37.87 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 5636988451 T = TO (out)(err) |
S = N/A O = 5636988451 T = TO (out)(err) |
S = OPT O = 843579317 T = 37.87 (out)(err) |
S = OPT O = 843579317 T = 238.70 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 61593992410 T = TO (out)(err) |
S = N/A O = 903812871 T = TO (out)(err) |
S = N/A O = 933811536 T = TO (out)(err) |
S = OPT O = 843579317 T = 76.53 (out)(err) |
mancoosi-test-i4000d0u98-96.wcnf | S = OPT O = 828461902 T = 42.29 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 641837 T = TO (out)(err) |
S = N/A O = 641837 T = TO (out)(err) |
S = OPT O = 828461902 T = 42.29 (out)(err) |
S = OPT O = 828461902 T = 241.22 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 61593992410 T = TO (out)(err) |
S = N/A O = 1219207745 T = TO (out)(err) |
S = N/A O = 1083841254 T = TO (out)(err) |
S = OPT O = 828461902 T = 73.02 (out)(err) |
mancoosi-test-i4000d0u98-97.wcnf | S = OPT O = 903703891 T = 46.01 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 5802280924 T = TO (out)(err) |
S = N/A O = 5802280924 T = TO (out)(err) |
S = OPT O = 903703891 T = 46.01 (out)(err) |
S = OPT O = 903703891 T = 253.61 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 61593992410 T = TO (out)(err) |
S = N/A O = 963810221 T = TO (out)(err) |
S = N/A O = 978818673 T = TO (out)(err) |
S = OPT O = 903703891 T = 68.06 (out)(err) |
mancoosi-test-i4000d0u98-98.wcnf | S = OPT O = 828443727 T = 37.23 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 6207 T = TO (out)(err) |
S = N/A O = 6207 T = TO (out)(err) |
S = OPT O = 828443727 T = 37.23 (out)(err) |
S = OPT O = 828443727 T = 245.37 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 61593992410 T = TO (out)(err) |
S = N/A O = 903576680 T = TO (out)(err) |
S = N/A O = 873596181 T = TO (out)(err) |
S = OPT O = 828443727 T = 76.16 (out)(err) |
mancoosi-test-i4000d0u98-99.wcnf | S = OPT O = 768391869 T = 38.25 |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 4044151772 T = TO (out)(err) |
S = N/A O = 4044151772 T = TO (out)(err) |
S = OPT O = 768391869 T = 38.25 (out)(err) |
S = OPT O = 768391869 T = 239.80 (out)(err) |
S = N/A O = N/A T = TO (out)(err) |
S = N/A O = 61593992410 T = TO (out)(err) |
S = N/A O = 933757040 T = TO (out)(err) |
S = N/A O = 873650682 T = TO (out)(err) |
S = OPT O = 768391869 T = 74.40 (out)(err) |