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	IUT_BMB_LSMaxsatz	IUT_BMB_Maxsatz	IncMaxsatz	MSUnCore	SAT4J-Maxsat	WMaxSatz-1.6	WMaxSatz-2.5	pm2	wbo	wpm1
MANN_a27.clq.cnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 408 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (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.cnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 418 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 391.80 \| (out)(err)
MANN_a81.clq.cnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 399 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (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.cnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 432 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (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_1.clq.cnf	S = OPTIMUM \| O = 238 T = 25.97 \| (out)(err)	S = OPTIMUM \| O = 238 T = 24.78 \| (out)(err)	S = OPTIMUM \| O = 238 T = 19.95 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 253 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 238 T = 39.22 \| (out)(err)	S = OPTIMUM \| O = 238 T = 46.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)
brock200_2.clq.cnf	S = OPTIMUM \| O = 141 T = 0.17 \| (out)(err)	S = OPTIMUM \| O = 141 T = 0.24 \| (out)(err)	S = OPTIMUM \| O = 141 T = 0.29 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 168 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 141 T = 0.42 \| (out)(err)	S = OPTIMUM \| O = 141 T = 0.30 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
brock200_3.clq.cnf	S = OPTIMUM \| O = 214 T = 7.00 \| (out)(err)	S = OPTIMUM \| O = 214 T = 6.56 \| (out)(err)	S = OPTIMUM \| O = 214 T = 5.28 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 232 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 214 T = 11.64 \| (out)(err)	S = OPTIMUM \| O = 214 T = 14.25 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
brock200_4.clq.cnf	S = OPTIMUM \| O = 209 T = 5.96 \| (out)(err)	S = OPTIMUM \| O = 209 T = 5.72 \| (out)(err)	S = OPTIMUM \| O = 209 T = 3.44 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 230 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 209 T = 6.66 \| (out)(err)	S = OPTIMUM \| O = 209 T = 8.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)
brock400_1.clq.cnf	S = OPTIMUM \| O = 255 T = 54.92 \| (out)(err)	S = OPTIMUM \| O = 255 T = 53.67 \| (out)(err)	S = OPTIMUM \| O = 255 T = 37.75 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 273 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 255 T = 79.78 \| (out)(err)	S = OPTIMUM \| O = 255 T = 97.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)
brock400_2.clq.cnf	S = OPTIMUM \| O = 252 T = 41.65 \| (out)(err)	S = OPTIMUM \| O = 252 T = 37.39 \| (out)(err)	S = OPTIMUM \| O = 252 T = 31.60 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 272 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 252 T = 65.72 \| (out)(err)	S = OPTIMUM \| O = 252 T = 78.28 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
brock400_3.clq.cnf	S = OPTIMUM \| O = 238 T = 20.74 \| (out)(err)	S = OPTIMUM \| O = 238 T = 18.53 \| (out)(err)	S = OPTIMUM \| O = 238 T = 13.75 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 260 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 238 T = 28.16 \| (out)(err)	S = OPTIMUM \| O = 238 T = 32.10 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
brock400_4.clq.cnf	S = OPTIMUM \| O = 249 T = 29.42 \| (out)(err)	S = OPTIMUM \| O = 249 T = 26.59 \| (out)(err)	S = OPTIMUM \| O = 249 T = 16.26 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 281 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 249 T = 35.75 \| (out)(err)	S = OPTIMUM \| O = 249 T = 50.33 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
brock800_1.clq.cnf	S = OPTIMUM \| O = 205 T = 3.14 \| (out)(err)	S = OPTIMUM \| O = 205 T = 2.98 \| (out)(err)	S = OPTIMUM \| O = 205 T = 2.43 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 226 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 205 T = 4.38 \| (out)(err)	S = OPTIMUM \| O = 205 T = 4.76 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
brock800_2.clq.cnf	S = OPTIMUM \| O = 207 T = 4.25 \| (out)(err)	S = OPTIMUM \| O = 207 T = 4.30 \| (out)(err)	S = OPTIMUM \| O = 207 T = 3.33 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 229 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 207 T = 6.61 \| (out)(err)	S = OPTIMUM \| O = 207 T = 7.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)
brock800_3.clq.cnf	S = OPTIMUM \| O = 203 T = 3.07 \| (out)(err)	S = OPTIMUM \| O = 203 T = 2.95 \| (out)(err)	S = OPTIMUM \| O = 203 T = 4.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 226 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 203 T = 6.79 \| (out)(err)	S = OPTIMUM \| O = 203 T = 4.96 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 412.44 \| (out)(err)
brock800_4.clq.cnf	S = OPTIMUM \| O = 200 T = 4.40 \| (out)(err)	S = OPTIMUM \| O = 200 T = 4.37 \| (out)(err)	S = OPTIMUM \| O = 200 T = 2.81 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 220 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 200 T = 5.12 \| (out)(err)	S = OPTIMUM \| O = 200 T = 4.74 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (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.cnf	S = OPTIMUM \| O = 4 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 4 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 4 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 4 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 4 T = 0.78 \| (out)(err)	S = OPTIMUM \| O = 4 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 4 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 4 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 4 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 4 T = 0.01 \| (out)(err)
c-fat200-2.clq.cnf	S = OPTIMUM \| O = 26 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 26 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 26 T = 0.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 40 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 26 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 26 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 26 T = 0.06 \| (out)(err)	S = OPTIMUM \| O = 26 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 26 T = 0.07 \| (out)(err)
c-fat200-5.clq.cnf	S = OPTIMUM \| O = 116 T = 0.23 \| (out)(err)	S = OPTIMUM \| O = 116 T = 0.26 \| (out)(err)	S = OPTIMUM \| O = 116 T = 0.27 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 152 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 116 T = 0.44 \| (out)(err)	S = OPTIMUM \| O = 116 T = 0.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)	S = N/A \| O = N/A T = Time Out \| (out)(err)
c-fat500-1.clq.cnf	S = OPTIMUM \| O = 2 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.38 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.00 \| (out)(err)
c-fat500-10.clq.cnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (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 = 411.71 \| (out)(err)
c-fat500-2.clq.cnf	S = OPTIMUM \| O = 24 T = 0.06 \| (out)(err)	S = OPTIMUM \| O = 24 T = 0.09 \| (out)(err)	S = OPTIMUM \| O = 24 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 24 T = 0.02 \| (out)(err)	S = N/A \| O = 24 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 24 T = 0.08 \| (out)(err)	S = OPTIMUM \| O = 24 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 24 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 24 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 24 T = 0.06 \| (out)(err)
c-fat500-5.clq.cnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/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 = OPTIMUM \| O = 90 T = 13.33 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 267.87 \| (out)(err)
hamming10-2.clq.cnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 400 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
hamming10-4.clq.cnf	S = OPTIMUM \| O = 319 T = 633.60 \| (out)(err)	S = OPTIMUM \| O = 319 T = 604.18 \| (out)(err)	S = OPTIMUM \| O = 319 T = 528.04 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 338 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 319 T = 932.25 \| (out)(err)	S = OPTIMUM \| O = 319 T = 1207.66 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
hamming6-2.clq.cnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 887 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 1128.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)
hamming6-4.clq.cnf	S = OPTIMUM \| O = 192 T = 0.08 \| (out)(err)	S = OPTIMUM \| O = 192 T = 0.25 \| (out)(err)	S = OPTIMUM \| O = 192 T = 0.50 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 309 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 192 T = 0.93 \| (out)(err)	S = OPTIMUM \| O = 192 T = 0.21 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
hamming8-2.clq.cnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 441 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
hamming8-4.clq.cnf	S = OPTIMUM \| O = 176 T = 0.18 \| (out)(err)	S = OPTIMUM \| O = 176 T = 0.29 \| (out)(err)	S = OPTIMUM \| O = 176 T = 0.35 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 214 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 176 T = 0.72 \| (out)(err)	S = OPTIMUM \| O = 176 T = 0.23 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
johnson16-2-4.clq.cnf	S = OPTIMUM \| O = 215 T = 0.16 \| (out)(err)	S = OPTIMUM \| O = 215 T = 0.31 \| (out)(err)	S = OPTIMUM \| O = 215 T = 0.50 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 253 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 215 T = 0.89 \| (out)(err)	S = OPTIMUM \| O = 215 T = 0.28 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
johnson32-2-4.clq.cnf	S = OPTIMUM \| O = 329 T = 142.48 \| (out)(err)	S = OPTIMUM \| O = 329 T = 131.58 \| (out)(err)	S = OPTIMUM \| O = 329 T = 119.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 354 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 329 T = 248.32 \| (out)(err)	S = OPTIMUM \| O = 329 T = 262.46 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
johnson8-2-4.clq.cnf	S = OPTIMUM \| O = 75 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 75 T = 0.11 \| (out)(err)	S = OPTIMUM \| O = 75 T = 0.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 78 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 75 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 75 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 75 T = 379.43 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 434.32 \| (out)(err)
johnson8-4-4.clq.cnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 931 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
keller4.clq.cnf	S = OPTIMUM \| O = 199 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 199 T = 0.18 \| (out)(err)	S = OPTIMUM \| O = 199 T = 0.28 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 271 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 199 T = 0.35 \| (out)(err)	S = OPTIMUM \| O = 199 T = 0.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)
keller5.clq.cnf	S = OPTIMUM \| O = 250 T = 7.48 \| (out)(err)	S = OPTIMUM \| O = 250 T = 7.21 \| (out)(err)	S = OPTIMUM \| O = 250 T = 8.90 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 281 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 250 T = 20.77 \| (out)(err)	S = OPTIMUM \| O = 250 T = 12.43 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
p_hat1000-1.clq.cnf	S = OPTIMUM \| O = 52 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 52 T = 0.07 \| (out)(err)	S = OPTIMUM \| O = 52 T = 0.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 62 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 52 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 52 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 52 T = 18.29 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 264.29 \| (out)(err)
p_hat1000-2.clq.cnf	S = OPTIMUM \| O = 142 T = 0.26 \| (out)(err)	S = OPTIMUM \| O = 142 T = 0.30 \| (out)(err)	S = OPTIMUM \| O = 142 T = 0.33 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 165 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 142 T = 0.49 \| (out)(err)	S = OPTIMUM \| O = 142 T = 0.43 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
p_hat1000-3.clq.cnf	S = OPTIMUM \| O = 238 T = 14.17 \| (out)(err)	S = OPTIMUM \| O = 238 T = 13.03 \| (out)(err)	S = OPTIMUM \| O = 238 T = 9.32 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 262 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 238 T = 19.12 \| (out)(err)	S = OPTIMUM \| O = 238 T = 23.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)
p_hat300-1.clq.cnf	S = OPTIMUM \| O = 49 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 49 T = 0.07 \| (out)(err)	S = OPTIMUM \| O = 49 T = 0.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 58 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 49 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 49 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 49 T = 32.33 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 245.67 \| (out)(err)
p_hat300-2.clq.cnf	S = OPTIMUM \| O = 135 T = 0.13 \| (out)(err)	S = OPTIMUM \| O = 135 T = 0.20 \| (out)(err)	S = OPTIMUM \| O = 135 T = 0.12 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 149 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 135 T = 0.19 \| (out)(err)	S = OPTIMUM \| O = 135 T = 0.17 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
p_hat300-3.clq.cnf	S = OPTIMUM \| O = 269 T = 35.05 \| (out)(err)	S = OPTIMUM \| O = 269 T = 33.20 \| (out)(err)	S = OPTIMUM \| O = 269 T = 31.64 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 287 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 269 T = 61.97 \| (out)(err)	S = OPTIMUM \| O = 269 T = 57.62 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
p_hat500-1.clq.cnf	S = OPTIMUM \| O = 75 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 75 T = 0.08 \| (out)(err)	S = OPTIMUM \| O = 75 T = 0.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 94 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 75 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 75 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 75 T = 1397.66 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 266.18 \| (out)(err)
p_hat500-2.clq.cnf	S = OPTIMUM \| O = 176 T = 0.36 \| (out)(err)	S = OPTIMUM \| O = 176 T = 0.45 \| (out)(err)	S = OPTIMUM \| O = 176 T = 0.73 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 213 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 176 T = 1.05 \| (out)(err)	S = OPTIMUM \| O = 176 T = 0.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)
p_hat500-3.clq.cnf	S = OPTIMUM \| O = 284 T = 135.74 \| (out)(err)	S = OPTIMUM \| O = 284 T = 131.04 \| (out)(err)	S = OPTIMUM \| O = 284 T = 101.28 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 298 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 284 T = 180.07 \| (out)(err)	S = OPTIMUM \| O = 284 T = 206.92 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 330.43 \| (out)(err)
p_hat700-1.clq.cnf	S = OPTIMUM \| O = 63 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 63 T = 0.08 \| (out)(err)	S = OPTIMUM \| O = 63 T = 0.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 67 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 63 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 63 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 63 T = 102.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)
p_hat700-2.clq.cnf	S = OPTIMUM \| O = 154 T = 0.21 \| (out)(err)	S = OPTIMUM \| O = 154 T = 0.27 \| (out)(err)	S = OPTIMUM \| O = 154 T = 0.27 \| (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 = 154 T = 0.41 \| (out)(err)	S = OPTIMUM \| O = 154 T = 0.28 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
p_hat700-3.clq.cnf	S = OPTIMUM \| O = 267 T = 41.91 \| (out)(err)	S = OPTIMUM \| O = 267 T = 42.03 \| (out)(err)	S = OPTIMUM \| O = 267 T = 42.48 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 293 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 267 T = 77.41 \| (out)(err)	S = OPTIMUM \| O = 267 T = 71.95 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
san1000.clq.cnf	S = OPTIMUM \| O = 139 T = 0.20 \| (out)(err)	S = OPTIMUM \| O = 139 T = 0.27 \| (out)(err)	S = OPTIMUM \| O = 139 T = 0.26 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 156 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 139 T = 0.40 \| (out)(err)	S = OPTIMUM \| O = 139 T = 0.23 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 409.31 \| (out)(err)
san200_0.7_1.clq.cnf	S = OPTIMUM \| O = 237 T = 44.74 \| (out)(err)	S = OPTIMUM \| O = 237 T = 40.31 \| (out)(err)	S = OPTIMUM \| O = 237 T = 38.04 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 256 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 237 T = 70.19 \| (out)(err)	S = OPTIMUM \| O = 237 T = 69.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
san200_0.7_2.clq.cnf	S = OPTIMUM \| O = 236 T = 16.22 \| (out)(err)	S = OPTIMUM \| O = 236 T = 14.82 \| (out)(err)	S = OPTIMUM \| O = 236 T = 11.57 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 257 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 236 T = 24.56 \| (out)(err)	S = OPTIMUM \| O = 236 T = 24.12 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
san200_0.9_1.clq.cnf	S = OPTIMUM \| O = 313 T = 791.86 \| (out)(err)	S = OPTIMUM \| O = 313 T = 788.47 \| (out)(err)	S = OPTIMUM \| O = 313 T = 694.93 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 330 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 313 T = 1238.77 \| (out)(err)	S = OPTIMUM \| O = 313 T = 1530.21 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
san200_0.9_2.clq.cnf	S = OPTIMUM \| O = 316 T = 1055.14 \| (out)(err)	S = OPTIMUM \| O = 316 T = 948.28 \| (out)(err)	S = OPTIMUM \| O = 316 T = 708.94 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 330 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 316 T = 1399.88 \| (out)(err)	S = OPTIMUM \| O = 316 T = 1733.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)	S = N/A \| O = N/A T = Time Out \| (out)(err)
san200_0.9_3.clq.cnf	S = OPTIMUM \| O = 320 T = 1022.83 \| (out)(err)	S = OPTIMUM \| O = 320 T = 997.43 \| (out)(err)	S = OPTIMUM \| O = 320 T = 858.45 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 336 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 320 T = 1470.66 \| (out)(err)	S = OPTIMUM \| O = 320 T = 1669.78 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
san400_0.5_1.clq.cnf	S = OPTIMUM \| O = 146 T = 0.20 \| (out)(err)	S = OPTIMUM \| O = 146 T = 0.31 \| (out)(err)	S = OPTIMUM \| O = 146 T = 0.28 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 157 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 146 T = 0.49 \| (out)(err)	S = OPTIMUM \| O = 146 T = 0.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 = 395.92 \| (out)(err)
san400_0.7_1.clq.cnf	S = OPTIMUM \| O = 236 T = 34.65 \| (out)(err)	S = OPTIMUM \| O = 236 T = 28.21 \| (out)(err)	S = OPTIMUM \| O = 236 T = 18.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 261 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 236 T = 39.72 \| (out)(err)	S = OPTIMUM \| O = 236 T = 48.11 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
san400_0.7_2.clq.cnf	S = OPTIMUM \| O = 236 T = 17.72 \| (out)(err)	S = OPTIMUM \| O = 236 T = 16.63 \| (out)(err)	S = OPTIMUM \| O = 236 T = 11.82 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 256 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 236 T = 21.81 \| (out)(err)	S = OPTIMUM \| O = 236 T = 25.62 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
san400_0.7_3.clq.cnf	S = OPTIMUM \| O = 230 T = 21.03 \| (out)(err)	S = OPTIMUM \| O = 230 T = 20.02 \| (out)(err)	S = OPTIMUM \| O = 230 T = 14.47 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 247 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 230 T = 29.52 \| (out)(err)	S = OPTIMUM \| O = 230 T = 25.77 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
san400_0.9_1.clq.cnf	S = OPTIMUM \| O = 304 T = 767.87 \| (out)(err)	S = OPTIMUM \| O = 304 T = 752.40 \| (out)(err)	S = OPTIMUM \| O = 304 T = 640.93 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 317 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 304 T = 1216.35 \| (out)(err)	S = OPTIMUM \| O = 304 T = 1508.62 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
sanr200_0.7.clq.cnf	S = OPTIMUM \| O = 227 T = 17.96 \| (out)(err)	S = OPTIMUM \| O = 227 T = 17.63 \| (out)(err)	S = OPTIMUM \| O = 227 T = 11.75 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 247 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 227 T = 24.44 \| (out)(err)	S = OPTIMUM \| O = 227 T = 28.71 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
sanr200_0.9.clq.cnf	S = OPTIMUM \| O = 300 T = 391.43 \| (out)(err)	S = OPTIMUM \| O = 300 T = 349.77 \| (out)(err)	S = OPTIMUM \| O = 300 T = 240.04 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 320 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 300 T = 498.93 \| (out)(err)	S = OPTIMUM \| O = 300 T = 667.43 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
sanr400_0.5.clq.cnf	S = OPTIMUM \| O = 148 T = 0.22 \| (out)(err)	S = OPTIMUM \| O = 148 T = 0.31 \| (out)(err)	S = OPTIMUM \| O = 148 T = 0.34 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 167 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 148 T = 0.53 \| (out)(err)	S = OPTIMUM \| O = 148 T = 0.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 = Time Out \| (out)(err)
sanr400_0.7.clq.cnf	S = OPTIMUM \| O = 223 T = 6.11 \| (out)(err)	S = OPTIMUM \| O = 223 T = 4.08 \| (out)(err)	S = OPTIMUM \| O = 223 T = 4.04 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 250 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 223 T = 8.79 \| (out)(err)	S = OPTIMUM \| O = 223 T = 7.74 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
t3pm3-5555.spn.cnf	S = OPTIMUM \| O = 17 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 17 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 17 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 17 T = 612.12 \| (out)(err)	S = N/A \| O = 17 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 17 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 17 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 17 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 17 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 17 T = 0.04 \| (out)(err)
t4pm3-6666.spn.cnf	S = OPTIMUM \| O = 38 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 38 T = 0.09 \| (out)(err)	S = OPTIMUM \| O = 38 T = 0.12 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 62 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 38 T = 0.10 \| (out)(err)	S = OPTIMUM \| O = 38 T = 0.08 \| (out)(err)	S = OPTIMUM \| O = 38 T = 7.82 \| (out)(err)	S = OPTIMUM \| O = 38 T = 32.65 \| (out)(err)	S = OPTIMUM \| O = 38 T = 1.65 \| (out)(err)
t5pm3-7777.spn.cnf	S = OPTIMUM \| O = 78 T = 38.87 \| (out)(err)	S = OPTIMUM \| O = 78 T = 38.42 \| (out)(err)	S = OPTIMUM \| O = 78 T = 86.95 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 122 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 78 T = 14.54 \| (out)(err)	S = OPTIMUM \| O = 78 T = 16.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 = Time Out \| (out)(err)
t6pm3-8888.spn.cnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 208 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
t7pm3-9999.spn.cnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 348 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-1.cnf	S = OPTIMUM \| O = 160 T = 47.09 \| (out)(err)	S = OPTIMUM \| O = 160 T = 40.74 \| (out)(err)	S = OPTIMUM \| O = 160 T = 106.96 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 223 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 160 T = 107.28 \| (out)(err)	S = OPTIMUM \| O = 160 T = 129.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 = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-10.cnf	S = OPTIMUM \| O = 167 T = 248.28 \| (out)(err)	S = OPTIMUM \| O = 167 T = 275.24 \| (out)(err)	S = OPTIMUM \| O = 167 T = 428.37 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 242 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 577.22 \| (out)(err)	S = OPTIMUM \| O = 167 T = 698.41 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-11.cnf	S = OPTIMUM \| O = 170 T = 1169.03 \| (out)(err)	S = OPTIMUM \| O = 170 T = 1168.91 \| (out)(err)	S = OPTIMUM \| O = 170 T = 1498.63 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 254 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-12.cnf	S = OPTIMUM \| O = 167 T = 121.70 \| (out)(err)	S = OPTIMUM \| O = 167 T = 113.80 \| (out)(err)	S = OPTIMUM \| O = 167 T = 282.57 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 241 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 177.73 \| (out)(err)	S = OPTIMUM \| O = 167 T = 337.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)
maxcut-140-630-0.7-13.cnf	S = OPTIMUM \| O = 169 T = 517.19 \| (out)(err)	S = OPTIMUM \| O = 169 T = 517.02 \| (out)(err)	S = OPTIMUM \| O = 169 T = 611.68 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 231 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 169 T = 1020.41 \| (out)(err)	S = OPTIMUM \| O = 169 T = 969.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)
maxcut-140-630-0.7-14.cnf	S = OPTIMUM \| O = 166 T = 180.83 \| (out)(err)	S = OPTIMUM \| O = 166 T = 177.63 \| (out)(err)	S = OPTIMUM \| O = 166 T = 343.47 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 230 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 166 T = 406.70 \| (out)(err)	S = OPTIMUM \| O = 166 T = 369.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)
maxcut-140-630-0.7-15.cnf	S = OPTIMUM \| O = 169 T = 367.02 \| (out)(err)	S = OPTIMUM \| O = 169 T = 365.92 \| (out)(err)	S = OPTIMUM \| O = 169 T = 1180.52 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 245 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 169 T = 1312.85 \| (out)(err)	S = OPTIMUM \| O = 169 T = 872.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 = N/A T = 415.70 \| (out)(err)
maxcut-140-630-0.7-16.cnf	S = OPTIMUM \| O = 167 T = 160.13 \| (out)(err)	S = OPTIMUM \| O = 167 T = 159.67 \| (out)(err)	S = OPTIMUM \| O = 167 T = 206.96 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 234 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 281.38 \| (out)(err)	S = OPTIMUM \| O = 167 T = 328.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)
maxcut-140-630-0.7-17.cnf	S = OPTIMUM \| O = 166 T = 109.79 \| (out)(err)	S = OPTIMUM \| O = 166 T = 92.92 \| (out)(err)	S = OPTIMUM \| O = 166 T = 260.21 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 246 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 166 T = 371.94 \| (out)(err)	S = OPTIMUM \| O = 166 T = 290.21 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-18.cnf	S = OPTIMUM \| O = 166 T = 248.93 \| (out)(err)	S = OPTIMUM \| O = 166 T = 238.63 \| (out)(err)	S = OPTIMUM \| O = 166 T = 332.23 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 234 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 166 T = 381.80 \| (out)(err)	S = OPTIMUM \| O = 166 T = 544.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)
maxcut-140-630-0.7-19.cnf	S = OPTIMUM \| O = 167 T = 118.65 \| (out)(err)	S = OPTIMUM \| O = 167 T = 114.04 \| (out)(err)	S = OPTIMUM \| O = 167 T = 243.09 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 242 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 265.84 \| (out)(err)	S = OPTIMUM \| O = 167 T = 422.46 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-2.cnf	S = OPTIMUM \| O = 160 T = 33.42 \| (out)(err)	S = OPTIMUM \| O = 160 T = 33.65 \| (out)(err)	S = OPTIMUM \| O = 160 T = 123.59 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 226 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 160 T = 128.65 \| (out)(err)	S = OPTIMUM \| O = 160 T = 90.67 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-20.cnf	S = OPTIMUM \| O = 168 T = 146.96 \| (out)(err)	S = OPTIMUM \| O = 168 T = 146.45 \| (out)(err)	S = OPTIMUM \| O = 168 T = 287.52 \| (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 = 168 T = 355.21 \| (out)(err)	S = OPTIMUM \| O = 168 T = 275.08 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-21.cnf	S = OPTIMUM \| O = 165 T = 186.25 \| (out)(err)	S = OPTIMUM \| O = 165 T = 186.38 \| (out)(err)	S = OPTIMUM \| O = 165 T = 201.14 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 238 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 165 T = 258.47 \| (out)(err)	S = OPTIMUM \| O = 165 T = 591.66 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-22.cnf	S = OPTIMUM \| O = 164 T = 42.41 \| (out)(err)	S = OPTIMUM \| O = 164 T = 39.40 \| (out)(err)	S = OPTIMUM \| O = 164 T = 193.09 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 246 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 164 T = 119.09 \| (out)(err)	S = OPTIMUM \| O = 164 T = 165.30 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-23.cnf	S = OPTIMUM \| O = 165 T = 139.92 \| (out)(err)	S = OPTIMUM \| O = 165 T = 140.32 \| (out)(err)	S = OPTIMUM \| O = 165 T = 235.42 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 227 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 165 T = 271.70 \| (out)(err)	S = OPTIMUM \| O = 165 T = 314.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)
maxcut-140-630-0.7-24.cnf	S = OPTIMUM \| O = 166 T = 110.95 \| (out)(err)	S = OPTIMUM \| O = 166 T = 110.28 \| (out)(err)	S = OPTIMUM \| O = 166 T = 361.27 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 221 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 166 T = 360.89 \| (out)(err)	S = OPTIMUM \| O = 166 T = 243.43 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-25.cnf	S = OPTIMUM \| O = 167 T = 245.64 \| (out)(err)	S = OPTIMUM \| O = 167 T = 192.48 \| (out)(err)	S = OPTIMUM \| O = 167 T = 442.78 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 220 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 441.69 \| (out)(err)	S = OPTIMUM \| O = 167 T = 534.03 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-26.cnf	S = OPTIMUM \| O = 166 T = 114.50 \| (out)(err)	S = OPTIMUM \| O = 166 T = 114.63 \| (out)(err)	S = OPTIMUM \| O = 166 T = 286.07 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 244 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 166 T = 312.96 \| (out)(err)	S = OPTIMUM \| O = 166 T = 301.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)
maxcut-140-630-0.7-27.cnf	S = OPTIMUM \| O = 165 T = 162.69 \| (out)(err)	S = OPTIMUM \| O = 165 T = 162.22 \| (out)(err)	S = OPTIMUM \| O = 165 T = 198.23 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 225 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 165 T = 230.00 \| (out)(err)	S = OPTIMUM \| O = 165 T = 399.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 = Time Out \| (out)(err)
maxcut-140-630-0.7-28.cnf	S = OPTIMUM \| O = 167 T = 98.66 \| (out)(err)	S = OPTIMUM \| O = 167 T = 97.71 \| (out)(err)	S = OPTIMUM \| O = 167 T = 200.20 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 226 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 226.46 \| (out)(err)	S = OPTIMUM \| O = 167 T = 257.92 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-29.cnf	S = OPTIMUM \| O = 166 T = 377.38 \| (out)(err)	S = OPTIMUM \| O = 166 T = 373.26 \| (out)(err)	S = OPTIMUM \| O = 166 T = 595.18 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 228 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 166 T = 640.79 \| (out)(err)	S = OPTIMUM \| O = 166 T = 952.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)
maxcut-140-630-0.7-3.cnf	S = OPTIMUM \| O = 168 T = 271.05 \| (out)(err)	S = OPTIMUM \| O = 168 T = 270.86 \| (out)(err)	S = OPTIMUM \| O = 168 T = 715.59 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 257 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 168 T = 685.07 \| (out)(err)	S = OPTIMUM \| O = 168 T = 756.30 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-30.cnf	S = OPTIMUM \| O = 167 T = 207.49 \| (out)(err)	S = OPTIMUM \| O = 167 T = 204.48 \| (out)(err)	S = OPTIMUM \| O = 167 T = 582.57 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 239 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 595.75 \| (out)(err)	S = OPTIMUM \| O = 167 T = 347.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 = Time Out \| (out)(err)
maxcut-140-630-0.7-31.cnf	S = OPTIMUM \| O = 170 T = 365.13 \| (out)(err)	S = OPTIMUM \| O = 170 T = 364.90 \| (out)(err)	S = OPTIMUM \| O = 170 T = 704.03 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 254 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 170 T = 912.03 \| (out)(err)	S = OPTIMUM \| O = 170 T = 799.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 = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-32.cnf	S = OPTIMUM \| O = 164 T = 44.23 \| (out)(err)	S = OPTIMUM \| O = 164 T = 44.44 \| (out)(err)	S = OPTIMUM \| O = 164 T = 216.25 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 228 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 164 T = 225.21 \| (out)(err)	S = OPTIMUM \| O = 164 T = 191.46 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 464.51 \| (out)(err)
maxcut-140-630-0.7-33.cnf	S = OPTIMUM \| O = 165 T = 181.95 \| (out)(err)	S = OPTIMUM \| O = 165 T = 168.18 \| (out)(err)	S = OPTIMUM \| O = 165 T = 373.83 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 243 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 165 T = 408.72 \| (out)(err)	S = OPTIMUM \| O = 165 T = 554.23 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-34.cnf	S = OPTIMUM \| O = 168 T = 225.85 \| (out)(err)	S = OPTIMUM \| O = 168 T = 225.28 \| (out)(err)	S = OPTIMUM \| O = 168 T = 448.40 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 250 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 168 T = 565.81 \| (out)(err)	S = OPTIMUM \| O = 168 T = 609.36 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-35.cnf	S = OPTIMUM \| O = 164 T = 97.62 \| (out)(err)	S = OPTIMUM \| O = 164 T = 70.30 \| (out)(err)	S = OPTIMUM \| O = 164 T = 130.18 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 226 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 164 T = 120.35 \| (out)(err)	S = OPTIMUM \| O = 164 T = 287.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)
maxcut-140-630-0.7-36.cnf	S = OPTIMUM \| O = 167 T = 317.51 \| (out)(err)	S = OPTIMUM \| O = 167 T = 308.71 \| (out)(err)	S = OPTIMUM \| O = 167 T = 499.44 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 233 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 568.20 \| (out)(err)	S = OPTIMUM \| O = 167 T = 721.82 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-37.cnf	S = OPTIMUM \| O = 170 T = 496.54 \| (out)(err)	S = OPTIMUM \| O = 170 T = 495.68 \| (out)(err)	S = OPTIMUM \| O = 170 T = 984.47 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 245 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 170 T = 1299.59 \| (out)(err)	S = OPTIMUM \| O = 170 T = 1053.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)
maxcut-140-630-0.7-38.cnf	S = OPTIMUM \| O = 167 T = 605.96 \| (out)(err)	S = OPTIMUM \| O = 167 T = 606.04 \| (out)(err)	S = OPTIMUM \| O = 167 T = 798.30 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 245 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 968.43 \| (out)(err)	S = OPTIMUM \| O = 167 T = 1226.78 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-39.cnf	S = OPTIMUM \| O = 163 T = 131.04 \| (out)(err)	S = OPTIMUM \| O = 163 T = 127.38 \| (out)(err)	S = OPTIMUM \| O = 163 T = 336.13 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 253 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 163 T = 273.01 \| (out)(err)	S = OPTIMUM \| O = 163 T = 289.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 = Time Out \| (out)(err)
maxcut-140-630-0.7-4.cnf	S = OPTIMUM \| O = 167 T = 245.04 \| (out)(err)	S = OPTIMUM \| O = 167 T = 240.48 \| (out)(err)	S = OPTIMUM \| O = 167 T = 664.46 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 254 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 747.18 \| (out)(err)	S = OPTIMUM \| O = 167 T = 563.91 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-40.cnf	S = OPTIMUM \| O = 167 T = 428.75 \| (out)(err)	S = OPTIMUM \| O = 167 T = 386.36 \| (out)(err)	S = OPTIMUM \| O = 167 T = 950.14 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 241 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 906.28 \| (out)(err)	S = OPTIMUM \| O = 167 T = 1372.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 = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-41.cnf	S = OPTIMUM \| O = 161 T = 124.76 \| (out)(err)	S = OPTIMUM \| O = 161 T = 112.64 \| (out)(err)	S = OPTIMUM \| O = 161 T = 137.70 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 236 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 161 T = 180.50 \| (out)(err)	S = OPTIMUM \| O = 161 T = 273.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)
maxcut-140-630-0.7-42.cnf	S = OPTIMUM \| O = 161 T = 21.01 \| (out)(err)	S = OPTIMUM \| O = 161 T = 21.10 \| (out)(err)	S = OPTIMUM \| O = 161 T = 141.29 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 231 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 161 T = 132.07 \| (out)(err)	S = OPTIMUM \| O = 161 T = 63.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)
maxcut-140-630-0.7-43.cnf	S = OPTIMUM \| O = 164 T = 113.32 \| (out)(err)	S = OPTIMUM \| O = 164 T = 115.46 \| (out)(err)	S = OPTIMUM \| O = 164 T = 424.69 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 231 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 164 T = 237.52 \| (out)(err)	S = OPTIMUM \| O = 164 T = 235.20 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-44.cnf	S = OPTIMUM \| O = 163 T = 113.43 \| (out)(err)	S = OPTIMUM \| O = 163 T = 97.35 \| (out)(err)	S = OPTIMUM \| O = 163 T = 297.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 250 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 163 T = 248.54 \| (out)(err)	S = OPTIMUM \| O = 163 T = 287.25 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-45.cnf	S = OPTIMUM \| O = 168 T = 208.95 \| (out)(err)	S = OPTIMUM \| O = 168 T = 195.74 \| (out)(err)	S = OPTIMUM \| O = 168 T = 514.97 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 252 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 168 T = 583.49 \| (out)(err)	S = OPTIMUM \| O = 168 T = 590.48 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-46.cnf	S = OPTIMUM \| O = 168 T = 234.83 \| (out)(err)	S = OPTIMUM \| O = 168 T = 231.20 \| (out)(err)	S = OPTIMUM \| O = 168 T = 512.16 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 241 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 168 T = 621.57 \| (out)(err)	S = OPTIMUM \| O = 168 T = 560.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)
maxcut-140-630-0.7-47.cnf	S = OPTIMUM \| O = 160 T = 42.44 \| (out)(err)	S = OPTIMUM \| O = 160 T = 41.61 \| (out)(err)	S = OPTIMUM \| O = 160 T = 162.50 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 238 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 160 T = 108.26 \| (out)(err)	S = OPTIMUM \| O = 160 T = 149.87 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-48.cnf	S = OPTIMUM \| O = 168 T = 174.28 \| (out)(err)	S = OPTIMUM \| O = 168 T = 174.49 \| (out)(err)	S = OPTIMUM \| O = 168 T = 380.26 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 243 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 168 T = 440.07 \| (out)(err)	S = OPTIMUM \| O = 168 T = 395.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)
maxcut-140-630-0.7-49.cnf	S = OPTIMUM \| O = 164 T = 224.45 \| (out)(err)	S = OPTIMUM \| O = 164 T = 158.14 \| (out)(err)	S = OPTIMUM \| O = 164 T = 422.94 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 247 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 164 T = 383.09 \| (out)(err)	S = OPTIMUM \| O = 164 T = 251.45 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-5.cnf	S = OPTIMUM \| O = 164 T = 224.81 \| (out)(err)	S = OPTIMUM \| O = 164 T = 229.78 \| (out)(err)	S = OPTIMUM \| O = 164 T = 719.87 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 229 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 164 T = 444.08 \| (out)(err)	S = OPTIMUM \| O = 164 T = 614.16 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-50.cnf	S = OPTIMUM \| O = 167 T = 147.96 \| (out)(err)	S = OPTIMUM \| O = 167 T = 147.47 \| (out)(err)	S = OPTIMUM \| O = 167 T = 439.75 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 229 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 469.13 \| (out)(err)	S = OPTIMUM \| O = 167 T = 286.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)
maxcut-140-630-0.7-6.cnf	S = OPTIMUM \| O = 162 T = 59.12 \| (out)(err)	S = OPTIMUM \| O = 162 T = 59.19 \| (out)(err)	S = OPTIMUM \| O = 162 T = 158.04 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 242 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 162 T = 139.48 \| (out)(err)	S = OPTIMUM \| O = 162 T = 158.60 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-7.cnf	S = OPTIMUM \| O = 164 T = 195.05 \| (out)(err)	S = OPTIMUM \| O = 164 T = 194.52 \| (out)(err)	S = OPTIMUM \| O = 164 T = 463.82 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 247 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 164 T = 449.53 \| (out)(err)	S = OPTIMUM \| O = 164 T = 432.41 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-8.cnf	S = OPTIMUM \| O = 165 T = 279.33 \| (out)(err)	S = OPTIMUM \| O = 165 T = 276.99 \| (out)(err)	S = OPTIMUM \| O = 165 T = 372.58 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 247 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 165 T = 382.62 \| (out)(err)	S = OPTIMUM \| O = 165 T = 947.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 = 449.54 \| (out)(err)
maxcut-140-630-0.7-9.cnf	S = OPTIMUM \| O = 166 T = 225.09 \| (out)(err)	S = OPTIMUM \| O = 166 T = 223.22 \| (out)(err)	S = OPTIMUM \| O = 166 T = 570.80 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 235 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 166 T = 561.41 \| (out)(err)	S = OPTIMUM \| O = 166 T = 502.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 = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-1.cnf	S = OPTIMUM \| O = 165 T = 108.36 \| (out)(err)	S = OPTIMUM \| O = 165 T = 106.15 \| (out)(err)	S = OPTIMUM \| O = 165 T = 419.63 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 251 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 165 T = 468.44 \| (out)(err)	S = OPTIMUM \| O = 165 T = 531.43 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-10.cnf	S = OPTIMUM \| O = 168 T = 483.38 \| (out)(err)	S = OPTIMUM \| O = 168 T = 475.39 \| (out)(err)	S = OPTIMUM \| O = 168 T = 1389.53 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 247 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 168 T = 766.36 \| (out)(err)	S = OPTIMUM \| O = 168 T = 1243.89 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 356.96 \| (out)(err)
maxcut-140-630-0.8-11.cnf	S = OPTIMUM \| O = 168 T = 321.92 \| (out)(err)	S = OPTIMUM \| O = 168 T = 319.19 \| (out)(err)	S = OPTIMUM \| O = 168 T = 610.53 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 237 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 168 T = 687.71 \| (out)(err)	S = OPTIMUM \| O = 168 T = 881.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)
maxcut-140-630-0.8-12.cnf	S = OPTIMUM \| O = 165 T = 125.72 \| (out)(err)	S = OPTIMUM \| O = 165 T = 127.32 \| (out)(err)	S = OPTIMUM \| O = 165 T = 172.57 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 231 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 165 T = 221.77 \| (out)(err)	S = OPTIMUM \| O = 165 T = 274.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)
maxcut-140-630-0.8-13.cnf	S = OPTIMUM \| O = 167 T = 241.33 \| (out)(err)	S = OPTIMUM \| O = 167 T = 243.60 \| (out)(err)	S = OPTIMUM \| O = 167 T = 404.47 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 249 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 508.96 \| (out)(err)	S = OPTIMUM \| O = 167 T = 746.45 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-14.cnf	S = OPTIMUM \| O = 164 T = 148.49 \| (out)(err)	S = OPTIMUM \| O = 164 T = 136.83 \| (out)(err)	S = OPTIMUM \| O = 164 T = 353.57 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 227 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 164 T = 379.15 \| (out)(err)	S = OPTIMUM \| O = 164 T = 381.88 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-15.cnf	S = OPTIMUM \| O = 166 T = 186.25 \| (out)(err)	S = OPTIMUM \| O = 166 T = 192.20 \| (out)(err)	S = OPTIMUM \| O = 166 T = 302.31 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 227 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 166 T = 371.66 \| (out)(err)	S = OPTIMUM \| O = 166 T = 498.03 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-16.cnf	S = OPTIMUM \| O = 163 T = 87.01 \| (out)(err)	S = OPTIMUM \| O = 163 T = 87.44 \| (out)(err)	S = OPTIMUM \| O = 163 T = 184.33 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 228 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 163 T = 177.63 \| (out)(err)	S = OPTIMUM \| O = 163 T = 216.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 = 357.29 \| (out)(err)
maxcut-140-630-0.8-17.cnf	S = OPTIMUM \| O = 168 T = 184.49 \| (out)(err)	S = OPTIMUM \| O = 168 T = 157.74 \| (out)(err)	S = OPTIMUM \| O = 168 T = 290.75 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 246 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 168 T = 416.76 \| (out)(err)	S = OPTIMUM \| O = 168 T = 419.08 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-18.cnf	S = OPTIMUM \| O = 163 T = 208.17 \| (out)(err)	S = OPTIMUM \| O = 163 T = 208.87 \| (out)(err)	S = OPTIMUM \| O = 163 T = 421.87 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 242 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 163 T = 328.85 \| (out)(err)	S = OPTIMUM \| O = 163 T = 589.10 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-19.cnf	S = OPTIMUM \| O = 164 T = 61.96 \| (out)(err)	S = OPTIMUM \| O = 164 T = 58.57 \| (out)(err)	S = OPTIMUM \| O = 164 T = 147.06 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 247 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 164 T = 156.42 \| (out)(err)	S = OPTIMUM \| O = 164 T = 136.92 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-2.cnf	S = OPTIMUM \| O = 162 T = 38.98 \| (out)(err)	S = OPTIMUM \| O = 162 T = 40.57 \| (out)(err)	S = OPTIMUM \| O = 162 T = 164.59 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 255 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 162 T = 193.72 \| (out)(err)	S = OPTIMUM \| O = 162 T = 158.66 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-20.cnf	S = OPTIMUM \| O = 165 T = 140.44 \| (out)(err)	S = OPTIMUM \| O = 165 T = 130.39 \| (out)(err)	S = OPTIMUM \| O = 165 T = 260.48 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 246 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 165 T = 312.01 \| (out)(err)	S = OPTIMUM \| O = 165 T = 444.17 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-21.cnf	S = OPTIMUM \| O = 167 T = 69.73 \| (out)(err)	S = OPTIMUM \| O = 167 T = 64.24 \| (out)(err)	S = OPTIMUM \| O = 167 T = 231.51 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 237 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 206.59 \| (out)(err)	S = OPTIMUM \| O = 167 T = 226.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)	S = N/A \| O = N/A T = 357.11 \| (out)(err)
maxcut-140-630-0.8-22.cnf	S = OPTIMUM \| O = 170 T = 173.80 \| (out)(err)	S = OPTIMUM \| O = 170 T = 187.82 \| (out)(err)	S = OPTIMUM \| O = 170 T = 308.74 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 247 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 170 T = 460.53 \| (out)(err)	S = OPTIMUM \| O = 170 T = 419.13 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-23.cnf	S = OPTIMUM \| O = 167 T = 508.05 \| (out)(err)	S = OPTIMUM \| O = 167 T = 510.86 \| (out)(err)	S = OPTIMUM \| O = 167 T = 627.58 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 242 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 754.90 \| (out)(err)	S = OPTIMUM \| O = 167 T = 1541.55 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-24.cnf	S = OPTIMUM \| O = 165 T = 292.79 \| (out)(err)	S = OPTIMUM \| O = 165 T = 293.06 \| (out)(err)	S = OPTIMUM \| O = 165 T = 440.55 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 226 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 165 T = 377.47 \| (out)(err)	S = OPTIMUM \| O = 165 T = 937.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 = 406.79 \| (out)(err)
maxcut-140-630-0.8-25.cnf	S = OPTIMUM \| O = 165 T = 197.66 \| (out)(err)	S = OPTIMUM \| O = 165 T = 181.50 \| (out)(err)	S = OPTIMUM \| O = 165 T = 303.18 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 219 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 165 T = 366.69 \| (out)(err)	S = OPTIMUM \| O = 165 T = 509.26 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-26.cnf	S = OPTIMUM \| O = 167 T = 102.60 \| (out)(err)	S = OPTIMUM \| O = 167 T = 95.77 \| (out)(err)	S = OPTIMUM \| O = 167 T = 212.58 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 246 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 243.59 \| (out)(err)	S = OPTIMUM \| O = 167 T = 222.03 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-27.cnf	S = OPTIMUM \| O = 168 T = 314.63 \| (out)(err)	S = OPTIMUM \| O = 168 T = 294.77 \| (out)(err)	S = OPTIMUM \| O = 168 T = 298.10 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 222 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 168 T = 339.45 \| (out)(err)	S = OPTIMUM \| O = 168 T = 550.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)
maxcut-140-630-0.8-28.cnf	S = OPTIMUM \| O = 168 T = 251.64 \| (out)(err)	S = OPTIMUM \| O = 168 T = 250.90 \| (out)(err)	S = OPTIMUM \| O = 168 T = 367.69 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 241 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 168 T = 429.76 \| (out)(err)	S = OPTIMUM \| O = 168 T = 579.48 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 388.90 \| (out)(err)
maxcut-140-630-0.8-29.cnf	S = OPTIMUM \| O = 167 T = 123.67 \| (out)(err)	S = OPTIMUM \| O = 167 T = 120.59 \| (out)(err)	S = OPTIMUM \| O = 167 T = 611.36 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 230 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 763.14 \| (out)(err)	S = OPTIMUM \| O = 167 T = 329.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 = 569.94 \| (out)(err)
maxcut-140-630-0.8-3.cnf	S = OPTIMUM \| O = 165 T = 41.99 \| (out)(err)	S = OPTIMUM \| O = 165 T = 41.27 \| (out)(err)	S = OPTIMUM \| O = 165 T = 147.25 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 242 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 165 T = 149.32 \| (out)(err)	S = OPTIMUM \| O = 165 T = 119.07 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-30.cnf	S = OPTIMUM \| O = 167 T = 147.20 \| (out)(err)	S = OPTIMUM \| O = 167 T = 143.96 \| (out)(err)	S = OPTIMUM \| O = 167 T = 587.79 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 265 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 294.18 \| (out)(err)	S = OPTIMUM \| O = 167 T = 332.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)
maxcut-140-630-0.8-31.cnf	S = OPTIMUM \| O = 165 T = 60.10 \| (out)(err)	S = OPTIMUM \| O = 165 T = 60.35 \| (out)(err)	S = OPTIMUM \| O = 165 T = 175.39 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 245 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 165 T = 165.04 \| (out)(err)	S = OPTIMUM \| O = 165 T = 346.98 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-32.cnf	S = OPTIMUM \| O = 164 T = 48.70 \| (out)(err)	S = OPTIMUM \| O = 164 T = 42.65 \| (out)(err)	S = OPTIMUM \| O = 164 T = 144.93 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 249 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 164 T = 153.55 \| (out)(err)	S = OPTIMUM \| O = 164 T = 79.50 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-33.cnf	S = OPTIMUM \| O = 163 T = 60.30 \| (out)(err)	S = OPTIMUM \| O = 163 T = 60.34 \| (out)(err)	S = OPTIMUM \| O = 163 T = 134.83 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 224 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 163 T = 124.21 \| (out)(err)	S = OPTIMUM \| O = 163 T = 143.50 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-34.cnf	S = OPTIMUM \| O = 163 T = 198.59 \| (out)(err)	S = OPTIMUM \| O = 163 T = 197.82 \| (out)(err)	S = OPTIMUM \| O = 163 T = 279.64 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 245 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 163 T = 208.83 \| (out)(err)	S = OPTIMUM \| O = 163 T = 427.33 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 365.64 \| (out)(err)
maxcut-140-630-0.8-35.cnf	S = OPTIMUM \| O = 165 T = 133.59 \| (out)(err)	S = OPTIMUM \| O = 165 T = 132.26 \| (out)(err)	S = OPTIMUM \| O = 165 T = 202.27 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 226 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 165 T = 235.28 \| (out)(err)	S = OPTIMUM \| O = 165 T = 283.11 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-36.cnf	S = OPTIMUM \| O = 165 T = 115.36 \| (out)(err)	S = OPTIMUM \| O = 165 T = 114.92 \| (out)(err)	S = OPTIMUM \| O = 165 T = 241.19 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 234 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 165 T = 254.18 \| (out)(err)	S = OPTIMUM \| O = 165 T = 344.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)
maxcut-140-630-0.8-37.cnf	S = OPTIMUM \| O = 167 T = 139.66 \| (out)(err)	S = OPTIMUM \| O = 167 T = 139.43 \| (out)(err)	S = OPTIMUM \| O = 167 T = 189.57 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 225 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 248.68 \| (out)(err)	S = OPTIMUM \| O = 167 T = 283.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)
maxcut-140-630-0.8-38.cnf	S = OPTIMUM \| O = 160 T = 33.52 \| (out)(err)	S = OPTIMUM \| O = 160 T = 26.15 \| (out)(err)	S = OPTIMUM \| O = 160 T = 165.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 246 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 160 T = 154.37 \| (out)(err)	S = OPTIMUM \| O = 160 T = 114.36 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-39.cnf	S = OPTIMUM \| O = 169 T = 182.62 \| (out)(err)	S = OPTIMUM \| O = 169 T = 182.51 \| (out)(err)	S = OPTIMUM \| O = 169 T = 449.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 229 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 169 T = 514.34 \| (out)(err)	S = OPTIMUM \| O = 169 T = 460.48 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-4.cnf	S = OPTIMUM \| O = 165 T = 90.61 \| (out)(err)	S = OPTIMUM \| O = 165 T = 106.31 \| (out)(err)	S = OPTIMUM \| O = 165 T = 235.65 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 255 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 165 T = 207.18 \| (out)(err)	S = OPTIMUM \| O = 165 T = 173.36 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-40.cnf	S = OPTIMUM \| O = 161 T = 59.16 \| (out)(err)	S = OPTIMUM \| O = 161 T = 50.46 \| (out)(err)	S = OPTIMUM \| O = 161 T = 190.35 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 225 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 161 T = 200.68 \| (out)(err)	S = OPTIMUM \| O = 161 T = 141.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 = 350.34 \| (out)(err)
maxcut-140-630-0.8-41.cnf	S = OPTIMUM \| O = 163 T = 74.89 \| (out)(err)	S = OPTIMUM \| O = 163 T = 75.03 \| (out)(err)	S = OPTIMUM \| O = 163 T = 191.61 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 236 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 163 T = 241.06 \| (out)(err)	S = OPTIMUM \| O = 163 T = 335.13 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-42.cnf	S = OPTIMUM \| O = 164 T = 86.15 \| (out)(err)	S = OPTIMUM \| O = 164 T = 86.00 \| (out)(err)	S = OPTIMUM \| O = 164 T = 122.20 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 244 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 164 T = 139.06 \| (out)(err)	S = OPTIMUM \| O = 164 T = 195.84 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-43.cnf	S = OPTIMUM \| O = 165 T = 108.41 \| (out)(err)	S = OPTIMUM \| O = 165 T = 105.90 \| (out)(err)	S = OPTIMUM \| O = 165 T = 230.01 \| (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 = 165 T = 258.17 \| (out)(err)	S = OPTIMUM \| O = 165 T = 275.19 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-44.cnf	S = OPTIMUM \| O = 160 T = 35.16 \| (out)(err)	S = OPTIMUM \| O = 160 T = 18.45 \| (out)(err)	S = OPTIMUM \| O = 160 T = 71.32 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 229 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 160 T = 78.62 \| (out)(err)	S = OPTIMUM \| O = 160 T = 89.20 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-45.cnf	S = OPTIMUM \| O = 165 T = 25.90 \| (out)(err)	S = OPTIMUM \| O = 165 T = 25.13 \| (out)(err)	S = OPTIMUM \| O = 165 T = 83.57 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 232 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 165 T = 96.24 \| (out)(err)	S = OPTIMUM \| O = 165 T = 72.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)
maxcut-140-630-0.8-46.cnf	S = OPTIMUM \| O = 162 T = 144.84 \| (out)(err)	S = OPTIMUM \| O = 162 T = 130.73 \| (out)(err)	S = OPTIMUM \| O = 162 T = 192.42 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 228 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 162 T = 240.32 \| (out)(err)	S = OPTIMUM \| O = 162 T = 307.17 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-47.cnf	S = OPTIMUM \| O = 164 T = 150.32 \| (out)(err)	S = OPTIMUM \| O = 164 T = 148.29 \| (out)(err)	S = OPTIMUM \| O = 164 T = 326.77 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 243 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 164 T = 335.48 \| (out)(err)	S = OPTIMUM \| O = 164 T = 369.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)
maxcut-140-630-0.8-48.cnf	S = OPTIMUM \| O = 164 T = 119.39 \| (out)(err)	S = OPTIMUM \| O = 164 T = 119.52 \| (out)(err)	S = OPTIMUM \| O = 164 T = 279.82 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 242 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 164 T = 277.18 \| (out)(err)	S = OPTIMUM \| O = 164 T = 239.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 610.44 \| (out)(err)
maxcut-140-630-0.8-49.cnf	S = OPTIMUM \| O = 166 T = 112.88 \| (out)(err)	S = OPTIMUM \| O = 166 T = 112.87 \| (out)(err)	S = OPTIMUM \| O = 166 T = 201.47 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 248 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 166 T = 234.45 \| (out)(err)	S = OPTIMUM \| O = 166 T = 357.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)
maxcut-140-630-0.8-5.cnf	S = OPTIMUM \| O = 164 T = 230.76 \| (out)(err)	S = OPTIMUM \| O = 164 T = 213.78 \| (out)(err)	S = OPTIMUM \| O = 164 T = 325.83 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 237 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 164 T = 402.70 \| (out)(err)	S = OPTIMUM \| O = 164 T = 802.98 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-50.cnf	S = OPTIMUM \| O = 165 T = 95.37 \| (out)(err)	S = OPTIMUM \| O = 165 T = 83.36 \| (out)(err)	S = OPTIMUM \| O = 165 T = 284.27 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 256 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 165 T = 357.90 \| (out)(err)	S = OPTIMUM \| O = 165 T = 267.82 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-6.cnf	S = OPTIMUM \| O = 169 T = 624.58 \| (out)(err)	S = OPTIMUM \| O = 169 T = 620.86 \| (out)(err)	S = OPTIMUM \| O = 169 T = 833.46 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 242 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 169 T = 1301.77 \| (out)(err)	S = OPTIMUM \| O = 169 T = 1605.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)
maxcut-140-630-0.8-7.cnf	S = OPTIMUM \| O = 166 T = 214.50 \| (out)(err)	S = OPTIMUM \| O = 166 T = 214.58 \| (out)(err)	S = OPTIMUM \| O = 166 T = 328.66 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 226 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 166 T = 427.00 \| (out)(err)	S = OPTIMUM \| O = 166 T = 382.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)
maxcut-140-630-0.8-8.cnf	S = OPTIMUM \| O = 167 T = 167.78 \| (out)(err)	S = OPTIMUM \| O = 167 T = 161.80 \| (out)(err)	S = OPTIMUM \| O = 167 T = 402.52 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 238 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 478.16 \| (out)(err)	S = OPTIMUM \| O = 167 T = 533.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)
maxcut-140-630-0.8-9.cnf	S = OPTIMUM \| O = 165 T = 113.86 \| (out)(err)	S = OPTIMUM \| O = 165 T = 111.27 \| (out)(err)	S = OPTIMUM \| O = 165 T = 134.28 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 236 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 165 T = 139.25 \| (out)(err)	S = OPTIMUM \| O = 165 T = 227.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)

Instance file name	IUT_BMB_LSMaxsatz	IUT_BMB_Maxsatz	IncMaxsatz	MSUnCore	SAT4J-Maxsat	WMaxSatz-1.6	WMaxSatz-2.5	pm2	wbo	wpm1
MANN_a27.clq.cnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 408 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (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.cnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 418 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 391.80 \| (out)(err)
MANN_a81.clq.cnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 399 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (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.cnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 432 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (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_1.clq.cnf	S = OPTIMUM \| O = 238 T = 25.97 \| (out)(err)	S = OPTIMUM \| O = 238 T = 24.78 \| (out)(err)	S = OPTIMUM \| O = 238 T = 19.95 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 253 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 238 T = 39.22 \| (out)(err)	S = OPTIMUM \| O = 238 T = 46.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)
brock200_2.clq.cnf	S = OPTIMUM \| O = 141 T = 0.17 \| (out)(err)	S = OPTIMUM \| O = 141 T = 0.24 \| (out)(err)	S = OPTIMUM \| O = 141 T = 0.29 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 168 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 141 T = 0.42 \| (out)(err)	S = OPTIMUM \| O = 141 T = 0.30 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
brock200_3.clq.cnf	S = OPTIMUM \| O = 214 T = 7.00 \| (out)(err)	S = OPTIMUM \| O = 214 T = 6.56 \| (out)(err)	S = OPTIMUM \| O = 214 T = 5.28 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 232 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 214 T = 11.64 \| (out)(err)	S = OPTIMUM \| O = 214 T = 14.25 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
brock200_4.clq.cnf	S = OPTIMUM \| O = 209 T = 5.96 \| (out)(err)	S = OPTIMUM \| O = 209 T = 5.72 \| (out)(err)	S = OPTIMUM \| O = 209 T = 3.44 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 230 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 209 T = 6.66 \| (out)(err)	S = OPTIMUM \| O = 209 T = 8.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)
brock400_1.clq.cnf	S = OPTIMUM \| O = 255 T = 54.92 \| (out)(err)	S = OPTIMUM \| O = 255 T = 53.67 \| (out)(err)	S = OPTIMUM \| O = 255 T = 37.75 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 273 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 255 T = 79.78 \| (out)(err)	S = OPTIMUM \| O = 255 T = 97.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)
brock400_2.clq.cnf	S = OPTIMUM \| O = 252 T = 41.65 \| (out)(err)	S = OPTIMUM \| O = 252 T = 37.39 \| (out)(err)	S = OPTIMUM \| O = 252 T = 31.60 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 272 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 252 T = 65.72 \| (out)(err)	S = OPTIMUM \| O = 252 T = 78.28 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
brock400_3.clq.cnf	S = OPTIMUM \| O = 238 T = 20.74 \| (out)(err)	S = OPTIMUM \| O = 238 T = 18.53 \| (out)(err)	S = OPTIMUM \| O = 238 T = 13.75 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 260 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 238 T = 28.16 \| (out)(err)	S = OPTIMUM \| O = 238 T = 32.10 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
brock400_4.clq.cnf	S = OPTIMUM \| O = 249 T = 29.42 \| (out)(err)	S = OPTIMUM \| O = 249 T = 26.59 \| (out)(err)	S = OPTIMUM \| O = 249 T = 16.26 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 281 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 249 T = 35.75 \| (out)(err)	S = OPTIMUM \| O = 249 T = 50.33 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
brock800_1.clq.cnf	S = OPTIMUM \| O = 205 T = 3.14 \| (out)(err)	S = OPTIMUM \| O = 205 T = 2.98 \| (out)(err)	S = OPTIMUM \| O = 205 T = 2.43 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 226 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 205 T = 4.38 \| (out)(err)	S = OPTIMUM \| O = 205 T = 4.76 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
brock800_2.clq.cnf	S = OPTIMUM \| O = 207 T = 4.25 \| (out)(err)	S = OPTIMUM \| O = 207 T = 4.30 \| (out)(err)	S = OPTIMUM \| O = 207 T = 3.33 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 229 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 207 T = 6.61 \| (out)(err)	S = OPTIMUM \| O = 207 T = 7.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)
brock800_3.clq.cnf	S = OPTIMUM \| O = 203 T = 3.07 \| (out)(err)	S = OPTIMUM \| O = 203 T = 2.95 \| (out)(err)	S = OPTIMUM \| O = 203 T = 4.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 226 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 203 T = 6.79 \| (out)(err)	S = OPTIMUM \| O = 203 T = 4.96 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 412.44 \| (out)(err)
brock800_4.clq.cnf	S = OPTIMUM \| O = 200 T = 4.40 \| (out)(err)	S = OPTIMUM \| O = 200 T = 4.37 \| (out)(err)	S = OPTIMUM \| O = 200 T = 2.81 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 220 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 200 T = 5.12 \| (out)(err)	S = OPTIMUM \| O = 200 T = 4.74 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (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.cnf	S = OPTIMUM \| O = 4 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 4 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 4 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 4 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 4 T = 0.78 \| (out)(err)	S = OPTIMUM \| O = 4 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 4 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 4 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 4 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 4 T = 0.01 \| (out)(err)
c-fat200-2.clq.cnf	S = OPTIMUM \| O = 26 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 26 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 26 T = 0.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 40 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 26 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 26 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 26 T = 0.06 \| (out)(err)	S = OPTIMUM \| O = 26 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 26 T = 0.07 \| (out)(err)
c-fat200-5.clq.cnf	S = OPTIMUM \| O = 116 T = 0.23 \| (out)(err)	S = OPTIMUM \| O = 116 T = 0.26 \| (out)(err)	S = OPTIMUM \| O = 116 T = 0.27 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 152 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 116 T = 0.44 \| (out)(err)	S = OPTIMUM \| O = 116 T = 0.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)	S = N/A \| O = N/A T = Time Out \| (out)(err)
c-fat500-1.clq.cnf	S = OPTIMUM \| O = 2 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.38 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 2 T = 0.00 \| (out)(err)
c-fat500-10.clq.cnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (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 = 411.71 \| (out)(err)
c-fat500-2.clq.cnf	S = OPTIMUM \| O = 24 T = 0.06 \| (out)(err)	S = OPTIMUM \| O = 24 T = 0.09 \| (out)(err)	S = OPTIMUM \| O = 24 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 24 T = 0.02 \| (out)(err)	S = N/A \| O = 24 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 24 T = 0.08 \| (out)(err)	S = OPTIMUM \| O = 24 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 24 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 24 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 24 T = 0.06 \| (out)(err)
c-fat500-5.clq.cnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/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 = OPTIMUM \| O = 90 T = 13.33 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 267.87 \| (out)(err)
hamming10-2.clq.cnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 400 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
hamming10-4.clq.cnf	S = OPTIMUM \| O = 319 T = 633.60 \| (out)(err)	S = OPTIMUM \| O = 319 T = 604.18 \| (out)(err)	S = OPTIMUM \| O = 319 T = 528.04 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 338 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 319 T = 932.25 \| (out)(err)	S = OPTIMUM \| O = 319 T = 1207.66 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
hamming6-2.clq.cnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 887 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 1128.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)
hamming6-4.clq.cnf	S = OPTIMUM \| O = 192 T = 0.08 \| (out)(err)	S = OPTIMUM \| O = 192 T = 0.25 \| (out)(err)	S = OPTIMUM \| O = 192 T = 0.50 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 309 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 192 T = 0.93 \| (out)(err)	S = OPTIMUM \| O = 192 T = 0.21 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
hamming8-2.clq.cnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 441 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
hamming8-4.clq.cnf	S = OPTIMUM \| O = 176 T = 0.18 \| (out)(err)	S = OPTIMUM \| O = 176 T = 0.29 \| (out)(err)	S = OPTIMUM \| O = 176 T = 0.35 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 214 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 176 T = 0.72 \| (out)(err)	S = OPTIMUM \| O = 176 T = 0.23 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
johnson16-2-4.clq.cnf	S = OPTIMUM \| O = 215 T = 0.16 \| (out)(err)	S = OPTIMUM \| O = 215 T = 0.31 \| (out)(err)	S = OPTIMUM \| O = 215 T = 0.50 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 253 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 215 T = 0.89 \| (out)(err)	S = OPTIMUM \| O = 215 T = 0.28 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
johnson32-2-4.clq.cnf	S = OPTIMUM \| O = 329 T = 142.48 \| (out)(err)	S = OPTIMUM \| O = 329 T = 131.58 \| (out)(err)	S = OPTIMUM \| O = 329 T = 119.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 354 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 329 T = 248.32 \| (out)(err)	S = OPTIMUM \| O = 329 T = 262.46 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
johnson8-2-4.clq.cnf	S = OPTIMUM \| O = 75 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 75 T = 0.11 \| (out)(err)	S = OPTIMUM \| O = 75 T = 0.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 78 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 75 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 75 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 75 T = 379.43 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 434.32 \| (out)(err)
johnson8-4-4.clq.cnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 931 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
keller4.clq.cnf	S = OPTIMUM \| O = 199 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 199 T = 0.18 \| (out)(err)	S = OPTIMUM \| O = 199 T = 0.28 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 271 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 199 T = 0.35 \| (out)(err)	S = OPTIMUM \| O = 199 T = 0.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)
keller5.clq.cnf	S = OPTIMUM \| O = 250 T = 7.48 \| (out)(err)	S = OPTIMUM \| O = 250 T = 7.21 \| (out)(err)	S = OPTIMUM \| O = 250 T = 8.90 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 281 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 250 T = 20.77 \| (out)(err)	S = OPTIMUM \| O = 250 T = 12.43 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
p_hat1000-1.clq.cnf	S = OPTIMUM \| O = 52 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 52 T = 0.07 \| (out)(err)	S = OPTIMUM \| O = 52 T = 0.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 62 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 52 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 52 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 52 T = 18.29 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 264.29 \| (out)(err)
p_hat1000-2.clq.cnf	S = OPTIMUM \| O = 142 T = 0.26 \| (out)(err)	S = OPTIMUM \| O = 142 T = 0.30 \| (out)(err)	S = OPTIMUM \| O = 142 T = 0.33 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 165 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 142 T = 0.49 \| (out)(err)	S = OPTIMUM \| O = 142 T = 0.43 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
p_hat1000-3.clq.cnf	S = OPTIMUM \| O = 238 T = 14.17 \| (out)(err)	S = OPTIMUM \| O = 238 T = 13.03 \| (out)(err)	S = OPTIMUM \| O = 238 T = 9.32 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 262 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 238 T = 19.12 \| (out)(err)	S = OPTIMUM \| O = 238 T = 23.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)
p_hat300-1.clq.cnf	S = OPTIMUM \| O = 49 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 49 T = 0.07 \| (out)(err)	S = OPTIMUM \| O = 49 T = 0.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 58 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 49 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 49 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 49 T = 32.33 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 245.67 \| (out)(err)
p_hat300-2.clq.cnf	S = OPTIMUM \| O = 135 T = 0.13 \| (out)(err)	S = OPTIMUM \| O = 135 T = 0.20 \| (out)(err)	S = OPTIMUM \| O = 135 T = 0.12 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 149 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 135 T = 0.19 \| (out)(err)	S = OPTIMUM \| O = 135 T = 0.17 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
p_hat300-3.clq.cnf	S = OPTIMUM \| O = 269 T = 35.05 \| (out)(err)	S = OPTIMUM \| O = 269 T = 33.20 \| (out)(err)	S = OPTIMUM \| O = 269 T = 31.64 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 287 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 269 T = 61.97 \| (out)(err)	S = OPTIMUM \| O = 269 T = 57.62 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
p_hat500-1.clq.cnf	S = OPTIMUM \| O = 75 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 75 T = 0.08 \| (out)(err)	S = OPTIMUM \| O = 75 T = 0.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 94 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 75 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 75 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 75 T = 1397.66 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 266.18 \| (out)(err)
p_hat500-2.clq.cnf	S = OPTIMUM \| O = 176 T = 0.36 \| (out)(err)	S = OPTIMUM \| O = 176 T = 0.45 \| (out)(err)	S = OPTIMUM \| O = 176 T = 0.73 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 213 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 176 T = 1.05 \| (out)(err)	S = OPTIMUM \| O = 176 T = 0.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)
p_hat500-3.clq.cnf	S = OPTIMUM \| O = 284 T = 135.74 \| (out)(err)	S = OPTIMUM \| O = 284 T = 131.04 \| (out)(err)	S = OPTIMUM \| O = 284 T = 101.28 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 298 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 284 T = 180.07 \| (out)(err)	S = OPTIMUM \| O = 284 T = 206.92 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 330.43 \| (out)(err)
p_hat700-1.clq.cnf	S = OPTIMUM \| O = 63 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 63 T = 0.08 \| (out)(err)	S = OPTIMUM \| O = 63 T = 0.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 67 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 63 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 63 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 63 T = 102.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)
p_hat700-2.clq.cnf	S = OPTIMUM \| O = 154 T = 0.21 \| (out)(err)	S = OPTIMUM \| O = 154 T = 0.27 \| (out)(err)	S = OPTIMUM \| O = 154 T = 0.27 \| (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 = 154 T = 0.41 \| (out)(err)	S = OPTIMUM \| O = 154 T = 0.28 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
p_hat700-3.clq.cnf	S = OPTIMUM \| O = 267 T = 41.91 \| (out)(err)	S = OPTIMUM \| O = 267 T = 42.03 \| (out)(err)	S = OPTIMUM \| O = 267 T = 42.48 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 293 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 267 T = 77.41 \| (out)(err)	S = OPTIMUM \| O = 267 T = 71.95 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
san1000.clq.cnf	S = OPTIMUM \| O = 139 T = 0.20 \| (out)(err)	S = OPTIMUM \| O = 139 T = 0.27 \| (out)(err)	S = OPTIMUM \| O = 139 T = 0.26 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 156 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 139 T = 0.40 \| (out)(err)	S = OPTIMUM \| O = 139 T = 0.23 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 409.31 \| (out)(err)
san200_0.7_1.clq.cnf	S = OPTIMUM \| O = 237 T = 44.74 \| (out)(err)	S = OPTIMUM \| O = 237 T = 40.31 \| (out)(err)	S = OPTIMUM \| O = 237 T = 38.04 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 256 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 237 T = 70.19 \| (out)(err)	S = OPTIMUM \| O = 237 T = 69.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
san200_0.7_2.clq.cnf	S = OPTIMUM \| O = 236 T = 16.22 \| (out)(err)	S = OPTIMUM \| O = 236 T = 14.82 \| (out)(err)	S = OPTIMUM \| O = 236 T = 11.57 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 257 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 236 T = 24.56 \| (out)(err)	S = OPTIMUM \| O = 236 T = 24.12 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
san200_0.9_1.clq.cnf	S = OPTIMUM \| O = 313 T = 791.86 \| (out)(err)	S = OPTIMUM \| O = 313 T = 788.47 \| (out)(err)	S = OPTIMUM \| O = 313 T = 694.93 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 330 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 313 T = 1238.77 \| (out)(err)	S = OPTIMUM \| O = 313 T = 1530.21 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
san200_0.9_2.clq.cnf	S = OPTIMUM \| O = 316 T = 1055.14 \| (out)(err)	S = OPTIMUM \| O = 316 T = 948.28 \| (out)(err)	S = OPTIMUM \| O = 316 T = 708.94 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 330 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 316 T = 1399.88 \| (out)(err)	S = OPTIMUM \| O = 316 T = 1733.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)	S = N/A \| O = N/A T = Time Out \| (out)(err)
san200_0.9_3.clq.cnf	S = OPTIMUM \| O = 320 T = 1022.83 \| (out)(err)	S = OPTIMUM \| O = 320 T = 997.43 \| (out)(err)	S = OPTIMUM \| O = 320 T = 858.45 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 336 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 320 T = 1470.66 \| (out)(err)	S = OPTIMUM \| O = 320 T = 1669.78 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
san400_0.5_1.clq.cnf	S = OPTIMUM \| O = 146 T = 0.20 \| (out)(err)	S = OPTIMUM \| O = 146 T = 0.31 \| (out)(err)	S = OPTIMUM \| O = 146 T = 0.28 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 157 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 146 T = 0.49 \| (out)(err)	S = OPTIMUM \| O = 146 T = 0.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 = 395.92 \| (out)(err)
san400_0.7_1.clq.cnf	S = OPTIMUM \| O = 236 T = 34.65 \| (out)(err)	S = OPTIMUM \| O = 236 T = 28.21 \| (out)(err)	S = OPTIMUM \| O = 236 T = 18.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 261 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 236 T = 39.72 \| (out)(err)	S = OPTIMUM \| O = 236 T = 48.11 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
san400_0.7_2.clq.cnf	S = OPTIMUM \| O = 236 T = 17.72 \| (out)(err)	S = OPTIMUM \| O = 236 T = 16.63 \| (out)(err)	S = OPTIMUM \| O = 236 T = 11.82 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 256 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 236 T = 21.81 \| (out)(err)	S = OPTIMUM \| O = 236 T = 25.62 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
san400_0.7_3.clq.cnf	S = OPTIMUM \| O = 230 T = 21.03 \| (out)(err)	S = OPTIMUM \| O = 230 T = 20.02 \| (out)(err)	S = OPTIMUM \| O = 230 T = 14.47 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 247 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 230 T = 29.52 \| (out)(err)	S = OPTIMUM \| O = 230 T = 25.77 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
san400_0.9_1.clq.cnf	S = OPTIMUM \| O = 304 T = 767.87 \| (out)(err)	S = OPTIMUM \| O = 304 T = 752.40 \| (out)(err)	S = OPTIMUM \| O = 304 T = 640.93 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 317 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 304 T = 1216.35 \| (out)(err)	S = OPTIMUM \| O = 304 T = 1508.62 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
sanr200_0.7.clq.cnf	S = OPTIMUM \| O = 227 T = 17.96 \| (out)(err)	S = OPTIMUM \| O = 227 T = 17.63 \| (out)(err)	S = OPTIMUM \| O = 227 T = 11.75 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 247 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 227 T = 24.44 \| (out)(err)	S = OPTIMUM \| O = 227 T = 28.71 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
sanr200_0.9.clq.cnf	S = OPTIMUM \| O = 300 T = 391.43 \| (out)(err)	S = OPTIMUM \| O = 300 T = 349.77 \| (out)(err)	S = OPTIMUM \| O = 300 T = 240.04 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 320 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 300 T = 498.93 \| (out)(err)	S = OPTIMUM \| O = 300 T = 667.43 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
sanr400_0.5.clq.cnf	S = OPTIMUM \| O = 148 T = 0.22 \| (out)(err)	S = OPTIMUM \| O = 148 T = 0.31 \| (out)(err)	S = OPTIMUM \| O = 148 T = 0.34 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 167 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 148 T = 0.53 \| (out)(err)	S = OPTIMUM \| O = 148 T = 0.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 = Time Out \| (out)(err)
sanr400_0.7.clq.cnf	S = OPTIMUM \| O = 223 T = 6.11 \| (out)(err)	S = OPTIMUM \| O = 223 T = 4.08 \| (out)(err)	S = OPTIMUM \| O = 223 T = 4.04 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 250 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 223 T = 8.79 \| (out)(err)	S = OPTIMUM \| O = 223 T = 7.74 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
t3pm3-5555.spn.cnf	S = OPTIMUM \| O = 17 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 17 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 17 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 17 T = 612.12 \| (out)(err)	S = N/A \| O = 17 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 17 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 17 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 17 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 17 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 17 T = 0.04 \| (out)(err)
t4pm3-6666.spn.cnf	S = OPTIMUM \| O = 38 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 38 T = 0.09 \| (out)(err)	S = OPTIMUM \| O = 38 T = 0.12 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 62 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 38 T = 0.10 \| (out)(err)	S = OPTIMUM \| O = 38 T = 0.08 \| (out)(err)	S = OPTIMUM \| O = 38 T = 7.82 \| (out)(err)	S = OPTIMUM \| O = 38 T = 32.65 \| (out)(err)	S = OPTIMUM \| O = 38 T = 1.65 \| (out)(err)
t5pm3-7777.spn.cnf	S = OPTIMUM \| O = 78 T = 38.87 \| (out)(err)	S = OPTIMUM \| O = 78 T = 38.42 \| (out)(err)	S = OPTIMUM \| O = 78 T = 86.95 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 122 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 78 T = 14.54 \| (out)(err)	S = OPTIMUM \| O = 78 T = 16.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 = Time Out \| (out)(err)
t6pm3-8888.spn.cnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 208 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
t7pm3-9999.spn.cnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 348 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-1.cnf	S = OPTIMUM \| O = 160 T = 47.09 \| (out)(err)	S = OPTIMUM \| O = 160 T = 40.74 \| (out)(err)	S = OPTIMUM \| O = 160 T = 106.96 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 223 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 160 T = 107.28 \| (out)(err)	S = OPTIMUM \| O = 160 T = 129.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 = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-10.cnf	S = OPTIMUM \| O = 167 T = 248.28 \| (out)(err)	S = OPTIMUM \| O = 167 T = 275.24 \| (out)(err)	S = OPTIMUM \| O = 167 T = 428.37 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 242 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 577.22 \| (out)(err)	S = OPTIMUM \| O = 167 T = 698.41 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-11.cnf	S = OPTIMUM \| O = 170 T = 1169.03 \| (out)(err)	S = OPTIMUM \| O = 170 T = 1168.91 \| (out)(err)	S = OPTIMUM \| O = 170 T = 1498.63 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 254 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-12.cnf	S = OPTIMUM \| O = 167 T = 121.70 \| (out)(err)	S = OPTIMUM \| O = 167 T = 113.80 \| (out)(err)	S = OPTIMUM \| O = 167 T = 282.57 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 241 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 177.73 \| (out)(err)	S = OPTIMUM \| O = 167 T = 337.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)
maxcut-140-630-0.7-13.cnf	S = OPTIMUM \| O = 169 T = 517.19 \| (out)(err)	S = OPTIMUM \| O = 169 T = 517.02 \| (out)(err)	S = OPTIMUM \| O = 169 T = 611.68 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 231 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 169 T = 1020.41 \| (out)(err)	S = OPTIMUM \| O = 169 T = 969.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)
maxcut-140-630-0.7-14.cnf	S = OPTIMUM \| O = 166 T = 180.83 \| (out)(err)	S = OPTIMUM \| O = 166 T = 177.63 \| (out)(err)	S = OPTIMUM \| O = 166 T = 343.47 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 230 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 166 T = 406.70 \| (out)(err)	S = OPTIMUM \| O = 166 T = 369.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)
maxcut-140-630-0.7-15.cnf	S = OPTIMUM \| O = 169 T = 367.02 \| (out)(err)	S = OPTIMUM \| O = 169 T = 365.92 \| (out)(err)	S = OPTIMUM \| O = 169 T = 1180.52 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 245 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 169 T = 1312.85 \| (out)(err)	S = OPTIMUM \| O = 169 T = 872.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 = N/A T = 415.70 \| (out)(err)
maxcut-140-630-0.7-16.cnf	S = OPTIMUM \| O = 167 T = 160.13 \| (out)(err)	S = OPTIMUM \| O = 167 T = 159.67 \| (out)(err)	S = OPTIMUM \| O = 167 T = 206.96 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 234 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 281.38 \| (out)(err)	S = OPTIMUM \| O = 167 T = 328.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)
maxcut-140-630-0.7-17.cnf	S = OPTIMUM \| O = 166 T = 109.79 \| (out)(err)	S = OPTIMUM \| O = 166 T = 92.92 \| (out)(err)	S = OPTIMUM \| O = 166 T = 260.21 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 246 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 166 T = 371.94 \| (out)(err)	S = OPTIMUM \| O = 166 T = 290.21 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-18.cnf	S = OPTIMUM \| O = 166 T = 248.93 \| (out)(err)	S = OPTIMUM \| O = 166 T = 238.63 \| (out)(err)	S = OPTIMUM \| O = 166 T = 332.23 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 234 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 166 T = 381.80 \| (out)(err)	S = OPTIMUM \| O = 166 T = 544.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)
maxcut-140-630-0.7-19.cnf	S = OPTIMUM \| O = 167 T = 118.65 \| (out)(err)	S = OPTIMUM \| O = 167 T = 114.04 \| (out)(err)	S = OPTIMUM \| O = 167 T = 243.09 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 242 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 265.84 \| (out)(err)	S = OPTIMUM \| O = 167 T = 422.46 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-2.cnf	S = OPTIMUM \| O = 160 T = 33.42 \| (out)(err)	S = OPTIMUM \| O = 160 T = 33.65 \| (out)(err)	S = OPTIMUM \| O = 160 T = 123.59 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 226 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 160 T = 128.65 \| (out)(err)	S = OPTIMUM \| O = 160 T = 90.67 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-20.cnf	S = OPTIMUM \| O = 168 T = 146.96 \| (out)(err)	S = OPTIMUM \| O = 168 T = 146.45 \| (out)(err)	S = OPTIMUM \| O = 168 T = 287.52 \| (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 = 168 T = 355.21 \| (out)(err)	S = OPTIMUM \| O = 168 T = 275.08 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-21.cnf	S = OPTIMUM \| O = 165 T = 186.25 \| (out)(err)	S = OPTIMUM \| O = 165 T = 186.38 \| (out)(err)	S = OPTIMUM \| O = 165 T = 201.14 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 238 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 165 T = 258.47 \| (out)(err)	S = OPTIMUM \| O = 165 T = 591.66 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-22.cnf	S = OPTIMUM \| O = 164 T = 42.41 \| (out)(err)	S = OPTIMUM \| O = 164 T = 39.40 \| (out)(err)	S = OPTIMUM \| O = 164 T = 193.09 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 246 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 164 T = 119.09 \| (out)(err)	S = OPTIMUM \| O = 164 T = 165.30 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-23.cnf	S = OPTIMUM \| O = 165 T = 139.92 \| (out)(err)	S = OPTIMUM \| O = 165 T = 140.32 \| (out)(err)	S = OPTIMUM \| O = 165 T = 235.42 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 227 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 165 T = 271.70 \| (out)(err)	S = OPTIMUM \| O = 165 T = 314.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)
maxcut-140-630-0.7-24.cnf	S = OPTIMUM \| O = 166 T = 110.95 \| (out)(err)	S = OPTIMUM \| O = 166 T = 110.28 \| (out)(err)	S = OPTIMUM \| O = 166 T = 361.27 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 221 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 166 T = 360.89 \| (out)(err)	S = OPTIMUM \| O = 166 T = 243.43 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-25.cnf	S = OPTIMUM \| O = 167 T = 245.64 \| (out)(err)	S = OPTIMUM \| O = 167 T = 192.48 \| (out)(err)	S = OPTIMUM \| O = 167 T = 442.78 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 220 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 441.69 \| (out)(err)	S = OPTIMUM \| O = 167 T = 534.03 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-26.cnf	S = OPTIMUM \| O = 166 T = 114.50 \| (out)(err)	S = OPTIMUM \| O = 166 T = 114.63 \| (out)(err)	S = OPTIMUM \| O = 166 T = 286.07 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 244 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 166 T = 312.96 \| (out)(err)	S = OPTIMUM \| O = 166 T = 301.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)
maxcut-140-630-0.7-27.cnf	S = OPTIMUM \| O = 165 T = 162.69 \| (out)(err)	S = OPTIMUM \| O = 165 T = 162.22 \| (out)(err)	S = OPTIMUM \| O = 165 T = 198.23 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 225 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 165 T = 230.00 \| (out)(err)	S = OPTIMUM \| O = 165 T = 399.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 = Time Out \| (out)(err)
maxcut-140-630-0.7-28.cnf	S = OPTIMUM \| O = 167 T = 98.66 \| (out)(err)	S = OPTIMUM \| O = 167 T = 97.71 \| (out)(err)	S = OPTIMUM \| O = 167 T = 200.20 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 226 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 226.46 \| (out)(err)	S = OPTIMUM \| O = 167 T = 257.92 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-29.cnf	S = OPTIMUM \| O = 166 T = 377.38 \| (out)(err)	S = OPTIMUM \| O = 166 T = 373.26 \| (out)(err)	S = OPTIMUM \| O = 166 T = 595.18 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 228 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 166 T = 640.79 \| (out)(err)	S = OPTIMUM \| O = 166 T = 952.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)
maxcut-140-630-0.7-3.cnf	S = OPTIMUM \| O = 168 T = 271.05 \| (out)(err)	S = OPTIMUM \| O = 168 T = 270.86 \| (out)(err)	S = OPTIMUM \| O = 168 T = 715.59 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 257 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 168 T = 685.07 \| (out)(err)	S = OPTIMUM \| O = 168 T = 756.30 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-30.cnf	S = OPTIMUM \| O = 167 T = 207.49 \| (out)(err)	S = OPTIMUM \| O = 167 T = 204.48 \| (out)(err)	S = OPTIMUM \| O = 167 T = 582.57 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 239 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 595.75 \| (out)(err)	S = OPTIMUM \| O = 167 T = 347.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 = Time Out \| (out)(err)
maxcut-140-630-0.7-31.cnf	S = OPTIMUM \| O = 170 T = 365.13 \| (out)(err)	S = OPTIMUM \| O = 170 T = 364.90 \| (out)(err)	S = OPTIMUM \| O = 170 T = 704.03 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 254 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 170 T = 912.03 \| (out)(err)	S = OPTIMUM \| O = 170 T = 799.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 = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-32.cnf	S = OPTIMUM \| O = 164 T = 44.23 \| (out)(err)	S = OPTIMUM \| O = 164 T = 44.44 \| (out)(err)	S = OPTIMUM \| O = 164 T = 216.25 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 228 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 164 T = 225.21 \| (out)(err)	S = OPTIMUM \| O = 164 T = 191.46 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 464.51 \| (out)(err)
maxcut-140-630-0.7-33.cnf	S = OPTIMUM \| O = 165 T = 181.95 \| (out)(err)	S = OPTIMUM \| O = 165 T = 168.18 \| (out)(err)	S = OPTIMUM \| O = 165 T = 373.83 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 243 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 165 T = 408.72 \| (out)(err)	S = OPTIMUM \| O = 165 T = 554.23 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-34.cnf	S = OPTIMUM \| O = 168 T = 225.85 \| (out)(err)	S = OPTIMUM \| O = 168 T = 225.28 \| (out)(err)	S = OPTIMUM \| O = 168 T = 448.40 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 250 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 168 T = 565.81 \| (out)(err)	S = OPTIMUM \| O = 168 T = 609.36 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-35.cnf	S = OPTIMUM \| O = 164 T = 97.62 \| (out)(err)	S = OPTIMUM \| O = 164 T = 70.30 \| (out)(err)	S = OPTIMUM \| O = 164 T = 130.18 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 226 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 164 T = 120.35 \| (out)(err)	S = OPTIMUM \| O = 164 T = 287.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)
maxcut-140-630-0.7-36.cnf	S = OPTIMUM \| O = 167 T = 317.51 \| (out)(err)	S = OPTIMUM \| O = 167 T = 308.71 \| (out)(err)	S = OPTIMUM \| O = 167 T = 499.44 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 233 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 568.20 \| (out)(err)	S = OPTIMUM \| O = 167 T = 721.82 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-37.cnf	S = OPTIMUM \| O = 170 T = 496.54 \| (out)(err)	S = OPTIMUM \| O = 170 T = 495.68 \| (out)(err)	S = OPTIMUM \| O = 170 T = 984.47 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 245 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 170 T = 1299.59 \| (out)(err)	S = OPTIMUM \| O = 170 T = 1053.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)
maxcut-140-630-0.7-38.cnf	S = OPTIMUM \| O = 167 T = 605.96 \| (out)(err)	S = OPTIMUM \| O = 167 T = 606.04 \| (out)(err)	S = OPTIMUM \| O = 167 T = 798.30 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 245 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 968.43 \| (out)(err)	S = OPTIMUM \| O = 167 T = 1226.78 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-39.cnf	S = OPTIMUM \| O = 163 T = 131.04 \| (out)(err)	S = OPTIMUM \| O = 163 T = 127.38 \| (out)(err)	S = OPTIMUM \| O = 163 T = 336.13 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 253 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 163 T = 273.01 \| (out)(err)	S = OPTIMUM \| O = 163 T = 289.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 = Time Out \| (out)(err)
maxcut-140-630-0.7-4.cnf	S = OPTIMUM \| O = 167 T = 245.04 \| (out)(err)	S = OPTIMUM \| O = 167 T = 240.48 \| (out)(err)	S = OPTIMUM \| O = 167 T = 664.46 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 254 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 747.18 \| (out)(err)	S = OPTIMUM \| O = 167 T = 563.91 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-40.cnf	S = OPTIMUM \| O = 167 T = 428.75 \| (out)(err)	S = OPTIMUM \| O = 167 T = 386.36 \| (out)(err)	S = OPTIMUM \| O = 167 T = 950.14 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 241 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 906.28 \| (out)(err)	S = OPTIMUM \| O = 167 T = 1372.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 = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-41.cnf	S = OPTIMUM \| O = 161 T = 124.76 \| (out)(err)	S = OPTIMUM \| O = 161 T = 112.64 \| (out)(err)	S = OPTIMUM \| O = 161 T = 137.70 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 236 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 161 T = 180.50 \| (out)(err)	S = OPTIMUM \| O = 161 T = 273.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)
maxcut-140-630-0.7-42.cnf	S = OPTIMUM \| O = 161 T = 21.01 \| (out)(err)	S = OPTIMUM \| O = 161 T = 21.10 \| (out)(err)	S = OPTIMUM \| O = 161 T = 141.29 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 231 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 161 T = 132.07 \| (out)(err)	S = OPTIMUM \| O = 161 T = 63.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)
maxcut-140-630-0.7-43.cnf	S = OPTIMUM \| O = 164 T = 113.32 \| (out)(err)	S = OPTIMUM \| O = 164 T = 115.46 \| (out)(err)	S = OPTIMUM \| O = 164 T = 424.69 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 231 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 164 T = 237.52 \| (out)(err)	S = OPTIMUM \| O = 164 T = 235.20 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-44.cnf	S = OPTIMUM \| O = 163 T = 113.43 \| (out)(err)	S = OPTIMUM \| O = 163 T = 97.35 \| (out)(err)	S = OPTIMUM \| O = 163 T = 297.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 250 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 163 T = 248.54 \| (out)(err)	S = OPTIMUM \| O = 163 T = 287.25 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-45.cnf	S = OPTIMUM \| O = 168 T = 208.95 \| (out)(err)	S = OPTIMUM \| O = 168 T = 195.74 \| (out)(err)	S = OPTIMUM \| O = 168 T = 514.97 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 252 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 168 T = 583.49 \| (out)(err)	S = OPTIMUM \| O = 168 T = 590.48 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-46.cnf	S = OPTIMUM \| O = 168 T = 234.83 \| (out)(err)	S = OPTIMUM \| O = 168 T = 231.20 \| (out)(err)	S = OPTIMUM \| O = 168 T = 512.16 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 241 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 168 T = 621.57 \| (out)(err)	S = OPTIMUM \| O = 168 T = 560.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)
maxcut-140-630-0.7-47.cnf	S = OPTIMUM \| O = 160 T = 42.44 \| (out)(err)	S = OPTIMUM \| O = 160 T = 41.61 \| (out)(err)	S = OPTIMUM \| O = 160 T = 162.50 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 238 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 160 T = 108.26 \| (out)(err)	S = OPTIMUM \| O = 160 T = 149.87 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-48.cnf	S = OPTIMUM \| O = 168 T = 174.28 \| (out)(err)	S = OPTIMUM \| O = 168 T = 174.49 \| (out)(err)	S = OPTIMUM \| O = 168 T = 380.26 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 243 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 168 T = 440.07 \| (out)(err)	S = OPTIMUM \| O = 168 T = 395.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)
maxcut-140-630-0.7-49.cnf	S = OPTIMUM \| O = 164 T = 224.45 \| (out)(err)	S = OPTIMUM \| O = 164 T = 158.14 \| (out)(err)	S = OPTIMUM \| O = 164 T = 422.94 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 247 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 164 T = 383.09 \| (out)(err)	S = OPTIMUM \| O = 164 T = 251.45 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-5.cnf	S = OPTIMUM \| O = 164 T = 224.81 \| (out)(err)	S = OPTIMUM \| O = 164 T = 229.78 \| (out)(err)	S = OPTIMUM \| O = 164 T = 719.87 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 229 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 164 T = 444.08 \| (out)(err)	S = OPTIMUM \| O = 164 T = 614.16 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-50.cnf	S = OPTIMUM \| O = 167 T = 147.96 \| (out)(err)	S = OPTIMUM \| O = 167 T = 147.47 \| (out)(err)	S = OPTIMUM \| O = 167 T = 439.75 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 229 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 469.13 \| (out)(err)	S = OPTIMUM \| O = 167 T = 286.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)
maxcut-140-630-0.7-6.cnf	S = OPTIMUM \| O = 162 T = 59.12 \| (out)(err)	S = OPTIMUM \| O = 162 T = 59.19 \| (out)(err)	S = OPTIMUM \| O = 162 T = 158.04 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 242 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 162 T = 139.48 \| (out)(err)	S = OPTIMUM \| O = 162 T = 158.60 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-7.cnf	S = OPTIMUM \| O = 164 T = 195.05 \| (out)(err)	S = OPTIMUM \| O = 164 T = 194.52 \| (out)(err)	S = OPTIMUM \| O = 164 T = 463.82 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 247 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 164 T = 449.53 \| (out)(err)	S = OPTIMUM \| O = 164 T = 432.41 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.7-8.cnf	S = OPTIMUM \| O = 165 T = 279.33 \| (out)(err)	S = OPTIMUM \| O = 165 T = 276.99 \| (out)(err)	S = OPTIMUM \| O = 165 T = 372.58 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 247 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 165 T = 382.62 \| (out)(err)	S = OPTIMUM \| O = 165 T = 947.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 = 449.54 \| (out)(err)
maxcut-140-630-0.7-9.cnf	S = OPTIMUM \| O = 166 T = 225.09 \| (out)(err)	S = OPTIMUM \| O = 166 T = 223.22 \| (out)(err)	S = OPTIMUM \| O = 166 T = 570.80 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 235 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 166 T = 561.41 \| (out)(err)	S = OPTIMUM \| O = 166 T = 502.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 = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-1.cnf	S = OPTIMUM \| O = 165 T = 108.36 \| (out)(err)	S = OPTIMUM \| O = 165 T = 106.15 \| (out)(err)	S = OPTIMUM \| O = 165 T = 419.63 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 251 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 165 T = 468.44 \| (out)(err)	S = OPTIMUM \| O = 165 T = 531.43 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-10.cnf	S = OPTIMUM \| O = 168 T = 483.38 \| (out)(err)	S = OPTIMUM \| O = 168 T = 475.39 \| (out)(err)	S = OPTIMUM \| O = 168 T = 1389.53 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 247 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 168 T = 766.36 \| (out)(err)	S = OPTIMUM \| O = 168 T = 1243.89 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 356.96 \| (out)(err)
maxcut-140-630-0.8-11.cnf	S = OPTIMUM \| O = 168 T = 321.92 \| (out)(err)	S = OPTIMUM \| O = 168 T = 319.19 \| (out)(err)	S = OPTIMUM \| O = 168 T = 610.53 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 237 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 168 T = 687.71 \| (out)(err)	S = OPTIMUM \| O = 168 T = 881.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)
maxcut-140-630-0.8-12.cnf	S = OPTIMUM \| O = 165 T = 125.72 \| (out)(err)	S = OPTIMUM \| O = 165 T = 127.32 \| (out)(err)	S = OPTIMUM \| O = 165 T = 172.57 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 231 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 165 T = 221.77 \| (out)(err)	S = OPTIMUM \| O = 165 T = 274.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)
maxcut-140-630-0.8-13.cnf	S = OPTIMUM \| O = 167 T = 241.33 \| (out)(err)	S = OPTIMUM \| O = 167 T = 243.60 \| (out)(err)	S = OPTIMUM \| O = 167 T = 404.47 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 249 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 508.96 \| (out)(err)	S = OPTIMUM \| O = 167 T = 746.45 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-14.cnf	S = OPTIMUM \| O = 164 T = 148.49 \| (out)(err)	S = OPTIMUM \| O = 164 T = 136.83 \| (out)(err)	S = OPTIMUM \| O = 164 T = 353.57 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 227 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 164 T = 379.15 \| (out)(err)	S = OPTIMUM \| O = 164 T = 381.88 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-15.cnf	S = OPTIMUM \| O = 166 T = 186.25 \| (out)(err)	S = OPTIMUM \| O = 166 T = 192.20 \| (out)(err)	S = OPTIMUM \| O = 166 T = 302.31 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 227 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 166 T = 371.66 \| (out)(err)	S = OPTIMUM \| O = 166 T = 498.03 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-16.cnf	S = OPTIMUM \| O = 163 T = 87.01 \| (out)(err)	S = OPTIMUM \| O = 163 T = 87.44 \| (out)(err)	S = OPTIMUM \| O = 163 T = 184.33 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 228 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 163 T = 177.63 \| (out)(err)	S = OPTIMUM \| O = 163 T = 216.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 = 357.29 \| (out)(err)
maxcut-140-630-0.8-17.cnf	S = OPTIMUM \| O = 168 T = 184.49 \| (out)(err)	S = OPTIMUM \| O = 168 T = 157.74 \| (out)(err)	S = OPTIMUM \| O = 168 T = 290.75 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 246 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 168 T = 416.76 \| (out)(err)	S = OPTIMUM \| O = 168 T = 419.08 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-18.cnf	S = OPTIMUM \| O = 163 T = 208.17 \| (out)(err)	S = OPTIMUM \| O = 163 T = 208.87 \| (out)(err)	S = OPTIMUM \| O = 163 T = 421.87 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 242 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 163 T = 328.85 \| (out)(err)	S = OPTIMUM \| O = 163 T = 589.10 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-19.cnf	S = OPTIMUM \| O = 164 T = 61.96 \| (out)(err)	S = OPTIMUM \| O = 164 T = 58.57 \| (out)(err)	S = OPTIMUM \| O = 164 T = 147.06 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 247 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 164 T = 156.42 \| (out)(err)	S = OPTIMUM \| O = 164 T = 136.92 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-2.cnf	S = OPTIMUM \| O = 162 T = 38.98 \| (out)(err)	S = OPTIMUM \| O = 162 T = 40.57 \| (out)(err)	S = OPTIMUM \| O = 162 T = 164.59 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 255 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 162 T = 193.72 \| (out)(err)	S = OPTIMUM \| O = 162 T = 158.66 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-20.cnf	S = OPTIMUM \| O = 165 T = 140.44 \| (out)(err)	S = OPTIMUM \| O = 165 T = 130.39 \| (out)(err)	S = OPTIMUM \| O = 165 T = 260.48 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 246 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 165 T = 312.01 \| (out)(err)	S = OPTIMUM \| O = 165 T = 444.17 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-21.cnf	S = OPTIMUM \| O = 167 T = 69.73 \| (out)(err)	S = OPTIMUM \| O = 167 T = 64.24 \| (out)(err)	S = OPTIMUM \| O = 167 T = 231.51 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 237 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 206.59 \| (out)(err)	S = OPTIMUM \| O = 167 T = 226.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)	S = N/A \| O = N/A T = 357.11 \| (out)(err)
maxcut-140-630-0.8-22.cnf	S = OPTIMUM \| O = 170 T = 173.80 \| (out)(err)	S = OPTIMUM \| O = 170 T = 187.82 \| (out)(err)	S = OPTIMUM \| O = 170 T = 308.74 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 247 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 170 T = 460.53 \| (out)(err)	S = OPTIMUM \| O = 170 T = 419.13 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-23.cnf	S = OPTIMUM \| O = 167 T = 508.05 \| (out)(err)	S = OPTIMUM \| O = 167 T = 510.86 \| (out)(err)	S = OPTIMUM \| O = 167 T = 627.58 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 242 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 754.90 \| (out)(err)	S = OPTIMUM \| O = 167 T = 1541.55 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-24.cnf	S = OPTIMUM \| O = 165 T = 292.79 \| (out)(err)	S = OPTIMUM \| O = 165 T = 293.06 \| (out)(err)	S = OPTIMUM \| O = 165 T = 440.55 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 226 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 165 T = 377.47 \| (out)(err)	S = OPTIMUM \| O = 165 T = 937.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 = 406.79 \| (out)(err)
maxcut-140-630-0.8-25.cnf	S = OPTIMUM \| O = 165 T = 197.66 \| (out)(err)	S = OPTIMUM \| O = 165 T = 181.50 \| (out)(err)	S = OPTIMUM \| O = 165 T = 303.18 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 219 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 165 T = 366.69 \| (out)(err)	S = OPTIMUM \| O = 165 T = 509.26 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-26.cnf	S = OPTIMUM \| O = 167 T = 102.60 \| (out)(err)	S = OPTIMUM \| O = 167 T = 95.77 \| (out)(err)	S = OPTIMUM \| O = 167 T = 212.58 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 246 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 243.59 \| (out)(err)	S = OPTIMUM \| O = 167 T = 222.03 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-27.cnf	S = OPTIMUM \| O = 168 T = 314.63 \| (out)(err)	S = OPTIMUM \| O = 168 T = 294.77 \| (out)(err)	S = OPTIMUM \| O = 168 T = 298.10 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 222 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 168 T = 339.45 \| (out)(err)	S = OPTIMUM \| O = 168 T = 550.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)
maxcut-140-630-0.8-28.cnf	S = OPTIMUM \| O = 168 T = 251.64 \| (out)(err)	S = OPTIMUM \| O = 168 T = 250.90 \| (out)(err)	S = OPTIMUM \| O = 168 T = 367.69 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 241 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 168 T = 429.76 \| (out)(err)	S = OPTIMUM \| O = 168 T = 579.48 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 388.90 \| (out)(err)
maxcut-140-630-0.8-29.cnf	S = OPTIMUM \| O = 167 T = 123.67 \| (out)(err)	S = OPTIMUM \| O = 167 T = 120.59 \| (out)(err)	S = OPTIMUM \| O = 167 T = 611.36 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 230 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 763.14 \| (out)(err)	S = OPTIMUM \| O = 167 T = 329.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 = 569.94 \| (out)(err)
maxcut-140-630-0.8-3.cnf	S = OPTIMUM \| O = 165 T = 41.99 \| (out)(err)	S = OPTIMUM \| O = 165 T = 41.27 \| (out)(err)	S = OPTIMUM \| O = 165 T = 147.25 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 242 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 165 T = 149.32 \| (out)(err)	S = OPTIMUM \| O = 165 T = 119.07 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-30.cnf	S = OPTIMUM \| O = 167 T = 147.20 \| (out)(err)	S = OPTIMUM \| O = 167 T = 143.96 \| (out)(err)	S = OPTIMUM \| O = 167 T = 587.79 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 265 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 294.18 \| (out)(err)	S = OPTIMUM \| O = 167 T = 332.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)
maxcut-140-630-0.8-31.cnf	S = OPTIMUM \| O = 165 T = 60.10 \| (out)(err)	S = OPTIMUM \| O = 165 T = 60.35 \| (out)(err)	S = OPTIMUM \| O = 165 T = 175.39 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 245 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 165 T = 165.04 \| (out)(err)	S = OPTIMUM \| O = 165 T = 346.98 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-32.cnf	S = OPTIMUM \| O = 164 T = 48.70 \| (out)(err)	S = OPTIMUM \| O = 164 T = 42.65 \| (out)(err)	S = OPTIMUM \| O = 164 T = 144.93 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 249 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 164 T = 153.55 \| (out)(err)	S = OPTIMUM \| O = 164 T = 79.50 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-33.cnf	S = OPTIMUM \| O = 163 T = 60.30 \| (out)(err)	S = OPTIMUM \| O = 163 T = 60.34 \| (out)(err)	S = OPTIMUM \| O = 163 T = 134.83 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 224 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 163 T = 124.21 \| (out)(err)	S = OPTIMUM \| O = 163 T = 143.50 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-34.cnf	S = OPTIMUM \| O = 163 T = 198.59 \| (out)(err)	S = OPTIMUM \| O = 163 T = 197.82 \| (out)(err)	S = OPTIMUM \| O = 163 T = 279.64 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 245 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 163 T = 208.83 \| (out)(err)	S = OPTIMUM \| O = 163 T = 427.33 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 365.64 \| (out)(err)
maxcut-140-630-0.8-35.cnf	S = OPTIMUM \| O = 165 T = 133.59 \| (out)(err)	S = OPTIMUM \| O = 165 T = 132.26 \| (out)(err)	S = OPTIMUM \| O = 165 T = 202.27 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 226 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 165 T = 235.28 \| (out)(err)	S = OPTIMUM \| O = 165 T = 283.11 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-36.cnf	S = OPTIMUM \| O = 165 T = 115.36 \| (out)(err)	S = OPTIMUM \| O = 165 T = 114.92 \| (out)(err)	S = OPTIMUM \| O = 165 T = 241.19 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 234 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 165 T = 254.18 \| (out)(err)	S = OPTIMUM \| O = 165 T = 344.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)
maxcut-140-630-0.8-37.cnf	S = OPTIMUM \| O = 167 T = 139.66 \| (out)(err)	S = OPTIMUM \| O = 167 T = 139.43 \| (out)(err)	S = OPTIMUM \| O = 167 T = 189.57 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 225 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 248.68 \| (out)(err)	S = OPTIMUM \| O = 167 T = 283.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)
maxcut-140-630-0.8-38.cnf	S = OPTIMUM \| O = 160 T = 33.52 \| (out)(err)	S = OPTIMUM \| O = 160 T = 26.15 \| (out)(err)	S = OPTIMUM \| O = 160 T = 165.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 246 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 160 T = 154.37 \| (out)(err)	S = OPTIMUM \| O = 160 T = 114.36 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-39.cnf	S = OPTIMUM \| O = 169 T = 182.62 \| (out)(err)	S = OPTIMUM \| O = 169 T = 182.51 \| (out)(err)	S = OPTIMUM \| O = 169 T = 449.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 229 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 169 T = 514.34 \| (out)(err)	S = OPTIMUM \| O = 169 T = 460.48 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-4.cnf	S = OPTIMUM \| O = 165 T = 90.61 \| (out)(err)	S = OPTIMUM \| O = 165 T = 106.31 \| (out)(err)	S = OPTIMUM \| O = 165 T = 235.65 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 255 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 165 T = 207.18 \| (out)(err)	S = OPTIMUM \| O = 165 T = 173.36 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-40.cnf	S = OPTIMUM \| O = 161 T = 59.16 \| (out)(err)	S = OPTIMUM \| O = 161 T = 50.46 \| (out)(err)	S = OPTIMUM \| O = 161 T = 190.35 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 225 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 161 T = 200.68 \| (out)(err)	S = OPTIMUM \| O = 161 T = 141.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 = 350.34 \| (out)(err)
maxcut-140-630-0.8-41.cnf	S = OPTIMUM \| O = 163 T = 74.89 \| (out)(err)	S = OPTIMUM \| O = 163 T = 75.03 \| (out)(err)	S = OPTIMUM \| O = 163 T = 191.61 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 236 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 163 T = 241.06 \| (out)(err)	S = OPTIMUM \| O = 163 T = 335.13 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-42.cnf	S = OPTIMUM \| O = 164 T = 86.15 \| (out)(err)	S = OPTIMUM \| O = 164 T = 86.00 \| (out)(err)	S = OPTIMUM \| O = 164 T = 122.20 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 244 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 164 T = 139.06 \| (out)(err)	S = OPTIMUM \| O = 164 T = 195.84 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-43.cnf	S = OPTIMUM \| O = 165 T = 108.41 \| (out)(err)	S = OPTIMUM \| O = 165 T = 105.90 \| (out)(err)	S = OPTIMUM \| O = 165 T = 230.01 \| (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 = 165 T = 258.17 \| (out)(err)	S = OPTIMUM \| O = 165 T = 275.19 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-44.cnf	S = OPTIMUM \| O = 160 T = 35.16 \| (out)(err)	S = OPTIMUM \| O = 160 T = 18.45 \| (out)(err)	S = OPTIMUM \| O = 160 T = 71.32 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 229 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 160 T = 78.62 \| (out)(err)	S = OPTIMUM \| O = 160 T = 89.20 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-45.cnf	S = OPTIMUM \| O = 165 T = 25.90 \| (out)(err)	S = OPTIMUM \| O = 165 T = 25.13 \| (out)(err)	S = OPTIMUM \| O = 165 T = 83.57 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 232 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 165 T = 96.24 \| (out)(err)	S = OPTIMUM \| O = 165 T = 72.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)
maxcut-140-630-0.8-46.cnf	S = OPTIMUM \| O = 162 T = 144.84 \| (out)(err)	S = OPTIMUM \| O = 162 T = 130.73 \| (out)(err)	S = OPTIMUM \| O = 162 T = 192.42 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 228 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 162 T = 240.32 \| (out)(err)	S = OPTIMUM \| O = 162 T = 307.17 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-47.cnf	S = OPTIMUM \| O = 164 T = 150.32 \| (out)(err)	S = OPTIMUM \| O = 164 T = 148.29 \| (out)(err)	S = OPTIMUM \| O = 164 T = 326.77 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 243 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 164 T = 335.48 \| (out)(err)	S = OPTIMUM \| O = 164 T = 369.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)
maxcut-140-630-0.8-48.cnf	S = OPTIMUM \| O = 164 T = 119.39 \| (out)(err)	S = OPTIMUM \| O = 164 T = 119.52 \| (out)(err)	S = OPTIMUM \| O = 164 T = 279.82 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 242 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 164 T = 277.18 \| (out)(err)	S = OPTIMUM \| O = 164 T = 239.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 610.44 \| (out)(err)
maxcut-140-630-0.8-49.cnf	S = OPTIMUM \| O = 166 T = 112.88 \| (out)(err)	S = OPTIMUM \| O = 166 T = 112.87 \| (out)(err)	S = OPTIMUM \| O = 166 T = 201.47 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 248 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 166 T = 234.45 \| (out)(err)	S = OPTIMUM \| O = 166 T = 357.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)
maxcut-140-630-0.8-5.cnf	S = OPTIMUM \| O = 164 T = 230.76 \| (out)(err)	S = OPTIMUM \| O = 164 T = 213.78 \| (out)(err)	S = OPTIMUM \| O = 164 T = 325.83 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 237 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 164 T = 402.70 \| (out)(err)	S = OPTIMUM \| O = 164 T = 802.98 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-50.cnf	S = OPTIMUM \| O = 165 T = 95.37 \| (out)(err)	S = OPTIMUM \| O = 165 T = 83.36 \| (out)(err)	S = OPTIMUM \| O = 165 T = 284.27 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 256 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 165 T = 357.90 \| (out)(err)	S = OPTIMUM \| O = 165 T = 267.82 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
maxcut-140-630-0.8-6.cnf	S = OPTIMUM \| O = 169 T = 624.58 \| (out)(err)	S = OPTIMUM \| O = 169 T = 620.86 \| (out)(err)	S = OPTIMUM \| O = 169 T = 833.46 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 242 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 169 T = 1301.77 \| (out)(err)	S = OPTIMUM \| O = 169 T = 1605.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)
maxcut-140-630-0.8-7.cnf	S = OPTIMUM \| O = 166 T = 214.50 \| (out)(err)	S = OPTIMUM \| O = 166 T = 214.58 \| (out)(err)	S = OPTIMUM \| O = 166 T = 328.66 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 226 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 166 T = 427.00 \| (out)(err)	S = OPTIMUM \| O = 166 T = 382.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)
maxcut-140-630-0.8-8.cnf	S = OPTIMUM \| O = 167 T = 167.78 \| (out)(err)	S = OPTIMUM \| O = 167 T = 161.80 \| (out)(err)	S = OPTIMUM \| O = 167 T = 402.52 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 238 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 167 T = 478.16 \| (out)(err)	S = OPTIMUM \| O = 167 T = 533.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)
maxcut-140-630-0.8-9.cnf	S = OPTIMUM \| O = 165 T = 113.86 \| (out)(err)	S = OPTIMUM \| O = 165 T = 111.27 \| (out)(err)	S = OPTIMUM \| O = 165 T = 134.28 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 236 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 165 T = 139.25 \| (out)(err)	S = OPTIMUM \| O = 165 T = 227.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)