Benchmark

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

ColorMeaning for Complete SolversMeaning for Incomplete Solvers
TextBest solver columnBest solver column
TextOptimal solution with the best CPU timeBest solution with the best CPU time
TextOptimal solution and finished within the Time OutBest solution without the best CPU time
TextOptimal solution and did not finish within the Time OutSolution found but not the best
TextTime OutTime Out
TextBuggy solutionBuggy solution

Instance file name Best solver CCLS2014 CCMPA Dist SAT4J-ms-inc WPM-2014-in optimax2-g-i optimax2w-r-i
ped2.B.recomb1-0.01-1.wcnf O = 7
T = 0.35
O = 7
T = 42.06
(out)(err)
O = 7
T = 272.82
(out)(err)
O = 7
T = 68.31
(out)(err)
O = N/A
T = TO
(out)(err)
O = 7
T = 0.35
(out)(err)
O = 7
T = 0.87
(out)(err)
O = 7
T = 0.92
(out)(err)
ped2.B.recomb1-0.01-2.wcnf O = 7
T = 0.36
O = 588
T = 272.13
(out)(err)
O = 7
T = 264.58
(out)(err)
O = 7
T = 70.34
(out)(err)
O = N/A
T = TO
(out)(err)
O = 7
T = 0.36
(out)(err)
O = 7
T = 1.16
(out)(err)
O = 7
T = 0.87
(out)(err)
ped2.B.recomb1-0.01-3.wcnf O = 6
T = 0.36
O = 6
T = 74.86
(out)(err)
O = 6
T = 143.82
(out)(err)
O = 6
T = 61.16
(out)(err)
O = 6
T = 4.35
(out)(err)
O = 6
T = 0.36
(out)(err)
O = 6
T = 0.51
(out)(err)
O = 6
T = 0.80
(out)(err)
ped2.B.recomb1-0.01-4.wcnf O = 7
T = 0.35
O = 1169
T = 275.40
(out)(err)
O = 7
T = 269.28
(out)(err)
O = 7
T = 61.13
(out)(err)
O = 7
T = 4.09
(out)(err)
O = 7
T = 0.35
(out)(err)
O = 7
T = 0.51
(out)(err)
O = 7
T = 0.88
(out)(err)
ped2.B.recomb1-0.01-5.wcnf O = 7
T = 0.40
O = 7
T = 204.63
(out)(err)
O = 7
T = 263.00
(out)(err)
O = 7
T = 66.00
(out)(err)
O = N/A
T = TO
(out)(err)
O = 7
T = 0.40
(out)(err)
O = 7
T = 0.72
(out)(err)
O = 7
T = 0.79
(out)(err)
ped2.B.recomb1-0.10-10.wcnf O = 6
T = 0.47
O = 6
T = 85.02
(out)(err)
O = 6
T = 229.53
(out)(err)
O = 6
T = 67.92
(out)(err)
O = N/A
T = TO
(out)(err)
O = 6
T = 0.47
(out)(err)
O = 6
T = 0.67
(out)(err)
O = 6
T = 1.21
(out)(err)
ped2.B.recomb1-0.10-6.wcnf O = 7
T = 0.67
O = 7
T = 19.70
(out)(err)
O = 7
T = 222.49
(out)(err)
O = 7
T = 75.20
(out)(err)
O = N/A
T = TO
(out)(err)
O = 7
T = 0.67
(out)(err)
O = 7
T = 0.71
(out)(err)
O = 7
T = 1.87
(out)(err)
ped2.B.recomb1-0.10-7.wcnf O = 588
T = 0.57
O = 588
T = 193.87
(out)(err)
O = 1169
T = 272.37
(out)(err)
O = 588
T = 68.21
(out)(err)
O = N/A
T = TO
(out)(err)
O = 588
T = 0.57
(out)(err)
O = 588
T = 4.04
(out)(err)
O = 588
T = 5.71
(out)(err)
ped2.B.recomb1-0.10-8.wcnf O = 589
T = 0.51
O = 1170
T = 145.15
(out)(err)
O = 589
T = 268.49
(out)(err)
O = 589
T = 66.06
(out)(err)
O = N/A
T = TO
(out)(err)
O = 589
T = 0.51
(out)(err)
O = 589
T = 2.43
(out)(err)
O = 589
T = 6.50
(out)(err)
ped2.B.recomb1-0.10-9.wcnf O = 7
T = 0.49
O = 7
T = 15.70
(out)(err)
O = 7
T = 215.78
(out)(err)
O = 7
T = 65.76
(out)(err)
O = N/A
T = TO
(out)(err)
O = 7
T = 0.49
(out)(err)
O = 7
T = 0.87
(out)(err)
O = 7
T = 1.42
(out)(err)
ped2.B.recomb1-0.20-11.wcnf O = 7
T = 0.82
O = 7
T = 210.06
(out)(err)
O = 7
T = 274.39
(out)(err)
O = 7
T = 65.13
(out)(err)
O = N/A
T = TO
(out)(err)
O = 7
T = 0.82
(out)(err)
O = 7
T = 1.63
(out)(err)
O = 7
T = 2.92
(out)(err)
ped2.B.recomb1-0.20-12.wcnf O = 7
T = 0.86
O = 588
T = 266.55
(out)(err)
O = N/A
T = TO
(out)(err)
O = 7
T = 67.10
(out)(err)
O = N/A
T = TO
(out)(err)
O = 7
T = 0.86
(out)(err)
O = 7
T = 2.16
(out)(err)
O = 7
T = 2.24
(out)(err)
ped2.B.recomb1-0.20-13.wcnf O = 7
T = 0.83
O = 7
T = 114.29
(out)(err)
O = 7
T = 241.51
(out)(err)
O = 7
T = 66.21
(out)(err)
O = N/A
T = TO
(out)(err)
O = 7
T = 0.85
(out)(err)
O = 7
T = 0.83
(out)(err)
O = 7
T = 1.35
(out)(err)
ped2.B.recomb1-0.20-14.wcnf O = 7
T = 0.66
O = 4074
T = 228.84
(out)(err)
O = 7
T = 269.28
(out)(err)
O = 7
T = 67.23
(out)(err)
O = N/A
T = TO
(out)(err)
O = 7
T = 0.66
(out)(err)
O = 7
T = 0.92
(out)(err)
O = 7
T = 1.91
(out)(err)
ped2.B.recomb1-0.20-15.wcnf O = 7
T = 0.72
O = 7
T = 49.65
(out)(err)
O = 7
T = 268.77
(out)(err)
O = 7
T = 62.78
(out)(err)
O = N/A
T = TO
(out)(err)
O = 7
T = 0.72
(out)(err)
O = 7
T = 1.96
(out)(err)
O = 7
T = 1.79
(out)(err)
ped2.G.recomb1-0.01-1.wcnf O = 6430
T = 2.98
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 6430
T = 2.98
(out)(err)
O = 6430
T = 53.65
(out)(err)
O = 6440
T = 76.77
(out)(err)
ped2.G.recomb1-0.01-2.wcnf O = 4686
T = 2.74
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 11663
T = 254.42
(out)(err)
O = N/A
T = TO
(out)(err)
O = 4686
T = 2.74
(out)(err)
O = 4686
T = 62.59
(out)(err)
O = 4736
T = 77.30
(out)(err)
ped2.G.recomb1-0.01-3.wcnf O = 5266
T = 2.29
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 5266
T = 2.29
(out)(err)
O = 5266
T = 63.75
(out)(err)
O = 5281
T = 89.27
(out)(err)
ped2.G.recomb1-0.01-4.wcnf O = 7009
T = 3.03
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 7009
T = 3.03
(out)(err)
O = 7009
T = 56.08
(out)(err)
O = 7024
T = 79.31
(out)(err)
ped2.G.recomb1-0.01-5.wcnf O = 3521
T = 2.32
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 3521
T = 2.32
(out)(err)
O = 3521
T = 34.74
(out)(err)
O = 3527
T = 77.80
(out)(err)
ped2.G.recomb1-0.10-10.wcnf O = 2358
T = 3.78
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 9915
T = 261.49
(out)(err)
O = N/A
T = TO
(out)(err)
O = 2358
T = 3.78
(out)(err)
O = 2358
T = 56.05
(out)(err)
O = 2368
T = 73.83
(out)(err)
ped2.G.recomb1-0.10-6.wcnf O = 5845
T = 3.19
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 5845
T = 3.19
(out)(err)
O = 5845
T = 44.01
(out)(err)
O = 5860
T = 74.26
(out)(err)
ped2.G.recomb1-0.10-7.wcnf O = 3522
T = 5.57
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 3522
T = 5.57
(out)(err)
O = 3522
T = 123.88
(out)(err)
O = 3538
T = 92.17
(out)(err)
ped2.G.recomb1-0.10-8.wcnf O = 8175
T = 5.66
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 8175
T = 5.66
(out)(err)
O = 8175
T = 202.94
(out)(err)
O = 150580
T = 1.38
(out)(err)
ped2.G.recomb1-0.10-9.wcnf O = 4105
T = 4.10
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 4105
T = 4.10
(out)(err)
O = 4105
T = 49.63
(out)(err)
O = 4112
T = 75.87
(out)(err)
ped2.G.recomb1-0.20-11.wcnf O = 4103
T = 8.58
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 4103
T = 8.58
(out)(err)
O = 4103
T = 211.36
(out)(err)
O = 109927
T = 1.99
(out)(err)
ped2.G.recomb1-0.20-12.wcnf O = 8175
T = 8.13
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 36659
T = 261.02
(out)(err)
O = N/A
T = TO
(out)(err)
O = 8175
T = 8.13
(out)(err)
O = 8175
T = 185.66
(out)(err)
O = 125602
T = 1.89
(out)(err)
ped2.G.recomb1-0.20-13.wcnf O = 6430
T = 5.69
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 6430
T = 5.69
(out)(err)
O = 6430
T = 160.35
(out)(err)
O = 77346
T = 1.85
(out)(err)
ped2.G.recomb1-0.20-14.wcnf O = 5267
T = 7.13
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 5267
T = 7.13
(out)(err)
O = 5267
T = 215.73
(out)(err)
O = 59345
T = 1.97
(out)(err)
ped2.G.recomb1-0.20-15.wcnf O = 5265
T = 10.45
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 5265
T = 10.45
(out)(err)
O = 5265
T = 180.35
(out)(err)
O = 153460
T = 2.17
(out)(err)
ped2.G.recomb10-0.01-1.wcnf O = 58202
T = 23.21
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 58202
T = 23.21
(out)(err)
O = 58204
T = 262.50
(out)(err)
O = N/A
T = TO
(out)(err)
ped2.G.recomb10-0.01-2.wcnf O = 46566
T = 17.96
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 87266
T = 194.75
(out)(err)
O = N/A
T = TO
(out)(err)
O = 46566
T = 17.96
(out)(err)
O = 46570
T = 261.28
(out)(err)
O = 218609
T = 0.96
(out)(err)
ped2.G.recomb10-0.01-3.wcnf O = 47737
T = 13.95
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 47737
T = 13.95
(out)(err)
O = 47737
T = 240.97
(out)(err)
O = N/A
T = TO
(out)(err)
ped2.G.recomb10-0.01-4.wcnf O = 58784
T = 24.41
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 58784
T = 24.41
(out)(err)
O = 58793
T = 280.51
(out)(err)
O = 204681
T = 1.07
(out)(err)
ped2.G.recomb10-0.01-5.wcnf O = 59945
T = 38.38
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 112844
T = 253.43
(out)(err)
O = N/A
T = TO
(out)(err)
O = 59945
T = 38.38
(out)(err)
O = 59947
T = 258.56
(out)(err)
O = N/A
T = TO
(out)(err)
ped2.G.recomb10-0.10-10.wcnf O = 57616
T = 40.38
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 118657
T = 261.62
(out)(err)
O = N/A
T = TO
(out)(err)
O = 57616
T = 40.38
(out)(err)
O = 57640
T = 263.26
(out)(err)
O = 243008
T = 1.44
(out)(err)
ped2.G.recomb10-0.10-6.wcnf O = 47155
T = 11.46
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 96574
T = 240.82
(out)(err)
O = N/A
T = TO
(out)(err)
O = 47155
T = 11.46
(out)(err)
O = 47159
T = 272.92
(out)(err)
O = 227919
T = 1.40
(out)(err)
ped2.G.recomb10-0.10-7.wcnf O = 52383
T = 29.70
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 52383
T = 29.70
(out)(err)
O = 52389
T = 267.22
(out)(err)
O = 220371
T = 1.38
(out)(err)
ped2.G.recomb10-0.10-8.wcnf O = 55874
T = 133.96
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 55874
T = 133.96
(out)(err)
O = 55901
T = 263.36
(out)(err)
O = 197113
T = 1.52
(out)(err)
ped2.G.recomb10-0.10-9.wcnf O = 47741
T = 15.00
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 101226
T = 263.50
(out)(err)
O = N/A
T = TO
(out)(err)
O = 47741
T = 15.00
(out)(err)
O = 47750
T = 265.82
(out)(err)
O = 225589
T = 1.52
(out)(err)
ped2.G.recomb10-0.20-11.wcnf O = 50299
T = 284.75
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 111108
T = 278.08
(out)(err)
O = N/A
T = TO
(out)(err)
O = 50299
T = 284.75
(out)(err)
O = N/A
T = TO
(out)(err)
O = 255254
T = 2.06
(out)(err)
ped2.G.recomb10-0.20-12.wcnf O = 54713
T = 61.51
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 54713
T = 61.51
(out)(err)
O = 1295174
T = 1.46
(out)(err)
O = N/A
T = TO
(out)(err)
ped2.G.recomb10-0.20-13.wcnf O = 40930
T = 284.83
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 40930
T = 284.83
(out)(err)
O = 1213833
T = 1.73
(out)(err)
O = N/A
T = TO
(out)(err)
ped2.G.recomb10-0.20-14.wcnf O = 41339
T = 33.09
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 41339
T = 33.09
(out)(err)
O = N/A
T = TO
(out)(err)
O = 231405
T = 2.10
(out)(err)
ped2.G.recomb10-0.20-15.wcnf O = 47778
T = 264.18
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 47933
T = 284.71
(out)(err)
O = 47778
T = 264.18
(out)(err)
O = N/A
T = TO
(out)(err)
ped2.G.recomb5-0.01-1.wcnf O = 29116
T = 6.84
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 29116
T = 6.84
(out)(err)
O = 29116
T = 241.35
(out)(err)
O = N/A
T = TO
(out)(err)
ped2.G.recomb5-0.01-2.wcnf O = 34935
T = 10.15
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 34935
T = 10.15
(out)(err)
O = 34935
T = 193.25
(out)(err)
O = 196509
T = 1.03
(out)(err)
ped2.G.recomb5-0.01-3.wcnf O = 31442
T = 5.92
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 31442
T = 5.92
(out)(err)
O = 31442
T = 131.39
(out)(err)
O = 177915
T = 0.89
(out)(err)
ped2.G.recomb5-0.01-4.wcnf O = 21555
T = 3.17
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 21555
T = 3.17
(out)(err)
O = 21555
T = 127.97
(out)(err)
O = 100027
T = 0.96
(out)(err)
ped2.G.recomb5-0.01-5.wcnf O = 25054
T = 3.82
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 47727
T = 269.54
(out)(err)
O = N/A
T = TO
(out)(err)
O = 25054
T = 3.82
(out)(err)
O = 25054
T = 160.00
(out)(err)
O = 133166
T = 0.96
(out)(err)
ped2.G.recomb5-0.10-10.wcnf O = 25042
T = 7.53
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 48883
T = 262.62
(out)(err)
O = N/A
T = TO
(out)(err)
O = 25042
T = 7.53
(out)(err)
O = 25042
T = 216.77
(out)(err)
O = 171528
T = 1.43
(out)(err)
ped2.G.recomb5-0.10-6.wcnf O = 27380
T = 9.87
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 27380
T = 9.87
(out)(err)
O = 27380
T = 240.05
(out)(err)
O = 179071
T = 1.16
(out)(err)
ped2.G.recomb5-0.10-7.wcnf O = 25626
T = 10.23
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 25626
T = 10.23
(out)(err)
O = 25627
T = 260.22
(out)(err)
O = 128517
T = 1.52
(out)(err)
ped2.G.recomb5-0.10-8.wcnf O = 25048
T = 13.67
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 25048
T = 13.67
(out)(err)
O = 25049
T = 253.13
(out)(err)
O = N/A
T = TO
(out)(err)
ped2.G.recomb5-0.10-9.wcnf O = 31445
T = 23.27
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 31445
T = 23.27
(out)(err)
O = 31448
T = 252.67
(out)(err)
O = N/A
T = TO
(out)(err)
ped2.G.recomb5-0.20-11.wcnf O = 29144
T = 275.96
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 103549
T = 163.06
(out)(err)
O = N/A
T = TO
(out)(err)
O = 29353
T = 284.70
(out)(err)
O = 29144
T = 275.96
(out)(err)
O = 238365
T = 1.90
(out)(err)
ped2.G.recomb5-0.20-12.wcnf O = 20972
T = 28.03
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 20972
T = 28.03
(out)(err)
O = 20977
T = 273.18
(out)(err)
O = 153505
T = 1.77
(out)(err)
ped2.G.recomb5-0.20-13.wcnf O = 30315
T = 278.57
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 30486
T = 284.73
(out)(err)
O = 30315
T = 278.57
(out)(err)
O = 214564
T = 2.06
(out)(err)
ped2.G.recomb5-0.20-14.wcnf O = 20976
T = 68.60
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 20976
T = 68.60
(out)(err)
O = 20980
T = 273.21
(out)(err)
O = 193609
T = 1.87
(out)(err)
ped2.G.recomb5-0.20-15.wcnf O = 25045
T = 17.74
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 58189
T = 249.47
(out)(err)
O = N/A
T = TO
(out)(err)
O = 25045
T = 17.74
(out)(err)
O = 25072
T = 282.63
(out)(err)
O = 192443
T = 1.80
(out)(err)
ped3.D.recomb10-0.20-11.wcnf O = 690
T = 1.09
O = 690
T = 4.89
(out)(err)
O = 690
T = 277.94
(out)(err)
O = 690
T = 15.00
(out)(err)
O = N/A
T = TO
(out)(err)
O = 690
T = 1.14
(out)(err)
O = 690
T = 1.09
(out)(err)
O = 690
T = 6.14
(out)(err)
ped3.D.recomb10-0.20-12.wcnf O = 349
T = 0.28
O = 349
T = 16.04
(out)(err)
O = 349
T = 268.58
(out)(err)
O = 349
T = 15.09
(out)(err)
O = 349
T = 4.95
(out)(err)
O = 349
T = 0.28
(out)(err)
O = 349
T = 0.97
(out)(err)
O = 349
T = 1.97
(out)(err)
ped3.D.recomb10-0.20-13.wcnf O = 350
T = 1.31
O = 350
T = 16.34
(out)(err)
O = 350
T = 275.04
(out)(err)
O = 350
T = 14.05
(out)(err)
O = N/A
T = TO
(out)(err)
O = 350
T = 1.31
(out)(err)
O = 350
T = 2.07
(out)(err)
O = 350
T = 8.71
(out)(err)
ped3.D.recomb10-0.20-14.wcnf O = 7
T = 0.36
O = 7
T = 2.55
(out)(err)
O = N/A
T = TO
(out)(err)
O = 7
T = 15.25
(out)(err)
O = 7
T = 6.56
(out)(err)
O = 7
T = 0.38
(out)(err)
O = 7
T = 0.36
(out)(err)
O = 7
T = 0.49
(out)(err)
ped3.D.recomb10-0.20-15.wcnf O = 689
T = 3.19
O = 689
T = 3.19
(out)(err)
O = 689
T = 199.49
(out)(err)
O = 689
T = 13.94
(out)(err)
O = N/A
T = TO
(out)(err)
O = 689
T = 20.48
(out)(err)
O = 689
T = 9.21
(out)(err)
O = 689
T = 4.86
(out)(err)
ped3.E.recomb10-0.20-11.wcnf O = 9588
T = 2.28
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 9588
T = 2.28
(out)(err)
O = 9588
T = 42.83
(out)(err)
O = 9588
T = 93.50
(out)(err)
ped3.E.recomb10-0.20-12.wcnf O = 9927
T = 10.34
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 11637
T = 278.99
(out)(err)
O = N/A
T = TO
(out)(err)
O = 9927
T = 10.34
(out)(err)
O = 9927
T = 60.17
(out)(err)
O = 9930
T = 104.85
(out)(err)
ped3.E.recomb10-0.20-13.wcnf O = 8559
T = 4.18
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 8559
T = 4.18
(out)(err)
O = 8559
T = 28.14
(out)(err)
O = 8559
T = 86.12
(out)(err)
ped3.E.recomb10-0.20-14.wcnf O = 8555
T = 31.59
O = 15379
T = 224.71
(out)(err)
O = N/A
T = TO
(out)(err)
O = 11299
T = 164.23
(out)(err)
O = N/A
T = TO
(out)(err)
O = 8555
T = 31.59
(out)(err)
O = 8555
T = 140.87
(out)(err)
O = 8566
T = 92.03
(out)(err)
ped3.E.recomb10-0.20-15.wcnf O = 3781
T = 4.19
O = 10945
T = 291.91
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 3781
T = 4.19
(out)(err)
O = 3781
T = 20.76
(out)(err)
O = 3782
T = 92.33
(out)(err)
ped3.F.recomb10-0.01-1.wcnf O = 6853
T = 0.71
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 6855
T = 67.03
(out)(err)
O = N/A
T = TO
(out)(err)
O = 6853
T = 0.71
(out)(err)
O = 6853
T = 23.26
(out)(err)
O = 6853
T = 43.51
(out)(err)
ped3.F.recomb10-0.01-2.wcnf O = 8900
T = 0.65
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 8905
T = 192.90
(out)(err)
O = N/A
T = TO
(out)(err)
O = 8900
T = 0.65
(out)(err)
O = 8900
T = 14.08
(out)(err)
O = 8900
T = 37.66
(out)(err)
ped3.F.recomb10-0.01-3.wcnf O = 7193
T = 1.23
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 7535
T = 38.18
(out)(err)
O = N/A
T = TO
(out)(err)
O = 7193
T = 1.23
(out)(err)
O = 7193
T = 20.12
(out)(err)
O = 7193
T = 45.90
(out)(err)
ped3.F.recomb10-0.01-4.wcnf O = 5483
T = 1.01
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 5483
T = 191.76
(out)(err)
O = N/A
T = TO
(out)(err)
O = 5483
T = 1.01
(out)(err)
O = 5483
T = 10.25
(out)(err)
O = 5483
T = 31.18
(out)(err)
ped3.F.recomb10-0.01-5.wcnf O = 7540
T = 1.02
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 7882
T = 102.96
(out)(err)
O = N/A
T = TO
(out)(err)
O = 7540
T = 1.02
(out)(err)
O = 7540
T = 17.37
(out)(err)
O = 7540
T = 37.91
(out)(err)
ped3.F.recomb10-0.10-10.wcnf O = 7537
T = 2.39
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 8912
T = 37.14
(out)(err)
O = N/A
T = TO
(out)(err)
O = 7537
T = 2.39
(out)(err)
O = 7537
T = 19.00
(out)(err)
O = 7537
T = 52.47
(out)(err)
ped3.F.recomb10-0.10-6.wcnf O = 6517
T = 1.39
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 7200
T = 294.31
(out)(err)
O = N/A
T = TO
(out)(err)
O = 6517
T = 1.39
(out)(err)
O = 6517
T = 23.43
(out)(err)
O = 6517
T = 71.79
(out)(err)
ped3.F.recomb10-0.10-7.wcnf O = 8905
T = 2.00
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 8913
T = 60.00
(out)(err)
O = N/A
T = TO
(out)(err)
O = 8905
T = 2.00
(out)(err)
O = 8905
T = 32.34
(out)(err)
O = 8905
T = 79.13
(out)(err)
ped3.F.recomb10-0.10-8.wcnf O = 9245
T = 3.76
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 9245
T = 3.76
(out)(err)
O = 9245
T = 64.17
(out)(err)
O = 9252
T = 93.71
(out)(err)
ped3.F.recomb10-0.10-9.wcnf O = 5488
T = 3.57
O = 7872
T = 62.83
(out)(err)
O = N/A
T = TO
(out)(err)
O = 6171
T = 96.99
(out)(err)
O = N/A
T = TO
(out)(err)
O = 5488
T = 3.57
(out)(err)
O = 5488
T = 18.50
(out)(err)
O = 5488
T = 54.80
(out)(err)
ped3.F.recomb10-0.20-11.wcnf O = 4807
T = 3.39
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 5836
T = 215.22
(out)(err)
O = N/A
T = TO
(out)(err)
O = 4807
T = 3.39
(out)(err)
O = 4807
T = 43.95
(out)(err)
O = 4813
T = 90.91
(out)(err)
ped3.F.recomb10-0.20-12.wcnf O = 5840
T = 67.05
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 7892
T = 121.20
(out)(err)
O = N/A
T = TO
(out)(err)
O = 5915
T = 284.68
(out)(err)
O = 5840
T = 67.05
(out)(err)
O = 5849
T = 91.68
(out)(err)
ped3.F.recomb10-0.20-13.wcnf O = 2412
T = 2.55
O = 5825
T = 41.09
(out)(err)
O = N/A
T = TO
(out)(err)
O = 2414
T = 281.09
(out)(err)
O = N/A
T = TO
(out)(err)
O = 2412
T = 2.55
(out)(err)
O = 2412
T = 17.94
(out)(err)
O = 2412
T = 65.29
(out)(err)
ped3.F.recomb10-0.20-14.wcnf O = 5482
T = 7.02
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 6851
T = 55.09
(out)(err)
O = N/A
T = TO
(out)(err)
O = 5482
T = 7.02
(out)(err)
O = 5482
T = 58.54
(out)(err)
O = 5491
T = 92.13
(out)(err)
ped3.F.recomb10-0.20-15.wcnf O = 4123
T = 2.28
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 4807
T = 44.37
(out)(err)
O = N/A
T = TO
(out)(err)
O = 4123
T = 2.28
(out)(err)
O = 4123
T = 29.55
(out)(err)
O = 4123
T = 66.50
(out)(err)
ped3.G.recomb10-0.01-1.wcnf O = 15748
T = 7.82
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 15748
T = 7.82
(out)(err)
O = 15748
T = 59.97
(out)(err)
O = 15754
T = 97.29
(out)(err)
ped3.G.recomb10-0.01-2.wcnf O = 16784
T = 5.57
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 16784
T = 5.57
(out)(err)
O = 16784
T = 54.19
(out)(err)
O = 16791
T = 91.66
(out)(err)
ped3.G.recomb10-0.01-3.wcnf O = 15414
T = 3.68
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 15414
T = 3.68
(out)(err)
O = 15414
T = 37.25
(out)(err)
O = 15417
T = 94.75
(out)(err)
ped3.G.recomb10-0.01-4.wcnf O = 17444
T = 4.34
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 25303
T = 278.14
(out)(err)
O = N/A
T = TO
(out)(err)
O = 17444
T = 4.34
(out)(err)
O = 17444
T = 56.37
(out)(err)
O = 17451
T = 92.08
(out)(err)
ped3.G.recomb10-0.01-5.wcnf O = 14043
T = 6.17
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 14043
T = 6.17
(out)(err)
O = 14043
T = 36.67
(out)(err)
O = 14043
T = 98.51
(out)(err)
ped3.G.recomb10-0.10-10.wcnf O = 18485
T = 27.77
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 27706
T = 273.68
(out)(err)
O = N/A
T = TO
(out)(err)
O = 18485
T = 27.77
(out)(err)
O = 18485
T = 84.47
(out)(err)
O = 18510
T = 87.81
(out)(err)
ped3.G.recomb10-0.10-6.wcnf O = 17460
T = 10.20
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 17460
T = 10.20
(out)(err)
O = 17460
T = 86.57
(out)(err)
O = 17467
T = 101.58
(out)(err)
ped3.G.recomb10-0.10-7.wcnf O = 16092
T = 8.02
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 16092
T = 8.02
(out)(err)
O = 16092
T = 71.98
(out)(err)
O = 16105
T = 86.85
(out)(err)
ped3.G.recomb10-0.10-8.wcnf O = 15072
T = 4.86
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 15072
T = 4.86
(out)(err)
O = 15072
T = 60.54
(out)(err)
O = 15082
T = 89.39
(out)(err)
ped3.G.recomb10-0.10-9.wcnf O = 15407
T = 5.88
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 15407
T = 5.88
(out)(err)
O = 15407
T = 90.08
(out)(err)
O = 15425
T = 95.02
(out)(err)
ped3.G.recomb10-0.20-11.wcnf O = 15073
T = 208.49
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 15183
T = 284.76
(out)(err)
O = 15073
T = 208.49
(out)(err)
O = 55361
T = 0.70
(out)(err)
ped3.G.recomb10-0.20-12.wcnf O = 13027
T = 126.16
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 13122
T = 284.66
(out)(err)
O = 13027
T = 126.16
(out)(err)
O = 13069
T = 87.98
(out)(err)
ped3.G.recomb10-0.20-13.wcnf O = 17465
T = 96.99
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 17465
T = 96.99
(out)(err)
O = 17465
T = 172.25
(out)(err)
O = 63893
T = 0.64
(out)(err)
ped3.G.recomb10-0.20-14.wcnf O = 11990
T = 130.21
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 12099
T = 284.72
(out)(err)
O = 11990
T = 130.21
(out)(err)
O = 12030
T = 87.31
(out)(err)
ped3.G.recomb10-0.20-15.wcnf O = 15408
T = 12.84
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 15408
T = 12.84
(out)(err)
O = 15408
T = 115.49
(out)(err)
O = 15433
T = 90.21
(out)(err)
BrazilInstance1.xml.wcnf O = 50
T = 244.01
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 127
T = 122.43
(out)(err)
O = N/A
T = TO
(out)(err)
O = 55
T = 284.67
(out)(err)
O = 56
T = 19.54
(out)(err)
O = 50
T = 244.01
(out)(err)
BrazilInstance2.xml.wcnf O = 69
T = 203.23
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 247
T = 295.97
(out)(err)
O = N/A
T = TO
(out)(err)
O = 102
T = 284.67
(out)(err)
O = 101
T = 0.17
(out)(err)
O = 69
T = 203.23
(out)(err)
BrazilInstance4.xml.wcnf O = 181
T = 284.59
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 181
T = 284.59
(out)(err)
O = 311
T = 4.16
(out)(err)
O = 323
T = 16.89
(out)(err)
BrazilInstance5.xml.wcnf O = 150
T = 284.63
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 150
T = 284.63
(out)(err)
O = 232
T = 271.43
(out)(err)
O = 284
T = 124.32
(out)(err)
BrazilInstance6.xml.wcnf O = 198
T = 17.32
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 210
T = 284.69
(out)(err)
O = 215
T = 11.20
(out)(err)
O = 198
T = 17.32
(out)(err)
BrazilInstance7.xml.wcnf O = 242
T = 14.29
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 260
T = 284.62
(out)(err)
O = 242
T = 14.29
(out)(err)
O = 247
T = 88.71
(out)(err)
FinlandArtificialSchool.xml.wcnf O = 252
T = 284.71
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 252
T = 284.71
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
FinlandCollege.xml.wcnf O = 1073
T = 284.70
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1073
T = 284.70
(out)(err)
O = 1205
T = 98.49
(out)(err)
O = N/A
T = TO
(out)(err)
FinlandHighSchool.xml.wcnf O = 422
T = 151.74
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 753
T = 284.69
(out)(err)
O = 782
T = 3.64
(out)(err)
O = 422
T = 151.74
(out)(err)
FinlandSecondarySchool.xml.wcnf O = 649
T = 182.35
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 890
T = 284.71
(out)(err)
O = 844
T = 198.69
(out)(err)
O = 649
T = 182.35
(out)(err)
GreeceThirdHighSchoolPatras2010.xml.wcnf O = 106
T = 284.71
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 106
T = 284.71
(out)(err)
O = 1159
T = 259.15
(out)(err)
O = 2152
T = 137.60
(out)(err)
ItalyInstance1.xml.wcnf O = 12
T = 118.31
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 682
T = 9.24
(out)(err)
O = N/A
T = TO
(out)(err)
O = 12
T = 118.31
(out)(err)
O = 168
T = 115.14
(out)(err)
O = 124
T = 229.90
(out)(err)
ItalyInstance4.xml.wcnf O = 1213
T = 284.72
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1213
T = 284.72
(out)(err)
O = 1464
T = 42.02
(out)(err)
O = 19891
T = 58.62
(out)(err)
SouthAfricaLewitt2009.xml.wcnf O = 34
T = 158.81
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 80
T = 284.86
(out)(err)
O = 34
T = 158.81
(out)(err)
O = 613
T = 75.02
(out)(err)
103c9978-5408-11df-9bc1-00163e7a6f5e_l1.wcnf O = 3795246
T = 1.80
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 3807555
T = 186.14
(out)(err)
O = N/A
T = TO
(out)(err)
O = 3795246
T = 1.80
(out)(err)
O = 3839470
T = 0.01
(out)(err)
O = 3823933
T = 0.02
(out)(err)
1aabfc32-d491-11df-9a24-00163e3d3b7c_l2.wcnf O = 8272324
T = 12.54
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 8466954
T = 12.25
(out)(err)
O = N/A
T = TO
(out)(err)
O = 8272324
T = 12.54
(out)(err)
O = 8768647
T = 1.27
(out)(err)
O = 8621506
T = 1.13
(out)(err)
26f3d4cc-d470-11df-9e6c-00163e3d3b7c_l2.wcnf O = 8270956
T = 14.59
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 8468646
T = 123.16
(out)(err)
O = N/A
T = TO
(out)(err)
O = 8270956
T = 14.59
(out)(err)
O = 8800624
T = 1.28
(out)(err)
O = 8566420
T = 1.09
(out)(err)
29180036-5408-11df-9f57-00163e7a6f5e_l1.wcnf O = 3795246
T = 1.74
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 3807892
T = 110.54
(out)(err)
O = N/A
T = TO
(out)(err)
O = 3795246
T = 1.74
(out)(err)
O = 3839470
T = 0.02
(out)(err)
O = 3823933
T = 0.02
(out)(err)
29180036-5408-11df-9f57-00163e7a6f5e_l2.wcnf O = 3795246
T = 1.84
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 3808631
T = 213.60
(out)(err)
O = N/A
T = TO
(out)(err)
O = 3795246
T = 1.84
(out)(err)
O = 3839470
T = 0.01
(out)(err)
O = 3823933
T = 0.03
(out)(err)
2c3aece6-c8b2-11df-a040-00163e3d3b7c_l1.wcnf O = 8559789
T = 12.07
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 8653985
T = 217.33
(out)(err)
O = N/A
T = TO
(out)(err)
O = 8559789
T = 12.07
(out)(err)
O = 8872446
T = 2.17
(out)(err)
O = 8736585
T = 0.08
(out)(err)
2c3aece6-c8b2-11df-a040-00163e3d3b7c_l2.wcnf O = 8559789
T = 11.40
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 8658427
T = 144.10
(out)(err)
O = N/A
T = TO
(out)(err)
O = 8559789
T = 11.40
(out)(err)
O = 8867887
T = 2.44
(out)(err)
O = 8736585
T = 0.09
(out)(err)
3e4f8550-0b33-11df-942d-00163e1d94dc_l1.wcnf O = 44124
T = 0.78
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 44612
T = 261.93
(out)(err)
O = N/A
T = TO
(out)(err)
O = 44124
T = 0.78
(out)(err)
O = 44344
T = 269.29
(out)(err)
O = 44424
T = 259.84
(out)(err)
3e4f8550-0b33-11df-942d-00163e1d94dc_l2.wcnf O = 44124
T = 0.77
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 44712
T = 71.31
(out)(err)
O = N/A
T = TO
(out)(err)
O = 44124
T = 0.77
(out)(err)
O = 44344
T = 274.47
(out)(err)
O = 44516
T = 271.11
(out)(err)
4a69cf16-c731-11df-9182-00163e3d3b7c_l1.wcnf O = 186592
T = 0.17
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 189445
T = 73.35
(out)(err)
O = N/A
T = TO
(out)(err)
O = 186592
T = 0.17
(out)(err)
O = 203396
T = 0.05
(out)(err)
O = 204988
T = 9.59
(out)(err)
4a69cf16-c731-11df-9182-00163e3d3b7c_l2.wcnf O = 8010285
T = 20.49
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 8221568
T = 148.90
(out)(err)
O = N/A
T = TO
(out)(err)
O = 8010285
T = 20.49
(out)(err)
O = 8572412
T = 3.00
(out)(err)
O = 8369496
T = 1.17
(out)(err)
4ede8d96-c17a-11df-a7c5-00163e3d3b7c_l1.wcnf O = 173280
T = 0.12
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 174216
T = 254.40
(out)(err)
O = N/A
T = TO
(out)(err)
O = 173280
T = 0.12
(out)(err)
O = 175742
T = 222.39
(out)(err)
O = 177806
T = 46.77
(out)(err)
5698a62c-c731-11df-9bb9-00163e3d3b7c_l1.wcnf O = 186592
T = 0.17
O = 213844
T = 2.74
(out)(err)
O = N/A
T = TO
(out)(err)
O = 189797
T = 240.50
(out)(err)
O = N/A
T = TO
(out)(err)
O = 186592
T = 0.17
(out)(err)
O = 203396
T = 0.04
(out)(err)
O = 204988
T = 11.50
(out)(err)
56ae4afa-0b33-11df-8a2b-00163e1d94dc_l1.wcnf O = 49972
T = 0.22
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 50492
T = 5.92
(out)(err)
O = N/A
T = TO
(out)(err)
O = 49972
T = 0.22
(out)(err)
O = 68229
T = 1.40
(out)(err)
O = 50100
T = 260.37
(out)(err)
56e31304-c17a-11df-b070-00163e3d3b7c_l1.wcnf O = 173280
T = 0.12
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 174112
T = 128.74
(out)(err)
O = N/A
T = TO
(out)(err)
O = 173280
T = 0.12
(out)(err)
O = 175742
T = 218.22
(out)(err)
O = 177806
T = 45.54
(out)(err)
6b0d1da0-c730-11df-a7c5-00163e3d3b7c_l1.wcnf O = 186592
T = 0.24
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 189525
T = 163.94
(out)(err)
O = N/A
T = TO
(out)(err)
O = 186592
T = 0.24
(out)(err)
O = 198800
T = 5.54
(out)(err)
O = 197133
T = 0.58
(out)(err)
7bf50d1c-9b1b-11df-8b50-00163e46d37a_l1.wcnf O = 1924238
T = 0.95
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1938562
T = 42.64
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1924238
T = 0.95
(out)(err)
O = 1979292
T = 203.89
(out)(err)
O = 1964318
T = 0.03
(out)(err)
7bf50d1c-9b1b-11df-8b50-00163e46d37a_l2.wcnf O = 1924238
T = 0.93
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1943148
T = 227.46
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1924238
T = 0.93
(out)(err)
O = 1980737
T = 165.78
(out)(err)
O = 1964318
T = 0.02
(out)(err)
7f80e4f0-4fe9-11e0-acd7-00163e1e087d_l1.wcnf O = 558796
T = 0.10
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 559188
T = 18.05
(out)(err)
O = N/A
T = TO
(out)(err)
O = 558796
T = 0.10
(out)(err)
O = 558916
T = 274.57
(out)(err)
O = 558976
T = 232.60
(out)(err)
7f80e4f0-4fe9-11e0-acd7-00163e1e087d_l2.wcnf O = 7177328
T = 3.53
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 7199323
T = 110.64
(out)(err)
O = N/A
T = TO
(out)(err)
O = 7177328
T = 3.53
(out)(err)
O = 7309186
T = 1.01
(out)(err)
O = 7248808
T = 0.05
(out)(err)
80cfe9a6-9b1b-11df-965e-00163e46d37a_l1.wcnf O = 1924238
T = 0.95
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1939067
T = 122.33
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1924238
T = 0.95
(out)(err)
O = 1979292
T = 188.41
(out)(err)
O = 1964318
T = 0.03
(out)(err)
80e3fda2-9501-11e0-8001-00163e1e087d_l2.wcnf O = 2145528
T = 0.76
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 2158514
T = 134.13
(out)(err)
O = N/A
T = TO
(out)(err)
O = 2145528
T = 0.76
(out)(err)
O = 2196305
T = 82.67
(out)(err)
O = 2201873
T = 0.03
(out)(err)
8222799a-9af8-11df-8b50-00163e46d37a_l1.wcnf O = 1924238
T = 0.95
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1940063
T = 275.11
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1924238
T = 0.95
(out)(err)
O = 1999595
T = 69.73
(out)(err)
O = 1964318
T = 0.02
(out)(err)
8222799a-9af8-11df-8b50-00163e46d37a_l2.wcnf O = 1924238
T = 0.92
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1944914
T = 16.24
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1924238
T = 0.92
(out)(err)
O = 2003305
T = 153.68
(out)(err)
O = 1964318
T = 0.03
(out)(err)
8680dd8a-8600-11e0-b285-00163e1e087d_l2.wcnf O = 8289698
T = 9.98
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 8381758
T = 161.35
(out)(err)
O = N/A
T = TO
(out)(err)
O = 8289698
T = 9.98
(out)(err)
O = 8808722
T = 1.31
(out)(err)
O = 8585384
T = 1.01
(out)(err)
8afdd89e-51b8-11e0-acd7-00163e1e087d_l1.wcnf O = 558676
T = 0.11
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 559300
T = 37.57
(out)(err)
O = N/A
T = TO
(out)(err)
O = 558676
T = 0.11
(out)(err)
O = 559212
T = 239.78
(out)(err)
O = 558896
T = 238.44
(out)(err)
8b0e7c16-bab4-11e0-a883-00163e1e087d_l2.wcnf O = 8707698
T = 11.67
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 8840665
T = 220.20
(out)(err)
O = N/A
T = TO
(out)(err)
O = 8707698
T = 11.67
(out)(err)
O = 9164476
T = 1.40
(out)(err)
O = 8951510
T = 1.09
(out)(err)
978532fa-c730-11df-b070-00163e3d3b7c_l1.wcnf O = 186592
T = 0.25
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 189217
T = 180.93
(out)(err)
O = N/A
T = TO
(out)(err)
O = 186592
T = 0.25
(out)(err)
O = 198800
T = 5.65
(out)(err)
O = 197133
T = 0.56
(out)(err)
a754ac72-95cc-11e0-9181-00163e1e087d_l2.wcnf O = 2145528
T = 0.77
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 2159004
T = 220.90
(out)(err)
O = N/A
T = TO
(out)(err)
O = 2145528
T = 0.77
(out)(err)
O = 2196305
T = 90.29
(out)(err)
O = 2201873
T = 0.02
(out)(err)
ab9005be-bacc-11e0-b0f6-00163e1e087d_l1.wcnf O = 84964
T = 0.00
O = 85404
T = 201.89
(out)(err)
O = 84964
T = 43.55
(out)(err)
O = 85300
T = 86.89
(out)(err)
O = N/A
T = TO
(out)(err)
O = 84964
T = 0.00
(out)(err)
O = 84964
T = 77.89
(out)(err)
O = 84964
T = 101.09
(out)(err)
ab9005be-bacc-11e0-b0f6-00163e1e087d_l2.wcnf O = 8707698
T = 11.54
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 8846698
T = 40.58
(out)(err)
O = N/A
T = TO
(out)(err)
O = 8707698
T = 11.54
(out)(err)
O = 9164476
T = 1.48
(out)(err)
O = 8951510
T = 1.11
(out)(err)
b2540c52-51b7-11e0-aa4f-00163e1e087d_l1.wcnf O = 558676
T = 0.11
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 559292
T = 95.29
(out)(err)
O = N/A
T = TO
(out)(err)
O = 558676
T = 0.11
(out)(err)
O = 559212
T = 249.44
(out)(err)
O = 558892
T = 276.62
(out)(err)
bccf69ae-db9e-11df-9a24-00163e3d3b7c_l1.wcnf O = 4569599
T = 2.95
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 4589286
T = 82.77
(out)(err)
O = N/A
T = TO
(out)(err)
O = 4569599
T = 2.95
(out)(err)
O = 4697298
T = 0.02
(out)(err)
O = 4597122
T = 0.04
(out)(err)
c2164c84-b015-11df-8b50-00163e46d37a_l1.wcnf O = 4502340
T = 0.82
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 4502340
T = 2.26
(out)(err)
O = N/A
T = TO
(out)(err)
O = 4502340
T = 0.82
(out)(err)
O = 4502340
T = 26.60
(out)(err)
O = 4502340
T = 30.46
(out)(err)
c2164c84-b015-11df-8b50-00163e46d37a_l2.wcnf O = 4502340
T = 0.81
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 4502340
T = 4.92
(out)(err)
O = N/A
T = TO
(out)(err)
O = 4502340
T = 0.81
(out)(err)
O = 4502340
T = 18.82
(out)(err)
O = 4502340
T = 32.80
(out)(err)
ca8f656c-db9e-11df-b9cf-00163e3d3b7c_l2.wcnf O = 4569599
T = 2.52
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 4590082
T = 184.01
(out)(err)
O = N/A
T = TO
(out)(err)
O = 4569599
T = 2.52
(out)(err)
O = 4697298
T = 0.02
(out)(err)
O = 4597122
T = 0.03
(out)(err)
caefdef6-3477-11e0-84ef-00163e3d3b7c_l1.wcnf O = 4692906
T = 1.61
O = N/A
T = TO
(out)(err)
O = 4768268
T = 270.91
(out)(err)
O = 4710234
T = 54.00
(out)(err)
O = N/A
T = TO
(out)(err)
O = 4692906
T = 1.61
(out)(err)
O = 4747131
T = 165.97
(out)(err)
O = 4750964
T = 0.03
(out)(err)
caefdef6-3477-11e0-84ef-00163e3d3b7c_l2.wcnf O = 4692906
T = 1.92
O = N/A
T = TO
(out)(err)
O = 4750494
T = 244.39
(out)(err)
O = 4715308
T = 278.27
(out)(err)
O = N/A
T = TO
(out)(err)
O = 4692906
T = 1.92
(out)(err)
O = 4775597
T = 42.23
(out)(err)
O = 4750964
T = 0.03
(out)(err)
cff22854-9512-11e0-8001-00163e1e087d_l2.wcnf O = 2145528
T = 0.80
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 2158091
T = 64.37
(out)(err)
O = N/A
T = TO
(out)(err)
O = 2145528
T = 0.80
(out)(err)
O = 2196305
T = 93.23
(out)(err)
O = 2201873
T = 0.03
(out)(err)
d023d256-3477-11e0-bdb2-00163e3d3b7c_l1.wcnf O = 4692906
T = 1.76
O = N/A
T = TO
(out)(err)
O = 4768268
T = 270.98
(out)(err)
O = 4710826
T = 181.28
(out)(err)
O = N/A
T = TO
(out)(err)
O = 4692906
T = 1.76
(out)(err)
O = 4747131
T = 193.67
(out)(err)
O = 4750964
T = 0.03
(out)(err)
d023d256-3477-11e0-bdb2-00163e3d3b7c_l2.wcnf O = 4692906
T = 1.78
O = N/A
T = TO
(out)(err)
O = 4750494
T = 242.12
(out)(err)
O = 4713066
T = 168.72
(out)(err)
O = N/A
T = TO
(out)(err)
O = 4692906
T = 1.78
(out)(err)
O = 4775597
T = 51.88
(out)(err)
O = 4750964
T = 0.03
(out)(err)
d0cc7514-c730-11df-a040-00163e3d3b7c_l1.wcnf O = 186592
T = 0.18
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 189621
T = 1.43
(out)(err)
O = N/A
T = TO
(out)(err)
O = 186592
T = 0.18
(out)(err)
O = 203396
T = 0.04
(out)(err)
O = 204988
T = 11.12
(out)(err)
d5026b8e-3477-11e0-986e-00163e3d3b7c_l1.wcnf O = 4692906
T = 1.76
O = N/A
T = TO
(out)(err)
O = 4768268
T = 271.29
(out)(err)
O = 4705242
T = 125.28
(out)(err)
O = N/A
T = TO
(out)(err)
O = 4692906
T = 1.76
(out)(err)
O = 4747131
T = 193.54
(out)(err)
O = 4750964
T = 0.03
(out)(err)
dba3a3fe-3477-11e0-9e6c-00163e3d3b7c_l1.wcnf O = 4692906
T = 1.76
O = N/A
T = TO
(out)(err)
O = 4768268
T = 270.83
(out)(err)
O = 4710234
T = 49.85
(out)(err)
O = N/A
T = TO
(out)(err)
O = 4692906
T = 1.76
(out)(err)
O = 4747131
T = 180.91
(out)(err)
O = 4750964
T = 0.03
(out)(err)
dba3a3fe-3477-11e0-9e6c-00163e3d3b7c_l2.wcnf O = 4692906
T = 1.88
O = N/A
T = TO
(out)(err)
O = 4750494
T = 258.94
(out)(err)
O = 4712826
T = 177.83
(out)(err)
O = N/A
T = TO
(out)(err)
O = 4692906
T = 1.88
(out)(err)
O = 4775597
T = 45.32
(out)(err)
O = 4750964
T = 0.03
(out)(err)
deb285a6-db9e-11df-8f4f-00163e3d3b7c_l2.wcnf O = 4569599
T = 2.71
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 4589215
T = 134.16
(out)(err)
O = N/A
T = TO
(out)(err)
O = 4569599
T = 2.71
(out)(err)
O = 4697298
T = 0.03
(out)(err)
O = 4597122
T = 0.04
(out)(err)
e0bd67a6-56d0-11df-b11f-00163e7a6f5e_l1.wcnf O = 3814579
T = 0.96
O = N/A
T = TO
(out)(err)
O = 3820302
T = 241.49
(out)(err)
O = 3819007
T = 155.14
(out)(err)
O = N/A
T = TO
(out)(err)
O = 3814579
T = 0.96
(out)(err)
O = 3836560
T = 127.59
(out)(err)
O = 3822363
T = 0.02
(out)(err)
e0bd67a6-56d0-11df-b11f-00163e7a6f5e_l2.wcnf O = 3814579
T = 0.97
O = N/A
T = TO
(out)(err)
O = 3817491
T = 246.32
(out)(err)
O = 3818138
T = 157.13
(out)(err)
O = N/A
T = TO
(out)(err)
O = 3814579
T = 0.97
(out)(err)
O = 3827355
T = 158.35
(out)(err)
O = 3822363
T = 0.02
(out)(err)
e2f6303a-4fe9-11e0-aa4f-00163e1e087d_l1.wcnf O = 558796
T = 0.11
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 559104
T = 131.14
(out)(err)
O = N/A
T = TO
(out)(err)
O = 558796
T = 0.11
(out)(err)
O = 559084
T = 266.61
(out)(err)
O = 558948
T = 274.24
(out)(err)
e381ba7e-a192-11e0-8647-00163e1e087d_l2.wcnf O = 2145528
T = 0.78
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 2159197
T = 75.86
(out)(err)
O = N/A
T = TO
(out)(err)
O = 2145528
T = 0.78
(out)(err)
O = 2196305
T = 129.88
(out)(err)
O = 2201873
T = 0.02
(out)(err)
e599f3fc-360e-11e0-986e-00163e3d3b7c_l1.wcnf O = 4661351
T = 1.55
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 4671269
T = 225.60
(out)(err)
O = N/A
T = TO
(out)(err)
O = 4661351
T = 1.55
(out)(err)
O = 4691653
T = 153.73
(out)(err)
O = 4705816
T = 48.62
(out)(err)
e69a0e36-9ef1-11df-9d4a-00163e46d37a_l1.wcnf O = 93956
T = 0.19
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 95761
T = 222.60
(out)(err)
O = N/A
T = TO
(out)(err)
O = 93956
T = 0.19
(out)(err)
O = 100468
T = 0.05
(out)(err)
O = 95916
T = 37.67
(out)(err)
ec32fc68-7254-11e0-8436-00163e1e087d_l1.wcnf O = 4535367
T = 1.59
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 4540287
T = 176.81
(out)(err)
O = N/A
T = TO
(out)(err)
O = 4535367
T = 1.59
(out)(err)
O = 4566950
T = 192.16
(out)(err)
O = 4552686
T = 178.74
(out)(err)
eeee44ce-5407-11df-b11f-00163e7a6f5e_l1.wcnf O = 3795246
T = 1.88
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 3807408
T = 163.09
(out)(err)
O = N/A
T = TO
(out)(err)
O = 3795246
T = 1.88
(out)(err)
O = 3839470
T = 0.02
(out)(err)
O = 3823933
T = 0.02
(out)(err)
eeee44ce-5407-11df-b11f-00163e7a6f5e_l2.wcnf O = 3795246
T = 1.82
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 3807331
T = 130.99
(out)(err)
O = N/A
T = TO
(out)(err)
O = 3795246
T = 1.82
(out)(err)
O = 3839470
T = 0.01
(out)(err)
O = 3823933
T = 0.03
(out)(err)
f4ebf9e0-360e-11e0-9e6c-00163e3d3b7c_l1.wcnf O = 4661351
T = 1.65
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 4671269
T = 240.40
(out)(err)
O = N/A
T = TO
(out)(err)
O = 4661351
T = 1.65
(out)(err)
O = 4691653
T = 177.53
(out)(err)
O = 4705816
T = 62.88
(out)(err)
fa3d0fb2-db9e-11df-a0ec-00163e3d3b7c_l1.wcnf O = 4569599
T = 2.79
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 4590663
T = 136.19
(out)(err)
O = N/A
T = TO
(out)(err)
O = 4569599
T = 2.79
(out)(err)
O = 4697298
T = 0.03
(out)(err)
O = 4597122
T = 0.04
(out)(err)
ff4a1d84-d490-11df-9e6c-00163e3d3b7c_l1.wcnf O = 181519
T = 0.07
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 182659
T = 38.21
(out)(err)
O = N/A
T = TO
(out)(err)
O = 181519
T = 0.07
(out)(err)
O = 187314
T = 81.13
(out)(err)
O = 184390
T = 157.83
(out)(err)
rand116_l2.wcnf O = 1831176
T = 2.29
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1870494
T = 137.46
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1831176
T = 2.29
(out)(err)
O = 1904037
T = 145.21
(out)(err)
O = 1876275
T = 0.40
(out)(err)
rand118_l2.wcnf O = 1626135
T = 13.35
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1709093
T = 207.16
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1626135
T = 13.35
(out)(err)
O = 1874716
T = 52.91
(out)(err)
O = 1719200
T = 0.12
(out)(err)
rand131_l2.wcnf O = 1833970
T = 14.56
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1904594
T = 57.75
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1833970
T = 14.56
(out)(err)
O = 1977576
T = 171.99
(out)(err)
O = 1933971
T = 0.11
(out)(err)
rand172_l1.wcnf O = 334686
T = 4.83
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 349761
T = 132.41
(out)(err)
O = N/A
T = TO
(out)(err)
O = 334686
T = 4.83
(out)(err)
O = 383454
T = 115.96
(out)(err)
O = 379114
T = 55.95
(out)(err)
rand179_l1.wcnf O = 493892
T = 284.70
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 513689
T = 130.03
(out)(err)
O = N/A
T = TO
(out)(err)
O = 493892
T = 284.70
(out)(err)
O = 545286
T = 18.88
(out)(err)
O = 539537
T = 76.41
(out)(err)
rand196_l1.wcnf O = 428433
T = 1.62
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 448339
T = 200.85
(out)(err)
O = N/A
T = TO
(out)(err)
O = 428433
T = 1.62
(out)(err)
O = 495217
T = 76.39
(out)(err)
O = 470872
T = 101.05
(out)(err)
rand196_l2.wcnf O = 2309054
T = 284.56
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 2413261
T = 253.21
(out)(err)
O = N/A
T = TO
(out)(err)
O = 2309054
T = 284.56
(out)(err)
O = 2606800
T = 0.60
(out)(err)
O = 2546590
T = 0.64
(out)(err)
rand208_l1.wcnf O = 823487
T = 5.42
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 851651
T = 91.17
(out)(err)
O = N/A
T = TO
(out)(err)
O = 823487
T = 5.42
(out)(err)
O = 887909
T = 199.77
(out)(err)
O = 881086
T = 204.84
(out)(err)
rand208_l2.wcnf O = 2165646
T = 9.27
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 2249736
T = 237.88
(out)(err)
O = N/A
T = TO
(out)(err)
O = 2165646
T = 9.27
(out)(err)
O = 2388761
T = 47.21
(out)(err)
O = 2246423
T = 0.14
(out)(err)
rand213_l2.wcnf O = 1840856
T = 1.29
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1861270
T = 186.24
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1840856
T = 1.29
(out)(err)
O = 1898925
T = 90.06
(out)(err)
O = 1869459
T = 0.07
(out)(err)
rand220_l2.wcnf O = 2028072
T = 284.57
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 2066022
T = 49.24
(out)(err)
O = N/A
T = TO
(out)(err)
O = 2028072
T = 284.57
(out)(err)
O = 2186718
T = 194.49
(out)(err)
O = 2063470
T = 0.11
(out)(err)
rand242_l1.wcnf O = 314568
T = 1.56
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 333370
T = 73.17
(out)(err)
O = N/A
T = TO
(out)(err)
O = 314568
T = 1.56
(out)(err)
O = 327776
T = 232.33
(out)(err)
O = 326357
T = 0.03
(out)(err)
rand293_l1.wcnf O = 406647
T = 19.62
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 434373
T = 76.91
(out)(err)
O = N/A
T = TO
(out)(err)
O = 406647
T = 19.62
(out)(err)
O = 500413
T = 81.19
(out)(err)
O = 460458
T = 0.04
(out)(err)
rand307_l2.wcnf O = 1820365
T = 1.41
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1842030
T = 274.10
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1820365
T = 1.41
(out)(err)
O = 1887746
T = 89.00
(out)(err)
O = 1846510
T = 0.06
(out)(err)
rand308_l2.wcnf O = 2063604
T = 6.18
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 2118771
T = 215.08
(out)(err)
O = N/A
T = TO
(out)(err)
O = 2063604
T = 6.18
(out)(err)
O = 2227602
T = 0.05
(out)(err)
O = 2138872
T = 0.10
(out)(err)
rand30_l1.wcnf O = 531473
T = 5.38
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 549929
T = 45.26
(out)(err)
O = N/A
T = TO
(out)(err)
O = 531473
T = 5.38
(out)(err)
O = 596731
T = 97.74
(out)(err)
O = 593096
T = 215.28
(out)(err)
rand377_l2.wcnf O = 1927695
T = 4.01
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1966087
T = 112.19
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1927695
T = 4.01
(out)(err)
O = 2011524
T = 79.13
(out)(err)
O = 1962167
T = 0.08
(out)(err)
rand381_l1.wcnf O = 191002
T = 0.56
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 195306
T = 102.62
(out)(err)
O = N/A
T = TO
(out)(err)
O = 191002
T = 0.56
(out)(err)
O = 206875
T = 170.87
(out)(err)
O = 206495
T = 94.60
(out)(err)
rand393_l1.wcnf O = 231003
T = 0.48
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 234625
T = 221.59
(out)(err)
O = N/A
T = TO
(out)(err)
O = 231003
T = 0.48
(out)(err)
O = 248419
T = 125.02
(out)(err)
O = 247706
T = 16.55
(out)(err)
rand425_l1.wcnf O = 358529
T = 9.02
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 384462
T = 249.25
(out)(err)
O = N/A
T = TO
(out)(err)
O = 358529
T = 9.02
(out)(err)
O = 423528
T = 83.89
(out)(err)
O = 410277
T = 246.61
(out)(err)
rand446_l1.wcnf O = 302906
T = 0.73
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 316484
T = 88.80
(out)(err)
O = N/A
T = TO
(out)(err)
O = 302906
T = 0.73
(out)(err)
O = 331548
T = 51.32
(out)(err)
O = 333100
T = 25.56
(out)(err)
rand491_l2.wcnf O = 1868458
T = 12.85
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1933520
T = 248.43
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1868458
T = 12.85
(out)(err)
O = 2056121
T = 225.49
(out)(err)
O = 1997321
T = 0.12
(out)(err)
rand507_l1.wcnf O = 318754
T = 0.41
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 327136
T = 9.79
(out)(err)
O = N/A
T = TO
(out)(err)
O = 318754
T = 0.41
(out)(err)
O = 337531
T = 89.07
(out)(err)
O = 339121
T = 44.16
(out)(err)
rand507_l2.wcnf O = 2005769
T = 4.30
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 2057412
T = 240.72
(out)(err)
O = N/A
T = TO
(out)(err)
O = 2005769
T = 4.30
(out)(err)
O = 2147105
T = 252.12
(out)(err)
O = 2065987
T = 0.08
(out)(err)
rand547_l2.wcnf O = 1967414
T = 284.72
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 2014046
T = 247.78
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1967414
T = 284.72
(out)(err)
O = 2120070
T = 244.19
(out)(err)
O = 2078063
T = 0.11
(out)(err)
rand583_l2.wcnf O = 1853126
T = 0.78
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1861913
T = 132.52
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1853126
T = 0.78
(out)(err)
O = 1890054
T = 157.95
(out)(err)
O = 1862451
T = 0.07
(out)(err)
rand653_l2.wcnf O = 1851319
T = 2.49
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1879861
T = 271.63
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1851319
T = 2.49
(out)(err)
O = 1935881
T = 298.61
(out)(err)
O = 1896957
T = 0.07
(out)(err)
rand695_l1.wcnf O = 298793
T = 0.37
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 305289
T = 285.65
(out)(err)
O = N/A
T = TO
(out)(err)
O = 298793
T = 0.37
(out)(err)
O = 319203
T = 105.99
(out)(err)
O = 316276
T = 127.31
(out)(err)
rand717_l2.wcnf O = 2205487
T = 18.37
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 2366293
T = 82.58
(out)(err)
O = N/A
T = TO
(out)(err)
O = 2205487
T = 18.37
(out)(err)
O = 2594668
T = 112.01
(out)(err)
O = 2365162
T = 0.13
(out)(err)
rand752_l1.wcnf O = 322481
T = 14.93
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 338701
T = 115.41
(out)(err)
O = N/A
T = TO
(out)(err)
O = 322481
T = 14.93
(out)(err)
O = 376042
T = 79.15
(out)(err)
O = 368098
T = 165.51
(out)(err)
rand83_l1.wcnf O = 389009
T = 284.71
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 410558
T = 3.87
(out)(err)
O = N/A
T = TO
(out)(err)
O = 389009
T = 284.71
(out)(err)
O = 448759
T = 4.68
(out)(err)
O = 436244
T = 17.54
(out)(err)
rand83_l2.wcnf O = 1821233
T = 4.60
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1893303
T = 169.00
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1821233
T = 4.60
(out)(err)
O = 1995392
T = 101.41
(out)(err)
O = 1892825
T = 0.11
(out)(err)
rand869_l1.wcnf O = 350662
T = 17.47
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 350662
T = 17.47
(out)(err)
O = N/A
T = TO
(out)(err)
O = 354211
T = 284.69
(out)(err)
O = 385328
T = 139.22
(out)(err)
O = 372336
T = 65.34
(out)(err)
rand874_l1.wcnf O = 583602
T = 9.77
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 619778
T = 190.14
(out)(err)
O = N/A
T = TO
(out)(err)
O = 583602
T = 9.77
(out)(err)
O = 684590
T = 217.80
(out)(err)
O = 649995
T = 0.03
(out)(err)
rand892_l1.wcnf O = 224702
T = 0.36
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 231132
T = 288.83
(out)(err)
O = N/A
T = TO
(out)(err)
O = 224702
T = 0.36
(out)(err)
O = 246374
T = 122.69
(out)(err)
O = 243205
T = 0.01
(out)(err)
rand892_l2.wcnf O = 1930149
T = 4.99
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1970180
T = 222.29
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1930149
T = 4.99
(out)(err)
O = 2044697
T = 56.73
(out)(err)
O = 1970273
T = 0.10
(out)(err)
rand929_l2.wcnf O = 1934382
T = 4.13
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1968688
T = 277.81
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1934382
T = 4.13
(out)(err)
O = 2021746
T = 133.04
(out)(err)
O = 2049805
T = 0.07
(out)(err)
rand954_l1.wcnf O = 273463
T = 0.65
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 282748
T = 148.80
(out)(err)
O = N/A
T = TO
(out)(err)
O = 273463
T = 0.65
(out)(err)
O = 299332
T = 243.37
(out)(err)
O = 290428
T = 0.01
(out)(err)
rand981_l2.wcnf O = 1878056
T = 8.50
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1931301
T = 136.07
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1878056
T = 8.50
(out)(err)
O = 2016386
T = 45.13
(out)(err)
O = 1921890
T = 0.09
(out)(err)
rand984_l1.wcnf O = 345082
T = 2.27
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 372272
T = 10.63
(out)(err)
O = N/A
T = TO
(out)(err)
O = 345082
T = 2.27
(out)(err)
O = 412681
T = 4.07
(out)(err)
O = 394760
T = 113.69
(out)(err)
rand984_l2.wcnf O = 1466588
T = 47.21
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1554695
T = 246.98
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1466588
T = 47.21
(out)(err)
O = 1703901
T = 221.49
(out)(err)
O = 1580315
T = 0.47
(out)(err)
WCNF_pathways_p01.wcnf O = 2
T = 0.00
O = 2
T = 0.23
(out)(err)
O = 5
T = 2.38
(out)(err)
O = 2
T = 0.42
(out)(err)
O = 2
T = 0.64
(out)(err)
O = 2
T = 0.00
(out)(err)
O = 2
T = 0.01
(out)(err)
O = 2
T = 0.02
(out)(err)
WCNF_pathways_p02.wcnf O = 3
T = 0.00
O = 3
T = 0.35
(out)(err)
O = 6
T = 25.54
(out)(err)
O = 3
T = 0.18
(out)(err)
O = 3
T = 0.71
(out)(err)
O = 3
T = 0.00
(out)(err)
O = 3
T = 0.02
(out)(err)
O = 3
T = 0.03
(out)(err)
WCNF_pathways_p03.wcnf O = 30
T = 0.01
O = 30
T = 0.27
(out)(err)
O = 57
T = 85.31
(out)(err)
O = 30
T = 8.75
(out)(err)
O = 30
T = 1.68
(out)(err)
O = 30
T = 0.01
(out)(err)
O = 30
T = 0.04
(out)(err)
O = 30
T = 0.07
(out)(err)
WCNF_pathways_p04.wcnf O = 20
T = 0.01
O = 20
T = 0.34
(out)(err)
O = 67
T = 120.65
(out)(err)
O = 30
T = 14.08
(out)(err)
O = 20
T = 1.88
(out)(err)
O = 20
T = 0.01
(out)(err)
O = 20
T = 0.09
(out)(err)
O = 20
T = 0.04
(out)(err)
WCNF_pathways_p05.wcnf O = 60
T = 0.21
O = 60
T = 188.08
(out)(err)
O = 102
T = 226.86
(out)(err)
O = 82
T = 178.13
(out)(err)
O = 60
T = 2.58
(out)(err)
O = 60
T = 0.31
(out)(err)
O = 60
T = 0.34
(out)(err)
O = 60
T = 0.21
(out)(err)
WCNF_pathways_p06.wcnf O = 64
T = 16.06
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 114
T = 208.76
(out)(err)
O = 64
T = 38.03
(out)(err)
O = 64
T = 46.94
(out)(err)
O = 64
T = 16.06
(out)(err)
O = 64
T = 62.75
(out)(err)
WCNF_pathways_p07.wcnf O = 115
T = 1.14
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 134
T = 140.34
(out)(err)
O = 115
T = 17.64
(out)(err)
O = 115
T = 6.78
(out)(err)
O = 115
T = 1.75
(out)(err)
O = 115
T = 1.14
(out)(err)
WCNF_pathways_p08.wcnf O = 182
T = 1.84
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 206
T = 24.17
(out)(err)
O = 182
T = 11.49
(out)(err)
O = 182
T = 11.53
(out)(err)
O = 182
T = 1.84
(out)(err)
O = 182
T = 2.49
(out)(err)
WCNF_pathways_p09.wcnf O = 157
T = 0.40
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 167
T = 10.69
(out)(err)
O = 157
T = 2.65
(out)(err)
O = 157
T = 0.40
(out)(err)
O = 157
T = 0.43
(out)(err)
O = 157
T = 0.98
(out)(err)
WCNF_pathways_p10.wcnf O = 129
T = 7.55
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 174
T = 14.89
(out)(err)
O = 129
T = 17.54
(out)(err)
O = 129
T = 20.47
(out)(err)
O = 129
T = 7.55
(out)(err)
O = 129
T = 9.15
(out)(err)
WCNF_pathways_p11.wcnf O = 118
T = 0.06
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 127
T = 102.74
(out)(err)
O = 118
T = 1.86
(out)(err)
O = 118
T = 0.06
(out)(err)
O = 118
T = 0.23
(out)(err)
O = 118
T = 0.34
(out)(err)
WCNF_pathways_p12.wcnf O = 188
T = 0.34
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 196
T = 269.92
(out)(err)
O = 188
T = 2.95
(out)(err)
O = 188
T = 0.34
(out)(err)
O = 188
T = 0.57
(out)(err)
O = 188
T = 1.08
(out)(err)
WCNF_pathways_p14.wcnf O = 207
T = 0.30
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 216
T = 33.33
(out)(err)
O = 207
T = 2.98
(out)(err)
O = 207
T = 0.30
(out)(err)
O = 207
T = 0.53
(out)(err)
O = 207
T = 0.66
(out)(err)
WCNF_pathways_p16.wcnf O = 257
T = 5.65
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 285
T = 252.69
(out)(err)
O = N/A
T = TO
(out)(err)
O = 257
T = 284.60
(out)(err)
O = 257
T = 5.65
(out)(err)
O = 257
T = 212.82
(out)(err)
WCNF_pathways_p17.wcnf O = 223
T = 2.71
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 253
T = 290.61
(out)(err)
O = 223
T = 8.56
(out)(err)
O = 223
T = 158.76
(out)(err)
O = 223
T = 2.71
(out)(err)
O = 223
T = 146.89
(out)(err)
WCNF_pathways_p18.wcnf O = 228
T = 0.15
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 238
T = 144.02
(out)(err)
O = 228
T = 2.67
(out)(err)
O = 228
T = 0.15
(out)(err)
O = 228
T = 0.17
(out)(err)
O = 228
T = 0.63
(out)(err)
WCNF_pathways_p20.wcnf O = 247
T = 0.22
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 249
T = 289.91
(out)(err)
O = 247
T = 5.99
(out)(err)
O = 247
T = 0.22
(out)(err)
O = 247
T = 0.99
(out)(err)
O = 247
T = 2.51
(out)(err)
WCNF_storage_p01.wcnf O = 3
T = 0.00
O = 3
T = 0.22
(out)(err)
O = 6
T = 0.08
(out)(err)
O = 5
T = 0.08
(out)(err)
O = 3
T = 0.39
(out)(err)
O = 3
T = 0.00
(out)(err)
O = 3
T = 0.01
(out)(err)
O = 3
T = 0.01
(out)(err)
WCNF_storage_p02.wcnf O = 5
T = 0.07
O = 8
T = 3.17
(out)(err)
O = 12
T = 38.24
(out)(err)
O = 8
T = 17.54
(out)(err)
O = 5
T = 3.43
(out)(err)
O = 5
T = 0.07
(out)(err)
O = 5
T = 0.24
(out)(err)
O = 5
T = 0.43
(out)(err)
WCNF_storage_p03.wcnf O = 18
T = 1.72
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 30
T = 287.90
(out)(err)
O = 18
T = 6.71
(out)(err)
O = 18
T = 14.18
(out)(err)
O = 18
T = 1.72
(out)(err)
O = 18
T = 4.36
(out)(err)
WCNF_storage_p04.wcnf O = 38
T = 0.25
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 43
T = 276.14
(out)(err)
O = 38
T = 2.82
(out)(err)
O = 38
T = 0.36
(out)(err)
O = 38
T = 0.25
(out)(err)
O = 38
T = 1.43
(out)(err)
WCNF_storage_p05.wcnf O = 107
T = 0.24
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 124
T = 11.00
(out)(err)
O = 107
T = 4.12
(out)(err)
O = 107
T = 0.24
(out)(err)
O = 107
T = 2.35
(out)(err)
O = 107
T = 5.46
(out)(err)
WCNF_storage_p06.wcnf O = 173
T = 0.24
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 189
T = 14.72
(out)(err)
O = 173
T = 3.48
(out)(err)
O = 173
T = 0.24
(out)(err)
O = 173
T = 2.21
(out)(err)
O = 173
T = 2.63
(out)(err)
WCNF_storage_p07.wcnf O = 277
T = 5.16
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 330
T = 23.71
(out)(err)
O = 277
T = 8.60
(out)(err)
O = 277
T = 16.02
(out)(err)
O = 277
T = 5.16
(out)(err)
O = 277
T = 6.05
(out)(err)
WCNF_trucks_p01.wcnf O = 0
T = 0.10
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 3
T = 107.74
(out)(err)
O = 0
T = 1.97
(out)(err)
O = 0
T = 0.10
(out)(err)
O = 0
T = 0.38
(out)(err)
O = 0
T = 0.58
(out)(err)
WCNF_trucks_p02.wcnf O = 0
T = 1.78
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 0
T = 8.49
(out)(err)
O = 0
T = 1.78
(out)(err)
O = 0
T = 5.73
(out)(err)
O = 0
T = 8.01
(out)(err)
WCNF_trucks_p03.wcnf O = 0
T = 2.03
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 0
T = 40.60
(out)(err)
O = 0
T = 2.03
(out)(err)
O = 0
T = 41.81
(out)(err)
O = 0
T = 33.18
(out)(err)
WCNF_trucks_p04.wcnf O = 0
T = 0.88
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 0
T = 145.97
(out)(err)
O = 0
T = 0.88
(out)(err)
O = 0
T = 57.04
(out)(err)
O = 0
T = 47.28
(out)(err)
WCNF_trucks_p05.wcnf O = 0
T = 38.96
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 0
T = 38.96
(out)(err)
O = 28
T = 278.33
(out)(err)
O = 25
T = 246.11
(out)(err)
comp01.wcnf O = N/A
T = TO
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
comp02.wcnf O = 87
T = 207.00
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 232
T = 189.98
(out)(err)
O = N/A
T = TO
(out)(err)
O = 568
T = 284.67
(out)(err)
O = 87
T = 207.00
(out)(err)
O = 113
T = 160.52
(out)(err)
comp03.wcnf O = 127
T = 271.12
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 213
T = 296.22
(out)(err)
O = N/A
T = TO
(out)(err)
O = 528
T = 284.66
(out)(err)
O = 127
T = 271.12
(out)(err)
O = 139
T = 104.06
(out)(err)
comp04.wcnf O = 35
T = 2.65
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 202
T = 267.71
(out)(err)
O = N/A
T = TO
(out)(err)
O = 35
T = 2.65
(out)(err)
O = 35
T = 151.22
(out)(err)
O = 77
T = 101.38
(out)(err)
comp05.wcnf O = 457
T = 206.80
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 910
T = 115.96
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1364
T = 284.68
(out)(err)
O = 457
T = 206.80
(out)(err)
O = 632
T = 189.86
(out)(err)
comp06.wcnf O = 27
T = 126.61
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 731
T = 219.02
(out)(err)
O = N/A
T = TO
(out)(err)
O = 27
T = 126.61
(out)(err)
O = 48
T = 132.58
(out)(err)
O = 305
T = 42.56
(out)(err)
comp07.wcnf O = 130
T = 135.57
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 2283
T = 85.25
(out)(err)
O = N/A
T = TO
(out)(err)
O = 714
T = 284.72
(out)(err)
O = 130
T = 135.57
(out)(err)
O = 164
T = 73.81
(out)(err)
comp08.wcnf O = 37
T = 3.63
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 321
T = 199.84
(out)(err)
O = N/A
T = TO
(out)(err)
O = 37
T = 3.63
(out)(err)
O = 37
T = 208.48
(out)(err)
O = 149
T = 103.08
(out)(err)
comp09.wcnf O = 138
T = 132.58
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 262
T = 188.83
(out)(err)
O = N/A
T = TO
(out)(err)
O = 618
T = 284.50
(out)(err)
O = 138
T = 132.58
(out)(err)
O = 159
T = 102.83
(out)(err)
comp10.wcnf O = 4
T = 12.64
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 747
T = 186.75
(out)(err)
O = N/A
T = TO
(out)(err)
O = 4
T = 12.64
(out)(err)
O = 30
T = 247.40
(out)(err)
O = 220
T = 50.29
(out)(err)
comp12.wcnf O = 606
T = 135.63
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 937
T = 288.56
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1470
T = 284.72
(out)(err)
O = 606
T = 135.63
(out)(err)
O = 629
T = 237.21
(out)(err)
comp13.wcnf O = 59
T = 28.34
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 338
T = 139.28
(out)(err)
O = N/A
T = TO
(out)(err)
O = 59
T = 28.34
(out)(err)
O = 92
T = 256.73
(out)(err)
O = 126
T = 111.74
(out)(err)
comp14.wcnf O = 51
T = 9.48
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 201
T = 177.66
(out)(err)
O = N/A
T = TO
(out)(err)
O = 51
T = 9.48
(out)(err)
O = 55
T = 289.62
(out)(err)
O = 137
T = 101.98
(out)(err)
comp15.wcnf O = 134
T = 187.03
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 233
T = 210.70
(out)(err)
O = N/A
T = TO
(out)(err)
O = 528
T = 284.70
(out)(err)
O = 148
T = 182.15
(out)(err)
O = 134
T = 187.03
(out)(err)
comp16.wcnf O = 18
T = 6.54
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 365
T = 153.59
(out)(err)
O = N/A
T = TO
(out)(err)
O = 18
T = 6.54
(out)(err)
O = 18
T = 173.50
(out)(err)
O = 157
T = 97.00
(out)(err)
comp17.wcnf O = 56
T = 185.22
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 635
T = 287.34
(out)(err)
O = N/A
T = TO
(out)(err)
O = 56
T = 185.22
(out)(err)
O = 90
T = 115.43
(out)(err)
O = 168
T = 45.99
(out)(err)
comp18.wcnf O = 121
T = 252.85
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 191
T = 183.68
(out)(err)
O = N/A
T = TO
(out)(err)
O = 384
T = 284.70
(out)(err)
O = 121
T = 252.85
(out)(err)
O = 122
T = 150.67
(out)(err)
comp19.wcnf O = 57
T = 155.52
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 189
T = 208.79
(out)(err)
O = N/A
T = TO
(out)(err)
O = 57
T = 155.52
(out)(err)
O = 62
T = 166.27
(out)(err)
O = 102
T = 141.37
(out)(err)
comp20.wcnf O = 4
T = 214.44
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1501
T = 157.10
(out)(err)
O = N/A
T = TO
(out)(err)
O = 4
T = 214.44
(out)(err)
O = 32
T = 183.93
(out)(err)
O = 198
T = 50.42
(out)(err)
comp21.wcnf O = 149
T = 224.28
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 415
T = 257.91
(out)(err)
O = N/A
T = TO
(out)(err)
O = 550
T = 284.72
(out)(err)
O = 149
T = 224.28
(out)(err)
O = 260
T = 92.49
(out)(err)
dds1.wcnf O = 48
T = 36.76
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 48
T = 36.76
(out)(err)
O = 87
T = 118.97
(out)(err)
O = 811
T = 92.53
(out)(err)
dds4.wcnf O = N/A
T = TO
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
test1.wcnf O = N/A
T = TO
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
test2.wcnf O = 16
T = 8.64
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 298
T = 157.68
(out)(err)
O = N/A
T = TO
(out)(err)
O = 16
T = 8.64
(out)(err)
O = 16
T = 92.92
(out)(err)
O = 24
T = 89.92
(out)(err)
test3.wcnf O = 363
T = 284.71
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 372
T = 232.62
(out)(err)
O = N/A
T = TO
(out)(err)
O = 363
T = 284.71
(out)(err)
O = 371
T = 2.87
(out)(err)
O = 381
T = 7.34
(out)(err)
test4.wcnf O = 446
T = 284.67
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 446
T = 284.67
(out)(err)
O = 1305
T = 75.29
(out)(err)
O = 1287
T = 9.40
(out)(err)
mancoosi-test-i1000d0u98-0.wcnf O = 107076495
T = 1.24
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 107076495
T = 13.70
(out)(err)
O = 107076495
T = 1.24
(out)(err)
O = 107076495
T = 1.49
(out)(err)
O = 107076495
T = 6.89
(out)(err)
mancoosi-test-i1000d0u98-1.wcnf O = 122084953
T = 1.05
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 122084953
T = 1.37
(out)(err)
O = 122084953
T = 1.23
(out)(err)
O = 122084953
T = 1.05
(out)(err)
mancoosi-test-i1000d0u98-10.wcnf O = 152083527
T = 1.11
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 152083527
T = 9.41
(out)(err)
O = 152083527
T = 1.11
(out)(err)
O = 152083527
T = 16.23
(out)(err)
O = 152083527
T = 12.61
(out)(err)
mancoosi-test-i1000d0u98-11.wcnf O = 122139402
T = 0.87
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 122139402
T = 7.90
(out)(err)
O = 122139402
T = 1.21
(out)(err)
O = 122139402
T = 1.07
(out)(err)
O = 122139402
T = 0.87
(out)(err)
mancoosi-test-i1000d0u98-12.wcnf O = 77077761
T = 1.34
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 77077761
T = 1.34
(out)(err)
O = 77077761
T = 1.39
(out)(err)
O = 77077761
T = 8.86
(out)(err)
mancoosi-test-i1000d0u98-13.wcnf O = 182245730
T = 1.01
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 182245730
T = 6.15
(out)(err)
O = 182245730
T = 1.42
(out)(err)
O = 182245730
T = 1.30
(out)(err)
O = 182245730
T = 1.01
(out)(err)
mancoosi-test-i1000d0u98-14.wcnf O = 137147806
T = 1.51
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 137147806
T = 20.83
(out)(err)
O = 137147806
T = 1.51
(out)(err)
O = 137147806
T = 8.37
(out)(err)
O = 137147806
T = 18.89
(out)(err)
mancoosi-test-i1000d0u98-15.wcnf O = 92031744
T = 1.89
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 92031744
T = 24.39
(out)(err)
O = 92031744
T = 1.89
(out)(err)
O = 92031744
T = 8.58
(out)(err)
O = 92031744
T = 17.17
(out)(err)
mancoosi-test-i1000d0u98-16.wcnf O = 137075245
T = 0.92
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 137075245
T = 5.18
(out)(err)
O = 137075245
T = 1.53
(out)(err)
O = 137075245
T = 1.14
(out)(err)
O = 137075245
T = 0.92
(out)(err)
mancoosi-test-i1000d0u98-17.wcnf O = 152192544
T = 1.08
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 152192544
T = 58.72
(out)(err)
O = 152192544
T = 1.22
(out)(err)
O = 152192544
T = 1.51
(out)(err)
O = 152192544
T = 1.08
(out)(err)
mancoosi-test-i1000d0u98-18.wcnf O = 152228825
T = 1.29
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 152228825
T = 3.73
(out)(err)
O = 152228825
T = 1.29
(out)(err)
O = 152228825
T = 5.46
(out)(err)
O = 152228825
T = 5.88
(out)(err)
mancoosi-test-i1000d0u98-19.wcnf O = 92049939
T = 1.77
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 92049939
T = 60.31
(out)(err)
O = 92049939
T = 1.77
(out)(err)
O = 92049939
T = 23.51
(out)(err)
O = 92049939
T = 38.88
(out)(err)
mancoosi-test-i1000d0u98-2.wcnf O = 77059701
T = 0.80
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 77059701
T = 3.72
(out)(err)
O = 77059701
T = 1.77
(out)(err)
O = 77059701
T = 1.06
(out)(err)
O = 77059701
T = 0.80
(out)(err)
mancoosi-test-i1000d0u98-20.wcnf O = 122103131
T = 1.59
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 122103131
T = 1.59
(out)(err)
O = 122103131
T = 13.40
(out)(err)
O = 122103131
T = 14.38
(out)(err)
mancoosi-test-i1000d0u98-21.wcnf O = 77041487
T = 1.06
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 77041487
T = 9.13
(out)(err)
O = 77041487
T = 1.22
(out)(err)
O = 77041487
T = 1.06
(out)(err)
O = 77041487
T = 1.09
(out)(err)
mancoosi-test-i1000d0u98-22.wcnf O = 92086312
T = 1.83
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 92086312
T = 10.73
(out)(err)
O = 92086312
T = 1.83
(out)(err)
O = 92086312
T = 8.35
(out)(err)
O = 92086312
T = 8.91
(out)(err)
mancoosi-test-i1000d0u98-23.wcnf O = 62014822
T = 1.16
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 62014822
T = 5.24
(out)(err)
O = 62014822
T = 1.16
(out)(err)
O = 62014822
T = 5.65
(out)(err)
O = 62014822
T = 11.49
(out)(err)
mancoosi-test-i1000d0u98-24.wcnf O = 167273676
T = 2.09
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 167273676
T = 10.91
(out)(err)
O = 167273676
T = 2.09
(out)(err)
O = 167273676
T = 33.32
(out)(err)
O = 167273676
T = 15.75
(out)(err)
mancoosi-test-i1000d0u98-3.wcnf O = 91959146
T = 1.97
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 91959146
T = 10.06
(out)(err)
O = 91959146
T = 1.97
(out)(err)
O = 91959146
T = 6.86
(out)(err)
O = 91959146
T = 6.31
(out)(err)
mancoosi-test-i1000d0u98-4.wcnf O = 122175781
T = 1.77
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 122175781
T = 15.93
(out)(err)
O = 122175781
T = 1.77
(out)(err)
O = 122175781
T = 15.87
(out)(err)
O = 122175781
T = 6.52
(out)(err)
mancoosi-test-i1000d0u98-5.wcnf O = 107058295
T = 0.20
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 107058295
T = 45.86
(out)(err)
O = 107058295
T = 0.20
(out)(err)
O = 107058295
T = 26.71
(out)(err)
O = 107058295
T = 25.21
(out)(err)
mancoosi-test-i1000d0u98-6.wcnf O = 137093314
T = 1.23
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 137093314
T = 6.32
(out)(err)
O = 137093314
T = 1.23
(out)(err)
O = 137093314
T = 24.28
(out)(err)
O = 137093314
T = 31.65
(out)(err)
mancoosi-test-i1000d0u98-7.wcnf O = 92104395
T = 0.82
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 92104395
T = 6.62
(out)(err)
O = 92104395
T = 1.21
(out)(err)
O = 92104395
T = 1.47
(out)(err)
O = 92104395
T = 0.82
(out)(err)
mancoosi-test-i1000d0u98-8.wcnf O = 137057008
T = 0.89
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 137057008
T = 95.37
(out)(err)
O = 137057008
T = 1.64
(out)(err)
O = 137057008
T = 1.23
(out)(err)
O = 137057008
T = 0.89
(out)(err)
mancoosi-test-i1000d0u98-9.wcnf O = 167164758
T = 2.18
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 167164758
T = 5.34
(out)(err)
O = 167164758
T = 2.18
(out)(err)
O = 167164758
T = 13.43
(out)(err)
O = 167164758
T = 21.31
(out)(err)
mancoosi-test-i2000d0u98-25.wcnf O = 332548069
T = 1.35
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 332548069
T = 2.25
(out)(err)
O = 332548069
T = 1.80
(out)(err)
O = 332548069
T = 1.35
(out)(err)
mancoosi-test-i2000d0u98-26.wcnf O = 287486453
T = 1.45
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 287486453
T = 1.45
(out)(err)
O = 287486453
T = 17.33
(out)(err)
O = 287486453
T = 17.51
(out)(err)
mancoosi-test-i2000d0u98-27.wcnf O = 317557787
T = 1.44
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 317557787
T = 242.64
(out)(err)
O = 317557787
T = 1.44
(out)(err)
O = 317557787
T = 2.11
(out)(err)
O = 317557787
T = 1.46
(out)(err)
mancoosi-test-i2000d0u98-28.wcnf O = 287468289
T = 1.43
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 287468289
T = 1.43
(out)(err)
O = 287468289
T = 12.22
(out)(err)
O = 287468289
T = 12.80
(out)(err)
mancoosi-test-i2000d0u98-29.wcnf O = 287595465
T = 1.28
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 287595465
T = 111.18
(out)(err)
O = 287595465
T = 1.41
(out)(err)
O = 287595465
T = 2.37
(out)(err)
O = 287595465
T = 1.28
(out)(err)
mancoosi-test-i2000d0u98-30.wcnf O = 212317206
T = 1.54
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 212317206
T = 1.54
(out)(err)
O = 212317206
T = 8.42
(out)(err)
O = 212317206
T = 18.70
(out)(err)
mancoosi-test-i2000d0u98-31.wcnf O = 302513031
T = 2.44
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 302513031
T = 2.44
(out)(err)
O = 302513031
T = 29.93
(out)(err)
O = 302513031
T = 12.43
(out)(err)
mancoosi-test-i2000d0u98-32.wcnf O = 362510376
T = 1.95
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 362510376
T = 2.01
(out)(err)
O = 362510376
T = 1.95
(out)(err)
O = 362510376
T = 8.69
(out)(err)
mancoosi-test-i2000d0u98-33.wcnf O = 332529839
T = 1.99
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 332529839
T = 1.99
(out)(err)
O = 332529839
T = 17.11
(out)(err)
O = 332529839
T = 16.77
(out)(err)
mancoosi-test-i2000d0u98-34.wcnf O = 317430597
T = 1.43
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 317430597
T = 1.43
(out)(err)
O = 317430597
T = 32.57
(out)(err)
O = 317430597
T = 23.82
(out)(err)
mancoosi-test-i2000d0u98-35.wcnf O = 377591501
T = 1.49
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 377591501
T = 1.49
(out)(err)
O = 377591501
T = 14.46
(out)(err)
O = 377591501
T = 7.42
(out)(err)
mancoosi-test-i2000d0u98-36.wcnf O = 332566184
T = 1.33
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 332566184
T = 8.23
(out)(err)
O = 332566184
T = 1.33
(out)(err)
O = 332566184
T = 1.67
(out)(err)
O = 332566184
T = 1.53
(out)(err)
mancoosi-test-i2000d0u98-37.wcnf O = 362510425
T = 1.63
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 362510425
T = 1.63
(out)(err)
O = 362510425
T = 2.04
(out)(err)
O = 362510425
T = 1.68
(out)(err)
mancoosi-test-i2000d0u98-38.wcnf O = 332620777
T = 1.70
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 332620777
T = 1.70
(out)(err)
O = 332620777
T = 2.02
(out)(err)
O = 332620777
T = 10.09
(out)(err)
mancoosi-test-i2000d0u98-39.wcnf O = 347556415
T = 1.37
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 347556415
T = 1.37
(out)(err)
O = 347556415
T = 2.26
(out)(err)
O = 347556415
T = 1.57
(out)(err)
mancoosi-test-i2000d0u98-40.wcnf O = 182372912
T = 0.99
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 182372912
T = 1.26
(out)(err)
O = 182372912
T = 1.34
(out)(err)
O = 182372912
T = 0.99
(out)(err)
mancoosi-test-i2000d0u98-41.wcnf O = 317594172
T = 1.59
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 317594172
T = 1.59
(out)(err)
O = 317594172
T = 13.52
(out)(err)
O = 317594172
T = 17.29
(out)(err)
mancoosi-test-i2000d0u98-42.wcnf O = 317503223
T = 0.22
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 317503223
T = 91.51
(out)(err)
O = 317503223
T = 0.22
(out)(err)
O = 317503223
T = 8.42
(out)(err)
O = 317503223
T = 12.12
(out)(err)
mancoosi-test-i2000d0u98-43.wcnf O = 242370348
T = 1.84
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 242370348
T = 1.84
(out)(err)
O = 242370348
T = 8.47
(out)(err)
O = 242370348
T = 8.73
(out)(err)
mancoosi-test-i2000d0u98-44.wcnf O = 212353462
T = 1.11
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 212353462
T = 1.27
(out)(err)
O = 212353462
T = 1.64
(out)(err)
O = 212353462
T = 1.11
(out)(err)
mancoosi-test-i2000d0u98-45.wcnf O = 182318477
T = 1.26
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 182318477
T = 1.26
(out)(err)
O = 182318477
T = 16.59
(out)(err)
O = 182318477
T = 19.38
(out)(err)
mancoosi-test-i2000d0u98-46.wcnf O = 362601234
T = 1.43
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 362601234
T = 90.34
(out)(err)
O = 362601234
T = 1.43
(out)(err)
O = 362601234
T = 24.41
(out)(err)
O = 362601234
T = 21.74
(out)(err)
mancoosi-test-i2000d0u98-47.wcnf O = 287486426
T = 0.13
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 287486426
T = 0.13
(out)(err)
O = 287486426
T = 9.06
(out)(err)
O = 287486426
T = 7.24
(out)(err)
mancoosi-test-i2000d0u98-48.wcnf O = 332693445
T = 1.49
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 332693445
T = 1.49
(out)(err)
O = 332693445
T = 2.15
(out)(err)
O = 332693445
T = 8.68
(out)(err)
mancoosi-test-i2000d0u98-49.wcnf O = 212353539
T = 1.08
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 212353539
T = 21.91
(out)(err)
O = 212353539
T = 1.35
(out)(err)
O = 212353539
T = 1.64
(out)(err)
O = 212353539
T = 1.08
(out)(err)
mancoosi-test-i3000d0u98-50.wcnf O = 422725765
T = 1.63
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 422725765
T = 1.63
(out)(err)
O = 422725765
T = 7.17
(out)(err)
O = 422725765
T = 6.67
(out)(err)
mancoosi-test-i3000d0u98-51.wcnf O = 573028153
T = 1.80
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 573028153
T = 1.80
(out)(err)
O = 573028153
T = 2.84
(out)(err)
O = 573028153
T = 2.06
(out)(err)
mancoosi-test-i3000d0u98-52.wcnf O = 618125983
T = 1.64
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 618125983
T = 1.64
(out)(err)
O = 618125983
T = 9.22
(out)(err)
O = 618125983
T = 8.25
(out)(err)
mancoosi-test-i3000d0u98-53.wcnf O = 573137017
T = 1.47
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 573137017
T = 1.47
(out)(err)
O = 573137017
T = 2.67
(out)(err)
O = 573137017
T = 2.28
(out)(err)
mancoosi-test-i3000d0u98-54.wcnf O = 573137062
T = 1.66
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 573137062
T = 1.66
(out)(err)
O = 573137062
T = 2.49
(out)(err)
O = 573137062
T = 10.11
(out)(err)
mancoosi-test-i3000d0u98-55.wcnf O = 528002690
T = 1.36
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 528002690
T = 1.36
(out)(err)
O = 528002690
T = 6.74
(out)(err)
O = 528002690
T = 6.95
(out)(err)
mancoosi-test-i3000d0u98-56.wcnf O = 482868432
T = 1.39
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 482868432
T = 1.39
(out)(err)
O = 482868432
T = 2.36
(out)(err)
O = 482868432
T = 1.78
(out)(err)
mancoosi-test-i3000d0u98-57.wcnf O = 437806858
T = 1.42
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 437806858
T = 232.19
(out)(err)
O = 437806858
T = 1.42
(out)(err)
O = 437806858
T = 2.17
(out)(err)
O = 437806858
T = 1.83
(out)(err)
mancoosi-test-i3000d0u98-58.wcnf O = 527911930
T = 1.52
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 527911930
T = 1.52
(out)(err)
O = 527911930
T = 7.62
(out)(err)
O = 527911930
T = 7.47
(out)(err)
mancoosi-test-i3000d0u98-59.wcnf O = 588054583
T = 1.60
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 588054583
T = 1.60
(out)(err)
O = 588054583
T = 2.78
(out)(err)
O = 588054583
T = 7.08
(out)(err)
mancoosi-test-i3000d0u98-60.wcnf O = 648142779
T = 1.63
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 648142779
T = 1.63
(out)(err)
O = 648142779
T = 10.26
(out)(err)
O = 648142779
T = 11.22
(out)(err)
mancoosi-test-i3000d0u98-61.wcnf O = 558019587
T = 1.41
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 558019587
T = 1.41
(out)(err)
O = 558019587
T = 17.15
(out)(err)
O = 558019587
T = 9.22
(out)(err)
mancoosi-test-i3000d0u98-62.wcnf O = 527930109
T = 1.51
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 527930109
T = 1.51
(out)(err)
O = 527930109
T = 2.38
(out)(err)
O = 527930109
T = 1.94
(out)(err)
mancoosi-test-i3000d0u98-63.wcnf O = 512957980
T = 1.98
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 512957980
T = 2.11
(out)(err)
O = 512957980
T = 2.59
(out)(err)
O = 512957980
T = 1.98
(out)(err)
mancoosi-test-i3000d0u98-64.wcnf O = 572991690
T = 2.14
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 572991690
T = 2.61
(out)(err)
O = 572991690
T = 3.14
(out)(err)
O = 572991690
T = 2.14
(out)(err)
mancoosi-test-i3000d0u98-65.wcnf O = 603062985
T = 2.31
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 603062985
T = 2.31
(out)(err)
O = 603062985
T = 3.05
(out)(err)
O = 603062985
T = 2.47
(out)(err)
mancoosi-test-i3000d0u98-66.wcnf O = 512939800
T = 1.48
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 512939800
T = 1.48
(out)(err)
O = 512939800
T = 8.15
(out)(err)
O = 512939800
T = 7.08
(out)(err)
mancoosi-test-i3000d0u98-67.wcnf O = 542902120
T = 2.29
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 542902120
T = 2.29
(out)(err)
O = 542902120
T = 14.48
(out)(err)
O = 542902120
T = 17.31
(out)(err)
mancoosi-test-i3000d0u98-68.wcnf O = 497931412
T = 1.99
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 497931412
T = 2.37
(out)(err)
O = 497931412
T = 2.36
(out)(err)
O = 497931412
T = 1.99
(out)(err)
mancoosi-test-i3000d0u98-69.wcnf O = 663114835
T = 2.07
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 663114835
T = 2.07
(out)(err)
O = 663114835
T = 22.46
(out)(err)
O = 663114835
T = 20.27
(out)(err)
mancoosi-test-i3000d0u98-70.wcnf O = 512958012
T = 1.94
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 512958012
T = 2.23
(out)(err)
O = 512958012
T = 2.44
(out)(err)
O = 512958012
T = 1.94
(out)(err)
mancoosi-test-i3000d0u98-71.wcnf O = 467969155
T = 2.58
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 467969155
T = 2.58
(out)(err)
O = 467969155
T = 9.84
(out)(err)
O = 467969155
T = 8.16
(out)(err)
mancoosi-test-i3000d0u98-72.wcnf O = 527857381
T = 1.80
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 527857381
T = 1.80
(out)(err)
O = 527857381
T = 6.72
(out)(err)
O = 527857381
T = 5.96
(out)(err)
mancoosi-test-i3000d0u98-73.wcnf O = 527875592
T = 2.29
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 527875592
T = 2.33
(out)(err)
O = 527875592
T = 2.75
(out)(err)
O = 527875592
T = 2.29
(out)(err)
mancoosi-test-i3000d0u98-74.wcnf O = 588109173
T = 1.63
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 588109173
T = 1.63
(out)(err)
O = 588109173
T = 2.57
(out)(err)
O = 588109173
T = 2.17
(out)(err)
mancoosi-test-i4000d0u98-75.wcnf O = 828534617
T = 1.79
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 828534617
T = 1.79
(out)(err)
O = 828534617
T = 3.69
(out)(err)
O = 828534617
T = 2.75
(out)(err)
mancoosi-test-i4000d0u98-76.wcnf O = 738411504
T = 1.89
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 738411504
T = 1.89
(out)(err)
O = 738411504
T = 3.09
(out)(err)
O = 738411504
T = 2.59
(out)(err)
mancoosi-test-i4000d0u98-77.wcnf O = 843651993
T = 1.80
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 843651993
T = 1.80
(out)(err)
O = 843651993
T = 7.85
(out)(err)
O = 843651993
T = 13.29
(out)(err)
mancoosi-test-i4000d0u98-78.wcnf O = 873559793
T = 1.81
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 873559793
T = 1.81
(out)(err)
O = 873559793
T = 9.53
(out)(err)
O = 873559793
T = 10.75
(out)(err)
mancoosi-test-i4000d0u98-79.wcnf O = 753510586
T = 1.72
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 753510586
T = 1.72
(out)(err)
O = 753510586
T = 3.54
(out)(err)
O = 753510586
T = 2.46
(out)(err)
mancoosi-test-i4000d0u98-80.wcnf O = 828516449
T = 1.94
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 828516449
T = 1.94
(out)(err)
O = 828516449
T = 3.72
(out)(err)
O = 828516449
T = 3.01
(out)(err)
mancoosi-test-i4000d0u98-81.wcnf O = 1038888656
T = 1.88
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 1038888656
T = 1.88
(out)(err)
O = 1038888656
T = 18.07
(out)(err)
O = 1038888656
T = 17.00
(out)(err)
mancoosi-test-i4000d0u98-82.wcnf O = 918784858
T = 2.00
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 918784858
T = 2.00
(out)(err)
O = 918784858
T = 4.29
(out)(err)
O = 918784858
T = 3.03
(out)(err)
mancoosi-test-i4000d0u98-83.wcnf O = 843633917
T = 2.17
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 843633917
T = 2.17
(out)(err)
O = 843633917
T = 3.48
(out)(err)
O = 843633917
T = 2.78
(out)(err)
mancoosi-test-i4000d0u98-84.wcnf O = 858696784
T = 1.87
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 858696784
T = 1.87
(out)(err)
O = 858696784
T = 9.30
(out)(err)
O = 858696784
T = 8.62
(out)(err)
mancoosi-test-i4000d0u98-85.wcnf O = 723330351
T = 2.02
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 723330351
T = 2.02
(out)(err)
O = 723330351
T = 3.30
(out)(err)
O = 723330351
T = 2.56
(out)(err)
mancoosi-test-i4000d0u98-86.wcnf O = 918694091
T = 2.07
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 918694091
T = 2.07
(out)(err)
O = 918694091
T = 4.24
(out)(err)
O = 918694091
T = 2.96
(out)(err)
mancoosi-test-i4000d0u98-87.wcnf O = 873596159
T = 2.17
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 873596159
T = 2.17
(out)(err)
O = 873596159
T = 7.28
(out)(err)
O = 873596159
T = 6.42
(out)(err)
mancoosi-test-i4000d0u98-88.wcnf O = 738338700
T = 2.05
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 738338700
T = 2.05
(out)(err)
O = 738338700
T = 7.89
(out)(err)
O = 738338700
T = 7.59
(out)(err)
mancoosi-test-i4000d0u98-89.wcnf O = 738429492
T = 1.94
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 738429492
T = 1.94
(out)(err)
O = 738429492
T = 20.40
(out)(err)
O = 738429492
T = 14.40
(out)(err)
mancoosi-test-i4000d0u98-90.wcnf O = 603172104
T = 2.27
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 603172104
T = 2.27
(out)(err)
O = 603172104
T = 16.40
(out)(err)
O = 603172104
T = 23.88
(out)(err)
mancoosi-test-i4000d0u98-91.wcnf O = 798517708
T = 2.94
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 798517708
T = 2.94
(out)(err)
O = 798517708
T = 9.88
(out)(err)
O = 798517708
T = 15.46
(out)(err)
mancoosi-test-i4000d0u98-92.wcnf O = 723402933
T = 2.14
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 723402933
T = 2.14
(out)(err)
O = 723402933
T = 7.96
(out)(err)
O = 723402933
T = 7.67
(out)(err)
mancoosi-test-i4000d0u98-93.wcnf O = 678268636
T = 2.49
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 678268636
T = 2.98
(out)(err)
O = 678268636
T = 3.17
(out)(err)
O = 678268636
T = 2.49
(out)(err)
mancoosi-test-i4000d0u98-94.wcnf O = 843524790
T = 2.48
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 843524790
T = 2.48
(out)(err)
O = 843524790
T = 10.12
(out)(err)
O = 843524790
T = 8.28
(out)(err)
mancoosi-test-i4000d0u98-95.wcnf O = 843579317
T = 2.01
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 843579317
T = 2.01
(out)(err)
O = 843579317
T = 3.47
(out)(err)
O = 843579317
T = 3.13
(out)(err)
mancoosi-test-i4000d0u98-96.wcnf O = 828461902
T = 2.80
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 828461902
T = 2.80
(out)(err)
O = 828461902
T = 15.63
(out)(err)
O = 828461902
T = 15.13
(out)(err)
mancoosi-test-i4000d0u98-97.wcnf O = 903703891
T = 2.65
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 903703891
T = 2.65
(out)(err)
O = 903703891
T = 3.75
(out)(err)
O = 903703891
T = 3.01
(out)(err)
mancoosi-test-i4000d0u98-98.wcnf O = 828443727
T = 2.48
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 828443727
T = 2.48
(out)(err)
O = 828443727
T = 3.58
(out)(err)
O = 828443727
T = 2.73
(out)(err)
mancoosi-test-i4000d0u98-99.wcnf O = 768391869
T = 2.56
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
O = 768391869
T = 2.97
(out)(err)
O = 768391869
T = 3.40
(out)(err)
O = 768391869
T = 2.56
(out)(err)
1401.wcsp.dir.wcnf O = 463099
T = 230.55
O = 483102
T = 92.78
(out)(err)
O = 463099
T = 230.55
(out)(err)
O = 483103
T = 282.30
(out)(err)
O = N/A
T = TO
(out)(err)
O = 465109
T = 284.66
(out)(err)
O = 495091
T = 0.06
(out)(err)
O = 502100
T = 0.14
(out)(err)
1403.wcsp.dir.wcnf O = 467238
T = 229.13
O = 497244
T = 124.63
(out)(err)
O = 467238
T = 229.13
(out)(err)
O = 481255
T = 207.22
(out)(err)
O = N/A
T = TO
(out)(err)
O = 471271
T = 284.62
(out)(err)
O = 495243
T = 0.04
(out)(err)
O = 500263
T = 0.06
(out)(err)
1405.wcsp.dir.wcnf O = 469418
T = 139.27
O = N/A
T = TO
(out)(err)
O = 469418
T = 139.27
(out)(err)
O = 488447
T = 7.20
(out)(err)
O = N/A
T = TO
(out)(err)
O = 471456
T = 284.58
(out)(err)
O = 495419
T = 0.01
(out)(err)
O = 500439
T = 0.05
(out)(err)
1407.wcsp.dir.wcnf O = 463580
T = 227.78
O = N/A
T = TO
(out)(err)
O = 463580
T = 227.78
(out)(err)
O = 490631
T = 62.98
(out)(err)
O = N/A
T = TO
(out)(err)
O = 468616
T = 284.70
(out)(err)
O = 495582
T = 0.01
(out)(err)
O = N/A
T = TO
(out)(err)
1502.wcsp.dir.wcnf O = 28042
T = 0.00
O = 28042
T = 0.86
(out)(err)
O = 28042
T = 0.23
(out)(err)
O = 28044
T = 0.76
(out)(err)
O = N/A
T = TO
(out)(err)
O = 28042
T = 0.00
(out)(err)
O = 28042
T = 0.30
(out)(err)
O = 28042
T = 0.24
(out)(err)
1504.wcsp.dir.wcnf O = 161287
T = 9.00
O = 166294
T = 8.91
(out)(err)
O = 161288
T = 209.35
(out)(err)
O = 163308
T = 85.59
(out)(err)
O = N/A
T = TO
(out)(err)
O = 161287
T = 9.00
(out)(err)
O = 163305
T = 273.22
(out)(err)
O = 163302
T = 187.39
(out)(err)
1506.wcsp.dir.wcnf O = 360524
T = 135.96
O = N/A
T = TO
(out)(err)
O = 360524
T = 135.96
(out)(err)
O = 378568
T = 223.46
(out)(err)
O = N/A
T = TO
(out)(err)
O = 360560
T = 284.68
(out)(err)
O = 394529
T = 0.01
(out)(err)
O = 409566
T = 0.08
(out)(err)
28.wcsp.dir.wcnf O = 270105
T = 18.75
O = 272105
T = 172.98
(out)(err)
O = 270105
T = 18.75
(out)(err)
O = 272105
T = 222.87
(out)(err)
O = N/A
T = TO
(out)(err)
O = 270105
T = 248.92
(out)(err)
O = 275115
T = 0.15
(out)(err)
O = 275105
T = 0.09
(out)(err)
29.wcsp.dir.wcnf O = 8059
T = 0.02
O = 8059
T = 0.51
(out)(err)
O = 8059
T = 2.36
(out)(err)
O = 8059
T = 0.74
(out)(err)
O = 8059
T = 16.69
(out)(err)
O = 8059
T = 0.02
(out)(err)
O = 8059
T = 0.02
(out)(err)
O = 8059
T = 0.03
(out)(err)
404.wcsp.dir.wcnf O = 114
T = 0.45
O = 114
T = 0.45
(out)(err)
O = 114
T = 11.57
(out)(err)
O = 114
T = 0.50
(out)(err)
O = N/A
T = TO
(out)(err)
O = 114
T = 0.53
(out)(err)
O = 114
T = 0.46
(out)(err)
O = 114
T = 0.92
(out)(err)
408.wcsp.dir.wcnf O = 6228
T = 3.56
O = 6228
T = 3.56
(out)(err)
O = 6228
T = 235.86
(out)(err)
O = 6229
T = 68.61
(out)(err)
O = N/A
T = TO
(out)(err)
O = 6228
T = 5.80
(out)(err)
O = 6228
T = 17.74
(out)(err)
O = 6228
T = 142.08
(out)(err)
412.wcsp.dir.wcnf O = 32381
T = 6.18
O = 32396
T = 157.83
(out)(err)
O = 32385
T = 234.18
(out)(err)
O = 33399
T = 67.58
(out)(err)
O = N/A
T = TO
(out)(err)
O = 32381
T = 6.18
(out)(err)
O = 32383
T = 81.37
(out)(err)
O = 32382
T = 50.72
(out)(err)
414.wcsp.dir.wcnf O = 38478
T = 9.82
O = 41510
T = 154.91
(out)(err)
O = 38484
T = 241.20
(out)(err)
O = 41502
T = 80.12
(out)(err)
O = N/A
T = TO
(out)(err)
O = 38478
T = 9.82
(out)(err)
O = 38478
T = 88.72
(out)(err)
O = 38478
T = 259.54
(out)(err)
42.wcsp.dir.wcnf O = 155050
T = 0.45
O = 155050
T = 19.50
(out)(err)
O = 155050
T = 1.86
(out)(err)
O = 155050
T = 17.93
(out)(err)
O = N/A
T = TO
(out)(err)
O = 155050
T = 0.45
(out)(err)
O = 168058
T = 0.16
(out)(err)
O = 178048
T = 0.06
(out)(err)
5.wcsp.dir.wcnf O = 261
T = 72.36
O = 268
T = 194.84
(out)(err)
O = 262
T = 201.20
(out)(err)
O = 271
T = 59.97
(out)(err)
O = N/A
T = TO
(out)(err)
O = 261
T = 72.36
(out)(err)
O = 262
T = 131.08
(out)(err)
O = 263
T = 229.38
(out)(err)
503.wcsp.dir.wcnf O = 11113
T = 0.02
O = 11113
T = 1.18
(out)(err)
O = 11113
T = 3.21
(out)(err)
O = 11113
T = 4.61
(out)(err)
O = N/A
T = TO
(out)(err)
O = 11113
T = 0.02
(out)(err)
O = 11113
T = 0.59
(out)(err)
O = 11113
T = 0.58
(out)(err)
505.wcsp.dir.wcnf O = 21253
T = 1.49
O = 21263
T = 135.98
(out)(err)
O = 21255
T = 106.12
(out)(err)
O = 21262
T = 245.22
(out)(err)
O = N/A
T = TO
(out)(err)
O = 21253
T = 1.49
(out)(err)
O = 21253
T = 178.60
(out)(err)
O = 21253
T = 12.88
(out)(err)
507.wcsp.dir.wcnf O = 27390
T = 31.02
O = 27420
T = 231.87
(out)(err)
O = 27393
T = 235.08
(out)(err)
O = 27416
T = 2.28
(out)(err)
O = N/A
T = TO
(out)(err)
O = 27390
T = 31.02
(out)(err)
O = 27390
T = 124.26
(out)(err)
O = 27391
T = 87.37
(out)(err)
509.wcsp.dir.wcnf O = 36446
T = 8.53
O = 37479
T = 152.93
(out)(err)
O = 36453
T = 95.23
(out)(err)
O = 37477
T = 16.45
(out)(err)
O = N/A
T = TO
(out)(err)
O = 36446
T = 8.53
(out)(err)
O = 36446
T = 76.49
(out)(err)
O = 36446
T = 101.35
(out)(err)
54.wcsp.dir.wcnf O = 37
T = 0.02
O = 37
T = 0.33
(out)(err)
O = 37
T = 0.35
(out)(err)
O = 38
T = 0.76
(out)(err)
O = 37
T = 2.15
(out)(err)
O = 37
T = 0.02
(out)(err)
O = 37
T = 0.03
(out)(err)
O = 37
T = 0.04
(out)(err)
8.wcsp.dir.wcnf O = 2
T = 0.00
O = 2
T = 0.75
(out)(err)
O = 2
T = 0.01
(out)(err)
O = 2
T = 0.14
(out)(err)
O = 2
T = 0.24
(out)(err)
O = 2
T = 0.00
(out)(err)
O = 2
T = 0.00
(out)(err)
O = 2
T = 0.00
(out)(err)
1401.wcsp.log.wcnf O = 464098
T = 266.09
O = 470097
T = 221.75
(out)(err)
O = 464098
T = 266.09
(out)(err)
O = 476098
T = 280.76
(out)(err)
O = N/A
T = TO
(out)(err)
O = 484111
T = 284.71
(out)(err)
O = N/A
T = TO
(out)(err)
O = N/A
T = TO
(out)(err)
1403.wcsp.log.wcnf O = 461242
T = 265.21
O = 470246
T = 272.25
(out)(err)
O = 461242
T = 265.21
(out)(err)
O = 477246
T = 257.59
(out)(err)
O = N/A
T = TO
(out)(err)
O = 491272
T = 284.66
(out)(err)
O = 515248
T = 0.11
(out)(err)
O = 512267
T = 1.63
(out)(err)
1405.wcsp.log.wcnf O = 465418
T = 263.92
O = 469432
T = 254.23
(out)(err)
O = 465418
T = 263.92
(out)(err)
O = 477436
T = 290.00
(out)(err)
O = N/A
T = TO
(out)(err)
O = 483462
T = 286.04
(out)(err)
O = 518437
T = 0.07
(out)(err)
O = 526452
T = 3.52
(out)(err)
1407.wcsp.log.wcnf O = 465579
T = 251.52
O = 473588
T = 148.03
(out)(err)
O = 465579
T = 251.52
(out)(err)
O = 478591
T = 80.35
(out)(err)
O = N/A
T = TO
(out)(err)
O = 491637
T = 284.63
(out)(err)
O = 508601
T = 0.05
(out)(err)
O = 517619
T = 6.07
(out)(err)
1502.wcsp.log.wcnf O = 28042
T = 0.00
O = 28042
T = 1.59
(out)(err)
O = 28042
T = 0.04
(out)(err)
O = 28042
T = 2.47
(out)(err)
O = N/A
T = TO
(out)(err)
O = 28042
T = 0.00
(out)(err)
O = 28042
T = 0.45
(out)(err)
O = 28042
T = 0.37
(out)(err)
1504.wcsp.log.wcnf O = 161288
T = 85.40
O = 162300
T = 261.08
(out)(err)
O = 161288
T = 85.40
(out)(err)
O = 162300
T = 215.97
(out)(err)
O = N/A
T = TO
(out)(err)
O = 161314
T = 284.73
(out)(err)
O = 163303
T = 226.74
(out)(err)
O = 163313
T = 257.45
(out)(err)
1506.wcsp.log.wcnf O = 356524
T = 261.44
O = 367539
T = 75.62
(out)(err)
O = 356524
T = 261.44
(out)(err)
O = 365542
T = 268.94
(out)(err)
O = N/A
T = TO
(out)(err)
O = 366561
T = 284.72
(out)(err)
O = 405553
T = 0.10
(out)(err)
O = 422551
T = 3.12
(out)(err)
28.wcsp.log.wcnf O = 270105
T = 1.00
O = 270105
T = 1.00
(out)(err)
O = 270105
T = 4.94
(out)(err)
O = 270105
T = 7.77
(out)(err)
O = N/A
T = TO
(out)(err)
O = 273105
T = 284.71
(out)(err)
O = 281115
T = 0.10
(out)(err)
O = 285105
T = 0.16
(out)(err)
29.wcsp.log.wcnf O = 8059
T = 0.04
O = 8059
T = 0.76
(out)(err)
O = 8059
T = 0.09
(out)(err)
O = 8059
T = 15.92
(out)(err)
O = 8059
T = 7.52
(out)(err)
O = 8059
T = 0.04
(out)(err)
O = 8059
T = 0.10
(out)(err)
O = 8059
T = 0.12
(out)(err)
404.wcsp.log.wcnf O = 114
T = 0.09
O = 114
T = 0.32
(out)(err)
O = 114
T = 0.09
(out)(err)
O = 117
T = 0.63
(out)(err)
O = N/A
T = TO
(out)(err)
O = 114
T = 1.48
(out)(err)
O = 114
T = 0.86
(out)(err)
O = 114
T = 1.15
(out)(err)
408.wcsp.log.wcnf O = 6228
T = 4.03
O = 6228
T = 4.03
(out)(err)
O = 6228
T = 5.85
(out)(err)
O = 6233
T = 1.26
(out)(err)
O = N/A
T = TO
(out)(err)
O = 6238
T = 284.72
(out)(err)
O = 6228
T = 190.56
(out)(err)
O = 6228
T = 47.74
(out)(err)
412.wcsp.log.wcnf O = 32381
T = 257.11
O = 32384
T = 149.16
(out)(err)
O = 32381
T = 257.11
(out)(err)
O = 32387
T = 18.93
(out)(err)
O = N/A
T = TO
(out)(err)
O = 32392
T = 284.69
(out)(err)
O = 32382
T = 30.68
(out)(err)
O = 32383
T = 219.61
(out)(err)
414.wcsp.log.wcnf O = 38479
T = 150.83
O = 39489
T = 192.20
(out)(err)
O = 38479
T = 176.02
(out)(err)
O = 38484
T = 292.20
(out)(err)
O = N/A
T = TO
(out)(err)
O = 38490
T = 284.73
(out)(err)
O = 38479
T = 150.83
(out)(err)
O = 38482
T = 50.15
(out)(err)
42.wcsp.log.wcnf O = 155050
T = 0.59
O = 155050
T = 1.07
(out)(err)
O = 155050
T = 0.59
(out)(err)
O = 155050
T = 7.12
(out)(err)
O = N/A
T = TO
(out)(err)
O = 155050
T = 4.24
(out)(err)
O = 171058
T = 0.06
(out)(err)
O = 172048
T = 0.05
(out)(err)
5.wcsp.log.wcnf O = 263
T = 54.03
O = 266
T = 42.98
(out)(err)
O = 263
T = 54.03
(out)(err)
O = 271
T = 1.11
(out)(err)
O = N/A
T = TO
(out)(err)
O = 275
T = 285.82
(out)(err)
O = 268
T = 163.66
(out)(err)
O = 267
T = 100.36
(out)(err)
503.wcsp.log.wcnf O = 11113
T = 0.03
O = 11113
T = 1.62
(out)(err)
O = 11113
T = 0.25
(out)(err)
O = 11115
T = 68.49
(out)(err)
O = N/A
T = TO
(out)(err)
O = 11113
T = 0.03
(out)(err)
O = 11113
T = 1.21
(out)(err)
O = 11113
T = 1.25
(out)(err)
505.wcsp.log.wcnf O = 21253
T = 16.18
O = 21253
T = 32.62
(out)(err)
O = 21253
T = 16.18
(out)(err)
O = 22253
T = 62.28
(out)(err)
O = N/A
T = TO
(out)(err)
O = 21253
T = 251.73
(out)(err)
O = 21253
T = 243.45
(out)(err)
O = 21253
T = 53.91
(out)(err)
507.wcsp.log.wcnf O = 27390
T = 25.95
O = 27396
T = 156.55
(out)(err)
O = 27390
T = 25.95
(out)(err)
O = 27397
T = 112.41
(out)(err)
O = N/A
T = TO
(out)(err)
O = 27405
T = 284.64
(out)(err)
O = 27391
T = 174.99
(out)(err)
O = N/A
T = TO
(out)(err)
509.wcsp.log.wcnf O = 36447
T = 170.64
O = 36459
T = 275.21
(out)(err)
O = 36449
T = 264.22
(out)(err)
O = 36455
T = 262.68
(out)(err)
O = N/A
T = TO
(out)(err)
O = 36461
T = 284.70
(out)(err)
O = 36447
T = 170.64
(out)(err)
O = 36455
T = 32.53
(out)(err)
54.wcsp.log.wcnf O = 37
T = 0.06
O = 37
T = 1.35
(out)(err)
O = 37
T = 0.10
(out)(err)
O = 37
T = 0.20
(out)(err)
O = 37
T = 3.32
(out)(err)
O = 37
T = 0.06
(out)(err)
O = 37
T = 0.08
(out)(err)
O = 37
T = 0.14
(out)(err)
8.wcsp.log.wcnf O = 2
T = 0.00
O = 2
T = 0.65
(out)(err)
O = 2
T = 0.03
(out)(err)
O = 2
T = 0.20
(out)(err)
O = 2
T = 0.22
(out)(err)
O = 2
T = 0.00
(out)(err)
O = 2
T = 0.00
(out)(err)
O = 2
T = 0.00
(out)(err)