Weighted Partial Max-SAT (Industrial)

Label	Meaning
S	Solution {OPTIMUM FOUND or OPTIMUM \| UNSATISFIABLE or UNSAT \| UNKNOWN \| Not available or N/A}
O	Best solution found
T	CPU time

Color	Meaning
Text	Optimal solution with the best CPU time
Text	Optimal solution and finished within the Time Out
Text	Optimal solution and did not finish within the Time Out
Text	Time Out
Text	Buggy solution

Instance file name	Clone	IUT_BCMB_WMaxsatz	IncWMaxsatz	MSUnCore	SAT4J-Maxsat	WMaxSatz-1.6	WMaxSatz-2.5	wbo	wpm1
mancoosi-test-i10d0u98-0.wcnf	S = N/A \| O = N/A T = 25.07 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780760 T = 11.88 \| (out)(err)	S = OPTIMUM \| O = 1780760 T = 12.02 \| (out)(err)	S = OPTIMUM \| O = 1780760 T = 4.79 \| (out)(err)	S = OPTIMUM \| O = 1780760 T = 724.82 \| (out)(err)	S = OPTIMUM \| O = 1780760 T = 1476.38 \| (out)(err)	S = OPTIMUM \| O = 1780760 T = 23.35 \| (out)(err)	S = OPTIMUM \| O = 1780760 T = 22.68 \| (out)(err)
mancoosi-test-i10d0u98-1.wcnf	S = N/A \| O = N/A T = 25.48 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780764 T = 11.67 \| (out)(err)	S = OPTIMUM \| O = 1780764 T = 12.22 \| (out)(err)	S = OPTIMUM \| O = 1780764 T = 4.74 \| (out)(err)	S = OPTIMUM \| O = 1780764 T = 472.18 \| (out)(err)	S = OPTIMUM \| O = 1780764 T = 1119.96 \| (out)(err)	S = OPTIMUM \| O = 1780764 T = 23.84 \| (out)(err)	S = OPTIMUM \| O = 1780764 T = 24.89 \| (out)(err)
mancoosi-test-i10d0u98-10.wcnf	S = N/A \| O = N/A T = 24.60 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780778 T = 13.39 \| (out)(err)	S = OPTIMUM \| O = 1780778 T = 13.09 \| (out)(err)	S = OPTIMUM \| O = 1780778 T = 4.67 \| (out)(err)	S = OPTIMUM \| O = 1780778 T = 765.36 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780778 T = 25.62 \| (out)(err)	S = OPTIMUM \| O = 1780778 T = 24.16 \| (out)(err)
mancoosi-test-i10d0u98-11.wcnf	S = N/A \| O = N/A T = 27.82 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780771 T = 11.87 \| (out)(err)	S = OPTIMUM \| O = 1780771 T = 12.65 \| (out)(err)	S = OPTIMUM \| O = 1780771 T = 4.94 \| (out)(err)	S = OPTIMUM \| O = 1780771 T = 907.37 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780771 T = 24.87 \| (out)(err)	S = OPTIMUM \| O = 1780771 T = 23.72 \| (out)(err)
mancoosi-test-i10d0u98-12.wcnf	S = N/A \| O = N/A T = 32.45 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780773 T = 12.40 \| (out)(err)	S = OPTIMUM \| O = 1780773 T = 12.76 \| (out)(err)	S = OPTIMUM \| O = 1780773 T = 4.65 \| (out)(err)	S = OPTIMUM \| O = 1780773 T = 767.80 \| (out)(err)	S = OPTIMUM \| O = 1780773 T = 1759.43 \| (out)(err)	S = OPTIMUM \| O = 1780773 T = 25.11 \| (out)(err)	S = OPTIMUM \| O = 1780773 T = 24.39 \| (out)(err)
mancoosi-test-i10d0u98-13.wcnf	S = N/A \| O = N/A T = 25.60 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780764 T = 12.26 \| (out)(err)	S = OPTIMUM \| O = 1780764 T = 14.16 \| (out)(err)	S = OPTIMUM \| O = 1780764 T = 4.80 \| (out)(err)	S = OPTIMUM \| O = 1780764 T = 740.95 \| (out)(err)	S = OPTIMUM \| O = 1780764 T = 1505.25 \| (out)(err)	S = OPTIMUM \| O = 1780764 T = 23.89 \| (out)(err)	S = OPTIMUM \| O = 1780764 T = 24.87 \| (out)(err)
mancoosi-test-i10d0u98-14.wcnf	S = N/A \| O = N/A T = 25.18 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780785 T = 14.95 \| (out)(err)	S = OPTIMUM \| O = 1780785 T = 15.37 \| (out)(err)	S = OPTIMUM \| O = 1780785 T = 4.72 \| (out)(err)	S = OPTIMUM \| O = 1780785 T = 800.82 \| (out)(err)	S = OPTIMUM \| O = 1780785 T = 1672.40 \| (out)(err)	S = OPTIMUM \| O = 1780785 T = 26.55 \| (out)(err)	S = OPTIMUM \| O = 1780785 T = 25.03 \| (out)(err)
mancoosi-test-i10d0u98-15.wcnf	S = N/A \| O = N/A T = 24.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780769 T = 14.31 \| (out)(err)	S = OPTIMUM \| O = 1780769 T = 12.62 \| (out)(err)	S = OPTIMUM \| O = 1780769 T = 4.82 \| (out)(err)	S = OPTIMUM \| O = 1780769 T = 1596.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780769 T = 24.45 \| (out)(err)	S = OPTIMUM \| O = 1780769 T = 23.91 \| (out)(err)
mancoosi-test-i10d0u98-16.wcnf	S = N/A \| O = N/A T = 29.22 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780806 T = 14.21 \| (out)(err)	S = OPTIMUM \| O = 1780806 T = 14.76 \| (out)(err)	S = OPTIMUM \| O = 1780806 T = 4.69 \| (out)(err)	S = OPTIMUM \| O = 1780806 T = 1072.92 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780806 T = 29.40 \| (out)(err)	S = OPTIMUM \| O = 1780806 T = 28.19 \| (out)(err)
mancoosi-test-i10d0u98-17.wcnf	S = N/A \| O = N/A T = 24.69 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780766 T = 12.99 \| (out)(err)	S = OPTIMUM \| O = 1780766 T = 12.36 \| (out)(err)	S = OPTIMUM \| O = 1780766 T = 4.75 \| (out)(err)	S = OPTIMUM \| O = 1780766 T = 590.09 \| (out)(err)	S = OPTIMUM \| O = 1780766 T = 1312.26 \| (out)(err)	S = OPTIMUM \| O = 1780766 T = 24.14 \| (out)(err)	S = OPTIMUM \| O = 1780766 T = 25.50 \| (out)(err)
mancoosi-test-i10d0u98-18.wcnf	S = N/A \| O = N/A T = 24.71 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780773 T = 12.28 \| (out)(err)	S = OPTIMUM \| O = 1780773 T = 12.78 \| (out)(err)	S = OPTIMUM \| O = 1780773 T = 4.75 \| (out)(err)	S = OPTIMUM \| O = 1780773 T = 747.47 \| (out)(err)	S = OPTIMUM \| O = 1780773 T = 1744.34 \| (out)(err)	S = OPTIMUM \| O = 1780773 T = 25.03 \| (out)(err)	S = OPTIMUM \| O = 1780773 T = 26.37 \| (out)(err)
mancoosi-test-i10d0u98-19.wcnf	S = N/A \| O = N/A T = 28.49 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780778 T = 14.02 \| (out)(err)	S = OPTIMUM \| O = 1780778 T = 13.11 \| (out)(err)	S = OPTIMUM \| O = 1780778 T = 4.71 \| (out)(err)	S = OPTIMUM \| O = 1780778 T = 700.82 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780778 T = 28.56 \| (out)(err)	S = OPTIMUM \| O = 1780778 T = 24.71 \| (out)(err)
mancoosi-test-i10d0u98-2.wcnf	S = N/A \| O = N/A T = 32.26 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780767 T = 12.96 \| (out)(err)	S = OPTIMUM \| O = 1780767 T = 12.39 \| (out)(err)	S = OPTIMUM \| O = 1780767 T = 5.16 \| (out)(err)	S = OPTIMUM \| O = 1780767 T = 670.45 \| (out)(err)	S = OPTIMUM \| O = 1780767 T = 1536.70 \| (out)(err)	S = OPTIMUM \| O = 1780767 T = 23.91 \| (out)(err)	S = OPTIMUM \| O = 1780767 T = 22.85 \| (out)(err)
mancoosi-test-i10d0u98-3.wcnf	S = N/A \| O = N/A T = 29.38 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780774 T = 12.30 \| (out)(err)	S = OPTIMUM \| O = 1780774 T = 15.24 \| (out)(err)	S = OPTIMUM \| O = 1780774 T = 4.67 \| (out)(err)	S = OPTIMUM \| O = 1780774 T = 602.21 \| (out)(err)	S = OPTIMUM \| O = 1780774 T = 1395.76 \| (out)(err)	S = OPTIMUM \| O = 1780774 T = 25.12 \| (out)(err)	S = OPTIMUM \| O = 1780774 T = 24.45 \| (out)(err)
mancoosi-test-i10d0u98-4.wcnf	S = N/A \| O = N/A T = 24.60 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780800 T = 13.19 \| (out)(err)	S = OPTIMUM \| O = 1780800 T = 14.56 \| (out)(err)	S = OPTIMUM \| O = 1780800 T = 4.80 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780800 T = 28.44 \| (out)(err)	S = OPTIMUM \| O = 1780800 T = 26.93 \| (out)(err)
mancoosi-test-i10d0u98-5.wcnf	S = N/A \| O = N/A T = 25.04 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780762 T = 11.68 \| (out)(err)	S = OPTIMUM \| O = 1780762 T = 12.13 \| (out)(err)	S = OPTIMUM \| O = 1780762 T = 4.72 \| (out)(err)	S = OPTIMUM \| O = 1780762 T = 711.44 \| (out)(err)	S = OPTIMUM \| O = 1780762 T = 1774.51 \| (out)(err)	S = OPTIMUM \| O = 1780762 T = 23.57 \| (out)(err)	S = OPTIMUM \| O = 1780762 T = 22.81 \| (out)(err)
mancoosi-test-i10d0u98-6.wcnf	S = N/A \| O = N/A T = 30.18 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780856 T = 11.68 \| (out)(err)	S = OPTIMUM \| O = 1780856 T = 20.36 \| (out)(err)	S = OPTIMUM \| O = 1780856 T = 4.72 \| (out)(err)	S = OPTIMUM \| O = 1780856 T = 522.40 \| (out)(err)	S = OPTIMUM \| O = 1780856 T = 1311.29 \| (out)(err)	S = OPTIMUM \| O = 1780856 T = 37.02 \| (out)(err)	S = OPTIMUM \| O = 1780856 T = 33.70 \| (out)(err)
mancoosi-test-i10d0u98-7.wcnf	S = N/A \| O = N/A T = 26.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780788 T = 13.98 \| (out)(err)	S = OPTIMUM \| O = 1780788 T = 13.75 \| (out)(err)	S = OPTIMUM \| O = 1780788 T = 4.84 \| (out)(err)	S = OPTIMUM \| O = 1780788 T = 893.77 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780788 T = 29.80 \| (out)(err)	S = OPTIMUM \| O = 1780788 T = 25.58 \| (out)(err)
mancoosi-test-i10d0u98-8.wcnf	S = N/A \| O = N/A T = 24.96 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780768 T = 12.97 \| (out)(err)	S = OPTIMUM \| O = 1780768 T = 12.44 \| (out)(err)	S = OPTIMUM \| O = 1780768 T = 4.73 \| (out)(err)	S = OPTIMUM \| O = 1780768 T = 1631.68 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780768 T = 24.73 \| (out)(err)	S = OPTIMUM \| O = 1780768 T = 25.43 \| (out)(err)
mancoosi-test-i10d0u98-9.wcnf	S = N/A \| O = N/A T = 24.70 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780767 T = 12.73 \| (out)(err)	S = OPTIMUM \| O = 1780767 T = 12.44 \| (out)(err)	S = OPTIMUM \| O = 1780767 T = 4.86 \| (out)(err)	S = OPTIMUM \| O = 1780767 T = 749.10 \| (out)(err)	S = OPTIMUM \| O = 1780767 T = 1781.35 \| (out)(err)	S = OPTIMUM \| O = 1780767 T = 24.22 \| (out)(err)	S = OPTIMUM \| O = 1780767 T = 23.25 \| (out)(err)
mancoosi-test-i20d0u98-0.wcnf	S = N/A \| O = N/A T = 28.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780797 T = 15.66 \| (out)(err)	S = OPTIMUM \| O = 1780797 T = 14.59 \| (out)(err)	S = OPTIMUM \| O = 1780797 T = 4.68 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780797 T = 31.61 \| (out)(err)	S = OPTIMUM \| O = 1780797 T = 30.04 \| (out)(err)
mancoosi-test-i20d0u98-1.wcnf	S = N/A \| O = N/A T = 24.88 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780841 T = 15.34 \| (out)(err)	S = OPTIMUM \| O = 1780841 T = 17.00 \| (out)(err)	S = OPTIMUM \| O = 1780841 T = 6.21 \| (out)(err)	S = OPTIMUM \| O = 1780841 T = 900.88 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780841 T = 38.07 \| (out)(err)	S = OPTIMUM \| O = 1780841 T = 32.70 \| (out)(err)
mancoosi-test-i20d0u98-10.wcnf	S = N/A \| O = N/A T = 26.21 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780785 T = 13.15 \| (out)(err)	S = OPTIMUM \| O = 1780785 T = 13.45 \| (out)(err)	S = OPTIMUM \| O = 1780785 T = 4.66 \| (out)(err)	S = OPTIMUM \| O = 1780785 T = 552.78 \| (out)(err)	S = OPTIMUM \| O = 1780785 T = 1451.65 \| (out)(err)	S = OPTIMUM \| O = 1780785 T = 26.90 \| (out)(err)	S = OPTIMUM \| O = 1780785 T = 25.40 \| (out)(err)
mancoosi-test-i20d0u98-11.wcnf	S = N/A \| O = N/A T = 25.03 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 16880074 T = 11.84 \| (out)(err)	S = OPTIMUM \| O = 16880074 T = 15.02 \| (out)(err)	S = OPTIMUM \| O = 16880074 T = 5.42 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 16880074 T = 30.22 \| (out)(err)	S = OPTIMUM \| O = 16880074 T = 29.94 \| (out)(err)
mancoosi-test-i20d0u98-12.wcnf	S = N/A \| O = N/A T = 24.66 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780798 T = 13.43 \| (out)(err)	S = OPTIMUM \| O = 1780798 T = 17.18 \| (out)(err)	S = OPTIMUM \| O = 1780798 T = 4.73 \| (out)(err)	S = OPTIMUM \| O = 1780798 T = 584.27 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780798 T = 29.23 \| (out)(err)	S = OPTIMUM \| O = 1780798 T = 29.47 \| (out)(err)
mancoosi-test-i20d0u98-13.wcnf	S = N/A \| O = N/A T = 25.04 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780791 T = 13.46 \| (out)(err)	S = OPTIMUM \| O = 1780791 T = 13.91 \| (out)(err)	S = OPTIMUM \| O = 1780791 T = 4.68 \| (out)(err)	S = OPTIMUM \| O = 1780791 T = 580.23 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780791 T = 27.23 \| (out)(err)	S = OPTIMUM \| O = 1780791 T = 26.91 \| (out)(err)
mancoosi-test-i20d0u98-14.wcnf	S = N/A \| O = N/A T = 24.76 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780788 T = 14.02 \| (out)(err)	S = OPTIMUM \| O = 1780788 T = 13.70 \| (out)(err)	S = OPTIMUM \| O = 1780788 T = 4.83 \| (out)(err)	S = OPTIMUM \| O = 1780788 T = 1311.03 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780788 T = 26.93 \| (out)(err)	S = OPTIMUM \| O = 1780788 T = 28.00 \| (out)(err)
mancoosi-test-i20d0u98-15.wcnf	S = N/A \| O = N/A T = 24.88 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 16807359 T = 14.16 \| (out)(err)	S = OPTIMUM \| O = 16807359 T = 12.72 \| (out)(err)	S = OPTIMUM \| O = 16807359 T = 5.36 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 16807359 T = 25.12 \| (out)(err)	S = OPTIMUM \| O = 16807359 T = 26.53 \| (out)(err)
mancoosi-test-i20d0u98-16.wcnf	S = N/A \| O = N/A T = 24.76 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780789 T = 13.26 \| (out)(err)	S = OPTIMUM \| O = 1780789 T = 13.71 \| (out)(err)	S = OPTIMUM \| O = 1780789 T = 4.72 \| (out)(err)	S = OPTIMUM \| O = 1780789 T = 810.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780789 T = 30.05 \| (out)(err)	S = OPTIMUM \| O = 1780789 T = 29.17 \| (out)(err)
mancoosi-test-i20d0u98-17.wcnf	S = N/A \| O = N/A T = 24.79 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780828 T = 16.74 \| (out)(err)	S = OPTIMUM \| O = 1780828 T = 18.46 \| (out)(err)	S = OPTIMUM \| O = 1780828 T = 4.66 \| (out)(err)	S = OPTIMUM \| O = 1780828 T = 1607.06 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780828 T = 36.25 \| (out)(err)	S = OPTIMUM \| O = 1780828 T = 34.42 \| (out)(err)
mancoosi-test-i20d0u98-18.wcnf	S = N/A \| O = N/A T = 29.68 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1799016 T = 16.08 \| (out)(err)	S = OPTIMUM \| O = 1799016 T = 19.82 \| (out)(err)	S = OPTIMUM \| O = 1799016 T = 4.74 \| (out)(err)	S = OPTIMUM \| O = 1799016 T = 1419.33 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1799016 T = 38.96 \| (out)(err)	S = OPTIMUM \| O = 1799016 T = 36.00 \| (out)(err)
mancoosi-test-i20d0u98-19.wcnf	S = N/A \| O = N/A T = 24.94 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780793 T = 14.59 \| (out)(err)	S = OPTIMUM \| O = 1780793 T = 14.54 \| (out)(err)	S = OPTIMUM \| O = 1780793 T = 4.73 \| (out)(err)	S = OPTIMUM \| O = 1780793 T = 1528.80 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780793 T = 28.69 \| (out)(err)	S = OPTIMUM \| O = 1780793 T = 26.18 \| (out)(err)
mancoosi-test-i20d0u98-2.wcnf	S = N/A \| O = N/A T = 28.86 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780785 T = 17.07 \| (out)(err)	S = OPTIMUM \| O = 1780785 T = 13.43 \| (out)(err)	S = OPTIMUM \| O = 1780785 T = 4.66 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780785 T = 29.49 \| (out)(err)	S = OPTIMUM \| O = 1780785 T = 27.60 \| (out)(err)
mancoosi-test-i20d0u98-3.wcnf	S = N/A \| O = N/A T = 26.12 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780849 T = 15.01 \| (out)(err)	S = OPTIMUM \| O = 1780849 T = 21.25 \| (out)(err)	S = OPTIMUM \| O = 1780849 T = 6.98 \| (out)(err)	S = OPTIMUM \| O = 1780849 T = 774.48 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780849 T = 35.21 \| (out)(err)	S = OPTIMUM \| O = 1780849 T = 35.11 \| (out)(err)
mancoosi-test-i20d0u98-4.wcnf	S = N/A \| O = N/A T = 30.16 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780796 T = 14.66 \| (out)(err)	S = OPTIMUM \| O = 1780796 T = 14.24 \| (out)(err)	S = OPTIMUM \| O = 1780796 T = 4.75 \| (out)(err)	S = OPTIMUM \| O = 1780796 T = 578.60 \| (out)(err)	S = OPTIMUM \| O = 1780796 T = 1508.65 \| (out)(err)	S = OPTIMUM \| O = 1780796 T = 27.92 \| (out)(err)	S = OPTIMUM \| O = 1780796 T = 26.58 \| (out)(err)
mancoosi-test-i20d0u98-5.wcnf	S = N/A \| O = N/A T = 25.51 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780834 T = 15.78 \| (out)(err)	S = OPTIMUM \| O = 1780834 T = 16.63 \| (out)(err)	S = OPTIMUM \| O = 1780834 T = 4.77 \| (out)(err)	S = OPTIMUM \| O = 1780834 T = 1108.86 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780834 T = 32.93 \| (out)(err)	S = OPTIMUM \| O = 1780834 T = 35.22 \| (out)(err)
mancoosi-test-i20d0u98-6.wcnf	S = N/A \| O = N/A T = 25.12 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780796 T = 15.57 \| (out)(err)	S = OPTIMUM \| O = 1780796 T = 14.07 \| (out)(err)	S = OPTIMUM \| O = 1780796 T = 6.33 \| (out)(err)	S = OPTIMUM \| O = 1780796 T = 871.46 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780796 T = 27.96 \| (out)(err)	S = OPTIMUM \| O = 1780796 T = 28.01 \| (out)(err)
mancoosi-test-i20d0u98-7.wcnf	S = N/A \| O = N/A T = 24.90 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780780 T = 14.08 \| (out)(err)	S = OPTIMUM \| O = 1780780 T = 15.47 \| (out)(err)	S = OPTIMUM \| O = 1780780 T = 4.68 \| (out)(err)	S = OPTIMUM \| O = 1780780 T = 794.88 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780780 T = 26.19 \| (out)(err)	S = OPTIMUM \| O = 1780780 T = 24.66 \| (out)(err)
mancoosi-test-i20d0u98-8.wcnf	S = N/A \| O = N/A T = 31.13 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780863 T = 13.45 \| (out)(err)	S = OPTIMUM \| O = 1780863 T = 18.30 \| (out)(err)	S = OPTIMUM \| O = 1780863 T = 4.92 \| (out)(err)	S = OPTIMUM \| O = 1780863 T = 735.27 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780863 T = 37.07 \| (out)(err)	S = OPTIMUM \| O = 1780863 T = 33.99 \| (out)(err)
mancoosi-test-i20d0u98-9.wcnf	S = N/A \| O = N/A T = 33.18 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780788 T = 14.94 \| (out)(err)	S = OPTIMUM \| O = 1780788 T = 13.79 \| (out)(err)	S = OPTIMUM \| O = 1780788 T = 5.71 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780788 T = 27.10 \| (out)(err)	S = OPTIMUM \| O = 1780788 T = 25.57 \| (out)(err)
mancoosi-test-i30d0u98-0.wcnf	S = N/A \| O = N/A T = 24.63 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780816 T = 16.41 \| (out)(err)	S = OPTIMUM \| O = 1780816 T = 15.33 \| (out)(err)	S = OPTIMUM \| O = 1780816 T = 4.88 \| (out)(err)	S = OPTIMUM \| O = 1780816 T = 1325.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780816 T = 30.75 \| (out)(err)	S = OPTIMUM \| O = 1780816 T = 29.31 \| (out)(err)
mancoosi-test-i30d0u98-1.wcnf	S = N/A \| O = N/A T = 31.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780796 T = 13.46 \| (out)(err)	S = OPTIMUM \| O = 1780796 T = 16.43 \| (out)(err)	S = OPTIMUM \| O = 1780796 T = 4.89 \| (out)(err)	S = OPTIMUM \| O = 1780796 T = 1068.17 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780796 T = 28.60 \| (out)(err)	S = OPTIMUM \| O = 1780796 T = 28.41 \| (out)(err)
mancoosi-test-i30d0u98-10.wcnf	S = N/A \| O = N/A T = 30.53 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1799014 T = 14.18 \| (out)(err)	S = OPTIMUM \| O = 1799014 T = 19.79 \| (out)(err)	S = OPTIMUM \| O = 1799014 T = 4.71 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1799014 T = 34.57 \| (out)(err)	S = OPTIMUM \| O = 1799014 T = 34.25 \| (out)(err)
mancoosi-test-i30d0u98-11.wcnf	S = N/A \| O = N/A T = 25.13 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1889916 T = 13.12 \| (out)(err)	S = OPTIMUM \| O = 1889916 T = 23.74 \| (out)(err)	S = OPTIMUM \| O = 1889916 T = 4.71 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1889916 T = 42.80 \| (out)(err)	S = OPTIMUM \| O = 1889916 T = 45.36 \| (out)(err)
mancoosi-test-i30d0u98-12.wcnf	S = N/A \| O = N/A T = 24.64 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1799006 T = 16.48 \| (out)(err)	S = OPTIMUM \| O = 1799006 T = 16.59 \| (out)(err)	S = OPTIMUM \| O = 1799006 T = 5.24 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1799006 T = 33.12 \| (out)(err)	S = OPTIMUM \| O = 1799006 T = 31.62 \| (out)(err)
mancoosi-test-i30d0u98-13.wcnf	S = N/A \| O = N/A T = 24.57 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780839 T = 13.22 \| (out)(err)	S = OPTIMUM \| O = 1780839 T = 16.76 \| (out)(err)	S = OPTIMUM \| O = 1780839 T = 4.73 \| (out)(err)	S = OPTIMUM \| O = 1780839 T = 803.48 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780839 T = 33.56 \| (out)(err)	S = OPTIMUM \| O = 1780839 T = 35.60 \| (out)(err)
mancoosi-test-i30d0u98-14.wcnf	S = N/A \| O = N/A T = 24.75 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780817 T = 13.13 \| (out)(err)	S = OPTIMUM \| O = 1780817 T = 15.47 \| (out)(err)	S = OPTIMUM \| O = 1780817 T = 4.69 \| (out)(err)	S = OPTIMUM \| O = 1780817 T = 262.54 \| (out)(err)	S = OPTIMUM \| O = 1780817 T = 972.13 \| (out)(err)	S = OPTIMUM \| O = 1780817 T = 34.44 \| (out)(err)	S = OPTIMUM \| O = 1780817 T = 28.64 \| (out)(err)
mancoosi-test-i30d0u98-15.wcnf	S = N/A \| O = N/A T = 26.37 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780815 T = 14.67 \| (out)(err)	S = OPTIMUM \| O = 1780815 T = 19.00 \| (out)(err)	S = OPTIMUM \| O = 1780815 T = 5.06 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780815 T = 34.19 \| (out)(err)	S = OPTIMUM \| O = 1780815 T = 31.37 \| (out)(err)
mancoosi-test-i30d0u98-16.wcnf	S = N/A \| O = N/A T = 25.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780789 T = 14.59 \| (out)(err)	S = OPTIMUM \| O = 1780789 T = 13.67 \| (out)(err)	S = OPTIMUM \| O = 1780789 T = 4.72 \| (out)(err)	S = OPTIMUM \| O = 1780789 T = 999.26 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780789 T = 27.46 \| (out)(err)	S = OPTIMUM \| O = 1780789 T = 26.17 \| (out)(err)
mancoosi-test-i30d0u98-17.wcnf	S = N/A \| O = N/A T = 24.95 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780816 T = 13.23 \| (out)(err)	S = OPTIMUM \| O = 1780816 T = 15.38 \| (out)(err)	S = OPTIMUM \| O = 1780816 T = 4.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780816 T = 30.89 \| (out)(err)	S = OPTIMUM \| O = 1780816 T = 29.41 \| (out)(err)
mancoosi-test-i30d0u98-18.wcnf	S = N/A \| O = N/A T = 24.77 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1853452 T = 13.63 \| (out)(err)	S = OPTIMUM \| O = 1853452 T = 15.06 \| (out)(err)	S = OPTIMUM \| O = 1853452 T = 6.97 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1853452 T = 28.37 \| (out)(err)	S = OPTIMUM \| O = 1853452 T = 25.44 \| (out)(err)
mancoosi-test-i30d0u98-19.wcnf	S = N/A \| O = N/A T = 24.69 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780791 T = 13.83 \| (out)(err)	S = OPTIMUM \| O = 1780791 T = 16.05 \| (out)(err)	S = OPTIMUM \| O = 1780791 T = 4.67 \| (out)(err)	S = OPTIMUM \| O = 1780791 T = 608.56 \| (out)(err)	S = OPTIMUM \| O = 1780791 T = 1761.10 \| (out)(err)	S = OPTIMUM \| O = 1780791 T = 27.77 \| (out)(err)	S = OPTIMUM \| O = 1780791 T = 25.92 \| (out)(err)
mancoosi-test-i30d0u98-2.wcnf	S = N/A \| O = N/A T = 24.64 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780887 T = 17.44 \| (out)(err)	S = OPTIMUM \| O = 1780887 T = 19.73 \| (out)(err)	S = OPTIMUM \| O = 1780887 T = 4.72 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780887 T = 45.02 \| (out)(err)	S = OPTIMUM \| O = 1780887 T = 37.30 \| (out)(err)
mancoosi-test-i30d0u98-3.wcnf	S = N/A \| O = N/A T = 28.66 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780860 T = 22.06 \| (out)(err)	S = OPTIMUM \| O = 1780860 T = 20.93 \| (out)(err)	S = OPTIMUM \| O = 1780860 T = 5.80 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780860 T = 36.58 \| (out)(err)	S = OPTIMUM \| O = 1780860 T = 37.71 \| (out)(err)
mancoosi-test-i30d0u98-4.wcnf	S = N/A \| O = N/A T = 28.55 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780803 T = 13.70 \| (out)(err)	S = OPTIMUM \| O = 1780803 T = 14.53 \| (out)(err)	S = OPTIMUM \| O = 1780803 T = 4.89 \| (out)(err)	S = OPTIMUM \| O = 1780803 T = 619.78 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780803 T = 28.90 \| (out)(err)	S = OPTIMUM \| O = 1780803 T = 27.09 \| (out)(err)
mancoosi-test-i30d0u98-5.wcnf	S = N/A \| O = N/A T = 24.80 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780826 T = 14.21 \| (out)(err)	S = OPTIMUM \| O = 1780826 T = 18.52 \| (out)(err)	S = OPTIMUM \| O = 1780826 T = 6.22 \| (out)(err)	S = OPTIMUM \| O = 1780826 T = 632.12 \| (out)(err)	S = OPTIMUM \| O = 1780826 T = 1618.77 \| (out)(err)	S = OPTIMUM \| O = 1780826 T = 32.00 \| (out)(err)	S = OPTIMUM \| O = 1780826 T = 32.11 \| (out)(err)
mancoosi-test-i30d0u98-6.wcnf	S = N/A \| O = N/A T = 25.51 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 16807432 T = 16.84 \| (out)(err)	S = OPTIMUM \| O = 16807432 T = 20.42 \| (out)(err)	S = OPTIMUM \| O = 16807432 T = 7.73 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 16807432 T = 34.74 \| (out)(err)	S = OPTIMUM \| O = 16807432 T = 35.43 \| (out)(err)
mancoosi-test-i30d0u98-7.wcnf	S = N/A \| O = N/A T = 24.96 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780804 T = 13.04 \| (out)(err)	S = OPTIMUM \| O = 1780804 T = 16.91 \| (out)(err)	S = OPTIMUM \| O = 1780804 T = 4.66 \| (out)(err)	S = OPTIMUM \| O = 1780804 T = 877.68 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780804 T = 29.02 \| (out)(err)	S = OPTIMUM \| O = 1780804 T = 28.71 \| (out)(err)
mancoosi-test-i30d0u98-8.wcnf	S = N/A \| O = N/A T = 25.35 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780831 T = 15.41 \| (out)(err)	S = OPTIMUM \| O = 1780831 T = 16.33 \| (out)(err)	S = OPTIMUM \| O = 1780831 T = 5.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780831 T = 32.53 \| (out)(err)	S = OPTIMUM \| O = 1780831 T = 32.20 \| (out)(err)
mancoosi-test-i30d0u98-9.wcnf	S = N/A \| O = N/A T = 32.22 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780790 T = 24.38 \| (out)(err)	S = OPTIMUM \| O = 1780790 T = 15.99 \| (out)(err)	S = OPTIMUM \| O = 1780790 T = 6.31 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780790 T = 27.55 \| (out)(err)	S = OPTIMUM \| O = 1780790 T = 27.05 \| (out)(err)
mancoosi-test-i40d0u98-0.wcnf	S = N/A \| O = N/A T = 24.62 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780836 T = 13.31 \| (out)(err)	S = OPTIMUM \| O = 1780836 T = 16.54 \| (out)(err)	S = OPTIMUM \| O = 1780836 T = 4.95 \| (out)(err)	S = OPTIMUM \| O = 1780836 T = 859.38 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780836 T = 37.60 \| (out)(err)	S = OPTIMUM \| O = 1780836 T = 35.62 \| (out)(err)
mancoosi-test-i40d0u98-1.wcnf	S = N/A \| O = N/A T = 27.67 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780913 T = 19.07 \| (out)(err)	S = OPTIMUM \| O = 1780913 T = 21.36 \| (out)(err)	S = OPTIMUM \| O = 1780913 T = 5.44 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780913 T = 45.54 \| (out)(err)	S = OPTIMUM \| O = 1780913 T = 46.28 \| (out)(err)
mancoosi-test-i40d0u98-10.wcnf	S = N/A \| O = N/A T = 24.96 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780825 T = 16.70 \| (out)(err)	S = OPTIMUM \| O = 1780825 T = 15.72 \| (out)(err)	S = OPTIMUM \| O = 1780825 T = 4.75 \| (out)(err)	S = OPTIMUM \| O = 1780825 T = 1366.76 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780825 T = 32.28 \| (out)(err)	S = OPTIMUM \| O = 1780825 T = 29.95 \| (out)(err)
mancoosi-test-i40d0u98-11.wcnf	S = N/A \| O = N/A T = 25.25 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780818 T = 12.44 \| (out)(err)	S = OPTIMUM \| O = 1780818 T = 15.52 \| (out)(err)	S = OPTIMUM \| O = 1780818 T = 4.83 \| (out)(err)	S = OPTIMUM \| O = 1780818 T = 684.07 \| (out)(err)	S = OPTIMUM \| O = 1780818 T = 1249.53 \| (out)(err)	S = OPTIMUM \| O = 1780818 T = 30.80 \| (out)(err)	S = OPTIMUM \| O = 1780818 T = 28.91 \| (out)(err)
mancoosi-test-i40d0u98-12.wcnf	S = N/A \| O = N/A T = 27.91 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780841 T = 27.86 \| (out)(err)	S = OPTIMUM \| O = 1780841 T = 17.01 \| (out)(err)	S = OPTIMUM \| O = 1780841 T = 6.69 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780841 T = 33.77 \| (out)(err)	S = OPTIMUM \| O = 1780841 T = 33.11 \| (out)(err)
mancoosi-test-i40d0u98-13.wcnf	S = N/A \| O = N/A T = 24.63 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780936 T = 21.47 \| (out)(err)	S = OPTIMUM \| O = 1780936 T = 26.22 \| (out)(err)	S = OPTIMUM \| O = 1780936 T = 5.62 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780936 T = 47.44 \| (out)(err)	S = OPTIMUM \| O = 1780936 T = 44.09 \| (out)(err)
mancoosi-test-i40d0u98-14.wcnf	S = N/A \| O = N/A T = 24.71 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780838 T = 15.61 \| (out)(err)	S = OPTIMUM \| O = 1780838 T = 16.83 \| (out)(err)	S = OPTIMUM \| O = 1780838 T = 4.89 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780838 T = 33.57 \| (out)(err)	S = OPTIMUM \| O = 1780838 T = 32.54 \| (out)(err)
mancoosi-test-i40d0u98-15.wcnf	S = N/A \| O = N/A T = 24.75 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780857 T = 18.72 \| (out)(err)	S = OPTIMUM \| O = 1780857 T = 18.57 \| (out)(err)	S = OPTIMUM \| O = 1780857 T = 5.59 \| (out)(err)	S = OPTIMUM \| O = 1780857 T = 1483.28 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780857 T = 36.33 \| (out)(err)	S = OPTIMUM \| O = 1780857 T = 34.48 \| (out)(err)
mancoosi-test-i40d0u98-16.wcnf	S = N/A \| O = N/A T = 24.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780818 T = 16.20 \| (out)(err)	S = OPTIMUM \| O = 1780818 T = 15.56 \| (out)(err)	S = OPTIMUM \| O = 1780818 T = 4.99 \| (out)(err)	S = OPTIMUM \| O = 1780818 T = 866.59 \| (out)(err)	S = OPTIMUM \| O = 1780818 T = 830.31 \| (out)(err)	S = OPTIMUM \| O = 1780818 T = 30.83 \| (out)(err)	S = OPTIMUM \| O = 1780818 T = 28.26 \| (out)(err)
mancoosi-test-i40d0u98-17.wcnf	S = N/A \| O = N/A T = 30.17 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780852 T = 16.41 \| (out)(err)	S = OPTIMUM \| O = 1780852 T = 20.16 \| (out)(err)	S = OPTIMUM \| O = 1780852 T = 4.99 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780852 T = 39.24 \| (out)(err)	S = OPTIMUM \| O = 1780852 T = 37.95 \| (out)(err)
mancoosi-test-i40d0u98-18.wcnf	S = N/A \| O = N/A T = 24.83 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780820 T = 18.04 \| (out)(err)	S = OPTIMUM \| O = 1780820 T = 15.67 \| (out)(err)	S = OPTIMUM \| O = 1780820 T = 4.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780820 T = 31.87 \| (out)(err)	S = OPTIMUM \| O = 1780820 T = 33.76 \| (out)(err)
mancoosi-test-i40d0u98-19.wcnf	S = N/A \| O = N/A T = 30.18 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780826 T = 16.22 \| (out)(err)	S = OPTIMUM \| O = 1780826 T = 18.49 \| (out)(err)	S = OPTIMUM \| O = 1780826 T = 4.79 \| (out)(err)	S = OPTIMUM \| O = 1780826 T = 1213.12 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780826 T = 32.02 \| (out)(err)	S = OPTIMUM \| O = 1780826 T = 31.53 \| (out)(err)
mancoosi-test-i40d0u98-2.wcnf	S = N/A \| O = N/A T = 25.34 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1798980 T = 18.07 \| (out)(err)	S = OPTIMUM \| O = 1798980 T = 15.13 \| (out)(err)	S = OPTIMUM \| O = 1798980 T = 4.73 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1798980 T = 33.78 \| (out)(err)	S = OPTIMUM \| O = 1798980 T = 27.35 \| (out)(err)
mancoosi-test-i40d0u98-3.wcnf	S = N/A \| O = N/A T = 25.09 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780827 T = 20.30 \| (out)(err)	S = OPTIMUM \| O = 1780827 T = 18.72 \| (out)(err)	S = OPTIMUM \| O = 1780827 T = 5.63 \| (out)(err)	S = OPTIMUM \| O = 1780827 T = 1393.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780827 T = 32.12 \| (out)(err)	S = OPTIMUM \| O = 1780827 T = 31.20 \| (out)(err)
mancoosi-test-i40d0u98-4.wcnf	S = N/A \| O = N/A T = 30.60 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 16807702 T = 29.66 \| (out)(err)	S = OPTIMUM \| O = 16807702 T = 34.07 \| (out)(err)	S = OPTIMUM \| O = 16807702 T = 7.80 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 16807702 T = 79.03 \| (out)(err)	S = OPTIMUM \| O = 16807702 T = 65.42 \| (out)(err)
mancoosi-test-i40d0u98-5.wcnf	S = N/A \| O = N/A T = 26.25 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780817 T = 18.05 \| (out)(err)	S = OPTIMUM \| O = 1780817 T = 15.47 \| (out)(err)	S = OPTIMUM \| O = 1780817 T = 4.95 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780817 T = 31.23 \| (out)(err)	S = OPTIMUM \| O = 1780817 T = 30.93 \| (out)(err)
mancoosi-test-i40d0u98-6.wcnf	S = N/A \| O = N/A T = 24.79 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780803 T = 15.20 \| (out)(err)	S = OPTIMUM \| O = 1780803 T = 14.50 \| (out)(err)	S = OPTIMUM \| O = 1780803 T = 4.81 \| (out)(err)	S = OPTIMUM \| O = 1780803 T = 1012.26 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780803 T = 28.79 \| (out)(err)	S = OPTIMUM \| O = 1780803 T = 31.28 \| (out)(err)
mancoosi-test-i40d0u98-7.wcnf	S = N/A \| O = N/A T = 29.57 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780807 T = 15.84 \| (out)(err)	S = OPTIMUM \| O = 1780807 T = 17.18 \| (out)(err)	S = OPTIMUM \| O = 1780807 T = 4.59 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780807 T = 1407.28 \| (out)(err)	S = OPTIMUM \| O = 1780807 T = 29.27 \| (out)(err)	S = OPTIMUM \| O = 1780807 T = 32.35 \| (out)(err)
mancoosi-test-i40d0u98-8.wcnf	S = N/A \| O = N/A T = 28.90 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1799020 T = 15.64 \| (out)(err)	S = OPTIMUM \| O = 1799020 T = 20.34 \| (out)(err)	S = OPTIMUM \| O = 1799020 T = 5.04 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1799020 T = 39.79 \| (out)(err)	S = OPTIMUM \| O = 1799020 T = 34.69 \| (out)(err)
mancoosi-test-i40d0u98-9.wcnf	S = N/A \| O = N/A T = 33.06 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780877 T = 18.46 \| (out)(err)	S = OPTIMUM \| O = 1780877 T = 19.70 \| (out)(err)	S = OPTIMUM \| O = 1780877 T = 6.62 \| (out)(err)	S = OPTIMUM \| O = 1780877 T = 1133.32 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780877 T = 38.84 \| (out)(err)	S = OPTIMUM \| O = 1780877 T = 35.93 \| (out)(err)

Instance file name	Clone	IUT_BCMB_WMaxsatz	IncWMaxsatz	MSUnCore	SAT4J-Maxsat	WMaxSatz-1.6	WMaxSatz-2.5	wbo	wpm1
mancoosi-test-i10d0u98-0.wcnf	S = N/A \| O = N/A T = 25.07 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780760 T = 11.88 \| (out)(err)	S = OPTIMUM \| O = 1780760 T = 12.02 \| (out)(err)	S = OPTIMUM \| O = 1780760 T = 4.79 \| (out)(err)	S = OPTIMUM \| O = 1780760 T = 724.82 \| (out)(err)	S = OPTIMUM \| O = 1780760 T = 1476.38 \| (out)(err)	S = OPTIMUM \| O = 1780760 T = 23.35 \| (out)(err)	S = OPTIMUM \| O = 1780760 T = 22.68 \| (out)(err)
mancoosi-test-i10d0u98-1.wcnf	S = N/A \| O = N/A T = 25.48 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780764 T = 11.67 \| (out)(err)	S = OPTIMUM \| O = 1780764 T = 12.22 \| (out)(err)	S = OPTIMUM \| O = 1780764 T = 4.74 \| (out)(err)	S = OPTIMUM \| O = 1780764 T = 472.18 \| (out)(err)	S = OPTIMUM \| O = 1780764 T = 1119.96 \| (out)(err)	S = OPTIMUM \| O = 1780764 T = 23.84 \| (out)(err)	S = OPTIMUM \| O = 1780764 T = 24.89 \| (out)(err)
mancoosi-test-i10d0u98-10.wcnf	S = N/A \| O = N/A T = 24.60 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780778 T = 13.39 \| (out)(err)	S = OPTIMUM \| O = 1780778 T = 13.09 \| (out)(err)	S = OPTIMUM \| O = 1780778 T = 4.67 \| (out)(err)	S = OPTIMUM \| O = 1780778 T = 765.36 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780778 T = 25.62 \| (out)(err)	S = OPTIMUM \| O = 1780778 T = 24.16 \| (out)(err)
mancoosi-test-i10d0u98-11.wcnf	S = N/A \| O = N/A T = 27.82 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780771 T = 11.87 \| (out)(err)	S = OPTIMUM \| O = 1780771 T = 12.65 \| (out)(err)	S = OPTIMUM \| O = 1780771 T = 4.94 \| (out)(err)	S = OPTIMUM \| O = 1780771 T = 907.37 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780771 T = 24.87 \| (out)(err)	S = OPTIMUM \| O = 1780771 T = 23.72 \| (out)(err)
mancoosi-test-i10d0u98-12.wcnf	S = N/A \| O = N/A T = 32.45 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780773 T = 12.40 \| (out)(err)	S = OPTIMUM \| O = 1780773 T = 12.76 \| (out)(err)	S = OPTIMUM \| O = 1780773 T = 4.65 \| (out)(err)	S = OPTIMUM \| O = 1780773 T = 767.80 \| (out)(err)	S = OPTIMUM \| O = 1780773 T = 1759.43 \| (out)(err)	S = OPTIMUM \| O = 1780773 T = 25.11 \| (out)(err)	S = OPTIMUM \| O = 1780773 T = 24.39 \| (out)(err)
mancoosi-test-i10d0u98-13.wcnf	S = N/A \| O = N/A T = 25.60 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780764 T = 12.26 \| (out)(err)	S = OPTIMUM \| O = 1780764 T = 14.16 \| (out)(err)	S = OPTIMUM \| O = 1780764 T = 4.80 \| (out)(err)	S = OPTIMUM \| O = 1780764 T = 740.95 \| (out)(err)	S = OPTIMUM \| O = 1780764 T = 1505.25 \| (out)(err)	S = OPTIMUM \| O = 1780764 T = 23.89 \| (out)(err)	S = OPTIMUM \| O = 1780764 T = 24.87 \| (out)(err)
mancoosi-test-i10d0u98-14.wcnf	S = N/A \| O = N/A T = 25.18 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780785 T = 14.95 \| (out)(err)	S = OPTIMUM \| O = 1780785 T = 15.37 \| (out)(err)	S = OPTIMUM \| O = 1780785 T = 4.72 \| (out)(err)	S = OPTIMUM \| O = 1780785 T = 800.82 \| (out)(err)	S = OPTIMUM \| O = 1780785 T = 1672.40 \| (out)(err)	S = OPTIMUM \| O = 1780785 T = 26.55 \| (out)(err)	S = OPTIMUM \| O = 1780785 T = 25.03 \| (out)(err)
mancoosi-test-i10d0u98-15.wcnf	S = N/A \| O = N/A T = 24.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780769 T = 14.31 \| (out)(err)	S = OPTIMUM \| O = 1780769 T = 12.62 \| (out)(err)	S = OPTIMUM \| O = 1780769 T = 4.82 \| (out)(err)	S = OPTIMUM \| O = 1780769 T = 1596.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780769 T = 24.45 \| (out)(err)	S = OPTIMUM \| O = 1780769 T = 23.91 \| (out)(err)
mancoosi-test-i10d0u98-16.wcnf	S = N/A \| O = N/A T = 29.22 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780806 T = 14.21 \| (out)(err)	S = OPTIMUM \| O = 1780806 T = 14.76 \| (out)(err)	S = OPTIMUM \| O = 1780806 T = 4.69 \| (out)(err)	S = OPTIMUM \| O = 1780806 T = 1072.92 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780806 T = 29.40 \| (out)(err)	S = OPTIMUM \| O = 1780806 T = 28.19 \| (out)(err)
mancoosi-test-i10d0u98-17.wcnf	S = N/A \| O = N/A T = 24.69 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780766 T = 12.99 \| (out)(err)	S = OPTIMUM \| O = 1780766 T = 12.36 \| (out)(err)	S = OPTIMUM \| O = 1780766 T = 4.75 \| (out)(err)	S = OPTIMUM \| O = 1780766 T = 590.09 \| (out)(err)	S = OPTIMUM \| O = 1780766 T = 1312.26 \| (out)(err)	S = OPTIMUM \| O = 1780766 T = 24.14 \| (out)(err)	S = OPTIMUM \| O = 1780766 T = 25.50 \| (out)(err)
mancoosi-test-i10d0u98-18.wcnf	S = N/A \| O = N/A T = 24.71 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780773 T = 12.28 \| (out)(err)	S = OPTIMUM \| O = 1780773 T = 12.78 \| (out)(err)	S = OPTIMUM \| O = 1780773 T = 4.75 \| (out)(err)	S = OPTIMUM \| O = 1780773 T = 747.47 \| (out)(err)	S = OPTIMUM \| O = 1780773 T = 1744.34 \| (out)(err)	S = OPTIMUM \| O = 1780773 T = 25.03 \| (out)(err)	S = OPTIMUM \| O = 1780773 T = 26.37 \| (out)(err)
mancoosi-test-i10d0u98-19.wcnf	S = N/A \| O = N/A T = 28.49 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780778 T = 14.02 \| (out)(err)	S = OPTIMUM \| O = 1780778 T = 13.11 \| (out)(err)	S = OPTIMUM \| O = 1780778 T = 4.71 \| (out)(err)	S = OPTIMUM \| O = 1780778 T = 700.82 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780778 T = 28.56 \| (out)(err)	S = OPTIMUM \| O = 1780778 T = 24.71 \| (out)(err)
mancoosi-test-i10d0u98-2.wcnf	S = N/A \| O = N/A T = 32.26 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780767 T = 12.96 \| (out)(err)	S = OPTIMUM \| O = 1780767 T = 12.39 \| (out)(err)	S = OPTIMUM \| O = 1780767 T = 5.16 \| (out)(err)	S = OPTIMUM \| O = 1780767 T = 670.45 \| (out)(err)	S = OPTIMUM \| O = 1780767 T = 1536.70 \| (out)(err)	S = OPTIMUM \| O = 1780767 T = 23.91 \| (out)(err)	S = OPTIMUM \| O = 1780767 T = 22.85 \| (out)(err)
mancoosi-test-i10d0u98-3.wcnf	S = N/A \| O = N/A T = 29.38 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780774 T = 12.30 \| (out)(err)	S = OPTIMUM \| O = 1780774 T = 15.24 \| (out)(err)	S = OPTIMUM \| O = 1780774 T = 4.67 \| (out)(err)	S = OPTIMUM \| O = 1780774 T = 602.21 \| (out)(err)	S = OPTIMUM \| O = 1780774 T = 1395.76 \| (out)(err)	S = OPTIMUM \| O = 1780774 T = 25.12 \| (out)(err)	S = OPTIMUM \| O = 1780774 T = 24.45 \| (out)(err)
mancoosi-test-i10d0u98-4.wcnf	S = N/A \| O = N/A T = 24.60 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780800 T = 13.19 \| (out)(err)	S = OPTIMUM \| O = 1780800 T = 14.56 \| (out)(err)	S = OPTIMUM \| O = 1780800 T = 4.80 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780800 T = 28.44 \| (out)(err)	S = OPTIMUM \| O = 1780800 T = 26.93 \| (out)(err)
mancoosi-test-i10d0u98-5.wcnf	S = N/A \| O = N/A T = 25.04 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780762 T = 11.68 \| (out)(err)	S = OPTIMUM \| O = 1780762 T = 12.13 \| (out)(err)	S = OPTIMUM \| O = 1780762 T = 4.72 \| (out)(err)	S = OPTIMUM \| O = 1780762 T = 711.44 \| (out)(err)	S = OPTIMUM \| O = 1780762 T = 1774.51 \| (out)(err)	S = OPTIMUM \| O = 1780762 T = 23.57 \| (out)(err)	S = OPTIMUM \| O = 1780762 T = 22.81 \| (out)(err)
mancoosi-test-i10d0u98-6.wcnf	S = N/A \| O = N/A T = 30.18 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780856 T = 11.68 \| (out)(err)	S = OPTIMUM \| O = 1780856 T = 20.36 \| (out)(err)	S = OPTIMUM \| O = 1780856 T = 4.72 \| (out)(err)	S = OPTIMUM \| O = 1780856 T = 522.40 \| (out)(err)	S = OPTIMUM \| O = 1780856 T = 1311.29 \| (out)(err)	S = OPTIMUM \| O = 1780856 T = 37.02 \| (out)(err)	S = OPTIMUM \| O = 1780856 T = 33.70 \| (out)(err)
mancoosi-test-i10d0u98-7.wcnf	S = N/A \| O = N/A T = 26.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780788 T = 13.98 \| (out)(err)	S = OPTIMUM \| O = 1780788 T = 13.75 \| (out)(err)	S = OPTIMUM \| O = 1780788 T = 4.84 \| (out)(err)	S = OPTIMUM \| O = 1780788 T = 893.77 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780788 T = 29.80 \| (out)(err)	S = OPTIMUM \| O = 1780788 T = 25.58 \| (out)(err)
mancoosi-test-i10d0u98-8.wcnf	S = N/A \| O = N/A T = 24.96 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780768 T = 12.97 \| (out)(err)	S = OPTIMUM \| O = 1780768 T = 12.44 \| (out)(err)	S = OPTIMUM \| O = 1780768 T = 4.73 \| (out)(err)	S = OPTIMUM \| O = 1780768 T = 1631.68 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780768 T = 24.73 \| (out)(err)	S = OPTIMUM \| O = 1780768 T = 25.43 \| (out)(err)
mancoosi-test-i10d0u98-9.wcnf	S = N/A \| O = N/A T = 24.70 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780767 T = 12.73 \| (out)(err)	S = OPTIMUM \| O = 1780767 T = 12.44 \| (out)(err)	S = OPTIMUM \| O = 1780767 T = 4.86 \| (out)(err)	S = OPTIMUM \| O = 1780767 T = 749.10 \| (out)(err)	S = OPTIMUM \| O = 1780767 T = 1781.35 \| (out)(err)	S = OPTIMUM \| O = 1780767 T = 24.22 \| (out)(err)	S = OPTIMUM \| O = 1780767 T = 23.25 \| (out)(err)
mancoosi-test-i20d0u98-0.wcnf	S = N/A \| O = N/A T = 28.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780797 T = 15.66 \| (out)(err)	S = OPTIMUM \| O = 1780797 T = 14.59 \| (out)(err)	S = OPTIMUM \| O = 1780797 T = 4.68 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780797 T = 31.61 \| (out)(err)	S = OPTIMUM \| O = 1780797 T = 30.04 \| (out)(err)
mancoosi-test-i20d0u98-1.wcnf	S = N/A \| O = N/A T = 24.88 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780841 T = 15.34 \| (out)(err)	S = OPTIMUM \| O = 1780841 T = 17.00 \| (out)(err)	S = OPTIMUM \| O = 1780841 T = 6.21 \| (out)(err)	S = OPTIMUM \| O = 1780841 T = 900.88 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780841 T = 38.07 \| (out)(err)	S = OPTIMUM \| O = 1780841 T = 32.70 \| (out)(err)
mancoosi-test-i20d0u98-10.wcnf	S = N/A \| O = N/A T = 26.21 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780785 T = 13.15 \| (out)(err)	S = OPTIMUM \| O = 1780785 T = 13.45 \| (out)(err)	S = OPTIMUM \| O = 1780785 T = 4.66 \| (out)(err)	S = OPTIMUM \| O = 1780785 T = 552.78 \| (out)(err)	S = OPTIMUM \| O = 1780785 T = 1451.65 \| (out)(err)	S = OPTIMUM \| O = 1780785 T = 26.90 \| (out)(err)	S = OPTIMUM \| O = 1780785 T = 25.40 \| (out)(err)
mancoosi-test-i20d0u98-11.wcnf	S = N/A \| O = N/A T = 25.03 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 16880074 T = 11.84 \| (out)(err)	S = OPTIMUM \| O = 16880074 T = 15.02 \| (out)(err)	S = OPTIMUM \| O = 16880074 T = 5.42 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 16880074 T = 30.22 \| (out)(err)	S = OPTIMUM \| O = 16880074 T = 29.94 \| (out)(err)
mancoosi-test-i20d0u98-12.wcnf	S = N/A \| O = N/A T = 24.66 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780798 T = 13.43 \| (out)(err)	S = OPTIMUM \| O = 1780798 T = 17.18 \| (out)(err)	S = OPTIMUM \| O = 1780798 T = 4.73 \| (out)(err)	S = OPTIMUM \| O = 1780798 T = 584.27 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780798 T = 29.23 \| (out)(err)	S = OPTIMUM \| O = 1780798 T = 29.47 \| (out)(err)
mancoosi-test-i20d0u98-13.wcnf	S = N/A \| O = N/A T = 25.04 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780791 T = 13.46 \| (out)(err)	S = OPTIMUM \| O = 1780791 T = 13.91 \| (out)(err)	S = OPTIMUM \| O = 1780791 T = 4.68 \| (out)(err)	S = OPTIMUM \| O = 1780791 T = 580.23 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780791 T = 27.23 \| (out)(err)	S = OPTIMUM \| O = 1780791 T = 26.91 \| (out)(err)
mancoosi-test-i20d0u98-14.wcnf	S = N/A \| O = N/A T = 24.76 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780788 T = 14.02 \| (out)(err)	S = OPTIMUM \| O = 1780788 T = 13.70 \| (out)(err)	S = OPTIMUM \| O = 1780788 T = 4.83 \| (out)(err)	S = OPTIMUM \| O = 1780788 T = 1311.03 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780788 T = 26.93 \| (out)(err)	S = OPTIMUM \| O = 1780788 T = 28.00 \| (out)(err)
mancoosi-test-i20d0u98-15.wcnf	S = N/A \| O = N/A T = 24.88 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 16807359 T = 14.16 \| (out)(err)	S = OPTIMUM \| O = 16807359 T = 12.72 \| (out)(err)	S = OPTIMUM \| O = 16807359 T = 5.36 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 16807359 T = 25.12 \| (out)(err)	S = OPTIMUM \| O = 16807359 T = 26.53 \| (out)(err)
mancoosi-test-i20d0u98-16.wcnf	S = N/A \| O = N/A T = 24.76 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780789 T = 13.26 \| (out)(err)	S = OPTIMUM \| O = 1780789 T = 13.71 \| (out)(err)	S = OPTIMUM \| O = 1780789 T = 4.72 \| (out)(err)	S = OPTIMUM \| O = 1780789 T = 810.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780789 T = 30.05 \| (out)(err)	S = OPTIMUM \| O = 1780789 T = 29.17 \| (out)(err)
mancoosi-test-i20d0u98-17.wcnf	S = N/A \| O = N/A T = 24.79 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780828 T = 16.74 \| (out)(err)	S = OPTIMUM \| O = 1780828 T = 18.46 \| (out)(err)	S = OPTIMUM \| O = 1780828 T = 4.66 \| (out)(err)	S = OPTIMUM \| O = 1780828 T = 1607.06 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780828 T = 36.25 \| (out)(err)	S = OPTIMUM \| O = 1780828 T = 34.42 \| (out)(err)
mancoosi-test-i20d0u98-18.wcnf	S = N/A \| O = N/A T = 29.68 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1799016 T = 16.08 \| (out)(err)	S = OPTIMUM \| O = 1799016 T = 19.82 \| (out)(err)	S = OPTIMUM \| O = 1799016 T = 4.74 \| (out)(err)	S = OPTIMUM \| O = 1799016 T = 1419.33 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1799016 T = 38.96 \| (out)(err)	S = OPTIMUM \| O = 1799016 T = 36.00 \| (out)(err)
mancoosi-test-i20d0u98-19.wcnf	S = N/A \| O = N/A T = 24.94 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780793 T = 14.59 \| (out)(err)	S = OPTIMUM \| O = 1780793 T = 14.54 \| (out)(err)	S = OPTIMUM \| O = 1780793 T = 4.73 \| (out)(err)	S = OPTIMUM \| O = 1780793 T = 1528.80 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780793 T = 28.69 \| (out)(err)	S = OPTIMUM \| O = 1780793 T = 26.18 \| (out)(err)
mancoosi-test-i20d0u98-2.wcnf	S = N/A \| O = N/A T = 28.86 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780785 T = 17.07 \| (out)(err)	S = OPTIMUM \| O = 1780785 T = 13.43 \| (out)(err)	S = OPTIMUM \| O = 1780785 T = 4.66 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780785 T = 29.49 \| (out)(err)	S = OPTIMUM \| O = 1780785 T = 27.60 \| (out)(err)
mancoosi-test-i20d0u98-3.wcnf	S = N/A \| O = N/A T = 26.12 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780849 T = 15.01 \| (out)(err)	S = OPTIMUM \| O = 1780849 T = 21.25 \| (out)(err)	S = OPTIMUM \| O = 1780849 T = 6.98 \| (out)(err)	S = OPTIMUM \| O = 1780849 T = 774.48 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780849 T = 35.21 \| (out)(err)	S = OPTIMUM \| O = 1780849 T = 35.11 \| (out)(err)
mancoosi-test-i20d0u98-4.wcnf	S = N/A \| O = N/A T = 30.16 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780796 T = 14.66 \| (out)(err)	S = OPTIMUM \| O = 1780796 T = 14.24 \| (out)(err)	S = OPTIMUM \| O = 1780796 T = 4.75 \| (out)(err)	S = OPTIMUM \| O = 1780796 T = 578.60 \| (out)(err)	S = OPTIMUM \| O = 1780796 T = 1508.65 \| (out)(err)	S = OPTIMUM \| O = 1780796 T = 27.92 \| (out)(err)	S = OPTIMUM \| O = 1780796 T = 26.58 \| (out)(err)
mancoosi-test-i20d0u98-5.wcnf	S = N/A \| O = N/A T = 25.51 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780834 T = 15.78 \| (out)(err)	S = OPTIMUM \| O = 1780834 T = 16.63 \| (out)(err)	S = OPTIMUM \| O = 1780834 T = 4.77 \| (out)(err)	S = OPTIMUM \| O = 1780834 T = 1108.86 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780834 T = 32.93 \| (out)(err)	S = OPTIMUM \| O = 1780834 T = 35.22 \| (out)(err)
mancoosi-test-i20d0u98-6.wcnf	S = N/A \| O = N/A T = 25.12 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780796 T = 15.57 \| (out)(err)	S = OPTIMUM \| O = 1780796 T = 14.07 \| (out)(err)	S = OPTIMUM \| O = 1780796 T = 6.33 \| (out)(err)	S = OPTIMUM \| O = 1780796 T = 871.46 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780796 T = 27.96 \| (out)(err)	S = OPTIMUM \| O = 1780796 T = 28.01 \| (out)(err)
mancoosi-test-i20d0u98-7.wcnf	S = N/A \| O = N/A T = 24.90 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780780 T = 14.08 \| (out)(err)	S = OPTIMUM \| O = 1780780 T = 15.47 \| (out)(err)	S = OPTIMUM \| O = 1780780 T = 4.68 \| (out)(err)	S = OPTIMUM \| O = 1780780 T = 794.88 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780780 T = 26.19 \| (out)(err)	S = OPTIMUM \| O = 1780780 T = 24.66 \| (out)(err)
mancoosi-test-i20d0u98-8.wcnf	S = N/A \| O = N/A T = 31.13 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780863 T = 13.45 \| (out)(err)	S = OPTIMUM \| O = 1780863 T = 18.30 \| (out)(err)	S = OPTIMUM \| O = 1780863 T = 4.92 \| (out)(err)	S = OPTIMUM \| O = 1780863 T = 735.27 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780863 T = 37.07 \| (out)(err)	S = OPTIMUM \| O = 1780863 T = 33.99 \| (out)(err)
mancoosi-test-i20d0u98-9.wcnf	S = N/A \| O = N/A T = 33.18 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780788 T = 14.94 \| (out)(err)	S = OPTIMUM \| O = 1780788 T = 13.79 \| (out)(err)	S = OPTIMUM \| O = 1780788 T = 5.71 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780788 T = 27.10 \| (out)(err)	S = OPTIMUM \| O = 1780788 T = 25.57 \| (out)(err)
mancoosi-test-i30d0u98-0.wcnf	S = N/A \| O = N/A T = 24.63 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780816 T = 16.41 \| (out)(err)	S = OPTIMUM \| O = 1780816 T = 15.33 \| (out)(err)	S = OPTIMUM \| O = 1780816 T = 4.88 \| (out)(err)	S = OPTIMUM \| O = 1780816 T = 1325.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780816 T = 30.75 \| (out)(err)	S = OPTIMUM \| O = 1780816 T = 29.31 \| (out)(err)
mancoosi-test-i30d0u98-1.wcnf	S = N/A \| O = N/A T = 31.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780796 T = 13.46 \| (out)(err)	S = OPTIMUM \| O = 1780796 T = 16.43 \| (out)(err)	S = OPTIMUM \| O = 1780796 T = 4.89 \| (out)(err)	S = OPTIMUM \| O = 1780796 T = 1068.17 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780796 T = 28.60 \| (out)(err)	S = OPTIMUM \| O = 1780796 T = 28.41 \| (out)(err)
mancoosi-test-i30d0u98-10.wcnf	S = N/A \| O = N/A T = 30.53 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1799014 T = 14.18 \| (out)(err)	S = OPTIMUM \| O = 1799014 T = 19.79 \| (out)(err)	S = OPTIMUM \| O = 1799014 T = 4.71 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1799014 T = 34.57 \| (out)(err)	S = OPTIMUM \| O = 1799014 T = 34.25 \| (out)(err)
mancoosi-test-i30d0u98-11.wcnf	S = N/A \| O = N/A T = 25.13 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1889916 T = 13.12 \| (out)(err)	S = OPTIMUM \| O = 1889916 T = 23.74 \| (out)(err)	S = OPTIMUM \| O = 1889916 T = 4.71 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1889916 T = 42.80 \| (out)(err)	S = OPTIMUM \| O = 1889916 T = 45.36 \| (out)(err)
mancoosi-test-i30d0u98-12.wcnf	S = N/A \| O = N/A T = 24.64 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1799006 T = 16.48 \| (out)(err)	S = OPTIMUM \| O = 1799006 T = 16.59 \| (out)(err)	S = OPTIMUM \| O = 1799006 T = 5.24 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1799006 T = 33.12 \| (out)(err)	S = OPTIMUM \| O = 1799006 T = 31.62 \| (out)(err)
mancoosi-test-i30d0u98-13.wcnf	S = N/A \| O = N/A T = 24.57 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780839 T = 13.22 \| (out)(err)	S = OPTIMUM \| O = 1780839 T = 16.76 \| (out)(err)	S = OPTIMUM \| O = 1780839 T = 4.73 \| (out)(err)	S = OPTIMUM \| O = 1780839 T = 803.48 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780839 T = 33.56 \| (out)(err)	S = OPTIMUM \| O = 1780839 T = 35.60 \| (out)(err)
mancoosi-test-i30d0u98-14.wcnf	S = N/A \| O = N/A T = 24.75 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780817 T = 13.13 \| (out)(err)	S = OPTIMUM \| O = 1780817 T = 15.47 \| (out)(err)	S = OPTIMUM \| O = 1780817 T = 4.69 \| (out)(err)	S = OPTIMUM \| O = 1780817 T = 262.54 \| (out)(err)	S = OPTIMUM \| O = 1780817 T = 972.13 \| (out)(err)	S = OPTIMUM \| O = 1780817 T = 34.44 \| (out)(err)	S = OPTIMUM \| O = 1780817 T = 28.64 \| (out)(err)
mancoosi-test-i30d0u98-15.wcnf	S = N/A \| O = N/A T = 26.37 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780815 T = 14.67 \| (out)(err)	S = OPTIMUM \| O = 1780815 T = 19.00 \| (out)(err)	S = OPTIMUM \| O = 1780815 T = 5.06 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780815 T = 34.19 \| (out)(err)	S = OPTIMUM \| O = 1780815 T = 31.37 \| (out)(err)
mancoosi-test-i30d0u98-16.wcnf	S = N/A \| O = N/A T = 25.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780789 T = 14.59 \| (out)(err)	S = OPTIMUM \| O = 1780789 T = 13.67 \| (out)(err)	S = OPTIMUM \| O = 1780789 T = 4.72 \| (out)(err)	S = OPTIMUM \| O = 1780789 T = 999.26 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780789 T = 27.46 \| (out)(err)	S = OPTIMUM \| O = 1780789 T = 26.17 \| (out)(err)
mancoosi-test-i30d0u98-17.wcnf	S = N/A \| O = N/A T = 24.95 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780816 T = 13.23 \| (out)(err)	S = OPTIMUM \| O = 1780816 T = 15.38 \| (out)(err)	S = OPTIMUM \| O = 1780816 T = 4.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780816 T = 30.89 \| (out)(err)	S = OPTIMUM \| O = 1780816 T = 29.41 \| (out)(err)
mancoosi-test-i30d0u98-18.wcnf	S = N/A \| O = N/A T = 24.77 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1853452 T = 13.63 \| (out)(err)	S = OPTIMUM \| O = 1853452 T = 15.06 \| (out)(err)	S = OPTIMUM \| O = 1853452 T = 6.97 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1853452 T = 28.37 \| (out)(err)	S = OPTIMUM \| O = 1853452 T = 25.44 \| (out)(err)
mancoosi-test-i30d0u98-19.wcnf	S = N/A \| O = N/A T = 24.69 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780791 T = 13.83 \| (out)(err)	S = OPTIMUM \| O = 1780791 T = 16.05 \| (out)(err)	S = OPTIMUM \| O = 1780791 T = 4.67 \| (out)(err)	S = OPTIMUM \| O = 1780791 T = 608.56 \| (out)(err)	S = OPTIMUM \| O = 1780791 T = 1761.10 \| (out)(err)	S = OPTIMUM \| O = 1780791 T = 27.77 \| (out)(err)	S = OPTIMUM \| O = 1780791 T = 25.92 \| (out)(err)
mancoosi-test-i30d0u98-2.wcnf	S = N/A \| O = N/A T = 24.64 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780887 T = 17.44 \| (out)(err)	S = OPTIMUM \| O = 1780887 T = 19.73 \| (out)(err)	S = OPTIMUM \| O = 1780887 T = 4.72 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780887 T = 45.02 \| (out)(err)	S = OPTIMUM \| O = 1780887 T = 37.30 \| (out)(err)
mancoosi-test-i30d0u98-3.wcnf	S = N/A \| O = N/A T = 28.66 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780860 T = 22.06 \| (out)(err)	S = OPTIMUM \| O = 1780860 T = 20.93 \| (out)(err)	S = OPTIMUM \| O = 1780860 T = 5.80 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780860 T = 36.58 \| (out)(err)	S = OPTIMUM \| O = 1780860 T = 37.71 \| (out)(err)
mancoosi-test-i30d0u98-4.wcnf	S = N/A \| O = N/A T = 28.55 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780803 T = 13.70 \| (out)(err)	S = OPTIMUM \| O = 1780803 T = 14.53 \| (out)(err)	S = OPTIMUM \| O = 1780803 T = 4.89 \| (out)(err)	S = OPTIMUM \| O = 1780803 T = 619.78 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780803 T = 28.90 \| (out)(err)	S = OPTIMUM \| O = 1780803 T = 27.09 \| (out)(err)
mancoosi-test-i30d0u98-5.wcnf	S = N/A \| O = N/A T = 24.80 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780826 T = 14.21 \| (out)(err)	S = OPTIMUM \| O = 1780826 T = 18.52 \| (out)(err)	S = OPTIMUM \| O = 1780826 T = 6.22 \| (out)(err)	S = OPTIMUM \| O = 1780826 T = 632.12 \| (out)(err)	S = OPTIMUM \| O = 1780826 T = 1618.77 \| (out)(err)	S = OPTIMUM \| O = 1780826 T = 32.00 \| (out)(err)	S = OPTIMUM \| O = 1780826 T = 32.11 \| (out)(err)
mancoosi-test-i30d0u98-6.wcnf	S = N/A \| O = N/A T = 25.51 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 16807432 T = 16.84 \| (out)(err)	S = OPTIMUM \| O = 16807432 T = 20.42 \| (out)(err)	S = OPTIMUM \| O = 16807432 T = 7.73 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 16807432 T = 34.74 \| (out)(err)	S = OPTIMUM \| O = 16807432 T = 35.43 \| (out)(err)
mancoosi-test-i30d0u98-7.wcnf	S = N/A \| O = N/A T = 24.96 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780804 T = 13.04 \| (out)(err)	S = OPTIMUM \| O = 1780804 T = 16.91 \| (out)(err)	S = OPTIMUM \| O = 1780804 T = 4.66 \| (out)(err)	S = OPTIMUM \| O = 1780804 T = 877.68 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780804 T = 29.02 \| (out)(err)	S = OPTIMUM \| O = 1780804 T = 28.71 \| (out)(err)
mancoosi-test-i30d0u98-8.wcnf	S = N/A \| O = N/A T = 25.35 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780831 T = 15.41 \| (out)(err)	S = OPTIMUM \| O = 1780831 T = 16.33 \| (out)(err)	S = OPTIMUM \| O = 1780831 T = 5.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780831 T = 32.53 \| (out)(err)	S = OPTIMUM \| O = 1780831 T = 32.20 \| (out)(err)
mancoosi-test-i30d0u98-9.wcnf	S = N/A \| O = N/A T = 32.22 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780790 T = 24.38 \| (out)(err)	S = OPTIMUM \| O = 1780790 T = 15.99 \| (out)(err)	S = OPTIMUM \| O = 1780790 T = 6.31 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780790 T = 27.55 \| (out)(err)	S = OPTIMUM \| O = 1780790 T = 27.05 \| (out)(err)
mancoosi-test-i40d0u98-0.wcnf	S = N/A \| O = N/A T = 24.62 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780836 T = 13.31 \| (out)(err)	S = OPTIMUM \| O = 1780836 T = 16.54 \| (out)(err)	S = OPTIMUM \| O = 1780836 T = 4.95 \| (out)(err)	S = OPTIMUM \| O = 1780836 T = 859.38 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780836 T = 37.60 \| (out)(err)	S = OPTIMUM \| O = 1780836 T = 35.62 \| (out)(err)
mancoosi-test-i40d0u98-1.wcnf	S = N/A \| O = N/A T = 27.67 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780913 T = 19.07 \| (out)(err)	S = OPTIMUM \| O = 1780913 T = 21.36 \| (out)(err)	S = OPTIMUM \| O = 1780913 T = 5.44 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780913 T = 45.54 \| (out)(err)	S = OPTIMUM \| O = 1780913 T = 46.28 \| (out)(err)
mancoosi-test-i40d0u98-10.wcnf	S = N/A \| O = N/A T = 24.96 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780825 T = 16.70 \| (out)(err)	S = OPTIMUM \| O = 1780825 T = 15.72 \| (out)(err)	S = OPTIMUM \| O = 1780825 T = 4.75 \| (out)(err)	S = OPTIMUM \| O = 1780825 T = 1366.76 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780825 T = 32.28 \| (out)(err)	S = OPTIMUM \| O = 1780825 T = 29.95 \| (out)(err)
mancoosi-test-i40d0u98-11.wcnf	S = N/A \| O = N/A T = 25.25 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780818 T = 12.44 \| (out)(err)	S = OPTIMUM \| O = 1780818 T = 15.52 \| (out)(err)	S = OPTIMUM \| O = 1780818 T = 4.83 \| (out)(err)	S = OPTIMUM \| O = 1780818 T = 684.07 \| (out)(err)	S = OPTIMUM \| O = 1780818 T = 1249.53 \| (out)(err)	S = OPTIMUM \| O = 1780818 T = 30.80 \| (out)(err)	S = OPTIMUM \| O = 1780818 T = 28.91 \| (out)(err)
mancoosi-test-i40d0u98-12.wcnf	S = N/A \| O = N/A T = 27.91 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780841 T = 27.86 \| (out)(err)	S = OPTIMUM \| O = 1780841 T = 17.01 \| (out)(err)	S = OPTIMUM \| O = 1780841 T = 6.69 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780841 T = 33.77 \| (out)(err)	S = OPTIMUM \| O = 1780841 T = 33.11 \| (out)(err)
mancoosi-test-i40d0u98-13.wcnf	S = N/A \| O = N/A T = 24.63 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780936 T = 21.47 \| (out)(err)	S = OPTIMUM \| O = 1780936 T = 26.22 \| (out)(err)	S = OPTIMUM \| O = 1780936 T = 5.62 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780936 T = 47.44 \| (out)(err)	S = OPTIMUM \| O = 1780936 T = 44.09 \| (out)(err)
mancoosi-test-i40d0u98-14.wcnf	S = N/A \| O = N/A T = 24.71 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780838 T = 15.61 \| (out)(err)	S = OPTIMUM \| O = 1780838 T = 16.83 \| (out)(err)	S = OPTIMUM \| O = 1780838 T = 4.89 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780838 T = 33.57 \| (out)(err)	S = OPTIMUM \| O = 1780838 T = 32.54 \| (out)(err)
mancoosi-test-i40d0u98-15.wcnf	S = N/A \| O = N/A T = 24.75 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780857 T = 18.72 \| (out)(err)	S = OPTIMUM \| O = 1780857 T = 18.57 \| (out)(err)	S = OPTIMUM \| O = 1780857 T = 5.59 \| (out)(err)	S = OPTIMUM \| O = 1780857 T = 1483.28 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780857 T = 36.33 \| (out)(err)	S = OPTIMUM \| O = 1780857 T = 34.48 \| (out)(err)
mancoosi-test-i40d0u98-16.wcnf	S = N/A \| O = N/A T = 24.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780818 T = 16.20 \| (out)(err)	S = OPTIMUM \| O = 1780818 T = 15.56 \| (out)(err)	S = OPTIMUM \| O = 1780818 T = 4.99 \| (out)(err)	S = OPTIMUM \| O = 1780818 T = 866.59 \| (out)(err)	S = OPTIMUM \| O = 1780818 T = 830.31 \| (out)(err)	S = OPTIMUM \| O = 1780818 T = 30.83 \| (out)(err)	S = OPTIMUM \| O = 1780818 T = 28.26 \| (out)(err)
mancoosi-test-i40d0u98-17.wcnf	S = N/A \| O = N/A T = 30.17 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780852 T = 16.41 \| (out)(err)	S = OPTIMUM \| O = 1780852 T = 20.16 \| (out)(err)	S = OPTIMUM \| O = 1780852 T = 4.99 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780852 T = 39.24 \| (out)(err)	S = OPTIMUM \| O = 1780852 T = 37.95 \| (out)(err)
mancoosi-test-i40d0u98-18.wcnf	S = N/A \| O = N/A T = 24.83 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780820 T = 18.04 \| (out)(err)	S = OPTIMUM \| O = 1780820 T = 15.67 \| (out)(err)	S = OPTIMUM \| O = 1780820 T = 4.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780820 T = 31.87 \| (out)(err)	S = OPTIMUM \| O = 1780820 T = 33.76 \| (out)(err)
mancoosi-test-i40d0u98-19.wcnf	S = N/A \| O = N/A T = 30.18 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780826 T = 16.22 \| (out)(err)	S = OPTIMUM \| O = 1780826 T = 18.49 \| (out)(err)	S = OPTIMUM \| O = 1780826 T = 4.79 \| (out)(err)	S = OPTIMUM \| O = 1780826 T = 1213.12 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780826 T = 32.02 \| (out)(err)	S = OPTIMUM \| O = 1780826 T = 31.53 \| (out)(err)
mancoosi-test-i40d0u98-2.wcnf	S = N/A \| O = N/A T = 25.34 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1798980 T = 18.07 \| (out)(err)	S = OPTIMUM \| O = 1798980 T = 15.13 \| (out)(err)	S = OPTIMUM \| O = 1798980 T = 4.73 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1798980 T = 33.78 \| (out)(err)	S = OPTIMUM \| O = 1798980 T = 27.35 \| (out)(err)
mancoosi-test-i40d0u98-3.wcnf	S = N/A \| O = N/A T = 25.09 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780827 T = 20.30 \| (out)(err)	S = OPTIMUM \| O = 1780827 T = 18.72 \| (out)(err)	S = OPTIMUM \| O = 1780827 T = 5.63 \| (out)(err)	S = OPTIMUM \| O = 1780827 T = 1393.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780827 T = 32.12 \| (out)(err)	S = OPTIMUM \| O = 1780827 T = 31.20 \| (out)(err)
mancoosi-test-i40d0u98-4.wcnf	S = N/A \| O = N/A T = 30.60 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 16807702 T = 29.66 \| (out)(err)	S = OPTIMUM \| O = 16807702 T = 34.07 \| (out)(err)	S = OPTIMUM \| O = 16807702 T = 7.80 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 16807702 T = 79.03 \| (out)(err)	S = OPTIMUM \| O = 16807702 T = 65.42 \| (out)(err)
mancoosi-test-i40d0u98-5.wcnf	S = N/A \| O = N/A T = 26.25 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780817 T = 18.05 \| (out)(err)	S = OPTIMUM \| O = 1780817 T = 15.47 \| (out)(err)	S = OPTIMUM \| O = 1780817 T = 4.95 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780817 T = 31.23 \| (out)(err)	S = OPTIMUM \| O = 1780817 T = 30.93 \| (out)(err)
mancoosi-test-i40d0u98-6.wcnf	S = N/A \| O = N/A T = 24.79 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780803 T = 15.20 \| (out)(err)	S = OPTIMUM \| O = 1780803 T = 14.50 \| (out)(err)	S = OPTIMUM \| O = 1780803 T = 4.81 \| (out)(err)	S = OPTIMUM \| O = 1780803 T = 1012.26 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780803 T = 28.79 \| (out)(err)	S = OPTIMUM \| O = 1780803 T = 31.28 \| (out)(err)
mancoosi-test-i40d0u98-7.wcnf	S = N/A \| O = N/A T = 29.57 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780807 T = 15.84 \| (out)(err)	S = OPTIMUM \| O = 1780807 T = 17.18 \| (out)(err)	S = OPTIMUM \| O = 1780807 T = 4.59 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780807 T = 1407.28 \| (out)(err)	S = OPTIMUM \| O = 1780807 T = 29.27 \| (out)(err)	S = OPTIMUM \| O = 1780807 T = 32.35 \| (out)(err)
mancoosi-test-i40d0u98-8.wcnf	S = N/A \| O = N/A T = 28.90 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1799020 T = 15.64 \| (out)(err)	S = OPTIMUM \| O = 1799020 T = 20.34 \| (out)(err)	S = OPTIMUM \| O = 1799020 T = 5.04 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1799020 T = 39.79 \| (out)(err)	S = OPTIMUM \| O = 1799020 T = 34.69 \| (out)(err)
mancoosi-test-i40d0u98-9.wcnf	S = N/A \| O = N/A T = 33.06 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780877 T = 18.46 \| (out)(err)	S = OPTIMUM \| O = 1780877 T = 19.70 \| (out)(err)	S = OPTIMUM \| O = 1780877 T = 6.62 \| (out)(err)	S = OPTIMUM \| O = 1780877 T = 1133.32 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780877 T = 38.84 \| (out)(err)	S = OPTIMUM \| O = 1780877 T = 35.93 \| (out)(err)