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 for Complete Solvers | Meaning for Incomplete Solvers |
---|---|---|
Text | Best solver column | Best solver column |
Text | Optimal solution with the best CPU time | Best solution with the best CPU time |
Text | Optimal solution and finished within the Time Out | Best solution without the best CPU time |
Text | Optimal solution and did not finish within the Time Out | Solution found but not the best |
Text | Time Out | Time Out |
Text | Buggy solution | Buggy solution |
Instance file name | Best solver | CCLS2014 | CCMPA | Dist | SAT4J-ms-inc | WPM-2014-in | optimax2-g-i | optimax2w-r-i |
---|---|---|---|---|---|---|---|---|
ped2.B.recomb1-0.01-1.wcnf | O = 7 T = 0.35 |
O = 7 T = 42.06 (out)(err) |
O = 7 T = 272.82 (out)(err) |
O = 7 T = 68.31 (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 0.35 (out)(err) |
O = 7 T = 0.87 (out)(err) |
O = 7 T = 0.92 (out)(err) |
ped2.B.recomb1-0.01-2.wcnf | O = 7 T = 0.36 |
O = 588 T = 272.13 (out)(err) |
O = 7 T = 264.58 (out)(err) |
O = 7 T = 70.34 (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 0.36 (out)(err) |
O = 7 T = 1.16 (out)(err) |
O = 7 T = 0.87 (out)(err) |
ped2.B.recomb1-0.01-3.wcnf | O = 6 T = 0.36 |
O = 6 T = 74.86 (out)(err) |
O = 6 T = 143.82 (out)(err) |
O = 6 T = 61.16 (out)(err) |
O = 6 T = 4.35 (out)(err) |
O = 6 T = 0.36 (out)(err) |
O = 6 T = 0.51 (out)(err) |
O = 6 T = 0.80 (out)(err) |
ped2.B.recomb1-0.01-4.wcnf | O = 7 T = 0.35 |
O = 1169 T = 275.40 (out)(err) |
O = 7 T = 269.28 (out)(err) |
O = 7 T = 61.13 (out)(err) |
O = 7 T = 4.09 (out)(err) |
O = 7 T = 0.35 (out)(err) |
O = 7 T = 0.51 (out)(err) |
O = 7 T = 0.88 (out)(err) |
ped2.B.recomb1-0.01-5.wcnf | O = 7 T = 0.40 |
O = 7 T = 204.63 (out)(err) |
O = 7 T = 263.00 (out)(err) |
O = 7 T = 66.00 (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 0.40 (out)(err) |
O = 7 T = 0.72 (out)(err) |
O = 7 T = 0.79 (out)(err) |
ped2.B.recomb1-0.10-10.wcnf | O = 6 T = 0.47 |
O = 6 T = 85.02 (out)(err) |
O = 6 T = 229.53 (out)(err) |
O = 6 T = 67.92 (out)(err) |
O = N/A T = TO (out)(err) |
O = 6 T = 0.47 (out)(err) |
O = 6 T = 0.67 (out)(err) |
O = 6 T = 1.21 (out)(err) |
ped2.B.recomb1-0.10-6.wcnf | O = 7 T = 0.67 |
O = 7 T = 19.70 (out)(err) |
O = 7 T = 222.49 (out)(err) |
O = 7 T = 75.20 (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 0.67 (out)(err) |
O = 7 T = 0.71 (out)(err) |
O = 7 T = 1.87 (out)(err) |
ped2.B.recomb1-0.10-7.wcnf | O = 588 T = 0.57 |
O = 588 T = 193.87 (out)(err) |
O = 1169 T = 272.37 (out)(err) |
O = 588 T = 68.21 (out)(err) |
O = N/A T = TO (out)(err) |
O = 588 T = 0.57 (out)(err) |
O = 588 T = 4.04 (out)(err) |
O = 588 T = 5.71 (out)(err) |
ped2.B.recomb1-0.10-8.wcnf | O = 589 T = 0.51 |
O = 1170 T = 145.15 (out)(err) |
O = 589 T = 268.49 (out)(err) |
O = 589 T = 66.06 (out)(err) |
O = N/A T = TO (out)(err) |
O = 589 T = 0.51 (out)(err) |
O = 589 T = 2.43 (out)(err) |
O = 589 T = 6.50 (out)(err) |
ped2.B.recomb1-0.10-9.wcnf | O = 7 T = 0.49 |
O = 7 T = 15.70 (out)(err) |
O = 7 T = 215.78 (out)(err) |
O = 7 T = 65.76 (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 0.49 (out)(err) |
O = 7 T = 0.87 (out)(err) |
O = 7 T = 1.42 (out)(err) |
ped2.B.recomb1-0.20-11.wcnf | O = 7 T = 0.82 |
O = 7 T = 210.06 (out)(err) |
O = 7 T = 274.39 (out)(err) |
O = 7 T = 65.13 (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 0.82 (out)(err) |
O = 7 T = 1.63 (out)(err) |
O = 7 T = 2.92 (out)(err) |
ped2.B.recomb1-0.20-12.wcnf | O = 7 T = 0.86 |
O = 588 T = 266.55 (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 67.10 (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 0.86 (out)(err) |
O = 7 T = 2.16 (out)(err) |
O = 7 T = 2.24 (out)(err) |
ped2.B.recomb1-0.20-13.wcnf | O = 7 T = 0.83 |
O = 7 T = 114.29 (out)(err) |
O = 7 T = 241.51 (out)(err) |
O = 7 T = 66.21 (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 0.85 (out)(err) |
O = 7 T = 0.83 (out)(err) |
O = 7 T = 1.35 (out)(err) |
ped2.B.recomb1-0.20-14.wcnf | O = 7 T = 0.66 |
O = 4074 T = 228.84 (out)(err) |
O = 7 T = 269.28 (out)(err) |
O = 7 T = 67.23 (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 0.66 (out)(err) |
O = 7 T = 0.92 (out)(err) |
O = 7 T = 1.91 (out)(err) |
ped2.B.recomb1-0.20-15.wcnf | O = 7 T = 0.72 |
O = 7 T = 49.65 (out)(err) |
O = 7 T = 268.77 (out)(err) |
O = 7 T = 62.78 (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 0.72 (out)(err) |
O = 7 T = 1.96 (out)(err) |
O = 7 T = 1.79 (out)(err) |
ped2.G.recomb1-0.01-1.wcnf | O = 6430 T = 2.98 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6430 T = 2.98 (out)(err) |
O = 6430 T = 53.65 (out)(err) |
O = 6440 T = 76.77 (out)(err) |
ped2.G.recomb1-0.01-2.wcnf | O = 4686 T = 2.74 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 11663 T = 254.42 (out)(err) |
O = N/A T = TO (out)(err) |
O = 4686 T = 2.74 (out)(err) |
O = 4686 T = 62.59 (out)(err) |
O = 4736 T = 77.30 (out)(err) |
ped2.G.recomb1-0.01-3.wcnf | O = 5266 T = 2.29 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 5266 T = 2.29 (out)(err) |
O = 5266 T = 63.75 (out)(err) |
O = 5281 T = 89.27 (out)(err) |
ped2.G.recomb1-0.01-4.wcnf | O = 7009 T = 3.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7009 T = 3.03 (out)(err) |
O = 7009 T = 56.08 (out)(err) |
O = 7024 T = 79.31 (out)(err) |
ped2.G.recomb1-0.01-5.wcnf | O = 3521 T = 2.32 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3521 T = 2.32 (out)(err) |
O = 3521 T = 34.74 (out)(err) |
O = 3527 T = 77.80 (out)(err) |
ped2.G.recomb1-0.10-10.wcnf | O = 2358 T = 3.78 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 9915 T = 261.49 (out)(err) |
O = N/A T = TO (out)(err) |
O = 2358 T = 3.78 (out)(err) |
O = 2358 T = 56.05 (out)(err) |
O = 2368 T = 73.83 (out)(err) |
ped2.G.recomb1-0.10-6.wcnf | O = 5845 T = 3.19 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 5845 T = 3.19 (out)(err) |
O = 5845 T = 44.01 (out)(err) |
O = 5860 T = 74.26 (out)(err) |
ped2.G.recomb1-0.10-7.wcnf | O = 3522 T = 5.57 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3522 T = 5.57 (out)(err) |
O = 3522 T = 123.88 (out)(err) |
O = 3538 T = 92.17 (out)(err) |
ped2.G.recomb1-0.10-8.wcnf | O = 8175 T = 5.66 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8175 T = 5.66 (out)(err) |
O = 8175 T = 202.94 (out)(err) |
O = 150580 T = 1.38 (out)(err) |
ped2.G.recomb1-0.10-9.wcnf | O = 4105 T = 4.10 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4105 T = 4.10 (out)(err) |
O = 4105 T = 49.63 (out)(err) |
O = 4112 T = 75.87 (out)(err) |
ped2.G.recomb1-0.20-11.wcnf | O = 4103 T = 8.58 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4103 T = 8.58 (out)(err) |
O = 4103 T = 211.36 (out)(err) |
O = 109927 T = 1.99 (out)(err) |
ped2.G.recomb1-0.20-12.wcnf | O = 8175 T = 8.13 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 36659 T = 261.02 (out)(err) |
O = N/A T = TO (out)(err) |
O = 8175 T = 8.13 (out)(err) |
O = 8175 T = 185.66 (out)(err) |
O = 125602 T = 1.89 (out)(err) |
ped2.G.recomb1-0.20-13.wcnf | O = 6430 T = 5.69 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6430 T = 5.69 (out)(err) |
O = 6430 T = 160.35 (out)(err) |
O = 77346 T = 1.85 (out)(err) |
ped2.G.recomb1-0.20-14.wcnf | O = 5267 T = 7.13 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 5267 T = 7.13 (out)(err) |
O = 5267 T = 215.73 (out)(err) |
O = 59345 T = 1.97 (out)(err) |
ped2.G.recomb1-0.20-15.wcnf | O = 5265 T = 10.45 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 5265 T = 10.45 (out)(err) |
O = 5265 T = 180.35 (out)(err) |
O = 153460 T = 2.17 (out)(err) |
ped2.G.recomb10-0.01-1.wcnf | O = 58202 T = 23.21 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 58202 T = 23.21 (out)(err) |
O = 58204 T = 262.50 (out)(err) |
O = N/A T = TO (out)(err) |
ped2.G.recomb10-0.01-2.wcnf | O = 46566 T = 17.96 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 87266 T = 194.75 (out)(err) |
O = N/A T = TO (out)(err) |
O = 46566 T = 17.96 (out)(err) |
O = 46570 T = 261.28 (out)(err) |
O = 218609 T = 0.96 (out)(err) |
ped2.G.recomb10-0.01-3.wcnf | O = 47737 T = 13.95 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 47737 T = 13.95 (out)(err) |
O = 47737 T = 240.97 (out)(err) |
O = N/A T = TO (out)(err) |
ped2.G.recomb10-0.01-4.wcnf | O = 58784 T = 24.41 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 58784 T = 24.41 (out)(err) |
O = 58793 T = 280.51 (out)(err) |
O = 204681 T = 1.07 (out)(err) |
ped2.G.recomb10-0.01-5.wcnf | O = 59945 T = 38.38 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 112844 T = 253.43 (out)(err) |
O = N/A T = TO (out)(err) |
O = 59945 T = 38.38 (out)(err) |
O = 59947 T = 258.56 (out)(err) |
O = N/A T = TO (out)(err) |
ped2.G.recomb10-0.10-10.wcnf | O = 57616 T = 40.38 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 118657 T = 261.62 (out)(err) |
O = N/A T = TO (out)(err) |
O = 57616 T = 40.38 (out)(err) |
O = 57640 T = 263.26 (out)(err) |
O = 243008 T = 1.44 (out)(err) |
ped2.G.recomb10-0.10-6.wcnf | O = 47155 T = 11.46 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 96574 T = 240.82 (out)(err) |
O = N/A T = TO (out)(err) |
O = 47155 T = 11.46 (out)(err) |
O = 47159 T = 272.92 (out)(err) |
O = 227919 T = 1.40 (out)(err) |
ped2.G.recomb10-0.10-7.wcnf | O = 52383 T = 29.70 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 52383 T = 29.70 (out)(err) |
O = 52389 T = 267.22 (out)(err) |
O = 220371 T = 1.38 (out)(err) |
ped2.G.recomb10-0.10-8.wcnf | O = 55874 T = 133.96 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 55874 T = 133.96 (out)(err) |
O = 55901 T = 263.36 (out)(err) |
O = 197113 T = 1.52 (out)(err) |
ped2.G.recomb10-0.10-9.wcnf | O = 47741 T = 15.00 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 101226 T = 263.50 (out)(err) |
O = N/A T = TO (out)(err) |
O = 47741 T = 15.00 (out)(err) |
O = 47750 T = 265.82 (out)(err) |
O = 225589 T = 1.52 (out)(err) |
ped2.G.recomb10-0.20-11.wcnf | O = 50299 T = 284.75 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 111108 T = 278.08 (out)(err) |
O = N/A T = TO (out)(err) |
O = 50299 T = 284.75 (out)(err) |
O = N/A T = TO (out)(err) |
O = 255254 T = 2.06 (out)(err) |
ped2.G.recomb10-0.20-12.wcnf | O = 54713 T = 61.51 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 54713 T = 61.51 (out)(err) |
O = 1295174 T = 1.46 (out)(err) |
O = N/A T = TO (out)(err) |
ped2.G.recomb10-0.20-13.wcnf | O = 40930 T = 284.83 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 40930 T = 284.83 (out)(err) |
O = 1213833 T = 1.73 (out)(err) |
O = N/A T = TO (out)(err) |
ped2.G.recomb10-0.20-14.wcnf | O = 41339 T = 33.09 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 41339 T = 33.09 (out)(err) |
O = N/A T = TO (out)(err) |
O = 231405 T = 2.10 (out)(err) |
ped2.G.recomb10-0.20-15.wcnf | O = 47778 T = 264.18 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 47933 T = 284.71 (out)(err) |
O = 47778 T = 264.18 (out)(err) |
O = N/A T = TO (out)(err) |
ped2.G.recomb5-0.01-1.wcnf | O = 29116 T = 6.84 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 29116 T = 6.84 (out)(err) |
O = 29116 T = 241.35 (out)(err) |
O = N/A T = TO (out)(err) |
ped2.G.recomb5-0.01-2.wcnf | O = 34935 T = 10.15 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 34935 T = 10.15 (out)(err) |
O = 34935 T = 193.25 (out)(err) |
O = 196509 T = 1.03 (out)(err) |
ped2.G.recomb5-0.01-3.wcnf | O = 31442 T = 5.92 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 31442 T = 5.92 (out)(err) |
O = 31442 T = 131.39 (out)(err) |
O = 177915 T = 0.89 (out)(err) |
ped2.G.recomb5-0.01-4.wcnf | O = 21555 T = 3.17 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 21555 T = 3.17 (out)(err) |
O = 21555 T = 127.97 (out)(err) |
O = 100027 T = 0.96 (out)(err) |
ped2.G.recomb5-0.01-5.wcnf | O = 25054 T = 3.82 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 47727 T = 269.54 (out)(err) |
O = N/A T = TO (out)(err) |
O = 25054 T = 3.82 (out)(err) |
O = 25054 T = 160.00 (out)(err) |
O = 133166 T = 0.96 (out)(err) |
ped2.G.recomb5-0.10-10.wcnf | O = 25042 T = 7.53 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 48883 T = 262.62 (out)(err) |
O = N/A T = TO (out)(err) |
O = 25042 T = 7.53 (out)(err) |
O = 25042 T = 216.77 (out)(err) |
O = 171528 T = 1.43 (out)(err) |
ped2.G.recomb5-0.10-6.wcnf | O = 27380 T = 9.87 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 27380 T = 9.87 (out)(err) |
O = 27380 T = 240.05 (out)(err) |
O = 179071 T = 1.16 (out)(err) |
ped2.G.recomb5-0.10-7.wcnf | O = 25626 T = 10.23 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 25626 T = 10.23 (out)(err) |
O = 25627 T = 260.22 (out)(err) |
O = 128517 T = 1.52 (out)(err) |
ped2.G.recomb5-0.10-8.wcnf | O = 25048 T = 13.67 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 25048 T = 13.67 (out)(err) |
O = 25049 T = 253.13 (out)(err) |
O = N/A T = TO (out)(err) |
ped2.G.recomb5-0.10-9.wcnf | O = 31445 T = 23.27 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 31445 T = 23.27 (out)(err) |
O = 31448 T = 252.67 (out)(err) |
O = N/A T = TO (out)(err) |
ped2.G.recomb5-0.20-11.wcnf | O = 29144 T = 275.96 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 103549 T = 163.06 (out)(err) |
O = N/A T = TO (out)(err) |
O = 29353 T = 284.70 (out)(err) |
O = 29144 T = 275.96 (out)(err) |
O = 238365 T = 1.90 (out)(err) |
ped2.G.recomb5-0.20-12.wcnf | O = 20972 T = 28.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 20972 T = 28.03 (out)(err) |
O = 20977 T = 273.18 (out)(err) |
O = 153505 T = 1.77 (out)(err) |
ped2.G.recomb5-0.20-13.wcnf | O = 30315 T = 278.57 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 30486 T = 284.73 (out)(err) |
O = 30315 T = 278.57 (out)(err) |
O = 214564 T = 2.06 (out)(err) |
ped2.G.recomb5-0.20-14.wcnf | O = 20976 T = 68.60 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 20976 T = 68.60 (out)(err) |
O = 20980 T = 273.21 (out)(err) |
O = 193609 T = 1.87 (out)(err) |
ped2.G.recomb5-0.20-15.wcnf | O = 25045 T = 17.74 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 58189 T = 249.47 (out)(err) |
O = N/A T = TO (out)(err) |
O = 25045 T = 17.74 (out)(err) |
O = 25072 T = 282.63 (out)(err) |
O = 192443 T = 1.80 (out)(err) |
ped3.D.recomb10-0.20-11.wcnf | O = 690 T = 1.09 |
O = 690 T = 4.89 (out)(err) |
O = 690 T = 277.94 (out)(err) |
O = 690 T = 15.00 (out)(err) |
O = N/A T = TO (out)(err) |
O = 690 T = 1.14 (out)(err) |
O = 690 T = 1.09 (out)(err) |
O = 690 T = 6.14 (out)(err) |
ped3.D.recomb10-0.20-12.wcnf | O = 349 T = 0.28 |
O = 349 T = 16.04 (out)(err) |
O = 349 T = 268.58 (out)(err) |
O = 349 T = 15.09 (out)(err) |
O = 349 T = 4.95 (out)(err) |
O = 349 T = 0.28 (out)(err) |
O = 349 T = 0.97 (out)(err) |
O = 349 T = 1.97 (out)(err) |
ped3.D.recomb10-0.20-13.wcnf | O = 350 T = 1.31 |
O = 350 T = 16.34 (out)(err) |
O = 350 T = 275.04 (out)(err) |
O = 350 T = 14.05 (out)(err) |
O = N/A T = TO (out)(err) |
O = 350 T = 1.31 (out)(err) |
O = 350 T = 2.07 (out)(err) |
O = 350 T = 8.71 (out)(err) |
ped3.D.recomb10-0.20-14.wcnf | O = 7 T = 0.36 |
O = 7 T = 2.55 (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 15.25 (out)(err) |
O = 7 T = 6.56 (out)(err) |
O = 7 T = 0.38 (out)(err) |
O = 7 T = 0.36 (out)(err) |
O = 7 T = 0.49 (out)(err) |
ped3.D.recomb10-0.20-15.wcnf | O = 689 T = 3.19 |
O = 689 T = 3.19 (out)(err) |
O = 689 T = 199.49 (out)(err) |
O = 689 T = 13.94 (out)(err) |
O = N/A T = TO (out)(err) |
O = 689 T = 20.48 (out)(err) |
O = 689 T = 9.21 (out)(err) |
O = 689 T = 4.86 (out)(err) |
ped3.E.recomb10-0.20-11.wcnf | O = 9588 T = 2.28 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 9588 T = 2.28 (out)(err) |
O = 9588 T = 42.83 (out)(err) |
O = 9588 T = 93.50 (out)(err) |
ped3.E.recomb10-0.20-12.wcnf | O = 9927 T = 10.34 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 11637 T = 278.99 (out)(err) |
O = N/A T = TO (out)(err) |
O = 9927 T = 10.34 (out)(err) |
O = 9927 T = 60.17 (out)(err) |
O = 9930 T = 104.85 (out)(err) |
ped3.E.recomb10-0.20-13.wcnf | O = 8559 T = 4.18 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8559 T = 4.18 (out)(err) |
O = 8559 T = 28.14 (out)(err) |
O = 8559 T = 86.12 (out)(err) |
ped3.E.recomb10-0.20-14.wcnf | O = 8555 T = 31.59 |
O = 15379 T = 224.71 (out)(err) |
O = N/A T = TO (out)(err) |
O = 11299 T = 164.23 (out)(err) |
O = N/A T = TO (out)(err) |
O = 8555 T = 31.59 (out)(err) |
O = 8555 T = 140.87 (out)(err) |
O = 8566 T = 92.03 (out)(err) |
ped3.E.recomb10-0.20-15.wcnf | O = 3781 T = 4.19 |
O = 10945 T = 291.91 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3781 T = 4.19 (out)(err) |
O = 3781 T = 20.76 (out)(err) |
O = 3782 T = 92.33 (out)(err) |
ped3.F.recomb10-0.01-1.wcnf | O = 6853 T = 0.71 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6855 T = 67.03 (out)(err) |
O = N/A T = TO (out)(err) |
O = 6853 T = 0.71 (out)(err) |
O = 6853 T = 23.26 (out)(err) |
O = 6853 T = 43.51 (out)(err) |
ped3.F.recomb10-0.01-2.wcnf | O = 8900 T = 0.65 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8905 T = 192.90 (out)(err) |
O = N/A T = TO (out)(err) |
O = 8900 T = 0.65 (out)(err) |
O = 8900 T = 14.08 (out)(err) |
O = 8900 T = 37.66 (out)(err) |
ped3.F.recomb10-0.01-3.wcnf | O = 7193 T = 1.23 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7535 T = 38.18 (out)(err) |
O = N/A T = TO (out)(err) |
O = 7193 T = 1.23 (out)(err) |
O = 7193 T = 20.12 (out)(err) |
O = 7193 T = 45.90 (out)(err) |
ped3.F.recomb10-0.01-4.wcnf | O = 5483 T = 1.01 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 5483 T = 191.76 (out)(err) |
O = N/A T = TO (out)(err) |
O = 5483 T = 1.01 (out)(err) |
O = 5483 T = 10.25 (out)(err) |
O = 5483 T = 31.18 (out)(err) |
ped3.F.recomb10-0.01-5.wcnf | O = 7540 T = 1.02 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7882 T = 102.96 (out)(err) |
O = N/A T = TO (out)(err) |
O = 7540 T = 1.02 (out)(err) |
O = 7540 T = 17.37 (out)(err) |
O = 7540 T = 37.91 (out)(err) |
ped3.F.recomb10-0.10-10.wcnf | O = 7537 T = 2.39 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8912 T = 37.14 (out)(err) |
O = N/A T = TO (out)(err) |
O = 7537 T = 2.39 (out)(err) |
O = 7537 T = 19.00 (out)(err) |
O = 7537 T = 52.47 (out)(err) |
ped3.F.recomb10-0.10-6.wcnf | O = 6517 T = 1.39 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7200 T = 294.31 (out)(err) |
O = N/A T = TO (out)(err) |
O = 6517 T = 1.39 (out)(err) |
O = 6517 T = 23.43 (out)(err) |
O = 6517 T = 71.79 (out)(err) |
ped3.F.recomb10-0.10-7.wcnf | O = 8905 T = 2.00 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8913 T = 60.00 (out)(err) |
O = N/A T = TO (out)(err) |
O = 8905 T = 2.00 (out)(err) |
O = 8905 T = 32.34 (out)(err) |
O = 8905 T = 79.13 (out)(err) |
ped3.F.recomb10-0.10-8.wcnf | O = 9245 T = 3.76 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 9245 T = 3.76 (out)(err) |
O = 9245 T = 64.17 (out)(err) |
O = 9252 T = 93.71 (out)(err) |
ped3.F.recomb10-0.10-9.wcnf | O = 5488 T = 3.57 |
O = 7872 T = 62.83 (out)(err) |
O = N/A T = TO (out)(err) |
O = 6171 T = 96.99 (out)(err) |
O = N/A T = TO (out)(err) |
O = 5488 T = 3.57 (out)(err) |
O = 5488 T = 18.50 (out)(err) |
O = 5488 T = 54.80 (out)(err) |
ped3.F.recomb10-0.20-11.wcnf | O = 4807 T = 3.39 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 5836 T = 215.22 (out)(err) |
O = N/A T = TO (out)(err) |
O = 4807 T = 3.39 (out)(err) |
O = 4807 T = 43.95 (out)(err) |
O = 4813 T = 90.91 (out)(err) |
ped3.F.recomb10-0.20-12.wcnf | O = 5840 T = 67.05 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7892 T = 121.20 (out)(err) |
O = N/A T = TO (out)(err) |
O = 5915 T = 284.68 (out)(err) |
O = 5840 T = 67.05 (out)(err) |
O = 5849 T = 91.68 (out)(err) |
ped3.F.recomb10-0.20-13.wcnf | O = 2412 T = 2.55 |
O = 5825 T = 41.09 (out)(err) |
O = N/A T = TO (out)(err) |
O = 2414 T = 281.09 (out)(err) |
O = N/A T = TO (out)(err) |
O = 2412 T = 2.55 (out)(err) |
O = 2412 T = 17.94 (out)(err) |
O = 2412 T = 65.29 (out)(err) |
ped3.F.recomb10-0.20-14.wcnf | O = 5482 T = 7.02 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6851 T = 55.09 (out)(err) |
O = N/A T = TO (out)(err) |
O = 5482 T = 7.02 (out)(err) |
O = 5482 T = 58.54 (out)(err) |
O = 5491 T = 92.13 (out)(err) |
ped3.F.recomb10-0.20-15.wcnf | O = 4123 T = 2.28 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4807 T = 44.37 (out)(err) |
O = N/A T = TO (out)(err) |
O = 4123 T = 2.28 (out)(err) |
O = 4123 T = 29.55 (out)(err) |
O = 4123 T = 66.50 (out)(err) |
ped3.G.recomb10-0.01-1.wcnf | O = 15748 T = 7.82 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 15748 T = 7.82 (out)(err) |
O = 15748 T = 59.97 (out)(err) |
O = 15754 T = 97.29 (out)(err) |
ped3.G.recomb10-0.01-2.wcnf | O = 16784 T = 5.57 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 16784 T = 5.57 (out)(err) |
O = 16784 T = 54.19 (out)(err) |
O = 16791 T = 91.66 (out)(err) |
ped3.G.recomb10-0.01-3.wcnf | O = 15414 T = 3.68 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 15414 T = 3.68 (out)(err) |
O = 15414 T = 37.25 (out)(err) |
O = 15417 T = 94.75 (out)(err) |
ped3.G.recomb10-0.01-4.wcnf | O = 17444 T = 4.34 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 25303 T = 278.14 (out)(err) |
O = N/A T = TO (out)(err) |
O = 17444 T = 4.34 (out)(err) |
O = 17444 T = 56.37 (out)(err) |
O = 17451 T = 92.08 (out)(err) |
ped3.G.recomb10-0.01-5.wcnf | O = 14043 T = 6.17 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 14043 T = 6.17 (out)(err) |
O = 14043 T = 36.67 (out)(err) |
O = 14043 T = 98.51 (out)(err) |
ped3.G.recomb10-0.10-10.wcnf | O = 18485 T = 27.77 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 27706 T = 273.68 (out)(err) |
O = N/A T = TO (out)(err) |
O = 18485 T = 27.77 (out)(err) |
O = 18485 T = 84.47 (out)(err) |
O = 18510 T = 87.81 (out)(err) |
ped3.G.recomb10-0.10-6.wcnf | O = 17460 T = 10.20 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 17460 T = 10.20 (out)(err) |
O = 17460 T = 86.57 (out)(err) |
O = 17467 T = 101.58 (out)(err) |
ped3.G.recomb10-0.10-7.wcnf | O = 16092 T = 8.02 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 16092 T = 8.02 (out)(err) |
O = 16092 T = 71.98 (out)(err) |
O = 16105 T = 86.85 (out)(err) |
ped3.G.recomb10-0.10-8.wcnf | O = 15072 T = 4.86 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 15072 T = 4.86 (out)(err) |
O = 15072 T = 60.54 (out)(err) |
O = 15082 T = 89.39 (out)(err) |
ped3.G.recomb10-0.10-9.wcnf | O = 15407 T = 5.88 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 15407 T = 5.88 (out)(err) |
O = 15407 T = 90.08 (out)(err) |
O = 15425 T = 95.02 (out)(err) |
ped3.G.recomb10-0.20-11.wcnf | O = 15073 T = 208.49 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 15183 T = 284.76 (out)(err) |
O = 15073 T = 208.49 (out)(err) |
O = 55361 T = 0.70 (out)(err) |
ped3.G.recomb10-0.20-12.wcnf | O = 13027 T = 126.16 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 13122 T = 284.66 (out)(err) |
O = 13027 T = 126.16 (out)(err) |
O = 13069 T = 87.98 (out)(err) |
ped3.G.recomb10-0.20-13.wcnf | O = 17465 T = 96.99 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 17465 T = 96.99 (out)(err) |
O = 17465 T = 172.25 (out)(err) |
O = 63893 T = 0.64 (out)(err) |
ped3.G.recomb10-0.20-14.wcnf | O = 11990 T = 130.21 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 12099 T = 284.72 (out)(err) |
O = 11990 T = 130.21 (out)(err) |
O = 12030 T = 87.31 (out)(err) |
ped3.G.recomb10-0.20-15.wcnf | O = 15408 T = 12.84 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 15408 T = 12.84 (out)(err) |
O = 15408 T = 115.49 (out)(err) |
O = 15433 T = 90.21 (out)(err) |
BrazilInstance1.xml.wcnf | O = 50 T = 244.01 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 127 T = 122.43 (out)(err) |
O = N/A T = TO (out)(err) |
O = 55 T = 284.67 (out)(err) |
O = 56 T = 19.54 (out)(err) |
O = 50 T = 244.01 (out)(err) |
BrazilInstance2.xml.wcnf | O = 69 T = 203.23 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 247 T = 295.97 (out)(err) |
O = N/A T = TO (out)(err) |
O = 102 T = 284.67 (out)(err) |
O = 101 T = 0.17 (out)(err) |
O = 69 T = 203.23 (out)(err) |
BrazilInstance4.xml.wcnf | O = 181 T = 284.59 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 181 T = 284.59 (out)(err) |
O = 311 T = 4.16 (out)(err) |
O = 323 T = 16.89 (out)(err) |
BrazilInstance5.xml.wcnf | O = 150 T = 284.63 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 150 T = 284.63 (out)(err) |
O = 232 T = 271.43 (out)(err) |
O = 284 T = 124.32 (out)(err) |
BrazilInstance6.xml.wcnf | O = 198 T = 17.32 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 210 T = 284.69 (out)(err) |
O = 215 T = 11.20 (out)(err) |
O = 198 T = 17.32 (out)(err) |
BrazilInstance7.xml.wcnf | O = 242 T = 14.29 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 260 T = 284.62 (out)(err) |
O = 242 T = 14.29 (out)(err) |
O = 247 T = 88.71 (out)(err) |
FinlandArtificialSchool.xml.wcnf | O = 252 T = 284.71 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 252 T = 284.71 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
FinlandCollege.xml.wcnf | O = 1073 T = 284.70 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1073 T = 284.70 (out)(err) |
O = 1205 T = 98.49 (out)(err) |
O = N/A T = TO (out)(err) |
FinlandHighSchool.xml.wcnf | O = 422 T = 151.74 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 753 T = 284.69 (out)(err) |
O = 782 T = 3.64 (out)(err) |
O = 422 T = 151.74 (out)(err) |
FinlandSecondarySchool.xml.wcnf | O = 649 T = 182.35 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 890 T = 284.71 (out)(err) |
O = 844 T = 198.69 (out)(err) |
O = 649 T = 182.35 (out)(err) |
GreeceThirdHighSchoolPatras2010.xml.wcnf | O = 106 T = 284.71 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 106 T = 284.71 (out)(err) |
O = 1159 T = 259.15 (out)(err) |
O = 2152 T = 137.60 (out)(err) |
ItalyInstance1.xml.wcnf | O = 12 T = 118.31 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 682 T = 9.24 (out)(err) |
O = N/A T = TO (out)(err) |
O = 12 T = 118.31 (out)(err) |
O = 168 T = 115.14 (out)(err) |
O = 124 T = 229.90 (out)(err) |
ItalyInstance4.xml.wcnf | O = 1213 T = 284.72 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1213 T = 284.72 (out)(err) |
O = 1464 T = 42.02 (out)(err) |
O = 19891 T = 58.62 (out)(err) |
SouthAfricaLewitt2009.xml.wcnf | O = 34 T = 158.81 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 80 T = 284.86 (out)(err) |
O = 34 T = 158.81 (out)(err) |
O = 613 T = 75.02 (out)(err) |
103c9978-5408-11df-9bc1-00163e7a6f5e_l1.wcnf | O = 3795246 T = 1.80 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3807555 T = 186.14 (out)(err) |
O = N/A T = TO (out)(err) |
O = 3795246 T = 1.80 (out)(err) |
O = 3839470 T = 0.01 (out)(err) |
O = 3823933 T = 0.02 (out)(err) |
1aabfc32-d491-11df-9a24-00163e3d3b7c_l2.wcnf | O = 8272324 T = 12.54 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8466954 T = 12.25 (out)(err) |
O = N/A T = TO (out)(err) |
O = 8272324 T = 12.54 (out)(err) |
O = 8768647 T = 1.27 (out)(err) |
O = 8621506 T = 1.13 (out)(err) |
26f3d4cc-d470-11df-9e6c-00163e3d3b7c_l2.wcnf | O = 8270956 T = 14.59 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8468646 T = 123.16 (out)(err) |
O = N/A T = TO (out)(err) |
O = 8270956 T = 14.59 (out)(err) |
O = 8800624 T = 1.28 (out)(err) |
O = 8566420 T = 1.09 (out)(err) |
29180036-5408-11df-9f57-00163e7a6f5e_l1.wcnf | O = 3795246 T = 1.74 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3807892 T = 110.54 (out)(err) |
O = N/A T = TO (out)(err) |
O = 3795246 T = 1.74 (out)(err) |
O = 3839470 T = 0.02 (out)(err) |
O = 3823933 T = 0.02 (out)(err) |
29180036-5408-11df-9f57-00163e7a6f5e_l2.wcnf | O = 3795246 T = 1.84 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3808631 T = 213.60 (out)(err) |
O = N/A T = TO (out)(err) |
O = 3795246 T = 1.84 (out)(err) |
O = 3839470 T = 0.01 (out)(err) |
O = 3823933 T = 0.03 (out)(err) |
2c3aece6-c8b2-11df-a040-00163e3d3b7c_l1.wcnf | O = 8559789 T = 12.07 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8653985 T = 217.33 (out)(err) |
O = N/A T = TO (out)(err) |
O = 8559789 T = 12.07 (out)(err) |
O = 8872446 T = 2.17 (out)(err) |
O = 8736585 T = 0.08 (out)(err) |
2c3aece6-c8b2-11df-a040-00163e3d3b7c_l2.wcnf | O = 8559789 T = 11.40 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8658427 T = 144.10 (out)(err) |
O = N/A T = TO (out)(err) |
O = 8559789 T = 11.40 (out)(err) |
O = 8867887 T = 2.44 (out)(err) |
O = 8736585 T = 0.09 (out)(err) |
3e4f8550-0b33-11df-942d-00163e1d94dc_l1.wcnf | O = 44124 T = 0.78 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 44612 T = 261.93 (out)(err) |
O = N/A T = TO (out)(err) |
O = 44124 T = 0.78 (out)(err) |
O = 44344 T = 269.29 (out)(err) |
O = 44424 T = 259.84 (out)(err) |
3e4f8550-0b33-11df-942d-00163e1d94dc_l2.wcnf | O = 44124 T = 0.77 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 44712 T = 71.31 (out)(err) |
O = N/A T = TO (out)(err) |
O = 44124 T = 0.77 (out)(err) |
O = 44344 T = 274.47 (out)(err) |
O = 44516 T = 271.11 (out)(err) |
4a69cf16-c731-11df-9182-00163e3d3b7c_l1.wcnf | O = 186592 T = 0.17 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 189445 T = 73.35 (out)(err) |
O = N/A T = TO (out)(err) |
O = 186592 T = 0.17 (out)(err) |
O = 203396 T = 0.05 (out)(err) |
O = 204988 T = 9.59 (out)(err) |
4a69cf16-c731-11df-9182-00163e3d3b7c_l2.wcnf | O = 8010285 T = 20.49 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8221568 T = 148.90 (out)(err) |
O = N/A T = TO (out)(err) |
O = 8010285 T = 20.49 (out)(err) |
O = 8572412 T = 3.00 (out)(err) |
O = 8369496 T = 1.17 (out)(err) |
4ede8d96-c17a-11df-a7c5-00163e3d3b7c_l1.wcnf | O = 173280 T = 0.12 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 174216 T = 254.40 (out)(err) |
O = N/A T = TO (out)(err) |
O = 173280 T = 0.12 (out)(err) |
O = 175742 T = 222.39 (out)(err) |
O = 177806 T = 46.77 (out)(err) |
5698a62c-c731-11df-9bb9-00163e3d3b7c_l1.wcnf | O = 186592 T = 0.17 |
O = 213844 T = 2.74 (out)(err) |
O = N/A T = TO (out)(err) |
O = 189797 T = 240.50 (out)(err) |
O = N/A T = TO (out)(err) |
O = 186592 T = 0.17 (out)(err) |
O = 203396 T = 0.04 (out)(err) |
O = 204988 T = 11.50 (out)(err) |
56ae4afa-0b33-11df-8a2b-00163e1d94dc_l1.wcnf | O = 49972 T = 0.22 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 50492 T = 5.92 (out)(err) |
O = N/A T = TO (out)(err) |
O = 49972 T = 0.22 (out)(err) |
O = 68229 T = 1.40 (out)(err) |
O = 50100 T = 260.37 (out)(err) |
56e31304-c17a-11df-b070-00163e3d3b7c_l1.wcnf | O = 173280 T = 0.12 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 174112 T = 128.74 (out)(err) |
O = N/A T = TO (out)(err) |
O = 173280 T = 0.12 (out)(err) |
O = 175742 T = 218.22 (out)(err) |
O = 177806 T = 45.54 (out)(err) |
6b0d1da0-c730-11df-a7c5-00163e3d3b7c_l1.wcnf | O = 186592 T = 0.24 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 189525 T = 163.94 (out)(err) |
O = N/A T = TO (out)(err) |
O = 186592 T = 0.24 (out)(err) |
O = 198800 T = 5.54 (out)(err) |
O = 197133 T = 0.58 (out)(err) |
7bf50d1c-9b1b-11df-8b50-00163e46d37a_l1.wcnf | O = 1924238 T = 0.95 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1938562 T = 42.64 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1924238 T = 0.95 (out)(err) |
O = 1979292 T = 203.89 (out)(err) |
O = 1964318 T = 0.03 (out)(err) |
7bf50d1c-9b1b-11df-8b50-00163e46d37a_l2.wcnf | O = 1924238 T = 0.93 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1943148 T = 227.46 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1924238 T = 0.93 (out)(err) |
O = 1980737 T = 165.78 (out)(err) |
O = 1964318 T = 0.02 (out)(err) |
7f80e4f0-4fe9-11e0-acd7-00163e1e087d_l1.wcnf | O = 558796 T = 0.10 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 559188 T = 18.05 (out)(err) |
O = N/A T = TO (out)(err) |
O = 558796 T = 0.10 (out)(err) |
O = 558916 T = 274.57 (out)(err) |
O = 558976 T = 232.60 (out)(err) |
7f80e4f0-4fe9-11e0-acd7-00163e1e087d_l2.wcnf | O = 7177328 T = 3.53 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7199323 T = 110.64 (out)(err) |
O = N/A T = TO (out)(err) |
O = 7177328 T = 3.53 (out)(err) |
O = 7309186 T = 1.01 (out)(err) |
O = 7248808 T = 0.05 (out)(err) |
80cfe9a6-9b1b-11df-965e-00163e46d37a_l1.wcnf | O = 1924238 T = 0.95 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1939067 T = 122.33 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1924238 T = 0.95 (out)(err) |
O = 1979292 T = 188.41 (out)(err) |
O = 1964318 T = 0.03 (out)(err) |
80e3fda2-9501-11e0-8001-00163e1e087d_l2.wcnf | O = 2145528 T = 0.76 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2158514 T = 134.13 (out)(err) |
O = N/A T = TO (out)(err) |
O = 2145528 T = 0.76 (out)(err) |
O = 2196305 T = 82.67 (out)(err) |
O = 2201873 T = 0.03 (out)(err) |
8222799a-9af8-11df-8b50-00163e46d37a_l1.wcnf | O = 1924238 T = 0.95 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1940063 T = 275.11 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1924238 T = 0.95 (out)(err) |
O = 1999595 T = 69.73 (out)(err) |
O = 1964318 T = 0.02 (out)(err) |
8222799a-9af8-11df-8b50-00163e46d37a_l2.wcnf | O = 1924238 T = 0.92 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1944914 T = 16.24 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1924238 T = 0.92 (out)(err) |
O = 2003305 T = 153.68 (out)(err) |
O = 1964318 T = 0.03 (out)(err) |
8680dd8a-8600-11e0-b285-00163e1e087d_l2.wcnf | O = 8289698 T = 9.98 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8381758 T = 161.35 (out)(err) |
O = N/A T = TO (out)(err) |
O = 8289698 T = 9.98 (out)(err) |
O = 8808722 T = 1.31 (out)(err) |
O = 8585384 T = 1.01 (out)(err) |
8afdd89e-51b8-11e0-acd7-00163e1e087d_l1.wcnf | O = 558676 T = 0.11 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 559300 T = 37.57 (out)(err) |
O = N/A T = TO (out)(err) |
O = 558676 T = 0.11 (out)(err) |
O = 559212 T = 239.78 (out)(err) |
O = 558896 T = 238.44 (out)(err) |
8b0e7c16-bab4-11e0-a883-00163e1e087d_l2.wcnf | O = 8707698 T = 11.67 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8840665 T = 220.20 (out)(err) |
O = N/A T = TO (out)(err) |
O = 8707698 T = 11.67 (out)(err) |
O = 9164476 T = 1.40 (out)(err) |
O = 8951510 T = 1.09 (out)(err) |
978532fa-c730-11df-b070-00163e3d3b7c_l1.wcnf | O = 186592 T = 0.25 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 189217 T = 180.93 (out)(err) |
O = N/A T = TO (out)(err) |
O = 186592 T = 0.25 (out)(err) |
O = 198800 T = 5.65 (out)(err) |
O = 197133 T = 0.56 (out)(err) |
a754ac72-95cc-11e0-9181-00163e1e087d_l2.wcnf | O = 2145528 T = 0.77 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2159004 T = 220.90 (out)(err) |
O = N/A T = TO (out)(err) |
O = 2145528 T = 0.77 (out)(err) |
O = 2196305 T = 90.29 (out)(err) |
O = 2201873 T = 0.02 (out)(err) |
ab9005be-bacc-11e0-b0f6-00163e1e087d_l1.wcnf | O = 84964 T = 0.00 |
O = 85404 T = 201.89 (out)(err) |
O = 84964 T = 43.55 (out)(err) |
O = 85300 T = 86.89 (out)(err) |
O = N/A T = TO (out)(err) |
O = 84964 T = 0.00 (out)(err) |
O = 84964 T = 77.89 (out)(err) |
O = 84964 T = 101.09 (out)(err) |
ab9005be-bacc-11e0-b0f6-00163e1e087d_l2.wcnf | O = 8707698 T = 11.54 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8846698 T = 40.58 (out)(err) |
O = N/A T = TO (out)(err) |
O = 8707698 T = 11.54 (out)(err) |
O = 9164476 T = 1.48 (out)(err) |
O = 8951510 T = 1.11 (out)(err) |
b2540c52-51b7-11e0-aa4f-00163e1e087d_l1.wcnf | O = 558676 T = 0.11 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 559292 T = 95.29 (out)(err) |
O = N/A T = TO (out)(err) |
O = 558676 T = 0.11 (out)(err) |
O = 559212 T = 249.44 (out)(err) |
O = 558892 T = 276.62 (out)(err) |
bccf69ae-db9e-11df-9a24-00163e3d3b7c_l1.wcnf | O = 4569599 T = 2.95 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4589286 T = 82.77 (out)(err) |
O = N/A T = TO (out)(err) |
O = 4569599 T = 2.95 (out)(err) |
O = 4697298 T = 0.02 (out)(err) |
O = 4597122 T = 0.04 (out)(err) |
c2164c84-b015-11df-8b50-00163e46d37a_l1.wcnf | O = 4502340 T = 0.82 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4502340 T = 2.26 (out)(err) |
O = N/A T = TO (out)(err) |
O = 4502340 T = 0.82 (out)(err) |
O = 4502340 T = 26.60 (out)(err) |
O = 4502340 T = 30.46 (out)(err) |
c2164c84-b015-11df-8b50-00163e46d37a_l2.wcnf | O = 4502340 T = 0.81 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4502340 T = 4.92 (out)(err) |
O = N/A T = TO (out)(err) |
O = 4502340 T = 0.81 (out)(err) |
O = 4502340 T = 18.82 (out)(err) |
O = 4502340 T = 32.80 (out)(err) |
ca8f656c-db9e-11df-b9cf-00163e3d3b7c_l2.wcnf | O = 4569599 T = 2.52 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4590082 T = 184.01 (out)(err) |
O = N/A T = TO (out)(err) |
O = 4569599 T = 2.52 (out)(err) |
O = 4697298 T = 0.02 (out)(err) |
O = 4597122 T = 0.03 (out)(err) |
caefdef6-3477-11e0-84ef-00163e3d3b7c_l1.wcnf | O = 4692906 T = 1.61 |
O = N/A T = TO (out)(err) |
O = 4768268 T = 270.91 (out)(err) |
O = 4710234 T = 54.00 (out)(err) |
O = N/A T = TO (out)(err) |
O = 4692906 T = 1.61 (out)(err) |
O = 4747131 T = 165.97 (out)(err) |
O = 4750964 T = 0.03 (out)(err) |
caefdef6-3477-11e0-84ef-00163e3d3b7c_l2.wcnf | O = 4692906 T = 1.92 |
O = N/A T = TO (out)(err) |
O = 4750494 T = 244.39 (out)(err) |
O = 4715308 T = 278.27 (out)(err) |
O = N/A T = TO (out)(err) |
O = 4692906 T = 1.92 (out)(err) |
O = 4775597 T = 42.23 (out)(err) |
O = 4750964 T = 0.03 (out)(err) |
cff22854-9512-11e0-8001-00163e1e087d_l2.wcnf | O = 2145528 T = 0.80 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2158091 T = 64.37 (out)(err) |
O = N/A T = TO (out)(err) |
O = 2145528 T = 0.80 (out)(err) |
O = 2196305 T = 93.23 (out)(err) |
O = 2201873 T = 0.03 (out)(err) |
d023d256-3477-11e0-bdb2-00163e3d3b7c_l1.wcnf | O = 4692906 T = 1.76 |
O = N/A T = TO (out)(err) |
O = 4768268 T = 270.98 (out)(err) |
O = 4710826 T = 181.28 (out)(err) |
O = N/A T = TO (out)(err) |
O = 4692906 T = 1.76 (out)(err) |
O = 4747131 T = 193.67 (out)(err) |
O = 4750964 T = 0.03 (out)(err) |
d023d256-3477-11e0-bdb2-00163e3d3b7c_l2.wcnf | O = 4692906 T = 1.78 |
O = N/A T = TO (out)(err) |
O = 4750494 T = 242.12 (out)(err) |
O = 4713066 T = 168.72 (out)(err) |
O = N/A T = TO (out)(err) |
O = 4692906 T = 1.78 (out)(err) |
O = 4775597 T = 51.88 (out)(err) |
O = 4750964 T = 0.03 (out)(err) |
d0cc7514-c730-11df-a040-00163e3d3b7c_l1.wcnf | O = 186592 T = 0.18 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 189621 T = 1.43 (out)(err) |
O = N/A T = TO (out)(err) |
O = 186592 T = 0.18 (out)(err) |
O = 203396 T = 0.04 (out)(err) |
O = 204988 T = 11.12 (out)(err) |
d5026b8e-3477-11e0-986e-00163e3d3b7c_l1.wcnf | O = 4692906 T = 1.76 |
O = N/A T = TO (out)(err) |
O = 4768268 T = 271.29 (out)(err) |
O = 4705242 T = 125.28 (out)(err) |
O = N/A T = TO (out)(err) |
O = 4692906 T = 1.76 (out)(err) |
O = 4747131 T = 193.54 (out)(err) |
O = 4750964 T = 0.03 (out)(err) |
dba3a3fe-3477-11e0-9e6c-00163e3d3b7c_l1.wcnf | O = 4692906 T = 1.76 |
O = N/A T = TO (out)(err) |
O = 4768268 T = 270.83 (out)(err) |
O = 4710234 T = 49.85 (out)(err) |
O = N/A T = TO (out)(err) |
O = 4692906 T = 1.76 (out)(err) |
O = 4747131 T = 180.91 (out)(err) |
O = 4750964 T = 0.03 (out)(err) |
dba3a3fe-3477-11e0-9e6c-00163e3d3b7c_l2.wcnf | O = 4692906 T = 1.88 |
O = N/A T = TO (out)(err) |
O = 4750494 T = 258.94 (out)(err) |
O = 4712826 T = 177.83 (out)(err) |
O = N/A T = TO (out)(err) |
O = 4692906 T = 1.88 (out)(err) |
O = 4775597 T = 45.32 (out)(err) |
O = 4750964 T = 0.03 (out)(err) |
deb285a6-db9e-11df-8f4f-00163e3d3b7c_l2.wcnf | O = 4569599 T = 2.71 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4589215 T = 134.16 (out)(err) |
O = N/A T = TO (out)(err) |
O = 4569599 T = 2.71 (out)(err) |
O = 4697298 T = 0.03 (out)(err) |
O = 4597122 T = 0.04 (out)(err) |
e0bd67a6-56d0-11df-b11f-00163e7a6f5e_l1.wcnf | O = 3814579 T = 0.96 |
O = N/A T = TO (out)(err) |
O = 3820302 T = 241.49 (out)(err) |
O = 3819007 T = 155.14 (out)(err) |
O = N/A T = TO (out)(err) |
O = 3814579 T = 0.96 (out)(err) |
O = 3836560 T = 127.59 (out)(err) |
O = 3822363 T = 0.02 (out)(err) |
e0bd67a6-56d0-11df-b11f-00163e7a6f5e_l2.wcnf | O = 3814579 T = 0.97 |
O = N/A T = TO (out)(err) |
O = 3817491 T = 246.32 (out)(err) |
O = 3818138 T = 157.13 (out)(err) |
O = N/A T = TO (out)(err) |
O = 3814579 T = 0.97 (out)(err) |
O = 3827355 T = 158.35 (out)(err) |
O = 3822363 T = 0.02 (out)(err) |
e2f6303a-4fe9-11e0-aa4f-00163e1e087d_l1.wcnf | O = 558796 T = 0.11 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 559104 T = 131.14 (out)(err) |
O = N/A T = TO (out)(err) |
O = 558796 T = 0.11 (out)(err) |
O = 559084 T = 266.61 (out)(err) |
O = 558948 T = 274.24 (out)(err) |
e381ba7e-a192-11e0-8647-00163e1e087d_l2.wcnf | O = 2145528 T = 0.78 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2159197 T = 75.86 (out)(err) |
O = N/A T = TO (out)(err) |
O = 2145528 T = 0.78 (out)(err) |
O = 2196305 T = 129.88 (out)(err) |
O = 2201873 T = 0.02 (out)(err) |
e599f3fc-360e-11e0-986e-00163e3d3b7c_l1.wcnf | O = 4661351 T = 1.55 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4671269 T = 225.60 (out)(err) |
O = N/A T = TO (out)(err) |
O = 4661351 T = 1.55 (out)(err) |
O = 4691653 T = 153.73 (out)(err) |
O = 4705816 T = 48.62 (out)(err) |
e69a0e36-9ef1-11df-9d4a-00163e46d37a_l1.wcnf | O = 93956 T = 0.19 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 95761 T = 222.60 (out)(err) |
O = N/A T = TO (out)(err) |
O = 93956 T = 0.19 (out)(err) |
O = 100468 T = 0.05 (out)(err) |
O = 95916 T = 37.67 (out)(err) |
ec32fc68-7254-11e0-8436-00163e1e087d_l1.wcnf | O = 4535367 T = 1.59 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4540287 T = 176.81 (out)(err) |
O = N/A T = TO (out)(err) |
O = 4535367 T = 1.59 (out)(err) |
O = 4566950 T = 192.16 (out)(err) |
O = 4552686 T = 178.74 (out)(err) |
eeee44ce-5407-11df-b11f-00163e7a6f5e_l1.wcnf | O = 3795246 T = 1.88 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3807408 T = 163.09 (out)(err) |
O = N/A T = TO (out)(err) |
O = 3795246 T = 1.88 (out)(err) |
O = 3839470 T = 0.02 (out)(err) |
O = 3823933 T = 0.02 (out)(err) |
eeee44ce-5407-11df-b11f-00163e7a6f5e_l2.wcnf | O = 3795246 T = 1.82 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3807331 T = 130.99 (out)(err) |
O = N/A T = TO (out)(err) |
O = 3795246 T = 1.82 (out)(err) |
O = 3839470 T = 0.01 (out)(err) |
O = 3823933 T = 0.03 (out)(err) |
f4ebf9e0-360e-11e0-9e6c-00163e3d3b7c_l1.wcnf | O = 4661351 T = 1.65 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4671269 T = 240.40 (out)(err) |
O = N/A T = TO (out)(err) |
O = 4661351 T = 1.65 (out)(err) |
O = 4691653 T = 177.53 (out)(err) |
O = 4705816 T = 62.88 (out)(err) |
fa3d0fb2-db9e-11df-a0ec-00163e3d3b7c_l1.wcnf | O = 4569599 T = 2.79 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4590663 T = 136.19 (out)(err) |
O = N/A T = TO (out)(err) |
O = 4569599 T = 2.79 (out)(err) |
O = 4697298 T = 0.03 (out)(err) |
O = 4597122 T = 0.04 (out)(err) |
ff4a1d84-d490-11df-9e6c-00163e3d3b7c_l1.wcnf | O = 181519 T = 0.07 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 182659 T = 38.21 (out)(err) |
O = N/A T = TO (out)(err) |
O = 181519 T = 0.07 (out)(err) |
O = 187314 T = 81.13 (out)(err) |
O = 184390 T = 157.83 (out)(err) |
rand116_l2.wcnf | O = 1831176 T = 2.29 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1870494 T = 137.46 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1831176 T = 2.29 (out)(err) |
O = 1904037 T = 145.21 (out)(err) |
O = 1876275 T = 0.40 (out)(err) |
rand118_l2.wcnf | O = 1626135 T = 13.35 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1709093 T = 207.16 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1626135 T = 13.35 (out)(err) |
O = 1874716 T = 52.91 (out)(err) |
O = 1719200 T = 0.12 (out)(err) |
rand131_l2.wcnf | O = 1833970 T = 14.56 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1904594 T = 57.75 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1833970 T = 14.56 (out)(err) |
O = 1977576 T = 171.99 (out)(err) |
O = 1933971 T = 0.11 (out)(err) |
rand172_l1.wcnf | O = 334686 T = 4.83 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 349761 T = 132.41 (out)(err) |
O = N/A T = TO (out)(err) |
O = 334686 T = 4.83 (out)(err) |
O = 383454 T = 115.96 (out)(err) |
O = 379114 T = 55.95 (out)(err) |
rand179_l1.wcnf | O = 493892 T = 284.70 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 513689 T = 130.03 (out)(err) |
O = N/A T = TO (out)(err) |
O = 493892 T = 284.70 (out)(err) |
O = 545286 T = 18.88 (out)(err) |
O = 539537 T = 76.41 (out)(err) |
rand196_l1.wcnf | O = 428433 T = 1.62 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 448339 T = 200.85 (out)(err) |
O = N/A T = TO (out)(err) |
O = 428433 T = 1.62 (out)(err) |
O = 495217 T = 76.39 (out)(err) |
O = 470872 T = 101.05 (out)(err) |
rand196_l2.wcnf | O = 2309054 T = 284.56 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2413261 T = 253.21 (out)(err) |
O = N/A T = TO (out)(err) |
O = 2309054 T = 284.56 (out)(err) |
O = 2606800 T = 0.60 (out)(err) |
O = 2546590 T = 0.64 (out)(err) |
rand208_l1.wcnf | O = 823487 T = 5.42 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 851651 T = 91.17 (out)(err) |
O = N/A T = TO (out)(err) |
O = 823487 T = 5.42 (out)(err) |
O = 887909 T = 199.77 (out)(err) |
O = 881086 T = 204.84 (out)(err) |
rand208_l2.wcnf | O = 2165646 T = 9.27 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2249736 T = 237.88 (out)(err) |
O = N/A T = TO (out)(err) |
O = 2165646 T = 9.27 (out)(err) |
O = 2388761 T = 47.21 (out)(err) |
O = 2246423 T = 0.14 (out)(err) |
rand213_l2.wcnf | O = 1840856 T = 1.29 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1861270 T = 186.24 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1840856 T = 1.29 (out)(err) |
O = 1898925 T = 90.06 (out)(err) |
O = 1869459 T = 0.07 (out)(err) |
rand220_l2.wcnf | O = 2028072 T = 284.57 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2066022 T = 49.24 (out)(err) |
O = N/A T = TO (out)(err) |
O = 2028072 T = 284.57 (out)(err) |
O = 2186718 T = 194.49 (out)(err) |
O = 2063470 T = 0.11 (out)(err) |
rand242_l1.wcnf | O = 314568 T = 1.56 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 333370 T = 73.17 (out)(err) |
O = N/A T = TO (out)(err) |
O = 314568 T = 1.56 (out)(err) |
O = 327776 T = 232.33 (out)(err) |
O = 326357 T = 0.03 (out)(err) |
rand293_l1.wcnf | O = 406647 T = 19.62 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 434373 T = 76.91 (out)(err) |
O = N/A T = TO (out)(err) |
O = 406647 T = 19.62 (out)(err) |
O = 500413 T = 81.19 (out)(err) |
O = 460458 T = 0.04 (out)(err) |
rand307_l2.wcnf | O = 1820365 T = 1.41 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1842030 T = 274.10 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1820365 T = 1.41 (out)(err) |
O = 1887746 T = 89.00 (out)(err) |
O = 1846510 T = 0.06 (out)(err) |
rand308_l2.wcnf | O = 2063604 T = 6.18 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2118771 T = 215.08 (out)(err) |
O = N/A T = TO (out)(err) |
O = 2063604 T = 6.18 (out)(err) |
O = 2227602 T = 0.05 (out)(err) |
O = 2138872 T = 0.10 (out)(err) |
rand30_l1.wcnf | O = 531473 T = 5.38 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 549929 T = 45.26 (out)(err) |
O = N/A T = TO (out)(err) |
O = 531473 T = 5.38 (out)(err) |
O = 596731 T = 97.74 (out)(err) |
O = 593096 T = 215.28 (out)(err) |
rand377_l2.wcnf | O = 1927695 T = 4.01 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1966087 T = 112.19 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1927695 T = 4.01 (out)(err) |
O = 2011524 T = 79.13 (out)(err) |
O = 1962167 T = 0.08 (out)(err) |
rand381_l1.wcnf | O = 191002 T = 0.56 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 195306 T = 102.62 (out)(err) |
O = N/A T = TO (out)(err) |
O = 191002 T = 0.56 (out)(err) |
O = 206875 T = 170.87 (out)(err) |
O = 206495 T = 94.60 (out)(err) |
rand393_l1.wcnf | O = 231003 T = 0.48 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 234625 T = 221.59 (out)(err) |
O = N/A T = TO (out)(err) |
O = 231003 T = 0.48 (out)(err) |
O = 248419 T = 125.02 (out)(err) |
O = 247706 T = 16.55 (out)(err) |
rand425_l1.wcnf | O = 358529 T = 9.02 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 384462 T = 249.25 (out)(err) |
O = N/A T = TO (out)(err) |
O = 358529 T = 9.02 (out)(err) |
O = 423528 T = 83.89 (out)(err) |
O = 410277 T = 246.61 (out)(err) |
rand446_l1.wcnf | O = 302906 T = 0.73 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 316484 T = 88.80 (out)(err) |
O = N/A T = TO (out)(err) |
O = 302906 T = 0.73 (out)(err) |
O = 331548 T = 51.32 (out)(err) |
O = 333100 T = 25.56 (out)(err) |
rand491_l2.wcnf | O = 1868458 T = 12.85 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1933520 T = 248.43 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1868458 T = 12.85 (out)(err) |
O = 2056121 T = 225.49 (out)(err) |
O = 1997321 T = 0.12 (out)(err) |
rand507_l1.wcnf | O = 318754 T = 0.41 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 327136 T = 9.79 (out)(err) |
O = N/A T = TO (out)(err) |
O = 318754 T = 0.41 (out)(err) |
O = 337531 T = 89.07 (out)(err) |
O = 339121 T = 44.16 (out)(err) |
rand507_l2.wcnf | O = 2005769 T = 4.30 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2057412 T = 240.72 (out)(err) |
O = N/A T = TO (out)(err) |
O = 2005769 T = 4.30 (out)(err) |
O = 2147105 T = 252.12 (out)(err) |
O = 2065987 T = 0.08 (out)(err) |
rand547_l2.wcnf | O = 1967414 T = 284.72 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2014046 T = 247.78 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1967414 T = 284.72 (out)(err) |
O = 2120070 T = 244.19 (out)(err) |
O = 2078063 T = 0.11 (out)(err) |
rand583_l2.wcnf | O = 1853126 T = 0.78 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1861913 T = 132.52 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1853126 T = 0.78 (out)(err) |
O = 1890054 T = 157.95 (out)(err) |
O = 1862451 T = 0.07 (out)(err) |
rand653_l2.wcnf | O = 1851319 T = 2.49 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1879861 T = 271.63 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1851319 T = 2.49 (out)(err) |
O = 1935881 T = 298.61 (out)(err) |
O = 1896957 T = 0.07 (out)(err) |
rand695_l1.wcnf | O = 298793 T = 0.37 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 305289 T = 285.65 (out)(err) |
O = N/A T = TO (out)(err) |
O = 298793 T = 0.37 (out)(err) |
O = 319203 T = 105.99 (out)(err) |
O = 316276 T = 127.31 (out)(err) |
rand717_l2.wcnf | O = 2205487 T = 18.37 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2366293 T = 82.58 (out)(err) |
O = N/A T = TO (out)(err) |
O = 2205487 T = 18.37 (out)(err) |
O = 2594668 T = 112.01 (out)(err) |
O = 2365162 T = 0.13 (out)(err) |
rand752_l1.wcnf | O = 322481 T = 14.93 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 338701 T = 115.41 (out)(err) |
O = N/A T = TO (out)(err) |
O = 322481 T = 14.93 (out)(err) |
O = 376042 T = 79.15 (out)(err) |
O = 368098 T = 165.51 (out)(err) |
rand83_l1.wcnf | O = 389009 T = 284.71 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 410558 T = 3.87 (out)(err) |
O = N/A T = TO (out)(err) |
O = 389009 T = 284.71 (out)(err) |
O = 448759 T = 4.68 (out)(err) |
O = 436244 T = 17.54 (out)(err) |
rand83_l2.wcnf | O = 1821233 T = 4.60 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1893303 T = 169.00 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1821233 T = 4.60 (out)(err) |
O = 1995392 T = 101.41 (out)(err) |
O = 1892825 T = 0.11 (out)(err) |
rand869_l1.wcnf | O = 350662 T = 17.47 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 350662 T = 17.47 (out)(err) |
O = N/A T = TO (out)(err) |
O = 354211 T = 284.69 (out)(err) |
O = 385328 T = 139.22 (out)(err) |
O = 372336 T = 65.34 (out)(err) |
rand874_l1.wcnf | O = 583602 T = 9.77 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 619778 T = 190.14 (out)(err) |
O = N/A T = TO (out)(err) |
O = 583602 T = 9.77 (out)(err) |
O = 684590 T = 217.80 (out)(err) |
O = 649995 T = 0.03 (out)(err) |
rand892_l1.wcnf | O = 224702 T = 0.36 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 231132 T = 288.83 (out)(err) |
O = N/A T = TO (out)(err) |
O = 224702 T = 0.36 (out)(err) |
O = 246374 T = 122.69 (out)(err) |
O = 243205 T = 0.01 (out)(err) |
rand892_l2.wcnf | O = 1930149 T = 4.99 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1970180 T = 222.29 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1930149 T = 4.99 (out)(err) |
O = 2044697 T = 56.73 (out)(err) |
O = 1970273 T = 0.10 (out)(err) |
rand929_l2.wcnf | O = 1934382 T = 4.13 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1968688 T = 277.81 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1934382 T = 4.13 (out)(err) |
O = 2021746 T = 133.04 (out)(err) |
O = 2049805 T = 0.07 (out)(err) |
rand954_l1.wcnf | O = 273463 T = 0.65 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 282748 T = 148.80 (out)(err) |
O = N/A T = TO (out)(err) |
O = 273463 T = 0.65 (out)(err) |
O = 299332 T = 243.37 (out)(err) |
O = 290428 T = 0.01 (out)(err) |
rand981_l2.wcnf | O = 1878056 T = 8.50 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1931301 T = 136.07 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1878056 T = 8.50 (out)(err) |
O = 2016386 T = 45.13 (out)(err) |
O = 1921890 T = 0.09 (out)(err) |
rand984_l1.wcnf | O = 345082 T = 2.27 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 372272 T = 10.63 (out)(err) |
O = N/A T = TO (out)(err) |
O = 345082 T = 2.27 (out)(err) |
O = 412681 T = 4.07 (out)(err) |
O = 394760 T = 113.69 (out)(err) |
rand984_l2.wcnf | O = 1466588 T = 47.21 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1554695 T = 246.98 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1466588 T = 47.21 (out)(err) |
O = 1703901 T = 221.49 (out)(err) |
O = 1580315 T = 0.47 (out)(err) |
WCNF_pathways_p01.wcnf | O = 2 T = 0.00 |
O = 2 T = 0.23 (out)(err) |
O = 5 T = 2.38 (out)(err) |
O = 2 T = 0.42 (out)(err) |
O = 2 T = 0.64 (out)(err) |
O = 2 T = 0.00 (out)(err) |
O = 2 T = 0.01 (out)(err) |
O = 2 T = 0.02 (out)(err) |
WCNF_pathways_p02.wcnf | O = 3 T = 0.00 |
O = 3 T = 0.35 (out)(err) |
O = 6 T = 25.54 (out)(err) |
O = 3 T = 0.18 (out)(err) |
O = 3 T = 0.71 (out)(err) |
O = 3 T = 0.00 (out)(err) |
O = 3 T = 0.02 (out)(err) |
O = 3 T = 0.03 (out)(err) |
WCNF_pathways_p03.wcnf | O = 30 T = 0.01 |
O = 30 T = 0.27 (out)(err) |
O = 57 T = 85.31 (out)(err) |
O = 30 T = 8.75 (out)(err) |
O = 30 T = 1.68 (out)(err) |
O = 30 T = 0.01 (out)(err) |
O = 30 T = 0.04 (out)(err) |
O = 30 T = 0.07 (out)(err) |
WCNF_pathways_p04.wcnf | O = 20 T = 0.01 |
O = 20 T = 0.34 (out)(err) |
O = 67 T = 120.65 (out)(err) |
O = 30 T = 14.08 (out)(err) |
O = 20 T = 1.88 (out)(err) |
O = 20 T = 0.01 (out)(err) |
O = 20 T = 0.09 (out)(err) |
O = 20 T = 0.04 (out)(err) |
WCNF_pathways_p05.wcnf | O = 60 T = 0.21 |
O = 60 T = 188.08 (out)(err) |
O = 102 T = 226.86 (out)(err) |
O = 82 T = 178.13 (out)(err) |
O = 60 T = 2.58 (out)(err) |
O = 60 T = 0.31 (out)(err) |
O = 60 T = 0.34 (out)(err) |
O = 60 T = 0.21 (out)(err) |
WCNF_pathways_p06.wcnf | O = 64 T = 16.06 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 114 T = 208.76 (out)(err) |
O = 64 T = 38.03 (out)(err) |
O = 64 T = 46.94 (out)(err) |
O = 64 T = 16.06 (out)(err) |
O = 64 T = 62.75 (out)(err) |
WCNF_pathways_p07.wcnf | O = 115 T = 1.14 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 134 T = 140.34 (out)(err) |
O = 115 T = 17.64 (out)(err) |
O = 115 T = 6.78 (out)(err) |
O = 115 T = 1.75 (out)(err) |
O = 115 T = 1.14 (out)(err) |
WCNF_pathways_p08.wcnf | O = 182 T = 1.84 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 206 T = 24.17 (out)(err) |
O = 182 T = 11.49 (out)(err) |
O = 182 T = 11.53 (out)(err) |
O = 182 T = 1.84 (out)(err) |
O = 182 T = 2.49 (out)(err) |
WCNF_pathways_p09.wcnf | O = 157 T = 0.40 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 10.69 (out)(err) |
O = 157 T = 2.65 (out)(err) |
O = 157 T = 0.40 (out)(err) |
O = 157 T = 0.43 (out)(err) |
O = 157 T = 0.98 (out)(err) |
WCNF_pathways_p10.wcnf | O = 129 T = 7.55 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 174 T = 14.89 (out)(err) |
O = 129 T = 17.54 (out)(err) |
O = 129 T = 20.47 (out)(err) |
O = 129 T = 7.55 (out)(err) |
O = 129 T = 9.15 (out)(err) |
WCNF_pathways_p11.wcnf | O = 118 T = 0.06 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 127 T = 102.74 (out)(err) |
O = 118 T = 1.86 (out)(err) |
O = 118 T = 0.06 (out)(err) |
O = 118 T = 0.23 (out)(err) |
O = 118 T = 0.34 (out)(err) |
WCNF_pathways_p12.wcnf | O = 188 T = 0.34 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 196 T = 269.92 (out)(err) |
O = 188 T = 2.95 (out)(err) |
O = 188 T = 0.34 (out)(err) |
O = 188 T = 0.57 (out)(err) |
O = 188 T = 1.08 (out)(err) |
WCNF_pathways_p14.wcnf | O = 207 T = 0.30 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 216 T = 33.33 (out)(err) |
O = 207 T = 2.98 (out)(err) |
O = 207 T = 0.30 (out)(err) |
O = 207 T = 0.53 (out)(err) |
O = 207 T = 0.66 (out)(err) |
WCNF_pathways_p16.wcnf | O = 257 T = 5.65 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 285 T = 252.69 (out)(err) |
O = N/A T = TO (out)(err) |
O = 257 T = 284.60 (out)(err) |
O = 257 T = 5.65 (out)(err) |
O = 257 T = 212.82 (out)(err) |
WCNF_pathways_p17.wcnf | O = 223 T = 2.71 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 253 T = 290.61 (out)(err) |
O = 223 T = 8.56 (out)(err) |
O = 223 T = 158.76 (out)(err) |
O = 223 T = 2.71 (out)(err) |
O = 223 T = 146.89 (out)(err) |
WCNF_pathways_p18.wcnf | O = 228 T = 0.15 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 238 T = 144.02 (out)(err) |
O = 228 T = 2.67 (out)(err) |
O = 228 T = 0.15 (out)(err) |
O = 228 T = 0.17 (out)(err) |
O = 228 T = 0.63 (out)(err) |
WCNF_pathways_p20.wcnf | O = 247 T = 0.22 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 249 T = 289.91 (out)(err) |
O = 247 T = 5.99 (out)(err) |
O = 247 T = 0.22 (out)(err) |
O = 247 T = 0.99 (out)(err) |
O = 247 T = 2.51 (out)(err) |
WCNF_storage_p01.wcnf | O = 3 T = 0.00 |
O = 3 T = 0.22 (out)(err) |
O = 6 T = 0.08 (out)(err) |
O = 5 T = 0.08 (out)(err) |
O = 3 T = 0.39 (out)(err) |
O = 3 T = 0.00 (out)(err) |
O = 3 T = 0.01 (out)(err) |
O = 3 T = 0.01 (out)(err) |
WCNF_storage_p02.wcnf | O = 5 T = 0.07 |
O = 8 T = 3.17 (out)(err) |
O = 12 T = 38.24 (out)(err) |
O = 8 T = 17.54 (out)(err) |
O = 5 T = 3.43 (out)(err) |
O = 5 T = 0.07 (out)(err) |
O = 5 T = 0.24 (out)(err) |
O = 5 T = 0.43 (out)(err) |
WCNF_storage_p03.wcnf | O = 18 T = 1.72 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 30 T = 287.90 (out)(err) |
O = 18 T = 6.71 (out)(err) |
O = 18 T = 14.18 (out)(err) |
O = 18 T = 1.72 (out)(err) |
O = 18 T = 4.36 (out)(err) |
WCNF_storage_p04.wcnf | O = 38 T = 0.25 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 43 T = 276.14 (out)(err) |
O = 38 T = 2.82 (out)(err) |
O = 38 T = 0.36 (out)(err) |
O = 38 T = 0.25 (out)(err) |
O = 38 T = 1.43 (out)(err) |
WCNF_storage_p05.wcnf | O = 107 T = 0.24 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 124 T = 11.00 (out)(err) |
O = 107 T = 4.12 (out)(err) |
O = 107 T = 0.24 (out)(err) |
O = 107 T = 2.35 (out)(err) |
O = 107 T = 5.46 (out)(err) |
WCNF_storage_p06.wcnf | O = 173 T = 0.24 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 189 T = 14.72 (out)(err) |
O = 173 T = 3.48 (out)(err) |
O = 173 T = 0.24 (out)(err) |
O = 173 T = 2.21 (out)(err) |
O = 173 T = 2.63 (out)(err) |
WCNF_storage_p07.wcnf | O = 277 T = 5.16 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 330 T = 23.71 (out)(err) |
O = 277 T = 8.60 (out)(err) |
O = 277 T = 16.02 (out)(err) |
O = 277 T = 5.16 (out)(err) |
O = 277 T = 6.05 (out)(err) |
WCNF_trucks_p01.wcnf | O = 0 T = 0.10 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3 T = 107.74 (out)(err) |
O = 0 T = 1.97 (out)(err) |
O = 0 T = 0.10 (out)(err) |
O = 0 T = 0.38 (out)(err) |
O = 0 T = 0.58 (out)(err) |
WCNF_trucks_p02.wcnf | O = 0 T = 1.78 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 0 T = 8.49 (out)(err) |
O = 0 T = 1.78 (out)(err) |
O = 0 T = 5.73 (out)(err) |
O = 0 T = 8.01 (out)(err) |
WCNF_trucks_p03.wcnf | O = 0 T = 2.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 0 T = 40.60 (out)(err) |
O = 0 T = 2.03 (out)(err) |
O = 0 T = 41.81 (out)(err) |
O = 0 T = 33.18 (out)(err) |
WCNF_trucks_p04.wcnf | O = 0 T = 0.88 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 0 T = 145.97 (out)(err) |
O = 0 T = 0.88 (out)(err) |
O = 0 T = 57.04 (out)(err) |
O = 0 T = 47.28 (out)(err) |
WCNF_trucks_p05.wcnf | O = 0 T = 38.96 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 0 T = 38.96 (out)(err) |
O = 28 T = 278.33 (out)(err) |
O = 25 T = 246.11 (out)(err) |
comp01.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
comp02.wcnf | O = 87 T = 207.00 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 232 T = 189.98 (out)(err) |
O = N/A T = TO (out)(err) |
O = 568 T = 284.67 (out)(err) |
O = 87 T = 207.00 (out)(err) |
O = 113 T = 160.52 (out)(err) |
comp03.wcnf | O = 127 T = 271.12 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 213 T = 296.22 (out)(err) |
O = N/A T = TO (out)(err) |
O = 528 T = 284.66 (out)(err) |
O = 127 T = 271.12 (out)(err) |
O = 139 T = 104.06 (out)(err) |
comp04.wcnf | O = 35 T = 2.65 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 202 T = 267.71 (out)(err) |
O = N/A T = TO (out)(err) |
O = 35 T = 2.65 (out)(err) |
O = 35 T = 151.22 (out)(err) |
O = 77 T = 101.38 (out)(err) |
comp05.wcnf | O = 457 T = 206.80 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 910 T = 115.96 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1364 T = 284.68 (out)(err) |
O = 457 T = 206.80 (out)(err) |
O = 632 T = 189.86 (out)(err) |
comp06.wcnf | O = 27 T = 126.61 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 731 T = 219.02 (out)(err) |
O = N/A T = TO (out)(err) |
O = 27 T = 126.61 (out)(err) |
O = 48 T = 132.58 (out)(err) |
O = 305 T = 42.56 (out)(err) |
comp07.wcnf | O = 130 T = 135.57 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2283 T = 85.25 (out)(err) |
O = N/A T = TO (out)(err) |
O = 714 T = 284.72 (out)(err) |
O = 130 T = 135.57 (out)(err) |
O = 164 T = 73.81 (out)(err) |
comp08.wcnf | O = 37 T = 3.63 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 321 T = 199.84 (out)(err) |
O = N/A T = TO (out)(err) |
O = 37 T = 3.63 (out)(err) |
O = 37 T = 208.48 (out)(err) |
O = 149 T = 103.08 (out)(err) |
comp09.wcnf | O = 138 T = 132.58 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 262 T = 188.83 (out)(err) |
O = N/A T = TO (out)(err) |
O = 618 T = 284.50 (out)(err) |
O = 138 T = 132.58 (out)(err) |
O = 159 T = 102.83 (out)(err) |
comp10.wcnf | O = 4 T = 12.64 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 747 T = 186.75 (out)(err) |
O = N/A T = TO (out)(err) |
O = 4 T = 12.64 (out)(err) |
O = 30 T = 247.40 (out)(err) |
O = 220 T = 50.29 (out)(err) |
comp12.wcnf | O = 606 T = 135.63 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 937 T = 288.56 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1470 T = 284.72 (out)(err) |
O = 606 T = 135.63 (out)(err) |
O = 629 T = 237.21 (out)(err) |
comp13.wcnf | O = 59 T = 28.34 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 338 T = 139.28 (out)(err) |
O = N/A T = TO (out)(err) |
O = 59 T = 28.34 (out)(err) |
O = 92 T = 256.73 (out)(err) |
O = 126 T = 111.74 (out)(err) |
comp14.wcnf | O = 51 T = 9.48 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 201 T = 177.66 (out)(err) |
O = N/A T = TO (out)(err) |
O = 51 T = 9.48 (out)(err) |
O = 55 T = 289.62 (out)(err) |
O = 137 T = 101.98 (out)(err) |
comp15.wcnf | O = 134 T = 187.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 233 T = 210.70 (out)(err) |
O = N/A T = TO (out)(err) |
O = 528 T = 284.70 (out)(err) |
O = 148 T = 182.15 (out)(err) |
O = 134 T = 187.03 (out)(err) |
comp16.wcnf | O = 18 T = 6.54 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 365 T = 153.59 (out)(err) |
O = N/A T = TO (out)(err) |
O = 18 T = 6.54 (out)(err) |
O = 18 T = 173.50 (out)(err) |
O = 157 T = 97.00 (out)(err) |
comp17.wcnf | O = 56 T = 185.22 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 635 T = 287.34 (out)(err) |
O = N/A T = TO (out)(err) |
O = 56 T = 185.22 (out)(err) |
O = 90 T = 115.43 (out)(err) |
O = 168 T = 45.99 (out)(err) |
comp18.wcnf | O = 121 T = 252.85 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 191 T = 183.68 (out)(err) |
O = N/A T = TO (out)(err) |
O = 384 T = 284.70 (out)(err) |
O = 121 T = 252.85 (out)(err) |
O = 122 T = 150.67 (out)(err) |
comp19.wcnf | O = 57 T = 155.52 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 189 T = 208.79 (out)(err) |
O = N/A T = TO (out)(err) |
O = 57 T = 155.52 (out)(err) |
O = 62 T = 166.27 (out)(err) |
O = 102 T = 141.37 (out)(err) |
comp20.wcnf | O = 4 T = 214.44 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1501 T = 157.10 (out)(err) |
O = N/A T = TO (out)(err) |
O = 4 T = 214.44 (out)(err) |
O = 32 T = 183.93 (out)(err) |
O = 198 T = 50.42 (out)(err) |
comp21.wcnf | O = 149 T = 224.28 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 415 T = 257.91 (out)(err) |
O = N/A T = TO (out)(err) |
O = 550 T = 284.72 (out)(err) |
O = 149 T = 224.28 (out)(err) |
O = 260 T = 92.49 (out)(err) |
dds1.wcnf | O = 48 T = 36.76 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 48 T = 36.76 (out)(err) |
O = 87 T = 118.97 (out)(err) |
O = 811 T = 92.53 (out)(err) |
dds4.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
test1.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
test2.wcnf | O = 16 T = 8.64 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 298 T = 157.68 (out)(err) |
O = N/A T = TO (out)(err) |
O = 16 T = 8.64 (out)(err) |
O = 16 T = 92.92 (out)(err) |
O = 24 T = 89.92 (out)(err) |
test3.wcnf | O = 363 T = 284.71 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 372 T = 232.62 (out)(err) |
O = N/A T = TO (out)(err) |
O = 363 T = 284.71 (out)(err) |
O = 371 T = 2.87 (out)(err) |
O = 381 T = 7.34 (out)(err) |
test4.wcnf | O = 446 T = 284.67 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 446 T = 284.67 (out)(err) |
O = 1305 T = 75.29 (out)(err) |
O = 1287 T = 9.40 (out)(err) |
mancoosi-test-i1000d0u98-0.wcnf | O = 107076495 T = 1.24 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 107076495 T = 13.70 (out)(err) |
O = 107076495 T = 1.24 (out)(err) |
O = 107076495 T = 1.49 (out)(err) |
O = 107076495 T = 6.89 (out)(err) |
mancoosi-test-i1000d0u98-1.wcnf | O = 122084953 T = 1.05 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 122084953 T = 1.37 (out)(err) |
O = 122084953 T = 1.23 (out)(err) |
O = 122084953 T = 1.05 (out)(err) |
mancoosi-test-i1000d0u98-10.wcnf | O = 152083527 T = 1.11 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 152083527 T = 9.41 (out)(err) |
O = 152083527 T = 1.11 (out)(err) |
O = 152083527 T = 16.23 (out)(err) |
O = 152083527 T = 12.61 (out)(err) |
mancoosi-test-i1000d0u98-11.wcnf | O = 122139402 T = 0.87 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 122139402 T = 7.90 (out)(err) |
O = 122139402 T = 1.21 (out)(err) |
O = 122139402 T = 1.07 (out)(err) |
O = 122139402 T = 0.87 (out)(err) |
mancoosi-test-i1000d0u98-12.wcnf | O = 77077761 T = 1.34 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 77077761 T = 1.34 (out)(err) |
O = 77077761 T = 1.39 (out)(err) |
O = 77077761 T = 8.86 (out)(err) |
mancoosi-test-i1000d0u98-13.wcnf | O = 182245730 T = 1.01 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 182245730 T = 6.15 (out)(err) |
O = 182245730 T = 1.42 (out)(err) |
O = 182245730 T = 1.30 (out)(err) |
O = 182245730 T = 1.01 (out)(err) |
mancoosi-test-i1000d0u98-14.wcnf | O = 137147806 T = 1.51 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 137147806 T = 20.83 (out)(err) |
O = 137147806 T = 1.51 (out)(err) |
O = 137147806 T = 8.37 (out)(err) |
O = 137147806 T = 18.89 (out)(err) |
mancoosi-test-i1000d0u98-15.wcnf | O = 92031744 T = 1.89 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 92031744 T = 24.39 (out)(err) |
O = 92031744 T = 1.89 (out)(err) |
O = 92031744 T = 8.58 (out)(err) |
O = 92031744 T = 17.17 (out)(err) |
mancoosi-test-i1000d0u98-16.wcnf | O = 137075245 T = 0.92 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 137075245 T = 5.18 (out)(err) |
O = 137075245 T = 1.53 (out)(err) |
O = 137075245 T = 1.14 (out)(err) |
O = 137075245 T = 0.92 (out)(err) |
mancoosi-test-i1000d0u98-17.wcnf | O = 152192544 T = 1.08 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 152192544 T = 58.72 (out)(err) |
O = 152192544 T = 1.22 (out)(err) |
O = 152192544 T = 1.51 (out)(err) |
O = 152192544 T = 1.08 (out)(err) |
mancoosi-test-i1000d0u98-18.wcnf | O = 152228825 T = 1.29 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 152228825 T = 3.73 (out)(err) |
O = 152228825 T = 1.29 (out)(err) |
O = 152228825 T = 5.46 (out)(err) |
O = 152228825 T = 5.88 (out)(err) |
mancoosi-test-i1000d0u98-19.wcnf | O = 92049939 T = 1.77 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 92049939 T = 60.31 (out)(err) |
O = 92049939 T = 1.77 (out)(err) |
O = 92049939 T = 23.51 (out)(err) |
O = 92049939 T = 38.88 (out)(err) |
mancoosi-test-i1000d0u98-2.wcnf | O = 77059701 T = 0.80 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 77059701 T = 3.72 (out)(err) |
O = 77059701 T = 1.77 (out)(err) |
O = 77059701 T = 1.06 (out)(err) |
O = 77059701 T = 0.80 (out)(err) |
mancoosi-test-i1000d0u98-20.wcnf | O = 122103131 T = 1.59 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 122103131 T = 1.59 (out)(err) |
O = 122103131 T = 13.40 (out)(err) |
O = 122103131 T = 14.38 (out)(err) |
mancoosi-test-i1000d0u98-21.wcnf | O = 77041487 T = 1.06 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 77041487 T = 9.13 (out)(err) |
O = 77041487 T = 1.22 (out)(err) |
O = 77041487 T = 1.06 (out)(err) |
O = 77041487 T = 1.09 (out)(err) |
mancoosi-test-i1000d0u98-22.wcnf | O = 92086312 T = 1.83 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 92086312 T = 10.73 (out)(err) |
O = 92086312 T = 1.83 (out)(err) |
O = 92086312 T = 8.35 (out)(err) |
O = 92086312 T = 8.91 (out)(err) |
mancoosi-test-i1000d0u98-23.wcnf | O = 62014822 T = 1.16 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 62014822 T = 5.24 (out)(err) |
O = 62014822 T = 1.16 (out)(err) |
O = 62014822 T = 5.65 (out)(err) |
O = 62014822 T = 11.49 (out)(err) |
mancoosi-test-i1000d0u98-24.wcnf | O = 167273676 T = 2.09 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 167273676 T = 10.91 (out)(err) |
O = 167273676 T = 2.09 (out)(err) |
O = 167273676 T = 33.32 (out)(err) |
O = 167273676 T = 15.75 (out)(err) |
mancoosi-test-i1000d0u98-3.wcnf | O = 91959146 T = 1.97 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 91959146 T = 10.06 (out)(err) |
O = 91959146 T = 1.97 (out)(err) |
O = 91959146 T = 6.86 (out)(err) |
O = 91959146 T = 6.31 (out)(err) |
mancoosi-test-i1000d0u98-4.wcnf | O = 122175781 T = 1.77 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 122175781 T = 15.93 (out)(err) |
O = 122175781 T = 1.77 (out)(err) |
O = 122175781 T = 15.87 (out)(err) |
O = 122175781 T = 6.52 (out)(err) |
mancoosi-test-i1000d0u98-5.wcnf | O = 107058295 T = 0.20 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 107058295 T = 45.86 (out)(err) |
O = 107058295 T = 0.20 (out)(err) |
O = 107058295 T = 26.71 (out)(err) |
O = 107058295 T = 25.21 (out)(err) |
mancoosi-test-i1000d0u98-6.wcnf | O = 137093314 T = 1.23 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 137093314 T = 6.32 (out)(err) |
O = 137093314 T = 1.23 (out)(err) |
O = 137093314 T = 24.28 (out)(err) |
O = 137093314 T = 31.65 (out)(err) |
mancoosi-test-i1000d0u98-7.wcnf | O = 92104395 T = 0.82 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 92104395 T = 6.62 (out)(err) |
O = 92104395 T = 1.21 (out)(err) |
O = 92104395 T = 1.47 (out)(err) |
O = 92104395 T = 0.82 (out)(err) |
mancoosi-test-i1000d0u98-8.wcnf | O = 137057008 T = 0.89 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 137057008 T = 95.37 (out)(err) |
O = 137057008 T = 1.64 (out)(err) |
O = 137057008 T = 1.23 (out)(err) |
O = 137057008 T = 0.89 (out)(err) |
mancoosi-test-i1000d0u98-9.wcnf | O = 167164758 T = 2.18 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 167164758 T = 5.34 (out)(err) |
O = 167164758 T = 2.18 (out)(err) |
O = 167164758 T = 13.43 (out)(err) |
O = 167164758 T = 21.31 (out)(err) |
mancoosi-test-i2000d0u98-25.wcnf | O = 332548069 T = 1.35 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 332548069 T = 2.25 (out)(err) |
O = 332548069 T = 1.80 (out)(err) |
O = 332548069 T = 1.35 (out)(err) |
mancoosi-test-i2000d0u98-26.wcnf | O = 287486453 T = 1.45 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 287486453 T = 1.45 (out)(err) |
O = 287486453 T = 17.33 (out)(err) |
O = 287486453 T = 17.51 (out)(err) |
mancoosi-test-i2000d0u98-27.wcnf | O = 317557787 T = 1.44 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 317557787 T = 242.64 (out)(err) |
O = 317557787 T = 1.44 (out)(err) |
O = 317557787 T = 2.11 (out)(err) |
O = 317557787 T = 1.46 (out)(err) |
mancoosi-test-i2000d0u98-28.wcnf | O = 287468289 T = 1.43 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 287468289 T = 1.43 (out)(err) |
O = 287468289 T = 12.22 (out)(err) |
O = 287468289 T = 12.80 (out)(err) |
mancoosi-test-i2000d0u98-29.wcnf | O = 287595465 T = 1.28 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 287595465 T = 111.18 (out)(err) |
O = 287595465 T = 1.41 (out)(err) |
O = 287595465 T = 2.37 (out)(err) |
O = 287595465 T = 1.28 (out)(err) |
mancoosi-test-i2000d0u98-30.wcnf | O = 212317206 T = 1.54 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 212317206 T = 1.54 (out)(err) |
O = 212317206 T = 8.42 (out)(err) |
O = 212317206 T = 18.70 (out)(err) |
mancoosi-test-i2000d0u98-31.wcnf | O = 302513031 T = 2.44 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 302513031 T = 2.44 (out)(err) |
O = 302513031 T = 29.93 (out)(err) |
O = 302513031 T = 12.43 (out)(err) |
mancoosi-test-i2000d0u98-32.wcnf | O = 362510376 T = 1.95 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 362510376 T = 2.01 (out)(err) |
O = 362510376 T = 1.95 (out)(err) |
O = 362510376 T = 8.69 (out)(err) |
mancoosi-test-i2000d0u98-33.wcnf | O = 332529839 T = 1.99 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 332529839 T = 1.99 (out)(err) |
O = 332529839 T = 17.11 (out)(err) |
O = 332529839 T = 16.77 (out)(err) |
mancoosi-test-i2000d0u98-34.wcnf | O = 317430597 T = 1.43 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 317430597 T = 1.43 (out)(err) |
O = 317430597 T = 32.57 (out)(err) |
O = 317430597 T = 23.82 (out)(err) |
mancoosi-test-i2000d0u98-35.wcnf | O = 377591501 T = 1.49 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 377591501 T = 1.49 (out)(err) |
O = 377591501 T = 14.46 (out)(err) |
O = 377591501 T = 7.42 (out)(err) |
mancoosi-test-i2000d0u98-36.wcnf | O = 332566184 T = 1.33 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 332566184 T = 8.23 (out)(err) |
O = 332566184 T = 1.33 (out)(err) |
O = 332566184 T = 1.67 (out)(err) |
O = 332566184 T = 1.53 (out)(err) |
mancoosi-test-i2000d0u98-37.wcnf | O = 362510425 T = 1.63 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 362510425 T = 1.63 (out)(err) |
O = 362510425 T = 2.04 (out)(err) |
O = 362510425 T = 1.68 (out)(err) |
mancoosi-test-i2000d0u98-38.wcnf | O = 332620777 T = 1.70 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 332620777 T = 1.70 (out)(err) |
O = 332620777 T = 2.02 (out)(err) |
O = 332620777 T = 10.09 (out)(err) |
mancoosi-test-i2000d0u98-39.wcnf | O = 347556415 T = 1.37 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 347556415 T = 1.37 (out)(err) |
O = 347556415 T = 2.26 (out)(err) |
O = 347556415 T = 1.57 (out)(err) |
mancoosi-test-i2000d0u98-40.wcnf | O = 182372912 T = 0.99 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 182372912 T = 1.26 (out)(err) |
O = 182372912 T = 1.34 (out)(err) |
O = 182372912 T = 0.99 (out)(err) |
mancoosi-test-i2000d0u98-41.wcnf | O = 317594172 T = 1.59 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 317594172 T = 1.59 (out)(err) |
O = 317594172 T = 13.52 (out)(err) |
O = 317594172 T = 17.29 (out)(err) |
mancoosi-test-i2000d0u98-42.wcnf | O = 317503223 T = 0.22 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 317503223 T = 91.51 (out)(err) |
O = 317503223 T = 0.22 (out)(err) |
O = 317503223 T = 8.42 (out)(err) |
O = 317503223 T = 12.12 (out)(err) |
mancoosi-test-i2000d0u98-43.wcnf | O = 242370348 T = 1.84 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 242370348 T = 1.84 (out)(err) |
O = 242370348 T = 8.47 (out)(err) |
O = 242370348 T = 8.73 (out)(err) |
mancoosi-test-i2000d0u98-44.wcnf | O = 212353462 T = 1.11 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 212353462 T = 1.27 (out)(err) |
O = 212353462 T = 1.64 (out)(err) |
O = 212353462 T = 1.11 (out)(err) |
mancoosi-test-i2000d0u98-45.wcnf | O = 182318477 T = 1.26 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 182318477 T = 1.26 (out)(err) |
O = 182318477 T = 16.59 (out)(err) |
O = 182318477 T = 19.38 (out)(err) |
mancoosi-test-i2000d0u98-46.wcnf | O = 362601234 T = 1.43 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 362601234 T = 90.34 (out)(err) |
O = 362601234 T = 1.43 (out)(err) |
O = 362601234 T = 24.41 (out)(err) |
O = 362601234 T = 21.74 (out)(err) |
mancoosi-test-i2000d0u98-47.wcnf | O = 287486426 T = 0.13 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 287486426 T = 0.13 (out)(err) |
O = 287486426 T = 9.06 (out)(err) |
O = 287486426 T = 7.24 (out)(err) |
mancoosi-test-i2000d0u98-48.wcnf | O = 332693445 T = 1.49 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 332693445 T = 1.49 (out)(err) |
O = 332693445 T = 2.15 (out)(err) |
O = 332693445 T = 8.68 (out)(err) |
mancoosi-test-i2000d0u98-49.wcnf | O = 212353539 T = 1.08 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 212353539 T = 21.91 (out)(err) |
O = 212353539 T = 1.35 (out)(err) |
O = 212353539 T = 1.64 (out)(err) |
O = 212353539 T = 1.08 (out)(err) |
mancoosi-test-i3000d0u98-50.wcnf | O = 422725765 T = 1.63 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 422725765 T = 1.63 (out)(err) |
O = 422725765 T = 7.17 (out)(err) |
O = 422725765 T = 6.67 (out)(err) |
mancoosi-test-i3000d0u98-51.wcnf | O = 573028153 T = 1.80 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 573028153 T = 1.80 (out)(err) |
O = 573028153 T = 2.84 (out)(err) |
O = 573028153 T = 2.06 (out)(err) |
mancoosi-test-i3000d0u98-52.wcnf | O = 618125983 T = 1.64 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 618125983 T = 1.64 (out)(err) |
O = 618125983 T = 9.22 (out)(err) |
O = 618125983 T = 8.25 (out)(err) |
mancoosi-test-i3000d0u98-53.wcnf | O = 573137017 T = 1.47 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 573137017 T = 1.47 (out)(err) |
O = 573137017 T = 2.67 (out)(err) |
O = 573137017 T = 2.28 (out)(err) |
mancoosi-test-i3000d0u98-54.wcnf | O = 573137062 T = 1.66 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 573137062 T = 1.66 (out)(err) |
O = 573137062 T = 2.49 (out)(err) |
O = 573137062 T = 10.11 (out)(err) |
mancoosi-test-i3000d0u98-55.wcnf | O = 528002690 T = 1.36 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 528002690 T = 1.36 (out)(err) |
O = 528002690 T = 6.74 (out)(err) |
O = 528002690 T = 6.95 (out)(err) |
mancoosi-test-i3000d0u98-56.wcnf | O = 482868432 T = 1.39 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 482868432 T = 1.39 (out)(err) |
O = 482868432 T = 2.36 (out)(err) |
O = 482868432 T = 1.78 (out)(err) |
mancoosi-test-i3000d0u98-57.wcnf | O = 437806858 T = 1.42 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 437806858 T = 232.19 (out)(err) |
O = 437806858 T = 1.42 (out)(err) |
O = 437806858 T = 2.17 (out)(err) |
O = 437806858 T = 1.83 (out)(err) |
mancoosi-test-i3000d0u98-58.wcnf | O = 527911930 T = 1.52 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 527911930 T = 1.52 (out)(err) |
O = 527911930 T = 7.62 (out)(err) |
O = 527911930 T = 7.47 (out)(err) |
mancoosi-test-i3000d0u98-59.wcnf | O = 588054583 T = 1.60 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 588054583 T = 1.60 (out)(err) |
O = 588054583 T = 2.78 (out)(err) |
O = 588054583 T = 7.08 (out)(err) |
mancoosi-test-i3000d0u98-60.wcnf | O = 648142779 T = 1.63 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 648142779 T = 1.63 (out)(err) |
O = 648142779 T = 10.26 (out)(err) |
O = 648142779 T = 11.22 (out)(err) |
mancoosi-test-i3000d0u98-61.wcnf | O = 558019587 T = 1.41 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 558019587 T = 1.41 (out)(err) |
O = 558019587 T = 17.15 (out)(err) |
O = 558019587 T = 9.22 (out)(err) |
mancoosi-test-i3000d0u98-62.wcnf | O = 527930109 T = 1.51 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 527930109 T = 1.51 (out)(err) |
O = 527930109 T = 2.38 (out)(err) |
O = 527930109 T = 1.94 (out)(err) |
mancoosi-test-i3000d0u98-63.wcnf | O = 512957980 T = 1.98 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 512957980 T = 2.11 (out)(err) |
O = 512957980 T = 2.59 (out)(err) |
O = 512957980 T = 1.98 (out)(err) |
mancoosi-test-i3000d0u98-64.wcnf | O = 572991690 T = 2.14 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 572991690 T = 2.61 (out)(err) |
O = 572991690 T = 3.14 (out)(err) |
O = 572991690 T = 2.14 (out)(err) |
mancoosi-test-i3000d0u98-65.wcnf | O = 603062985 T = 2.31 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 603062985 T = 2.31 (out)(err) |
O = 603062985 T = 3.05 (out)(err) |
O = 603062985 T = 2.47 (out)(err) |
mancoosi-test-i3000d0u98-66.wcnf | O = 512939800 T = 1.48 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 512939800 T = 1.48 (out)(err) |
O = 512939800 T = 8.15 (out)(err) |
O = 512939800 T = 7.08 (out)(err) |
mancoosi-test-i3000d0u98-67.wcnf | O = 542902120 T = 2.29 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 542902120 T = 2.29 (out)(err) |
O = 542902120 T = 14.48 (out)(err) |
O = 542902120 T = 17.31 (out)(err) |
mancoosi-test-i3000d0u98-68.wcnf | O = 497931412 T = 1.99 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 497931412 T = 2.37 (out)(err) |
O = 497931412 T = 2.36 (out)(err) |
O = 497931412 T = 1.99 (out)(err) |
mancoosi-test-i3000d0u98-69.wcnf | O = 663114835 T = 2.07 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 663114835 T = 2.07 (out)(err) |
O = 663114835 T = 22.46 (out)(err) |
O = 663114835 T = 20.27 (out)(err) |
mancoosi-test-i3000d0u98-70.wcnf | O = 512958012 T = 1.94 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 512958012 T = 2.23 (out)(err) |
O = 512958012 T = 2.44 (out)(err) |
O = 512958012 T = 1.94 (out)(err) |
mancoosi-test-i3000d0u98-71.wcnf | O = 467969155 T = 2.58 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 467969155 T = 2.58 (out)(err) |
O = 467969155 T = 9.84 (out)(err) |
O = 467969155 T = 8.16 (out)(err) |
mancoosi-test-i3000d0u98-72.wcnf | O = 527857381 T = 1.80 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 527857381 T = 1.80 (out)(err) |
O = 527857381 T = 6.72 (out)(err) |
O = 527857381 T = 5.96 (out)(err) |
mancoosi-test-i3000d0u98-73.wcnf | O = 527875592 T = 2.29 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 527875592 T = 2.33 (out)(err) |
O = 527875592 T = 2.75 (out)(err) |
O = 527875592 T = 2.29 (out)(err) |
mancoosi-test-i3000d0u98-74.wcnf | O = 588109173 T = 1.63 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 588109173 T = 1.63 (out)(err) |
O = 588109173 T = 2.57 (out)(err) |
O = 588109173 T = 2.17 (out)(err) |
mancoosi-test-i4000d0u98-75.wcnf | O = 828534617 T = 1.79 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 828534617 T = 1.79 (out)(err) |
O = 828534617 T = 3.69 (out)(err) |
O = 828534617 T = 2.75 (out)(err) |
mancoosi-test-i4000d0u98-76.wcnf | O = 738411504 T = 1.89 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 738411504 T = 1.89 (out)(err) |
O = 738411504 T = 3.09 (out)(err) |
O = 738411504 T = 2.59 (out)(err) |
mancoosi-test-i4000d0u98-77.wcnf | O = 843651993 T = 1.80 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 843651993 T = 1.80 (out)(err) |
O = 843651993 T = 7.85 (out)(err) |
O = 843651993 T = 13.29 (out)(err) |
mancoosi-test-i4000d0u98-78.wcnf | O = 873559793 T = 1.81 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 873559793 T = 1.81 (out)(err) |
O = 873559793 T = 9.53 (out)(err) |
O = 873559793 T = 10.75 (out)(err) |
mancoosi-test-i4000d0u98-79.wcnf | O = 753510586 T = 1.72 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 753510586 T = 1.72 (out)(err) |
O = 753510586 T = 3.54 (out)(err) |
O = 753510586 T = 2.46 (out)(err) |
mancoosi-test-i4000d0u98-80.wcnf | O = 828516449 T = 1.94 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 828516449 T = 1.94 (out)(err) |
O = 828516449 T = 3.72 (out)(err) |
O = 828516449 T = 3.01 (out)(err) |
mancoosi-test-i4000d0u98-81.wcnf | O = 1038888656 T = 1.88 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1038888656 T = 1.88 (out)(err) |
O = 1038888656 T = 18.07 (out)(err) |
O = 1038888656 T = 17.00 (out)(err) |
mancoosi-test-i4000d0u98-82.wcnf | O = 918784858 T = 2.00 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 918784858 T = 2.00 (out)(err) |
O = 918784858 T = 4.29 (out)(err) |
O = 918784858 T = 3.03 (out)(err) |
mancoosi-test-i4000d0u98-83.wcnf | O = 843633917 T = 2.17 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 843633917 T = 2.17 (out)(err) |
O = 843633917 T = 3.48 (out)(err) |
O = 843633917 T = 2.78 (out)(err) |
mancoosi-test-i4000d0u98-84.wcnf | O = 858696784 T = 1.87 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 858696784 T = 1.87 (out)(err) |
O = 858696784 T = 9.30 (out)(err) |
O = 858696784 T = 8.62 (out)(err) |
mancoosi-test-i4000d0u98-85.wcnf | O = 723330351 T = 2.02 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 723330351 T = 2.02 (out)(err) |
O = 723330351 T = 3.30 (out)(err) |
O = 723330351 T = 2.56 (out)(err) |
mancoosi-test-i4000d0u98-86.wcnf | O = 918694091 T = 2.07 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 918694091 T = 2.07 (out)(err) |
O = 918694091 T = 4.24 (out)(err) |
O = 918694091 T = 2.96 (out)(err) |
mancoosi-test-i4000d0u98-87.wcnf | O = 873596159 T = 2.17 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 873596159 T = 2.17 (out)(err) |
O = 873596159 T = 7.28 (out)(err) |
O = 873596159 T = 6.42 (out)(err) |
mancoosi-test-i4000d0u98-88.wcnf | O = 738338700 T = 2.05 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 738338700 T = 2.05 (out)(err) |
O = 738338700 T = 7.89 (out)(err) |
O = 738338700 T = 7.59 (out)(err) |
mancoosi-test-i4000d0u98-89.wcnf | O = 738429492 T = 1.94 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 738429492 T = 1.94 (out)(err) |
O = 738429492 T = 20.40 (out)(err) |
O = 738429492 T = 14.40 (out)(err) |
mancoosi-test-i4000d0u98-90.wcnf | O = 603172104 T = 2.27 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 603172104 T = 2.27 (out)(err) |
O = 603172104 T = 16.40 (out)(err) |
O = 603172104 T = 23.88 (out)(err) |
mancoosi-test-i4000d0u98-91.wcnf | O = 798517708 T = 2.94 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 798517708 T = 2.94 (out)(err) |
O = 798517708 T = 9.88 (out)(err) |
O = 798517708 T = 15.46 (out)(err) |
mancoosi-test-i4000d0u98-92.wcnf | O = 723402933 T = 2.14 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 723402933 T = 2.14 (out)(err) |
O = 723402933 T = 7.96 (out)(err) |
O = 723402933 T = 7.67 (out)(err) |
mancoosi-test-i4000d0u98-93.wcnf | O = 678268636 T = 2.49 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 678268636 T = 2.98 (out)(err) |
O = 678268636 T = 3.17 (out)(err) |
O = 678268636 T = 2.49 (out)(err) |
mancoosi-test-i4000d0u98-94.wcnf | O = 843524790 T = 2.48 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 843524790 T = 2.48 (out)(err) |
O = 843524790 T = 10.12 (out)(err) |
O = 843524790 T = 8.28 (out)(err) |
mancoosi-test-i4000d0u98-95.wcnf | O = 843579317 T = 2.01 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 843579317 T = 2.01 (out)(err) |
O = 843579317 T = 3.47 (out)(err) |
O = 843579317 T = 3.13 (out)(err) |
mancoosi-test-i4000d0u98-96.wcnf | O = 828461902 T = 2.80 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 828461902 T = 2.80 (out)(err) |
O = 828461902 T = 15.63 (out)(err) |
O = 828461902 T = 15.13 (out)(err) |
mancoosi-test-i4000d0u98-97.wcnf | O = 903703891 T = 2.65 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 903703891 T = 2.65 (out)(err) |
O = 903703891 T = 3.75 (out)(err) |
O = 903703891 T = 3.01 (out)(err) |
mancoosi-test-i4000d0u98-98.wcnf | O = 828443727 T = 2.48 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 828443727 T = 2.48 (out)(err) |
O = 828443727 T = 3.58 (out)(err) |
O = 828443727 T = 2.73 (out)(err) |
mancoosi-test-i4000d0u98-99.wcnf | O = 768391869 T = 2.56 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 768391869 T = 2.97 (out)(err) |
O = 768391869 T = 3.40 (out)(err) |
O = 768391869 T = 2.56 (out)(err) |
1401.wcsp.dir.wcnf | O = 463099 T = 230.55 |
O = 483102 T = 92.78 (out)(err) |
O = 463099 T = 230.55 (out)(err) |
O = 483103 T = 282.30 (out)(err) |
O = N/A T = TO (out)(err) |
O = 465109 T = 284.66 (out)(err) |
O = 495091 T = 0.06 (out)(err) |
O = 502100 T = 0.14 (out)(err) |
1403.wcsp.dir.wcnf | O = 467238 T = 229.13 |
O = 497244 T = 124.63 (out)(err) |
O = 467238 T = 229.13 (out)(err) |
O = 481255 T = 207.22 (out)(err) |
O = N/A T = TO (out)(err) |
O = 471271 T = 284.62 (out)(err) |
O = 495243 T = 0.04 (out)(err) |
O = 500263 T = 0.06 (out)(err) |
1405.wcsp.dir.wcnf | O = 469418 T = 139.27 |
O = N/A T = TO (out)(err) |
O = 469418 T = 139.27 (out)(err) |
O = 488447 T = 7.20 (out)(err) |
O = N/A T = TO (out)(err) |
O = 471456 T = 284.58 (out)(err) |
O = 495419 T = 0.01 (out)(err) |
O = 500439 T = 0.05 (out)(err) |
1407.wcsp.dir.wcnf | O = 463580 T = 227.78 |
O = N/A T = TO (out)(err) |
O = 463580 T = 227.78 (out)(err) |
O = 490631 T = 62.98 (out)(err) |
O = N/A T = TO (out)(err) |
O = 468616 T = 284.70 (out)(err) |
O = 495582 T = 0.01 (out)(err) |
O = N/A T = TO (out)(err) |
1502.wcsp.dir.wcnf | O = 28042 T = 0.00 |
O = 28042 T = 0.86 (out)(err) |
O = 28042 T = 0.23 (out)(err) |
O = 28044 T = 0.76 (out)(err) |
O = N/A T = TO (out)(err) |
O = 28042 T = 0.00 (out)(err) |
O = 28042 T = 0.30 (out)(err) |
O = 28042 T = 0.24 (out)(err) |
1504.wcsp.dir.wcnf | O = 161287 T = 9.00 |
O = 166294 T = 8.91 (out)(err) |
O = 161288 T = 209.35 (out)(err) |
O = 163308 T = 85.59 (out)(err) |
O = N/A T = TO (out)(err) |
O = 161287 T = 9.00 (out)(err) |
O = 163305 T = 273.22 (out)(err) |
O = 163302 T = 187.39 (out)(err) |
1506.wcsp.dir.wcnf | O = 360524 T = 135.96 |
O = N/A T = TO (out)(err) |
O = 360524 T = 135.96 (out)(err) |
O = 378568 T = 223.46 (out)(err) |
O = N/A T = TO (out)(err) |
O = 360560 T = 284.68 (out)(err) |
O = 394529 T = 0.01 (out)(err) |
O = 409566 T = 0.08 (out)(err) |
28.wcsp.dir.wcnf | O = 270105 T = 18.75 |
O = 272105 T = 172.98 (out)(err) |
O = 270105 T = 18.75 (out)(err) |
O = 272105 T = 222.87 (out)(err) |
O = N/A T = TO (out)(err) |
O = 270105 T = 248.92 (out)(err) |
O = 275115 T = 0.15 (out)(err) |
O = 275105 T = 0.09 (out)(err) |
29.wcsp.dir.wcnf | O = 8059 T = 0.02 |
O = 8059 T = 0.51 (out)(err) |
O = 8059 T = 2.36 (out)(err) |
O = 8059 T = 0.74 (out)(err) |
O = 8059 T = 16.69 (out)(err) |
O = 8059 T = 0.02 (out)(err) |
O = 8059 T = 0.02 (out)(err) |
O = 8059 T = 0.03 (out)(err) |
404.wcsp.dir.wcnf | O = 114 T = 0.45 |
O = 114 T = 0.45 (out)(err) |
O = 114 T = 11.57 (out)(err) |
O = 114 T = 0.50 (out)(err) |
O = N/A T = TO (out)(err) |
O = 114 T = 0.53 (out)(err) |
O = 114 T = 0.46 (out)(err) |
O = 114 T = 0.92 (out)(err) |
408.wcsp.dir.wcnf | O = 6228 T = 3.56 |
O = 6228 T = 3.56 (out)(err) |
O = 6228 T = 235.86 (out)(err) |
O = 6229 T = 68.61 (out)(err) |
O = N/A T = TO (out)(err) |
O = 6228 T = 5.80 (out)(err) |
O = 6228 T = 17.74 (out)(err) |
O = 6228 T = 142.08 (out)(err) |
412.wcsp.dir.wcnf | O = 32381 T = 6.18 |
O = 32396 T = 157.83 (out)(err) |
O = 32385 T = 234.18 (out)(err) |
O = 33399 T = 67.58 (out)(err) |
O = N/A T = TO (out)(err) |
O = 32381 T = 6.18 (out)(err) |
O = 32383 T = 81.37 (out)(err) |
O = 32382 T = 50.72 (out)(err) |
414.wcsp.dir.wcnf | O = 38478 T = 9.82 |
O = 41510 T = 154.91 (out)(err) |
O = 38484 T = 241.20 (out)(err) |
O = 41502 T = 80.12 (out)(err) |
O = N/A T = TO (out)(err) |
O = 38478 T = 9.82 (out)(err) |
O = 38478 T = 88.72 (out)(err) |
O = 38478 T = 259.54 (out)(err) |
42.wcsp.dir.wcnf | O = 155050 T = 0.45 |
O = 155050 T = 19.50 (out)(err) |
O = 155050 T = 1.86 (out)(err) |
O = 155050 T = 17.93 (out)(err) |
O = N/A T = TO (out)(err) |
O = 155050 T = 0.45 (out)(err) |
O = 168058 T = 0.16 (out)(err) |
O = 178048 T = 0.06 (out)(err) |
5.wcsp.dir.wcnf | O = 261 T = 72.36 |
O = 268 T = 194.84 (out)(err) |
O = 262 T = 201.20 (out)(err) |
O = 271 T = 59.97 (out)(err) |
O = N/A T = TO (out)(err) |
O = 261 T = 72.36 (out)(err) |
O = 262 T = 131.08 (out)(err) |
O = 263 T = 229.38 (out)(err) |
503.wcsp.dir.wcnf | O = 11113 T = 0.02 |
O = 11113 T = 1.18 (out)(err) |
O = 11113 T = 3.21 (out)(err) |
O = 11113 T = 4.61 (out)(err) |
O = N/A T = TO (out)(err) |
O = 11113 T = 0.02 (out)(err) |
O = 11113 T = 0.59 (out)(err) |
O = 11113 T = 0.58 (out)(err) |
505.wcsp.dir.wcnf | O = 21253 T = 1.49 |
O = 21263 T = 135.98 (out)(err) |
O = 21255 T = 106.12 (out)(err) |
O = 21262 T = 245.22 (out)(err) |
O = N/A T = TO (out)(err) |
O = 21253 T = 1.49 (out)(err) |
O = 21253 T = 178.60 (out)(err) |
O = 21253 T = 12.88 (out)(err) |
507.wcsp.dir.wcnf | O = 27390 T = 31.02 |
O = 27420 T = 231.87 (out)(err) |
O = 27393 T = 235.08 (out)(err) |
O = 27416 T = 2.28 (out)(err) |
O = N/A T = TO (out)(err) |
O = 27390 T = 31.02 (out)(err) |
O = 27390 T = 124.26 (out)(err) |
O = 27391 T = 87.37 (out)(err) |
509.wcsp.dir.wcnf | O = 36446 T = 8.53 |
O = 37479 T = 152.93 (out)(err) |
O = 36453 T = 95.23 (out)(err) |
O = 37477 T = 16.45 (out)(err) |
O = N/A T = TO (out)(err) |
O = 36446 T = 8.53 (out)(err) |
O = 36446 T = 76.49 (out)(err) |
O = 36446 T = 101.35 (out)(err) |
54.wcsp.dir.wcnf | O = 37 T = 0.02 |
O = 37 T = 0.33 (out)(err) |
O = 37 T = 0.35 (out)(err) |
O = 38 T = 0.76 (out)(err) |
O = 37 T = 2.15 (out)(err) |
O = 37 T = 0.02 (out)(err) |
O = 37 T = 0.03 (out)(err) |
O = 37 T = 0.04 (out)(err) |
8.wcsp.dir.wcnf | O = 2 T = 0.00 |
O = 2 T = 0.75 (out)(err) |
O = 2 T = 0.01 (out)(err) |
O = 2 T = 0.14 (out)(err) |
O = 2 T = 0.24 (out)(err) |
O = 2 T = 0.00 (out)(err) |
O = 2 T = 0.00 (out)(err) |
O = 2 T = 0.00 (out)(err) |
1401.wcsp.log.wcnf | O = 464098 T = 266.09 |
O = 470097 T = 221.75 (out)(err) |
O = 464098 T = 266.09 (out)(err) |
O = 476098 T = 280.76 (out)(err) |
O = N/A T = TO (out)(err) |
O = 484111 T = 284.71 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
1403.wcsp.log.wcnf | O = 461242 T = 265.21 |
O = 470246 T = 272.25 (out)(err) |
O = 461242 T = 265.21 (out)(err) |
O = 477246 T = 257.59 (out)(err) |
O = N/A T = TO (out)(err) |
O = 491272 T = 284.66 (out)(err) |
O = 515248 T = 0.11 (out)(err) |
O = 512267 T = 1.63 (out)(err) |
1405.wcsp.log.wcnf | O = 465418 T = 263.92 |
O = 469432 T = 254.23 (out)(err) |
O = 465418 T = 263.92 (out)(err) |
O = 477436 T = 290.00 (out)(err) |
O = N/A T = TO (out)(err) |
O = 483462 T = 286.04 (out)(err) |
O = 518437 T = 0.07 (out)(err) |
O = 526452 T = 3.52 (out)(err) |
1407.wcsp.log.wcnf | O = 465579 T = 251.52 |
O = 473588 T = 148.03 (out)(err) |
O = 465579 T = 251.52 (out)(err) |
O = 478591 T = 80.35 (out)(err) |
O = N/A T = TO (out)(err) |
O = 491637 T = 284.63 (out)(err) |
O = 508601 T = 0.05 (out)(err) |
O = 517619 T = 6.07 (out)(err) |
1502.wcsp.log.wcnf | O = 28042 T = 0.00 |
O = 28042 T = 1.59 (out)(err) |
O = 28042 T = 0.04 (out)(err) |
O = 28042 T = 2.47 (out)(err) |
O = N/A T = TO (out)(err) |
O = 28042 T = 0.00 (out)(err) |
O = 28042 T = 0.45 (out)(err) |
O = 28042 T = 0.37 (out)(err) |
1504.wcsp.log.wcnf | O = 161288 T = 85.40 |
O = 162300 T = 261.08 (out)(err) |
O = 161288 T = 85.40 (out)(err) |
O = 162300 T = 215.97 (out)(err) |
O = N/A T = TO (out)(err) |
O = 161314 T = 284.73 (out)(err) |
O = 163303 T = 226.74 (out)(err) |
O = 163313 T = 257.45 (out)(err) |
1506.wcsp.log.wcnf | O = 356524 T = 261.44 |
O = 367539 T = 75.62 (out)(err) |
O = 356524 T = 261.44 (out)(err) |
O = 365542 T = 268.94 (out)(err) |
O = N/A T = TO (out)(err) |
O = 366561 T = 284.72 (out)(err) |
O = 405553 T = 0.10 (out)(err) |
O = 422551 T = 3.12 (out)(err) |
28.wcsp.log.wcnf | O = 270105 T = 1.00 |
O = 270105 T = 1.00 (out)(err) |
O = 270105 T = 4.94 (out)(err) |
O = 270105 T = 7.77 (out)(err) |
O = N/A T = TO (out)(err) |
O = 273105 T = 284.71 (out)(err) |
O = 281115 T = 0.10 (out)(err) |
O = 285105 T = 0.16 (out)(err) |
29.wcsp.log.wcnf | O = 8059 T = 0.04 |
O = 8059 T = 0.76 (out)(err) |
O = 8059 T = 0.09 (out)(err) |
O = 8059 T = 15.92 (out)(err) |
O = 8059 T = 7.52 (out)(err) |
O = 8059 T = 0.04 (out)(err) |
O = 8059 T = 0.10 (out)(err) |
O = 8059 T = 0.12 (out)(err) |
404.wcsp.log.wcnf | O = 114 T = 0.09 |
O = 114 T = 0.32 (out)(err) |
O = 114 T = 0.09 (out)(err) |
O = 117 T = 0.63 (out)(err) |
O = N/A T = TO (out)(err) |
O = 114 T = 1.48 (out)(err) |
O = 114 T = 0.86 (out)(err) |
O = 114 T = 1.15 (out)(err) |
408.wcsp.log.wcnf | O = 6228 T = 4.03 |
O = 6228 T = 4.03 (out)(err) |
O = 6228 T = 5.85 (out)(err) |
O = 6233 T = 1.26 (out)(err) |
O = N/A T = TO (out)(err) |
O = 6238 T = 284.72 (out)(err) |
O = 6228 T = 190.56 (out)(err) |
O = 6228 T = 47.74 (out)(err) |
412.wcsp.log.wcnf | O = 32381 T = 257.11 |
O = 32384 T = 149.16 (out)(err) |
O = 32381 T = 257.11 (out)(err) |
O = 32387 T = 18.93 (out)(err) |
O = N/A T = TO (out)(err) |
O = 32392 T = 284.69 (out)(err) |
O = 32382 T = 30.68 (out)(err) |
O = 32383 T = 219.61 (out)(err) |
414.wcsp.log.wcnf | O = 38479 T = 150.83 |
O = 39489 T = 192.20 (out)(err) |
O = 38479 T = 176.02 (out)(err) |
O = 38484 T = 292.20 (out)(err) |
O = N/A T = TO (out)(err) |
O = 38490 T = 284.73 (out)(err) |
O = 38479 T = 150.83 (out)(err) |
O = 38482 T = 50.15 (out)(err) |
42.wcsp.log.wcnf | O = 155050 T = 0.59 |
O = 155050 T = 1.07 (out)(err) |
O = 155050 T = 0.59 (out)(err) |
O = 155050 T = 7.12 (out)(err) |
O = N/A T = TO (out)(err) |
O = 155050 T = 4.24 (out)(err) |
O = 171058 T = 0.06 (out)(err) |
O = 172048 T = 0.05 (out)(err) |
5.wcsp.log.wcnf | O = 263 T = 54.03 |
O = 266 T = 42.98 (out)(err) |
O = 263 T = 54.03 (out)(err) |
O = 271 T = 1.11 (out)(err) |
O = N/A T = TO (out)(err) |
O = 275 T = 285.82 (out)(err) |
O = 268 T = 163.66 (out)(err) |
O = 267 T = 100.36 (out)(err) |
503.wcsp.log.wcnf | O = 11113 T = 0.03 |
O = 11113 T = 1.62 (out)(err) |
O = 11113 T = 0.25 (out)(err) |
O = 11115 T = 68.49 (out)(err) |
O = N/A T = TO (out)(err) |
O = 11113 T = 0.03 (out)(err) |
O = 11113 T = 1.21 (out)(err) |
O = 11113 T = 1.25 (out)(err) |
505.wcsp.log.wcnf | O = 21253 T = 16.18 |
O = 21253 T = 32.62 (out)(err) |
O = 21253 T = 16.18 (out)(err) |
O = 22253 T = 62.28 (out)(err) |
O = N/A T = TO (out)(err) |
O = 21253 T = 251.73 (out)(err) |
O = 21253 T = 243.45 (out)(err) |
O = 21253 T = 53.91 (out)(err) |
507.wcsp.log.wcnf | O = 27390 T = 25.95 |
O = 27396 T = 156.55 (out)(err) |
O = 27390 T = 25.95 (out)(err) |
O = 27397 T = 112.41 (out)(err) |
O = N/A T = TO (out)(err) |
O = 27405 T = 284.64 (out)(err) |
O = 27391 T = 174.99 (out)(err) |
O = N/A T = TO (out)(err) |
509.wcsp.log.wcnf | O = 36447 T = 170.64 |
O = 36459 T = 275.21 (out)(err) |
O = 36449 T = 264.22 (out)(err) |
O = 36455 T = 262.68 (out)(err) |
O = N/A T = TO (out)(err) |
O = 36461 T = 284.70 (out)(err) |
O = 36447 T = 170.64 (out)(err) |
O = 36455 T = 32.53 (out)(err) |
54.wcsp.log.wcnf | O = 37 T = 0.06 |
O = 37 T = 1.35 (out)(err) |
O = 37 T = 0.10 (out)(err) |
O = 37 T = 0.20 (out)(err) |
O = 37 T = 3.32 (out)(err) |
O = 37 T = 0.06 (out)(err) |
O = 37 T = 0.08 (out)(err) |
O = 37 T = 0.14 (out)(err) |
8.wcsp.log.wcnf | O = 2 T = 0.00 |
O = 2 T = 0.65 (out)(err) |
O = 2 T = 0.03 (out)(err) |
O = 2 T = 0.20 (out)(err) |
O = 2 T = 0.22 (out)(err) |
O = 2 T = 0.00 (out)(err) |
O = 2 T = 0.00 (out)(err) |
O = 2 T = 0.00 (out)(err) |