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 ILP-2013 ISAC+-wms MSUnCore MaxHS Maxsatz2013f Toulbar2 WMaxSatz+ WMaxSatz09 WPM1-2013 WPM2-2013 ahmaxsat ckmax-small glpk-maxsat optimax-ni optimax scip-maxsat toysat wbo2.1-wcnf wmifumax
frb10-6-1.wcnf S = OPT
O = 50
T = 0.01
S = OPT
O = 50
T = 0.05
(out)(err)
S = OPT
O = 50
T = 0.47
(out)(err)
S = OPT
O = 50
T = 0.15
(out)(err)
S = OPT
O = 50
T = 0.04
(out)(err)
S = OPT
O = 50
T = 0.01
(out)(err)
S = OPT
O = 50
T = 0.05
(out)(err)
S = OPT
O = 50
T = 0.02
(out)(err)
S = OPT
O = 50
T = 0.01
(out)(err)
S = OPT
O = 50
T = 3.09
(out)(err)
S = OPT
O = 50
T = 0.35
(out)(err)
S = OPT
O = 50
T = 0.02
(out)(err)
S = OPT
O = 50
T = 0.16
(out)(err)
S = OPT
O = 50
T = 2.53
(out)(err)
S = OPT
O = 50
T = 0.04
(out)(err)
S = OPT
O = 50
T = 0.02
(out)(err)
S = OPT
O = 50
T = 0.21
(out)(err)
S = OPT
O = 50
T = 3.35
(out)(err)
S = OPT
O = 50
T = 0.34
(out)(err)
S = OPT
O = 50
T = 0.01
(out)(err)
frb10-6-2.wcnf S = OPT
O = 50
T = 0.01
S = OPT
O = 50
T = 0.05
(out)(err)
S = OPT
O = 50
T = 0.84
(out)(err)
S = OPT
O = 50
T = 0.12
(out)(err)
S = OPT
O = 50
T = 0.05
(out)(err)
S = OPT
O = 50
T = 0.01
(out)(err)
S = OPT
O = 50
T = 0.03
(out)(err)
S = OPT
O = 50
T = 0.02
(out)(err)
S = OPT
O = 50
T = 0.02
(out)(err)
S = OPT
O = 50
T = 4.77
(out)(err)
S = OPT
O = 50
T = 0.25
(out)(err)
S = OPT
O = 50
T = 0.03
(out)(err)
S = OPT
O = 50
T = 0.18
(out)(err)
S = OPT
O = 50
T = 1.99
(out)(err)
S = OPT
O = 50
T = 0.03
(out)(err)
S = OPT
O = 50
T = 0.06
(out)(err)
S = OPT
O = 50
T = 0.17
(out)(err)
S = OPT
O = 50
T = 6.72
(out)(err)
S = OPT
O = 50
T = 184.85
(out)(err)
S = OPT
O = 50
T = 0.01
(out)(err)
frb10-6-3.wcnf S = OPT
O = 50
T = 0.01
S = OPT
O = 50
T = 0.06
(out)(err)
S = OPT
O = 50
T = 0.81
(out)(err)
S = OPT
O = 50
T = 0.13
(out)(err)
S = OPT
O = 50
T = 0.06
(out)(err)
S = OPT
O = 50
T = 0.01
(out)(err)
S = OPT
O = 50
T = 0.04
(out)(err)
S = OPT
O = 50
T = 0.02
(out)(err)
S = OPT
O = 50
T = 0.02
(out)(err)
S = OPT
O = 50
T = 2.79
(out)(err)
S = OPT
O = 50
T = 0.47
(out)(err)
S = OPT
O = 50
T = 0.02
(out)(err)
S = OPT
O = 50
T = 0.15
(out)(err)
S = OPT
O = 50
T = 3.81
(out)(err)
S = OPT
O = 50
T = 0.01
(out)(err)
S = OPT
O = 50
T = 0.01
(out)(err)
S = OPT
O = 50
T = 0.20
(out)(err)
S = OPT
O = 50
T = 6.61
(out)(err)
S = OPT
O = 50
T = 71.03
(out)(err)
S = OPT
O = 50
T = 0.02
(out)(err)
frb10-6-4.wcnf S = OPT
O = 50
T = 0.01
S = OPT
O = 50
T = 0.05
(out)(err)
S = OPT
O = 50
T = 0.82
(out)(err)
S = OPT
O = 50
T = 0.10
(out)(err)
S = OPT
O = 50
T = 0.04
(out)(err)
S = OPT
O = 50
T = 0.01
(out)(err)
S = OPT
O = 50
T = 0.03
(out)(err)
S = OPT
O = 50
T = 0.01
(out)(err)
S = OPT
O = 50
T = 0.02
(out)(err)
S = OPT
O = 50
T = 4.13
(out)(err)
S = OPT
O = 50
T = 0.32
(out)(err)
S = OPT
O = 50
T = 0.02
(out)(err)
S = OPT
O = 50
T = 0.13
(out)(err)
S = OPT
O = 50
T = 1.74
(out)(err)
S = OPT
O = 50
T = 0.05
(out)(err)
S = OPT
O = 50
T = 0.02
(out)(err)
S = OPT
O = 50
T = 0.27
(out)(err)
S = OPT
O = 50
T = 2.54
(out)(err)
S = OPT
O = 50
T = 759.62
(out)(err)
S = OPT
O = 50
T = 0.02
(out)(err)
frb15-9-1.wcnf S = OPT
O = 120
T = 0.08
S = OPT
O = 120
T = 0.44
(out)(err)
S = OPT
O = 120
T = 0.85
(out)(err)
S = OPT
O = 120
T = 269.71
(out)(err)
S = OPT
O = 120
T = 0.26
(out)(err)
S = OPT
O = 120
T = 1.35
(out)(err)
S = OPT
O = 120
T = 11.67
(out)(err)
S = OPT
O = 120
T = 2.02
(out)(err)
S = OPT
O = 120
T = 2.21
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 120
T = 132.78
(out)(err)
S = OPT
O = 120
T = 3.47
(out)(err)
S = OPT
O = 120
T = 7.48
(out)(err)
S = N/A
O = 120
T = TO
(out)(err)
S = OPT
O = 120
T = 0.08
(out)(err)
S = OPT
O = 120
T = 1.41
(out)(err)
S = OPT
O = 120
T = 5.21
(out)(err)
S = N/A
O = 121
T = TO
(out)(err)
S = N/A
O = N/A
T = 1794.21
(out)(err)
S = OPT
O = 120
T = 0.14
(out)(err)
frb15-9-2.wcnf S = OPT
O = 120
T = 0.14
S = OPT
O = 120
T = 0.75
(out)(err)
S = OPT
O = 120
T = 0.91
(out)(err)
S = OPT
O = 120
T = 240.57
(out)(err)
S = OPT
O = 120
T = 0.85
(out)(err)
S = OPT
O = 120
T = 1.29
(out)(err)
S = OPT
O = 120
T = 13.10
(out)(err)
S = OPT
O = 120
T = 2.36
(out)(err)
S = OPT
O = 120
T = 2.40
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 120
T = 67.04
(out)(err)
S = OPT
O = 120
T = 3.23
(out)(err)
S = OPT
O = 120
T = 8.48
(out)(err)
S = N/A
O = 121
T = TO
(out)(err)
S = OPT
O = 120
T = 8.78
(out)(err)
S = OPT
O = 120
T = 13.47
(out)(err)
S = OPT
O = 120
T = 3.92
(out)(err)
S = N/A
O = 121
T = TO
(out)(err)
S = N/A
O = N/A
T = 1793.64
(out)(err)
S = OPT
O = 120
T = 0.14
(out)(err)
frb15-9-3.wcnf S = OPT
O = 120
T = 0.15
S = OPT
O = 120
T = 0.29
(out)(err)
S = OPT
O = 120
T = 0.85
(out)(err)
S = OPT
O = 120
T = 265.02
(out)(err)
S = OPT
O = 120
T = 0.55
(out)(err)
S = OPT
O = 120
T = 1.12
(out)(err)
S = OPT
O = 120
T = 10.91
(out)(err)
S = OPT
O = 120
T = 1.45
(out)(err)
S = OPT
O = 120
T = 2.12
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 120
T = 511.76
(out)(err)
S = OPT
O = 120
T = 4.98
(out)(err)
S = OPT
O = 120
T = 8.82
(out)(err)
S = N/A
O = 121
T = TO
(out)(err)
S = OPT
O = 120
T = 3.77
(out)(err)
S = OPT
O = 120
T = 0.87
(out)(err)
S = OPT
O = 120
T = 8.57
(out)(err)
S = N/A
O = 121
T = TO
(out)(err)
S = N/A
O = N/A
T = 1794.43
(out)(err)
S = OPT
O = 120
T = 0.15
(out)(err)
frb15-9-4.wcnf S = OPT
O = 120
T = 0.14
S = OPT
O = 120
T = 0.94
(out)(err)
S = OPT
O = 120
T = 1.05
(out)(err)
S = OPT
O = 120
T = 140.05
(out)(err)
S = OPT
O = 120
T = 0.97
(out)(err)
S = OPT
O = 120
T = 1.08
(out)(err)
S = OPT
O = 120
T = 12.51
(out)(err)
S = OPT
O = 120
T = 2.04
(out)(err)
S = OPT
O = 120
T = 1.77
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 120
T = 484.39
(out)(err)
S = OPT
O = 120
T = 3.80
(out)(err)
S = OPT
O = 120
T = 9.06
(out)(err)
S = N/A
O = 121
T = TO
(out)(err)
S = OPT
O = 120
T = 5.16
(out)(err)
S = OPT
O = 120
T = 1.15
(out)(err)
S = OPT
O = 120
T = 3.68
(out)(err)
S = N/A
O = 122
T = TO
(out)(err)
S = N/A
O = N/A
T = 1792.47
(out)(err)
S = OPT
O = 120
T = 0.14
(out)(err)
frb15-9-5.wcnf S = OPT
O = 120
T = 0.14
S = OPT
O = 120
T = 0.38
(out)(err)
S = OPT
O = 120
T = 0.89
(out)(err)
S = OPT
O = 120
T = 124.56
(out)(err)
S = OPT
O = 120
T = 1.00
(out)(err)
S = OPT
O = 120
T = 1.01
(out)(err)
S = OPT
O = 120
T = 8.44
(out)(err)
S = OPT
O = 120
T = 1.62
(out)(err)
S = OPT
O = 120
T = 1.71
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 120
T = 446.74
(out)(err)
S = OPT
O = 120
T = 4.93
(out)(err)
S = OPT
O = 120
T = 8.25
(out)(err)
S = N/A
O = 121
T = TO
(out)(err)
S = OPT
O = 120
T = 2.32
(out)(err)
S = OPT
O = 120
T = 5.54
(out)(err)
S = OPT
O = 120
T = 5.50
(out)(err)
S = N/A
O = 121
T = TO
(out)(err)
S = N/A
O = N/A
T = 1794.17
(out)(err)
S = OPT
O = 120
T = 0.14
(out)(err)
frb20-11-1.wcnf S = OPT
O = 200
T = 0.53
S = OPT
O = 200
T = 2.65
(out)(err)
S = OPT
O = 200
T = 3.56
(out)(err)
S = N/A
O = 205
T = TO
(out)(err)
S = OPT
O = 200
T = 17.02
(out)(err)
S = OPT
O = 200
T = 149.80
(out)(err)
S = N/A
O = 200
T = TO
(out)(err)
S = OPT
O = 200
T = 246.03
(out)(err)
S = OPT
O = 200
T = 276.80
(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 = 200
T = 352.04
(out)(err)
S = OPT
O = 200
T = 871.46
(out)(err)
S = N/A
O = 202
T = TO
(out)(err)
S = OPT
O = 200
T = 19.31
(out)(err)
S = OPT
O = 200
T = 43.29
(out)(err)
S = OPT
O = 200
T = 9.03
(out)(err)
S = N/A
O = 206
T = TO
(out)(err)
S = N/A
O = N/A
T = 1794.15
(out)(err)
S = OPT
O = 200
T = 0.53
(out)(err)
frb20-11-2.wcnf S = OPT
O = 200
T = 0.49
S = OPT
O = 200
T = 12.79
(out)(err)
S = OPT
O = 200
T = 3.14
(out)(err)
S = N/A
O = 201
T = TO
(out)(err)
S = OPT
O = 200
T = 6.52
(out)(err)
S = OPT
O = 200
T = 144.91
(out)(err)
S = OPT
O = 200
T = 1760.94
(out)(err)
S = OPT
O = 200
T = 237.75
(out)(err)
S = OPT
O = 200
T = 265.56
(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 = 200
T = 310.97
(out)(err)
S = OPT
O = 200
T = 780.98
(out)(err)
S = N/A
O = 202
T = TO
(out)(err)
S = OPT
O = 200
T = 15.94
(out)(err)
S = OPT
O = 200
T = 12.68
(out)(err)
S = OPT
O = 200
T = 2.83
(out)(err)
S = N/A
O = 204
T = TO
(out)(err)
S = N/A
O = N/A
T = 1794.19
(out)(err)
S = OPT
O = 200
T = 0.49
(out)(err)
frb20-11-3.wcnf S = OPT
O = 200
T = 0.55
S = OPT
O = 200
T = 16.95
(out)(err)
S = OPT
O = 200
T = 2.63
(out)(err)
S = N/A
O = 207
T = TO
(out)(err)
S = OPT
O = 200
T = 3.93
(out)(err)
S = OPT
O = 200
T = 191.58
(out)(err)
S = N/A
O = 201
T = TO
(out)(err)
S = OPT
O = 200
T = 322.62
(out)(err)
S = OPT
O = 200
T = 358.47
(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 = 200
T = 350.03
(out)(err)
S = OPT
O = 200
T = 803.00
(out)(err)
S = N/A
O = 203
T = TO
(out)(err)
S = OPT
O = 200
T = 50.55
(out)(err)
S = OPT
O = 200
T = 21.71
(out)(err)
S = OPT
O = 200
T = 44.10
(out)(err)
S = N/A
O = 205
T = TO
(out)(err)
S = N/A
O = N/A
T = 1793.01
(out)(err)
S = OPT
O = 200
T = 0.55
(out)(err)
frb20-11-4.wcnf S = OPT
O = 200
T = 0.47
S = OPT
O = 200
T = 18.25
(out)(err)
S = OPT
O = 200
T = 2.75
(out)(err)
S = N/A
O = 205
T = TO
(out)(err)
S = OPT
O = 200
T = 14.87
(out)(err)
S = OPT
O = 200
T = 163.30
(out)(err)
S = N/A
O = 200
T = TO
(out)(err)
S = OPT
O = 200
T = 258.76
(out)(err)
S = OPT
O = 200
T = 294.66
(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 = 200
T = 286.47
(out)(err)
S = OPT
O = 200
T = 1138.69
(out)(err)
S = N/A
O = 203
T = TO
(out)(err)
S = OPT
O = 200
T = 30.60
(out)(err)
S = OPT
O = 200
T = 25.64
(out)(err)
S = OPT
O = 200
T = 22.24
(out)(err)
S = N/A
O = 204
T = TO
(out)(err)
S = N/A
O = N/A
T = 1794.27
(out)(err)
S = OPT
O = 200
T = 0.47
(out)(err)
frb20-11-5.wcnf S = OPT
O = 200
T = 0.28
S = OPT
O = 200
T = 8.76
(out)(err)
S = OPT
O = 200
T = 2.95
(out)(err)
S = N/A
O = 206
T = TO
(out)(err)
S = OPT
O = 200
T = 7.96
(out)(err)
S = OPT
O = 200
T = 223.51
(out)(err)
S = N/A
O = 200
T = TO
(out)(err)
S = OPT
O = 200
T = 378.15
(out)(err)
S = OPT
O = 200
T = 416.32
(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 = 200
T = 341.91
(out)(err)
S = OPT
O = 200
T = 1320.39
(out)(err)
S = N/A
O = 202
T = TO
(out)(err)
S = OPT
O = 200
T = 18.21
(out)(err)
S = OPT
O = 200
T = 0.28
(out)(err)
S = OPT
O = 200
T = 20.02
(out)(err)
S = N/A
O = 205
T = TO
(out)(err)
S = N/A
O = N/A
T = 1794.70
(out)(err)
S = OPT
O = 200
T = 0.48
(out)(err)
frb25-13-1.wcnf S = OPT
O = 300
T = 1.66
S = OPT
O = 300
T = 169.04
(out)(err)
S = OPT
O = 300
T = 11.80
(out)(err)
S = N/A
O = 302
T = TO
(out)(err)
S = OPT
O = 300
T = 81.48
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 302
T = TO
(out)(err)
S = N/A
O = 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 = N/A
T = TO
(out)(err)
S = N/A
O = 302
T = 1792.81
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 304
T = TO
(out)(err)
S = OPT
O = 300
T = 56.32
(out)(err)
S = OPT
O = 300
T = 15.80
(out)(err)
S = OPT
O = 300
T = 1360.89
(out)(err)
S = N/A
O = 307
T = TO
(out)(err)
S = N/A
O = N/A
T = 1793.83
(out)(err)
S = OPT
O = 300
T = 1.66
(out)(err)
frb25-13-2.wcnf S = OPT
O = 300
T = 2.12
S = OPT
O = 300
T = 269.90
(out)(err)
S = OPT
O = 300
T = 12.31
(out)(err)
S = N/A
O = 308
T = TO
(out)(err)
S = OPT
O = 300
T = 184.79
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 302
T = TO
(out)(err)
S = N/A
O = 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 = N/A
T = TO
(out)(err)
S = N/A
O = 302
T = 1792.64
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 304
T = TO
(out)(err)
S = OPT
O = 300
T = 6.90
(out)(err)
S = OPT
O = 300
T = 136.65
(out)(err)
S = OPT
O = 300
T = 144.35
(out)(err)
S = N/A
O = 306
T = TO
(out)(err)
S = N/A
O = N/A
T = 1793.92
(out)(err)
S = OPT
O = 300
T = 2.12
(out)(err)
frb25-13-3.wcnf S = OPT
O = 300
T = 1.30
S = OPT
O = 300
T = 678.02
(out)(err)
S = OPT
O = 300
T = 10.19
(out)(err)
S = N/A
O = 303
T = TO
(out)(err)
S = OPT
O = 300
T = 108.70
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 303
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 = N/A
T = TO
(out)(err)
S = N/A
O = 302
T = 1792.67
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 305
T = TO
(out)(err)
S = N/A
O = 301
T = TO
(out)(err)
S = OPT
O = 300
T = 1.30
(out)(err)
S = OPT
O = 300
T = 736.25
(out)(err)
S = N/A
O = 306
T = TO
(out)(err)
S = N/A
O = N/A
T = 1793.27
(out)(err)
S = OPT
O = 300
T = 1.63
(out)(err)
frb25-13-4.wcnf S = OPT
O = 300
T = 1.47
S = OPT
O = 300
T = 1119.57
(out)(err)
S = OPT
O = 300
T = 6.40
(out)(err)
S = N/A
O = 309
T = TO
(out)(err)
S = OPT
O = 300
T = 150.42
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 304
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 = N/A
T = TO
(out)(err)
S = N/A
O = 302
T = 1792.53
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 304
T = TO
(out)(err)
S = OPT
O = 300
T = 95.38
(out)(err)
S = OPT
O = 300
T = 4.74
(out)(err)
S = OPT
O = 300
T = 270.83
(out)(err)
S = N/A
O = 308
T = TO
(out)(err)
S = N/A
O = N/A
T = 1793.40
(out)(err)
S = OPT
O = 300
T = 1.47
(out)(err)
frb25-13-5.wcnf S = OPT
O = 300
T = 2.45
S = OPT
O = 300
T = 164.46
(out)(err)
S = OPT
O = 300
T = 17.13
(out)(err)
S = N/A
O = 306
T = TO
(out)(err)
S = OPT
O = 300
T = 251.13
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 303
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 = N/A
T = TO
(out)(err)
S = N/A
O = 302
T = 1792.61
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 305
T = TO
(out)(err)
S = OPT
O = 300
T = 312.36
(out)(err)
S = OPT
O = 300
T = 178.82
(out)(err)
S = OPT
O = 300
T = 181.89
(out)(err)
S = N/A
O = 305
T = TO
(out)(err)
S = N/A
O = N/A
T = 1793.78
(out)(err)
S = OPT
O = 300
T = 2.45
(out)(err)
frb30-15-1.wcnf S = OPT
O = 420
T = 3.48
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 420
T = 59.55
(out)(err)
S = N/A
O = 425
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 = 425
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 = N/A
T = TO
(out)(err)
S = N/A
O = 425
T = 1792.73
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 427
T = TO
(out)(err)
S = OPT
O = 420
T = 12.05
(out)(err)
S = OPT
O = 420
T = 29.93
(out)(err)
S = N/A
O = 422
T = TO
(out)(err)
S = N/A
O = 428
T = TO
(out)(err)
S = N/A
O = N/A
T = 1793.18
(out)(err)
S = OPT
O = 420
T = 3.48
(out)(err)
frb30-15-2.wcnf S = OPT
O = 420
T = 14.93
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 420
T = 90.24
(out)(err)
S = N/A
O = 425
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 = 426
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 424
T = 1793.16
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 427
T = TO
(out)(err)
S = OPT
O = 420
T = 14.93
(out)(err)
S = OPT
O = 420
T = 62.91
(out)(err)
S = N/A
O = 421
T = TO
(out)(err)
S = N/A
O = 427
T = TO
(out)(err)
S = N/A
O = N/A
T = 1793.76
(out)(err)
S = OPT
O = 420
T = 64.28
(out)(err)
frb30-15-3.wcnf S = OPT
O = 420
T = 10.61
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 420
T = 55.36
(out)(err)
S = N/A
O = 425
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 = 425
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 = N/A
T = TO
(out)(err)
S = N/A
O = 425
T = 1792.81
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 428
T = TO
(out)(err)
S = N/A
O = 420
T = TO
(out)(err)
S = N/A
O = 421
T = TO
(out)(err)
S = N/A
O = 421
T = TO
(out)(err)
S = N/A
O = 429
T = TO
(out)(err)
S = N/A
O = N/A
T = 1793.43
(out)(err)
S = OPT
O = 420
T = 10.61
(out)(err)
frb30-15-4.wcnf S = OPT
O = 420
T = 6.68
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 420
T = 40.41
(out)(err)
S = N/A
O = 428
T = TO
(out)(err)
S = OPT
O = 420
T = 1186.00
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 425
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 = N/A
T = TO
(out)(err)
S = N/A
O = 424
T = 1792.75
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 427
T = TO
(out)(err)
S = OPT
O = 420
T = 69.64
(out)(err)
S = OPT
O = 420
T = 12.33
(out)(err)
S = N/A
O = 421
T = TO
(out)(err)
S = N/A
O = 427
T = TO
(out)(err)
S = N/A
O = N/A
T = 1793.55
(out)(err)
S = OPT
O = 420
T = 6.68
(out)(err)
frb30-15-5.wcnf S = OPT
O = 420
T = 7.55
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 420
T = 12.23
(out)(err)
S = N/A
O = 428
T = TO
(out)(err)
S = OPT
O = 420
T = 756.11
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 423
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 = N/A
T = TO
(out)(err)
S = N/A
O = 424
T = 1793.25
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 428
T = TO
(out)(err)
S = N/A
O = 422
T = TO
(out)(err)
S = OPT
O = 420
T = 58.66
(out)(err)
S = OPT
O = 420
T = 1216.27
(out)(err)
S = N/A
O = 430
T = TO
(out)(err)
S = N/A
O = N/A
T = 1792.91
(out)(err)
S = OPT
O = 420
T = 7.55
(out)(err)
frb35-17-1.wcnf S = OPT
O = 560
T = 25.57
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 560
T = 289.59
(out)(err)
S = N/A
O = 570
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 = 566
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 = N/A
T = TO
(out)(err)
S = N/A
O = 567
T = 1793.22
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 571
T = TO
(out)(err)
S = N/A
O = 1168
T = TO
(out)(err)
S = N/A
O = 562
T = 460.47
(out)(err)
S = N/A
O = 562
T = TO
(out)(err)
S = N/A
O = 570
T = TO
(out)(err)
S = N/A
O = N/A
T = 1793.48
(out)(err)
S = OPT
O = 560
T = 25.57
(out)(err)
frb35-17-2.wcnf S = OPT
O = 560
T = 538.78
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 560
T = 538.78
(out)(err)
S = N/A
O = 567
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 = 566
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 = N/A
T = TO
(out)(err)
S = N/A
O = 567
T = 1792.81
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 570
T = TO
(out)(err)
S = OPT
O = 560
T = 1673.18
(out)(err)
S = OPT
O = 560
T = 1203.43
(out)(err)
S = N/A
O = 562
T = TO
(out)(err)
S = N/A
O = 571
T = TO
(out)(err)
S = N/A
O = N/A
T = 1793.32
(out)(err)
S = N/A
O = N/A
T = 238.49
(out)(err)
frb35-17-3.wcnf S = OPT
O = 560
T = 36.20
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 560
T = 164.34
(out)(err)
S = N/A
O = 572
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 = 565
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 = N/A
T = TO
(out)(err)
S = N/A
O = 567
T = 1793.05
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 568
T = TO
(out)(err)
S = N/A
O = 564
T = TO
(out)(err)
S = OPT
O = 560
T = 73.59
(out)(err)
S = N/A
O = 562
T = TO
(out)(err)
S = N/A
O = 570
T = TO
(out)(err)
S = N/A
O = N/A
T = 1792.69
(out)(err)
S = OPT
O = 560
T = 36.20
(out)(err)
frb35-17-4.wcnf S = OPT
O = 560
T = 132.16
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 560
T = 132.16
(out)(err)
S = N/A
O = 566
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 = 566
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 = N/A
T = TO
(out)(err)
S = N/A
O = 567
T = 1793.04
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 569
T = TO
(out)(err)
S = N/A
O = 561
T = TO
(out)(err)
S = N/A
O = 1774
T = TO
(out)(err)
S = N/A
O = 562
T = TO
(out)(err)
S = N/A
O = 566
T = TO
(out)(err)
S = N/A
O = N/A
T = 1792.76
(out)(err)
S = OPT
O = 560
T = 144.55
(out)(err)
frb35-17-5.wcnf S = OPT
O = 560
T = 169.91
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 560
T = 169.91
(out)(err)
S = N/A
O = 564
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 = 566
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 = N/A
T = TO
(out)(err)
S = N/A
O = 566
T = 1793.35
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 571
T = TO
(out)(err)
S = N/A
O = 561
T = TO
(out)(err)
S = N/A
O = 561
T = 1758.95
(out)(err)
S = N/A
O = 562
T = TO
(out)(err)
S = N/A
O = 569
T = TO
(out)(err)
S = N/A
O = N/A
T = 1793.57
(out)(err)
S = N/A
O = N/A
T = 225.79
(out)(err)
frb40-19-1.wcnf S = OPT
O = 720
T = 132.11
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 720
T = 363.40
(out)(err)
S = N/A
O = 733
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 = 730
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 = N/A
T = TO
(out)(err)
S = N/A
O = 729
T = 1792.95
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 733
T = TO
(out)(err)
S = OPT
O = 720
T = 175.04
(out)(err)
S = OPT
O = 720
T = 132.11
(out)(err)
S = N/A
O = 723
T = TO
(out)(err)
S = N/A
O = 1495
T = TO
(out)(err)
S = N/A
O = N/A
T = 1792.35
(out)(err)
S = N/A
O = N/A
T = 140.64
(out)(err)
frb40-19-2.wcnf S = OPT
O = 720
T = 187.23
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 720
T = 187.23
(out)(err)
S = N/A
O = 730
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 = 727
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 = N/A
T = TO
(out)(err)
S = N/A
O = 729
T = 1793.87
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 732
T = TO
(out)(err)
S = N/A
O = 2254
T = TO
(out)(err)
S = OPT
O = 720
T = 482.14
(out)(err)
S = N/A
O = 722
T = TO
(out)(err)
S = N/A
O = 1492
T = TO
(out)(err)
S = N/A
O = N/A
T = 1793.32
(out)(err)
S = N/A
O = N/A
T = 162.77
(out)(err)
frb40-19-3.wcnf S = OPT
O = 720
T = 226.11
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 721
T = TO
(out)(err)
S = N/A
O = 726
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 = 726
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 = N/A
T = TO
(out)(err)
S = N/A
O = 729
T = 1793.36
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 734
T = TO
(out)(err)
S = N/A
O = 721
T = TO
(out)(err)
S = N/A
O = 722
T = TO
(out)(err)
S = N/A
O = 724
T = TO
(out)(err)
S = N/A
O = 731
T = TO
(out)(err)
S = N/A
O = N/A
T = 1793.10
(out)(err)
S = OPT
O = 720
T = 226.11
(out)(err)
frb40-19-4.wcnf S = OPT
O = 720
T = 213.37
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 720
T = 1691.68
(out)(err)
S = N/A
O = 733
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 = 727
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 = N/A
T = TO
(out)(err)
S = N/A
O = 729
T = 1793.61
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 733
T = TO
(out)(err)
S = N/A
O = 722
T = TO
(out)(err)
S = N/A
O = 3789
T = TO
(out)(err)
S = N/A
O = 723
T = TO
(out)(err)
S = N/A
O = 735
T = TO
(out)(err)
S = N/A
O = N/A
T = 1793.33
(out)(err)
S = OPT
O = 720
T = 213.37
(out)(err)
frb40-19-5.wcnf S = OPT
O = 720
T = 217.70
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 720
T = TO
(out)(err)
S = N/A
O = 731
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 = 726
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 = N/A
T = TO
(out)(err)
S = N/A
O = 729
T = 1793.82
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 732
T = TO
(out)(err)
S = N/A
O = 726
T = TO
(out)(err)
S = OPT
O = 720
T = 217.70
(out)(err)
S = N/A
O = 724
T = TO
(out)(err)
S = N/A
O = 735
T = TO
(out)(err)
S = N/A
O = N/A
T = 1792.17
(out)(err)
S = N/A
O = N/A
T = 308.14
(out)(err)
ram_k3_n10.ra1.wcnf S = OPT
O = 232
T = 2.63
S = OPT
O = 232
T = 83.30
(out)(err)
S = OPT
O = 232
T = 3.42
(out)(err)
S = OPT
O = 232
T = 14.83
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 1.00
(out)(err)
S = OPT
O = 232
T = 137.16
(out)(err)
S = OPT
O = 232
T = 2.63
(out)(err)
S = OPT
O = 232
T = 2.75
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 232
T = 16.78
(out)(err)
S = OPT
O = 232
T = 6.50
(out)(err)
S = OPT
O = 232
T = 19.60
(out)(err)
S = OPT
O = 232
T = 633.01
(out)(err)
S = OPT
O = 232
T = 41.83
(out)(err)
S = N/A
O = N/A
T = 1.72
(out)(err)
S = OPT
O = 232
T = 134.58
(out)(err)
S = OPT
O = 232
T = 248.70
(out)(err)
S = N/A
O = N/A
T = 1792.78
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
ram_k3_n11.ra1.wcnf S = OPT
O = 318
T = 22.63
S = OPT
O = 318
T = 517.64
(out)(err)
S = OPT
O = 318
T = 29.25
(out)(err)
S = OPT
O = 318
T = 239.58
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 0.92
(out)(err)
S = N/A
O = 318
T = TO
(out)(err)
S = OPT
O = 318
T = 22.63
(out)(err)
S = OPT
O = 318
T = 22.69
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 318
T = 266.61
(out)(err)
S = OPT
O = 318
T = 39.28
(out)(err)
S = OPT
O = 318
T = 281.80
(out)(err)
S = N/A
O = 399
T = TO
(out)(err)
S = OPT
O = 318
T = 404.22
(out)(err)
S = N/A
O = N/A
T = 0.58
(out)(err)
S = OPT
O = 318
T = 686.14
(out)(err)
S = N/A
O = 719
T = TO
(out)(err)
S = N/A
O = N/A
T = 1792.82
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
ram_k3_n12.ra1.wcnf S = OPT
O = 524
T = 137.34
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 524
T = 137.34
(out)(err)
S = N/A
O = 524
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 58.27
(out)(err)
S = N/A
O = 1176
T = TO
(out)(err)
S = OPT
O = 524
T = 380.98
(out)(err)
S = OPT
O = 524
T = 379.93
(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 = 833
T = 1797.41
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 1225
T = TO
(out)(err)
S = N/A
O = 27525
T = TO
(out)(err)
S = N/A
O = N/A
T = 0.80
(out)(err)
S = N/A
O = 679
T = TO
(out)(err)
S = N/A
O = 6348
T = TO
(out)(err)
S = N/A
O = N/A
T = 1792.76
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
ram_k3_n13.ra1.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 2177
T = TO
(out)(err)
S = N/A
O = 20819
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 = 2328
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 = N/A
T = TO
(out)(err)
S = N/A
O = 3844
T = 1797.85
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 2824
T = TO
(out)(err)
S = N/A
O = 18254
T = TO
(out)(err)
S = N/A
O = N/A
T = 1.23
(out)(err)
S = N/A
O = 1670
T = TO
(out)(err)
S = N/A
O = 10556
T = TO
(out)(err)
S = N/A
O = N/A
T = 1793.73
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
ram_k3_n14.ra1.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 6064
T = TO
(out)(err)
S = N/A
O = 20339
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 = 6208
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 = N/A
T = TO
(out)(err)
S = N/A
O = 6270
T = 1797.86
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 5278
T = TO
(out)(err)
S = N/A
O = 40456
T = TO
(out)(err)
S = N/A
O = N/A
T = 1.23
(out)(err)
S = N/A
O = 4295
T = TO
(out)(err)
S = N/A
O = 10959
T = TO
(out)(err)
S = N/A
O = N/A
T = 1791.62
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
ram_k3_n15.ra1.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 9606
T = TO
(out)(err)
S = N/A
O = 30377
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 = 8141
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 = N/A
T = TO
(out)(err)
S = N/A
O = 7940
T = 1798.29
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 8570
T = TO
(out)(err)
S = N/A
O = 22864
T = TO
(out)(err)
S = N/A
O = N/A
T = 0.93
(out)(err)
S = N/A
O = 8735
T = TO
(out)(err)
S = N/A
O = 19251
T = TO
(out)(err)
S = N/A
O = N/A
T = 1791.44
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
ram_k3_n16.ra1.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 17868
T = TO
(out)(err)
S = N/A
O = 54181
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 = 13530
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 = N/A
T = TO
(out)(err)
S = N/A
O = 13062
T = 1797.99
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 14164
T = TO
(out)(err)
S = N/A
O = 30571
T = TO
(out)(err)
S = N/A
O = N/A
T = 0.65
(out)(err)
S = N/A
O = 13863
T = TO
(out)(err)
S = N/A
O = 16656
T = TO
(out)(err)
S = N/A
O = N/A
T = 1787.58
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
ram_k3_n17.ra1.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 26746
T = TO
(out)(err)
S = N/A
O = 67405
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 = 21179
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 = N/A
T = TO
(out)(err)
S = N/A
O = 19008
T = 1798.22
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 18002
T = TO
(out)(err)
S = N/A
O = 62628
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 20104
T = TO
(out)(err)
S = N/A
O = 33705
T = TO
(out)(err)
S = N/A
O = N/A
T = 1791.50
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
ram_k3_n18.ra1.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 32196
T = TO
(out)(err)
S = N/A
O = 90849
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 = 26928
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 = N/A
T = TO
(out)(err)
S = N/A
O = 24192
T = 1798.21
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 28076
T = TO
(out)(err)
S = N/A
O = 69561
T = TO
(out)(err)
S = N/A
O = N/A
T = 0.47
(out)(err)
S = N/A
O = 27677
T = TO
(out)(err)
S = N/A
O = 35753
T = TO
(out)(err)
S = N/A
O = N/A
T = 1789.25
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
ram_k3_n19.ra1.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 41858
T = TO
(out)(err)
S = N/A
O = 94951
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 = 39395
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 = N/A
T = TO
(out)(err)
S = N/A
O = 44015
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 38927
T = TO
(out)(err)
S = N/A
O = 69217
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 39483
T = TO
(out)(err)
S = N/A
O = 55513
T = TO
(out)(err)
S = N/A
O = N/A
T = 1772.65
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
ram_k3_n20.ra1.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 58683
T = TO
(out)(err)
S = N/A
O = 84132
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 = 46765
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 = N/A
T = TO
(out)(err)
S = N/A
O = 49861
T = 1798.88
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 45881
T = TO
(out)(err)
S = N/A
O = 98842
T = TO
(out)(err)
S = N/A
O = N/A
T = 1.22
(out)(err)
S = N/A
O = 46898
T = TO
(out)(err)
S = N/A
O = 96844
T = TO
(out)(err)
S = N/A
O = N/A
T = 1781.44
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
ram_k3_n9.ra1.wcnf S = OPT
O = 7
T = 0.21
S = OPT
O = 7
T = 2.59
(out)(err)
S = OPT
O = 7
T = 0.68
(out)(err)
S = OPT
O = 7
T = 0.21
(out)(err)
S = OPT
O = 7
T = 1.63
(out)(err)
S = N/A
O = N/A
T = 0.93
(out)(err)
S = OPT
O = 7
T = 7.42
(out)(err)
S = OPT
O = 7
T = 0.24
(out)(err)
S = OPT
O = 7
T = 0.24
(out)(err)
S = OPT
O = 7
T = 0.39
(out)(err)
S = OPT
O = 7
T = 0.60
(out)(err)
S = OPT
O = 7
T = 0.47
(out)(err)
S = OPT
O = 7
T = 1.69
(out)(err)
S = OPT
O = 7
T = 16.27
(out)(err)
S = OPT
O = 7
T = 0.90
(out)(err)
S = N/A
O = N/A
T = 0.56
(out)(err)
S = OPT
O = 7
T = 7.54
(out)(err)
S = OPT
O = 7
T = 1.48
(out)(err)
S = OPT
O = 7
T = 1.01
(out)(err)
S = OPT
O = 7
T = 1.47
(out)(err)
ram_k4_n18.ra1.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 1954
T = TO
(out)(err)
S = N/A
O = 27180
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 = 4010
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 = N/A
T = TO
(out)(err)
S = N/A
O = 3284
T = 1797.88
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 3739
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 = 2785
T = TO
(out)(err)
S = N/A
O = 6824
T = TO
(out)(err)
S = N/A
O = N/A
T = 1792.03
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
ram_k4_n19.ra1.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 8360
T = TO
(out)(err)
S = N/A
O = 41348
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 = 8712
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 = N/A
T = TO
(out)(err)
S = N/A
O = 5600
T = 1797.74
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 8055
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 = 10865
T = TO
(out)(err)
S = N/A
O = 16311
T = TO
(out)(err)
S = N/A
O = N/A
T = 1791.39
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
ram_k4_n20.ra1.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 12809
T = TO
(out)(err)
S = N/A
O = 58581
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 = 12580
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 = N/A
T = TO
(out)(err)
S = N/A
O = 13987
T = 1798.22
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 14345
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 = 16120
T = TO
(out)(err)
S = N/A
O = 36850
T = TO
(out)(err)
S = N/A
O = N/A
T = 1789.48
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
MANN_a27.clq.wcnf S = OPT
O = 2049
T = 300.19
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 2049
T = 300.19
(out)(err)
S = N/A
O = 2115
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 2049
T = 995.01
(out)(err)
S = N/A
O = 2062
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 = N/A
T = TO
(out)(err)
S = N/A
O = 2056
T = 1797.53
(out)(err)
S = OPT
O = 2049
T = 459.59
(out)(err)
S = N/A
O = 2090
T = TO
(out)(err)
S = N/A
O = 2961
T = TO
(out)(err)
S = N/A
O = 2772
T = TO
(out)(err)
S = N/A
O = 2059
T = TO
(out)(err)
S = N/A
O = 2391
T = TO
(out)(err)
S = N/A
O = N/A
T = 318.25
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
MANN_a45.clq.wcnf S = OPT
O = 2057
T = 172.79
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 2057
T = 172.79
(out)(err)
S = N/A
O = 2233
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 2057
T = 607.54
(out)(err)
S = N/A
O = 2087
T = TO
(out)(err)
S = OPT
O = 2057
T = 1499.35
(out)(err)
S = OPT
O = 2057
T = 1522.70
(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 = 2057
T = 1797.31
(out)(err)
S = OPT
O = 2057
T = 286.21
(out)(err)
S = N/A
O = 2128
T = TO
(out)(err)
S = N/A
O = 3002
T = TO
(out)(err)
S = N/A
O = 2912
T = TO
(out)(err)
S = N/A
O = 2073
T = TO
(out)(err)
S = N/A
O = 2480
T = TO
(out)(err)
S = N/A
O = N/A
T = 317.66
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
MANN_a81.clq.wcnf S = OPT
O = 1995
T = 193.51
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1995
T = 193.51
(out)(err)
S = N/A
O = 2087
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1995
T = 649.44
(out)(err)
S = N/A
O = 1995
T = TO
(out)(err)
S = OPT
O = 1995
T = 1621.62
(out)(err)
S = OPT
O = 1995
T = 1656.22
(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 = 1995
T = 1797.60
(out)(err)
S = OPT
O = 1995
T = 333.35
(out)(err)
S = N/A
O = 2048
T = TO
(out)(err)
S = N/A
O = 2903
T = TO
(out)(err)
S = N/A
O = 2458
T = TO
(out)(err)
S = N/A
O = 1995
T = TO
(out)(err)
S = N/A
O = 2303
T = TO
(out)(err)
S = N/A
O = N/A
T = 317.58
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
MANN_a9.clq.wcnf S = OPT
O = 2179
T = 261.22
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 2179
T = 261.22
(out)(err)
S = N/A
O = 2358
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 2179
T = 1174.91
(out)(err)
S = N/A
O = 2195
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 = N/A
T = TO
(out)(err)
S = N/A
O = 2193
T = 1797.58
(out)(err)
S = OPT
O = 2179
T = 332.83
(out)(err)
S = N/A
O = 2257
T = TO
(out)(err)
S = N/A
O = 3015
T = TO
(out)(err)
S = N/A
O = 3260
T = TO
(out)(err)
S = N/A
O = 2196
T = TO
(out)(err)
S = N/A
O = 2301
T = TO
(out)(err)
S = N/A
O = N/A
T = 317.50
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
brock200_1.clq.wcnf S = OPT
O = 1254
T = 2.39
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1254
T = 2.39
(out)(err)
S = N/A
O = 1392
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1254
T = 6.23
(out)(err)
S = OPT
O = 1254
T = 263.59
(out)(err)
S = OPT
O = 1254
T = 11.29
(out)(err)
S = OPT
O = 1254
T = 11.58
(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 = 1254
T = 49.25
(out)(err)
S = OPT
O = 1254
T = 2.84
(out)(err)
S = N/A
O = 1280
T = TO
(out)(err)
S = N/A
O = 1934
T = TO
(out)(err)
S = N/A
O = 1930
T = TO
(out)(err)
S = N/A
O = 1254
T = TO
(out)(err)
S = N/A
O = 1516
T = TO
(out)(err)
S = N/A
O = N/A
T = 178.72
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
brock200_2.clq.wcnf S = OPT
O = 753
T = 0.16
S = OPT
O = 753
T = 34.84
(out)(err)
S = OPT
O = 753
T = 0.56
(out)(err)
S = N/A
O = 896
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 753
T = 0.16
(out)(err)
S = OPT
O = 753
T = 9.90
(out)(err)
S = OPT
O = 753
T = 0.35
(out)(err)
S = OPT
O = 753
T = 0.37
(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 = 753
T = 1.06
(out)(err)
S = OPT
O = 753
T = 0.33
(out)(err)
S = N/A
O = 770
T = TO
(out)(err)
S = N/A
O = 1062
T = TO
(out)(err)
S = N/A
O = 1246
T = TO
(out)(err)
S = OPT
O = 753
T = 103.18
(out)(err)
S = N/A
O = 897
T = TO
(out)(err)
S = N/A
O = N/A
T = 212.77
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
brock200_3.clq.wcnf S = OPT
O = 1102
T = 1.14
S = OPT
O = 1102
T = 564.06
(out)(err)
S = OPT
O = 1102
T = 1.16
(out)(err)
S = N/A
O = 1231
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1102
T = 1.42
(out)(err)
S = OPT
O = 1102
T = 87.58
(out)(err)
S = OPT
O = 1102
T = 3.37
(out)(err)
S = OPT
O = 1102
T = 4.68
(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 = 1102
T = 11.35
(out)(err)
S = OPT
O = 1102
T = 1.14
(out)(err)
S = N/A
O = 1125
T = TO
(out)(err)
S = N/A
O = 1609
T = TO
(out)(err)
S = N/A
O = 1964
T = TO
(out)(err)
S = OPT
O = 1102
T = 1155.83
(out)(err)
S = N/A
O = 1313
T = TO
(out)(err)
S = N/A
O = N/A
T = 317.58
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
brock200_4.clq.wcnf S = OPT
O = 1105
T = 1.55
S = OPT
O = 1105
T = 1112.43
(out)(err)
S = OPT
O = 1105
T = 1.72
(out)(err)
S = N/A
O = 1198
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1105
T = 2.39
(out)(err)
S = OPT
O = 1105
T = 170.78
(out)(err)
S = OPT
O = 1105
T = 5.53
(out)(err)
S = OPT
O = 1105
T = 5.71
(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 = 1105
T = 37.25
(out)(err)
S = OPT
O = 1105
T = 1.55
(out)(err)
S = N/A
O = 1123
T = TO
(out)(err)
S = N/A
O = 1825
T = TO
(out)(err)
S = N/A
O = 1685
T = TO
(out)(err)
S = OPT
O = 1105
T = 1576.27
(out)(err)
S = N/A
O = 1400
T = TO
(out)(err)
S = N/A
O = N/A
T = 178.95
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
brock400_1.clq.wcnf S = OPT
O = 1361
T = 5.87
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1361
T = 5.87
(out)(err)
S = N/A
O = 1451
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1361
T = 14.97
(out)(err)
S = OPT
O = 1361
T = 580.55
(out)(err)
S = OPT
O = 1361
T = 32.16
(out)(err)
S = OPT
O = 1361
T = 32.67
(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 = 1361
T = 102.54
(out)(err)
S = OPT
O = 1361
T = 7.67
(out)(err)
S = N/A
O = 1383
T = TO
(out)(err)
S = N/A
O = 2022
T = TO
(out)(err)
S = N/A
O = 1970
T = TO
(out)(err)
S = N/A
O = 1361
T = TO
(out)(err)
S = N/A
O = 1653
T = TO
(out)(err)
S = N/A
O = N/A
T = 317.83
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
brock400_2.clq.wcnf S = OPT
O = 1355
T = 5.30
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1355
T = 5.30
(out)(err)
S = N/A
O = 1447
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1355
T = 11.58
(out)(err)
S = OPT
O = 1355
T = 427.27
(out)(err)
S = OPT
O = 1355
T = 27.81
(out)(err)
S = OPT
O = 1355
T = 27.66
(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 = 1355
T = 98.66
(out)(err)
S = OPT
O = 1355
T = 6.03
(out)(err)
S = N/A
O = 1376
T = TO
(out)(err)
S = N/A
O = 1968
T = TO
(out)(err)
S = N/A
O = 1755
T = TO
(out)(err)
S = N/A
O = 1355
T = TO
(out)(err)
S = N/A
O = 1694
T = TO
(out)(err)
S = N/A
O = N/A
T = 318.10
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
brock400_3.clq.wcnf S = OPT
O = 1259
T = 2.38
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1259
T = 2.38
(out)(err)
S = N/A
O = 1309
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1259
T = 5.20
(out)(err)
S = OPT
O = 1259
T = 248.71
(out)(err)
S = OPT
O = 1259
T = 12.76
(out)(err)
S = OPT
O = 1259
T = 13.47
(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 = 1259
T = 53.98
(out)(err)
S = OPT
O = 1259
T = 2.84
(out)(err)
S = N/A
O = 1292
T = TO
(out)(err)
S = N/A
O = 1993
T = TO
(out)(err)
S = N/A
O = 1643
T = TO
(out)(err)
S = N/A
O = 1259
T = TO
(out)(err)
S = N/A
O = 1409
T = TO
(out)(err)
S = N/A
O = N/A
T = 317.56
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
brock400_4.clq.wcnf S = OPT
O = 1290
T = 1.89
S = OPT
O = 1290
T = 1367.66
(out)(err)
S = OPT
O = 1290
T = 2.21
(out)(err)
S = N/A
O = 1400
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1290
T = 2.27
(out)(err)
S = OPT
O = 1290
T = 172.88
(out)(err)
S = OPT
O = 1290
T = 5.57
(out)(err)
S = OPT
O = 1290
T = 5.63
(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 = 1290
T = 18.10
(out)(err)
S = OPT
O = 1290
T = 1.89
(out)(err)
S = N/A
O = 1305
T = TO
(out)(err)
S = N/A
O = 2019
T = TO
(out)(err)
S = N/A
O = 2143
T = TO
(out)(err)
S = N/A
O = 1290
T = TO
(out)(err)
S = N/A
O = 1551
T = TO
(out)(err)
S = N/A
O = N/A
T = 317.39
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
brock800_1.clq.wcnf S = OPT
O = 1071
T = 0.96
S = OPT
O = 1071
T = 1102.24
(out)(err)
S = OPT
O = 1071
T = 0.96
(out)(err)
S = N/A
O = 1176
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1071
T = 1.71
(out)(err)
S = OPT
O = 1071
T = 95.27
(out)(err)
S = OPT
O = 1071
T = 3.00
(out)(err)
S = OPT
O = 1071
T = 3.18
(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 = 1071
T = 21.42
(out)(err)
S = OPT
O = 1071
T = 1.17
(out)(err)
S = N/A
O = 1095
T = TO
(out)(err)
S = N/A
O = 1609
T = TO
(out)(err)
S = N/A
O = 1499
T = TO
(out)(err)
S = OPT
O = 1071
T = 1224.05
(out)(err)
S = N/A
O = 1353
T = TO
(out)(err)
S = N/A
O = N/A
T = 317.94
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
brock800_2.clq.wcnf S = OPT
O = 1076
T = 1.04
S = OPT
O = 1076
T = 743.03
(out)(err)
S = OPT
O = 1076
T = 1.24
(out)(err)
S = N/A
O = 1213
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1076
T = 1.26
(out)(err)
S = OPT
O = 1076
T = 102.58
(out)(err)
S = OPT
O = 1076
T = 2.21
(out)(err)
S = OPT
O = 1076
T = 2.20
(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 = 1076
T = 21.08
(out)(err)
S = OPT
O = 1076
T = 1.04
(out)(err)
S = N/A
O = 1096
T = TO
(out)(err)
S = N/A
O = 1656
T = TO
(out)(err)
S = N/A
O = 1481
T = TO
(out)(err)
S = OPT
O = 1076
T = 1223.15
(out)(err)
S = N/A
O = 1246
T = TO
(out)(err)
S = N/A
O = N/A
T = 178.75
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
brock800_3.clq.wcnf S = OPT
O = 1079
T = 1.39
S = OPT
O = 1079
T = 1640.67
(out)(err)
S = OPT
O = 1079
T = 1.65
(out)(err)
S = N/A
O = 1137
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1079
T = 2.62
(out)(err)
S = OPT
O = 1079
T = 138.80
(out)(err)
S = OPT
O = 1079
T = 6.76
(out)(err)
S = OPT
O = 1079
T = 6.83
(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 = 1079
T = 14.08
(out)(err)
S = OPT
O = 1079
T = 1.39
(out)(err)
S = N/A
O = 1089
T = TO
(out)(err)
S = N/A
O = 1763
T = TO
(out)(err)
S = N/A
O = 1781
T = TO
(out)(err)
S = N/A
O = 1079
T = TO
(out)(err)
S = N/A
O = 1308
T = TO
(out)(err)
S = N/A
O = N/A
T = 178.79
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
brock800_4.clq.wcnf S = OPT
O = 1050
T = 1.03
S = OPT
O = 1050
T = 1306.12
(out)(err)
S = OPT
O = 1050
T = 1.03
(out)(err)
S = N/A
O = 1133
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1050
T = 1.87
(out)(err)
S = OPT
O = 1050
T = 116.63
(out)(err)
S = OPT
O = 1050
T = 4.79
(out)(err)
S = OPT
O = 1050
T = 4.82
(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 = 1050
T = 10.92
(out)(err)
S = OPT
O = 1050
T = 1.27
(out)(err)
S = N/A
O = 1068
T = TO
(out)(err)
S = N/A
O = 1496
T = TO
(out)(err)
S = N/A
O = 1713
T = TO
(out)(err)
S = OPT
O = 1050
T = 1220.14
(out)(err)
S = N/A
O = 1261
T = TO
(out)(err)
S = N/A
O = N/A
T = 178.66
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
c-fat200-1.clq.wcnf S = OPT
O = 14
T = 0.00
S = OPT
O = 14
T = 0.02
(out)(err)
S = OPT
O = 14
T = 0.46
(out)(err)
S = OPT
O = 14
T = 0.00
(out)(err)
S = OPT
O = 14
T = 0.01
(out)(err)
S = OPT
O = 14
T = 0.01
(out)(err)
S = OPT
O = 14
T = 0.00
(out)(err)
S = OPT
O = 14
T = 0.01
(out)(err)
S = OPT
O = 14
T = 0.01
(out)(err)
S = OPT
O = 14
T = 0.01
(out)(err)
S = OPT
O = 14
T = 0.01
(out)(err)
S = OPT
O = 14
T = 0.00
(out)(err)
S = OPT
O = 14
T = 0.12
(out)(err)
S = OPT
O = 14
T = 0.00
(out)(err)
S = OPT
O = 14
T = 0.01
(out)(err)
S = OPT
O = 14
T = 0.01
(out)(err)
S = OPT
O = 14
T = 0.03
(out)(err)
S = OPT
O = 14
T = 0.04
(out)(err)
S = OPT
O = 14
T = 0.00
(out)(err)
S = OPT
O = 14
T = 0.00
(out)(err)
c-fat200-2.clq.wcnf S = OPT
O = 167
T = 0.01
S = OPT
O = 167
T = 0.21
(out)(err)
S = OPT
O = 167
T = 0.48
(out)(err)
S = N/A
O = 167
T = TO
(out)(err)
S = OPT
O = 167
T = 0.63
(out)(err)
S = OPT
O = 167
T = 0.01
(out)(err)
S = OPT
O = 167
T = 0.14
(out)(err)
S = OPT
O = 167
T = 0.01
(out)(err)
S = OPT
O = 167
T = 0.01
(out)(err)
S = OPT
O = 167
T = 0.15
(out)(err)
S = OPT
O = 167
T = 84.73
(out)(err)
S = OPT
O = 167
T = 0.04
(out)(err)
S = OPT
O = 167
T = 0.12
(out)(err)
S = OPT
O = 167
T = 5.68
(out)(err)
S = N/A
O = 182
T = TO
(out)(err)
S = N/A
O = 197
T = TO
(out)(err)
S = OPT
O = 167
T = 0.72
(out)(err)
S = N/A
O = 296
T = TO
(out)(err)
S = OPT
O = 167
T = 0.09
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
c-fat200-5.clq.wcnf S = OPT
O = 613
T = 0.16
S = OPT
O = 613
T = 18.55
(out)(err)
S = OPT
O = 613
T = 0.55
(out)(err)
S = N/A
O = 738
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 613
T = 0.16
(out)(err)
S = OPT
O = 613
T = 6.59
(out)(err)
S = OPT
O = 613
T = 0.30
(out)(err)
S = OPT
O = 613
T = 0.32
(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 = 613
T = 1.19
(out)(err)
S = OPT
O = 613
T = 0.34
(out)(err)
S = N/A
O = 613
T = TO
(out)(err)
S = N/A
O = 996
T = TO
(out)(err)
S = N/A
O = 974
T = TO
(out)(err)
S = OPT
O = 613
T = 93.69
(out)(err)
S = N/A
O = 926
T = TO
(out)(err)
S = N/A
O = N/A
T = 178.57
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
c-fat500-1.clq.wcnf S = OPT
O = 10
T = 0.00
S = OPT
O = 10
T = 0.01
(out)(err)
S = OPT
O = 10
T = 0.46
(out)(err)
S = OPT
O = 10
T = 0.00
(out)(err)
S = OPT
O = 10
T = 0.00
(out)(err)
S = OPT
O = 10
T = 0.01
(out)(err)
S = OPT
O = 10
T = 0.00
(out)(err)
S = OPT
O = 10
T = 0.01
(out)(err)
S = OPT
O = 10
T = 0.01
(out)(err)
S = OPT
O = 10
T = 0.01
(out)(err)
S = OPT
O = 10
T = 0.00
(out)(err)
S = OPT
O = 10
T = 0.00
(out)(err)
S = OPT
O = 10
T = 0.02
(out)(err)
S = OPT
O = 10
T = 0.00
(out)(err)
S = OPT
O = 10
T = 0.00
(out)(err)
S = OPT
O = 10
T = 0.00
(out)(err)
S = OPT
O = 10
T = 0.04
(out)(err)
S = OPT
O = 10
T = 0.01
(out)(err)
S = OPT
O = 10
T = 0.00
(out)(err)
S = OPT
O = 10
T = 0.00
(out)(err)
c-fat500-10.clq.wcnf S = OPT
O = 947
T = 5.00
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 947
T = 5.00
(out)(err)
S = N/A
O = 948
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 947
T = 13.74
(out)(err)
S = OPT
O = 947
T = 527.31
(out)(err)
S = OPT
O = 947
T = 35.41
(out)(err)
S = OPT
O = 947
T = 37.63
(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 = 947
T = 70.54
(out)(err)
S = OPT
O = 947
T = 6.40
(out)(err)
S = N/A
O = 981
T = TO
(out)(err)
S = N/A
O = 1471
T = TO
(out)(err)
S = N/A
O = 1307
T = TO
(out)(err)
S = OPT
O = 947
T = 16.17
(out)(err)
S = N/A
O = 1036
T = TO
(out)(err)
S = N/A
O = N/A
T = 206.18
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
c-fat500-2.clq.wcnf S = OPT
O = 97
T = 0.00
S = OPT
O = 97
T = 0.02
(out)(err)
S = OPT
O = 97
T = 0.46
(out)(err)
S = OPT
O = 97
T = 0.08
(out)(err)
S = OPT
O = 97
T = 0.04
(out)(err)
S = OPT
O = 97
T = 0.01
(out)(err)
S = OPT
O = 97
T = 0.07
(out)(err)
S = OPT
O = 97
T = 0.01
(out)(err)
S = OPT
O = 97
T = 0.01
(out)(err)
S = OPT
O = 97
T = 0.06
(out)(err)
S = OPT
O = 97
T = 0.22
(out)(err)
S = OPT
O = 97
T = 0.00
(out)(err)
S = OPT
O = 97
T = 0.07
(out)(err)
S = OPT
O = 97
T = 21.70
(out)(err)
S = OPT
O = 97
T = 0.01
(out)(err)
S = OPT
O = 97
T = 0.02
(out)(err)
S = OPT
O = 97
T = 0.07
(out)(err)
S = N/A
O = 111
T = TO
(out)(err)
S = OPT
O = 97
T = 0.02
(out)(err)
S = OPT
O = 97
T = 0.02
(out)(err)
c-fat500-5.clq.wcnf S = OPT
O = 404
T = 0.19
S = OPT
O = 404
T = 1.54
(out)(err)
S = OPT
O = 404
T = 0.56
(out)(err)
S = OPT
O = 404
T = 204.80
(out)(err)
S = OPT
O = 404
T = 17.78
(out)(err)
S = OPT
O = 404
T = 0.32
(out)(err)
S = OPT
O = 404
T = 13.13
(out)(err)
S = OPT
O = 404
T = 0.82
(out)(err)
S = OPT
O = 404
T = 1.10
(out)(err)
S = OPT
O = 404
T = 503.65
(out)(err)
S = OPT
O = 404
T = 11.34
(out)(err)
S = OPT
O = 404
T = 1.36
(out)(err)
S = OPT
O = 404
T = 0.19
(out)(err)
S = N/A
O = 423
T = TO
(out)(err)
S = OPT
O = 404
T = 2.29
(out)(err)
S = OPT
O = 404
T = 2.46
(out)(err)
S = OPT
O = 404
T = 0.66
(out)(err)
S = N/A
O = 468
T = TO
(out)(err)
S = N/A
O = N/A
T = 238.92
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
hamming10-2.clq.wcnf S = OPT
O = 1929
T = 33.52
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1929
T = 33.52
(out)(err)
S = N/A
O = 2037
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1929
T = 85.18
(out)(err)
S = N/A
O = 1929
T = TO
(out)(err)
S = OPT
O = 1929
T = 210.47
(out)(err)
S = OPT
O = 1929
T = 215.46
(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 = 1929
T = 786.65
(out)(err)
S = OPT
O = 1929
T = 49.61
(out)(err)
S = N/A
O = 1970
T = TO
(out)(err)
S = N/A
O = 2689
T = TO
(out)(err)
S = N/A
O = 2989
T = TO
(out)(err)
S = N/A
O = 1942
T = TO
(out)(err)
S = N/A
O = 2208
T = TO
(out)(err)
S = N/A
O = N/A
T = 317.76
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
hamming10-4.clq.wcnf S = OPT
O = 1683
T = 33.47
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1683
T = 36.57
(out)(err)
S = N/A
O = 1818
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1683
T = 72.59
(out)(err)
S = N/A
O = 1683
T = TO
(out)(err)
S = OPT
O = 1683
T = 191.17
(out)(err)
S = OPT
O = 1683
T = 189.54
(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 = 1683
T = 727.22
(out)(err)
S = OPT
O = 1683
T = 33.47
(out)(err)
S = N/A
O = 1745
T = TO
(out)(err)
S = N/A
O = 2557
T = TO
(out)(err)
S = N/A
O = 1885
T = TO
(out)(err)
S = N/A
O = 1683
T = TO
(out)(err)
S = N/A
O = 1970
T = TO
(out)(err)
S = N/A
O = N/A
T = 317.63
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
hamming6-2.clq.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 4474
T = TO
(out)(err)
S = N/A
O = 4660
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 = 4486
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 = N/A
T = TO
(out)(err)
S = N/A
O = 4426
T = 1797.78
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 4580
T = TO
(out)(err)
S = N/A
O = 6294
T = TO
(out)(err)
S = N/A
O = 6065
T = TO
(out)(err)
S = N/A
O = 4803
T = TO
(out)(err)
S = N/A
O = 5257
T = TO
(out)(err)
S = N/A
O = N/A
T = 1143.70
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
hamming6-4.clq.wcnf S = OPT
O = 1035
T = 0.40
S = OPT
O = 1035
T = 83.80
(out)(err)
S = OPT
O = 1035
T = 0.67
(out)(err)
S = N/A
O = 1540
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1035
T = 0.40
(out)(err)
S = OPT
O = 1035
T = 73.61
(out)(err)
S = OPT
O = 1035
T = 0.95
(out)(err)
S = OPT
O = 1035
T = 1.16
(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 = 1035
T = 1.04
(out)(err)
S = OPT
O = 1035
T = 0.53
(out)(err)
S = N/A
O = 1102
T = TO
(out)(err)
S = N/A
O = 1543
T = TO
(out)(err)
S = N/A
O = 1800
T = TO
(out)(err)
S = OPT
O = 1035
T = 1651.80
(out)(err)
S = N/A
O = 1775
T = TO
(out)(err)
S = N/A
O = N/A
T = 178.98
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
hamming8-2.clq.wcnf S = OPT
O = 2213
T = 752.82
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 2213
T = 752.82
(out)(err)
S = N/A
O = 2310
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 = 2225
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 = N/A
T = TO
(out)(err)
S = N/A
O = 2220
T = 1797.55
(out)(err)
S = OPT
O = 2213
T = 1232.45
(out)(err)
S = N/A
O = 2262
T = TO
(out)(err)
S = N/A
O = 3092
T = TO
(out)(err)
S = N/A
O = 3111
T = TO
(out)(err)
S = N/A
O = 2213
T = TO
(out)(err)
S = N/A
O = 2462
T = TO
(out)(err)
S = N/A
O = N/A
T = 317.64
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
hamming8-4.clq.wcnf S = OPT
O = 917
T = 0.30
S = OPT
O = 917
T = 66.61
(out)(err)
S = OPT
O = 917
T = 0.59
(out)(err)
S = N/A
O = 1159
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 917
T = 0.30
(out)(err)
S = OPT
O = 917
T = 17.56
(out)(err)
S = OPT
O = 917
T = 0.73
(out)(err)
S = OPT
O = 917
T = 0.74
(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 = 917
T = 2.00
(out)(err)
S = OPT
O = 917
T = 0.35
(out)(err)
S = N/A
O = 917
T = TO
(out)(err)
S = N/A
O = 1432
T = TO
(out)(err)
S = N/A
O = 1409
T = TO
(out)(err)
S = OPT
O = 917
T = 214.16
(out)(err)
S = N/A
O = 1239
T = TO
(out)(err)
S = N/A
O = N/A
T = 317.34
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
johnson16-2-4.clq.wcnf S = OPT
O = 1170
T = 0.25
S = OPT
O = 1170
T = 148.68
(out)(err)
S = OPT
O = 1170
T = 0.65
(out)(err)
S = N/A
O = 1419
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1170
T = 0.25
(out)(err)
S = OPT
O = 1170
T = 27.72
(out)(err)
S = OPT
O = 1170
T = 0.62
(out)(err)
S = OPT
O = 1170
T = 0.63
(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 = 1170
T = 4.34
(out)(err)
S = OPT
O = 1170
T = 0.58
(out)(err)
S = N/A
O = 1194
T = TO
(out)(err)
S = N/A
O = 1808
T = TO
(out)(err)
S = N/A
O = 1905
T = TO
(out)(err)
S = OPT
O = 1170
T = 561.28
(out)(err)
S = N/A
O = 1548
T = TO
(out)(err)
S = N/A
O = N/A
T = 317.78
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
johnson32-2-4.clq.wcnf S = OPT
O = 1788
T = 31.31
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1788
T = 31.31
(out)(err)
S = N/A
O = 1956
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1788
T = 81.50
(out)(err)
S = N/A
O = 1788
T = TO
(out)(err)
S = OPT
O = 1788
T = 212.61
(out)(err)
S = OPT
O = 1788
T = 217.91
(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 = 1788
T = 675.80
(out)(err)
S = OPT
O = 1788
T = 35.21
(out)(err)
S = N/A
O = 1856
T = TO
(out)(err)
S = N/A
O = 2844
T = TO
(out)(err)
S = N/A
O = 2774
T = TO
(out)(err)
S = N/A
O = 1803
T = TO
(out)(err)
S = N/A
O = 2076
T = TO
(out)(err)
S = N/A
O = N/A
T = 317.57
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
johnson8-2-4.clq.wcnf S = OPT
O = 392
T = 0.01
S = OPT
O = 392
T = 5.80
(out)(err)
S = OPT
O = 392
T = 0.48
(out)(err)
S = N/A
O = 392
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 392
T = 0.01
(out)(err)
S = OPT
O = 392
T = 0.18
(out)(err)
S = OPT
O = 392
T = 0.02
(out)(err)
S = OPT
O = 392
T = 0.03
(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 = 392
T = 0.21
(out)(err)
S = OPT
O = 392
T = 0.11
(out)(err)
S = OPT
O = 392
T = 6.82
(out)(err)
S = N/A
O = 542
T = TO
(out)(err)
S = N/A
O = 565
T = TO
(out)(err)
S = OPT
O = 392
T = 7.33
(out)(err)
S = N/A
O = 441
T = TO
(out)(err)
S = N/A
O = N/A
T = 178.68
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
johnson8-4-4.clq.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 4154
T = TO
(out)(err)
S = N/A
O = 4724
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 = 4334
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 = N/A
T = TO
(out)(err)
S = N/A
O = 4350
T = 1797.86
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 4535
T = TO
(out)(err)
S = N/A
O = 5911
T = TO
(out)(err)
S = N/A
O = 5837
T = TO
(out)(err)
S = N/A
O = 4705
T = TO
(out)(err)
S = N/A
O = 4940
T = TO
(out)(err)
S = N/A
O = N/A
T = 1143.98
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
keller4.clq.wcnf S = OPT
O = 1133
T = 0.31
S = OPT
O = 1133
T = 55.68
(out)(err)
S = OPT
O = 1133
T = 0.58
(out)(err)
S = N/A
O = 1312
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1133
T = 0.31
(out)(err)
S = OPT
O = 1133
T = 21.15
(out)(err)
S = OPT
O = 1133
T = 0.47
(out)(err)
S = OPT
O = 1133
T = 0.47
(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 = 1133
T = 0.55
(out)(err)
S = OPT
O = 1133
T = 0.45
(out)(err)
S = N/A
O = 1175
T = TO
(out)(err)
S = N/A
O = 1822
T = TO
(out)(err)
S = N/A
O = 2017
T = TO
(out)(err)
S = OPT
O = 1133
T = 221.54
(out)(err)
S = N/A
O = 1574
T = TO
(out)(err)
S = N/A
O = N/A
T = 317.90
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
keller5.clq.wcnf S = OPT
O = 1383
T = 3.39
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1383
T = 3.39
(out)(err)
S = N/A
O = 1475
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1383
T = 7.00
(out)(err)
S = OPT
O = 1383
T = 387.23
(out)(err)
S = OPT
O = 1383
T = 17.79
(out)(err)
S = OPT
O = 1383
T = 18.39
(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 = 1383
T = 73.05
(out)(err)
S = OPT
O = 1383
T = 4.19
(out)(err)
S = N/A
O = 1406
T = TO
(out)(err)
S = N/A
O = 2247
T = TO
(out)(err)
S = N/A
O = 1859
T = TO
(out)(err)
S = N/A
O = 1383
T = TO
(out)(err)
S = N/A
O = 1580
T = TO
(out)(err)
S = N/A
O = N/A
T = 317.48
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
p_hat1000-1.clq.wcnf S = OPT
O = 248
T = 0.01
S = OPT
O = 248
T = 2.65
(out)(err)
S = OPT
O = 248
T = 0.47
(out)(err)
S = N/A
O = 253
T = TO
(out)(err)
S = OPT
O = 248
T = 14.99
(out)(err)
S = OPT
O = 248
T = 0.01
(out)(err)
S = OPT
O = 248
T = 0.04
(out)(err)
S = OPT
O = 248
T = 0.02
(out)(err)
S = OPT
O = 248
T = 0.02
(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 = 248
T = 0.05
(out)(err)
S = OPT
O = 248
T = 0.10
(out)(err)
S = OPT
O = 248
T = 2.49
(out)(err)
S = N/A
O = 383
T = TO
(out)(err)
S = N/A
O = 253
T = TO
(out)(err)
S = OPT
O = 248
T = 2.89
(out)(err)
S = N/A
O = 425
T = TO
(out)(err)
S = N/A
O = N/A
T = 301.84
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
p_hat1000-2.clq.wcnf S = OPT
O = 752
T = 0.20
S = OPT
O = 752
T = 44.56
(out)(err)
S = OPT
O = 752
T = 0.58
(out)(err)
S = N/A
O = 808
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 752
T = 0.20
(out)(err)
S = OPT
O = 752
T = 4.61
(out)(err)
S = OPT
O = 752
T = 0.66
(out)(err)
S = OPT
O = 752
T = 0.68
(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 = 752
T = 1.51
(out)(err)
S = OPT
O = 752
T = 0.49
(out)(err)
S = N/A
O = 752
T = TO
(out)(err)
S = N/A
O = 974
T = TO
(out)(err)
S = N/A
O = 1003
T = TO
(out)(err)
S = OPT
O = 752
T = 65.01
(out)(err)
S = N/A
O = 973
T = TO
(out)(err)
S = N/A
O = N/A
T = 178.63
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
p_hat1000-3.clq.wcnf S = OPT
O = 1251
T = 2.03
S = OPT
O = 1251
T = 1413.88
(out)(err)
S = OPT
O = 1251
T = 2.03
(out)(err)
S = N/A
O = 1341
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1251
T = 3.65
(out)(err)
S = OPT
O = 1251
T = 179.01
(out)(err)
S = OPT
O = 1251
T = 9.18
(out)(err)
S = OPT
O = 1251
T = 9.16
(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 = 1251
T = 28.59
(out)(err)
S = OPT
O = 1251
T = 2.09
(out)(err)
S = N/A
O = 1300
T = TO
(out)(err)
S = N/A
O = 1790
T = TO
(out)(err)
S = N/A
O = 2002
T = TO
(out)(err)
S = N/A
O = 1251
T = TO
(out)(err)
S = N/A
O = 1395
T = TO
(out)(err)
S = N/A
O = N/A
T = 317.74
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
p_hat300-1.clq.wcnf S = OPT
O = 243
T = 0.01
S = OPT
O = 243
T = 3.32
(out)(err)
S = OPT
O = 243
T = 0.48
(out)(err)
S = N/A
O = 263
T = TO
(out)(err)
S = OPT
O = 243
T = 67.32
(out)(err)
S = OPT
O = 243
T = 0.01
(out)(err)
S = OPT
O = 243
T = 0.06
(out)(err)
S = OPT
O = 243
T = 0.03
(out)(err)
S = OPT
O = 243
T = 0.04
(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 = 243
T = 0.12
(out)(err)
S = OPT
O = 243
T = 0.11
(out)(err)
S = OPT
O = 243
T = 13.23
(out)(err)
S = N/A
O = 313
T = TO
(out)(err)
S = N/A
O = 384
T = TO
(out)(err)
S = OPT
O = 243
T = 2.70
(out)(err)
S = N/A
O = 347
T = TO
(out)(err)
S = N/A
O = N/A
T = 365.79
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
p_hat300-2.clq.wcnf S = OPT
O = 711
T = 0.08
S = OPT
O = 711
T = 25.15
(out)(err)
S = OPT
O = 711
T = 0.56
(out)(err)
S = N/A
O = 732
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 711
T = 0.08
(out)(err)
S = OPT
O = 711
T = 2.20
(out)(err)
S = OPT
O = 711
T = 0.18
(out)(err)
S = OPT
O = 711
T = 0.19
(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 = 711
T = 1.11
(out)(err)
S = OPT
O = 711
T = 0.34
(out)(err)
S = N/A
O = 717
T = TO
(out)(err)
S = N/A
O = 943
T = TO
(out)(err)
S = N/A
O = 1021
T = TO
(out)(err)
S = OPT
O = 711
T = 30.37
(out)(err)
S = N/A
O = 843
T = TO
(out)(err)
S = N/A
O = N/A
T = 178.93
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
p_hat300-3.clq.wcnf S = OPT
O = 1439
T = 4.68
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1439
T = 4.68
(out)(err)
S = N/A
O = 1561
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1439
T = 7.93
(out)(err)
S = OPT
O = 1439
T = 541.31
(out)(err)
S = OPT
O = 1439
T = 20.82
(out)(err)
S = OPT
O = 1439
T = 21.10
(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 = 1439
T = 87.28
(out)(err)
S = OPT
O = 1439
T = 6.50
(out)(err)
S = N/A
O = 1475
T = TO
(out)(err)
S = N/A
O = 2023
T = TO
(out)(err)
S = N/A
O = 1826
T = TO
(out)(err)
S = N/A
O = 1439
T = TO
(out)(err)
S = N/A
O = 1691
T = TO
(out)(err)
S = N/A
O = N/A
T = 317.71
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
p_hat500-1.clq.wcnf S = OPT
O = 395
T = 0.03
S = OPT
O = 395
T = 6.68
(out)(err)
S = OPT
O = 395
T = 0.49
(out)(err)
S = N/A
O = 405
T = TO
(out)(err)
S = OPT
O = 395
T = 781.29
(out)(err)
S = OPT
O = 395
T = 0.03
(out)(err)
S = OPT
O = 395
T = 0.30
(out)(err)
S = OPT
O = 395
T = 0.06
(out)(err)
S = OPT
O = 395
T = 0.06
(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 = 395
T = 0.14
(out)(err)
S = OPT
O = 395
T = 0.15
(out)(err)
S = OPT
O = 395
T = 84.48
(out)(err)
S = N/A
O = 494
T = TO
(out)(err)
S = N/A
O = 595
T = TO
(out)(err)
S = OPT
O = 395
T = 6.70
(out)(err)
S = N/A
O = 489
T = TO
(out)(err)
S = N/A
O = N/A
T = 245.80
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
p_hat500-2.clq.wcnf S = OPT
O = 931
T = 0.53
S = OPT
O = 931
T = 139.71
(out)(err)
S = OPT
O = 931
T = 1.01
(out)(err)
S = N/A
O = 1015
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 931
T = 0.53
(out)(err)
S = OPT
O = 931
T = 28.68
(out)(err)
S = OPT
O = 931
T = 1.23
(out)(err)
S = OPT
O = 931
T = 1.27
(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 = 931
T = 4.62
(out)(err)
S = OPT
O = 931
T = 1.04
(out)(err)
S = N/A
O = 935
T = TO
(out)(err)
S = N/A
O = 1283
T = TO
(out)(err)
S = N/A
O = 1369
T = TO
(out)(err)
S = OPT
O = 931
T = 259.74
(out)(err)
S = N/A
O = 1134
T = TO
(out)(err)
S = N/A
O = N/A
T = 178.42
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
p_hat500-3.clq.wcnf S = OPT
O = 1501
T = 6.59
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1501
T = 8.19
(out)(err)
S = N/A
O = 1579
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1501
T = 15.21
(out)(err)
S = OPT
O = 1501
T = 807.24
(out)(err)
S = OPT
O = 1501
T = 38.10
(out)(err)
S = OPT
O = 1501
T = 39.55
(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 = 1501
T = 124.10
(out)(err)
S = OPT
O = 1501
T = 6.59
(out)(err)
S = N/A
O = 1561
T = TO
(out)(err)
S = N/A
O = 2468
T = TO
(out)(err)
S = N/A
O = 2459
T = TO
(out)(err)
S = N/A
O = 1501
T = TO
(out)(err)
S = N/A
O = 1790
T = TO
(out)(err)
S = N/A
O = N/A
T = 317.70
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
p_hat700-1.clq.wcnf S = OPT
O = 329
T = 0.02
S = OPT
O = 329
T = 4.61
(out)(err)
S = OPT
O = 329
T = 0.49
(out)(err)
S = N/A
O = 352
T = TO
(out)(err)
S = OPT
O = 329
T = 155.07
(out)(err)
S = OPT
O = 329
T = 0.02
(out)(err)
S = OPT
O = 329
T = 0.11
(out)(err)
S = OPT
O = 329
T = 0.04
(out)(err)
S = OPT
O = 329
T = 0.04
(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 = 329
T = 0.10
(out)(err)
S = OPT
O = 329
T = 0.12
(out)(err)
S = OPT
O = 329
T = 26.50
(out)(err)
S = N/A
O = 513
T = TO
(out)(err)
S = N/A
O = 559
T = TO
(out)(err)
S = OPT
O = 329
T = 3.72
(out)(err)
S = N/A
O = 427
T = TO
(out)(err)
S = N/A
O = N/A
T = 206.10
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
p_hat700-2.clq.wcnf S = OPT
O = 834
T = 0.32
S = OPT
O = 834
T = 64.12
(out)(err)
S = OPT
O = 834
T = 0.65
(out)(err)
S = N/A
O = 910
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 834
T = 0.32
(out)(err)
S = OPT
O = 834
T = 7.92
(out)(err)
S = OPT
O = 834
T = 0.76
(out)(err)
S = OPT
O = 834
T = 0.99
(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 = 834
T = 2.08
(out)(err)
S = OPT
O = 834
T = 0.67
(out)(err)
S = N/A
O = 841
T = TO
(out)(err)
S = N/A
O = 1385
T = TO
(out)(err)
S = N/A
O = 1297
T = TO
(out)(err)
S = OPT
O = 834
T = 67.01
(out)(err)
S = N/A
O = 949
T = TO
(out)(err)
S = N/A
O = N/A
T = 178.85
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
p_hat700-3.clq.wcnf S = OPT
O = 1432
T = 3.99
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1432
T = 3.99
(out)(err)
S = N/A
O = 1523
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1432
T = 14.76
(out)(err)
S = OPT
O = 1432
T = 555.36
(out)(err)
S = OPT
O = 1432
T = 35.80
(out)(err)
S = OPT
O = 1432
T = 35.33
(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 = 1432
T = 81.26
(out)(err)
S = OPT
O = 1432
T = 5.11
(out)(err)
S = N/A
O = 1470
T = TO
(out)(err)
S = N/A
O = 2283
T = TO
(out)(err)
S = N/A
O = 2259
T = TO
(out)(err)
S = N/A
O = 1437
T = TO
(out)(err)
S = N/A
O = 1660
T = TO
(out)(err)
S = N/A
O = N/A
T = 317.75
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
san1000.clq.wcnf S = OPT
O = 744
T = 0.15
S = OPT
O = 744
T = 31.20
(out)(err)
S = OPT
O = 744
T = 0.60
(out)(err)
S = N/A
O = 818
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 744
T = 0.15
(out)(err)
S = OPT
O = 744
T = 9.26
(out)(err)
S = OPT
O = 744
T = 0.35
(out)(err)
S = OPT
O = 744
T = 0.36
(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 = 744
T = 1.16
(out)(err)
S = OPT
O = 744
T = 0.37
(out)(err)
S = N/A
O = 758
T = TO
(out)(err)
S = N/A
O = 1071
T = TO
(out)(err)
S = N/A
O = 1308
T = TO
(out)(err)
S = OPT
O = 744
T = 91.28
(out)(err)
S = N/A
O = 1033
T = TO
(out)(err)
S = N/A
O = N/A
T = 178.88
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
san200_0.7_1.clq.wcnf S = OPT
O = 1256
T = 3.28
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1256
T = 3.45
(out)(err)
S = N/A
O = 1388
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1256
T = 6.29
(out)(err)
S = OPT
O = 1256
T = 319.53
(out)(err)
S = OPT
O = 1256
T = 15.87
(out)(err)
S = OPT
O = 1256
T = 15.37
(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 = 1256
T = 50.14
(out)(err)
S = OPT
O = 1256
T = 3.28
(out)(err)
S = N/A
O = 1291
T = TO
(out)(err)
S = N/A
O = 1787
T = TO
(out)(err)
S = N/A
O = 1733
T = TO
(out)(err)
S = N/A
O = 1256
T = TO
(out)(err)
S = N/A
O = 1654
T = TO
(out)(err)
S = N/A
O = N/A
T = 198.32
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
san200_0.7_2.clq.wcnf S = OPT
O = 1243
T = 2.13
S = OPT
O = 1243
T = 1396.49
(out)(err)
S = OPT
O = 1243
T = 2.16
(out)(err)
S = N/A
O = 1304
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1243
T = 2.98
(out)(err)
S = OPT
O = 1243
T = 186.28
(out)(err)
S = OPT
O = 1243
T = 7.43
(out)(err)
S = OPT
O = 1243
T = 7.58
(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 = 1243
T = 28.85
(out)(err)
S = OPT
O = 1243
T = 2.13
(out)(err)
S = N/A
O = 1259
T = TO
(out)(err)
S = N/A
O = 1959
T = TO
(out)(err)
S = N/A
O = 1637
T = TO
(out)(err)
S = N/A
O = 1243
T = TO
(out)(err)
S = N/A
O = 1595
T = TO
(out)(err)
S = N/A
O = N/A
T = 317.65
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
san200_0.9_1.clq.wcnf S = OPT
O = 1672
T = 57.30
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1672
T = 57.30
(out)(err)
S = N/A
O = 1744
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1672
T = 199.42
(out)(err)
S = N/A
O = 1672
T = TO
(out)(err)
S = OPT
O = 1672
T = 481.32
(out)(err)
S = OPT
O = 1672
T = 488.63
(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 = 1672
T = 1505.82
(out)(err)
S = OPT
O = 1672
T = 82.23
(out)(err)
S = N/A
O = 1715
T = TO
(out)(err)
S = N/A
O = 2522
T = TO
(out)(err)
S = N/A
O = 2280
T = TO
(out)(err)
S = N/A
O = 1677
T = TO
(out)(err)
S = N/A
O = 1896
T = TO
(out)(err)
S = N/A
O = N/A
T = 317.66
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
san200_0.9_2.clq.wcnf S = OPT
O = 1647
T = 16.09
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1647
T = 16.09
(out)(err)
S = N/A
O = 1687
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1647
T = 49.33
(out)(err)
S = OPT
O = 1647
T = 1316.59
(out)(err)
S = OPT
O = 1647
T = 119.93
(out)(err)
S = OPT
O = 1647
T = 121.76
(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 = 1647
T = 317.20
(out)(err)
S = OPT
O = 1647
T = 19.75
(out)(err)
S = N/A
O = 1690
T = TO
(out)(err)
S = N/A
O = 2535
T = TO
(out)(err)
S = N/A
O = 2472
T = TO
(out)(err)
S = N/A
O = 1651
T = TO
(out)(err)
S = N/A
O = 1898
T = TO
(out)(err)
S = N/A
O = N/A
T = 317.94
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
san200_0.9_3.clq.wcnf S = OPT
O = 1670
T = 25.10
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1670
T = 25.10
(out)(err)
S = N/A
O = 1805
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1670
T = 78.11
(out)(err)
S = OPT
O = 1670
T = 1505.54
(out)(err)
S = OPT
O = 1670
T = 194.93
(out)(err)
S = OPT
O = 1670
T = 197.73
(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 = 1670
T = 466.99
(out)(err)
S = OPT
O = 1670
T = 31.83
(out)(err)
S = N/A
O = 1690
T = TO
(out)(err)
S = N/A
O = 2586
T = TO
(out)(err)
S = N/A
O = 2418
T = TO
(out)(err)
S = N/A
O = 1679
T = TO
(out)(err)
S = N/A
O = 1906
T = TO
(out)(err)
S = N/A
O = N/A
T = 317.25
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
san400_0.5_1.clq.wcnf S = OPT
O = 718
T = 0.12
S = OPT
O = 718
T = 16.14
(out)(err)
S = OPT
O = 718
T = 0.54
(out)(err)
S = N/A
O = 778
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 718
T = 0.12
(out)(err)
S = OPT
O = 718
T = 4.46
(out)(err)
S = OPT
O = 718
T = 0.23
(out)(err)
S = OPT
O = 718
T = 0.24
(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 = 718
T = 0.43
(out)(err)
S = OPT
O = 718
T = 0.28
(out)(err)
S = OPT
O = 718
T = 840.33
(out)(err)
S = N/A
O = 1314
T = TO
(out)(err)
S = N/A
O = 1242
T = TO
(out)(err)
S = OPT
O = 718
T = 56.45
(out)(err)
S = N/A
O = 986
T = TO
(out)(err)
S = N/A
O = N/A
T = 178.95
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
san400_0.7_1.clq.wcnf S = OPT
O = 1258
T = 4.23
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1258
T = 4.23
(out)(err)
S = N/A
O = 1361
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1258
T = 8.73
(out)(err)
S = OPT
O = 1258
T = 357.72
(out)(err)
S = OPT
O = 1258
T = 21.98
(out)(err)
S = OPT
O = 1258
T = 22.17
(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 = 1258
T = 75.51
(out)(err)
S = OPT
O = 1258
T = 4.76
(out)(err)
S = N/A
O = 1279
T = TO
(out)(err)
S = N/A
O = 2185
T = TO
(out)(err)
S = N/A
O = 1929
T = TO
(out)(err)
S = N/A
O = 1258
T = TO
(out)(err)
S = N/A
O = 1459
T = TO
(out)(err)
S = N/A
O = N/A
T = 317.50
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
san400_0.7_2.clq.wcnf S = OPT
O = 1237
T = 1.96
S = OPT
O = 1237
T = 1776.54
(out)(err)
S = OPT
O = 1237
T = 2.31
(out)(err)
S = N/A
O = 1334
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1237
T = 5.29
(out)(err)
S = OPT
O = 1237
T = 237.45
(out)(err)
S = OPT
O = 1237
T = 13.16
(out)(err)
S = OPT
O = 1237
T = 13.54
(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 = 1237
T = 21.90
(out)(err)
S = OPT
O = 1237
T = 1.96
(out)(err)
S = N/A
O = 1277
T = TO
(out)(err)
S = N/A
O = 2248
T = TO
(out)(err)
S = N/A
O = 1752
T = TO
(out)(err)
S = N/A
O = 1237
T = TO
(out)(err)
S = N/A
O = 1387
T = TO
(out)(err)
S = N/A
O = N/A
T = 317.72
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
san400_0.7_3.clq.wcnf S = OPT
O = 1201
T = 1.84
S = N/A
O = 1201
T = TO
(out)(err)
S = OPT
O = 1201
T = 1.93
(out)(err)
S = N/A
O = 1324
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1201
T = 2.26
(out)(err)
S = OPT
O = 1201
T = 167.11
(out)(err)
S = OPT
O = 1201
T = 5.52
(out)(err)
S = OPT
O = 1201
T = 7.45
(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 = 1201
T = 25.93
(out)(err)
S = OPT
O = 1201
T = 1.84
(out)(err)
S = N/A
O = 1215
T = TO
(out)(err)
S = N/A
O = 1766
T = TO
(out)(err)
S = N/A
O = 1681
T = TO
(out)(err)
S = N/A
O = 1201
T = TO
(out)(err)
S = N/A
O = 1452
T = TO
(out)(err)
S = N/A
O = N/A
T = 318.35
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
san400_0.9_1.clq.wcnf S = OPT
O = 1604
T = 23.50
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1604
T = 23.50
(out)(err)
S = N/A
O = 1637
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1604
T = 82.90
(out)(err)
S = OPT
O = 1604
T = 1626.95
(out)(err)
S = OPT
O = 1604
T = 211.76
(out)(err)
S = OPT
O = 1604
T = 216.25
(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 = 1604
T = 523.36
(out)(err)
S = OPT
O = 1604
T = 35.35
(out)(err)
S = N/A
O = 1622
T = TO
(out)(err)
S = N/A
O = 2457
T = TO
(out)(err)
S = N/A
O = 2656
T = TO
(out)(err)
S = N/A
O = 1604
T = TO
(out)(err)
S = N/A
O = 1764
T = TO
(out)(err)
S = N/A
O = N/A
T = 635.91
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
sanr200_0.7.clq.wcnf S = OPT
O = 1171
T = 1.37
S = OPT
O = 1171
T = 667.47
(out)(err)
S = OPT
O = 1171
T = 1.85
(out)(err)
S = N/A
O = 1305
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1171
T = 1.37
(out)(err)
S = OPT
O = 1171
T = 119.98
(out)(err)
S = OPT
O = 1171
T = 3.42
(out)(err)
S = OPT
O = 1171
T = 3.46
(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 = 1171
T = 13.88
(out)(err)
S = OPT
O = 1171
T = 1.80
(out)(err)
S = N/A
O = 1200
T = TO
(out)(err)
S = N/A
O = 1851
T = TO
(out)(err)
S = N/A
O = 1546
T = TO
(out)(err)
S = OPT
O = 1171
T = 1486.49
(out)(err)
S = N/A
O = 1414
T = TO
(out)(err)
S = N/A
O = N/A
T = 184.75
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
sanr200_0.9.clq.wcnf S = OPT
O = 1610
T = 23.82
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1610
T = 23.82
(out)(err)
S = N/A
O = 1664
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1610
T = 80.78
(out)(err)
S = OPT
O = 1610
T = 1476.74
(out)(err)
S = OPT
O = 1610
T = 193.11
(out)(err)
S = OPT
O = 1610
T = 199.82
(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 = 1610
T = 500.22
(out)(err)
S = OPT
O = 1610
T = 28.17
(out)(err)
S = N/A
O = 1649
T = TO
(out)(err)
S = N/A
O = 2420
T = TO
(out)(err)
S = N/A
O = 2351
T = TO
(out)(err)
S = N/A
O = 1612
T = TO
(out)(err)
S = N/A
O = 1798
T = TO
(out)(err)
S = N/A
O = N/A
T = 317.66
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
sanr400_0.5.clq.wcnf S = OPT
O = 763
T = 0.22
S = OPT
O = 763
T = 33.36
(out)(err)
S = OPT
O = 763
T = 0.98
(out)(err)
S = N/A
O = 893
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 763
T = 0.22
(out)(err)
S = OPT
O = 763
T = 11.53
(out)(err)
S = OPT
O = 763
T = 0.50
(out)(err)
S = OPT
O = 763
T = 0.50
(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 = 763
T = 1.31
(out)(err)
S = OPT
O = 763
T = 0.34
(out)(err)
S = N/A
O = 763
T = TO
(out)(err)
S = N/A
O = 1252
T = TO
(out)(err)
S = N/A
O = 1025
T = TO
(out)(err)
S = OPT
O = 763
T = 136.20
(out)(err)
S = N/A
O = 892
T = TO
(out)(err)
S = N/A
O = N/A
T = 178.70
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
sanr400_0.7.clq.wcnf S = OPT
O = 1198
T = 1.36
S = OPT
O = 1198
T = 1236.40
(out)(err)
S = OPT
O = 1198
T = 1.61
(out)(err)
S = N/A
O = 1321
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1198
T = 2.50
(out)(err)
S = OPT
O = 1198
T = 146.59
(out)(err)
S = OPT
O = 1198
T = 6.02
(out)(err)
S = OPT
O = 1198
T = 6.48
(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 = 1198
T = 21.89
(out)(err)
S = OPT
O = 1198
T = 1.36
(out)(err)
S = N/A
O = 1218
T = TO
(out)(err)
S = N/A
O = 1871
T = TO
(out)(err)
S = N/A
O = 1834
T = TO
(out)(err)
S = N/A
O = 1198
T = TO
(out)(err)
S = N/A
O = 1424
T = TO
(out)(err)
S = N/A
O = N/A
T = 317.32
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
t3g3-5555.spn.wcnf S = OPT
O = 1100610
T = 0.01
S = OPT
O = 1100610
T = 0.48
(out)(err)
S = OPT
O = 1100610
T = 0.80
(out)(err)
S = N/A
O = 1273873
T = TO
(out)(err)
S = OPT
O = 1100610
T = 0.47
(out)(err)
S = OPT
O = 1100610
T = 0.01
(out)(err)
S = OPT
O = 1100610
T = 0.01
(out)(err)
S = OPT
O = 1100610
T = 0.01
(out)(err)
S = OPT
O = 1100610
T = 0.01
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 1100610
T = 376.86
(out)(err)
S = OPT
O = 1100610
T = 0.09
(out)(err)
S = OPT
O = 1100610
T = 0.47
(out)(err)
S = OPT
O = 1100610
T = 0.04
(out)(err)
S = N/A
O = 1218043
T = TO
(out)(err)
S = N/A
O = 1818852
T = TO
(out)(err)
S = OPT
O = 1100610
T = 0.23
(out)(err)
S = N/A
O = 1446634
T = TO
(out)(err)
S = N/A
O = N/A
T = 1732.60
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
t4g3-6666.spn.wcnf S = OPT
O = 2275606
T = 0.05
S = OPT
O = 2275606
T = 3.53
(out)(err)
S = OPT
O = 2275606
T = 0.88
(out)(err)
S = N/A
O = 2766679
T = TO
(out)(err)
S = OPT
O = 2275606
T = 9.22
(out)(err)
S = OPT
O = 2275606
T = 0.05
(out)(err)
S = OPT
O = 2275606
T = 0.20
(out)(err)
S = OPT
O = 2275606
T = 0.09
(out)(err)
S = OPT
O = 2275606
T = 0.09
(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 = N/A
T = 71.07
(out)(err)
S = OPT
O = 2275606
T = 16.90
(out)(err)
S = N/A
O = 4221822
T = TO
(out)(err)
S = N/A
O = 5449756
T = TO
(out)(err)
S = OPT
O = 2275606
T = 3.35
(out)(err)
S = N/A
O = 3627190
T = TO
(out)(err)
S = N/A
O = N/A
T = 247.24
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
t5g3-7777.spn.wcnf S = OPT
O = 4241951
T = 1.40
S = OPT
O = 4241951
T = 10.99
(out)(err)
S = OPT
O = 4241951
T = 2.16
(out)(err)
S = N/A
O = 5448282
T = TO
(out)(err)
S = OPT
O = 4241951
T = 121.89
(out)(err)
S = OPT
O = 4241951
T = 1.40
(out)(err)
S = OPT
O = 4241951
T = 275.53
(out)(err)
S = OPT
O = 4241951
T = 2.65
(out)(err)
S = OPT
O = 4241951
T = 2.65
(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 = N/A
T = 0.00
(out)(err)
S = N/A
O = 4466001
T = TO
(out)(err)
S = N/A
O = 8369904
T = TO
(out)(err)
S = N/A
O = 8202693
T = TO
(out)(err)
S = OPT
O = 4241951
T = 49.52
(out)(err)
S = N/A
O = 5232085
T = TO
(out)(err)
S = N/A
O = N/A
T = 1432.96
(out)(err)
S = N/A
O = N/A
T = 1799.20
(out)(err)
t6g3-8888.spn.wcnf S = OPT
O = 7844119
T = 33.26
S = OPT
O = 7844119
T = 84.11
(out)(err)
S = OPT
O = 7844119
T = 33.26
(out)(err)
S = N/A
O = 10717830
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = OPT
O = 7844119
T = 68.78
(out)(err)
S = N/A
O = 8665784
T = TO
(out)(err)
S = OPT
O = 7844119
T = 124.47
(out)(err)
S = OPT
O = 7844119
T = 123.67
(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 = N/A
T = 0.00
(out)(err)
S = N/A
O = 9044124
T = TO
(out)(err)
S = N/A
O = 17112928
T = TO
(out)(err)
S = N/A
O = 18418298
T = TO
(out)(err)
S = N/A
O = 7926914
T = TO
(out)(err)
S = N/A
O = 10004835
T = TO
(out)(err)
S = N/A
O = N/A
T = 1395.18
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
t7g3-9999.spn.wcnf S = N/A
O = N/A
T = TO
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = 12471605
T = TO
(out)(err)
S = N/A
O = 17842570
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 = 15447895
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 = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)
S = N/A
O = N/A
T = 0.01
(out)(err)
S = N/A
O = 14381152
T = TO
(out)(err)
S = N/A
O = 25478780
T = TO
(out)(err)
S = N/A
O = 30381168
T = TO
(out)(err)
S = N/A
O = 12977041
T = TO
(out)(err)
S = N/A
O = 16338015
T = TO
(out)(err)
S = N/A
O = N/A
T = 1503.70
(out)(err)
S = N/A
O = N/A
T = TO
(out)(err)