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 | SAT4Jms-ext-i | SAT4Jms-int-i | optimax-it |
---|---|---|---|---|
ped2.B.recomb1-0.01-1.wcnf | O = 7 T = 0.27 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 0.27 (out)(err) |
ped2.B.recomb1-0.01-2.wcnf | O = 7 T = 0.32 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 0.32 (out)(err) |
ped2.B.recomb1-0.01-3.wcnf | O = 6 T = 0.24 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6 T = 0.24 (out)(err) |
ped2.B.recomb1-0.01-4.wcnf | O = 7 T = 0.32 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 0.32 (out)(err) |
ped2.B.recomb1-0.01-5.wcnf | O = 7 T = 0.27 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 0.27 (out)(err) |
ped2.B.recomb1-0.10-10.wcnf | O = 6 T = 0.38 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6 T = 0.38 (out)(err) |
ped2.B.recomb1-0.10-6.wcnf | O = 7 T = 0.36 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 0.36 (out)(err) |
ped2.B.recomb1-0.10-7.wcnf | O = 588 T = 0.51 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 588 T = 0.51 (out)(err) |
ped2.B.recomb1-0.10-8.wcnf | O = 589 T = 0.41 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 589 T = 0.41 (out)(err) |
ped2.B.recomb1-0.10-9.wcnf | O = 7 T = 0.40 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 0.40 (out)(err) |
ped2.B.recomb1-0.20-11.wcnf | O = 7 T = 0.65 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 0.65 (out)(err) |
ped2.B.recomb1-0.20-12.wcnf | O = 7 T = 0.63 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 0.63 (out)(err) |
ped2.B.recomb1-0.20-13.wcnf | O = 7 T = 0.65 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 0.65 (out)(err) |
ped2.B.recomb1-0.20-14.wcnf | O = 7 T = 0.58 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 0.58 (out)(err) |
ped2.B.recomb1-0.20-15.wcnf | O = 7 T = 1.04 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 1.04 (out)(err) |
ped2.G.recomb1-0.01-1.wcnf | O = 6430 T = 7.00 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6430 T = 7.00 (out)(err) |
ped2.G.recomb1-0.01-2.wcnf | O = 4686 T = 7.35 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4686 T = 7.35 (out)(err) |
ped2.G.recomb1-0.01-3.wcnf | O = 5266 T = 2.55 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 5266 T = 2.55 (out)(err) |
ped2.G.recomb1-0.01-4.wcnf | O = 7009 T = 6.74 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7009 T = 6.74 (out)(err) |
ped2.G.recomb1-0.01-5.wcnf | O = 3521 T = 2.85 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3521 T = 2.85 (out)(err) |
ped2.G.recomb1-0.10-10.wcnf | O = 2358 T = 6.27 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2358 T = 6.27 (out)(err) |
ped2.G.recomb1-0.10-6.wcnf | O = 5845 T = 6.05 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 5845 T = 6.05 (out)(err) |
ped2.G.recomb1-0.10-7.wcnf | O = 3522 T = 21.45 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3522 T = 21.45 (out)(err) |
ped2.G.recomb1-0.10-8.wcnf | O = 8175 T = 16.63 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8175 T = 16.63 (out)(err) |
ped2.G.recomb1-0.10-9.wcnf | O = 4105 T = 5.49 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4105 T = 5.49 (out)(err) |
ped2.G.recomb1-0.20-11.wcnf | O = 4103 T = 27.28 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4103 T = 27.28 (out)(err) |
ped2.G.recomb1-0.20-12.wcnf | O = 8175 T = 84.17 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8175 T = 84.17 (out)(err) |
ped2.G.recomb1-0.20-13.wcnf | O = 6430 T = 50.35 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6430 T = 50.35 (out)(err) |
ped2.G.recomb1-0.20-14.wcnf | O = 5267 T = 77.83 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 5267 T = 77.83 (out)(err) |
ped2.G.recomb1-0.20-15.wcnf | O = 5265 T = 23.17 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 5265 T = 23.17 (out)(err) |
ped2.G.recomb10-0.01-1.wcnf | O = 58223 T = 229.83 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 58223 T = 229.83 (out)(err) |
ped2.G.recomb10-0.01-2.wcnf | O = 46569 T = 52.41 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 46569 T = 52.41 (out)(err) |
ped2.G.recomb10-0.01-3.wcnf | O = 47737 T = 114.80 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 47737 T = 114.80 (out)(err) |
ped2.G.recomb10-0.01-4.wcnf | O = 58790 T = 44.43 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 58790 T = 44.43 (out)(err) |
ped2.G.recomb10-0.01-5.wcnf | O = 61804 T = 168.67 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 61804 T = 168.67 (out)(err) |
ped2.G.recomb10-0.10-10.wcnf | O = 64042 T = 73.45 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 64042 T = 73.45 (out)(err) |
ped2.G.recomb10-0.10-6.wcnf | O = 47156 T = 61.56 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 47156 T = 61.56 (out)(err) |
ped2.G.recomb10-0.10-7.wcnf | O = 276138 T = 17.13 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 276138 T = 17.13 (out)(err) |
ped2.G.recomb10-0.10-8.wcnf | O = 55898 T = 116.73 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 55898 T = 116.73 (out)(err) |
ped2.G.recomb10-0.10-9.wcnf | O = 58798 T = 205.23 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 58798 T = 205.23 (out)(err) |
ped2.G.recomb10-0.20-11.wcnf | O = 209917 T = 202.63 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 209917 T = 202.63 (out)(err) |
ped2.G.recomb10-0.20-12.wcnf | O = 180860 T = 86.42 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 180860 T = 86.42 (out)(err) |
ped2.G.recomb10-0.20-13.wcnf | O = 109948 T = 201.49 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 109948 T = 201.49 (out)(err) |
ped2.G.recomb10-0.20-14.wcnf | O = 53623 T = 289.60 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 53623 T = 289.60 (out)(err) |
ped2.G.recomb10-0.20-15.wcnf | O = 422544 T = 111.40 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 422544 T = 111.40 (out)(err) |
ped2.G.recomb5-0.01-1.wcnf | O = 29116 T = 69.82 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 29116 T = 69.82 (out)(err) |
ped2.G.recomb5-0.01-2.wcnf | O = 34935 T = 172.16 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 34935 T = 172.16 (out)(err) |
ped2.G.recomb5-0.01-3.wcnf | O = 31442 T = 25.66 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 31442 T = 25.66 (out)(err) |
ped2.G.recomb5-0.01-4.wcnf | O = 21555 T = 9.69 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 21555 T = 9.69 (out)(err) |
ped2.G.recomb5-0.01-5.wcnf | O = 25054 T = 18.55 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 25054 T = 18.55 (out)(err) |
ped2.G.recomb5-0.10-10.wcnf | O = 25042 T = 68.33 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 25042 T = 68.33 (out)(err) |
ped2.G.recomb5-0.10-6.wcnf | O = 27380 T = 256.85 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 27380 T = 256.85 (out)(err) |
ped2.G.recomb5-0.10-7.wcnf | O = 25626 T = 230.80 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 25626 T = 230.80 (out)(err) |
ped2.G.recomb5-0.10-8.wcnf | O = 25048 T = 279.24 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 25048 T = 279.24 (out)(err) |
ped2.G.recomb5-0.10-9.wcnf | O = 31447 T = 254.33 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 31447 T = 254.33 (out)(err) |
ped2.G.recomb5-0.20-11.wcnf | O = 73906 T = 153.82 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 73906 T = 153.82 (out)(err) |
ped2.G.recomb5-0.20-12.wcnf | O = 20987 T = 47.37 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 20987 T = 47.37 (out)(err) |
ped2.G.recomb5-0.20-13.wcnf | O = 71617 T = 208.72 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 71617 T = 208.72 (out)(err) |
ped2.G.recomb5-0.20-14.wcnf | O = 20982 T = 54.91 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 20982 T = 54.91 (out)(err) |
ped2.G.recomb5-0.20-15.wcnf | O = 25061 T = 134.56 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 25061 T = 134.56 (out)(err) |
ped3.D.recomb10-0.20-11.wcnf | O = 690 T = 0.83 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 690 T = 0.83 (out)(err) |
ped3.D.recomb10-0.20-12.wcnf | O = 349 T = 0.26 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 349 T = 0.26 (out)(err) |
ped3.D.recomb10-0.20-13.wcnf | O = 350 T = 5.24 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 350 T = 5.24 (out)(err) |
ped3.D.recomb10-0.20-14.wcnf | O = 7 T = 0.40 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 0.40 (out)(err) |
ped3.D.recomb10-0.20-15.wcnf | O = 689 T = 77.87 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 689 T = 77.87 (out)(err) |
ped3.E.recomb10-0.20-11.wcnf | O = 9588 T = 95.81 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 9588 T = 95.81 (out)(err) |
ped3.E.recomb10-0.20-12.wcnf | O = 9930 T = 52.20 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 9930 T = 52.20 (out)(err) |
ped3.E.recomb10-0.20-13.wcnf | O = 8559 T = 65.60 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8559 T = 65.60 (out)(err) |
ped3.E.recomb10-0.20-14.wcnf | O = 19522 T = 290.41 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 19522 T = 290.41 (out)(err) |
ped3.E.recomb10-0.20-15.wcnf | O = 3781 T = 93.10 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3781 T = 93.10 (out)(err) |
ped3.F.recomb10-0.01-1.wcnf | O = 6853 T = 1.67 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6853 T = 1.67 (out)(err) |
ped3.F.recomb10-0.01-2.wcnf | O = 8900 T = 6.32 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8900 T = 6.32 (out)(err) |
ped3.F.recomb10-0.01-3.wcnf | O = 7193 T = 2.69 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7193 T = 2.69 (out)(err) |
ped3.F.recomb10-0.01-4.wcnf | O = 5483 T = 4.18 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 5483 T = 4.18 (out)(err) |
ped3.F.recomb10-0.01-5.wcnf | O = 7540 T = 6.31 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7540 T = 6.31 (out)(err) |
ped3.F.recomb10-0.10-10.wcnf | O = 7537 T = 7.99 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7537 T = 7.99 (out)(err) |
ped3.F.recomb10-0.10-6.wcnf | O = 6517 T = 20.15 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6517 T = 20.15 (out)(err) |
ped3.F.recomb10-0.10-7.wcnf | O = 8905 T = 29.87 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8905 T = 29.87 (out)(err) |
ped3.F.recomb10-0.10-8.wcnf | O = 9246 T = 92.15 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 9246 T = 92.15 (out)(err) |
ped3.F.recomb10-0.10-9.wcnf | O = 5488 T = 9.59 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 5488 T = 9.59 (out)(err) |
ped3.F.recomb10-0.20-11.wcnf | O = 4807 T = 267.95 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4807 T = 267.95 (out)(err) |
ped3.F.recomb10-0.20-12.wcnf | O = 7212 T = 99.26 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7212 T = 99.26 (out)(err) |
ped3.F.recomb10-0.20-13.wcnf | O = 2412 T = 15.64 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2412 T = 15.64 (out)(err) |
ped3.F.recomb10-0.20-14.wcnf | O = 5482 T = 205.95 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 5482 T = 205.95 (out)(err) |
ped3.F.recomb10-0.20-15.wcnf | O = 4123 T = 11.80 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4123 T = 11.80 (out)(err) |
ped3.G.recomb10-0.01-1.wcnf | O = 15766 T = 4.63 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 15766 T = 4.63 (out)(err) |
ped3.G.recomb10-0.01-2.wcnf | O = 16784 T = 22.24 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 16784 T = 22.24 (out)(err) |
ped3.G.recomb10-0.01-3.wcnf | O = 15414 T = 156.69 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 15414 T = 156.69 (out)(err) |
ped3.G.recomb10-0.01-4.wcnf | O = 17444 T = 190.64 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 17444 T = 190.64 (out)(err) |
ped3.G.recomb10-0.01-5.wcnf | O = 14043 T = 112.70 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 14043 T = 112.70 (out)(err) |
ped3.G.recomb10-0.10-10.wcnf | O = 18557 T = 8.06 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 18557 T = 8.06 (out)(err) |
ped3.G.recomb10-0.10-6.wcnf | O = 17460 T = 288.46 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 17460 T = 288.46 (out)(err) |
ped3.G.recomb10-0.10-7.wcnf | O = 16092 T = 121.34 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 16092 T = 121.34 (out)(err) |
ped3.G.recomb10-0.10-8.wcnf | O = 15072 T = 94.15 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 15072 T = 94.15 (out)(err) |
ped3.G.recomb10-0.10-9.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 15407 T = 105.61 (out)(err) |
ped3.G.recomb10-0.20-11.wcnf | O = 15133 T = 26.43 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 15133 T = 26.43 (out)(err) |
ped3.G.recomb10-0.20-12.wcnf | O = 13060 T = 64.66 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 13060 T = 64.66 (out)(err) |
ped3.G.recomb10-0.20-13.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) |
ped3.G.recomb10-0.20-14.wcnf | O = 12041 T = 31.46 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 12041 T = 31.46 (out)(err) |
ped3.G.recomb10-0.20-15.wcnf | O = 15432 T = 227.30 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 15432 T = 227.30 (out)(err) |
103c9978-5408-11df-9bc1-00163e7a6f5e_l1.wcnf | O = 3795246 T = 49.33 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3795246 T = 49.33 (out)(err) |
1aabfc32-d491-11df-9a24-00163e3d3b7c_l2.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) |
26f3d4cc-d470-11df-9e6c-00163e3d3b7c_l2.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) |
29180036-5408-11df-9f57-00163e7a6f5e_l1.wcnf | O = 3795246 T = 52.55 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3795246 T = 52.55 (out)(err) |
29180036-5408-11df-9f57-00163e7a6f5e_l2.wcnf | O = 3795246 T = 45.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3795246 T = 45.03 (out)(err) |
2c3aece6-c8b2-11df-a040-00163e3d3b7c_l1.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8865652 T = 2.81 (out)(err) |
2c3aece6-c8b2-11df-a040-00163e3d3b7c_l2.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) |
3e4f8550-0b33-11df-942d-00163e1d94dc_l1.wcnf | O = 45616 T = 14.73 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 45616 T = 14.73 (out)(err) |
3e4f8550-0b33-11df-942d-00163e1d94dc_l2.wcnf | O = 45616 T = 15.36 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 45616 T = 15.36 (out)(err) |
4a69cf16-c731-11df-9182-00163e3d3b7c_l1.wcnf | O = 188956 T = 12.67 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 188956 T = 12.67 (out)(err) |
4a69cf16-c731-11df-9182-00163e3d3b7c_l2.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) |
4ede8d96-c17a-11df-a7c5-00163e3d3b7c_l1.wcnf | O = 190456 T = 0.10 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 190456 T = 0.10 (out)(err) |
5698a62c-c731-11df-9bb9-00163e3d3b7c_l1.wcnf | O = 188956 T = 14.44 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 188956 T = 14.44 (out)(err) |
56ae4afa-0b33-11df-8a2b-00163e1d94dc_l1.wcnf | O = 51516 T = 28.63 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 51516 T = 28.63 (out)(err) |
56e31304-c17a-11df-b070-00163e3d3b7c_l1.wcnf | O = 190456 T = 0.09 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 190456 T = 0.09 (out)(err) |
6b0d1da0-c730-11df-a7c5-00163e3d3b7c_l1.wcnf | O = 201376 T = 0.05 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 201376 T = 0.05 (out)(err) |
7bf50d1c-9b1b-11df-8b50-00163e46d37a_l1.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1925316 T = 24.87 (out)(err) |
7bf50d1c-9b1b-11df-8b50-00163e46d37a_l2.wcnf | O = 2075446 T = 0.43 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2075446 T = 0.43 (out)(err) |
7f80e4f0-4fe9-11e0-acd7-00163e1e087d_l1.wcnf | O = 559512 T = 12.05 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 559512 T = 12.05 (out)(err) |
7f80e4f0-4fe9-11e0-acd7-00163e1e087d_l2.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7177531 T = 91.38 (out)(err) |
80cfe9a6-9b1b-11df-965e-00163e46d37a_l1.wcnf | O = 2075446 T = 0.41 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2075446 T = 0.41 (out)(err) |
80e3fda2-9501-11e0-8001-00163e1e087d_l2.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) |
8222799a-9af8-11df-8b50-00163e46d37a_l1.wcnf | O = 1924894 T = 18.48 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1924894 T = 18.48 (out)(err) |
8222799a-9af8-11df-8b50-00163e46d37a_l2.wcnf | O = 1924242 T = 60.45 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1924242 T = 60.45 (out)(err) |
8680dd8a-8600-11e0-b285-00163e1e087d_l2.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8541354 T = 2.89 (out)(err) |
8afdd89e-51b8-11e0-acd7-00163e1e087d_l1.wcnf | O = 560208 T = 7.92 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 560208 T = 7.92 (out)(err) |
8b0e7c16-bab4-11e0-a883-00163e1e087d_l2.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8996857 T = 3.66 (out)(err) |
978532fa-c730-11df-b070-00163e3d3b7c_l1.wcnf | O = 201376 T = 0.04 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 201376 T = 0.04 (out)(err) |
a754ac72-95cc-11e0-9181-00163e1e087d_l2.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) |
ab9005be-bacc-11e0-b0f6-00163e1e087d_l1.wcnf | O = 84964 T = 0.04 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 84964 T = 0.04 (out)(err) |
ab9005be-bacc-11e0-b0f6-00163e1e087d_l2.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8996857 T = 3.70 (out)(err) |
b2540c52-51b7-11e0-aa4f-00163e1e087d_l1.wcnf | O = 560208 T = 8.15 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 560208 T = 8.15 (out)(err) |
bccf69ae-db9e-11df-9a24-00163e3d3b7c_l1.wcnf | O = 4569887 T = 31.98 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4569887 T = 31.98 (out)(err) |
c2164c84-b015-11df-8b50-00163e46d37a_l1.wcnf | O = 4502340 T = 0.50 |
O = 4502340 T = 6.58 (out)(err) |
O = 4502340 T = 5.95 (out)(err) |
O = 4502340 T = 0.50 (out)(err) |
c2164c84-b015-11df-8b50-00163e46d37a_l2.wcnf | O = 4502340 T = 0.55 |
O = 4502340 T = 7.54 (out)(err) |
O = 4502340 T = 5.99 (out)(err) |
O = 4502340 T = 0.55 (out)(err) |
ca8f656c-db9e-11df-b9cf-00163e3d3b7c_l2.wcnf | O = 4570039 T = 31.19 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4570039 T = 31.19 (out)(err) |
caefdef6-3477-11e0-84ef-00163e3d3b7c_l1.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) |
caefdef6-3477-11e0-84ef-00163e3d3b7c_l2.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) |
cff22854-9512-11e0-8001-00163e1e087d_l2.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) |
d023d256-3477-11e0-bdb2-00163e3d3b7c_l1.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) |
d023d256-3477-11e0-bdb2-00163e3d3b7c_l2.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) |
d0cc7514-c730-11df-a040-00163e3d3b7c_l1.wcnf | O = 188956 T = 14.33 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 188956 T = 14.33 (out)(err) |
d5026b8e-3477-11e0-986e-00163e3d3b7c_l1.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) |
dba3a3fe-3477-11e0-9e6c-00163e3d3b7c_l1.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) |
dba3a3fe-3477-11e0-9e6c-00163e3d3b7c_l2.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) |
deb285a6-db9e-11df-8f4f-00163e3d3b7c_l2.wcnf | O = 4570039 T = 32.87 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4570039 T = 32.87 (out)(err) |
e0bd67a6-56d0-11df-b11f-00163e7a6f5e_l1.wcnf | O = 3814579 T = 0.78 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3814579 T = 0.78 (out)(err) |
e0bd67a6-56d0-11df-b11f-00163e7a6f5e_l2.wcnf | O = 3814579 T = 0.91 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3814579 T = 0.91 (out)(err) |
e2f6303a-4fe9-11e0-aa4f-00163e1e087d_l1.wcnf | O = 559776 T = 12.39 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 559776 T = 12.39 (out)(err) |
e381ba7e-a192-11e0-8647-00163e1e087d_l2.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) |
e599f3fc-360e-11e0-986e-00163e3d3b7c_l1.wcnf | O = 4830361 T = 0.88 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4830361 T = 0.88 (out)(err) |
e69a0e36-9ef1-11df-9d4a-00163e46d37a_l1.wcnf | O = 99832 T = 0.07 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 99832 T = 0.07 (out)(err) |
ec32fc68-7254-11e0-8436-00163e1e087d_l1.wcnf | O = 4536779 T = 39.28 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4536779 T = 39.28 (out)(err) |
eeee44ce-5407-11df-b11f-00163e7a6f5e_l1.wcnf | O = 3795246 T = 62.96 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3795246 T = 62.96 (out)(err) |
eeee44ce-5407-11df-b11f-00163e7a6f5e_l2.wcnf | O = 3795246 T = 61.75 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3795246 T = 61.75 (out)(err) |
f4ebf9e0-360e-11e0-9e6c-00163e3d3b7c_l1.wcnf | O = 4830361 T = 0.76 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4830361 T = 0.76 (out)(err) |
fa3d0fb2-db9e-11df-a0ec-00163e3d3b7c_l1.wcnf | O = 4569887 T = 30.77 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4569887 T = 30.77 (out)(err) |
ff4a1d84-d490-11df-9e6c-00163e3d3b7c_l1.wcnf | O = 181803 T = 31.52 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 181803 T = 31.52 (out)(err) |
rand116_l2.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1962302 T = 1.17 (out)(err) |
rand118_l2.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) |
rand131_l2.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2068455 T = 1.66 (out)(err) |
rand172_l1.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 498549 T = 0.07 (out)(err) |
rand179_l1.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) |
rand196_l1.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 494515 T = 0.10 (out)(err) |
rand196_l2.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2691236 T = 1.88 (out)(err) |
rand208_l1.wcnf | O = 933188 T = 0.12 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 933188 T = 0.12 (out)(err) |
rand208_l2.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2412242 T = 1.37 (out)(err) |
rand213_l2.wcnf | O = 1903647 T = 0.61 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1903647 T = 0.61 (out)(err) |
rand220_l2.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) |
rand242_l1.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) |
rand293_l1.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) |
rand307_l2.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) |
rand308_l2.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) |
rand30_l1.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 647942 T = 0.10 (out)(err) |
rand377_l2.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) |
rand381_l1.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) |
rand393_l1.wcnf | O = 321155 T = 0.07 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 321155 T = 0.07 (out)(err) |
rand425_l1.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) |
rand446_l1.wcnf | O = 455881 T = 0.05 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 455881 T = 0.05 (out)(err) |
rand491_l2.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2067165 T = 1.52 (out)(err) |
rand507_l1.wcnf | O = 386009 T = 0.06 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 386009 T = 0.06 (out)(err) |
rand507_l2.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2179728 T = 1.72 (out)(err) |
rand547_l2.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) |
rand583_l2.wcnf | O = 1853126 T = 30.29 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1853126 T = 30.29 (out)(err) |
rand653_l2.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1954953 T = 1.30 (out)(err) |
rand695_l1.wcnf | O = 345857 T = 0.07 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 345857 T = 0.07 (out)(err) |
rand717_l2.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) |
rand752_l1.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) |
rand83_l1.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) |
rand83_l2.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) |
rand869_l1.wcnf | O = 444663 T = 0.07 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 444663 T = 0.07 (out)(err) |
rand874_l1.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 728737 T = 0.12 (out)(err) |
rand892_l1.wcnf | O = 275043 T = 0.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 275043 T = 0.03 (out)(err) |
rand892_l2.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) |
rand929_l2.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) |
rand954_l1.wcnf | O = 276958 T = 46.89 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 276958 T = 46.89 (out)(err) |
rand981_l2.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) |
rand984_l1.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) |
rand984_l2.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) |
WCNF_pathways_p01.wcnf | O = 2 T = 0.00 |
O = 2 T = 0.72 (out)(err) |
O = 2 T = 0.65 (out)(err) |
O = 2 T = 0.00 (out)(err) |
WCNF_pathways_p02.wcnf | O = 3 T = 0.00 |
O = 3 T = 1.02 (out)(err) |
O = 3 T = 0.92 (out)(err) |
O = 3 T = 0.00 (out)(err) |
WCNF_pathways_p03.wcnf | O = 30 T = 0.01 |
O = 30 T = 2.00 (out)(err) |
O = 30 T = 1.83 (out)(err) |
O = 30 T = 0.01 (out)(err) |
WCNF_pathways_p04.wcnf | O = 20 T = 0.01 |
O = 20 T = 1.58 (out)(err) |
O = 20 T = 1.57 (out)(err) |
O = 20 T = 0.01 (out)(err) |
WCNF_pathways_p05.wcnf | O = 60 T = 0.43 |
O = 60 T = 2.99 (out)(err) |
O = 60 T = 3.16 (out)(err) |
O = 60 T = 0.43 (out)(err) |
WCNF_pathways_p06.wcnf | O = 64 T = 4.81 |
O = 64 T = 79.55 (out)(err) |
O = N/A T = TO (out)(err) |
O = 64 T = 4.81 (out)(err) |
WCNF_pathways_p07.wcnf | O = 115 T = 11.46 |
O = 115 T = 11.46 (out)(err) |
O = 115 T = 13.90 (out)(err) |
O = 115 T = 13.43 (out)(err) |
WCNF_pathways_p08.wcnf | O = 182 T = 5.96 |
O = 182 T = 12.59 (out)(err) |
O = 182 T = 12.07 (out)(err) |
O = 182 T = 5.96 (out)(err) |
WCNF_pathways_p09.wcnf | O = 157 T = 0.37 |
O = 157 T = 3.73 (out)(err) |
O = 157 T = 3.50 (out)(err) |
O = 157 T = 0.37 (out)(err) |
WCNF_pathways_p10.wcnf | O = 129 T = 6.20 |
O = 129 T = 26.28 (out)(err) |
O = 129 T = 16.78 (out)(err) |
O = 129 T = 6.20 (out)(err) |
WCNF_pathways_p11.wcnf | O = 118 T = 0.07 |
O = 118 T = 1.87 (out)(err) |
O = 118 T = 2.03 (out)(err) |
O = 118 T = 0.07 (out)(err) |
WCNF_pathways_p12.wcnf | O = 188 T = 0.50 |
O = 188 T = 3.33 (out)(err) |
O = 188 T = 3.39 (out)(err) |
O = 188 T = 0.50 (out)(err) |
WCNF_pathways_p14.wcnf | O = 207 T = 0.39 |
O = 207 T = 3.58 (out)(err) |
O = 207 T = 3.46 (out)(err) |
O = 207 T = 0.39 (out)(err) |
WCNF_pathways_p16.wcnf | O = 278 T = 297.67 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 278 T = 297.67 (out)(err) |
WCNF_pathways_p17.wcnf | O = 223 T = 81.69 |
O = 223 T = 81.69 (out)(err) |
O = N/A T = TO (out)(err) |
O = 223 T = 81.03 (out)(err) |
WCNF_pathways_p18.wcnf | O = 228 T = 0.20 |
O = 228 T = 3.03 (out)(err) |
O = 228 T = 3.51 (out)(err) |
O = 228 T = 0.20 (out)(err) |
WCNF_pathways_p20.wcnf | O = 247 T = 2.30 |
O = 247 T = 6.48 (out)(err) |
O = 247 T = 6.89 (out)(err) |
O = 247 T = 2.30 (out)(err) |
WCNF_storage_p01.wcnf | O = 3 T = 0.00 |
O = 3 T = 0.51 (out)(err) |
O = 3 T = 0.41 (out)(err) |
O = 3 T = 0.00 (out)(err) |
WCNF_storage_p02.wcnf | O = 5 T = 0.25 |
O = 5 T = 3.32 (out)(err) |
O = 5 T = 2.53 (out)(err) |
O = 5 T = 0.25 (out)(err) |
WCNF_storage_p03.wcnf | O = 18 T = 11.67 |
O = 18 T = 12.12 (out)(err) |
O = 18 T = 11.67 (out)(err) |
O = 18 T = 15.66 (out)(err) |
WCNF_storage_p04.wcnf | O = 38 T = 0.54 |
O = 38 T = 4.13 (out)(err) |
O = 38 T = 3.14 (out)(err) |
O = 38 T = 0.54 (out)(err) |
WCNF_storage_p05.wcnf | O = 107 T = 1.97 |
O = 107 T = 3.26 (out)(err) |
O = 107 T = 3.90 (out)(err) |
O = 107 T = 1.97 (out)(err) |
WCNF_storage_p06.wcnf | O = 173 T = 0.34 |
O = 173 T = 3.60 (out)(err) |
O = 173 T = 3.49 (out)(err) |
O = 173 T = 0.34 (out)(err) |
WCNF_storage_p07.wcnf | O = 277 T = 10.15 |
O = 277 T = 10.15 (out)(err) |
O = 277 T = 12.50 (out)(err) |
O = 277 T = 119.78 (out)(err) |
WCNF_trucks_p01.wcnf | O = 0 T = 0.14 |
O = 0 T = 3.20 (out)(err) |
O = 0 T = 2.41 (out)(err) |
O = 0 T = 0.14 (out)(err) |
WCNF_trucks_p02.wcnf | O = 0 T = 0.25 |
O = 0 T = 9.28 (out)(err) |
O = 0 T = 5.68 (out)(err) |
O = 0 T = 0.25 (out)(err) |
WCNF_trucks_p03.wcnf | O = 0 T = 0.30 |
O = 0 T = 28.16 (out)(err) |
O = 0 T = 18.95 (out)(err) |
O = 0 T = 0.30 (out)(err) |
WCNF_trucks_p04.wcnf | O = 0 T = 0.52 |
O = 0 T = 180.25 (out)(err) |
O = 0 T = 73.66 (out)(err) |
O = 0 T = 0.52 (out)(err) |
WCNF_trucks_p05.wcnf | O = 0 T = 20.87 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 0 T = 20.87 (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) |
comp02.wcnf | O = 25 T = 81.11 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 25 T = 81.11 (out)(err) |
comp03.wcnf | O = 197 T = 1.00 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 197 T = 1.00 (out)(err) |
comp04.wcnf | O = 35 T = 21.89 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 35 T = 21.89 (out)(err) |
comp05.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) |
comp06.wcnf | O = 55 T = 248.68 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 55 T = 248.68 (out)(err) |
comp07.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) |
comp08.wcnf | O = 37 T = 6.66 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 37 T = 6.66 (out)(err) |
comp09.wcnf | O = 122 T = 49.55 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 122 T = 49.55 (out)(err) |
comp10.wcnf | O = 4 T = 254.81 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4 T = 254.81 (out)(err) |
comp12.wcnf | O = 476 T = 21.55 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 476 T = 21.55 (out)(err) |
comp13.wcnf | O = 59 T = 232.82 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 59 T = 232.82 (out)(err) |
comp14.wcnf | O = 51 T = 39.65 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 51 T = 39.65 (out)(err) |
comp15.wcnf | O = 197 T = 1.11 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 197 T = 1.11 (out)(err) |
comp16.wcnf | O = 18 T = 11.47 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 18 T = 11.47 (out)(err) |
comp17.wcnf | O = 70 T = 251.87 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 70 T = 251.87 (out)(err) |
comp18.wcnf | O = 80 T = 11.12 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 80 T = 11.12 (out)(err) |
comp19.wcnf | O = 84 T = 3.38 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 84 T = 3.38 (out)(err) |
comp20.wcnf | O = 58 T = 129.55 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 58 T = 129.55 (out)(err) |
comp21.wcnf | O = 90 T = 10.33 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 90 T = 10.33 (out)(err) |
dds1.wcnf | O = 48 T = 61.02 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 48 T = 61.02 (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) |
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) |
test2.wcnf | O = 17 T = 114.49 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 17 T = 114.49 (out)(err) |
test3.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) |
test4.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) |
mancoosi-test-i1000d0u98-0.wcnf | O = 107076495 T = 9.80 |
O = 107076495 T = 22.70 (out)(err) |
O = 107076495 T = 9.80 (out)(err) |
O = 107076495 T = 15.47 (out)(err) |
mancoosi-test-i1000d0u98-1.wcnf | O = 122084956 T = 16.93 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 122084956 T = 16.93 (out)(err) |
mancoosi-test-i1000d0u98-10.wcnf | O = 152083527 T = 11.66 |
O = 152083527 T = 11.66 (out)(err) |
O = 152083527 T = 36.14 (out)(err) |
O = 152083527 T = 13.06 (out)(err) |
mancoosi-test-i1000d0u98-11.wcnf | O = 122139402 T = 8.13 |
O = 122139402 T = 8.15 (out)(err) |
O = 122139402 T = 8.13 (out)(err) |
O = 122139402 T = 17.09 (out)(err) |
mancoosi-test-i1000d0u98-12.wcnf | O = 77077761 T = 2.54 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 77077761 T = 2.54 (out)(err) |
mancoosi-test-i1000d0u98-13.wcnf | O = 182245730 T = 6.22 |
O = 182245730 T = 6.22 (out)(err) |
O = 182245730 T = 10.68 (out)(err) |
O = 2930584973 T = 0.94 (out)(err) |
mancoosi-test-i1000d0u98-14.wcnf | O = 137147806 T = 2.61 |
O = 137147806 T = 36.44 (out)(err) |
O = 137147806 T = 35.55 (out)(err) |
O = 137147806 T = 2.61 (out)(err) |
mancoosi-test-i1000d0u98-15.wcnf | O = 92031744 T = 3.49 |
O = 92031744 T = 18.14 (out)(err) |
O = 92031744 T = 75.56 (out)(err) |
O = 92031744 T = 3.49 (out)(err) |
mancoosi-test-i1000d0u98-16.wcnf | O = 137075245 T = 12.16 |
O = 137075245 T = 12.16 (out)(err) |
O = 137075245 T = 15.44 (out)(err) |
O = 137075246 T = 3.26 (out)(err) |
mancoosi-test-i1000d0u98-17.wcnf | O = 152192544 T = 24.97 |
O = 152192544 T = 48.65 (out)(err) |
O = 152192544 T = 39.36 (out)(err) |
O = 152192544 T = 24.97 (out)(err) |
mancoosi-test-i1000d0u98-18.wcnf | O = 152228825 T = 4.36 |
O = 152228825 T = 4.36 (out)(err) |
O = 152228825 T = 5.15 (out)(err) |
O = 2915540221 T = 0.87 (out)(err) |
mancoosi-test-i1000d0u98-19.wcnf | O = 92049939 T = 3.14 |
O = 92049939 T = 71.55 (out)(err) |
O = 92049939 T = 63.86 (out)(err) |
O = 92049939 T = 3.14 (out)(err) |
mancoosi-test-i1000d0u98-2.wcnf | O = 77059701 T = 4.10 |
O = 77059701 T = 4.10 (out)(err) |
O = 77059701 T = 7.46 (out)(err) |
O = 77059701 T = 14.87 (out)(err) |
mancoosi-test-i1000d0u98-20.wcnf | O = 122103131 T = 16.23 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 122103131 T = 16.23 (out)(err) |
mancoosi-test-i1000d0u98-21.wcnf | O = 77041487 T = 2.80 |
O = 77041487 T = 18.32 (out)(err) |
O = 77041487 T = 16.59 (out)(err) |
O = 77041487 T = 2.80 (out)(err) |
mancoosi-test-i1000d0u98-22.wcnf | O = 92086312 T = 8.95 |
O = 92086312 T = 12.14 (out)(err) |
O = 92086312 T = 8.95 (out)(err) |
O = 92086312 T = 15.16 (out)(err) |
mancoosi-test-i1000d0u98-23.wcnf | O = 62014822 T = 4.99 |
O = 62014822 T = 4.99 (out)(err) |
O = 62014822 T = 6.68 (out)(err) |
O = 62014822 T = 14.45 (out)(err) |
mancoosi-test-i1000d0u98-24.wcnf | O = 167273676 T = 14.03 |
O = 167273676 T = 14.03 (out)(err) |
O = 167273676 T = 23.07 (out)(err) |
O = 167273676 T = 14.39 (out)(err) |
mancoosi-test-i1000d0u98-3.wcnf | O = 91959146 T = 13.40 |
O = 91959146 T = 13.40 (out)(err) |
O = 91959146 T = 29.79 (out)(err) |
O = 91959146 T = 15.40 (out)(err) |
mancoosi-test-i1000d0u98-4.wcnf | O = 122175781 T = 8.49 |
O = 122175781 T = 12.77 (out)(err) |
O = 122175781 T = 8.49 (out)(err) |
O = 122175781 T = 11.04 (out)(err) |
mancoosi-test-i1000d0u98-5.wcnf | O = 107058295 T = 14.09 |
O = 107058295 T = 53.71 (out)(err) |
O = 107058295 T = 14.09 (out)(err) |
O = 107058295 T = 16.10 (out)(err) |
mancoosi-test-i1000d0u98-6.wcnf | O = 137093314 T = 9.26 |
O = 137093314 T = 9.26 (out)(err) |
O = 137093314 T = 17.16 (out)(err) |
O = 137093314 T = 17.47 (out)(err) |
mancoosi-test-i1000d0u98-7.wcnf | O = 92104395 T = 2.64 |
O = 92104395 T = 8.12 (out)(err) |
O = 92104395 T = 14.15 (out)(err) |
O = 92104395 T = 2.64 (out)(err) |
mancoosi-test-i1000d0u98-8.wcnf | O = 137057008 T = 20.75 |
O = 137057008 T = 74.60 (out)(err) |
O = N/A T = TO (out)(err) |
O = 137057008 T = 20.75 (out)(err) |
mancoosi-test-i1000d0u98-9.wcnf | O = 167164758 T = 4.74 |
O = 167164758 T = 4.74 (out)(err) |
O = 167164758 T = 6.29 (out)(err) |
O = 167164758 T = 18.20 (out)(err) |
mancoosi-test-i2000d0u98-25.wcnf | O = 332548069 T = 3.24 |
O = 332548069 T = 262.58 (out)(err) |
O = 332548069 T = 126.09 (out)(err) |
O = 332548069 T = 3.24 (out)(err) |
mancoosi-test-i2000d0u98-26.wcnf | O = 287486453 T = 16.45 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 287486453 T = 16.45 (out)(err) |
mancoosi-test-i2000d0u98-27.wcnf | O = 317557787 T = 17.80 |
O = 317557787 T = 193.17 (out)(err) |
O = 317557787 T = 243.44 (out)(err) |
O = 317557787 T = 17.80 (out)(err) |
mancoosi-test-i2000d0u98-28.wcnf | O = 287468289 T = 3.51 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 287468289 T = 3.51 (out)(err) |
mancoosi-test-i2000d0u98-29.wcnf | O = 287595465 T = 17.22 |
O = N/A T = TO (out)(err) |
O = 287595465 T = 192.76 (out)(err) |
O = 287595465 T = 17.22 (out)(err) |
mancoosi-test-i2000d0u98-30.wcnf | O = 212317206 T = 15.09 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 212317206 T = 15.09 (out)(err) |
mancoosi-test-i2000d0u98-31.wcnf | O = 3516694730 T = 1.48 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3516694730 T = 1.48 (out)(err) |
mancoosi-test-i2000d0u98-32.wcnf | O = 3486714246 T = 1.42 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3486714246 T = 1.42 (out)(err) |
mancoosi-test-i2000d0u98-33.wcnf | O = 332529839 T = 3.66 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 332529839 T = 3.66 (out)(err) |
mancoosi-test-i2000d0u98-34.wcnf | O = 3606817936 T = 1.63 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3606817936 T = 1.63 (out)(err) |
mancoosi-test-i2000d0u98-35.wcnf | O = 377591501 T = 16.40 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 377591501 T = 16.40 (out)(err) |
mancoosi-test-i2000d0u98-36.wcnf | O = 332566184 T = 3.36 |
O = 332566184 T = 8.26 (out)(err) |
O = 332566184 T = 7.92 (out)(err) |
O = 332566184 T = 3.36 (out)(err) |
mancoosi-test-i2000d0u98-37.wcnf | O = 377537014 T = 3.75 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 377537014 T = 3.75 (out)(err) |
mancoosi-test-i2000d0u98-38.wcnf | O = 332620778 T = 3.05 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 332620778 T = 3.05 (out)(err) |
mancoosi-test-i2000d0u98-39.wcnf | O = 347556415 T = 18.04 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 347556415 T = 18.04 (out)(err) |
mancoosi-test-i2000d0u98-40.wcnf | O = 182372912 T = 3.41 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 182372912 T = 3.41 (out)(err) |
mancoosi-test-i2000d0u98-41.wcnf | O = 3576855626 T = 1.45 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3576855626 T = 1.45 (out)(err) |
mancoosi-test-i2000d0u98-42.wcnf | O = 317503223 T = 17.26 |
O = 317503223 T = 117.04 (out)(err) |
O = 317503223 T = 243.79 (out)(err) |
O = 317503223 T = 17.26 (out)(err) |
mancoosi-test-i2000d0u98-43.wcnf | O = 242370348 T = 18.32 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 242370348 T = 18.32 (out)(err) |
mancoosi-test-i2000d0u98-44.wcnf | O = 212353462 T = 12.28 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 212353462 T = 12.28 (out)(err) |
mancoosi-test-i2000d0u98-45.wcnf | O = 182318477 T = 15.41 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 182318477 T = 15.41 (out)(err) |
mancoosi-test-i2000d0u98-46.wcnf | O = 362601234 T = 17.51 |
O = 362601234 T = 108.17 (out)(err) |
O = 362601234 T = 232.53 (out)(err) |
O = 362601234 T = 17.51 (out)(err) |
mancoosi-test-i2000d0u98-47.wcnf | O = 287486426 T = 16.88 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 287486426 T = 16.88 (out)(err) |
mancoosi-test-i2000d0u98-48.wcnf | O = 332693445 T = 4.21 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 332693445 T = 4.21 (out)(err) |
mancoosi-test-i2000d0u98-49.wcnf | O = 212353539 T = 16.43 |
O = 212353539 T = 31.72 (out)(err) |
O = 212353539 T = 85.80 (out)(err) |
O = 212353539 T = 16.43 (out)(err) |
mancoosi-test-i3000d0u98-50.wcnf | O = 422725765 T = 3.96 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 422725765 T = 3.96 (out)(err) |
mancoosi-test-i3000d0u98-51.wcnf | O = 4117940106 T = 1.95 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4117940106 T = 1.95 (out)(err) |
mancoosi-test-i3000d0u98-52.wcnf | O = 618125983 T = 18.97 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 618125983 T = 18.97 (out)(err) |
mancoosi-test-i3000d0u98-53.wcnf | O = 573137018 T = 3.61 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 573137018 T = 3.61 (out)(err) |
mancoosi-test-i3000d0u98-54.wcnf | O = 588163640 T = 4.04 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 588163640 T = 4.04 (out)(err) |
mancoosi-test-i3000d0u98-55.wcnf | O = 528002690 T = 20.23 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 528002690 T = 20.23 (out)(err) |
mancoosi-test-i3000d0u98-56.wcnf | O = 3712222150 T = 1.66 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3712222150 T = 1.66 (out)(err) |
mancoosi-test-i3000d0u98-57.wcnf | O = 437806858 T = 179.48 |
O = 437806858 T = 179.48 (out)(err) |
O = N/A T = TO (out)(err) |
O = 3486786973 T = 1.85 (out)(err) |
mancoosi-test-i3000d0u98-58.wcnf | O = 3607036013 T = 1.72 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3607036013 T = 1.72 (out)(err) |
mancoosi-test-i3000d0u98-59.wcnf | O = 3607072414 T = 1.81 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3607072414 T = 1.81 (out)(err) |
mancoosi-test-i3000d0u98-60.wcnf | O = 648142780 T = 4.08 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 648142780 T = 4.08 (out)(err) |
mancoosi-test-i3000d0u98-61.wcnf | O = 558019587 T = 4.10 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 558019587 T = 4.10 (out)(err) |
mancoosi-test-i3000d0u98-62.wcnf | O = 527930109 T = 18.70 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 527930109 T = 18.70 (out)(err) |
mancoosi-test-i3000d0u98-63.wcnf | O = 3757211072 T = 2.00 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3757211072 T = 2.00 (out)(err) |
mancoosi-test-i3000d0u98-64.wcnf | O = 572991690 T = 22.75 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 572991690 T = 22.75 (out)(err) |
mancoosi-test-i3000d0u98-65.wcnf | O = 603062985 T = 3.92 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 603062985 T = 3.92 (out)(err) |
mancoosi-test-i3000d0u98-66.wcnf | O = 527966390 T = 4.48 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 527966390 T = 4.48 (out)(err) |
mancoosi-test-i3000d0u98-67.wcnf | O = 542920290 T = 2.99 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 542920290 T = 2.99 (out)(err) |
mancoosi-test-i3000d0u98-68.wcnf | O = 497931412 T = 4.09 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 497931412 T = 4.09 (out)(err) |
mancoosi-test-i3000d0u98-69.wcnf | O = 663114835 T = 4.35 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 663114835 T = 4.35 (out)(err) |
mancoosi-test-i3000d0u98-70.wcnf | O = 3787300582 T = 1.69 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3787300582 T = 1.69 (out)(err) |
mancoosi-test-i3000d0u98-71.wcnf | O = 467969155 T = 5.46 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 467969155 T = 5.46 (out)(err) |
mancoosi-test-i3000d0u98-72.wcnf | O = 527857381 T = 19.15 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 527857381 T = 19.15 (out)(err) |
mancoosi-test-i3000d0u98-73.wcnf | O = 3697250096 T = 1.34 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3697250096 T = 1.34 (out)(err) |
mancoosi-test-i3000d0u98-74.wcnf | O = 4057833733 T = 2.05 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4057833733 T = 2.05 (out)(err) |
mancoosi-test-i4000d0u98-75.wcnf | O = 3727321457 T = 2.26 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3727321457 T = 2.26 (out)(err) |
mancoosi-test-i4000d0u98-76.wcnf | O = 4147956954 T = 1.54 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4147956954 T = 1.54 (out)(err) |
mancoosi-test-i4000d0u98-77.wcnf | O = 3847570523 T = 1.30 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3847570523 T = 1.30 (out)(err) |
mancoosi-test-i4000d0u98-78.wcnf | O = 3787500519 T = 2.14 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3787500519 T = 2.14 (out)(err) |
mancoosi-test-i4000d0u98-79.wcnf | O = 3712276715 T = 2.16 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3712276715 T = 2.16 (out)(err) |
mancoosi-test-i4000d0u98-80.wcnf | O = 828516450 T = 4.59 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 828516450 T = 4.59 (out)(err) |
mancoosi-test-i4000d0u98-81.wcnf | O = 4027889621 T = 2.14 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4027889621 T = 2.14 (out)(err) |
mancoosi-test-i4000d0u98-82.wcnf | O = 3877569186 T = 2.83 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3877569186 T = 2.83 (out)(err) |
mancoosi-test-i4000d0u98-83.wcnf | O = 843633918 T = 5.12 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 843633918 T = 5.12 (out)(err) |
mancoosi-test-i4000d0u98-84.wcnf | O = 858696784 T = 4.49 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 858696784 T = 4.49 (out)(err) |
mancoosi-test-i4000d0u98-85.wcnf | O = 723348521 T = 5.11 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 723348521 T = 5.11 (out)(err) |
mancoosi-test-i4000d0u98-86.wcnf | O = 3907658704 T = 2.18 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3907658704 T = 2.18 (out)(err) |
mancoosi-test-i4000d0u98-87.wcnf | O = 3862578945 T = 2.27 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3862578945 T = 2.27 (out)(err) |
mancoosi-test-i4000d0u98-88.wcnf | O = 738338700 T = 4.63 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 738338700 T = 4.63 (out)(err) |
mancoosi-test-i4000d0u98-89.wcnf | O = 3847516013 T = 2.16 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3847516013 T = 2.16 (out)(err) |
mancoosi-test-i4000d0u98-90.wcnf | O = 3667196923 T = 2.13 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3667196923 T = 2.13 (out)(err) |
mancoosi-test-i4000d0u98-91.wcnf | O = 3877587382 T = 2.39 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3877587382 T = 2.39 (out)(err) |
mancoosi-test-i4000d0u98-92.wcnf | O = 3607017881 T = 1.97 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3607017881 T = 1.97 (out)(err) |
mancoosi-test-i4000d0u98-93.wcnf | O = 3712294879 T = 2.17 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3712294879 T = 2.17 (out)(err) |
mancoosi-test-i4000d0u98-94.wcnf | O = 3802327222 T = 2.22 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3802327222 T = 2.22 (out)(err) |
mancoosi-test-i4000d0u98-95.wcnf | O = 3982700821 T = 1.97 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3982700821 T = 1.97 (out)(err) |
mancoosi-test-i4000d0u98-96.wcnf | O = 4042988869 T = 2.26 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4042988869 T = 2.26 (out)(err) |
mancoosi-test-i4000d0u98-97.wcnf | O = 903703891 T = 6.72 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 903703891 T = 6.72 (out)(err) |
mancoosi-test-i4000d0u98-98.wcnf | O = 4118085475 T = 2.37 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4118085475 T = 2.37 (out)(err) |
mancoosi-test-i4000d0u98-99.wcnf | O = 4042770800 T = 2.06 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4042770800 T = 2.06 (out)(err) |
1401.wcsp.dir.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 581116 T = 0.09 (out)(err) |
1403.wcsp.dir.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 599293 T = 0.07 (out)(err) |
1405.wcsp.dir.wcnf | O = 589499 T = 0.14 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 589499 T = 0.14 (out)(err) |
1407.wcsp.dir.wcnf | O = 586707 T = 0.14 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 586707 T = 0.14 (out)(err) |
1502.wcsp.dir.wcnf | O = 28042 T = 0.00 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 28042 T = 0.00 (out)(err) |
1504.wcsp.dir.wcnf | O = 161287 T = 25.63 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 161287 T = 25.63 (out)(err) |
1506.wcsp.dir.wcnf | O = 381534 T = 273.40 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 381534 T = 273.40 (out)(err) |
28.wcsp.dir.wcnf | O = 300130 T = 0.08 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 300130 T = 0.08 (out)(err) |
29.wcsp.dir.wcnf | O = 8059 T = 0.02 |
O = 8059 T = 28.95 (out)(err) |
O = 8059 T = 19.42 (out)(err) |
O = 8059 T = 0.02 (out)(err) |
404.wcsp.dir.wcnf | O = 114 T = 0.14 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 114 T = 0.14 (out)(err) |
408.wcsp.dir.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6229 T = 0.40 (out)(err) |
412.wcsp.dir.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 32381 T = 14.99 (out)(err) |
414.wcsp.dir.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 38500 T = 2.94 (out)(err) |
42.wcsp.dir.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 155050 T = 8.49 (out)(err) |
5.wcsp.dir.wcnf | O = 270 T = 251.61 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 270 T = 251.61 (out)(err) |
503.wcsp.dir.wcnf | O = 11113 T = 0.04 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 11113 T = 0.04 (out)(err) |
505.wcsp.dir.wcnf | O = 21253 T = 0.45 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 21253 T = 0.45 (out)(err) |
507.wcsp.dir.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 27405 T = 3.96 (out)(err) |
509.wcsp.dir.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 36461 T = 0.84 (out)(err) |
54.wcsp.dir.wcnf | O = 37 T = 0.01 |
O = 37 T = 2.91 (out)(err) |
O = 37 T = 2.34 (out)(err) |
O = 37 T = 0.01 (out)(err) |
8.wcsp.dir.wcnf | O = 2 T = 0.00 |
O = 2 T = 0.20 (out)(err) |
O = 2 T = 0.26 (out)(err) |
O = 2 T = 0.00 (out)(err) |
1401.wcsp.log.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 585111 T = 0.08 (out)(err) |
1403.wcsp.log.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 582280 T = 0.12 (out)(err) |
1405.wcsp.log.wcnf | O = 578481 T = 0.22 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 578481 T = 0.22 (out)(err) |
1407.wcsp.log.wcnf | O = 592664 T = 0.28 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 592664 T = 0.28 (out)(err) |
1502.wcsp.log.wcnf | O = 28042 T = 0.00 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 28042 T = 0.00 (out)(err) |
1504.wcsp.log.wcnf | O = 163300 T = 267.20 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 163300 T = 267.20 (out)(err) |
1506.wcsp.log.wcnf | O = 471623 T = 0.30 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 471623 T = 0.30 (out)(err) |
28.wcsp.log.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 308130 T = 0.09 (out)(err) |
29.wcsp.log.wcnf | O = 8059 T = 0.04 |
O = 8059 T = 13.40 (out)(err) |
O = 8059 T = 7.00 (out)(err) |
O = 8059 T = 0.04 (out)(err) |
404.wcsp.log.wcnf | O = 114 T = 0.28 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 114 T = 0.28 (out)(err) |
408.wcsp.log.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6245 T = 2.10 (out)(err) |
412.wcsp.log.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 35418 T = 0.31 (out)(err) |
414.wcsp.log.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 38515 T = 0.83 (out)(err) |
42.wcsp.log.wcnf | O = 202050 T = 0.10 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 202050 T = 0.10 (out)(err) |
5.wcsp.log.wcnf | O = 314 T = 0.10 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 314 T = 0.10 (out)(err) |
503.wcsp.log.wcnf | O = 11113 T = 0.14 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 11113 T = 0.14 (out)(err) |
505.wcsp.log.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 22255 T = 3.46 (out)(err) |
507.wcsp.log.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 27421 T = 0.21 (out)(err) |
509.wcsp.log.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 38474 T = 0.61 (out)(err) |
54.wcsp.log.wcnf | O = 37 T = 0.08 |
O = 37 T = 2.86 (out)(err) |
O = 37 T = 3.45 (out)(err) |
O = 37 T = 0.08 (out)(err) |
8.wcsp.log.wcnf | O = 2 T = 0.00 |
O = 2 T = 0.24 (out)(err) |
O = 2 T = 0.24 (out)(err) |
O = 2 T = 0.00 (out)(err) |