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 for Complete SolversMeaning for Incomplete Solvers
TextBest solver columnBest solver column
TextOptimal solution with the best CPU timeBest solution with the best CPU time
TextOptimal solution and finished within the Time OutBest solution without the best CPU time
TextOptimal solution and did not finish within the Time OutSolution found but not the best
TextTime OutTime Out
TextBuggy solutionBuggy solution

Instance file name Best solver CCLS SAT4Jms-ext-i SAT4Jms-int-i iraNovelty++ optimax-it
maxcut-140-630-0.7-1.cnf O = 160
T = 3.51		 O = 160
T = 3.51
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 160
T = 37.52
(out)(err)		 O = 251
T = 0.11
(out)(err)
maxcut-140-630-0.7-10.cnf O = 167
T = 3.40		 O = 167
T = 3.40
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 169
T = 71.89
(out)(err)		 O = 248
T = 0.09
(out)(err)
maxcut-140-630-0.7-11.cnf O = 170
T = 2.91		 O = 170
T = 2.91
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 171
T = 189.19
(out)(err)		 O = 231
T = 0.12
(out)(err)
maxcut-140-630-0.7-12.cnf O = 167
T = 3.41		 O = 167
T = 3.41
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 167
T = 27.89
(out)(err)		 O = 258
T = 0.12
(out)(err)
maxcut-140-630-0.7-13.cnf O = 169
T = 3.32		 O = 169
T = 3.32
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 169
T = 13.83
(out)(err)		 O = 258
T = 0.13
(out)(err)
maxcut-140-630-0.7-14.cnf O = 166
T = 3.35		 O = 166
T = 3.35
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 167
T = 23.45
(out)(err)		 O = 247
T = 0.10
(out)(err)
maxcut-140-630-0.7-15.cnf O = 169
T = 2.93		 O = 169
T = 2.93
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 169
T = 223.30
(out)(err)		 O = 260
T = 0.12
(out)(err)
maxcut-140-630-0.7-16.cnf O = 167
T = 3.40		 O = 167
T = 3.40
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 167
T = 61.87
(out)(err)		 O = 255
T = 0.13
(out)(err)
maxcut-140-630-0.7-17.cnf O = 166
T = 3.22		 O = 166
T = 3.22
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 168
T = 106.36
(out)(err)		 O = 256
T = 0.09
(out)(err)
maxcut-140-630-0.7-18.cnf O = 166
T = 1.90		 O = 166
T = 1.90
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 167
T = 170.78
(out)(err)		 O = 242
T = 0.11
(out)(err)
maxcut-140-630-0.7-19.cnf O = 167
T = 3.01		 O = 167
T = 3.01
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 167
T = 88.84
(out)(err)		 O = 251
T = 0.08
(out)(err)
maxcut-140-630-0.7-2.cnf O = 160
T = 1.63		 O = 160
T = 1.92
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 160
T = 1.63
(out)(err)		 O = 259
T = 0.12
(out)(err)
maxcut-140-630-0.7-20.cnf O = 168
T = 3.49		 O = 168
T = 3.49
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 169
T = 41.73
(out)(err)		 O = 267
T = 0.09
(out)(err)
maxcut-140-630-0.7-21.cnf O = 165
T = 3.17		 O = 165
T = 3.17
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 166
T = 4.79
(out)(err)		 O = 236
T = 0.12
(out)(err)
maxcut-140-630-0.7-22.cnf O = 164
T = 3.29		 O = 164
T = 3.29
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 165
T = 69.97
(out)(err)		 O = 274
T = 0.08
(out)(err)
maxcut-140-630-0.7-23.cnf O = 165
T = 3.40		 O = 165
T = 3.40
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 165
T = 215.60
(out)(err)		 O = 255
T = 0.13
(out)(err)
maxcut-140-630-0.7-24.cnf O = 166
T = 3.09		 O = 166
T = 3.09
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 167
T = 168.89
(out)(err)		 O = 246
T = 0.12
(out)(err)
maxcut-140-630-0.7-25.cnf O = 167
T = 3.17		 O = 167
T = 3.17
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 169
T = 45.31
(out)(err)		 O = 260
T = 0.13
(out)(err)
maxcut-140-630-0.7-26.cnf O = 166
T = 3.31		 O = 166
T = 3.31
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 166
T = 181.34
(out)(err)		 O = 231
T = 0.09
(out)(err)
maxcut-140-630-0.7-27.cnf O = 165
T = 2.83		 O = 165
T = 2.83
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 165
T = 13.93
(out)(err)		 O = 250
T = 0.11
(out)(err)
maxcut-140-630-0.7-28.cnf O = 167
T = 1.82		 O = 167
T = 1.82
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 168
T = 13.98
(out)(err)		 O = 262
T = 0.09
(out)(err)
maxcut-140-630-0.7-29.cnf O = 166
T = 2.13		 O = 166
T = 2.13
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 167
T = 192.81
(out)(err)		 O = 258
T = 0.12
(out)(err)
maxcut-140-630-0.7-3.cnf O = 168
T = 2.35		 O = 168
T = 2.35
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 168
T = 125.55
(out)(err)		 O = 259
T = 0.08
(out)(err)
maxcut-140-630-0.7-30.cnf O = 167
T = 2.95		 O = 167
T = 2.95
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 167
T = 24.25
(out)(err)		 O = 256
T = 0.10
(out)(err)
maxcut-140-630-0.7-31.cnf O = 170
T = 2.28		 O = 170
T = 2.28
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 171
T = 153.73
(out)(err)		 O = 257
T = 0.08
(out)(err)
maxcut-140-630-0.7-32.cnf O = 164
T = 2.81		 O = 164
T = 2.81
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 166
T = 9.51
(out)(err)		 O = 273
T = 0.13
(out)(err)
maxcut-140-630-0.7-33.cnf O = 165
T = 2.82		 O = 165
T = 2.82
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 165
T = 50.38
(out)(err)		 O = 248
T = 0.13
(out)(err)
maxcut-140-630-0.7-34.cnf O = 168
T = 3.08		 O = 168
T = 3.08
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 168
T = 74.66
(out)(err)		 O = 259
T = 0.08
(out)(err)
maxcut-140-630-0.7-35.cnf O = 164
T = 2.89		 O = 164
T = 2.89
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 164
T = 27.78
(out)(err)		 O = 254
T = 0.11
(out)(err)
maxcut-140-630-0.7-36.cnf O = 167
T = 3.36		 O = 167
T = 3.36
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 168
T = 114.54
(out)(err)		 O = 237
T = 0.11
(out)(err)
maxcut-140-630-0.7-37.cnf O = 170
T = 2.81		 O = 170
T = 2.81
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 171
T = 88.27
(out)(err)		 O = 273
T = 0.13
(out)(err)
maxcut-140-630-0.7-38.cnf O = 167
T = 2.76		 O = 167
T = 2.76
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 167
T = 5.09
(out)(err)		 O = 235
T = 0.12
(out)(err)
maxcut-140-630-0.7-39.cnf O = 163
T = 2.70		 O = 163
T = 2.70
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 163
T = 18.67
(out)(err)		 O = 237
T = 0.13
(out)(err)
maxcut-140-630-0.7-4.cnf O = 167
T = 2.66		 O = 167
T = 2.66
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 167
T = 32.83
(out)(err)		 O = 248
T = 0.10
(out)(err)
maxcut-140-630-0.7-40.cnf O = 167
T = 2.73		 O = 167
T = 2.73
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 167
T = 9.77
(out)(err)		 O = 258
T = 0.12
(out)(err)
maxcut-140-630-0.7-41.cnf O = 161
T = 2.39		 O = 161
T = 2.39
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 161
T = 119.81
(out)(err)		 O = 248
T = 0.10
(out)(err)
maxcut-140-630-0.7-42.cnf O = 161
T = 2.83		 O = 161
T = 2.83
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 161
T = 75.83
(out)(err)		 O = 239
T = 0.14
(out)(err)
maxcut-140-630-0.7-43.cnf O = 164
T = 3.31		 O = 164
T = 3.31
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 164
T = 5.36
(out)(err)		 O = 268
T = 0.14
(out)(err)
maxcut-140-630-0.7-44.cnf O = 163
T = 3.61		 O = 163
T = 3.61
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 163
T = 55.66
(out)(err)		 O = 258
T = 0.14
(out)(err)
maxcut-140-630-0.7-45.cnf O = 168
T = 3.31		 O = 168
T = 3.31
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 168
T = 28.64
(out)(err)		 O = 234
T = 0.09
(out)(err)
maxcut-140-630-0.7-46.cnf O = 168
T = 3.79		 O = 168
T = 3.79
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 169
T = 9.51
(out)(err)		 O = 258
T = 0.14
(out)(err)
maxcut-140-630-0.7-47.cnf O = 160
T = 3.40		 O = 160
T = 3.40
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 160
T = 4.97
(out)(err)		 O = 257
T = 0.10
(out)(err)
maxcut-140-630-0.7-48.cnf O = 168
T = 2.95		 O = 168
T = 2.95
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 168
T = 10.61
(out)(err)		 O = 265
T = 0.09
(out)(err)
maxcut-140-630-0.7-49.cnf O = 164
T = 3.43		 O = 164
T = 3.43
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 165
T = 4.92
(out)(err)		 O = 251
T = 0.09
(out)(err)
maxcut-140-630-0.7-5.cnf O = 164
T = 3.01		 O = 164
T = 3.01
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 164
T = 234.50
(out)(err)		 O = 269
T = 0.12
(out)(err)
maxcut-140-630-0.7-50.cnf O = 167
T = 3.29		 O = 167
T = 3.29
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 167
T = 88.99
(out)(err)		 O = 230
T = 0.12
(out)(err)
maxcut-140-630-0.7-6.cnf O = 162
T = 1.85		 O = 162
T = 1.85
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 162
T = 5.04
(out)(err)		 O = 255
T = 0.13
(out)(err)
maxcut-140-630-0.7-7.cnf O = 164
T = 2.18		 O = 164
T = 2.18
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 165
T = 23.22
(out)(err)		 O = 242
T = 0.09
(out)(err)
maxcut-140-630-0.7-8.cnf O = 165
T = 2.24		 O = 165
T = 2.24
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 165
T = 46.63
(out)(err)		 O = 248
T = 0.14
(out)(err)
maxcut-140-630-0.7-9.cnf O = 166
T = 2.47		 O = 166
T = 2.47
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 166
T = 113.99
(out)(err)		 O = 249
T = 0.13
(out)(err)
maxcut-140-630-0.8-1.cnf O = 165
T = 2.79		 O = 165
T = 2.79
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 165
T = 9.11
(out)(err)		 O = 264
T = 0.11
(out)(err)
maxcut-140-630-0.8-10.cnf O = 168
T = 3.25		 O = 168
T = 3.25
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 168
T = 57.59
(out)(err)		 O = 254
T = 0.13
(out)(err)
maxcut-140-630-0.8-11.cnf O = 168
T = 2.02		 O = 168
T = 2.02
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 169
T = 192.85
(out)(err)		 O = 258
T = 0.09
(out)(err)
maxcut-140-630-0.8-12.cnf O = 165
T = 2.62		 O = 165
T = 2.62
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 166
T = 152.76
(out)(err)		 O = 258
T = 0.12
(out)(err)
maxcut-140-630-0.8-13.cnf O = 167
T = 1.78		 O = 167
T = 1.78
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 167
T = 14.42
(out)(err)		 O = 236
T = 0.13
(out)(err)
maxcut-140-630-0.8-14.cnf O = 164
T = 2.24		 O = 164
T = 2.24
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 164
T = 18.55
(out)(err)		 O = 258
T = 0.13
(out)(err)
maxcut-140-630-0.8-15.cnf O = 166
T = 2.11		 O = 166
T = 2.11
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 167
T = 23.32
(out)(err)		 O = 276
T = 0.08
(out)(err)
maxcut-140-630-0.8-16.cnf O = 163
T = 1.91		 O = 163
T = 1.91
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 165
T = 13.89
(out)(err)		 O = 248
T = 0.09
(out)(err)
maxcut-140-630-0.8-17.cnf O = 168
T = 2.37		 O = 168
T = 2.37
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 168
T = 23.32
(out)(err)		 O = 246
T = 0.08
(out)(err)
maxcut-140-630-0.8-18.cnf O = 163
T = 2.98		 O = 163
T = 2.98
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 163
T = 74.16
(out)(err)		 O = 255
T = 0.10
(out)(err)
maxcut-140-630-0.8-19.cnf O = 164
T = 2.13		 O = 164
T = 2.13
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 164
T = 144.17
(out)(err)		 O = 263
T = 0.09
(out)(err)
maxcut-140-630-0.8-2.cnf O = 162
T = 3.63		 O = 162
T = 3.63
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 164
T = 9.37
(out)(err)		 O = 257
T = 0.10
(out)(err)
maxcut-140-630-0.8-20.cnf O = 165
T = 2.76		 O = 165
T = 2.76
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 165
T = 19.16
(out)(err)		 O = 256
T = 0.09
(out)(err)
maxcut-140-630-0.8-21.cnf O = 167
T = 3.11		 O = 167
T = 3.11
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 167
T = 59.37
(out)(err)		 O = 251
T = 0.10
(out)(err)
maxcut-140-630-0.8-22.cnf O = 170
T = 3.02		 O = 170
T = 3.02
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 170
T = 175.34
(out)(err)		 O = 248
T = 0.08
(out)(err)
maxcut-140-630-0.8-23.cnf O = 167
T = 3.20		 O = 167
T = 3.20
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 168
T = 1.73
(out)(err)		 O = 264
T = 0.13
(out)(err)
maxcut-140-630-0.8-24.cnf O = 165
T = 2.89		 O = 165
T = 2.89
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 165
T = 189.86
(out)(err)		 O = 255
T = 0.14
(out)(err)
maxcut-140-630-0.8-25.cnf O = 165
T = 2.28		 O = 165
T = 2.28
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 165
T = 41.72
(out)(err)		 O = 262
T = 0.12
(out)(err)
maxcut-140-630-0.8-26.cnf O = 167
T = 3.04		 O = 167
T = 3.04
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 168
T = 14.90
(out)(err)		 O = 238
T = 0.09
(out)(err)
maxcut-140-630-0.8-27.cnf O = 168
T = 3.03		 O = 168
T = 3.03
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 170
T = 74.03
(out)(err)		 O = 251
T = 0.14
(out)(err)
maxcut-140-630-0.8-28.cnf O = 168
T = 3.27		 O = 168
T = 3.27
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 168
T = 5.66
(out)(err)		 O = 248
T = 0.09
(out)(err)
maxcut-140-630-0.8-29.cnf O = 167
T = 2.90		 O = 167
T = 2.90
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 167
T = 116.06
(out)(err)		 O = 274
T = 0.14
(out)(err)
maxcut-140-630-0.8-3.cnf O = 165
T = 1.86		 O = 165
T = 1.86
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 165
T = 4.87
(out)(err)		 O = 249
T = 0.13
(out)(err)
maxcut-140-630-0.8-30.cnf O = 167
T = 3.11		 O = 167
T = 3.11
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 167
T = 4.66
(out)(err)		 O = 260
T = 0.10
(out)(err)
maxcut-140-630-0.8-31.cnf O = 165
T = 3.28		 O = 165
T = 3.28
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 165
T = 18.43
(out)(err)		 O = 263
T = 0.09
(out)(err)
maxcut-140-630-0.8-32.cnf O = 164
T = 1.83		 O = 164
T = 1.83
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 164
T = 24.95
(out)(err)		 O = 245
T = 0.12
(out)(err)
maxcut-140-630-0.8-33.cnf O = 163
T = 3.02		 O = 163
T = 3.02
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 163
T = 73.88
(out)(err)		 O = 251
T = 0.13
(out)(err)
maxcut-140-630-0.8-34.cnf O = 163
T = 3.41		 O = 163
T = 3.41
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 163
T = 13.66
(out)(err)		 O = 256
T = 0.10
(out)(err)
maxcut-140-630-0.8-35.cnf O = 165
T = 3.57		 O = 165
T = 3.57
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 166
T = 27.89
(out)(err)		 O = 250
T = 0.09
(out)(err)
maxcut-140-630-0.8-36.cnf O = 165
T = 1.63		 O = 165
T = 1.63
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 166
T = 57.32
(out)(err)		 O = 261
T = 0.10
(out)(err)
maxcut-140-630-0.8-37.cnf O = 167
T = 1.88		 O = 167
T = 1.88
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 167
T = 4.85
(out)(err)		 O = 247
T = 0.08
(out)(err)
maxcut-140-630-0.8-38.cnf O = 160
T = 2.06		 O = 160
T = 2.06
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 160
T = 18.94
(out)(err)		 O = 250
T = 0.08
(out)(err)
maxcut-140-630-0.8-39.cnf O = 169
T = 2.90		 O = 169
T = 2.90
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 170
T = 145.12
(out)(err)		 O = 247
T = 0.11
(out)(err)
maxcut-140-630-0.8-4.cnf O = 165
T = 3.39		 O = 165
T = 3.39
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 165
T = 14.53
(out)(err)		 O = 263
T = 0.13
(out)(err)
maxcut-140-630-0.8-40.cnf O = 161
T = 1.78		 O = 161
T = 1.78
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 161
T = 4.75
(out)(err)		 O = 249
T = 0.13
(out)(err)
maxcut-140-630-0.8-41.cnf O = 163
T = 2.99		 O = 163
T = 2.99
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 163
T = 28.32
(out)(err)		 O = 223
T = 0.10
(out)(err)
maxcut-140-630-0.8-42.cnf O = 164
T = 2.54		 O = 164
T = 2.54
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 164
T = 210.99
(out)(err)		 O = 237
T = 0.11
(out)(err)
maxcut-140-630-0.8-43.cnf O = 165
T = 2.10		 O = 165
T = 2.10
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 165
T = 166.83
(out)(err)		 O = 264
T = 0.11
(out)(err)
maxcut-140-630-0.8-44.cnf O = 160
T = 3.15		 O = 160
T = 3.15
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 160
T = 44.47
(out)(err)		 O = 268
T = 0.13
(out)(err)
maxcut-140-630-0.8-45.cnf O = 165
T = 3.49		 O = 165
T = 3.49
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 165
T = 19.18
(out)(err)		 O = 263
T = 0.07
(out)(err)
maxcut-140-630-0.8-46.cnf O = 162
T = 3.06		 O = 162
T = 3.06
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 163
T = 14.80
(out)(err)		 O = 249
T = 0.14
(out)(err)
maxcut-140-630-0.8-47.cnf O = 164
T = 2.60		 O = 164
T = 2.60
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 164
T = 102.08
(out)(err)		 O = 239
T = 0.12
(out)(err)
maxcut-140-630-0.8-48.cnf O = 164
T = 3.08		 O = 164
T = 3.08
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 165
T = 9.98
(out)(err)		 O = 271
T = 0.08
(out)(err)
maxcut-140-630-0.8-49.cnf O = 166
T = 2.67		 O = 166
T = 2.67
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 167
T = 41.44
(out)(err)		 O = 256
T = 0.13
(out)(err)
maxcut-140-630-0.8-5.cnf O = 164
T = 3.24		 O = 164
T = 3.24
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 164
T = 185.78
(out)(err)		 O = 258
T = 0.07
(out)(err)
maxcut-140-630-0.8-50.cnf O = 165
T = 3.62		 O = 165
T = 3.62
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 165
T = 83.50
(out)(err)		 O = 236
T = 0.12
(out)(err)
maxcut-140-630-0.8-6.cnf O = 169
T = 3.05		 O = 169
T = 3.05
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 170
T = 88.73
(out)(err)		 O = 252
T = 0.13
(out)(err)
maxcut-140-630-0.8-7.cnf O = 166
T = 1.96		 O = 166
T = 1.96
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 167
T = 65.57
(out)(err)		 O = 245
T = 0.12
(out)(err)
maxcut-140-630-0.8-8.cnf O = 167
T = 3.50		 O = 167
T = 3.50
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 168
T = 39.25
(out)(err)		 O = 278
T = 0.11
(out)(err)
maxcut-140-630-0.8-9.cnf O = 165
T = 2.64		 O = 165
T = 2.64
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 165
T = 19.30
(out)(err)		 O = 253
T = 0.13
(out)(err)
MANN_a27.clq.cnf O = 404
T = 0.29		 O = 404
T = 0.72
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 404
T = 0.29
(out)(err)		 O = 486
T = 0.10
(out)(err)
MANN_a45.clq.cnf O = 418
T = 0.19		 O = 418
T = 0.57
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 418
T = 0.19
(out)(err)		 O = 518
T = 0.13
(out)(err)
MANN_a81.clq.cnf O = 399
T = 0.06		 O = 399
T = 0.43
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 399
T = 0.06
(out)(err)		 O = 441
T = 0.12
(out)(err)
MANN_a9.clq.cnf O = 422
T = 1.16		 O = 422
T = 1.16
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 422
T = 7.60
(out)(err)		 O = 584
T = 0.10
(out)(err)
brock200_1.clq.cnf O = 238
T = 0.95		 O = 238
T = 1.18
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 238
T = 0.95
(out)(err)		 O = 349
T = 0.10
(out)(err)
brock200_2.clq.cnf O = 141
T = 1.11		 O = 141
T = 1.11
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 141
T = 1.18
(out)(err)		 O = 221
T = 0.13
(out)(err)
brock200_3.clq.cnf O = 214
T = 0.96		 O = 214
T = 0.96
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 214
T = 3.01
(out)(err)		 O = 232
T = 1.75
(out)(err)
brock200_4.clq.cnf O = 209
T = 1.04		 O = 209
T = 1.18
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 209
T = 1.04
(out)(err)		 O = 299
T = 0.11
(out)(err)
brock400_1.clq.cnf O = 255
T = 0.83		 O = 255
T = 1.06
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 255
T = 0.83
(out)(err)		 O = 340
T = 0.08
(out)(err)
brock400_2.clq.cnf O = 252
T = 0.84		 O = 252
T = 0.98
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 252
T = 0.84
(out)(err)		 O = 310
T = 0.08
(out)(err)
brock400_3.clq.cnf O = 238
T = 1.27		 O = 238
T = 1.27
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 238
T = 10.88
(out)(err)		 O = 278
T = 0.08
(out)(err)
brock400_4.clq.cnf O = 249
T = 0.73		 O = 249
T = 1.39
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 249
T = 0.73
(out)(err)		 O = 374
T = 0.08
(out)(err)
brock800_1.clq.cnf O = 205
T = 0.95		 O = 205
T = 1.10
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 205
T = 0.95
(out)(err)		 O = 273
T = 0.09
(out)(err)
brock800_2.clq.cnf O = 207
T = 0.97		 O = 207
T = 1.20
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 207
T = 0.97
(out)(err)		 O = 270
T = 0.09
(out)(err)
brock800_3.clq.cnf O = 203
T = 0.47		 O = 203
T = 1.66
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 203
T = 0.47
(out)(err)		 O = 315
T = 0.07
(out)(err)
brock800_4.clq.cnf O = 200
T = 0.32		 O = 200
T = 0.95
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 200
T = 0.32
(out)(err)		 O = 310
T = 0.13
(out)(err)
c-fat200-1.clq.cnf O = 4
T = 0.00		 O = 4
T = 0.79
(out)(err)		 O = 4
T = 0.74
(out)(err)		 O = 4
T = 0.65
(out)(err)		 O = 4
T = 0.25
(out)(err)		 O = 4
T = 0.00
(out)(err)
c-fat200-2.clq.cnf O = 26
T = 0.71		 O = 26
T = 0.76
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 26
T = 0.71
(out)(err)		 O = 26
T = 3.93
(out)(err)
c-fat200-5.clq.cnf O = 116
T = 0.47		 O = 116
T = 1.37
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 116
T = 0.47
(out)(err)		 O = 172
T = 0.08
(out)(err)
c-fat500-1.clq.cnf O = 2
T = 0.00		 O = 2
T = 0.79
(out)(err)		 O = 2
T = 0.25
(out)(err)		 O = 2
T = 0.25
(out)(err)		 O = 2
T = 0.00
(out)(err)		 O = 2
T = 0.00
(out)(err)
c-fat500-10.clq.cnf O = 200
T = 0.08		 O = 200
T = 0.32
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 200
T = 0.08
(out)(err)		 O = 232
T = 0.11
(out)(err)
c-fat500-2.clq.cnf O = 24
T = 0.01		 O = 24
T = 0.81
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 24
T = 0.34
(out)(err)		 O = 24
T = 0.01
(out)(err)
c-fat500-5.clq.cnf O = 90
T = 0.09		 O = 90
T = 0.63
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 90
T = 0.09
(out)(err)		 O = 90
T = 1.12
(out)(err)
hamming10-2.clq.cnf O = 400
T = 0.09		 O = 400
T = 0.37
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 400
T = 0.09
(out)(err)		 O = 532
T = 0.08
(out)(err)
hamming10-4.clq.cnf O = 319
T = 0.42		 O = 319
T = 1.14
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 319
T = 0.42
(out)(err)		 O = 341
T = 0.09
(out)(err)
hamming6-2.clq.cnf O = 832
T = 1.18		 O = 832
T = 1.18
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 837
T = 30.77
(out)(err)		 O = 1100
T = 0.13
(out)(err)
hamming6-4.clq.cnf O = 192
T = 1.00		 O = 192
T = 2.00
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 192
T = 1.00
(out)(err)		 O = 312
T = 0.13
(out)(err)
hamming8-2.clq.cnf O = 441
T = 0.12		 O = 441
T = 0.68
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 441
T = 0.12
(out)(err)		 O = 551
T = 0.13
(out)(err)
hamming8-4.clq.cnf O = 176
T = 1.17		 O = 176
T = 1.19
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 176
T = 1.17
(out)(err)		 O = 254
T = 0.14
(out)(err)
johnson16-2-4.clq.cnf O = 215
T = 0.68		 O = 215
T = 190.62
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 215
T = 0.68
(out)(err)		 O = 344
T = 0.08
(out)(err)
johnson32-2-4.clq.cnf O = 329
T = 1.51		 O = 329
T = 1.51
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 329
T = 11.46
(out)(err)		 O = 492
T = 0.09
(out)(err)
johnson8-2-4.clq.cnf O = 75
T = 0.34		 O = 75
T = 0.93
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 75
T = 0.34
(out)(err)		 O = 100
T = 0.08
(out)(err)
johnson8-4-4.clq.cnf O = 770
T = 1.59		 O = 770
T = 1.59
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 770
T = 59.89
(out)(err)		 O = 1069
T = 0.11
(out)(err)
keller4.clq.cnf O = 199
T = 0.74		 O = 199
T = 1.25
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 199
T = 0.74
(out)(err)		 O = 344
T = 0.09
(out)(err)
keller5.clq.cnf O = 250
T = 0.49		 O = 250
T = 1.26
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 250
T = 0.49
(out)(err)		 O = 317
T = 0.09
(out)(err)
p_hat1000-1.clq.cnf O = 52
T = 0.54		 O = 52
T = 1.17
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 52
T = 0.54
(out)(err)		 O = 52
T = 8.59
(out)(err)
p_hat1000-2.clq.cnf O = 142
T = 0.79		 O = 142
T = 1.02
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 142
T = 0.79
(out)(err)		 O = 181
T = 0.13
(out)(err)
p_hat1000-3.clq.cnf O = 238
T = 1.04		 O = 238
T = 1.33
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 238
T = 1.04
(out)(err)		 O = 362
T = 0.09
(out)(err)
p_hat300-1.clq.cnf O = 49
T = 0.50		 O = 49
T = 1.15
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 49
T = 0.50
(out)(err)		 O = 49
T = 5.38
(out)(err)
p_hat300-2.clq.cnf O = 135
T = 0.80		 O = 135
T = 1.26
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 135
T = 0.80
(out)(err)		 O = 184
T = 0.08
(out)(err)
p_hat300-3.clq.cnf O = 269
T = 1.41		 O = 269
T = 1.41
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 269
T = 11.69
(out)(err)		 O = 327
T = 0.12
(out)(err)
p_hat500-1.clq.cnf O = 75
T = 0.50		 O = 75
T = 1.41
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 75
T = 0.50
(out)(err)		 O = 108
T = 0.08
(out)(err)
p_hat500-2.clq.cnf O = 176
T = 0.59		 O = 176
T = 1.58
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 176
T = 0.59
(out)(err)		 O = 244
T = 0.09
(out)(err)
p_hat500-3.clq.cnf O = 284
T = 1.29		 O = 284
T = 1.29
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 284
T = 14.71
(out)(err)		 O = 434
T = 0.11
(out)(err)
p_hat700-1.clq.cnf O = 63
T = 0.63		 O = 63
T = 1.37
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 63
T = 0.63
(out)(err)		 O = 63
T = 21.42
(out)(err)
p_hat700-2.clq.cnf O = 154
T = 1.19		 O = 154
T = 1.44
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 154
T = 1.19
(out)(err)		 O = 224
T = 0.10
(out)(err)
p_hat700-3.clq.cnf O = 267
T = 1.36		 O = 267
T = 1.36
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 267
T = 6.88
(out)(err)		 O = 395
T = 0.12
(out)(err)
san1000.clq.cnf O = 139
T = 0.70		 O = 139
T = 0.70
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 139
T = 1.95
(out)(err)		 O = 146
T = 17.30
(out)(err)
san200_0.7_1.clq.cnf O = 237
T = 0.55		 O = 237
T = 1.17
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 237
T = 0.55
(out)(err)		 O = 313
T = 0.11
(out)(err)
san200_0.7_2.clq.cnf O = 236
T = 0.30		 O = 236
T = 1.14
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 236
T = 0.30
(out)(err)		 O = 288
T = 0.10
(out)(err)
san200_0.9_1.clq.cnf O = 313
T = 0.85		 O = 313
T = 1.17
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 313
T = 0.85
(out)(err)		 O = 403
T = 0.08
(out)(err)
san200_0.9_2.clq.cnf O = 316
T = 1.00		 O = 316
T = 1.00
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 316
T = 9.20
(out)(err)		 O = 440
T = 0.12
(out)(err)
san200_0.9_3.clq.cnf O = 320
T = 1.19		 O = 320
T = 1.19
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 320
T = 10.22
(out)(err)		 O = 442
T = 0.09
(out)(err)
san400_0.5_1.clq.cnf O = 146
T = 1.15		 O = 146
T = 1.28
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 146
T = 1.15
(out)(err)		 O = 220
T = 0.11
(out)(err)
san400_0.7_1.clq.cnf O = 236
T = 0.81		 O = 236
T = 1.40
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 236
T = 0.81
(out)(err)		 O = 333
T = 0.13
(out)(err)
san400_0.7_2.clq.cnf O = 236
T = 0.93		 O = 236
T = 1.27
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 236
T = 0.93
(out)(err)		 O = 295
T = 0.13
(out)(err)
san400_0.7_3.clq.cnf O = 230
T = 1.32		 O = 230
T = 1.32
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 230
T = 1.98
(out)(err)		 O = 289
T = 0.13
(out)(err)
san400_0.9_1.clq.cnf O = 304
T = 0.94		 O = 304
T = 0.94
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 304
T = 9.71
(out)(err)		 O = 460
T = 0.08
(out)(err)
sanr200_0.7.clq.cnf O = 227
T = 0.62		 O = 227
T = 0.78
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 227
T = 0.62
(out)(err)		 O = 280
T = 0.09
(out)(err)
sanr200_0.9.clq.cnf O = 300
T = 1.02		 O = 300
T = 1.02
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 300
T = 10.12
(out)(err)		 O = 418
T = 0.13
(out)(err)
sanr400_0.5.clq.cnf O = 148
T = 0.60		 O = 148
T = 1.22
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 148
T = 0.60
(out)(err)		 O = 176
T = 0.13
(out)(err)
sanr400_0.7.clq.cnf O = 223
T = 0.60		 O = 223
T = 1.15
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 223
T = 0.60
(out)(err)		 O = 318
T = 0.09
(out)(err)
t3pm3-5555.spn.cnf O = 17
T = 0.30		 O = 17
T = 1.01
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 17
T = 0.30
(out)(err)		 O = 17
T = 0.78
(out)(err)
t4pm3-6666.spn.cnf O = 38
T = 1.55		 O = 38
T = 1.55
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 38
T = 2.68
(out)(err)		 O = 40
T = 69.11
(out)(err)
t5pm3-7777.spn.cnf O = 78
T = 1.46		 O = 78
T = 1.66
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 78
T = 1.46
(out)(err)		 O = 120
T = 0.10
(out)(err)
t6pm3-8888.spn.cnf O = 136
T = 3.30		 O = 136
T = 3.30
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 136
T = 134.93
(out)(err)		 O = 222
T = 0.09
(out)(err)
t7pm3-9999.spn.cnf O = 209
T = 4.36		 O = 209
T = 4.36
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 215
T = 220.86
(out)(err)		 O = 343
T = 0.11
(out)(err)