Benchmark

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

ColorMeaning
TextBest solver column
TextOptimal solution with the best CPU time
TextOptimal solution and finished within the Time Out
TextOptimal solution and did not finish within the Time Out
TextTime Out
TextBuggy solution

Instance file name Best solver IncMaxSatz PM2 QMaxSat0.4-cnf WMaxSatz+ WMaxSatz-2009 WPM1 akmaxsat akmaxsat_ls claspMaxSat sat4j-maxsat wbo1.6-cnf
HG-3SAT-V250-C1000-1.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 36
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 19
T = TO
(out)(err)		 S = N/A
O = 6
T = TO
(out)(err)		 S = N/A
O = 58
T = TO
(out)(err)		 S = N/A
O = 47
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-3SAT-V250-C1000-10.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 41
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 18
T = TO
(out)(err)		 S = N/A
O = 6
T = TO
(out)(err)		 S = N/A
O = 55
T = TO
(out)(err)		 S = N/A
O = 48
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-3SAT-V250-C1000-100.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 68
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 21
T = TO
(out)(err)		 S = N/A
O = 6
T = TO
(out)(err)		 S = N/A
O = 58
T = TO
(out)(err)		 S = N/A
O = 52
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-3SAT-V250-C1000-11.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 67
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 15
T = TO
(out)(err)		 S = N/A
O = 6
T = TO
(out)(err)		 S = N/A
O = 58
T = TO
(out)(err)		 S = N/A
O = 52
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-3SAT-V250-C1000-12.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 33
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 22
T = TO
(out)(err)		 S = N/A
O = 6
T = TO
(out)(err)		 S = N/A
O = 57
T = TO
(out)(err)		 S = N/A
O = 51
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
HG-3SAT-V250-C1000-13.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 38
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 17
T = TO
(out)(err)		 S = N/A
O = 5
T = TO
(out)(err)		 S = N/A
O = 57
T = TO
(out)(err)		 S = N/A
O = 47
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-3SAT-V250-C1000-14.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 38
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 19
T = TO
(out)(err)		 S = N/A
O = 6
T = TO
(out)(err)		 S = N/A
O = 57
T = TO
(out)(err)		 S = N/A
O = 52
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-3SAT-V250-C1000-15.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 42
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 20
T = TO
(out)(err)		 S = N/A
O = 5
T = TO
(out)(err)		 S = N/A
O = 57
T = TO
(out)(err)		 S = N/A
O = 52
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
HG-3SAT-V250-C1000-16.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 34
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 23
T = TO
(out)(err)		 S = N/A
O = 5
T = TO
(out)(err)		 S = N/A
O = 58
T = TO
(out)(err)		 S = N/A
O = 54
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
HG-3SAT-V250-C1000-17.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 41
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 25
T = TO
(out)(err)		 S = N/A
O = 7
T = TO
(out)(err)		 S = N/A
O = 59
T = TO
(out)(err)		 S = N/A
O = 57
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-3SAT-V250-C1000-18.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 36
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 20
T = TO
(out)(err)		 S = N/A
O = 8
T = TO
(out)(err)		 S = N/A
O = 58
T = TO
(out)(err)		 S = N/A
O = 53
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-3SAT-V250-C1000-19.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 35
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 16
T = TO
(out)(err)		 S = N/A
O = 7
T = TO
(out)(err)		 S = N/A
O = 55
T = TO
(out)(err)		 S = N/A
O = 54
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-3SAT-V250-C1000-2.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 34
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 11
T = TO
(out)(err)		 S = N/A
O = 6
T = TO
(out)(err)		 S = N/A
O = 56
T = TO
(out)(err)		 S = N/A
O = 49
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-3SAT-V250-C1000-20.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 41
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 25
T = TO
(out)(err)		 S = N/A
O = 7
T = TO
(out)(err)		 S = N/A
O = 55
T = TO
(out)(err)		 S = N/A
O = 52
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-3SAT-V250-C1000-21.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 40
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 21
T = TO
(out)(err)		 S = N/A
O = 4
T = TO
(out)(err)		 S = N/A
O = 57
T = TO
(out)(err)		 S = N/A
O = 52
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-3SAT-V250-C1000-22.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 49
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 13
T = TO
(out)(err)		 S = N/A
O = 6
T = TO
(out)(err)		 S = N/A
O = 59
T = TO
(out)(err)		 S = N/A
O = 49
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-3SAT-V250-C1000-23.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 43
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 22
T = TO
(out)(err)		 S = N/A
O = 6
T = TO
(out)(err)		 S = N/A
O = 57
T = TO
(out)(err)		 S = N/A
O = 53
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-3SAT-V250-C1000-24.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 40
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 17
T = TO
(out)(err)		 S = N/A
O = 5
T = TO
(out)(err)		 S = N/A
O = 56
T = TO
(out)(err)		 S = N/A
O = 53
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-3SAT-V250-C1000-3.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 34
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 17
T = TO
(out)(err)		 S = N/A
O = 5
T = TO
(out)(err)		 S = N/A
O = 56
T = TO
(out)(err)		 S = N/A
O = 54
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-3SAT-V250-C1000-4.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 39
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 19
T = TO
(out)(err)		 S = N/A
O = 7
T = TO
(out)(err)		 S = N/A
O = 57
T = TO
(out)(err)		 S = N/A
O = 50
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
HG-3SAT-V250-C1000-5.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 62
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 393.99
(out)(err)		 S = N/A
O = 18
T = TO
(out)(err)		 S = N/A
O = 6
T = TO
(out)(err)		 S = N/A
O = 58
T = TO
(out)(err)		 S = N/A
O = 48
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-3SAT-V250-C1000-6.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 36
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 23
T = TO
(out)(err)		 S = N/A
O = 6
T = TO
(out)(err)		 S = N/A
O = 58
T = TO
(out)(err)		 S = N/A
O = 54
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-3SAT-V250-C1000-7.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 35
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 17
T = TO
(out)(err)		 S = N/A
O = 6
T = TO
(out)(err)		 S = N/A
O = 56
T = TO
(out)(err)		 S = N/A
O = 52
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-3SAT-V250-C1000-8.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 39
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 18
T = TO
(out)(err)		 S = N/A
O = 5
T = TO
(out)(err)		 S = N/A
O = 57
T = TO
(out)(err)		 S = N/A
O = 51
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-3SAT-V250-C1000-9.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 37
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 15
T = TO
(out)(err)		 S = N/A
O = 7
T = TO
(out)(err)		 S = N/A
O = 57
T = TO
(out)(err)		 S = N/A
O = 53
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-3SAT-V300-C1200-1.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 45
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 20
T = TO
(out)(err)		 S = N/A
O = 7
T = TO
(out)(err)		 S = N/A
O = 73
T = TO
(out)(err)		 S = N/A
O = 62
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-3SAT-V300-C1200-10.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 52
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 30
T = TO
(out)(err)		 S = N/A
O = 8
T = TO
(out)(err)		 S = N/A
O = 76
T = TO
(out)(err)		 S = N/A
O = 64
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-3SAT-V300-C1200-100.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 44
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 27
T = TO
(out)(err)		 S = N/A
O = 7
T = TO
(out)(err)		 S = N/A
O = 74
T = TO
(out)(err)		 S = N/A
O = 54
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
HG-3SAT-V300-C1200-11.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 99
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 21
T = TO
(out)(err)		 S = N/A
O = 7
T = TO
(out)(err)		 S = N/A
O = 70
T = TO
(out)(err)		 S = N/A
O = 62
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
HG-3SAT-V300-C1200-12.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 84
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 25
T = TO
(out)(err)		 S = N/A
O = 7
T = TO
(out)(err)		 S = N/A
O = 73
T = TO
(out)(err)		 S = N/A
O = 53
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-3SAT-V300-C1200-13.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 41
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 32
T = TO
(out)(err)		 S = N/A
O = 7
T = TO
(out)(err)		 S = N/A
O = 74
T = TO
(out)(err)		 S = N/A
O = 63
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-3SAT-V300-C1200-14.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 42
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 26
T = TO
(out)(err)		 S = N/A
O = 7
T = TO
(out)(err)		 S = N/A
O = 75
T = TO
(out)(err)		 S = N/A
O = 62
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-3SAT-V300-C1200-15.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 46
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 30
T = TO
(out)(err)		 S = N/A
O = 7
T = TO
(out)(err)		 S = N/A
O = 73
T = TO
(out)(err)		 S = N/A
O = 68
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-3SAT-V300-C1200-16.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 41
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 23
T = TO
(out)(err)		 S = N/A
O = 6
T = TO
(out)(err)		 S = N/A
O = 72
T = TO
(out)(err)		 S = N/A
O = 60
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-3SAT-V300-C1200-17.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 44
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 30
T = TO
(out)(err)		 S = N/A
O = 7
T = TO
(out)(err)		 S = N/A
O = 77
T = TO
(out)(err)		 S = N/A
O = 64
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-3SAT-V300-C1200-18.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 39
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 23
T = TO
(out)(err)		 S = N/A
O = 8
T = TO
(out)(err)		 S = N/A
O = 75
T = TO
(out)(err)		 S = N/A
O = 62
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
HG-3SAT-V300-C1200-19.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 85
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 30
T = TO
(out)(err)		 S = N/A
O = 6
T = TO
(out)(err)		 S = N/A
O = 73
T = TO
(out)(err)		 S = N/A
O = 51
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-3SAT-V300-C1200-2.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 45
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 29
T = TO
(out)(err)		 S = N/A
O = 5
T = TO
(out)(err)		 S = N/A
O = 73
T = TO
(out)(err)		 S = N/A
O = 66
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-3SAT-V300-C1200-20.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 39
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 26
T = TO
(out)(err)		 S = N/A
O = 8
T = TO
(out)(err)		 S = N/A
O = 76
T = TO
(out)(err)		 S = N/A
O = 65
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-3SAT-V300-C1200-21.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 48
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 29
T = TO
(out)(err)		 S = N/A
O = 8
T = TO
(out)(err)		 S = N/A
O = 75
T = TO
(out)(err)		 S = N/A
O = 59
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-3SAT-V300-C1200-22.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 45
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 25
T = TO
(out)(err)		 S = N/A
O = 8
T = TO
(out)(err)		 S = N/A
O = 74
T = TO
(out)(err)		 S = N/A
O = 62
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-3SAT-V300-C1200-23.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 42
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 32
T = TO
(out)(err)		 S = N/A
O = 7
T = TO
(out)(err)		 S = N/A
O = 74
T = TO
(out)(err)		 S = N/A
O = 62
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
HG-3SAT-V300-C1200-24.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 47
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 30
T = TO
(out)(err)		 S = N/A
O = 8
T = TO
(out)(err)		 S = N/A
O = 75
T = TO
(out)(err)		 S = N/A
O = 62
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-3SAT-V300-C1200-3.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 46
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 33
T = TO
(out)(err)		 S = N/A
O = 8
T = TO
(out)(err)		 S = N/A
O = 76
T = TO
(out)(err)		 S = N/A
O = 65
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
HG-3SAT-V300-C1200-4.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 92
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 28
T = TO
(out)(err)		 S = N/A
O = 7
T = TO
(out)(err)		 S = N/A
O = 74
T = TO
(out)(err)		 S = N/A
O = 63
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-3SAT-V300-C1200-5.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 82
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 24
T = TO
(out)(err)		 S = N/A
O = 6
T = TO
(out)(err)		 S = N/A
O = 73
T = TO
(out)(err)		 S = N/A
O = 63
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-3SAT-V300-C1200-6.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 78
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 34
T = TO
(out)(err)		 S = N/A
O = 6
T = TO
(out)(err)		 S = N/A
O = 74
T = TO
(out)(err)		 S = N/A
O = 66
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
HG-3SAT-V300-C1200-7.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 42
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 29
T = TO
(out)(err)		 S = N/A
O = 6
T = TO
(out)(err)		 S = N/A
O = 75
T = TO
(out)(err)		 S = N/A
O = 63
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
HG-3SAT-V300-C1200-8.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 88
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 27
T = TO
(out)(err)		 S = N/A
O = 8
T = TO
(out)(err)		 S = N/A
O = 77
T = TO
(out)(err)		 S = N/A
O = 58
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-3SAT-V300-C1200-9.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 50
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 26
T = TO
(out)(err)		 S = N/A
O = 8
T = TO
(out)(err)		 S = N/A
O = 72
T = TO
(out)(err)		 S = N/A
O = 65
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-4SAT-V100-C900-14.cnf S = OPT
O = 2
T = 1330.88		 S = OPT
O = 2
T = 1330.88
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 23
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 3
T = TO
(out)(err)		 S = N/A
O = 2
T = TO
(out)(err)		 S = N/A
O = 18
T = TO
(out)(err)		 S = N/A
O = 17
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-4SAT-V100-C900-19.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = 2
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 23
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 3
T = TO
(out)(err)		 S = N/A
O = 2
T = TO
(out)(err)		 S = N/A
O = 17
T = TO
(out)(err)		 S = N/A
O = 17
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-4SAT-V100-C900-2.cnf S = OPT
O = 2
T = 1301.79		 S = OPT
O = 2
T = 1301.79
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 18
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 2
T = TO
(out)(err)		 S = N/A
O = 2
T = TO
(out)(err)		 S = N/A
O = 18
T = TO
(out)(err)		 S = N/A
O = 14
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-4SAT-V100-C900-20.cnf S = OPT
O = 2
T = 1309.72		 S = OPT
O = 2
T = 1309.72
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 8
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 2
T = TO
(out)(err)		 S = N/A
O = 2
T = TO
(out)(err)		 S = N/A
O = 18
T = TO
(out)(err)		 S = N/A
O = 18
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-4SAT-V100-C900-23.cnf S = OPT
O = 2
T = 1195.65		 S = OPT
O = 2
T = 1195.65
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 13
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 2
T = TO
(out)(err)		 S = N/A
O = 2
T = TO
(out)(err)		 S = N/A
O = 20
T = TO
(out)(err)		 S = N/A
O = 14
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
HG-4SAT-V100-C900-4.cnf S = OPT
O = 2
T = 1293.88		 S = OPT
O = 2
T = 1293.88
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 17
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 3
T = TO
(out)(err)		 S = N/A
O = 2
T = TO
(out)(err)		 S = N/A
O = 18
T = TO
(out)(err)		 S = N/A
O = 16
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-4SAT-V100-C900-7.cnf S = OPT
O = 2
T = 1511.73		 S = OPT
O = 2
T = 1511.73
(out)(err)		 S = N/A
O = N/A
T = 90.91
(out)(err)		 S = N/A
O = 16
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 2
T = TO
(out)(err)		 S = N/A
O = 2
T = TO
(out)(err)		 S = N/A
O = 19
T = TO
(out)(err)		 S = N/A
O = 12
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-4SAT-V150-C1350-1.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 31
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 10
T = TO
(out)(err)		 S = N/A
O = 1
T = TO
(out)(err)		 S = N/A
O = 38
T = TO
(out)(err)		 S = N/A
O = 39
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-4SAT-V150-C1350-10.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 26
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 11
T = TO
(out)(err)		 S = N/A
O = 1
T = TO
(out)(err)		 S = N/A
O = 35
T = TO
(out)(err)		 S = N/A
O = 36
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-4SAT-V150-C1350-100.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 27
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 8
T = TO
(out)(err)		 S = N/A
O = 2
T = TO
(out)(err)		 S = N/A
O = 36
T = TO
(out)(err)		 S = N/A
O = 38
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-4SAT-V150-C1350-11.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 26
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 8
T = TO
(out)(err)		 S = N/A
O = 2
T = TO
(out)(err)		 S = N/A
O = 37
T = TO
(out)(err)		 S = N/A
O = 37
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-4SAT-V150-C1350-12.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 26
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 8
T = TO
(out)(err)		 S = N/A
O = 2
T = TO
(out)(err)		 S = N/A
O = 37
T = TO
(out)(err)		 S = N/A
O = 37
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
HG-4SAT-V150-C1350-13.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 28
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 7
T = TO
(out)(err)		 S = N/A
O = 2
T = TO
(out)(err)		 S = N/A
O = 37
T = TO
(out)(err)		 S = N/A
O = 37
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-4SAT-V150-C1350-14.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 31
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 10
T = TO
(out)(err)		 S = N/A
O = 2
T = TO
(out)(err)		 S = N/A
O = 36
T = TO
(out)(err)		 S = N/A
O = 34
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-4SAT-V150-C1350-15.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 33
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 13
T = TO
(out)(err)		 S = N/A
O = 1
T = TO
(out)(err)		 S = N/A
O = 37
T = TO
(out)(err)		 S = N/A
O = 38
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-4SAT-V150-C1350-16.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 56
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 8
T = TO
(out)(err)		 S = N/A
O = 2
T = TO
(out)(err)		 S = N/A
O = 37
T = TO
(out)(err)		 S = N/A
O = 37
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
HG-4SAT-V150-C1350-17.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 20
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 10
T = TO
(out)(err)		 S = N/A
O = 3
T = TO
(out)(err)		 S = N/A
O = 37
T = TO
(out)(err)		 S = N/A
O = 34
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-4SAT-V150-C1350-18.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 28
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 89.80
(out)(err)		 S = N/A
O = 8
T = TO
(out)(err)		 S = N/A
O = 2
T = TO
(out)(err)		 S = N/A
O = 33
T = TO
(out)(err)		 S = N/A
O = 36
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-4SAT-V150-C1350-19.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 32
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 8
T = TO
(out)(err)		 S = N/A
O = 1
T = TO
(out)(err)		 S = N/A
O = 36
T = TO
(out)(err)		 S = N/A
O = 33
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-4SAT-V150-C1350-2.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 46
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 7
T = TO
(out)(err)		 S = N/A
O = 1
T = TO
(out)(err)		 S = N/A
O = 37
T = TO
(out)(err)		 S = N/A
O = 35
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-4SAT-V150-C1350-20.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 25
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 10
T = TO
(out)(err)		 S = N/A
O = 2
T = TO
(out)(err)		 S = N/A
O = 37
T = TO
(out)(err)		 S = N/A
O = 34
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-4SAT-V150-C1350-21.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 33
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 9
T = TO
(out)(err)		 S = N/A
O = 2
T = TO
(out)(err)		 S = N/A
O = 36
T = TO
(out)(err)		 S = N/A
O = 38
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-4SAT-V150-C1350-22.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 30
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 7
T = TO
(out)(err)		 S = N/A
O = 1
T = TO
(out)(err)		 S = N/A
O = 35
T = TO
(out)(err)		 S = N/A
O = 31
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
HG-4SAT-V150-C1350-23.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 29
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 9
T = TO
(out)(err)		 S = N/A
O = 2
T = TO
(out)(err)		 S = N/A
O = 38
T = TO
(out)(err)		 S = N/A
O = 35
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-4SAT-V150-C1350-24.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 34
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 84.88
(out)(err)		 S = N/A
O = 9
T = TO
(out)(err)		 S = N/A
O = 2
T = TO
(out)(err)		 S = N/A
O = 36
T = TO
(out)(err)		 S = N/A
O = 35
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-4SAT-V150-C1350-3.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 24
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 7
T = TO
(out)(err)		 S = N/A
O = 1
T = TO
(out)(err)		 S = N/A
O = 35
T = TO
(out)(err)		 S = N/A
O = 29
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
HG-4SAT-V150-C1350-4.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 33
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 6
T = TO
(out)(err)		 S = N/A
O = 1
T = TO
(out)(err)		 S = N/A
O = 37
T = TO
(out)(err)		 S = N/A
O = 36
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-4SAT-V150-C1350-5.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 31
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 8
T = TO
(out)(err)		 S = N/A
O = 2
T = TO
(out)(err)		 S = N/A
O = 38
T = TO
(out)(err)		 S = N/A
O = 40
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-4SAT-V150-C1350-6.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 27
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 7
T = TO
(out)(err)		 S = N/A
O = 1
T = TO
(out)(err)		 S = N/A
O = 36
T = TO
(out)(err)		 S = N/A
O = 38
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-4SAT-V150-C1350-7.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 23
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 10
T = TO
(out)(err)		 S = N/A
O = 2
T = TO
(out)(err)		 S = N/A
O = 37
T = TO
(out)(err)		 S = N/A
O = 33
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
HG-4SAT-V150-C1350-8.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 32
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 8
T = TO
(out)(err)		 S = N/A
O = 2
T = TO
(out)(err)		 S = N/A
O = 37
T = TO
(out)(err)		 S = N/A
O = 31
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
HG-4SAT-V150-C1350-9.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 31
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 6
T = TO
(out)(err)		 S = N/A
O = 2
T = TO
(out)(err)		 S = N/A
O = 35
T = TO
(out)(err)		 S = N/A
O = 37
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v120c1200-1.cnf S = OPT
O = 161
T = 17.14		 S = OPT
O = 161
T = 156.36
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 239
T = TO
(out)(err)		 S = OPT
O = 161
T = 54.12
(out)(err)		 S = OPT
O = 161
T = 56.03
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 161
T = 21.78
(out)(err)		 S = OPT
O = 161
T = 17.14
(out)(err)		 S = N/A
O = 209
T = TO
(out)(err)		 S = N/A
O = 227
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v120c1200-10.cnf S = OPT
O = 154
T = 4.27		 S = OPT
O = 154
T = 23.14
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 238
T = TO
(out)(err)		 S = OPT
O = 154
T = 11.71
(out)(err)		 S = OPT
O = 154
T = 9.20
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 154
T = 10.45
(out)(err)		 S = OPT
O = 154
T = 4.27
(out)(err)		 S = N/A
O = 199
T = TO
(out)(err)		 S = N/A
O = 216
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s2v120c1200-2.cnf S = OPT
O = 159
T = 16.43		 S = OPT
O = 159
T = 178.42
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 245
T = TO
(out)(err)		 S = OPT
O = 159
T = 55.16
(out)(err)		 S = OPT
O = 159
T = 75.65
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 159
T = 44.98
(out)(err)		 S = OPT
O = 159
T = 16.43
(out)(err)		 S = N/A
O = 209
T = TO
(out)(err)		 S = N/A
O = 223
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v120c1200-3.cnf S = OPT
O = 160
T = 5.84		 S = OPT
O = 160
T = 68.26
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 264
T = TO
(out)(err)		 S = OPT
O = 160
T = 20.75
(out)(err)		 S = OPT
O = 160
T = 13.78
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 160
T = 9.64
(out)(err)		 S = OPT
O = 160
T = 5.84
(out)(err)		 S = N/A
O = 210
T = TO
(out)(err)		 S = N/A
O = 224
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v120c1200-4.cnf S = OPT
O = 157
T = 8.02		 S = OPT
O = 157
T = 44.12
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 251
T = TO
(out)(err)		 S = OPT
O = 157
T = 16.39
(out)(err)		 S = OPT
O = 157
T = 16.11
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 157
T = 8.02
(out)(err)		 S = OPT
O = 157
T = 8.38
(out)(err)		 S = N/A
O = 201
T = TO
(out)(err)		 S = N/A
O = 224
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v120c1200-5.cnf S = OPT
O = 143
T = 3.23		 S = OPT
O = 143
T = 25.60
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 220
T = TO
(out)(err)		 S = OPT
O = 143
T = 15.39
(out)(err)		 S = OPT
O = 143
T = 12.36
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 143
T = 5.07
(out)(err)		 S = OPT
O = 143
T = 3.23
(out)(err)		 S = N/A
O = 180
T = TO
(out)(err)		 S = N/A
O = 197
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v120c1200-6.cnf S = OPT
O = 167
T = 19.67		 S = OPT
O = 167
T = 146.41
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 265
T = TO
(out)(err)		 S = OPT
O = 167
T = 72.84
(out)(err)		 S = OPT
O = 167
T = 76.10
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 167
T = 24.26
(out)(err)		 S = OPT
O = 167
T = 19.67
(out)(err)		 S = N/A
O = 211
T = TO
(out)(err)		 S = N/A
O = 227
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s2v120c1200-7.cnf S = OPT
O = 162
T = 17.49		 S = OPT
O = 162
T = 111.15
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 247
T = TO
(out)(err)		 S = OPT
O = 162
T = 41.38
(out)(err)		 S = OPT
O = 162
T = 34.05
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 162
T = 17.49
(out)(err)		 S = OPT
O = 162
T = 19.11
(out)(err)		 S = N/A
O = 211
T = TO
(out)(err)		 S = N/A
O = 226
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v120c1200-8.cnf S = OPT
O = 165
T = 52.98		 S = OPT
O = 165
T = 333.06
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 259
T = TO
(out)(err)		 S = OPT
O = 165
T = 288.32
(out)(err)		 S = OPT
O = 165
T = 197.42
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 165
T = 57.02
(out)(err)		 S = OPT
O = 165
T = 52.98
(out)(err)		 S = N/A
O = 212
T = TO
(out)(err)		 S = N/A
O = 228
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s2v120c1200-9.cnf S = OPT
O = 148
T = 3.79		 S = OPT
O = 148
T = 29.36
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 244
T = TO
(out)(err)		 S = OPT
O = 148
T = 7.51
(out)(err)		 S = OPT
O = 148
T = 6.68
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 148
T = 4.12
(out)(err)		 S = OPT
O = 148
T = 3.79
(out)(err)		 S = N/A
O = 192
T = TO
(out)(err)		 S = N/A
O = 219
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v120c1300-1.cnf S = OPT
O = 180
T = 35.76		 S = OPT
O = 180
T = 308.06
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 291
T = TO
(out)(err)		 S = OPT
O = 180
T = 124.03
(out)(err)		 S = OPT
O = 180
T = 117.53
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 180
T = 36.64
(out)(err)		 S = OPT
O = 180
T = 35.76
(out)(err)		 S = N/A
O = 223
T = TO
(out)(err)		 S = N/A
O = 236
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v120c1300-10.cnf S = OPT
O = 180
T = 33.39		 S = OPT
O = 180
T = 228.76
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 258
T = TO
(out)(err)		 S = OPT
O = 180
T = 58.89
(out)(err)		 S = OPT
O = 180
T = 72.93
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 180
T = 53.50
(out)(err)		 S = OPT
O = 180
T = 33.39
(out)(err)		 S = N/A
O = 227
T = TO
(out)(err)		 S = N/A
O = 241
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v120c1300-2.cnf S = OPT
O = 172
T = 14.52		 S = OPT
O = 172
T = 102.53
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 262
T = TO
(out)(err)		 S = OPT
O = 172
T = 37.41
(out)(err)		 S = OPT
O = 172
T = 46.61
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 172
T = 22.24
(out)(err)		 S = OPT
O = 172
T = 14.52
(out)(err)		 S = N/A
O = 223
T = TO
(out)(err)		 S = N/A
O = 242
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s2v120c1300-3.cnf S = OPT
O = 173
T = 17.74		 S = OPT
O = 173
T = 115.08
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 260
T = TO
(out)(err)		 S = OPT
O = 173
T = 67.03
(out)(err)		 S = OPT
O = 173
T = 62.10
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 173
T = 31.11
(out)(err)		 S = OPT
O = 173
T = 17.74
(out)(err)		 S = N/A
O = 221
T = TO
(out)(err)		 S = N/A
O = 243
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v120c1300-4.cnf S = OPT
O = 176
T = 16.77		 S = OPT
O = 176
T = 209.66
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 265
T = TO
(out)(err)		 S = OPT
O = 176
T = 50.43
(out)(err)		 S = OPT
O = 176
T = 34.44
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 176
T = 22.65
(out)(err)		 S = OPT
O = 176
T = 16.77
(out)(err)		 S = N/A
O = 226
T = TO
(out)(err)		 S = N/A
O = 245
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s2v120c1300-5.cnf S = OPT
O = 168
T = 5.87		 S = OPT
O = 168
T = 43.66
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 247
T = TO
(out)(err)		 S = OPT
O = 168
T = 30.77
(out)(err)		 S = OPT
O = 168
T = 28.48
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 168
T = 16.82
(out)(err)		 S = OPT
O = 168
T = 5.87
(out)(err)		 S = N/A
O = 222
T = TO
(out)(err)		 S = N/A
O = 233
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s2v120c1300-6.cnf S = OPT
O = 180
T = 19.62		 S = OPT
O = 180
T = 125.72
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 249
T = TO
(out)(err)		 S = OPT
O = 180
T = 60.21
(out)(err)		 S = OPT
O = 180
T = 64.46
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 180
T = 32.02
(out)(err)		 S = OPT
O = 180
T = 19.62
(out)(err)		 S = N/A
O = 229
T = TO
(out)(err)		 S = N/A
O = 232
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v120c1300-7.cnf S = OPT
O = 169
T = 4.78		 S = OPT
O = 169
T = 58.29
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 266
T = TO
(out)(err)		 S = OPT
O = 169
T = 10.90
(out)(err)		 S = OPT
O = 169
T = 15.17
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 169
T = 17.56
(out)(err)		 S = OPT
O = 169
T = 4.78
(out)(err)		 S = N/A
O = 223
T = TO
(out)(err)		 S = N/A
O = 246
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v120c1300-8.cnf S = OPT
O = 174
T = 7.26		 S = OPT
O = 174
T = 81.91
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 272
T = TO
(out)(err)		 S = OPT
O = 174
T = 20.44
(out)(err)		 S = OPT
O = 174
T = 22.08
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 174
T = 14.69
(out)(err)		 S = OPT
O = 174
T = 7.26
(out)(err)		 S = N/A
O = 227
T = TO
(out)(err)		 S = N/A
O = 245
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s2v120c1300-9.cnf S = OPT
O = 186
T = 79.83		 S = OPT
O = 186
T = 398.83
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 269
T = TO
(out)(err)		 S = OPT
O = 186
T = 194.48
(out)(err)		 S = OPT
O = 186
T = 183.47
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 186
T = 103.37
(out)(err)		 S = OPT
O = 186
T = 79.83
(out)(err)		 S = N/A
O = 238
T = TO
(out)(err)		 S = N/A
O = 254
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v120c1400-1.cnf S = OPT
O = 197
T = 36.94		 S = OPT
O = 197
T = 446.31
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 278
T = TO
(out)(err)		 S = OPT
O = 197
T = 146.21
(out)(err)		 S = OPT
O = 197
T = 140.91
(out)(err)		 S = N/A
O = N/A
T = 494.32
(out)(err)		 S = OPT
O = 197
T = 74.69
(out)(err)		 S = OPT
O = 197
T = 36.94
(out)(err)		 S = N/A
O = 252
T = TO
(out)(err)		 S = N/A
O = 264
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s2v120c1400-10.cnf S = OPT
O = 211
T = 288.00		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 319
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 211
T = 519.53
(out)(err)		 S = OPT
O = 211
T = 288.00
(out)(err)		 S = N/A
O = 258
T = TO
(out)(err)		 S = N/A
O = 274
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s2v120c1400-2.cnf S = OPT
O = 191
T = 23.47		 S = OPT
O = 191
T = 237.18
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 334
T = TO
(out)(err)		 S = OPT
O = 191
T = 79.15
(out)(err)		 S = OPT
O = 191
T = 78.45
(out)(err)		 S = N/A
O = N/A
T = 322.60
(out)(err)		 S = OPT
O = 191
T = 28.24
(out)(err)		 S = OPT
O = 191
T = 23.47
(out)(err)		 S = N/A
O = 250
T = TO
(out)(err)		 S = N/A
O = 275
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s2v120c1400-3.cnf S = OPT
O = 189
T = 21.80		 S = OPT
O = 189
T = 175.72
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 292
T = TO
(out)(err)		 S = OPT
O = 189
T = 45.77
(out)(err)		 S = OPT
O = 189
T = 37.97
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 189
T = 41.89
(out)(err)		 S = OPT
O = 189
T = 21.80
(out)(err)		 S = N/A
O = 245
T = TO
(out)(err)		 S = N/A
O = 262
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v120c1400-4.cnf S = OPT
O = 200
T = 45.97		 S = OPT
O = 200
T = 1284.86
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 304
T = TO
(out)(err)		 S = OPT
O = 200
T = 1051.47
(out)(err)		 S = OPT
O = 200
T = 1114.38
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 200
T = 45.97
(out)(err)		 S = OPT
O = 200
T = 62.53
(out)(err)		 S = N/A
O = 256
T = TO
(out)(err)		 S = N/A
O = 270
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v120c1400-5.cnf S = OPT
O = 199
T = 22.60		 S = OPT
O = 199
T = 383.15
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 292
T = TO
(out)(err)		 S = OPT
O = 199
T = 163.88
(out)(err)		 S = OPT
O = 199
T = 140.70
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 199
T = 68.49
(out)(err)		 S = OPT
O = 199
T = 22.60
(out)(err)		 S = N/A
O = 255
T = TO
(out)(err)		 S = N/A
O = 265
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v120c1400-6.cnf S = OPT
O = 196
T = 24.87		 S = OPT
O = 196
T = 223.73
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 284
T = TO
(out)(err)		 S = OPT
O = 196
T = 110.25
(out)(err)		 S = OPT
O = 196
T = 75.50
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 196
T = 39.49
(out)(err)		 S = OPT
O = 196
T = 24.87
(out)(err)		 S = N/A
O = 252
T = TO
(out)(err)		 S = N/A
O = 273
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v120c1400-7.cnf S = OPT
O = 206
T = 148.40		 S = OPT
O = 206
T = 1549.82
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 294
T = TO
(out)(err)		 S = OPT
O = 206
T = 456.52
(out)(err)		 S = OPT
O = 206
T = 1592.14
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 206
T = 172.92
(out)(err)		 S = OPT
O = 206
T = 148.40
(out)(err)		 S = N/A
O = 260
T = TO
(out)(err)		 S = N/A
O = 276
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v120c1400-8.cnf S = OPT
O = 194
T = 70.25		 S = OPT
O = 194
T = 547.73
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 290
T = TO
(out)(err)		 S = OPT
O = 194
T = 303.82
(out)(err)		 S = OPT
O = 194
T = 306.36
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 194
T = 86.72
(out)(err)		 S = OPT
O = 194
T = 70.25
(out)(err)		 S = N/A
O = 239
T = TO
(out)(err)		 S = N/A
O = 268
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v120c1400-9.cnf S = OPT
O = 198
T = 19.80		 S = OPT
O = 198
T = 252.25
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 309
T = TO
(out)(err)		 S = OPT
O = 198
T = 114.64
(out)(err)		 S = OPT
O = 198
T = 92.11
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 198
T = 19.80
(out)(err)		 S = OPT
O = 198
T = 23.09
(out)(err)		 S = N/A
O = 257
T = TO
(out)(err)		 S = N/A
O = 269
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s2v120c1500-1.cnf S = OPT
O = 211
T = 18.04		 S = OPT
O = 211
T = 202.89
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 314
T = TO
(out)(err)		 S = OPT
O = 211
T = 212.35
(out)(err)		 S = OPT
O = 211
T = 167.73
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 211
T = 25.07
(out)(err)		 S = OPT
O = 211
T = 18.04
(out)(err)		 S = N/A
O = 272
T = TO
(out)(err)		 S = N/A
O = 293
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s2v120c1500-10.cnf S = OPT
O = 213
T = 19.03		 S = OPT
O = 213
T = 1537.42
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 296
T = TO
(out)(err)		 S = OPT
O = 213
T = 270.70
(out)(err)		 S = OPT
O = 213
T = 226.02
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 213
T = 118.08
(out)(err)		 S = OPT
O = 213
T = 19.03
(out)(err)		 S = N/A
O = 274
T = TO
(out)(err)		 S = N/A
O = 291
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v120c1500-2.cnf S = OPT
O = 213
T = 49.63		 S = OPT
O = 213
T = 638.09
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 316
T = TO
(out)(err)		 S = OPT
O = 213
T = 179.46
(out)(err)		 S = OPT
O = 213
T = 209.72
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 213
T = 88.39
(out)(err)		 S = OPT
O = 213
T = 49.63
(out)(err)		 S = N/A
O = 263
T = TO
(out)(err)		 S = N/A
O = 297
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v120c1500-3.cnf S = OPT
O = 207
T = 13.06		 S = OPT
O = 207
T = 154.49
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 336
T = TO
(out)(err)		 S = OPT
O = 207
T = 159.67
(out)(err)		 S = OPT
O = 207
T = 82.91
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 207
T = 26.48
(out)(err)		 S = OPT
O = 207
T = 13.06
(out)(err)		 S = N/A
O = 260
T = TO
(out)(err)		 S = N/A
O = 287
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s2v120c1500-4.cnf S = OPT
O = 212
T = 119.21		 S = OPT
O = 212
T = 1007.77
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 268
T = TO
(out)(err)		 S = OPT
O = 212
T = 525.54
(out)(err)		 S = OPT
O = 212
T = 592.83
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 212
T = 166.30
(out)(err)		 S = OPT
O = 212
T = 119.21
(out)(err)		 S = N/A
O = 265
T = TO
(out)(err)		 S = N/A
O = 267
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v120c1500-5.cnf S = OPT
O = 233
T = 351.84		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 339
T = TO
(out)(err)		 S = OPT
O = 233
T = 1322.64
(out)(err)		 S = OPT
O = 233
T = 1694.96
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 233
T = 717.46
(out)(err)		 S = OPT
O = 233
T = 351.84
(out)(err)		 S = N/A
O = 288
T = TO
(out)(err)		 S = N/A
O = 298
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s2v120c1500-6.cnf S = OPT
O = 209
T = 24.28		 S = OPT
O = 209
T = 212.41
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 325
T = TO
(out)(err)		 S = OPT
O = 209
T = 76.69
(out)(err)		 S = OPT
O = 209
T = 70.45
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 209
T = 24.77
(out)(err)		 S = OPT
O = 209
T = 24.28
(out)(err)		 S = N/A
O = 261
T = TO
(out)(err)		 S = N/A
O = 300
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v120c1500-7.cnf S = OPT
O = 216
T = 97.74		 S = OPT
O = 216
T = 1113.59
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 294
T = TO
(out)(err)		 S = OPT
O = 216
T = 388.90
(out)(err)		 S = OPT
O = 216
T = 442.94
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 216
T = 153.96
(out)(err)		 S = OPT
O = 216
T = 97.74
(out)(err)		 S = N/A
O = 272
T = TO
(out)(err)		 S = N/A
O = 288
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v120c1500-8.cnf S = OPT
O = 212
T = 21.82		 S = OPT
O = 212
T = 379.57
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 306
T = TO
(out)(err)		 S = OPT
O = 212
T = 184.07
(out)(err)		 S = OPT
O = 212
T = 221.21
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 212
T = 35.55
(out)(err)		 S = OPT
O = 212
T = 21.82
(out)(err)		 S = N/A
O = 276
T = TO
(out)(err)		 S = N/A
O = 289
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v120c1500-9.cnf S = OPT
O = 223
T = 141.71		 S = OPT
O = 223
T = 869.88
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 293
T = TO
(out)(err)		 S = OPT
O = 223
T = 328.76
(out)(err)		 S = OPT
O = 223
T = 330.35
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 223
T = 141.71
(out)(err)		 S = OPT
O = 223
T = 147.63
(out)(err)		 S = N/A
O = 274
T = TO
(out)(err)		 S = N/A
O = 294
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v120c1600-1.cnf S = OPT
O = 233
T = 53.47		 S = OPT
O = 233
T = 941.17
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 352
T = TO
(out)(err)		 S = OPT
O = 233
T = 450.25
(out)(err)		 S = OPT
O = 233
T = 423.11
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 233
T = 76.07
(out)(err)		 S = OPT
O = 233
T = 53.47
(out)(err)		 S = N/A
O = 294
T = TO
(out)(err)		 S = N/A
O = 316
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v120c1600-10.cnf S = OPT
O = 233
T = 66.46		 S = OPT
O = 233
T = 879.77
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 367
T = TO
(out)(err)		 S = OPT
O = 233
T = 242.01
(out)(err)		 S = OPT
O = 233
T = 270.84
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 233
T = 92.57
(out)(err)		 S = OPT
O = 233
T = 66.46
(out)(err)		 S = N/A
O = 290
T = TO
(out)(err)		 S = N/A
O = 308
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v120c1600-2.cnf S = OPT
O = 239
T = 183.34		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 356
T = TO
(out)(err)		 S = OPT
O = 239
T = 653.75
(out)(err)		 S = OPT
O = 239
T = 670.20
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 239
T = 239.40
(out)(err)		 S = OPT
O = 239
T = 183.34
(out)(err)		 S = N/A
O = 300
T = TO
(out)(err)		 S = N/A
O = 324
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s2v120c1600-3.cnf S = OPT
O = 233
T = 71.29		 S = OPT
O = 233
T = 887.32
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 339
T = TO
(out)(err)		 S = OPT
O = 233
T = 267.23
(out)(err)		 S = OPT
O = 233
T = 237.71
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 233
T = 73.49
(out)(err)		 S = OPT
O = 233
T = 71.29
(out)(err)		 S = N/A
O = 289
T = TO
(out)(err)		 S = N/A
O = 314
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v120c1600-4.cnf S = OPT
O = 219
T = 8.31		 S = OPT
O = 219
T = 119.26
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 326
T = TO
(out)(err)		 S = OPT
O = 219
T = 29.24
(out)(err)		 S = OPT
O = 219
T = 53.82
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 219
T = 10.19
(out)(err)		 S = OPT
O = 219
T = 8.31
(out)(err)		 S = N/A
O = 276
T = TO
(out)(err)		 S = N/A
O = 301
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s2v120c1600-5.cnf S = OPT
O = 247
T = 545.66		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 347
T = TO
(out)(err)		 S = OPT
O = 247
T = 1560.27
(out)(err)		 S = OPT
O = 247
T = 1452.31
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 247
T = 662.76
(out)(err)		 S = OPT
O = 247
T = 545.66
(out)(err)		 S = N/A
O = 302
T = TO
(out)(err)		 S = N/A
O = 315
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v120c1600-6.cnf S = OPT
O = 235
T = 144.08		 S = OPT
O = 235
T = 1375.90
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 342
T = TO
(out)(err)		 S = OPT
O = 235
T = 539.80
(out)(err)		 S = OPT
O = 235
T = 513.64
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 235
T = 167.91
(out)(err)		 S = OPT
O = 235
T = 144.08
(out)(err)		 S = N/A
O = 295
T = TO
(out)(err)		 S = N/A
O = 328
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s2v120c1600-7.cnf S = OPT
O = 225
T = 27.32		 S = OPT
O = 225
T = 375.84
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 343
T = TO
(out)(err)		 S = OPT
O = 225
T = 202.15
(out)(err)		 S = OPT
O = 225
T = 169.13
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 225
T = 27.32
(out)(err)		 S = OPT
O = 225
T = 28.94
(out)(err)		 S = N/A
O = 288
T = TO
(out)(err)		 S = N/A
O = 313
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v120c1600-8.cnf S = OPT
O = 237
T = 40.00		 S = OPT
O = 237
T = 541.40
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 363
T = TO
(out)(err)		 S = OPT
O = 237
T = 106.95
(out)(err)		 S = OPT
O = 237
T = 95.74
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 237
T = 40.00
(out)(err)		 S = OPT
O = 237
T = 42.46
(out)(err)		 S = N/A
O = 296
T = TO
(out)(err)		 S = N/A
O = 314
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v120c1600-9.cnf S = OPT
O = 240
T = 169.65		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 356
T = TO
(out)(err)		 S = OPT
O = 240
T = 709.23
(out)(err)		 S = OPT
O = 240
T = 727.26
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 240
T = 185.45
(out)(err)		 S = OPT
O = 240
T = 169.65
(out)(err)		 S = N/A
O = 304
T = TO
(out)(err)		 S = N/A
O = 316
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s2v140c1200-1.cnf S = OPT
O = 144
T = 23.56		 S = OPT
O = 144
T = 110.33
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 197
T = TO
(out)(err)		 S = OPT
O = 144
T = 42.88
(out)(err)		 S = OPT
O = 144
T = 31.24
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 144
T = 25.50
(out)(err)		 S = OPT
O = 144
T = 23.56
(out)(err)		 S = N/A
O = 194
T = TO
(out)(err)		 S = N/A
O = 211
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v140c1200-10.cnf S = OPT
O = 140
T = 10.58		 S = OPT
O = 140
T = 89.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 201
T = TO
(out)(err)		 S = OPT
O = 140
T = 48.80
(out)(err)		 S = OPT
O = 140
T = 25.13
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 140
T = 23.02
(out)(err)		 S = OPT
O = 140
T = 10.58
(out)(err)		 S = N/A
O = 197
T = TO
(out)(err)		 S = N/A
O = 196
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v140c1200-2.cnf S = OPT
O = 155
T = 367.72		 S = OPT
O = 155
T = 1673.36
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 252
T = TO
(out)(err)		 S = OPT
O = 155
T = 645.26
(out)(err)		 S = OPT
O = 155
T = 521.49
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 155
T = 433.37
(out)(err)		 S = OPT
O = 155
T = 367.72
(out)(err)		 S = N/A
O = 199
T = TO
(out)(err)		 S = N/A
O = 221
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v140c1200-3.cnf S = OPT
O = 155
T = 52.04		 S = OPT
O = 155
T = 261.55
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 248
T = TO
(out)(err)		 S = OPT
O = 155
T = 126.01
(out)(err)		 S = OPT
O = 155
T = 125.75
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 155
T = 101.66
(out)(err)		 S = OPT
O = 155
T = 52.04
(out)(err)		 S = N/A
O = 209
T = TO
(out)(err)		 S = N/A
O = 219
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v140c1200-4.cnf S = OPT
O = 148
T = 58.72		 S = OPT
O = 148
T = 385.63
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 214
T = TO
(out)(err)		 S = OPT
O = 148
T = 153.24
(out)(err)		 S = OPT
O = 148
T = 118.17
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 148
T = 114.10
(out)(err)		 S = OPT
O = 148
T = 58.72
(out)(err)		 S = N/A
O = 200
T = TO
(out)(err)		 S = N/A
O = 209
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v140c1200-5.cnf S = OPT
O = 143
T = 75.17		 S = OPT
O = 143
T = 297.23
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 217
T = TO
(out)(err)		 S = OPT
O = 143
T = 154.91
(out)(err)		 S = OPT
O = 143
T = 111.93
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 143
T = 89.17
(out)(err)		 S = OPT
O = 143
T = 75.17
(out)(err)		 S = N/A
O = 184
T = TO
(out)(err)		 S = N/A
O = 208
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s2v140c1200-6.cnf S = OPT
O = 148
T = 49.46		 S = OPT
O = 148
T = 224.41
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 234
T = TO
(out)(err)		 S = OPT
O = 148
T = 189.87
(out)(err)		 S = OPT
O = 148
T = 110.77
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 148
T = 78.69
(out)(err)		 S = OPT
O = 148
T = 49.46
(out)(err)		 S = N/A
O = 201
T = TO
(out)(err)		 S = N/A
O = 207
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v140c1200-7.cnf S = OPT
O = 148
T = 109.23		 S = OPT
O = 148
T = 505.24
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 232
T = TO
(out)(err)		 S = OPT
O = 148
T = 179.20
(out)(err)		 S = OPT
O = 148
T = 162.58
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 148
T = 109.23
(out)(err)		 S = OPT
O = 148
T = 109.28
(out)(err)		 S = N/A
O = 200
T = TO
(out)(err)		 S = N/A
O = 216
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v140c1200-8.cnf S = OPT
O = 152
T = 93.63		 S = OPT
O = 152
T = 901.19
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 247
T = TO
(out)(err)		 S = OPT
O = 152
T = 197.99
(out)(err)		 S = OPT
O = 152
T = 185.19
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 152
T = 93.63
(out)(err)		 S = OPT
O = 152
T = 99.61
(out)(err)		 S = N/A
O = 205
T = TO
(out)(err)		 S = N/A
O = 222
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s2v140c1200-9.cnf S = OPT
O = 151
T = 182.01		 S = OPT
O = 151
T = 1247.66
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 218
T = TO
(out)(err)		 S = OPT
O = 151
T = 458.19
(out)(err)		 S = OPT
O = 151
T = 298.17
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 151
T = 191.40
(out)(err)		 S = OPT
O = 151
T = 182.01
(out)(err)		 S = N/A
O = 205
T = TO
(out)(err)		 S = N/A
O = 214
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s2v140c1300-1.cnf S = OPT
O = 162
T = 62.18		 S = OPT
O = 162
T = 620.93
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 235
T = TO
(out)(err)		 S = OPT
O = 162
T = 141.49
(out)(err)		 S = OPT
O = 162
T = 233.93
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 162
T = 79.20
(out)(err)		 S = OPT
O = 162
T = 62.18
(out)(err)		 S = N/A
O = 211
T = TO
(out)(err)		 S = N/A
O = 226
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v140c1300-10.cnf S = OPT
O = 170
T = 218.88		 S = OPT
O = 170
T = 584.29
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 259
T = TO
(out)(err)		 S = OPT
O = 170
T = 368.54
(out)(err)		 S = OPT
O = 170
T = 512.37
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 170
T = 218.88
(out)(err)		 S = OPT
O = 170
T = 226.48
(out)(err)		 S = N/A
O = 224
T = TO
(out)(err)		 S = N/A
O = 237
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v140c1300-2.cnf S = OPT
O = 171
T = 325.95		 S = OPT
O = 171
T = 1565.77
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 260
T = TO
(out)(err)		 S = OPT
O = 171
T = 883.82
(out)(err)		 S = OPT
O = 171
T = 882.30
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 171
T = 330.45
(out)(err)		 S = OPT
O = 171
T = 325.95
(out)(err)		 S = N/A
O = 223
T = TO
(out)(err)		 S = N/A
O = 248
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v140c1300-3.cnf S = OPT
O = 168
T = 115.94		 S = OPT
O = 168
T = 827.10
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 273
T = TO
(out)(err)		 S = OPT
O = 168
T = 304.16
(out)(err)		 S = OPT
O = 168
T = 248.69
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 168
T = 122.50
(out)(err)		 S = OPT
O = 168
T = 115.94
(out)(err)		 S = N/A
O = 220
T = TO
(out)(err)		 S = N/A
O = 240
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s2v140c1300-4.cnf S = OPT
O = 164
T = 24.70		 S = OPT
O = 164
T = 402.32
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 245
T = TO
(out)(err)		 S = OPT
O = 164
T = 111.59
(out)(err)		 S = OPT
O = 164
T = 112.31
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 164
T = 36.44
(out)(err)		 S = OPT
O = 164
T = 24.70
(out)(err)		 S = N/A
O = 226
T = TO
(out)(err)		 S = N/A
O = 234
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v140c1300-5.cnf S = OPT
O = 169
T = 225.99		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 247
T = TO
(out)(err)		 S = OPT
O = 169
T = 941.38
(out)(err)		 S = OPT
O = 169
T = 650.15
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 169
T = 317.36
(out)(err)		 S = OPT
O = 169
T = 225.99
(out)(err)		 S = N/A
O = 222
T = TO
(out)(err)		 S = N/A
O = 235
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v140c1300-6.cnf S = OPT
O = 168
T = 63.34		 S = OPT
O = 168
T = 455.91
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 269
T = TO
(out)(err)		 S = OPT
O = 168
T = 235.23
(out)(err)		 S = OPT
O = 168
T = 181.60
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 168
T = 78.23
(out)(err)		 S = OPT
O = 168
T = 63.34
(out)(err)		 S = N/A
O = 229
T = TO
(out)(err)		 S = N/A
O = 240
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s2v140c1300-7.cnf S = OPT
O = 160
T = 26.37		 S = OPT
O = 160
T = 155.35
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 244
T = TO
(out)(err)		 S = OPT
O = 160
T = 76.58
(out)(err)		 S = OPT
O = 160
T = 91.86
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 160
T = 31.58
(out)(err)		 S = OPT
O = 160
T = 26.37
(out)(err)		 S = N/A
O = 219
T = TO
(out)(err)		 S = N/A
O = 245
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v140c1300-8.cnf S = OPT
O = 157
T = 20.76		 S = OPT
O = 157
T = 111.97
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 280
T = TO
(out)(err)		 S = OPT
O = 157
T = 51.60
(out)(err)		 S = OPT
O = 157
T = 32.77
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 157
T = 32.05
(out)(err)		 S = OPT
O = 157
T = 20.76
(out)(err)		 S = N/A
O = 220
T = TO
(out)(err)		 S = N/A
O = 235
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v140c1300-9.cnf S = OPT
O = 162
T = 51.72		 S = OPT
O = 162
T = 350.19
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 265
T = TO
(out)(err)		 S = OPT
O = 162
T = 125.54
(out)(err)		 S = OPT
O = 162
T = 110.79
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 162
T = 69.24
(out)(err)		 S = OPT
O = 162
T = 51.72
(out)(err)		 S = N/A
O = 219
T = TO
(out)(err)		 S = N/A
O = 238
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v140c1400-1.cnf S = OPT
O = 182
T = 109.15		 S = OPT
O = 182
T = 930.90
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 265
T = TO
(out)(err)		 S = OPT
O = 182
T = 333.12
(out)(err)		 S = OPT
O = 182
T = 244.22
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 182
T = 203.47
(out)(err)		 S = OPT
O = 182
T = 109.15
(out)(err)		 S = N/A
O = 244
T = TO
(out)(err)		 S = N/A
O = 256
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v140c1400-10.cnf S = OPT
O = 188
T = 269.16		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 270
T = TO
(out)(err)		 S = OPT
O = 188
T = 610.04
(out)(err)		 S = OPT
O = 188
T = 667.51
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 188
T = 671.99
(out)(err)		 S = OPT
O = 188
T = 269.16
(out)(err)		 S = N/A
O = 254
T = TO
(out)(err)		 S = N/A
O = 264
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v140c1400-2.cnf S = OPT
O = 178
T = 60.94		 S = OPT
O = 178
T = 1171.50
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 315
T = TO
(out)(err)		 S = OPT
O = 178
T = 232.79
(out)(err)		 S = OPT
O = 178
T = 139.05
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 178
T = 81.99
(out)(err)		 S = OPT
O = 178
T = 60.94
(out)(err)		 S = N/A
O = 246
T = TO
(out)(err)		 S = N/A
O = 267
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s2v140c1400-3.cnf S = OPT
O = 193
T = 269.93		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 290
T = TO
(out)(err)		 S = OPT
O = 193
T = 790.09
(out)(err)		 S = OPT
O = 193
T = 596.64
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 193
T = 693.99
(out)(err)		 S = OPT
O = 193
T = 269.93
(out)(err)		 S = N/A
O = 254
T = TO
(out)(err)		 S = N/A
O = 269
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v140c1400-4.cnf S = OPT
O = 184
T = 69.94		 S = OPT
O = 184
T = 955.32
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 291
T = TO
(out)(err)		 S = OPT
O = 184
T = 277.29
(out)(err)		 S = OPT
O = 184
T = 385.50
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 184
T = 123.34
(out)(err)		 S = OPT
O = 184
T = 69.94
(out)(err)		 S = N/A
O = 248
T = TO
(out)(err)		 S = N/A
O = 262
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s2v140c1400-5.cnf S = OPT
O = 187
T = 106.76		 S = OPT
O = 187
T = 983.38
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 265
T = TO
(out)(err)		 S = OPT
O = 187
T = 396.01
(out)(err)		 S = OPT
O = 187
T = 558.19
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 187
T = 173.50
(out)(err)		 S = OPT
O = 187
T = 106.76
(out)(err)		 S = N/A
O = 251
T = TO
(out)(err)		 S = N/A
O = 254
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v140c1400-6.cnf S = OPT
O = 188
T = 518.67		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 276
T = TO
(out)(err)		 S = OPT
O = 188
T = 1089.38
(out)(err)		 S = OPT
O = 188
T = 1055.20
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 188
T = 539.44
(out)(err)		 S = OPT
O = 188
T = 518.67
(out)(err)		 S = N/A
O = 246
T = TO
(out)(err)		 S = N/A
O = 259
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v140c1400-7.cnf S = OPT
O = 187
T = 192.35		 S = N/A
O = 187
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 306
T = TO
(out)(err)		 S = OPT
O = 187
T = 530.27
(out)(err)		 S = OPT
O = 187
T = 605.61
(out)(err)		 S = N/A
O = N/A
T = 268.77
(out)(err)		 S = OPT
O = 187
T = 192.35
(out)(err)		 S = OPT
O = 187
T = 214.24
(out)(err)		 S = N/A
O = 240
T = TO
(out)(err)		 S = N/A
O = 267
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v140c1400-8.cnf S = OPT
O = 181
T = 234.21		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 281
T = TO
(out)(err)		 S = OPT
O = 181
T = 616.56
(out)(err)		 S = OPT
O = 181
T = 591.31
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 181
T = 726.35
(out)(err)		 S = OPT
O = 181
T = 234.21
(out)(err)		 S = N/A
O = 246
T = TO
(out)(err)		 S = N/A
O = 238
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s2v140c1400-9.cnf S = OPT
O = 185
T = 111.74		 S = OPT
O = 185
T = 1023.91
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 318
T = TO
(out)(err)		 S = OPT
O = 185
T = 351.72
(out)(err)		 S = OPT
O = 185
T = 261.94
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 185
T = 144.18
(out)(err)		 S = OPT
O = 185
T = 111.74
(out)(err)		 S = N/A
O = 244
T = TO
(out)(err)		 S = N/A
O = 270
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v140c1500-1.cnf S = OPT
O = 205
T = 310.36		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 322
T = TO
(out)(err)		 S = OPT
O = 205
T = 838.95
(out)(err)		 S = OPT
O = 205
T = 812.33
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 205
T = 310.36
(out)(err)		 S = OPT
O = 205
T = 362.38
(out)(err)		 S = N/A
O = 267
T = TO
(out)(err)		 S = N/A
O = 291
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s2v140c1500-10.cnf S = OPT
O = 202
T = 444.33		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 304
T = TO
(out)(err)		 S = OPT
O = 202
T = 1384.57
(out)(err)		 S = OPT
O = 202
T = 1403.57
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 202
T = 444.33
(out)(err)		 S = OPT
O = 202
T = 489.45
(out)(err)		 S = N/A
O = 267
T = TO
(out)(err)		 S = N/A
O = 282
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v140c1500-2.cnf S = OPT
O = 199
T = 413.14		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 309
T = TO
(out)(err)		 S = OPT
O = 199
T = 1503.74
(out)(err)		 S = OPT
O = 199
T = 1465.58
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 199
T = 576.54
(out)(err)		 S = OPT
O = 199
T = 413.14
(out)(err)		 S = N/A
O = 258
T = TO
(out)(err)		 S = N/A
O = 280
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v140c1500-3.cnf S = OPT
O = 212
T = 947.93		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 303
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 212
T = TO
(out)(err)		 S = OPT
O = 212
T = 947.93
(out)(err)		 S = N/A
O = 274
T = TO
(out)(err)		 S = N/A
O = 284
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s2v140c1500-4.cnf S = OPT
O = 197
T = 155.55		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 279
T = TO
(out)(err)		 S = OPT
O = 197
T = 625.00
(out)(err)		 S = OPT
O = 197
T = 539.90
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 197
T = 161.75
(out)(err)		 S = OPT
O = 197
T = 155.55
(out)(err)		 S = N/A
O = 257
T = TO
(out)(err)		 S = N/A
O = 264
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v140c1500-5.cnf S = OPT
O = 205
T = 299.25		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 314
T = TO
(out)(err)		 S = OPT
O = 205
T = 1584.69
(out)(err)		 S = OPT
O = 205
T = 749.75
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 205
T = 458.99
(out)(err)		 S = OPT
O = 205
T = 299.25
(out)(err)		 S = N/A
O = 271
T = TO
(out)(err)		 S = N/A
O = 288
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v140c1500-6.cnf S = OPT
O = 198
T = 140.22		 S = OPT
O = 198
T = 1332.22
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 308
T = TO
(out)(err)		 S = OPT
O = 198
T = 419.12
(out)(err)		 S = OPT
O = 198
T = 357.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 198
T = 163.83
(out)(err)		 S = OPT
O = 198
T = 140.22
(out)(err)		 S = N/A
O = 257
T = TO
(out)(err)		 S = N/A
O = 290
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v140c1500-7.cnf S = OPT
O = 202
T = 349.49		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 306
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 202
T = 1663.43
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 202
T = 434.95
(out)(err)		 S = OPT
O = 202
T = 349.49
(out)(err)		 S = N/A
O = 263
T = TO
(out)(err)		 S = N/A
O = 277
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s2v140c1500-8.cnf S = OPT
O = 199
T = 71.62		 S = OPT
O = 199
T = 1467.08
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 317
T = TO
(out)(err)		 S = OPT
O = 199
T = 633.80
(out)(err)		 S = OPT
O = 199
T = 934.57
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 199
T = 239.37
(out)(err)		 S = OPT
O = 199
T = 71.62
(out)(err)		 S = N/A
O = 267
T = TO
(out)(err)		 S = N/A
O = 285
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v140c1500-9.cnf S = OPT
O = 199
T = 59.65		 S = OPT
O = 199
T = 441.17
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 275
T = TO
(out)(err)		 S = OPT
O = 199
T = 182.98
(out)(err)		 S = OPT
O = 199
T = 174.27
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 199
T = 59.65
(out)(err)		 S = OPT
O = 199
T = 68.42
(out)(err)		 S = N/A
O = 266
T = TO
(out)(err)		 S = N/A
O = 273
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v140c1600-1.cnf S = OPT
O = 221
T = 300.35		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 339
T = TO
(out)(err)		 S = OPT
O = 221
T = 805.05
(out)(err)		 S = OPT
O = 221
T = 812.36
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 221
T = 374.44
(out)(err)		 S = OPT
O = 221
T = 300.35
(out)(err)		 S = N/A
O = 291
T = TO
(out)(err)		 S = N/A
O = 308
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s2v140c1600-10.cnf S = OPT
O = 226
T = 664.55		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 357
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 226
T = 825.97
(out)(err)		 S = OPT
O = 226
T = 664.55
(out)(err)		 S = N/A
O = 289
T = TO
(out)(err)		 S = N/A
O = 303
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v140c1600-2.cnf S = OPT
O = 221
T = 379.70		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 357
T = TO
(out)(err)		 S = OPT
O = 221
T = 1620.68
(out)(err)		 S = OPT
O = 221
T = 1573.05
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 221
T = 379.70
(out)(err)		 S = OPT
O = 221
T = 429.00
(out)(err)		 S = N/A
O = 285
T = TO
(out)(err)		 S = N/A
O = 315
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s2v140c1600-3.cnf S = OPT
O = 226
T = 615.27		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 342
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 226
T = 873.92
(out)(err)		 S = OPT
O = 226
T = 615.27
(out)(err)		 S = N/A
O = 291
T = TO
(out)(err)		 S = N/A
O = 297
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s2v140c1600-4.cnf S = OPT
O = 220
T = 363.16		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 332
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 220
T = 363.16
(out)(err)		 S = OPT
O = 220
T = 372.66
(out)(err)		 S = N/A
O = 288
T = TO
(out)(err)		 S = N/A
O = 301
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v140c1600-5.cnf S = OPT
O = 228
T = 834.62		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 366
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 228
T = 1396.45
(out)(err)		 S = OPT
O = 228
T = 834.62
(out)(err)		 S = N/A
O = 292
T = TO
(out)(err)		 S = N/A
O = 318
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v140c1600-6.cnf S = OPT
O = 220
T = 299.85		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 349
T = TO
(out)(err)		 S = OPT
O = 220
T = 857.74
(out)(err)		 S = OPT
O = 220
T = 847.86
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 220
T = 390.59
(out)(err)		 S = OPT
O = 220
T = 299.85
(out)(err)		 S = N/A
O = 294
T = TO
(out)(err)		 S = N/A
O = 315
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s2v140c1600-7.cnf S = OPT
O = 218
T = 338.58		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 335
T = TO
(out)(err)		 S = OPT
O = 218
T = 854.59
(out)(err)		 S = OPT
O = 218
T = 863.93
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 218
T = 485.35
(out)(err)		 S = OPT
O = 218
T = 338.58
(out)(err)		 S = N/A
O = 291
T = TO
(out)(err)		 S = N/A
O = 301
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s2v140c1600-8.cnf S = OPT
O = 227
T = 519.10		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 307
T = TO
(out)(err)		 S = OPT
O = 227
T = 1532.67
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 227
T = 1335.72
(out)(err)		 S = OPT
O = 227
T = 519.10
(out)(err)		 S = N/A
O = 292
T = TO
(out)(err)		 S = N/A
O = 313
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s2v140c1600-9.cnf S = OPT
O = 228
T = 982.79		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 338
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 228
T = 1289.01
(out)(err)		 S = OPT
O = 228
T = 982.79
(out)(err)		 S = N/A
O = 297
T = TO
(out)(err)		 S = N/A
O = 313
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c1000-1.cnf S = OPT
O = 47
T = 205.47		 S = OPT
O = 47
T = 205.47
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 114
T = TO
(out)(err)		 S = OPT
O = 47
T = 345.41
(out)(err)		 S = OPT
O = 47
T = 351.45
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 47
T = 220.03
(out)(err)		 S = OPT
O = 47
T = 221.45
(out)(err)		 S = N/A
O = 66
T = TO
(out)(err)		 S = N/A
O = 69
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c1000-10.cnf S = OPT
O = 45
T = 136.36		 S = OPT
O = 45
T = 158.78
(out)(err)		 S = N/A
O = N/A
T = 1700.37
(out)(err)		 S = N/A
O = 110
T = TO
(out)(err)		 S = OPT
O = 45
T = 269.82
(out)(err)		 S = OPT
O = 45
T = 273.87
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 45
T = 145.81
(out)(err)		 S = OPT
O = 45
T = 136.36
(out)(err)		 S = N/A
O = 67
T = TO
(out)(err)		 S = N/A
O = 75
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c1000-2.cnf S = OPT
O = 43
T = 88.21		 S = OPT
O = 43
T = 88.21
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 124
T = TO
(out)(err)		 S = OPT
O = 43
T = 158.66
(out)(err)		 S = OPT
O = 43
T = 161.34
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 43
T = 170.34
(out)(err)		 S = OPT
O = 43
T = 99.41
(out)(err)		 S = N/A
O = 57
T = TO
(out)(err)		 S = N/A
O = 65
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c1000-3.cnf S = OPT
O = 45
T = 128.96		 S = OPT
O = 45
T = 128.96
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 114
T = TO
(out)(err)		 S = OPT
O = 45
T = 219.41
(out)(err)		 S = OPT
O = 45
T = 226.58
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 45
T = 145.48
(out)(err)		 S = OPT
O = 45
T = 139.72
(out)(err)		 S = N/A
O = 69
T = TO
(out)(err)		 S = N/A
O = 74
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c1000-4.cnf S = OPT
O = 47
T = 219.84		 S = OPT
O = 47
T = 288.49
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 119
T = TO
(out)(err)		 S = OPT
O = 47
T = 494.22
(out)(err)		 S = OPT
O = 47
T = 499.82
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 47
T = 298.05
(out)(err)		 S = OPT
O = 47
T = 219.84
(out)(err)		 S = N/A
O = 64
T = TO
(out)(err)		 S = N/A
O = 72
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s3v70c1000-5.cnf S = OPT
O = 42
T = 83.33		 S = OPT
O = 42
T = 123.02
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 118
T = TO
(out)(err)		 S = OPT
O = 42
T = 210.62
(out)(err)		 S = OPT
O = 42
T = 211.91
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 42
T = 105.12
(out)(err)		 S = OPT
O = 42
T = 83.33
(out)(err)		 S = N/A
O = 53
T = TO
(out)(err)		 S = N/A
O = 62
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c1000-6.cnf S = OPT
O = 50
T = 471.77		 S = OPT
O = 50
T = 523.59
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 115
T = TO
(out)(err)		 S = OPT
O = 50
T = 875.89
(out)(err)		 S = OPT
O = 50
T = 906.73
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 50
T = 525.95
(out)(err)		 S = OPT
O = 50
T = 471.77
(out)(err)		 S = N/A
O = 69
T = TO
(out)(err)		 S = N/A
O = 75
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c1000-7.cnf S = OPT
O = 49
T = 375.69		 S = OPT
O = 49
T = 723.61
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 76
T = TO
(out)(err)		 S = OPT
O = 49
T = 1165.94
(out)(err)		 S = OPT
O = 49
T = 1184.94
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 49
T = 624.93
(out)(err)		 S = OPT
O = 49
T = 375.69
(out)(err)		 S = N/A
O = 65
T = TO
(out)(err)		 S = N/A
O = 70
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c1000-8.cnf S = OPT
O = 48
T = 453.74		 S = OPT
O = 48
T = 543.78
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 116
T = TO
(out)(err)		 S = OPT
O = 48
T = 900.98
(out)(err)		 S = OPT
O = 48
T = 908.58
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 48
T = 545.86
(out)(err)		 S = OPT
O = 48
T = 453.74
(out)(err)		 S = N/A
O = 67
T = TO
(out)(err)		 S = N/A
O = 66
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c1000-9.cnf S = OPT
O = 49
T = 469.90		 S = OPT
O = 49
T = 536.02
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 101
T = TO
(out)(err)		 S = OPT
O = 49
T = 905.59
(out)(err)		 S = OPT
O = 49
T = 922.38
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 49
T = 577.11
(out)(err)		 S = OPT
O = 49
T = 469.90
(out)(err)		 S = N/A
O = 64
T = TO
(out)(err)		 S = N/A
O = 66
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c1100-1.cnf S = OPT
O = 56
T = 603.56		 S = OPT
O = 56
T = 794.13
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 135
T = TO
(out)(err)		 S = OPT
O = 56
T = 1323.79
(out)(err)		 S = OPT
O = 56
T = 1326.29
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 56
T = 691.86
(out)(err)		 S = OPT
O = 56
T = 603.56
(out)(err)		 S = N/A
O = 76
T = TO
(out)(err)		 S = N/A
O = 76
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s3v70c1100-10.cnf S = OPT
O = 58
T = 833.48		 S = OPT
O = 58
T = 942.67
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 124
T = TO
(out)(err)		 S = OPT
O = 58
T = 1599.89
(out)(err)		 S = OPT
O = 58
T = 1635.60
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 58
T = 868.85
(out)(err)		 S = OPT
O = 58
T = 833.48
(out)(err)		 S = N/A
O = 76
T = TO
(out)(err)		 S = N/A
O = 81
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c1100-2.cnf S = OPT
O = 55
T = 411.37		 S = OPT
O = 55
T = 498.50
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 146
T = TO
(out)(err)		 S = OPT
O = 55
T = 827.08
(out)(err)		 S = OPT
O = 55
T = 854.67
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 55
T = 552.84
(out)(err)		 S = OPT
O = 55
T = 411.37
(out)(err)		 S = N/A
O = 74
T = TO
(out)(err)		 S = N/A
O = 81
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c1100-3.cnf S = OPT
O = 53
T = 251.06		 S = OPT
O = 53
T = 376.32
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 144
T = TO
(out)(err)		 S = OPT
O = 53
T = 596.72
(out)(err)		 S = OPT
O = 53
T = 652.08
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 53
T = 388.31
(out)(err)		 S = OPT
O = 53
T = 251.06
(out)(err)		 S = N/A
O = 74
T = TO
(out)(err)		 S = N/A
O = 83
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c1100-4.cnf S = OPT
O = 52
T = 301.85		 S = OPT
O = 52
T = 301.85
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 127
T = TO
(out)(err)		 S = OPT
O = 52
T = 523.96
(out)(err)		 S = OPT
O = 52
T = 533.34
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 52
T = 325.54
(out)(err)		 S = OPT
O = 52
T = 307.35
(out)(err)		 S = N/A
O = 68
T = TO
(out)(err)		 S = N/A
O = 72
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s3v70c1100-5.cnf S = OPT
O = 53
T = 331.07		 S = OPT
O = 53
T = 374.44
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 124
T = TO
(out)(err)		 S = OPT
O = 53
T = 623.71
(out)(err)		 S = OPT
O = 53
T = 637.29
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 53
T = 514.03
(out)(err)		 S = OPT
O = 53
T = 331.07
(out)(err)		 S = N/A
O = 71
T = TO
(out)(err)		 S = N/A
O = 82
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c1100-6.cnf S = OPT
O = 53
T = 361.37		 S = OPT
O = 53
T = 466.18
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 119
T = TO
(out)(err)		 S = OPT
O = 53
T = 772.75
(out)(err)		 S = OPT
O = 53
T = 800.23
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 53
T = 457.05
(out)(err)		 S = OPT
O = 53
T = 361.37
(out)(err)		 S = N/A
O = 75
T = TO
(out)(err)		 S = N/A
O = 78
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c1100-7.cnf S = OPT
O = 53
T = 293.28		 S = OPT
O = 53
T = 293.28
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 136
T = TO
(out)(err)		 S = OPT
O = 53
T = 498.40
(out)(err)		 S = OPT
O = 53
T = 513.75
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 53
T = 339.51
(out)(err)		 S = OPT
O = 53
T = 311.39
(out)(err)		 S = N/A
O = 74
T = TO
(out)(err)		 S = N/A
O = 79
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c1100-8.cnf S = OPT
O = 51
T = 150.20		 S = OPT
O = 51
T = 302.07
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 124
T = TO
(out)(err)		 S = OPT
O = 51
T = 511.36
(out)(err)		 S = OPT
O = 51
T = 524.06
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 51
T = 306.19
(out)(err)		 S = OPT
O = 51
T = 150.20
(out)(err)		 S = N/A
O = 75
T = TO
(out)(err)		 S = N/A
O = 74
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s3v70c1100-9.cnf S = OPT
O = 48
T = 76.43		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 138
T = TO
(out)(err)		 S = OPT
O = 48
T = 251.33
(out)(err)		 S = OPT
O = 48
T = 256.95
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 48
T = 87.44
(out)(err)		 S = OPT
O = 48
T = 76.43
(out)(err)		 S = N/A
O = 71
T = TO
(out)(err)		 S = N/A
O = 84
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s3v70c1200-1.cnf S = OPT
O = 66
T = 1406.01		 S = OPT
O = 66
T = 1617.23
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 143
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 66
T = 1478.72
(out)(err)		 S = OPT
O = 66
T = 1406.01
(out)(err)		 S = N/A
O = 88
T = TO
(out)(err)		 S = N/A
O = 85
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c1200-10.cnf S = OPT
O = 63
T = 792.47		 S = OPT
O = 63
T = 1234.92
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 122
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 63
T = 1363.20
(out)(err)		 S = OPT
O = 63
T = 792.47
(out)(err)		 S = N/A
O = 86
T = TO
(out)(err)		 S = N/A
O = 88
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c1200-2.cnf S = OPT
O = 63
T = 589.87		 S = OPT
O = 63
T = 881.41
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 151
T = TO
(out)(err)		 S = OPT
O = 63
T = 1510.73
(out)(err)		 S = OPT
O = 63
T = 1538.42
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 63
T = 797.46
(out)(err)		 S = OPT
O = 63
T = 589.87
(out)(err)		 S = N/A
O = 88
T = TO
(out)(err)		 S = N/A
O = 95
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c1200-3.cnf S = OPT
O = 65
T = 1107.16		 S = OPT
O = 65
T = 1284.68
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 151
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 65
T = 1210.64
(out)(err)		 S = OPT
O = 65
T = 1107.16
(out)(err)		 S = N/A
O = 87
T = TO
(out)(err)		 S = N/A
O = 91
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c1200-4.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 133
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 67
T = TO
(out)(err)		 S = N/A
O = 67
T = TO
(out)(err)		 S = N/A
O = 89
T = TO
(out)(err)		 S = N/A
O = 94
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c1200-5.cnf S = OPT
O = 65
T = 999.15		 S = OPT
O = 65
T = 1220.18
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 148
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 65
T = 1062.85
(out)(err)		 S = OPT
O = 65
T = 999.15
(out)(err)		 S = N/A
O = 85
T = TO
(out)(err)		 S = N/A
O = 96
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c1200-6.cnf S = OPT
O = 66
T = 1131.04		 S = OPT
O = 66
T = 1239.04
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 128
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 66
T = 1365.75
(out)(err)		 S = OPT
O = 66
T = 1131.04
(out)(err)		 S = N/A
O = 85
T = TO
(out)(err)		 S = N/A
O = 95
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s3v70c1200-7.cnf S = OPT
O = 62
T = 559.05		 S = OPT
O = 62
T = 568.88
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 128
T = TO
(out)(err)		 S = OPT
O = 62
T = 997.90
(out)(err)		 S = OPT
O = 62
T = 1041.06
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 62
T = 559.05
(out)(err)		 S = OPT
O = 62
T = 584.27
(out)(err)		 S = N/A
O = 88
T = TO
(out)(err)		 S = N/A
O = 91
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c1200-8.cnf S = OPT
O = 63
T = 664.36		 S = OPT
O = 63
T = 928.67
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 140
T = TO
(out)(err)		 S = OPT
O = 63
T = 1544.56
(out)(err)		 S = OPT
O = 63
T = 1597.10
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 63
T = 950.23
(out)(err)		 S = OPT
O = 63
T = 664.36
(out)(err)		 S = N/A
O = 84
T = TO
(out)(err)		 S = N/A
O = 84
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c1200-9.cnf S = OPT
O = 61
T = 432.25		 S = OPT
O = 61
T = 432.25
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 132
T = TO
(out)(err)		 S = OPT
O = 61
T = 754.21
(out)(err)		 S = OPT
O = 61
T = 785.18
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 61
T = 511.07
(out)(err)		 S = OPT
O = 61
T = 468.06
(out)(err)		 S = N/A
O = 87
T = TO
(out)(err)		 S = N/A
O = 88
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c800-1.cnf S = OPT
O = 31
T = 47.71		 S = OPT
O = 31
T = 53.17
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 86
T = TO
(out)(err)		 S = OPT
O = 31
T = 89.75
(out)(err)		 S = OPT
O = 31
T = 90.28
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 31
T = 71.90
(out)(err)		 S = OPT
O = 31
T = 47.71
(out)(err)		 S = N/A
O = 43
T = TO
(out)(err)		 S = N/A
O = 44
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c800-10.cnf S = OPT
O = 30
T = 31.86		 S = OPT
O = 30
T = 31.86
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 73
T = TO
(out)(err)		 S = OPT
O = 30
T = 49.63
(out)(err)		 S = OPT
O = 30
T = 49.78
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 30
T = 38.39
(out)(err)		 S = OPT
O = 30
T = 35.59
(out)(err)		 S = N/A
O = 45
T = TO
(out)(err)		 S = N/A
O = 50
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s3v70c800-2.cnf S = OPT
O = 34
T = 126.99		 S = OPT
O = 34
T = 126.99
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 78
T = TO
(out)(err)		 S = OPT
O = 34
T = 213.22
(out)(err)		 S = OPT
O = 34
T = 216.31
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 34
T = 168.34
(out)(err)		 S = OPT
O = 34
T = 142.70
(out)(err)		 S = N/A
O = 49
T = TO
(out)(err)		 S = N/A
O = 47
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c800-3.cnf S = OPT
O = 30
T = 27.95		 S = OPT
O = 30
T = 27.95
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 92
T = TO
(out)(err)		 S = OPT
O = 30
T = 40.98
(out)(err)		 S = OPT
O = 30
T = 40.90
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 30
T = 29.35
(out)(err)		 S = OPT
O = 30
T = 29.49
(out)(err)		 S = N/A
O = 46
T = TO
(out)(err)		 S = N/A
O = 42
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c800-4.cnf S = OPT
O = 28
T = 25.76		 S = OPT
O = 28
T = 49.45
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 93
T = TO
(out)(err)		 S = OPT
O = 28
T = 83.10
(out)(err)		 S = OPT
O = 28
T = 83.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 28
T = 51.63
(out)(err)		 S = OPT
O = 28
T = 25.76
(out)(err)		 S = N/A
O = 45
T = TO
(out)(err)		 S = N/A
O = 45
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c800-5.cnf S = OPT
O = 31
T = 45.10		 S = OPT
O = 31
T = 78.74
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 88
T = TO
(out)(err)		 S = OPT
O = 31
T = 134.66
(out)(err)		 S = OPT
O = 31
T = 135.60
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 31
T = 104.42
(out)(err)		 S = OPT
O = 31
T = 45.10
(out)(err)		 S = N/A
O = 45
T = TO
(out)(err)		 S = N/A
O = 45
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c800-6.cnf S = OPT
O = 30
T = 37.73		 S = OPT
O = 30
T = 37.73
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 83
T = TO
(out)(err)		 S = OPT
O = 30
T = 59.51
(out)(err)		 S = OPT
O = 30
T = 60.12
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 30
T = 46.22
(out)(err)		 S = OPT
O = 30
T = 41.73
(out)(err)		 S = N/A
O = 38
T = TO
(out)(err)		 S = N/A
O = 44
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c800-7.cnf S = OPT
O = 31
T = 47.38		 S = OPT
O = 31
T = 47.38
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 99
T = TO
(out)(err)		 S = OPT
O = 31
T = 77.77
(out)(err)		 S = OPT
O = 31
T = 80.86
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 31
T = 54.97
(out)(err)		 S = OPT
O = 31
T = 51.70
(out)(err)		 S = N/A
O = 40
T = TO
(out)(err)		 S = N/A
O = 49
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s3v70c800-8.cnf S = OPT
O = 34
T = 103.67		 S = OPT
O = 34
T = 105.78
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 92
T = TO
(out)(err)		 S = OPT
O = 34
T = 179.16
(out)(err)		 S = OPT
O = 34
T = 178.07
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 34
T = 105.82
(out)(err)		 S = OPT
O = 34
T = 103.67
(out)(err)		 S = N/A
O = 48
T = TO
(out)(err)		 S = N/A
O = 47
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c800-9.cnf S = OPT
O = 32
T = 49.45		 S = OPT
O = 32
T = 49.45
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 91
T = TO
(out)(err)		 S = OPT
O = 32
T = 80.65
(out)(err)		 S = OPT
O = 32
T = 84.33
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 32
T = 53.55
(out)(err)		 S = OPT
O = 32
T = 53.99
(out)(err)		 S = N/A
O = 48
T = TO
(out)(err)		 S = N/A
O = 50
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s3v70c900-1.cnf S = OPT
O = 39
T = 103.74		 S = OPT
O = 39
T = 103.74
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 91
T = TO
(out)(err)		 S = OPT
O = 39
T = 175.19
(out)(err)		 S = OPT
O = 39
T = 176.80
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 39
T = 165.76
(out)(err)		 S = OPT
O = 39
T = 118.91
(out)(err)		 S = N/A
O = 57
T = TO
(out)(err)		 S = N/A
O = 53
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s3v70c900-10.cnf S = OPT
O = 39
T = 113.69		 S = OPT
O = 39
T = 163.28
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 102
T = TO
(out)(err)		 S = OPT
O = 39
T = 266.11
(out)(err)		 S = OPT
O = 39
T = 271.37
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 39
T = 186.45
(out)(err)		 S = OPT
O = 39
T = 113.69
(out)(err)		 S = N/A
O = 56
T = TO
(out)(err)		 S = N/A
O = 58
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c900-2.cnf S = OPT
O = 38
T = 104.12		 S = OPT
O = 38
T = 113.19
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 110
T = TO
(out)(err)		 S = OPT
O = 38
T = 187.94
(out)(err)		 S = OPT
O = 38
T = 189.32
(out)(err)		 S = N/A
O = N/A
T = 271.07
(out)(err)		 S = OPT
O = 38
T = 107.56
(out)(err)		 S = OPT
O = 38
T = 104.12
(out)(err)		 S = N/A
O = 51
T = TO
(out)(err)		 S = N/A
O = 55
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c900-3.cnf S = OPT
O = 39
T = 83.11		 S = OPT
O = 39
T = 83.11
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 102
T = TO
(out)(err)		 S = OPT
O = 39
T = 145.08
(out)(err)		 S = OPT
O = 39
T = 150.94
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 39
T = 100.75
(out)(err)		 S = OPT
O = 39
T = 91.78
(out)(err)		 S = N/A
O = 59
T = TO
(out)(err)		 S = N/A
O = 53
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c900-4.cnf S = OPT
O = 39
T = 94.55		 S = OPT
O = 39
T = 125.20
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 113
T = TO
(out)(err)		 S = OPT
O = 39
T = 197.76
(out)(err)		 S = OPT
O = 39
T = 201.35
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 39
T = 112.74
(out)(err)		 S = OPT
O = 39
T = 94.55
(out)(err)		 S = N/A
O = 52
T = TO
(out)(err)		 S = N/A
O = 60
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c900-5.cnf S = OPT
O = 40
T = 154.13		 S = OPT
O = 40
T = 164.50
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 104
T = TO
(out)(err)		 S = OPT
O = 40
T = 269.03
(out)(err)		 S = OPT
O = 40
T = 276.10
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 40
T = 163.86
(out)(err)		 S = OPT
O = 40
T = 154.13
(out)(err)		 S = N/A
O = 55
T = TO
(out)(err)		 S = N/A
O = 55
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c900-6.cnf S = OPT
O = 41
T = 236.07		 S = OPT
O = 41
T = 315.57
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 106
T = TO
(out)(err)		 S = OPT
O = 41
T = 497.60
(out)(err)		 S = OPT
O = 41
T = 503.24
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 41
T = 323.15
(out)(err)		 S = OPT
O = 41
T = 236.07
(out)(err)		 S = N/A
O = 54
T = TO
(out)(err)		 S = N/A
O = 60
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c900-7.cnf S = OPT
O = 40
T = 162.93		 S = OPT
O = 40
T = 245.66
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 104
T = TO
(out)(err)		 S = OPT
O = 40
T = 380.50
(out)(err)		 S = OPT
O = 40
T = 396.83
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 40
T = 243.38
(out)(err)		 S = OPT
O = 40
T = 162.93
(out)(err)		 S = N/A
O = 53
T = TO
(out)(err)		 S = N/A
O = 62
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c900-8.cnf S = OPT
O = 42
T = 232.22		 S = OPT
O = 42
T = 248.71
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 122
T = TO
(out)(err)		 S = OPT
O = 42
T = 383.65
(out)(err)		 S = OPT
O = 42
T = 404.87
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 42
T = 232.22
(out)(err)		 S = OPT
O = 42
T = 239.94
(out)(err)		 S = N/A
O = 58
T = TO
(out)(err)		 S = N/A
O = 60
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v70c900-9.cnf S = OPT
O = 35
T = 41.30		 S = OPT
O = 35
T = 49.71
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 93
T = TO
(out)(err)		 S = OPT
O = 35
T = 82.25
(out)(err)		 S = OPT
O = 35
T = 82.47
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 35
T = 41.30
(out)(err)		 S = OPT
O = 35
T = 42.41
(out)(err)		 S = N/A
O = 52
T = TO
(out)(err)		 S = N/A
O = 60
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v80c1000-1.cnf S = OPT
O = 44
T = 1039.00		 S = OPT
O = 44
T = 1039.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 104
T = TO
(out)(err)		 S = OPT
O = 44
T = 1633.01
(out)(err)		 S = OPT
O = 44
T = 1657.77
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 44
T = 1119.99
(out)(err)		 S = OPT
O = 44
T = 1071.99
(out)(err)		 S = N/A
O = 60
T = TO
(out)(err)		 S = N/A
O = 60
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v80c1000-10.cnf S = OPT
O = 39
T = 345.60		 S = OPT
O = 39
T = 471.01
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 118
T = TO
(out)(err)		 S = OPT
O = 39
T = 745.90
(out)(err)		 S = OPT
O = 39
T = 747.89
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 39
T = 428.90
(out)(err)		 S = OPT
O = 39
T = 345.60
(out)(err)		 S = N/A
O = 58
T = TO
(out)(err)		 S = N/A
O = 55
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v80c1000-2.cnf S = OPT
O = 43
T = 842.46		 S = OPT
O = 43
T = 852.72
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 117
T = TO
(out)(err)		 S = OPT
O = 43
T = 1419.28
(out)(err)		 S = OPT
O = 43
T = 1445.09
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 43
T = 842.46
(out)(err)		 S = OPT
O = 43
T = 845.79
(out)(err)		 S = N/A
O = 64
T = TO
(out)(err)		 S = N/A
O = 65
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s3v80c1000-3.cnf S = OPT
O = 39
T = 301.30		 S = OPT
O = 39
T = 925.09
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 101
T = TO
(out)(err)		 S = OPT
O = 39
T = 1538.53
(out)(err)		 S = OPT
O = 39
T = 1576.05
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 39
T = 505.90
(out)(err)		 S = OPT
O = 39
T = 301.30
(out)(err)		 S = N/A
O = 61
T = TO
(out)(err)		 S = N/A
O = 51
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v80c1000-4.cnf S = OPT
O = 45
T = 1763.51		 S = N/A
O = 45
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 123
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 45
T = TO
(out)(err)		 S = OPT
O = 45
T = 1763.51
(out)(err)		 S = N/A
O = 66
T = TO
(out)(err)		 S = N/A
O = 67
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s3v80c1000-5.cnf S = OPT
O = 41
T = 562.39		 S = OPT
O = 41
T = 932.29
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 108
T = TO
(out)(err)		 S = OPT
O = 41
T = 1545.04
(out)(err)		 S = OPT
O = 41
T = 1554.90
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 41
T = 920.65
(out)(err)		 S = OPT
O = 41
T = 562.39
(out)(err)		 S = N/A
O = 56
T = TO
(out)(err)		 S = N/A
O = 60
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s3v80c1000-6.cnf S = OPT
O = 40
T = 626.47		 S = OPT
O = 40
T = 917.88
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 118
T = TO
(out)(err)		 S = OPT
O = 40
T = 1411.01
(out)(err)		 S = OPT
O = 40
T = 1435.70
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 40
T = 731.44
(out)(err)		 S = OPT
O = 40
T = 626.47
(out)(err)		 S = N/A
O = 64
T = TO
(out)(err)		 S = N/A
O = 70
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v80c1000-7.cnf S = OPT
O = 40
T = 432.50		 S = OPT
O = 40
T = 463.37
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 106
T = TO
(out)(err)		 S = OPT
O = 40
T = 669.33
(out)(err)		 S = OPT
O = 40
T = 677.13
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 40
T = 446.49
(out)(err)		 S = OPT
O = 40
T = 432.50
(out)(err)		 S = N/A
O = 63
T = TO
(out)(err)		 S = N/A
O = 58
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v80c1000-8.cnf S = OPT
O = 41
T = 746.47		 S = OPT
O = 41
T = 1351.33
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 102
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 41
T = 1324.49
(out)(err)		 S = OPT
O = 41
T = 746.47
(out)(err)		 S = N/A
O = 65
T = TO
(out)(err)		 S = N/A
O = 66
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s3v80c1000-9.cnf S = OPT
O = 38
T = 408.11		 S = OPT
O = 38
T = 525.98
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 85
T = TO
(out)(err)		 S = OPT
O = 38
T = 790.21
(out)(err)		 S = OPT
O = 38
T = 793.67
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 38
T = 644.60
(out)(err)		 S = OPT
O = 38
T = 408.11
(out)(err)		 S = N/A
O = 58
T = TO
(out)(err)		 S = N/A
O = 63
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v80c600-1.cnf S = OPT
O = 14
T = 12.79		 S = OPT
O = 14
T = 21.82
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 49
T = TO
(out)(err)		 S = OPT
O = 14
T = 43.68
(out)(err)		 S = OPT
O = 14
T = 43.73
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 14
T = 23.45
(out)(err)		 S = OPT
O = 14
T = 12.79
(out)(err)		 S = N/A
O = 23
T = TO
(out)(err)		 S = N/A
O = 22
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s3v80c600-10.cnf S = OPT
O = 15
T = 16.70		 S = OPT
O = 15
T = 26.64
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 57
T = TO
(out)(err)		 S = OPT
O = 15
T = 54.24
(out)(err)		 S = OPT
O = 15
T = 53.56
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 15
T = 18.39
(out)(err)		 S = OPT
O = 15
T = 16.70
(out)(err)		 S = N/A
O = 22
T = TO
(out)(err)		 S = N/A
O = 24
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v80c600-2.cnf S = OPT
O = 16
T = 28.42		 S = OPT
O = 16
T = 28.42
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 27
T = TO
(out)(err)		 S = OPT
O = 16
T = 57.54
(out)(err)		 S = OPT
O = 16
T = 56.49
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 16
T = 41.97
(out)(err)		 S = OPT
O = 16
T = 38.42
(out)(err)		 S = N/A
O = 23
T = TO
(out)(err)		 S = N/A
O = 25
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s3v80c600-3.cnf S = OPT
O = 11
T = 2.09		 S = OPT
O = 11
T = 2.99
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 31
T = TO
(out)(err)		 S = OPT
O = 11
T = 5.58
(out)(err)		 S = OPT
O = 11
T = 5.46
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 11
T = 4.01
(out)(err)		 S = OPT
O = 11
T = 2.09
(out)(err)		 S = N/A
O = 17
T = TO
(out)(err)		 S = N/A
O = 22
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1583.56
(out)(err)
s3v80c600-4.cnf S = OPT
O = 13
T = 8.43		 S = OPT
O = 13
T = 8.43
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 65
T = TO
(out)(err)		 S = OPT
O = 13
T = 17.79
(out)(err)		 S = OPT
O = 13
T = 17.50
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 13
T = 12.83
(out)(err)		 S = OPT
O = 13
T = 9.33
(out)(err)		 S = N/A
O = 21
T = TO
(out)(err)		 S = N/A
O = 20
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s3v80c600-5.cnf S = OPT
O = 12
T = 4.92		 S = OPT
O = 12
T = 6.94
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 37
T = TO
(out)(err)		 S = OPT
O = 12
T = 13.50
(out)(err)		 S = OPT
O = 12
T = 13.28
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 12
T = 6.77
(out)(err)		 S = OPT
O = 12
T = 4.92
(out)(err)		 S = N/A
O = 15
T = TO
(out)(err)		 S = N/A
O = 17
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s3v80c600-6.cnf S = OPT
O = 14
T = 10.14		 S = OPT
O = 14
T = 13.10
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 58
T = TO
(out)(err)		 S = OPT
O = 14
T = 24.77
(out)(err)		 S = OPT
O = 14
T = 24.50
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 14
T = 14.43
(out)(err)		 S = OPT
O = 14
T = 10.14
(out)(err)		 S = N/A
O = 20
T = TO
(out)(err)		 S = N/A
O = 33
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v80c600-7.cnf S = OPT
O = 12
T = 3.77		 S = OPT
O = 12
T = 3.77
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 57
T = TO
(out)(err)		 S = OPT
O = 12
T = 7.31
(out)(err)		 S = OPT
O = 12
T = 7.34
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 12
T = 7.22
(out)(err)		 S = OPT
O = 12
T = 6.40
(out)(err)		 S = N/A
O = 19
T = TO
(out)(err)		 S = N/A
O = 20
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v80c600-8.cnf S = OPT
O = 15
T = 16.84		 S = OPT
O = 15
T = 16.84
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 35
T = TO
(out)(err)		 S = OPT
O = 15
T = 32.27
(out)(err)		 S = OPT
O = 15
T = 31.93
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 15
T = 17.57
(out)(err)		 S = OPT
O = 15
T = 17.20
(out)(err)		 S = N/A
O = 18
T = TO
(out)(err)		 S = N/A
O = 25
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s3v80c600-9.cnf S = OPT
O = 12
T = 5.06		 S = OPT
O = 12
T = 5.06
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 23
T = TO
(out)(err)		 S = OPT
O = 12
T = 10.96
(out)(err)		 S = OPT
O = 12
T = 10.81
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 12
T = 7.58
(out)(err)		 S = OPT
O = 12
T = 5.73
(out)(err)		 S = N/A
O = 19
T = TO
(out)(err)		 S = N/A
O = 19
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v80c700-1.cnf S = OPT
O = 19
T = 24.09		 S = OPT
O = 19
T = 44.06
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 65
T = TO
(out)(err)		 S = OPT
O = 19
T = 78.96
(out)(err)		 S = OPT
O = 19
T = 78.21
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 19
T = 46.65
(out)(err)		 S = OPT
O = 19
T = 24.09
(out)(err)		 S = N/A
O = 32
T = TO
(out)(err)		 S = N/A
O = 34
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v80c700-10.cnf S = OPT
O = 19
T = 31.45		 S = OPT
O = 19
T = 31.45
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 70
T = TO
(out)(err)		 S = OPT
O = 19
T = 56.62
(out)(err)		 S = OPT
O = 19
T = 56.48
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 19
T = 45.60
(out)(err)		 S = OPT
O = 19
T = 38.22
(out)(err)		 S = N/A
O = 30
T = TO
(out)(err)		 S = N/A
O = 36
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v80c700-2.cnf S = OPT
O = 20
T = 46.81		 S = OPT
O = 20
T = 48.77
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 70
T = TO
(out)(err)		 S = OPT
O = 20
T = 88.67
(out)(err)		 S = OPT
O = 20
T = 87.81
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 20
T = 61.64
(out)(err)		 S = OPT
O = 20
T = 46.81
(out)(err)		 S = N/A
O = 33
T = TO
(out)(err)		 S = N/A
O = 37
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v80c700-3.cnf S = OPT
O = 18
T = 15.17		 S = OPT
O = 18
T = 15.17
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 69
T = TO
(out)(err)		 S = OPT
O = 18
T = 27.99
(out)(err)		 S = OPT
O = 18
T = 27.73
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 18
T = 19.45
(out)(err)		 S = OPT
O = 18
T = 16.93
(out)(err)		 S = N/A
O = 28
T = TO
(out)(err)		 S = N/A
O = 36
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v80c700-4.cnf S = OPT
O = 15
T = 3.58		 S = OPT
O = 15
T = 3.58
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 76
T = TO
(out)(err)		 S = OPT
O = 15
T = 6.69
(out)(err)		 S = OPT
O = 15
T = 6.62
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 15
T = 16.64
(out)(err)		 S = OPT
O = 15
T = 4.54
(out)(err)		 S = N/A
O = 28
T = TO
(out)(err)		 S = N/A
O = 28
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v80c700-5.cnf S = OPT
O = 21
T = 64.75		 S = OPT
O = 21
T = 72.39
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 77
T = TO
(out)(err)		 S = OPT
O = 21
T = 131.45
(out)(err)		 S = OPT
O = 21
T = 130.54
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 21
T = 124.46
(out)(err)		 S = OPT
O = 21
T = 64.75
(out)(err)		 S = N/A
O = 29
T = TO
(out)(err)		 S = N/A
O = 31
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s3v80c700-6.cnf S = OPT
O = 18
T = 17.70		 S = OPT
O = 18
T = 17.77
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 37
T = TO
(out)(err)		 S = OPT
O = 18
T = 31.23
(out)(err)		 S = OPT
O = 18
T = 31.25
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 18
T = 19.88
(out)(err)		 S = OPT
O = 18
T = 17.70
(out)(err)		 S = N/A
O = 31
T = TO
(out)(err)		 S = N/A
O = 34
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v80c700-7.cnf S = OPT
O = 21
T = 59.14		 S = OPT
O = 21
T = 77.16
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 73
T = TO
(out)(err)		 S = OPT
O = 21
T = 137.43
(out)(err)		 S = OPT
O = 21
T = 135.54
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 21
T = 76.73
(out)(err)		 S = OPT
O = 21
T = 59.14
(out)(err)		 S = N/A
O = 32
T = TO
(out)(err)		 S = N/A
O = 32
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s3v80c700-8.cnf S = OPT
O = 19
T = 23.85		 S = OPT
O = 19
T = 37.04
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 72
T = TO
(out)(err)		 S = OPT
O = 19
T = 66.93
(out)(err)		 S = OPT
O = 19
T = 66.56
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 19
T = 69.62
(out)(err)		 S = OPT
O = 19
T = 23.85
(out)(err)		 S = N/A
O = 33
T = TO
(out)(err)		 S = N/A
O = 36
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v80c700-9.cnf S = OPT
O = 18
T = 24.50		 S = OPT
O = 18
T = 40.78
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 71
T = TO
(out)(err)		 S = OPT
O = 18
T = 72.96
(out)(err)		 S = OPT
O = 18
T = 72.39
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 18
T = 32.44
(out)(err)		 S = OPT
O = 18
T = 24.50
(out)(err)		 S = N/A
O = 31
T = TO
(out)(err)		 S = N/A
O = 30
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v80c800-1.cnf S = OPT
O = 28
T = 139.75		 S = OPT
O = 28
T = 139.75
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 67
T = TO
(out)(err)		 S = OPT
O = 28
T = 235.54
(out)(err)		 S = OPT
O = 28
T = 237.29
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 28
T = 160.23
(out)(err)		 S = OPT
O = 28
T = 159.23
(out)(err)		 S = N/A
O = 42
T = TO
(out)(err)		 S = N/A
O = 44
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v80c800-10.cnf S = OPT
O = 27
T = 90.09		 S = OPT
O = 27
T = 109.53
(out)(err)		 S = N/A
O = N/A
T = 529.96
(out)(err)		 S = N/A
O = 89
T = TO
(out)(err)		 S = OPT
O = 27
T = 185.85
(out)(err)		 S = OPT
O = 27
T = 185.97
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 27
T = 91.26
(out)(err)		 S = OPT
O = 27
T = 90.09
(out)(err)		 S = N/A
O = 40
T = TO
(out)(err)		 S = N/A
O = 50
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v80c800-2.cnf S = OPT
O = 32
T = 703.58		 S = OPT
O = 32
T = 857.08
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 88
T = TO
(out)(err)		 S = OPT
O = 32
T = 1514.53
(out)(err)		 S = OPT
O = 32
T = 1514.02
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 32
T = 897.47
(out)(err)		 S = OPT
O = 32
T = 703.58
(out)(err)		 S = N/A
O = 47
T = TO
(out)(err)		 S = N/A
O = 49
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v80c800-3.cnf S = OPT
O = 27
T = 152.18		 S = OPT
O = 27
T = 156.07
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 94
T = TO
(out)(err)		 S = OPT
O = 27
T = 276.59
(out)(err)		 S = OPT
O = 27
T = 273.98
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 27
T = 152.18
(out)(err)		 S = OPT
O = 27
T = 154.53
(out)(err)		 S = N/A
O = 40
T = TO
(out)(err)		 S = N/A
O = 42
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v80c800-4.cnf S = OPT
O = 26
T = 93.66		 S = OPT
O = 26
T = 97.22
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 76
T = TO
(out)(err)		 S = OPT
O = 26
T = 166.74
(out)(err)		 S = OPT
O = 26
T = 168.42
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 26
T = 98.27
(out)(err)		 S = OPT
O = 26
T = 93.66
(out)(err)		 S = N/A
O = 43
T = TO
(out)(err)		 S = N/A
O = 49
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v80c800-5.cnf S = OPT
O = 27
T = 126.96		 S = OPT
O = 27
T = 255.30
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 74
T = TO
(out)(err)		 S = OPT
O = 27
T = 431.37
(out)(err)		 S = OPT
O = 27
T = 434.50
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 27
T = 303.54
(out)(err)		 S = OPT
O = 27
T = 126.96
(out)(err)		 S = N/A
O = 48
T = TO
(out)(err)		 S = N/A
O = 44
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v80c800-6.cnf S = OPT
O = 28
T = 140.69		 S = OPT
O = 28
T = 155.87
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 88
T = TO
(out)(err)		 S = OPT
O = 28
T = 252.02
(out)(err)		 S = OPT
O = 28
T = 264.88
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 28
T = 145.76
(out)(err)		 S = OPT
O = 28
T = 140.69
(out)(err)		 S = N/A
O = 42
T = TO
(out)(err)		 S = N/A
O = 39
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v80c800-7.cnf S = OPT
O = 27
T = 101.15		 S = OPT
O = 27
T = 111.33
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 84
T = TO
(out)(err)		 S = OPT
O = 27
T = 193.57
(out)(err)		 S = OPT
O = 27
T = 192.69
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 27
T = 112.21
(out)(err)		 S = OPT
O = 27
T = 101.15
(out)(err)		 S = N/A
O = 43
T = TO
(out)(err)		 S = N/A
O = 41
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v80c800-8.cnf S = OPT
O = 25
T = 73.16		 S = OPT
O = 25
T = 96.85
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 73
T = TO
(out)(err)		 S = OPT
O = 25
T = 169.35
(out)(err)		 S = OPT
O = 25
T = 166.96
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 25
T = 76.47
(out)(err)		 S = OPT
O = 25
T = 73.16
(out)(err)		 S = N/A
O = 42
T = TO
(out)(err)		 S = N/A
O = 43
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v80c800-9.cnf S = OPT
O = 26
T = 107.42		 S = OPT
O = 26
T = 107.42
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 88
T = TO
(out)(err)		 S = OPT
O = 26
T = 192.10
(out)(err)		 S = OPT
O = 26
T = 188.50
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 26
T = 119.78
(out)(err)		 S = OPT
O = 26
T = 116.27
(out)(err)		 S = N/A
O = 41
T = TO
(out)(err)		 S = N/A
O = 39
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v80c900-1.cnf S = OPT
O = 35
T = 292.61		 S = OPT
O = 35
T = 410.04
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 98
T = TO
(out)(err)		 S = OPT
O = 35
T = 675.99
(out)(err)		 S = OPT
O = 35
T = 682.50
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 35
T = 328.79
(out)(err)		 S = OPT
O = 35
T = 292.61
(out)(err)		 S = N/A
O = 55
T = TO
(out)(err)		 S = N/A
O = 59
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v80c900-10.cnf S = OPT
O = 35
T = 606.68		 S = OPT
O = 35
T = 657.08
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 97
T = TO
(out)(err)		 S = OPT
O = 35
T = 911.40
(out)(err)		 S = OPT
O = 35
T = 922.97
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 35
T = 606.68
(out)(err)		 S = N/A
O = 35
T = TO
(out)(err)		 S = N/A
O = 50
T = TO
(out)(err)		 S = N/A
O = 45
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s3v80c900-2.cnf S = OPT
O = 37
T = 652.00		 S = OPT
O = 37
T = 707.72
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 91
T = TO
(out)(err)		 S = OPT
O = 37
T = 1225.60
(out)(err)		 S = OPT
O = 37
T = 1228.40
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 37
T = 702.29
(out)(err)		 S = OPT
O = 37
T = 652.00
(out)(err)		 S = N/A
O = 56
T = TO
(out)(err)		 S = N/A
O = 62
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v80c900-3.cnf S = OPT
O = 34
T = 338.57		 S = OPT
O = 34
T = 338.57
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 95
T = TO
(out)(err)		 S = OPT
O = 34
T = 586.89
(out)(err)		 S = OPT
O = 34
T = 591.02
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 34
T = 457.58
(out)(err)		 S = OPT
O = 34
T = 354.18
(out)(err)		 S = N/A
O = 52
T = TO
(out)(err)		 S = N/A
O = 48
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v80c900-4.cnf S = OPT
O = 35
T = 239.86		 S = OPT
O = 35
T = 481.17
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 98
T = TO
(out)(err)		 S = OPT
O = 35
T = 797.10
(out)(err)		 S = OPT
O = 35
T = 791.03
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 35
T = 519.68
(out)(err)		 S = OPT
O = 35
T = 239.86
(out)(err)		 S = N/A
O = 57
T = TO
(out)(err)		 S = N/A
O = 52
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v80c900-5.cnf S = OPT
O = 32
T = 229.34		 S = OPT
O = 32
T = 229.34
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 95
T = TO
(out)(err)		 S = OPT
O = 32
T = 383.45
(out)(err)		 S = OPT
O = 32
T = 388.26
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 32
T = 243.88
(out)(err)		 S = OPT
O = 32
T = 239.63
(out)(err)		 S = N/A
O = 48
T = TO
(out)(err)		 S = N/A
O = 47
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v80c900-6.cnf S = OPT
O = 31
T = 125.16		 S = OPT
O = 31
T = 125.16
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 90
T = TO
(out)(err)		 S = OPT
O = 31
T = 212.59
(out)(err)		 S = OPT
O = 31
T = 211.95
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 31
T = 158.53
(out)(err)		 S = OPT
O = 31
T = 129.98
(out)(err)		 S = N/A
O = 49
T = TO
(out)(err)		 S = N/A
O = 58
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s3v80c900-7.cnf S = OPT
O = 34
T = 272.78		 S = OPT
O = 34
T = 272.78
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 100
T = TO
(out)(err)		 S = OPT
O = 34
T = 449.79
(out)(err)		 S = OPT
O = 34
T = 453.80
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 34
T = 313.18
(out)(err)		 S = OPT
O = 34
T = 312.02
(out)(err)		 S = N/A
O = 50
T = TO
(out)(err)		 S = N/A
O = 56
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
s3v80c900-8.cnf S = OPT
O = 33
T = 267.54		 S = OPT
O = 33
T = 267.54
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 83
T = TO
(out)(err)		 S = OPT
O = 33
T = 449.78
(out)(err)		 S = OPT
O = 33
T = 453.38
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 33
T = 523.76
(out)(err)		 S = OPT
O = 33
T = 282.58
(out)(err)		 S = N/A
O = 46
T = TO
(out)(err)		 S = N/A
O = 55
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
s3v80c900-9.cnf S = OPT
O = 36
T = 323.08		 S = OPT
O = 36
T = 323.08
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 98
T = TO
(out)(err)		 S = OPT
O = 36
T = 537.59
(out)(err)		 S = OPT
O = 36
T = 537.33
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 36
T = 347.07
(out)(err)		 S = OPT
O = 36
T = 345.63
(out)(err)		 S = N/A
O = 53
T = TO
(out)(err)		 S = N/A
O = 59
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)