Benchmark

Label	Meaning
S	Solution {OPTIMUM FOUND or OPT \| UNSATISFIABLE or UNSAT \| UNKNOWN \| Not available or N/A}
O	Best solution found
T	CPU time (TO for Time Out)
(out)(err)	Standard output and standard error for each solver

Color	Meaning
Text	Best solver column
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	Best solver	PM2	QMaxSat-g2-ms	Sat4j	ShinMaxSat	WMaxSatz+	WMaxSatz09	WPM1	akmaxsat	akmaxsat_ls	iut_rr_ls	iut_rr_rv	wbo1.6-cnf
maxcut-140-630-0.7-1.cnf	S = OPT O = 160 T = 29.72	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 231 T = TO (out)(err)	S = N/A O = 233 T = 678.14 (out)(err)	S = OPT O = 160 T = 132.60 (out)(err)	S = OPT O = 160 T = 119.49 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 160 T = 76.52 (out)(err)	S = OPT O = 160 T = 29.72 (out)(err)	S = OPT O = 160 T = 35.46 (out)(err)	S = OPT O = 160 T = 34.05 (out)(err)	S = N/A O = N/A T = 1800.00 (out)(err)
maxcut-140-630-0.7-10.cnf	S = OPT O = 167 T = 270.42	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 247 T = TO (out)(err)	S = N/A O = 221 T = TO (out)(err)	S = OPT O = 167 T = 706.97 (out)(err)	S = OPT O = 167 T = 646.02 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 167 T = 296.31 (out)(err)	S = OPT O = 167 T = 270.42 (out)(err)	S = OPT O = 167 T = 314.76 (out)(err)	S = OPT O = 167 T = 318.52 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.7-11.cnf	S = OPT O = 170 T = 940.43	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 261 T = TO (out)(err)	S = N/A O = 216 T = 993.45 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 170 T = 990.54 (out)(err)	S = OPT O = 170 T = 940.43 (out)(err)	S = OPT O = 170 T = 1183.67 (out)(err)	S = OPT O = 170 T = 1118.65 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.7-12.cnf	S = OPT O = 167 T = 64.50	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 243 T = TO (out)(err)	S = N/A O = 224 T = TO (out)(err)	S = OPT O = 167 T = 350.30 (out)(err)	S = OPT O = 167 T = 317.47 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 167 T = 78.58 (out)(err)	S = OPT O = 167 T = 64.50 (out)(err)	S = OPT O = 167 T = 77.39 (out)(err)	S = OPT O = 167 T = 74.44 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.7-13.cnf	S = OPT O = 169 T = 378.68	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 243 T = TO (out)(err)	S = N/A O = 228 T = 1346.17 (out)(err)	S = OPT O = 169 T = 1019.84 (out)(err)	S = OPT O = 169 T = 900.76 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 169 T = 471.65 (out)(err)	S = OPT O = 169 T = 378.68 (out)(err)	S = OPT O = 169 T = 462.37 (out)(err)	S = OPT O = 169 T = 437.81 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.7-14.cnf	S = OPT O = 166 T = 144.73	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 241 T = TO (out)(err)	S = N/A O = 233 T = TO (out)(err)	S = OPT O = 166 T = 383.34 (out)(err)	S = OPT O = 166 T = 342.79 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 166 T = 172.06 (out)(err)	S = OPT O = 166 T = 144.73 (out)(err)	S = OPT O = 166 T = 185.70 (out)(err)	S = OPT O = 166 T = 166.27 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.7-15.cnf	S = OPT O = 169 T = 346.44	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 248 T = TO (out)(err)	S = N/A O = 225 T = TO (out)(err)	S = OPT O = 169 T = 896.10 (out)(err)	S = OPT O = 169 T = 813.61 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 169 T = 516.71 (out)(err)	S = OPT O = 169 T = 346.44 (out)(err)	S = OPT O = 169 T = 433.01 (out)(err)	S = OPT O = 169 T = 408.15 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.7-16.cnf	S = OPT O = 167 T = 139.83	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 253 T = TO (out)(err)	S = N/A O = 219 T = 992.94 (out)(err)	S = OPT O = 167 T = 338.50 (out)(err)	S = OPT O = 167 T = 306.37 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 167 T = 184.75 (out)(err)	S = OPT O = 167 T = 139.83 (out)(err)	S = OPT O = 167 T = 168.31 (out)(err)	S = OPT O = 167 T = 162.91 (out)(err)	S = N/A O = N/A T = 1800.00 (out)(err)
maxcut-140-630-0.7-17.cnf	S = OPT O = 166 T = 84.49	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 252 T = TO (out)(err)	S = N/A O = 233 T = 850.49 (out)(err)	S = OPT O = 166 T = 300.72 (out)(err)	S = OPT O = 166 T = 270.55 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 166 T = 101.47 (out)(err)	S = OPT O = 166 T = 84.49 (out)(err)	S = OPT O = 166 T = 101.20 (out)(err)	S = OPT O = 166 T = 101.46 (out)(err)	S = N/A O = N/A T = 1800.00 (out)(err)
maxcut-140-630-0.7-18.cnf	S = OPT O = 166 T = 170.78	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 250 T = TO (out)(err)	S = N/A O = 228 T = 984.76 (out)(err)	S = OPT O = 166 T = 562.15 (out)(err)	S = OPT O = 166 T = 506.81 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 166 T = 269.54 (out)(err)	S = OPT O = 166 T = 170.78 (out)(err)	S = OPT O = 166 T = 206.83 (out)(err)	S = OPT O = 166 T = 198.78 (out)(err)	S = N/A O = N/A T = 1800.00 (out)(err)
maxcut-140-630-0.7-19.cnf	S = OPT O = 167 T = 78.29	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 239 T = TO (out)(err)	S = N/A O = 226 T = TO (out)(err)	S = OPT O = 167 T = 441.43 (out)(err)	S = OPT O = 167 T = 391.78 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 167 T = 90.96 (out)(err)	S = OPT O = 167 T = 78.29 (out)(err)	S = OPT O = 167 T = 95.55 (out)(err)	S = OPT O = 167 T = 93.59 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.7-2.cnf	S = OPT O = 160 T = 34.76	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 245 T = TO (out)(err)	S = N/A O = 230 T = 812.38 (out)(err)	S = OPT O = 160 T = 89.66 (out)(err)	S = OPT O = 160 T = 84.07 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 160 T = 60.05 (out)(err)	S = OPT O = 160 T = 34.76 (out)(err)	S = OPT O = 160 T = 42.00 (out)(err)	S = OPT O = 160 T = 40.30 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.7-20.cnf	S = OPT O = 168 T = 91.85	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 239 T = TO (out)(err)	S = N/A O = 223 T = 1420.92 (out)(err)	S = OPT O = 168 T = 283.90 (out)(err)	S = OPT O = 168 T = 255.66 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 168 T = 175.19 (out)(err)	S = OPT O = 168 T = 91.85 (out)(err)	S = OPT O = 168 T = 110.41 (out)(err)	S = OPT O = 168 T = 110.05 (out)(err)	S = N/A O = N/A T = 1800.00 (out)(err)
maxcut-140-630-0.7-21.cnf	S = OPT O = 165 T = 148.90	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 238 T = TO (out)(err)	S = N/A O = 224 T = 950.89 (out)(err)	S = OPT O = 165 T = 604.49 (out)(err)	S = OPT O = 165 T = 548.29 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 165 T = 249.62 (out)(err)	S = OPT O = 165 T = 148.90 (out)(err)	S = OPT O = 165 T = 180.13 (out)(err)	S = OPT O = 165 T = 171.94 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.7-22.cnf	S = OPT O = 164 T = 23.53	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 249 T = TO (out)(err)	S = N/A O = 227 T = TO (out)(err)	S = OPT O = 164 T = 170.24 (out)(err)	S = OPT O = 164 T = 153.37 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 164 T = 40.65 (out)(err)	S = OPT O = 164 T = 23.53 (out)(err)	S = OPT O = 164 T = 27.83 (out)(err)	S = OPT O = 164 T = 26.81 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.7-23.cnf	S = OPT O = 165 T = 90.32	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 239 T = TO (out)(err)	S = N/A O = 222 T = TO (out)(err)	S = OPT O = 165 T = 321.09 (out)(err)	S = OPT O = 165 T = 292.88 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 165 T = 112.53 (out)(err)	S = OPT O = 165 T = 90.32 (out)(err)	S = OPT O = 165 T = 109.51 (out)(err)	S = OPT O = 165 T = 102.87 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.7-24.cnf	S = OPT O = 166 T = 92.58	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 241 T = TO (out)(err)	S = N/A O = 232 T = 754.06 (out)(err)	S = OPT O = 166 T = 423.59 (out)(err)	S = OPT O = 166 T = 225.96 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 166 T = 213.14 (out)(err)	S = OPT O = 166 T = 92.58 (out)(err)	S = OPT O = 166 T = 115.82 (out)(err)	S = OPT O = 166 T = 108.95 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.7-25.cnf	S = OPT O = 167 T = 130.33	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 252 T = TO (out)(err)	S = N/A O = 229 T = 1333.04 (out)(err)	S = OPT O = 167 T = 545.77 (out)(err)	S = OPT O = 167 T = 496.56 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 167 T = 165.03 (out)(err)	S = OPT O = 167 T = 130.33 (out)(err)	S = OPT O = 167 T = 160.06 (out)(err)	S = OPT O = 167 T = 152.70 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.7-26.cnf	S = OPT O = 166 T = 121.92	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 261 T = TO (out)(err)	S = N/A O = 231 T = 810.85 (out)(err)	S = OPT O = 166 T = 308.37 (out)(err)	S = OPT O = 166 T = 279.71 (out)(err)	S = N/A O = N/A T = 126.94 (out)(err)	S = OPT O = 166 T = 146.72 (out)(err)	S = OPT O = 166 T = 121.92 (out)(err)	S = OPT O = 166 T = 141.81 (out)(err)	S = OPT O = 166 T = 139.56 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.7-27.cnf	S = OPT O = 165 T = 101.26	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 226 T = TO (out)(err)	S = N/A O = 232 T = 820.20 (out)(err)	S = OPT O = 165 T = 419.90 (out)(err)	S = OPT O = 165 T = 370.96 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 165 T = 108.20 (out)(err)	S = OPT O = 165 T = 101.26 (out)(err)	S = OPT O = 165 T = 121.61 (out)(err)	S = OPT O = 165 T = 117.65 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.7-28.cnf	S = OPT O = 167 T = 95.62	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 256 T = TO (out)(err)	S = N/A O = 226 T = 1022.23 (out)(err)	S = OPT O = 167 T = 269.14 (out)(err)	S = OPT O = 167 T = 239.05 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 167 T = 134.26 (out)(err)	S = OPT O = 167 T = 95.62 (out)(err)	S = OPT O = 167 T = 113.22 (out)(err)	S = OPT O = 167 T = 113.65 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.7-29.cnf	S = OPT O = 166 T = 268.48	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 242 T = TO (out)(err)	S = N/A O = 225 T = 1330.59 (out)(err)	S = OPT O = 166 T = 956.24 (out)(err)	S = OPT O = 166 T = 881.65 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 166 T = 427.90 (out)(err)	S = OPT O = 166 T = 268.48 (out)(err)	S = OPT O = 166 T = 315.70 (out)(err)	S = OPT O = 166 T = 306.76 (out)(err)	S = N/A O = N/A T = 1800.00 (out)(err)
maxcut-140-630-0.7-3.cnf	S = OPT O = 168 T = 234.42	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 256 T = TO (out)(err)	S = N/A O = 231 T = 594.06 (out)(err)	S = OPT O = 168 T = 780.75 (out)(err)	S = OPT O = 168 T = 700.72 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 168 T = 272.20 (out)(err)	S = OPT O = 168 T = 234.42 (out)(err)	S = OPT O = 168 T = 286.39 (out)(err)	S = OPT O = 168 T = 272.10 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.7-30.cnf	S = OPT O = 167 T = 159.50	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 233 T = TO (out)(err)	S = N/A O = 226 T = 1130.23 (out)(err)	S = OPT O = 167 T = 356.32 (out)(err)	S = OPT O = 167 T = 322.51 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 167 T = 216.15 (out)(err)	S = OPT O = 167 T = 159.50 (out)(err)	S = OPT O = 167 T = 193.60 (out)(err)	S = OPT O = 167 T = 191.09 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.7-31.cnf	S = OPT O = 170 T = 319.73	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 253 T = TO (out)(err)	S = N/A O = 232 T = 809.87 (out)(err)	S = OPT O = 170 T = 818.59 (out)(err)	S = OPT O = 170 T = 740.43 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 170 T = 345.83 (out)(err)	S = OPT O = 170 T = 319.73 (out)(err)	S = OPT O = 170 T = 392.58 (out)(err)	S = OPT O = 170 T = 378.26 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.7-32.cnf	S = OPT O = 164 T = 75.70	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 239 T = TO (out)(err)	S = N/A O = 226 T = 1757.75 (out)(err)	S = OPT O = 164 T = 199.51 (out)(err)	S = OPT O = 164 T = 177.21 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 164 T = 133.37 (out)(err)	S = OPT O = 164 T = 75.70 (out)(err)	S = OPT O = 164 T = 90.88 (out)(err)	S = OPT O = 164 T = 87.47 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.7-33.cnf	S = OPT O = 165 T = 126.35	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 239 T = TO (out)(err)	S = N/A O = 231 T = 1490.50 (out)(err)	S = OPT O = 165 T = 575.40 (out)(err)	S = OPT O = 165 T = 512.06 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 165 T = 162.46 (out)(err)	S = OPT O = 165 T = 126.35 (out)(err)	S = OPT O = 165 T = 156.69 (out)(err)	S = OPT O = 165 T = 148.89 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.7-34.cnf	S = OPT O = 168 T = 242.31	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 245 T = TO (out)(err)	S = N/A O = 229 T = 858.54 (out)(err)	S = OPT O = 168 T = 615.46 (out)(err)	S = OPT O = 168 T = 568.40 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 168 T = 345.85 (out)(err)	S = OPT O = 168 T = 242.31 (out)(err)	S = OPT O = 168 T = 296.34 (out)(err)	S = OPT O = 168 T = 285.32 (out)(err)	S = N/A O = N/A T = 1800.00 (out)(err)
maxcut-140-630-0.7-35.cnf	S = OPT O = 164 T = 31.82	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 224 T = TO (out)(err)	S = N/A O = 224 T = TO (out)(err)	S = OPT O = 164 T = 294.89 (out)(err)	S = OPT O = 164 T = 268.29 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 164 T = 66.33 (out)(err)	S = OPT O = 164 T = 31.82 (out)(err)	S = OPT O = 164 T = 38.44 (out)(err)	S = OPT O = 164 T = 37.15 (out)(err)	S = N/A O = N/A T = 1800.00 (out)(err)
maxcut-140-630-0.7-36.cnf	S = OPT O = 167 T = 301.35	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 238 T = TO (out)(err)	S = N/A O = 230 T = 1627.98 (out)(err)	S = OPT O = 167 T = 1040.32 (out)(err)	S = OPT O = 167 T = 670.58 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 167 T = 430.26 (out)(err)	S = OPT O = 167 T = 301.35 (out)(err)	S = OPT O = 167 T = 358.49 (out)(err)	S = OPT O = 167 T = 353.36 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.7-37.cnf	S = OPT O = 170 T = 311.89	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 248 T = TO (out)(err)	S = N/A O = 231 T = 612.07 (out)(err)	S = OPT O = 170 T = 1088.64 (out)(err)	S = OPT O = 170 T = 981.27 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 170 T = 517.31 (out)(err)	S = OPT O = 170 T = 311.89 (out)(err)	S = OPT O = 170 T = 378.20 (out)(err)	S = OPT O = 170 T = 364.69 (out)(err)	S = N/A O = N/A T = 1800.00 (out)(err)
maxcut-140-630-0.7-38.cnf	S = OPT O = 167 T = 366.13	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 238 T = TO (out)(err)	S = N/A O = 228 T = 1484.10 (out)(err)	S = OPT O = 167 T = 1353.89 (out)(err)	S = OPT O = 167 T = 1140.01 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 167 T = 393.17 (out)(err)	S = OPT O = 167 T = 366.13 (out)(err)	S = OPT O = 167 T = 443.96 (out)(err)	S = OPT O = 167 T = 427.14 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.7-39.cnf	S = OPT O = 163 T = 84.00	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 255 T = TO (out)(err)	S = N/A O = 228 T = 1071.02 (out)(err)	S = OPT O = 163 T = 364.35 (out)(err)	S = OPT O = 163 T = 267.43 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 163 T = 138.52 (out)(err)	S = OPT O = 163 T = 84.00 (out)(err)	S = OPT O = 163 T = 103.84 (out)(err)	S = OPT O = 163 T = 99.68 (out)(err)	S = N/A O = N/A T = 1800.00 (out)(err)
maxcut-140-630-0.7-4.cnf	S = OPT O = 167 T = 282.79	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 250 T = TO (out)(err)	S = N/A O = 227 T = TO (out)(err)	S = OPT O = 167 T = 557.73 (out)(err)	S = OPT O = 167 T = 525.52 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 167 T = 304.19 (out)(err)	S = OPT O = 167 T = 282.79 (out)(err)	S = OPT O = 167 T = 351.99 (out)(err)	S = OPT O = 167 T = 330.48 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.7-40.cnf	S = OPT O = 167 T = 448.31	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 251 T = TO (out)(err)	S = N/A O = 226 T = 1528.31 (out)(err)	S = OPT O = 167 T = 1402.38 (out)(err)	S = OPT O = 167 T = 1273.33 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 167 T = 586.94 (out)(err)	S = OPT O = 167 T = 448.31 (out)(err)	S = OPT O = 167 T = 553.75 (out)(err)	S = OPT O = 167 T = 524.87 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.7-41.cnf	S = OPT O = 161 T = 50.90	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 254 T = TO (out)(err)	S = N/A O = 229 T = TO (out)(err)	S = OPT O = 161 T = 279.13 (out)(err)	S = OPT O = 161 T = 252.77 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 161 T = 74.23 (out)(err)	S = OPT O = 161 T = 50.90 (out)(err)	S = OPT O = 161 T = 56.51 (out)(err)	S = OPT O = 161 T = 58.56 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.7-42.cnf	S = OPT O = 161 T = 24.57	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 246 T = TO (out)(err)	S = N/A O = 216 T = TO (out)(err)	S = OPT O = 161 T = 66.32 (out)(err)	S = OPT O = 161 T = 59.30 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 161 T = 50.84 (out)(err)	S = OPT O = 161 T = 24.57 (out)(err)	S = OPT O = 161 T = 31.91 (out)(err)	S = OPT O = 161 T = 28.82 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.7-43.cnf	S = OPT O = 164 T = 94.01	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 222 T = TO (out)(err)	S = N/A O = 224 T = 947.79 (out)(err)	S = OPT O = 164 T = 239.23 (out)(err)	S = OPT O = 164 T = 217.10 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 164 T = 132.75 (out)(err)	S = OPT O = 164 T = 94.01 (out)(err)	S = OPT O = 164 T = 112.40 (out)(err)	S = OPT O = 164 T = 110.61 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.7-44.cnf	S = OPT O = 163 T = 68.23	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 246 T = TO (out)(err)	S = N/A O = 229 T = 1755.71 (out)(err)	S = OPT O = 163 T = 392.00 (out)(err)	S = OPT O = 163 T = 266.04 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 163 T = 113.68 (out)(err)	S = OPT O = 163 T = 68.23 (out)(err)	S = OPT O = 163 T = 80.77 (out)(err)	S = OPT O = 163 T = 78.03 (out)(err)	S = N/A O = N/A T = 1800.00 (out)(err)
maxcut-140-630-0.7-45.cnf	S = OPT O = 168 T = 165.48	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 262 T = TO (out)(err)	S = N/A O = 227 T = 851.62 (out)(err)	S = OPT O = 168 T = 603.09 (out)(err)	S = OPT O = 168 T = 548.05 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 168 T = 290.23 (out)(err)	S = OPT O = 168 T = 165.48 (out)(err)	S = OPT O = 168 T = 210.19 (out)(err)	S = OPT O = 168 T = 188.65 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.7-46.cnf	S = OPT O = 168 T = 225.24	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 260 T = TO (out)(err)	S = N/A O = 233 T = TO (out)(err)	S = OPT O = 168 T = 574.35 (out)(err)	S = OPT O = 168 T = 519.82 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 168 T = 266.94 (out)(err)	S = OPT O = 168 T = 225.24 (out)(err)	S = OPT O = 168 T = 270.58 (out)(err)	S = OPT O = 168 T = 260.05 (out)(err)	S = N/A O = N/A T = 1800.00 (out)(err)
maxcut-140-630-0.7-47.cnf	S = OPT O = 160 T = 25.53	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 224 T = TO (out)(err)	S = N/A O = 227 T = 803.65 (out)(err)	S = OPT O = 160 T = 155.29 (out)(err)	S = OPT O = 160 T = 138.50 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 160 T = 29.47 (out)(err)	S = OPT O = 160 T = 25.53 (out)(err)	S = OPT O = 160 T = 30.57 (out)(err)	S = OPT O = 160 T = 29.78 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.7-48.cnf	S = OPT O = 168 T = 125.77	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 245 T = TO (out)(err)	S = N/A O = 230 T = 1717.17 (out)(err)	S = OPT O = 168 T = 405.33 (out)(err)	S = OPT O = 168 T = 369.62 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 168 T = 175.35 (out)(err)	S = OPT O = 168 T = 125.77 (out)(err)	S = OPT O = 168 T = 148.17 (out)(err)	S = OPT O = 168 T = 146.68 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.7-49.cnf	S = OPT O = 164 T = 69.16	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 230 T = TO (out)(err)	S = N/A O = 226 T = 1104.77 (out)(err)	S = OPT O = 164 T = 257.96 (out)(err)	S = OPT O = 164 T = 233.84 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 164 T = 119.45 (out)(err)	S = OPT O = 164 T = 69.16 (out)(err)	S = OPT O = 164 T = 83.55 (out)(err)	S = OPT O = 164 T = 82.18 (out)(err)	S = N/A O = N/A T = 1800.00 (out)(err)
maxcut-140-630-0.7-5.cnf	S = OPT O = 164 T = 147.70	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 250 T = TO (out)(err)	S = N/A O = 222 T = TO (out)(err)	S = OPT O = 164 T = 639.39 (out)(err)	S = OPT O = 164 T = 570.41 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 164 T = 205.48 (out)(err)	S = OPT O = 164 T = 147.70 (out)(err)	S = OPT O = 164 T = 178.51 (out)(err)	S = OPT O = 164 T = 170.67 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.7-50.cnf	S = OPT O = 167 T = 104.20	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 243 T = TO (out)(err)	S = N/A O = 222 T = 1575.33 (out)(err)	S = OPT O = 167 T = 290.84 (out)(err)	S = OPT O = 167 T = 266.45 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 167 T = 104.20 (out)(err)	S = OPT O = 167 T = 108.05 (out)(err)	S = OPT O = 167 T = 126.07 (out)(err)	S = OPT O = 167 T = 123.70 (out)(err)	S = N/A O = N/A T = 1800.00 (out)(err)
maxcut-140-630-0.7-6.cnf	S = OPT O = 162 T = 40.97	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 240 T = TO (out)(err)	S = N/A O = 237 T = 902.22 (out)(err)	S = OPT O = 162 T = 161.24 (out)(err)	S = OPT O = 162 T = 146.71 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 162 T = 58.94 (out)(err)	S = OPT O = 162 T = 40.97 (out)(err)	S = OPT O = 162 T = 49.00 (out)(err)	S = OPT O = 162 T = 47.28 (out)(err)	S = N/A O = N/A T = 1800.00 (out)(err)
maxcut-140-630-0.7-7.cnf	S = OPT O = 164 T = 112.17	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 244 T = TO (out)(err)	S = N/A O = 218 T = 1750.92 (out)(err)	S = OPT O = 164 T = 446.70 (out)(err)	S = OPT O = 164 T = 399.38 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 164 T = 149.27 (out)(err)	S = OPT O = 164 T = 112.17 (out)(err)	S = OPT O = 164 T = 133.54 (out)(err)	S = OPT O = 164 T = 131.97 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.7-8.cnf	S = OPT O = 165 T = 130.17	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 244 T = TO (out)(err)	S = N/A O = 229 T = 983.46 (out)(err)	S = OPT O = 165 T = 976.54 (out)(err)	S = OPT O = 165 T = 882.63 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 165 T = 314.88 (out)(err)	S = OPT O = 165 T = 130.17 (out)(err)	S = OPT O = 165 T = 155.18 (out)(err)	S = OPT O = 165 T = 153.20 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.7-9.cnf	S = OPT O = 166 T = 166.38	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 245 T = TO (out)(err)	S = N/A O = 227 T = TO (out)(err)	S = OPT O = 166 T = 512.62 (out)(err)	S = OPT O = 166 T = 466.82 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 166 T = 236.86 (out)(err)	S = OPT O = 166 T = 166.38 (out)(err)	S = OPT O = 166 T = 197.70 (out)(err)	S = OPT O = 166 T = 196.06 (out)(err)	S = N/A O = N/A T = 1800.00 (out)(err)
maxcut-140-630-0.8-1.cnf	S = OPT O = 165 T = 126.39	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 249 T = TO (out)(err)	S = N/A O = 232 T = 998.86 (out)(err)	S = OPT O = 165 T = 544.07 (out)(err)	S = OPT O = 165 T = 494.14 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 165 T = 180.96 (out)(err)	S = OPT O = 165 T = 126.39 (out)(err)	S = OPT O = 165 T = 150.31 (out)(err)	S = OPT O = 165 T = 144.94 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.8-10.cnf	S = OPT O = 168 T = 336.55	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 242 T = TO (out)(err)	S = N/A O = 231 T = 1223.28 (out)(err)	S = OPT O = 168 T = 1293.19 (out)(err)	S = OPT O = 168 T = 1157.70 (out)(err)	S = N/A O = N/A T = 148.71 (out)(err)	S = OPT O = 168 T = 446.27 (out)(err)	S = OPT O = 168 T = 336.55 (out)(err)	S = OPT O = 168 T = 396.59 (out)(err)	S = OPT O = 168 T = 396.52 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.8-11.cnf	S = OPT O = 168 T = 263.42	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 230 T = TO (out)(err)	S = N/A O = 225 T = 1433.26 (out)(err)	S = OPT O = 168 T = 902.69 (out)(err)	S = OPT O = 168 T = 815.16 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 168 T = 333.52 (out)(err)	S = OPT O = 168 T = 263.42 (out)(err)	S = OPT O = 168 T = 322.04 (out)(err)	S = OPT O = 168 T = 305.90 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.8-12.cnf	S = OPT O = 165 T = 86.39	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 227 T = TO (out)(err)	S = N/A O = 220 T = TO (out)(err)	S = OPT O = 165 T = 282.49 (out)(err)	S = OPT O = 165 T = 254.47 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 165 T = 127.49 (out)(err)	S = OPT O = 165 T = 86.39 (out)(err)	S = OPT O = 165 T = 102.57 (out)(err)	S = OPT O = 165 T = 99.58 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.8-13.cnf	S = OPT O = 167 T = 190.59	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 253 T = TO (out)(err)	S = N/A O = 234 T = TO (out)(err)	S = OPT O = 167 T = 769.42 (out)(err)	S = OPT O = 167 T = 693.95 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 167 T = 264.51 (out)(err)	S = OPT O = 167 T = 190.59 (out)(err)	S = OPT O = 167 T = 223.05 (out)(err)	S = OPT O = 167 T = 221.33 (out)(err)	S = N/A O = N/A T = 1800.00 (out)(err)
maxcut-140-630-0.8-14.cnf	S = OPT O = 164 T = 140.03	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 241 T = TO (out)(err)	S = N/A O = 216 T = TO (out)(err)	S = OPT O = 164 T = 383.19 (out)(err)	S = OPT O = 164 T = 352.61 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 164 T = 187.54 (out)(err)	S = OPT O = 164 T = 140.03 (out)(err)	S = OPT O = 164 T = 166.72 (out)(err)	S = OPT O = 164 T = 163.79 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.8-15.cnf	S = OPT O = 166 T = 142.31	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 239 T = TO (out)(err)	S = N/A O = 228 T = 1355.93 (out)(err)	S = OPT O = 166 T = 513.03 (out)(err)	S = OPT O = 166 T = 462.89 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 166 T = 235.15 (out)(err)	S = OPT O = 166 T = 142.31 (out)(err)	S = OPT O = 166 T = 173.34 (out)(err)	S = OPT O = 166 T = 168.94 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.8-16.cnf	S = OPT O = 163 T = 81.61	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 245 T = TO (out)(err)	S = N/A O = 227 T = 1120.31 (out)(err)	S = OPT O = 163 T = 228.88 (out)(err)	S = OPT O = 163 T = 200.29 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 163 T = 81.61 (out)(err)	S = OPT O = 163 T = 81.65 (out)(err)	S = OPT O = 163 T = 99.19 (out)(err)	S = OPT O = 163 T = 93.24 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.8-17.cnf	S = OPT O = 168 T = 93.31	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 261 T = TO (out)(err)	S = N/A O = 233 T = 445.68 (out)(err)	S = OPT O = 168 T = 450.20 (out)(err)	S = OPT O = 168 T = 390.72 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 168 T = 141.62 (out)(err)	S = OPT O = 168 T = 93.31 (out)(err)	S = OPT O = 168 T = 113.30 (out)(err)	S = OPT O = 168 T = 108.17 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.8-18.cnf	S = OPT O = 163 T = 139.65	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 243 T = TO (out)(err)	S = N/A O = 228 T = TO (out)(err)	S = OPT O = 163 T = 608.61 (out)(err)	S = OPT O = 163 T = 544.61 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 163 T = 211.02 (out)(err)	S = OPT O = 163 T = 139.65 (out)(err)	S = OPT O = 163 T = 171.26 (out)(err)	S = OPT O = 163 T = 162.33 (out)(err)	S = N/A O = N/A T = 1800.00 (out)(err)
maxcut-140-630-0.8-19.cnf	S = OPT O = 164 T = 30.29	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 249 T = TO (out)(err)	S = N/A O = 220 T = 1457.32 (out)(err)	S = OPT O = 164 T = 177.76 (out)(err)	S = OPT O = 164 T = 127.20 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 164 T = 81.27 (out)(err)	S = OPT O = 164 T = 30.29 (out)(err)	S = OPT O = 164 T = 35.84 (out)(err)	S = OPT O = 164 T = 35.22 (out)(err)	S = N/A O = N/A T = 1800.00 (out)(err)
maxcut-140-630-0.8-2.cnf	S = OPT O = 162 T = 51.44	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 223 T = TO (out)(err)	S = N/A O = 223 T = 1151.94 (out)(err)	S = OPT O = 162 T = 168.23 (out)(err)	S = OPT O = 162 T = 146.44 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 162 T = 68.14 (out)(err)	S = OPT O = 162 T = 51.44 (out)(err)	S = OPT O = 162 T = 61.04 (out)(err)	S = OPT O = 162 T = 60.04 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.8-20.cnf	S = OPT O = 165 T = 102.01	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 243 T = TO (out)(err)	S = N/A O = 235 T = TO (out)(err)	S = OPT O = 165 T = 455.87 (out)(err)	S = OPT O = 165 T = 414.38 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 165 T = 146.12 (out)(err)	S = OPT O = 165 T = 102.01 (out)(err)	S = OPT O = 165 T = 122.22 (out)(err)	S = OPT O = 165 T = 119.07 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.8-21.cnf	S = OPT O = 167 T = 54.81	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 256 T = TO (out)(err)	S = N/A O = 228 T = 1585.05 (out)(err)	S = OPT O = 167 T = 235.30 (out)(err)	S = OPT O = 167 T = 211.74 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 167 T = 89.39 (out)(err)	S = OPT O = 167 T = 54.81 (out)(err)	S = OPT O = 167 T = 69.67 (out)(err)	S = OPT O = 167 T = 64.92 (out)(err)	S = N/A O = N/A T = 1800.00 (out)(err)
maxcut-140-630-0.8-22.cnf	S = OPT O = 170 T = 126.22	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 242 T = TO (out)(err)	S = N/A O = 228 T = TO (out)(err)	S = OPT O = 170 T = 423.54 (out)(err)	S = OPT O = 170 T = 390.14 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 170 T = 159.44 (out)(err)	S = OPT O = 170 T = 126.22 (out)(err)	S = OPT O = 170 T = 153.62 (out)(err)	S = OPT O = 170 T = 150.57 (out)(err)	S = N/A O = N/A T = 1800.00 (out)(err)
maxcut-140-630-0.8-23.cnf	S = OPT O = 167 T = 379.81	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 231 T = TO (out)(err)	S = N/A O = 228 T = 1282.22 (out)(err)	S = OPT O = 167 T = 1571.21 (out)(err)	S = OPT O = 167 T = 1433.38 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 167 T = 412.16 (out)(err)	S = OPT O = 167 T = 379.81 (out)(err)	S = OPT O = 167 T = 446.31 (out)(err)	S = OPT O = 167 T = 437.74 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.8-24.cnf	S = OPT O = 165 T = 180.49	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 238 T = TO (out)(err)	S = N/A O = 229 T = 915.76 (out)(err)	S = OPT O = 165 T = 959.04 (out)(err)	S = OPT O = 165 T = 873.83 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 165 T = 426.10 (out)(err)	S = OPT O = 165 T = 180.49 (out)(err)	S = OPT O = 165 T = 216.99 (out)(err)	S = OPT O = 165 T = 212.03 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.8-25.cnf	S = OPT O = 165 T = 183.18	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 255 T = TO (out)(err)	S = N/A O = 233 T = 1014.50 (out)(err)	S = OPT O = 165 T = 523.35 (out)(err)	S = OPT O = 165 T = 472.11 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 165 T = 218.24 (out)(err)	S = OPT O = 165 T = 183.18 (out)(err)	S = OPT O = 165 T = 223.99 (out)(err)	S = OPT O = 165 T = 216.91 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.8-26.cnf	S = OPT O = 167 T = 97.15	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 248 T = TO (out)(err)	S = N/A O = 232 T = 809.26 (out)(err)	S = OPT O = 167 T = 224.98 (out)(err)	S = OPT O = 167 T = 205.88 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 167 T = 175.89 (out)(err)	S = OPT O = 167 T = 97.15 (out)(err)	S = OPT O = 167 T = 120.88 (out)(err)	S = OPT O = 167 T = 113.99 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.8-27.cnf	S = OPT O = 168 T = 149.35	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 245 T = TO (out)(err)	S = N/A O = 232 T = 1306.26 (out)(err)	S = OPT O = 168 T = 579.94 (out)(err)	S = OPT O = 168 T = 510.27 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 168 T = 249.28 (out)(err)	S = OPT O = 168 T = 149.35 (out)(err)	S = OPT O = 168 T = 181.94 (out)(err)	S = OPT O = 168 T = 174.75 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.8-28.cnf	S = OPT O = 168 T = 188.83	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 247 T = TO (out)(err)	S = N/A O = 229 T = 691.02 (out)(err)	S = OPT O = 168 T = 597.71 (out)(err)	S = OPT O = 168 T = 539.33 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 168 T = 222.57 (out)(err)	S = OPT O = 168 T = 188.83 (out)(err)	S = OPT O = 168 T = 231.01 (out)(err)	S = OPT O = 168 T = 218.79 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.8-29.cnf	S = OPT O = 167 T = 124.46	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 254 T = TO (out)(err)	S = N/A O = 223 T = TO (out)(err)	S = OPT O = 167 T = 346.51 (out)(err)	S = OPT O = 167 T = 306.23 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 167 T = 141.09 (out)(err)	S = OPT O = 167 T = 124.46 (out)(err)	S = OPT O = 167 T = 155.41 (out)(err)	S = OPT O = 167 T = 149.39 (out)(err)	S = N/A O = N/A T = 1800.00 (out)(err)
maxcut-140-630-0.8-3.cnf	S = OPT O = 165 T = 37.37	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 233 T = TO (out)(err)	S = N/A O = 232 T = 1475.44 (out)(err)	S = OPT O = 165 T = 124.67 (out)(err)	S = OPT O = 165 T = 110.42 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 165 T = 44.01 (out)(err)	S = OPT O = 165 T = 37.37 (out)(err)	S = OPT O = 165 T = 43.89 (out)(err)	S = OPT O = 165 T = 43.74 (out)(err)	S = N/A O = N/A T = 1800.00 (out)(err)
maxcut-140-630-0.8-30.cnf	S = OPT O = 167 T = 137.67	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 251 T = TO (out)(err)	S = N/A O = 230 T = 952.92 (out)(err)	S = OPT O = 167 T = 340.56 (out)(err)	S = OPT O = 167 T = 309.04 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 167 T = 186.40 (out)(err)	S = OPT O = 167 T = 137.67 (out)(err)	S = OPT O = 167 T = 168.88 (out)(err)	S = OPT O = 167 T = 162.74 (out)(err)	S = N/A O = N/A T = 1800.00 (out)(err)
maxcut-140-630-0.8-31.cnf	S = OPT O = 165 T = 56.26	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 251 T = TO (out)(err)	S = N/A O = 218 T = TO (out)(err)	S = OPT O = 165 T = 372.88 (out)(err)	S = OPT O = 165 T = 321.80 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 165 T = 63.46 (out)(err)	S = OPT O = 165 T = 56.26 (out)(err)	S = OPT O = 165 T = 68.01 (out)(err)	S = OPT O = 165 T = 67.33 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.8-32.cnf	S = OPT O = 164 T = 23.56	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 262 T = TO (out)(err)	S = N/A O = 226 T = 904.70 (out)(err)	S = OPT O = 164 T = 81.20 (out)(err)	S = OPT O = 164 T = 73.92 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 164 T = 79.34 (out)(err)	S = OPT O = 164 T = 23.56 (out)(err)	S = OPT O = 164 T = 28.57 (out)(err)	S = OPT O = 164 T = 27.08 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.8-33.cnf	S = OPT O = 163 T = 59.24	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 233 T = TO (out)(err)	S = N/A O = 230 T = 1024.78 (out)(err)	S = OPT O = 163 T = 138.42 (out)(err)	S = OPT O = 163 T = 132.90 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 163 T = 98.52 (out)(err)	S = OPT O = 163 T = 59.24 (out)(err)	S = OPT O = 163 T = 68.14 (out)(err)	S = OPT O = 163 T = 67.20 (out)(err)	S = N/A O = N/A T = 1800.00 (out)(err)
maxcut-140-630-0.8-34.cnf	S = OPT O = 163 T = 107.74	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 224 T = TO (out)(err)	S = N/A O = 228 T = 977.29 (out)(err)	S = OPT O = 163 T = 435.85 (out)(err)	S = OPT O = 163 T = 395.50 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 163 T = 176.94 (out)(err)	S = OPT O = 163 T = 107.74 (out)(err)	S = OPT O = 163 T = 129.13 (out)(err)	S = OPT O = 163 T = 122.31 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.8-35.cnf	S = OPT O = 165 T = 110.27	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 245 T = TO (out)(err)	S = N/A O = 217 T = TO (out)(err)	S = OPT O = 165 T = 288.54 (out)(err)	S = OPT O = 165 T = 262.56 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 165 T = 141.22 (out)(err)	S = OPT O = 165 T = 110.27 (out)(err)	S = OPT O = 165 T = 131.75 (out)(err)	S = OPT O = 165 T = 127.85 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.8-36.cnf	S = OPT O = 165 T = 116.43	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 254 T = TO (out)(err)	S = N/A O = 229 T = 880.78 (out)(err)	S = OPT O = 165 T = 313.73 (out)(err)	S = OPT O = 165 T = 319.84 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 165 T = 146.81 (out)(err)	S = OPT O = 165 T = 116.43 (out)(err)	S = OPT O = 165 T = 136.53 (out)(err)	S = OPT O = 165 T = 133.44 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.8-37.cnf	S = OPT O = 167 T = 114.88	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 228 T = TO (out)(err)	S = N/A O = 219 T = 1205.12 (out)(err)	S = OPT O = 167 T = 292.18 (out)(err)	S = OPT O = 167 T = 262.50 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 167 T = 126.70 (out)(err)	S = OPT O = 167 T = 114.88 (out)(err)	S = OPT O = 167 T = 136.04 (out)(err)	S = OPT O = 167 T = 132.76 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.8-38.cnf	S = OPT O = 160 T = 28.22	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 224 T = TO (out)(err)	S = N/A O = 230 T = 1212.68 (out)(err)	S = OPT O = 160 T = 113.60 (out)(err)	S = OPT O = 160 T = 105.78 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 160 T = 51.66 (out)(err)	S = OPT O = 160 T = 28.22 (out)(err)	S = OPT O = 160 T = 33.34 (out)(err)	S = OPT O = 160 T = 32.07 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.8-39.cnf	S = OPT O = 169 T = 167.80	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 226 T = TO (out)(err)	S = N/A O = 232 T = TO (out)(err)	S = OPT O = 169 T = 597.39 (out)(err)	S = OPT O = 169 T = 428.95 (out)(err)	S = N/A O = N/A T = 202.96 (out)(err)	S = OPT O = 169 T = 243.26 (out)(err)	S = OPT O = 169 T = 167.80 (out)(err)	S = OPT O = 169 T = 203.40 (out)(err)	S = OPT O = 169 T = 194.79 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.8-4.cnf	S = OPT O = 165 T = 60.21	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 240 T = TO (out)(err)	S = N/A O = 233 T = 783.94 (out)(err)	S = OPT O = 165 T = 178.46 (out)(err)	S = OPT O = 165 T = 160.63 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 165 T = 62.97 (out)(err)	S = OPT O = 165 T = 60.21 (out)(err)	S = OPT O = 165 T = 72.00 (out)(err)	S = OPT O = 165 T = 71.39 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.8-40.cnf	S = OPT O = 161 T = 33.64	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 224 T = TO (out)(err)	S = N/A O = 229 T = 807.70 (out)(err)	S = OPT O = 161 T = 144.45 (out)(err)	S = OPT O = 161 T = 131.75 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 161 T = 50.80 (out)(err)	S = OPT O = 161 T = 33.64 (out)(err)	S = OPT O = 161 T = 41.75 (out)(err)	S = OPT O = 161 T = 40.62 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.8-41.cnf	S = OPT O = 163 T = 53.71	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 240 T = TO (out)(err)	S = N/A O = 232 T = TO (out)(err)	S = OPT O = 163 T = 339.56 (out)(err)	S = OPT O = 163 T = 311.52 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 163 T = 75.83 (out)(err)	S = OPT O = 163 T = 53.71 (out)(err)	S = OPT O = 163 T = 65.93 (out)(err)	S = OPT O = 163 T = 62.85 (out)(err)	S = N/A O = N/A T = 1800.00 (out)(err)
maxcut-140-630-0.8-42.cnf	S = OPT O = 164 T = 89.57	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 250 T = TO (out)(err)	S = N/A O = 229 T = 763.84 (out)(err)	S = OPT O = 164 T = 209.59 (out)(err)	S = OPT O = 164 T = 181.44 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 164 T = 120.55 (out)(err)	S = OPT O = 164 T = 89.57 (out)(err)	S = OPT O = 164 T = 111.40 (out)(err)	S = OPT O = 164 T = 105.75 (out)(err)	S = N/A O = N/A T = 1800.00 (out)(err)
maxcut-140-630-0.8-43.cnf	S = OPT O = 165 T = 77.89	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 237 T = TO (out)(err)	S = N/A O = 238 T = TO (out)(err)	S = OPT O = 165 T = 294.35 (out)(err)	S = OPT O = 165 T = 256.39 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 165 T = 93.40 (out)(err)	S = OPT O = 165 T = 77.89 (out)(err)	S = OPT O = 165 T = 94.22 (out)(err)	S = OPT O = 165 T = 91.50 (out)(err)	S = N/A O = N/A T = 1800.00 (out)(err)
maxcut-140-630-0.8-44.cnf	S = OPT O = 160 T = 12.49	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 235 T = TO (out)(err)	S = N/A O = 225 T = TO (out)(err)	S = OPT O = 160 T = 87.44 (out)(err)	S = OPT O = 160 T = 82.73 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 160 T = 23.83 (out)(err)	S = OPT O = 160 T = 12.49 (out)(err)	S = OPT O = 160 T = 14.98 (out)(err)	S = OPT O = 160 T = 14.67 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.8-45.cnf	S = OPT O = 165 T = 25.16	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 225 T = TO (out)(err)	S = N/A O = 234 T = 1302.41 (out)(err)	S = OPT O = 165 T = 80.72 (out)(err)	S = OPT O = 165 T = 67.33 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 165 T = 46.36 (out)(err)	S = OPT O = 165 T = 25.16 (out)(err)	S = OPT O = 165 T = 29.65 (out)(err)	S = OPT O = 165 T = 29.32 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.8-46.cnf	S = OPT O = 162 T = 72.18	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 222 T = TO (out)(err)	S = N/A O = 228 T = 1728.90 (out)(err)	S = OPT O = 162 T = 313.88 (out)(err)	S = OPT O = 162 T = 285.55 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 162 T = 141.16 (out)(err)	S = OPT O = 162 T = 72.18 (out)(err)	S = OPT O = 162 T = 87.02 (out)(err)	S = OPT O = 162 T = 82.00 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.8-47.cnf	S = OPT O = 164 T = 104.12	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 261 T = TO (out)(err)	S = N/A O = 230 T = 994.11 (out)(err)	S = OPT O = 164 T = 382.04 (out)(err)	S = OPT O = 164 T = 343.21 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 164 T = 112.21 (out)(err)	S = OPT O = 164 T = 104.12 (out)(err)	S = OPT O = 164 T = 124.50 (out)(err)	S = OPT O = 164 T = 121.80 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.8-48.cnf	S = OPT O = 164 T = 100.94	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 250 T = TO (out)(err)	S = N/A O = 228 T = 972.25 (out)(err)	S = OPT O = 164 T = 243.08 (out)(err)	S = OPT O = 164 T = 222.20 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 164 T = 110.26 (out)(err)	S = OPT O = 164 T = 100.94 (out)(err)	S = OPT O = 164 T = 117.56 (out)(err)	S = OPT O = 164 T = 116.32 (out)(err)	S = N/A O = N/A T = 1800.00 (out)(err)
maxcut-140-630-0.8-49.cnf	S = OPT O = 166 T = 124.00	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 241 T = TO (out)(err)	S = N/A O = 222 T = 1624.93 (out)(err)	S = OPT O = 166 T = 371.48 (out)(err)	S = OPT O = 166 T = 330.23 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 166 T = 175.33 (out)(err)	S = OPT O = 166 T = 124.00 (out)(err)	S = OPT O = 166 T = 146.83 (out)(err)	S = OPT O = 166 T = 142.64 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.8-5.cnf	S = OPT O = 164 T = 193.89	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 234 T = TO (out)(err)	S = N/A O = 229 T = 813.08 (out)(err)	S = OPT O = 164 T = 806.58 (out)(err)	S = OPT O = 164 T = 744.45 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 164 T = 294.56 (out)(err)	S = OPT O = 164 T = 193.89 (out)(err)	S = OPT O = 164 T = 234.88 (out)(err)	S = OPT O = 164 T = 229.13 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.8-50.cnf	S = OPT O = 165 T = 60.76	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 243 T = TO (out)(err)	S = N/A O = 227 T = TO (out)(err)	S = OPT O = 165 T = 276.01 (out)(err)	S = OPT O = 165 T = 247.60 (out)(err)	S = N/A O = N/A T = 276.15 (out)(err)	S = OPT O = 165 T = 87.53 (out)(err)	S = OPT O = 165 T = 60.76 (out)(err)	S = OPT O = 165 T = 72.00 (out)(err)	S = OPT O = 165 T = 69.71 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.8-6.cnf	S = OPT O = 169 T = 750.83	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 251 T = TO (out)(err)	S = N/A O = 225 T = 765.68 (out)(err)	S = OPT O = 169 T = 1624.05 (out)(err)	S = OPT O = 169 T = 1497.96 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 169 T = 779.01 (out)(err)	S = OPT O = 169 T = 750.83 (out)(err)	S = OPT O = 169 T = 877.57 (out)(err)	S = OPT O = 169 T = 873.16 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.8-7.cnf	S = OPT O = 166 T = 129.66	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 238 T = TO (out)(err)	S = N/A O = 226 T = TO (out)(err)	S = OPT O = 166 T = 389.00 (out)(err)	S = OPT O = 166 T = 354.28 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 166 T = 159.98 (out)(err)	S = OPT O = 166 T = 129.66 (out)(err)	S = OPT O = 166 T = 156.72 (out)(err)	S = OPT O = 166 T = 149.80 (out)(err)	S = N/A O = N/A T = TO (out)(err)
maxcut-140-630-0.8-8.cnf	S = OPT O = 167 T = 134.42	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 239 T = TO (out)(err)	S = N/A O = 235 T = 646.22 (out)(err)	S = OPT O = 167 T = 549.38 (out)(err)	S = OPT O = 167 T = 496.67 (out)(err)	S = N/A O = N/A T = 255.57 (out)(err)	S = OPT O = 167 T = 240.64 (out)(err)	S = OPT O = 167 T = 134.42 (out)(err)	S = OPT O = 167 T = 159.95 (out)(err)	S = OPT O = 167 T = 155.54 (out)(err)	S = N/A O = N/A T = 1800.00 (out)(err)
maxcut-140-630-0.8-9.cnf	S = OPT O = 165 T = 68.22	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 236 T = TO (out)(err)	S = N/A O = 223 T = 1014.06 (out)(err)	S = OPT O = 165 T = 231.30 (out)(err)	S = OPT O = 165 T = 211.22 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 165 T = 69.58 (out)(err)	S = OPT O = 165 T = 68.22 (out)(err)	S = OPT O = 165 T = 84.42 (out)(err)	S = OPT O = 165 T = 80.17 (out)(err)	S = N/A O = N/A T = TO (out)(err)
MANN_a27.clq.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 91978 T = TO (out)(err)	S = N/A O = 462 T = TO (out)(err)	S = N/A O = 405 T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 404 T = TO (out)(err)	S = N/A O = 404 T = TO (out)(err)	S = N/A O = 404 T = TO (out)(err)	S = N/A O = 404 T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)
MANN_a45.clq.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 1001978 T = TO (out)(err)	S = N/A O = 444 T = TO (out)(err)	S = N/A O = 418 T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 418 T = TO (out)(err)	S = N/A O = 418 T = TO (out)(err)	S = N/A O = 418 T = TO (out)(err)	S = N/A O = 418 T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)
MANN_a81.clq.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 921 T = TO (out)(err)	S = N/A O = 455 T = TO (out)(err)	S = N/A O = 399 T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 399 T = TO (out)(err)	S = N/A O = 399 T = TO (out)(err)	S = N/A O = 399 T = TO (out)(err)	S = N/A O = 399 T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)
MANN_a9.clq.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 1978 T = TO (out)(err)	S = N/A O = 511 T = TO (out)(err)	S = N/A O = 426 T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 422 T = TO (out)(err)	S = N/A O = 422 T = TO (out)(err)	S = N/A O = 422 T = TO (out)(err)	S = N/A O = 422 T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)
brock200_1.clq.cnf	S = OPT O = 238 T = 11.72	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 264 T = TO (out)(err)	S = N/A O = 253 T = TO (out)(err)	S = OPT O = 238 T = 33.74 (out)(err)	S = OPT O = 238 T = 45.02 (out)(err)	S = N/A O = N/A T = 430.12 (out)(err)	S = OPT O = 238 T = 12.33 (out)(err)	S = OPT O = 238 T = 11.72 (out)(err)	S = OPT O = 238 T = 14.29 (out)(err)	S = OPT O = 238 T = 14.33 (out)(err)	S = N/A O = N/A T = 1800.00 (out)(err)
brock200_2.clq.cnf	S = OPT O = 141 T = 0.13	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 171 T = TO (out)(err)	S = N/A O = 150 T = TO (out)(err)	S = OPT O = 141 T = 0.29 (out)(err)	S = OPT O = 141 T = 0.29 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 141 T = 0.13 (out)(err)	S = OPT O = 141 T = 0.17 (out)(err)	S = OPT O = 141 T = 0.20 (out)(err)	S = OPT O = 141 T = 0.19 (out)(err)	S = N/A O = N/A T = 1800.00 (out)(err)
brock200_3.clq.cnf	S = OPT O = 214 T = 4.89	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 247 T = TO (out)(err)	S = N/A O = 228 T = TO (out)(err)	S = OPT O = 214 T = 11.39 (out)(err)	S = OPT O = 214 T = 13.46 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 214 T = 5.82 (out)(err)	S = OPT O = 214 T = 4.89 (out)(err)	S = OPT O = 214 T = 5.91 (out)(err)	S = OPT O = 214 T = 5.85 (out)(err)	S = N/A O = N/A T = TO (out)(err)
brock200_4.clq.cnf	S = OPT O = 209 T = 2.84	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 245 T = TO (out)(err)	S = N/A O = 227 T = TO (out)(err)	S = OPT O = 209 T = 7.78 (out)(err)	S = OPT O = 209 T = 8.28 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 209 T = 2.93 (out)(err)	S = OPT O = 209 T = 2.84 (out)(err)	S = OPT O = 209 T = 3.45 (out)(err)	S = OPT O = 209 T = 3.43 (out)(err)	S = N/A O = N/A T = TO (out)(err)
brock400_1.clq.cnf	S = OPT O = 255 T = 26.20	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 326 T = TO (out)(err)	S = N/A O = 269 T = TO (out)(err)	S = OPT O = 255 T = 96.36 (out)(err)	S = OPT O = 255 T = 94.27 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 255 T = 32.39 (out)(err)	S = OPT O = 255 T = 26.20 (out)(err)	S = OPT O = 255 T = 31.69 (out)(err)	S = OPT O = 255 T = 31.01 (out)(err)	S = N/A O = N/A T = TO (out)(err)
brock400_2.clq.cnf	S = OPT O = 252 T = 17.11	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 302 T = TO (out)(err)	S = N/A O = 264 T = TO (out)(err)	S = OPT O = 252 T = 62.63 (out)(err)	S = OPT O = 252 T = 75.65 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 252 T = 17.56 (out)(err)	S = OPT O = 252 T = 17.11 (out)(err)	S = OPT O = 252 T = 20.40 (out)(err)	S = OPT O = 252 T = 20.42 (out)(err)	S = N/A O = N/A T = TO (out)(err)
brock400_3.clq.cnf	S = OPT O = 238 T = 10.53	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 274 T = TO (out)(err)	S = N/A O = 247 T = TO (out)(err)	S = OPT O = 238 T = 30.08 (out)(err)	S = OPT O = 238 T = 30.85 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 238 T = 11.92 (out)(err)	S = OPT O = 238 T = 10.53 (out)(err)	S = OPT O = 238 T = 12.40 (out)(err)	S = OPT O = 238 T = 12.41 (out)(err)	S = N/A O = N/A T = TO (out)(err)
brock400_4.clq.cnf	S = OPT O = 249 T = 14.11	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 291 T = TO (out)(err)	S = N/A O = 260 T = TO (out)(err)	S = OPT O = 249 T = 46.35 (out)(err)	S = OPT O = 249 T = 48.38 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 249 T = 15.31 (out)(err)	S = OPT O = 249 T = 14.11 (out)(err)	S = OPT O = 249 T = 17.04 (out)(err)	S = OPT O = 249 T = 16.64 (out)(err)	S = N/A O = N/A T = TO (out)(err)
brock800_1.clq.cnf	S = OPT O = 205 T = 1.95	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 241 T = TO (out)(err)	S = N/A O = 218 T = TO (out)(err)	S = OPT O = 205 T = 4.79 (out)(err)	S = OPT O = 205 T = 4.51 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 205 T = 2.02 (out)(err)	S = OPT O = 205 T = 1.95 (out)(err)	S = OPT O = 205 T = 2.33 (out)(err)	S = OPT O = 205 T = 2.35 (out)(err)	S = N/A O = N/A T = TO (out)(err)
brock800_2.clq.cnf	S = OPT O = 207 T = 2.68	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 251 T = TO (out)(err)	S = N/A O = 219 T = TO (out)(err)	S = OPT O = 207 T = 6.52 (out)(err)	S = OPT O = 207 T = 6.95 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 207 T = 2.89 (out)(err)	S = OPT O = 207 T = 2.68 (out)(err)	S = OPT O = 207 T = 3.17 (out)(err)	S = OPT O = 207 T = 3.15 (out)(err)	S = N/A O = N/A T = TO (out)(err)
brock800_3.clq.cnf	S = OPT O = 203 T = 1.80	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 250 T = TO (out)(err)	S = N/A O = 219 T = TO (out)(err)	S = OPT O = 203 T = 3.91 (out)(err)	S = OPT O = 203 T = 4.63 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 203 T = 1.80 (out)(err)	S = OPT O = 203 T = 1.81 (out)(err)	S = OPT O = 203 T = 2.20 (out)(err)	S = OPT O = 203 T = 2.14 (out)(err)	S = N/A O = N/A T = TO (out)(err)
brock800_4.clq.cnf	S = OPT O = 200 T = 1.71	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 277 T = TO (out)(err)	S = N/A O = 214 T = TO (out)(err)	S = OPT O = 200 T = 4.76 (out)(err)	S = OPT O = 200 T = 4.44 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 200 T = 2.41 (out)(err)	S = OPT O = 200 T = 1.71 (out)(err)	S = OPT O = 200 T = 2.01 (out)(err)	S = OPT O = 200 T = 1.98 (out)(err)	S = N/A O = N/A T = TO (out)(err)
c-fat200-1.clq.cnf	S = OPT O = 4 T = 0.00	S = OPT O = 4 T = 0.01 (out)(err)	S = OPT O = 4 T = 0.01 (out)(err)	S = OPT O = 4 T = 1.07 (out)(err)	S = OPT O = 4 T = 0.06 (out)(err)	S = OPT O = 4 T = 0.00 (out)(err)	S = OPT O = 4 T = 0.01 (out)(err)	S = OPT O = 4 T = 0.01 (out)(err)	S = OPT O = 4 T = 0.00 (out)(err)	S = OPT O = 4 T = 0.03 (out)(err)	S = OPT O = 4 T = 0.03 (out)(err)	S = OPT O = 4 T = 0.03 (out)(err)	S = OPT O = 4 T = 0.00 (out)(err)
c-fat200-2.clq.cnf	S = OPT O = 26 T = 0.00	S = OPT O = 26 T = 0.07 (out)(err)	S = OPT O = 26 T = 48.98 (out)(err)	S = N/A O = 40 T = TO (out)(err)	S = OPT O = 26 T = 93.65 (out)(err)	S = OPT O = 26 T = 0.01 (out)(err)	S = OPT O = 26 T = 0.01 (out)(err)	S = OPT O = 26 T = 153.94 (out)(err)	S = OPT O = 26 T = 0.00 (out)(err)	S = OPT O = 26 T = 0.04 (out)(err)	S = OPT O = 26 T = 0.04 (out)(err)	S = OPT O = 26 T = 0.04 (out)(err)	S = OPT O = 26 T = 0.01 (out)(err)
c-fat200-5.clq.cnf	S = OPT O = 116 T = 0.21	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 150 T = TO (out)(err)	S = N/A O = 127 T = TO (out)(err)	S = OPT O = 116 T = 0.26 (out)(err)	S = OPT O = 116 T = 0.45 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 116 T = 0.26 (out)(err)	S = OPT O = 116 T = 0.21 (out)(err)	S = OPT O = 116 T = 0.22 (out)(err)	S = OPT O = 116 T = 0.23 (out)(err)	S = N/A O = N/A T = TO (out)(err)
c-fat500-1.clq.cnf	S = OPT O = 2 T = 0.00	S = OPT O = 2 T = 0.00 (out)(err)	S = OPT O = 2 T = 0.00 (out)(err)	S = OPT O = 2 T = 0.35 (out)(err)	S = OPT O = 2 T = 0.01 (out)(err)	S = OPT O = 2 T = 0.01 (out)(err)	S = OPT O = 2 T = 0.01 (out)(err)	S = OPT O = 2 T = 0.00 (out)(err)	S = OPT O = 2 T = 0.00 (out)(err)	S = OPT O = 2 T = 0.03 (out)(err)	S = OPT O = 2 T = 0.03 (out)(err)	S = OPT O = 2 T = 0.03 (out)(err)	S = OPT O = 2 T = 0.00 (out)(err)
c-fat500-10.clq.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 212 T = TO (out)(err)	S = N/A O = 200 T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 200 T = TO (out)(err)	S = N/A O = 200 T = TO (out)(err)	S = N/A O = 200 T = TO (out)(err)	S = N/A O = 200 T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)
c-fat500-2.clq.cnf	S = OPT O = 24 T = 0.00	S = OPT O = 24 T = 0.07 (out)(err)	S = OPT O = 24 T = 6.96 (out)(err)	S = N/A O = 25 T = TO (out)(err)	S = OPT O = 24 T = 8.10 (out)(err)	S = OPT O = 24 T = 0.00 (out)(err)	S = OPT O = 24 T = 0.00 (out)(err)	S = OPT O = 24 T = 0.03 (out)(err)	S = OPT O = 24 T = 0.00 (out)(err)	S = OPT O = 24 T = 0.04 (out)(err)	S = OPT O = 24 T = 0.04 (out)(err)	S = OPT O = 24 T = 0.04 (out)(err)	S = OPT O = 24 T = 0.01 (out)(err)
c-fat500-5.clq.cnf	S = OPT O = 90 T = 9.54	S = OPT O = 90 T = 9.54 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 96 T = TO (out)(err)	S = N/A O = 90 T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 90 T = 25.30 (out)(err)	S = N/A O = 90 T = TO (out)(err)	S = N/A O = 90 T = TO (out)(err)	S = N/A O = 90 T = TO (out)(err)	S = N/A O = 90 T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)
hamming10-2.clq.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 9221978 T = TO (out)(err)	S = N/A O = 442 T = TO (out)(err)	S = N/A O = 400 T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 400 T = TO (out)(err)	S = N/A O = 400 T = TO (out)(err)	S = N/A O = 400 T = TO (out)(err)	S = N/A O = 400 T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)
hamming10-4.clq.cnf	S = OPT O = 319 T = 381.57	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 360 T = TO (out)(err)	S = N/A O = 326 T = TO (out)(err)	S = OPT O = 319 T = 1053.23 (out)(err)	S = OPT O = 319 T = 1164.66 (out)(err)	S = N/A O = N/A T = 278.66 (out)(err)	S = OPT O = 319 T = 425.23 (out)(err)	S = OPT O = 319 T = 381.57 (out)(err)	S = OPT O = 319 T = 458.53 (out)(err)	S = OPT O = 319 T = 449.92 (out)(err)	S = N/A O = N/A T = TO (out)(err)
hamming6-2.clq.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 915 T = 1049.24 (out)(err)	S = N/A O = 1264 T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = 139.71 (out)(err)	S = N/A O = 850 T = TO (out)(err)	S = N/A O = 832 T = TO (out)(err)	S = N/A O = 832 T = TO (out)(err)	S = N/A O = 832 T = TO (out)(err)	S = N/A O = N/A T = 1800.00 (out)(err)
hamming6-4.clq.cnf	S = OPT O = 192 T = 0.17	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 313 T = TO (out)(err)	S = N/A O = 212 T = TO (out)(err)	S = OPT O = 192 T = 0.21 (out)(err)	S = OPT O = 192 T = 0.20 (out)(err)	S = N/A O = N/A T = 242.71 (out)(err)	S = OPT O = 192 T = 0.17 (out)(err)	S = OPT O = 192 T = 0.22 (out)(err)	S = OPT O = 192 T = 0.23 (out)(err)	S = OPT O = 192 T = 0.23 (out)(err)	S = N/A O = N/A T = TO (out)(err)
hamming8-2.clq.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 1051978 T = TO (out)(err)	S = N/A O = 453 T = TO (out)(err)	S = N/A O = 441 T = 700.13 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 441 T = TO (out)(err)	S = N/A O = 441 T = TO (out)(err)	S = N/A O = 441 T = TO (out)(err)	S = N/A O = 441 T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)
hamming8-4.clq.cnf	S = OPT O = 176 T = 0.11	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 247 T = TO (out)(err)	S = N/A O = 176 T = TO (out)(err)	S = OPT O = 176 T = 0.22 (out)(err)	S = OPT O = 176 T = 0.21 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 176 T = 0.11 (out)(err)	S = OPT O = 176 T = 0.18 (out)(err)	S = OPT O = 176 T = 0.19 (out)(err)	S = OPT O = 176 T = 0.20 (out)(err)	S = N/A O = N/A T = TO (out)(err)
johnson16-2-4.clq.cnf	S = OPT O = 215 T = 0.21	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 277 T = TO (out)(err)	S = N/A O = 232 T = TO (out)(err)	S = OPT O = 215 T = 0.24 (out)(err)	S = OPT O = 215 T = 0.26 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 215 T = 0.21 (out)(err)	S = OPT O = 215 T = 0.25 (out)(err)	S = OPT O = 215 T = 0.27 (out)(err)	S = OPT O = 215 T = 0.27 (out)(err)	S = N/A O = N/A T = TO (out)(err)
johnson32-2-4.clq.cnf	S = OPT O = 329 T = 79.67	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 494 T = TO (out)(err)	S = N/A O = 383 T = TO (out)(err)	S = N/A O = 344 T = TO (out)(err)	S = OPT O = 329 T = 235.86 (out)(err)	S = OPT O = 329 T = 249.06 (out)(err)	S = N/A O = N/A T = 265.39 (out)(err)	S = OPT O = 329 T = 83.43 (out)(err)	S = OPT O = 329 T = 79.67 (out)(err)	S = OPT O = 329 T = 96.84 (out)(err)	S = OPT O = 329 T = 94.65 (out)(err)	S = N/A O = N/A T = TO (out)(err)
johnson8-2-4.clq.cnf	S = OPT O = 75 T = 0.02	S = OPT O = 75 T = 1798.85 (out)(err)	S = OPT O = 75 T = 207.01 (out)(err)	S = N/A O = 82 T = TO (out)(err)	S = OPT O = 75 T = 1184.66 (out)(err)	S = OPT O = 75 T = 0.04 (out)(err)	S = OPT O = 75 T = 0.03 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 75 T = 0.02 (out)(err)	S = OPT O = 75 T = 0.06 (out)(err)	S = OPT O = 75 T = 0.07 (out)(err)	S = OPT O = 75 T = 0.07 (out)(err)	S = N/A O = N/A T = TO (out)(err)
johnson8-4-4.clq.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 1062 T = TO (out)(err)	S = N/A O = 942 T = 1021.21 (out)(err)	S = N/A O = 1265 T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 779 T = TO (out)(err)	S = N/A O = 770 T = TO (out)(err)	S = N/A O = 770 T = TO (out)(err)	S = N/A O = 770 T = TO (out)(err)	S = N/A O = N/A T = 1800.00 (out)(err)
keller4.clq.cnf	S = OPT O = 199 T = 0.08	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 300 T = TO (out)(err)	S = N/A O = 247 T = TO (out)(err)	S = OPT O = 199 T = 0.14 (out)(err)	S = OPT O = 199 T = 0.14 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 199 T = 0.08 (out)(err)	S = OPT O = 199 T = 0.10 (out)(err)	S = OPT O = 199 T = 0.11 (out)(err)	S = OPT O = 199 T = 0.10 (out)(err)	S = N/A O = N/A T = TO (out)(err)
keller5.clq.cnf	S = OPT O = 250 T = 4.12	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 313 T = TO (out)(err)	S = N/A O = 259 T = TO (out)(err)	S = OPT O = 250 T = 9.93 (out)(err)	S = OPT O = 250 T = 11.83 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 250 T = 5.57 (out)(err)	S = OPT O = 250 T = 4.12 (out)(err)	S = OPT O = 250 T = 4.92 (out)(err)	S = OPT O = 250 T = 4.82 (out)(err)	S = N/A O = N/A T = TO (out)(err)
p_hat1000-1.clq.cnf	S = OPT O = 52 T = 0.01	S = OPT O = 52 T = 106.88 (out)(err)	S = OPT O = 52 T = 203.72 (out)(err)	S = N/A O = 67 T = TO (out)(err)	S = OPT O = 52 T = 1296.50 (out)(err)	S = OPT O = 52 T = 0.02 (out)(err)	S = OPT O = 52 T = 0.01 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 52 T = 0.01 (out)(err)	S = OPT O = 52 T = 0.05 (out)(err)	S = OPT O = 52 T = 0.05 (out)(err)	S = OPT O = 52 T = 0.05 (out)(err)	S = N/A O = N/A T = TO (out)(err)
p_hat1000-2.clq.cnf	S = OPT O = 142 T = 0.21	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 180 T = TO (out)(err)	S = N/A O = 145 T = TO (out)(err)	S = OPT O = 142 T = 0.38 (out)(err)	S = OPT O = 142 T = 0.40 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 142 T = 0.21 (out)(err)	S = OPT O = 142 T = 0.24 (out)(err)	S = OPT O = 142 T = 0.27 (out)(err)	S = OPT O = 142 T = 0.27 (out)(err)	S = N/A O = N/A T = TO (out)(err)
p_hat1000-3.clq.cnf	S = OPT O = 238 T = 7.19	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 278 T = TO (out)(err)	S = N/A O = 253 T = TO (out)(err)	S = OPT O = 238 T = 16.60 (out)(err)	S = OPT O = 238 T = 22.44 (out)(err)	S = N/A O = N/A T = 228.06 (out)(err)	S = OPT O = 238 T = 8.75 (out)(err)	S = OPT O = 238 T = 7.19 (out)(err)	S = OPT O = 238 T = 8.46 (out)(err)	S = OPT O = 238 T = 8.29 (out)(err)	S = N/A O = N/A T = TO (out)(err)
p_hat300-1.clq.cnf	S = OPT O = 49 T = 0.01	S = OPT O = 49 T = 148.07 (out)(err)	S = OPT O = 49 T = 64.09 (out)(err)	S = N/A O = 67 T = TO (out)(err)	S = OPT O = 49 T = 428.87 (out)(err)	S = OPT O = 49 T = 0.01 (out)(err)	S = OPT O = 49 T = 0.01 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 49 T = 0.01 (out)(err)	S = OPT O = 49 T = 0.05 (out)(err)	S = OPT O = 49 T = 0.06 (out)(err)	S = OPT O = 49 T = 0.06 (out)(err)	S = N/A O = N/A T = TO (out)(err)
p_hat300-2.clq.cnf	S = OPT O = 135 T = 0.10	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 159 T = TO (out)(err)	S = N/A O = 144 T = TO (out)(err)	S = OPT O = 135 T = 0.19 (out)(err)	S = OPT O = 135 T = 0.16 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 135 T = 0.10 (out)(err)	S = OPT O = 135 T = 0.14 (out)(err)	S = OPT O = 135 T = 0.16 (out)(err)	S = OPT O = 135 T = 0.16 (out)(err)	S = N/A O = N/A T = TO (out)(err)
p_hat300-3.clq.cnf	S = OPT O = 269 T = 22.91	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 289 T = TO (out)(err)	S = N/A O = 275 T = TO (out)(err)	S = OPT O = 269 T = 52.41 (out)(err)	S = OPT O = 269 T = 55.05 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 269 T = 23.79 (out)(err)	S = OPT O = 269 T = 22.91 (out)(err)	S = OPT O = 269 T = 27.05 (out)(err)	S = OPT O = 269 T = 26.65 (out)(err)	S = N/A O = N/A T = 1800.00 (out)(err)
p_hat500-1.clq.cnf	S = OPT O = 75 T = 0.02	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 100 T = TO (out)(err)	S = N/A O = 76 T = TO (out)(err)	S = OPT O = 75 T = 0.02 (out)(err)	S = OPT O = 75 T = 0.02 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 75 T = 0.02 (out)(err)	S = OPT O = 75 T = 0.07 (out)(err)	S = OPT O = 75 T = 0.07 (out)(err)	S = OPT O = 75 T = 0.07 (out)(err)	S = N/A O = N/A T = TO (out)(err)
p_hat500-2.clq.cnf	S = OPT O = 176 T = 0.42	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 232 T = TO (out)(err)	S = N/A O = 187 T = TO (out)(err)	S = OPT O = 176 T = 0.69 (out)(err)	S = OPT O = 176 T = 0.74 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 176 T = 0.42 (out)(err)	S = OPT O = 176 T = 0.42 (out)(err)	S = OPT O = 176 T = 0.48 (out)(err)	S = OPT O = 176 T = 0.48 (out)(err)	S = N/A O = N/A T = TO (out)(err)
p_hat500-3.clq.cnf	S = OPT O = 284 T = 56.97	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 311 T = TO (out)(err)	S = N/A O = 297 T = TO (out)(err)	S = OPT O = 284 T = 190.59 (out)(err)	S = OPT O = 284 T = 197.53 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 284 T = 62.52 (out)(err)	S = OPT O = 284 T = 56.97 (out)(err)	S = OPT O = 284 T = 67.99 (out)(err)	S = OPT O = 284 T = 68.19 (out)(err)	S = N/A O = N/A T = TO (out)(err)
p_hat700-1.clq.cnf	S = OPT O = 63 T = 0.02	S = OPT O = 63 T = 362.51 (out)(err)	S = OPT O = 63 T = 499.97 (out)(err)	S = N/A O = 81 T = TO (out)(err)	S = N/A O = 63 T = TO (out)(err)	S = OPT O = 63 T = 0.02 (out)(err)	S = OPT O = 63 T = 0.02 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 63 T = 0.02 (out)(err)	S = OPT O = 63 T = 0.06 (out)(err)	S = OPT O = 63 T = 0.07 (out)(err)	S = OPT O = 63 T = 0.07 (out)(err)	S = N/A O = N/A T = TO (out)(err)
p_hat700-2.clq.cnf	S = OPT O = 154 T = 0.15	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 204 T = TO (out)(err)	S = N/A O = 164 T = TO (out)(err)	S = OPT O = 154 T = 0.28 (out)(err)	S = OPT O = 154 T = 0.26 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 154 T = 0.15 (out)(err)	S = OPT O = 154 T = 0.17 (out)(err)	S = OPT O = 154 T = 0.20 (out)(err)	S = OPT O = 154 T = 0.20 (out)(err)	S = N/A O = N/A T = TO (out)(err)
p_hat700-3.clq.cnf	S = OPT O = 267 T = 13.72	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 308 T = TO (out)(err)	S = N/A O = 282 T = TO (out)(err)	S = OPT O = 267 T = 45.78 (out)(err)	S = OPT O = 267 T = 68.55 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 267 T = 14.11 (out)(err)	S = OPT O = 267 T = 13.72 (out)(err)	S = OPT O = 267 T = 16.91 (out)(err)	S = OPT O = 267 T = 16.07 (out)(err)	S = N/A O = N/A T = TO (out)(err)
san1000.clq.cnf	S = OPT O = 139 T = 0.12	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 169 T = TO (out)(err)	S = N/A O = 144 T = TO (out)(err)	S = OPT O = 139 T = 0.28 (out)(err)	S = OPT O = 139 T = 0.22 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 139 T = 0.12 (out)(err)	S = OPT O = 139 T = 0.18 (out)(err)	S = OPT O = 139 T = 0.21 (out)(err)	S = OPT O = 139 T = 0.21 (out)(err)	S = N/A O = N/A T = TO (out)(err)
san200_0.7_1.clq.cnf	S = OPT O = 237 T = 21.87	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 281 T = TO (out)(err)	S = N/A O = 252 T = TO (out)(err)	S = OPT O = 237 T = 62.45 (out)(err)	S = OPT O = 237 T = 67.07 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 237 T = 21.87 (out)(err)	S = OPT O = 237 T = 21.96 (out)(err)	S = OPT O = 237 T = 26.59 (out)(err)	S = OPT O = 237 T = 25.96 (out)(err)	S = N/A O = N/A T = TO (out)(err)
san200_0.7_2.clq.cnf	S = OPT O = 236 T = 9.86	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 268 T = TO (out)(err)	S = N/A O = 243 T = TO (out)(err)	S = OPT O = 236 T = 20.95 (out)(err)	S = OPT O = 236 T = 23.11 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 236 T = 12.58 (out)(err)	S = OPT O = 236 T = 9.86 (out)(err)	S = OPT O = 236 T = 11.72 (out)(err)	S = OPT O = 236 T = 11.65 (out)(err)	S = N/A O = N/A T = TO (out)(err)
san200_0.9_1.clq.cnf	S = OPT O = 313 T = 425.02	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 578 T = TO (out)(err)	S = N/A O = 414 T = TO (out)(err)	S = N/A O = 323 T = TO (out)(err)	S = OPT O = 313 T = 1308.53 (out)(err)	S = OPT O = 313 T = 1462.88 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 313 T = 425.02 (out)(err)	S = OPT O = 313 T = 431.42 (out)(err)	S = OPT O = 313 T = 515.66 (out)(err)	S = OPT O = 313 T = 513.99 (out)(err)	S = N/A O = N/A T = 1800.00 (out)(err)
san200_0.9_2.clq.cnf	S = OPT O = 316 T = 458.46	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 4541978 T = TO (out)(err)	S = N/A O = 355 T = TO (out)(err)	S = N/A O = 325 T = TO (out)(err)	S = OPT O = 316 T = 1477.36 (out)(err)	S = OPT O = 316 T = 1667.03 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 316 T = 504.71 (out)(err)	S = OPT O = 316 T = 458.46 (out)(err)	S = OPT O = 316 T = 546.59 (out)(err)	S = OPT O = 316 T = 543.56 (out)(err)	S = N/A O = N/A T = TO (out)(err)
san200_0.9_3.clq.cnf	S = OPT O = 320 T = 526.93	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 426 T = TO (out)(err)	S = N/A O = 334 T = TO (out)(err)	S = OPT O = 320 T = 1434.48 (out)(err)	S = OPT O = 320 T = 1609.81 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 320 T = 585.81 (out)(err)	S = OPT O = 320 T = 526.93 (out)(err)	S = OPT O = 320 T = 651.27 (out)(err)	S = OPT O = 320 T = 625.61 (out)(err)	S = N/A O = N/A T = TO (out)(err)
san400_0.5_1.clq.cnf	S = OPT O = 146 T = 0.19	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 170 T = TO (out)(err)	S = N/A O = 152 T = TO (out)(err)	S = OPT O = 146 T = 0.39 (out)(err)	S = OPT O = 146 T = 0.36 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 146 T = 0.19 (out)(err)	S = OPT O = 146 T = 0.25 (out)(err)	S = OPT O = 146 T = 0.29 (out)(err)	S = OPT O = 146 T = 0.28 (out)(err)	S = N/A O = N/A T = TO (out)(err)
san400_0.7_1.clq.cnf	S = OPT O = 236 T = 16.14	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 288 T = TO (out)(err)	S = N/A O = 252 T = TO (out)(err)	S = OPT O = 236 T = 43.83 (out)(err)	S = OPT O = 236 T = 46.14 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 236 T = 17.27 (out)(err)	S = OPT O = 236 T = 16.14 (out)(err)	S = OPT O = 236 T = 19.46 (out)(err)	S = OPT O = 236 T = 18.86 (out)(err)	S = N/A O = N/A T = TO (out)(err)
san400_0.7_2.clq.cnf	S = OPT O = 236 T = 10.03	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 277 T = TO (out)(err)	S = N/A O = 250 T = TO (out)(err)	S = OPT O = 236 T = 37.12 (out)(err)	S = OPT O = 236 T = 24.60 (out)(err)	S = N/A O = N/A T = 252.20 (out)(err)	S = OPT O = 236 T = 12.76 (out)(err)	S = OPT O = 236 T = 10.03 (out)(err)	S = OPT O = 236 T = 11.73 (out)(err)	S = OPT O = 236 T = 11.76 (out)(err)	S = N/A O = N/A T = TO (out)(err)
san400_0.7_3.clq.cnf	S = OPT O = 230 T = 14.61	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 266 T = TO (out)(err)	S = N/A O = 235 T = TO (out)(err)	S = OPT O = 230 T = 22.56 (out)(err)	S = OPT O = 230 T = 24.65 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 230 T = 17.98 (out)(err)	S = OPT O = 230 T = 14.61 (out)(err)	S = OPT O = 230 T = 17.37 (out)(err)	S = OPT O = 230 T = 17.30 (out)(err)	S = N/A O = N/A T = TO (out)(err)
san400_0.9_1.clq.cnf	S = OPT O = 304 T = 390.92	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 323 T = TO (out)(err)	S = N/A O = 312 T = TO (out)(err)	S = OPT O = 304 T = 1343.54 (out)(err)	S = OPT O = 304 T = 1446.76 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 304 T = 407.99 (out)(err)	S = OPT O = 304 T = 390.92 (out)(err)	S = OPT O = 304 T = 481.06 (out)(err)	S = OPT O = 304 T = 464.77 (out)(err)	S = N/A O = N/A T = TO (out)(err)
sanr200_0.7.clq.cnf	S = OPT O = 227 T = 8.08	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 275 T = TO (out)(err)	S = N/A O = 234 T = TO (out)(err)	S = OPT O = 227 T = 25.21 (out)(err)	S = OPT O = 227 T = 27.24 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 227 T = 8.08 (out)(err)	S = OPT O = 227 T = 8.08 (out)(err)	S = OPT O = 227 T = 9.64 (out)(err)	S = OPT O = 227 T = 9.40 (out)(err)	S = N/A O = N/A T = TO (out)(err)
sanr200_0.9.clq.cnf	S = OPT O = 300 T = 143.40	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 333 T = TO (out)(err)	S = N/A O = 317 T = TO (out)(err)	S = OPT O = 300 T = 584.97 (out)(err)	S = OPT O = 300 T = 639.64 (out)(err)	S = N/A O = N/A T = 291.32 (out)(err)	S = OPT O = 300 T = 162.66 (out)(err)	S = OPT O = 300 T = 143.40 (out)(err)	S = OPT O = 300 T = 175.10 (out)(err)	S = OPT O = 300 T = 169.40 (out)(err)	S = N/A O = N/A T = TO (out)(err)
sanr400_0.5.clq.cnf	S = OPT O = 148 T = 0.26	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 174 T = TO (out)(err)	S = N/A O = 157 T = TO (out)(err)	S = OPT O = 148 T = 0.29 (out)(err)	S = OPT O = 148 T = 0.36 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 148 T = 0.30 (out)(err)	S = OPT O = 148 T = 0.26 (out)(err)	S = OPT O = 148 T = 0.30 (out)(err)	S = OPT O = 148 T = 0.30 (out)(err)	S = N/A O = N/A T = TO (out)(err)
sanr400_0.7.clq.cnf	S = OPT O = 223 T = 2.70	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 267 T = TO (out)(err)	S = N/A O = 237 T = TO (out)(err)	S = OPT O = 223 T = 5.97 (out)(err)	S = OPT O = 223 T = 7.40 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 223 T = 3.02 (out)(err)	S = OPT O = 223 T = 2.70 (out)(err)	S = OPT O = 223 T = 3.23 (out)(err)	S = OPT O = 223 T = 3.18 (out)(err)	S = N/A O = N/A T = TO (out)(err)
t3pm3-5555.spn.cnf	S = OPT O = 17 T = 0.00	S = OPT O = 17 T = 0.07 (out)(err)	S = OPT O = 17 T = 0.22 (out)(err)	S = N/A O = 21 T = TO (out)(err)	S = OPT O = 17 T = 1.67 (out)(err)	S = OPT O = 17 T = 0.01 (out)(err)	S = OPT O = 17 T = 0.01 (out)(err)	S = OPT O = 17 T = 2.48 (out)(err)	S = OPT O = 17 T = 0.00 (out)(err)	S = OPT O = 17 T = 0.03 (out)(err)	S = OPT O = 17 T = 0.03 (out)(err)	S = OPT O = 17 T = 0.03 (out)(err)	S = OPT O = 17 T = 0.01 (out)(err)
t4pm3-6666.spn.cnf	S = OPT O = 38 T = 0.03	S = OPT O = 38 T = 25.60 (out)(err)	S = OPT O = 38 T = 1723.39 (out)(err)	S = N/A O = 52 T = TO (out)(err)	S = N/A O = 42 T = TO (out)(err)	S = OPT O = 38 T = 0.08 (out)(err)	S = OPT O = 38 T = 0.08 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 38 T = 0.03 (out)(err)	S = OPT O = 38 T = 0.09 (out)(err)	S = OPT O = 38 T = 0.10 (out)(err)	S = OPT O = 38 T = 0.09 (out)(err)	S = OPT O = 38 T = 34.54 (out)(err)
t5pm3-7777.spn.cnf	S = OPT O = 78 T = 15.75	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 118 T = TO (out)(err)	S = N/A O = 103 T = TO (out)(err)	S = OPT O = 78 T = 17.33 (out)(err)	S = OPT O = 78 T = 15.75 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = OPT O = 78 T = 44.38 (out)(err)	S = OPT O = 78 T = 36.72 (out)(err)	S = OPT O = 78 T = 46.78 (out)(err)	S = OPT O = 78 T = 45.00 (out)(err)	S = N/A O = N/A T = 1800.00 (out)(err)
t6pm3-8888.spn.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 218 T = TO (out)(err)	S = N/A O = 197 T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 140 T = TO (out)(err)	S = N/A O = 136 T = TO (out)(err)	S = N/A O = 136 T = TO (out)(err)	S = N/A O = 136 T = TO (out)(err)	S = N/A O = N/A T = 1800.00 (out)(err)
t7pm3-9999.spn.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = 347 T = TO (out)(err)	S = N/A O = 362 T = 306.38 (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = TO (out)(err)	S = N/A O = N/A T = 287.69 (out)(err)	S = N/A O = 241 T = TO (out)(err)	S = N/A O = 209 T = TO (out)(err)	S = N/A O = 209 T = TO (out)(err)	S = N/A O = 209 T = TO (out)(err)	S = N/A O = N/A T = 1800.00 (out)(err)