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 Sat4j ShinMaxSat WMaxSatz+ WMaxSatz09 WPM1 akmaxsat akmaxsat_ls iut_rr_ls pwbo2.1 wbo1.6
ped2.B.recomb1-0.01-1.wcnf S = OPT
O = 7
T = 2.55		 S = OPT
O = 7
T = 5.62
(out)(err)		 S = N/A
O = 37191
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 7
T = 20.50
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 930181
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 7
T = 6.48
(out)(err)		 S = OPT
O = 7
T = 2.55
(out)(err)
ped2.B.recomb1-0.01-2.wcnf S = OPT
O = 7
T = 2.52		 S = OPT
O = 7
T = 6.19
(out)(err)		 S = OPT
O = 7
T = 111.95
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 7
T = 20.67
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 7
T = 5.75
(out)(err)		 S = OPT
O = 7
T = 2.52
(out)(err)
ped2.B.recomb1-0.01-3.wcnf S = OPT
O = 6
T = 1.69		 S = OPT
O = 6
T = 5.33
(out)(err)		 S = OPT
O = 6
T = 31.33
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 6
T = 14.34
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 930181
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 6
T = 5.07
(out)(err)		 S = OPT
O = 6
T = 1.69
(out)(err)
ped2.B.recomb1-0.01-4.wcnf S = OPT
O = 7
T = 2.53		 S = OPT
O = 7
T = 4.83
(out)(err)		 S = OPT
O = 7
T = 333.73
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 7
T = 18.68
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 7
T = 5.84
(out)(err)		 S = OPT
O = 7
T = 2.53
(out)(err)
ped2.B.recomb1-0.01-5.wcnf S = OPT
O = 7
T = 2.50		 S = OPT
O = 7
T = 6.69
(out)(err)		 S = N/A
O = 66822
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 7
T = 18.73
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 7
T = 6.26
(out)(err)		 S = OPT
O = 7
T = 2.50
(out)(err)
ped2.B.recomb1-0.10-10.wcnf S = OPT
O = 6
T = 3.01		 S = OPT
O = 6
T = 6.66
(out)(err)		 S = OPT
O = 6
T = 79.75
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 6
T = 20.25
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 6
T = 7.71
(out)(err)		 S = OPT
O = 6
T = 3.01
(out)(err)
ped2.B.recomb1-0.10-6.wcnf S = OPT
O = 7
T = 3.71		 S = OPT
O = 7
T = 7.48
(out)(err)		 S = OPT
O = 7
T = 33.83
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 7
T = 23.59
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 7
T = 9.21
(out)(err)		 S = OPT
O = 7
T = 3.71
(out)(err)
ped2.B.recomb1-0.10-7.wcnf S = OPT
O = 588
T = 4.67		 S = OPT
O = 588
T = 9.69
(out)(err)		 S = N/A
O = 115051
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 588
T = 27.59
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 588
T = 9.91
(out)(err)		 S = OPT
O = 588
T = 4.67
(out)(err)
ped2.B.recomb1-0.10-8.wcnf S = OPT
O = 589
T = 4.56		 S = OPT
O = 589
T = 6.13
(out)(err)		 S = OPT
O = 589
T = 48.40
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 589
T = 25.30
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 589
T = 8.21
(out)(err)		 S = OPT
O = 589
T = 4.56
(out)(err)
ped2.B.recomb1-0.10-9.wcnf S = OPT
O = 7
T = 3.78		 S = OPT
O = 7
T = 8.88
(out)(err)		 S = OPT
O = 7
T = 116.92
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 7
T = 20.25
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 7
T = 8.09
(out)(err)		 S = OPT
O = 7
T = 3.78
(out)(err)
ped2.B.recomb1-0.20-11.wcnf S = OPT
O = 7
T = 6.19		 S = OPT
O = 7
T = 11.72
(out)(err)		 S = N/A
O = 147002
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 7
T = 27.70
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 7
T = 11.32
(out)(err)		 S = OPT
O = 7
T = 6.19
(out)(err)
ped2.B.recomb1-0.20-12.wcnf S = OPT
O = 7
T = 5.31		 S = OPT
O = 7
T = 13.28
(out)(err)		 S = N/A
O = 212075
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 7
T = 25.34
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = OPT
O = 7
T = 13.02
(out)(err)		 S = OPT
O = 7
T = 5.31
(out)(err)
ped2.B.recomb1-0.20-13.wcnf S = OPT
O = 7
T = 6.80		 S = OPT
O = 7
T = 11.17
(out)(err)		 S = N/A
O = 146421
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 7
T = 24.39
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 7
T = 13.00
(out)(err)		 S = OPT
O = 7
T = 6.80
(out)(err)
ped2.B.recomb1-0.20-14.wcnf S = OPT
O = 7
T = 5.50		 S = OPT
O = 7
T = 8.91
(out)(err)		 S = N/A
O = 177212
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 7
T = 25.30
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 7
T = 11.60
(out)(err)		 S = OPT
O = 7
T = 5.50
(out)(err)
ped2.B.recomb1-0.20-15.wcnf S = OPT
O = 7
T = 7.93		 S = OPT
O = 7
T = 14.02
(out)(err)		 S = N/A
O = 222536
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 7
T = 24.47
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 7
T = 12.30
(out)(err)		 S = OPT
O = 7
T = 7.93
(out)(err)
ped2.G.recomb1-0.01-1.wcnf S = OPT
O = 6430
T = 35.98		 S = N/A
O = 13407
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 6430
T = 268.97
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 6430
T = 69.50
(out)(err)		 S = OPT
O = 6430
T = 35.98
(out)(err)
ped2.G.recomb1-0.01-2.wcnf S = OPT
O = 4686
T = 43.19		 S = N/A
O = 4689
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 262.94
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 4686
T = 67.03
(out)(err)		 S = OPT
O = 4686
T = 43.19
(out)(err)
ped2.G.recomb1-0.01-3.wcnf S = OPT
O = 5266
T = 31.99		 S = N/A
O = 7027
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 5266
T = 225.05
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 5266
T = 54.43
(out)(err)		 S = OPT
O = 5266
T = 31.99
(out)(err)
ped2.G.recomb1-0.01-4.wcnf S = OPT
O = 7009
T = 37.42		 S = N/A
O = 11664
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 7009
T = 59.69
(out)(err)		 S = OPT
O = 7009
T = 37.42
(out)(err)
ped2.G.recomb1-0.01-5.wcnf S = OPT
O = 3521
T = 28.60		 S = N/A
O = 3524
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 3521
T = 228.74
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 3521
T = 49.28
(out)(err)		 S = OPT
O = 3521
T = 28.60
(out)(err)
ped2.G.recomb1-0.10-10.wcnf S = OPT
O = 2358
T = 77.26		 S = N/A
O = 2948
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 2358
T = 212.75
(out)(err)		 S = N/A
O = N/A
T = 5.67
(out)(err)		 S = N/A
O = N/A
T = 5.90
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 2358
T = 77.26
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped2.G.recomb1-0.10-6.wcnf S = OPT
O = 5845
T = 77.75		 S = N/A
O = 9925
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 5845
T = 259.18
(out)(err)		 S = N/A
O = N/A
T = 5.76
(out)(err)		 S = N/A
O = N/A
T = 6.30
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 5845
T = 77.75
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped2.G.recomb1-0.10-7.wcnf S = OPT
O = 3522
T = 160.23		 S = N/A
O = 4686
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 3522
T = 342.62
(out)(err)		 S = N/A
O = N/A
T = 5.67
(out)(err)		 S = N/A
O = N/A
T = 6.25
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 3522
T = 160.23
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped2.G.recomb1-0.10-8.wcnf S = OPT
O = 8175
T = 135.01		 S = N/A
O = 23891
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 8175
T = 335.49
(out)(err)		 S = N/A
O = N/A
T = 6.13
(out)(err)		 S = N/A
O = N/A
T = 6.32
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = OPT
O = 8175
T = 135.01
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped2.G.recomb1-0.10-9.wcnf S = OPT
O = 4105
T = 90.49		 S = N/A
O = 7023
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 4105
T = 291.62
(out)(err)		 S = N/A
O = N/A
T = 5.80
(out)(err)		 S = N/A
O = N/A
T = 6.32
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 4105
T = 90.49
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped2.G.recomb1-0.20-11.wcnf S = OPT
O = 4103
T = 226.69		 S = N/A
O = 8253
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 7.46
(out)(err)		 S = N/A
O = N/A
T = 7.98
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 4103
T = 226.69
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped2.G.recomb1-0.20-12.wcnf S = OPT
O = 8175
T = 310.54		 S = N/A
O = 22137
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 7.32
(out)(err)		 S = N/A
O = N/A
T = 7.91
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 8175
T = 310.54
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped2.G.recomb1-0.20-13.wcnf S = OPT
O = 6430
T = 256.11		 S = N/A
O = 42489
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 7.37
(out)(err)		 S = N/A
O = N/A
T = 8.09
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 6430
T = 256.11
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped2.G.recomb1-0.20-14.wcnf S = OPT
O = 5267
T = 211.29		 S = N/A
O = 20386
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 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 = 8.69
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 5267
T = 211.29
(out)(err)		 S = N/A
O = N/A
T = 3.04
(out)(err)
ped2.G.recomb1-0.20-15.wcnf S = OPT
O = 5265
T = 238.52		 S = N/A
O = 29108
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 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 = 8.77
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 5265
T = 238.52
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped2.G.recomb10-0.01-1.wcnf S = OPT
O = 58202
T = 256.74		 S = N/A
O = 143075
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 58202
T = 972.77
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 58202
T = 256.93
(out)(err)		 S = OPT
O = 58202
T = 256.74
(out)(err)
ped2.G.recomb10-0.01-2.wcnf S = OPT
O = 46566
T = 275.64		 S = N/A
O = 90175
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 46566
T = 821.28
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 46566
T = 275.64
(out)(err)		 S = OPT
O = 46566
T = 332.56
(out)(err)
ped2.G.recomb10-0.01-3.wcnf S = OPT
O = 47737
T = 182.17		 S = N/A
O = 122732
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 47737
T = 752.79
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 47737
T = 236.72
(out)(err)		 S = OPT
O = 47737
T = 182.17
(out)(err)
ped2.G.recomb10-0.01-4.wcnf S = OPT
O = 58784
T = 365.06		 S = N/A
O = 127985
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 58784
T = 1079.32
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 58784
T = 365.06
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped2.G.recomb10-0.01-5.wcnf S = OPT
O = 59945
T = 190.99		 S = N/A
O = 138432
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 59945
T = 961.66
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 59945
T = 373.05
(out)(err)		 S = OPT
O = 59945
T = 190.99
(out)(err)
ped2.G.recomb10-0.10-10.wcnf S = OPT
O = 57616
T = 601.10		 S = N/A
O = 120414
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 5.83
(out)(err)		 S = N/A
O = N/A
T = 6.18
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 57616
T = 601.10
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped2.G.recomb10-0.10-6.wcnf S = OPT
O = 47155
T = 314.46		 S = N/A
O = 142512
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 47155
T = 947.99
(out)(err)		 S = N/A
O = N/A
T = 5.65
(out)(err)		 S = N/A
O = N/A
T = 5.87
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 47155
T = 314.46
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped2.G.recomb10-0.10-7.wcnf S = OPT
O = 52383
T = 1077.62		 S = N/A
O = 104727
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 5.98
(out)(err)		 S = N/A
O = N/A
T = 6.26
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 52383
T = 1077.62
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped2.G.recomb10-0.10-8.wcnf S = OPT
O = 55874
T = 530.29		 S = N/A
O = 129148
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 5.67
(out)(err)		 S = N/A
O = N/A
T = 6.10
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = OPT
O = 55874
T = 530.29
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped2.G.recomb10-0.10-9.wcnf S = OPT
O = 47741
T = 360.78		 S = N/A
O = 139598
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 47741
T = 888.73
(out)(err)		 S = N/A
O = N/A
T = 5.22
(out)(err)		 S = N/A
O = N/A
T = 5.74
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 47741
T = 360.78
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped2.G.recomb10-0.20-11.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = 152394
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 7.58
(out)(err)		 S = N/A
O = N/A
T = 7.92
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped2.G.recomb10-0.20-12.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = 116370
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 7.04
(out)(err)		 S = N/A
O = N/A
T = 7.87
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 1186.91
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped2.G.recomb10-0.20-13.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = 111703
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped2.G.recomb10-0.20-14.wcnf S = OPT
O = 41339
T = 927.39		 S = N/A
O = 112284
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 7.65
(out)(err)		 S = N/A
O = N/A
T = 8.31
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 41339
T = 927.39
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped2.G.recomb10-0.20-15.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = 144261
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 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 = 7.94
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped2.G.recomb5-0.01-1.wcnf S = OPT
O = 29116
T = 120.18		 S = N/A
O = 59357
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 29116
T = 513.97
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 29116
T = 138.50
(out)(err)		 S = OPT
O = 29116
T = 120.18
(out)(err)
ped2.G.recomb5-0.01-2.wcnf S = OPT
O = 34935
T = 212.01		 S = N/A
O = 89009
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 34935
T = 665.82
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 34935
T = 212.01
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped2.G.recomb5-0.01-3.wcnf S = OPT
O = 31442
T = 100.47		 S = N/A
O = 69238
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 31442
T = 611.95
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 31442
T = 158.32
(out)(err)		 S = OPT
O = 31442
T = 100.47
(out)(err)
ped2.G.recomb5-0.01-4.wcnf S = OPT
O = 21555
T = 80.90		 S = N/A
O = 42493
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 21555
T = 404.68
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 21555
T = 94.51
(out)(err)		 S = OPT
O = 21555
T = 80.90
(out)(err)
ped2.G.recomb5-0.01-5.wcnf S = OPT
O = 25054
T = 82.24		 S = N/A
O = 65762
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 25054
T = 495.79
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 25054
T = 133.20
(out)(err)		 S = OPT
O = 25054
T = 82.24
(out)(err)
ped2.G.recomb5-0.10-10.wcnf S = OPT
O = 25042
T = 225.44		 S = N/A
O = 53553
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 25042
T = 529.23
(out)(err)		 S = N/A
O = N/A
T = 5.57
(out)(err)		 S = N/A
O = N/A
T = 5.76
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 25042
T = 225.44
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped2.G.recomb5-0.10-6.wcnf S = OPT
O = 27380
T = 222.35		 S = N/A
O = 61124
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 27380
T = 652.40
(out)(err)		 S = N/A
O = N/A
T = 5.36
(out)(err)		 S = N/A
O = N/A
T = 5.65
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 27380
T = 222.35
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped2.G.recomb5-0.10-7.wcnf S = OPT
O = 25626
T = 289.87		 S = N/A
O = 59948
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 25626
T = 544.06
(out)(err)		 S = N/A
O = N/A
T = 5.24
(out)(err)		 S = N/A
O = N/A
T = 5.67
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 25626
T = 289.87
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped2.G.recomb5-0.10-8.wcnf S = OPT
O = 25048
T = 378.57		 S = N/A
O = 64596
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 5.77
(out)(err)		 S = N/A
O = N/A
T = 6.01
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 25048
T = 378.57
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped2.G.recomb5-0.10-9.wcnf S = OPT
O = 31445
T = 780.01		 S = N/A
O = 70991
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 31445
T = 780.01
(out)(err)		 S = N/A
O = N/A
T = 5.62
(out)(err)		 S = N/A
O = N/A
T = 5.87
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped2.G.recomb5-0.20-11.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = 73908
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 7.82
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 1107.39
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped2.G.recomb5-0.20-12.wcnf S = OPT
O = 20972
T = 555.68		 S = N/A
O = 57040
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 7.24
(out)(err)		 S = N/A
O = N/A
T = 7.74
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 20972
T = 555.68
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped2.G.recomb5-0.20-13.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = 97752
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 7.93
(out)(err)		 S = N/A
O = N/A
T = 8.33
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = N/A
O = N/A
T = 1580.55
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped2.G.recomb5-0.20-14.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = 45998
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 7.31
(out)(err)		 S = N/A
O = N/A
T = 7.90
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped2.G.recomb5-0.20-15.wcnf S = OPT
O = 25045
T = 453.34		 S = N/A
O = 47738
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 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 = 8.55
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 25045
T = 453.34
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped3.D.recomb10-0.20-11.wcnf S = OPT
O = 690
T = 20.97		 S = OPT
O = 690
T = 87.78
(out)(err)		 S = OPT
O = 690
T = 151.98
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 690
T = 20.97
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 525481
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 690
T = 27.33
(out)(err)		 S = OPT
O = 690
T = 37.31
(out)(err)
ped3.D.recomb10-0.20-12.wcnf S = OPT
O = 349
T = 2.16		 S = OPT
O = 349
T = 10.74
(out)(err)		 S = OPT
O = 349
T = 95.70
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 349
T = 10.38
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 525481
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 349
T = 4.97
(out)(err)		 S = OPT
O = 349
T = 2.16
(out)(err)
ped3.D.recomb10-0.20-13.wcnf S = OPT
O = 350
T = 6.63		 S = OPT
O = 350
T = 115.72
(out)(err)		 S = OPT
O = 350
T = 74.89
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 350
T = 16.25
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 525481
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 350
T = 11.93
(out)(err)		 S = OPT
O = 350
T = 6.63
(out)(err)
ped3.D.recomb10-0.20-14.wcnf S = OPT
O = 7
T = 2.90		 S = OPT
O = 7
T = 8.44
(out)(err)		 S = OPT
O = 7
T = 84.69
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 7
T = 10.05
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 525481
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 7
T = 5.06
(out)(err)		 S = OPT
O = 7
T = 2.90
(out)(err)
ped3.D.recomb10-0.20-15.wcnf S = OPT
O = 689
T = 79.04		 S = OPT
O = 689
T = 244.56
(out)(err)		 S = N/A
O = 689
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 689
T = 79.04
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 525481
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 689
T = 1679.66
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped3.E.recomb10-0.20-11.wcnf S = OPT
O = 9588
T = 48.38		 S = N/A
O = 20867
T = TO
(out)(err)		 S = N/A
O = 292619
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 9588
T = 157.29
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1875841
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 9588
T = 60.64
(out)(err)		 S = OPT
O = 9588
T = 48.38
(out)(err)
ped3.E.recomb10-0.20-12.wcnf S = OPT
O = 9927
T = 143.84		 S = N/A
O = 20869
T = TO
(out)(err)		 S = N/A
O = 331842
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 9927
T = 143.84
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1875841
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 9927
T = 1725.11
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped3.E.recomb10-0.20-13.wcnf S = OPT
O = 8559
T = 64.06		 S = N/A
O = 11647
T = TO
(out)(err)		 S = N/A
O = 310692
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 8559
T = 126.46
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1875841
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 8559
T = 64.06
(out)(err)
ped3.E.recomb10-0.20-14.wcnf S = OPT
O = 8555
T = 990.34		 S = N/A
O = 19838
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 8555
T = 1028.28
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1875841
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 8555
T = 990.34
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped3.E.recomb10-0.20-15.wcnf S = OPT
O = 3781
T = 140.95		 S = N/A
O = 6181
T = TO
(out)(err)		 S = N/A
O = 259878
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 3781
T = 140.95
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1875841
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 3781
T = 1563.92
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped3.F.recomb10-0.01-1.wcnf S = OPT
O = 6853
T = 15.76		 S = N/A
O = 14374
T = TO
(out)(err)		 S = N/A
O = 250338
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 6853
T = 69.81
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1575761
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 6853
T = 26.48
(out)(err)		 S = OPT
O = 6853
T = 15.76
(out)(err)
ped3.F.recomb10-0.01-2.wcnf S = OPT
O = 8900
T = 13.58		 S = N/A
O = 15057
T = TO
(out)(err)		 S = N/A
O = 292966
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 8900
T = 74.03
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1575761
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 8900
T = 22.48
(out)(err)		 S = OPT
O = 8900
T = 13.58
(out)(err)
ped3.F.recomb10-0.01-3.wcnf S = OPT
O = 7193
T = 17.37		 S = N/A
O = 8571
T = TO
(out)(err)		 S = N/A
O = 281369
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 7193
T = 77.13
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1575761
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 7193
T = 24.92
(out)(err)		 S = OPT
O = 7193
T = 17.37
(out)(err)
ped3.F.recomb10-0.01-4.wcnf S = OPT
O = 5483
T = 17.91		 S = N/A
O = 7206
T = TO
(out)(err)		 S = N/A
O = 285793
T = 23.89
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 5483
T = 70.16
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1575761
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 5483
T = 22.16
(out)(err)		 S = OPT
O = 5483
T = 17.91
(out)(err)
ped3.F.recomb10-0.01-5.wcnf S = OPT
O = 7540
T = 15.54		 S = N/A
O = 9598
T = TO
(out)(err)		 S = N/A
O = 283080
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 7540
T = 68.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1575761
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 7540
T = 23.67
(out)(err)		 S = OPT
O = 7540
T = 15.54
(out)(err)
ped3.F.recomb10-0.10-10.wcnf S = OPT
O = 7537
T = 23.33		 S = N/A
O = 11303
T = TO
(out)(err)		 S = N/A
O = 259543
T = 26.62
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 7537
T = 103.69
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1575761
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 7537
T = 32.02
(out)(err)		 S = OPT
O = 7537
T = 23.33
(out)(err)
ped3.F.recomb10-0.10-6.wcnf S = OPT
O = 6517
T = 20.93		 S = N/A
O = 8921
T = TO
(out)(err)		 S = N/A
O = 305585
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 6517
T = 85.98
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1575761
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 6517
T = 33.26
(out)(err)		 S = OPT
O = 6517
T = 20.93
(out)(err)
ped3.F.recomb10-0.10-7.wcnf S = OPT
O = 8905
T = 24.50		 S = N/A
O = 11654
T = TO
(out)(err)		 S = N/A
O = 300809
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 8905
T = 107.87
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1575761
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 8905
T = 37.12
(out)(err)		 S = OPT
O = 8905
T = 24.50
(out)(err)
ped3.F.recomb10-0.10-8.wcnf S = OPT
O = 9245
T = 146.93		 S = N/A
O = 20196
T = TO
(out)(err)		 S = N/A
O = 329112
T = 28.61
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 9245
T = 150.19
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1575761
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 9245
T = 146.93
(out)(err)		 S = OPT
O = 9245
T = 147.49
(out)(err)
ped3.F.recomb10-0.10-9.wcnf S = OPT
O = 5488
T = 56.18		 S = N/A
O = 6871
T = TO
(out)(err)		 S = N/A
O = 252389
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 5488
T = 101.07
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1575761
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 5488
T = 56.18
(out)(err)		 S = OPT
O = 5488
T = 65.51
(out)(err)
ped3.F.recomb10-0.20-11.wcnf S = OPT
O = 4807
T = 39.67		 S = N/A
O = 9268
T = TO
(out)(err)		 S = N/A
O = 308311
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 4807
T = 103.55
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1575761
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 4807
T = 58.36
(out)(err)		 S = OPT
O = 4807
T = 39.67
(out)(err)
ped3.F.recomb10-0.20-12.wcnf S = OPT
O = 5840
T = 642.36		 S = N/A
O = 15405
T = TO
(out)(err)		 S = N/A
O = 304581
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 5840
T = 642.36
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1575761
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped3.F.recomb10-0.20-13.wcnf S = OPT
O = 2412
T = 30.15		 S = N/A
O = 2415
T = TO
(out)(err)		 S = N/A
O = 326034
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 2412
T = 84.25
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1575761
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 2412
T = 30.15
(out)(err)		 S = OPT
O = 2412
T = 57.43
(out)(err)
ped3.F.recomb10-0.20-14.wcnf S = OPT
O = 5482
T = 113.66		 S = N/A
O = 8231
T = TO
(out)(err)		 S = N/A
O = 319559
T = 32.77
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 5482
T = 113.66
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1575761
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 5482
T = 260.30
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped3.F.recomb10-0.20-15.wcnf S = OPT
O = 4123
T = 20.99		 S = N/A
O = 8570
T = TO
(out)(err)		 S = N/A
O = 277276
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 4123
T = 89.39
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1575761
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 4123
T = 35.84
(out)(err)		 S = OPT
O = 4123
T = 20.99
(out)(err)
ped3.G.recomb10-0.01-1.wcnf S = OPT
O = 15748
T = 105.84		 S = N/A
O = 27022
T = TO
(out)(err)		 S = N/A
O = 317891
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 15748
T = 188.37
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 3451261
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 15748
T = 105.84
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped3.G.recomb10-0.01-2.wcnf S = OPT
O = 16784
T = 36.94		 S = N/A
O = 21572
T = TO
(out)(err)		 S = N/A
O = 438959
T = 34.95
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 16784
T = 190.59
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 3451261
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 16784
T = 48.49
(out)(err)		 S = OPT
O = 16784
T = 36.94
(out)(err)
ped3.G.recomb10-0.01-3.wcnf S = OPT
O = 15414
T = 32.03		 S = N/A
O = 23955
T = TO
(out)(err)		 S = N/A
O = 374844
T = 32.43
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 15414
T = 205.85
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 3451261
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 15414
T = 58.32
(out)(err)		 S = OPT
O = 15414
T = 32.03
(out)(err)
ped3.G.recomb10-0.01-4.wcnf S = OPT
O = 17444
T = 46.77		 S = N/A
O = 30774
T = TO
(out)(err)		 S = N/A
O = 410641
T = 33.85
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 17444
T = 185.29
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 3451261
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 17444
T = 61.95
(out)(err)		 S = OPT
O = 17444
T = 46.77
(out)(err)
ped3.G.recomb10-0.01-5.wcnf S = OPT
O = 14043
T = 62.23		 S = N/A
O = 20206
T = TO
(out)(err)		 S = N/A
O = 416103
T = 33.68
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 14043
T = 181.19
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 3451261
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 14043
T = 62.23
(out)(err)		 S = OPT
O = 14043
T = 339.62
(out)(err)
ped3.G.recomb10-0.10-10.wcnf S = OPT
O = 18485
T = 289.30		 S = N/A
O = 31133
T = TO
(out)(err)		 S = N/A
O = 416789
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 18485
T = 289.30
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 3451261
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped3.G.recomb10-0.10-6.wcnf S = OPT
O = 17460
T = 57.95		 S = N/A
O = 29775
T = TO
(out)(err)		 S = N/A
O = 413720
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 17460
T = 298.35
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 3451261
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 17460
T = 110.59
(out)(err)		 S = OPT
O = 17460
T = 57.95
(out)(err)
ped3.G.recomb10-0.10-7.wcnf S = OPT
O = 16092
T = 71.11		 S = N/A
O = 29758
T = TO
(out)(err)		 S = N/A
O = 420544
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 16092
T = 234.60
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 3451261
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 16092
T = 98.10
(out)(err)		 S = OPT
O = 16092
T = 71.11
(out)(err)
ped3.G.recomb10-0.10-8.wcnf S = OPT
O = 15072
T = 55.68		 S = N/A
O = 20555
T = TO
(out)(err)		 S = N/A
O = 386447
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 15072
T = 199.73
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 3451261
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 15072
T = 87.52
(out)(err)		 S = OPT
O = 15072
T = 55.68
(out)(err)
ped3.G.recomb10-0.10-9.wcnf S = OPT
O = 15407
T = 146.23		 S = N/A
O = 25325
T = TO
(out)(err)		 S = N/A
O = 359160
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 15407
T = 200.36
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 3451261
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 15407
T = 146.23
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped3.G.recomb10-0.20-11.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = 20214
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 3451261
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped3.G.recomb10-0.20-12.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = 28411
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 3451261
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped3.G.recomb10-0.20-13.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = 35588
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 3451261
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped3.G.recomb10-0.20-14.wcnf S = OPT
O = 11990
T = 615.07		 S = N/A
O = 24991
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 11990
T = 615.07
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 3451261
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
ped3.G.recomb10-0.20-15.wcnf S = OPT
O = 15408
T = 406.53		 S = N/A
O = 28747
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 15408
T = 406.53
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 3451261
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
comp01.wcnf 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 = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 840
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1800.00
(out)(err)
comp02.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = 175
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 3500
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
comp03.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = 391
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 3400
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
comp04.wcnf S = OPT
O = 35
T = 36.42		 S = N/A
O = 73
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 35
T = 86.63
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 2850
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 35
T = 52.52
(out)(err)		 S = OPT
O = 35
T = 36.42
(out)(err)
comp05.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = 1890
T = TO
(out)(err)		 S = N/A
O = 1989
T = 337.10
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 10008
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
comp06.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = 309
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 3500
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
comp07.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = 795
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 4.48
(out)(err)		 S = N/A
O = N/A
T = 4.89
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
comp08.wcnf S = OPT
O = 37
T = 101.13		 S = N/A
O = 63
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 37
T = 104.10
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 3050
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 37
T = 101.13
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
comp09.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = 294
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 3750
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
comp10.wcnf S = OPT
O = 4
T = 175.46		 S = N/A
O = 130
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 4
T = 175.46
(out)(err)		 S = N/A
O = N/A
T = 3.41
(out)(err)		 S = N/A
O = N/A
T = 3.51
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 4
T = 321.93
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
comp12.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = 1553
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 10800
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
comp13.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = 234
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 3300
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
comp14.wcnf S = OPT
O = 51
T = 355.13		 S = N/A
O = 192
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 51
T = 355.13
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 3000
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
comp15.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = 391
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 3400
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
comp16.wcnf S = OPT
O = 18
T = 158.92		 S = N/A
O = 71
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 18
T = 158.92
(out)(err)		 S = N/A
O = N/A
T = 3.43
(out)(err)		 S = N/A
O = N/A
T = 3.71
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 18
T = 202.58
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
comp17.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = 212
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
comp18.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = 335
T = TO
(out)(err)		 S = N/A
O = 305
T = 410.80
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 3744
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
comp19.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = 276
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 3300
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
comp20.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = 1152
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 3.32
(out)(err)		 S = N/A
O = N/A
T = 3.57
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
comp21.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = 347
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
dds1.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = 92.36
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 10.02
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 6.12
(out)(err)		 S = N/A
O = N/A
T = 0.02
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 2.33
(out)(err)
dds4.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = 121.18
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 13.19
(out)(err)		 S = N/A
O = N/A
T = 20.41
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = N/A
O = N/A
T = 20.71
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
test1.wcnf 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 = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1040
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
test2.wcnf S = OPT
O = 16
T = 75.88		 S = N/A
O = 63
T = TO
(out)(err)		 S = N/A
O = 505
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 16
T = 75.88
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1200
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 16
T = 414.64
(out)(err)
test3.wcnf S = N/A
O = N/A
T = TO		 S = N/A
O = 664
T = TO
(out)(err)		 S = N/A
O = 1401
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 2200
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
test4.wcnf 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 = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 2750
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
mancoosi-test-i1000d0u98-0.wcnf S = OPT
O = 107076495
T = 32.90		 S = OPT
O = 107076495
T = 113.19
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 2721666421
T = TO
(out)(err)		 S = N/A
O = 2721666421
T = TO
(out)(err)		 S = OPT
O = 107076495
T = 32.90
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 16514222410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 107076495
T = 74.29
(out)(err)		 S = OPT
O = 107076495
T = 55.39
(out)(err)
mancoosi-test-i1000d0u98-1.wcnf S = OPT
O = 122084953
T = 39.44		 S = N/A
O = 122084953
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 3352528799
T = TO
(out)(err)		 S = N/A
O = 3352528799
T = TO
(out)(err)		 S = OPT
O = 122084953
T = 39.44
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 16514222410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 122084953
T = 77.89
(out)(err)		 S = OPT
O = 122084953
T = 61.69
(out)(err)
mancoosi-test-i1000d0u98-10.wcnf S = OPT
O = 152083527
T = 30.76		 S = OPT
O = 152083527
T = 33.26
(out)(err)		 S = N/A
O = N/A
T = 0.00
(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 = 152083527
T = 30.76
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 16514222410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 152083527
T = 75.56
(out)(err)		 S = OPT
O = 152083527
T = 50.62
(out)(err)
mancoosi-test-i1000d0u98-11.wcnf S = OPT
O = 122139402
T = 32.13		 S = OPT
O = 122139402
T = 127.34
(out)(err)		 S = N/A
O = N/A
T = 0.00
(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 = 122139402
T = 32.13
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 16514222410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 122139402
T = 81.11
(out)(err)		 S = OPT
O = 122139402
T = 47.36
(out)(err)
mancoosi-test-i1000d0u98-12.wcnf S = OPT
O = 77077761
T = 30.17		 S = N/A
O = 77077761
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 3052251337
T = TO
(out)(err)		 S = N/A
O = 3052251337
T = TO
(out)(err)		 S = OPT
O = 77077761
T = 30.17
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 16514222410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 77077761
T = 75.71
(out)(err)		 S = OPT
O = 77077761
T = 47.96
(out)(err)
mancoosi-test-i1000d0u98-13.wcnf S = OPT
O = 182245730
T = 10.28		 S = OPT
O = 182245730
T = 10.28
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 3052233192
T = TO
(out)(err)		 S = N/A
O = 3052233192
T = TO
(out)(err)		 S = OPT
O = 182245730
T = 34.05
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 16514222410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 182245730
T = 77.23
(out)(err)		 S = OPT
O = 182245730
T = 50.84
(out)(err)
mancoosi-test-i1000d0u98-14.wcnf S = OPT
O = 137147806
T = 34.18		 S = OPT
O = 137147806
T = 299.14
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 1865223495
T = TO
(out)(err)		 S = N/A
O = 1865223495
T = TO
(out)(err)		 S = OPT
O = 137147806
T = 34.18
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 16514222410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 137147806
T = 79.49
(out)(err)		 S = OPT
O = 137147806
T = 51.41
(out)(err)
mancoosi-test-i1000d0u98-15.wcnf S = OPT
O = 92031744
T = 29.19		 S = OPT
O = 92031744
T = 29.19
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 2496322087
T = TO
(out)(err)		 S = N/A
O = 2496322087
T = TO
(out)(err)		 S = OPT
O = 92031744
T = 37.07
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 16514222410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 92031744
T = 85.89
(out)(err)		 S = OPT
O = 92031744
T = 50.78
(out)(err)
mancoosi-test-i1000d0u98-16.wcnf S = OPT
O = 137075245
T = 30.70		 S = OPT
O = 137075245
T = 30.70
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 2361100970
T = TO
(out)(err)		 S = N/A
O = 2361100970
T = TO
(out)(err)		 S = OPT
O = 137075245
T = 40.01
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 16514222410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 137075245
T = 95.37
(out)(err)		 S = OPT
O = 137075245
T = 67.50
(out)(err)
mancoosi-test-i1000d0u98-17.wcnf S = OPT
O = 152192544
T = 34.43		 S = OPT
O = 152192544
T = 106.81
(out)(err)		 S = N/A
O = N/A
T = 0.00
(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 = 152192544
T = 34.43
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 16514222410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 152192544
T = 69.09
(out)(err)		 S = OPT
O = 152192544
T = 51.52
(out)(err)
mancoosi-test-i1000d0u98-18.wcnf S = OPT
O = 152228825
T = 6.89		 S = OPT
O = 152228825
T = 6.89
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 2616625641
T = TO
(out)(err)		 S = N/A
O = 2616625641
T = TO
(out)(err)		 S = OPT
O = 152228825
T = 31.09
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 16514222410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 152228825
T = 62.09
(out)(err)		 S = OPT
O = 152228825
T = 43.34
(out)(err)
mancoosi-test-i1000d0u98-19.wcnf S = OPT
O = 92049939
T = 39.66		 S = OPT
O = 92049939
T = 110.64
(out)(err)		 S = N/A
O = N/A
T = 0.00
(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 = 92049939
T = 39.66
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 16514222410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 92049939
T = 87.80
(out)(err)		 S = OPT
O = 92049939
T = 59.38
(out)(err)
mancoosi-test-i1000d0u98-2.wcnf S = OPT
O = 77059701
T = 7.46		 S = OPT
O = 77059701
T = 7.46
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 2225825289
T = TO
(out)(err)		 S = N/A
O = 2225825289
T = TO
(out)(err)		 S = OPT
O = 77059701
T = 39.29
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 16514222410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 77059701
T = 89.80
(out)(err)		 S = OPT
O = 77059701
T = 52.31
(out)(err)
mancoosi-test-i1000d0u98-20.wcnf S = OPT
O = 122103131
T = 35.61		 S = N/A
O = 122103132
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 2511385020
T = TO
(out)(err)		 S = N/A
O = 2511385020
T = TO
(out)(err)		 S = OPT
O = 122103131
T = 35.61
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 16514222410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 122103131
T = 79.10
(out)(err)		 S = OPT
O = 122103131
T = 56.90
(out)(err)
mancoosi-test-i1000d0u98-21.wcnf S = OPT
O = 77041487
T = 36.28		 S = OPT
O = 77041487
T = 108.27
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 3397917437
T = TO
(out)(err)		 S = N/A
O = 3397917437
T = TO
(out)(err)		 S = OPT
O = 77041487
T = 36.28
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 16514222410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 77041487
T = 73.40
(out)(err)		 S = OPT
O = 77041487
T = 48.82
(out)(err)
mancoosi-test-i1000d0u98-22.wcnf S = OPT
O = 92086312
T = 37.19		 S = OPT
O = 92086312
T = 37.29
(out)(err)		 S = N/A
O = N/A
T = 0.00
(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 = 92086312
T = 37.19
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 16514222410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 92086312
T = 82.28
(out)(err)		 S = OPT
O = 92086312
T = 65.18
(out)(err)
mancoosi-test-i1000d0u98-23.wcnf S = OPT
O = 62014822
T = 13.67		 S = OPT
O = 62014822
T = 13.67
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 2331047736
T = TO
(out)(err)		 S = N/A
O = 2331047736
T = TO
(out)(err)		 S = OPT
O = 62014822
T = 29.45
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 16514222410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 62014822
T = 73.50
(out)(err)		 S = OPT
O = 62014822
T = 41.32
(out)(err)
mancoosi-test-i1000d0u98-24.wcnf S = OPT
O = 167273676
T = 35.24		 S = OPT
O = 167273676
T = 41.97
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 18502332
T = TO
(out)(err)		 S = N/A
O = 18502332
T = TO
(out)(err)		 S = OPT
O = 167273676
T = 35.24
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 16514222410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 167273676
T = 71.22
(out)(err)		 S = OPT
O = 167273676
T = 53.81
(out)(err)
mancoosi-test-i1000d0u98-3.wcnf S = OPT
O = 91959146
T = 39.92		 S = OPT
O = 91959146
T = 48.90
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 3067059901
T = TO
(out)(err)		 S = N/A
O = 3067059901
T = TO
(out)(err)		 S = OPT
O = 91959146
T = 39.92
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 16514222410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 91959146
T = 95.31
(out)(err)		 S = OPT
O = 91959146
T = 72.26
(out)(err)
mancoosi-test-i1000d0u98-4.wcnf S = OPT
O = 122175781
T = 37.23		 S = OPT
O = 122175781
T = 71.56
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 2391099638
T = TO
(out)(err)		 S = N/A
O = 2391099638
T = TO
(out)(err)		 S = OPT
O = 122175781
T = 37.23
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 16514222410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 122175781
T = 76.90
(out)(err)		 S = OPT
O = 122175781
T = 57.46
(out)(err)
mancoosi-test-i1000d0u98-5.wcnf S = OPT
O = 107058295
T = 34.83		 S = OPT
O = 107058295
T = 117.53
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 2180745
T = TO
(out)(err)		 S = N/A
O = 2180745
T = TO
(out)(err)		 S = OPT
O = 107058295
T = 34.83
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 16514222410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 107058295
T = 78.56
(out)(err)		 S = OPT
O = 107058295
T = 51.83
(out)(err)
mancoosi-test-i1000d0u98-6.wcnf S = OPT
O = 137093314
T = 31.83		 S = OPT
O = 137093314
T = 35.01
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 2270868743
T = TO
(out)(err)		 S = N/A
O = 2270868743
T = TO
(out)(err)		 S = OPT
O = 137093314
T = 31.83
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 16514222410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 137093314
T = 80.06
(out)(err)		 S = OPT
O = 137093314
T = 53.44
(out)(err)
mancoosi-test-i1000d0u98-7.wcnf S = OPT
O = 92104395
T = 30.13		 S = OPT
O = 92104395
T = 30.13
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 2270
T = TO
(out)(err)		 S = N/A
O = 2270
T = TO
(out)(err)		 S = OPT
O = 92104395
T = 31.94
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 16514222410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 92104395
T = 81.59
(out)(err)		 S = OPT
O = 92104395
T = 46.11
(out)(err)
mancoosi-test-i1000d0u98-8.wcnf S = OPT
O = 137057008
T = 35.74		 S = OPT
O = 137057008
T = 455.84
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 3217543831
T = TO
(out)(err)		 S = N/A
O = 3217543831
T = TO
(out)(err)		 S = OPT
O = 137057008
T = 35.74
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 16514222410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 137057008
T = 83.68
(out)(err)		 S = OPT
O = 137057008
T = 58.80
(out)(err)
mancoosi-test-i1000d0u98-9.wcnf S = OPT
O = 167164758
T = 14.67		 S = OPT
O = 167164758
T = 14.67
(out)(err)		 S = N/A
O = N/A
T = 0.00
(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 = 167164758
T = 35.89
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 16514222410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 167164758
T = 89.78
(out)(err)		 S = OPT
O = 167164758
T = 66.65
(out)(err)
mancoosi-test-i2000d0u98-25.wcnf S = OPT
O = 332548069
T = 39.15		 S = OPT
O = 332548069
T = 275.52
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 3458132909
T = TO
(out)(err)		 S = N/A
O = 3458132909
T = TO
(out)(err)		 S = OPT
O = 332548069
T = 39.15
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 31540812410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 332548069
T = 90.08
(out)(err)		 S = OPT
O = 332548069
T = 67.19
(out)(err)
mancoosi-test-i2000d0u98-26.wcnf S = OPT
O = 287486453
T = 35.56		 S = OPT
O = 287486453
T = 1116.30
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 3232752257
T = TO
(out)(err)		 S = N/A
O = 3232752257
T = TO
(out)(err)		 S = OPT
O = 287486453
T = 35.56
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 31540812410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 287486453
T = 86.85
(out)(err)		 S = OPT
O = 287486453
T = 63.58
(out)(err)
mancoosi-test-i2000d0u98-27.wcnf S = OPT
O = 317557787
T = 38.38		 S = OPT
O = 317557787
T = 377.92
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 4915675729
T = TO
(out)(err)		 S = N/A
O = 4915675729
T = TO
(out)(err)		 S = OPT
O = 317557787
T = 38.38
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 31540812410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 317557787
T = 81.40
(out)(err)		 S = OPT
O = 317557787
T = 56.68
(out)(err)
mancoosi-test-i2000d0u98-28.wcnf S = OPT
O = 287468289
T = 35.78		 S = N/A
O = 287468289
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 5336383859
T = TO
(out)(err)		 S = N/A
O = 5336383859
T = TO
(out)(err)		 S = OPT
O = 287468289
T = 35.78
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 31540812410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 287468289
T = 90.12
(out)(err)		 S = OPT
O = 287468289
T = 65.10
(out)(err)
mancoosi-test-i2000d0u98-29.wcnf S = OPT
O = 287595465
T = 35.30		 S = OPT
O = 287595465
T = 875.21
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 4464896196
T = TO
(out)(err)		 S = N/A
O = 4464896196
T = TO
(out)(err)		 S = OPT
O = 287595465
T = 35.30
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 31540812410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 287595465
T = 87.55
(out)(err)		 S = OPT
O = 287595465
T = 62.72
(out)(err)
mancoosi-test-i2000d0u98-30.wcnf S = OPT
O = 212317206
T = 41.91		 S = N/A
O = 212317207
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 4765373483
T = TO
(out)(err)		 S = N/A
O = 4765373483
T = TO
(out)(err)		 S = OPT
O = 212317206
T = 41.91
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 31540812410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 212317206
T = 82.86
(out)(err)		 S = OPT
O = 212317206
T = 67.21
(out)(err)
mancoosi-test-i2000d0u98-31.wcnf S = OPT
O = 302513031
T = 39.27		 S = N/A
O = 302513031
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(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 = 302513031
T = 39.27
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 31540812410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 302513031
T = 76.79
(out)(err)		 S = OPT
O = 302513031
T = 61.94
(out)(err)
mancoosi-test-i2000d0u98-32.wcnf S = OPT
O = 362510376
T = 39.12		 S = N/A
O = 362583056
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 5005780719
T = TO
(out)(err)		 S = N/A
O = 5005780719
T = TO
(out)(err)		 S = OPT
O = 362510376
T = 39.12
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 31540812410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 362510376
T = 87.11
(out)(err)		 S = OPT
O = 362510376
T = 61.94
(out)(err)
mancoosi-test-i2000d0u98-33.wcnf S = OPT
O = 332529839
T = 37.32		 S = N/A
O = 332529845
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(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 = 332529839
T = 37.32
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 31540812410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 332529839
T = 81.16
(out)(err)		 S = OPT
O = 332529839
T = 58.32
(out)(err)
mancoosi-test-i2000d0u98-34.wcnf S = OPT
O = 317430597
T = 33.76		 S = N/A
O = 317430597
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 3473068655
T = TO
(out)(err)		 S = N/A
O = 3473068655
T = TO
(out)(err)		 S = OPT
O = 317430597
T = 33.76
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 31540812410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 317430597
T = 76.24
(out)(err)		 S = OPT
O = 317430597
T = 61.95
(out)(err)
mancoosi-test-i2000d0u98-35.wcnf S = OPT
O = 377591501
T = 35.95		 S = OPT
O = 377591501
T = 1228.63
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 4945710694
T = TO
(out)(err)		 S = N/A
O = 4945710694
T = TO
(out)(err)		 S = OPT
O = 377591501
T = 35.95
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 31540812410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 377591501
T = 78.97
(out)(err)		 S = OPT
O = 377591501
T = 66.04
(out)(err)
mancoosi-test-i2000d0u98-36.wcnf S = OPT
O = 332566184
T = 37.40		 S = OPT
O = 332566184
T = 133.71
(out)(err)		 S = N/A
O = N/A
T = 0.00
(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 = 332566184
T = 37.40
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 31540812410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 332566184
T = 79.52
(out)(err)		 S = OPT
O = 332566184
T = 55.60
(out)(err)
mancoosi-test-i2000d0u98-37.wcnf S = OPT
O = 362510425
T = 38.98		 S = N/A
O = 362510425
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(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 = 362510425
T = 38.98
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 31540812410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 362510425
T = 94.80
(out)(err)		 S = OPT
O = 362510425
T = 69.56
(out)(err)
mancoosi-test-i2000d0u98-38.wcnf S = OPT
O = 332620777
T = 39.29		 S = N/A
O = 332620777
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 5020825499
T = TO
(out)(err)		 S = N/A
O = 5020825499
T = TO
(out)(err)		 S = OPT
O = 332620777
T = 39.29
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 31540812410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 332620777
T = 87.98
(out)(err)		 S = OPT
O = 332620777
T = 69.20
(out)(err)
mancoosi-test-i2000d0u98-39.wcnf S = OPT
O = 347556415
T = 35.76		 S = OPT
O = 347556415
T = 1569.99
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 3367937004
T = TO
(out)(err)		 S = N/A
O = 3367937004
T = TO
(out)(err)		 S = OPT
O = 347556415
T = 35.76
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 31540812410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 347556415
T = 80.25
(out)(err)		 S = OPT
O = 347556415
T = 55.57
(out)(err)
mancoosi-test-i2000d0u98-40.wcnf S = OPT
O = 182372912
T = 34.25		 S = N/A
O = 182372912
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 3022307288
T = TO
(out)(err)		 S = N/A
O = 3022307288
T = TO
(out)(err)		 S = OPT
O = 182372912
T = 34.25
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 31540812410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 182372912
T = 77.67
(out)(err)		 S = OPT
O = 182372912
T = 43.77
(out)(err)
mancoosi-test-i2000d0u98-41.wcnf S = OPT
O = 317594172
T = 40.13		 S = N/A
O = 317594176
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(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 = 317594172
T = 40.13
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 31540812410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 317594172
T = 88.96
(out)(err)		 S = OPT
O = 317594172
T = 63.46
(out)(err)
mancoosi-test-i2000d0u98-42.wcnf S = OPT
O = 317503223
T = 31.82		 S = OPT
O = 317503223
T = 491.96
(out)(err)		 S = N/A
O = N/A
T = 0.00
(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 = 317503223
T = 31.82
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 31540812410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 317503223
T = 73.17
(out)(err)		 S = OPT
O = 317503223
T = 50.98
(out)(err)
mancoosi-test-i2000d0u98-43.wcnf S = OPT
O = 242370348
T = 38.58		 S = N/A
O = 242443030
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(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 = 242370348
T = 38.58
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 31540812410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 242370348
T = 77.41
(out)(err)		 S = OPT
O = 242370348
T = 62.99
(out)(err)
mancoosi-test-i2000d0u98-44.wcnf S = OPT
O = 212353462
T = 36.75		 S = N/A
O = 212353463
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 4885568019
T = TO
(out)(err)		 S = N/A
O = 4885568019
T = TO
(out)(err)		 S = OPT
O = 212353462
T = 36.75
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 31540812410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 212353462
T = 81.44
(out)(err)		 S = OPT
O = 212353462
T = 56.33
(out)(err)
mancoosi-test-i2000d0u98-45.wcnf S = OPT
O = 182318477
T = 37.19		 S = N/A
O = 182318477
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(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 = 182318477
T = 37.19
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 31540812410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 182318477
T = 80.52
(out)(err)		 S = OPT
O = 182318477
T = 59.10
(out)(err)
mancoosi-test-i2000d0u98-46.wcnf S = OPT
O = 362601234
T = 39.43		 S = OPT
O = 362601234
T = 436.31
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 4329602409
T = TO
(out)(err)		 S = N/A
O = 4329602409
T = TO
(out)(err)		 S = OPT
O = 362601234
T = 39.43
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 31540812410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 362601234
T = 87.74
(out)(err)		 S = OPT
O = 362601234
T = 64.19
(out)(err)
mancoosi-test-i2000d0u98-47.wcnf S = OPT
O = 287486426
T = 39.01		 S = N/A
O = 287486426
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(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 = 287486426
T = 39.01
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 31540812410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 287486426
T = 84.62
(out)(err)		 S = OPT
O = 287486426
T = 60.05
(out)(err)
mancoosi-test-i2000d0u98-48.wcnf S = OPT
O = 332693445
T = 37.13		 S = N/A
O = 332693447
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(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 = 332693445
T = 37.13
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 31540812410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 332693445
T = 87.08
(out)(err)		 S = OPT
O = 332693445
T = 68.75
(out)(err)
mancoosi-test-i2000d0u98-49.wcnf S = OPT
O = 212353539
T = 37.28		 S = OPT
O = 212353539
T = 381.05
(out)(err)		 S = N/A
O = N/A
T = 0.00
(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 = 212353539
T = 37.28
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 31540812410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 212353539
T = 93.53
(out)(err)		 S = OPT
O = 212353539
T = 56.08
(out)(err)
mancoosi-test-i3000d0u98-50.wcnf S = OPT
O = 422725765
T = 41.32		 S = N/A
O = 497858700
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 3
T = TO
(out)(err)		 S = N/A
O = 3
T = TO
(out)(err)		 S = OPT
O = 422725765
T = 41.32
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 46567402410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 422725765
T = 79.22
(out)(err)		 S = OPT
O = 422725765
T = 55.91
(out)(err)
mancoosi-test-i3000d0u98-51.wcnf S = OPT
O = 573028153
T = 48.74		 S = N/A
O = 618162431
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 5697058443
T = TO
(out)(err)		 S = N/A
O = 5697058443
T = TO
(out)(err)		 S = OPT
O = 573028153
T = 48.74
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 46567402410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 573028153
T = 106.60
(out)(err)		 S = OPT
O = 573028153
T = 73.83
(out)(err)
mancoosi-test-i3000d0u98-52.wcnf S = OPT
O = 618125983
T = 38.66		 S = N/A
O = 783418464
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 4359601126
T = TO
(out)(err)		 S = N/A
O = 4359601126
T = TO
(out)(err)		 S = OPT
O = 618125983
T = 38.66
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 46567402410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 618125983
T = 94.62
(out)(err)		 S = OPT
O = 618125983
T = 74.44
(out)(err)
mancoosi-test-i3000d0u98-53.wcnf S = OPT
O = 573137017
T = 37.08		 S = N/A
O = 588163612
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 4570118706
T = TO
(out)(err)		 S = N/A
O = 4570118706
T = TO
(out)(err)		 S = OPT
O = 573137017
T = 37.08
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 46567402410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 573137017
T = 73.92
(out)(err)		 S = OPT
O = 573137017
T = 64.16
(out)(err)
mancoosi-test-i3000d0u98-54.wcnf S = OPT
O = 573137062
T = 42.60		 S = N/A
O = 708376381
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 4089231559
T = TO
(out)(err)		 S = N/A
O = 4089231559
T = TO
(out)(err)		 S = OPT
O = 573137062
T = 42.60
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 46567402410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 573137062
T = 86.41
(out)(err)		 S = OPT
O = 573137062
T = 69.62
(out)(err)
mancoosi-test-i3000d0u98-55.wcnf S = OPT
O = 528002690
T = 33.68		 S = N/A
O = 542956604
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(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 = 528002690
T = 33.68
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 46567402410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 528002690
T = 74.76
(out)(err)		 S = OPT
O = 528002690
T = 59.17
(out)(err)
mancoosi-test-i3000d0u98-56.wcnf S = OPT
O = 482868432
T = 38.37		 S = N/A
O = 558074065
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 5366418929
T = TO
(out)(err)		 S = N/A
O = 5366418929
T = TO
(out)(err)		 S = OPT
O = 482868432
T = 38.37
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 46567402410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 482868432
T = 85.16
(out)(err)		 S = OPT
O = 482868432
T = 61.36
(out)(err)
mancoosi-test-i3000d0u98-57.wcnf S = OPT
O = 437806858
T = 40.04		 S = OPT
O = 437806858
T = 737.27
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 4179372921
T = TO
(out)(err)		 S = N/A
O = 4179372921
T = TO
(out)(err)		 S = OPT
O = 437806858
T = 40.04
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 46567402410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 437806858
T = 88.01
(out)(err)		 S = OPT
O = 437806858
T = 64.67
(out)(err)
mancoosi-test-i3000d0u98-58.wcnf S = OPT
O = 527911930
T = 41.97		 S = N/A
O = 633116233
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 5035906632
T = TO
(out)(err)		 S = N/A
O = 5035906632
T = TO
(out)(err)		 S = OPT
O = 527911930
T = 41.97
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 46567402410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 527911930
T = 87.81
(out)(err)		 S = OPT
O = 527911930
T = 69.98
(out)(err)
mancoosi-test-i3000d0u98-59.wcnf S = OPT
O = 588054583
T = 37.04		 S = N/A
O = 588127263
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 5005871699
T = TO
(out)(err)		 S = N/A
O = 5005871699
T = TO
(out)(err)		 S = OPT
O = 588054583
T = 37.04
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 46567402410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 588054583
T = 84.28
(out)(err)		 S = OPT
O = 588054583
T = 61.67
(out)(err)
mancoosi-test-i3000d0u98-60.wcnf S = OPT
O = 648142779
T = 40.49		 S = N/A
O = 753401584
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 3127475323
T = TO
(out)(err)		 S = N/A
O = 3127475323
T = TO
(out)(err)		 S = OPT
O = 648142779
T = 40.49
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 46567402410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 648142779
T = 89.83
(out)(err)		 S = OPT
O = 648142779
T = 67.81
(out)(err)
mancoosi-test-i3000d0u98-61.wcnf S = OPT
O = 558019587
T = 36.88		 S = N/A
O = 678304980
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 6072741324
T = TO
(out)(err)		 S = OPT
O = 558019587
T = 36.88
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 46567402410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 558019587
T = 88.26
(out)(err)		 S = OPT
O = 558019587
T = 67.04
(out)(err)
mancoosi-test-i3000d0u98-62.wcnf S = OPT
O = 527930109
T = 37.93		 S = N/A
O = 542956698
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 479
T = TO
(out)(err)		 S = N/A
O = 479
T = TO
(out)(err)		 S = OPT
O = 527930109
T = 37.93
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 46567402410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 527930109
T = 93.88
(out)(err)		 S = OPT
O = 527930109
T = 71.06
(out)(err)
mancoosi-test-i3000d0u98-63.wcnf S = OPT
O = 512957980
T = 36.48		 S = N/A
O = 528002753
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 3382945524
T = TO
(out)(err)		 S = N/A
O = 3382945524
T = TO
(out)(err)		 S = OPT
O = 512957980
T = 36.48
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 46567402410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 512957980
T = 81.49
(out)(err)		 S = OPT
O = 512957980
T = 66.33
(out)(err)
mancoosi-test-i3000d0u98-64.wcnf S = OPT
O = 572991690
T = 41.07		 S = N/A
O = 708230983
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 3382927351
T = TO
(out)(err)		 S = N/A
O = 3382927351
T = TO
(out)(err)		 S = OPT
O = 572991690
T = 41.07
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 46567402410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 572991690
T = 93.11
(out)(err)		 S = OPT
O = 572991690
T = 70.17
(out)(err)
mancoosi-test-i3000d0u98-65.wcnf S = OPT
O = 603062985
T = 39.78		 S = N/A
O = 693240697
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 4840524648
T = TO
(out)(err)		 S = N/A
O = 4840524648
T = TO
(out)(err)		 S = OPT
O = 603062985
T = 39.78
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 46567402410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 603062985
T = 85.57
(out)(err)		 S = OPT
O = 603062985
T = 64.29
(out)(err)
mancoosi-test-i3000d0u98-66.wcnf S = OPT
O = 512939800
T = 39.62		 S = N/A
O = 527966390
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 5621979983
T = TO
(out)(err)		 S = N/A
O = 5621979983
T = TO
(out)(err)		 S = OPT
O = 512939800
T = 39.62
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 46567402410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 512939800
T = 87.27
(out)(err)		 S = OPT
O = 512939800
T = 62.95
(out)(err)
mancoosi-test-i3000d0u98-67.wcnf S = OPT
O = 542902120
T = 39.58		 S = N/A
O = 678177776
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 4494913111
T = TO
(out)(err)		 S = N/A
O = 4494913111
T = TO
(out)(err)		 S = OPT
O = 542902120
T = 39.58
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 46567402410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 542902120
T = 85.75
(out)(err)		 S = OPT
O = 542902120
T = 65.39
(out)(err)
mancoosi-test-i3000d0u98-68.wcnf S = OPT
O = 497931412
T = 41.80		 S = N/A
O = 497931415
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 5065996160
T = TO
(out)(err)		 S = N/A
O = 5065996160
T = TO
(out)(err)		 S = OPT
O = 497931412
T = 41.80
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 46567402410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 497931412
T = 82.87
(out)(err)		 S = OPT
O = 497931412
T = 57.52
(out)(err)
mancoosi-test-i3000d0u98-69.wcnf S = OPT
O = 663114835
T = 36.38		 S = N/A
O = 813398914
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 4840506481
T = TO
(out)(err)		 S = N/A
O = 4840506481
T = TO
(out)(err)		 S = OPT
O = 663114835
T = 36.38
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 46567402410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 663114835
T = 85.23
(out)(err)		 S = OPT
O = 663114835
T = 58.15
(out)(err)
mancoosi-test-i3000d0u98-70.wcnf S = OPT
O = 512958012
T = 41.45		 S = N/A
O = 588072755
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 4885604413
T = TO
(out)(err)		 S = N/A
O = 4885604413
T = TO
(out)(err)		 S = OPT
O = 512958012
T = 41.45
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 46567402410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 512958012
T = 92.42
(out)(err)		 S = OPT
O = 512958012
T = 69.27
(out)(err)
mancoosi-test-i3000d0u98-71.wcnf S = OPT
O = 467969155
T = 46.04		 S = N/A
O = 467969157
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(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 = 467969155
T = 46.04
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 46567402410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 467969155
T = 101.19
(out)(err)		 S = OPT
O = 467969155
T = 71.38
(out)(err)
mancoosi-test-i3000d0u98-72.wcnf S = OPT
O = 527857381
T = 40.35		 S = N/A
O = 633043472
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 4570118731
T = TO
(out)(err)		 S = N/A
O = 4570118731
T = TO
(out)(err)		 S = OPT
O = 527857381
T = 40.35
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 46567402410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 527857381
T = 85.68
(out)(err)		 S = OPT
O = 527857381
T = 63.41
(out)(err)
mancoosi-test-i3000d0u98-73.wcnf S = OPT
O = 527875592
T = 38.41		 S = N/A
O = 527875592
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(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 = 527875592
T = 38.41
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 46567402410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 527875592
T = 82.72
(out)(err)		 S = OPT
O = 527875592
T = 70.77
(out)(err)
mancoosi-test-i3000d0u98-74.wcnf S = OPT
O = 588109173
T = 41.09		 S = N/A
O = 678268719
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 3938983839
T = TO
(out)(err)		 S = N/A
O = 3938983839
T = TO
(out)(err)		 S = OPT
O = 588109173
T = 41.09
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 46567402410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 588109173
T = 98.26
(out)(err)		 S = OPT
O = 588109173
T = 77.64
(out)(err)
mancoosi-test-i4000d0u98-75.wcnf S = OPT
O = 828534617
T = 45.86		 S = N/A
O = 933720718
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 641838
T = TO
(out)(err)		 S = N/A
O = 641838
T = TO
(out)(err)		 S = OPT
O = 828534617
T = 45.86
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 61593992410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 828534617
T = 95.56
(out)(err)		 S = OPT
O = 828534617
T = 67.45
(out)(err)
mancoosi-test-i4000d0u98-76.wcnf S = OPT
O = 738411504
T = 49.35		 S = N/A
O = 963810307
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 5546774400
T = TO
(out)(err)		 S = N/A
O = 5546774400
T = TO
(out)(err)		 S = OPT
O = 738411504
T = 49.35
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 61593992410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 738411504
T = 112.13
(out)(err)		 S = OPT
O = 738411504
T = 76.97
(out)(err)
mancoosi-test-i4000d0u98-77.wcnf S = OPT
O = 843651993
T = 38.87		 S = N/A
O = 993917894
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 6794
T = TO
(out)(err)		 S = N/A
O = 62
T = TO
(out)(err)		 S = OPT
O = 843651993
T = 38.87
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 61593992410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 843651993
T = 81.14
(out)(err)		 S = OPT
O = 843651993
T = 73.53
(out)(err)
mancoosi-test-i4000d0u98-78.wcnf S = OPT
O = 873559793
T = 37.47		 S = N/A
O = 1113985235
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 598247
T = TO
(out)(err)		 S = N/A
O = 598247
T = TO
(out)(err)		 S = OPT
O = 873559793
T = 37.47
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 61593992410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 873559793
T = 90.81
(out)(err)		 S = OPT
O = 873559793
T = 69.93
(out)(err)
mancoosi-test-i4000d0u98-79.wcnf S = OPT
O = 753510586
T = 41.12		 S = N/A
O = 978854921
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 6403398989
T = TO
(out)(err)		 S = N/A
O = 6403398989
T = TO
(out)(err)		 S = OPT
O = 753510586
T = 41.12
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 61593992410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 753510586
T = 78.20
(out)(err)		 S = OPT
O = 753510586
T = 62.17
(out)(err)
mancoosi-test-i4000d0u98-80.wcnf S = OPT
O = 828516449
T = 41.98		 S = N/A
O = 1023934796
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 6944283558
T = TO
(out)(err)		 S = N/A
O = 6944283558
T = TO
(out)(err)		 S = OPT
O = 828516449
T = 41.98
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 61593992410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 828516449
T = 97.79
(out)(err)		 S = OPT
O = 828516449
T = 81.84
(out)(err)
mancoosi-test-i4000d0u98-81.wcnf S = OPT
O = 1038888656
T = 39.88		 S = N/A
O = 1249279088
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 6703
T = TO
(out)(err)		 S = N/A
O = 6703
T = TO
(out)(err)		 S = OPT
O = 1038888656
T = 39.88
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 61593992410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 1038888656
T = 91.12
(out)(err)		 S = OPT
O = 1038888656
T = 64.22
(out)(err)
mancoosi-test-i4000d0u98-82.wcnf S = OPT
O = 918784858
T = 37.86		 S = N/A
O = 1174164208
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 5877450179
T = TO
(out)(err)		 S = N/A
O = 5877450179
T = TO
(out)(err)		 S = OPT
O = 918784858
T = 37.86
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 61593992410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 918784858
T = 81.37
(out)(err)		 S = OPT
O = 918784858
T = 53.29
(out)(err)
mancoosi-test-i4000d0u98-83.wcnf S = OPT
O = 843633917
T = 48.57		 S = N/A
O = 1068996427
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 4464950850
T = TO
(out)(err)		 S = N/A
O = 4464950850
T = TO
(out)(err)		 S = OPT
O = 843633917
T = 48.57
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 61593992410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 843633917
T = 98.57
(out)(err)		 S = OPT
O = 843633917
T = 73.62
(out)(err)
mancoosi-test-i4000d0u98-84.wcnf S = OPT
O = 858696784
T = 39.59		 S = N/A
O = 1069069038
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 4464969001
T = TO
(out)(err)		 S = N/A
O = 4464969001
T = TO
(out)(err)		 S = OPT
O = 858696784
T = 39.59
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 61593992410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 858696784
T = 95.10
(out)(err)		 S = OPT
O = 858696784
T = 76.37
(out)(err)
mancoosi-test-i4000d0u98-85.wcnf S = OPT
O = 723330351
T = 46.79		 S = N/A
O = 858533322
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 6523448179
T = TO
(out)(err)		 S = N/A
O = 6523448179
T = TO
(out)(err)		 S = OPT
O = 723330351
T = 46.79
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 61593992410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 723330351
T = 103.52
(out)(err)		 S = OPT
O = 723330351
T = 81.78
(out)(err)
mancoosi-test-i4000d0u98-86.wcnf S = OPT
O = 918694091
T = 38.52		 S = N/A
O = 963773861
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 5531856840
T = TO
(out)(err)		 S = N/A
O = 5531856840
T = TO
(out)(err)		 S = OPT
O = 918694091
T = 38.52
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 61593992410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 918694091
T = 77.46
(out)(err)		 S = OPT
O = 918694091
T = 73.36
(out)(err)
mancoosi-test-i4000d0u98-87.wcnf S = OPT
O = 873596159
T = 39.61		 S = N/A
O = 933702524
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 6373218623
T = TO
(out)(err)		 S = N/A
O = 6373218623
T = TO
(out)(err)		 S = OPT
O = 873596159
T = 39.61
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 61593992410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 873596159
T = 82.23
(out)(err)		 S = OPT
O = 873596159
T = 74.16
(out)(err)
mancoosi-test-i4000d0u98-88.wcnf S = OPT
O = 738338700
T = 41.53		 S = N/A
O = 768428227
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(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 = 738338700
T = 41.53
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 61593992410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 738338700
T = 94.83
(out)(err)		 S = OPT
O = 738338700
T = 73.84
(out)(err)
mancoosi-test-i4000d0u98-89.wcnf S = OPT
O = 738429492
T = 39.81		 S = N/A
O = 918712238
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 5997
T = TO
(out)(err)		 S = N/A
O = 5997
T = TO
(out)(err)		 S = OPT
O = 738429492
T = 39.81
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 61593992410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 738429492
T = 88.72
(out)(err)		 S = OPT
O = 738429492
T = 57.92
(out)(err)
mancoosi-test-i4000d0u98-90.wcnf S = OPT
O = 603172104
T = 40.00		 S = N/A
O = 828570965
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 6403308
T = TO
(out)(err)		 S = N/A
O = 6403308
T = TO
(out)(err)		 S = OPT
O = 603172104
T = 40.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 61593992410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 603172104
T = 101.86
(out)(err)		 S = OPT
O = 603172104
T = 66.83
(out)(err)
mancoosi-test-i4000d0u98-91.wcnf S = OPT
O = 798517708
T = 41.41		 S = N/A
O = 963792032
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 6087858816
T = TO
(out)(err)		 S = N/A
O = 6087858816
T = TO
(out)(err)		 S = OPT
O = 798517708
T = 41.41
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 61593992410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 798517708
T = 92.86
(out)(err)		 S = OPT
O = 798517708
T = 68.49
(out)(err)
mancoosi-test-i4000d0u98-92.wcnf S = OPT
O = 723402933
T = 41.44		 S = N/A
O = 723402934
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 6944
T = TO
(out)(err)		 S = N/A
O = 6944
T = TO
(out)(err)		 S = OPT
O = 723402933
T = 41.44
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 61593992410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 723402933
T = 79.48
(out)(err)		 S = OPT
O = 723402933
T = 69.68
(out)(err)
mancoosi-test-i4000d0u98-93.wcnf S = OPT
O = 678268636
T = 36.02		 S = N/A
O = 873614307
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 5081059145
T = TO
(out)(err)		 S = N/A
O = 5081059145
T = TO
(out)(err)		 S = OPT
O = 678268636
T = 36.02
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 61593992410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 678268636
T = 82.03
(out)(err)		 S = OPT
O = 678268636
T = 60.23
(out)(err)
mancoosi-test-i4000d0u98-94.wcnf S = OPT
O = 843524790
T = 42.05		 S = N/A
O = 1053987911
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 5937
T = TO
(out)(err)		 S = N/A
O = 5937
T = TO
(out)(err)		 S = OPT
O = 843524790
T = 42.05
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 61593992410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 843524790
T = 80.22
(out)(err)		 S = OPT
O = 843524790
T = 71.59
(out)(err)
mancoosi-test-i4000d0u98-95.wcnf S = OPT
O = 843579317
T = 42.28		 S = N/A
O = 1068996342
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 5636988451
T = TO
(out)(err)		 S = N/A
O = 5636988451
T = TO
(out)(err)		 S = OPT
O = 843579317
T = 42.28
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 61593992410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 843579317
T = 87.87
(out)(err)		 S = OPT
O = 843579317
T = 75.13
(out)(err)
mancoosi-test-i4000d0u98-96.wcnf S = OPT
O = 828461902
T = 38.45		 S = N/A
O = 1083986602
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 641837
T = TO
(out)(err)		 S = N/A
O = 641837
T = TO
(out)(err)		 S = OPT
O = 828461902
T = 38.45
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 61593992410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 828461902
T = 78.59
(out)(err)		 S = OPT
O = 828461902
T = 69.04
(out)(err)
mancoosi-test-i4000d0u98-97.wcnf S = OPT
O = 903703891
T = 45.23		 S = N/A
O = 1159155891
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 5802280924
T = TO
(out)(err)		 S = N/A
O = 5802280924
T = TO
(out)(err)		 S = OPT
O = 903703891
T = 45.23
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 61593992410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 903703891
T = 88.25
(out)(err)		 S = OPT
O = 903703891
T = 76.75
(out)(err)
mancoosi-test-i4000d0u98-98.wcnf S = OPT
O = 828443727
T = 43.18		 S = N/A
O = 1038834153
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 6207
T = TO
(out)(err)		 S = N/A
O = 6207
T = TO
(out)(err)		 S = OPT
O = 828443727
T = 43.18
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 61593992410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 828443727
T = 96.14
(out)(err)		 S = OPT
O = 828443727
T = 74.65
(out)(err)
mancoosi-test-i4000d0u98-99.wcnf S = OPT
O = 768391869
T = 39.33		 S = N/A
O = 873650676
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 4044151772
T = TO
(out)(err)		 S = N/A
O = 4044151772
T = TO
(out)(err)		 S = OPT
O = 768391869
T = 39.33
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 61593992410
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 768391869
T = 91.00
(out)(err)		 S = OPT
O = 768391869
T = 62.20
(out)(err)