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 CCAT CCLS2014 CCMPA Dist SAT4J-ms-inc Swcca_ms WPM-2014-in optimax2-r-i optimax2-rn-i
HG-3SAT-V250-C1000-1.cnf O = 5
T = 1.88
O = 5
T = 2.81
(out)(err)
O = 5
T = 1.88
(out)(err)
O = 5
T = 26.46
(out)(err)
O = 5
T = 74.89
(out)(err)
O = N/A
T = TO
(out)(err)
O = 5
T = 3.67
(out)(err)
O = 49
T = 284.58
(out)(err)
O = 44
T = 0.04
(out)(err)
O = 44
T = 0.06
(out)(err)
HG-3SAT-V250-C1000-10.cnf O = 6
T = 1.78
O = 6
T = 3.45
(out)(err)
O = 6
T = 1.78
(out)(err)
O = 6
T = 8.73
(out)(err)
O = 7
T = 3.82
(out)(err)
O = N/A
T = TO
(out)(err)
O = 6
T = 3.34
(out)(err)
O = 44
T = 284.74
(out)(err)
O = 57
T = 0.04
(out)(err)
O = 52
T = 0.38
(out)(err)
HG-3SAT-V250-C1000-100.cnf O = 6
T = 1.91
O = 6
T = 2.77
(out)(err)
O = 6
T = 1.91
(out)(err)
O = 6
T = 24.30
(out)(err)
O = 6
T = 68.09
(out)(err)
O = N/A
T = TO
(out)(err)
O = 6
T = 4.12
(out)(err)
O = 55
T = 284.75
(out)(err)
O = 52
T = 0.06
(out)(err)
O = 44
T = 0.41
(out)(err)
HG-3SAT-V250-C1000-11.cnf O = 6
T = 0.13
O = 6
T = 2.74
(out)(err)
O = 6
T = 1.80
(out)(err)
O = 6
T = 0.13
(out)(err)
O = 6
T = 26.16
(out)(err)
O = N/A
T = TO
(out)(err)
O = 6
T = 2.40
(out)(err)
O = 55
T = 284.80
(out)(err)
O = 51
T = 0.04
(out)(err)
O = 35
T = 259.35
(out)(err)
HG-3SAT-V250-C1000-12.cnf O = 6
T = 1.63
O = 6
T = 2.42
(out)(err)
O = 6
T = 1.63
(out)(err)
O = 6
T = 2.25
(out)(err)
O = 7
T = 10.87
(out)(err)
O = N/A
T = TO
(out)(err)
O = 6
T = 2.28
(out)(err)
O = 53
T = 284.78
(out)(err)
O = 50
T = 0.07
(out)(err)
O = 29
T = 206.23
(out)(err)
HG-3SAT-V250-C1000-13.cnf O = 5
T = 1.65
O = 5
T = 2.85
(out)(err)
O = 5
T = 1.65
(out)(err)
O = 5
T = 24.65
(out)(err)
O = 5
T = 6.07
(out)(err)
O = N/A
T = TO
(out)(err)
O = 5
T = 2.12
(out)(err)
O = 50
T = 284.80
(out)(err)
O = 55
T = 0.15
(out)(err)
O = 37
T = 1.12
(out)(err)
HG-3SAT-V250-C1000-14.cnf O = 5
T = 1.94
O = 5
T = 2.72
(out)(err)
O = 5
T = 1.99
(out)(err)
O = 5
T = 155.45
(out)(err)
O = 6
T = 9.85
(out)(err)
O = N/A
T = TO
(out)(err)
O = 5
T = 1.94
(out)(err)
O = 57
T = 284.76
(out)(err)
O = 43
T = 0.15
(out)(err)
O = 28
T = 274.21
(out)(err)
HG-3SAT-V250-C1000-15.cnf O = 5
T = 1.62
O = 5
T = 3.62
(out)(err)
O = 5
T = 1.91
(out)(err)
O = 5
T = 1.62
(out)(err)
O = 5
T = 211.60
(out)(err)
O = N/A
T = TO
(out)(err)
O = 5
T = 4.08
(out)(err)
O = 53
T = 284.78
(out)(err)
O = 63
T = 0.04
(out)(err)
O = 43
T = 31.75
(out)(err)
HG-3SAT-V250-C1000-16.cnf O = 5
T = 1.79
O = 5
T = 3.01
(out)(err)
O = 5
T = 1.79
(out)(err)
O = 5
T = 14.84
(out)(err)
O = 7
T = 4.52
(out)(err)
O = N/A
T = TO
(out)(err)
O = 5
T = 4.20
(out)(err)
O = 50
T = 284.78
(out)(err)
O = 56
T = 0.06
(out)(err)
O = 30
T = 0.22
(out)(err)
HG-3SAT-V250-C1000-17.cnf O = 6
T = 1.87
O = 6
T = 2.77
(out)(err)
O = 6
T = 1.87
(out)(err)
O = 6
T = 65.16
(out)(err)
O = 7
T = 21.11
(out)(err)
O = N/A
T = TO
(out)(err)
O = 6
T = 2.82
(out)(err)
O = 54
T = 284.79
(out)(err)
O = 61
T = 0.02
(out)(err)
O = 26
T = 132.28
(out)(err)
HG-3SAT-V250-C1000-18.cnf O = 6
T = 0.24
O = 6
T = 2.43
(out)(err)
O = 6
T = 7.21
(out)(err)
O = 6
T = 0.24
(out)(err)
O = 7
T = 56.42
(out)(err)
O = N/A
T = TO
(out)(err)
O = 6
T = 3.20
(out)(err)
O = 48
T = 284.70
(out)(err)
O = 36
T = 0.07
(out)(err)
O = 30
T = 88.97
(out)(err)
HG-3SAT-V250-C1000-19.cnf O = 5
T = 1.87
O = 5
T = 2.82
(out)(err)
O = 5
T = 1.87
(out)(err)
O = 5
T = 151.30
(out)(err)
O = 7
T = 3.53
(out)(err)
O = N/A
T = TO
(out)(err)
O = 5
T = 2.74
(out)(err)
O = 59
T = 284.64
(out)(err)
O = 58
T = 0.06
(out)(err)
O = 50
T = 0.52
(out)(err)
HG-3SAT-V250-C1000-2.cnf O = 5
T = 0.49
O = 5
T = 2.78
(out)(err)
O = 5
T = 1.71
(out)(err)
O = 5
T = 0.49
(out)(err)
O = 7
T = 4.14
(out)(err)
O = N/A
T = TO
(out)(err)
O = 5
T = 2.29
(out)(err)
O = 59
T = 284.78
(out)(err)
O = 52
T = 0.02
(out)(err)
O = 29
T = 14.96
(out)(err)
HG-3SAT-V250-C1000-20.cnf O = 7
T = 1.73
O = 7
T = 2.81
(out)(err)
O = 7
T = 1.73
(out)(err)
O = 7
T = 2.35
(out)(err)
O = 7
T = 8.11
(out)(err)
O = N/A
T = TO
(out)(err)
O = 7
T = 1.89
(out)(err)
O = 67
T = 284.80
(out)(err)
O = 60
T = 0.10
(out)(err)
O = 26
T = 295.97
(out)(err)
HG-3SAT-V250-C1000-21.cnf O = 4
T = 0.69
O = 4
T = 3.20
(out)(err)
O = 4
T = 117.48
(out)(err)
O = 4
T = 0.69
(out)(err)
O = 6
T = 4.20
(out)(err)
O = N/A
T = TO
(out)(err)
O = 4
T = 2.91
(out)(err)
O = 53
T = 284.80
(out)(err)
O = 49
T = 0.07
(out)(err)
O = 49
T = 0.21
(out)(err)
HG-3SAT-V250-C1000-22.cnf O = 5
T = 2.66
O = 5
T = 2.76
(out)(err)
O = 5
T = 9.36
(out)(err)
O = 5
T = 74.29
(out)(err)
O = 7
T = 3.79
(out)(err)
O = N/A
T = TO
(out)(err)
O = 5
T = 2.66
(out)(err)
O = 57
T = 284.80
(out)(err)
O = 60
T = 0.11
(out)(err)
O = 28
T = 278.33
(out)(err)
HG-3SAT-V250-C1000-23.cnf O = 6
T = 0.21
O = 6
T = 2.84
(out)(err)
O = 6
T = 1.47
(out)(err)
O = 6
T = 0.21
(out)(err)
O = 6
T = 201.31
(out)(err)
O = N/A
T = TO
(out)(err)
O = 6
T = 2.00
(out)(err)
O = 51
T = 284.79
(out)(err)
O = 53
T = 0.06
(out)(err)
O = 53
T = 0.05
(out)(err)
HG-3SAT-V250-C1000-24.cnf O = 5
T = 0.49
O = 5
T = 3.34
(out)(err)
O = 5
T = 1.48
(out)(err)
O = 5
T = 0.49
(out)(err)
O = 6
T = 5.01
(out)(err)
O = N/A
T = TO
(out)(err)
O = 5
T = 2.72
(out)(err)
O = 57
T = 284.76
(out)(err)
O = 39
T = 0.12
(out)(err)
O = 31
T = 204.30
(out)(err)
HG-3SAT-V250-C1000-3.cnf O = 5
T = 1.51
O = 5
T = 3.11
(out)(err)
O = 5
T = 1.51
(out)(err)
O = 5
T = 35.64
(out)(err)
O = 7
T = 3.62
(out)(err)
O = N/A
T = TO
(out)(err)
O = 5
T = 2.59
(out)(err)
O = 55
T = 284.72
(out)(err)
O = 59
T = 0.19
(out)(err)
O = 28
T = 233.69
(out)(err)
HG-3SAT-V250-C1000-4.cnf O = 6
T = 1.57
O = 6
T = 3.26
(out)(err)
O = 6
T = 1.57
(out)(err)
O = 6
T = 227.73
(out)(err)
O = 7
T = 4.10
(out)(err)
O = N/A
T = TO
(out)(err)
O = 6
T = 3.48
(out)(err)
O = 66
T = 284.78
(out)(err)
O = 58
T = 0.23
(out)(err)
O = 58
T = 0.21
(out)(err)
HG-3SAT-V250-C1000-5.cnf O = 6
T = 0.61
O = 6
T = 3.02
(out)(err)
O = 6
T = 1.50
(out)(err)
O = 6
T = 0.61
(out)(err)
O = 7
T = 3.86
(out)(err)
O = N/A
T = TO
(out)(err)
O = 6
T = 3.32
(out)(err)
O = 51
T = 284.79
(out)(err)
O = 47
T = 0.12
(out)(err)
O = 47
T = 0.08
(out)(err)
HG-3SAT-V250-C1000-6.cnf O = 6
T = 0.17
O = 6
T = 3.42
(out)(err)
O = 6
T = 1.65
(out)(err)
O = 6
T = 0.17
(out)(err)
O = 6
T = 27.74
(out)(err)
O = N/A
T = TO
(out)(err)
O = 6
T = 3.51
(out)(err)
O = 53
T = 284.80
(out)(err)
O = 51
T = 0.06
(out)(err)
O = 51
T = 0.19
(out)(err)
HG-3SAT-V250-C1000-7.cnf O = 6
T = 0.42
O = 6
T = 3.09
(out)(err)
O = 6
T = 1.71
(out)(err)
O = 6
T = 0.42
(out)(err)
O = 6
T = 54.55
(out)(err)
O = N/A
T = TO
(out)(err)
O = 6
T = 3.35
(out)(err)
O = 54
T = 284.66
(out)(err)
O = 52
T = 0.19
(out)(err)
O = 35
T = 7.06
(out)(err)
HG-3SAT-V250-C1000-8.cnf O = 5
T = 1.81
O = 5
T = 2.80
(out)(err)
O = 5
T = 1.81
(out)(err)
O = 5
T = 228.54
(out)(err)
O = 7
T = 2.93
(out)(err)
O = N/A
T = TO
(out)(err)
O = 5
T = 3.23
(out)(err)
O = 53
T = 284.76
(out)(err)
O = 67
T = 0.18
(out)(err)
O = 40
T = 41.23
(out)(err)
HG-3SAT-V250-C1000-9.cnf O = 6
T = 1.62
O = 6
T = 3.89
(out)(err)
O = 6
T = 2.07
(out)(err)
O = 6
T = 1.62
(out)(err)
O = 6
T = 150.24
(out)(err)
O = N/A
T = TO
(out)(err)
O = 6
T = 3.42
(out)(err)
O = 44
T = 284.76
(out)(err)
O = 62
T = 0.19
(out)(err)
O = 29
T = 191.13
(out)(err)
HG-3SAT-V300-C1200-1.cnf O = 6
T = 2.08
O = 6
T = 26.79
(out)(err)
O = 6
T = 2.08
(out)(err)
O = 7
T = 6.08
(out)(err)
O = 8
T = 4.99
(out)(err)
O = N/A
T = TO
(out)(err)
O = 6
T = 3.94
(out)(err)
O = 50
T = 284.73
(out)(err)
O = 68
T = 0.16
(out)(err)
O = 38
T = 272.53
(out)(err)
HG-3SAT-V300-C1200-10.cnf O = 7
T = 0.52
O = 7
T = 4.11
(out)(err)
O = 7
T = 3.44
(out)(err)
O = 7
T = 0.52
(out)(err)
O = 9
T = 8.25
(out)(err)
O = N/A
T = TO
(out)(err)
O = 7
T = 3.59
(out)(err)
O = 74
T = 284.79
(out)(err)
O = 57
T = 0.24
(out)(err)
O = 57
T = 0.09
(out)(err)
HG-3SAT-V300-C1200-100.cnf O = 6
T = 3.71
O = 6
T = 25.20
(out)(err)
O = 6
T = 3.71
(out)(err)
O = 6
T = 26.92
(out)(err)
O = 8
T = 11.59
(out)(err)
O = N/A
T = TO
(out)(err)
O = 6
T = 4.52
(out)(err)
O = 66
T = 284.78
(out)(err)
O = 68
T = 0.08
(out)(err)
O = 68
T = 0.09
(out)(err)
HG-3SAT-V300-C1200-11.cnf O = 6
T = 1.69
O = 6
T = 4.48
(out)(err)
O = 6
T = 1.69
(out)(err)
O = 6
T = 4.21
(out)(err)
O = 8
T = 5.26
(out)(err)
O = N/A
T = TO
(out)(err)
O = 6
T = 2.09
(out)(err)
O = 71
T = 284.66
(out)(err)
O = 66
T = 0.21
(out)(err)
O = 39
T = 289.00
(out)(err)
HG-3SAT-V300-C1200-12.cnf O = 7
T = 1.84
O = 7
T = 4.66
(out)(err)
O = 7
T = 1.84
(out)(err)
O = 7
T = 37.22
(out)(err)
O = 7
T = 17.40
(out)(err)
O = N/A
T = TO
(out)(err)
O = 7
T = 2.13
(out)(err)
O = 74
T = 284.68
(out)(err)
O = 59
T = 0.18
(out)(err)
O = 59
T = 0.16
(out)(err)
HG-3SAT-V300-C1200-13.cnf O = 6
T = 3.09
O = 6
T = 4.63
(out)(err)
O = 6
T = 5.26
(out)(err)
O = 6
T = 30.97
(out)(err)
O = 7
T = 67.89
(out)(err)
O = N/A
T = TO
(out)(err)
O = 6
T = 3.09
(out)(err)
O = 69
T = 284.68
(out)(err)
O = 81
T = 0.21
(out)(err)
O = 81
T = 0.17
(out)(err)
HG-3SAT-V300-C1200-14.cnf O = 6
T = 1.33
O = 6
T = 4.38
(out)(err)
O = 6
T = 1.79
(out)(err)
O = 6
T = 1.33
(out)(err)
O = 7
T = 3.32
(out)(err)
O = N/A
T = TO
(out)(err)
O = 6
T = 3.91
(out)(err)
O = 64
T = 284.71
(out)(err)
O = 76
T = 0.22
(out)(err)
O = 44
T = 279.76
(out)(err)
HG-3SAT-V300-C1200-15.cnf O = 7
T = 0.66
O = 7
T = 4.43
(out)(err)
O = 7
T = 2.38
(out)(err)
O = 7
T = 0.66
(out)(err)
O = 7
T = 25.36
(out)(err)
O = N/A
T = TO
(out)(err)
O = 7
T = 3.28
(out)(err)
O = 59
T = 284.69
(out)(err)
O = 55
T = 0.19
(out)(err)
O = 55
T = 0.05
(out)(err)
HG-3SAT-V300-C1200-16.cnf O = 6
T = 2.01
O = 6
T = 4.65
(out)(err)
O = 6
T = 2.02
(out)(err)
O = 6
T = 2.01
(out)(err)
O = 6
T = 91.28
(out)(err)
O = N/A
T = TO
(out)(err)
O = 6
T = 3.72
(out)(err)
O = 66
T = 284.70
(out)(err)
O = 47
T = 0.20
(out)(err)
O = 47
T = 0.19
(out)(err)
HG-3SAT-V300-C1200-17.cnf O = 7
T = 0.35
O = 7
T = 3.49
(out)(err)
O = 7
T = 2.22
(out)(err)
O = 7
T = 0.35
(out)(err)
O = 9
T = 14.32
(out)(err)
O = N/A
T = TO
(out)(err)
O = 7
T = 3.75
(out)(err)
O = 65
T = 284.53
(out)(err)
O = 60
T = 0.07
(out)(err)
O = 60
T = 0.12
(out)(err)
HG-3SAT-V300-C1200-18.cnf O = 7
T = 1.26
O = 7
T = 3.82
(out)(err)
O = 7
T = 1.93
(out)(err)
O = 7
T = 1.26
(out)(err)
O = 8
T = 39.81
(out)(err)
O = N/A
T = TO
(out)(err)
O = 7
T = 4.10
(out)(err)
O = 74
T = 284.60
(out)(err)
O = 59
T = 0.16
(out)(err)
O = 59
T = 0.14
(out)(err)
HG-3SAT-V300-C1200-19.cnf O = 6
T = 4.28
O = 6
T = 4.28
(out)(err)
O = 6
T = 7.84
(out)(err)
O = 7
T = 36.50
(out)(err)
O = 8
T = 4.98
(out)(err)
O = N/A
T = TO
(out)(err)
O = 6
T = 4.52
(out)(err)
O = 68
T = 284.45
(out)(err)
O = 55
T = 0.10
(out)(err)
O = 39
T = 276.22
(out)(err)
HG-3SAT-V300-C1200-2.cnf O = 5
T = 0.92
O = 5
T = 3.59
(out)(err)
O = 5
T = 45.59
(out)(err)
O = 5
T = 0.92
(out)(err)
O = 7
T = 25.65
(out)(err)
O = N/A
T = TO
(out)(err)
O = 5
T = 4.52
(out)(err)
O = 70
T = 284.52
(out)(err)
O = 71
T = 0.16
(out)(err)
O = 71
T = 0.17
(out)(err)
HG-3SAT-V300-C1200-20.cnf O = 6
T = 1.67
O = 6
T = 3.54
(out)(err)
O = 6
T = 18.87
(out)(err)
O = 6
T = 1.67
(out)(err)
O = 8
T = 3.18
(out)(err)
O = N/A
T = TO
(out)(err)
O = 6
T = 3.95
(out)(err)
O = 68
T = 284.53
(out)(err)
O = 73
T = 0.07
(out)(err)
O = 73
T = 0.20
(out)(err)
HG-3SAT-V300-C1200-21.cnf O = 5
T = 2.09
O = 5
T = 3.90
(out)(err)
O = 5
T = 2.09
(out)(err)
O = 5
T = 7.79
(out)(err)
O = 7
T = 142.68
(out)(err)
O = N/A
T = TO
(out)(err)
O = 5
T = 2.75
(out)(err)
O = 63
T = 284.72
(out)(err)
O = 56
T = 0.14
(out)(err)
O = 40
T = 265.53
(out)(err)
HG-3SAT-V300-C1200-22.cnf O = 6
T = 2.86
O = 6
T = 3.70
(out)(err)
O = 6
T = 3.70
(out)(err)
O = 6
T = 116.14
(out)(err)
O = 7
T = 14.45
(out)(err)
O = N/A
T = TO
(out)(err)
O = 6
T = 2.86
(out)(err)
O = 79
T = 284.53
(out)(err)
O = 54
T = 0.11
(out)(err)
O = 54
T = 0.11
(out)(err)
HG-3SAT-V300-C1200-23.cnf O = 7
T = 2.08
O = 7
T = 4.07
(out)(err)
O = 7
T = 2.08
(out)(err)
O = 7
T = 16.46
(out)(err)
O = 9
T = 4.68
(out)(err)
O = N/A
T = TO
(out)(err)
O = 7
T = 3.04
(out)(err)
O = 65
T = 284.61
(out)(err)
O = 63
T = 0.13
(out)(err)
O = 63
T = 0.15
(out)(err)
HG-3SAT-V300-C1200-24.cnf O = 7
T = 0.10
O = 7
T = 3.57
(out)(err)
O = 7
T = 1.75
(out)(err)
O = 7
T = 0.10
(out)(err)
O = 9
T = 42.39
(out)(err)
O = N/A
T = TO
(out)(err)
O = 7
T = 3.03
(out)(err)
O = 63
T = 284.34
(out)(err)
O = 60
T = 0.12
(out)(err)
O = 60
T = 0.18
(out)(err)
HG-3SAT-V300-C1200-3.cnf O = 6
T = 1.65
O = 6
T = 3.85
(out)(err)
O = 6
T = 1.65
(out)(err)
O = 6
T = 31.34
(out)(err)
O = 7
T = 149.28
(out)(err)
O = N/A
T = TO
(out)(err)
O = 6
T = 2.67
(out)(err)
O = 67
T = 284.75
(out)(err)
O = 69
T = 0.15
(out)(err)
O = 69
T = 0.12
(out)(err)
HG-3SAT-V300-C1200-4.cnf O = 7
T = 0.38
O = 7
T = 3.66
(out)(err)
O = 7
T = 1.72
(out)(err)
O = 7
T = 0.38
(out)(err)
O = 7
T = 10.50
(out)(err)
O = N/A
T = TO
(out)(err)
O = 7
T = 1.74
(out)(err)
O = 78
T = 284.74
(out)(err)
O = 71
T = 0.18
(out)(err)
O = 71
T = 0.14
(out)(err)
HG-3SAT-V300-C1200-5.cnf O = 6
T = 1.13
O = 6
T = 3.82
(out)(err)
O = 6
T = 1.77
(out)(err)
O = 6
T = 1.13
(out)(err)
O = 7
T = 10.93
(out)(err)
O = N/A
T = TO
(out)(err)
O = 6
T = 1.88
(out)(err)
O = 67
T = 284.57
(out)(err)
O = 75
T = 0.22
(out)(err)
O = 75
T = 0.14
(out)(err)
HG-3SAT-V300-C1200-6.cnf O = 6
T = 1.88
O = 6
T = 5.46
(out)(err)
O = 6
T = 12.32
(out)(err)
O = 6
T = 13.96
(out)(err)
O = 7
T = 18.24
(out)(err)
O = N/A
T = TO
(out)(err)
O = 6
T = 1.88
(out)(err)
O = 64
T = 284.59
(out)(err)
O = 68
T = 0.02
(out)(err)
O = 31
T = 190.73
(out)(err)
HG-3SAT-V300-C1200-7.cnf O = 5
T = 1.74
O = 5
T = 5.66
(out)(err)
O = 5
T = 1.74
(out)(err)
O = 5
T = 4.60
(out)(err)
O = 7
T = 4.87
(out)(err)
O = N/A
T = TO
(out)(err)
O = 5
T = 3.46
(out)(err)
O = 73
T = 284.62
(out)(err)
O = 62
T = 0.14
(out)(err)
O = 62
T = 0.03
(out)(err)
HG-3SAT-V300-C1200-8.cnf O = 7
T = 0.44
O = 7
T = 5.39
(out)(err)
O = 7
T = 1.99
(out)(err)
O = 7
T = 0.44
(out)(err)
O = 8
T = 52.16
(out)(err)
O = N/A
T = TO
(out)(err)
O = 7
T = 3.41
(out)(err)
O = 60
T = 284.76
(out)(err)
O = 66
T = 0.13
(out)(err)
O = 66
T = 0.18
(out)(err)
HG-3SAT-V300-C1200-9.cnf O = 7
T = 0.56
O = 7
T = 4.69
(out)(err)
O = 7
T = 4.17
(out)(err)
O = 7
T = 0.56
(out)(err)
O = 8
T = 3.77
(out)(err)
O = N/A
T = TO
(out)(err)
O = 7
T = 3.60
(out)(err)
O = 74
T = 284.45
(out)(err)
O = 74
T = 0.07
(out)(err)
O = 74
T = 0.18
(out)(err)
HG-4SAT-V100-C900-14.cnf O = 2
T = 0.08
O = 2
T = 1.60
(out)(err)
O = 2
T = 0.76
(out)(err)
O = 2
T = 0.08
(out)(err)
O = 2
T = 1.67
(out)(err)
O = N/A
T = TO
(out)(err)
O = 2
T = 1.40
(out)(err)
O = 30
T = 284.34
(out)(err)
O = 29
T = 0.10
(out)(err)
O = 5
T = 62.41
(out)(err)
HG-4SAT-V100-C900-19.cnf O = 2
T = 0.08
O = 2
T = 1.41
(out)(err)
O = 2
T = 3.37
(out)(err)
O = 2
T = 0.08
(out)(err)
O = 2
T = 1.58
(out)(err)
O = N/A
T = TO
(out)(err)
O = 2
T = 0.95
(out)(err)
O = 34
T = 284.39
(out)(err)
O = 32
T = 0.13
(out)(err)
O = 19
T = 1.99
(out)(err)
HG-4SAT-V100-C900-2.cnf O = 2
T = 0.02
O = 2
T = 1.86
(out)(err)
O = 2
T = 0.85
(out)(err)
O = 2
T = 0.02
(out)(err)
O = 2
T = 1.87
(out)(err)
O = N/A
T = TO
(out)(err)
O = 2
T = 0.96
(out)(err)
O = 31
T = 284.72
(out)(err)
O = 33
T = 0.07
(out)(err)
O = 5
T = 11.39
(out)(err)
HG-4SAT-V100-C900-20.cnf O = 2
T = 0.64
O = 2
T = 2.09
(out)(err)
O = 2
T = 0.64
(out)(err)
O = 2
T = 257.96
(out)(err)
O = 2
T = 2.05
(out)(err)
O = N/A
T = TO
(out)(err)
O = 2
T = 1.12
(out)(err)
O = 28
T = 284.63
(out)(err)
O = 28
T = 0.06
(out)(err)
O = 28
T = 0.19
(out)(err)
HG-4SAT-V100-C900-23.cnf O = 2
T = 0.08
O = 2
T = 1.87
(out)(err)
O = 2
T = 0.60
(out)(err)
O = 2
T = 0.08
(out)(err)
O = 2
T = 1.72
(out)(err)
O = N/A
T = TO
(out)(err)
O = 2
T = 1.01
(out)(err)
O = 32
T = 284.53
(out)(err)
O = 29
T = 0.06
(out)(err)
O = 29
T = 0.06
(out)(err)
HG-4SAT-V100-C900-4.cnf O = 2
T = 0.79
O = 2
T = 2.23
(out)(err)
O = 2
T = 0.79
(out)(err)
O = 2
T = 20.34
(out)(err)
O = 2
T = 1.53
(out)(err)
O = N/A
T = TO
(out)(err)
O = 2
T = 1.15
(out)(err)
O = 37
T = 284.50
(out)(err)
O = 31
T = 0.07
(out)(err)
O = 30
T = 285.92
(out)(err)
HG-4SAT-V100-C900-7.cnf O = 2
T = 0.14
O = 2
T = 2.37
(out)(err)
O = 2
T = 0.71
(out)(err)
O = 2
T = 0.14
(out)(err)
O = 2
T = 15.35
(out)(err)
O = N/A
T = TO
(out)(err)
O = 2
T = 1.56
(out)(err)
O = 25
T = 284.48
(out)(err)
O = 28
T = 0.16
(out)(err)
O = 15
T = 115.83
(out)(err)
HG-4SAT-V150-C1350-1.cnf O = 1
T = 1.00
O = 1
T = 2.35
(out)(err)
O = 1
T = 1.00
(out)(err)
O = 2
T = 0.11
(out)(err)
O = 2
T = 192.58
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1
T = 2.46
(out)(err)
O = 54
T = 284.45
(out)(err)
O = 52
T = 0.17
(out)(err)
O = 52
T = 0.07
(out)(err)
HG-4SAT-V150-C1350-10.cnf O = 1
T = 0.97
O = 1
T = 2.34
(out)(err)
O = 1
T = 0.97
(out)(err)
O = 2
T = 2.80
(out)(err)
O = 3
T = 2.71
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1
T = 2.72
(out)(err)
O = 51
T = 284.52
(out)(err)
O = 39
T = 0.17
(out)(err)
O = 39
T = 0.12
(out)(err)
HG-4SAT-V150-C1350-100.cnf O = 1
T = 1.45
O = 1
T = 2.60
(out)(err)
O = 1
T = 1.45
(out)(err)
O = 2
T = 2.63
(out)(err)
O = 3
T = 2.58
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1
T = 1.77
(out)(err)
O = 37
T = 284.52
(out)(err)
O = 52
T = 0.20
(out)(err)
O = 52
T = 0.09
(out)(err)
HG-4SAT-V150-C1350-11.cnf O = 1
T = 1.80
O = 1
T = 2.69
(out)(err)
O = 1
T = 6.58
(out)(err)
O = 2
T = 0.73
(out)(err)
O = 3
T = 1.98
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1
T = 1.80
(out)(err)
O = 50
T = 284.45
(out)(err)
O = 46
T = 0.07
(out)(err)
O = 46
T = 0.03
(out)(err)
HG-4SAT-V150-C1350-12.cnf O = 2
T = 0.89
O = 2
T = 2.65
(out)(err)
O = 2
T = 1.31
(out)(err)
O = 2
T = 1.90
(out)(err)
O = 3
T = 2.46
(out)(err)
O = N/A
T = TO
(out)(err)
O = 2
T = 0.89
(out)(err)
O = 49
T = 284.44
(out)(err)
O = 54
T = 0.05
(out)(err)
O = 54
T = 0.12
(out)(err)
HG-4SAT-V150-C1350-13.cnf O = 1
T = 1.02
O = 1
T = 2.57
(out)(err)
O = 1
T = 1.02
(out)(err)
O = 2
T = 4.57
(out)(err)
O = 2
T = 52.81
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1
T = 1.44
(out)(err)
O = 54
T = 284.55
(out)(err)
O = 53
T = 0.13
(out)(err)
O = 53
T = 0.12
(out)(err)
HG-4SAT-V150-C1350-14.cnf O = 1
T = 1.05
O = 1
T = 2.71
(out)(err)
O = 1
T = 1.05
(out)(err)
O = 2
T = 1.53
(out)(err)
O = 3
T = 15.54
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1
T = 1.41
(out)(err)
O = 41
T = 284.50
(out)(err)
O = 35
T = 0.11
(out)(err)
O = 35
T = 0.19
(out)(err)
HG-4SAT-V150-C1350-15.cnf O = 1
T = 1.24
O = 1
T = 2.30
(out)(err)
O = 1
T = 1.24
(out)(err)
O = 2
T = 0.37
(out)(err)
O = 2
T = 0.69
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1
T = 1.61
(out)(err)
O = 35
T = 284.45
(out)(err)
O = 44
T = 0.06
(out)(err)
O = 44
T = 0.23
(out)(err)
HG-4SAT-V150-C1350-16.cnf O = 1
T = 1.48
O = 1
T = 2.93
(out)(err)
O = 1
T = 26.03
(out)(err)
O = 2
T = 2.02
(out)(err)
O = 2
T = 2.39
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1
T = 1.48
(out)(err)
O = 44
T = 284.46
(out)(err)
O = 59
T = 0.11
(out)(err)
O = 59
T = 0.18
(out)(err)
HG-4SAT-V150-C1350-17.cnf O = 2
T = 1.01
O = 2
T = 2.40
(out)(err)
O = 2
T = 1.01
(out)(err)
O = 3
T = 0.22
(out)(err)
O = 3
T = 33.14
(out)(err)
O = N/A
T = TO
(out)(err)
O = 2
T = 1.83
(out)(err)
O = 41
T = 284.38
(out)(err)
O = 45
T = 0.12
(out)(err)
O = 45
T = 0.18
(out)(err)
HG-4SAT-V150-C1350-18.cnf O = 1
T = 1.06
O = 1
T = 2.11
(out)(err)
O = 1
T = 1.06
(out)(err)
O = 2
T = 3.99
(out)(err)
O = 2
T = 2.33
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1
T = 1.15
(out)(err)
O = 37
T = 284.62
(out)(err)
O = 39
T = 0.12
(out)(err)
O = 39
T = 0.21
(out)(err)
HG-4SAT-V150-C1350-19.cnf O = 1
T = 1.01
O = 1
T = 2.47
(out)(err)
O = 1
T = 1.01
(out)(err)
O = 1
T = 30.68
(out)(err)
O = 2
T = 4.22
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1
T = 1.41
(out)(err)
O = 54
T = 284.48
(out)(err)
O = 46
T = 0.13
(out)(err)
O = 29
T = 269.47
(out)(err)
HG-4SAT-V150-C1350-2.cnf O = 1
T = 1.67
O = 1
T = 1.67
(out)(err)
O = 1
T = 27.70
(out)(err)
O = 2
T = 121.38
(out)(err)
O = 3
T = 2.48
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1
T = 2.00
(out)(err)
O = 50
T = 284.53
(out)(err)
O = 40
T = 0.11
(out)(err)
O = 40
T = 0.21
(out)(err)
HG-4SAT-V150-C1350-20.cnf O = 1
T = 2.68
O = 1
T = 10.07
(out)(err)
O = 1
T = 105.02
(out)(err)
O = 2
T = 0.14
(out)(err)
O = 2
T = 80.71
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1
T = 2.68
(out)(err)
O = 42
T = 284.56
(out)(err)
O = 41
T = 0.15
(out)(err)
O = 41
T = 0.11
(out)(err)
HG-4SAT-V150-C1350-21.cnf O = 1
T = 1.71
O = 1
T = 21.18
(out)(err)
O = 1
T = 21.35
(out)(err)
O = 2
T = 0.86
(out)(err)
O = 2
T = 33.57
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1
T = 1.71
(out)(err)
O = 38
T = 284.59
(out)(err)
O = 47
T = 0.17
(out)(err)
O = 47
T = 0.07
(out)(err)
HG-4SAT-V150-C1350-22.cnf O = 1
T = 1.12
O = 1
T = 2.15
(out)(err)
O = 1
T = 1.12
(out)(err)
O = 1
T = 154.41
(out)(err)
O = 2
T = 43.51
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1
T = 1.51
(out)(err)
O = 51
T = 284.74
(out)(err)
O = 43
T = 0.16
(out)(err)
O = 42
T = 8.01
(out)(err)
HG-4SAT-V150-C1350-23.cnf O = 0
T = 0.28
O = 0
T = 0.28
(out)(err)
O = 0
T = 0.76
(out)(err)
O = 3
T = 0.42
(out)(err)
O = 3
T = 2.35
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 42
T = 284.47
(out)(err)
O = 32
T = 0.11
(out)(err)
O = 32
T = 0.06
(out)(err)
HG-4SAT-V150-C1350-24.cnf O = 2
T = 1.16
O = 2
T = 2.24
(out)(err)
O = 2
T = 1.16
(out)(err)
O = 2
T = 29.78
(out)(err)
O = 3
T = 25.77
(out)(err)
O = N/A
T = TO
(out)(err)
O = 2
T = 2.25
(out)(err)
O = 39
T = 284.76
(out)(err)
O = 42
T = 0.10
(out)(err)
O = 42
T = 0.06
(out)(err)
HG-4SAT-V150-C1350-3.cnf O = 1
T = 1.42
O = 1
T = 2.25
(out)(err)
O = 1
T = 1.42
(out)(err)
O = 2
T = 1.93
(out)(err)
O = 2
T = 2.41
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1
T = 2.17
(out)(err)
O = 42
T = 284.45
(out)(err)
O = 56
T = 0.13
(out)(err)
O = 56
T = 0.16
(out)(err)
HG-4SAT-V150-C1350-4.cnf O = 1
T = 1.20
O = 1
T = 2.28
(out)(err)
O = 1
T = 1.20
(out)(err)
O = 1
T = 29.80
(out)(err)
O = 2
T = 1.49
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1
T = 2.05
(out)(err)
O = 45
T = 284.37
(out)(err)
O = 62
T = 0.10
(out)(err)
O = 62
T = 0.22
(out)(err)
HG-4SAT-V150-C1350-5.cnf O = 2
T = 0.72
O = 2
T = 1.75
(out)(err)
O = 2
T = 1.16
(out)(err)
O = 2
T = 0.72
(out)(err)
O = 2
T = 45.93
(out)(err)
O = N/A
T = TO
(out)(err)
O = 2
T = 1.76
(out)(err)
O = 45
T = 284.64
(out)(err)
O = 29
T = 0.18
(out)(err)
O = 29
T = 0.16
(out)(err)
HG-4SAT-V150-C1350-6.cnf O = 1
T = 1.13
O = 1
T = 1.90
(out)(err)
O = 1
T = 1.13
(out)(err)
O = 2
T = 29.54
(out)(err)
O = 2
T = 2.11
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1
T = 2.63
(out)(err)
O = 41
T = 284.33
(out)(err)
O = 49
T = 0.10
(out)(err)
O = 49
T = 0.24
(out)(err)
HG-4SAT-V150-C1350-7.cnf O = 1
T = 2.01
O = 1
T = 2.01
(out)(err)
O = 1
T = 12.76
(out)(err)
O = 1
T = 21.87
(out)(err)
O = 2
T = 25.67
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1
T = 2.48
(out)(err)
O = 51
T = 284.29
(out)(err)
O = 44
T = 0.14
(out)(err)
O = 44
T = 0.21
(out)(err)
HG-4SAT-V150-C1350-8.cnf O = 2
T = 1.17
O = 2
T = 1.96
(out)(err)
O = 2
T = 1.20
(out)(err)
O = 2
T = 1.92
(out)(err)
O = 2
T = 20.32
(out)(err)
O = N/A
T = TO
(out)(err)
O = 2
T = 1.17
(out)(err)
O = 37
T = 284.25
(out)(err)
O = 64
T = 0.04
(out)(err)
O = 64
T = 0.08
(out)(err)
HG-4SAT-V150-C1350-9.cnf O = 2
T = 1.12
O = 2
T = 2.33
(out)(err)
O = 2
T = 1.12
(out)(err)
O = 3
T = 4.00
(out)(err)
O = 3
T = 1.87
(out)(err)
O = N/A
T = TO
(out)(err)
O = 2
T = 1.36
(out)(err)
O = 29
T = 284.38
(out)(err)
O = 45
T = 0.09
(out)(err)
O = 45
T = 0.19
(out)(err)
s2v120c1200-1.cnf O = 161
T = 0.03
O = 161
T = 2.49
(out)(err)
O = 161
T = 1.65
(out)(err)
O = 161
T = 0.03
(out)(err)
O = 161
T = 1.07
(out)(err)
O = N/A
T = TO
(out)(err)
O = 161
T = 1.99
(out)(err)
O = 200
T = 284.23
(out)(err)
O = 252
T = 0.12
(out)(err)
O = 221
T = 20.21
(out)(err)
s2v120c1200-10.cnf O = 154
T = 0.04
O = 154
T = 1.84
(out)(err)
O = 154
T = 1.15
(out)(err)
O = 154
T = 0.04
(out)(err)
O = 154
T = 1.64
(out)(err)
O = N/A
T = TO
(out)(err)
O = 154
T = 1.93
(out)(err)
O = 190
T = 284.64
(out)(err)
O = 228
T = 0.12
(out)(err)
O = 209
T = 34.24
(out)(err)
s2v120c1200-2.cnf O = 159
T = 0.03
O = 159
T = 2.11
(out)(err)
O = 159
T = 1.13
(out)(err)
O = 159
T = 0.03
(out)(err)
O = 159
T = 1.44
(out)(err)
O = N/A
T = TO
(out)(err)
O = 159
T = 1.90
(out)(err)
O = 186
T = 284.74
(out)(err)
O = 246
T = 0.14
(out)(err)
O = 211
T = 26.70
(out)(err)
s2v120c1200-3.cnf O = 160
T = 0.02
O = 160
T = 3.14
(out)(err)
O = 160
T = 1.23
(out)(err)
O = 160
T = 0.02
(out)(err)
O = 160
T = 1.37
(out)(err)
O = N/A
T = TO
(out)(err)
O = 160
T = 1.82
(out)(err)
O = 194
T = 284.18
(out)(err)
O = 265
T = 0.14
(out)(err)
O = 218
T = 284.94
(out)(err)
s2v120c1200-4.cnf O = 157
T = 0.07
O = 157
T = 2.95
(out)(err)
O = 157
T = 1.30
(out)(err)
O = 157
T = 0.07
(out)(err)
O = 157
T = 1.06
(out)(err)
O = N/A
T = TO
(out)(err)
O = 157
T = 1.58
(out)(err)
O = 192
T = 284.40
(out)(err)
O = 250
T = 0.13
(out)(err)
O = 208
T = 12.31
(out)(err)
s2v120c1200-5.cnf O = 143
T = 0.03
O = 143
T = 2.62
(out)(err)
O = 143
T = 1.41
(out)(err)
O = 143
T = 0.03
(out)(err)
O = 143
T = 0.83
(out)(err)
O = N/A
T = TO
(out)(err)
O = 143
T = 1.73
(out)(err)
O = 178
T = 284.61
(out)(err)
O = 220
T = 0.07
(out)(err)
O = 197
T = 140.76
(out)(err)
s2v120c1200-6.cnf O = 167
T = 0.02
O = 167
T = 2.66
(out)(err)
O = 167
T = 1.40
(out)(err)
O = 167
T = 0.02
(out)(err)
O = 167
T = 3.32
(out)(err)
O = N/A
T = TO
(out)(err)
O = 167
T = 1.74
(out)(err)
O = 209
T = 284.71
(out)(err)
O = 265
T = 0.10
(out)(err)
O = 219
T = 87.73
(out)(err)
s2v120c1200-7.cnf O = 162
T = 0.04
O = 162
T = 2.90
(out)(err)
O = 162
T = 1.30
(out)(err)
O = 162
T = 0.04
(out)(err)
O = 162
T = 1.14
(out)(err)
O = N/A
T = TO
(out)(err)
O = 162
T = 2.01
(out)(err)
O = 204
T = 284.74
(out)(err)
O = 247
T = 0.05
(out)(err)
O = 221
T = 81.14
(out)(err)
s2v120c1200-8.cnf O = 165
T = 0.02
O = 165
T = 3.24
(out)(err)
O = 165
T = 1.37
(out)(err)
O = 165
T = 0.02
(out)(err)
O = 165
T = 1.21
(out)(err)
O = N/A
T = TO
(out)(err)
O = 165
T = 2.00
(out)(err)
O = 212
T = 284.32
(out)(err)
O = 258
T = 0.07
(out)(err)
O = 214
T = 22.32
(out)(err)
s2v120c1200-9.cnf O = 148
T = 0.03
O = 148
T = 2.92
(out)(err)
O = 148
T = 1.20
(out)(err)
O = 148
T = 0.03
(out)(err)
O = 148
T = 1.27
(out)(err)
O = N/A
T = TO
(out)(err)
O = 148
T = 2.05
(out)(err)
O = 180
T = 284.54
(out)(err)
O = 261
T = 0.09
(out)(err)
O = 203
T = 47.02
(out)(err)
s2v120c1300-1.cnf O = 180
T = 0.05
O = 180
T = 2.24
(out)(err)
O = 180
T = 1.11
(out)(err)
O = 180
T = 0.05
(out)(err)
O = 180
T = 1.33
(out)(err)
O = N/A
T = TO
(out)(err)
O = 180
T = 2.39
(out)(err)
O = 223
T = 284.45
(out)(err)
O = 243
T = 0.08
(out)(err)
O = 235
T = 114.28
(out)(err)
s2v120c1300-10.cnf O = 180
T = 0.05
O = 180
T = 3.00
(out)(err)
O = 180
T = 1.16
(out)(err)
O = 180
T = 0.05
(out)(err)
O = 180
T = 1.89
(out)(err)
O = N/A
T = TO
(out)(err)
O = 180
T = 1.94
(out)(err)
O = 220
T = 284.56
(out)(err)
O = 246
T = 0.06
(out)(err)
O = 237
T = 278.64
(out)(err)
s2v120c1300-2.cnf O = 172
T = 0.03
O = 172
T = 2.42
(out)(err)
O = 172
T = 1.27
(out)(err)
O = 172
T = 0.03
(out)(err)
O = 172
T = 1.56
(out)(err)
O = N/A
T = TO
(out)(err)
O = 172
T = 1.20
(out)(err)
O = 218
T = 284.15
(out)(err)
O = 268
T = 0.12
(out)(err)
O = 237
T = 171.24
(out)(err)
s2v120c1300-3.cnf O = 173
T = 0.03
O = 173
T = 2.52
(out)(err)
O = 173
T = 1.31
(out)(err)
O = 173
T = 0.03
(out)(err)
O = 173
T = 2.25
(out)(err)
O = N/A
T = TO
(out)(err)
O = 173
T = 1.80
(out)(err)
O = 223
T = 284.68
(out)(err)
O = 265
T = 0.11
(out)(err)
O = 234
T = 227.13
(out)(err)
s2v120c1300-4.cnf O = 176
T = 0.03
O = 176
T = 2.65
(out)(err)
O = 176
T = 1.16
(out)(err)
O = 176
T = 0.03
(out)(err)
O = 176
T = 2.30
(out)(err)
O = N/A
T = TO
(out)(err)
O = 176
T = 1.70
(out)(err)
O = 211
T = 284.28
(out)(err)
O = 272
T = 0.07
(out)(err)
O = 242
T = 286.59
(out)(err)
s2v120c1300-5.cnf O = 168
T = 0.03
O = 168
T = 3.14
(out)(err)
O = 168
T = 2.57
(out)(err)
O = 168
T = 0.03
(out)(err)
O = 168
T = 1.96
(out)(err)
O = N/A
T = TO
(out)(err)
O = 168
T = 2.36
(out)(err)
O = 210
T = 284.66
(out)(err)
O = 256
T = 0.07
(out)(err)
O = 232
T = 263.03
(out)(err)
s2v120c1300-6.cnf O = 180
T = 0.02
O = 180
T = 2.00
(out)(err)
O = 180
T = 1.37
(out)(err)
O = 180
T = 0.02
(out)(err)
O = 180
T = 1.32
(out)(err)
O = N/A
T = TO
(out)(err)
O = 180
T = 2.22
(out)(err)
O = 221
T = 284.44
(out)(err)
O = 249
T = 0.10
(out)(err)
O = 242
T = 34.59
(out)(err)
s2v120c1300-7.cnf O = 169
T = 0.02
O = 169
T = 2.75
(out)(err)
O = 169
T = 1.05
(out)(err)
O = 169
T = 0.02
(out)(err)
O = 169
T = 1.14
(out)(err)
O = N/A
T = TO
(out)(err)
O = 169
T = 2.22
(out)(err)
O = 195
T = 284.42
(out)(err)
O = 266
T = 0.05
(out)(err)
O = 229
T = 214.95
(out)(err)
s2v120c1300-8.cnf O = 174
T = 0.02
O = 174
T = 2.96
(out)(err)
O = 174
T = 1.06
(out)(err)
O = 174
T = 0.02
(out)(err)
O = 174
T = 0.91
(out)(err)
O = N/A
T = TO
(out)(err)
O = 174
T = 2.69
(out)(err)
O = 220
T = 284.69
(out)(err)
O = 276
T = 0.06
(out)(err)
O = 235
T = 5.07
(out)(err)
s2v120c1300-9.cnf O = 186
T = 0.04
O = 186
T = 1.97
(out)(err)
O = 186
T = 1.20
(out)(err)
O = 186
T = 0.04
(out)(err)
O = 186
T = 1.28
(out)(err)
O = N/A
T = TO
(out)(err)
O = 186
T = 2.29
(out)(err)
O = 220
T = 284.42
(out)(err)
O = 272
T = 0.11
(out)(err)
O = 244
T = 43.11
(out)(err)
s2v120c1400-1.cnf O = 197
T = 0.03
O = 197
T = 1.63
(out)(err)
O = 197
T = 1.45
(out)(err)
O = 197
T = 0.03
(out)(err)
O = 197
T = 1.53
(out)(err)
O = N/A
T = TO
(out)(err)
O = 197
T = 1.89
(out)(err)
O = 250
T = 284.43
(out)(err)
O = 290
T = 0.12
(out)(err)
O = 269
T = 48.51
(out)(err)
s2v120c1400-10.cnf O = 211
T = 0.03
O = 211
T = 2.01
(out)(err)
O = 211
T = 1.69
(out)(err)
O = 211
T = 0.03
(out)(err)
O = 211
T = 2.29
(out)(err)
O = N/A
T = TO
(out)(err)
O = 211
T = 2.29
(out)(err)
O = 261
T = 283.93
(out)(err)
O = 321
T = 0.06
(out)(err)
O = 265
T = 30.56
(out)(err)
s2v120c1400-2.cnf O = 191
T = 0.03
O = 191
T = 2.08
(out)(err)
O = 191
T = 1.10
(out)(err)
O = 191
T = 0.03
(out)(err)
O = 191
T = 1.93
(out)(err)
O = N/A
T = TO
(out)(err)
O = 191
T = 1.73
(out)(err)
O = 227
T = 284.74
(out)(err)
O = 335
T = 0.14
(out)(err)
O = 248
T = 32.86
(out)(err)
s2v120c1400-3.cnf O = 189
T = 0.05
O = 189
T = 1.64
(out)(err)
O = 189
T = 1.10
(out)(err)
O = 189
T = 0.05
(out)(err)
O = 189
T = 2.35
(out)(err)
O = N/A
T = TO
(out)(err)
O = 189
T = 2.33
(out)(err)
O = 237
T = 284.42
(out)(err)
O = 292
T = 0.11
(out)(err)
O = 241
T = 20.49
(out)(err)
s2v120c1400-4.cnf O = 200
T = 0.03
O = 200
T = 2.41
(out)(err)
O = 200
T = 1.34
(out)(err)
O = 200
T = 0.03
(out)(err)
O = 200
T = 1.89
(out)(err)
O = N/A
T = TO
(out)(err)
O = 200
T = 1.96
(out)(err)
O = 252
T = 284.26
(out)(err)
O = 305
T = 0.15
(out)(err)
O = 272
T = 5.40
(out)(err)
s2v120c1400-5.cnf O = 199
T = 0.02
O = 199
T = 2.08
(out)(err)
O = 199
T = 1.18
(out)(err)
O = 199
T = 0.02
(out)(err)
O = 199
T = 2.42
(out)(err)
O = N/A
T = TO
(out)(err)
O = 199
T = 2.06
(out)(err)
O = 251
T = 284.35
(out)(err)
O = 286
T = 0.11
(out)(err)
O = 264
T = 107.97
(out)(err)
s2v120c1400-6.cnf O = 196
T = 0.02
O = 196
T = 2.21
(out)(err)
O = 196
T = 1.08
(out)(err)
O = 196
T = 0.02
(out)(err)
O = 196
T = 1.41
(out)(err)
O = N/A
T = TO
(out)(err)
O = 196
T = 2.31
(out)(err)
O = 252
T = 284.31
(out)(err)
O = 291
T = 0.08
(out)(err)
O = 249
T = 67.38
(out)(err)
s2v120c1400-7.cnf O = 206
T = 0.03
O = 206
T = 2.39
(out)(err)
O = 206
T = 1.06
(out)(err)
O = 206
T = 0.03
(out)(err)
O = 206
T = 1.45
(out)(err)
O = N/A
T = TO
(out)(err)
O = 206
T = 1.01
(out)(err)
O = 255
T = 284.45
(out)(err)
O = 288
T = 0.10
(out)(err)
O = 275
T = 2.70
(out)(err)
s2v120c1400-8.cnf O = 194
T = 0.02
O = 194
T = 2.09
(out)(err)
O = 194
T = 1.17
(out)(err)
O = 194
T = 0.02
(out)(err)
O = 194
T = 0.87
(out)(err)
O = N/A
T = TO
(out)(err)
O = 194
T = 0.82
(out)(err)
O = 240
T = 284.63
(out)(err)
O = 296
T = 0.10
(out)(err)
O = 253
T = 3.70
(out)(err)
s2v120c1400-9.cnf O = 198
T = 0.05
O = 198
T = 2.90
(out)(err)
O = 198
T = 1.32
(out)(err)
O = 198
T = 0.05
(out)(err)
O = 198
T = 1.87
(out)(err)
O = N/A
T = TO
(out)(err)
O = 198
T = 1.90
(out)(err)
O = 237
T = 284.76
(out)(err)
O = 295
T = 0.07
(out)(err)
O = 256
T = 39.43
(out)(err)
s2v120c1500-1.cnf O = 211
T = 0.06
O = 211
T = 2.69
(out)(err)
O = 211
T = 1.36
(out)(err)
O = 211
T = 0.06
(out)(err)
O = 211
T = 2.31
(out)(err)
O = N/A
T = TO
(out)(err)
O = 211
T = 1.04
(out)(err)
O = 267
T = 284.74
(out)(err)
O = 316
T = 0.16
(out)(err)
O = 290
T = 0.67
(out)(err)
s2v120c1500-10.cnf O = 213
T = 0.03
O = 213
T = 3.24
(out)(err)
O = 213
T = 1.41
(out)(err)
O = 213
T = 0.03
(out)(err)
O = 213
T = 2.00
(out)(err)
O = N/A
T = TO
(out)(err)
O = 213
T = 2.82
(out)(err)
O = 269
T = 284.48
(out)(err)
O = 302
T = 0.10
(out)(err)
O = 264
T = 146.85
(out)(err)
s2v120c1500-2.cnf O = 213
T = 0.04
O = 213
T = 2.75
(out)(err)
O = 213
T = 1.14
(out)(err)
O = 213
T = 0.04
(out)(err)
O = 213
T = 1.61
(out)(err)
O = N/A
T = TO
(out)(err)
O = 213
T = 2.43
(out)(err)
O = 263
T = 284.48
(out)(err)
O = 347
T = 0.11
(out)(err)
O = 286
T = 9.02
(out)(err)
s2v120c1500-3.cnf O = 207
T = 0.02
O = 207
T = 2.66
(out)(err)
O = 207
T = 1.16
(out)(err)
O = 207
T = 0.02
(out)(err)
O = 207
T = 1.60
(out)(err)
O = N/A
T = TO
(out)(err)
O = 207
T = 2.78
(out)(err)
O = 249
T = 284.21
(out)(err)
O = 332
T = 0.12
(out)(err)
O = 271
T = 105.89
(out)(err)
s2v120c1500-4.cnf O = 212
T = 0.02
O = 212
T = 3.30
(out)(err)
O = 212
T = 1.21
(out)(err)
O = 212
T = 0.02
(out)(err)
O = 212
T = 2.03
(out)(err)
O = N/A
T = TO
(out)(err)
O = 212
T = 2.89
(out)(err)
O = 251
T = 284.70
(out)(err)
O = 285
T = 0.12
(out)(err)
O = 279
T = 239.84
(out)(err)
s2v120c1500-5.cnf O = 233
T = 0.02
O = 233
T = 3.12
(out)(err)
O = 233
T = 1.15
(out)(err)
O = 233
T = 0.02
(out)(err)
O = 233
T = 1.38
(out)(err)
O = N/A
T = TO
(out)(err)
O = 233
T = 0.91
(out)(err)
O = 293
T = 284.20
(out)(err)
O = 330
T = 0.17
(out)(err)
O = 296
T = 1.73
(out)(err)
s2v120c1500-6.cnf O = 209
T = 0.04
O = 209
T = 3.55
(out)(err)
O = 209
T = 1.28
(out)(err)
O = 209
T = 0.04
(out)(err)
O = 209
T = 1.50
(out)(err)
O = N/A
T = TO
(out)(err)
O = 209
T = 1.09
(out)(err)
O = 247
T = 284.36
(out)(err)
O = 325
T = 0.05
(out)(err)
O = 269
T = 1.24
(out)(err)
s2v120c1500-7.cnf O = 216
T = 0.03
O = 216
T = 3.20
(out)(err)
O = 216
T = 1.14
(out)(err)
O = 216
T = 0.03
(out)(err)
O = 216
T = 1.76
(out)(err)
O = N/A
T = TO
(out)(err)
O = 216
T = 2.45
(out)(err)
O = 266
T = 284.32
(out)(err)
O = 307
T = 0.10
(out)(err)
O = 282
T = 18.19
(out)(err)
s2v120c1500-8.cnf O = 212
T = 0.02
O = 212
T = 2.67
(out)(err)
O = 212
T = 2.01
(out)(err)
O = 212
T = 0.02
(out)(err)
O = 212
T = 2.63
(out)(err)
O = N/A
T = TO
(out)(err)
O = 212
T = 0.91
(out)(err)
O = 265
T = 284.42
(out)(err)
O = 309
T = 0.07
(out)(err)
O = 271
T = 248.93
(out)(err)
s2v120c1500-9.cnf O = 223
T = 0.02
O = 223
T = 1.18
(out)(err)
O = 223
T = 1.32
(out)(err)
O = 223
T = 0.02
(out)(err)
O = 223
T = 2.62
(out)(err)
O = N/A
T = TO
(out)(err)
O = 223
T = 2.61
(out)(err)
O = 267
T = 284.41
(out)(err)
O = 317
T = 0.16
(out)(err)
O = 291
T = 161.92
(out)(err)
s2v120c1600-1.cnf O = 233
T = 0.03
O = 233
T = 1.61
(out)(err)
O = 233
T = 1.66
(out)(err)
O = 233
T = 0.03
(out)(err)
O = 233
T = 2.15
(out)(err)
O = N/A
T = TO
(out)(err)
O = 233
T = 2.74
(out)(err)
O = 286
T = 284.74
(out)(err)
O = 360
T = 0.14
(out)(err)
O = 315
T = 1.52
(out)(err)
s2v120c1600-10.cnf O = 233
T = 0.08
O = 233
T = 2.68
(out)(err)
O = 233
T = 3.55
(out)(err)
O = 233
T = 0.08
(out)(err)
O = 233
T = 1.99
(out)(err)
O = N/A
T = TO
(out)(err)
O = 233
T = 2.96
(out)(err)
O = 274
T = 284.06
(out)(err)
O = 367
T = 0.10
(out)(err)
O = 305
T = 89.64
(out)(err)
s2v120c1600-2.cnf O = 239
T = 0.03
O = 239
T = 2.76
(out)(err)
O = 239
T = 1.33
(out)(err)
O = 239
T = 0.03
(out)(err)
O = 239
T = 1.75
(out)(err)
O = N/A
T = TO
(out)(err)
O = 239
T = 3.05
(out)(err)
O = 279
T = 284.24
(out)(err)
O = 351
T = 0.09
(out)(err)
O = 307
T = 221.78
(out)(err)
s2v120c1600-3.cnf O = 233
T = 0.03
O = 233
T = 2.41
(out)(err)
O = 233
T = 3.92
(out)(err)
O = 233
T = 0.03
(out)(err)
O = 233
T = 1.78
(out)(err)
O = N/A
T = TO
(out)(err)
O = 233
T = 0.91
(out)(err)
O = 279
T = 284.70
(out)(err)
O = 341
T = 0.13
(out)(err)
O = 306
T = 215.22
(out)(err)
s2v120c1600-4.cnf O = 219
T = 0.03
O = 219
T = 1.87
(out)(err)
O = 219
T = 1.38
(out)(err)
O = 219
T = 0.03
(out)(err)
O = 219
T = 2.72
(out)(err)
O = N/A
T = TO
(out)(err)
O = 219
T = 2.68
(out)(err)
O = 260
T = 284.56
(out)(err)
O = 311
T = 0.10
(out)(err)
O = 292
T = 170.76
(out)(err)
s2v120c1600-5.cnf O = 247
T = 0.12
O = 247
T = 1.85
(out)(err)
O = 247
T = 1.62
(out)(err)
O = 247
T = 0.12
(out)(err)
O = 247
T = 2.10
(out)(err)
O = N/A
T = TO
(out)(err)
O = 247
T = 1.89
(out)(err)
O = 273
T = 284.24
(out)(err)
O = 347
T = 0.10
(out)(err)
O = 309
T = 88.64
(out)(err)
s2v120c1600-6.cnf O = 235
T = 0.03
O = 235
T = 1.87
(out)(err)
O = 235
T = 1.59
(out)(err)
O = 235
T = 0.03
(out)(err)
O = 235
T = 1.94
(out)(err)
O = N/A
T = TO
(out)(err)
O = 235
T = 3.64
(out)(err)
O = 285
T = 283.66
(out)(err)
O = 352
T = 0.06
(out)(err)
O = 285
T = 19.96
(out)(err)
s2v120c1600-7.cnf O = 225
T = 0.03
O = 225
T = 2.72
(out)(err)
O = 225
T = 3.36
(out)(err)
O = 225
T = 0.03
(out)(err)
O = 225
T = 2.54
(out)(err)
O = N/A
T = TO
(out)(err)
O = 225
T = 3.45
(out)(err)
O = 274
T = 284.15
(out)(err)
O = 345
T = 0.09
(out)(err)
O = 301
T = 17.82
(out)(err)
s2v120c1600-8.cnf O = 237
T = 0.02
O = 237
T = 2.52
(out)(err)
O = 237
T = 1.87
(out)(err)
O = 237
T = 0.02
(out)(err)
O = 237
T = 1.11
(out)(err)
O = N/A
T = TO
(out)(err)
O = 237
T = 2.77
(out)(err)
O = 286
T = 284.47
(out)(err)
O = 322
T = 0.13
(out)(err)
O = 308
T = 16.78
(out)(err)
s2v120c1600-9.cnf O = 240
T = 0.05
O = 240
T = 2.19
(out)(err)
O = 240
T = 3.09
(out)(err)
O = 240
T = 0.05
(out)(err)
O = 240
T = 2.98
(out)(err)
O = N/A
T = TO
(out)(err)
O = 240
T = 0.97
(out)(err)
O = 272
T = 284.53
(out)(err)
O = 346
T = 0.07
(out)(err)
O = 317
T = 6.56
(out)(err)
s2v140c1200-1.cnf O = 144
T = 0.04
O = 144
T = 2.99
(out)(err)
O = 144
T = 1.37
(out)(err)
O = 144
T = 0.04
(out)(err)
O = 144
T = 3.12
(out)(err)
O = N/A
T = TO
(out)(err)
O = 144
T = 3.41
(out)(err)
O = 185
T = 284.33
(out)(err)
O = 222
T = 0.05
(out)(err)
O = 196
T = 171.27
(out)(err)
s2v140c1200-10.cnf O = 140
T = 0.03
O = 140
T = 3.74
(out)(err)
O = 140
T = 1.82
(out)(err)
O = 140
T = 0.03
(out)(err)
O = 140
T = 2.51
(out)(err)
O = N/A
T = TO
(out)(err)
O = 140
T = 3.83
(out)(err)
O = 185
T = 283.98
(out)(err)
O = 224
T = 0.15
(out)(err)
O = 201
T = 223.53
(out)(err)
s2v140c1200-2.cnf O = 155
T = 0.03
O = 155
T = 3.08
(out)(err)
O = 155
T = 1.72
(out)(err)
O = 155
T = 0.03
(out)(err)
O = 155
T = 1.97
(out)(err)
O = N/A
T = TO
(out)(err)
O = 155
T = 3.50
(out)(err)
O = 187
T = 284.00
(out)(err)
O = 244
T = 0.16
(out)(err)
O = 207
T = 5.74
(out)(err)
s2v140c1200-3.cnf O = 155
T = 0.02
O = 155
T = 2.66
(out)(err)
O = 155
T = 2.06
(out)(err)
O = 155
T = 0.02
(out)(err)
O = 155
T = 2.22
(out)(err)
O = N/A
T = TO
(out)(err)
O = 155
T = 2.39
(out)(err)
O = 193
T = 284.68
(out)(err)
O = 221
T = 0.13
(out)(err)
O = 212
T = 36.51
(out)(err)
s2v140c1200-4.cnf O = 148
T = 0.02
O = 148
T = 2.65
(out)(err)
O = 148
T = 1.19
(out)(err)
O = 148
T = 0.02
(out)(err)
O = 148
T = 2.24
(out)(err)
O = N/A
T = TO
(out)(err)
O = 148
T = 2.97
(out)(err)
O = 187
T = 284.51
(out)(err)
O = 237
T = 0.15
(out)(err)
O = 209
T = 25.34
(out)(err)
s2v140c1200-5.cnf O = 143
T = 0.02
O = 143
T = 2.23
(out)(err)
O = 143
T = 1.80
(out)(err)
O = 143
T = 0.02
(out)(err)
O = 143
T = 1.86
(out)(err)
O = N/A
T = TO
(out)(err)
O = 143
T = 3.30
(out)(err)
O = 178
T = 284.23
(out)(err)
O = 221
T = 0.06
(out)(err)
O = 192
T = 32.72
(out)(err)
s2v140c1200-6.cnf O = 148
T = 0.03
O = 148
T = 2.21
(out)(err)
O = 148
T = 1.55
(out)(err)
O = 148
T = 0.03
(out)(err)
O = 148
T = 2.45
(out)(err)
O = N/A
T = TO
(out)(err)
O = 148
T = 2.77
(out)(err)
O = 199
T = 284.70
(out)(err)
O = 217
T = 0.16
(out)(err)
O = 209
T = 15.99
(out)(err)
s2v140c1200-7.cnf O = 148
T = 0.05
O = 148
T = 2.79
(out)(err)
O = 148
T = 1.89
(out)(err)
O = 148
T = 0.05
(out)(err)
O = 148
T = 2.21
(out)(err)
O = N/A
T = TO
(out)(err)
O = 148
T = 2.40
(out)(err)
O = 188
T = 284.71
(out)(err)
O = 233
T = 0.18
(out)(err)
O = 192
T = 223.35
(out)(err)
s2v140c1200-8.cnf O = 152
T = 0.02
O = 152
T = 2.91
(out)(err)
O = 152
T = 1.49
(out)(err)
O = 152
T = 0.02
(out)(err)
O = 152
T = 2.26
(out)(err)
O = N/A
T = TO
(out)(err)
O = 152
T = 3.09
(out)(err)
O = 194
T = 284.23
(out)(err)
O = 223
T = 0.10
(out)(err)
O = 206
T = 84.91
(out)(err)
s2v140c1200-9.cnf O = 151
T = 0.05
O = 151
T = 2.52
(out)(err)
O = 151
T = 3.68
(out)(err)
O = 151
T = 0.05
(out)(err)
O = 151
T = 2.58
(out)(err)
O = N/A
T = TO
(out)(err)
O = 151
T = 2.69
(out)(err)
O = 194
T = 284.76
(out)(err)
O = 210
T = 0.15
(out)(err)
O = 210
T = 0.21
(out)(err)
s2v140c1300-1.cnf O = 162
T = 0.02
O = 162
T = 3.14
(out)(err)
O = 162
T = 2.75
(out)(err)
O = 162
T = 0.02
(out)(err)
O = 162
T = 2.20
(out)(err)
O = N/A
T = TO
(out)(err)
O = 162
T = 3.27
(out)(err)
O = 201
T = 284.41
(out)(err)
O = 235
T = 0.07
(out)(err)
O = 235
T = 0.18
(out)(err)
s2v140c1300-10.cnf O = 170
T = 0.04
O = 170
T = 2.84
(out)(err)
O = 170
T = 2.90
(out)(err)
O = 170
T = 0.04
(out)(err)
O = 170
T = 1.42
(out)(err)
O = N/A
T = TO
(out)(err)
O = 170
T = 2.68
(out)(err)
O = 218
T = 284.61
(out)(err)
O = 265
T = 0.15
(out)(err)
O = 227
T = 3.37
(out)(err)
s2v140c1300-2.cnf O = 171
T = 0.04
O = 171
T = 3.09
(out)(err)
O = 171
T = 3.28
(out)(err)
O = 171
T = 0.04
(out)(err)
O = 171
T = 1.23
(out)(err)
O = N/A
T = TO
(out)(err)
O = 171
T = 3.36
(out)(err)
O = 217
T = 284.75
(out)(err)
O = 257
T = 0.15
(out)(err)
O = 237
T = 103.90
(out)(err)
s2v140c1300-3.cnf O = 168
T = 0.06
O = 168
T = 2.72
(out)(err)
O = 168
T = 2.74
(out)(err)
O = 168
T = 0.06
(out)(err)
O = 168
T = 1.69
(out)(err)
O = N/A
T = TO
(out)(err)
O = 168
T = 2.85
(out)(err)
O = 206
T = 284.60
(out)(err)
O = 265
T = 0.14
(out)(err)
O = 212
T = 157.71
(out)(err)
s2v140c1300-4.cnf O = 164
T = 0.02
O = 164
T = 3.28
(out)(err)
O = 164
T = 3.25
(out)(err)
O = 164
T = 0.02
(out)(err)
O = 164
T = 1.70
(out)(err)
O = N/A
T = TO
(out)(err)
O = 164
T = 3.39
(out)(err)
O = 200
T = 284.68
(out)(err)
O = 241
T = 0.15
(out)(err)
O = 221
T = 108.32
(out)(err)
s2v140c1300-5.cnf O = 169
T = 0.03
O = 169
T = 2.71
(out)(err)
O = 169
T = 3.28
(out)(err)
O = 169
T = 0.03
(out)(err)
O = 169
T = 2.52
(out)(err)
O = N/A
T = TO
(out)(err)
O = 169
T = 3.17
(out)(err)
O = 210
T = 284.68
(out)(err)
O = 247
T = 0.15
(out)(err)
O = 236
T = 67.34
(out)(err)
s2v140c1300-6.cnf O = 168
T = 0.02
O = 168
T = 2.95
(out)(err)
O = 168
T = 1.69
(out)(err)
O = 168
T = 0.02
(out)(err)
O = 168
T = 2.07
(out)(err)
O = N/A
T = TO
(out)(err)
O = 168
T = 3.33
(out)(err)
O = 212
T = 284.50
(out)(err)
O = 251
T = 0.15
(out)(err)
O = 233
T = 81.29
(out)(err)
s2v140c1300-7.cnf O = 160
T = 0.02
O = 160
T = 2.84
(out)(err)
O = 160
T = 2.17
(out)(err)
O = 160
T = 0.02
(out)(err)
O = 160
T = 1.99
(out)(err)
O = N/A
T = TO
(out)(err)
O = 160
T = 3.19
(out)(err)
O = 201
T = 284.45
(out)(err)
O = 281
T = 0.04
(out)(err)
O = 233
T = 12.81
(out)(err)
s2v140c1300-8.cnf O = 157
T = 0.01
O = 157
T = 2.20
(out)(err)
O = 157
T = 2.16
(out)(err)
O = 157
T = 0.01
(out)(err)
O = 157
T = 2.37
(out)(err)
O = N/A
T = TO
(out)(err)
O = 157
T = 2.96
(out)(err)
O = 208
T = 284.58
(out)(err)
O = 265
T = 0.14
(out)(err)
O = 218
T = 88.04
(out)(err)
s2v140c1300-9.cnf O = 162
T = 0.03
O = 162
T = 3.62
(out)(err)
O = 162
T = 2.65
(out)(err)
O = 162
T = 0.03
(out)(err)
O = 162
T = 1.91
(out)(err)
O = N/A
T = TO
(out)(err)
O = 162
T = 3.19
(out)(err)
O = 202
T = 284.65
(out)(err)
O = 256
T = 0.19
(out)(err)
O = 224
T = 102.61
(out)(err)
s2v140c1400-1.cnf O = 182
T = 0.03
O = 182
T = 3.32
(out)(err)
O = 182
T = 2.35
(out)(err)
O = 182
T = 0.03
(out)(err)
O = 182
T = 2.67
(out)(err)
O = N/A
T = TO
(out)(err)
O = 182
T = 3.80
(out)(err)
O = 229
T = 284.75
(out)(err)
O = 278
T = 0.06
(out)(err)
O = 252
T = 37.30
(out)(err)
s2v140c1400-10.cnf O = 188
T = 0.02
O = 188
T = 3.00
(out)(err)
O = 188
T = 2.84
(out)(err)
O = 188
T = 0.02
(out)(err)
O = 188
T = 2.14
(out)(err)
O = N/A
T = TO
(out)(err)
O = 188
T = 2.99
(out)(err)
O = 239
T = 284.64
(out)(err)
O = 280
T = 0.09
(out)(err)
O = 258
T = 121.85
(out)(err)
s2v140c1400-2.cnf O = 178
T = 0.02
O = 178
T = 2.82
(out)(err)
O = 178
T = 2.72
(out)(err)
O = 178
T = 0.02
(out)(err)
O = 178
T = 2.58
(out)(err)
O = N/A
T = TO
(out)(err)
O = 178
T = 2.64
(out)(err)
O = 234
T = 284.76
(out)(err)
O = 307
T = 0.15
(out)(err)
O = 245
T = 251.04
(out)(err)
s2v140c1400-3.cnf O = 193
T = 0.03
O = 193
T = 2.98
(out)(err)
O = 193
T = 1.63
(out)(err)
O = 193
T = 0.03
(out)(err)
O = 193
T = 2.47
(out)(err)
O = N/A
T = TO
(out)(err)
O = 193
T = 3.53
(out)(err)
O = 243
T = 284.59
(out)(err)
O = 298
T = 0.19
(out)(err)
O = 267
T = 1.76
(out)(err)
s2v140c1400-4.cnf O = 184
T = 0.02
O = 184
T = 2.84
(out)(err)
O = 184
T = 2.31
(out)(err)
O = 184
T = 0.02
(out)(err)
O = 184
T = 2.27
(out)(err)
O = N/A
T = TO
(out)(err)
O = 184
T = 4.00
(out)(err)
O = 235
T = 284.50
(out)(err)
O = 293
T = 0.14
(out)(err)
O = 253
T = 32.98
(out)(err)
s2v140c1400-5.cnf O = 187
T = 0.03
O = 187
T = 2.47
(out)(err)
O = 187
T = 2.31
(out)(err)
O = 187
T = 0.03
(out)(err)
O = 187
T = 3.32
(out)(err)
O = N/A
T = TO
(out)(err)
O = 187
T = 2.88
(out)(err)
O = 232
T = 284.49
(out)(err)
O = 276
T = 0.15
(out)(err)
O = 240
T = 114.95
(out)(err)
s2v140c1400-6.cnf O = 188
T = 0.05
O = 188
T = 2.16
(out)(err)
O = 188
T = 2.20
(out)(err)
O = 188
T = 0.05
(out)(err)
O = 188
T = 3.29
(out)(err)
O = N/A
T = TO
(out)(err)
O = 188
T = 2.75
(out)(err)
O = 227
T = 284.56
(out)(err)
O = 270
T = 0.08
(out)(err)
O = 242
T = 229.38
(out)(err)
s2v140c1400-7.cnf O = 187
T = 0.04
O = 187
T = 2.84
(out)(err)
O = 187
T = 2.17
(out)(err)
O = 187
T = 0.04
(out)(err)
O = 187
T = 1.00
(out)(err)
O = N/A
T = TO
(out)(err)
O = 187
T = 2.66
(out)(err)
O = 238
T = 284.06
(out)(err)
O = 290
T = 0.05
(out)(err)
O = 248
T = 148.00
(out)(err)
s2v140c1400-8.cnf O = 181
T = 0.03
O = 181
T = 2.38
(out)(err)
O = 181
T = 2.51
(out)(err)
O = 181
T = 0.03
(out)(err)
O = 181
T = 3.14
(out)(err)
O = N/A
T = TO
(out)(err)
O = 181
T = 2.44
(out)(err)
O = 214
T = 284.18
(out)(err)
O = 271
T = 0.14
(out)(err)
O = 243
T = 3.82
(out)(err)
s2v140c1400-9.cnf O = 185
T = 0.04
O = 185
T = 2.57
(out)(err)
O = 185
T = 1.57
(out)(err)
O = 185
T = 0.04
(out)(err)
O = 185
T = 2.30
(out)(err)
O = N/A
T = TO
(out)(err)
O = 185
T = 2.59
(out)(err)
O = 246
T = 284.20
(out)(err)
O = 307
T = 0.18
(out)(err)
O = 252
T = 97.56
(out)(err)
s2v140c1500-1.cnf O = 205
T = 0.05
O = 205
T = 3.00
(out)(err)
O = 205
T = 2.09
(out)(err)
O = 205
T = 0.05
(out)(err)
O = 205
T = 2.86
(out)(err)
O = N/A
T = TO
(out)(err)
O = 205
T = 3.53
(out)(err)
O = 242
T = 284.54
(out)(err)
O = 322
T = 0.16
(out)(err)
O = 272
T = 230.54
(out)(err)
s2v140c1500-10.cnf O = 202
T = 0.03
O = 202
T = 2.09
(out)(err)
O = 202
T = 1.95
(out)(err)
O = 202
T = 0.03
(out)(err)
O = 202
T = 1.97
(out)(err)
O = N/A
T = TO
(out)(err)
O = 202
T = 2.58
(out)(err)
O = 236
T = 284.42
(out)(err)
O = 302
T = 0.14
(out)(err)
O = 268
T = 50.44
(out)(err)
s2v140c1500-2.cnf O = 199
T = 0.05
O = 199
T = 2.46
(out)(err)
O = 199
T = 2.06
(out)(err)
O = 199
T = 0.05
(out)(err)
O = 199
T = 2.63
(out)(err)
O = N/A
T = TO
(out)(err)
O = 199
T = 2.49
(out)(err)
O = 226
T = 284.11
(out)(err)
O = 294
T = 0.12
(out)(err)
O = 271
T = 4.93
(out)(err)
s2v140c1500-3.cnf O = 212
T = 0.48
O = 212
T = 2.22
(out)(err)
O = 212
T = 2.27
(out)(err)
O = 212
T = 0.48
(out)(err)
O = 212
T = 2.22
(out)(err)
O = N/A
T = TO
(out)(err)
O = 212
T = 2.30
(out)(err)
O = 267
T = 284.40
(out)(err)
O = 312
T = 0.17
(out)(err)
O = 273
T = 28.98
(out)(err)
s2v140c1500-4.cnf O = 197
T = 0.08
O = 197
T = 2.63
(out)(err)
O = 197
T = 1.98
(out)(err)
O = 197
T = 0.08
(out)(err)
O = 197
T = 1.23
(out)(err)
O = N/A
T = TO
(out)(err)
O = 197
T = 2.23
(out)(err)
O = 248
T = 284.69
(out)(err)
O = 269
T = 0.13
(out)(err)
O = 269
T = 0.13
(out)(err)
s2v140c1500-5.cnf O = 205
T = 0.08
O = 205
T = 2.83
(out)(err)
O = 205
T = 2.30
(out)(err)
O = 205
T = 0.08
(out)(err)
O = 205
T = 3.12
(out)(err)
O = N/A
T = TO
(out)(err)
O = 205
T = 3.17
(out)(err)
O = 253
T = 284.71
(out)(err)
O = 307
T = 0.12
(out)(err)
O = 266
T = 137.68
(out)(err)
s2v140c1500-6.cnf O = 198
T = 0.05
O = 198
T = 3.08
(out)(err)
O = 198
T = 2.57
(out)(err)
O = 198
T = 0.05
(out)(err)
O = 198
T = 3.62
(out)(err)
O = N/A
T = TO
(out)(err)
O = 198
T = 3.37
(out)(err)
O = 241
T = 284.66
(out)(err)
O = 304
T = 0.06
(out)(err)
O = 256
T = 235.26
(out)(err)
s2v140c1500-7.cnf O = 202
T = 0.02
O = 202
T = 3.49
(out)(err)
O = 202
T = 2.19
(out)(err)
O = 202
T = 0.02
(out)(err)
O = 202
T = 3.11
(out)(err)
O = N/A
T = TO
(out)(err)
O = 202
T = 1.08
(out)(err)
O = 247
T = 284.16
(out)(err)
O = 300
T = 0.10
(out)(err)
O = 261
T = 235.43
(out)(err)
s2v140c1500-8.cnf O = 199
T = 0.03
O = 199
T = 3.42
(out)(err)
O = 199
T = 0.91
(out)(err)
O = 199
T = 0.03
(out)(err)
O = 199
T = 2.72
(out)(err)
O = N/A
T = TO
(out)(err)
O = 199
T = 1.08
(out)(err)
O = 247
T = 284.24
(out)(err)
O = 294
T = 0.13
(out)(err)
O = 266
T = 156.82
(out)(err)
s2v140c1500-9.cnf O = 199
T = 0.04
O = 199
T = 4.26
(out)(err)
O = 199
T = 1.15
(out)(err)
O = 199
T = 0.04
(out)(err)
O = 199
T = 0.76
(out)(err)
O = N/A
T = TO
(out)(err)
O = 199
T = 1.24
(out)(err)
O = 241
T = 284.76
(out)(err)
O = 291
T = 0.16
(out)(err)
O = 257
T = 49.99
(out)(err)
s2v140c1600-1.cnf O = 221
T = 0.04
O = 221
T = 4.23
(out)(err)
O = 221
T = 0.81
(out)(err)
O = 221
T = 0.04
(out)(err)
O = 221
T = 2.34
(out)(err)
O = N/A
T = TO
(out)(err)
O = 221
T = 1.18
(out)(err)
O = 277
T = 284.78
(out)(err)
O = 336
T = 0.17
(out)(err)
O = 306
T = 245.30
(out)(err)
s2v140c1600-10.cnf O = 226
T = 0.02
O = 226
T = 3.57
(out)(err)
O = 226
T = 2.08
(out)(err)
O = 226
T = 0.02
(out)(err)
O = 226
T = 2.50
(out)(err)
O = N/A
T = TO
(out)(err)
O = 226
T = 1.13
(out)(err)
O = 271
T = 284.75
(out)(err)
O = 320
T = 0.14
(out)(err)
O = 291
T = 36.61
(out)(err)
s2v140c1600-2.cnf O = 221
T = 0.04
O = 221
T = 3.91
(out)(err)
O = 221
T = 2.16
(out)(err)
O = 221
T = 0.04
(out)(err)
O = 221
T = 1.05
(out)(err)
O = N/A
T = TO
(out)(err)
O = 221
T = 1.16
(out)(err)
O = 274
T = 284.55
(out)(err)
O = 362
T = 0.12
(out)(err)
O = 291
T = 165.49
(out)(err)
s2v140c1600-3.cnf O = 226
T = 0.04
O = 226
T = 4.15
(out)(err)
O = 226
T = 2.13
(out)(err)
O = 226
T = 0.04
(out)(err)
O = 226
T = 1.18
(out)(err)
O = N/A
T = TO
(out)(err)
O = 226
T = 1.00
(out)(err)
O = 280
T = 284.72
(out)(err)
O = 342
T = 0.13
(out)(err)
O = 307
T = 89.79
(out)(err)
s2v140c1600-4.cnf O = 220
T = 0.04
O = 220
T = 3.23
(out)(err)
O = 220
T = 2.26
(out)(err)
O = 220
T = 0.04
(out)(err)
O = 220
T = 3.16
(out)(err)
O = N/A
T = TO
(out)(err)
O = 220
T = 1.10
(out)(err)
O = 277
T = 284.75
(out)(err)
O = 319
T = 0.16
(out)(err)
O = 294
T = 20.78
(out)(err)
s2v140c1600-5.cnf O = 228
T = 0.03
O = 228
T = 3.36
(out)(err)
O = 228
T = 2.73
(out)(err)
O = 228
T = 0.03
(out)(err)
O = 228
T = 1.08
(out)(err)
O = N/A
T = TO
(out)(err)
O = 228
T = 1.17
(out)(err)
O = 271
T = 284.61
(out)(err)
O = 345
T = 0.16
(out)(err)
O = 292
T = 106.17
(out)(err)
s2v140c1600-6.cnf O = 220
T = 0.03
O = 220
T = 5.45
(out)(err)
O = 220
T = 2.13
(out)(err)
O = 220
T = 0.03
(out)(err)
O = 220
T = 2.94
(out)(err)
O = N/A
T = TO
(out)(err)
O = 220
T = 1.13
(out)(err)
O = 270
T = 284.70
(out)(err)
O = 340
T = 0.11
(out)(err)
O = 297
T = 245.87
(out)(err)
s2v140c1600-7.cnf O = 218
T = 0.03
O = 218
T = 4.01
(out)(err)
O = 218
T = 2.50
(out)(err)
O = 218
T = 0.03
(out)(err)
O = 218
T = 3.36
(out)(err)
O = N/A
T = TO
(out)(err)
O = 218
T = 0.98
(out)(err)
O = 258
T = 283.24
(out)(err)
O = 329
T = 0.16
(out)(err)
O = 302
T = 87.98
(out)(err)
s2v140c1600-8.cnf O = 227
T = 0.11
O = 227
T = 3.82
(out)(err)
O = 227
T = 2.20
(out)(err)
O = 227
T = 0.11
(out)(err)
O = 227
T = 0.69
(out)(err)
O = N/A
T = TO
(out)(err)
O = 227
T = 1.13
(out)(err)
O = 293
T = 284.67
(out)(err)
O = 338
T = 0.07
(out)(err)
O = 293
T = 92.06
(out)(err)
s2v140c1600-9.cnf O = 228
T = 0.04
O = 228
T = 2.76
(out)(err)
O = 228
T = 1.92
(out)(err)
O = 228
T = 0.04
(out)(err)
O = 228
T = 3.20
(out)(err)
O = N/A
T = TO
(out)(err)
O = 228
T = 1.09
(out)(err)
O = 282
T = 284.72
(out)(err)
O = 331
T = 0.10
(out)(err)
O = 315
T = 23.55
(out)(err)
s3v70c1000-1.cnf O = 47
T = 0.20
O = 47
T = 2.04
(out)(err)
O = 47
T = 1.75
(out)(err)
O = 47
T = 0.20
(out)(err)
O = 47
T = 1.51
(out)(err)
O = N/A
T = TO
(out)(err)
O = 47
T = 0.53
(out)(err)
O = 74
T = 284.51
(out)(err)
O = 120
T = 0.07
(out)(err)
O = 76
T = 1.89
(out)(err)
s3v70c1000-10.cnf O = 45
T = 0.03
O = 45
T = 1.37
(out)(err)
O = 45
T = 1.61
(out)(err)
O = 45
T = 0.03
(out)(err)
O = 45
T = 2.16
(out)(err)
O = N/A
T = TO
(out)(err)
O = 45
T = 0.68
(out)(err)
O = 79
T = 284.72
(out)(err)
O = 111
T = 0.22
(out)(err)
O = 88
T = 21.05
(out)(err)
s3v70c1000-2.cnf O = 43
T = 0.05
O = 43
T = 1.58
(out)(err)
O = 43
T = 1.79
(out)(err)
O = 43
T = 0.05
(out)(err)
O = 43
T = 0.57
(out)(err)
O = N/A
T = TO
(out)(err)
O = 43
T = 0.57
(out)(err)
O = 73
T = 284.20
(out)(err)
O = 86
T = 0.20
(out)(err)
O = 84
T = 146.92
(out)(err)
s3v70c1000-3.cnf O = 45
T = 0.02
O = 45
T = 1.61
(out)(err)
O = 45
T = 1.52
(out)(err)
O = 45
T = 0.02
(out)(err)
O = 45
T = 2.00
(out)(err)
O = N/A
T = TO
(out)(err)
O = 45
T = 1.06
(out)(err)
O = 82
T = 284.24
(out)(err)
O = 104
T = 0.19
(out)(err)
O = 84
T = 19.22
(out)(err)
s3v70c1000-4.cnf O = 47
T = 0.10
O = 47
T = 1.65
(out)(err)
O = 47
T = 1.67
(out)(err)
O = 47
T = 0.10
(out)(err)
O = 47
T = 1.91
(out)(err)
O = N/A
T = TO
(out)(err)
O = 47
T = 1.27
(out)(err)
O = 76
T = 284.13
(out)(err)
O = 116
T = 0.20
(out)(err)
O = 76
T = 21.17
(out)(err)
s3v70c1000-5.cnf O = 42
T = 0.04
O = 42
T = 1.82
(out)(err)
O = 42
T = 1.35
(out)(err)
O = 42
T = 0.04
(out)(err)
O = 42
T = 2.23
(out)(err)
O = N/A
T = TO
(out)(err)
O = 42
T = 0.65
(out)(err)
O = 73
T = 284.74
(out)(err)
O = 105
T = 0.14
(out)(err)
O = 67
T = 0.95
(out)(err)
s3v70c1000-6.cnf O = 50
T = 0.19
O = 50
T = 1.88
(out)(err)
O = 50
T = 0.84
(out)(err)
O = 50
T = 0.19
(out)(err)
O = 50
T = 1.55
(out)(err)
O = N/A
T = TO
(out)(err)
O = 50
T = 1.08
(out)(err)
O = 74
T = 284.72
(out)(err)
O = 112
T = 0.23
(out)(err)
O = 92
T = 20.79
(out)(err)
s3v70c1000-7.cnf O = 49
T = 0.04
O = 49
T = 1.45
(out)(err)
O = 49
T = 1.49
(out)(err)
O = 49
T = 0.04
(out)(err)
O = 49
T = 1.73
(out)(err)
O = N/A
T = TO
(out)(err)
O = 49
T = 0.96
(out)(err)
O = 75
T = 284.75
(out)(err)
O = 117
T = 0.06
(out)(err)
O = 77
T = 48.99
(out)(err)
s3v70c1000-8.cnf O = 48
T = 0.01
O = 48
T = 1.82
(out)(err)
O = 48
T = 1.12
(out)(err)
O = 48
T = 0.01
(out)(err)
O = 48
T = 1.14
(out)(err)
O = N/A
T = TO
(out)(err)
O = 48
T = 1.24
(out)(err)
O = 76
T = 284.67
(out)(err)
O = 106
T = 0.07
(out)(err)
O = 75
T = 1.20
(out)(err)
s3v70c1000-9.cnf O = 49
T = 0.04
O = 49
T = 1.00
(out)(err)
O = 49
T = 1.25
(out)(err)
O = 49
T = 0.04
(out)(err)
O = 49
T = 1.46
(out)(err)
O = N/A
T = TO
(out)(err)
O = 49
T = 1.11
(out)(err)
O = 80
T = 284.77
(out)(err)
O = 110
T = 0.24
(out)(err)
O = 66
T = 1.64
(out)(err)
s3v70c1100-1.cnf O = 56
T = 0.02
O = 56
T = 1.23
(out)(err)
O = 56
T = 1.08
(out)(err)
O = 56
T = 0.02
(out)(err)
O = 56
T = 1.49
(out)(err)
O = N/A
T = TO
(out)(err)
O = 56
T = 1.08
(out)(err)
O = 86
T = 284.46
(out)(err)
O = 110
T = 0.18
(out)(err)
O = 88
T = 1.84
(out)(err)
s3v70c1100-10.cnf O = 58
T = 0.09
O = 58
T = 1.18
(out)(err)
O = 58
T = 1.55
(out)(err)
O = 58
T = 0.09
(out)(err)
O = 58
T = 1.38
(out)(err)
O = N/A
T = TO
(out)(err)
O = 58
T = 1.62
(out)(err)
O = 93
T = 284.32
(out)(err)
O = 127
T = 0.07
(out)(err)
O = 88
T = 3.28
(out)(err)
s3v70c1100-2.cnf O = 55
T = 0.02
O = 55
T = 1.54
(out)(err)
O = 55
T = 1.40
(out)(err)
O = 55
T = 0.02
(out)(err)
O = 55
T = 1.30
(out)(err)
O = N/A
T = TO
(out)(err)
O = 55
T = 1.47
(out)(err)
O = 81
T = 284.41
(out)(err)
O = 104
T = 0.12
(out)(err)
O = 98
T = 178.87
(out)(err)
s3v70c1100-3.cnf O = 53
T = 0.13
O = 53
T = 1.20
(out)(err)
O = 53
T = 1.60
(out)(err)
O = 53
T = 0.13
(out)(err)
O = 53
T = 2.09
(out)(err)
O = N/A
T = TO
(out)(err)
O = 53
T = 1.96
(out)(err)
O = 86
T = 284.69
(out)(err)
O = 130
T = 0.18
(out)(err)
O = 90
T = 0.82
(out)(err)
s3v70c1100-4.cnf O = 52
T = 0.05
O = 52
T = 1.31
(out)(err)
O = 52
T = 0.67
(out)(err)
O = 52
T = 0.05
(out)(err)
O = 52
T = 1.83
(out)(err)
O = N/A
T = TO
(out)(err)
O = 52
T = 1.51
(out)(err)
O = 94
T = 284.54
(out)(err)
O = 120
T = 0.20
(out)(err)
O = 94
T = 1.23
(out)(err)
s3v70c1100-5.cnf O = 53
T = 0.02
O = 53
T = 1.79
(out)(err)
O = 53
T = 1.89
(out)(err)
O = 53
T = 0.02
(out)(err)
O = 53
T = 1.96
(out)(err)
O = N/A
T = TO
(out)(err)
O = 53
T = 1.07
(out)(err)
O = 88
T = 284.58
(out)(err)
O = 101
T = 0.18
(out)(err)
O = 88
T = 26.60
(out)(err)
s3v70c1100-6.cnf O = 53
T = 0.08
O = 53
T = 0.99
(out)(err)
O = 53
T = 1.66
(out)(err)
O = 53
T = 0.08
(out)(err)
O = 53
T = 1.48
(out)(err)
O = N/A
T = TO
(out)(err)
O = 53
T = 0.74
(out)(err)
O = 86
T = 284.35
(out)(err)
O = 139
T = 0.19
(out)(err)
O = 94
T = 23.28
(out)(err)
s3v70c1100-7.cnf O = 53
T = 0.06
O = 53
T = 1.76
(out)(err)
O = 53
T = 1.73
(out)(err)
O = 53
T = 0.06
(out)(err)
O = 53
T = 0.69
(out)(err)
O = N/A
T = TO
(out)(err)
O = 53
T = 0.99
(out)(err)
O = 84
T = 284.40
(out)(err)
O = 116
T = 0.19
(out)(err)
O = 92
T = 71.16
(out)(err)
s3v70c1100-8.cnf O = 51
T = 0.04
O = 51
T = 1.56
(out)(err)
O = 51
T = 1.87
(out)(err)
O = 51
T = 0.04
(out)(err)
O = 51
T = 1.32
(out)(err)
O = N/A
T = TO
(out)(err)
O = 51
T = 1.06
(out)(err)
O = 92
T = 284.24
(out)(err)
O = 106
T = 0.12
(out)(err)
O = 88
T = 21.87
(out)(err)
s3v70c1100-9.cnf O = 48
T = 0.02
O = 48
T = 1.26
(out)(err)
O = 48
T = 1.26
(out)(err)
O = 48
T = 0.02
(out)(err)
O = 48
T = 1.03
(out)(err)
O = N/A
T = TO
(out)(err)
O = 48
T = 0.95
(out)(err)
O = 80
T = 284.69
(out)(err)
O = 112
T = 0.05
(out)(err)
O = 90
T = 27.08
(out)(err)
s3v70c1200-1.cnf O = 66
T = 0.35
O = 66
T = 1.71
(out)(err)
O = 66
T = 1.18
(out)(err)
O = 66
T = 0.35
(out)(err)
O = 66
T = 1.85
(out)(err)
O = N/A
T = TO
(out)(err)
O = 66
T = 0.58
(out)(err)
O = 109
T = 284.45
(out)(err)
O = 119
T = 0.20
(out)(err)
O = 106
T = 0.63
(out)(err)
s3v70c1200-10.cnf O = 63
T = 0.05
O = 63
T = 1.83
(out)(err)
O = 63
T = 1.24
(out)(err)
O = 63
T = 0.05
(out)(err)
O = 63
T = 1.96
(out)(err)
O = N/A
T = TO
(out)(err)
O = 63
T = 1.36
(out)(err)
O = 95
T = 284.70
(out)(err)
O = 119
T = 0.22
(out)(err)
O = 100
T = 88.53
(out)(err)
s3v70c1200-2.cnf O = 63
T = 0.03
O = 63
T = 1.39
(out)(err)
O = 63
T = 1.11
(out)(err)
O = 63
T = 0.03
(out)(err)
O = 63
T = 1.70
(out)(err)
O = N/A
T = TO
(out)(err)
O = 63
T = 0.82
(out)(err)
O = 96
T = 284.54
(out)(err)
O = 126
T = 0.16
(out)(err)
O = 106
T = 1.01
(out)(err)
s3v70c1200-3.cnf O = 65
T = 0.04
O = 65
T = 1.05
(out)(err)
O = 65
T = 1.34
(out)(err)
O = 65
T = 0.04
(out)(err)
O = 65
T = 1.93
(out)(err)
O = N/A
T = TO
(out)(err)
O = 65
T = 0.55
(out)(err)
O = 102
T = 284.46
(out)(err)
O = 121
T = 0.16
(out)(err)
O = 95
T = 2.78
(out)(err)
s3v70c1200-4.cnf O = 67
T = 0.04
O = 67
T = 1.47
(out)(err)
O = 67
T = 1.03
(out)(err)
O = 67
T = 0.04
(out)(err)
O = 67
T = 1.54
(out)(err)
O = N/A
T = TO
(out)(err)
O = 67
T = 1.24
(out)(err)
O = 109
T = 284.72
(out)(err)
O = 128
T = 0.18
(out)(err)
O = 106
T = 156.41
(out)(err)
s3v70c1200-5.cnf O = 65
T = 0.03
O = 65
T = 1.38
(out)(err)
O = 65
T = 0.99
(out)(err)
O = 65
T = 0.03
(out)(err)
O = 65
T = 1.52
(out)(err)
O = N/A
T = TO
(out)(err)
O = 65
T = 1.16
(out)(err)
O = 107
T = 284.29
(out)(err)
O = 118
T = 0.09
(out)(err)
O = 97
T = 1.54
(out)(err)
s3v70c1200-6.cnf O = 66
T = 0.02
O = 66
T = 1.70
(out)(err)
O = 66
T = 2.06
(out)(err)
O = 66
T = 0.02
(out)(err)
O = 66
T = 1.92
(out)(err)
O = N/A
T = TO
(out)(err)
O = 66
T = 0.90
(out)(err)
O = 104
T = 284.00
(out)(err)
O = 132
T = 0.07
(out)(err)
O = 104
T = 23.57
(out)(err)
s3v70c1200-7.cnf O = 62
T = 0.04
O = 62
T = 1.71
(out)(err)
O = 62
T = 1.11
(out)(err)
O = 62
T = 0.04
(out)(err)
O = 62
T = 1.57
(out)(err)
O = N/A
T = TO
(out)(err)
O = 62
T = 1.09
(out)(err)
O = 93
T = 284.69
(out)(err)
O = 126
T = 0.13
(out)(err)
O = 102
T = 237.16
(out)(err)
s3v70c1200-8.cnf O = 63
T = 0.06
O = 63
T = 1.15
(out)(err)
O = 63
T = 1.13
(out)(err)
O = 63
T = 0.06
(out)(err)
O = 63
T = 1.84
(out)(err)
O = N/A
T = TO
(out)(err)
O = 63
T = 1.20
(out)(err)
O = 96
T = 284.71
(out)(err)
O = 116
T = 0.17
(out)(err)
O = 112
T = 172.64
(out)(err)
s3v70c1200-9.cnf O = 61
T = 0.03
O = 61
T = 1.04
(out)(err)
O = 61
T = 1.69
(out)(err)
O = 61
T = 0.03
(out)(err)
O = 61
T = 1.53
(out)(err)
O = N/A
T = TO
(out)(err)
O = 61
T = 0.88
(out)(err)
O = 107
T = 284.70
(out)(err)
O = 132
T = 0.19
(out)(err)
O = 107
T = 131.35
(out)(err)
s3v70c800-1.cnf O = 31
T = 0.04
O = 31
T = 1.39
(out)(err)
O = 31
T = 1.70
(out)(err)
O = 31
T = 0.04
(out)(err)
O = 31
T = 2.11
(out)(err)
O = N/A
T = TO
(out)(err)
O = 31
T = 1.18
(out)(err)
O = 51
T = 284.73
(out)(err)
O = 81
T = 0.15
(out)(err)
O = 59
T = 2.91
(out)(err)
s3v70c800-10.cnf O = 30
T = 0.05
O = 30
T = 2.16
(out)(err)
O = 30
T = 1.25
(out)(err)
O = 30
T = 0.05
(out)(err)
O = 30
T = 0.48
(out)(err)
O = N/A
T = TO
(out)(err)
O = 30
T = 1.20
(out)(err)
O = 55
T = 284.44
(out)(err)
O = 70
T = 0.23
(out)(err)
O = 57
T = 1.78
(out)(err)
s3v70c800-2.cnf O = 34
T = 0.10
O = 34
T = 2.31
(out)(err)
O = 34
T = 1.12
(out)(err)
O = 34
T = 0.10
(out)(err)
O = 34
T = 1.16
(out)(err)
O = N/A
T = TO
(out)(err)
O = 34
T = 1.05
(out)(err)
O = 55
T = 284.67
(out)(err)
O = 83
T = 0.24
(out)(err)
O = 55
T = 8.22
(out)(err)
s3v70c800-3.cnf O = 30
T = 0.04
O = 30
T = 1.39
(out)(err)
O = 30
T = 1.25
(out)(err)
O = 30
T = 0.04
(out)(err)
O = 30
T = 0.51
(out)(err)
O = N/A
T = TO
(out)(err)
O = 30
T = 0.52
(out)(err)
O = 59
T = 284.34
(out)(err)
O = 71
T = 0.23
(out)(err)
O = 56
T = 1.30
(out)(err)
s3v70c800-4.cnf O = 28
T = 0.04
O = 28
T = 1.53
(out)(err)
O = 28
T = 1.66
(out)(err)
O = 28
T = 0.04
(out)(err)
O = 28
T = 1.84
(out)(err)
O = N/A
T = TO
(out)(err)
O = 28
T = 0.99
(out)(err)
O = 46
T = 284.15
(out)(err)
O = 71
T = 0.16
(out)(err)
O = 63
T = 0.63
(out)(err)
s3v70c800-5.cnf O = 31
T = 0.15
O = 31
T = 1.52
(out)(err)
O = 31
T = 1.05
(out)(err)
O = 31
T = 0.15
(out)(err)
O = 31
T = 1.80
(out)(err)
O = N/A
T = TO
(out)(err)
O = 31
T = 0.91
(out)(err)
O = 52
T = 284.24
(out)(err)
O = 92
T = 0.21
(out)(err)
O = 55
T = 15.46
(out)(err)
s3v70c800-6.cnf O = 30
T = 0.06
O = 30
T = 1.05
(out)(err)
O = 30
T = 1.13
(out)(err)
O = 30
T = 0.06
(out)(err)
O = 30
T = 1.23
(out)(err)
O = N/A
T = TO
(out)(err)
O = 30
T = 0.94
(out)(err)
O = 47
T = 284.36
(out)(err)
O = 85
T = 0.21
(out)(err)
O = 54
T = 2.17
(out)(err)
s3v70c800-7.cnf O = 31
T = 0.05
O = 31
T = 1.44
(out)(err)
O = 31
T = 0.77
(out)(err)
O = 31
T = 0.05
(out)(err)
O = 31
T = 1.69
(out)(err)
O = N/A
T = TO
(out)(err)
O = 31
T = 0.85
(out)(err)
O = 54
T = 284.18
(out)(err)
O = 85
T = 0.19
(out)(err)
O = 56
T = 20.44
(out)(err)
s3v70c800-8.cnf O = 34
T = 0.03
O = 34
T = 1.30
(out)(err)
O = 34
T = 1.42
(out)(err)
O = 34
T = 0.03
(out)(err)
O = 34
T = 1.59
(out)(err)
O = N/A
T = TO
(out)(err)
O = 34
T = 0.50
(out)(err)
O = 47
T = 284.19
(out)(err)
O = 70
T = 0.23
(out)(err)
O = 58
T = 6.71
(out)(err)
s3v70c800-9.cnf O = 32
T = 0.09
O = 32
T = 1.32
(out)(err)
O = 32
T = 0.69
(out)(err)
O = 32
T = 0.09
(out)(err)
O = 32
T = 1.91
(out)(err)
O = N/A
T = TO
(out)(err)
O = 32
T = 0.99
(out)(err)
O = 44
T = 284.20
(out)(err)
O = 77
T = 0.24
(out)(err)
O = 60
T = 3.86
(out)(err)
s3v70c900-1.cnf O = 39
T = 0.03
O = 39
T = 1.63
(out)(err)
O = 39
T = 1.13
(out)(err)
O = 39
T = 0.03
(out)(err)
O = 39
T = 1.52
(out)(err)
O = N/A
T = TO
(out)(err)
O = 39
T = 0.81
(out)(err)
O = 72
T = 284.44
(out)(err)
O = 91
T = 0.19
(out)(err)
O = 66
T = 16.72
(out)(err)
s3v70c900-10.cnf O = 39
T = 0.04
O = 39
T = 1.54
(out)(err)
O = 39
T = 1.55
(out)(err)
O = 39
T = 0.04
(out)(err)
O = 39
T = 1.84
(out)(err)
O = N/A
T = TO
(out)(err)
O = 39
T = 1.10
(out)(err)
O = 72
T = 284.37
(out)(err)
O = 114
T = 0.13
(out)(err)
O = 71
T = 0.89
(out)(err)
s3v70c900-2.cnf O = 38
T = 0.03
O = 38
T = 1.40
(out)(err)
O = 38
T = 1.24
(out)(err)
O = 38
T = 0.03
(out)(err)
O = 38
T = 1.60
(out)(err)
O = N/A
T = TO
(out)(err)
O = 38
T = 0.45
(out)(err)
O = 76
T = 284.38
(out)(err)
O = 102
T = 0.15
(out)(err)
O = 65
T = 12.47
(out)(err)
s3v70c900-3.cnf O = 39
T = 0.02
O = 39
T = 1.46
(out)(err)
O = 39
T = 1.56
(out)(err)
O = 39
T = 0.02
(out)(err)
O = 39
T = 1.60
(out)(err)
O = N/A
T = TO
(out)(err)
O = 39
T = 0.93
(out)(err)
O = 68
T = 284.36
(out)(err)
O = 81
T = 0.12
(out)(err)
O = 72
T = 11.03
(out)(err)
s3v70c900-4.cnf O = 39
T = 0.07
O = 39
T = 1.51
(out)(err)
O = 39
T = 1.39
(out)(err)
O = 39
T = 0.07
(out)(err)
O = 39
T = 1.83
(out)(err)
O = N/A
T = TO
(out)(err)
O = 39
T = 0.92
(out)(err)
O = 69
T = 284.55
(out)(err)
O = 75
T = 0.10
(out)(err)
O = 67
T = 1.31
(out)(err)
s3v70c900-5.cnf O = 40
T = 0.04
O = 40
T = 1.76
(out)(err)
O = 40
T = 1.45
(out)(err)
O = 40
T = 0.04
(out)(err)
O = 40
T = 2.17
(out)(err)
O = N/A
T = TO
(out)(err)
O = 40
T = 1.62
(out)(err)
O = 69
T = 284.46
(out)(err)
O = 68
T = 0.19
(out)(err)
O = 68
T = 0.21
(out)(err)
s3v70c900-6.cnf O = 41
T = 0.02
O = 41
T = 1.75
(out)(err)
O = 41
T = 1.15
(out)(err)
O = 41
T = 0.02
(out)(err)
O = 41
T = 1.38
(out)(err)
O = N/A
T = TO
(out)(err)
O = 41
T = 1.55
(out)(err)
O = 68
T = 284.23
(out)(err)
O = 98
T = 0.13
(out)(err)
O = 75
T = 4.27
(out)(err)
s3v70c900-7.cnf O = 40
T = 0.08
O = 40
T = 1.88
(out)(err)
O = 40
T = 1.20
(out)(err)
O = 40
T = 0.08
(out)(err)
O = 40
T = 0.96
(out)(err)
O = N/A
T = TO
(out)(err)
O = 40
T = 1.51
(out)(err)
O = 65
T = 283.92
(out)(err)
O = 94
T = 0.12
(out)(err)
O = 72
T = 6.31
(out)(err)
s3v70c900-8.cnf O = 42
T = 0.03
O = 42
T = 1.70
(out)(err)
O = 42
T = 1.13
(out)(err)
O = 42
T = 0.03
(out)(err)
O = 42
T = 0.69
(out)(err)
O = N/A
T = TO
(out)(err)
O = 42
T = 1.18
(out)(err)
O = 68
T = 284.26
(out)(err)
O = 83
T = 0.23
(out)(err)
O = 75
T = 2.01
(out)(err)
s3v70c900-9.cnf O = 35
T = 0.03
O = 35
T = 1.85
(out)(err)
O = 35
T = 2.05
(out)(err)
O = 35
T = 0.03
(out)(err)
O = 35
T = 1.62
(out)(err)
O = N/A
T = TO
(out)(err)
O = 35
T = 1.70
(out)(err)
O = 64
T = 284.62
(out)(err)
O = 103
T = 0.10
(out)(err)
O = 67
T = 0.78
(out)(err)
s3v80c1000-1.cnf O = 44
T = 0.04
O = 44
T = 1.80
(out)(err)
O = 44
T = 1.20
(out)(err)
O = 44
T = 0.04
(out)(err)
O = 44
T = 1.67
(out)(err)
O = N/A
T = TO
(out)(err)
O = 44
T = 1.43
(out)(err)
O = 70
T = 284.26
(out)(err)
O = 103
T = 0.18
(out)(err)
O = 73
T = 281.22
(out)(err)
s3v80c1000-10.cnf O = 39
T = 0.09
O = 39
T = 2.18
(out)(err)
O = 39
T = 1.44
(out)(err)
O = 39
T = 0.09
(out)(err)
O = 39
T = 2.02
(out)(err)
O = N/A
T = TO
(out)(err)
O = 39
T = 1.77
(out)(err)
O = 68
T = 284.35
(out)(err)
O = 84
T = 0.19
(out)(err)
O = 77
T = 25.60
(out)(err)
s3v80c1000-2.cnf O = 43
T = 0.10
O = 43
T = 1.70
(out)(err)
O = 43
T = 1.66
(out)(err)
O = 43
T = 0.10
(out)(err)
O = 43
T = 0.61
(out)(err)
O = N/A
T = TO
(out)(err)
O = 43
T = 1.45
(out)(err)
O = 71
T = 284.33
(out)(err)
O = 108
T = 0.19
(out)(err)
O = 64
T = 3.17
(out)(err)
s3v80c1000-3.cnf O = 39
T = 0.03
O = 39
T = 1.58
(out)(err)
O = 39
T = 1.70
(out)(err)
O = 39
T = 0.03
(out)(err)
O = 39
T = 1.33
(out)(err)
O = N/A
T = TO
(out)(err)
O = 39
T = 2.03
(out)(err)
O = 64
T = 284.65
(out)(err)
O = 105
T = 0.21
(out)(err)
O = 74
T = 20.25
(out)(err)
s3v80c1000-4.cnf O = 45
T = 0.06
O = 45
T = 1.42
(out)(err)
O = 45
T = 1.72
(out)(err)
O = 45
T = 0.06
(out)(err)
O = 45
T = 0.75
(out)(err)
O = N/A
T = TO
(out)(err)
O = 45
T = 0.53
(out)(err)
O = 83
T = 284.05
(out)(err)
O = 114
T = 0.20
(out)(err)
O = 80
T = 45.64
(out)(err)
s3v80c1000-5.cnf O = 41
T = 0.03
O = 41
T = 1.45
(out)(err)
O = 41
T = 1.81
(out)(err)
O = 41
T = 0.03
(out)(err)
O = 41
T = 1.83
(out)(err)
O = N/A
T = TO
(out)(err)
O = 41
T = 1.17
(out)(err)
O = 80
T = 284.24
(out)(err)
O = 97
T = 0.15
(out)(err)
O = 77
T = 84.99
(out)(err)
s3v80c1000-6.cnf O = 40
T = 0.04
O = 40
T = 1.76
(out)(err)
O = 40
T = 1.80
(out)(err)
O = 40
T = 0.04
(out)(err)
O = 40
T = 2.30
(out)(err)
O = N/A
T = TO
(out)(err)
O = 40
T = 1.55
(out)(err)
O = 68
T = 284.36
(out)(err)
O = 111
T = 0.21
(out)(err)
O = 71
T = 3.08
(out)(err)
s3v80c1000-7.cnf O = 40
T = 0.03
O = 40
T = 1.74
(out)(err)
O = 40
T = 2.00
(out)(err)
O = 40
T = 0.03
(out)(err)
O = 40
T = 1.42
(out)(err)
O = N/A
T = TO
(out)(err)
O = 40
T = 1.40
(out)(err)
O = 93
T = 283.54
(out)(err)
O = 121
T = 0.20
(out)(err)
O = 72
T = 1.22
(out)(err)
s3v80c1000-8.cnf O = 41
T = 0.31
O = 41
T = 1.36
(out)(err)
O = 41
T = 1.43
(out)(err)
O = 41
T = 0.31
(out)(err)
O = 41
T = 2.20
(out)(err)
O = N/A
T = TO
(out)(err)
O = 41
T = 1.33
(out)(err)
O = 73
T = 284.66
(out)(err)
O = 112
T = 0.13
(out)(err)
O = 76
T = 147.12
(out)(err)
s3v80c1000-9.cnf O = 38
T = 0.08
O = 38
T = 1.91
(out)(err)
O = 38
T = 1.54
(out)(err)
O = 38
T = 0.08
(out)(err)
O = 38
T = 0.76
(out)(err)
O = N/A
T = TO
(out)(err)
O = 38
T = 1.12
(out)(err)
O = 75
T = 284.45
(out)(err)
O = 105
T = 0.12
(out)(err)
O = 76
T = 245.21
(out)(err)
s3v80c600-1.cnf O = 14
T = 0.03
O = 14
T = 1.34
(out)(err)
O = 14
T = 1.65
(out)(err)
O = 14
T = 0.03
(out)(err)
O = 14
T = 1.67
(out)(err)
O = N/A
T = TO
(out)(err)
O = 14
T = 1.16
(out)(err)
O = 31
T = 284.30
(out)(err)
O = 47
T = 0.15
(out)(err)
O = 32
T = 17.12
(out)(err)
s3v80c600-10.cnf O = 15
T = 0.03
O = 15
T = 1.32
(out)(err)
O = 15
T = 1.24
(out)(err)
O = 15
T = 0.03
(out)(err)
O = 15
T = 1.84
(out)(err)
O = N/A
T = TO
(out)(err)
O = 15
T = 0.90
(out)(err)
O = 35
T = 284.64
(out)(err)
O = 61
T = 0.10
(out)(err)
O = 36
T = 271.15
(out)(err)
s3v80c600-2.cnf O = 16
T = 0.03
O = 16
T = 1.09
(out)(err)
O = 16
T = 1.24
(out)(err)
O = 16
T = 0.03
(out)(err)
O = 16
T = 1.59
(out)(err)
O = N/A
T = TO
(out)(err)
O = 16
T = 0.94
(out)(err)
O = 28
T = 284.29
(out)(err)
O = 54
T = 0.19
(out)(err)
O = 42
T = 0.72
(out)(err)
s3v80c600-3.cnf O = 11
T = 0.05
O = 11
T = 1.64
(out)(err)
O = 11
T = 1.48
(out)(err)
O = 11
T = 0.05
(out)(err)
O = 11
T = 1.80
(out)(err)
O = N/A
T = TO
(out)(err)
O = 11
T = 1.31
(out)(err)
O = 28
T = 284.70
(out)(err)
O = 63
T = 0.17
(out)(err)
O = 41
T = 0.84
(out)(err)
s3v80c600-4.cnf O = 13
T = 0.05
O = 13
T = 1.72
(out)(err)
O = 13
T = 1.45
(out)(err)
O = 13
T = 0.05
(out)(err)
O = 13
T = 1.60
(out)(err)
O = N/A
T = TO
(out)(err)
O = 13
T = 0.77
(out)(err)
O = 31
T = 284.63
(out)(err)
O = 34
T = 0.24
(out)(err)
O = 27
T = 0.64
(out)(err)
s3v80c600-5.cnf O = 12
T = 0.03
O = 12
T = 1.11
(out)(err)
O = 12
T = 1.39
(out)(err)
O = 12
T = 0.03
(out)(err)
O = 12
T = 1.78
(out)(err)
O = N/A
T = TO
(out)(err)
O = 12
T = 1.29
(out)(err)
O = 28
T = 284.22
(out)(err)
O = 44
T = 0.21
(out)(err)
O = 31
T = 1.25
(out)(err)
s3v80c600-6.cnf O = 14
T = 0.04
O = 14
T = 1.61
(out)(err)
O = 14
T = 1.29
(out)(err)
O = 14
T = 0.04
(out)(err)
O = 14
T = 0.62
(out)(err)
O = N/A
T = TO
(out)(err)
O = 14
T = 1.10
(out)(err)
O = 31
T = 284.65
(out)(err)
O = 43
T = 0.11
(out)(err)
O = 35
T = 0.27
(out)(err)
s3v80c600-7.cnf O = 12
T = 0.06
O = 12
T = 1.31
(out)(err)
O = 12
T = 1.33
(out)(err)
O = 12
T = 0.06
(out)(err)
O = 12
T = 1.71
(out)(err)
O = N/A
T = TO
(out)(err)
O = 12
T = 0.94
(out)(err)
O = 27
T = 284.61
(out)(err)
O = 52
T = 0.14
(out)(err)
O = 39
T = 0.81
(out)(err)
s3v80c600-8.cnf O = 15
T = 0.10
O = 15
T = 1.67
(out)(err)
O = 15
T = 1.50
(out)(err)
O = 15
T = 0.10
(out)(err)
O = 15
T = 1.44
(out)(err)
O = N/A
T = TO
(out)(err)
O = 15
T = 1.21
(out)(err)
O = 32
T = 283.35
(out)(err)
O = 42
T = 0.18
(out)(err)
O = 34
T = 16.83
(out)(err)
s3v80c600-9.cnf O = 12
T = 0.02
O = 12
T = 1.36
(out)(err)
O = 12
T = 1.51
(out)(err)
O = 12
T = 0.02
(out)(err)
O = 12
T = 0.71
(out)(err)
O = N/A
T = TO
(out)(err)
O = 12
T = 1.13
(out)(err)
O = 30
T = 284.35
(out)(err)
O = 49
T = 0.14
(out)(err)
O = 41
T = 59.62
(out)(err)
s3v80c700-1.cnf O = 19
T = 0.05
O = 19
T = 1.54
(out)(err)
O = 19
T = 2.51
(out)(err)
O = 19
T = 0.05
(out)(err)
O = 19
T = 1.15
(out)(err)
O = N/A
T = TO
(out)(err)
O = 19
T = 0.79
(out)(err)
O = 35
T = 284.24
(out)(err)
O = 54
T = 0.16
(out)(err)
O = 48
T = 0.47
(out)(err)
s3v80c700-10.cnf O = 19
T = 0.05
O = 19
T = 1.71
(out)(err)
O = 19
T = 2.30
(out)(err)
O = 19
T = 0.05
(out)(err)
O = 19
T = 1.40
(out)(err)
O = N/A
T = TO
(out)(err)
O = 19
T = 1.08
(out)(err)
O = 39
T = 284.73
(out)(err)
O = 76
T = 0.22
(out)(err)
O = 45
T = 0.64
(out)(err)
s3v80c700-2.cnf O = 20
T = 0.04
O = 20
T = 1.23
(out)(err)
O = 20
T = 1.42
(out)(err)
O = 20
T = 0.04
(out)(err)
O = 20
T = 1.24
(out)(err)
O = N/A
T = TO
(out)(err)
O = 20
T = 0.51
(out)(err)
O = 44
T = 284.35
(out)(err)
O = 67
T = 0.24
(out)(err)
O = 39
T = 283.92
(out)(err)
s3v80c700-3.cnf O = 18
T = 0.04
O = 18
T = 1.49
(out)(err)
O = 18
T = 1.36
(out)(err)
O = 18
T = 0.04
(out)(err)
O = 18
T = 1.02
(out)(err)
O = N/A
T = TO
(out)(err)
O = 18
T = 1.19
(out)(err)
O = 36
T = 284.63
(out)(err)
O = 65
T = 0.20
(out)(err)
O = 41
T = 1.22
(out)(err)
s3v80c700-4.cnf O = 15
T = 0.04
O = 15
T = 1.62
(out)(err)
O = 15
T = 1.27
(out)(err)
O = 15
T = 0.04
(out)(err)
O = 15
T = 0.79
(out)(err)
O = N/A
T = TO
(out)(err)
O = 15
T = 1.05
(out)(err)
O = 34
T = 284.27
(out)(err)
O = 52
T = 0.19
(out)(err)
O = 43
T = 0.79
(out)(err)
s3v80c700-5.cnf O = 21
T = 0.03
O = 21
T = 1.54
(out)(err)
O = 21
T = 0.97
(out)(err)
O = 21
T = 0.03
(out)(err)
O = 21
T = 0.67
(out)(err)
O = N/A
T = TO
(out)(err)
O = 21
T = 0.79
(out)(err)
O = 40
T = 284.27
(out)(err)
O = 56
T = 0.09
(out)(err)
O = 46
T = 0.21
(out)(err)
s3v80c700-6.cnf O = 18
T = 0.04
O = 18
T = 1.56
(out)(err)
O = 18
T = 0.96
(out)(err)
O = 18
T = 0.04
(out)(err)
O = 18
T = 1.85
(out)(err)
O = N/A
T = TO
(out)(err)
O = 18
T = 1.00
(out)(err)
O = 46
T = 284.37
(out)(err)
O = 50
T = 0.12
(out)(err)
O = 46
T = 210.25
(out)(err)
s3v80c700-7.cnf O = 21
T = 0.07
O = 21
T = 1.86
(out)(err)
O = 21
T = 0.85
(out)(err)
O = 21
T = 0.07
(out)(err)
O = 21
T = 1.92
(out)(err)
O = N/A
T = TO
(out)(err)
O = 21
T = 1.26
(out)(err)
O = 50
T = 284.18
(out)(err)
O = 50
T = 0.13
(out)(err)
O = 44
T = 2.99
(out)(err)
s3v80c700-8.cnf O = 19
T = 0.05
O = 19
T = 1.66
(out)(err)
O = 19
T = 0.89
(out)(err)
O = 19
T = 0.05
(out)(err)
O = 19
T = 1.16
(out)(err)
O = N/A
T = TO
(out)(err)
O = 19
T = 1.05
(out)(err)
O = 50
T = 284.54
(out)(err)
O = 69
T = 0.19
(out)(err)
O = 49
T = 1.51
(out)(err)
s3v80c700-9.cnf O = 18
T = 0.05
O = 18
T = 2.03
(out)(err)
O = 18
T = 0.62
(out)(err)
O = 18
T = 0.05
(out)(err)
O = 18
T = 1.13
(out)(err)
O = N/A
T = TO
(out)(err)
O = 18
T = 1.03
(out)(err)
O = 40
T = 284.23
(out)(err)
O = 44
T = 0.18
(out)(err)
O = 44
T = 0.21
(out)(err)
s3v80c800-1.cnf O = 28
T = 0.06
O = 28
T = 1.84
(out)(err)
O = 28
T = 1.54
(out)(err)
O = 28
T = 0.06
(out)(err)
O = 28
T = 1.13
(out)(err)
O = N/A
T = TO
(out)(err)
O = 28
T = 0.99
(out)(err)
O = 53
T = 284.53
(out)(err)
O = 72
T = 0.14
(out)(err)
O = 56
T = 67.57
(out)(err)
s3v80c800-10.cnf O = 27
T = 0.69
O = 27
T = 1.78
(out)(err)
O = 27
T = 1.45
(out)(err)
O = 27
T = 0.69
(out)(err)
O = 27
T = 1.44
(out)(err)
O = N/A
T = TO
(out)(err)
O = 27
T = 1.20
(out)(err)
O = 45
T = 284.22
(out)(err)
O = 66
T = 0.21
(out)(err)
O = 53
T = 98.15
(out)(err)
s3v80c800-2.cnf O = 32
T = 0.08
O = 32
T = 1.25
(out)(err)
O = 32
T = 1.29
(out)(err)
O = 32
T = 0.08
(out)(err)
O = 32
T = 1.28
(out)(err)
O = N/A
T = TO
(out)(err)
O = 32
T = 0.86
(out)(err)
O = 50
T = 283.94
(out)(err)
O = 73
T = 0.19
(out)(err)
O = 51
T = 1.29
(out)(err)
s3v80c800-3.cnf O = 27
T = 0.04
O = 27
T = 1.85
(out)(err)
O = 27
T = 1.42
(out)(err)
O = 27
T = 0.04
(out)(err)
O = 27
T = 1.29
(out)(err)
O = N/A
T = TO
(out)(err)
O = 27
T = 1.03
(out)(err)
O = 54
T = 283.75
(out)(err)
O = 74
T = 0.12
(out)(err)
O = 48
T = 2.59
(out)(err)
s3v80c800-4.cnf O = 26
T = 0.02
O = 26
T = 2.02
(out)(err)
O = 26
T = 0.73
(out)(err)
O = 26
T = 0.02
(out)(err)
O = 26
T = 2.13
(out)(err)
O = N/A
T = TO
(out)(err)
O = 26
T = 1.38
(out)(err)
O = 47
T = 283.46
(out)(err)
O = 83
T = 0.12
(out)(err)
O = 55
T = 7.81
(out)(err)
s3v80c800-5.cnf O = 27
T = 0.04
O = 27
T = 1.76
(out)(err)
O = 27
T = 1.37
(out)(err)
O = 27
T = 0.04
(out)(err)
O = 27
T = 2.01
(out)(err)
O = N/A
T = TO
(out)(err)
O = 27
T = 1.00
(out)(err)
O = 53
T = 283.98
(out)(err)
O = 85
T = 0.10
(out)(err)
O = 50
T = 0.44
(out)(err)
s3v80c800-6.cnf O = 28
T = 0.04
O = 28
T = 1.36
(out)(err)
O = 28
T = 1.33
(out)(err)
O = 28
T = 0.04
(out)(err)
O = 28
T = 1.32
(out)(err)
O = N/A
T = TO
(out)(err)
O = 28
T = 1.30
(out)(err)
O = 51
T = 284.61
(out)(err)
O = 71
T = 0.18
(out)(err)
O = 57
T = 0.37
(out)(err)
s3v80c800-7.cnf O = 27
T = 0.05
O = 27
T = 1.39
(out)(err)
O = 27
T = 0.96
(out)(err)
O = 27
T = 0.05
(out)(err)
O = 27
T = 1.73
(out)(err)
O = N/A
T = TO
(out)(err)
O = 27
T = 1.26
(out)(err)
O = 51
T = 284.52
(out)(err)
O = 91
T = 0.17
(out)(err)
O = 57
T = 8.75
(out)(err)
s3v80c800-8.cnf O = 25
T = 0.10
O = 25
T = 1.69
(out)(err)
O = 25
T = 1.10
(out)(err)
O = 25
T = 0.10
(out)(err)
O = 25
T = 1.43
(out)(err)
O = N/A
T = TO
(out)(err)
O = 25
T = 1.14
(out)(err)
O = 39
T = 284.37
(out)(err)
O = 77
T = 0.11
(out)(err)
O = 60
T = 60.92
(out)(err)
s3v80c800-9.cnf O = 26
T = 0.02
O = 26
T = 1.96
(out)(err)
O = 26
T = 1.12
(out)(err)
O = 26
T = 0.02
(out)(err)
O = 26
T = 2.11
(out)(err)
O = N/A
T = TO
(out)(err)
O = 26
T = 1.16
(out)(err)
O = 46
T = 283.99
(out)(err)
O = 89
T = 0.10
(out)(err)
O = 55
T = 16.81
(out)(err)
s3v80c900-1.cnf O = 35
T = 0.05
O = 35
T = 2.03
(out)(err)
O = 35
T = 1.42
(out)(err)
O = 35
T = 0.05
(out)(err)
O = 35
T = 1.77
(out)(err)
O = N/A
T = TO
(out)(err)
O = 35
T = 1.23
(out)(err)
O = 64
T = 284.00
(out)(err)
O = 88
T = 0.22
(out)(err)
O = 67
T = 38.71
(out)(err)
s3v80c900-10.cnf O = 35
T = 0.82
O = 35
T = 2.31
(out)(err)
O = 35
T = 0.82
(out)(err)
O = 35
T = 0.85
(out)(err)
O = 35
T = 1.35
(out)(err)
O = N/A
T = TO
(out)(err)
O = 35
T = 1.09
(out)(err)
O = 68
T = 284.75
(out)(err)
O = 89
T = 0.10
(out)(err)
O = 52
T = 0.84
(out)(err)
s3v80c900-2.cnf O = 37
T = 0.17
O = 37
T = 1.59
(out)(err)
O = 37
T = 1.08
(out)(err)
O = 37
T = 0.17
(out)(err)
O = 37
T = 1.57
(out)(err)
O = N/A
T = TO
(out)(err)
O = 37
T = 0.94
(out)(err)
O = 63
T = 284.52
(out)(err)
O = 92
T = 0.21
(out)(err)
O = 66
T = 6.68
(out)(err)
s3v80c900-3.cnf O = 34
T = 0.05
O = 34
T = 1.54
(out)(err)
O = 34
T = 2.19
(out)(err)
O = 34
T = 0.05
(out)(err)
O = 34
T = 0.55
(out)(err)
O = N/A
T = TO
(out)(err)
O = 34
T = 1.12
(out)(err)
O = 68
T = 283.71
(out)(err)
O = 80
T = 0.20
(out)(err)
O = 67
T = 1.07
(out)(err)
s3v80c900-4.cnf O = 35
T = 0.03
O = 35
T = 1.11
(out)(err)
O = 35
T = 2.97
(out)(err)
O = 35
T = 0.03
(out)(err)
O = 35
T = 1.67
(out)(err)
O = N/A
T = TO
(out)(err)
O = 35
T = 1.07
(out)(err)
O = 71
T = 284.35
(out)(err)
O = 104
T = 0.05
(out)(err)
O = 71
T = 24.68
(out)(err)
s3v80c900-5.cnf O = 32
T = 0.05
O = 32
T = 1.33
(out)(err)
O = 32
T = 0.80
(out)(err)
O = 32
T = 0.05
(out)(err)
O = 32
T = 0.87
(out)(err)
O = N/A
T = TO
(out)(err)
O = 32
T = 1.30
(out)(err)
O = 64
T = 284.72
(out)(err)
O = 77
T = 0.14
(out)(err)
O = 60
T = 177.58
(out)(err)
s3v80c900-6.cnf O = 31
T = 0.03
O = 31
T = 1.93
(out)(err)
O = 31
T = 0.95
(out)(err)
O = 31
T = 0.03
(out)(err)
O = 31
T = 1.24
(out)(err)
O = N/A
T = TO
(out)(err)
O = 31
T = 1.19
(out)(err)
O = 59
T = 284.75
(out)(err)
O = 105
T = 0.12
(out)(err)
O = 61
T = 19.61
(out)(err)
s3v80c900-7.cnf O = 34
T = 0.04
O = 34
T = 1.83
(out)(err)
O = 34
T = 1.19
(out)(err)
O = 34
T = 0.04
(out)(err)
O = 34
T = 0.96
(out)(err)
O = N/A
T = TO
(out)(err)
O = 34
T = 1.23
(out)(err)
O = 67
T = 284.74
(out)(err)
O = 80
T = 0.15
(out)(err)
O = 65
T = 74.34
(out)(err)
s3v80c900-8.cnf O = 33
T = 0.02
O = 33
T = 1.83
(out)(err)
O = 33
T = 1.31
(out)(err)
O = 33
T = 0.02
(out)(err)
O = 33
T = 0.79
(out)(err)
O = N/A
T = TO
(out)(err)
O = 33
T = 0.87
(out)(err)
O = 59
T = 284.73
(out)(err)
O = 88
T = 0.09
(out)(err)
O = 68
T = 25.95
(out)(err)
s3v80c900-9.cnf O = 36
T = 0.03
O = 36
T = 1.82
(out)(err)
O = 36
T = 0.97
(out)(err)
O = 36
T = 0.03
(out)(err)
O = 36
T = 0.61
(out)(err)
O = N/A
T = TO
(out)(err)
O = 36
T = 1.23
(out)(err)
O = 59
T = 284.67
(out)(err)
O = 90
T = 0.13
(out)(err)
O = 58
T = 6.42
(out)(err)
min1s2v160c640_0.cnf O = 359
T = 0.04
O = 359
T = 2.02
(out)(err)
O = 359
T = 2.90
(out)(err)
O = 359
T = 0.04
(out)(err)
O = 359
T = 1.87
(out)(err)
O = N/A
T = TO
(out)(err)
O = 359
T = 2.36
(out)(err)
O = 381
T = 284.67
(out)(err)
O = 436
T = 0.12
(out)(err)
O = 384
T = 92.05
(out)(err)
min1s2v160c640_1.cnf O = 356
T = 0.04
O = 356
T = 2.71
(out)(err)
O = 356
T = 1.81
(out)(err)
O = 356
T = 0.04
(out)(err)
O = 356
T = 1.80
(out)(err)
O = N/A
T = TO
(out)(err)
O = 356
T = 1.95
(out)(err)
O = 393
T = 284.37
(out)(err)
O = N/A
T = TO
(out)(err)
O = 395
T = 21.04
(out)(err)
min1s2v160c640_10.cnf O = 351
T = 0.04
O = 351
T = 3.00
(out)(err)
O = 351
T = 2.83
(out)(err)
O = 351
T = 0.04
(out)(err)
O = 351
T = 1.84
(out)(err)
O = N/A
T = TO
(out)(err)
O = 351
T = 2.26
(out)(err)
O = 371
T = 284.72
(out)(err)
O = 421
T = 0.11
(out)(err)
O = 391
T = 3.68
(out)(err)
min1s2v160c640_11.cnf O = 350
T = 0.03
O = 350
T = 2.88
(out)(err)
O = 350
T = 2.83
(out)(err)
O = 350
T = 0.03
(out)(err)
O = 350
T = 3.07
(out)(err)
O = N/A
T = TO
(out)(err)
O = 350
T = 2.29
(out)(err)
O = 375
T = 284.73
(out)(err)
O = 435
T = 0.10
(out)(err)
O = 384
T = 90.56
(out)(err)
min1s2v160c640_12.cnf O = 361
T = 0.05
O = 361
T = 2.85
(out)(err)
O = 361
T = 1.33
(out)(err)
O = 361
T = 0.05
(out)(err)
O = 361
T = 2.59
(out)(err)
O = N/A
T = TO
(out)(err)
O = 361
T = 2.47
(out)(err)
O = 393
T = 284.76
(out)(err)
O = 433
T = 0.14
(out)(err)
O = 388
T = 247.40
(out)(err)
min1s2v160c640_13.cnf O = 365
T = 0.04
O = 365
T = 2.16
(out)(err)
O = 365
T = 1.53
(out)(err)
O = 365
T = 0.04
(out)(err)
O = 365
T = 2.24
(out)(err)
O = N/A
T = TO
(out)(err)
O = 365
T = 2.06
(out)(err)
O = 382
T = 284.71
(out)(err)
O = 441
T = 0.13
(out)(err)
O = 402
T = 48.25
(out)(err)
min1s2v160c640_14.cnf O = 354
T = 0.04
O = 354
T = 2.43
(out)(err)
O = 354
T = 2.62
(out)(err)
O = 354
T = 0.04
(out)(err)
O = 354
T = 2.44
(out)(err)
O = N/A
T = TO
(out)(err)
O = 354
T = 3.46
(out)(err)
O = 378
T = 284.77
(out)(err)
O = 425
T = 0.14
(out)(err)
O = 392
T = 17.10
(out)(err)
min1s2v160c640_15.cnf O = 357
T = 0.03
O = 357
T = 2.77
(out)(err)
O = 357
T = 2.03
(out)(err)
O = 357
T = 0.03
(out)(err)
O = 357
T = 2.61
(out)(err)
O = N/A
T = TO
(out)(err)
O = 357
T = 2.74
(out)(err)
O = 385
T = 284.53
(out)(err)
O = 430
T = 0.08
(out)(err)
O = 393
T = 14.60
(out)(err)
min1s2v160c640_2.cnf O = 345
T = 0.05
O = 345
T = 2.47
(out)(err)
O = 345
T = 2.22
(out)(err)
O = 345
T = 0.05
(out)(err)
O = 345
T = 2.27
(out)(err)
O = N/A
T = TO
(out)(err)
O = 345
T = 3.14
(out)(err)
O = 368
T = 284.68
(out)(err)
O = 432
T = 0.11
(out)(err)
O = 384
T = 16.13
(out)(err)
min1s2v160c640_3.cnf O = 349
T = 0.03
O = 349
T = 2.19
(out)(err)
O = 349
T = 2.43
(out)(err)
O = 349
T = 0.03
(out)(err)
O = 349
T = 3.06
(out)(err)
O = N/A
T = TO
(out)(err)
O = 349
T = 2.63
(out)(err)
O = 366
T = 284.54
(out)(err)
O = N/A
T = TO
(out)(err)
O = 387
T = 36.01
(out)(err)
min1s2v160c640_4.cnf O = 355
T = 0.02
O = 355
T = 2.17
(out)(err)
O = 355
T = 1.76
(out)(err)
O = 355
T = 0.02
(out)(err)
O = 355
T = 1.32
(out)(err)
O = N/A
T = TO
(out)(err)
O = 355
T = 3.14
(out)(err)
O = 383
T = 284.74
(out)(err)
O = 433
T = 0.10
(out)(err)
O = 398
T = 12.95
(out)(err)
min1s2v160c640_5.cnf O = 348
T = 0.03
O = 348
T = 3.10
(out)(err)
O = 348
T = 1.79
(out)(err)
O = 348
T = 0.03
(out)(err)
O = 348
T = 1.21
(out)(err)
O = N/A
T = TO
(out)(err)
O = 348
T = 3.04
(out)(err)
O = 381
T = 284.72
(out)(err)
O = 429
T = 0.12
(out)(err)
O = 387
T = 27.11
(out)(err)
min1s2v160c640_6.cnf O = 348
T = 0.02
O = 348
T = 3.07
(out)(err)
O = 348
T = 2.49
(out)(err)
O = 348
T = 0.02
(out)(err)
O = 348
T = 2.72
(out)(err)
O = N/A
T = TO
(out)(err)
O = 348
T = 3.46
(out)(err)
O = 374
T = 284.73
(out)(err)
O = N/A
T = TO
(out)(err)
O = 388
T = 4.49
(out)(err)
min1s2v160c640_7.cnf O = 355
T = 0.02
O = 355
T = 3.00
(out)(err)
O = 355
T = 2.32
(out)(err)
O = 355
T = 0.02
(out)(err)
O = 355
T = 3.62
(out)(err)
O = N/A
T = TO
(out)(err)
O = 355
T = 3.42
(out)(err)
O = 384
T = 284.61
(out)(err)
O = 439
T = 0.18
(out)(err)
O = 390
T = 39.21
(out)(err)
min1s2v160c640_8.cnf O = 363
T = 0.04
O = 363
T = 2.72
(out)(err)
O = 363
T = 2.40
(out)(err)
O = 363
T = 0.04
(out)(err)
O = 363
T = 1.34
(out)(err)
O = N/A
T = TO
(out)(err)
O = 363
T = 1.06
(out)(err)
O = 392
T = 284.72
(out)(err)
O = 416
T = 0.22
(out)(err)
O = 396
T = 59.66
(out)(err)
min1s2v160c640_9.cnf O = 353
T = 0.04
O = 353
T = 2.77
(out)(err)
O = 353
T = 2.49
(out)(err)
O = 353
T = 0.04
(out)(err)
O = 353
T = 2.14
(out)(err)
O = N/A
T = TO
(out)(err)
O = 353
T = 1.02
(out)(err)
O = 376
T = 284.45
(out)(err)
O = N/A
T = TO
(out)(err)
O = 384
T = 22.53
(out)(err)
min1s2v160c800_0.cnf O = 452
T = 0.05
O = 452
T = 2.26
(out)(err)
O = 452
T = 2.14
(out)(err)
O = 452
T = 0.05
(out)(err)
O = 452
T = 1.99
(out)(err)
O = N/A
T = TO
(out)(err)
O = 452
T = 3.85
(out)(err)
O = 482
T = 284.64
(out)(err)
O = 532
T = 0.23
(out)(err)
O = 497
T = 110.48
(out)(err)
min1s2v160c800_1.cnf O = 463
T = 0.04
O = 463
T = 2.64
(out)(err)
O = 463
T = 2.31
(out)(err)
O = 463
T = 0.04
(out)(err)
O = 463
T = 1.34
(out)(err)
O = N/A
T = TO
(out)(err)
O = 463
T = 2.21
(out)(err)
O = 494
T = 284.54
(out)(err)
O = 546
T = 0.12
(out)(err)
O = 513
T = 16.84
(out)(err)
min1s2v160c800_10.cnf O = 457
T = 0.03
O = 457
T = 2.22
(out)(err)
O = 457
T = 2.52
(out)(err)
O = 457
T = 0.03
(out)(err)
O = 457
T = 1.65
(out)(err)
O = N/A
T = TO
(out)(err)
O = 457
T = 2.16
(out)(err)
O = 492
T = 284.72
(out)(err)
O = 540
T = 0.16
(out)(err)
O = 497
T = 237.16
(out)(err)
min1s2v160c800_11.cnf O = 462
T = 0.05
O = 462
T = 3.24
(out)(err)
O = 462
T = 2.41
(out)(err)
O = 462
T = 0.05
(out)(err)
O = 462
T = 1.30
(out)(err)
O = N/A
T = TO
(out)(err)
O = 462
T = 2.14
(out)(err)
O = 496
T = 284.71
(out)(err)
O = N/A
T = TO
(out)(err)
O = 514
T = 112.91
(out)(err)
min1s2v160c800_12.cnf O = 462
T = 0.03
O = 462
T = 4.29
(out)(err)
O = 462
T = 2.64
(out)(err)
O = 462
T = 0.03
(out)(err)
O = 462
T = 0.99
(out)(err)
O = N/A
T = TO
(out)(err)
O = 462
T = 3.03
(out)(err)
O = 500
T = 284.73
(out)(err)
O = 554
T = 0.20
(out)(err)
O = 507
T = 112.82
(out)(err)
min1s2v160c800_13.cnf O = 467
T = 0.03
O = 467
T = 3.36
(out)(err)
O = 467
T = 3.12
(out)(err)
O = 467
T = 0.03
(out)(err)
O = 467
T = 1.30
(out)(err)
O = N/A
T = TO
(out)(err)
O = 467
T = 3.57
(out)(err)
O = 505
T = 284.64
(out)(err)
O = N/A
T = TO
(out)(err)
O = 506
T = 258.72
(out)(err)
min1s2v160c800_14.cnf O = 464
T = 0.04
O = 464
T = 3.43
(out)(err)
O = 464
T = 2.83
(out)(err)
O = 464
T = 0.04
(out)(err)
O = 464
T = 4.05
(out)(err)
O = N/A
T = TO
(out)(err)
O = 464
T = 3.29
(out)(err)
O = 500
T = 284.67
(out)(err)
O = N/A
T = TO
(out)(err)
O = 506
T = 179.38
(out)(err)
min1s2v160c800_15.cnf O = 459
T = 0.04
O = 459
T = 3.87
(out)(err)
O = 459
T = 2.53
(out)(err)
O = 459
T = 0.04
(out)(err)
O = 459
T = 1.87
(out)(err)
O = N/A
T = TO
(out)(err)
O = 459
T = 3.28
(out)(err)
O = 497
T = 284.70
(out)(err)
O = N/A
T = TO
(out)(err)
O = 504
T = 41.63
(out)(err)
min1s2v160c800_2.cnf O = 457
T = 0.03
O = 457
T = 3.81
(out)(err)
O = 457
T = 2.50
(out)(err)
O = 457
T = 0.03
(out)(err)
O = 457
T = 1.67
(out)(err)
O = N/A
T = TO
(out)(err)
O = 457
T = 1.20
(out)(err)
O = 487
T = 284.68
(out)(err)
O = N/A
T = TO
(out)(err)
O = 500
T = 101.55
(out)(err)
min1s2v160c800_3.cnf O = 459
T = 0.02
O = 459
T = 3.80
(out)(err)
O = 459
T = 2.59
(out)(err)
O = 459
T = 0.02
(out)(err)
O = 459
T = 1.91
(out)(err)
O = N/A
T = TO
(out)(err)
O = 459
T = 1.29
(out)(err)
O = 499
T = 284.34
(out)(err)
O = N/A
T = TO
(out)(err)
O = 508
T = 24.86
(out)(err)
min1s2v160c800_4.cnf O = 464
T = 0.04
O = 464
T = 4.12
(out)(err)
O = 464
T = 1.16
(out)(err)
O = 464
T = 0.04
(out)(err)
O = 464
T = 2.20
(out)(err)
O = N/A
T = TO
(out)(err)
O = 464
T = 3.46
(out)(err)
O = 501
T = 284.26
(out)(err)
O = 569
T = 0.15
(out)(err)
O = 515
T = 62.69
(out)(err)
min1s2v160c800_5.cnf O = 455
T = 0.04
O = 455
T = 4.22
(out)(err)
O = 455
T = 1.32
(out)(err)
O = 455
T = 0.04
(out)(err)
O = 455
T = 2.13
(out)(err)
O = N/A
T = TO
(out)(err)
O = 455
T = 1.24
(out)(err)
O = 496
T = 284.49
(out)(err)
O = 543
T = 0.13
(out)(err)
O = 498
T = 27.02
(out)(err)
min1s2v160c800_6.cnf O = 445
T = 0.04
O = 445
T = 4.23
(out)(err)
O = 445
T = 2.81
(out)(err)
O = 445
T = 0.04
(out)(err)
O = 445
T = 3.06
(out)(err)
O = N/A
T = TO
(out)(err)
O = 445
T = 3.33
(out)(err)
O = 482
T = 284.35
(out)(err)
O = 538
T = 0.07
(out)(err)
O = 493
T = 16.45
(out)(err)
min1s2v160c800_7.cnf O = 460
T = 0.05
O = 460
T = 3.11
(out)(err)
O = 460
T = 2.64
(out)(err)
O = 460
T = 0.05
(out)(err)
O = 460
T = 3.10
(out)(err)
O = N/A
T = TO
(out)(err)
O = 460
T = 3.72
(out)(err)
O = 489
T = 284.24
(out)(err)
O = 539
T = 0.06
(out)(err)
O = 508
T = 145.58
(out)(err)
min1s2v160c800_8.cnf O = 464
T = 0.03
O = 464
T = 3.25
(out)(err)
O = 464
T = 3.33
(out)(err)
O = 464
T = 0.03
(out)(err)
O = 464
T = 3.43
(out)(err)
O = N/A
T = TO
(out)(err)
O = 464
T = 3.28
(out)(err)
O = 492
T = 284.53
(out)(err)
O = 564
T = 0.09
(out)(err)
O = 516
T = 61.12
(out)(err)
min1s2v160c800_9.cnf O = 459
T = 0.02
O = 459
T = 3.25
(out)(err)
O = 459
T = 3.18
(out)(err)
O = 459
T = 0.02
(out)(err)
O = 459
T = 3.12
(out)(err)
O = N/A
T = TO
(out)(err)
O = 459
T = 0.97
(out)(err)
O = 478
T = 284.34
(out)(err)
O = N/A
T = TO
(out)(err)
O = 494
T = 198.51
(out)(err)
min1s2v160c960_0.cnf O = 562
T = 0.06
O = 562
T = 3.75
(out)(err)
O = 562
T = 3.45
(out)(err)
O = 562
T = 0.06
(out)(err)
O = 562
T = 3.36
(out)(err)
O = N/A
T = TO
(out)(err)
O = 562
T = 3.02
(out)(err)
O = 594
T = 284.21
(out)(err)
O = N/A
T = TO
(out)(err)
O = 615
T = 150.66
(out)(err)
min1s2v160c960_1.cnf O = 578
T = 0.02
O = 578
T = 3.15
(out)(err)
O = 578
T = 2.24
(out)(err)
O = 578
T = 0.02
(out)(err)
O = 578
T = 3.29
(out)(err)
O = N/A
T = TO
(out)(err)
O = 578
T = 3.59
(out)(err)
O = 624
T = 284.31
(out)(err)
O = 677
T = 0.21
(out)(err)
O = 635
T = 56.93
(out)(err)
min1s2v160c960_10.cnf O = 564
T = 0.06
O = 564
T = 3.40
(out)(err)
O = 564
T = 3.01
(out)(err)
O = 564
T = 0.06
(out)(err)
O = 564
T = 2.69
(out)(err)
O = N/A
T = TO
(out)(err)
O = 564
T = 3.17
(out)(err)
O = 606
T = 284.75
(out)(err)
O = N/A
T = TO
(out)(err)
O = 625
T = 260.24
(out)(err)
min1s2v160c960_11.cnf O = 567
T = 0.05
O = 567
T = 2.90
(out)(err)
O = 567
T = 2.83
(out)(err)
O = 567
T = 0.05
(out)(err)
O = 567
T = 2.41
(out)(err)
O = N/A
T = TO
(out)(err)
O = 567
T = 3.82
(out)(err)
O = 603
T = 284.78
(out)(err)
O = 641
T = 0.19
(out)(err)
O = 622
T = 149.20
(out)(err)
min1s2v160c960_12.cnf O = 568
T = 0.05
O = 568
T = 3.19
(out)(err)
O = 568
T = 2.78
(out)(err)
O = 568
T = 0.05
(out)(err)
O = 568
T = 2.86
(out)(err)
O = N/A
T = TO
(out)(err)
O = 568
T = 3.26
(out)(err)
O = 606
T = 284.62
(out)(err)
O = 639
T = 0.16
(out)(err)
O = 627
T = 59.06
(out)(err)
min1s2v160c960_13.cnf O = 572
T = 0.06
O = 572
T = 2.61
(out)(err)
O = 572
T = 2.48
(out)(err)
O = 572
T = 0.06
(out)(err)
O = 572
T = 2.97
(out)(err)
O = N/A
T = TO
(out)(err)
O = 572
T = 2.94
(out)(err)
O = 606
T = 284.63
(out)(err)
O = N/A
T = TO
(out)(err)
O = 634
T = 246.63
(out)(err)
min1s2v160c960_14.cnf O = 568
T = 0.05
O = 568
T = 2.81
(out)(err)
O = 568
T = 3.77
(out)(err)
O = 568
T = 0.05
(out)(err)
O = 568
T = 3.08
(out)(err)
O = N/A
T = TO
(out)(err)
O = 568
T = 3.75
(out)(err)
O = 613
T = 284.75
(out)(err)
O = 682
T = 0.13
(out)(err)
O = 619
T = 286.84
(out)(err)
min1s2v160c960_15.cnf O = 558
T = 0.02
O = 558
T = 3.23
(out)(err)
O = 558
T = 3.08
(out)(err)
O = 558
T = 0.02
(out)(err)
O = 558
T = 3.08
(out)(err)
O = N/A
T = TO
(out)(err)
O = 558
T = 4.13
(out)(err)
O = 596
T = 284.70
(out)(err)
O = N/A
T = TO
(out)(err)
O = 624
T = 200.54
(out)(err)
min1s2v160c960_2.cnf O = 561
T = 0.02
O = 561
T = 2.62
(out)(err)
O = 561
T = 2.80
(out)(err)
O = 561
T = 0.02
(out)(err)
O = 561
T = 2.73
(out)(err)
O = N/A
T = TO
(out)(err)
O = 561
T = 1.25
(out)(err)
O = 599
T = 284.41
(out)(err)
O = N/A
T = TO
(out)(err)
O = 624
T = 16.82
(out)(err)
min1s2v160c960_3.cnf O = 563
T = 0.04
O = 563
T = 3.12
(out)(err)
O = 563
T = 2.83
(out)(err)
O = 563
T = 0.04
(out)(err)
O = 563
T = 3.45
(out)(err)
O = N/A
T = TO
(out)(err)
O = 563
T = 3.19
(out)(err)
O = 610
T = 284.73
(out)(err)
O = N/A
T = TO
(out)(err)
O = 633
T = 46.21
(out)(err)
min1s2v160c960_4.cnf O = 574
T = 0.02
O = 574
T = 2.98
(out)(err)
O = 574
T = 3.23
(out)(err)
O = 574
T = 0.02
(out)(err)
O = 574
T = 1.63
(out)(err)
O = N/A
T = TO
(out)(err)
O = 574
T = 3.62
(out)(err)
O = 617
T = 284.72
(out)(err)
O = 651
T = 0.21
(out)(err)
O = 633
T = 23.61
(out)(err)
min1s2v160c960_5.cnf O = 571
T = 0.04
O = 571
T = 2.51
(out)(err)
O = 571
T = 3.37
(out)(err)
O = 571
T = 0.04
(out)(err)
O = 571
T = 2.21
(out)(err)
O = N/A
T = TO
(out)(err)
O = 571
T = 2.86
(out)(err)
O = 610
T = 284.62
(out)(err)
O = 660
T = 0.17
(out)(err)
O = 633
T = 16.13
(out)(err)
min1s2v160c960_6.cnf O = 549
T = 0.03
O = 549
T = 2.62
(out)(err)
O = 549
T = 3.02
(out)(err)
O = 549
T = 0.03
(out)(err)
O = 549
T = 2.06
(out)(err)
O = N/A
T = TO
(out)(err)
O = 549
T = 3.22
(out)(err)
O = 601
T = 284.58
(out)(err)
O = 655
T = 0.04
(out)(err)
O = 605
T = 23.60
(out)(err)
min1s2v160c960_7.cnf O = 565
T = 0.05
O = 565
T = 2.66
(out)(err)
O = 565
T = 2.05
(out)(err)
O = 565
T = 0.05
(out)(err)
O = 565
T = 1.13
(out)(err)
O = N/A
T = TO
(out)(err)
O = 565
T = 3.88
(out)(err)
O = 624
T = 284.50
(out)(err)
O = N/A
T = TO
(out)(err)
O = 633
T = 25.34
(out)(err)
min1s2v160c960_8.cnf O = 566
T = 0.05
O = 566
T = 3.07
(out)(err)
O = 566
T = 2.68
(out)(err)
O = 566
T = 0.05
(out)(err)
O = 566
T = 2.66
(out)(err)
O = N/A
T = TO
(out)(err)
O = 566
T = 3.15
(out)(err)
O = 607
T = 284.42
(out)(err)
O = N/A
T = TO
(out)(err)
O = 626
T = 51.14
(out)(err)
min1s2v160c960_9.cnf O = 555
T = 0.05
O = 555
T = 2.98
(out)(err)
O = 555
T = 2.16
(out)(err)
O = 555
T = 0.05
(out)(err)
O = 555
T = 3.19
(out)(err)
O = N/A
T = TO
(out)(err)
O = 555
T = 4.12
(out)(err)
O = 583
T = 284.48
(out)(err)
O = 628
T = 0.19
(out)(err)
O = 628
T = 0.21
(out)(err)
min1s2v200c1000_0.cnf O = 580
T = 0.05
O = 580
T = 3.24
(out)(err)
O = 580
T = 3.42
(out)(err)
O = 580
T = 0.05
(out)(err)
O = 580
T = 3.10
(out)(err)
O = N/A
T = TO
(out)(err)
O = 580
T = 1.29
(out)(err)
O = 625
T = 284.27
(out)(err)
O = N/A
T = TO
(out)(err)
O = 650
T = 9.38
(out)(err)
min1s2v200c1000_1.cnf O = 570
T = 0.04
O = 570
T = 3.27
(out)(err)
O = 570
T = 3.44
(out)(err)
O = 570
T = 0.04
(out)(err)
O = 570
T = 1.61
(out)(err)
O = N/A
T = TO
(out)(err)
O = 570
T = 3.78
(out)(err)
O = 603
T = 284.33
(out)(err)
O = N/A
T = TO
(out)(err)
O = 633
T = 23.52
(out)(err)
min1s2v200c1000_10.cnf O = 574
T = 0.02
O = 574
T = 3.26
(out)(err)
O = 574
T = 3.43
(out)(err)
O = 574
T = 0.02
(out)(err)
O = 574
T = 1.44
(out)(err)
O = N/A
T = TO
(out)(err)
O = 574
T = 4.23
(out)(err)
O = 616
T = 284.37
(out)(err)
O = 682
T = 0.17
(out)(err)
O = 645
T = 60.29
(out)(err)
min1s2v200c1000_11.cnf O = 570
T = 0.34
O = 570
T = 3.60
(out)(err)
O = 570
T = 3.58
(out)(err)
O = 570
T = 0.34
(out)(err)
O = 570
T = 4.48
(out)(err)
O = N/A
T = TO
(out)(err)
O = 570
T = 3.39
(out)(err)
O = 622
T = 283.77
(out)(err)
O = N/A
T = TO
(out)(err)
O = 643
T = 240.44
(out)(err)
min1s2v200c1000_12.cnf O = 569
T = 0.04
O = 569
T = 3.75
(out)(err)
O = 569
T = 3.28
(out)(err)
O = 569
T = 0.04
(out)(err)
O = 569
T = 1.49
(out)(err)
O = N/A
T = TO
(out)(err)
O = 569
T = 4.60
(out)(err)
O = 611
T = 284.66
(out)(err)
O = 682
T = 0.21
(out)(err)
O = 626
T = 102.61
(out)(err)
min1s2v200c1000_13.cnf O = 573
T = 0.05
O = 573
T = 3.55
(out)(err)
O = 573
T = 1.57
(out)(err)
O = 573
T = 0.05
(out)(err)
O = 573
T = 3.93
(out)(err)
O = N/A
T = TO
(out)(err)
O = 573
T = 3.92
(out)(err)
O = 609
T = 284.67
(out)(err)
O = N/A
T = TO
(out)(err)
O = 648
T = 14.09
(out)(err)
min1s2v200c1000_14.cnf O = 571
T = 0.04
O = 571
T = 3.66
(out)(err)
O = 571
T = 1.66
(out)(err)
O = 571
T = 0.04
(out)(err)
O = 571
T = 2.98
(out)(err)
O = N/A
T = TO
(out)(err)
O = 571
T = 4.66
(out)(err)
O = 615
T = 284.32
(out)(err)
O = N/A
T = TO
(out)(err)
O = 635
T = 74.39
(out)(err)
min1s2v200c1000_15.cnf O = 573
T = 0.05
O = 573
T = 3.74
(out)(err)
O = 573
T = 2.22
(out)(err)
O = 573
T = 0.05
(out)(err)
O = 573
T = 3.80
(out)(err)
O = N/A
T = TO
(out)(err)
O = 573
T = 5.15
(out)(err)
O = 619
T = 284.22
(out)(err)
O = N/A
T = TO
(out)(err)
O = 631
T = 202.15
(out)(err)
min1s2v200c1000_2.cnf O = 575
T = 0.04
O = 575
T = 4.12
(out)(err)
O = 575
T = 2.12
(out)(err)
O = 575
T = 0.04
(out)(err)
O = 575
T = 3.00
(out)(err)
O = N/A
T = TO
(out)(err)
O = 575
T = 4.01
(out)(err)
O = 609
T = 284.72
(out)(err)
O = N/A
T = TO
(out)(err)
O = 649
T = 44.21
(out)(err)
min1s2v200c1000_3.cnf O = 574
T = 0.05
O = 574
T = 3.81
(out)(err)
O = 574
T = 3.37
(out)(err)
O = 574
T = 0.05
(out)(err)
O = 574
T = 3.37
(out)(err)
O = N/A
T = TO
(out)(err)
O = 574
T = 2.59
(out)(err)
O = 606
T = 284.71
(out)(err)
O = 707
T = 0.18
(out)(err)
O = 639
T = 280.07
(out)(err)
min1s2v200c1000_4.cnf O = 570
T = 0.05
O = 570
T = 3.97
(out)(err)
O = 570
T = 3.44
(out)(err)
O = 570
T = 0.05
(out)(err)
O = 570
T = 3.58
(out)(err)
O = N/A
T = TO
(out)(err)
O = 570
T = 1.46
(out)(err)
O = 607
T = 284.59
(out)(err)
O = 679
T = 0.17
(out)(err)
O = 636
T = 106.84
(out)(err)
min1s2v200c1000_5.cnf O = 571
T = 0.04
O = 571
T = 4.02
(out)(err)
O = 571
T = 3.02
(out)(err)
O = 571
T = 0.04
(out)(err)
O = 571
T = 3.39
(out)(err)
O = N/A
T = TO
(out)(err)
O = 571
T = 4.02
(out)(err)
O = 617
T = 284.50
(out)(err)
O = N/A
T = TO
(out)(err)
O = 628
T = 25.31
(out)(err)
min1s2v200c1000_6.cnf O = 570
T = 0.04
O = 570
T = 3.43
(out)(err)
O = 570
T = 5.17
(out)(err)
O = 570
T = 0.04
(out)(err)
O = 570
T = 3.80
(out)(err)
O = N/A
T = TO
(out)(err)
O = 570
T = 4.31
(out)(err)
O = 623
T = 284.45
(out)(err)
O = N/A
T = TO
(out)(err)
O = 650
T = 24.77
(out)(err)
min1s2v200c1000_7.cnf O = 561
T = 0.04
O = 561
T = 4.55
(out)(err)
O = 561
T = 2.94
(out)(err)
O = 561
T = 0.04
(out)(err)
O = 561
T = 4.30
(out)(err)
O = N/A
T = TO
(out)(err)
O = 561
T = 4.05
(out)(err)
O = 598
T = 284.58
(out)(err)
O = N/A
T = TO
(out)(err)
O = 627
T = 233.20
(out)(err)
min1s2v200c1000_8.cnf O = 559
T = 0.05
O = 559
T = 3.59
(out)(err)
O = 559
T = 2.86
(out)(err)
O = 559
T = 0.05
(out)(err)
O = 559
T = 2.86
(out)(err)
O = N/A
T = TO
(out)(err)
O = 559
T = 4.05
(out)(err)
O = 606
T = 284.41
(out)(err)
O = N/A
T = TO
(out)(err)
O = 635
T = 37.87
(out)(err)
min1s2v200c1000_9.cnf O = 563
T = 0.04
O = 563
T = 3.16
(out)(err)
O = 563
T = 4.78
(out)(err)
O = 563
T = 0.04
(out)(err)
O = 563
T = 2.41
(out)(err)
O = N/A
T = TO
(out)(err)
O = 563
T = 3.94
(out)(err)
O = 596
T = 284.35
(out)(err)
O = 662
T = 0.19
(out)(err)
O = 638
T = 12.69
(out)(err)
min1s2v200c1200_0.cnf O = 708
T = 0.04
O = 708
T = 3.33
(out)(err)
O = 708
T = 2.20
(out)(err)
O = 708
T = 0.04
(out)(err)
O = 708
T = 2.80
(out)(err)
O = N/A
T = TO
(out)(err)
O = 708
T = 3.96
(out)(err)
O = 765
T = 283.48
(out)(err)
O = 810
T = 0.20
(out)(err)
O = 787
T = 69.50
(out)(err)
min1s2v200c1200_1.cnf O = 699
T = 0.03
O = 699
T = 3.41
(out)(err)
O = 699
T = 3.61
(out)(err)
O = 699
T = 0.03
(out)(err)
O = 699
T = 3.17
(out)(err)
O = N/A
T = TO
(out)(err)
O = 699
T = 2.95
(out)(err)
O = 747
T = 283.68
(out)(err)
O = 838
T = 0.23
(out)(err)
O = 772
T = 265.71
(out)(err)
min1s2v200c1200_10.cnf O = 708
T = 0.03
O = 708
T = 3.92
(out)(err)
O = 708
T = 3.29
(out)(err)
O = 708
T = 0.03
(out)(err)
O = 708
T = 2.92
(out)(err)
O = N/A
T = TO
(out)(err)
O = 708
T = 3.79
(out)(err)
O = 753
T = 283.74
(out)(err)
O = N/A
T = TO
(out)(err)
O = 797
T = 119.20
(out)(err)
min1s2v200c1200_11.cnf O = 699
T = 0.04
O = 699
T = 3.76
(out)(err)
O = 699
T = 3.17
(out)(err)
O = 699
T = 0.04
(out)(err)
O = 699
T = 4.81
(out)(err)
O = N/A
T = TO
(out)(err)
O = 699
T = 3.97
(out)(err)
O = 754
T = 284.71
(out)(err)
O = N/A
T = TO
(out)(err)
O = 782
T = 139.62
(out)(err)
min1s2v200c1200_12.cnf O = 704
T = 0.03
O = 704
T = 2.95
(out)(err)
O = 704
T = 2.37
(out)(err)
O = 704
T = 0.03
(out)(err)
O = 704
T = 4.67
(out)(err)
O = N/A
T = TO
(out)(err)
O = 704
T = 4.76
(out)(err)
O = 764
T = 284.69
(out)(err)
O = N/A
T = TO
(out)(err)
O = 769
T = 87.45
(out)(err)
min1s2v200c1200_13.cnf O = 710
T = 0.04
O = 710
T = 3.70
(out)(err)
O = 710
T = 2.01
(out)(err)
O = 710
T = 0.04
(out)(err)
O = 710
T = 4.41
(out)(err)
O = N/A
T = TO
(out)(err)
O = 710
T = 4.37
(out)(err)
O = 760
T = 284.69
(out)(err)
O = N/A
T = TO
(out)(err)
O = 793
T = 65.23
(out)(err)
min1s2v200c1200_14.cnf O = 707
T = 0.04
O = 707
T = 3.19
(out)(err)
O = 707
T = 2.19
(out)(err)
O = 707
T = 0.04
(out)(err)
O = 707
T = 3.96
(out)(err)
O = N/A
T = TO
(out)(err)
O = 707
T = 4.65
(out)(err)
O = 769
T = 284.61
(out)(err)
O = N/A
T = TO
(out)(err)
O = 781
T = 47.25
(out)(err)
min1s2v200c1200_15.cnf O = 709
T = 0.04
O = 709
T = 3.42
(out)(err)
O = 709
T = 3.00
(out)(err)
O = 709
T = 0.04
(out)(err)
O = 709
T = 1.58
(out)(err)
O = N/A
T = TO
(out)(err)
O = 709
T = 4.97
(out)(err)
O = 762
T = 284.75
(out)(err)
O = 858
T = 0.21
(out)(err)
O = 778
T = 218.43
(out)(err)
min1s2v200c1200_2.cnf O = 706
T = 0.05
O = 706
T = 4.13
(out)(err)
O = 706
T = 3.42
(out)(err)
O = 706
T = 0.05
(out)(err)
O = 706
T = 3.33
(out)(err)
O = N/A
T = TO
(out)(err)
O = 706
T = 3.72
(out)(err)
O = 761
T = 284.68
(out)(err)
O = 830
T = 0.17
(out)(err)
O = 792
T = 25.16
(out)(err)
min1s2v200c1200_3.cnf O = 703
T = 0.02
O = 703
T = 3.87
(out)(err)
O = 703
T = 3.24
(out)(err)
O = 703
T = 0.02
(out)(err)
O = 703
T = 2.62
(out)(err)
O = N/A
T = TO
(out)(err)
O = 703
T = 3.46
(out)(err)
O = 753
T = 284.24
(out)(err)
O = N/A
T = TO
(out)(err)
O = 796
T = 20.12
(out)(err)
min1s2v200c1200_4.cnf O = 710
T = 0.03
O = 710
T = 3.05
(out)(err)
O = 710
T = 3.38
(out)(err)
O = 710
T = 0.03
(out)(err)
O = 710
T = 2.62
(out)(err)
O = N/A
T = TO
(out)(err)
O = 710
T = 3.96
(out)(err)
O = 763
T = 284.24
(out)(err)
O = 844
T = 0.19
(out)(err)
O = 802
T = 18.13
(out)(err)
min1s2v200c1200_5.cnf O = 700
T = 0.04
O = 700
T = 4.82
(out)(err)
O = 700
T = 3.37
(out)(err)
O = 700
T = 0.04
(out)(err)
O = 700
T = 3.66
(out)(err)
O = N/A
T = TO
(out)(err)
O = 700
T = 3.37
(out)(err)
O = 734
T = 284.22
(out)(err)
O = 820
T = 0.19
(out)(err)
O = 773
T = 208.68
(out)(err)
min1s2v200c1200_6.cnf O = 709
T = 0.06
O = 709
T = 4.57
(out)(err)
O = 709
T = 3.09
(out)(err)
O = 709
T = 0.06
(out)(err)
O = 709
T = 3.58
(out)(err)
O = N/A
T = TO
(out)(err)
O = 709
T = 2.74
(out)(err)
O = 762
T = 284.24
(out)(err)
O = N/A
T = TO
(out)(err)
O = 778
T = 150.52
(out)(err)
min1s2v200c1200_7.cnf O = 704
T = 0.04
O = 704
T = 5.44
(out)(err)
O = 704
T = 4.37
(out)(err)
O = 704
T = 0.04
(out)(err)
O = 704
T = 3.76
(out)(err)
O = N/A
T = TO
(out)(err)
O = 704
T = 2.42
(out)(err)
O = 757
T = 284.30
(out)(err)
O = N/A
T = TO
(out)(err)
O = 787
T = 49.05
(out)(err)
min1s2v200c1200_8.cnf O = 685
T = 0.05
O = 685
T = 3.87
(out)(err)
O = 685
T = 3.37
(out)(err)
O = 685
T = 0.05
(out)(err)
O = 685
T = 3.78
(out)(err)
O = N/A
T = TO
(out)(err)
O = 685
T = 4.08
(out)(err)
O = 735
T = 284.13
(out)(err)
O = 826
T = 0.25
(out)(err)
O = 768
T = 29.69
(out)(err)
min1s2v200c1200_9.cnf O = 696
T = 0.01
O = 696
T = 6.07
(out)(err)
O = 696
T = 3.46
(out)(err)
O = 696
T = 0.01
(out)(err)
O = 696
T = 1.50
(out)(err)
O = N/A
T = TO
(out)(err)
O = 696
T = 4.22
(out)(err)
O = 740
T = 284.12
(out)(err)
O = N/A
T = TO
(out)(err)
O = 793
T = 16.41
(out)(err)
min1s2v200c800_0.cnf O = 446
T = 0.02
O = 446
T = 4.86
(out)(err)
O = 446
T = 3.20
(out)(err)
O = 446
T = 0.02
(out)(err)
O = 446
T = 4.01
(out)(err)
O = N/A
T = TO
(out)(err)
O = 446
T = 3.52
(out)(err)
O = 475
T = 284.01
(out)(err)
O = 552
T = 0.19
(out)(err)
O = 492
T = 117.51
(out)(err)
min1s2v200c800_1.cnf O = 444
T = 0.04
O = 444
T = 4.38
(out)(err)
O = 444
T = 3.55
(out)(err)
O = 444
T = 0.04
(out)(err)
O = 444
T = 4.40
(out)(err)
O = N/A
T = TO
(out)(err)
O = 444
T = 2.56
(out)(err)
O = 477
T = 283.94
(out)(err)
O = 507
T = 0.22
(out)(err)
O = 495
T = 34.93
(out)(err)
min1s2v200c800_10.cnf O = 438
T = 0.04
O = 438
T = 4.75
(out)(err)
O = 438
T = 3.66
(out)(err)
O = 438
T = 0.04
(out)(err)
O = 438
T = 3.76
(out)(err)
O = N/A
T = TO
(out)(err)
O = 438
T = 1.25
(out)(err)
O = 475
T = 284.69
(out)(err)
O = 557
T = 0.20
(out)(err)
O = 495
T = 222.67
(out)(err)
min1s2v200c800_11.cnf O = 437
T = 0.04
O = 437
T = 4.90
(out)(err)
O = 437
T = 2.84
(out)(err)
O = 437
T = 0.04
(out)(err)
O = 437
T = 4.93
(out)(err)
O = N/A
T = TO
(out)(err)
O = 437
T = 4.21
(out)(err)
O = 463
T = 284.72
(out)(err)
O = 536
T = 0.16
(out)(err)
O = 494
T = 28.37
(out)(err)
min1s2v200c800_12.cnf O = 436
T = 0.06
O = 436
T = 5.24
(out)(err)
O = 436
T = 3.50
(out)(err)
O = 436
T = 0.06
(out)(err)
O = 436
T = 4.45
(out)(err)
O = N/A
T = TO
(out)(err)
O = 436
T = 4.86
(out)(err)
O = 476
T = 284.65
(out)(err)
O = N/A
T = TO
(out)(err)
O = 482
T = 91.78
(out)(err)
min1s2v200c800_13.cnf O = 439
T = 0.04
O = 439
T = 5.39
(out)(err)
O = 439
T = 1.56
(out)(err)
O = 439
T = 0.04
(out)(err)
O = 439
T = 4.79
(out)(err)
O = N/A
T = TO
(out)(err)
O = 439
T = 4.10
(out)(err)
O = 469
T = 284.32
(out)(err)
O = 531
T = 0.15
(out)(err)
O = 486
T = 127.37
(out)(err)
min1s2v200c800_14.cnf O = 436
T = 0.05
O = 436
T = 5.38
(out)(err)
O = 436
T = 1.95
(out)(err)
O = 436
T = 0.05
(out)(err)
O = 436
T = 4.48
(out)(err)
O = N/A
T = TO
(out)(err)
O = 436
T = 4.48
(out)(err)
O = 477
T = 284.48
(out)(err)
O = 521
T = 0.08
(out)(err)
O = 487
T = 6.28
(out)(err)
min1s2v200c800_15.cnf O = 438
T = 0.05
O = 438
T = 3.79
(out)(err)
O = 438
T = 2.04
(out)(err)
O = 438
T = 0.05
(out)(err)
O = 438
T = 4.36
(out)(err)
O = N/A
T = TO
(out)(err)
O = 438
T = 2.82
(out)(err)
O = 465
T = 284.46
(out)(err)
O = 530
T = 0.08
(out)(err)
O = 491
T = 73.83
(out)(err)
min1s2v200c800_2.cnf O = 438
T = 0.03
O = 438
T = 3.58
(out)(err)
O = 438
T = 1.35
(out)(err)
O = 438
T = 0.03
(out)(err)
O = 438
T = 1.48
(out)(err)
O = N/A
T = TO
(out)(err)
O = 438
T = 3.01
(out)(err)
O = 468
T = 284.08
(out)(err)
O = 542
T = 0.16
(out)(err)
O = 498
T = 22.56
(out)(err)
min1s2v200c800_3.cnf O = 439
T = 0.05
O = 439
T = 3.06
(out)(err)
O = 439
T = 2.96
(out)(err)
O = 439
T = 0.05
(out)(err)
O = 439
T = 4.18
(out)(err)
O = N/A
T = TO
(out)(err)
O = 439
T = 2.64
(out)(err)
O = 470
T = 284.35
(out)(err)
O = N/A
T = TO
(out)(err)
O = 502
T = 25.14
(out)(err)
min1s2v200c800_4.cnf O = 437
T = 0.04
O = 437
T = 2.91
(out)(err)
O = 437
T = 4.86
(out)(err)
O = 437
T = 0.04
(out)(err)
O = 437
T = 3.55
(out)(err)
O = N/A
T = TO
(out)(err)
O = 437
T = 3.03
(out)(err)
O = 470
T = 284.21
(out)(err)
O = 519
T = 0.20
(out)(err)
O = 485
T = 68.43
(out)(err)
min1s2v200c800_5.cnf O = 435
T = 0.05
O = 435
T = 4.11
(out)(err)
O = 435
T = 4.36
(out)(err)
O = 435
T = 0.05
(out)(err)
O = 435
T = 1.42
(out)(err)
O = N/A
T = TO
(out)(err)
O = 435
T = 3.16
(out)(err)
O = 469
T = 284.29
(out)(err)
O = 558
T = 0.12
(out)(err)
O = 480
T = 15.84
(out)(err)
min1s2v200c800_6.cnf O = 445
T = 0.04
O = 445
T = 3.34
(out)(err)
O = 445
T = 2.53
(out)(err)
O = 445
T = 0.04
(out)(err)
O = 445
T = 4.49
(out)(err)
O = N/A
T = TO
(out)(err)
O = 445
T = 3.33
(out)(err)
O = 469
T = 284.72
(out)(err)
O = 537
T = 0.16
(out)(err)
O = 503
T = 34.24
(out)(err)
min1s2v200c800_7.cnf O = 440
T = 0.04
O = 440
T = 4.83
(out)(err)
O = 440
T = 3.58
(out)(err)
O = 440
T = 0.04
(out)(err)
O = 440
T = 4.12
(out)(err)
O = N/A
T = TO
(out)(err)
O = 440
T = 2.81
(out)(err)
O = 470
T = 284.53
(out)(err)
O = 549
T = 0.18
(out)(err)
O = 482
T = 130.55
(out)(err)
min1s2v200c800_8.cnf O = 436
T = 0.04
O = 436
T = 3.85
(out)(err)
O = 436
T = 2.67
(out)(err)
O = 436
T = 0.04
(out)(err)
O = 436
T = 4.76
(out)(err)
O = N/A
T = TO
(out)(err)
O = 436
T = 3.70
(out)(err)
O = 470
T = 284.40
(out)(err)
O = 539
T = 0.03
(out)(err)
O = 488
T = 17.85
(out)(err)
min1s2v200c800_9.cnf O = 438
T = 0.05
O = 438
T = 3.66
(out)(err)
O = 438
T = 2.25
(out)(err)
O = 438
T = 0.05
(out)(err)
O = 438
T = 3.36
(out)(err)
O = N/A
T = TO
(out)(err)
O = 438
T = 3.77
(out)(err)
O = 465
T = 284.15
(out)(err)
O = 523
T = 0.06
(out)(err)
O = 488
T = 138.10
(out)(err)