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 IncMaxSatz PM2 QMaxSat0.4-cnf WMaxSatz+ WMaxSatz-2009 WPM1 akmaxsat akmaxsat_ls claspMaxSat sat4j-maxsat wbo1.6-cnf
maxcut-140-630-0.7-1.cnf S = OPT
O = 160
T = 32.47
S = OPT
O = 160
T = 106.18
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 254
T = TO
(out)(err)
S = OPT
O = 160
T = 132.78
(out)(err)
S = OPT
O = 160
T = 119.04
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 160
T = 77.92
(out)(err)
S = OPT
O = 160
T = 32.47
(out)(err)
S = N/A
O = 202
T = TO
(out)(err)
S = N/A
O = 223
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
maxcut-140-630-0.7-10.cnf S = OPT
O = 167
T = 263.99
S = OPT
O = 167
T = 421.52
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 246
T = TO
(out)(err)
S = OPT
O = 167
T = 708.59
(out)(err)
S = OPT
O = 167
T = 646.82
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 167
T = 303.43
(out)(err)
S = OPT
O = 167
T = 263.99
(out)(err)
S = N/A
O = 208
T = TO
(out)(err)
S = N/A
O = 233
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.7-11.cnf S = OPT
O = 170
T = 1007.35
S = OPT
O = 170
T = 1492.93
(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 = 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 = 1007.35
(out)(err)
S = OPT
O = 170
T = 1115.18
(out)(err)
S = N/A
O = 221
T = TO
(out)(err)
S = N/A
O = 246
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.7-12.cnf S = OPT
O = 167
T = 66.38
S = OPT
O = 167
T = 277.11
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 246
T = TO
(out)(err)
S = OPT
O = 167
T = 349.21
(out)(err)
S = OPT
O = 167
T = 316.14
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 167
T = 77.97
(out)(err)
S = OPT
O = 167
T = 66.38
(out)(err)
S = N/A
O = 219
T = TO
(out)(err)
S = N/A
O = 241
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.7-13.cnf S = OPT
O = 169
T = 384.56
S = OPT
O = 169
T = 608.33
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 231
T = TO
(out)(err)
S = OPT
O = 169
T = 1016.77
(out)(err)
S = OPT
O = 169
T = 900.69
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 169
T = 480.41
(out)(err)
S = OPT
O = 169
T = 384.56
(out)(err)
S = N/A
O = 213
T = TO
(out)(err)
S = N/A
O = 233
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.7-14.cnf S = OPT
O = 166
T = 166.50
S = OPT
O = 166
T = 340.63
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 243
T = TO
(out)(err)
S = OPT
O = 166
T = 383.34
(out)(err)
S = OPT
O = 166
T = 345.39
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 166
T = 166.50
(out)(err)
S = OPT
O = 166
T = 179.41
(out)(err)
S = N/A
O = 193
T = TO
(out)(err)
S = N/A
O = 236
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
maxcut-140-630-0.7-15.cnf S = OPT
O = 169
T = 413.17
S = OPT
O = 169
T = 1176.28
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 247
T = TO
(out)(err)
S = OPT
O = 169
T = 896.40
(out)(err)
S = OPT
O = 169
T = 811.17
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 169
T = 521.77
(out)(err)
S = OPT
O = 169
T = 413.17
(out)(err)
S = N/A
O = 217
T = TO
(out)(err)
S = N/A
O = 245
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
maxcut-140-630-0.7-16.cnf S = OPT
O = 167
T = 134.25
S = OPT
O = 167
T = 203.91
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 235
T = TO
(out)(err)
S = OPT
O = 167
T = 338.11
(out)(err)
S = OPT
O = 167
T = 306.83
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 167
T = 187.63
(out)(err)
S = OPT
O = 167
T = 134.25
(out)(err)
S = N/A
O = 222
T = TO
(out)(err)
S = N/A
O = 234
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
maxcut-140-630-0.7-17.cnf S = OPT
O = 166
T = 90.43
S = OPT
O = 166
T = 258.00
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 253
T = TO
(out)(err)
S = OPT
O = 166
T = 299.40
(out)(err)
S = OPT
O = 166
T = 268.95
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 166
T = 102.68
(out)(err)
S = OPT
O = 166
T = 90.43
(out)(err)
S = N/A
O = 222
T = TO
(out)(err)
S = N/A
O = 245
T = TO
(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 = 169.56
S = OPT
O = 166
T = 330.00
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 240
T = TO
(out)(err)
S = OPT
O = 166
T = 561.92
(out)(err)
S = OPT
O = 166
T = 509.18
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 166
T = 273.05
(out)(err)
S = OPT
O = 166
T = 169.56
(out)(err)
S = N/A
O = 221
T = TO
(out)(err)
S = N/A
O = 236
T = TO
(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 = 84.49
S = OPT
O = 167
T = 238.91
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 250
T = TO
(out)(err)
S = OPT
O = 167
T = 440.55
(out)(err)
S = OPT
O = 167
T = 392.75
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 167
T = 93.25
(out)(err)
S = OPT
O = 167
T = 84.49
(out)(err)
S = N/A
O = 222
T = TO
(out)(err)
S = N/A
O = 242
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
maxcut-140-630-0.7-2.cnf S = OPT
O = 160
T = 38.78
S = OPT
O = 160
T = 123.45
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 239
T = TO
(out)(err)
S = OPT
O = 160
T = 89.65
(out)(err)
S = OPT
O = 160
T = 83.78
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 160
T = 61.30
(out)(err)
S = OPT
O = 160
T = 38.78
(out)(err)
S = N/A
O = 214
T = TO
(out)(err)
S = N/A
O = 227
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.7-20.cnf S = OPT
O = 168
T = 102.02
S = OPT
O = 168
T = 283.83
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 233
T = TO
(out)(err)
S = OPT
O = 168
T = 283.59
(out)(err)
S = OPT
O = 168
T = 256.69
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 168
T = 175.90
(out)(err)
S = OPT
O = 168
T = 102.02
(out)(err)
S = N/A
O = 212
T = TO
(out)(err)
S = N/A
O = 241
T = TO
(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 = 135.68
S = OPT
O = 165
T = 199.72
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 250
T = TO
(out)(err)
S = OPT
O = 165
T = 605.26
(out)(err)
S = OPT
O = 165
T = 549.94
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 165
T = 251.16
(out)(err)
S = OPT
O = 165
T = 135.68
(out)(err)
S = N/A
O = 218
T = TO
(out)(err)
S = N/A
O = 241
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.7-22.cnf S = OPT
O = 164
T = 28.20
S = OPT
O = 164
T = 192.52
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 258
T = TO
(out)(err)
S = OPT
O = 164
T = 169.65
(out)(err)
S = OPT
O = 164
T = 153.34
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 164
T = 40.91
(out)(err)
S = OPT
O = 164
T = 28.20
(out)(err)
S = N/A
O = 211
T = TO
(out)(err)
S = N/A
O = 242
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.7-23.cnf S = OPT
O = 165
T = 98.89
S = OPT
O = 165
T = 233.92
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 245
T = TO
(out)(err)
S = OPT
O = 165
T = 321.20
(out)(err)
S = OPT
O = 165
T = 291.69
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 165
T = 110.69
(out)(err)
S = OPT
O = 165
T = 98.89
(out)(err)
S = N/A
O = 207
T = TO
(out)(err)
S = N/A
O = 227
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
maxcut-140-630-0.7-24.cnf S = OPT
O = 166
T = 100.26
S = OPT
O = 166
T = 358.66
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 259
T = TO
(out)(err)
S = OPT
O = 166
T = 425.36
(out)(err)
S = OPT
O = 166
T = 225.98
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 166
T = 211.51
(out)(err)
S = OPT
O = 166
T = 100.26
(out)(err)
S = N/A
O = 223
T = TO
(out)(err)
S = N/A
O = 225
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.7-25.cnf S = OPT
O = 167
T = 123.93
S = OPT
O = 167
T = 439.00
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 249
T = TO
(out)(err)
S = OPT
O = 167
T = 548.25
(out)(err)
S = OPT
O = 167
T = 495.31
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 167
T = 167.49
(out)(err)
S = OPT
O = 167
T = 123.93
(out)(err)
S = N/A
O = 212
T = TO
(out)(err)
S = N/A
O = 220
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.7-26.cnf S = OPT
O = 166
T = 115.49
S = OPT
O = 166
T = 284.56
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 239
T = TO
(out)(err)
S = OPT
O = 166
T = 308.61
(out)(err)
S = OPT
O = 166
T = 280.70
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 166
T = 142.23
(out)(err)
S = OPT
O = 166
T = 115.49
(out)(err)
S = N/A
O = 222
T = TO
(out)(err)
S = N/A
O = 234
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.7-27.cnf S = OPT
O = 165
T = 103.08
S = OPT
O = 165
T = 196.83
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 252
T = TO
(out)(err)
S = OPT
O = 165
T = 421.52
(out)(err)
S = OPT
O = 165
T = 370.22
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 165
T = 108.62
(out)(err)
S = OPT
O = 165
T = 103.08
(out)(err)
S = N/A
O = 211
T = TO
(out)(err)
S = N/A
O = 231
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
maxcut-140-630-0.7-28.cnf S = OPT
O = 167
T = 100.08
S = OPT
O = 167
T = 198.73
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 264
T = TO
(out)(err)
S = OPT
O = 167
T = 269.85
(out)(err)
S = OPT
O = 167
T = 239.31
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 167
T = 134.73
(out)(err)
S = OPT
O = 167
T = 100.08
(out)(err)
S = N/A
O = 222
T = TO
(out)(err)
S = N/A
O = 229
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
maxcut-140-630-0.7-29.cnf S = OPT
O = 166
T = 308.74
S = OPT
O = 166
T = 592.12
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 233
T = TO
(out)(err)
S = OPT
O = 166
T = 956.26
(out)(err)
S = OPT
O = 166
T = 885.14
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 166
T = 434.89
(out)(err)
S = OPT
O = 166
T = 308.74
(out)(err)
S = N/A
O = 219
T = TO
(out)(err)
S = N/A
O = 229
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
maxcut-140-630-0.7-3.cnf S = OPT
O = 168
T = 248.77
S = OPT
O = 168
T = 712.88
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 249
T = TO
(out)(err)
S = OPT
O = 168
T = 781.31
(out)(err)
S = OPT
O = 168
T = 698.02
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 168
T = 275.20
(out)(err)
S = OPT
O = 168
T = 248.77
(out)(err)
S = N/A
O = 218
T = TO
(out)(err)
S = N/A
O = 241
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
maxcut-140-630-0.7-30.cnf S = OPT
O = 167
T = 178.46
S = OPT
O = 167
T = 578.61
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 254
T = TO
(out)(err)
S = OPT
O = 167
T = 354.68
(out)(err)
S = OPT
O = 167
T = 322.64
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 167
T = 211.91
(out)(err)
S = OPT
O = 167
T = 178.46
(out)(err)
S = N/A
O = 219
T = TO
(out)(err)
S = N/A
O = 243
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
maxcut-140-630-0.7-31.cnf S = OPT
O = 170
T = 346.64
S = OPT
O = 170
T = 699.27
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 263
T = TO
(out)(err)
S = OPT
O = 170
T = 820.51
(out)(err)
S = OPT
O = 170
T = 744.57
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 170
T = 346.64
(out)(err)
S = OPT
O = 170
T = 365.33
(out)(err)
S = N/A
O = 220
T = TO
(out)(err)
S = N/A
O = 247
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.7-32.cnf S = OPT
O = 164
T = 79.22
S = OPT
O = 164
T = 214.59
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 253
T = TO
(out)(err)
S = OPT
O = 164
T = 199.90
(out)(err)
S = OPT
O = 164
T = 177.69
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 164
T = 134.68
(out)(err)
S = OPT
O = 164
T = 79.22
(out)(err)
S = N/A
O = 206
T = TO
(out)(err)
S = N/A
O = 228
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.7-33.cnf S = OPT
O = 165
T = 131.84
S = OPT
O = 165
T = 368.20
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 253
T = TO
(out)(err)
S = OPT
O = 165
T = 574.65
(out)(err)
S = OPT
O = 165
T = 511.57
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 165
T = 159.66
(out)(err)
S = OPT
O = 165
T = 131.84
(out)(err)
S = N/A
O = 216
T = TO
(out)(err)
S = N/A
O = 239
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
maxcut-140-630-0.7-34.cnf S = OPT
O = 168
T = 236.74
S = OPT
O = 168
T = 443.67
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 254
T = TO
(out)(err)
S = OPT
O = 168
T = 614.58
(out)(err)
S = OPT
O = 168
T = 567.65
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 168
T = 343.09
(out)(err)
S = OPT
O = 168
T = 236.74
(out)(err)
S = N/A
O = 213
T = TO
(out)(err)
S = N/A
O = 247
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
maxcut-140-630-0.7-35.cnf S = OPT
O = 164
T = 37.36
S = OPT
O = 164
T = 129.02
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 237
T = TO
(out)(err)
S = OPT
O = 164
T = 296.18
(out)(err)
S = OPT
O = 164
T = 268.43
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 164
T = 65.20
(out)(err)
S = OPT
O = 164
T = 37.36
(out)(err)
S = N/A
O = 222
T = TO
(out)(err)
S = N/A
O = 226
T = TO
(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 = 263.03
S = OPT
O = 167
T = 494.40
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 233
T = TO
(out)(err)
S = OPT
O = 167
T = 1038.84
(out)(err)
S = OPT
O = 167
T = 667.85
(out)(err)
S = N/A
O = N/A
T = 405.91
(out)(err)
S = OPT
O = 167
T = 425.02
(out)(err)
S = OPT
O = 167
T = 263.03
(out)(err)
S = N/A
O = 222
T = TO
(out)(err)
S = N/A
O = 233
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.7-37.cnf S = OPT
O = 170
T = 379.52
S = OPT
O = 170
T = 976.88
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 246
T = TO
(out)(err)
S = OPT
O = 170
T = 1089.20
(out)(err)
S = OPT
O = 170
T = 981.08
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 170
T = 504.55
(out)(err)
S = OPT
O = 170
T = 379.52
(out)(err)
S = N/A
O = 218
T = TO
(out)(err)
S = N/A
O = 240
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
maxcut-140-630-0.7-38.cnf S = OPT
O = 167
T = 380.60
S = OPT
O = 167
T = 792.06
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 232
T = TO
(out)(err)
S = OPT
O = 167
T = 1349.51
(out)(err)
S = OPT
O = 167
T = 1137.55
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 167
T = 392.05
(out)(err)
S = OPT
O = 167
T = 380.60
(out)(err)
S = N/A
O = 216
T = TO
(out)(err)
S = N/A
O = 238
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.7-39.cnf S = OPT
O = 163
T = 85.64
S = OPT
O = 163
T = 332.09
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 260
T = TO
(out)(err)
S = OPT
O = 163
T = 365.79
(out)(err)
S = OPT
O = 163
T = 268.22
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 163
T = 137.94
(out)(err)
S = OPT
O = 163
T = 85.64
(out)(err)
S = N/A
O = 219
T = TO
(out)(err)
S = N/A
O = 246
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
maxcut-140-630-0.7-4.cnf S = OPT
O = 167
T = 253.95
S = OPT
O = 167
T = 654.30
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 260
T = TO
(out)(err)
S = OPT
O = 167
T = 557.97
(out)(err)
S = OPT
O = 167
T = 523.93
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 167
T = 302.59
(out)(err)
S = OPT
O = 167
T = 253.95
(out)(err)
S = N/A
O = 218
T = TO
(out)(err)
S = N/A
O = 242
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
maxcut-140-630-0.7-40.cnf S = OPT
O = 167
T = 450.13
S = OPT
O = 167
T = 949.14
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 267
T = TO
(out)(err)
S = OPT
O = 167
T = 1399.50
(out)(err)
S = OPT
O = 167
T = 1275.48
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 167
T = 593.09
(out)(err)
S = OPT
O = 167
T = 450.13
(out)(err)
S = N/A
O = 219
T = TO
(out)(err)
S = N/A
O = 239
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.7-41.cnf S = OPT
O = 161
T = 58.61
S = OPT
O = 161
T = 136.65
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 250
T = TO
(out)(err)
S = OPT
O = 161
T = 278.56
(out)(err)
S = OPT
O = 161
T = 253.75
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 161
T = 73.86
(out)(err)
S = OPT
O = 161
T = 58.61
(out)(err)
S = N/A
O = 220
T = TO
(out)(err)
S = N/A
O = 237
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
maxcut-140-630-0.7-42.cnf S = OPT
O = 161
T = 25.59
S = OPT
O = 161
T = 140.57
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 240
T = TO
(out)(err)
S = OPT
O = 161
T = 66.28
(out)(err)
S = OPT
O = 161
T = 59.28
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 161
T = 52.42
(out)(err)
S = OPT
O = 161
T = 25.59
(out)(err)
S = N/A
O = 212
T = TO
(out)(err)
S = N/A
O = 231
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
maxcut-140-630-0.7-43.cnf S = OPT
O = 164
T = 110.13
S = OPT
O = 164
T = 415.74
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 261
T = TO
(out)(err)
S = OPT
O = 164
T = 239.22
(out)(err)
S = OPT
O = 164
T = 218.23
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 164
T = 134.94
(out)(err)
S = OPT
O = 164
T = 110.13
(out)(err)
S = N/A
O = 217
T = TO
(out)(err)
S = N/A
O = 232
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
maxcut-140-630-0.7-44.cnf S = OPT
O = 163
T = 82.63
S = OPT
O = 163
T = 296.65
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 256
T = TO
(out)(err)
S = OPT
O = 163
T = 391.12
(out)(err)
S = OPT
O = 163
T = 267.42
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 163
T = 113.16
(out)(err)
S = OPT
O = 163
T = 82.63
(out)(err)
S = N/A
O = 223
T = TO
(out)(err)
S = N/A
O = 242
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
maxcut-140-630-0.7-45.cnf S = OPT
O = 168
T = 163.49
S = OPT
O = 168
T = 508.00
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 262
T = TO
(out)(err)
S = OPT
O = 168
T = 605.56
(out)(err)
S = OPT
O = 168
T = 549.08
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 168
T = 296.11
(out)(err)
S = OPT
O = 168
T = 163.49
(out)(err)
S = N/A
O = 222
T = TO
(out)(err)
S = N/A
O = 247
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
maxcut-140-630-0.7-46.cnf S = OPT
O = 168
T = 233.21
S = OPT
O = 168
T = 506.76
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 247
T = TO
(out)(err)
S = OPT
O = 168
T = 574.43
(out)(err)
S = OPT
O = 168
T = 520.38
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 168
T = 273.01
(out)(err)
S = OPT
O = 168
T = 233.21
(out)(err)
S = N/A
O = 219
T = TO
(out)(err)
S = N/A
O = 237
T = TO
(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 = 30.01
S = OPT
O = 160
T = 161.32
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 247
T = TO
(out)(err)
S = OPT
O = 160
T = 155.54
(out)(err)
S = OPT
O = 160
T = 138.51
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 160
T = 30.01
(out)(err)
S = OPT
O = 160
T = 30.45
(out)(err)
S = N/A
O = 212
T = TO
(out)(err)
S = N/A
O = 238
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.7-48.cnf S = OPT
O = 168
T = 129.18
S = OPT
O = 168
T = 379.21
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 255
T = TO
(out)(err)
S = OPT
O = 168
T = 405.04
(out)(err)
S = OPT
O = 168
T = 369.13
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 168
T = 170.69
(out)(err)
S = OPT
O = 168
T = 129.18
(out)(err)
S = N/A
O = 221
T = TO
(out)(err)
S = N/A
O = 239
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.7-49.cnf S = OPT
O = 164
T = 87.18
S = OPT
O = 164
T = 420.99
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 251
T = TO
(out)(err)
S = OPT
O = 164
T = 256.51
(out)(err)
S = OPT
O = 164
T = 233.42
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 164
T = 119.92
(out)(err)
S = OPT
O = 164
T = 87.18
(out)(err)
S = N/A
O = 221
T = TO
(out)(err)
S = N/A
O = 244
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
maxcut-140-630-0.7-5.cnf S = OPT
O = 164
T = 155.83
S = OPT
O = 164
T = 714.55
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 243
T = TO
(out)(err)
S = OPT
O = 164
T = 640.02
(out)(err)
S = OPT
O = 164
T = 569.77
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 164
T = 202.02
(out)(err)
S = OPT
O = 164
T = 155.83
(out)(err)
S = N/A
O = 219
T = TO
(out)(err)
S = N/A
O = 235
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.7-50.cnf S = OPT
O = 167
T = 102.01
S = OPT
O = 167
T = 436.38
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 248
T = TO
(out)(err)
S = OPT
O = 167
T = 292.23
(out)(err)
S = OPT
O = 167
T = 267.37
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 167
T = 102.87
(out)(err)
S = OPT
O = 167
T = 102.01
(out)(err)
S = N/A
O = 221
T = TO
(out)(err)
S = N/A
O = 232
T = TO
(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 = 44.92
S = OPT
O = 162
T = 156.84
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 245
T = TO
(out)(err)
S = OPT
O = 162
T = 161.01
(out)(err)
S = OPT
O = 162
T = 147.83
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 162
T = 58.61
(out)(err)
S = OPT
O = 162
T = 44.92
(out)(err)
S = N/A
O = 219
T = TO
(out)(err)
S = N/A
O = 230
T = TO
(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 = 126.46
S = OPT
O = 164
T = 462.18
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 257
T = TO
(out)(err)
S = OPT
O = 164
T = 448.20
(out)(err)
S = OPT
O = 164
T = 400.95
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 164
T = 146.92
(out)(err)
S = OPT
O = 164
T = 126.46
(out)(err)
S = N/A
O = 218
T = TO
(out)(err)
S = N/A
O = 238
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.7-8.cnf S = OPT
O = 165
T = 160.86
S = OPT
O = 165
T = 370.93
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 253
T = TO
(out)(err)
S = OPT
O = 165
T = 979.31
(out)(err)
S = OPT
O = 165
T = 879.26
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 165
T = 314.79
(out)(err)
S = OPT
O = 165
T = 160.86
(out)(err)
S = N/A
O = 219
T = TO
(out)(err)
S = N/A
O = 245
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
maxcut-140-630-0.7-9.cnf S = OPT
O = 166
T = 182.83
S = OPT
O = 166
T = 571.15
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 237
T = TO
(out)(err)
S = OPT
O = 166
T = 511.70
(out)(err)
S = OPT
O = 166
T = 466.65
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 166
T = 237.54
(out)(err)
S = OPT
O = 166
T = 182.83
(out)(err)
S = N/A
O = 223
T = TO
(out)(err)
S = N/A
O = 236
T = TO
(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 = 129.03
S = OPT
O = 165
T = 414.78
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 254
T = TO
(out)(err)
S = OPT
O = 165
T = 544.23
(out)(err)
S = OPT
O = 165
T = 494.43
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 165
T = 186.17
(out)(err)
S = OPT
O = 165
T = 129.03
(out)(err)
S = N/A
O = 218
T = TO
(out)(err)
S = N/A
O = 247
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.8-10.cnf S = OPT
O = 168
T = 353.87
S = OPT
O = 168
T = 1375.57
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 245
T = TO
(out)(err)
S = OPT
O = 168
T = 1287.64
(out)(err)
S = OPT
O = 168
T = 1157.80
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 168
T = 449.73
(out)(err)
S = OPT
O = 168
T = 353.87
(out)(err)
S = N/A
O = 209
T = TO
(out)(err)
S = N/A
O = 241
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.8-11.cnf S = OPT
O = 168
T = 307.68
S = OPT
O = 168
T = 606.47
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 251
T = TO
(out)(err)
S = OPT
O = 168
T = 903.99
(out)(err)
S = OPT
O = 168
T = 817.87
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 168
T = 331.56
(out)(err)
S = OPT
O = 168
T = 307.68
(out)(err)
S = N/A
O = 220
T = TO
(out)(err)
S = N/A
O = 236
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.8-12.cnf S = OPT
O = 165
T = 86.85
S = OPT
O = 165
T = 171.09
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 236
T = TO
(out)(err)
S = OPT
O = 165
T = 280.99
(out)(err)
S = OPT
O = 165
T = 255.43
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 165
T = 125.40
(out)(err)
S = OPT
O = 165
T = 86.85
(out)(err)
S = N/A
O = 217
T = TO
(out)(err)
S = N/A
O = 235
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.8-13.cnf S = OPT
O = 167
T = 212.55
S = OPT
O = 167
T = 401.46
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 244
T = TO
(out)(err)
S = OPT
O = 167
T = 773.04
(out)(err)
S = OPT
O = 167
T = 695.47
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 167
T = 266.14
(out)(err)
S = OPT
O = 167
T = 212.55
(out)(err)
S = N/A
O = 215
T = TO
(out)(err)
S = N/A
O = 235
T = TO
(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 = 152.38
S = OPT
O = 164
T = 350.74
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 239
T = TO
(out)(err)
S = OPT
O = 164
T = 384.52
(out)(err)
S = OPT
O = 164
T = 352.27
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 164
T = 189.87
(out)(err)
S = OPT
O = 164
T = 152.38
(out)(err)
S = N/A
O = 210
T = TO
(out)(err)
S = N/A
O = 232
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.8-15.cnf S = OPT
O = 166
T = 160.77
S = OPT
O = 166
T = 302.61
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 229
T = TO
(out)(err)
S = OPT
O = 166
T = 512.16
(out)(err)
S = OPT
O = 166
T = 461.74
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 166
T = 234.22
(out)(err)
S = OPT
O = 166
T = 160.77
(out)(err)
S = N/A
O = 217
T = TO
(out)(err)
S = N/A
O = 227
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.8-16.cnf S = OPT
O = 163
T = 79.54
S = OPT
O = 163
T = 181.54
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 254
T = TO
(out)(err)
S = OPT
O = 163
T = 228.22
(out)(err)
S = OPT
O = 163
T = 200.19
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 163
T = 82.25
(out)(err)
S = OPT
O = 163
T = 79.54
(out)(err)
S = N/A
O = 219
T = TO
(out)(err)
S = N/A
O = 233
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
maxcut-140-630-0.8-17.cnf S = OPT
O = 168
T = 120.07
S = OPT
O = 168
T = 286.09
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 250
T = TO
(out)(err)
S = OPT
O = 168
T = 449.81
(out)(err)
S = OPT
O = 168
T = 389.23
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 168
T = 144.66
(out)(err)
S = OPT
O = 168
T = 120.07
(out)(err)
S = N/A
O = 219
T = TO
(out)(err)
S = N/A
O = 237
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.8-18.cnf S = OPT
O = 163
T = 146.37
S = OPT
O = 163
T = 419.73
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 249
T = TO
(out)(err)
S = OPT
O = 163
T = 607.84
(out)(err)
S = OPT
O = 163
T = 544.96
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 163
T = 209.57
(out)(err)
S = OPT
O = 163
T = 146.37
(out)(err)
S = N/A
O = 219
T = TO
(out)(err)
S = N/A
O = 241
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
maxcut-140-630-0.8-19.cnf S = OPT
O = 164
T = 33.90
S = OPT
O = 164
T = 146.81
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 248
T = TO
(out)(err)
S = OPT
O = 164
T = 178.61
(out)(err)
S = OPT
O = 164
T = 127.19
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 164
T = 80.78
(out)(err)
S = OPT
O = 164
T = 33.90
(out)(err)
S = N/A
O = 214
T = TO
(out)(err)
S = N/A
O = 242
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
maxcut-140-630-0.8-2.cnf S = OPT
O = 162
T = 53.90
S = OPT
O = 162
T = 163.97
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 259
T = TO
(out)(err)
S = OPT
O = 162
T = 167.72
(out)(err)
S = OPT
O = 162
T = 147.19
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 162
T = 66.84
(out)(err)
S = OPT
O = 162
T = 53.90
(out)(err)
S = N/A
O = 211
T = TO
(out)(err)
S = N/A
O = 238
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.8-20.cnf S = OPT
O = 165
T = 100.33
S = OPT
O = 165
T = 258.89
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 253
T = TO
(out)(err)
S = OPT
O = 165
T = 456.29
(out)(err)
S = OPT
O = 165
T = 412.20
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 165
T = 146.24
(out)(err)
S = OPT
O = 165
T = 100.33
(out)(err)
S = N/A
O = 215
T = TO
(out)(err)
S = N/A
O = 242
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.8-21.cnf S = OPT
O = 167
T = 57.53
S = OPT
O = 167
T = 231.04
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 242
T = TO
(out)(err)
S = OPT
O = 167
T = 235.03
(out)(err)
S = OPT
O = 167
T = 211.02
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 167
T = 89.51
(out)(err)
S = OPT
O = 167
T = 57.53
(out)(err)
S = N/A
O = 225
T = TO
(out)(err)
S = N/A
O = 234
T = TO
(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 = 152.24
S = OPT
O = 170
T = 305.73
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 242
T = TO
(out)(err)
S = OPT
O = 170
T = 424.98
(out)(err)
S = OPT
O = 170
T = 389.63
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 170
T = 156.21
(out)(err)
S = OPT
O = 170
T = 152.24
(out)(err)
S = N/A
O = 217
T = TO
(out)(err)
S = N/A
O = 242
T = TO
(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 = 411.50
S = OPT
O = 167
T = 623.73
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 251
T = TO
(out)(err)
S = OPT
O = 167
T = 1574.34
(out)(err)
S = OPT
O = 167
T = 1429.57
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 167
T = 411.50
(out)(err)
S = OPT
O = 167
T = 432.64
(out)(err)
S = N/A
O = 209
T = TO
(out)(err)
S = N/A
O = 244
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
maxcut-140-630-0.8-24.cnf S = OPT
O = 165
T = 199.07
S = OPT
O = 165
T = 437.44
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 240
T = TO
(out)(err)
S = OPT
O = 165
T = 954.64
(out)(err)
S = OPT
O = 165
T = 872.84
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 165
T = 424.34
(out)(err)
S = OPT
O = 165
T = 199.07
(out)(err)
S = N/A
O = 217
T = TO
(out)(err)
S = N/A
O = 228
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.8-25.cnf S = OPT
O = 165
T = 187.12
S = OPT
O = 165
T = 298.84
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 263
T = TO
(out)(err)
S = OPT
O = 165
T = 523.51
(out)(err)
S = OPT
O = 165
T = 472.07
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 165
T = 223.65
(out)(err)
S = OPT
O = 165
T = 187.12
(out)(err)
S = N/A
O = 216
T = TO
(out)(err)
S = N/A
O = 220
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.8-26.cnf S = OPT
O = 167
T = 102.35
S = OPT
O = 167
T = 208.70
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 255
T = TO
(out)(err)
S = OPT
O = 167
T = 225.96
(out)(err)
S = OPT
O = 167
T = 205.99
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 167
T = 178.17
(out)(err)
S = OPT
O = 167
T = 102.35
(out)(err)
S = N/A
O = 213
T = TO
(out)(err)
S = N/A
O = 234
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.8-27.cnf S = OPT
O = 168
T = 164.90
S = OPT
O = 168
T = 296.53
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 234
T = TO
(out)(err)
S = OPT
O = 168
T = 578.04
(out)(err)
S = OPT
O = 168
T = 509.64
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 168
T = 248.51
(out)(err)
S = OPT
O = 168
T = 164.90
(out)(err)
S = N/A
O = 215
T = TO
(out)(err)
S = N/A
O = 226
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
maxcut-140-630-0.8-28.cnf S = OPT
O = 168
T = 186.90
S = OPT
O = 168
T = 366.05
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 247
T = TO
(out)(err)
S = OPT
O = 168
T = 596.94
(out)(err)
S = OPT
O = 168
T = 540.90
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 168
T = 215.26
(out)(err)
S = OPT
O = 168
T = 186.90
(out)(err)
S = N/A
O = 222
T = TO
(out)(err)
S = N/A
O = 242
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.8-29.cnf S = OPT
O = 167
T = 140.65
S = OPT
O = 167
T = 608.15
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 241
T = TO
(out)(err)
S = OPT
O = 167
T = 346.56
(out)(err)
S = OPT
O = 167
T = 305.38
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 167
T = 140.65
(out)(err)
S = OPT
O = 167
T = 163.32
(out)(err)
S = N/A
O = 211
T = TO
(out)(err)
S = N/A
O = 230
T = TO
(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 = 39.06
S = OPT
O = 165
T = 145.40
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 248
T = TO
(out)(err)
S = OPT
O = 165
T = 124.75
(out)(err)
S = OPT
O = 165
T = 110.31
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 165
T = 43.68
(out)(err)
S = OPT
O = 165
T = 39.06
(out)(err)
S = N/A
O = 221
T = TO
(out)(err)
S = N/A
O = 233
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
maxcut-140-630-0.8-30.cnf S = OPT
O = 167
T = 158.03
S = OPT
O = 167
T = 577.01
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 264
T = TO
(out)(err)
S = OPT
O = 167
T = 339.68
(out)(err)
S = OPT
O = 167
T = 308.10
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 167
T = 183.12
(out)(err)
S = OPT
O = 167
T = 158.03
(out)(err)
S = N/A
O = 215
T = TO
(out)(err)
S = N/A
O = 243
T = TO
(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 = 62.39
S = OPT
O = 165
T = 172.73
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 246
T = TO
(out)(err)
S = OPT
O = 165
T = 372.90
(out)(err)
S = OPT
O = 165
T = 322.20
(out)(err)
S = N/A
O = N/A
T = 321.79
(out)(err)
S = OPT
O = 165
T = 62.39
(out)(err)
S = OPT
O = 165
T = 70.21
(out)(err)
S = N/A
O = 219
T = TO
(out)(err)
S = N/A
O = 234
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.8-32.cnf S = OPT
O = 164
T = 25.61
S = OPT
O = 164
T = 143.32
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 245
T = TO
(out)(err)
S = OPT
O = 164
T = 81.87
(out)(err)
S = OPT
O = 164
T = 74.29
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 164
T = 80.23
(out)(err)
S = OPT
O = 164
T = 25.61
(out)(err)
S = N/A
O = 216
T = TO
(out)(err)
S = N/A
O = 239
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
maxcut-140-630-0.8-33.cnf S = OPT
O = 163
T = 58.31
S = OPT
O = 163
T = 133.39
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 249
T = TO
(out)(err)
S = OPT
O = 163
T = 139.46
(out)(err)
S = OPT
O = 163
T = 132.98
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 163
T = 98.70
(out)(err)
S = OPT
O = 163
T = 58.31
(out)(err)
S = N/A
O = 216
T = TO
(out)(err)
S = N/A
O = 224
T = TO
(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.14
S = OPT
O = 163
T = 276.82
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 252
T = TO
(out)(err)
S = OPT
O = 163
T = 436.77
(out)(err)
S = OPT
O = 163
T = 395.70
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 163
T = 177.26
(out)(err)
S = OPT
O = 163
T = 107.14
(out)(err)
S = N/A
O = 215
T = TO
(out)(err)
S = N/A
O = 243
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
maxcut-140-630-0.8-35.cnf S = OPT
O = 165
T = 115.73
S = OPT
O = 165
T = 200.43
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 227
T = TO
(out)(err)
S = OPT
O = 165
T = 287.30
(out)(err)
S = OPT
O = 165
T = 262.38
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 165
T = 143.72
(out)(err)
S = OPT
O = 165
T = 115.73
(out)(err)
S = N/A
O = 217
T = TO
(out)(err)
S = N/A
O = 227
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
maxcut-140-630-0.8-36.cnf S = OPT
O = 165
T = 103.74
S = OPT
O = 165
T = 240.78
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 247
T = TO
(out)(err)
S = OPT
O = 165
T = 312.79
(out)(err)
S = OPT
O = 165
T = 318.89
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 165
T = 145.46
(out)(err)
S = OPT
O = 165
T = 103.74
(out)(err)
S = N/A
O = 211
T = TO
(out)(err)
S = N/A
O = 230
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.8-37.cnf S = OPT
O = 167
T = 108.82
S = OPT
O = 167
T = 189.80
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 231
T = TO
(out)(err)
S = OPT
O = 167
T = 292.28
(out)(err)
S = OPT
O = 167
T = 262.22
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 167
T = 124.47
(out)(err)
S = OPT
O = 167
T = 108.82
(out)(err)
S = N/A
O = 210
T = TO
(out)(err)
S = N/A
O = 230
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
maxcut-140-630-0.8-38.cnf S = OPT
O = 160
T = 30.51
S = OPT
O = 160
T = 164.21
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 251
T = TO
(out)(err)
S = OPT
O = 160
T = 114.04
(out)(err)
S = OPT
O = 160
T = 106.03
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 160
T = 50.46
(out)(err)
S = OPT
O = 160
T = 30.51
(out)(err)
S = N/A
O = 220
T = TO
(out)(err)
S = N/A
O = 240
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.8-39.cnf S = OPT
O = 169
T = 161.00
S = OPT
O = 169
T = 445.77
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 252
T = TO
(out)(err)
S = OPT
O = 169
T = 597.14
(out)(err)
S = OPT
O = 169
T = 427.47
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 169
T = 243.29
(out)(err)
S = OPT
O = 169
T = 161.00
(out)(err)
S = N/A
O = 217
T = TO
(out)(err)
S = N/A
O = 229
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
maxcut-140-630-0.8-4.cnf S = OPT
O = 165
T = 61.85
S = OPT
O = 165
T = 232.97
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 276
T = TO
(out)(err)
S = OPT
O = 165
T = 178.28
(out)(err)
S = OPT
O = 165
T = 160.99
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 165
T = 63.49
(out)(err)
S = OPT
O = 165
T = 61.85
(out)(err)
S = N/A
O = 216
T = TO
(out)(err)
S = N/A
O = 240
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.8-40.cnf S = OPT
O = 161
T = 37.72
S = OPT
O = 161
T = 187.01
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 227
T = TO
(out)(err)
S = OPT
O = 161
T = 144.28
(out)(err)
S = OPT
O = 161
T = 131.15
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 161
T = 50.38
(out)(err)
S = OPT
O = 161
T = 37.72
(out)(err)
S = N/A
O = 217
T = TO
(out)(err)
S = N/A
O = 227
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.8-41.cnf S = OPT
O = 163
T = 58.39
S = OPT
O = 163
T = 190.52
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 255
T = TO
(out)(err)
S = OPT
O = 163
T = 339.55
(out)(err)
S = OPT
O = 163
T = 311.59
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 163
T = 77.19
(out)(err)
S = OPT
O = 163
T = 58.39
(out)(err)
S = N/A
O = 220
T = TO
(out)(err)
S = N/A
O = 236
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
maxcut-140-630-0.8-42.cnf S = OPT
O = 164
T = 81.82
S = OPT
O = 164
T = 121.08
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 263
T = TO
(out)(err)
S = OPT
O = 164
T = 211.42
(out)(err)
S = OPT
O = 164
T = 182.12
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 164
T = 121.75
(out)(err)
S = OPT
O = 164
T = 81.82
(out)(err)
S = N/A
O = 208
T = TO
(out)(err)
S = N/A
O = 235
T = TO
(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 = 81.26
S = OPT
O = 165
T = 228.21
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 264
T = TO
(out)(err)
S = OPT
O = 165
T = 293.95
(out)(err)
S = OPT
O = 165
T = 256.48
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 165
T = 93.11
(out)(err)
S = OPT
O = 165
T = 81.26
(out)(err)
S = N/A
O = 218
T = TO
(out)(err)
S = N/A
O = 236
T = TO
(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 = 15.56
S = OPT
O = 160
T = 70.92
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 257
T = TO
(out)(err)
S = OPT
O = 160
T = 87.41
(out)(err)
S = OPT
O = 160
T = 83.21
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 160
T = 23.67
(out)(err)
S = OPT
O = 160
T = 15.56
(out)(err)
S = N/A
O = 218
T = TO
(out)(err)
S = N/A
O = 229
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.8-45.cnf S = OPT
O = 165
T = 27.52
S = OPT
O = 165
T = 83.36
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 240
T = TO
(out)(err)
S = OPT
O = 165
T = 80.52
(out)(err)
S = OPT
O = 165
T = 67.54
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 165
T = 46.74
(out)(err)
S = OPT
O = 165
T = 27.52
(out)(err)
S = N/A
O = 215
T = TO
(out)(err)
S = N/A
O = 235
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
maxcut-140-630-0.8-46.cnf S = OPT
O = 162
T = 80.49
S = OPT
O = 162
T = 191.06
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 238
T = TO
(out)(err)
S = OPT
O = 162
T = 313.49
(out)(err)
S = OPT
O = 162
T = 283.86
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 162
T = 141.75
(out)(err)
S = OPT
O = 162
T = 80.49
(out)(err)
S = N/A
O = 217
T = TO
(out)(err)
S = N/A
O = 228
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.8-47.cnf S = OPT
O = 164
T = 109.28
S = OPT
O = 164
T = 325.09
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 253
T = TO
(out)(err)
S = OPT
O = 164
T = 383.28
(out)(err)
S = OPT
O = 164
T = 342.45
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 164
T = 109.28
(out)(err)
S = OPT
O = 164
T = 122.12
(out)(err)
S = N/A
O = 214
T = TO
(out)(err)
S = N/A
O = 237
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.8-48.cnf S = OPT
O = 164
T = 109.97
S = OPT
O = 164
T = 277.05
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 253
T = TO
(out)(err)
S = OPT
O = 164
T = 243.56
(out)(err)
S = OPT
O = 164
T = 221.62
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 164
T = 110.46
(out)(err)
S = OPT
O = 164
T = 109.97
(out)(err)
S = N/A
O = 210
T = TO
(out)(err)
S = N/A
O = 239
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
maxcut-140-630-0.8-49.cnf S = OPT
O = 166
T = 121.98
S = OPT
O = 166
T = 199.93
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 266
T = TO
(out)(err)
S = OPT
O = 166
T = 368.14
(out)(err)
S = OPT
O = 166
T = 330.43
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 166
T = 174.60
(out)(err)
S = OPT
O = 166
T = 121.98
(out)(err)
S = N/A
O = 215
T = TO
(out)(err)
S = N/A
O = 236
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
maxcut-140-630-0.8-5.cnf S = OPT
O = 164
T = 186.80
S = OPT
O = 164
T = 320.09
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 233
T = TO
(out)(err)
S = OPT
O = 164
T = 805.63
(out)(err)
S = OPT
O = 164
T = 744.14
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 164
T = 298.20
(out)(err)
S = OPT
O = 164
T = 186.80
(out)(err)
S = N/A
O = 219
T = TO
(out)(err)
S = N/A
O = 227
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.8-50.cnf S = OPT
O = 165
T = 64.94
S = OPT
O = 165
T = 281.52
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 258
T = TO
(out)(err)
S = OPT
O = 165
T = 275.18
(out)(err)
S = OPT
O = 165
T = 249.65
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 165
T = 88.36
(out)(err)
S = OPT
O = 165
T = 64.94
(out)(err)
S = N/A
O = 215
T = TO
(out)(err)
S = N/A
O = 237
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
maxcut-140-630-0.8-6.cnf S = OPT
O = 169
T = 639.40
S = OPT
O = 169
T = 821.96
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 246
T = TO
(out)(err)
S = OPT
O = 169
T = 1622.63
(out)(err)
S = OPT
O = 169
T = 1496.95
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 169
T = 778.69
(out)(err)
S = OPT
O = 169
T = 639.40
(out)(err)
S = N/A
O = 217
T = TO
(out)(err)
S = N/A
O = 236
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.8-7.cnf S = OPT
O = 166
T = 141.16
S = OPT
O = 166
T = 325.62
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 235
T = TO
(out)(err)
S = OPT
O = 166
T = 388.29
(out)(err)
S = OPT
O = 166
T = 355.12
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 166
T = 163.77
(out)(err)
S = OPT
O = 166
T = 141.16
(out)(err)
S = N/A
O = 213
T = TO
(out)(err)
S = N/A
O = 226
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
maxcut-140-630-0.8-8.cnf S = OPT
O = 167
T = 143.39
S = OPT
O = 167
T = 400.20
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 252
T = TO
(out)(err)
S = OPT
O = 167
T = 548.81
(out)(err)
S = OPT
O = 167
T = 497.77
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 167
T = 235.29
(out)(err)
S = OPT
O = 167
T = 143.39
(out)(err)
S = N/A
O = 215
T = TO
(out)(err)
S = N/A
O = 238
T = TO
(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.39
S = OPT
O = 165
T = 133.43
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 237
T = TO
(out)(err)
S = OPT
O = 165
T = 231.90
(out)(err)
S = OPT
O = 165
T = 211.61
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 165
T = 68.39
(out)(err)
S = OPT
O = 165
T = 71.19
(out)(err)
S = N/A
O = 216
T = TO
(out)(err)
S = N/A
O = 236
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(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 = N/A
T = TO
(out)(err)
S = N/A
O = 611
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 = 407
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 = N/A
T = TO
(out)(err)
S = N/A
O = 541
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 = 420
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 = N/A
T = TO
(out)(err)
S = N/A
O = 510
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 = N/A
T = TO
(out)(err)
S = N/A
O = 532
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 = 429
T = TO
(out)(err)
S = N/A
O = 438
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
brock200_1.clq.cnf S = OPT
O = 238
T = 11.12
S = OPT
O = 238
T = 19.86
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 287
T = TO
(out)(err)
S = OPT
O = 238
T = 33.62
(out)(err)
S = OPT
O = 238
T = 45.09
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 238
T = 12.26
(out)(err)
S = OPT
O = 238
T = 11.12
(out)(err)
S = N/A
O = 244
T = TO
(out)(err)
S = N/A
O = 265
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
brock200_2.clq.cnf S = OPT
O = 141
T = 0.12
S = OPT
O = 141
T = 0.29
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 190
T = TO
(out)(err)
S = OPT
O = 141
T = 0.30
(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.12
(out)(err)
S = OPT
O = 141
T = 0.17
(out)(err)
S = N/A
O = 146
T = TO
(out)(err)
S = N/A
O = 159
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
brock200_3.clq.cnf S = OPT
O = 214
T = 4.19
S = OPT
O = 214
T = 5.24
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 273
T = TO
(out)(err)
S = OPT
O = 214
T = 11.40
(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.19
(out)(err)
S = N/A
O = 220
T = TO
(out)(err)
S = N/A
O = 236
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
brock200_4.clq.cnf S = OPT
O = 209
T = 2.62
S = OPT
O = 209
T = 3.44
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 334
T = TO
(out)(err)
S = OPT
O = 209
T = 7.79
(out)(err)
S = OPT
O = 209
T = 8.30
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 209
T = 2.90
(out)(err)
S = OPT
O = 209
T = 2.62
(out)(err)
S = N/A
O = 216
T = TO
(out)(err)
S = N/A
O = 232
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
brock400_1.clq.cnf S = OPT
O = 255
T = 27.51
S = OPT
O = 255
T = 37.28
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 389
T = TO
(out)(err)
S = OPT
O = 255
T = 96.15
(out)(err)
S = OPT
O = 255
T = 94.36
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 255
T = 32.71
(out)(err)
S = OPT
O = 255
T = 27.51
(out)(err)
S = N/A
O = 261
T = TO
(out)(err)
S = N/A
O = 272
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
brock400_2.clq.cnf S = OPT
O = 252
T = 17.50
S = OPT
O = 252
T = 31.51
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 357
T = TO
(out)(err)
S = OPT
O = 252
T = 62.98
(out)(err)
S = OPT
O = 252
T = 75.69
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 252
T = 17.50
(out)(err)
S = OPT
O = 252
T = 18.07
(out)(err)
S = N/A
O = 260
T = TO
(out)(err)
S = N/A
O = 276
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
brock400_3.clq.cnf S = OPT
O = 238
T = 9.71
S = OPT
O = 238
T = 13.75
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 330
T = TO
(out)(err)
S = OPT
O = 238
T = 29.86
(out)(err)
S = OPT
O = 238
T = 30.88
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 238
T = 11.91
(out)(err)
S = OPT
O = 238
T = 9.71
(out)(err)
S = N/A
O = 245
T = TO
(out)(err)
S = N/A
O = 260
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
brock400_4.clq.cnf S = OPT
O = 249
T = 13.71
S = OPT
O = 249
T = 16.05
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 327
T = TO
(out)(err)
S = OPT
O = 249
T = 46.28
(out)(err)
S = OPT
O = 249
T = 48.65
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 249
T = 15.35
(out)(err)
S = OPT
O = 249
T = 13.71
(out)(err)
S = N/A
O = 256
T = TO
(out)(err)
S = N/A
O = 274
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
brock800_1.clq.cnf S = OPT
O = 205
T = 1.80
S = OPT
O = 205
T = 2.42
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 294
T = TO
(out)(err)
S = OPT
O = 205
T = 4.79
(out)(err)
S = OPT
O = 205
T = 4.48
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 205
T = 2.00
(out)(err)
S = OPT
O = 205
T = 1.80
(out)(err)
S = N/A
O = 213
T = TO
(out)(err)
S = N/A
O = 229
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
brock800_2.clq.cnf S = OPT
O = 207
T = 2.43
S = OPT
O = 207
T = 3.31
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 301
T = TO
(out)(err)
S = OPT
O = 207
T = 6.53
(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.90
(out)(err)
S = OPT
O = 207
T = 2.43
(out)(err)
S = N/A
O = 215
T = TO
(out)(err)
S = N/A
O = 230
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
brock800_3.clq.cnf S = OPT
O = 203
T = 1.73
S = OPT
O = 203
T = 3.98
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 356
T = TO
(out)(err)
S = OPT
O = 203
T = 3.90
(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.78
(out)(err)
S = OPT
O = 203
T = 1.73
(out)(err)
S = N/A
O = 213
T = TO
(out)(err)
S = N/A
O = 230
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
brock800_4.clq.cnf S = OPT
O = 200
T = 1.52
S = OPT
O = 200
T = 2.81
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 316
T = TO
(out)(err)
S = OPT
O = 200
T = 4.75
(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.42
(out)(err)
S = OPT
O = 200
T = 1.52
(out)(err)
S = N/A
O = 206
T = TO
(out)(err)
S = N/A
O = 225
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
c-fat200-1.clq.cnf S = OPT
O = 4
T = 0.00
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.00
(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.01
(out)(err)
S = OPT
O = 4
T = 1.14
(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.00
(out)(err)
S = OPT
O = 26
T = 0.07
(out)(err)
S = OPT
O = 26
T = 74.07
(out)(err)
S = OPT
O = 26
T = 0.01
(out)(err)
S = OPT
O = 26
T = 0.01
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 26
T = 0.00
(out)(err)
S = OPT
O = 26
T = 0.04
(out)(err)
S = N/A
O = 28
T = TO
(out)(err)
S = N/A
O = 28
T = TO
(out)(err)
S = OPT
O = 26
T = 0.02
(out)(err)
c-fat200-5.clq.cnf S = OPT
O = 116
T = 0.20
S = OPT
O = 116
T = 0.27
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 170
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.20
(out)(err)
S = N/A
O = 118
T = TO
(out)(err)
S = N/A
O = 117
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(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.00
(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.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.00
(out)(err)
S = OPT
O = 2
T = 0.57
(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 = 274
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.04
(out)(err)
S = OPT
O = 24
T = 0.06
(out)(err)
S = OPT
O = 24
T = 15.31
(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 = N/A
O = 24
T = TO
(out)(err)
S = N/A
O = 24
T = TO
(out)(err)
S = OPT
O = 24
T = 0.01
(out)(err)
c-fat500-5.clq.cnf S = OPT
O = 90
T = 14.96
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 90
T = 14.96
(out)(err)
S = N/A
O = 115
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 = 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 = N/A
T = TO
(out)(err)
S = N/A
O = 456
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 = 402
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
hamming10-4.clq.cnf S = OPT
O = 319
T = 396.23
S = OPT
O = 319
T = 524.62
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 459
T = TO
(out)(err)
S = OPT
O = 319
T = 1056.92
(out)(err)
S = OPT
O = 319
T = 1161.48
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 319
T = 428.76
(out)(err)
S = OPT
O = 319
T = 396.23
(out)(err)
S = N/A
O = 327
T = TO
(out)(err)
S = N/A
O = 340
T = TO
(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 = 1081
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 = 850
T = TO
(out)(err)
S = N/A
O = 832
T = TO
(out)(err)
S = N/A
O = 867
T = TO
(out)(err)
S = N/A
O = 954
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
hamming6-4.clq.cnf S = OPT
O = 192
T = 0.17
S = OPT
O = 192
T = 0.49
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 348
T = TO
(out)(err)
S = OPT
O = 192
T = 0.22
(out)(err)
S = OPT
O = 192
T = 0.20
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 192
T = 0.17
(out)(err)
S = OPT
O = 192
T = 0.23
(out)(err)
S = N/A
O = 242
T = TO
(out)(err)
S = N/A
O = 286
T = TO
(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 = N/A
T = TO
(out)(err)
S = N/A
O = 531
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 = 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 = 1800.00
(out)(err)
hamming8-4.clq.cnf S = OPT
O = 176
T = 0.11
S = OPT
O = 176
T = 0.35
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 266
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 = N/A
O = 181
T = TO
(out)(err)
S = N/A
O = 206
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
johnson16-2-4.clq.cnf S = OPT
O = 215
T = 0.22
S = OPT
O = 215
T = 0.49
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 298
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.22
(out)(err)
S = OPT
O = 215
T = 0.23
(out)(err)
S = N/A
O = 228
T = TO
(out)(err)
S = N/A
O = 237
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
johnson32-2-4.clq.cnf S = OPT
O = 329
T = 82.91
S = OPT
O = 329
T = 118.94
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 502
T = TO
(out)(err)
S = OPT
O = 329
T = 235.98
(out)(err)
S = OPT
O = 329
T = 249.49
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 329
T = 82.91
(out)(err)
S = OPT
O = 329
T = 89.58
(out)(err)
S = N/A
O = 342
T = TO
(out)(err)
S = N/A
O = 355
T = TO
(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 = 0.02
(out)(err)
S = OPT
O = 75
T = 602.93
(out)(err)
S = OPT
O = 75
T = 1089.10
(out)(err)
S = OPT
O = 75
T = 0.03
(out)(err)
S = OPT
O = 75
T = 0.04
(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 = N/A
O = 75
T = TO
(out)(err)
S = N/A
O = 75
T = TO
(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 = N/A
T = TO
(out)(err)
S = N/A
O = 1096
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 = 848
T = TO
(out)(err)
S = N/A
O = 872
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 = OPT
O = 199
T = 0.28
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 379
T = TO
(out)(err)
S = OPT
O = 199
T = 0.15
(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.11
(out)(err)
S = N/A
O = 219
T = TO
(out)(err)
S = N/A
O = 242
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
keller5.clq.cnf S = OPT
O = 250
T = 3.63
S = OPT
O = 250
T = 8.74
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 371
T = TO
(out)(err)
S = OPT
O = 250
T = 9.91
(out)(err)
S = OPT
O = 250
T = 11.86
(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 = 3.63
(out)(err)
S = N/A
O = 262
T = TO
(out)(err)
S = N/A
O = 283
T = TO
(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 = 0.01
(out)(err)
S = OPT
O = 52
T = 21.71
(out)(err)
S = OPT
O = 52
T = 927.12
(out)(err)
S = OPT
O = 52
T = 0.01
(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 = N/A
O = 52
T = TO
(out)(err)
S = N/A
O = 52
T = TO
(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 = OPT
O = 142
T = 0.33
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 183
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.23
(out)(err)
S = N/A
O = 146
T = TO
(out)(err)
S = N/A
O = 153
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
p_hat1000-3.clq.cnf S = OPT
O = 238
T = 6.60
S = OPT
O = 238
T = 9.29
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 360
T = TO
(out)(err)
S = OPT
O = 238
T = 16.57
(out)(err)
S = OPT
O = 238
T = 22.36
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 238
T = 8.75
(out)(err)
S = OPT
O = 238
T = 6.60
(out)(err)
S = N/A
O = 245
T = TO
(out)(err)
S = N/A
O = 266
T = TO
(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 = 0.01
(out)(err)
S = OPT
O = 49
T = 30.90
(out)(err)
S = OPT
O = 49
T = 303.03
(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 = N/A
O = 50
T = TO
(out)(err)
S = N/A
O = 50
T = TO
(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 = OPT
O = 135
T = 0.12
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 197
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 = N/A
O = 140
T = TO
(out)(err)
S = N/A
O = 145
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
p_hat300-3.clq.cnf S = OPT
O = 269
T = 21.96
S = OPT
O = 269
T = 31.19
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 386
T = TO
(out)(err)
S = OPT
O = 269
T = 52.10
(out)(err)
S = OPT
O = 269
T = 55.10
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 269
T = 23.83
(out)(err)
S = OPT
O = 269
T = 21.96
(out)(err)
S = N/A
O = 276
T = TO
(out)(err)
S = N/A
O = 295
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
p_hat500-1.clq.cnf S = OPT
O = 75
T = 0.02
S = OPT
O = 75
T = 0.02
(out)(err)
S = N/A
O = 75
T = TO
(out)(err)
S = N/A
O = 85
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 = N/A
O = 77
T = TO
(out)(err)
S = N/A
O = 79
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
p_hat500-2.clq.cnf S = OPT
O = 176
T = 0.38
S = OPT
O = 176
T = 0.74
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 257
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.41
(out)(err)
S = OPT
O = 176
T = 0.38
(out)(err)
S = N/A
O = 180
T = TO
(out)(err)
S = N/A
O = 194
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
p_hat500-3.clq.cnf S = OPT
O = 284
T = 57.52
S = OPT
O = 284
T = 99.44
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 377
T = TO
(out)(err)
S = OPT
O = 284
T = 190.88
(out)(err)
S = OPT
O = 284
T = 196.56
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 284
T = 62.50
(out)(err)
S = OPT
O = 284
T = 57.52
(out)(err)
S = N/A
O = 291
T = TO
(out)(err)
S = N/A
O = 311
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
p_hat700-1.clq.cnf S = OPT
O = 63
T = 0.01
S = OPT
O = 63
T = 0.01
(out)(err)
S = OPT
O = 63
T = 106.03
(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 = N/A
O = 64
T = TO
(out)(err)
S = N/A
O = 63
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
p_hat700-2.clq.cnf S = OPT
O = 154
T = 0.15
S = OPT
O = 154
T = 0.27
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 239
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 = N/A
O = 160
T = TO
(out)(err)
S = N/A
O = 167
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
p_hat700-3.clq.cnf S = OPT
O = 267
T = 13.51
S = OPT
O = 267
T = 41.82
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 328
T = TO
(out)(err)
S = OPT
O = 267
T = 45.80
(out)(err)
S = OPT
O = 267
T = 68.53
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 267
T = 14.00
(out)(err)
S = OPT
O = 267
T = 13.51
(out)(err)
S = N/A
O = 275
T = TO
(out)(err)
S = N/A
O = 286
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
san1000.clq.cnf S = OPT
O = 139
T = 0.12
S = OPT
O = 139
T = 0.26
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 242
T = TO
(out)(err)
S = OPT
O = 139
T = 0.27
(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 = N/A
O = 143
T = TO
(out)(err)
S = N/A
O = 146
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
san200_0.7_1.clq.cnf S = OPT
O = 237
T = 19.29
S = OPT
O = 237
T = 37.73
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 318
T = TO
(out)(err)
S = OPT
O = 237
T = 62.39
(out)(err)
S = OPT
O = 237
T = 67.12
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 237
T = 21.96
(out)(err)
S = OPT
O = 237
T = 19.29
(out)(err)
S = N/A
O = 241
T = TO
(out)(err)
S = N/A
O = 260
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
san200_0.7_2.clq.cnf S = OPT
O = 236
T = 8.41
S = OPT
O = 236
T = 11.58
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 340
T = TO
(out)(err)
S = OPT
O = 236
T = 20.94
(out)(err)
S = OPT
O = 236
T = 23.07
(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 = 8.41
(out)(err)
S = N/A
O = 243
T = TO
(out)(err)
S = N/A
O = 259
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
san200_0.9_1.clq.cnf S = OPT
O = 313
T = 419.31
S = OPT
O = 313
T = 692.68
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 466
T = TO
(out)(err)
S = OPT
O = 313
T = 1309.52
(out)(err)
S = OPT
O = 313
T = 1461.31
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 313
T = 419.31
(out)(err)
S = OPT
O = 313
T = 471.28
(out)(err)
S = N/A
O = 320
T = TO
(out)(err)
S = N/A
O = 331
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
san200_0.9_2.clq.cnf S = OPT
O = 316
T = 495.27
S = OPT
O = 316
T = 708.68
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 383
T = TO
(out)(err)
S = OPT
O = 316
T = 1475.29
(out)(err)
S = OPT
O = 316
T = 1667.26
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 316
T = 495.27
(out)(err)
S = OPT
O = 316
T = 504.27
(out)(err)
S = N/A
O = 322
T = TO
(out)(err)
S = N/A
O = 334
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
san200_0.9_3.clq.cnf S = OPT
O = 320
T = 575.92
S = OPT
O = 320
T = 858.12
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 521
T = TO
(out)(err)
S = OPT
O = 320
T = 1431.76
(out)(err)
S = OPT
O = 320
T = 1604.20
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 320
T = 575.92
(out)(err)
S = OPT
O = 320
T = 577.68
(out)(err)
S = N/A
O = 325
T = TO
(out)(err)
S = N/A
O = 340
T = TO
(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 = OPT
O = 146
T = 0.28
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 198
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.26
(out)(err)
S = N/A
O = 148
T = TO
(out)(err)
S = N/A
O = 156
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
san400_0.7_1.clq.cnf S = OPT
O = 236
T = 15.65
S = OPT
O = 236
T = 18.85
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 333
T = TO
(out)(err)
S = OPT
O = 236
T = 43.75
(out)(err)
S = OPT
O = 236
T = 46.36
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 236
T = 17.14
(out)(err)
S = OPT
O = 236
T = 15.65
(out)(err)
S = N/A
O = 244
T = TO
(out)(err)
S = N/A
O = 260
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
san400_0.7_2.clq.cnf S = OPT
O = 236
T = 9.75
S = OPT
O = 236
T = 11.76
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 327
T = TO
(out)(err)
S = OPT
O = 236
T = 37.24
(out)(err)
S = OPT
O = 236
T = 24.56
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 236
T = 12.47
(out)(err)
S = OPT
O = 236
T = 9.75
(out)(err)
S = N/A
O = 246
T = TO
(out)(err)
S = N/A
O = 259
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
san400_0.7_3.clq.cnf S = OPT
O = 230
T = 10.96
S = OPT
O = 230
T = 14.38
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 331
T = TO
(out)(err)
S = OPT
O = 230
T = 22.63
(out)(err)
S = OPT
O = 230
T = 24.59
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 230
T = 18.06
(out)(err)
S = OPT
O = 230
T = 10.96
(out)(err)
S = N/A
O = 236
T = TO
(out)(err)
S = N/A
O = 255
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
san400_0.9_1.clq.cnf S = OPT
O = 304
T = 404.30
S = OPT
O = 304
T = 635.77
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 426
T = TO
(out)(err)
S = OPT
O = 304
T = 1348.36
(out)(err)
S = OPT
O = 304
T = 1451.43
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 304
T = 404.30
(out)(err)
S = OPT
O = 304
T = 440.58
(out)(err)
S = N/A
O = 309
T = TO
(out)(err)
S = N/A
O = 317
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
sanr200_0.7.clq.cnf S = OPT
O = 227
T = 7.33
S = OPT
O = 227
T = 11.69
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 333
T = TO
(out)(err)
S = OPT
O = 227
T = 25.18
(out)(err)
S = OPT
O = 227
T = 27.36
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 227
T = 8.07
(out)(err)
S = OPT
O = 227
T = 7.33
(out)(err)
S = N/A
O = 232
T = TO
(out)(err)
S = N/A
O = 250
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
sanr200_0.9.clq.cnf S = OPT
O = 300
T = 159.22
S = OPT
O = 300
T = 238.65
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 456
T = TO
(out)(err)
S = OPT
O = 300
T = 585.65
(out)(err)
S = OPT
O = 300
T = 637.33
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 300
T = 162.98
(out)(err)
S = OPT
O = 300
T = 159.22
(out)(err)
S = N/A
O = 307
T = TO
(out)(err)
S = N/A
O = 319
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
sanr400_0.5.clq.cnf S = OPT
O = 148
T = 0.21
S = OPT
O = 148
T = 0.34
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 192
T = TO
(out)(err)
S = OPT
O = 148
T = 0.30
(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.21
(out)(err)
S = N/A
O = 152
T = TO
(out)(err)
S = N/A
O = 167
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
sanr400_0.7.clq.cnf S = OPT
O = 223
T = 2.67
S = OPT
O = 223
T = 4.01
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 318
T = TO
(out)(err)
S = OPT
O = 223
T = 5.98
(out)(err)
S = OPT
O = 223
T = 7.41
(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.67
(out)(err)
S = N/A
O = 233
T = TO
(out)(err)
S = N/A
O = 249
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)
t3pm3-5555.spn.cnf S = OPT
O = 17
T = 0.00
S = OPT
O = 17
T = 0.00
(out)(err)
S = OPT
O = 17
T = 0.03
(out)(err)
S = OPT
O = 17
T = 0.46
(out)(err)
S = OPT
O = 17
T = 0.01
(out)(err)
S = OPT
O = 17
T = 0.01
(out)(err)
S = N/A
O = N/A
T = TO
(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 = 46.75
(out)(err)
S = OPT
O = 17
T = 51.17
(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 = 0.12
(out)(err)
S = OPT
O = 38
T = 7.61
(out)(err)
S = N/A
O = 40
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.10
(out)(err)
S = N/A
O = 46
T = TO
(out)(err)
S = N/A
O = 50
T = TO
(out)(err)
S = OPT
O = 38
T = 8.06
(out)(err)
t5pm3-7777.spn.cnf S = OPT
O = 78
T = 15.80
S = OPT
O = 78
T = 85.97
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 132
T = TO
(out)(err)
S = OPT
O = 78
T = 17.22
(out)(err)
S = OPT
O = 78
T = 15.80
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 78
T = 44.49
(out)(err)
S = OPT
O = 78
T = 36.18
(out)(err)
S = N/A
O = 112
T = TO
(out)(err)
S = N/A
O = 116
T = TO
(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 = 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 = 204
T = TO
(out)(err)
S = N/A
O = 206
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(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 = 349
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 = 241
T = TO
(out)(err)
S = N/A
O = 209
T = TO
(out)(err)
S = N/A
O = 329
T = TO
(out)(err)
S = N/A
O = 333
T = TO
(out)(err)
S = N/A
O = N/A
T = 1800.00
(out)(err)