Partial Max-SAT (Random)

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_LSWMaxsatz	IUT_BCMB_WMaxsatz	IncWMaxsatz	MSUnCore	SAT4J-Maxsat	WMaxSatz-1.6	WMaxSatz-2.5	pm2	wbo	wpm1
file_rpms_wcnf_L2_V150_C4000_H150_0.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 802 T = 26.59 \| (out)(err)	S = OPTIMUM \| O = 802 T = 3.80 \| (out)(err)	S = OPTIMUM \| O = 802 T = 3.56 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 911 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 802 T = 3.75 \| (out)(err)	S = OPTIMUM \| O = 802 T = 1.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 = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_1.wcnf	S = UNSAT \| O = 4950 T = 8.59 \| (out)(err)	S = UNSAT \| O = 4802 T = 20.81 \| (out)(err)	S = UNSAT \| O = 4802 T = 4.88 \| (out)(err)	S = UNSAT \| O = 4000 T = 0.05 \| (out)(err)	S = UNSAT \| O = N/A T = 4.66 \| (out)(err)	S = UNSAT \| O = N/A T = 1.44 \| (out)(err)	S = UNSAT \| O = 4000 T = 0.03 \| (out)(err)	S = UNSAT \| O = 4000 T = 0.03 \| (out)(err)	S = UNSAT \| O = N/A T = 0.02 \| (out)(err)	S = UNSAT \| O = N/A T = 3.58 \| (out)(err)	S = UNSAT \| O = N/A T = 0.02 \| (out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_2.wcnf	S = N/A \| O = 844 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 805 T = 53.71 \| (out)(err)	S = OPTIMUM \| O = 805 T = 5.07 \| (out)(err)	S = OPTIMUM \| O = 805 T = 5.63 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 932 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 805 T = 4.18 \| (out)(err)	S = OPTIMUM \| O = 805 T = 1.48 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_3.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 752 T = 13.45 \| (out)(err)	S = OPTIMUM \| O = 752 T = 2.22 \| (out)(err)	S = OPTIMUM \| O = 752 T = 24.10 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 900 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 752 T = 12.66 \| (out)(err)	S = OPTIMUM \| O = 752 T = 4.93 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_4.wcnf	S = N/A \| O = 794 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 750 T = 17.85 \| (out)(err)	S = OPTIMUM \| O = 750 T = 2.55 \| (out)(err)	S = OPTIMUM \| O = 750 T = 36.82 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 889 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 750 T = 22.32 \| (out)(err)	S = OPTIMUM \| O = 750 T = 5.82 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_5.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 756 T = 19.31 \| (out)(err)	S = OPTIMUM \| O = 756 T = 6.75 \| (out)(err)	S = OPTIMUM \| O = 756 T = 51.53 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 879 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 756 T = 33.79 \| (out)(err)	S = OPTIMUM \| O = 756 T = 19.16 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_6.wcnf	S = N/A \| O = 808 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 782 T = 30.47 \| (out)(err)	S = OPTIMUM \| O = 782 T = 15.81 \| (out)(err)	S = OPTIMUM \| O = 782 T = 96.56 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 880 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 782 T = 55.24 \| (out)(err)	S = OPTIMUM \| O = 782 T = 30.25 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_7.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 755 T = 13.43 \| (out)(err)	S = OPTIMUM \| O = 755 T = 5.72 \| (out)(err)	S = OPTIMUM \| O = 755 T = 101.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 912 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 755 T = 57.84 \| (out)(err)	S = OPTIMUM \| O = 755 T = 17.43 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_8.wcnf	S = N/A \| O = 780 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 764 T = 85.11 \| (out)(err)	S = OPTIMUM \| O = 764 T = 86.42 \| (out)(err)	S = OPTIMUM \| O = 764 T = 467.58 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 897 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 764 T = 210.05 \| (out)(err)	S = OPTIMUM \| O = 764 T = 91.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_9.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 792 T = 20.89 \| (out)(err)	S = OPTIMUM \| O = 792 T = 10.69 \| (out)(err)	S = OPTIMUM \| O = 792 T = 45.58 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 917 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 792 T = 24.86 \| (out)(err)	S = OPTIMUM \| O = 792 T = 12.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 = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_0.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 867 T = 41.22 \| (out)(err)	S = OPTIMUM \| O = 867 T = 14.45 \| (out)(err)	S = OPTIMUM \| O = 867 T = 354.93 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1027 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 867 T = 119.79 \| (out)(err)	S = OPTIMUM \| O = 867 T = 36.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 = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_1.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 905 T = 51.51 \| (out)(err)	S = OPTIMUM \| O = 905 T = 7.92 \| (out)(err)	S = OPTIMUM \| O = 905 T = 125.79 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1021 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 905 T = 59.52 \| (out)(err)	S = OPTIMUM \| O = 905 T = 30.94 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_2.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 912 T = 23.07 \| (out)(err)	S = OPTIMUM \| O = 912 T = 4.46 \| (out)(err)	S = OPTIMUM \| O = 912 T = 27.45 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1005 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 912 T = 18.83 \| (out)(err)	S = OPTIMUM \| O = 912 T = 13.31 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_3.wcnf	S = N/A \| O = 896 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 878 T = 7.63 \| (out)(err)	S = OPTIMUM \| O = 878 T = 2.53 \| (out)(err)	S = OPTIMUM \| O = 878 T = 8.93 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1033 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 878 T = 6.75 \| (out)(err)	S = OPTIMUM \| O = 878 T = 3.30 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_4.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 890 T = 29.50 \| (out)(err)	S = OPTIMUM \| O = 890 T = 19.15 \| (out)(err)	S = OPTIMUM \| O = 890 T = 315.27 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1046 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 890 T = 94.98 \| (out)(err)	S = OPTIMUM \| O = 890 T = 23.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 = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_5.wcnf	S = N/A \| O = 921 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 881 T = 29.52 \| (out)(err)	S = OPTIMUM \| O = 881 T = 12.20 \| (out)(err)	S = OPTIMUM \| O = 881 T = 98.69 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1040 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 881 T = 49.00 \| (out)(err)	S = OPTIMUM \| O = 881 T = 18.77 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_6.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 856 T = 11.99 \| (out)(err)	S = OPTIMUM \| O = 856 T = 2.16 \| (out)(err)	S = OPTIMUM \| O = 856 T = 77.99 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 967 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 856 T = 41.99 \| (out)(err)	S = OPTIMUM \| O = 856 T = 21.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 = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_7.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 875 T = 24.70 \| (out)(err)	S = OPTIMUM \| O = 875 T = 11.03 \| (out)(err)	S = OPTIMUM \| O = 875 T = 98.76 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1014 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 875 T = 58.72 \| (out)(err)	S = OPTIMUM \| O = 875 T = 31.12 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_8.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 908 T = 22.12 \| (out)(err)	S = OPTIMUM \| O = 908 T = 2.60 \| (out)(err)	S = OPTIMUM \| O = 908 T = 19.03 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1045 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 908 T = 16.21 \| (out)(err)	S = OPTIMUM \| O = 908 T = 5.03 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_9.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 898 T = 7.95 \| (out)(err)	S = OPTIMUM \| O = 898 T = 7.25 \| (out)(err)	S = OPTIMUM \| O = 898 T = 23.96 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1030 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 898 T = 15.43 \| (out)(err)	S = OPTIMUM \| O = 898 T = 7.86 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_0.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1018 T = 19.58 \| (out)(err)	S = OPTIMUM \| O = 1018 T = 2.87 \| (out)(err)	S = OPTIMUM \| O = 1018 T = 58.36 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1163 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1018 T = 42.76 \| (out)(err)	S = OPTIMUM \| O = 1018 T = 20.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 = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_1.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1015 T = 226.97 \| (out)(err)	S = OPTIMUM \| O = 1015 T = 3.85 \| (out)(err)	S = OPTIMUM \| O = 1015 T = 54.20 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1172 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1015 T = 41.10 \| (out)(err)	S = OPTIMUM \| O = 1015 T = 28.67 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_2.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 979 T = 11.83 \| (out)(err)	S = OPTIMUM \| O = 979 T = 6.98 \| (out)(err)	S = OPTIMUM \| O = 979 T = 169.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1146 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 979 T = 66.34 \| (out)(err)	S = OPTIMUM \| O = 979 T = 16.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 = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_3.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1032 T = 72.84 \| (out)(err)	S = OPTIMUM \| O = 1032 T = 12.90 \| (out)(err)	S = OPTIMUM \| O = 1032 T = 64.05 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1157 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1032 T = 31.84 \| (out)(err)	S = OPTIMUM \| O = 1032 T = 14.31 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_4.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1018 T = 104.20 \| (out)(err)	S = OPTIMUM \| O = 1018 T = 31.05 \| (out)(err)	S = OPTIMUM \| O = 1018 T = 1462.65 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1155 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1018 T = 337.66 \| (out)(err)	S = OPTIMUM \| O = 1018 T = 134.93 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_5.wcnf	S = N/A \| O = 1036 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 991 T = 25.71 \| (out)(err)	S = OPTIMUM \| O = 991 T = 6.20 \| (out)(err)	S = OPTIMUM \| O = 991 T = 97.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1122 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 991 T = 42.69 \| (out)(err)	S = OPTIMUM \| O = 991 T = 13.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_6.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1005 T = 22.29 \| (out)(err)	S = OPTIMUM \| O = 1005 T = 5.07 \| (out)(err)	S = OPTIMUM \| O = 1005 T = 40.80 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1129 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1005 T = 20.38 \| (out)(err)	S = OPTIMUM \| O = 1005 T = 9.78 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_7.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 991 T = 50.58 \| (out)(err)	S = OPTIMUM \| O = 991 T = 8.19 \| (out)(err)	S = OPTIMUM \| O = 991 T = 97.67 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1122 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 991 T = 55.82 \| (out)(err)	S = OPTIMUM \| O = 991 T = 34.82 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_8.wcnf	S = N/A \| O = 1040 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 999 T = 2.02 \| (out)(err)	S = OPTIMUM \| O = 999 T = 2.02 \| (out)(err)	S = OPTIMUM \| O = 999 T = 4.88 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1150 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 999 T = 8.12 \| (out)(err)	S = OPTIMUM \| O = 999 T = 2.34 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_9.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 993 T = 4.22 \| (out)(err)	S = OPTIMUM \| O = 993 T = 2.22 \| (out)(err)	S = OPTIMUM \| O = 993 T = 18.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1169 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 993 T = 9.65 \| (out)(err)	S = OPTIMUM \| O = 993 T = 4.31 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C1000_H150_0.wcnf	S = N/A \| O = 130 T = 1797.12 \| (out)(err)	S = OPTIMUM \| O = 127 T = 0.10 \| (out)(err)	S = OPTIMUM \| O = 127 T = 0.35 \| (out)(err)	S = OPTIMUM \| O = 127 T = 0.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 178 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 127 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 127 T = 0.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 = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C1000_H150_1.wcnf	S = N/A \| O = 153 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 145 T = 0.11 \| (out)(err)	S = OPTIMUM \| O = 145 T = 0.39 \| (out)(err)	S = OPTIMUM \| O = 145 T = 0.07 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 172 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 145 T = 0.13 \| (out)(err)	S = OPTIMUM \| O = 145 T = 0.09 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 356.19 \| (out)(err)
file_rpms_wcnf_L2_V150_C1000_H150_2.wcnf	S = N/A \| O = N/A T = 1796.91 \| (out)(err)	S = OPTIMUM \| O = 124 T = 1.81 \| (out)(err)	S = OPTIMUM \| O = 124 T = 0.33 \| (out)(err)	S = OPTIMUM \| O = 124 T = 0.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 165 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 124 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 124 T = 0.03 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 314.70 \| (out)(err)
file_rpms_wcnf_L2_V150_C1000_H150_3.wcnf	S = N/A \| O = N/A T = 1788.95 \| (out)(err)	S = OPTIMUM \| O = 144 T = 0.14 \| (out)(err)	S = OPTIMUM \| O = 144 T = 0.39 \| (out)(err)	S = OPTIMUM \| O = 144 T = 0.08 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 187 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 144 T = 0.15 \| (out)(err)	S = OPTIMUM \| O = 144 T = 0.11 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C1000_H150_4.wcnf	S = N/A \| O = 147 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 142 T = 0.39 \| (out)(err)	S = OPTIMUM \| O = 142 T = 0.46 \| (out)(err)	S = OPTIMUM \| O = 142 T = 0.03 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 168 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 142 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 142 T = 0.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 = N/A \| O = N/A T = 305.15 \| (out)(err)
file_rpms_wcnf_L2_V150_C1000_H150_5.wcnf	S = N/A \| O = N/A T = 1790.78 \| (out)(err)	S = OPTIMUM \| O = 127 T = 0.47 \| (out)(err)	S = OPTIMUM \| O = 127 T = 0.35 \| (out)(err)	S = OPTIMUM \| O = 127 T = 0.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 160 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 127 T = 0.07 \| (out)(err)	S = OPTIMUM \| O = 127 T = 0.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 = N/A \| O = N/A T = 279.40 \| (out)(err)
file_rpms_wcnf_L2_V150_C1000_H150_6.wcnf	S = N/A \| O = N/A T = 1780.85 \| (out)(err)	S = OPTIMUM \| O = 129 T = 0.57 \| (out)(err)	S = OPTIMUM \| O = 129 T = 0.33 \| (out)(err)	S = OPTIMUM \| O = 129 T = 0.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 171 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 129 T = 0.06 \| (out)(err)	S = OPTIMUM \| O = 129 T = 0.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 = N/A \| O = N/A T = 303.61 \| (out)(err)
file_rpms_wcnf_L2_V150_C1000_H150_7.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 142 T = 0.07 \| (out)(err)	S = OPTIMUM \| O = 142 T = 0.35 \| (out)(err)	S = OPTIMUM \| O = 142 T = 0.07 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 188 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 142 T = 0.12 \| (out)(err)	S = OPTIMUM \| O = 142 T = 0.07 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 357.80 \| (out)(err)
file_rpms_wcnf_L2_V150_C1000_H150_8.wcnf	S = N/A \| O = 121 T = 1776.70 \| (out)(err)	S = OPTIMUM \| O = 116 T = 0.11 \| (out)(err)	S = OPTIMUM \| O = 116 T = 0.39 \| (out)(err)	S = OPTIMUM \| O = 116 T = 0.07 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 153 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 116 T = 0.18 \| (out)(err)	S = OPTIMUM \| O = 116 T = 0.11 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 276.74 \| (out)(err)
file_rpms_wcnf_L2_V150_C1000_H150_9.wcnf	S = N/A \| O = 137 T = 1762.14 \| (out)(err)	S = OPTIMUM \| O = 129 T = 0.44 \| (out)(err)	S = OPTIMUM \| O = 129 T = 0.34 \| (out)(err)	S = OPTIMUM \| O = 129 T = 0.03 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 180 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 129 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 129 T = 0.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 = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C1500_H150_0.wcnf	S = N/A \| O = N/A T = 1789.78 \| (out)(err)	S = OPTIMUM \| O = 225 T = 1.89 \| (out)(err)	S = OPTIMUM \| O = 225 T = 1.64 \| (out)(err)	S = OPTIMUM \| O = 225 T = 2.77 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 264 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 225 T = 2.81 \| (out)(err)	S = OPTIMUM \| O = 225 T = 2.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C1500_H150_1.wcnf	S = N/A \| O = N/A T = 1782.74 \| (out)(err)	S = OPTIMUM \| O = 211 T = 0.73 \| (out)(err)	S = OPTIMUM \| O = 211 T = 0.44 \| (out)(err)	S = OPTIMUM \| O = 211 T = 0.13 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 290 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 211 T = 0.32 \| (out)(err)	S = OPTIMUM \| O = 211 T = 0.21 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C1500_H150_2.wcnf	S = N/A \| O = 251 T = 1786.51 \| (out)(err)	S = OPTIMUM \| O = 230 T = 1.28 \| (out)(err)	S = OPTIMUM \| O = 230 T = 0.54 \| (out)(err)	S = OPTIMUM \| O = 230 T = 0.95 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 313 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 230 T = 1.38 \| (out)(err)	S = OPTIMUM \| O = 230 T = 0.84 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C1500_H150_3.wcnf	S = N/A \| O = 249 T = 1796.72 \| (out)(err)	S = OPTIMUM \| O = 235 T = 0.21 \| (out)(err)	S = OPTIMUM \| O = 235 T = 0.45 \| (out)(err)	S = OPTIMUM \| O = 235 T = 0.26 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 307 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 235 T = 0.37 \| (out)(err)	S = OPTIMUM \| O = 235 T = 0.20 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 352.59 \| (out)(err)
file_rpms_wcnf_L2_V150_C1500_H150_4.wcnf	S = N/A \| O = N/A T = 1785.97 \| (out)(err)	S = OPTIMUM \| O = 236 T = 0.69 \| (out)(err)	S = OPTIMUM \| O = 236 T = 0.74 \| (out)(err)	S = OPTIMUM \| O = 236 T = 0.56 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 290 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 236 T = 0.69 \| (out)(err)	S = OPTIMUM \| O = 236 T = 0.51 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C1500_H150_5.wcnf	S = N/A \| O = N/A T = 1786.58 \| (out)(err)	S = OPTIMUM \| O = 201 T = 0.62 \| (out)(err)	S = OPTIMUM \| O = 201 T = 0.48 \| (out)(err)	S = OPTIMUM \| O = 201 T = 0.73 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 259 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 201 T = 1.50 \| (out)(err)	S = OPTIMUM \| O = 201 T = 1.03 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C1500_H150_6.wcnf	S = N/A \| O = N/A T = 1788.47 \| (out)(err)	S = OPTIMUM \| O = 217 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 217 T = 0.37 \| (out)(err)	S = OPTIMUM \| O = 217 T = 0.03 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 297 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 217 T = 0.08 \| (out)(err)	S = OPTIMUM \| O = 217 T = 0.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 = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C1500_H150_7.wcnf	S = N/A \| O = N/A T = 1785.23 \| (out)(err)	S = OPTIMUM \| O = 225 T = 0.88 \| (out)(err)	S = OPTIMUM \| O = 225 T = 0.54 \| (out)(err)	S = OPTIMUM \| O = 225 T = 0.82 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 282 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 225 T = 1.20 \| (out)(err)	S = OPTIMUM \| O = 225 T = 0.65 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C1500_H150_8.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 222 T = 1.58 \| (out)(err)	S = OPTIMUM \| O = 222 T = 0.75 \| (out)(err)	S = OPTIMUM \| O = 222 T = 1.06 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 307 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 222 T = 1.56 \| (out)(err)	S = OPTIMUM \| O = 222 T = 0.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 = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C1500_H150_9.wcnf	S = N/A \| O = N/A T = 1787.45 \| (out)(err)	S = OPTIMUM \| O = 226 T = 0.52 \| (out)(err)	S = OPTIMUM \| O = 226 T = 0.57 \| (out)(err)	S = OPTIMUM \| O = 226 T = 0.43 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 277 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 226 T = 0.72 \| (out)(err)	S = OPTIMUM \| O = 226 T = 0.45 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C2000_H150_0.wcnf	S = N/A \| O = 363 T = 1791.83 \| (out)(err)	S = OPTIMUM \| O = 346 T = 1.54 \| (out)(err)	S = OPTIMUM \| O = 346 T = 1.22 \| (out)(err)	S = OPTIMUM \| O = 346 T = 7.78 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 412 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 346 T = 5.48 \| (out)(err)	S = OPTIMUM \| O = 346 T = 1.57 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C2000_H150_1.wcnf	S = N/A \| O = N/A T = 1792.65 \| (out)(err)	S = OPTIMUM \| O = 325 T = 2.27 \| (out)(err)	S = OPTIMUM \| O = 325 T = 1.35 \| (out)(err)	S = OPTIMUM \| O = 325 T = 2.24 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 403 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 325 T = 2.25 \| (out)(err)	S = OPTIMUM \| O = 325 T = 1.54 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C2000_H150_2.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 335 T = 2.16 \| (out)(err)	S = OPTIMUM \| O = 335 T = 1.05 \| (out)(err)	S = OPTIMUM \| O = 335 T = 1.89 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 409 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 335 T = 2.41 \| (out)(err)	S = OPTIMUM \| O = 335 T = 1.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C2000_H150_3.wcnf	S = N/A \| O = N/A T = 1799.22 \| (out)(err)	S = N/A \| O = 6365 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 344 T = 0.54 \| (out)(err)	S = OPTIMUM \| O = 344 T = 1.29 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 431 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 344 T = 1.42 \| (out)(err)	S = OPTIMUM \| O = 344 T = 0.96 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C2000_H150_4.wcnf	S = N/A \| O = N/A T = 1789.37 \| (out)(err)	S = OPTIMUM \| O = 365 T = 1.62 \| (out)(err)	S = OPTIMUM \| O = 365 T = 0.64 \| (out)(err)	S = OPTIMUM \| O = 365 T = 0.59 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 429 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 365 T = 0.88 \| (out)(err)	S = OPTIMUM \| O = 365 T = 0.54 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C2000_H150_5.wcnf	S = N/A \| O = N/A T = 1792.92 \| (out)(err)	S = OPTIMUM \| O = 338 T = 6.61 \| (out)(err)	S = OPTIMUM \| O = 338 T = 0.62 \| (out)(err)	S = OPTIMUM \| O = 338 T = 16.36 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 430 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 338 T = 10.54 \| (out)(err)	S = OPTIMUM \| O = 338 T = 7.81 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C2000_H150_6.wcnf	S = N/A \| O = N/A T = 1778.71 \| (out)(err)	S = OPTIMUM \| O = 349 T = 2.48 \| (out)(err)	S = OPTIMUM \| O = 349 T = 0.47 \| (out)(err)	S = OPTIMUM \| O = 349 T = 0.39 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 423 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 349 T = 0.42 \| (out)(err)	S = OPTIMUM \| O = 349 T = 0.40 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C2000_H150_7.wcnf	S = N/A \| O = N/A T = 1785.41 \| (out)(err)	S = OPTIMUM \| O = 350 T = 1.23 \| (out)(err)	S = OPTIMUM \| O = 350 T = 1.42 \| (out)(err)	S = OPTIMUM \| O = 350 T = 2.94 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 437 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 350 T = 2.67 \| (out)(err)	S = OPTIMUM \| O = 350 T = 1.46 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C2000_H150_8.wcnf	S = N/A \| O = N/A T = 1798.18 \| (out)(err)	S = OPTIMUM \| O = 334 T = 0.99 \| (out)(err)	S = OPTIMUM \| O = 334 T = 1.10 \| (out)(err)	S = OPTIMUM \| O = 334 T = 0.75 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 425 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 334 T = 1.17 \| (out)(err)	S = OPTIMUM \| O = 334 T = 0.96 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 491.49 \| (out)(err)
file_rpms_wcnf_L2_V150_C2000_H150_9.wcnf	S = N/A \| O = N/A T = 1798.97 \| (out)(err)	S = OPTIMUM \| O = 341 T = 3.71 \| (out)(err)	S = OPTIMUM \| O = 341 T = 3.53 \| (out)(err)	S = OPTIMUM \| O = 341 T = 14.20 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 421 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 341 T = 6.38 \| (out)(err)	S = OPTIMUM \| O = 341 T = 3.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 = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_0.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 2956 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 464 T = 0.72 \| (out)(err)	S = OPTIMUM \| O = 464 T = 0.96 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 535 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 464 T = 1.13 \| (out)(err)	S = OPTIMUM \| O = 464 T = 0.58 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_1.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 454 T = 1.44 \| (out)(err)	S = OPTIMUM \| O = 454 T = 1.18 \| (out)(err)	S = OPTIMUM \| O = 454 T = 2.08 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 559 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 454 T = 2.27 \| (out)(err)	S = OPTIMUM \| O = 454 T = 1.31 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_2.wcnf	S = N/A \| O = N/A T = 1799.57 \| (out)(err)	S = OPTIMUM \| O = 423 T = 8.75 \| (out)(err)	S = OPTIMUM \| O = 423 T = 1.61 \| (out)(err)	S = OPTIMUM \| O = 423 T = 17.77 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 541 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 423 T = 10.97 \| (out)(err)	S = OPTIMUM \| O = 423 T = 5.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 = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_3.wcnf	S = N/A \| O = 466 T = 1794.17 \| (out)(err)	S = OPTIMUM \| O = 442 T = 4.10 \| (out)(err)	S = OPTIMUM \| O = 442 T = 2.65 \| (out)(err)	S = OPTIMUM \| O = 442 T = 5.47 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 549 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 442 T = 4.35 \| (out)(err)	S = OPTIMUM \| O = 442 T = 2.29 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 699.64 \| (out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_4.wcnf	S = N/A \| O = N/A T = 1793.43 \| (out)(err)	S = OPTIMUM \| O = 447 T = 0.40 \| (out)(err)	S = OPTIMUM \| O = 447 T = 0.83 \| (out)(err)	S = OPTIMUM \| O = 447 T = 0.91 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 535 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 447 T = 1.22 \| (out)(err)	S = OPTIMUM \| O = 447 T = 0.48 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_5.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 433 T = 1.25 \| (out)(err)	S = OPTIMUM \| O = 433 T = 0.61 \| (out)(err)	S = OPTIMUM \| O = 433 T = 0.36 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 521 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 433 T = 0.62 \| (out)(err)	S = OPTIMUM \| O = 433 T = 0.37 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_6.wcnf	S = N/A \| O = N/A T = 1795.26 \| (out)(err)	S = OPTIMUM \| O = 461 T = 2.23 \| (out)(err)	S = OPTIMUM \| O = 461 T = 1.86 \| (out)(err)	S = OPTIMUM \| O = 461 T = 3.28 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 523 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 461 T = 2.65 \| (out)(err)	S = OPTIMUM \| O = 461 T = 1.75 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_7.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 434 T = 32.05 \| (out)(err)	S = OPTIMUM \| O = 434 T = 1.66 \| (out)(err)	S = OPTIMUM \| O = 434 T = 12.65 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 540 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 434 T = 10.06 \| (out)(err)	S = OPTIMUM \| O = 434 T = 5.23 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_8.wcnf	S = N/A \| O = N/A T = 1798.65 \| (out)(err)	S = OPTIMUM \| O = 456 T = 2.99 \| (out)(err)	S = OPTIMUM \| O = 456 T = 2.77 \| (out)(err)	S = OPTIMUM \| O = 456 T = 5.97 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 531 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 456 T = 6.80 \| (out)(err)	S = OPTIMUM \| O = 456 T = 3.11 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_9.wcnf	S = N/A \| O = 497 T = 1799.19 \| (out)(err)	S = OPTIMUM \| O = 470 T = 1.85 \| (out)(err)	S = OPTIMUM \| O = 470 T = 0.78 \| (out)(err)	S = OPTIMUM \| O = 470 T = 0.39 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 558 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 470 T = 0.77 \| (out)(err)	S = OPTIMUM \| O = 470 T = 0.41 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_0.wcnf	S = N/A \| O = 579 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 539 T = 5.44 \| (out)(err)	S = OPTIMUM \| O = 539 T = 4.81 \| (out)(err)	S = OPTIMUM \| O = 539 T = 20.60 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 669 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 539 T = 15.11 \| (out)(err)	S = OPTIMUM \| O = 539 T = 7.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_1.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 560 T = 17.41 \| (out)(err)	S = OPTIMUM \| O = 560 T = 13.91 \| (out)(err)	S = OPTIMUM \| O = 560 T = 50.68 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 692 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 560 T = 28.43 \| (out)(err)	S = OPTIMUM \| O = 560 T = 24.75 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_2.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 531 T = 1.75 \| (out)(err)	S = OPTIMUM \| O = 531 T = 1.20 \| (out)(err)	S = OPTIMUM \| O = 531 T = 7.71 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 657 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 531 T = 10.97 \| (out)(err)	S = OPTIMUM \| O = 531 T = 7.19 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_3.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 555 T = 18.79 \| (out)(err)	S = OPTIMUM \| O = 555 T = 3.78 \| (out)(err)	S = OPTIMUM \| O = 555 T = 54.43 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 652 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 555 T = 32.04 \| (out)(err)	S = OPTIMUM \| O = 555 T = 18.10 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_4.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 3595 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 556 T = 0.91 \| (out)(err)	S = OPTIMUM \| O = 556 T = 1.64 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 649 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 556 T = 1.74 \| (out)(err)	S = OPTIMUM \| O = 556 T = 1.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_5.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 538 T = 24.93 \| (out)(err)	S = OPTIMUM \| O = 538 T = 9.76 \| (out)(err)	S = OPTIMUM \| O = 538 T = 140.62 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 669 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 538 T = 65.06 \| (out)(err)	S = OPTIMUM \| O = 538 T = 25.98 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_6.wcnf	S = N/A \| O = 575 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 537 T = 16.53 \| (out)(err)	S = OPTIMUM \| O = 537 T = 9.99 \| (out)(err)	S = OPTIMUM \| O = 537 T = 43.22 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 649 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 537 T = 30.72 \| (out)(err)	S = OPTIMUM \| O = 537 T = 14.30 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_7.wcnf	S = N/A \| O = 557 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 527 T = 3.40 \| (out)(err)	S = OPTIMUM \| O = 527 T = 2.06 \| (out)(err)	S = OPTIMUM \| O = 527 T = 6.24 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 654 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 527 T = 7.00 \| (out)(err)	S = OPTIMUM \| O = 527 T = 3.89 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_8.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 564 T = 27.03 \| (out)(err)	S = OPTIMUM \| O = 564 T = 13.01 \| (out)(err)	S = OPTIMUM \| O = 564 T = 103.77 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 649 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 564 T = 64.72 \| (out)(err)	S = OPTIMUM \| O = 564 T = 39.16 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_9.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 552 T = 3.13 \| (out)(err)	S = OPTIMUM \| O = 552 T = 2.99 \| (out)(err)	S = OPTIMUM \| O = 552 T = 7.82 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 650 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 552 T = 5.99 \| (out)(err)	S = OPTIMUM \| O = 552 T = 3.36 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_0.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 680 T = 39.97 \| (out)(err)	S = OPTIMUM \| O = 680 T = 7.27 \| (out)(err)	S = OPTIMUM \| O = 680 T = 155.23 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 784 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 680 T = 70.08 \| (out)(err)	S = OPTIMUM \| O = 680 T = 27.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 = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_1.wcnf	S = N/A \| O = 709 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 679 T = 5.71 \| (out)(err)	S = OPTIMUM \| O = 679 T = 3.63 \| (out)(err)	S = OPTIMUM \| O = 679 T = 8.29 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 796 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 679 T = 10.70 \| (out)(err)	S = OPTIMUM \| O = 679 T = 6.37 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_2.wcnf	S = N/A \| O = 740 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 716 T = 5.71 \| (out)(err)	S = OPTIMUM \| O = 716 T = 3.58 \| (out)(err)	S = OPTIMUM \| O = 716 T = 8.87 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 794 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 716 T = 5.63 \| (out)(err)	S = OPTIMUM \| O = 716 T = 3.33 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_3.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 669 T = 17.95 \| (out)(err)	S = OPTIMUM \| O = 669 T = 2.38 \| (out)(err)	S = OPTIMUM \| O = 669 T = 15.28 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 776 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 669 T = 11.21 \| (out)(err)	S = OPTIMUM \| O = 669 T = 5.87 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_4.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 627 T = 4.59 \| (out)(err)	S = OPTIMUM \| O = 627 T = 3.46 \| (out)(err)	S = OPTIMUM \| O = 627 T = 21.52 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 766 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 627 T = 10.85 \| (out)(err)	S = OPTIMUM \| O = 627 T = 4.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 = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_5.wcnf	S = N/A \| O = 707 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 667 T = 41.88 \| (out)(err)	S = OPTIMUM \| O = 667 T = 14.86 \| (out)(err)	S = OPTIMUM \| O = 667 T = 173.88 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 798 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 667 T = 75.05 \| (out)(err)	S = OPTIMUM \| O = 667 T = 37.93 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_6.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 688 T = 22.21 \| (out)(err)	S = OPTIMUM \| O = 688 T = 0.75 \| (out)(err)	S = OPTIMUM \| O = 688 T = 1.90 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 814 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 688 T = 2.89 \| (out)(err)	S = OPTIMUM \| O = 688 T = 1.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 = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_7.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 675 T = 4.80 \| (out)(err)	S = OPTIMUM \| O = 675 T = 1.98 \| (out)(err)	S = OPTIMUM \| O = 675 T = 2.68 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 789 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 675 T = 3.44 \| (out)(err)	S = OPTIMUM \| O = 675 T = 1.60 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_8.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 675 T = 8.66 \| (out)(err)	S = OPTIMUM \| O = 675 T = 2.37 \| (out)(err)	S = OPTIMUM \| O = 675 T = 8.62 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 812 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 675 T = 6.37 \| (out)(err)	S = OPTIMUM \| O = 675 T = 2.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 = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_9.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 638 T = 13.06 \| (out)(err)	S = OPTIMUM \| O = 638 T = 3.85 \| (out)(err)	S = OPTIMUM \| O = 638 T = 32.19 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 786 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 638 T = 24.02 \| (out)(err)	S = OPTIMUM \| O = 638 T = 10.93 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C600_H100_0.wcnf	S = N/A \| O = N/A T = 1799.36 \| (out)(err)	S = OPTIMUM \| O = 8 T = 4.78 \| (out)(err)	S = OPTIMUM \| O = 8 T = 4.77 \| (out)(err)	S = OPTIMUM \| O = 8 T = 5.40 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 15 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 8 T = 4.63 \| (out)(err)	S = OPTIMUM \| O = 8 T = 4.91 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C600_H100_1.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 8 T = 11.36 \| (out)(err)	S = OPTIMUM \| O = 8 T = 6.98 \| (out)(err)	S = OPTIMUM \| O = 8 T = 16.59 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 13 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 8 T = 12.93 \| (out)(err)	S = OPTIMUM \| O = 8 T = 13.78 \| (out)(err)	S = N/A \| O = N/A T = 390.07 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C600_H100_2.wcnf	S = N/A \| O = N/A T = 1797.28 \| (out)(err)	S = OPTIMUM \| O = 8 T = 16.84 \| (out)(err)	S = OPTIMUM \| O = 8 T = 3.16 \| (out)(err)	S = OPTIMUM \| O = 8 T = 24.44 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 36 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 8 T = 18.56 \| (out)(err)	S = OPTIMUM \| O = 8 T = 19.43 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C600_H100_3.wcnf	S = N/A \| O = N/A T = 1792.46 \| (out)(err)	S = OPTIMUM \| O = 9 T = 15.06 \| (out)(err)	S = OPTIMUM \| O = 9 T = 7.48 \| (out)(err)	S = OPTIMUM \| O = 9 T = 20.16 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 16 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 9 T = 14.82 \| (out)(err)	S = OPTIMUM \| O = 9 T = 15.68 \| (out)(err)	S = N/A \| O = N/A T = 358.05 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C600_H100_4.wcnf	S = N/A \| O = N/A T = 1795.20 \| (out)(err)	S = OPTIMUM \| O = 7 T = 3.77 \| (out)(err)	S = OPTIMUM \| O = 7 T = 2.13 \| (out)(err)	S = OPTIMUM \| O = 7 T = 4.21 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 14 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 7 T = 3.69 \| (out)(err)	S = OPTIMUM \| O = 7 T = 3.96 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 290.49 \| (out)(err)
file_rpms_wcnf_L3_V100_C600_H100_5.wcnf	S = N/A \| O = N/A T = 1795.05 \| (out)(err)	S = OPTIMUM \| O = 8 T = 4.51 \| (out)(err)	S = OPTIMUM \| O = 8 T = 3.44 \| (out)(err)	S = OPTIMUM \| O = 8 T = 5.28 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 16 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 8 T = 4.27 \| (out)(err)	S = OPTIMUM \| O = 8 T = 4.64 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 281.40 \| (out)(err)
file_rpms_wcnf_L3_V100_C600_H100_6.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 7 T = 10.62 \| (out)(err)	S = OPTIMUM \| O = 7 T = 4.15 \| (out)(err)	S = OPTIMUM \| O = 7 T = 15.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 15 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 7 T = 10.91 \| (out)(err)	S = OPTIMUM \| O = 7 T = 11.77 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 266.18 \| (out)(err)
file_rpms_wcnf_L3_V100_C600_H100_7.wcnf	S = N/A \| O = N/A T = 1797.58 \| (out)(err)	S = OPTIMUM \| O = 8 T = 12.24 \| (out)(err)	S = OPTIMUM \| O = 8 T = 10.55 \| (out)(err)	S = OPTIMUM \| O = 8 T = 15.46 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 31 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 8 T = 11.79 \| (out)(err)	S = OPTIMUM \| O = 8 T = 12.60 \| (out)(err)	S = N/A \| O = N/A T = 411.14 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C600_H100_8.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5 T = 4.76 \| (out)(err)	S = OPTIMUM \| O = 5 T = 1.83 \| (out)(err)	S = OPTIMUM \| O = 5 T = 8.51 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 6 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5 T = 6.67 \| (out)(err)	S = OPTIMUM \| O = 5 T = 6.93 \| (out)(err)	S = N/A \| O = N/A T = 510.84 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C600_H100_9.wcnf	S = N/A \| O = N/A T = 1794.99 \| (out)(err)	S = OPTIMUM \| O = 9 T = 13.60 \| (out)(err)	S = OPTIMUM \| O = 9 T = 7.13 \| (out)(err)	S = OPTIMUM \| O = 9 T = 18.06 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 14 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 9 T = 14.45 \| (out)(err)	S = OPTIMUM \| O = 9 T = 15.20 \| (out)(err)	S = N/A \| O = N/A T = 397.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)
file_rpms_wcnf_L3_V100_C700_H100_0.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 18 T = 73.09 \| (out)(err)	S = OPTIMUM \| O = 18 T = 61.54 \| (out)(err)	S = OPTIMUM \| O = 18 T = 117.56 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 37 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 18 T = 72.20 \| (out)(err)	S = OPTIMUM \| O = 18 T = 74.77 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C700_H100_1.wcnf	S = N/A \| O = N/A T = 1792.78 \| (out)(err)	S = OPTIMUM \| O = 14 T = 51.79 \| (out)(err)	S = OPTIMUM \| O = 14 T = 27.30 \| (out)(err)	S = OPTIMUM \| O = 14 T = 160.79 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 37 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 14 T = 80.19 \| (out)(err)	S = OPTIMUM \| O = 14 T = 83.76 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C700_H100_2.wcnf	S = N/A \| O = N/A T = 1793.73 \| (out)(err)	S = OPTIMUM \| O = 15 T = 38.44 \| (out)(err)	S = OPTIMUM \| O = 15 T = 34.60 \| (out)(err)	S = OPTIMUM \| O = 15 T = 59.04 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 36 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 15 T = 37.82 \| (out)(err)	S = OPTIMUM \| O = 15 T = 39.17 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C700_H100_3.wcnf	S = N/A \| O = N/A T = 1798.35 \| (out)(err)	S = OPTIMUM \| O = 12 T = 37.96 \| (out)(err)	S = OPTIMUM \| O = 12 T = 28.55 \| (out)(err)	S = OPTIMUM \| O = 12 T = 66.53 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 24 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 12 T = 37.45 \| (out)(err)	S = OPTIMUM \| O = 12 T = 38.92 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C700_H100_4.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 11 T = 33.99 \| (out)(err)	S = OPTIMUM \| O = 11 T = 5.60 \| (out)(err)	S = OPTIMUM \| O = 11 T = 84.55 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 28 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 11 T = 49.14 \| (out)(err)	S = OPTIMUM \| O = 11 T = 50.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 = N/A \| O = N/A T = 406.21 \| (out)(err)
file_rpms_wcnf_L3_V100_C700_H100_5.wcnf	S = N/A \| O = N/A T = 1799.13 \| (out)(err)	S = OPTIMUM \| O = 14 T = 114.66 \| (out)(err)	S = OPTIMUM \| O = 14 T = 31.02 \| (out)(err)	S = OPTIMUM \| O = 14 T = 205.25 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 29 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 14 T = 119.47 \| (out)(err)	S = OPTIMUM \| O = 14 T = 122.58 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 308.53 \| (out)(err)
file_rpms_wcnf_L3_V100_C700_H100_6.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 12 T = 51.68 \| (out)(err)	S = OPTIMUM \| O = 12 T = 22.61 \| (out)(err)	S = OPTIMUM \| O = 12 T = 88.33 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 33 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 12 T = 56.90 \| (out)(err)	S = OPTIMUM \| O = 12 T = 59.23 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C700_H100_7.wcnf	S = N/A \| O = N/A T = 1797.43 \| (out)(err)	S = OPTIMUM \| O = 17 T = 114.79 \| (out)(err)	S = OPTIMUM \| O = 17 T = 88.99 \| (out)(err)	S = OPTIMUM \| O = 17 T = 232.39 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 54 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 17 T = 112.36 \| (out)(err)	S = OPTIMUM \| O = 17 T = 117.08 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C700_H100_8.wcnf	S = N/A \| O = N/A T = 1791.59 \| (out)(err)	S = OPTIMUM \| O = 16 T = 170.75 \| (out)(err)	S = OPTIMUM \| O = 16 T = 133.05 \| (out)(err)	S = OPTIMUM \| O = 16 T = 291.81 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 30 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 16 T = 169.13 \| (out)(err)	S = OPTIMUM \| O = 16 T = 173.50 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C700_H100_9.wcnf	S = N/A \| O = N/A T = 1797.36 \| (out)(err)	S = OPTIMUM \| O = 12 T = 30.66 \| (out)(err)	S = OPTIMUM \| O = 12 T = 7.89 \| (out)(err)	S = OPTIMUM \| O = 12 T = 43.19 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 27 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 12 T = 29.77 \| (out)(err)	S = OPTIMUM \| O = 12 T = 31.45 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C800_H100_0.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 21 T = 159.68 \| (out)(err)	S = OPTIMUM \| O = 21 T = 114.16 \| (out)(err)	S = OPTIMUM \| O = 21 T = 317.60 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 32 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 21 T = 153.83 \| (out)(err)	S = OPTIMUM \| O = 21 T = 155.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 = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C800_H100_1.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 21 T = 240.33 \| (out)(err)	S = OPTIMUM \| O = 21 T = 148.98 \| (out)(err)	S = OPTIMUM \| O = 21 T = 481.55 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 72 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 21 T = 264.78 \| (out)(err)	S = OPTIMUM \| O = 21 T = 268.38 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C800_H100_2.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 20 T = 276.22 \| (out)(err)	S = OPTIMUM \| O = 20 T = 213.81 \| (out)(err)	S = OPTIMUM \| O = 20 T = 635.88 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 49 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 20 T = 308.18 \| (out)(err)	S = OPTIMUM \| O = 20 T = 308.10 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C800_H100_3.wcnf	S = N/A \| O = N/A T = 1793.14 \| (out)(err)	S = OPTIMUM \| O = 22 T = 97.92 \| (out)(err)	S = OPTIMUM \| O = 22 T = 90.84 \| (out)(err)	S = OPTIMUM \| O = 22 T = 154.11 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 34 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 22 T = 98.92 \| (out)(err)	S = OPTIMUM \| O = 22 T = 100.30 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C800_H100_4.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 18 T = 105.47 \| (out)(err)	S = OPTIMUM \| O = 18 T = 78.48 \| (out)(err)	S = OPTIMUM \| O = 18 T = 283.26 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 39 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 18 T = 143.94 \| (out)(err)	S = OPTIMUM \| O = 18 T = 144.87 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C800_H100_5.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 20 T = 118.63 \| (out)(err)	S = OPTIMUM \| O = 20 T = 91.20 \| (out)(err)	S = OPTIMUM \| O = 20 T = 226.56 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 66 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 20 T = 118.58 \| (out)(err)	S = OPTIMUM \| O = 20 T = 121.28 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 331.01 \| (out)(err)
file_rpms_wcnf_L3_V100_C800_H100_6.wcnf	S = N/A \| O = N/A T = 1798.15 \| (out)(err)	S = OPTIMUM \| O = 17 T = 105.97 \| (out)(err)	S = OPTIMUM \| O = 17 T = 62.34 \| (out)(err)	S = OPTIMUM \| O = 17 T = 212.71 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 43 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 17 T = 117.40 \| (out)(err)	S = OPTIMUM \| O = 17 T = 118.79 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C800_H100_7.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 23 T = 194.47 \| (out)(err)	S = OPTIMUM \| O = 23 T = 92.85 \| (out)(err)	S = OPTIMUM \| O = 23 T = 404.87 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 70 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 23 T = 201.88 \| (out)(err)	S = OPTIMUM \| O = 23 T = 198.81 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C800_H100_8.wcnf	S = N/A \| O = N/A T = 1799.24 \| (out)(err)	S = OPTIMUM \| O = 25 T = 657.44 \| (out)(err)	S = OPTIMUM \| O = 25 T = 598.65 \| (out)(err)	S = OPTIMUM \| O = 25 T = 1319.23 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 53 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 25 T = 683.50 \| (out)(err)	S = OPTIMUM \| O = 25 T = 680.15 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C800_H100_9.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 20 T = 182.76 \| (out)(err)	S = OPTIMUM \| O = 20 T = 84.07 \| (out)(err)	S = OPTIMUM \| O = 20 T = 334.13 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 40 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 20 T = 188.94 \| (out)(err)	S = OPTIMUM \| O = 20 T = 188.88 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 353.78 \| (out)(err)
file_rpms_wcnf_L3_V100_C300_H100_0.wcnf	S = OPTIMUM \| O = 0 T = 1.85 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.49 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rpms_wcnf_L3_V100_C300_H100_1.wcnf	S = OPTIMUM \| O = 0 T = 2.02 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.48 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rpms_wcnf_L3_V100_C300_H100_2.wcnf	S = OPTIMUM \| O = 0 T = 1.86 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.46 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rpms_wcnf_L3_V100_C300_H100_3.wcnf	S = OPTIMUM \| O = 0 T = 1.95 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.49 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rpms_wcnf_L3_V100_C300_H100_4.wcnf	S = OPTIMUM \| O = 0 T = 2.09 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.43 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rpms_wcnf_L3_V100_C300_H100_5.wcnf	S = OPTIMUM \| O = 0 T = 1.82 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.48 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rpms_wcnf_L3_V100_C300_H100_6.wcnf	S = OPTIMUM \| O = 0 T = 1.84 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.51 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rpms_wcnf_L3_V100_C300_H100_7.wcnf	S = OPTIMUM \| O = 0 T = 1.90 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.46 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rpms_wcnf_L3_V100_C300_H100_8.wcnf	S = OPTIMUM \| O = 0 T = 1.87 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.47 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rpms_wcnf_L3_V100_C300_H100_9.wcnf	S = OPTIMUM \| O = 0 T = 2.17 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.45 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rpms_wcnf_L3_V100_C400_H100_0.wcnf	S = OPTIMUM \| O = 0 T = 2.57 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.08 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.06 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.86 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.09 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.09 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rpms_wcnf_L3_V100_C400_H100_1.wcnf	S = OPTIMUM \| O = 0 T = 2.77 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.98 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)
file_rpms_wcnf_L3_V100_C400_H100_2.wcnf	S = OPTIMUM \| O = 0 T = 2.96 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 1.33 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.09 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.10 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rpms_wcnf_L3_V100_C400_H100_3.wcnf	S = OPTIMUM \| O = 0 T = 2.65 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.13 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.09 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 1.21 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.13 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.14 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rpms_wcnf_L3_V100_C400_H100_4.wcnf	S = OPTIMUM \| O = 0 T = 2.31 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.71 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.06 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.06 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rpms_wcnf_L3_V100_C400_H100_5.wcnf	S = OPTIMUM \| O = 0 T = 2.83 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.72 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rpms_wcnf_L3_V100_C400_H100_6.wcnf	S = OPTIMUM \| O = 0 T = 2.10 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.98 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)
file_rpms_wcnf_L3_V100_C400_H100_7.wcnf	S = OPTIMUM \| O = 0 T = 2.49 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.53 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.06 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.06 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rpms_wcnf_L3_V100_C400_H100_8.wcnf	S = OPTIMUM \| O = 0 T = 2.82 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.92 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rpms_wcnf_L3_V100_C400_H100_9.wcnf	S = OPTIMUM \| O = 0 T = 2.52 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.71 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rpms_wcnf_L3_V100_C500_H100_0.wcnf	S = OPTIMUM \| O = 2 T = 222.56 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.32 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.33 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.45 \| (out)(err)	S = OPTIMUM \| O = 2 T = 13.95 \| (out)(err)	S = OPTIMUM \| O = 2 T = 460.60 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.55 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.55 \| (out)(err)	S = OPTIMUM \| O = 2 T = 17.31 \| (out)(err)	S = OPTIMUM \| O = 2 T = 59.40 \| (out)(err)	S = OPTIMUM \| O = 2 T = 71.54 \| (out)(err)
file_rpms_wcnf_L3_V100_C500_H100_1.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3 T = 0.81 \| (out)(err)	S = OPTIMUM \| O = 3 T = 0.63 \| (out)(err)	S = OPTIMUM \| O = 3 T = 0.81 \| (out)(err)	S = OPTIMUM \| O = 3 T = 472.63 \| (out)(err)	S = OPTIMUM \| O = 3 T = 759.07 \| (out)(err)	S = OPTIMUM \| O = 3 T = 0.89 \| (out)(err)	S = OPTIMUM \| O = 3 T = 0.97 \| (out)(err)	S = OPTIMUM \| O = 3 T = 31.41 \| (out)(err)	S = OPTIMUM \| O = 3 T = 119.84 \| (out)(err)	S = OPTIMUM \| O = 3 T = 181.21 \| (out)(err)
file_rpms_wcnf_L3_V100_C500_H100_2.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3 T = 1.63 \| (out)(err)	S = OPTIMUM \| O = 3 T = 0.89 \| (out)(err)	S = OPTIMUM \| O = 3 T = 1.42 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 8 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3 T = 1.56 \| (out)(err)	S = OPTIMUM \| O = 3 T = 1.73 \| (out)(err)	S = OPTIMUM \| O = 3 T = 218.16 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C500_H100_3.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3 T = 0.87 \| (out)(err)	S = OPTIMUM \| O = 3 T = 0.61 \| (out)(err)	S = OPTIMUM \| O = 3 T = 0.69 \| (out)(err)	S = OPTIMUM \| O = 3 T = 193.62 \| (out)(err)	S = N/A \| O = 5 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3 T = 0.81 \| (out)(err)	S = OPTIMUM \| O = 3 T = 0.88 \| (out)(err)	S = OPTIMUM \| O = 3 T = 118.14 \| (out)(err)	S = OPTIMUM \| O = 3 T = 234.08 \| (out)(err)	S = OPTIMUM \| O = 3 T = 106.59 \| (out)(err)
file_rpms_wcnf_L3_V100_C500_H100_4.wcnf	S = N/A \| O = N/A T = 1798.65 \| (out)(err)	S = OPTIMUM \| O = 4 T = 5.78 \| (out)(err)	S = OPTIMUM \| O = 4 T = 1.68 \| (out)(err)	S = OPTIMUM \| O = 4 T = 6.60 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 8 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4 T = 6.43 \| (out)(err)	S = OPTIMUM \| O = 4 T = 6.84 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C500_H100_5.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4 T = 2.22 \| (out)(err)	S = OPTIMUM \| O = 4 T = 1.77 \| (out)(err)	S = OPTIMUM \| O = 4 T = 2.07 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 11 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4 T = 2.19 \| (out)(err)	S = OPTIMUM \| O = 4 T = 2.40 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C500_H100_6.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3 T = 1.21 \| (out)(err)	S = OPTIMUM \| O = 3 T = 0.66 \| (out)(err)	S = OPTIMUM \| O = 3 T = 0.95 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 15 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3 T = 1.16 \| (out)(err)	S = OPTIMUM \| O = 3 T = 1.27 \| (out)(err)	S = OPTIMUM \| O = 3 T = 56.20 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C500_H100_7.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3 T = 1.86 \| (out)(err)	S = OPTIMUM \| O = 3 T = 0.97 \| (out)(err)	S = OPTIMUM \| O = 3 T = 2.24 \| (out)(err)	S = OPTIMUM \| O = 3 T = 946.05 \| (out)(err)	S = N/A \| O = 4 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3 T = 2.10 \| (out)(err)	S = OPTIMUM \| O = 3 T = 2.27 \| (out)(err)	S = OPTIMUM \| O = 3 T = 73.90 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3 T = 468.25 \| (out)(err)
file_rpms_wcnf_L3_V100_C500_H100_8.wcnf	S = OPTIMUM \| O = 2 T = 212.68 \| (out)(err)	S = OPTIMUM \| O = 2 T = 1.11 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.49 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.95 \| (out)(err)	S = OPTIMUM \| O = 2 T = 1.25 \| (out)(err)	S = OPTIMUM \| O = 2 T = 95.19 \| (out)(err)	S = OPTIMUM \| O = 2 T = 1.04 \| (out)(err)	S = OPTIMUM \| O = 2 T = 1.15 \| (out)(err)	S = OPTIMUM \| O = 2 T = 2.59 \| (out)(err)	S = OPTIMUM \| O = 2 T = 1.79 \| (out)(err)	S = OPTIMUM \| O = 2 T = 1.75 \| (out)(err)
file_rpms_wcnf_L3_V100_C500_H100_9.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4 T = 2.12 \| (out)(err)	S = OPTIMUM \| O = 4 T = 1.83 \| (out)(err)	S = OPTIMUM \| O = 4 T = 1.98 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 18 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4 T = 1.99 \| (out)(err)	S = OPTIMUM \| O = 4 T = 2.20 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)

Instance file name	Clone	IUT_BCMB_LSWMaxsatz	IUT_BCMB_WMaxsatz	IncWMaxsatz	MSUnCore	SAT4J-Maxsat	WMaxSatz-1.6	WMaxSatz-2.5	pm2	wbo	wpm1
file_rpms_wcnf_L2_V150_C4000_H150_0.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 802 T = 26.59 \| (out)(err)	S = OPTIMUM \| O = 802 T = 3.80 \| (out)(err)	S = OPTIMUM \| O = 802 T = 3.56 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 911 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 802 T = 3.75 \| (out)(err)	S = OPTIMUM \| O = 802 T = 1.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 = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_1.wcnf	S = UNSAT \| O = 4950 T = 8.59 \| (out)(err)	S = UNSAT \| O = 4802 T = 20.81 \| (out)(err)	S = UNSAT \| O = 4802 T = 4.88 \| (out)(err)	S = UNSAT \| O = 4000 T = 0.05 \| (out)(err)	S = UNSAT \| O = N/A T = 4.66 \| (out)(err)	S = UNSAT \| O = N/A T = 1.44 \| (out)(err)	S = UNSAT \| O = 4000 T = 0.03 \| (out)(err)	S = UNSAT \| O = 4000 T = 0.03 \| (out)(err)	S = UNSAT \| O = N/A T = 0.02 \| (out)(err)	S = UNSAT \| O = N/A T = 3.58 \| (out)(err)	S = UNSAT \| O = N/A T = 0.02 \| (out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_2.wcnf	S = N/A \| O = 844 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 805 T = 53.71 \| (out)(err)	S = OPTIMUM \| O = 805 T = 5.07 \| (out)(err)	S = OPTIMUM \| O = 805 T = 5.63 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 932 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 805 T = 4.18 \| (out)(err)	S = OPTIMUM \| O = 805 T = 1.48 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_3.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 752 T = 13.45 \| (out)(err)	S = OPTIMUM \| O = 752 T = 2.22 \| (out)(err)	S = OPTIMUM \| O = 752 T = 24.10 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 900 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 752 T = 12.66 \| (out)(err)	S = OPTIMUM \| O = 752 T = 4.93 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_4.wcnf	S = N/A \| O = 794 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 750 T = 17.85 \| (out)(err)	S = OPTIMUM \| O = 750 T = 2.55 \| (out)(err)	S = OPTIMUM \| O = 750 T = 36.82 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 889 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 750 T = 22.32 \| (out)(err)	S = OPTIMUM \| O = 750 T = 5.82 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_5.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 756 T = 19.31 \| (out)(err)	S = OPTIMUM \| O = 756 T = 6.75 \| (out)(err)	S = OPTIMUM \| O = 756 T = 51.53 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 879 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 756 T = 33.79 \| (out)(err)	S = OPTIMUM \| O = 756 T = 19.16 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_6.wcnf	S = N/A \| O = 808 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 782 T = 30.47 \| (out)(err)	S = OPTIMUM \| O = 782 T = 15.81 \| (out)(err)	S = OPTIMUM \| O = 782 T = 96.56 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 880 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 782 T = 55.24 \| (out)(err)	S = OPTIMUM \| O = 782 T = 30.25 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_7.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 755 T = 13.43 \| (out)(err)	S = OPTIMUM \| O = 755 T = 5.72 \| (out)(err)	S = OPTIMUM \| O = 755 T = 101.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 912 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 755 T = 57.84 \| (out)(err)	S = OPTIMUM \| O = 755 T = 17.43 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_8.wcnf	S = N/A \| O = 780 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 764 T = 85.11 \| (out)(err)	S = OPTIMUM \| O = 764 T = 86.42 \| (out)(err)	S = OPTIMUM \| O = 764 T = 467.58 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 897 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 764 T = 210.05 \| (out)(err)	S = OPTIMUM \| O = 764 T = 91.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C4000_H150_9.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 792 T = 20.89 \| (out)(err)	S = OPTIMUM \| O = 792 T = 10.69 \| (out)(err)	S = OPTIMUM \| O = 792 T = 45.58 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 917 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 792 T = 24.86 \| (out)(err)	S = OPTIMUM \| O = 792 T = 12.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 = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_0.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 867 T = 41.22 \| (out)(err)	S = OPTIMUM \| O = 867 T = 14.45 \| (out)(err)	S = OPTIMUM \| O = 867 T = 354.93 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1027 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 867 T = 119.79 \| (out)(err)	S = OPTIMUM \| O = 867 T = 36.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 = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_1.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 905 T = 51.51 \| (out)(err)	S = OPTIMUM \| O = 905 T = 7.92 \| (out)(err)	S = OPTIMUM \| O = 905 T = 125.79 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1021 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 905 T = 59.52 \| (out)(err)	S = OPTIMUM \| O = 905 T = 30.94 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_2.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 912 T = 23.07 \| (out)(err)	S = OPTIMUM \| O = 912 T = 4.46 \| (out)(err)	S = OPTIMUM \| O = 912 T = 27.45 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1005 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 912 T = 18.83 \| (out)(err)	S = OPTIMUM \| O = 912 T = 13.31 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_3.wcnf	S = N/A \| O = 896 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 878 T = 7.63 \| (out)(err)	S = OPTIMUM \| O = 878 T = 2.53 \| (out)(err)	S = OPTIMUM \| O = 878 T = 8.93 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1033 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 878 T = 6.75 \| (out)(err)	S = OPTIMUM \| O = 878 T = 3.30 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_4.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 890 T = 29.50 \| (out)(err)	S = OPTIMUM \| O = 890 T = 19.15 \| (out)(err)	S = OPTIMUM \| O = 890 T = 315.27 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1046 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 890 T = 94.98 \| (out)(err)	S = OPTIMUM \| O = 890 T = 23.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 = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_5.wcnf	S = N/A \| O = 921 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 881 T = 29.52 \| (out)(err)	S = OPTIMUM \| O = 881 T = 12.20 \| (out)(err)	S = OPTIMUM \| O = 881 T = 98.69 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1040 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 881 T = 49.00 \| (out)(err)	S = OPTIMUM \| O = 881 T = 18.77 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_6.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 856 T = 11.99 \| (out)(err)	S = OPTIMUM \| O = 856 T = 2.16 \| (out)(err)	S = OPTIMUM \| O = 856 T = 77.99 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 967 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 856 T = 41.99 \| (out)(err)	S = OPTIMUM \| O = 856 T = 21.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 = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_7.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 875 T = 24.70 \| (out)(err)	S = OPTIMUM \| O = 875 T = 11.03 \| (out)(err)	S = OPTIMUM \| O = 875 T = 98.76 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1014 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 875 T = 58.72 \| (out)(err)	S = OPTIMUM \| O = 875 T = 31.12 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_8.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 908 T = 22.12 \| (out)(err)	S = OPTIMUM \| O = 908 T = 2.60 \| (out)(err)	S = OPTIMUM \| O = 908 T = 19.03 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1045 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 908 T = 16.21 \| (out)(err)	S = OPTIMUM \| O = 908 T = 5.03 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C4500_H150_9.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 898 T = 7.95 \| (out)(err)	S = OPTIMUM \| O = 898 T = 7.25 \| (out)(err)	S = OPTIMUM \| O = 898 T = 23.96 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1030 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 898 T = 15.43 \| (out)(err)	S = OPTIMUM \| O = 898 T = 7.86 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_0.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1018 T = 19.58 \| (out)(err)	S = OPTIMUM \| O = 1018 T = 2.87 \| (out)(err)	S = OPTIMUM \| O = 1018 T = 58.36 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1163 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1018 T = 42.76 \| (out)(err)	S = OPTIMUM \| O = 1018 T = 20.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 = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_1.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1015 T = 226.97 \| (out)(err)	S = OPTIMUM \| O = 1015 T = 3.85 \| (out)(err)	S = OPTIMUM \| O = 1015 T = 54.20 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1172 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1015 T = 41.10 \| (out)(err)	S = OPTIMUM \| O = 1015 T = 28.67 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_2.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 979 T = 11.83 \| (out)(err)	S = OPTIMUM \| O = 979 T = 6.98 \| (out)(err)	S = OPTIMUM \| O = 979 T = 169.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1146 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 979 T = 66.34 \| (out)(err)	S = OPTIMUM \| O = 979 T = 16.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 = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_3.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1032 T = 72.84 \| (out)(err)	S = OPTIMUM \| O = 1032 T = 12.90 \| (out)(err)	S = OPTIMUM \| O = 1032 T = 64.05 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1157 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1032 T = 31.84 \| (out)(err)	S = OPTIMUM \| O = 1032 T = 14.31 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_4.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1018 T = 104.20 \| (out)(err)	S = OPTIMUM \| O = 1018 T = 31.05 \| (out)(err)	S = OPTIMUM \| O = 1018 T = 1462.65 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1155 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1018 T = 337.66 \| (out)(err)	S = OPTIMUM \| O = 1018 T = 134.93 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_5.wcnf	S = N/A \| O = 1036 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 991 T = 25.71 \| (out)(err)	S = OPTIMUM \| O = 991 T = 6.20 \| (out)(err)	S = OPTIMUM \| O = 991 T = 97.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1122 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 991 T = 42.69 \| (out)(err)	S = OPTIMUM \| O = 991 T = 13.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_6.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1005 T = 22.29 \| (out)(err)	S = OPTIMUM \| O = 1005 T = 5.07 \| (out)(err)	S = OPTIMUM \| O = 1005 T = 40.80 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1129 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1005 T = 20.38 \| (out)(err)	S = OPTIMUM \| O = 1005 T = 9.78 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_7.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 991 T = 50.58 \| (out)(err)	S = OPTIMUM \| O = 991 T = 8.19 \| (out)(err)	S = OPTIMUM \| O = 991 T = 97.67 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1122 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 991 T = 55.82 \| (out)(err)	S = OPTIMUM \| O = 991 T = 34.82 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_8.wcnf	S = N/A \| O = 1040 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 999 T = 2.02 \| (out)(err)	S = OPTIMUM \| O = 999 T = 2.02 \| (out)(err)	S = OPTIMUM \| O = 999 T = 4.88 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1150 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 999 T = 8.12 \| (out)(err)	S = OPTIMUM \| O = 999 T = 2.34 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C5000_H150_9.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 993 T = 4.22 \| (out)(err)	S = OPTIMUM \| O = 993 T = 2.22 \| (out)(err)	S = OPTIMUM \| O = 993 T = 18.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1169 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 993 T = 9.65 \| (out)(err)	S = OPTIMUM \| O = 993 T = 4.31 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C1000_H150_0.wcnf	S = N/A \| O = 130 T = 1797.12 \| (out)(err)	S = OPTIMUM \| O = 127 T = 0.10 \| (out)(err)	S = OPTIMUM \| O = 127 T = 0.35 \| (out)(err)	S = OPTIMUM \| O = 127 T = 0.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 178 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 127 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 127 T = 0.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 = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C1000_H150_1.wcnf	S = N/A \| O = 153 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 145 T = 0.11 \| (out)(err)	S = OPTIMUM \| O = 145 T = 0.39 \| (out)(err)	S = OPTIMUM \| O = 145 T = 0.07 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 172 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 145 T = 0.13 \| (out)(err)	S = OPTIMUM \| O = 145 T = 0.09 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 356.19 \| (out)(err)
file_rpms_wcnf_L2_V150_C1000_H150_2.wcnf	S = N/A \| O = N/A T = 1796.91 \| (out)(err)	S = OPTIMUM \| O = 124 T = 1.81 \| (out)(err)	S = OPTIMUM \| O = 124 T = 0.33 \| (out)(err)	S = OPTIMUM \| O = 124 T = 0.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 165 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 124 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 124 T = 0.03 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 314.70 \| (out)(err)
file_rpms_wcnf_L2_V150_C1000_H150_3.wcnf	S = N/A \| O = N/A T = 1788.95 \| (out)(err)	S = OPTIMUM \| O = 144 T = 0.14 \| (out)(err)	S = OPTIMUM \| O = 144 T = 0.39 \| (out)(err)	S = OPTIMUM \| O = 144 T = 0.08 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 187 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 144 T = 0.15 \| (out)(err)	S = OPTIMUM \| O = 144 T = 0.11 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C1000_H150_4.wcnf	S = N/A \| O = 147 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 142 T = 0.39 \| (out)(err)	S = OPTIMUM \| O = 142 T = 0.46 \| (out)(err)	S = OPTIMUM \| O = 142 T = 0.03 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 168 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 142 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 142 T = 0.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 = N/A \| O = N/A T = 305.15 \| (out)(err)
file_rpms_wcnf_L2_V150_C1000_H150_5.wcnf	S = N/A \| O = N/A T = 1790.78 \| (out)(err)	S = OPTIMUM \| O = 127 T = 0.47 \| (out)(err)	S = OPTIMUM \| O = 127 T = 0.35 \| (out)(err)	S = OPTIMUM \| O = 127 T = 0.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 160 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 127 T = 0.07 \| (out)(err)	S = OPTIMUM \| O = 127 T = 0.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 = N/A \| O = N/A T = 279.40 \| (out)(err)
file_rpms_wcnf_L2_V150_C1000_H150_6.wcnf	S = N/A \| O = N/A T = 1780.85 \| (out)(err)	S = OPTIMUM \| O = 129 T = 0.57 \| (out)(err)	S = OPTIMUM \| O = 129 T = 0.33 \| (out)(err)	S = OPTIMUM \| O = 129 T = 0.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 171 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 129 T = 0.06 \| (out)(err)	S = OPTIMUM \| O = 129 T = 0.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 = N/A \| O = N/A T = 303.61 \| (out)(err)
file_rpms_wcnf_L2_V150_C1000_H150_7.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 142 T = 0.07 \| (out)(err)	S = OPTIMUM \| O = 142 T = 0.35 \| (out)(err)	S = OPTIMUM \| O = 142 T = 0.07 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 188 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 142 T = 0.12 \| (out)(err)	S = OPTIMUM \| O = 142 T = 0.07 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 357.80 \| (out)(err)
file_rpms_wcnf_L2_V150_C1000_H150_8.wcnf	S = N/A \| O = 121 T = 1776.70 \| (out)(err)	S = OPTIMUM \| O = 116 T = 0.11 \| (out)(err)	S = OPTIMUM \| O = 116 T = 0.39 \| (out)(err)	S = OPTIMUM \| O = 116 T = 0.07 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 153 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 116 T = 0.18 \| (out)(err)	S = OPTIMUM \| O = 116 T = 0.11 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 276.74 \| (out)(err)
file_rpms_wcnf_L2_V150_C1000_H150_9.wcnf	S = N/A \| O = 137 T = 1762.14 \| (out)(err)	S = OPTIMUM \| O = 129 T = 0.44 \| (out)(err)	S = OPTIMUM \| O = 129 T = 0.34 \| (out)(err)	S = OPTIMUM \| O = 129 T = 0.03 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 180 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 129 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 129 T = 0.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 = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C1500_H150_0.wcnf	S = N/A \| O = N/A T = 1789.78 \| (out)(err)	S = OPTIMUM \| O = 225 T = 1.89 \| (out)(err)	S = OPTIMUM \| O = 225 T = 1.64 \| (out)(err)	S = OPTIMUM \| O = 225 T = 2.77 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 264 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 225 T = 2.81 \| (out)(err)	S = OPTIMUM \| O = 225 T = 2.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C1500_H150_1.wcnf	S = N/A \| O = N/A T = 1782.74 \| (out)(err)	S = OPTIMUM \| O = 211 T = 0.73 \| (out)(err)	S = OPTIMUM \| O = 211 T = 0.44 \| (out)(err)	S = OPTIMUM \| O = 211 T = 0.13 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 290 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 211 T = 0.32 \| (out)(err)	S = OPTIMUM \| O = 211 T = 0.21 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C1500_H150_2.wcnf	S = N/A \| O = 251 T = 1786.51 \| (out)(err)	S = OPTIMUM \| O = 230 T = 1.28 \| (out)(err)	S = OPTIMUM \| O = 230 T = 0.54 \| (out)(err)	S = OPTIMUM \| O = 230 T = 0.95 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 313 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 230 T = 1.38 \| (out)(err)	S = OPTIMUM \| O = 230 T = 0.84 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C1500_H150_3.wcnf	S = N/A \| O = 249 T = 1796.72 \| (out)(err)	S = OPTIMUM \| O = 235 T = 0.21 \| (out)(err)	S = OPTIMUM \| O = 235 T = 0.45 \| (out)(err)	S = OPTIMUM \| O = 235 T = 0.26 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 307 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 235 T = 0.37 \| (out)(err)	S = OPTIMUM \| O = 235 T = 0.20 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 352.59 \| (out)(err)
file_rpms_wcnf_L2_V150_C1500_H150_4.wcnf	S = N/A \| O = N/A T = 1785.97 \| (out)(err)	S = OPTIMUM \| O = 236 T = 0.69 \| (out)(err)	S = OPTIMUM \| O = 236 T = 0.74 \| (out)(err)	S = OPTIMUM \| O = 236 T = 0.56 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 290 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 236 T = 0.69 \| (out)(err)	S = OPTIMUM \| O = 236 T = 0.51 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C1500_H150_5.wcnf	S = N/A \| O = N/A T = 1786.58 \| (out)(err)	S = OPTIMUM \| O = 201 T = 0.62 \| (out)(err)	S = OPTIMUM \| O = 201 T = 0.48 \| (out)(err)	S = OPTIMUM \| O = 201 T = 0.73 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 259 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 201 T = 1.50 \| (out)(err)	S = OPTIMUM \| O = 201 T = 1.03 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C1500_H150_6.wcnf	S = N/A \| O = N/A T = 1788.47 \| (out)(err)	S = OPTIMUM \| O = 217 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 217 T = 0.37 \| (out)(err)	S = OPTIMUM \| O = 217 T = 0.03 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 297 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 217 T = 0.08 \| (out)(err)	S = OPTIMUM \| O = 217 T = 0.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 = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C1500_H150_7.wcnf	S = N/A \| O = N/A T = 1785.23 \| (out)(err)	S = OPTIMUM \| O = 225 T = 0.88 \| (out)(err)	S = OPTIMUM \| O = 225 T = 0.54 \| (out)(err)	S = OPTIMUM \| O = 225 T = 0.82 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 282 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 225 T = 1.20 \| (out)(err)	S = OPTIMUM \| O = 225 T = 0.65 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C1500_H150_8.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 222 T = 1.58 \| (out)(err)	S = OPTIMUM \| O = 222 T = 0.75 \| (out)(err)	S = OPTIMUM \| O = 222 T = 1.06 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 307 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 222 T = 1.56 \| (out)(err)	S = OPTIMUM \| O = 222 T = 0.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 = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C1500_H150_9.wcnf	S = N/A \| O = N/A T = 1787.45 \| (out)(err)	S = OPTIMUM \| O = 226 T = 0.52 \| (out)(err)	S = OPTIMUM \| O = 226 T = 0.57 \| (out)(err)	S = OPTIMUM \| O = 226 T = 0.43 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 277 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 226 T = 0.72 \| (out)(err)	S = OPTIMUM \| O = 226 T = 0.45 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C2000_H150_0.wcnf	S = N/A \| O = 363 T = 1791.83 \| (out)(err)	S = OPTIMUM \| O = 346 T = 1.54 \| (out)(err)	S = OPTIMUM \| O = 346 T = 1.22 \| (out)(err)	S = OPTIMUM \| O = 346 T = 7.78 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 412 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 346 T = 5.48 \| (out)(err)	S = OPTIMUM \| O = 346 T = 1.57 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C2000_H150_1.wcnf	S = N/A \| O = N/A T = 1792.65 \| (out)(err)	S = OPTIMUM \| O = 325 T = 2.27 \| (out)(err)	S = OPTIMUM \| O = 325 T = 1.35 \| (out)(err)	S = OPTIMUM \| O = 325 T = 2.24 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 403 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 325 T = 2.25 \| (out)(err)	S = OPTIMUM \| O = 325 T = 1.54 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C2000_H150_2.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 335 T = 2.16 \| (out)(err)	S = OPTIMUM \| O = 335 T = 1.05 \| (out)(err)	S = OPTIMUM \| O = 335 T = 1.89 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 409 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 335 T = 2.41 \| (out)(err)	S = OPTIMUM \| O = 335 T = 1.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C2000_H150_3.wcnf	S = N/A \| O = N/A T = 1799.22 \| (out)(err)	S = N/A \| O = 6365 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 344 T = 0.54 \| (out)(err)	S = OPTIMUM \| O = 344 T = 1.29 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 431 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 344 T = 1.42 \| (out)(err)	S = OPTIMUM \| O = 344 T = 0.96 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C2000_H150_4.wcnf	S = N/A \| O = N/A T = 1789.37 \| (out)(err)	S = OPTIMUM \| O = 365 T = 1.62 \| (out)(err)	S = OPTIMUM \| O = 365 T = 0.64 \| (out)(err)	S = OPTIMUM \| O = 365 T = 0.59 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 429 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 365 T = 0.88 \| (out)(err)	S = OPTIMUM \| O = 365 T = 0.54 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C2000_H150_5.wcnf	S = N/A \| O = N/A T = 1792.92 \| (out)(err)	S = OPTIMUM \| O = 338 T = 6.61 \| (out)(err)	S = OPTIMUM \| O = 338 T = 0.62 \| (out)(err)	S = OPTIMUM \| O = 338 T = 16.36 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 430 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 338 T = 10.54 \| (out)(err)	S = OPTIMUM \| O = 338 T = 7.81 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C2000_H150_6.wcnf	S = N/A \| O = N/A T = 1778.71 \| (out)(err)	S = OPTIMUM \| O = 349 T = 2.48 \| (out)(err)	S = OPTIMUM \| O = 349 T = 0.47 \| (out)(err)	S = OPTIMUM \| O = 349 T = 0.39 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 423 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 349 T = 0.42 \| (out)(err)	S = OPTIMUM \| O = 349 T = 0.40 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C2000_H150_7.wcnf	S = N/A \| O = N/A T = 1785.41 \| (out)(err)	S = OPTIMUM \| O = 350 T = 1.23 \| (out)(err)	S = OPTIMUM \| O = 350 T = 1.42 \| (out)(err)	S = OPTIMUM \| O = 350 T = 2.94 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 437 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 350 T = 2.67 \| (out)(err)	S = OPTIMUM \| O = 350 T = 1.46 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C2000_H150_8.wcnf	S = N/A \| O = N/A T = 1798.18 \| (out)(err)	S = OPTIMUM \| O = 334 T = 0.99 \| (out)(err)	S = OPTIMUM \| O = 334 T = 1.10 \| (out)(err)	S = OPTIMUM \| O = 334 T = 0.75 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 425 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 334 T = 1.17 \| (out)(err)	S = OPTIMUM \| O = 334 T = 0.96 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 491.49 \| (out)(err)
file_rpms_wcnf_L2_V150_C2000_H150_9.wcnf	S = N/A \| O = N/A T = 1798.97 \| (out)(err)	S = OPTIMUM \| O = 341 T = 3.71 \| (out)(err)	S = OPTIMUM \| O = 341 T = 3.53 \| (out)(err)	S = OPTIMUM \| O = 341 T = 14.20 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 421 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 341 T = 6.38 \| (out)(err)	S = OPTIMUM \| O = 341 T = 3.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 = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_0.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 2956 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 464 T = 0.72 \| (out)(err)	S = OPTIMUM \| O = 464 T = 0.96 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 535 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 464 T = 1.13 \| (out)(err)	S = OPTIMUM \| O = 464 T = 0.58 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_1.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 454 T = 1.44 \| (out)(err)	S = OPTIMUM \| O = 454 T = 1.18 \| (out)(err)	S = OPTIMUM \| O = 454 T = 2.08 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 559 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 454 T = 2.27 \| (out)(err)	S = OPTIMUM \| O = 454 T = 1.31 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_2.wcnf	S = N/A \| O = N/A T = 1799.57 \| (out)(err)	S = OPTIMUM \| O = 423 T = 8.75 \| (out)(err)	S = OPTIMUM \| O = 423 T = 1.61 \| (out)(err)	S = OPTIMUM \| O = 423 T = 17.77 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 541 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 423 T = 10.97 \| (out)(err)	S = OPTIMUM \| O = 423 T = 5.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 = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_3.wcnf	S = N/A \| O = 466 T = 1794.17 \| (out)(err)	S = OPTIMUM \| O = 442 T = 4.10 \| (out)(err)	S = OPTIMUM \| O = 442 T = 2.65 \| (out)(err)	S = OPTIMUM \| O = 442 T = 5.47 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 549 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 442 T = 4.35 \| (out)(err)	S = OPTIMUM \| O = 442 T = 2.29 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 699.64 \| (out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_4.wcnf	S = N/A \| O = N/A T = 1793.43 \| (out)(err)	S = OPTIMUM \| O = 447 T = 0.40 \| (out)(err)	S = OPTIMUM \| O = 447 T = 0.83 \| (out)(err)	S = OPTIMUM \| O = 447 T = 0.91 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 535 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 447 T = 1.22 \| (out)(err)	S = OPTIMUM \| O = 447 T = 0.48 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_5.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 433 T = 1.25 \| (out)(err)	S = OPTIMUM \| O = 433 T = 0.61 \| (out)(err)	S = OPTIMUM \| O = 433 T = 0.36 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 521 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 433 T = 0.62 \| (out)(err)	S = OPTIMUM \| O = 433 T = 0.37 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_6.wcnf	S = N/A \| O = N/A T = 1795.26 \| (out)(err)	S = OPTIMUM \| O = 461 T = 2.23 \| (out)(err)	S = OPTIMUM \| O = 461 T = 1.86 \| (out)(err)	S = OPTIMUM \| O = 461 T = 3.28 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 523 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 461 T = 2.65 \| (out)(err)	S = OPTIMUM \| O = 461 T = 1.75 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_7.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 434 T = 32.05 \| (out)(err)	S = OPTIMUM \| O = 434 T = 1.66 \| (out)(err)	S = OPTIMUM \| O = 434 T = 12.65 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 540 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 434 T = 10.06 \| (out)(err)	S = OPTIMUM \| O = 434 T = 5.23 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_8.wcnf	S = N/A \| O = N/A T = 1798.65 \| (out)(err)	S = OPTIMUM \| O = 456 T = 2.99 \| (out)(err)	S = OPTIMUM \| O = 456 T = 2.77 \| (out)(err)	S = OPTIMUM \| O = 456 T = 5.97 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 531 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 456 T = 6.80 \| (out)(err)	S = OPTIMUM \| O = 456 T = 3.11 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C2500_H150_9.wcnf	S = N/A \| O = 497 T = 1799.19 \| (out)(err)	S = OPTIMUM \| O = 470 T = 1.85 \| (out)(err)	S = OPTIMUM \| O = 470 T = 0.78 \| (out)(err)	S = OPTIMUM \| O = 470 T = 0.39 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 558 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 470 T = 0.77 \| (out)(err)	S = OPTIMUM \| O = 470 T = 0.41 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_0.wcnf	S = N/A \| O = 579 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 539 T = 5.44 \| (out)(err)	S = OPTIMUM \| O = 539 T = 4.81 \| (out)(err)	S = OPTIMUM \| O = 539 T = 20.60 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 669 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 539 T = 15.11 \| (out)(err)	S = OPTIMUM \| O = 539 T = 7.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_1.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 560 T = 17.41 \| (out)(err)	S = OPTIMUM \| O = 560 T = 13.91 \| (out)(err)	S = OPTIMUM \| O = 560 T = 50.68 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 692 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 560 T = 28.43 \| (out)(err)	S = OPTIMUM \| O = 560 T = 24.75 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_2.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 531 T = 1.75 \| (out)(err)	S = OPTIMUM \| O = 531 T = 1.20 \| (out)(err)	S = OPTIMUM \| O = 531 T = 7.71 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 657 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 531 T = 10.97 \| (out)(err)	S = OPTIMUM \| O = 531 T = 7.19 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_3.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 555 T = 18.79 \| (out)(err)	S = OPTIMUM \| O = 555 T = 3.78 \| (out)(err)	S = OPTIMUM \| O = 555 T = 54.43 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 652 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 555 T = 32.04 \| (out)(err)	S = OPTIMUM \| O = 555 T = 18.10 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_4.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 3595 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 556 T = 0.91 \| (out)(err)	S = OPTIMUM \| O = 556 T = 1.64 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 649 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 556 T = 1.74 \| (out)(err)	S = OPTIMUM \| O = 556 T = 1.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_5.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 538 T = 24.93 \| (out)(err)	S = OPTIMUM \| O = 538 T = 9.76 \| (out)(err)	S = OPTIMUM \| O = 538 T = 140.62 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 669 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 538 T = 65.06 \| (out)(err)	S = OPTIMUM \| O = 538 T = 25.98 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_6.wcnf	S = N/A \| O = 575 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 537 T = 16.53 \| (out)(err)	S = OPTIMUM \| O = 537 T = 9.99 \| (out)(err)	S = OPTIMUM \| O = 537 T = 43.22 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 649 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 537 T = 30.72 \| (out)(err)	S = OPTIMUM \| O = 537 T = 14.30 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_7.wcnf	S = N/A \| O = 557 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 527 T = 3.40 \| (out)(err)	S = OPTIMUM \| O = 527 T = 2.06 \| (out)(err)	S = OPTIMUM \| O = 527 T = 6.24 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 654 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 527 T = 7.00 \| (out)(err)	S = OPTIMUM \| O = 527 T = 3.89 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_8.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 564 T = 27.03 \| (out)(err)	S = OPTIMUM \| O = 564 T = 13.01 \| (out)(err)	S = OPTIMUM \| O = 564 T = 103.77 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 649 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 564 T = 64.72 \| (out)(err)	S = OPTIMUM \| O = 564 T = 39.16 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3000_H150_9.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 552 T = 3.13 \| (out)(err)	S = OPTIMUM \| O = 552 T = 2.99 \| (out)(err)	S = OPTIMUM \| O = 552 T = 7.82 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 650 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 552 T = 5.99 \| (out)(err)	S = OPTIMUM \| O = 552 T = 3.36 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_0.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 680 T = 39.97 \| (out)(err)	S = OPTIMUM \| O = 680 T = 7.27 \| (out)(err)	S = OPTIMUM \| O = 680 T = 155.23 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 784 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 680 T = 70.08 \| (out)(err)	S = OPTIMUM \| O = 680 T = 27.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 = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_1.wcnf	S = N/A \| O = 709 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 679 T = 5.71 \| (out)(err)	S = OPTIMUM \| O = 679 T = 3.63 \| (out)(err)	S = OPTIMUM \| O = 679 T = 8.29 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 796 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 679 T = 10.70 \| (out)(err)	S = OPTIMUM \| O = 679 T = 6.37 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_2.wcnf	S = N/A \| O = 740 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 716 T = 5.71 \| (out)(err)	S = OPTIMUM \| O = 716 T = 3.58 \| (out)(err)	S = OPTIMUM \| O = 716 T = 8.87 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 794 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 716 T = 5.63 \| (out)(err)	S = OPTIMUM \| O = 716 T = 3.33 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_3.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 669 T = 17.95 \| (out)(err)	S = OPTIMUM \| O = 669 T = 2.38 \| (out)(err)	S = OPTIMUM \| O = 669 T = 15.28 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 776 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 669 T = 11.21 \| (out)(err)	S = OPTIMUM \| O = 669 T = 5.87 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_4.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 627 T = 4.59 \| (out)(err)	S = OPTIMUM \| O = 627 T = 3.46 \| (out)(err)	S = OPTIMUM \| O = 627 T = 21.52 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 766 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 627 T = 10.85 \| (out)(err)	S = OPTIMUM \| O = 627 T = 4.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 = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_5.wcnf	S = N/A \| O = 707 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 667 T = 41.88 \| (out)(err)	S = OPTIMUM \| O = 667 T = 14.86 \| (out)(err)	S = OPTIMUM \| O = 667 T = 173.88 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 798 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 667 T = 75.05 \| (out)(err)	S = OPTIMUM \| O = 667 T = 37.93 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_6.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 688 T = 22.21 \| (out)(err)	S = OPTIMUM \| O = 688 T = 0.75 \| (out)(err)	S = OPTIMUM \| O = 688 T = 1.90 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 814 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 688 T = 2.89 \| (out)(err)	S = OPTIMUM \| O = 688 T = 1.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 = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_7.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 675 T = 4.80 \| (out)(err)	S = OPTIMUM \| O = 675 T = 1.98 \| (out)(err)	S = OPTIMUM \| O = 675 T = 2.68 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 789 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 675 T = 3.44 \| (out)(err)	S = OPTIMUM \| O = 675 T = 1.60 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_8.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 675 T = 8.66 \| (out)(err)	S = OPTIMUM \| O = 675 T = 2.37 \| (out)(err)	S = OPTIMUM \| O = 675 T = 8.62 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 812 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 675 T = 6.37 \| (out)(err)	S = OPTIMUM \| O = 675 T = 2.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 = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L2_V150_C3500_H150_9.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 638 T = 13.06 \| (out)(err)	S = OPTIMUM \| O = 638 T = 3.85 \| (out)(err)	S = OPTIMUM \| O = 638 T = 32.19 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 786 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 638 T = 24.02 \| (out)(err)	S = OPTIMUM \| O = 638 T = 10.93 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C600_H100_0.wcnf	S = N/A \| O = N/A T = 1799.36 \| (out)(err)	S = OPTIMUM \| O = 8 T = 4.78 \| (out)(err)	S = OPTIMUM \| O = 8 T = 4.77 \| (out)(err)	S = OPTIMUM \| O = 8 T = 5.40 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 15 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 8 T = 4.63 \| (out)(err)	S = OPTIMUM \| O = 8 T = 4.91 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C600_H100_1.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 8 T = 11.36 \| (out)(err)	S = OPTIMUM \| O = 8 T = 6.98 \| (out)(err)	S = OPTIMUM \| O = 8 T = 16.59 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 13 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 8 T = 12.93 \| (out)(err)	S = OPTIMUM \| O = 8 T = 13.78 \| (out)(err)	S = N/A \| O = N/A T = 390.07 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C600_H100_2.wcnf	S = N/A \| O = N/A T = 1797.28 \| (out)(err)	S = OPTIMUM \| O = 8 T = 16.84 \| (out)(err)	S = OPTIMUM \| O = 8 T = 3.16 \| (out)(err)	S = OPTIMUM \| O = 8 T = 24.44 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 36 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 8 T = 18.56 \| (out)(err)	S = OPTIMUM \| O = 8 T = 19.43 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C600_H100_3.wcnf	S = N/A \| O = N/A T = 1792.46 \| (out)(err)	S = OPTIMUM \| O = 9 T = 15.06 \| (out)(err)	S = OPTIMUM \| O = 9 T = 7.48 \| (out)(err)	S = OPTIMUM \| O = 9 T = 20.16 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 16 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 9 T = 14.82 \| (out)(err)	S = OPTIMUM \| O = 9 T = 15.68 \| (out)(err)	S = N/A \| O = N/A T = 358.05 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C600_H100_4.wcnf	S = N/A \| O = N/A T = 1795.20 \| (out)(err)	S = OPTIMUM \| O = 7 T = 3.77 \| (out)(err)	S = OPTIMUM \| O = 7 T = 2.13 \| (out)(err)	S = OPTIMUM \| O = 7 T = 4.21 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 14 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 7 T = 3.69 \| (out)(err)	S = OPTIMUM \| O = 7 T = 3.96 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 290.49 \| (out)(err)
file_rpms_wcnf_L3_V100_C600_H100_5.wcnf	S = N/A \| O = N/A T = 1795.05 \| (out)(err)	S = OPTIMUM \| O = 8 T = 4.51 \| (out)(err)	S = OPTIMUM \| O = 8 T = 3.44 \| (out)(err)	S = OPTIMUM \| O = 8 T = 5.28 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 16 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 8 T = 4.27 \| (out)(err)	S = OPTIMUM \| O = 8 T = 4.64 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 281.40 \| (out)(err)
file_rpms_wcnf_L3_V100_C600_H100_6.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 7 T = 10.62 \| (out)(err)	S = OPTIMUM \| O = 7 T = 4.15 \| (out)(err)	S = OPTIMUM \| O = 7 T = 15.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 15 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 7 T = 10.91 \| (out)(err)	S = OPTIMUM \| O = 7 T = 11.77 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 266.18 \| (out)(err)
file_rpms_wcnf_L3_V100_C600_H100_7.wcnf	S = N/A \| O = N/A T = 1797.58 \| (out)(err)	S = OPTIMUM \| O = 8 T = 12.24 \| (out)(err)	S = OPTIMUM \| O = 8 T = 10.55 \| (out)(err)	S = OPTIMUM \| O = 8 T = 15.46 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 31 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 8 T = 11.79 \| (out)(err)	S = OPTIMUM \| O = 8 T = 12.60 \| (out)(err)	S = N/A \| O = N/A T = 411.14 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C600_H100_8.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5 T = 4.76 \| (out)(err)	S = OPTIMUM \| O = 5 T = 1.83 \| (out)(err)	S = OPTIMUM \| O = 5 T = 8.51 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 6 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5 T = 6.67 \| (out)(err)	S = OPTIMUM \| O = 5 T = 6.93 \| (out)(err)	S = N/A \| O = N/A T = 510.84 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C600_H100_9.wcnf	S = N/A \| O = N/A T = 1794.99 \| (out)(err)	S = OPTIMUM \| O = 9 T = 13.60 \| (out)(err)	S = OPTIMUM \| O = 9 T = 7.13 \| (out)(err)	S = OPTIMUM \| O = 9 T = 18.06 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 14 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 9 T = 14.45 \| (out)(err)	S = OPTIMUM \| O = 9 T = 15.20 \| (out)(err)	S = N/A \| O = N/A T = 397.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)
file_rpms_wcnf_L3_V100_C700_H100_0.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 18 T = 73.09 \| (out)(err)	S = OPTIMUM \| O = 18 T = 61.54 \| (out)(err)	S = OPTIMUM \| O = 18 T = 117.56 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 37 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 18 T = 72.20 \| (out)(err)	S = OPTIMUM \| O = 18 T = 74.77 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C700_H100_1.wcnf	S = N/A \| O = N/A T = 1792.78 \| (out)(err)	S = OPTIMUM \| O = 14 T = 51.79 \| (out)(err)	S = OPTIMUM \| O = 14 T = 27.30 \| (out)(err)	S = OPTIMUM \| O = 14 T = 160.79 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 37 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 14 T = 80.19 \| (out)(err)	S = OPTIMUM \| O = 14 T = 83.76 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C700_H100_2.wcnf	S = N/A \| O = N/A T = 1793.73 \| (out)(err)	S = OPTIMUM \| O = 15 T = 38.44 \| (out)(err)	S = OPTIMUM \| O = 15 T = 34.60 \| (out)(err)	S = OPTIMUM \| O = 15 T = 59.04 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 36 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 15 T = 37.82 \| (out)(err)	S = OPTIMUM \| O = 15 T = 39.17 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C700_H100_3.wcnf	S = N/A \| O = N/A T = 1798.35 \| (out)(err)	S = OPTIMUM \| O = 12 T = 37.96 \| (out)(err)	S = OPTIMUM \| O = 12 T = 28.55 \| (out)(err)	S = OPTIMUM \| O = 12 T = 66.53 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 24 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 12 T = 37.45 \| (out)(err)	S = OPTIMUM \| O = 12 T = 38.92 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C700_H100_4.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 11 T = 33.99 \| (out)(err)	S = OPTIMUM \| O = 11 T = 5.60 \| (out)(err)	S = OPTIMUM \| O = 11 T = 84.55 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 28 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 11 T = 49.14 \| (out)(err)	S = OPTIMUM \| O = 11 T = 50.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 = N/A \| O = N/A T = 406.21 \| (out)(err)
file_rpms_wcnf_L3_V100_C700_H100_5.wcnf	S = N/A \| O = N/A T = 1799.13 \| (out)(err)	S = OPTIMUM \| O = 14 T = 114.66 \| (out)(err)	S = OPTIMUM \| O = 14 T = 31.02 \| (out)(err)	S = OPTIMUM \| O = 14 T = 205.25 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 29 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 14 T = 119.47 \| (out)(err)	S = OPTIMUM \| O = 14 T = 122.58 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 308.53 \| (out)(err)
file_rpms_wcnf_L3_V100_C700_H100_6.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 12 T = 51.68 \| (out)(err)	S = OPTIMUM \| O = 12 T = 22.61 \| (out)(err)	S = OPTIMUM \| O = 12 T = 88.33 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 33 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 12 T = 56.90 \| (out)(err)	S = OPTIMUM \| O = 12 T = 59.23 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C700_H100_7.wcnf	S = N/A \| O = N/A T = 1797.43 \| (out)(err)	S = OPTIMUM \| O = 17 T = 114.79 \| (out)(err)	S = OPTIMUM \| O = 17 T = 88.99 \| (out)(err)	S = OPTIMUM \| O = 17 T = 232.39 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 54 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 17 T = 112.36 \| (out)(err)	S = OPTIMUM \| O = 17 T = 117.08 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C700_H100_8.wcnf	S = N/A \| O = N/A T = 1791.59 \| (out)(err)	S = OPTIMUM \| O = 16 T = 170.75 \| (out)(err)	S = OPTIMUM \| O = 16 T = 133.05 \| (out)(err)	S = OPTIMUM \| O = 16 T = 291.81 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 30 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 16 T = 169.13 \| (out)(err)	S = OPTIMUM \| O = 16 T = 173.50 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C700_H100_9.wcnf	S = N/A \| O = N/A T = 1797.36 \| (out)(err)	S = OPTIMUM \| O = 12 T = 30.66 \| (out)(err)	S = OPTIMUM \| O = 12 T = 7.89 \| (out)(err)	S = OPTIMUM \| O = 12 T = 43.19 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 27 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 12 T = 29.77 \| (out)(err)	S = OPTIMUM \| O = 12 T = 31.45 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C800_H100_0.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 21 T = 159.68 \| (out)(err)	S = OPTIMUM \| O = 21 T = 114.16 \| (out)(err)	S = OPTIMUM \| O = 21 T = 317.60 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 32 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 21 T = 153.83 \| (out)(err)	S = OPTIMUM \| O = 21 T = 155.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 = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C800_H100_1.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 21 T = 240.33 \| (out)(err)	S = OPTIMUM \| O = 21 T = 148.98 \| (out)(err)	S = OPTIMUM \| O = 21 T = 481.55 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 72 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 21 T = 264.78 \| (out)(err)	S = OPTIMUM \| O = 21 T = 268.38 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C800_H100_2.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 20 T = 276.22 \| (out)(err)	S = OPTIMUM \| O = 20 T = 213.81 \| (out)(err)	S = OPTIMUM \| O = 20 T = 635.88 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 49 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 20 T = 308.18 \| (out)(err)	S = OPTIMUM \| O = 20 T = 308.10 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C800_H100_3.wcnf	S = N/A \| O = N/A T = 1793.14 \| (out)(err)	S = OPTIMUM \| O = 22 T = 97.92 \| (out)(err)	S = OPTIMUM \| O = 22 T = 90.84 \| (out)(err)	S = OPTIMUM \| O = 22 T = 154.11 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 34 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 22 T = 98.92 \| (out)(err)	S = OPTIMUM \| O = 22 T = 100.30 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C800_H100_4.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 18 T = 105.47 \| (out)(err)	S = OPTIMUM \| O = 18 T = 78.48 \| (out)(err)	S = OPTIMUM \| O = 18 T = 283.26 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 39 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 18 T = 143.94 \| (out)(err)	S = OPTIMUM \| O = 18 T = 144.87 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C800_H100_5.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 20 T = 118.63 \| (out)(err)	S = OPTIMUM \| O = 20 T = 91.20 \| (out)(err)	S = OPTIMUM \| O = 20 T = 226.56 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 66 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 20 T = 118.58 \| (out)(err)	S = OPTIMUM \| O = 20 T = 121.28 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 331.01 \| (out)(err)
file_rpms_wcnf_L3_V100_C800_H100_6.wcnf	S = N/A \| O = N/A T = 1798.15 \| (out)(err)	S = OPTIMUM \| O = 17 T = 105.97 \| (out)(err)	S = OPTIMUM \| O = 17 T = 62.34 \| (out)(err)	S = OPTIMUM \| O = 17 T = 212.71 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 43 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 17 T = 117.40 \| (out)(err)	S = OPTIMUM \| O = 17 T = 118.79 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C800_H100_7.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 23 T = 194.47 \| (out)(err)	S = OPTIMUM \| O = 23 T = 92.85 \| (out)(err)	S = OPTIMUM \| O = 23 T = 404.87 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 70 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 23 T = 201.88 \| (out)(err)	S = OPTIMUM \| O = 23 T = 198.81 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C800_H100_8.wcnf	S = N/A \| O = N/A T = 1799.24 \| (out)(err)	S = OPTIMUM \| O = 25 T = 657.44 \| (out)(err)	S = OPTIMUM \| O = 25 T = 598.65 \| (out)(err)	S = OPTIMUM \| O = 25 T = 1319.23 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 53 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 25 T = 683.50 \| (out)(err)	S = OPTIMUM \| O = 25 T = 680.15 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C800_H100_9.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 20 T = 182.76 \| (out)(err)	S = OPTIMUM \| O = 20 T = 84.07 \| (out)(err)	S = OPTIMUM \| O = 20 T = 334.13 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 40 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 20 T = 188.94 \| (out)(err)	S = OPTIMUM \| O = 20 T = 188.88 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 353.78 \| (out)(err)
file_rpms_wcnf_L3_V100_C300_H100_0.wcnf	S = OPTIMUM \| O = 0 T = 1.85 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.49 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rpms_wcnf_L3_V100_C300_H100_1.wcnf	S = OPTIMUM \| O = 0 T = 2.02 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.48 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rpms_wcnf_L3_V100_C300_H100_2.wcnf	S = OPTIMUM \| O = 0 T = 1.86 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.46 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rpms_wcnf_L3_V100_C300_H100_3.wcnf	S = OPTIMUM \| O = 0 T = 1.95 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.49 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rpms_wcnf_L3_V100_C300_H100_4.wcnf	S = OPTIMUM \| O = 0 T = 2.09 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.43 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rpms_wcnf_L3_V100_C300_H100_5.wcnf	S = OPTIMUM \| O = 0 T = 1.82 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.48 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rpms_wcnf_L3_V100_C300_H100_6.wcnf	S = OPTIMUM \| O = 0 T = 1.84 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.51 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rpms_wcnf_L3_V100_C300_H100_7.wcnf	S = OPTIMUM \| O = 0 T = 1.90 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.46 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rpms_wcnf_L3_V100_C300_H100_8.wcnf	S = OPTIMUM \| O = 0 T = 1.87 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.47 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rpms_wcnf_L3_V100_C300_H100_9.wcnf	S = OPTIMUM \| O = 0 T = 2.17 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.45 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rpms_wcnf_L3_V100_C400_H100_0.wcnf	S = OPTIMUM \| O = 0 T = 2.57 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.08 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.06 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.86 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.09 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.09 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rpms_wcnf_L3_V100_C400_H100_1.wcnf	S = OPTIMUM \| O = 0 T = 2.77 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.98 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)
file_rpms_wcnf_L3_V100_C400_H100_2.wcnf	S = OPTIMUM \| O = 0 T = 2.96 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 1.33 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.09 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.10 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rpms_wcnf_L3_V100_C400_H100_3.wcnf	S = OPTIMUM \| O = 0 T = 2.65 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.13 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.09 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 1.21 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.13 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.14 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rpms_wcnf_L3_V100_C400_H100_4.wcnf	S = OPTIMUM \| O = 0 T = 2.31 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.71 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.06 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.06 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rpms_wcnf_L3_V100_C400_H100_5.wcnf	S = OPTIMUM \| O = 0 T = 2.83 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.72 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rpms_wcnf_L3_V100_C400_H100_6.wcnf	S = OPTIMUM \| O = 0 T = 2.10 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.98 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)
file_rpms_wcnf_L3_V100_C400_H100_7.wcnf	S = OPTIMUM \| O = 0 T = 2.49 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.53 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.06 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.06 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rpms_wcnf_L3_V100_C400_H100_8.wcnf	S = OPTIMUM \| O = 0 T = 2.82 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.92 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rpms_wcnf_L3_V100_C400_H100_9.wcnf	S = OPTIMUM \| O = 0 T = 2.52 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.71 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rpms_wcnf_L3_V100_C500_H100_0.wcnf	S = OPTIMUM \| O = 2 T = 222.56 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.32 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.33 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.45 \| (out)(err)	S = OPTIMUM \| O = 2 T = 13.95 \| (out)(err)	S = OPTIMUM \| O = 2 T = 460.60 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.55 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.55 \| (out)(err)	S = OPTIMUM \| O = 2 T = 17.31 \| (out)(err)	S = OPTIMUM \| O = 2 T = 59.40 \| (out)(err)	S = OPTIMUM \| O = 2 T = 71.54 \| (out)(err)
file_rpms_wcnf_L3_V100_C500_H100_1.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3 T = 0.81 \| (out)(err)	S = OPTIMUM \| O = 3 T = 0.63 \| (out)(err)	S = OPTIMUM \| O = 3 T = 0.81 \| (out)(err)	S = OPTIMUM \| O = 3 T = 472.63 \| (out)(err)	S = OPTIMUM \| O = 3 T = 759.07 \| (out)(err)	S = OPTIMUM \| O = 3 T = 0.89 \| (out)(err)	S = OPTIMUM \| O = 3 T = 0.97 \| (out)(err)	S = OPTIMUM \| O = 3 T = 31.41 \| (out)(err)	S = OPTIMUM \| O = 3 T = 119.84 \| (out)(err)	S = OPTIMUM \| O = 3 T = 181.21 \| (out)(err)
file_rpms_wcnf_L3_V100_C500_H100_2.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3 T = 1.63 \| (out)(err)	S = OPTIMUM \| O = 3 T = 0.89 \| (out)(err)	S = OPTIMUM \| O = 3 T = 1.42 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 8 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3 T = 1.56 \| (out)(err)	S = OPTIMUM \| O = 3 T = 1.73 \| (out)(err)	S = OPTIMUM \| O = 3 T = 218.16 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C500_H100_3.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3 T = 0.87 \| (out)(err)	S = OPTIMUM \| O = 3 T = 0.61 \| (out)(err)	S = OPTIMUM \| O = 3 T = 0.69 \| (out)(err)	S = OPTIMUM \| O = 3 T = 193.62 \| (out)(err)	S = N/A \| O = 5 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3 T = 0.81 \| (out)(err)	S = OPTIMUM \| O = 3 T = 0.88 \| (out)(err)	S = OPTIMUM \| O = 3 T = 118.14 \| (out)(err)	S = OPTIMUM \| O = 3 T = 234.08 \| (out)(err)	S = OPTIMUM \| O = 3 T = 106.59 \| (out)(err)
file_rpms_wcnf_L3_V100_C500_H100_4.wcnf	S = N/A \| O = N/A T = 1798.65 \| (out)(err)	S = OPTIMUM \| O = 4 T = 5.78 \| (out)(err)	S = OPTIMUM \| O = 4 T = 1.68 \| (out)(err)	S = OPTIMUM \| O = 4 T = 6.60 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 8 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4 T = 6.43 \| (out)(err)	S = OPTIMUM \| O = 4 T = 6.84 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C500_H100_5.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4 T = 2.22 \| (out)(err)	S = OPTIMUM \| O = 4 T = 1.77 \| (out)(err)	S = OPTIMUM \| O = 4 T = 2.07 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 11 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4 T = 2.19 \| (out)(err)	S = OPTIMUM \| O = 4 T = 2.40 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C500_H100_6.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3 T = 1.21 \| (out)(err)	S = OPTIMUM \| O = 3 T = 0.66 \| (out)(err)	S = OPTIMUM \| O = 3 T = 0.95 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 15 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3 T = 1.16 \| (out)(err)	S = OPTIMUM \| O = 3 T = 1.27 \| (out)(err)	S = OPTIMUM \| O = 3 T = 56.20 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rpms_wcnf_L3_V100_C500_H100_7.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3 T = 1.86 \| (out)(err)	S = OPTIMUM \| O = 3 T = 0.97 \| (out)(err)	S = OPTIMUM \| O = 3 T = 2.24 \| (out)(err)	S = OPTIMUM \| O = 3 T = 946.05 \| (out)(err)	S = N/A \| O = 4 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3 T = 2.10 \| (out)(err)	S = OPTIMUM \| O = 3 T = 2.27 \| (out)(err)	S = OPTIMUM \| O = 3 T = 73.90 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3 T = 468.25 \| (out)(err)
file_rpms_wcnf_L3_V100_C500_H100_8.wcnf	S = OPTIMUM \| O = 2 T = 212.68 \| (out)(err)	S = OPTIMUM \| O = 2 T = 1.11 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.49 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.95 \| (out)(err)	S = OPTIMUM \| O = 2 T = 1.25 \| (out)(err)	S = OPTIMUM \| O = 2 T = 95.19 \| (out)(err)	S = OPTIMUM \| O = 2 T = 1.04 \| (out)(err)	S = OPTIMUM \| O = 2 T = 1.15 \| (out)(err)	S = OPTIMUM \| O = 2 T = 2.59 \| (out)(err)	S = OPTIMUM \| O = 2 T = 1.79 \| (out)(err)	S = OPTIMUM \| O = 2 T = 1.75 \| (out)(err)
file_rpms_wcnf_L3_V100_C500_H100_9.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4 T = 2.12 \| (out)(err)	S = OPTIMUM \| O = 4 T = 1.83 \| (out)(err)	S = OPTIMUM \| O = 4 T = 1.98 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 18 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4 T = 1.99 \| (out)(err)	S = OPTIMUM \| O = 4 T = 2.20 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)