Partial Max-SAT (Crafted)

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

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

Instance file name	Clone	IUT_BCMB_WMaxsatz	MSUnCore	SAT4J-Maxsat	WMaxSatz-1.6	WMaxSatz-2.5	pm2	wbo	wpm1
ft10-808-1090.wcnf	S = N/A \| O = N/A T = 12.36 \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 136 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = N/A \| O = N/A T = 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)
la01-666-0671.wcnf	S = N/A \| O = N/A T = 9.69 \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 12.43 \| (out)(err)	S = OPTIMUM \| O = 0 T = 11.59 \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 8.76 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.81 \| (out)(err)	S = OPTIMUM \| O = 0 T = 8.53 \| (out)(err)
la04-567-0696.wcnf	S = N/A \| O = N/A T = 10.07 \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 23 T = 46.62 \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 23 T = 214.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)
orb08-894-1058.wcnf	S = N/A \| O = N/A T = 16.04 \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 5 T = 311.10 \| (out)(err)	S = OPTIMUM \| O = 5 T = 1584.42 \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 5 T = 231.68 \| (out)(err)	S = OPTIMUM \| O = 5 T = 195.32 \| (out)(err)	S = OPTIMUM \| O = 5 T = 261.22 \| (out)(err)
max_clq_150-0-447-1.clq.wcnf	S = OPTIMUM \| O = 147 T = 21.57 \| (out)(err)	S = OPTIMUM \| O = 147 T = 1.21 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 147 T = 1.69 \| (out)(err)	S = OPTIMUM \| O = 147 T = 0.51 \| (out)(err)	S = OPTIMUM \| O = 147 T = 0.17 \| (out)(err)	S = OPTIMUM \| O = 147 T = 10.05 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 147.15 \| (out)(err)
max_clq_150-0-447-2.clq.wcnf	S = OPTIMUM \| O = 147 T = 22.65 \| (out)(err)	S = OPTIMUM \| O = 147 T = 1.22 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 147 T = 1.62 \| (out)(err)	S = OPTIMUM \| O = 147 T = 0.52 \| (out)(err)	S = OPTIMUM \| O = 147 T = 0.17 \| (out)(err)	S = OPTIMUM \| O = 147 T = 10.64 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 148.93 \| (out)(err)
max_clq_150-0-447-3.clq.wcnf	S = OPTIMUM \| O = 147 T = 21.26 \| (out)(err)	S = OPTIMUM \| O = 147 T = 1.22 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 147 T = 1.68 \| (out)(err)	S = OPTIMUM \| O = 147 T = 0.49 \| (out)(err)	S = OPTIMUM \| O = 147 T = 0.17 \| (out)(err)	S = OPTIMUM \| O = 147 T = 10.61 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 147 T = 52.27 \| (out)(err)
max_clq_150-0-447-4.clq.wcnf	S = OPTIMUM \| O = 147 T = 21.62 \| (out)(err)	S = OPTIMUM \| O = 147 T = 1.22 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 147 T = 1.57 \| (out)(err)	S = OPTIMUM \| O = 147 T = 0.52 \| (out)(err)	S = OPTIMUM \| O = 147 T = 0.16 \| (out)(err)	S = OPTIMUM \| O = 147 T = 14.22 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 157.98 \| (out)(err)
max_clq_150-1-894-1.clq.wcnf	S = OPTIMUM \| O = 146 T = 20.96 \| (out)(err)	S = OPTIMUM \| O = 146 T = 1.21 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 146 T = 1.74 \| (out)(err)	S = OPTIMUM \| O = 146 T = 0.57 \| (out)(err)	S = OPTIMUM \| O = 146 T = 0.17 \| (out)(err)	S = OPTIMUM \| O = 146 T = 14.53 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
max_clq_150-1-894-2.clq.wcnf	S = OPTIMUM \| O = 146 T = 21.68 \| (out)(err)	S = OPTIMUM \| O = 146 T = 1.21 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 146 T = 1.73 \| (out)(err)	S = OPTIMUM \| O = 146 T = 0.79 \| (out)(err)	S = OPTIMUM \| O = 146 T = 0.19 \| (out)(err)	S = OPTIMUM \| O = 146 T = 14.44 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 170.56 \| (out)(err)
max_clq_150-1-894-3.clq.wcnf	S = OPTIMUM \| O = 146 T = 21.01 \| (out)(err)	S = OPTIMUM \| O = 146 T = 1.19 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 146 T = 1.83 \| (out)(err)	S = OPTIMUM \| O = 146 T = 0.59 \| (out)(err)	S = OPTIMUM \| O = 146 T = 0.18 \| (out)(err)	S = OPTIMUM \| O = 146 T = 14.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)
max_clq_150-1-894-4.clq.wcnf	S = OPTIMUM \| O = 146 T = 21.05 \| (out)(err)	S = OPTIMUM \| O = 146 T = 1.20 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 146 T = 1.69 \| (out)(err)	S = OPTIMUM \| O = 146 T = 0.64 \| (out)(err)	S = OPTIMUM \| O = 146 T = 0.18 \| (out)(err)	S = OPTIMUM \| O = 146 T = 15.71 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 169.86 \| (out)(err)
max_clq_150-10-4917-1.clq.wcnf	S = OPTIMUM \| O = 141 T = 26.49 \| (out)(err)	S = OPTIMUM \| O = 141 T = 2.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 141 T = 212.14 \| (out)(err)	S = OPTIMUM \| O = 141 T = 1.64 \| (out)(err)	S = OPTIMUM \| O = 141 T = 1.38 \| (out)(err)	S = OPTIMUM \| O = 141 T = 169.54 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 137.98 \| (out)(err)
max_clq_150-10-4917-2.clq.wcnf	S = OPTIMUM \| O = 141 T = 24.32 \| (out)(err)	S = OPTIMUM \| O = 141 T = 1.99 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 141 T = 130.75 \| (out)(err)	S = OPTIMUM \| O = 141 T = 1.58 \| (out)(err)	S = OPTIMUM \| O = 141 T = 1.29 \| (out)(err)	S = OPTIMUM \| O = 141 T = 155.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)
max_clq_150-10-4917-3.clq.wcnf	S = OPTIMUM \| O = 141 T = 24.76 \| (out)(err)	S = OPTIMUM \| O = 141 T = 1.96 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 141 T = 152.39 \| (out)(err)	S = OPTIMUM \| O = 141 T = 1.56 \| (out)(err)	S = OPTIMUM \| O = 141 T = 1.30 \| (out)(err)	S = OPTIMUM \| O = 141 T = 170.69 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 281.36 \| (out)(err)
max_clq_150-10-4917-4.clq.wcnf	S = OPTIMUM \| O = 141 T = 24.75 \| (out)(err)	S = OPTIMUM \| O = 141 T = 2.08 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 141 T = 203.42 \| (out)(err)	S = OPTIMUM \| O = 141 T = 1.61 \| (out)(err)	S = OPTIMUM \| O = 141 T = 1.35 \| (out)(err)	S = OPTIMUM \| O = 141 T = 186.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)
max_clq_150-11-5364-1.clq.wcnf	S = OPTIMUM \| O = 140 T = 28.61 \| (out)(err)	S = OPTIMUM \| O = 140 T = 2.40 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 140 T = 489.58 \| (out)(err)	S = OPTIMUM \| O = 140 T = 2.03 \| (out)(err)	S = OPTIMUM \| O = 140 T = 1.74 \| (out)(err)	S = OPTIMUM \| O = 140 T = 249.39 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 161.46 \| (out)(err)
max_clq_150-11-5364-2.clq.wcnf	S = OPTIMUM \| O = 141 T = 32.42 \| (out)(err)	S = OPTIMUM \| O = 141 T = 2.64 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 141 T = 449.93 \| (out)(err)	S = OPTIMUM \| O = 141 T = 2.27 \| (out)(err)	S = OPTIMUM \| O = 141 T = 2.00 \| (out)(err)	S = OPTIMUM \| O = 141 T = 289.92 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 167.72 \| (out)(err)
max_clq_150-11-5364-3.clq.wcnf	S = OPTIMUM \| O = 140 T = 27.73 \| (out)(err)	S = OPTIMUM \| O = 140 T = 2.40 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 140 T = 532.86 \| (out)(err)	S = OPTIMUM \| O = 140 T = 2.04 \| (out)(err)	S = OPTIMUM \| O = 140 T = 1.77 \| (out)(err)	S = OPTIMUM \| O = 140 T = 283.50 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 140.01 \| (out)(err)
max_clq_150-11-5364-4.clq.wcnf	S = OPTIMUM \| O = 140 T = 26.97 \| (out)(err)	S = OPTIMUM \| O = 140 T = 2.41 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 140 T = 375.81 \| (out)(err)	S = OPTIMUM \| O = 140 T = 2.01 \| (out)(err)	S = OPTIMUM \| O = 140 T = 1.72 \| (out)(err)	S = OPTIMUM \| O = 140 T = 246.52 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 163.08 \| (out)(err)
max_clq_150-12-5811-1.clq.wcnf	S = OPTIMUM \| O = 140 T = 47.77 \| (out)(err)	S = OPTIMUM \| O = 140 T = 3.74 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 140 T = 1305.97 \| (out)(err)	S = OPTIMUM \| O = 140 T = 3.52 \| (out)(err)	S = OPTIMUM \| O = 140 T = 3.14 \| (out)(err)	S = OPTIMUM \| O = 140 T = 488.68 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 208.95 \| (out)(err)
max_clq_150-12-5811-2.clq.wcnf	S = OPTIMUM \| O = 140 T = 48.27 \| (out)(err)	S = OPTIMUM \| O = 140 T = 3.72 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 140 T = 1230.64 \| (out)(err)	S = OPTIMUM \| O = 140 T = 3.53 \| (out)(err)	S = OPTIMUM \| O = 140 T = 3.16 \| (out)(err)	S = OPTIMUM \| O = 140 T = 576.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)
max_clq_150-12-5811-3.clq.wcnf	S = OPTIMUM \| O = 139 T = 40.42 \| (out)(err)	S = OPTIMUM \| O = 139 T = 3.36 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 139 T = 1579.39 \| (out)(err)	S = OPTIMUM \| O = 139 T = 3.03 \| (out)(err)	S = OPTIMUM \| O = 139 T = 2.72 \| (out)(err)	S = OPTIMUM \| O = 139 T = 471.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)
max_clq_150-12-5811-4.clq.wcnf	S = OPTIMUM \| O = 140 T = 41.92 \| (out)(err)	S = OPTIMUM \| O = 140 T = 3.67 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 140 T = 1319.38 \| (out)(err)	S = OPTIMUM \| O = 140 T = 3.40 \| (out)(err)	S = OPTIMUM \| O = 140 T = 3.08 \| (out)(err)	S = OPTIMUM \| O = 140 T = 573.60 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 175.44 \| (out)(err)
max_clq_150-13-6258-1.clq.wcnf	S = OPTIMUM \| O = 138 T = 52.93 \| (out)(err)	S = OPTIMUM \| O = 138 T = 4.89 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 138 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 138 T = 4.84 \| (out)(err)	S = OPTIMUM \| O = 138 T = 4.52 \| (out)(err)	S = OPTIMUM \| O = 138 T = 791.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)
max_clq_150-13-6258-2.clq.wcnf	S = OPTIMUM \| O = 139 T = 62.15 \| (out)(err)	S = OPTIMUM \| O = 139 T = 5.71 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 139 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 139 T = 5.65 \| (out)(err)	S = OPTIMUM \| O = 139 T = 5.25 \| (out)(err)	S = OPTIMUM \| O = 139 T = 1202.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 183.99 \| (out)(err)
max_clq_150-13-6258-3.clq.wcnf	S = OPTIMUM \| O = 138 T = 48.68 \| (out)(err)	S = OPTIMUM \| O = 138 T = 4.94 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 139 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 138 T = 4.79 \| (out)(err)	S = OPTIMUM \| O = 138 T = 4.43 \| (out)(err)	S = OPTIMUM \| O = 138 T = 692.59 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 138.51 \| (out)(err)
max_clq_150-13-6258-4.clq.wcnf	S = OPTIMUM \| O = 138 T = 49.52 \| (out)(err)	S = OPTIMUM \| O = 138 T = 4.90 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 138 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 138 T = 4.72 \| (out)(err)	S = OPTIMUM \| O = 138 T = 4.31 \| (out)(err)	S = OPTIMUM \| O = 138 T = 659.30 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 147.38 \| (out)(err)
max_clq_150-14-6705-1.clq.wcnf	S = OPTIMUM \| O = 138 T = 97.31 \| (out)(err)	S = OPTIMUM \| O = 138 T = 9.33 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 138 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 138 T = 9.51 \| (out)(err)	S = OPTIMUM \| O = 138 T = 8.90 \| (out)(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)
max_clq_150-14-6705-2.clq.wcnf	S = OPTIMUM \| O = 137 T = 84.24 \| (out)(err)	S = OPTIMUM \| O = 137 T = 8.50 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 138 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 137 T = 8.54 \| (out)(err)	S = OPTIMUM \| O = 137 T = 8.06 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 178.37 \| (out)(err)
max_clq_150-14-6705-3.clq.wcnf	S = OPTIMUM \| O = 137 T = 73.63 \| (out)(err)	S = OPTIMUM \| O = 137 T = 8.42 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 137 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 137 T = 8.50 \| (out)(err)	S = OPTIMUM \| O = 137 T = 7.97 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 137.64 \| (out)(err)
max_clq_150-14-6705-4.clq.wcnf	S = OPTIMUM \| O = 137 T = 75.79 \| (out)(err)	S = OPTIMUM \| O = 137 T = 8.25 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 138 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 137 T = 8.32 \| (out)(err)	S = OPTIMUM \| O = 137 T = 7.79 \| (out)(err)	S = OPTIMUM \| O = 137 T = 1148.23 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 151.72 \| (out)(err)
max_clq_150-15-7152-1.clq.wcnf	S = OPTIMUM \| O = 135 T = 111.36 \| (out)(err)	S = OPTIMUM \| O = 135 T = 12.03 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 136 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 135 T = 12.97 \| (out)(err)	S = OPTIMUM \| O = 135 T = 12.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 = 148.50 \| (out)(err)
max_clq_150-15-7152-2.clq.wcnf	S = OPTIMUM \| O = 136 T = 126.86 \| (out)(err)	S = OPTIMUM \| O = 136 T = 14.27 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 136 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 136 T = 14.83 \| (out)(err)	S = OPTIMUM \| O = 136 T = 14.06 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
max_clq_150-15-7152-3.clq.wcnf	S = OPTIMUM \| O = 135 T = 96.93 \| (out)(err)	S = OPTIMUM \| O = 135 T = 12.15 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 136 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 135 T = 13.00 \| (out)(err)	S = OPTIMUM \| O = 135 T = 12.39 \| (out)(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 = 151.23 \| (out)(err)
max_clq_150-15-7152-4.clq.wcnf	S = OPTIMUM \| O = 136 T = 159.83 \| (out)(err)	S = OPTIMUM \| O = 136 T = 15.12 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 137 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 136 T = 15.57 \| (out)(err)	S = OPTIMUM \| O = 136 T = 14.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)
max_clq_150-16-7599-1.clq.wcnf	S = OPTIMUM \| O = 134 T = 239.20 \| (out)(err)	S = OPTIMUM \| O = 134 T = 27.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 134 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 134 T = 28.37 \| (out)(err)	S = OPTIMUM \| O = 134 T = 26.83 \| (out)(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 = 170.25 \| (out)(err)
max_clq_150-16-7599-2.clq.wcnf	S = OPTIMUM \| O = 135 T = 295.04 \| (out)(err)	S = OPTIMUM \| O = 135 T = 32.59 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 135 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 135 T = 34.52 \| (out)(err)	S = OPTIMUM \| O = 135 T = 32.52 \| (out)(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 = 211.66 \| (out)(err)
max_clq_150-16-7599-3.clq.wcnf	S = OPTIMUM \| O = 134 T = 214.91 \| (out)(err)	S = OPTIMUM \| O = 134 T = 25.42 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 135 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 134 T = 27.55 \| (out)(err)	S = OPTIMUM \| O = 134 T = 25.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 = 244.92 \| (out)(err)
max_clq_150-16-7599-4.clq.wcnf	S = OPTIMUM \| O = 135 T = 306.50 \| (out)(err)	S = OPTIMUM \| O = 135 T = 31.66 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 135 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 135 T = 33.79 \| (out)(err)	S = OPTIMUM \| O = 135 T = 31.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 = 218.08 \| (out)(err)
max_clq_150-17-8046-1.clq.wcnf	S = OPTIMUM \| O = 132 T = 472.86 \| (out)(err)	S = OPTIMUM \| O = 132 T = 59.66 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 133 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 132 T = 64.84 \| (out)(err)	S = OPTIMUM \| O = 132 T = 61.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)
max_clq_150-17-8046-2.clq.wcnf	S = OPTIMUM \| O = 133 T = 559.72 \| (out)(err)	S = OPTIMUM \| O = 133 T = 67.99 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 133 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 133 T = 74.36 \| (out)(err)	S = OPTIMUM \| O = 133 T = 69.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 = 140.17 \| (out)(err)
max_clq_150-17-8046-3.clq.wcnf	S = OPTIMUM \| O = 132 T = 405.88 \| (out)(err)	S = OPTIMUM \| O = 132 T = 56.24 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 133 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 132 T = 59.97 \| (out)(err)	S = OPTIMUM \| O = 132 T = 56.39 \| (out)(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 = 175.65 \| (out)(err)
max_clq_150-17-8046-4.clq.wcnf	S = OPTIMUM \| O = 132 T = 350.28 \| (out)(err)	S = OPTIMUM \| O = 132 T = 53.93 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 133 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 132 T = 57.29 \| (out)(err)	S = OPTIMUM \| O = 132 T = 54.06 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
max_clq_150-18-8493-1.clq.wcnf	S = OPTIMUM \| O = 130 T = 1149.68 \| (out)(err)	S = OPTIMUM \| O = 130 T = 144.23 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 132 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 130 T = 155.32 \| (out)(err)	S = OPTIMUM \| O = 130 T = 145.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)
max_clq_150-18-8493-2.clq.wcnf	S = OPTIMUM \| O = 130 T = 1607.04 \| (out)(err)	S = OPTIMUM \| O = 130 T = 176.73 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 131 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 130 T = 191.69 \| (out)(err)	S = OPTIMUM \| O = 130 T = 177.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)
max_clq_150-18-8493-3.clq.wcnf	S = OPTIMUM \| O = 129 T = 871.79 \| (out)(err)	S = OPTIMUM \| O = 129 T = 120.31 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 131 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 129 T = 130.46 \| (out)(err)	S = OPTIMUM \| O = 129 T = 122.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 = 177.43 \| (out)(err)
max_clq_150-18-8493-4.clq.wcnf	S = OPTIMUM \| O = 129 T = 829.13 \| (out)(err)	S = OPTIMUM \| O = 129 T = 126.70 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 130 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 129 T = 136.25 \| (out)(err)	S = OPTIMUM \| O = 129 T = 127.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 = 188.85 \| (out)(err)
max_clq_150-19-8940-1.clq.wcnf	S = N/A \| O = 128 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 127 T = 547.66 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 129 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 127 T = 604.04 \| (out)(err)	S = OPTIMUM \| O = 127 T = 555.59 \| (out)(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 = 326.79 \| (out)(err)
max_clq_150-19-8940-2.clq.wcnf	S = OPTIMUM \| O = 126 T = 1676.19 \| (out)(err)	S = OPTIMUM \| O = 126 T = 336.66 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 127 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 126 T = 369.80 \| (out)(err)	S = OPTIMUM \| O = 126 T = 342.70 \| (out)(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)
max_clq_150-19-8940-3.clq.wcnf	S = N/A \| O = 127 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 127 T = 493.81 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 129 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 127 T = 546.58 \| (out)(err)	S = OPTIMUM \| O = 127 T = 502.70 \| (out)(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 = 196.71 \| (out)(err)
max_clq_150-19-8940-4.clq.wcnf	S = N/A \| O = 127 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 127 T = 460.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 128 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 127 T = 511.57 \| (out)(err)	S = OPTIMUM \| O = 127 T = 469.39 \| (out)(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 = 219.80 \| (out)(err)
max_clq_150-2-1341-1.clq.wcnf	S = OPTIMUM \| O = 146 T = 20.85 \| (out)(err)	S = OPTIMUM \| O = 146 T = 1.17 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 146 T = 1.73 \| (out)(err)	S = OPTIMUM \| O = 146 T = 0.54 \| (out)(err)	S = OPTIMUM \| O = 146 T = 0.19 \| (out)(err)	S = OPTIMUM \| O = 146 T = 19.76 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 195.64 \| (out)(err)
max_clq_150-2-1341-2.clq.wcnf	S = OPTIMUM \| O = 146 T = 20.07 \| (out)(err)	S = OPTIMUM \| O = 146 T = 1.14 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 146 T = 1.82 \| (out)(err)	S = OPTIMUM \| O = 146 T = 0.40 \| (out)(err)	S = OPTIMUM \| O = 146 T = 0.19 \| (out)(err)	S = OPTIMUM \| O = 146 T = 19.54 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 156.62 \| (out)(err)
max_clq_150-2-1341-3.clq.wcnf	S = OPTIMUM \| O = 146 T = 19.83 \| (out)(err)	S = OPTIMUM \| O = 146 T = 1.15 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 146 T = 1.99 \| (out)(err)	S = OPTIMUM \| O = 146 T = 0.57 \| (out)(err)	S = OPTIMUM \| O = 146 T = 0.20 \| (out)(err)	S = OPTIMUM \| O = 146 T = 19.64 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 161.53 \| (out)(err)
max_clq_150-2-1341-4.clq.wcnf	S = OPTIMUM \| O = 145 T = 22.75 \| (out)(err)	S = OPTIMUM \| O = 145 T = 1.16 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 145 T = 1.78 \| (out)(err)	S = OPTIMUM \| O = 145 T = 0.67 \| (out)(err)	S = OPTIMUM \| O = 145 T = 0.20 \| (out)(err)	S = OPTIMUM \| O = 145 T = 17.43 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 129.63 \| (out)(err)
max_clq_150-20-9387-1.clq.wcnf	S = N/A \| O = 124 T = 1789.61 \| (out)(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 = 126 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)	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 = 165.59 \| (out)(err)
max_clq_150-20-9387-2.clq.wcnf	S = N/A \| O = 124 T = 1794.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 = 125 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)	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)
max_clq_150-20-9387-3.clq.wcnf	S = N/A \| O = 123 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 123 T = 1593.99 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 126 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 123 T = 1614.63 \| (out)(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)
max_clq_150-20-9387-4.clq.wcnf	S = N/A \| O = 123 T = 1797.35 \| (out)(err)	S = OPTIMUM \| O = 123 T = 1556.51 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 125 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 123 T = 1783.20 \| (out)(err)	S = OPTIMUM \| O = 123 T = 1564.27 \| (out)(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)
max_clq_150-21-9834-1.clq.wcnf	S = N/A \| O = 117 T = 1793.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 = 120 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)	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)
max_clq_150-21-9834-2.clq.wcnf	S = N/A \| O = 118 T = 1795.27 \| (out)(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 = 120 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)	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)
max_clq_150-21-9834-3.clq.wcnf	S = N/A \| O = 117 T = 1790.27 \| (out)(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 = 118 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)	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 = 164.89 \| (out)(err)
max_clq_150-21-9834-4.clq.wcnf	S = N/A \| O = 119 T = 1792.39 \| (out)(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 = 121 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)	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 = 205.94 \| (out)(err)
max_clq_150-22-10281-1.clq.wcnf	S = N/A \| O = 107 T = 1796.99 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 112 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)	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)
max_clq_150-22-10281-2.clq.wcnf	S = N/A \| O = 107 T = 1782.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 = 112 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)	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)
max_clq_150-22-10281-3.clq.wcnf	S = N/A \| O = 109 T = 1783.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 = 112 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)	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 = 192.63 \| (out)(err)
max_clq_150-22-10281-4.clq.wcnf	S = N/A \| O = 108 T = 1783.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 = 112 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)	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.44 \| (out)(err)
max_clq_150-23-10728-1.clq.wcnf	S = OPTIMUM \| O = 91 T = 399.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 = 95 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)	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 = 273.07 \| (out)(err)
max_clq_150-23-10728-2.clq.wcnf	S = OPTIMUM \| O = 89 T = 479.35 \| (out)(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 = 93 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)	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)
max_clq_150-23-10728-3.clq.wcnf	S = OPTIMUM \| O = 91 T = 568.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 = 96 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)	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 = 222.32 \| (out)(err)
max_clq_150-23-10728-4.clq.wcnf	S = OPTIMUM \| O = 90 T = 545.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 = 96 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)	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)
max_clq_150-3-1788-1.clq.wcnf	S = OPTIMUM \| O = 145 T = 19.27 \| (out)(err)	S = OPTIMUM \| O = 145 T = 1.14 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 145 T = 2.11 \| (out)(err)	S = OPTIMUM \| O = 145 T = 0.56 \| (out)(err)	S = OPTIMUM \| O = 145 T = 0.22 \| (out)(err)	S = OPTIMUM \| O = 145 T = 24.72 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 175.35 \| (out)(err)
max_clq_150-3-1788-2.clq.wcnf	S = OPTIMUM \| O = 145 T = 20.25 \| (out)(err)	S = OPTIMUM \| O = 145 T = 1.14 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 145 T = 2.12 \| (out)(err)	S = OPTIMUM \| O = 145 T = 0.54 \| (out)(err)	S = OPTIMUM \| O = 145 T = 0.21 \| (out)(err)	S = OPTIMUM \| O = 145 T = 25.23 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 132.59 \| (out)(err)
max_clq_150-3-1788-3.clq.wcnf	S = OPTIMUM \| O = 145 T = 19.73 \| (out)(err)	S = OPTIMUM \| O = 145 T = 1.14 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 145 T = 2.02 \| (out)(err)	S = OPTIMUM \| O = 145 T = 0.64 \| (out)(err)	S = OPTIMUM \| O = 145 T = 0.22 \| (out)(err)	S = OPTIMUM \| O = 145 T = 24.60 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 143.63 \| (out)(err)
max_clq_150-3-1788-4.clq.wcnf	S = OPTIMUM \| O = 145 T = 19.80 \| (out)(err)	S = OPTIMUM \| O = 145 T = 1.16 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 145 T = 2.13 \| (out)(err)	S = OPTIMUM \| O = 145 T = 0.48 \| (out)(err)	S = OPTIMUM \| O = 145 T = 0.21 \| (out)(err)	S = OPTIMUM \| O = 145 T = 21.48 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 141.18 \| (out)(err)
max_clq_150-4-2235-1.clq.wcnf	S = OPTIMUM \| O = 144 T = 18.55 \| (out)(err)	S = OPTIMUM \| O = 144 T = 1.14 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 144 T = 2.14 \| (out)(err)	S = OPTIMUM \| O = 144 T = 0.53 \| (out)(err)	S = OPTIMUM \| O = 144 T = 0.25 \| (out)(err)	S = OPTIMUM \| O = 144 T = 31.30 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 132.28 \| (out)(err)
max_clq_150-4-2235-2.clq.wcnf	S = OPTIMUM \| O = 145 T = 19.50 \| (out)(err)	S = OPTIMUM \| O = 145 T = 1.14 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 145 T = 2.32 \| (out)(err)	S = OPTIMUM \| O = 145 T = 0.55 \| (out)(err)	S = OPTIMUM \| O = 145 T = 0.25 \| (out)(err)	S = OPTIMUM \| O = 145 T = 30.54 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 133.97 \| (out)(err)
max_clq_150-4-2235-3.clq.wcnf	S = OPTIMUM \| O = 144 T = 19.13 \| (out)(err)	S = OPTIMUM \| O = 144 T = 1.14 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 144 T = 2.21 \| (out)(err)	S = OPTIMUM \| O = 144 T = 0.48 \| (out)(err)	S = OPTIMUM \| O = 144 T = 0.25 \| (out)(err)	S = OPTIMUM \| O = 144 T = 30.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)
max_clq_150-4-2235-4.clq.wcnf	S = OPTIMUM \| O = 145 T = 18.58 \| (out)(err)	S = OPTIMUM \| O = 145 T = 1.15 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 145 T = 2.66 \| (out)(err)	S = OPTIMUM \| O = 145 T = 0.55 \| (out)(err)	S = OPTIMUM \| O = 145 T = 0.26 \| (out)(err)	S = OPTIMUM \| O = 145 T = 31.25 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 224.96 \| (out)(err)
max_clq_150-5-2682-1.clq.wcnf	S = OPTIMUM \| O = 144 T = 19.43 \| (out)(err)	S = OPTIMUM \| O = 144 T = 1.15 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 144 T = 4.00 \| (out)(err)	S = OPTIMUM \| O = 144 T = 0.62 \| (out)(err)	S = OPTIMUM \| O = 144 T = 0.29 \| (out)(err)	S = OPTIMUM \| O = 144 T = 36.64 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 128.24 \| (out)(err)
max_clq_150-5-2682-2.clq.wcnf	S = OPTIMUM \| O = 144 T = 18.34 \| (out)(err)	S = OPTIMUM \| O = 144 T = 1.15 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 144 T = 3.73 \| (out)(err)	S = OPTIMUM \| O = 144 T = 0.55 \| (out)(err)	S = OPTIMUM \| O = 144 T = 0.29 \| (out)(err)	S = OPTIMUM \| O = 144 T = 38.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)
max_clq_150-5-2682-3.clq.wcnf	S = OPTIMUM \| O = 144 T = 18.51 \| (out)(err)	S = OPTIMUM \| O = 144 T = 1.15 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 144 T = 4.26 \| (out)(err)	S = OPTIMUM \| O = 144 T = 0.61 \| (out)(err)	S = OPTIMUM \| O = 144 T = 0.30 \| (out)(err)	S = OPTIMUM \| O = 144 T = 38.19 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 182.75 \| (out)(err)
max_clq_150-5-2682-4.clq.wcnf	S = OPTIMUM \| O = 144 T = 19.28 \| (out)(err)	S = OPTIMUM \| O = 144 T = 1.14 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 144 T = 2.97 \| (out)(err)	S = OPTIMUM \| O = 144 T = 0.52 \| (out)(err)	S = OPTIMUM \| O = 144 T = 0.29 \| (out)(err)	S = OPTIMUM \| O = 144 T = 47.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)
max_clq_150-6-3129-1.clq.wcnf	S = OPTIMUM \| O = 144 T = 19.28 \| (out)(err)	S = OPTIMUM \| O = 144 T = 1.22 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 144 T = 8.18 \| (out)(err)	S = OPTIMUM \| O = 144 T = 0.61 \| (out)(err)	S = OPTIMUM \| O = 144 T = 0.39 \| (out)(err)	S = OPTIMUM \| O = 144 T = 55.45 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 142.30 \| (out)(err)
max_clq_150-6-3129-2.clq.wcnf	S = OPTIMUM \| O = 143 T = 20.77 \| (out)(err)	S = OPTIMUM \| O = 143 T = 1.18 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 143 T = 4.14 \| (out)(err)	S = OPTIMUM \| O = 143 T = 0.61 \| (out)(err)	S = OPTIMUM \| O = 143 T = 0.36 \| (out)(err)	S = OPTIMUM \| O = 143 T = 52.09 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 130.94 \| (out)(err)
max_clq_150-6-3129-3.clq.wcnf	S = OPTIMUM \| O = 143 T = 18.01 \| (out)(err)	S = OPTIMUM \| O = 143 T = 1.20 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 143 T = 3.51 \| (out)(err)	S = OPTIMUM \| O = 143 T = 0.65 \| (out)(err)	S = OPTIMUM \| O = 143 T = 0.36 \| (out)(err)	S = OPTIMUM \| O = 143 T = 45.86 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 157.50 \| (out)(err)
max_clq_150-6-3129-4.clq.wcnf	S = OPTIMUM \| O = 144 T = 19.82 \| (out)(err)	S = OPTIMUM \| O = 144 T = 1.23 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 144 T = 5.35 \| (out)(err)	S = OPTIMUM \| O = 144 T = 0.64 \| (out)(err)	S = OPTIMUM \| O = 144 T = 0.39 \| (out)(err)	S = OPTIMUM \| O = 144 T = 45.47 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 122.21 \| (out)(err)
max_clq_150-7-3576-1.clq.wcnf	S = OPTIMUM \| O = 144 T = 20.29 \| (out)(err)	S = OPTIMUM \| O = 144 T = 1.36 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 144 T = 25.19 \| (out)(err)	S = OPTIMUM \| O = 144 T = 0.83 \| (out)(err)	S = OPTIMUM \| O = 144 T = 0.56 \| (out)(err)	S = OPTIMUM \| O = 144 T = 67.66 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 135.15 \| (out)(err)
max_clq_150-7-3576-2.clq.wcnf	S = OPTIMUM \| O = 143 T = 19.55 \| (out)(err)	S = OPTIMUM \| O = 143 T = 1.30 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 143 T = 9.59 \| (out)(err)	S = OPTIMUM \| O = 143 T = 0.77 \| (out)(err)	S = OPTIMUM \| O = 143 T = 0.51 \| (out)(err)	S = OPTIMUM \| O = 143 T = 60.89 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 165.45 \| (out)(err)
max_clq_150-7-3576-3.clq.wcnf	S = OPTIMUM \| O = 143 T = 20.25 \| (out)(err)	S = OPTIMUM \| O = 143 T = 1.30 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 143 T = 13.84 \| (out)(err)	S = OPTIMUM \| O = 143 T = 0.84 \| (out)(err)	S = OPTIMUM \| O = 143 T = 0.53 \| (out)(err)	S = OPTIMUM \| O = 143 T = 54.34 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 162.42 \| (out)(err)
max_clq_150-7-3576-4.clq.wcnf	S = OPTIMUM \| O = 143 T = 19.53 \| (out)(err)	S = OPTIMUM \| O = 143 T = 1.31 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 143 T = 14.51 \| (out)(err)	S = OPTIMUM \| O = 143 T = 0.74 \| (out)(err)	S = OPTIMUM \| O = 143 T = 0.51 \| (out)(err)	S = OPTIMUM \| O = 143 T = 55.68 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 131.04 \| (out)(err)
max_clq_150-8-4023-1.clq.wcnf	S = OPTIMUM \| O = 143 T = 21.88 \| (out)(err)	S = OPTIMUM \| O = 143 T = 1.45 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 143 T = 24.13 \| (out)(err)	S = OPTIMUM \| O = 143 T = 0.98 \| (out)(err)	S = OPTIMUM \| O = 143 T = 0.73 \| (out)(err)	S = OPTIMUM \| O = 143 T = 77.31 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 114.97 \| (out)(err)
max_clq_150-8-4023-2.clq.wcnf	S = OPTIMUM \| O = 142 T = 21.68 \| (out)(err)	S = OPTIMUM \| O = 142 T = 1.42 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 142 T = 20.49 \| (out)(err)	S = OPTIMUM \| O = 142 T = 0.96 \| (out)(err)	S = OPTIMUM \| O = 142 T = 0.69 \| (out)(err)	S = OPTIMUM \| O = 142 T = 80.83 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 235.41 \| (out)(err)
max_clq_150-8-4023-3.clq.wcnf	S = OPTIMUM \| O = 143 T = 21.36 \| (out)(err)	S = OPTIMUM \| O = 143 T = 1.45 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 143 T = 40.68 \| (out)(err)	S = OPTIMUM \| O = 143 T = 0.99 \| (out)(err)	S = OPTIMUM \| O = 143 T = 0.71 \| (out)(err)	S = OPTIMUM \| O = 143 T = 103.36 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 155.73 \| (out)(err)
max_clq_150-8-4023-4.clq.wcnf	S = OPTIMUM \| O = 142 T = 20.64 \| (out)(err)	S = OPTIMUM \| O = 142 T = 1.40 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 142 T = 20.44 \| (out)(err)	S = OPTIMUM \| O = 142 T = 0.95 \| (out)(err)	S = OPTIMUM \| O = 142 T = 0.68 \| (out)(err)	S = OPTIMUM \| O = 142 T = 83.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)
max_clq_150-9-4470-1.clq.wcnf	S = OPTIMUM \| O = 142 T = 23.07 \| (out)(err)	S = OPTIMUM \| O = 142 T = 1.65 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 142 T = 46.54 \| (out)(err)	S = OPTIMUM \| O = 142 T = 1.20 \| (out)(err)	S = OPTIMUM \| O = 142 T = 0.94 \| (out)(err)	S = OPTIMUM \| O = 142 T = 105.24 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 151.52 \| (out)(err)
max_clq_150-9-4470-2.clq.wcnf	S = OPTIMUM \| O = 142 T = 23.68 \| (out)(err)	S = OPTIMUM \| O = 142 T = 1.66 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 142 T = 53.89 \| (out)(err)	S = OPTIMUM \| O = 142 T = 1.24 \| (out)(err)	S = OPTIMUM \| O = 142 T = 0.98 \| (out)(err)	S = OPTIMUM \| O = 142 T = 113.51 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 184.34 \| (out)(err)
max_clq_150-9-4470-3.clq.wcnf	S = OPTIMUM \| O = 142 T = 21.86 \| (out)(err)	S = OPTIMUM \| O = 142 T = 1.64 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 142 T = 74.10 \| (out)(err)	S = OPTIMUM \| O = 142 T = 1.25 \| (out)(err)	S = OPTIMUM \| O = 142 T = 0.95 \| (out)(err)	S = OPTIMUM \| O = 142 T = 146.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)
max_clq_150-9-4470-4.clq.wcnf	S = OPTIMUM \| O = 142 T = 21.74 \| (out)(err)	S = OPTIMUM \| O = 142 T = 1.64 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 142 T = 63.27 \| (out)(err)	S = OPTIMUM \| O = 142 T = 1.21 \| (out)(err)	S = OPTIMUM \| O = 142 T = 0.95 \| (out)(err)	S = OPTIMUM \| O = 142 T = 108.76 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 194.52 \| (out)(err)
MANN_a27.clq.wcnf	S = OPTIMUM \| O = 252 T = 25.35 \| (out)(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 = 253 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)	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)
MANN_a45.clq.wcnf	S = N/A \| O = 691 T = 1791.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 = 695 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)	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.38 \| (out)(err)
MANN_a81.clq.wcnf	S = N/A \| O = 2228 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)	S = N/A \| O = 2225 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)	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)
MANN_a9.clq.wcnf	S = OPTIMUM \| O = 29 T = 1.01 \| (out)(err)	S = OPTIMUM \| O = 29 T = 1.04 \| (out)(err)	S = OPTIMUM \| O = 29 T = 0.49 \| (out)(err)	S = OPTIMUM \| O = 29 T = 208.32 \| (out)(err)	S = OPTIMUM \| O = 29 T = 2.65 \| (out)(err)	S = OPTIMUM \| O = 29 T = 2.50 \| (out)(err)	S = OPTIMUM \| O = 29 T = 0.46 \| (out)(err)	S = OPTIMUM \| O = 29 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 29 T = 0.04 \| (out)(err)
brock200_1.clq.wcnf	S = N/A \| O = 180 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)	S = N/A \| O = 180 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)	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.94 \| (out)(err)
brock200_2.clq.wcnf	S = OPTIMUM \| O = 188 T = 176.37 \| (out)(err)	S = OPTIMUM \| O = 188 T = 14.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 190 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 188 T = 14.83 \| (out)(err)	S = OPTIMUM \| O = 188 T = 12.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)
brock200_3.clq.wcnf	S = OPTIMUM \| O = 185 T = 914.85 \| (out)(err)	S = OPTIMUM \| O = 185 T = 71.20 \| (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 = 185 T = 85.05 \| (out)(err)	S = OPTIMUM \| O = 185 T = 80.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 = 158.36 \| (out)(err)
brock200_4.clq.wcnf	S = N/A \| O = 183 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 183 T = 185.91 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 185 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 183 T = 198.19 \| (out)(err)	S = OPTIMUM \| O = 183 T = 188.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)
brock400_1.clq.wcnf	S = N/A \| O = N/A T = 11.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 = 379 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)	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 = 212.09 \| (out)(err)
brock400_2.clq.wcnf	S = N/A \| O = N/A T = 10.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 = 379 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)	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 = 399.09 \| (out)(err)
brock400_3.clq.wcnf	S = N/A \| O = N/A T = 11.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 = 378 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)	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)
brock400_4.clq.wcnf	S = N/A \| O = N/A T = 10.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 = 379 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)	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)
brock800_1.clq.wcnf	S = N/A \| O = N/A T = 11.68 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 782 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)	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)
brock800_2.clq.wcnf	S = N/A \| O = N/A T = 14.27 \| (out)(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 = 782 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)	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)
brock800_3.clq.wcnf	S = N/A \| O = N/A T = 12.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 = 782 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)	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)
brock800_4.clq.wcnf	S = N/A \| O = N/A T = 14.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 = 782 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)	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)
c-fat200-1.clq.wcnf	S = OPTIMUM \| O = 188 T = 47.64 \| (out)(err)	S = OPTIMUM \| O = 188 T = 2.20 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 188 T = 1.67 \| (out)(err)	S = OPTIMUM \| O = 188 T = 1.47 \| (out)(err)	S = OPTIMUM \| O = 188 T = 0.33 \| (out)(err)	S = OPTIMUM \| O = 188 T = 42.68 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 148.44 \| (out)(err)
c-fat200-2.clq.wcnf	S = OPTIMUM \| O = 176 T = 42.80 \| (out)(err)	S = OPTIMUM \| O = 176 T = 2.04 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 176 T = 1.72 \| (out)(err)	S = OPTIMUM \| O = 176 T = 1.18 \| (out)(err)	S = OPTIMUM \| O = 176 T = 0.35 \| (out)(err)	S = OPTIMUM \| O = 176 T = 30.94 \| (out)(err)	S = OPTIMUM \| O = 176 T = 55.94 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
c-fat200-5.clq.wcnf	S = OPTIMUM \| O = 142 T = 23.04 \| (out)(err)	S = OPTIMUM \| O = 142 T = 1.68 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 142 T = 1.49 \| (out)(err)	S = OPTIMUM \| O = 142 T = 0.53 \| (out)(err)	S = OPTIMUM \| O = 142 T = 0.28 \| (out)(err)	S = OPTIMUM \| O = 142 T = 39.70 \| (out)(err)	S = OPTIMUM \| O = 142 T = 1.38 \| (out)(err)	S = OPTIMUM \| O = 142 T = 1.73 \| (out)(err)
c-fat500-1.clq.wcnf	S = N/A \| O = N/A T = 11.06 \| (out)(err)	S = OPTIMUM \| O = 486 T = 30.89 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 486 T = 2.65 \| (out)(err)	S = OPTIMUM \| O = 486 T = 156.10 \| (out)(err)	S = OPTIMUM \| O = 486 T = 12.13 \| (out)(err)	S = OPTIMUM \| O = 486 T = 1423.80 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 203.89 \| (out)(err)
c-fat500-10.clq.wcnf	S = N/A \| O = N/A T = 22.16 \| (out)(err)	S = OPTIMUM \| O = 374 T = 35.77 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 374 T = 3.32 \| (out)(err)	S = OPTIMUM \| O = 374 T = 49.62 \| (out)(err)	S = OPTIMUM \| O = 374 T = 18.21 \| (out)(err)	S = OPTIMUM \| O = 374 T = 1561.85 \| (out)(err)	S = OPTIMUM \| O = 374 T = 24.66 \| (out)(err)	S = OPTIMUM \| O = 374 T = 24.73 \| (out)(err)
c-fat500-2.clq.wcnf	S = N/A \| O = N/A T = 10.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 = OPTIMUM \| O = 474 T = 2.94 \| (out)(err)	S = OPTIMUM \| O = 474 T = 139.45 \| (out)(err)	S = OPTIMUM \| O = 474 T = 11.82 \| (out)(err)	S = OPTIMUM \| O = 474 T = 1379.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)
c-fat500-5.clq.wcnf	S = N/A \| O = N/A T = 46.20 \| (out)(err)	S = OPTIMUM \| O = 436 T = 35.76 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 436 T = 4.12 \| (out)(err)	S = OPTIMUM \| O = 436 T = 76.35 \| (out)(err)	S = OPTIMUM \| O = 436 T = 15.19 \| (out)(err)	S = OPTIMUM \| O = 436 T = 1300.04 \| (out)(err)	S = OPTIMUM \| O = 436 T = 37.82 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
hamming10-2.clq.wcnf	S = N/A \| O = 512 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 512 T = 4.91 \| (out)(err)	S = N/A \| O = 512 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)	S = OPTIMUM \| O = 512 T = 3.71 \| (out)(err)	S = OPTIMUM \| O = 512 T = 3.15 \| (out)(err)	S = OPTIMUM \| O = 512 T = 5.91 \| (out)(err)
hamming10-4.clq.wcnf	S = N/A \| O = N/A T = 80.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 = 992 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)	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)
hamming6-2.clq.wcnf	S = OPTIMUM \| O = 32 T = 2.02 \| (out)(err)	S = OPTIMUM \| O = 32 T = 0.17 \| (out)(err)	S = OPTIMUM \| O = 32 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 32 T = 2.00 \| (out)(err)	S = OPTIMUM \| O = 32 T = 0.08 \| (out)(err)	S = OPTIMUM \| O = 32 T = 0.08 \| (out)(err)	S = OPTIMUM \| O = 32 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 32 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 32 T = 0.02 \| (out)(err)
hamming6-4.clq.wcnf	S = OPTIMUM \| O = 60 T = 4.37 \| (out)(err)	S = OPTIMUM \| O = 60 T = 0.16 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 60 T = 1.07 \| (out)(err)	S = OPTIMUM \| O = 60 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 60 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 60 T = 1.53 \| (out)(err)	S = OPTIMUM \| O = 60 T = 27.91 \| (out)(err)	S = OPTIMUM \| O = 60 T = 4.74 \| (out)(err)
hamming8-2.clq.wcnf	S = N/A \| O = 128 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 128 T = 0.37 \| (out)(err)	S = N/A \| O = 128 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)	S = OPTIMUM \| O = 128 T = 0.20 \| (out)(err)	S = OPTIMUM \| O = 128 T = 0.14 \| (out)(err)	S = OPTIMUM \| O = 128 T = 0.34 \| (out)(err)
hamming8-4.clq.wcnf	S = N/A \| O = 240 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 240 T = 540.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 240 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 240 T = 573.05 \| (out)(err)	S = OPTIMUM \| O = 240 T = 548.31 \| (out)(err)	S = OPTIMUM \| O = 240 T = 1214.08 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 143.03 \| (out)(err)
johnson16-2-4.clq.wcnf	S = OPTIMUM \| O = 112 T = 999.59 \| (out)(err)	S = OPTIMUM \| O = 112 T = 91.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 112 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 112 T = 101.80 \| (out)(err)	S = OPTIMUM \| O = 112 T = 91.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 = 147.57 \| (out)(err)
johnson32-2-4.clq.wcnf	S = N/A \| O = N/A T = 19.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 = 480 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)	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 = 219.30 \| (out)(err)
johnson8-2-4.clq.wcnf	S = OPTIMUM \| O = 24 T = 1.39 \| (out)(err)	S = OPTIMUM \| O = 24 T = 0.04 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 24 T = 0.64 \| (out)(err)	S = OPTIMUM \| O = 24 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 24 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 24 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 24 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 24 T = 0.07 \| (out)(err)
johnson8-4-4.clq.wcnf	S = OPTIMUM \| O = 56 T = 4.44 \| (out)(err)	S = OPTIMUM \| O = 56 T = 0.43 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 56 T = 40.87 \| (out)(err)	S = OPTIMUM \| O = 56 T = 0.38 \| (out)(err)	S = OPTIMUM \| O = 56 T = 0.36 \| (out)(err)	S = OPTIMUM \| O = 56 T = 3.26 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 56 T = 55.96 \| (out)(err)
keller4.clq.wcnf	S = OPTIMUM \| O = 160 T = 606.76 \| (out)(err)	S = OPTIMUM \| O = 160 T = 53.84 \| (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 = 160 T = 67.71 \| (out)(err)	S = OPTIMUM \| O = 160 T = 64.01 \| (out)(err)	S = OPTIMUM \| O = 160 T = 263.79 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 235.95 \| (out)(err)
keller5.clq.wcnf	S = N/A \| O = N/A T = 42.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 = 754 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)	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 = 258.37 \| (out)(err)
p_hat1000-1.clq.wcnf	S = N/A \| O = N/A T = 17.53 \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 990 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 497.29 \| (out)(err)
p_hat1000-2.clq.wcnf	S = N/A \| O = N/A T = 16.20 \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 969 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = N/A \| O = N/A T = 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)
p_hat1000-3.clq.wcnf	S = N/A \| O = N/A T = 293.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 = 961 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)	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 = 446.44 \| (out)(err)
p_hat300-1.clq.wcnf	S = N/A \| O = N/A T = 11.15 \| (out)(err)	S = OPTIMUM \| O = 292 T = 11.60 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 292 T = 488.35 \| (out)(err)	S = OPTIMUM \| O = 292 T = 13.32 \| (out)(err)	S = OPTIMUM \| O = 292 T = 7.62 \| (out)(err)	S = OPTIMUM \| O = 292 T = 1669.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 138.06 \| (out)(err)
p_hat300-2.clq.wcnf	S = N/A \| O = N/A T = 33.40 \| (out)(err)	S = OPTIMUM \| O = 275 T = 229.51 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 280 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 275 T = 229.27 \| (out)(err)	S = OPTIMUM \| O = 275 T = 232.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 = 213.88 \| (out)(err)
p_hat300-3.clq.wcnf	S = N/A \| O = 264 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)	S = N/A \| O = 273 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)	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 = 203.23 \| (out)(err)
p_hat500-1.clq.wcnf	S = N/A \| O = N/A T = 34.13 \| (out)(err)	S = OPTIMUM \| O = 491 T = 171.40 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 491 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 491 T = 219.88 \| (out)(err)	S = OPTIMUM \| O = 491 T = 143.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 = 325.36 \| (out)(err)
p_hat500-2.clq.wcnf	S = N/A \| O = N/A T = 21.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)	S = N/A \| O = 473 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)	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 = 223.52 \| (out)(err)
p_hat500-3.clq.wcnf	S = N/A \| O = N/A T = 16.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 = 463 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)	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)
p_hat700-1.clq.wcnf	S = N/A \| O = N/A T = 31.63 \| (out)(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 = 691 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 689 T = 1326.39 \| (out)(err)	S = OPTIMUM \| O = 689 T = 790.97 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
p_hat700-2.clq.wcnf	S = N/A \| O = N/A T = 14.59 \| (out)(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 = 671 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)	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 = 443.55 \| (out)(err)
p_hat700-3.clq.wcnf	S = N/A \| O = N/A T = 30.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 = 659 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)	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 = 282.96 \| (out)(err)
san1000.clq.wcnf	S = N/A \| O = N/A T = 15.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 = 991 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)	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)
san200_0.7_1.clq.wcnf	S = N/A \| O = 177 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)	S = N/A \| O = 183 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)	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 = 165.55 \| (out)(err)
san200_0.7_2.clq.wcnf	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)	S = N/A \| O = 185 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)	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 = 154.50 \| (out)(err)
san200_0.9_1.clq.wcnf	S = OPTIMUM \| O = 130 T = 84.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 = 150 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)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 130 T = 2.06 \| (out)(err)
san200_0.9_2.clq.wcnf	S = N/A \| O = 142 T = 1794.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 = 159 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)	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 = 175.62 \| (out)(err)
san200_0.9_3.clq.wcnf	S = N/A \| O = 164 T = 1782.39 \| (out)(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 = 166 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)	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)
san400_0.5_1.clq.wcnf	S = N/A \| O = N/A T = 14.90 \| (out)(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 = 392 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)	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)
san400_0.7_1.clq.wcnf	S = N/A \| O = N/A T = 47.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 = 379 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)	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 = 360.18 \| (out)(err)
san400_0.7_2.clq.wcnf	S = N/A \| O = N/A T = 25.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 = 382 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)	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 = 182.56 \| (out)(err)
san400_0.7_3.clq.wcnf	S = N/A \| O = N/A T = 21.27 \| (out)(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 = 384 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)	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)
san400_0.9_1.clq.wcnf	S = N/A \| O = 347 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)	S = N/A \| O = 347 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)	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 = 265.37 \| (out)(err)
sanr200_0.7.clq.wcnf	S = N/A \| O = 182 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 182 T = 486.77 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 183 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 182 T = 517.62 \| (out)(err)	S = OPTIMUM \| O = 182 T = 493.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)
sanr200_0.9.clq.wcnf	S = N/A \| O = 160 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)	S = N/A \| O = 164 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)	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 = 167.91 \| (out)(err)
sanr400_0.5.clq.wcnf	S = N/A \| O = N/A T = 14.54 \| (out)(err)	S = OPTIMUM \| O = 387 T = 1648.62 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 388 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 387 T = 1697.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)
sanr400_0.7.clq.wcnf	S = N/A \| O = N/A T = 12.80 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 381 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)	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)
cnf3.150.250.832706.cnf.wcnf	S = OPTIMUM \| O = 15 T = 12.40 \| (out)(err)	S = OPTIMUM \| O = 15 T = 2.99 \| (out)(err)	S = OPTIMUM \| O = 15 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 15 T = 70.64 \| (out)(err)	S = OPTIMUM \| O = 15 T = 14.10 \| (out)(err)	S = OPTIMUM \| O = 15 T = 14.59 \| (out)(err)	S = OPTIMUM \| O = 15 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 15 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 15 T = 0.01 \| (out)(err)
cnf3.150.250.832707.cnf.wcnf	S = OPTIMUM \| O = 18 T = 63.71 \| (out)(err)	S = OPTIMUM \| O = 18 T = 30.71 \| (out)(err)	S = OPTIMUM \| O = 18 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 18 T = 1602.63 \| (out)(err)	S = OPTIMUM \| O = 18 T = 69.06 \| (out)(err)	S = OPTIMUM \| O = 18 T = 64.88 \| (out)(err)	S = OPTIMUM \| O = 18 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 18 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 18 T = 0.01 \| (out)(err)
cnf3.150.250.832708.cnf.wcnf	S = OPTIMUM \| O = 20 T = 162.74 \| (out)(err)	S = OPTIMUM \| O = 20 T = 148.86 \| (out)(err)	S = OPTIMUM \| O = 20 T = 0.01 \| (out)(err)	S = N/A \| O = 23 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 20 T = 295.78 \| (out)(err)	S = OPTIMUM \| O = 20 T = 295.25 \| (out)(err)	S = OPTIMUM \| O = 20 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 20 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 20 T = 0.01 \| (out)(err)
cnf3.150.250.832709.cnf.wcnf	S = OPTIMUM \| O = 24 T = 853.57 \| (out)(err)	S = OPTIMUM \| O = 24 T = 1046.03 \| (out)(err)	S = OPTIMUM \| O = 24 T = 0.03 \| (out)(err)	S = N/A \| O = 24 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 24 T = 1276.86 \| (out)(err)	S = OPTIMUM \| O = 24 T = 1189.84 \| (out)(err)	S = OPTIMUM \| O = 24 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 24 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 24 T = 0.02 \| (out)(err)
cnf3.150.250.832710.cnf.wcnf	S = OPTIMUM \| O = 24 T = 830.12 \| (out)(err)	S = OPTIMUM \| O = 24 T = 861.43 \| (out)(err)	S = OPTIMUM \| O = 24 T = 0.01 \| (out)(err)	S = N/A \| O = 27 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)	S = OPTIMUM \| O = 24 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 24 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 24 T = 0.02 \| (out)(err)
cnf3.150.250.832711.cnf.wcnf	S = OPTIMUM \| O = 20 T = 269.95 \| (out)(err)	S = OPTIMUM \| O = 20 T = 120.15 \| (out)(err)	S = OPTIMUM \| O = 20 T = 0.01 \| (out)(err)	S = N/A \| O = 21 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 20 T = 120.06 \| (out)(err)	S = OPTIMUM \| O = 20 T = 128.94 \| (out)(err)	S = OPTIMUM \| O = 20 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 20 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 20 T = 0.01 \| (out)(err)
cnf3.150.250.832712.cnf.wcnf	S = N/A \| O = N/A T = 1783.19 \| (out)(err)	S = OPTIMUM \| O = 23 T = 1214.54 \| (out)(err)	S = OPTIMUM \| O = 23 T = 0.02 \| (out)(err)	S = N/A \| O = 24 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)	S = OPTIMUM \| O = 23 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 23 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 23 T = 0.02 \| (out)(err)
cnf3.150.250.832713.cnf.wcnf	S = OPTIMUM \| O = 16 T = 60.38 \| (out)(err)	S = OPTIMUM \| O = 16 T = 12.53 \| (out)(err)	S = OPTIMUM \| O = 16 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 16 T = 1004.86 \| (out)(err)	S = OPTIMUM \| O = 16 T = 15.13 \| (out)(err)	S = OPTIMUM \| O = 16 T = 15.95 \| (out)(err)	S = OPTIMUM \| O = 16 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 16 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 16 T = 0.01 \| (out)(err)
cnf3.150.250.832714.cnf.wcnf	S = OPTIMUM \| O = 23 T = 1204.98 \| (out)(err)	S = OPTIMUM \| O = 23 T = 594.39 \| (out)(err)	S = OPTIMUM \| O = 23 T = 0.01 \| (out)(err)	S = N/A \| O = 23 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 23 T = 1077.87 \| (out)(err)	S = OPTIMUM \| O = 23 T = 1039.67 \| (out)(err)	S = OPTIMUM \| O = 23 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 23 T = 0.81 \| (out)(err)	S = OPTIMUM \| O = 23 T = 0.03 \| (out)(err)
cnf3.150.250.832715.cnf.wcnf	S = N/A \| O = 24 T = 1789.03 \| (out)(err)	S = OPTIMUM \| O = 24 T = 1523.78 \| (out)(err)	S = OPTIMUM \| O = 24 T = 0.05 \| (out)(err)	S = N/A \| O = 25 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 24 T = 1538.00 \| (out)(err)	S = OPTIMUM \| O = 24 T = 1613.23 \| (out)(err)	S = OPTIMUM \| O = 24 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 24 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 24 T = 0.02 \| (out)(err)
cnf3.150.300.195561.cnf.wcnf	S = N/A \| O = N/A T = 1793.17 \| (out)(err)	S = OPTIMUM \| O = 22 T = 90.25 \| (out)(err)	S = OPTIMUM \| O = 22 T = 0.01 \| (out)(err)	S = N/A \| O = 22 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 22 T = 342.35 \| (out)(err)	S = OPTIMUM \| O = 22 T = 364.30 \| (out)(err)	S = OPTIMUM \| O = 22 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 22 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 22 T = 0.02 \| (out)(err)
cnf3.150.300.195562.cnf.wcnf	S = OPTIMUM \| O = 22 T = 173.12 \| (out)(err)	S = OPTIMUM \| O = 22 T = 61.58 \| (out)(err)	S = OPTIMUM \| O = 22 T = 0.01 \| (out)(err)	S = N/A \| O = 23 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 22 T = 85.39 \| (out)(err)	S = OPTIMUM \| O = 22 T = 84.16 \| (out)(err)	S = OPTIMUM \| O = 22 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 22 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 22 T = 0.02 \| (out)(err)
cnf3.150.300.195563.cnf.wcnf	S = OPTIMUM \| O = 20 T = 287.72 \| (out)(err)	S = OPTIMUM \| O = 20 T = 178.73 \| (out)(err)	S = OPTIMUM \| O = 20 T = 0.01 \| (out)(err)	S = N/A \| O = 21 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 20 T = 239.31 \| (out)(err)	S = OPTIMUM \| O = 20 T = 297.33 \| (out)(err)	S = OPTIMUM \| O = 20 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 20 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 20 T = 0.02 \| (out)(err)
cnf3.150.300.195564.cnf.wcnf	S = OPTIMUM \| O = 26 T = 941.72 \| (out)(err)	S = OPTIMUM \| O = 26 T = 246.39 \| (out)(err)	S = OPTIMUM \| O = 26 T = 0.02 \| (out)(err)	S = N/A \| O = 29 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 26 T = 471.15 \| (out)(err)	S = OPTIMUM \| O = 26 T = 461.48 \| (out)(err)	S = OPTIMUM \| O = 26 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 26 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 26 T = 0.02 \| (out)(err)
cnf3.150.300.195565.cnf.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 27 T = 1402.75 \| (out)(err)	S = OPTIMUM \| O = 27 T = 0.01 \| (out)(err)	S = N/A \| O = 31 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)	S = OPTIMUM \| O = 27 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 27 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 27 T = 0.02 \| (out)(err)
cnf3.150.300.195566.cnf.wcnf	S = OPTIMUM \| O = 21 T = 55.87 \| (out)(err)	S = OPTIMUM \| O = 21 T = 4.66 \| (out)(err)	S = OPTIMUM \| O = 21 T = 0.01 \| (out)(err)	S = N/A \| O = 22 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 21 T = 31.66 \| (out)(err)	S = OPTIMUM \| O = 21 T = 29.73 \| (out)(err)	S = OPTIMUM \| O = 21 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 21 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 21 T = 0.02 \| (out)(err)
cnf3.150.300.195567.cnf.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 26 T = 231.47 \| (out)(err)	S = OPTIMUM \| O = 26 T = 0.02 \| (out)(err)	S = N/A \| O = 28 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 26 T = 598.94 \| (out)(err)	S = OPTIMUM \| O = 26 T = 560.13 \| (out)(err)	S = OPTIMUM \| O = 26 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 26 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 26 T = 0.04 \| (out)(err)
cnf3.150.300.195568.cnf.wcnf	S = N/A \| O = 25 T = 1783.49 \| (out)(err)	S = OPTIMUM \| O = 25 T = 497.02 \| (out)(err)	S = OPTIMUM \| O = 25 T = 0.03 \| (out)(err)	S = N/A \| O = 26 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 25 T = 726.22 \| (out)(err)	S = OPTIMUM \| O = 25 T = 757.49 \| (out)(err)	S = OPTIMUM \| O = 25 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 25 T = 0.44 \| (out)(err)	S = OPTIMUM \| O = 25 T = 0.02 \| (out)(err)
cnf3.150.300.195569.cnf.wcnf	S = N/A \| O = 28 T = 1790.23 \| (out)(err)	S = OPTIMUM \| O = 27 T = 797.27 \| (out)(err)	S = OPTIMUM \| O = 27 T = 235.97 \| (out)(err)	S = N/A \| O = 28 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 27 T = 974.08 \| (out)(err)	S = OPTIMUM \| O = 27 T = 924.47 \| (out)(err)	S = OPTIMUM \| O = 27 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 27 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 27 T = 0.04 \| (out)(err)
cnf3.150.300.195570.cnf.wcnf	S = OPTIMUM \| O = 20 T = 87.55 \| (out)(err)	S = OPTIMUM \| O = 20 T = 21.30 \| (out)(err)	S = OPTIMUM \| O = 20 T = 0.01 \| (out)(err)	S = N/A \| O = 20 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 20 T = 138.03 \| (out)(err)	S = OPTIMUM \| O = 20 T = 128.70 \| (out)(err)	S = OPTIMUM \| O = 20 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 20 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 20 T = 0.02 \| (out)(err)
cnf3.150.350.558416.cnf.wcnf	S = OPTIMUM \| O = 32 T = 1016.24 \| (out)(err)	S = OPTIMUM \| O = 32 T = 177.19 \| (out)(err)	S = OPTIMUM \| O = 32 T = 0.21 \| (out)(err)	S = N/A \| O = 36 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 32 T = 764.32 \| (out)(err)	S = OPTIMUM \| O = 32 T = 793.41 \| (out)(err)	S = OPTIMUM \| O = 32 T = 0.10 \| (out)(err)	S = OPTIMUM \| O = 32 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 32 T = 0.04 \| (out)(err)
cnf3.150.350.558417.cnf.wcnf	S = N/A \| O = 30 T = 1791.53 \| (out)(err)	S = OPTIMUM \| O = 30 T = 360.91 \| (out)(err)	S = OPTIMUM \| O = 30 T = 0.62 \| (out)(err)	S = N/A \| O = 30 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 30 T = 590.90 \| (out)(err)	S = OPTIMUM \| O = 30 T = 502.09 \| (out)(err)	S = OPTIMUM \| O = 30 T = 0.65 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 30 T = 0.24 \| (out)(err)
cnf3.150.350.558418.cnf.wcnf	S = N/A \| O = N/A T = 1784.39 \| (out)(err)	S = OPTIMUM \| O = 29 T = 161.25 \| (out)(err)	S = OPTIMUM \| O = 29 T = 0.03 \| (out)(err)	S = N/A \| O = 33 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 29 T = 678.20 \| (out)(err)	S = OPTIMUM \| O = 29 T = 918.93 \| (out)(err)	S = OPTIMUM \| O = 29 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 29 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 29 T = 0.03 \| (out)(err)
cnf3.150.350.558419.cnf.wcnf	S = N/A \| O = N/A T = 1798.60 \| (out)(err)	S = OPTIMUM \| O = 29 T = 578.75 \| (out)(err)	S = OPTIMUM \| O = 29 T = 0.33 \| (out)(err)	S = N/A \| O = 29 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 29 T = 791.74 \| (out)(err)	S = OPTIMUM \| O = 29 T = 768.42 \| (out)(err)	S = OPTIMUM \| O = 29 T = 0.10 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 29 T = 0.04 \| (out)(err)
cnf3.150.350.558420.cnf.wcnf	S = N/A \| O = N/A T = 1782.93 \| (out)(err)	S = OPTIMUM \| O = 32 T = 321.98 \| (out)(err)	S = OPTIMUM \| O = 32 T = 14.07 \| (out)(err)	S = N/A \| O = 35 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 32 T = 304.35 \| (out)(err)	S = OPTIMUM \| O = 32 T = 341.55 \| (out)(err)	S = OPTIMUM \| O = 32 T = 0.40 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 32 T = 0.06 \| (out)(err)
cnf3.150.350.558421.cnf.wcnf	S = N/A \| O = N/A T = 1798.24 \| (out)(err)	S = OPTIMUM \| O = 30 T = 219.80 \| (out)(err)	S = OPTIMUM \| O = 30 T = 16.42 \| (out)(err)	S = N/A \| O = 33 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 30 T = 131.61 \| (out)(err)	S = OPTIMUM \| O = 30 T = 162.88 \| (out)(err)	S = OPTIMUM \| O = 30 T = 0.82 \| (out)(err)	S = OPTIMUM \| O = 30 T = 14.17 \| (out)(err)	S = OPTIMUM \| O = 30 T = 0.17 \| (out)(err)
cnf3.150.350.558422.cnf.wcnf	S = N/A \| O = 30 T = 1794.29 \| (out)(err)	S = OPTIMUM \| O = 30 T = 681.38 \| (out)(err)	S = OPTIMUM \| O = 30 T = 0.13 \| (out)(err)	S = N/A \| O = 33 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 30 T = 695.04 \| (out)(err)	S = OPTIMUM \| O = 30 T = 815.63 \| (out)(err)	S = OPTIMUM \| O = 30 T = 0.82 \| (out)(err)	S = OPTIMUM \| O = 30 T = 11.02 \| (out)(err)	S = OPTIMUM \| O = 30 T = 0.09 \| (out)(err)
cnf3.150.350.558423.cnf.wcnf	S = N/A \| O = 26 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 26 T = 97.44 \| (out)(err)	S = OPTIMUM \| O = 26 T = 0.02 \| (out)(err)	S = N/A \| O = 26 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 26 T = 105.90 \| (out)(err)	S = OPTIMUM \| O = 26 T = 106.54 \| (out)(err)	S = OPTIMUM \| O = 26 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 26 T = 0.17 \| (out)(err)	S = OPTIMUM \| O = 26 T = 0.03 \| (out)(err)
cnf3.150.350.558424.cnf.wcnf	S = OPTIMUM \| O = 24 T = 1124.38 \| (out)(err)	S = OPTIMUM \| O = 24 T = 29.17 \| (out)(err)	S = OPTIMUM \| O = 24 T = 0.04 \| (out)(err)	S = N/A \| O = 24 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 24 T = 32.00 \| (out)(err)	S = OPTIMUM \| O = 24 T = 42.09 \| (out)(err)	S = OPTIMUM \| O = 24 T = 0.09 \| (out)(err)	S = OPTIMUM \| O = 24 T = 5.10 \| (out)(err)	S = OPTIMUM \| O = 24 T = 0.04 \| (out)(err)
cnf3.150.350.558425.cnf.wcnf	S = OPTIMUM \| O = 27 T = 923.94 \| (out)(err)	S = OPTIMUM \| O = 27 T = 62.68 \| (out)(err)	S = OPTIMUM \| O = 27 T = 1.49 \| (out)(err)	S = N/A \| O = 27 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 27 T = 186.38 \| (out)(err)	S = OPTIMUM \| O = 27 T = 237.07 \| (out)(err)	S = OPTIMUM \| O = 27 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 27 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 27 T = 0.03 \| (out)(err)
cnf3.150.400.921271.cnf.wcnf	S = N/A \| O = 38 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 38 T = 418.72 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 42 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 38 T = 445.15 \| (out)(err)	S = OPTIMUM \| O = 38 T = 602.22 \| (out)(err)	S = OPTIMUM \| O = 38 T = 2.12 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 38 T = 59.40 \| (out)(err)
cnf3.150.400.921272.cnf.wcnf	S = N/A \| O = 33 T = 1795.98 \| (out)(err)	S = OPTIMUM \| O = 33 T = 77.92 \| (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 = 33 T = 104.28 \| (out)(err)	S = OPTIMUM \| O = 33 T = 118.63 \| (out)(err)	S = OPTIMUM \| O = 33 T = 1.71 \| (out)(err)	S = OPTIMUM \| O = 33 T = 37.80 \| (out)(err)	S = OPTIMUM \| O = 33 T = 6.81 \| (out)(err)
cnf3.150.400.921273.cnf.wcnf	S = OPTIMUM \| O = 31 T = 1733.44 \| (out)(err)	S = OPTIMUM \| O = 31 T = 66.37 \| (out)(err)	S = OPTIMUM \| O = 31 T = 113.81 \| (out)(err)	S = N/A \| O = 33 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 31 T = 68.94 \| (out)(err)	S = OPTIMUM \| O = 31 T = 74.89 \| (out)(err)	S = OPTIMUM \| O = 31 T = 0.80 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 31 T = 0.67 \| (out)(err)
cnf3.150.400.921274.cnf.wcnf	S = OPTIMUM \| O = 34 T = 1707.46 \| (out)(err)	S = OPTIMUM \| O = 34 T = 40.35 \| (out)(err)	S = OPTIMUM \| O = 34 T = 60.27 \| (out)(err)	S = N/A \| O = 36 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 34 T = 48.84 \| (out)(err)	S = OPTIMUM \| O = 34 T = 56.37 \| (out)(err)	S = OPTIMUM \| O = 34 T = 0.61 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 34 T = 0.06 \| (out)(err)
cnf3.150.400.921275.cnf.wcnf	S = N/A \| O = N/A T = 1792.04 \| (out)(err)	S = OPTIMUM \| O = 37 T = 394.04 \| (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 = 37 T = 386.82 \| (out)(err)	S = OPTIMUM \| O = 37 T = 477.85 \| (out)(err)	S = OPTIMUM \| O = 37 T = 12.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)
cnf3.150.400.921276.cnf.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 34 T = 15.32 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 35 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 34 T = 17.46 \| (out)(err)	S = OPTIMUM \| O = 34 T = 19.38 \| (out)(err)	S = OPTIMUM \| O = 34 T = 7.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)
cnf3.150.400.921277.cnf.wcnf	S = OPTIMUM \| O = 33 T = 1050.74 \| (out)(err)	S = OPTIMUM \| O = 33 T = 26.02 \| (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 = 33 T = 35.75 \| (out)(err)	S = OPTIMUM \| O = 33 T = 35.41 \| (out)(err)	S = OPTIMUM \| O = 33 T = 2.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 33 T = 109.89 \| (out)(err)
cnf3.150.400.921278.cnf.wcnf	S = OPTIMUM \| O = 31 T = 404.73 \| (out)(err)	S = OPTIMUM \| O = 31 T = 21.85 \| (out)(err)	S = OPTIMUM \| O = 31 T = 289.72 \| (out)(err)	S = N/A \| O = 32 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 31 T = 55.28 \| (out)(err)	S = OPTIMUM \| O = 31 T = 61.09 \| (out)(err)	S = OPTIMUM \| O = 31 T = 0.25 \| (out)(err)	S = OPTIMUM \| O = 31 T = 0.49 \| (out)(err)	S = OPTIMUM \| O = 31 T = 0.08 \| (out)(err)
cnf3.150.400.921279.cnf.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 28 T = 32.13 \| (out)(err)	S = OPTIMUM \| O = 28 T = 0.04 \| (out)(err)	S = N/A \| O = 31 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 28 T = 76.22 \| (out)(err)	S = OPTIMUM \| O = 28 T = 76.31 \| (out)(err)	S = OPTIMUM \| O = 28 T = 0.07 \| (out)(err)	S = OPTIMUM \| O = 28 T = 38.86 \| (out)(err)	S = OPTIMUM \| O = 28 T = 0.04 \| (out)(err)
cnf3.150.400.921280.cnf.wcnf	S = OPTIMUM \| O = 30 T = 355.99 \| (out)(err)	S = OPTIMUM \| O = 30 T = 8.04 \| (out)(err)	S = OPTIMUM \| O = 30 T = 0.09 \| (out)(err)	S = N/A \| O = 32 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 30 T = 7.86 \| (out)(err)	S = OPTIMUM \| O = 30 T = 9.10 \| (out)(err)	S = OPTIMUM \| O = 30 T = 0.06 \| (out)(err)	S = OPTIMUM \| O = 30 T = 0.24 \| (out)(err)	S = OPTIMUM \| O = 30 T = 0.03 \| (out)(err)
cnf3.150.450.284126.cnf.wcnf	S = OPTIMUM \| O = 43 T = 859.45 \| (out)(err)	S = OPTIMUM \| O = 43 T = 52.54 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 44 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 43 T = 46.87 \| (out)(err)	S = OPTIMUM \| O = 43 T = 48.53 \| (out)(err)	S = OPTIMUM \| O = 43 T = 26.09 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 209.95 \| (out)(err)
cnf3.150.450.284127.cnf.wcnf	S = OPTIMUM \| O = 34 T = 242.05 \| (out)(err)	S = OPTIMUM \| O = 34 T = 8.38 \| (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 = 34 T = 8.09 \| (out)(err)	S = OPTIMUM \| O = 34 T = 8.68 \| (out)(err)	S = OPTIMUM \| O = 34 T = 3.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)
cnf3.150.450.284128.cnf.wcnf	S = OPTIMUM \| O = 34 T = 565.26 \| (out)(err)	S = OPTIMUM \| O = 34 T = 13.91 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 35 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 34 T = 13.65 \| (out)(err)	S = OPTIMUM \| O = 34 T = 16.09 \| (out)(err)	S = OPTIMUM \| O = 34 T = 2.49 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 34 T = 13.46 \| (out)(err)
cnf3.150.450.284129.cnf.wcnf	S = OPTIMUM \| O = 33 T = 259.65 \| (out)(err)	S = OPTIMUM \| O = 33 T = 14.41 \| (out)(err)	S = OPTIMUM \| O = 33 T = 124.24 \| (out)(err)	S = N/A \| O = 37 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 33 T = 28.57 \| (out)(err)	S = OPTIMUM \| O = 33 T = 32.84 \| (out)(err)	S = OPTIMUM \| O = 33 T = 0.74 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 33 T = 0.13 \| (out)(err)
cnf3.150.450.284130.cnf.wcnf	S = OPTIMUM \| O = 36 T = 162.41 \| (out)(err)	S = OPTIMUM \| O = 36 T = 6.96 \| (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 = 36 T = 22.02 \| (out)(err)	S = OPTIMUM \| O = 36 T = 25.17 \| (out)(err)	S = OPTIMUM \| O = 36 T = 8.51 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 36 T = 15.05 \| (out)(err)
cnf3.150.450.284131.cnf.wcnf	S = OPTIMUM \| O = 31 T = 722.75 \| (out)(err)	S = OPTIMUM \| O = 31 T = 9.98 \| (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 = 31 T = 13.62 \| (out)(err)	S = OPTIMUM \| O = 31 T = 18.14 \| (out)(err)	S = OPTIMUM \| O = 31 T = 0.75 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 31 T = 2.03 \| (out)(err)
cnf3.150.450.284132.cnf.wcnf	S = OPTIMUM \| O = 31 T = 320.47 \| (out)(err)	S = OPTIMUM \| O = 31 T = 9.93 \| (out)(err)	S = OPTIMUM \| O = 31 T = 497.63 \| (out)(err)	S = N/A \| O = 34 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 31 T = 14.83 \| (out)(err)	S = OPTIMUM \| O = 31 T = 17.02 \| (out)(err)	S = OPTIMUM \| O = 31 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 31 T = 13.79 \| (out)(err)	S = OPTIMUM \| O = 31 T = 0.04 \| (out)(err)
cnf3.150.450.284133.cnf.wcnf	S = OPTIMUM \| O = 39 T = 172.06 \| (out)(err)	S = OPTIMUM \| O = 39 T = 12.19 \| (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 = 39 T = 14.93 \| (out)(err)	S = OPTIMUM \| O = 39 T = 15.46 \| (out)(err)	S = OPTIMUM \| O = 39 T = 12.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)
cnf3.150.450.284134.cnf.wcnf	S = OPTIMUM \| O = 39 T = 255.75 \| (out)(err)	S = OPTIMUM \| O = 39 T = 87.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 41 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 39 T = 106.16 \| (out)(err)	S = OPTIMUM \| O = 39 T = 100.79 \| (out)(err)	S = OPTIMUM \| O = 39 T = 36.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)
cnf3.150.450.284135.cnf.wcnf	S = OPTIMUM \| O = 35 T = 1684.74 \| (out)(err)	S = OPTIMUM \| O = 35 T = 37.51 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 38 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 35 T = 39.08 \| (out)(err)	S = OPTIMUM \| O = 35 T = 46.44 \| (out)(err)	S = OPTIMUM \| O = 35 T = 1.80 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 35 T = 1.05 \| (out)(err)
cnf3.150.500.646981.cnf.wcnf	S = OPTIMUM \| O = 47 T = 38.71 \| (out)(err)	S = OPTIMUM \| O = 47 T = 22.89 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 47 T = 178.84 \| (out)(err)	S = OPTIMUM \| O = 47 T = 50.79 \| (out)(err)	S = OPTIMUM \| O = 47 T = 36.12 \| (out)(err)	S = OPTIMUM \| O = 47 T = 103.75 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 256.85 \| (out)(err)
cnf3.150.500.646982.cnf.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 46 T = 10.59 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 46 T = 178.31 \| (out)(err)	S = OPTIMUM \| O = 46 T = 7.41 \| (out)(err)	S = OPTIMUM \| O = 46 T = 9.12 \| (out)(err)	S = OPTIMUM \| O = 46 T = 80.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)
cnf3.150.500.646983.cnf.wcnf	S = OPTIMUM \| O = 47 T = 304.05 \| (out)(err)	S = OPTIMUM \| O = 47 T = 54.25 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 47 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 47 T = 47.51 \| (out)(err)	S = OPTIMUM \| O = 47 T = 65.48 \| (out)(err)	S = OPTIMUM \| O = 47 T = 346.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)
cnf3.150.500.646984.cnf.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 42 T = 4.68 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 42 T = 498.30 \| (out)(err)	S = OPTIMUM \| O = 42 T = 9.21 \| (out)(err)	S = OPTIMUM \| O = 42 T = 8.60 \| (out)(err)	S = OPTIMUM \| O = 42 T = 29.13 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 283.59 \| (out)(err)
cnf3.150.500.646985.cnf.wcnf	S = N/A \| O = 53 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 53 T = 11.94 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 53 T = 147.68 \| (out)(err)	S = OPTIMUM \| O = 53 T = 9.06 \| (out)(err)	S = OPTIMUM \| O = 53 T = 12.71 \| (out)(err)	S = OPTIMUM \| O = 53 T = 130.06 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 233.42 \| (out)(err)
cnf3.150.500.646986.cnf.wcnf	S = N/A \| O = 47 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 47 T = 7.43 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 47 T = 79.30 \| (out)(err)	S = OPTIMUM \| O = 47 T = 9.31 \| (out)(err)	S = OPTIMUM \| O = 47 T = 7.34 \| (out)(err)	S = OPTIMUM \| O = 47 T = 42.94 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 218.04 \| (out)(err)
cnf3.150.500.646987.cnf.wcnf	S = OPTIMUM \| O = 43 T = 20.96 \| (out)(err)	S = OPTIMUM \| O = 43 T = 3.51 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 43 T = 37.44 \| (out)(err)	S = OPTIMUM \| O = 43 T = 3.66 \| (out)(err)	S = OPTIMUM \| O = 43 T = 3.52 \| (out)(err)	S = OPTIMUM \| O = 43 T = 32.27 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 225.35 \| (out)(err)
cnf3.150.500.646988.cnf.wcnf	S = OPTIMUM \| O = 41 T = 1753.75 \| (out)(err)	S = OPTIMUM \| O = 41 T = 3.11 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 41 T = 83.47 \| (out)(err)	S = OPTIMUM \| O = 41 T = 5.70 \| (out)(err)	S = OPTIMUM \| O = 41 T = 7.41 \| (out)(err)	S = OPTIMUM \| O = 41 T = 18.47 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
cnf3.150.500.646989.cnf.wcnf	S = OPTIMUM \| O = 49 T = 957.52 \| (out)(err)	S = OPTIMUM \| O = 49 T = 9.66 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 49 T = 143.31 \| (out)(err)	S = OPTIMUM \| O = 49 T = 14.26 \| (out)(err)	S = OPTIMUM \| O = 49 T = 10.02 \| (out)(err)	S = OPTIMUM \| O = 49 T = 103.53 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 240.01 \| (out)(err)
cnf3.150.500.646990.cnf.wcnf	S = OPTIMUM \| O = 44 T = 1694.52 \| (out)(err)	S = OPTIMUM \| O = 44 T = 8.21 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 44 T = 127.95 \| (out)(err)	S = OPTIMUM \| O = 44 T = 9.46 \| (out)(err)	S = OPTIMUM \| O = 44 T = 12.41 \| (out)(err)	S = OPTIMUM \| O = 44 T = 63.11 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 224.97 \| (out)(err)
cnf3.150.550.009836.cnf.wcnf	S = OPTIMUM \| O = 54 T = 39.79 \| (out)(err)	S = OPTIMUM \| O = 54 T = 2.04 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 54 T = 3.51 \| (out)(err)	S = OPTIMUM \| O = 54 T = 1.65 \| (out)(err)	S = OPTIMUM \| O = 54 T = 2.29 \| (out)(err)	S = OPTIMUM \| O = 54 T = 30.71 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 302.07 \| (out)(err)
cnf3.150.550.009837.cnf.wcnf	S = OPTIMUM \| O = 52 T = 611.83 \| (out)(err)	S = OPTIMUM \| O = 52 T = 10.91 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 52 T = 18.75 \| (out)(err)	S = OPTIMUM \| O = 52 T = 13.81 \| (out)(err)	S = OPTIMUM \| O = 52 T = 13.10 \| (out)(err)	S = OPTIMUM \| O = 52 T = 70.53 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 202.88 \| (out)(err)
cnf3.150.550.009838.cnf.wcnf	S = OPTIMUM \| O = 45 T = 297.51 \| (out)(err)	S = OPTIMUM \| O = 45 T = 3.94 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 45 T = 15.06 \| (out)(err)	S = OPTIMUM \| O = 45 T = 6.94 \| (out)(err)	S = OPTIMUM \| O = 45 T = 5.40 \| (out)(err)	S = OPTIMUM \| O = 45 T = 24.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)
cnf3.150.550.009839.cnf.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 39 T = 6.40 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 39 T = 185.55 \| (out)(err)	S = OPTIMUM \| O = 39 T = 6.72 \| (out)(err)	S = OPTIMUM \| O = 39 T = 7.47 \| (out)(err)	S = OPTIMUM \| O = 39 T = 7.28 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 39 T = 156.70 \| (out)(err)
cnf3.150.550.009840.cnf.wcnf	S = OPTIMUM \| O = 52 T = 76.55 \| (out)(err)	S = OPTIMUM \| O = 52 T = 6.69 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 52 T = 14.75 \| (out)(err)	S = OPTIMUM \| O = 52 T = 9.15 \| (out)(err)	S = OPTIMUM \| O = 52 T = 7.01 \| (out)(err)	S = OPTIMUM \| O = 52 T = 60.11 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 214.65 \| (out)(err)
cnf3.150.550.009841.cnf.wcnf	S = OPTIMUM \| O = 57 T = 260.86 \| (out)(err)	S = OPTIMUM \| O = 57 T = 5.11 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 57 T = 23.83 \| (out)(err)	S = OPTIMUM \| O = 57 T = 9.87 \| (out)(err)	S = OPTIMUM \| O = 57 T = 8.77 \| (out)(err)	S = OPTIMUM \| O = 57 T = 84.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)
cnf3.150.550.009842.cnf.wcnf	S = OPTIMUM \| O = 45 T = 1290.53 \| (out)(err)	S = OPTIMUM \| O = 45 T = 4.50 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 45 T = 12.44 \| (out)(err)	S = OPTIMUM \| O = 45 T = 8.72 \| (out)(err)	S = OPTIMUM \| O = 45 T = 6.27 \| (out)(err)	S = OPTIMUM \| O = 45 T = 31.24 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
cnf3.150.550.009843.cnf.wcnf	S = OPTIMUM \| O = 40 T = 12.68 \| (out)(err)	S = OPTIMUM \| O = 40 T = 2.69 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 40 T = 13.41 \| (out)(err)	S = OPTIMUM \| O = 40 T = 2.99 \| (out)(err)	S = OPTIMUM \| O = 40 T = 3.40 \| (out)(err)	S = OPTIMUM \| O = 40 T = 9.95 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 244.06 \| (out)(err)
cnf3.150.550.009844.cnf.wcnf	S = OPTIMUM \| O = 47 T = 31.10 \| (out)(err)	S = OPTIMUM \| O = 47 T = 9.47 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 47 T = 36.36 \| (out)(err)	S = OPTIMUM \| O = 47 T = 7.10 \| (out)(err)	S = OPTIMUM \| O = 47 T = 11.64 \| (out)(err)	S = OPTIMUM \| O = 47 T = 58.37 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 229.36 \| (out)(err)
cnf3.150.550.009845.cnf.wcnf	S = OPTIMUM \| O = 50 T = 12.63 \| (out)(err)	S = OPTIMUM \| O = 50 T = 3.55 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 50 T = 18.28 \| (out)(err)	S = OPTIMUM \| O = 50 T = 3.76 \| (out)(err)	S = OPTIMUM \| O = 50 T = 4.60 \| (out)(err)	S = OPTIMUM \| O = 50 T = 61.91 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 264.06 \| (out)(err)
cnf3.150.600.372691.cnf.wcnf	S = OPTIMUM \| O = 63 T = 17.43 \| (out)(err)	S = OPTIMUM \| O = 63 T = 1.31 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 63 T = 2.05 \| (out)(err)	S = OPTIMUM \| O = 63 T = 1.15 \| (out)(err)	S = OPTIMUM \| O = 63 T = 1.03 \| (out)(err)	S = OPTIMUM \| O = 63 T = 24.17 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 182.04 \| (out)(err)
cnf3.150.600.372692.cnf.wcnf	S = OPTIMUM \| O = 49 T = 112.55 \| (out)(err)	S = OPTIMUM \| O = 49 T = 3.87 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 49 T = 4.13 \| (out)(err)	S = OPTIMUM \| O = 49 T = 4.71 \| (out)(err)	S = OPTIMUM \| O = 49 T = 4.27 \| (out)(err)	S = OPTIMUM \| O = 49 T = 16.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)
cnf3.150.600.372693.cnf.wcnf	S = OPTIMUM \| O = 69 T = 8.48 \| (out)(err)	S = OPTIMUM \| O = 69 T = 0.78 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 69 T = 1.30 \| (out)(err)	S = OPTIMUM \| O = 69 T = 0.47 \| (out)(err)	S = OPTIMUM \| O = 69 T = 0.48 \| (out)(err)	S = OPTIMUM \| O = 69 T = 20.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)
cnf3.150.600.372694.cnf.wcnf	S = OPTIMUM \| O = 62 T = 11.87 \| (out)(err)	S = OPTIMUM \| O = 62 T = 0.94 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 62 T = 1.71 \| (out)(err)	S = OPTIMUM \| O = 62 T = 0.63 \| (out)(err)	S = OPTIMUM \| O = 62 T = 0.63 \| (out)(err)	S = OPTIMUM \| O = 62 T = 15.72 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 205.85 \| (out)(err)
cnf3.150.600.372695.cnf.wcnf	S = OPTIMUM \| O = 53 T = 19.30 \| (out)(err)	S = OPTIMUM \| O = 53 T = 1.27 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 53 T = 2.56 \| (out)(err)	S = OPTIMUM \| O = 53 T = 1.11 \| (out)(err)	S = OPTIMUM \| O = 53 T = 1.00 \| (out)(err)	S = OPTIMUM \| O = 53 T = 11.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)
cnf3.150.600.372696.cnf.wcnf	S = OPTIMUM \| O = 53 T = 222.44 \| (out)(err)	S = OPTIMUM \| O = 53 T = 1.54 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 53 T = 3.06 \| (out)(err)	S = OPTIMUM \| O = 53 T = 1.29 \| (out)(err)	S = OPTIMUM \| O = 53 T = 1.41 \| (out)(err)	S = OPTIMUM \| O = 53 T = 15.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)
cnf3.150.600.372697.cnf.wcnf	S = OPTIMUM \| O = 46 T = 82.92 \| (out)(err)	S = OPTIMUM \| O = 46 T = 2.93 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 46 T = 6.49 \| (out)(err)	S = OPTIMUM \| O = 46 T = 2.08 \| (out)(err)	S = OPTIMUM \| O = 46 T = 2.54 \| (out)(err)	S = OPTIMUM \| O = 46 T = 24.24 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
cnf3.150.600.372698.cnf.wcnf	S = OPTIMUM \| O = 57 T = 20.49 \| (out)(err)	S = OPTIMUM \| O = 57 T = 4.49 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 57 T = 4.80 \| (out)(err)	S = OPTIMUM \| O = 57 T = 4.03 \| (out)(err)	S = OPTIMUM \| O = 57 T = 5.12 \| (out)(err)	S = OPTIMUM \| O = 57 T = 29.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)
cnf3.150.600.372699.cnf.wcnf	S = OPTIMUM \| O = 65 T = 13.50 \| (out)(err)	S = OPTIMUM \| O = 65 T = 1.12 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 65 T = 1.93 \| (out)(err)	S = OPTIMUM \| O = 65 T = 0.70 \| (out)(err)	S = OPTIMUM \| O = 65 T = 0.82 \| (out)(err)	S = OPTIMUM \| O = 65 T = 18.20 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 258.67 \| (out)(err)
cnf3.150.600.372700.cnf.wcnf	S = OPTIMUM \| O = 60 T = 45.74 \| (out)(err)	S = OPTIMUM \| O = 60 T = 1.87 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 60 T = 2.86 \| (out)(err)	S = OPTIMUM \| O = 60 T = 1.39 \| (out)(err)	S = OPTIMUM \| O = 60 T = 1.55 \| (out)(err)	S = OPTIMUM \| O = 60 T = 26.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)
3col100_5_1.shuffled.cnf.wcnf	S = N/A \| O = 100 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 100 T = 3.31 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 100 T = 1.48 \| (out)(err)	S = OPTIMUM \| O = 100 T = 3.13 \| (out)(err)	S = OPTIMUM \| O = 100 T = 2.84 \| (out)(err)	S = OPTIMUM \| O = 100 T = 86.70 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
3col100_5_10.shuffled.cnf.wcnf	S = OPTIMUM \| O = 94 T = 1441.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 = OPTIMUM \| O = 94 T = 1.62 \| (out)(err)	S = OPTIMUM \| O = 94 T = 3.61 \| (out)(err)	S = OPTIMUM \| O = 94 T = 2.54 \| (out)(err)	S = OPTIMUM \| O = 94 T = 81.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)
3col100_5_2.shuffled.cnf.wcnf	S = OPTIMUM \| O = 104 T = 828.25 \| (out)(err)	S = OPTIMUM \| O = 104 T = 3.72 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 104 T = 1.75 \| (out)(err)	S = OPTIMUM \| O = 104 T = 3.95 \| (out)(err)	S = OPTIMUM \| O = 104 T = 3.27 \| (out)(err)	S = OPTIMUM \| O = 104 T = 92.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)
3col100_5_3.shuffled.cnf.wcnf	S = OPTIMUM \| O = 92 T = 982.60 \| (out)(err)	S = OPTIMUM \| O = 92 T = 2.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 92 T = 1.66 \| (out)(err)	S = OPTIMUM \| O = 92 T = 2.29 \| (out)(err)	S = OPTIMUM \| O = 92 T = 2.69 \| (out)(err)	S = OPTIMUM \| O = 92 T = 68.56 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 229.96 \| (out)(err)
3col100_5_4.shuffled.cnf.wcnf	S = OPTIMUM \| O = 97 T = 675.27 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 97 T = 1.48 \| (out)(err)	S = OPTIMUM \| O = 97 T = 3.60 \| (out)(err)	S = OPTIMUM \| O = 97 T = 2.28 \| (out)(err)	S = OPTIMUM \| O = 97 T = 69.18 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 385.59 \| (out)(err)
3col100_5_5.shuffled.cnf.wcnf	S = OPTIMUM \| O = 86 T = 1559.09 \| (out)(err)	S = OPTIMUM \| O = 86 T = 3.09 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 86 T = 1.59 \| (out)(err)	S = OPTIMUM \| O = 86 T = 3.60 \| (out)(err)	S = OPTIMUM \| O = 86 T = 2.63 \| (out)(err)	S = OPTIMUM \| O = 86 T = 59.29 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 273.82 \| (out)(err)
3col100_5_6.shuffled.cnf.wcnf	S = OPTIMUM \| O = 90 T = 837.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 = OPTIMUM \| O = 90 T = 1.52 \| (out)(err)	S = OPTIMUM \| O = 90 T = 2.47 \| (out)(err)	S = OPTIMUM \| O = 90 T = 1.67 \| (out)(err)	S = OPTIMUM \| O = 90 T = 97.18 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 261.45 \| (out)(err)
3col100_5_7.shuffled.cnf.wcnf	S = OPTIMUM \| O = 85 T = 1026.24 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 85 T = 1.84 \| (out)(err)	S = OPTIMUM \| O = 85 T = 5.58 \| (out)(err)	S = OPTIMUM \| O = 85 T = 2.51 \| (out)(err)	S = OPTIMUM \| O = 85 T = 37.50 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 511.10 \| (out)(err)
3col100_5_8.shuffled.cnf.wcnf	S = N/A \| O = 94 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)	S = OPTIMUM \| O = 94 T = 1.70 \| (out)(err)	S = OPTIMUM \| O = 94 T = 3.26 \| (out)(err)	S = OPTIMUM \| O = 94 T = 3.76 \| (out)(err)	S = OPTIMUM \| O = 94 T = 135.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)
3col100_5_9.shuffled.cnf.wcnf	S = OPTIMUM \| O = 94 T = 597.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)	S = OPTIMUM \| O = 94 T = 1.70 \| (out)(err)	S = OPTIMUM \| O = 94 T = 3.37 \| (out)(err)	S = OPTIMUM \| O = 94 T = 1.41 \| (out)(err)	S = OPTIMUM \| O = 94 T = 72.97 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 211.90 \| (out)(err)
3col120_5_1.shuffled.cnf.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 123 T = 93.19 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 123 T = 6.44 \| (out)(err)	S = OPTIMUM \| O = 123 T = 132.12 \| (out)(err)	S = OPTIMUM \| O = 123 T = 62.60 \| (out)(err)	S = OPTIMUM \| O = 123 T = 711.99 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 453.62 \| (out)(err)
3col120_5_10.shuffled.cnf.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 125 T = 94.68 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 125 T = 7.38 \| (out)(err)	S = OPTIMUM \| O = 125 T = 105.53 \| (out)(err)	S = OPTIMUM \| O = 125 T = 93.16 \| (out)(err)	S = OPTIMUM \| O = 125 T = 555.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)
3col120_5_2.shuffled.cnf.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 124 T = 102.98 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 124 T = 6.03 \| (out)(err)	S = OPTIMUM \| O = 124 T = 155.60 \| (out)(err)	S = OPTIMUM \| O = 124 T = 103.98 \| (out)(err)	S = OPTIMUM \| O = 124 T = 644.87 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 398.13 \| (out)(err)
3col120_5_3.shuffled.cnf.wcnf	S = N/A \| O = N/A T = 1797.27 \| (out)(err)	S = OPTIMUM \| O = 119 T = 127.50 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 119 T = 7.42 \| (out)(err)	S = OPTIMUM \| O = 119 T = 188.54 \| (out)(err)	S = OPTIMUM \| O = 119 T = 132.57 \| (out)(err)	S = OPTIMUM \| O = 119 T = 950.15 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 255.30 \| (out)(err)
3col120_5_4.shuffled.cnf.wcnf	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)	S = OPTIMUM \| O = 122 T = 5.51 \| (out)(err)	S = OPTIMUM \| O = 122 T = 112.14 \| (out)(err)	S = OPTIMUM \| O = 122 T = 117.74 \| (out)(err)	S = OPTIMUM \| O = 122 T = 802.37 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 428.44 \| (out)(err)
3col120_5_5.shuffled.cnf.wcnf	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)	S = OPTIMUM \| O = 112 T = 5.68 \| (out)(err)	S = OPTIMUM \| O = 112 T = 119.11 \| (out)(err)	S = OPTIMUM \| O = 112 T = 105.15 \| (out)(err)	S = OPTIMUM \| O = 112 T = 745.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)
3col120_5_6.shuffled.cnf.wcnf	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)	S = OPTIMUM \| O = 121 T = 7.27 \| (out)(err)	S = OPTIMUM \| O = 121 T = 99.67 \| (out)(err)	S = OPTIMUM \| O = 121 T = 99.15 \| (out)(err)	S = OPTIMUM \| O = 121 T = 622.93 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 551.45 \| (out)(err)
3col120_5_7.shuffled.cnf.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 120 T = 150.77 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 120 T = 6.23 \| (out)(err)	S = OPTIMUM \| O = 120 T = 190.07 \| (out)(err)	S = OPTIMUM \| O = 120 T = 148.68 \| (out)(err)	S = OPTIMUM \| O = 120 T = 630.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)
3col120_5_8.shuffled.cnf.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 110 T = 82.36 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 110 T = 7.64 \| (out)(err)	S = OPTIMUM \| O = 110 T = 223.58 \| (out)(err)	S = OPTIMUM \| O = 110 T = 78.17 \| (out)(err)	S = OPTIMUM \| O = 110 T = 605.90 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 316.42 \| (out)(err)
3col120_5_9.shuffled.cnf.wcnf	S = N/A \| O = N/A T = 1798.50 \| (out)(err)	S = OPTIMUM \| O = 117 T = 62.52 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 117 T = 4.79 \| (out)(err)	S = OPTIMUM \| O = 117 T = 111.18 \| (out)(err)	S = OPTIMUM \| O = 117 T = 74.56 \| (out)(err)	S = OPTIMUM \| O = 117 T = 672.25 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 369.63 \| (out)(err)
3col140_5_1.shuffled.cnf.wcnf	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)	S = OPTIMUM \| O = 121 T = 10.63 \| (out)(err)	S = OPTIMUM \| O = 121 T = 464.31 \| (out)(err)	S = OPTIMUM \| O = 121 T = 290.49 \| (out)(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)
3col140_5_10.shuffled.cnf.wcnf	S = N/A \| O = 132 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)	S = OPTIMUM \| O = 122 T = 12.46 \| (out)(err)	S = OPTIMUM \| O = 122 T = 1302.48 \| (out)(err)	S = OPTIMUM \| O = 122 T = 450.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)
3col140_5_2.shuffled.cnf.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 131 T = 1493.34 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 131 T = 12.33 \| (out)(err)	S = OPTIMUM \| O = 131 T = 381.89 \| (out)(err)	S = OPTIMUM \| O = 131 T = 1711.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)
3col140_5_3.shuffled.cnf.wcnf	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)	S = OPTIMUM \| O = 128 T = 15.78 \| (out)(err)	S = OPTIMUM \| O = 128 T = 384.47 \| (out)(err)	S = OPTIMUM \| O = 128 T = 289.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)
3col140_5_4.shuffled.cnf.wcnf	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)	S = OPTIMUM \| O = 128 T = 12.06 \| (out)(err)	S = OPTIMUM \| O = 128 T = 522.56 \| (out)(err)	S = OPTIMUM \| O = 128 T = 466.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 = 411.56 \| (out)(err)
3col140_5_5.shuffled.cnf.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 124 T = 668.54 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 124 T = 12.28 \| (out)(err)	S = OPTIMUM \| O = 124 T = 410.45 \| (out)(err)	S = OPTIMUM \| O = 124 T = 809.79 \| (out)(err)	S = OPTIMUM \| O = 124 T = 1793.66 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 576.26 \| (out)(err)
3col140_5_6.shuffled.cnf.wcnf	S = N/A \| O = 130 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 120 T = 1411.11 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 120 T = 12.34 \| (out)(err)	S = OPTIMUM \| O = 120 T = 347.17 \| (out)(err)	S = OPTIMUM \| O = 120 T = 1527.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 = 334.52 \| (out)(err)
3col140_5_7.shuffled.cnf.wcnf	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)	S = OPTIMUM \| O = 119 T = 12.08 \| (out)(err)	S = OPTIMUM \| O = 119 T = 641.86 \| (out)(err)	S = OPTIMUM \| O = 119 T = 723.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 = 346.79 \| (out)(err)
3col140_5_8.shuffled.cnf.wcnf	S = N/A \| O = 146 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)	S = OPTIMUM \| O = 123 T = 12.21 \| (out)(err)	S = OPTIMUM \| O = 123 T = 474.00 \| (out)(err)	S = OPTIMUM \| O = 123 T = 258.99 \| (out)(err)	S = OPTIMUM \| O = 123 T = 1684.23 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 275.19 \| (out)(err)
3col140_5_9.shuffled.cnf.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 134 T = 728.11 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 134 T = 22.09 \| (out)(err)	S = OPTIMUM \| O = 134 T = 654.08 \| (out)(err)	S = OPTIMUM \| O = 134 T = 476.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)
3col80_5_1.shuffled.cnf.wcnf	S = OPTIMUM \| O = 79 T = 29.26 \| (out)(err)	S = OPTIMUM \| O = 79 T = 0.48 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 79 T = 1.07 \| (out)(err)	S = OPTIMUM \| O = 79 T = 0.16 \| (out)(err)	S = OPTIMUM \| O = 79 T = 0.11 \| (out)(err)	S = OPTIMUM \| O = 79 T = 12.42 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 176.47 \| (out)(err)
3col80_5_10.shuffled.cnf.wcnf	S = OPTIMUM \| O = 75 T = 27.48 \| (out)(err)	S = OPTIMUM \| O = 75 T = 0.49 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 75 T = 0.99 \| (out)(err)	S = OPTIMUM \| O = 75 T = 0.13 \| (out)(err)	S = OPTIMUM \| O = 75 T = 0.10 \| (out)(err)	S = OPTIMUM \| O = 75 T = 13.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)
3col80_5_2.shuffled.cnf.wcnf	S = OPTIMUM \| O = 71 T = 19.75 \| (out)(err)	S = OPTIMUM \| O = 71 T = 0.50 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 71 T = 0.89 \| (out)(err)	S = OPTIMUM \| O = 71 T = 0.12 \| (out)(err)	S = OPTIMUM \| O = 71 T = 0.13 \| (out)(err)	S = OPTIMUM \| O = 71 T = 11.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)
3col80_5_3.shuffled.cnf.wcnf	S = OPTIMUM \| O = 88 T = 39.26 \| (out)(err)	S = OPTIMUM \| O = 88 T = 0.47 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 88 T = 0.94 \| (out)(err)	S = OPTIMUM \| O = 88 T = 0.14 \| (out)(err)	S = OPTIMUM \| O = 88 T = 0.09 \| (out)(err)	S = OPTIMUM \| O = 88 T = 36.62 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 173.62 \| (out)(err)
3col80_5_4.shuffled.cnf.wcnf	S = OPTIMUM \| O = 73 T = 36.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 = OPTIMUM \| O = 73 T = 1.03 \| (out)(err)	S = OPTIMUM \| O = 73 T = 0.14 \| (out)(err)	S = OPTIMUM \| O = 73 T = 0.10 \| (out)(err)	S = OPTIMUM \| O = 73 T = 17.53 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 238.08 \| (out)(err)
3col80_5_5.shuffled.cnf.wcnf	S = OPTIMUM \| O = 78 T = 37.45 \| (out)(err)	S = OPTIMUM \| O = 78 T = 0.53 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 78 T = 0.98 \| (out)(err)	S = OPTIMUM \| O = 78 T = 0.16 \| (out)(err)	S = OPTIMUM \| O = 78 T = 0.14 \| (out)(err)	S = OPTIMUM \| O = 78 T = 16.70 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 271.05 \| (out)(err)
3col80_5_6.shuffled.cnf.wcnf	S = OPTIMUM \| O = 76 T = 29.59 \| (out)(err)	S = OPTIMUM \| O = 76 T = 0.56 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 76 T = 1.07 \| (out)(err)	S = OPTIMUM \| O = 76 T = 0.25 \| (out)(err)	S = OPTIMUM \| O = 76 T = 0.19 \| (out)(err)	S = OPTIMUM \| O = 76 T = 16.48 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 184.93 \| (out)(err)
3col80_5_7.shuffled.cnf.wcnf	S = OPTIMUM \| O = 80 T = 16.37 \| (out)(err)	S = OPTIMUM \| O = 80 T = 0.49 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 80 T = 1.02 \| (out)(err)	S = OPTIMUM \| O = 80 T = 0.19 \| (out)(err)	S = OPTIMUM \| O = 80 T = 0.18 \| (out)(err)	S = OPTIMUM \| O = 80 T = 17.35 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 212.57 \| (out)(err)
3col80_5_8.shuffled.cnf.wcnf	S = OPTIMUM \| O = 82 T = 17.48 \| (out)(err)	S = OPTIMUM \| O = 82 T = 0.46 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 82 T = 1.07 \| (out)(err)	S = OPTIMUM \| O = 82 T = 0.17 \| (out)(err)	S = OPTIMUM \| O = 82 T = 0.09 \| (out)(err)	S = OPTIMUM \| O = 82 T = 26.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)
3col80_5_9.shuffled.cnf.wcnf	S = OPTIMUM \| O = 79 T = 33.29 \| (out)(err)	S = OPTIMUM \| O = 79 T = 0.51 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 79 T = 1.15 \| (out)(err)	S = OPTIMUM \| O = 79 T = 0.16 \| (out)(err)	S = OPTIMUM \| O = 79 T = 0.14 \| (out)(err)	S = OPTIMUM \| O = 79 T = 14.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)
cnt05.shuffled.cnf.wcnf	S = OPTIMUM \| O = 174 T = 59.66 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 174 T = 0.97 \| (out)(err)	S = OPTIMUM \| O = 174 T = 0.16 \| (out)(err)	S = OPTIMUM \| O = 174 T = 0.10 \| (out)(err)	S = OPTIMUM \| O = 174 T = 94.15 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 226.29 \| (out)(err)
cnt06.shuffled.cnf.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 365 T = 16.33 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 365 T = 1.46 \| (out)(err)	S = OPTIMUM \| O = 365 T = 52.76 \| (out)(err)	S = OPTIMUM \| O = 365 T = 27.95 \| (out)(err)	S = OPTIMUM \| O = 365 T = 1030.53 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 314.21 \| (out)(err)
cnt07.shuffled.cnf.wcnf	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)	S = OPTIMUM \| O = 877 T = 3.24 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = 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)
dp02s02.shuffled.cnf.wcnf	S = OPTIMUM \| O = 100 T = 3.63 \| (out)(err)	S = OPTIMUM \| O = 100 T = 1.21 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 100 T = 0.99 \| (out)(err)	S = OPTIMUM \| O = 100 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 100 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 100 T = 0.59 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 100 T = 0.29 \| (out)(err)
dp03s03.shuffled.cnf.wcnf	S = OPTIMUM \| O = 254 T = 6.12 \| (out)(err)	S = OPTIMUM \| O = 254 T = 4.39 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 254 T = 1.41 \| (out)(err)	S = OPTIMUM \| O = 254 T = 0.15 \| (out)(err)	S = OPTIMUM \| O = 254 T = 0.10 \| (out)(err)	S = OPTIMUM \| O = 254 T = 130.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)
dp04s04.shuffled.cnf.wcnf	S = OPTIMUM \| O = 533 T = 10.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 = OPTIMUM \| O = 533 T = 2.16 \| (out)(err)	S = OPTIMUM \| O = 533 T = 1.67 \| (out)(err)	S = OPTIMUM \| O = 533 T = 1.46 \| (out)(err)	S = OPTIMUM \| O = 533 T = 941.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)
dp05s05.shuffled.cnf.wcnf	S = OPTIMUM \| O = 765 T = 19.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 765 T = 3.63 \| (out)(err)	S = OPTIMUM \| O = 765 T = 16.03 \| (out)(err)	S = OPTIMUM \| O = 765 T = 11.83 \| (out)(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)
dp06s06.shuffled.cnf.wcnf	S = OPTIMUM \| O = 1164 T = 120.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 = OPTIMUM \| O = 1164 T = 7.61 \| (out)(err)	S = OPTIMUM \| O = 1164 T = 242.23 \| (out)(err)	S = OPTIMUM \| O = 1164 T = 199.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)
dp07s07.shuffled.cnf.wcnf	S = N/A \| O = N/A T = 9.72 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1563 T = 49.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)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 738.77 \| (out)(err)
ezfact32_1.shuffled.cnf.wcnf	S = OPTIMUM \| O = 400 T = 21.93 \| (out)(err)	S = OPTIMUM \| O = 400 T = 96.75 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 400 T = 1.68 \| (out)(err)	S = OPTIMUM \| O = 400 T = 14.31 \| (out)(err)	S = OPTIMUM \| O = 400 T = 91.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)
ezfact32_10.shuffled.cnf.wcnf	S = OPTIMUM \| O = 389 T = 73.36 \| (out)(err)	S = OPTIMUM \| O = 389 T = 69.47 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 389 T = 4.02 \| (out)(err)	S = OPTIMUM \| O = 389 T = 57.09 \| (out)(err)	S = OPTIMUM \| O = 389 T = 63.90 \| (out)(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 = 425.79 \| (out)(err)
ezfact32_2.shuffled.cnf.wcnf	S = OPTIMUM \| O = 364 T = 36.90 \| (out)(err)	S = OPTIMUM \| O = 364 T = 183.59 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 364 T = 1.51 \| (out)(err)	S = OPTIMUM \| O = 364 T = 13.80 \| (out)(err)	S = OPTIMUM \| O = 364 T = 179.64 \| (out)(err)	S = OPTIMUM \| O = 364 T = 1010.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)
ezfact32_3.shuffled.cnf.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 397 T = 22.73 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 397 T = 1.74 \| (out)(err)	S = OPTIMUM \| O = 397 T = 54.05 \| (out)(err)	S = OPTIMUM \| O = 397 T = 17.07 \| (out)(err)	S = OPTIMUM \| O = 397 T = 1431.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)
ezfact32_4.shuffled.cnf.wcnf	S = OPTIMUM \| O = 379 T = 40.97 \| (out)(err)	S = OPTIMUM \| O = 379 T = 119.50 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 379 T = 4.51 \| (out)(err)	S = OPTIMUM \| O = 379 T = 43.66 \| (out)(err)	S = OPTIMUM \| O = 379 T = 115.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)
ezfact32_5.shuffled.cnf.wcnf	S = OPTIMUM \| O = 394 T = 48.72 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 394 T = 1.74 \| (out)(err)	S = OPTIMUM \| O = 394 T = 42.20 \| (out)(err)	S = OPTIMUM \| O = 394 T = 45.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)
ezfact32_6.shuffled.cnf.wcnf	S = OPTIMUM \| O = 382 T = 98.25 \| (out)(err)	S = OPTIMUM \| O = 382 T = 155.52 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 382 T = 2.07 \| (out)(err)	S = OPTIMUM \| O = 382 T = 174.88 \| (out)(err)	S = OPTIMUM \| O = 382 T = 151.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)
ezfact32_7.shuffled.cnf.wcnf	S = OPTIMUM \| O = 394 T = 67.64 \| (out)(err)	S = OPTIMUM \| O = 394 T = 44.08 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 394 T = 1.96 \| (out)(err)	S = OPTIMUM \| O = 394 T = 91.94 \| (out)(err)	S = OPTIMUM \| O = 394 T = 38.91 \| (out)(err)	S = OPTIMUM \| O = 394 T = 1603.70 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
ezfact32_8.shuffled.cnf.wcnf	S = OPTIMUM \| O = 392 T = 91.92 \| (out)(err)	S = OPTIMUM \| O = 392 T = 146.39 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 392 T = 3.57 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 392 T = 142.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 = 302.93 \| (out)(err)
ezfact32_9.shuffled.cnf.wcnf	S = OPTIMUM \| O = 382 T = 54.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 = OPTIMUM \| O = 382 T = 3.58 \| (out)(err)	S = OPTIMUM \| O = 382 T = 70.73 \| (out)(err)	S = OPTIMUM \| O = 382 T = 118.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 = 643.16 \| (out)(err)
med11.shuffled.cnf.wcnf	S = OPTIMUM \| O = 164 T = 20.93 \| (out)(err)	S = OPTIMUM \| O = 164 T = 5.85 \| (out)(err)	S = N/A \| O = N/A T = 312.97 \| (out)(err)	S = OPTIMUM \| O = 164 T = 20.79 \| (out)(err)	S = OPTIMUM \| O = 164 T = 4.46 \| (out)(err)	S = OPTIMUM \| O = 164 T = 3.78 \| (out)(err)	S = OPTIMUM \| O = 164 T = 12.16 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 164 T = 1.13 \| (out)(err)
normalized-mps-v2-20-10-stein15.opb.msat.wcnf	S = OPTIMUM \| O = 9 T = 2.18 \| (out)(err)	S = OPTIMUM \| O = 9 T = 0.34 \| (out)(err)	S = OPTIMUM \| O = 9 T = 4.71 \| (out)(err)	S = OPTIMUM \| O = 9 T = 0.64 \| (out)(err)	S = OPTIMUM \| O = 9 T = 0.27 \| (out)(err)	S = OPTIMUM \| O = 9 T = 0.24 \| (out)(err)	S = OPTIMUM \| O = 9 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 9 T = 0.91 \| (out)(err)	S = OPTIMUM \| O = 9 T = 0.31 \| (out)(err)
normalized-mps-v2-20-10-stein27.opb.msat.wcnf	S = OPTIMUM \| O = 18 T = 1148.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 = OPTIMUM \| O = 18 T = 6.68 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 18 T = 4.08 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 286.62 \| (out)(err)
normalized-mps-v2-20-10-stein45.opb.msat.wcnf	S = N/A \| O = N/A T = 1787.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 = 30 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)	S = OPTIMUM \| O = 30 T = 84.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)
normalized-mps-v2-20-10-stein9.opb.msat.wcnf	S = OPTIMUM \| O = 5 T = 1.08 \| (out)(err)	S = OPTIMUM \| O = 5 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 5 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 5 T = 0.41 \| (out)(err)	S = OPTIMUM \| O = 5 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 5 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 5 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 5 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 5 T = 0.00 \| (out)(err)
frb20-11-1.partial.wcnf	S = N/A \| O = 202 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = N/A \| O = 202 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)	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 = 194.39 \| (out)(err)
frb20-11-2.partial.wcnf	S = N/A \| O = 202 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = N/A \| O = 202 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)	S = OPTIMUM \| O = 200 T = 969.46 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 256.08 \| (out)(err)
frb20-11-3.partial.wcnf	S = N/A \| O = 202 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = N/A \| O = 202 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)	S = OPTIMUM \| O = 200 T = 825.90 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
frb20-11-4.partial.wcnf	S = N/A \| O = 203 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = N/A \| O = 201 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)	S = OPTIMUM \| O = 200 T = 894.13 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 154.56 \| (out)(err)
frb20-11-5.partial.wcnf	S = N/A \| O = 203 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = N/A \| O = 203 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)	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)
frb25-13-1.partial.wcnf	S = N/A \| O = 305 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = N/A \| O = 304 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)	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 = 249.44 \| (out)(err)
frb25-13-2.partial.wcnf	S = N/A \| O = 304 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = N/A \| O = 303 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)	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 = 173.54 \| (out)(err)
frb25-13-3.partial.wcnf	S = N/A \| O = 309 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = N/A \| O = 303 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)	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)
frb25-13-4.partial.wcnf	S = N/A \| O = 307 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = N/A \| O = 304 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)	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)
frb25-13-5.partial.wcnf	S = N/A \| O = 306 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = N/A \| O = 304 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)	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)
frb30-15-1.partial.wcnf	S = N/A \| O = N/A T = 9.28 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = N/A \| O = 425 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)	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 = 229.50 \| (out)(err)
frb30-15-2.partial.wcnf	S = N/A \| O = N/A T = 10.98 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = N/A \| O = 426 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)	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)
frb30-15-3.partial.wcnf	S = N/A \| O = N/A T = 11.34 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = N/A \| O = 425 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)	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 = 204.30 \| (out)(err)
frb30-15-4.partial.wcnf	S = N/A \| O = N/A T = 11.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = N/A \| O = 425 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)	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.92 \| (out)(err)
frb30-15-5.partial.wcnf	S = N/A \| O = N/A T = 10.33 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = N/A \| O = 424 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)	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 = 172.03 \| (out)(err)
frb35-17-1.partial.wcnf	S = N/A \| O = N/A T = 17.89 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = N/A \| O = 567 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)	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 = 182.15 \| (out)(err)
frb35-17-2.partial.wcnf	S = N/A \| O = N/A T = 15.75 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = N/A \| O = 567 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)	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 = 187.56 \| (out)(err)
frb35-17-3.partial.wcnf	S = N/A \| O = N/A T = 15.52 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = N/A \| O = 567 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)	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 = 343.32 \| (out)(err)
frb35-17-4.partial.wcnf	S = N/A \| O = N/A T = 15.03 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = N/A \| O = 566 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)	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)
frb35-17-5.partial.wcnf	S = N/A \| O = N/A T = 17.57 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = N/A \| O = 566 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)	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 = 451.39 \| (out)(err)
frb40-19-1.partial.wcnf	S = N/A \| O = N/A T = 20.35 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = N/A \| O = 727 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)	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)
frb40-19-2.partial.wcnf	S = N/A \| O = N/A T = 20.95 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = N/A \| O = 728 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)	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)
frb40-19-3.partial.wcnf	S = N/A \| O = N/A T = 22.62 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = N/A \| O = 727 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)	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 = 428.28 \| (out)(err)
frb40-19-4.partial.wcnf	S = N/A \| O = N/A T = 22.32 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = N/A \| O = 728 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)	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 = 361.98 \| (out)(err)
frb40-19-5.partial.wcnf	S = N/A \| O = N/A T = 19.59 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 0.00 \| (out)(err)	S = N/A \| O = 727 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)	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 = 426.06 \| (out)(err)
kbtree9_7_3_5_10_1.wcsp.wcnf	S = OPTIMUM \| O = 0 T = 3.55 \| (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.57 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 0 T = 2.91 \| (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)
kbtree9_7_3_5_10_2.wcsp.wcnf	S = OPTIMUM \| O = 0 T = 3.57 \| (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.60 \| (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.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
kbtree9_7_3_5_10_3.wcsp.wcnf	S = OPTIMUM \| O = 0 T = 3.47 \| (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.64 \| (out)(err)	S = OPTIMUM \| O = 0 T = 1.35 \| (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.00 \| (out)(err)
kbtree9_7_3_5_10_4.wcsp.wcnf	S = OPTIMUM \| O = 0 T = 3.45 \| (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.65 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.11 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.08 \| (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)
kbtree9_7_3_5_10_5.wcsp.wcnf	S = OPTIMUM \| O = 0 T = 3.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.56 \| (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.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
kbtree9_7_3_5_10_6.wcsp.wcnf	S = OPTIMUM \| O = 0 T = 3.83 \| (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.55 \| (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)
kbtree9_7_3_5_20_1.wcsp.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3 T = 136.63 \| (out)(err)	S = OPTIMUM \| O = 3 T = 2.10 \| (out)(err)	S = OPTIMUM \| O = 3 T = 11.19 \| (out)(err)	S = OPTIMUM \| O = 3 T = 330.15 \| (out)(err)	S = OPTIMUM \| O = 3 T = 235.94 \| (out)(err)	S = OPTIMUM \| O = 3 T = 1.96 \| (out)(err)	S = OPTIMUM \| O = 3 T = 10.74 \| (out)(err)	S = OPTIMUM \| O = 3 T = 3.46 \| (out)(err)
kbtree9_7_3_5_20_2.wcsp.wcnf	S = OPTIMUM \| O = 2 T = 898.09 \| (out)(err)	S = OPTIMUM \| O = 2 T = 66.29 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.32 \| (out)(err)	S = OPTIMUM \| O = 2 T = 5.59 \| (out)(err)	S = OPTIMUM \| O = 2 T = 97.37 \| (out)(err)	S = OPTIMUM \| O = 2 T = 65.30 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.45 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.54 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.87 \| (out)(err)
kbtree9_7_3_5_20_3.wcsp.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2 T = 45.17 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.44 \| (out)(err)	S = OPTIMUM \| O = 2 T = 8.61 \| (out)(err)	S = OPTIMUM \| O = 2 T = 97.99 \| (out)(err)	S = OPTIMUM \| O = 2 T = 66.30 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.55 \| (out)(err)	S = OPTIMUM \| O = 2 T = 1.28 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.43 \| (out)(err)
kbtree9_7_3_5_20_4.wcsp.wcnf	S = OPTIMUM \| O = 2 T = 671.09 \| (out)(err)	S = OPTIMUM \| O = 2 T = 16.21 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.92 \| (out)(err)	S = OPTIMUM \| O = 2 T = 29.71 \| (out)(err)	S = OPTIMUM \| O = 2 T = 43.94 \| (out)(err)	S = OPTIMUM \| O = 2 T = 31.67 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.72 \| (out)(err)	S = OPTIMUM \| O = 2 T = 3.51 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.85 \| (out)(err)
kbtree9_7_3_5_20_5.wcsp.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1 T = 4.75 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 1 T = 4.59 \| (out)(err)	S = OPTIMUM \| O = 1 T = 19.54 \| (out)(err)	S = OPTIMUM \| O = 1 T = 12.51 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.21 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.09 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.10 \| (out)(err)
kbtree9_7_3_5_20_6.wcsp.wcnf	S = OPTIMUM \| O = 1 T = 225.98 \| (out)(err)	S = OPTIMUM \| O = 1 T = 148.28 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.10 \| (out)(err)	S = OPTIMUM \| O = 1 T = 3.80 \| (out)(err)	S = OPTIMUM \| O = 1 T = 235.32 \| (out)(err)	S = OPTIMUM \| O = 1 T = 155.96 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.11 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.16 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.09 \| (out)(err)
kbtree9_7_3_5_30_1.wcsp.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 9 T = 1206.88 \| (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 = 1657.42 \| (out)(err)	S = OPTIMUM \| O = 9 T = 1255.14 \| (out)(err)	S = OPTIMUM \| O = 9 T = 861.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)
kbtree9_7_3_5_30_2.wcsp.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 7 T = 102.18 \| (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 = 7 T = 606.39 \| (out)(err)	S = OPTIMUM \| O = 7 T = 451.53 \| (out)(err)	S = OPTIMUM \| O = 7 T = 85.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)
kbtree9_7_3_5_30_3.wcsp.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 9 T = 632.43 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 17 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 9 T = 977.29 \| (out)(err)	S = OPTIMUM \| O = 9 T = 684.99 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
kbtree9_7_3_5_30_4.wcsp.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 6 T = 124.57 \| (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 = 6 T = 189.88 \| (out)(err)	S = OPTIMUM \| O = 6 T = 128.89 \| (out)(err)	S = OPTIMUM \| O = 6 T = 41.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)
kbtree9_7_3_5_30_5.wcsp.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 6 T = 17.71 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 12 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 6 T = 27.42 \| (out)(err)	S = OPTIMUM \| O = 6 T = 19.13 \| (out)(err)	S = OPTIMUM \| O = 6 T = 67.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)
kbtree9_7_3_5_30_6.wcsp.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 9 T = 843.66 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 21 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 9 T = 1264.69 \| (out)(err)	S = OPTIMUM \| O = 9 T = 843.02 \| (out)(err)	S = OPTIMUM \| O = 9 T = 1013.53 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
kbtree9_7_3_5_40_1.wcsp.wcnf	S = N/A \| O = 31 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)	S = N/A \| O = 48 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)	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)
kbtree9_7_3_5_40_2.wcsp.wcnf	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)	S = N/A \| O = 48 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)	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)
kbtree9_7_3_5_40_3.wcsp.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 22 T = 941.65 \| (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 = 22 T = 1212.28 \| (out)(err)	S = OPTIMUM \| O = 22 T = 927.70 \| (out)(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)
kbtree9_7_3_5_40_4.wcsp.wcnf	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)	S = N/A \| O = 37 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)	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)
kbtree9_7_3_5_40_5.wcsp.wcnf	S = N/A \| O = 35 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)	S = N/A \| O = 41 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)	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)
kbtree9_7_3_5_40_6.wcsp.wcnf	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)	S = N/A \| O = 46 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)	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)
kbtree9_7_3_5_50_1.wcsp.wcnf	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)	S = N/A \| O = 57 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)	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)
kbtree9_7_3_5_50_2.wcsp.wcnf	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)	S = N/A \| O = 65 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)	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)
kbtree9_7_3_5_50_3.wcsp.wcnf	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)	S = N/A \| O = 52 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)	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)
kbtree9_7_3_5_50_4.wcsp.wcnf	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)	S = N/A \| O = 72 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)	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)
kbtree9_7_3_5_50_5.wcsp.wcnf	S = N/A \| O = 48 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)	S = N/A \| O = 60 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)	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)
kbtree9_7_3_5_50_6.wcsp.wcnf	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)	S = N/A \| O = 55 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)	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)
kbtree9_7_3_5_60_1.wcsp.wcnf	S = N/A \| O = 72 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)	S = N/A \| O = 87 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)	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)
kbtree9_7_3_5_60_2.wcsp.wcnf	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)	S = N/A \| O = 76 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)	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)
kbtree9_7_3_5_60_3.wcsp.wcnf	S = N/A \| O = 77 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)	S = N/A \| O = 85 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)	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 = 431.73 \| (out)(err)
kbtree9_7_3_5_60_4.wcsp.wcnf	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)	S = N/A \| O = 83 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)	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)
kbtree9_7_3_5_60_5.wcsp.wcnf	S = N/A \| O = 74 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)	S = N/A \| O = 86 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)	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 = 692.68 \| (out)(err)
kbtree9_7_3_5_60_6.wcsp.wcnf	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)	S = N/A \| O = 90 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)	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)
kbtree9_7_3_5_70_1.wcsp.wcnf	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)	S = N/A \| O = 107 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)	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)
kbtree9_7_3_5_70_2.wcsp.wcnf	S = N/A \| O = 91 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)	S = N/A \| O = 107 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)	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)
kbtree9_7_3_5_70_3.wcsp.wcnf	S = N/A \| O = 88 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)	S = N/A \| O = 101 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)	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)
kbtree9_7_3_5_70_4.wcsp.wcnf	S = N/A \| O = 75 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)	S = N/A \| O = 110 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)	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)
kbtree9_7_3_5_70_5.wcsp.wcnf	S = N/A \| O = 86 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)	S = N/A \| O = 103 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)	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)
kbtree9_7_3_5_70_6.wcsp.wcnf	S = N/A \| O = 84 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)	S = N/A \| O = 105 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)	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)
kbtree9_7_3_5_80_1.wcsp.wcnf	S = N/A \| O = 113 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)	S = N/A \| O = 126 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)	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)
kbtree9_7_3_5_80_2.wcsp.wcnf	S = N/A \| O = 115 T = 1793.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 = 131 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)	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)
kbtree9_7_3_5_80_3.wcsp.wcnf	S = N/A \| O = 114 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)	S = N/A \| O = 132 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)	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)
kbtree9_7_3_5_80_4.wcsp.wcnf	S = N/A \| O = 109 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)	S = N/A \| O = 128 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)	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 = 404.41 \| (out)(err)
kbtree9_7_3_5_80_5.wcsp.wcnf	S = N/A \| O = 111 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)	S = N/A \| O = 127 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)	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)
kbtree9_7_3_5_80_6.wcsp.wcnf	S = N/A \| O = 118 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)	S = N/A \| O = 129 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)	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)
kbtree9_7_3_5_90_1.wcsp.wcnf	S = N/A \| O = 133 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)	S = N/A \| O = 146 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)	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)
kbtree9_7_3_5_90_2.wcsp.wcnf	S = N/A \| O = 129 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)	S = N/A \| O = 151 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)	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)
kbtree9_7_3_5_90_3.wcsp.wcnf	S = N/A \| O = 125 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)	S = N/A \| O = 146 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)	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)
kbtree9_7_3_5_90_4.wcsp.wcnf	S = N/A \| O = 126 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)	S = N/A \| O = 144 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)	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)
kbtree9_7_3_5_90_5.wcsp.wcnf	S = N/A \| O = 128 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)	S = N/A \| O = 155 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)	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)
kbtree9_7_3_5_90_6.wcsp.wcnf	S = N/A \| O = 135 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)	S = N/A \| O = 159 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)	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 = 532.66 \| (out)(err)