Benchmark

LabelMeaning
SSolution {OPTIMUM FOUND or OPT | UNSATISFIABLE or UNSAT | UNKNOWN | Not available or N/A}
OBest solution found
TCPU time (TO for Time Out)
(out)(err)Standard output and standard error for each solver

ColorMeaning
TextBest solver column
TextOptimal solution with the best CPU time
TextOptimal solution and finished within the Time Out
TextOptimal solution and did not finish within the Time Out
TextTime Out
TextBuggy 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)