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 CCEHC CCLS2015 Dist1 Dist2 DistUP ILP-2015-in WPM3-2015-in optiriss-def-i optiriss-sel-i
mul_8_11.wcnf O = 64
T = 10.19		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 64
T = 10.19
 O = N/A
T = TO
 O = 194
T = 284.33
 O = 194
T = 0.42
 O = 194
T = 0.37
mul_8_13.wcnf O = 60
T = 9.91		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 60
T = 9.91
 O = N/A
T = TO
 O = 162
T = 284.65
 O = 162
T = 0.93
 O = 162
T = 0.37
mul_8_14.wcnf O = 56
T = 7.33		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 107
T = 247.16
 O = 56
T = 7.33
 O = N/A
T = TO
 O = 110
T = 284.16
 O = 110
T = 0.34
 O = 110
T = 0.37
mul_8_3.wcnf O = 36
T = 2.51		 O = N/A
T = TO
 O = N/A
T = TO
 O = 36
T = 88.92
 O = 38
T = 194.69
 O = 36
T = 2.51
 O = N/A
T = TO
 O = 45
T = 284.50
 O = 45
T = 0.23
 O = 45
T = 0.19
mul_8_9.wcnf O = 42
T = 4.90		 O = N/A
T = TO
 O = N/A
T = TO
 O = 42
T = 42.91
 O = 55
T = 93.49
 O = 42
T = 4.90
 O = N/A
T = TO
 O = 83
T = 284.26
 O = 83
T = 1.67
 O = 83
T = 0.36
sbox_4.wcnf O = 22
T = 0.30		 O = 22
T = 3.23
 O = 22
T = 2.16
 O = 22
T = 2.91
 O = 22
T = 1.29
 O = 22
T = 0.43
 O = 22
T = 0.56
 O = 22
T = 0.30
 O = 22
T = 0.51
 O = 22
T = 1.65
sbox_8.wcnf O = 681
T = 284.06		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 681
T = 284.06
 O = 845
T = 3.66
 O = 845
T = 4.82
atcoss_mesat_01.wcnf O = 20
T = 257.63		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 20
T = 257.63
 O = 120
T = 30.08
 O = 300
T = 33.22
atcoss_mesat_02.wcnf O = 110
T = 284.45		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 110
T = 284.45
 O = 120
T = 65.96
 O = 300
T = 67.44
atcoss_mesat_03.wcnf O = 120
T = 59.24		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 130
T = 284.65
 O = 120
T = 59.24
 O = 300
T = 54.82
atcoss_mesat_04.wcnf O = N/A
T = TO		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
atcoss_mesat_05.wcnf O = 120
T = 206.89		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 120
T = 284.66
 O = 120
T = 206.89
 O = 300
T = 183.89
atcoss_mesat_06.wcnf O = 120
T = 268.81		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 120
T = 268.81
 O = 300
T = 237.92
atcoss_mesat_07.wcnf O = 0
T = 74.09		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 0
T = 74.09
 O = 0
T = 89.03
 O = 0
T = 131.18
atcoss_mesat_08.wcnf O = 0
T = 66.27		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 0
T = 67.96
 O = 0
T = 66.27
 O = 0
T = 106.04
atcoss_mesat_09.wcnf O = 0
T = 164.06		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 0
T = 164.06
 O = 0
T = 279.97
 O = 0
T = 267.15
atcoss_mesat_10.wcnf O = 130
T = 55.23		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 130
T = 284.49
 O = 130
T = 55.23
 O = 300
T = 60.39
atcoss_mesat_11.wcnf O = 50
T = 94.12		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 50
T = 94.12
 O = 50
T = 112.92
 O = 50
T = 156.46
atcoss_mesat_12.wcnf O = 12
T = 73.79		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 12
T = 73.79
 O = 12
T = 73.94
 O = 12
T = 104.38
atcoss_mesat_13.wcnf O = N/A
T = TO		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
atcoss_mesat_14.wcnf O = N/A
T = TO		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
atcoss_mesat_15.wcnf O = N/A
T = TO		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
atcoss_mesat_16.wcnf O = 0
T = 101.15		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 0
T = 101.15
 O = 0
T = 117.42
 O = 0
T = 133.84
atcoss_mesat_17.wcnf O = 0
T = 154.73		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 0
T = 154.73
 O = 0
T = 234.80
 O = 0
T = 281.31
atcoss_mesat_18.wcnf O = 130
T = 248.86		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 130
T = 284.38
 O = 130
T = 248.86
 O = 300
T = 174.08
atcoss_sugar_01.wcnf O = 20
T = 58.09		 O = 60
T = 249.24
 O = N/A
T = TO
 O = 70
T = 27.89
 O = 88
T = 1.11
 O = 75
T = 5.82
 O = N/A
T = TO
 O = 20
T = 58.09
 O = 20
T = 116.49
 O = 20
T = 133.70
atcoss_sugar_02.wcnf O = 80
T = 286.74		 O = 80
T = 286.74
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 156
T = 284.51
 O = 144
T = 11.02
 O = 293
T = 10.84
atcoss_sugar_03.wcnf O = 82
T = 118.37		 O = 82
T = 118.37
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 133
T = 284.56
 O = 180
T = 10.58
 O = 262
T = 9.03
atcoss_sugar_04.wcnf O = 140
T = 284.53		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 140
T = 284.53
 O = 196
T = 56.76
 O = 266
T = 60.89
atcoss_sugar_05.wcnf O = 127
T = 284.38		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 127
T = 284.38
 O = 139
T = 33.14
 O = 279
T = 42.99
atcoss_sugar_06.wcnf O = 20
T = 114.42		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 20
T = 114.42
 O = 20
T = 146.30
 O = 20
T = 280.75
atcoss_sugar_07.wcnf O = 0
T = 18.18		 O = 68
T = 241.03
 O = N/A
T = TO
 O = 72
T = 138.79
 O = 120
T = 10.39
 O = 60
T = 58.72
 O = N/A
T = TO
 O = 0
T = 20.14
 O = 0
T = 20.64
 O = 0
T = 18.18
atcoss_sugar_08.wcnf O = 0
T = 17.21		 O = 48
T = 282.21
 O = N/A
T = TO
 O = 62
T = 210.29
 O = 80
T = 251.08
 O = 66
T = 88.49
 O = N/A
T = TO
 O = 0
T = 17.21
 O = 0
T = 20.69
 O = 0
T = 20.51
atcoss_sugar_09.wcnf O = 0
T = 88.65		 O = 54
T = 186.13
 O = N/A
T = TO
 O = 60
T = 281.86
 O = 172
T = 112.35
 O = 62
T = 170.55
 O = N/A
T = TO
 O = 0
T = 88.65
 O = 0
T = 110.61
 O = 0
T = 170.73
atcoss_sugar_10.wcnf O = 80
T = 76.48		 O = 80
T = 76.48
 O = N/A
T = TO
 O = 90
T = 148.41
 O = 147
T = 272.39
 O = 90
T = 154.56
 O = N/A
T = TO
 O = 133
T = 284.52
 O = 145
T = 12.07
 O = 290
T = 9.29
atcoss_sugar_11.wcnf O = 50
T = 13.54		 O = 92
T = 272.85
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 50
T = 15.41
 O = 50
T = 13.54
 O = 50
T = 23.35
atcoss_sugar_12.wcnf O = 12
T = 49.33		 O = 55
T = 274.18
 O = N/A
T = TO
 O = 70
T = 190.19
 O = 80
T = 196.66
 O = 75
T = 117.19
 O = N/A
T = TO
 O = 12
T = 49.33
 O = 12
T = 92.64
 O = 12
T = 104.60
atcoss_sugar_13.wcnf O = 0
T = 86.37		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 0
T = 86.37
 O = 0
T = 106.25
 O = 0
T = 139.33
atcoss_sugar_14.wcnf O = 0
T = 114.64		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 0
T = 114.64
 O = 0
T = 161.86
 O = 0
T = 213.90
atcoss_sugar_15.wcnf O = N/A
T = TO		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
atcoss_sugar_16.wcnf O = 0
T = 20.60		 O = 70
T = 81.40
 O = N/A
T = TO
 O = 70
T = 203.62
 O = 259
T = 222.71
 O = 66
T = 217.70
 O = N/A
T = TO
 O = 0
T = 23.43
 O = 0
T = 20.60
 O = 0
T = 32.74
atcoss_sugar_17.wcnf O = 0
T = 36.24		 O = 80
T = 199.94
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 109
T = 212.54
 O = N/A
T = TO
 O = 0
T = 36.24
 O = 0
T = 59.60
 O = 0
T = 75.12
atcoss_sugar_18.wcnf O = 152
T = 284.53		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 152
T = 284.53
 O = 199
T = 42.49
 O = 238
T = 44.55
atcoss_sugar_19.wcnf O = N/A
T = TO		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
normalized-f20c10b_001_area_delay.wcnf O = 28
T = 2.12		 O = 35
T = 144.52
 O = 31
T = 111.04
 O = 29
T = 49.35
 O = 29
T = 29.65
 O = 29
T = 28.40
 O = 28
T = 18.04
 O = 28
T = 2.12
 O = 28
T = 3.79
 O = 28
T = 21.55
normalized-f20c10b_002_area_delay.wcnf O = 24
T = 0.11		 O = 27
T = 101.23
 O = 25
T = 1.07
 O = 25
T = 37.11
 O = 25
T = 21.59
 O = 25
T = 24.50
 O = 24
T = 1.78
 O = 24
T = 0.15
 O = 24
T = 0.11
 O = 24
T = 0.53
normalized-f20c10b_003_area_delay.wcnf O = 26
T = 0.15		 O = 28
T = 77.00
 O = 26
T = 234.87
 O = 26
T = 43.11
 O = 26
T = 16.12
 O = 26
T = 5.83
 O = 26
T = 5.40
 O = 26
T = 0.23
 O = 26
T = 0.15
 O = 26
T = 1.84
normalized-f20c10b_004_area_delay.wcnf O = 27
T = 0.28		 O = 28
T = 229.29
 O = 27
T = 3.28
 O = 27
T = 62.50
 O = 27
T = 20.73
 O = 27
T = 32.06
 O = 27
T = 2.52
 O = 27
T = 0.29
 O = 27
T = 0.28
 O = 27
T = 4.66
normalized-f20c10b_005_area_delay.wcnf O = 26
T = 0.49		 O = N/A
T = TO
 O = 27
T = 34.71
 O = 27
T = 120.31
 O = 27
T = 43.64
 O = 27
T = 213.02
 O = 26
T = 15.64
 O = 26
T = 0.49
 O = 26
T = 1.83
 O = 26
T = 3.81
normalized-f20c10b_006_area_delay.wcnf O = 22
T = 0.08		 O = 22
T = 15.65
 O = 22
T = 0.77
 O = 22
T = 17.16
 O = 22
T = 7.22
 O = 22
T = 0.56
 O = 22
T = 0.20
 O = 22
T = 0.09
 O = 22
T = 0.08
 O = 22
T = 0.80
normalized-f20c10b_007_area_delay.wcnf O = 26
T = 1.79		 O = 33
T = 222.44
 O = N/A
T = TO
 O = 27
T = 141.09
 O = 27
T = 33.98
 O = 27
T = 196.09
 O = 26
T = 10.26
 O = 26
T = 1.79
 O = 26
T = 2.88
 O = 26
T = 11.71
normalized-f20c10b_008_area_delay.wcnf O = 25
T = 0.42		 O = 25
T = 39.21
 O = 25
T = 216.82
 O = 25
T = 25.41
 O = 25
T = 9.44
 O = 25
T = 6.16
 O = 25
T = 2.13
 O = 25
T = 0.42
 O = 25
T = 0.47
 O = 25
T = 2.91
normalized-f20c10b_009_area_delay.wcnf O = 24
T = 0.03		 O = 25
T = 99.72
 O = 24
T = 102.82
 O = 24
T = 33.45
 O = 24
T = 16.21
 O = 24
T = 5.34
 O = 24
T = 0.80
 O = 24
T = 0.07
 O = 24
T = 0.08
 O = 24
T = 0.03
normalized-f20c10b_010_area_delay.wcnf O = 26
T = 5.80		 O = 33
T = 39.57
 O = 27
T = 93.52
 O = 27
T = 62.06
 O = 27
T = 31.51
 O = 27
T = 8.55
 O = 26
T = 142.31
 O = 26
T = 12.94
 O = 26
T = 5.80
 O = 50
T = 0.55
normalized-f20c10b_011_area_delay.wcnf O = 26
T = 0.28		 O = 32
T = 289.93
 O = 27
T = 170.55
 O = 28
T = 50.32
 O = 27
T = 59.92
 O = 27
T = 262.47
 O = 26
T = 2.56
 O = 26
T = 0.31
 O = 26
T = 0.28
 O = 26
T = 1.61
normalized-f20c10b_012_area_delay.wcnf O = 27
T = 1.63		 O = 37
T = 83.49
 O = 31
T = 275.04
 O = 29
T = 56.84
 O = 27
T = 158.16
 O = 29
T = 12.28
 O = 27
T = 14.06
 O = 27
T = 1.68
 O = 27
T = 1.63
 O = 27
T = 16.60
normalized-f20c10b_013_area_delay.wcnf O = 22
T = 3.31		 O = N/A
T = TO
 O = 22
T = 24.11
 O = 24
T = 185.84
 O = 24
T = 192.19
 O = 25
T = 232.73
 O = 22
T = 12.36
 O = 22
T = 5.11
 O = 22
T = 3.31
 O = 22
T = 27.86
normalized-f20c10b_014_area_delay.wcnf O = 27
T = 1.40		 O = 30
T = 182.91
 O = 27
T = 157.97
 O = 27
T = 20.86
 O = 27
T = 14.48
 O = 27
T = 4.09
 O = 27
T = 7.89
 O = 27
T = 1.40
 O = 27
T = 1.87
 O = 27
T = 36.92
normalized-f20c10b_015_area_delay.wcnf O = 25
T = 0.21		 O = 28
T = 179.20
 O = 25
T = 66.66
 O = 25
T = 29.73
 O = 25
T = 29.66
 O = 25
T = 115.62
 O = 25
T = 1.84
 O = 25
T = 0.46
 O = 25
T = 0.21
 O = 25
T = 2.71
normalized-f20c10b_016_area_delay.wcnf O = 25
T = 0.39		 O = 30
T = 257.10
 O = 25
T = 9.99
 O = 25
T = 36.73
 O = 25
T = 28.58
 O = 25
T = 15.17
 O = 25
T = 1.55
 O = 25
T = 0.39
 O = 25
T = 0.59
 O = 25
T = 8.00
normalized-f20c10b_017_area_delay.wcnf O = 25
T = 1.04		 O = 33
T = 131.15
 O = 26
T = 228.97
 O = 26
T = 44.83
 O = 25
T = 31.59
 O = 26
T = 7.74
 O = 25
T = 5.90
 O = 25
T = 1.40
 O = 25
T = 1.04
 O = 25
T = 20.37
normalized-f20c10b_018_area_delay.wcnf O = 25
T = 0.15		 O = 25
T = 26.92
 O = 25
T = 18.79
 O = 25
T = 88.73
 O = 25
T = 17.67
 O = 25
T = 118.00
 O = 25
T = 1.03
 O = 25
T = 0.15
 O = 25
T = 0.16
 O = 25
T = 0.61
normalized-f20c10b_019_area_delay.wcnf O = 24
T = 0.16		 O = 28
T = 33.72
 O = 24
T = 246.87
 O = 25
T = 39.69
 O = 25
T = 16.74
 O = 25
T = 4.05
 O = 24
T = 8.36
 O = 24
T = 0.28
 O = 24
T = 0.16
 O = 24
T = 2.23
normalized-f20c10b_020_area_delay.wcnf O = 23
T = 0.08		 O = 23
T = 30.28
 O = 23
T = 1.61
 O = 23
T = 17.73
 O = 23
T = 12.53
 O = 23
T = 15.96
 O = 23
T = 0.63
 O = 23
T = 0.12
 O = 23
T = 0.10
 O = 23
T = 0.08
normalized-f20c10b_021_area_delay.wcnf O = 24
T = 0.19		 O = 27
T = 291.76
 O = 24
T = 9.38
 O = 25
T = 33.53
 O = 24
T = 44.63
 O = 24
T = 126.24
 O = 24
T = 2.13
 O = 24
T = 0.20
 O = 24
T = 0.19
 O = 24
T = 0.58
normalized-f20c10b_022_area_delay.wcnf O = 26
T = 0.32		 O = 30
T = 167.74
 O = 26
T = 159.95
 O = 26
T = 143.66
 O = 26
T = 83.63
 O = 27
T = 18.55
 O = 26
T = 2.89
 O = 26
T = 0.41
 O = 26
T = 0.32
 O = 26
T = 6.45
normalized-f20c10b_023_area_delay.wcnf O = 22
T = 2.78		 O = N/A
T = TO
 O = 22
T = 28.53
 O = 23
T = 245.13
 O = 24
T = 48.51
 O = 23
T = 10.74
 O = 22
T = 23.44
 O = 22
T = 3.95
 O = 22
T = 2.78
 O = 22
T = 47.74
normalized-f20c10b_024_area_delay.wcnf O = 24
T = 0.22		 O = 25
T = 16.81
 O = 24
T = 31.32
 O = 24
T = 19.58
 O = 24
T = 10.61
 O = 24
T = 53.68
 O = 24
T = 3.49
 O = 24
T = 0.31
 O = 24
T = 0.22
 O = 24
T = 3.43
normalized-f20c10b_025_area_delay.wcnf O = 25
T = 1.63		 O = N/A
T = TO
 O = 26
T = 54.41
 O = 26
T = 94.38
 O = 26
T = 42.01
 O = 26
T = 170.38
 O = 25
T = 9.22
 O = 25
T = 1.68
 O = 25
T = 1.63
 O = 25
T = 30.39
normalized-fir06_area_delay.wcnf O = 15
T = 0.04		 O = 15
T = 101.64
 O = 15
T = 15.98
 O = 18
T = 25.29
 O = 19
T = 19.73
 O = 18
T = 0.27
 O = 15
T = 1.01
 O = 15
T = 0.06
 O = 15
T = 0.04
 O = 15
T = 0.04
normalized-fir07_area_delay.wcnf O = 16
T = 1.22		 O = 19
T = 35.88
 O = 16
T = 283.62
 O = 17
T = 49.99
 O = 18
T = 54.02
 O = 17
T = 0.42
 O = 16
T = 1.22
 O = 16
T = 2.61
 O = 16
T = 3.09
 O = 16
T = 54.03
normalized-fir08_area_delay.wcnf O = 23
T = 37.59		 O = 70
T = 256.01
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 36
T = 1.13
 O = 23
T = 37.59
 O = 23
T = 58.92
 O = 44
T = 0.35
 O = 46
T = 0.27
normalized-fir08_area_opers.wcnf O = 48
T = 92.62		 O = N/A
T = TO
 O = 49
T = 44.28
 O = N/A
T = TO
 O = N/A
T = TO
 O = 59
T = 49.19
 O = 48
T = 92.62
 O = 53
T = 284.50
 O = 53
T = 0.35
 O = 57
T = 0.30
normalized-fir08_area_partials.wcnf O = 49
T = 1.68		 O = 52
T = 33.32
 O = N/A
T = TO
 O = 121
T = 254.34
 O = 375
T = 17.04
 O = 51
T = 0.46
 O = 49
T = 182.50
 O = 49
T = 3.58
 O = 49
T = 1.68
 O = 49
T = 24.91
normalized-fir09_area_delay.wcnf O = 17
T = 1.35		 O = 19
T = 63.71
 O = 17
T = 181.17
 O = 20
T = 247.91
 O = 20
T = 42.17
 O = 21
T = 91.48
 O = 17
T = 2.38
 O = 17
T = 1.35
 O = 17
T = 6.58
 O = 17
T = 30.16
normalized-fir09_area_opers.wcnf O = 34
T = 4.11		 O = N/A
T = TO
 O = 34
T = 28.23
 O = 37
T = 43.44
 O = 37
T = 88.07
 O = 38
T = 24.31
 O = 34
T = 5.24
 O = 34
T = 4.11
 O = 34
T = 5.52
 O = 34
T = 32.72
simp-ibd_50.01.wcnf O = 53
T = 0.82		 O = 53
T = 9.38
 O = N/A
T = TO
 O = 53
T = 2.74
 O = 53
T = 269.11
 O = 53
T = 210.66
 O = N/A
T = TO
 O = 53
T = 1.11
 O = 53
T = 0.82
 O = 53
T = 0.98
simp-ibd_50.02.wcnf O = 56
T = 2.09		 O = 56
T = 230.74
 O = N/A
T = TO
 O = 56
T = 2.09
 O = 56
T = 234.81
 O = 58
T = 1.43
 O = N/A
T = TO
 O = 56
T = 5.24
 O = 56
T = 20.15
 O = 56
T = 94.44
simp-ibd_50.03.wcnf O = 54
T = 0.20		 O = 54
T = 2.01
 O = N/A
T = TO
 O = 54
T = 5.34
 O = 54
T = 106.54
 O = 54
T = 156.21
 O = N/A
T = TO
 O = 54
T = 0.20
 O = 54
T = 0.23
 O = 54
T = 0.30
simp-ibd_50.04.wcnf O = 55
T = 4.19		 O = 55
T = 35.46
 O = N/A
T = TO
 O = 55
T = 6.72
 O = 55
T = 4.19
 O = 55
T = 168.12
 O = N/A
T = TO
 O = 55
T = 16.40
 O = 55
T = 24.05
 O = 55
T = 71.12
simp-ibd_50.05.wcnf O = 59
T = 0.25		 O = 61
T = 38.89
 O = N/A
T = TO
 O = 59
T = 128.22
 O = 60
T = 40.79
 O = 61
T = 1.68
 O = N/A
T = TO
 O = 59
T = 0.47
 O = 59
T = 0.25
 O = 59
T = 0.64
simp-ibd_50.06.wcnf O = 55
T = 0.94		 O = 55
T = 0.94
 O = N/A
T = TO
 O = 55
T = 1.16
 O = 55
T = 60.95
 O = 55
T = 108.40
 O = N/A
T = TO
 O = 55
T = 52.38
 O = 55
T = 82.72
 O = 55
T = 233.42
simp-ibd_50.07.wcnf O = 57
T = 0.79		 O = 57
T = 0.79
 O = N/A
T = TO
 O = 57
T = 3.60
 O = 58
T = 6.81
 O = 58
T = 74.98
 O = N/A
T = TO
 O = 57
T = 2.92
 O = 57
T = 15.86
 O = 57
T = 49.33
simp-ibd_50.08.wcnf O = 57
T = 49.58		 O = 58
T = 34.69
 O = N/A
T = TO
 O = 57
T = 49.58
 O = 59
T = 52.88
 O = 60
T = 12.03
 O = N/A
T = TO
 O = 59
T = 284.43
 O = 68
T = 0.04
 O = 68
T = 0.11
simp-ibd_50.09.wcnf O = 57
T = 0.19		 O = 57
T = 0.87
 O = N/A
T = TO
 O = 57
T = 1.15
 O = 57
T = 1.13
 O = 57
T = 231.41
 O = N/A
T = TO
 O = 57
T = 0.19
 O = 57
T = 0.45
 O = 57
T = 0.61
simp-test_chr21_YRI_75.wcnf O = 44
T = 1.24		 O = 44
T = 2.64
 O = N/A
T = TO
 O = 44
T = 1.69
 O = 44
T = 1.24
 O = 44
T = 1.58
 O = N/A
T = TO
 O = 44
T = 7.91
 O = 44
T = 11.08
 O = 44
T = 39.00
SU1__simp-genos.haps.1.wcnf O = 73
T = 0.07		 O = 81
T = 94.86
 O = N/A
T = TO
 O = 73
T = 9.52
 O = 73
T = 3.22
 O = 73
T = 7.74
 O = N/A
T = TO
 O = 73
T = 0.20
 O = 73
T = 0.07
 O = 73
T = 0.16
SU1__simp-genos.haps.10.wcnf O = 90
T = 7.48		 O = 92
T = 40.92
 O = N/A
T = TO
 O = 91
T = 127.20
 O = 91
T = 43.20
 O = 90
T = 85.04
 O = N/A
T = TO
 O = 90
T = 7.48
 O = 90
T = 12.71
 O = 124
T = 0.07
SU1__simp-genos.haps.18.wcnf O = 74
T = 0.14		 O = 83
T = 20.14
 O = N/A
T = TO
 O = 74
T = 7.84
 O = 74
T = 10.52
 O = 74
T = 7.58
 O = N/A
T = TO
 O = 74
T = 0.31
 O = 74
T = 0.14
 O = 74
T = 0.30
SU1__simp-genos.haps.19.wcnf O = 79
T = 0.52		 O = 81
T = 7.94
 O = N/A
T = TO
 O = 79
T = 8.68
 O = 79
T = 17.47
 O = 79
T = 21.95
 O = N/A
T = TO
 O = 79
T = 1.06
 O = 79
T = 0.52
 O = 79
T = 2.86
SU1__simp-genos.haps.26.wcnf O = 81
T = 3.92		 O = 87
T = 7.12
 O = N/A
T = TO
 O = 81
T = 271.64
 O = 82
T = 2.56
 O = 81
T = 10.93
 O = N/A
T = TO
 O = 81
T = 7.09
 O = 81
T = 3.92
 O = 81
T = 26.48
SU1__simp-genos.haps.27.wcnf O = 92
T = 0.63		 O = 96
T = 21.12
 O = N/A
T = TO
 O = 92
T = 127.91
 O = 92
T = 24.35
 O = 92
T = 117.27
 O = N/A
T = TO
 O = 92
T = 1.06
 O = 92
T = 0.80
 O = 92
T = 0.63
SU1__simp-genos.haps.29.wcnf O = 68
T = 0.89		 O = 68
T = 199.98
 O = N/A
T = TO
 O = 68
T = 6.69
 O = 68
T = 6.78
 O = 68
T = 6.65
 O = N/A
T = TO
 O = 68
T = 0.89
 O = 68
T = 1.82
 O = 68
T = 3.03
SU1__simp-genos.haps.30.wcnf O = 69
T = 0.85		 O = 81
T = 189.90
 O = N/A
T = TO
 O = 70
T = 17.91
 O = 69
T = 26.30
 O = 69
T = 238.84
 O = N/A
T = TO
 O = 69
T = 1.71
 O = 69
T = 0.85
 O = 69
T = 17.65
SU1__simp-genos.haps.32.wcnf O = 71
T = 1.74		 O = 83
T = 159.09
 O = N/A
T = TO
 O = 71
T = 11.46
 O = 71
T = 3.22
 O = 71
T = 11.79
 O = N/A
T = TO
 O = 71
T = 1.74
 O = 71
T = 5.88
 O = 71
T = 13.20
SU1__simp-genos.haps.34.wcnf O = 69
T = 0.28		 O = 81
T = 6.35
 O = N/A
T = TO
 O = 69
T = 209.85
 O = 69
T = 13.15
 O = 69
T = 46.32
 O = N/A
T = TO
 O = 69
T = 0.34
 O = 69
T = 0.28
 O = 69
T = 0.36
SU1__simp-genos.haps.37.wcnf O = 77
T = 0.11		 O = 77
T = 182.56
 O = N/A
T = TO
 O = 77
T = 9.82
 O = 77
T = 19.15
 O = 77
T = 16.39
 O = N/A
T = TO
 O = 77
T = 0.18
 O = 77
T = 0.11
 O = 77
T = 0.39
SU1__simp-genos.haps.38.wcnf O = 89
T = 0.56		 O = 91
T = 100.27
 O = N/A
T = TO
 O = 89
T = 30.77
 O = 89
T = 16.67
 O = 89
T = 5.61
 O = N/A
T = TO
 O = 89
T = 0.88
 O = 89
T = 0.56
 O = 89
T = 5.98
SU1__simp-genos.haps.50.wcnf O = 59
T = 0.13		 O = 59
T = 112.33
 O = N/A
T = TO
 O = 59
T = 11.43
 O = 59
T = 33.05
 O = 59
T = 4.21
 O = N/A
T = TO
 O = 59
T = 0.35
 O = 59
T = 0.13
 O = 59
T = 0.16
SU1__simp-genos.haps.54.wcnf O = 72
T = 0.22		 O = 76
T = 144.18
 O = N/A
T = TO
 O = 72
T = 92.81
 O = 73
T = 2.92
 O = 72
T = 84.54
 O = N/A
T = TO
 O = 72
T = 0.32
 O = 72
T = 0.34
 O = 72
T = 0.22
SU1__simp-genos.haps.58.wcnf O = 85
T = 0.46		 O = 88
T = 188.84
 O = N/A
T = TO
 O = 85
T = 17.75
 O = 85
T = 55.80
 O = 85
T = 5.09
 O = N/A
T = TO
 O = 85
T = 0.74
 O = 85
T = 0.46
 O = 85
T = 3.84
SU1__simp-genos.haps.62.wcnf O = 67
T = 0.83		 O = 83
T = 160.65
 O = N/A
T = TO
 O = 67
T = 68.43
 O = 67
T = 12.05
 O = 67
T = 122.86
 O = N/A
T = TO
 O = 67
T = 4.00
 O = 67
T = 0.83
 O = 67
T = 2.53
SU1__simp-genos.haps.69.wcnf O = 76
T = 0.73		 O = 78
T = 14.35
 O = N/A
T = TO
 O = 76
T = 210.35
 O = 77
T = 15.67
 O = 77
T = 3.16
 O = N/A
T = TO
 O = 76
T = 0.85
 O = 76
T = 0.73
 O = 76
T = 6.17
SU1__simp-genos.haps.7.wcnf O = 73
T = 36.50		 O = 78
T = 20.71
 O = N/A
T = TO
 O = 73
T = 243.24
 O = 73
T = 36.50
 O = 74
T = 15.07
 O = N/A
T = TO
 O = 84
T = 284.39
 O = 117
T = 0.08
 O = 113
T = 0.14
SU1__simp-genos.haps.70.wcnf O = 58
T = 0.11		 O = 59
T = 2.22
 O = N/A
T = TO
 O = 58
T = 10.30
 O = 58
T = 17.36
 O = 58
T = 20.65
 O = N/A
T = TO
 O = 58
T = 0.27
 O = 58
T = 0.11
 O = 58
T = 0.17
SU1__simp-genos.haps.8.wcnf O = 63
T = 0.10		 O = 64
T = 20.95
 O = N/A
T = TO
 O = 63
T = 4.34
 O = 63
T = 5.19
 O = 63
T = 3.83
 O = N/A
T = TO
 O = 63
T = 0.14
 O = 63
T = 0.10
 O = 63
T = 0.12
SU1__simp-genos.haps.85.wcnf O = 65
T = 0.13		 O = 68
T = 14.44
 O = N/A
T = TO
 O = 65
T = 6.41
 O = 65
T = 20.90
 O = 65
T = 13.89
 O = N/A
T = TO
 O = 65
T = 0.28
 O = 65
T = 0.13
 O = 65
T = 0.25
SU1__simp-genos.haps.86.wcnf O = 56
T = 0.30		 O = 57
T = 31.67
 O = N/A
T = TO
 O = 56
T = 5.17
 O = 56
T = 4.22
 O = 56
T = 4.39
 O = N/A
T = TO
 O = 56
T = 0.39
 O = 56
T = 0.30
 O = 56
T = 0.40
SU3__simp-genos.haps.21.wcnf O = 113
T = 42.24		 O = 115
T = 142.11
 O = N/A
T = TO
 O = 113
T = 42.24
 O = 113
T = 81.12
 O = 113
T = 49.43
 O = N/A
T = TO
 O = 115
T = 284.17
 O = 144
T = 0.11
 O = 140
T = 0.10
SU3__simp-genos.haps.23.wcnf O = 110
T = 0.40		 O = 114
T = 125.88
 O = N/A
T = TO
 O = 111
T = 10.20
 O = 111
T = 50.64
 O = 111
T = 10.68
 O = N/A
T = TO
 O = 110
T = 0.40
 O = 110
T = 0.58
 O = 110
T = 3.90
SU3__simp-genos.haps.27.wcnf O = 99
T = 1.87		 O = 104
T = 55.40
 O = N/A
T = TO
 O = 99
T = 38.39
 O = 99
T = 15.81
 O = 99
T = 8.79
 O = N/A
T = TO
 O = 99
T = 2.43
 O = 99
T = 1.87
 O = 99
T = 27.23
SU3__simp-genos.haps.33.wcnf O = 113
T = 2.47		 O = 117
T = 44.32
 O = N/A
T = TO
 O = 114
T = 25.02
 O = 113
T = 58.68
 O = 113
T = 110.89
 O = N/A
T = TO
 O = 113
T = 4.89
 O = 113
T = 2.47
 O = 113
T = 6.17
SU3__simp-genos.haps.38.wcnf O = 100
T = 13.13		 O = 107
T = 52.06
 O = N/A
T = TO
 O = 103
T = 61.30
 O = 102
T = 18.15
 O = 102
T = 6.05
 O = N/A
T = TO
 O = 100
T = 13.13
 O = 100
T = 22.78
 O = 125
T = 0.07
SU3__simp-genos.haps.53.wcnf O = 111
T = 41.58		 O = 113
T = 31.04
 O = N/A
T = TO
 O = 112
T = 73.38
 O = 111
T = 41.58
 O = 111
T = 226.42
 O = N/A
T = TO
 O = 118
T = 284.08
 O = 133
T = 0.12
 O = 140
T = 0.06
SU3__simp-genos.haps.58.wcnf O = 101
T = 5.62		 O = 103
T = 31.06
 O = N/A
T = TO
 O = 101
T = 19.56
 O = 101
T = 156.09
 O = 101
T = 93.29
 O = N/A
T = TO
 O = 101
T = 5.62
 O = 101
T = 6.08
 O = 101
T = 34.72
SU3__simp-genos.haps.60.wcnf O = 103
T = 2.77		 O = 106
T = 71.67
 O = N/A
T = TO
 O = 104
T = 22.26
 O = 103
T = 79.14
 O = 104
T = 221.71
 O = N/A
T = TO
 O = 103
T = 5.50
 O = 103
T = 2.77
 O = 103
T = 19.87
SU3__simp-genos.haps.63.wcnf O = 91
T = 76.96		 O = 94
T = 2.85
 O = N/A
T = TO
 O = 91
T = 173.31
 O = 91
T = 76.96
 O = 91
T = 97.85
 O = N/A
T = TO
 O = 105
T = 284.28
 O = 120
T = 0.11
 O = 110
T = 0.16
SU3__simp-genos.haps.64.wcnf O = 99
T = 14.26		 O = 102
T = 38.54
 O = N/A
T = TO
 O = 100
T = 20.38
 O = 99
T = 14.26
 O = 100
T = 10.21
 O = N/A
T = TO
 O = 99
T = 15.78
 O = 99
T = 18.19
 O = 99
T = 148.78
SU3__simp-genos.haps.72.wcnf O = 92
T = 11.46		 O = 97
T = 99.55
 O = N/A
T = TO
 O = 93
T = 234.34
 O = 94
T = 5.99
 O = 93
T = 270.76
 O = N/A
T = TO
 O = 92
T = 11.46
 O = 92
T = 81.73
 O = 126
T = 0.08
SU3__simp-genos.haps.74.wcnf O = 102
T = 0.20		 O = 103
T = 19.57
 O = N/A
T = TO
 O = 102
T = 85.45
 O = 102
T = 14.57
 O = 102
T = 129.64
 O = N/A
T = TO
 O = 102
T = 0.33
 O = 102
T = 0.20
 O = 102
T = 0.30
SU3__simp-genos.haps.80.wcnf O = 103
T = 203.08		 O = 105
T = 164.35
 O = N/A
T = TO
 O = 104
T = 84.89
 O = 103
T = 203.08
 O = 104
T = 188.44
 O = N/A
T = TO
 O = 112
T = 284.22
 O = 140
T = 0.10
 O = 127
T = 0.15
SU3__simp-genos.haps.86.wcnf O = 102
T = 1.28		 O = 105
T = 1.84
 O = N/A
T = TO
 O = 102
T = 3.32
 O = 102
T = 20.04
 O = 102
T = 9.13
 O = N/A
T = TO
 O = 102
T = 2.08
 O = 102
T = 1.28
 O = 102
T = 10.76
SU3__simp-genos.haps.88.wcnf O = 108
T = 173.74		 O = 112
T = 167.66
 O = N/A
T = TO
 O = 108
T = 173.74
 O = 108
T = 191.17
 O = 109
T = 30.41
 O = N/A
T = TO
 O = 122
T = 284.55
 O = 137
T = 0.08
 O = 136
T = 0.13
SU3__simp-genos.haps.9.wcnf O = 106
T = 77.93		 O = 109
T = 111.90
 O = N/A
T = TO
 O = 106
T = 204.74
 O = 106
T = 77.93
 O = 106
T = 142.82
 O = N/A
T = TO
 O = 107
T = 284.24
 O = 134
T = 0.09
 O = 125
T = 0.12
normalized-f1000.wcnf O = N/A
T = TO		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
normalized-f2000.wcnf O = N/A
T = TO		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
normalized-f600.wcnf O = 554
T = 5.76		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 554
T = 5.76
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
normalized-g125.17.wcnf O = N/A
T = TO		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
normalized-g125.18.wcnf O = 2241
T = 2.63		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 2241
T = 2.63
 O = 2243
T = 1.79
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
normalized-g250.15.wcnf O = 3750
T = 0.27		 O = 3750
T = 28.64
 O = N/A
T = TO
 O = 3750
T = 0.27
 O = 3750
T = 0.28
 O = 3750
T = 0.35
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
normalized-g250.29.wcnf O = N/A
T = TO		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
normalized-hanoi5.wcnf O = 1931
T = 0.52		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1931
T = 0.81
 O = 1931
T = 0.74
 O = 1931
T = 0.52
normalized-ii16a1.wcnf O = 1129
T = 138.99		 O = 1295
T = 225.52
 O = N/A
T = TO
 O = 1221
T = 190.80
 O = 1166
T = 2.15
 O = 1129
T = 138.99
 O = N/A
T = TO
 O = 1404
T = 254.52
 O = 1610
T = 0.04
 O = 1485
T = 0.03
normalized-ii16a2.wcnf O = 1164
T = 1.44		 O = 1164
T = 1.44
 O = N/A
T = TO
 O = 1164
T = 12.62
 O = 1164
T = 4.61
 O = 1164
T = 12.96
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1592
T = 0.06
 O = 1588
T = 0.05
normalized-ii16b1.wcnf O = 1379
T = 1.45		 O = 1382
T = 5.09
 O = N/A
T = TO
 O = 1379
T = 12.08
 O = 1379
T = 203.69
 O = 1379
T = 1.45
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1725
T = 0.05
 O = 1727
T = 0.05
normalized-ii16c1.wcnf O = 1288
T = 0.06		 O = 1325
T = 9.97
 O = N/A
T = TO
 O = 1313
T = 51.62
 O = 1288
T = 0.06
 O = 1311
T = 249.29
 O = N/A
T = TO
 O = 1430
T = 254.12
 O = 1520
T = 0.03
 O = 1478
T = 0.03
normalized-ii16c2.wcnf O = 861
T = 0.10		 O = 861
T = 46.73
 O = N/A
T = TO
 O = 861
T = 0.10
 O = 861
T = 0.14
 O = 861
T = 0.21
 O = 861
T = 136.61
 O = 861
T = 11.04
 O = 861
T = 224.63
 O = 924
T = 0.04
normalized-ii16d1.wcnf O = 890
T = 200.49		 O = 1015
T = 4.48
 O = N/A
T = TO
 O = 915
T = 136.95
 O = 932
T = 284.01
 O = 890
T = 200.49
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1230
T = 0.05
 O = 1230
T = 0.04
normalized-ii16d2.wcnf O = 785
T = 0.17		 O = 785
T = 74.07
 O = N/A
T = TO
 O = 785
T = 0.31
 O = 785
T = 0.17
 O = 785
T = 0.35
 O = 785
T = 61.73
 O = 785
T = 12.39
 O = 785
T = 164.47
 O = 831
T = 0.05
normalized-ii16e1.wcnf O = 1087
T = 140.35		 O = N/A
T = TO
 O = N/A
T = TO
 O = 1091
T = 111.53
 O = 1097
T = 255.66
 O = 1087
T = 140.35
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1244
T = 0.06
 O = 1244
T = 0.04
normalized-ii32b1.wcnf O = 191
T = 0.35		 O = 191
T = 6.46
 O = N/A
T = TO
 O = 191
T = 0.37
 O = 191
T = 0.46
 O = 191
T = 0.35
 O = 191
T = 11.39
 O = 191
T = 7.15
 O = 191
T = 47.86
 O = 226
T = 0.01
normalized-ii32c1.wcnf O = 167
T = 0.09		 O = 167
T = 1.91
 O = N/A
T = TO
 O = 167
T = 0.44
 O = 167
T = 0.15
 O = 167
T = 0.09
 O = 167
T = 6.30
 O = 167
T = 1.51
 O = 167
T = 8.20
 O = 218
T = 0.01
normalized-ii32c2.wcnf O = 207
T = 0.53		 O = 207
T = 3.43
 O = N/A
T = TO
 O = 207
T = 1.45
 O = 207
T = 0.53
 O = 207
T = 0.88
 O = 207
T = 18.33
 O = 207
T = 12.71
 O = 207
T = 171.62
 O = 246
T = 0.01
normalized-ii32c3.wcnf O = 261
T = 2.59		 O = 261
T = 101.90
 O = N/A
T = TO
 O = 261
T = 40.54
 O = 261
T = 2.59
 O = 261
T = 3.87
 O = 261
T = 24.23
 O = 261
T = 9.69
 O = 261
T = 84.51
 O = 275
T = 0.05
normalized-ii32c4.wcnf O = 736
T = 0.59		 O = 736
T = 0.99
 O = N/A
T = TO
 O = 736
T = 0.59
 O = 736
T = 2.31
 O = 736
T = 1.22
 O = 736
T = 65.83
 O = 736
T = 2.55
 O = 736
T = 40.05
 O = 759
T = 0.05
normalized-ii32d1.wcnf O = 285
T = 1.26		 O = 286
T = 7.80
 O = N/A
T = TO
 O = 285
T = 1.69
 O = 285
T = 1.26
 O = 285
T = 2.45
 O = N/A
T = TO
 O = 285
T = 284.53
 O = N/A
T = TO
 O = 328
T = 0.03
normalized-ii32d2.wcnf O = 372
T = 0.41		 O = N/A
T = TO
 O = N/A
T = TO
 O = 372
T = 1.01
 O = 372
T = 10.33
 O = 372
T = 0.41
 O = N/A
T = TO
 O = N/A
T = TO
 O = 404
T = 0.07
 O = N/A
T = TO
normalized-ii32d3.wcnf O = 802
T = 1.54		 O = N/A
T = TO
 O = N/A
T = TO
 O = 802
T = 1.54
 O = 802
T = 39.71
 O = 802
T = 206.12
 O = N/A
T = TO
 O = 802
T = 12.08
 O = 824
T = 1.17
 O = 824
T = 0.47
normalized-ii32e5.wcnf O = 503
T = 0.17		 O = 504
T = 0.67
 O = N/A
T = TO
 O = 503
T = 0.17
 O = 503
T = 0.36
 O = 503
T = 0.27
 O = 503
T = 45.37
 O = 503
T = 9.32
 O = 503
T = 185.88
 O = N/A
T = TO
normalized-ii8a2.wcnf O = 139
T = 0.29		 O = 139
T = 1.73
 O = N/A
T = TO
 O = 139
T = 0.48
 O = 139
T = 0.58
 O = 139
T = 0.29
 O = 139
T = 2.52
 O = 139
T = 9.38
 O = 155
T = 0.51
 O = 155
T = 1.30
normalized-ii8a3.wcnf O = 191
T = 0.06		 O = 191
T = 1.41
 O = N/A
T = TO
 O = 191
T = 0.06
 O = 191
T = 0.24
 O = 191
T = 0.91
 O = 191
T = 8.46
 O = 191
T = 12.50
 O = 229
T = 0.50
 O = 219
T = 0.05
normalized-ii8a4.wcnf O = 283
T = 0.71		 O = 283
T = 1.79
 O = N/A
T = TO
 O = 283
T = 4.14
 O = 283
T = 0.71
 O = 283
T = 2.57
 O = 283
T = 7.44
 O = N/A
T = TO
 O = 367
T = 0.11
 O = 371
T = 0.03
normalized-ii8b2.wcnf O = 379
T = 0.33		 O = 379
T = 3.26
 O = N/A
T = TO
 O = 379
T = 0.33
 O = 379
T = 1.19
 O = 379
T = 1.45
 O = 379
T = 31.94
 O = 379
T = 254.42
 O = N/A
T = TO
 O = 431
T = 0.03
normalized-ii8b3.wcnf O = 507
T = 0.29		 O = 507
T = 6.66
 O = N/A
T = TO
 O = 507
T = 4.41
 O = 507
T = 0.29
 O = 507
T = 0.34
 O = 507
T = 98.63
 O = N/A
T = TO
 O = 594
T = 0.08
 O = 594
T = 0.02
normalized-ii8b4.wcnf O = 654
T = 0.45		 O = 654
T = 4.97
 O = N/A
T = TO
 O = 654
T = 1.09
 O = 654
T = 0.45
 O = 654
T = 0.84
 O = 654
T = 56.73
 O = N/A
T = TO
 O = 926
T = 0.05
 O = 925
T = 0.04
normalized-ii8c2.wcnf O = 525
T = 0.20		 O = 525
T = 10.89
 O = N/A
T = TO
 O = 525
T = 2.09
 O = 525
T = 0.20
 O = 525
T = 1.32
 O = 525
T = 24.43
 O = N/A
T = TO
 O = 890
T = 0.04
 O = 902
T = 0.03
normalized-ii8d1.wcnf O = 343
T = 0.23		 O = 343
T = 28.59
 O = N/A
T = TO
 O = 343
T = 0.23
 O = 343
T = 0.33
 O = 343
T = 1.46
 O = 343
T = 175.05
 O = 343
T = 284.15
 O = N/A
T = TO
 O = 391
T = 0.02
normalized-ii8d2.wcnf O = 540
T = 0.29		 O = 540
T = 8.29
 O = N/A
T = TO
 O = 540
T = 0.70
 O = 540
T = 1.16
 O = 540
T = 0.29
 O = 540
T = 41.23
 O = N/A
T = TO
 O = 674
T = 0.05
 O = 628
T = 0.03
normalized-ii8e1.wcnf O = 343
T = 0.08		 O = 343
T = 11.35
 O = N/A
T = TO
 O = 343
T = 0.34
 O = 343
T = 0.08
 O = 343
T = 0.64
 O = 343
T = 32.93
 O = 343
T = 254.50
 O = N/A
T = TO
 O = 421
T = 0.03
normalized-ii8e2.wcnf O = 494
T = 0.81		 O = 494
T = 6.08
 O = N/A
T = TO
 O = 494
T = 0.81
 O = 494
T = 4.10
 O = 494
T = 1.26
 O = 494
T = 36.36
 O = N/A
T = TO
 O = 775
T = 0.04
 O = 785
T = 0.03
normalized-par32-1-c.wcnf O = N/A
T = TO		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
normalized-par32-1.wcnf O = N/A
T = TO		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
normalized-par32-2-c.wcnf O = N/A
T = TO		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
normalized-par32-2.wcnf O = N/A
T = TO		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
c1355_F1001gat-1048gat@1.wcnf O = 21
T = 0.02		 O = 21
T = 0.65
 O = N/A
T = TO
 O = 22
T = 0.59
 O = 21
T = 224.05
 O = 21
T = 0.42
 O = 21
T = 3.70
 O = 21
T = 0.03
 O = 21
T = 0.02
 O = 21
T = 0.31
c1355_F1001gat@1.wcnf O = 21
T = 0.06		 O = 21
T = 1.11
 O = N/A
T = TO
 O = 21
T = 56.90
 O = 21
T = 39.39
 O = 21
T = 1.56
 O = 21
T = 168.79
 O = 21
T = 0.06
 O = 21
T = 0.32
 O = 21
T = 27.22
c1355_F1036gat-1229gat@1.wcnf O = 13
T = 0.04		 O = 13
T = 7.11
 O = N/A
T = TO
 O = 13
T = 0.49
 O = 13
T = 0.91
 O = 13
T = 0.85
 O = 13
T = 33.58
 O = 13
T = 0.04
 O = 13
T = 0.06
 O = 13
T = 1.36
c1355_F106gat-409gat@1.wcnf O = 33
T = 0.02		 O = 33
T = 1.75
 O = N/A
T = TO
 O = 33
T = 0.28
 O = 33
T = 0.06
 O = 33
T = 0.09
 O = 33
T = 10.98
 O = 33
T = 0.03
 O = 33
T = 0.02
 O = 33
T = 0.07
c1355_F106gat@0.wcnf O = 14
T = 0.13		 O = 14
T = 1.16
 O = N/A
T = TO
 O = 14
T = 34.65
 O = 22
T = 3.06
 O = 14
T = 0.15
 O = N/A
T = TO
 O = 14
T = 0.13
 O = 14
T = 0.18
 O = 14
T = 0.25
c1355_F113gat-1260gat@1.wcnf O = 13
T = 0.05		 O = 13
T = 4.74
 O = N/A
T = TO
 O = 13
T = 0.92
 O = 13
T = 0.70
 O = 13
T = 0.70
 O = 13
T = 12.23
 O = 13
T = 0.05
 O = 13
T = 0.07
 O = 13
T = 2.50
c1355_F1150gat@0.wcnf O = 13
T = 0.05		 O = 13
T = 8.77
 O = N/A
T = TO
 O = 13
T = 1.10
 O = 13
T = 0.83
 O = 13
T = 0.81
 O = 13
T = 5.73
 O = 13
T = 0.05
 O = 13
T = 0.06
 O = 13
T = 1.54
c1355_F1183gat-1262gat@1.wcnf O = 33
T = 0.00		 O = 33
T = 0.84
 O = N/A
T = TO
 O = 33
T = 0.59
 O = 33
T = 0.35
 O = 33
T = 0.10
 O = 33
T = 0.18
 O = 33
T = 0.00
 O = 33
T = 0.00
 O = 33
T = 0.00
c1355_F120gat-414gat@1.wcnf O = 33
T = 0.03		 O = 33
T = 1.34
 O = N/A
T = TO
 O = 33
T = 0.16
 O = 33
T = 0.12
 O = 33
T = 0.11
 O = 33
T = 9.54
 O = 33
T = 0.03
 O = 33
T = 0.03
 O = 33
T = 0.28
c1355_F1229gat@1.wcnf O = 33
T = 0.00		 O = 33
T = 0.55
 O = N/A
T = TO
 O = 33
T = 0.25
 O = 33
T = 0.41
 O = 33
T = 0.12
 O = 33
T = 0.09
 O = 33
T = 0.00
 O = 33
T = 0.01
 O = 33
T = 0.00
c1355_F127gat-418gat@1.wcnf O = 33
T = 0.03		 O = 33
T = 1.01
 O = N/A
T = TO
 O = 33
T = 0.12
 O = 33
T = 0.12
 O = 33
T = 0.11
 O = 33
T = 11.41
 O = 33
T = 0.04
 O = 33
T = 0.03
 O = 33
T = 0.05
c1355_F141gat@0.wcnf O = 14
T = 0.08		 O = 14
T = 7.33
 O = N/A
T = TO
 O = 14
T = 1.09
 O = 27
T = 0.27
 O = 14
T = 0.10
 O = N/A
T = TO
 O = 14
T = 0.10
 O = 14
T = 0.08
 O = 14
T = 0.47
c1355_F155gat@1.wcnf O = 14
T = 0.11		 O = 14
T = 1.31
 O = N/A
T = TO
 O = 14
T = 9.48
 O = 24
T = 0.68
 O = 14
T = 0.11
 O = N/A
T = TO
 O = 14
T = 0.17
 O = 14
T = 0.13
 O = 14
T = 0.47
c1355_F176gat-1278gat@1.wcnf O = 13
T = 0.04		 O = 13
T = 4.65
 O = N/A
T = TO
 O = 13
T = 0.73
 O = 13
T = 0.50
 O = 13
T = 0.73
 O = 13
T = 4.33
 O = 13
T = 0.04
 O = 13
T = 0.09
 O = 13
T = 2.94
c1355_F183gat@0.wcnf O = 14
T = 0.08		 O = 14
T = 3.95
 O = N/A
T = TO
 O = 14
T = 135.05
 O = 27
T = 0.54
 O = 14
T = 8.27
 O = N/A
T = TO
 O = 14
T = 0.08
 O = 14
T = 0.13
 O = 14
T = 1.30
c1355_F197gat-308gat@1.wcnf O = 33
T = 0.03		 O = 33
T = 1.38
 O = N/A
T = TO
 O = 33
T = 0.16
 O = 33
T = 0.11
 O = 33
T = 0.15
 O = 33
T = 35.31
 O = 33
T = 0.03
 O = 33
T = 0.03
 O = 33
T = 0.07
c1355_F1gat@0.wcnf O = 14
T = 0.09		 O = 14
T = 1.26
 O = N/A
T = TO
 O = 14
T = 119.09
 O = 27
T = 0.27
 O = 14
T = 0.42
 O = N/A
T = TO
 O = 14
T = 0.09
 O = 14
T = 0.17
 O = 14
T = 4.79
c1355_F43gat@1.wcnf O = 14
T = 0.09		 O = 14
T = 1.13
 O = N/A
T = TO
 O = 14
T = 191.08
 O = 22
T = 10.50
 O = 14
T = 37.64
 O = N/A
T = TO
 O = 14
T = 0.09
 O = 14
T = 0.13
 O = 14
T = 0.70
c1355_F50gat@1.wcnf O = 14
T = 0.13		 O = 14
T = 1.24
 O = N/A
T = TO
 O = 14
T = 41.65
 O = 26
T = 1.71
 O = 14
T = 10.12
 O = 14
T = 91.09
 O = 14
T = 0.13
 O = 14
T = 0.18
 O = 14
T = 1.37
c1355_F543gat@1.wcnf O = 33
T = 0.03		 O = 33
T = 1.05
 O = N/A
T = TO
 O = 33
T = 0.13
 O = 33
T = 0.13
 O = 33
T = 0.13
 O = N/A
T = TO
 O = 33
T = 0.03
 O = 33
T = 0.03
 O = 33
T = 0.09
c1355_F57gat@1.wcnf O = 14
T = 0.05		 O = 14
T = 8.97
 O = N/A
T = TO
 O = 14
T = 68.41
 O = 28
T = 2.48
 O = 14
T = 0.05
 O = 14
T = 111.36
 O = 14
T = 0.08
 O = 14
T = 0.07
 O = 14
T = 1.52
c1355_F71gat@1.wcnf O = 14
T = 0.14		 O = 14
T = 3.14
 O = N/A
T = TO
 O = 14
T = 41.22
 O = 28
T = 3.92
 O = 14
T = 3.24
 O = N/A
T = TO
 O = 14
T = 0.14
 O = 14
T = 0.17
 O = 14
T = 0.41
c3540_F20@1.wcnf O = 6
T = 0.16		 O = 10
T = 172.03
 O = N/A
T = TO
 O = 23
T = 4.57
 O = 12
T = 87.82
 O = 19
T = 60.03
 O = N/A
T = TO
 O = 6
T = 0.22
 O = 6
T = 0.16
 O = 6
T = 1.21
c3540_F41@1.wcnf O = 7
T = 0.12		 O = 13
T = 113.54
 O = N/A
T = TO
 O = 24
T = 29.76
 O = 21
T = 110.42
 O = 21
T = 61.33
 O = 7
T = 220.57
 O = 7
T = 0.28
 O = 7
T = 0.12
 O = 7
T = 0.49
c3540_F45@0.wcnf O = 9
T = 0.59		 O = 10
T = 9.49
 O = N/A
T = TO
 O = 22
T = 119.16
 O = 20
T = 3.47
 O = 19
T = 157.30
 O = N/A
T = TO
 O = 9
T = 0.71
 O = 9
T = 0.59
 O = 9
T = 1.87
c3540_F45@1.wcnf O = 9
T = 0.58		 O = 16
T = 95.62
 O = N/A
T = TO
 O = 22
T = 22.74
 O = 21
T = 0.52
 O = 18
T = 108.18
 O = N/A
T = TO
 O = 9
T = 0.91
 O = 9
T = 0.58
 O = 9
T = 1.92
c6288_F137gat@1.wcnf O = 10
T = 0.10		 O = 29
T = 106.62
 O = N/A
T = TO
 O = 27
T = 32.16
 O = 29
T = 265.52
 O = 17
T = 183.27
 O = N/A
T = TO
 O = 10
T = 0.10
 O = 10
T = 1.27
 O = 10
T = 5.32
c6288_F205gat@1.wcnf O = 7
T = 0.68		 O = 22
T = 293.29
 O = N/A
T = TO
 O = 23
T = 92.46
 O = N/A
T = TO
 O = 25
T = 50.23
 O = N/A
T = TO
 O = 7
T = 1.08
 O = 7
T = 0.68
 O = 7
T = 1.18
c6288_F35gat@1.wcnf O = 4
T = 0.02		 O = 4
T = 59.50
 O = N/A
T = TO
 O = 4
T = 2.91
 O = 16
T = 251.96
 O = 4
T = 0.08
 O = 4
T = 80.98
 O = 4
T = 0.06
 O = 4
T = 0.02
 O = 4
T = 0.07
c6288_F69gat@1.wcnf O = 6
T = 0.11		 O = 8
T = 233.31
 O = N/A
T = TO
 O = 32
T = 32.21
 O = 20
T = 13.13
 O = 6
T = 31.49
 O = N/A
T = TO
 O = 6
T = 0.11
 O = 6
T = 0.11
 O = 6
T = 0.58
normalized-C499.a.wcnf O = 64
T = 1.47		 O = 68
T = 19.63
 O = 69
T = 230.94
 O = 77
T = 240.29
 O = 73
T = 19.57
 O = 76
T = 132.69
 O = 64
T = 4.43
 O = 64
T = 1.47
 O = 64
T = 5.43
 O = 64
T = 5.91
normalized-addm4.r.wcnf O = 165
T = 0.02		 O = 165
T = 7.28
 O = 258
T = 2.34
 O = 169
T = 64.81
 O = 169
T = 106.76
 O = 170
T = 10.53
 O = 165
T = 0.02
 O = 165
T = 0.12
 O = 165
T = 16.10
 O = 165
T = 0.10
normalized-alu4.b.wcnf O = 50
T = 0.74		 O = 50
T = 8.74
 O = 52
T = 101.80
 O = 51
T = 216.55
 O = 51
T = 26.21
 O = 52
T = 3.46
 O = 50
T = 0.74
 O = 54
T = 284.30
 O = 65
T = 1.22
 O = 65
T = 1.00
normalized-apex6.b.wcnf O = 136
T = 2.26		 O = 139
T = 169.95
 O = 1151
T = 2.22
 O = 146
T = 130.28
 O = 144
T = 49.78
 O = 146
T = 196.89
 O = 136
T = 2.26
 O = 148
T = 284.44
 O = N/A
T = TO
 O = 180
T = 0.03
normalized-bench1.r.wcnf O = 121
T = 0.26		 O = 129
T = 46.28
 O = 131
T = 204.95
 O = 142
T = 16.41
 O = 141
T = 204.28
 O = 141
T = 244.56
 O = 121
T = 0.26
 O = N/A
T = TO
 O = 168
T = 0.06
 O = 168
T = 0.02
normalized-des.a.wcnf O = 942
T = 0.71		 O = 986
T = 85.88
 O = N/A
T = TO
 O = 1013
T = 64.91
 O = 1005
T = 161.63
 O = 1001
T = 0.13
 O = 942
T = 2.48
 O = 942
T = 4.34
 O = 1026
T = 0.04
 O = 942
T = 0.71
normalized-duke2.b.wcnf O = 70
T = 1.01		 O = 71
T = 200.19
 O = 75
T = 33.15
 O = 74
T = 182.74
 O = 75
T = 75.44
 O = 74
T = 35.46
 O = 70
T = 1.01
 O = 78
T = 284.55
 O = 101
T = 0.03
 O = 101
T = 0.06
normalized-ex1010.pi.wcnf O = 298
T = 222.33		 O = 298
T = 222.33
 O = N/A
T = TO
 O = 366
T = 141.61
 O = 365
T = 39.02
 O = 367
T = 180.67
 O = N/A
T = TO
 O = 420
T = 284.43
 O = 423
T = 0.07
 O = 423
T = 0.06
normalized-ex5.r.wcnf O = 37
T = 2.89		 O = 38
T = 23.15
 O = 38
T = 24.49
 O = 43
T = 81.91
 O = 43
T = 253.03
 O = 42
T = 140.21
 O = 37
T = 2.89
 O = 44
T = 284.34
 O = 57
T = 0.04
 O = 57
T = 0.03
normalized-exam.pi.wcnf O = 63
T = 0.42		 O = 64
T = 19.56
 O = 64
T = 21.19
 O = 71
T = 16.60
 O = 69
T = 114.11
 O = 70
T = 281.09
 O = 63
T = 0.42
 O = 79
T = 284.21
 O = 88
T = 0.05
 O = 88
T = 0.06
normalized-f51m.b.wcnf O = 18
T = 0.04		 O = 18
T = 4.28
 O = 18
T = 4.29
 O = 18
T = 4.72
 O = 18
T = 3.92
 O = 18
T = 0.20
 O = 18
T = 0.09
 O = 18
T = 0.04
 O = 18
T = 0.09
 O = 18
T = 0.28
normalized-fout.r.wcnf O = 38
T = 0.03		 O = 38
T = 3.54
 O = 38
T = 3.19
 O = 39
T = 4.13
 O = 38
T = 118.96
 O = 39
T = 28.00
 O = 38
T = 0.03
 O = 38
T = 0.11
 O = 38
T = 1.16
 O = 38
T = 2.24
normalized-jac3.wcnf O = 15
T = 0.14		 O = 15
T = 26.86
 O = 15
T = 22.34
 O = 15
T = 26.06
 O = 15
T = 16.26
 O = 15
T = 23.90
 O = 15
T = 0.14
 O = 15
T = 2.59
 O = 15
T = 0.54
 O = 15
T = 8.68
normalized-lin.rom.r.wcnf O = 120
T = 0.04		 O = 122
T = 24.86
 O = 123
T = 190.66
 O = 135
T = 236.31
 O = 132
T = 193.12
 O = 136
T = 21.97
 O = 120
T = 0.04
 O = 120
T = 0.52
 O = 174
T = 0.08
 O = 120
T = 14.59
normalized-m100_100_10_10.r.wcnf O = 12
T = 1.37		 O = 12
T = 2.33
 O = 12
T = 2.06
 O = 12
T = 6.77
 O = 12
T = 21.07
 O = 12
T = 1.37
 O = 12
T = 4.28
 O = 13
T = 284.62
 O = 18
T = 0.81
 O = 18
T = 0.96
normalized-m100_100_10_15.r.wcnf O = 10
T = 0.33		 O = 10
T = 1.28
 O = 10
T = 2.47
 O = 10
T = 1.85
 O = 10
T = 1.42
 O = 10
T = 0.33
 O = 10
T = 0.99
 O = 11
T = 284.47
 O = 16
T = 0.95
 O = 16
T = 1.05
normalized-m100_100_10_30.r.wcnf O = 8
T = 0.20		 O = 8
T = 2.26
 O = 8
T = 1.49
 O = 8
T = 1.93
 O = 8
T = 1.48
 O = 8
T = 0.20
 O = 8
T = 0.55
 O = 8
T = 1.08
 O = 8
T = 18.43
 O = 8
T = 203.45
normalized-m100_100_30_30.r.wcnf O = 5
T = 0.20		 O = 5
T = 2.06
 O = 5
T = 2.70
 O = 5
T = 2.58
 O = 5
T = 2.32
 O = 5
T = 0.20
 O = 5
T = 2.37
 O = 5
T = 47.22
 O = 5
T = 40.93
 O = 5
T = 116.45
normalized-m100_300_10_10.r.wcnf O = 21
T = 0.28		 O = 21
T = 28.58
 O = 21
T = 4.55
 O = 23
T = 26.45
 O = 23
T = 22.45
 O = 23
T = 5.17
 O = 21
T = 0.28
 O = 24
T = 284.61
 O = 33
T = 0.87
 O = 33
T = 0.80
normalized-m100_300_10_14.r.wcnf O = 19
T = 0.46		 O = 19
T = 4.79
 O = 19
T = 4.42
 O = 19
T = 199.67
 O = 20
T = 3.20
 O = 19
T = 104.05
 O = 19
T = 0.46
 O = 19
T = 284.41
 O = 32
T = 0.89
 O = 32
T = 1.30
normalized-m100_300_10_15.r.wcnf O = 19
T = 5.27		 O = 19
T = 5.67
 O = 19
T = 5.47
 O = 20
T = 7.30
 O = 20
T = 39.31
 O = 20
T = 2.73
 O = 19
T = 5.27
 O = 20
T = 284.37
 O = 34
T = 0.75
 O = 34
T = 1.01
normalized-m100_300_10_20.r.wcnf O = 17
T = 1.55		 O = 17
T = 4.00
 O = 17
T = 4.74
 O = 17
T = 255.08
 O = 18
T = 48.98
 O = 18
T = 24.17
 O = 17
T = 1.55
 O = 19
T = 284.41
 O = 32
T = 1.08
 O = 32
T = 0.96
normalized-m200_500_10_10.r.wcnf O = 39
T = 30.03		 O = 40
T = 40.19
 O = 39
T = 30.03
 O = 45
T = 38.40
 O = 46
T = 115.76
 O = 45
T = 160.36
 O = N/A
T = TO
 O = 60
T = 284.36
 O = 60
T = 0.91
 O = 60
T = 0.74
normalized-m4.r.wcnf O = 90
T = 0.05		 O = 90
T = 256.89
 O = 93
T = 135.67
 O = 93
T = 241.26
 O = 93
T = 222.70
 O = 93
T = 150.94
 O = 90
T = 0.05
 O = 90
T = 0.14
 O = 90
T = 13.66
 O = 90
T = 10.60
normalized-maincont.r.wcnf O = 7
T = 0.00		 O = 7
T = 1.48
 O = 7
T = 1.63
 O = 7
T = 0.67
 O = 7
T = 0.46
 O = 7
T = 0.06
 O = 7
T = 0.01
 O = 7
T = 0.00
 O = 7
T = 0.00
 O = 7
T = 0.00
normalized-max1024.pi.wcnf O = 259
T = 1.26		 O = 266
T = 10.46
 O = N/A
T = TO
 O = 281
T = 69.87
 O = 282
T = 71.35
 O = 282
T = 210.76
 O = 259
T = 1.26
 O = 281
T = 284.14
 O = 303
T = 0.09
 O = 303
T = 0.02
normalized-max1024.r.wcnf O = 245
T = 1.62		 O = 251
T = 140.14
 O = 429
T = 5.70
 O = 267
T = 76.05
 O = 268
T = 52.04
 O = 268
T = 61.20
 O = 245
T = 1.62
 O = 272
T = 284.35
 O = N/A
T = TO
 O = 301
T = 0.02
normalized-max512.r.wcnf O = 113
T = 0.01		 O = 113
T = 1.80
 O = 181
T = 0.71
 O = 117
T = 71.35
 O = 116
T = 18.34
 O = 117
T = 51.85
 O = 113
T = 0.01
 O = 113
T = 0.07
 O = 113
T = 0.76
 O = 113
T = 0.09
normalized-mlp4.r.wcnf O = 109
T = 0.05		 O = 109
T = 3.86
 O = 110
T = 140.22
 O = 113
T = 10.52
 O = 113
T = 3.94
 O = 112
T = 146.60
 O = 109
T = 0.05
 O = 109
T = 0.09
 O = 109
T = 3.70
 O = 109
T = 0.07
normalized-pdc.r.wcnf O = 94
T = 0.17		 O = 97
T = 28.55
 O = 98
T = 5.49
 O = 100
T = 31.94
 O = 98
T = 60.85
 O = 100
T = 241.37
 O = 94
T = 0.17
 O = 94
T = 0.56
 O = 138
T = 0.04
 O = 94
T = 23.46
normalized-prom2.pi.wcnf O = 287
T = 0.23		 O = 305
T = 260.29
 O = 325
T = 34.07
 O = 359
T = 34.46
 O = 344
T = 13.03
 O = 358
T = 25.52
 O = 287
T = 0.23
 O = 287
T = 97.06
 O = 429
T = 0.05
 O = 429
T = 0.02
normalized-prom2.r.wcnf O = 278
T = 0.21		 O = 296
T = 90.00
 O = 305
T = 10.27
 O = 347
T = 265.29
 O = 335
T = 268.57
 O = 351
T = 42.91
 O = 278
T = 0.21
 O = 330
T = 284.38
 O = 437
T = 0.05
 O = 437
T = 0.03
normalized-rd84.b.wcnf O = 5
T = 0.25		 O = 5
T = 12.39
 O = 5
T = 14.12
 O = 5
T = 58.85
 O = 5
T = 187.73
 O = 6
T = 0.22
 O = 5
T = 5.35
 O = 5
T = 0.41
 O = 5
T = 0.25
 O = 5
T = 3.26
normalized-rot.b.wcnf O = 115
T = 0.58		 O = 120
T = 16.98
 O = 352
T = 6.22
 O = 124
T = 271.21
 O = 125
T = 18.40
 O = 125
T = 184.69
 O = 115
T = 0.58
 O = 115
T = 60.06
 O = 155
T = 0.04
 O = 156
T = 0.06
normalized-sao2.b.wcnf O = 25
T = 0.01		 O = 26
T = 6.97
 O = 26
T = 23.16
 O = 26
T = 110.36
 O = 26
T = 129.44
 O = 26
T = 29.85
 O = 25
T = 0.08
 O = 25
T = 0.02
 O = 25
T = 0.02
 O = 25
T = 0.01
normalized-saucier.r.wcnf O = 6
T = 1.97		 O = N/A
T = TO
 O = N/A
T = TO
 O = 6
T = 61.61
 O = 6
T = 33.60
 O = 6
T = 1.97
 O = 6
T = 102.24
 O = 6
T = 284.43
 O = 12
T = 0.07
 O = 12
T = 0.11
normalized-test1.r.wcnf O = 110
T = 0.05		 O = 115
T = 14.65
 O = 118
T = 17.35
 O = 123
T = 114.56
 O = 122
T = 272.55
 O = 123
T = 41.49
 O = 110
T = 0.05
 O = 128
T = 284.27
 O = 139
T = 0.05
 O = 139
T = 0.07
normalized-test4.pi.wcnf O = 134
T = 79.40		 O = N/A
T = TO
 O = N/A
T = TO
 O = 134
T = 79.40
 O = 137
T = 45.62
 O = 135
T = 186.05
 O = N/A
T = TO
 O = 172
T = 284.02
 O = 179
T = 0.13
 O = 179
T = 0.04
ctrl.wcnf O = 15
T = 0.13		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 15
T = 208.65
 O = 15
T = 0.13
 O = 15
T = 0.32
 O = 15
T = 1.57
mrisc_mem2wire.wcnf O = 5
T = 7.71		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 5
T = 7.71
 O = 5
T = 86.77
 O = 5
T = 159.67
spi.wcnf O = 46
T = 4.49		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 46
T = 4.49
 O = 46
T = 7.97
 O = 47
T = 3.78
sudoku.wcnf O = 13
T = 2.66		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 13
T = 2.66
 O = 13
T = 19.33
 O = 13
T = 27.78
SAT02__industrial__biere__dinphil__dp10s10.shuffled.cnf.wcnf.8.wcnf O = 240
T = 0.59		 O = 240
T = 14.08
 O = N/A
T = TO
 O = 253
T = 42.63
 O = 240
T = 151.56
 O = 240
T = 0.59
 O = 240
T = 159.55
 O = 240
T = 5.41
 O = 240
T = 241.78
 O = 995
T = 0.28
SAT02__industrial__goldberg__fpga_routing__vda_gr_rcs_w9.shuffled.cnf.wcnf.5.wcnf O = 6
T = 0.09		 O = 6
T = 10.74
 O = 6
T = 0.64
 O = 6
T = 1.40
 O = 6
T = 1.59
 O = 6
T = 0.22
 O = 6
T = 10.43
 O = 6
T = 0.15
 O = 6
T = 0.09
 O = 6
T = 0.12
SAT02__industrial__goldberg__fpga_routing__vda_gr_rcs_w9.shuffled.cnf.wcnf.8.wcnf O = 3
T = 0.07		 O = 3
T = 14.08
 O = 3
T = 0.39
 O = 3
T = 1.17
 O = 3
T = 0.94
 O = 3
T = 0.24
 O = 3
T = 12.71
 O = 3
T = 0.12
 O = 3
T = 0.07
 O = 3
T = 0.10
SAT04__industrial__vangelder__cnf-color__abb313GPIA-9-tr.used-as.sat04-321.cnf.wcnf.3.wcnf O = 80
T = 7.75		 O = 117
T = 194.35
 O = N/A
T = TO
 O = 80
T = 55.08
 O = 80
T = 79.89
 O = 80
T = 7.75
 O = N/A
T = TO
 O = 80
T = 78.78
 O = 131
T = 0.28
 O = 2342
T = 2.03
SAT04__industrial__vangelder__cnf-color__abb313GPIA-9-tr.used-as.sat04-321.cnf.wcnf.6.wcnf O = 25
T = 0.53		 O = 45
T = 207.50
 O = N/A
T = TO
 O = 25
T = 9.28
 O = 81
T = 129.07
 O = 25
T = 0.64
 O = 25
T = 42.21
 O = 25
T = 148.15
 O = 25
T = 1.41
 O = 25
T = 0.53
SAT04__industrial__velev__pipe-sat-1-1__12pipe_bug4_q0.used-as.sat04-723.cnf.wcnf.1.wcnf O = 179
T = 10.56		 O = 2858
T = 137.70
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 179
T = 10.56
 O = N/A
T = TO
 O = 179
T = 46.55
 O = 179
T = 23.66
 O = 179
T = 27.64
SAT04__industrial__velev__pipe-sat-1-1__12pipe_bug4_q0.used-as.sat04-723.cnf.wcnf.8.wcnf O = 86
T = 8.29		 O = 2196
T = 140.30
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 190
T = 9.28
 O = N/A
T = TO
 O = 86
T = 8.29
 O = 86
T = 9.23
 O = 86
T = 87.15
SAT04__industrial__velev__pipe-sat-1-1__12pipe_bug6_q0.used-as.sat04-725.cnf.wcnf.10.wcnf O = 50
T = 9.63		 O = 707
T = 126.60
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 50
T = 14.56
 O = 50
T = 9.63
 O = 50
T = 29.36
SAT04__industrial__velev__pipe-sat-1-1__12pipe_bug6_q0.used-as.sat04-725.cnf.wcnf.5.wcnf O = 53
T = 5.45		 O = 2402
T = 294.32
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 93
T = 9.09
 O = N/A
T = TO
 O = 53
T = 7.30
 O = 53
T = 5.45
 O = 53
T = 5.83
SAT07__industrial__vliw_sat_4.0__9vliw_m_9stages_iq3_C1_bug5.cnf.wcnf.4.wcnf O = 8
T = 8.19		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 8
T = 12.66
 O = 8
T = 8.19
 O = 8
T = 105.45
SAT07__industrial__vliw_sat_4.0__9vliw_m_9stages_iq3_C1_bug6.cnf.wcnf.1.wcnf O = 14
T = 5.89		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 14
T = 10.89
 O = 14
T = 5.89
 O = 14
T = 41.83
SAT07__industrial__vliw_sat_4.0__9vliw_m_9stages_iq3_C1_bug6.cnf.wcnf.4.wcnf O = 24
T = 40.66		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 24
T = 40.66
 O = 24
T = 62.64
 O = 24
T = 54.25
SAT07__industrial__vliw_sat_4.0__9vliw_m_9stages_iq3_C1_bug6.cnf.wcnf.7.wcnf O = 3
T = 7.41		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 3
T = 12.07
 O = 3
T = 7.41
 O = 3
T = 25.51
SAT09__APPLICATIONS__satComp09_BioInstances__rbcl_xits_15_SAT.cnf.wcnf.9.wcnf O = 26
T = 0.37		 O = 26
T = 1.68
 O = N/A
T = TO
 O = 26
T = 0.79
 O = 26
T = 0.37
 O = 26
T = 0.62
 O = 26
T = 129.66
 O = 26
T = 28.98
 O = 26
T = 14.16
 O = 481
T = 0.38
SAT09__APPLICATIONS__satComp09_BioInstances__rbcl_xits_18_SAT.cnf.wcnf.2.wcnf O = 7
T = 0.10		 O = 7
T = 8.02
 O = 7
T = 0.49
 O = 7
T = 0.72
 O = 7
T = 0.41
 O = 7
T = 0.36
 O = 7
T = 18.85
 O = 7
T = 0.20
 O = 7
T = 0.10
 O = 7
T = 0.23
SAT11__application__fuhs__AProVE11__AProVE11-09.cnf.wcnf.10.wcnf O = 208
T = 9.61		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 208
T = 33.91
 O = 208
T = 27.03
 O = 208
T = 9.61
SAT11__application__fuhs__AProVE11__AProVE11-09.cnf.wcnf.4.wcnf O = 1382
T = 254.25		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1382
T = 254.25
 O = 22396
T = 1.35
 O = 16237
T = 0.50
SAT11__application__fuhs__AProVE11__AProVE11-09.cnf.wcnf.8.wcnf O = 320
T = 15.67		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 320
T = 158.21
 O = N/A
T = TO
 O = N/A
T = TO
 O = 320
T = 47.33
 O = 320
T = 67.52
 O = 320
T = 15.67
SAT11__application__fuhs__AProVE11__AProVE11-10.cnf.wcnf.3.wcnf O = 1028
T = 174.48		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1034
T = 254.34
 O = 2975
T = 1.29
 O = 1028
T = 174.48
SAT11__application__fuhs__AProVE11__AProVE11-12.cnf.wcnf.2.wcnf O = 501
T = 12.53		 O = N/A
T = TO
 O = N/A
T = TO
 O = 517
T = 35.71
 O = 501
T = 12.53
 O = 521
T = 276.04
 O = N/A
T = TO
 O = 501
T = 15.49
 O = 2626
T = 0.59
 O = 2013
T = 2.65
SAT11__application__fuhs__AProVE11__AProVE11-12.cnf.wcnf.4.wcnf O = 180
T = 7.56		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 180
T = 184.99
 O = 180
T = 7.56
 O = 180
T = 10.01
 O = 2847
T = 0.73
SAT11__application__fuhs__AProVE11__AProVE11-16.cnf.wcnf.1.wcnf O = 263
T = 10.97		 O = 263
T = 159.74
 O = N/A
T = TO
 O = 263
T = 58.74
 O = 263
T = 49.58
 O = 263
T = 12.81
 O = N/A
T = TO
 O = 263
T = 10.97
 O = 263
T = 16.33
 O = 263
T = 12.97
SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-TPP-30-step11.cnf.wcnf.1.wcnf O = 1
T = 5.11		 O = 31401
T = 253.86
 O = 1
T = 71.81
 O = 1
T = 108.45
 O = 1
T = 92.38
 O = 1
T = 5.11
 O = N/A
T = TO
 O = 1
T = 74.87
 O = 1
T = 146.14
 O = 1
T = 30.91
SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-pipesworld-12-step16.cnf.wcnf.2.wcnf O = 1
T = 1.66		 O = N/A
T = TO
 O = 1
T = 4.19
 O = 1
T = 6.52
 O = 1
T = 5.93
 O = 1
T = 1.66
 O = 1
T = 116.72
 O = 1
T = 24.71
 O = 1
T = 42.03
 O = 1
T = 75.75
SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-pipesworld-12-step16.cnf.wcnf.7.wcnf O = 1
T = 1.67		 O = N/A
T = TO
 O = 1
T = 4.19
 O = 1
T = 6.74
 O = 1
T = 5.89
 O = 1
T = 1.67
 O = 1
T = 125.19
 O = 1
T = 46.88
 O = 1
T = 135.66
 O = 1
T = 117.24
SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-pipesworld-18-step16.cnf.wcnf.1.wcnf O = 1
T = 4.94		 O = N/A
T = TO
 O = 1
T = 19.81
 O = 1
T = 24.79
 O = 1
T = 23.20
 O = 1
T = 4.94
 O = N/A
T = TO
 O = 1
T = 33.19
 O = 1
T = 71.36
 O = 1
T = 21.46
SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-pipesworld-18-step16.cnf.wcnf.4.wcnf O = 1
T = 4.78		 O = N/A
T = TO
 O = 1
T = 18.68
 O = 1
T = 24.92
 O = 1
T = 23.34
 O = 1
T = 4.78
 O = N/A
T = TO
 O = 1
T = 144.60
 O = 1
T = 87.49
 O = 1
T = 51.34
SAT11__application__jarvisalo__smtqfbv-aigs__smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf.wcnf.4.wcnf O = 154
T = 15.27		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 183
T = 2.71
 O = N/A
T = TO
 O = 154
T = 26.64
 O = 154
T = 20.57
 O = 154
T = 15.27
SAT11__application__jarvisalo__smtqfbv-aigs__smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf.wcnf.9.wcnf O = 118
T = 9.62		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 161
T = 0.97
 O = N/A
T = TO
 O = 118
T = 254.60
 O = 118
T = 33.66
 O = 118
T = 9.62
SAT11__application__jarvisalo__smtqfbv-aigs__smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf.wcnf.10.wcnf O = 9
T = 1.39		 O = 9
T = 222.94
 O = 9
T = 79.86
 O = 9
T = 117.92
 O = 9
T = 113.81
 O = 9
T = 1.39
 O = 9
T = 25.21
 O = 9
T = 1.52
 O = 9
T = 1.48
 O = 9
T = 1.94
SAT11__application__jarvisalo__smtqfbv-aigs__smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf.wcnf.2.wcnf O = 73
T = 1.66		 O = 10142
T = 247.52
 O = N/A
T = TO
 O = 73
T = 134.12
 O = 73
T = 132.15
 O = 73
T = 1.66
 O = 73
T = 30.28
 O = 73
T = 4.86
 O = 73
T = 6.49
 O = 73
T = 7.01
SAT11__application__jarvisalo__smtqfbv-aigs__smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf.wcnf.7.wcnf O = 20
T = 1.43		 O = 20
T = 228.59
 O = 20
T = 85.06
 O = 20
T = 119.11
 O = 20
T = 129.51
 O = 20
T = 1.43
 O = 20
T = 31.15
 O = 20
T = 2.27
 O = 20
T = 2.55
 O = 20
T = 3.15
SAT11__application__leberre__2dimensionalstrippacking__E05F18.cnf.wcnf.7.wcnf O = 61
T = 1.32		 O = 61
T = 31.02
 O = N/A
T = TO
 O = 61
T = 1.81
 O = 69
T = 2.13
 O = 61
T = 1.32
 O = N/A
T = TO
 O = 61
T = 26.24
 O = 61
T = 83.56
 O = 499
T = 12.37
SAT11__application__leberre__2dimensionalstrippacking__E05F18.cnf.wcnf.9.wcnf O = 82
T = 8.49		 O = 82
T = 52.99
 O = N/A
T = TO
 O = 82
T = 26.81
 O = 165
T = 19.60
 O = 82
T = 8.49
 O = N/A
T = TO
 O = 82
T = 96.91
 O = 82
T = 138.73
 O = 603
T = 3.18
SAT11__application__manthey__traffic__traffic_3_uc_sat.cnf.wcnf.8.wcnf O = 77
T = 2.91		 O = 77
T = 40.39
 O = N/A
T = TO
 O = 77
T = 44.46
 O = 77
T = 44.52
 O = 77
T = 2.91
 O = 77
T = 39.61
 O = 77
T = 9.80
 O = 77
T = 6.48
 O = 77
T = 103.40
SAT11__application__manthey__traffic__traffic_r_sat.cnf.wcnf.4.wcnf O = 78
T = 22.33		 O = 78
T = 96.60
 O = N/A
T = TO
 O = 78
T = 187.54
 O = 78
T = 155.06
 O = 78
T = 157.65
 O = N/A
T = TO
 O = 78
T = 80.93
 O = 78
T = 22.33
 O = 78
T = 28.88
SAT11__application__manthey__traffic__traffic_r_sat.cnf.wcnf.6.wcnf O = 120
T = 1.66		 O = 120
T = 249.08
 O = N/A
T = TO
 O = 120
T = 232.65
 O = 120
T = 193.54
 O = 120
T = 163.40
 O = N/A
T = TO
 O = 120
T = 2.98
 O = 120
T = 1.66
 O = 17126
T = 3.14
SAT11__application__rintanen__SATPlanning__blocks-blocks-36-0.180-SAT.cnf.wcnf.2.wcnf O = 35
T = 45.21		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 35
T = 275.82
 O = 35
T = 47.76
 O = 35
T = 45.21
SAT11__application__rintanen__SATPlanning__openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf.wcnf.4.wcnf O = 6
T = 0.94		 O = N/A
T = TO
 O = 6
T = 76.61
 O = 6
T = 174.51
 O = 6
T = 161.30
 O = 6
T = 2.96
 O = 6
T = 77.55
 O = 6
T = 2.04
 O = 6
T = 0.94
 O = 6
T = 7.96
SAT_RACE06__ibm-2002-21r-k95.cnf.wcnf.4.wcnf O = 2
T = 1.52		 O = 2
T = 103.17
 O = 2
T = 43.30
 O = N/A
T = TO
 O = N/A
T = TO
 O = 2
T = 1.52
 O = 2
T = 60.79
 O = 2
T = 60.18
 O = 2
T = 66.74
 O = 2
T = 49.54
SAT_RACE06__velev-pipe-sat-1.0-b9.cnf.wcnf.2.wcnf O = 25
T = 6.00		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 25
T = 21.33
 O = N/A
T = TO
 O = 25
T = 22.45
 O = 25
T = 6.00
 O = 25
T = 7.05
SAT_RACE06__velev-pipe-sat-1.0-b9.cnf.wcnf.5.wcnf O = 85
T = 8.43		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 85
T = 9.58
 O = 85
T = 8.43
 O = 85
T = 21.37
SAT_RACE08__cnf__ibm-2004-01-k90.cnf.wcnf.10.wcnf O = 5
T = 0.52		 O = 5
T = 11.48
 O = 5
T = 4.98
 O = 5
T = 127.44
 O = 5
T = 76.41
 O = 5
T = 0.52
 O = 5
T = 17.66
 O = 5
T = 0.58
 O = 5
T = 4.60
 O = 5
T = 11.27
TEAMS20_l7aa.cnf.wcnf O = 26
T = 2.04		 O = 26
T = 10.94
 O = N/A
T = TO
 O = 26
T = 2.63
 O = 26
T = 95.20
 O = 26
T = 20.07
 O = 26
T = 2.04
 O = 26
T = 11.54
 O = 26
T = 30.46
 O = 552
T = 2.78
teams16_l7a.cnf.wcnf O = 18
T = 0.39		 O = 18
T = 5.63
 O = N/A
T = TO
 O = 18
T = 6.31
 O = 18
T = 0.39
 O = 18
T = 0.40
 O = 18
T = 4.94
 O = 18
T = 0.87
 O = 18
T = 2.80
 O = 374
T = 0.32
teams20_l2a.cnf.wcnf O = 12
T = 1.28		 O = 12
T = 81.89
 O = 12
T = 2.06
 O = 12
T = 6.15
 O = 12
T = 96.78
 O = 12
T = 1.69
 O = 12
T = 2.13
 O = 12
T = 1.45
 O = 12
T = 1.28
 O = 12
T = 45.88
teams20_l4a.cnf.wcnf O = 18
T = 1.91		 O = 18
T = 66.30
 O = N/A
T = TO
 O = 18
T = 1.91
 O = 18
T = 129.26
 O = 18
T = 2.18
 O = 18
T = 12.23
 O = 18
T = 60.11
 O = 18
T = 4.51
 O = 682
T = 10.06
teams20_l6a.cnf.wcnf O = 18
T = 1.07		 O = 18
T = 35.97
 O = N/A
T = TO
 O = 18
T = 66.59
 O = 18
T = 1.07
 O = 18
T = 8.08
 O = 18
T = 9.52
 O = 18
T = 1.42
 O = 18
T = 13.02
 O = 592
T = 1.27
teams20_l8a.cnf.wcnf O = 16
T = 1.01		 O = 16
T = 17.58
 O = 16
T = 104.49
 O = 16
T = 11.92
 O = 16
T = 82.30
 O = 16
T = 17.80
 O = 16
T = 8.09
 O = 16
T = 1.01
 O = 16
T = 2.91
 O = 552
T = 2.49
teams24_l4a.cnf.wcnf O = 14
T = 4.63		 O = N/A
T = TO
 O = 14
T = 136.26
 O = 14
T = 4.63
 O = 14
T = 251.86
 O = 18
T = 66.99
 O = 14
T = 37.52
 O = 14
T = 9.69
 O = 14
T = 8.29
 O = N/A
T = TO
cnf.10.p.10.wcnf O = 10
T = 16.01		 O = N/A
T = TO
 O = N/A
T = TO
 O = 17
T = 71.33
 O = 14
T = 158.22
 O = 15
T = 142.23
 O = N/A
T = TO
 O = 10
T = 25.67
 O = 10
T = 16.01
 O = 17
T = 0.98
cnf.10.p.9.wcnf O = 10
T = 45.67		 O = N/A
T = TO
 O = N/A
T = TO
 O = 13
T = 25.56
 O = 13
T = 23.74
 O = 13
T = 253.40
 O = N/A
T = TO
 O = 10
T = 46.74
 O = 10
T = 45.67
 O = 10
T = 276.96
cnf.11.p.10.wcnf O = 11
T = 31.03		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 11
T = 31.03
 O = 11
T = 35.55
 O = 11
T = 92.01
cnf.11.p.9.wcnf O = 11
T = 121.23		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 13
T = 220.41
 O = N/A
T = TO
 O = N/A
T = TO
 O = 11
T = 121.23
 O = 11
T = 217.43
 O = 18
T = 9.40
cnf.12.p.10.wcnf O = 12
T = 110.01		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 15
T = 284.28
 O = 12
T = 110.01
 O = 12
T = 220.89
cnf.12.p.8.wcnf O = 12
T = 58.19		 O = N/A
T = TO
 O = N/A
T = TO
 O = 15
T = 111.82
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 12
T = 58.19
 O = 12
T = 110.85
 O = 20
T = 6.48
cnf.12.p.9.wcnf O = 12
T = 149.33		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 12
T = 149.33
 O = 12
T = 201.60
 O = 22
T = 3.96
cnf.12.t.9.wcnf O = 12
T = 7.35		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 17
T = 185.51
 O = 14
T = 174.04
 O = 12
T = 257.12
 O = 12
T = 24.88
 O = 12
T = 7.35
 O = 12
T = 33.70
cnf.13.p.10.wcnf O = 13
T = 67.56		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 15
T = 277.91
 O = N/A
T = TO
 O = 13
T = 67.56
 O = 18
T = 5.81
 O = 19
T = 3.53
cnf.13.p.8.wcnf O = 13
T = 70.45		 O = N/A
T = TO
 O = N/A
T = TO
 O = 20
T = 96.68
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 13
T = 193.86
 O = 13
T = 70.45
 O = 23
T = 2.31
cnf.13.p.9.wcnf O = 13
T = 82.64		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 13
T = 82.64
 O = 13
T = 103.81
 O = 22
T = 7.87
cnf.14.d.10.wcnf O = 14
T = 15.27		 O = N/A
T = TO
 O = N/A
T = TO
 O = 15
T = 246.81
 O = 15
T = 85.08
 O = N/A
T = TO
 O = 14
T = 72.62
 O = 14
T = 15.27
 O = 14
T = 20.13
 O = 14
T = 33.74
cnf.14.p.10.wcnf O = 14
T = 93.58		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 22
T = 118.38
 O = N/A
T = TO
 O = 14
T = 93.58
 O = 24
T = 4.54
 O = 21
T = 5.98
cnf.14.p.9.wcnf O = 14
T = 76.61		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 14
T = 117.01
 O = 14
T = 76.61
 O = 21
T = 2.86
cnf.14.t.7.wcnf O = 14
T = 6.93		 O = N/A
T = TO
 O = N/A
T = TO
 O = 15
T = 28.68
 O = 16
T = 153.94
 O = 15
T = 35.02
 O = 14
T = 99.01
 O = 14
T = 16.54
 O = 14
T = 6.93
 O = 14
T = 43.60
cnf.14.t.9.wcnf O = 14
T = 18.93		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 14
T = 51.63
 O = N/A
T = TO
 O = 14
T = 18.93
 O = 14
T = 19.71
 O = 14
T = 63.62
cnf.15.p.10.wcnf O = 15
T = 259.26		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 18
T = 284.45
 O = 15
T = 259.26
 O = 23
T = 27.82
cnf.15.p.8.wcnf O = 15
T = 275.61		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 15
T = 278.81
 O = 15
T = 275.61
 O = 24
T = 10.61
cnf.15.p.9.wcnf O = 15
T = 121.89		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 15
T = 121.89
 O = 23
T = 5.75
 O = 26
T = 1.20
cnf.15.t.10.wcnf O = 15
T = 25.83		 O = N/A
T = TO
 O = N/A
T = TO
 O = 16
T = 218.97
 O = 15
T = 159.87
 O = 18
T = 233.61
 O = N/A
T = TO
 O = 15
T = 26.66
 O = 15
T = 25.83
 O = 15
T = 41.68
cnf.16.p.10.wcnf O = 21
T = 284.23		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 21
T = 284.23
 O = 26
T = 38.85
 O = 29
T = 19.97
cnf.16.p.8.wcnf O = 21
T = 284.34		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 21
T = 284.34
 O = 25
T = 13.80
 O = 26
T = 7.18
cnf.16.p.9.wcnf O = 23
T = 284.21		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 23
T = 284.21
 O = 27
T = 9.42
 O = 28
T = 11.85
cnf.16.t.9.wcnf O = 16
T = 17.88		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 16
T = 32.15
 O = 16
T = 17.88
 O = 16
T = 42.03
cnf.17.d.10.wcnf O = 17
T = 17.24		 O = N/A
T = TO
 O = N/A
T = TO
 O = 19
T = 23.06
 O = 17
T = 213.74
 O = 19
T = 206.66
 O = 17
T = 97.64
 O = 17
T = 20.46
 O = 17
T = 17.24
 O = 17
T = 163.15
cnf.17.d.9.wcnf O = 17
T = 12.15		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 17
T = 122.78
 O = 17
T = 14.96
 O = 17
T = 12.15
 O = 17
T = 26.98
cnf.17.p.10.wcnf O = 17
T = 274.58		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 17
T = 274.58
 O = 28
T = 15.69
 O = 26
T = 3.38
cnf.17.p.9.wcnf O = 17
T = 114.39		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 17
T = 114.39
 O = 17
T = 161.62
 O = 26
T = 16.34
cnf.17.t.10.wcnf O = 17
T = 18.93		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 21
T = 52.62
 O = N/A
T = TO
 O = 17
T = 29.67
 O = 17
T = 18.93
 O = 22
T = 13.30
cnf.17.t.8.wcnf O = 17
T = 10.60		 O = N/A
T = TO
 O = N/A
T = TO
 O = 20
T = 114.05
 O = N/A
T = TO
 O = 19
T = 72.79
 O = N/A
T = TO
 O = 17
T = 12.08
 O = 17
T = 10.60
 O = 17
T = 164.28
cnf.18.d.7.wcnf O = 18
T = 12.75		 O = N/A
T = TO
 O = N/A
T = TO
 O = 21
T = 140.55
 O = 21
T = 42.45
 O = 21
T = 79.82
 O = 18
T = 104.83
 O = 18
T = 12.75
 O = 18
T = 18.79
 O = 18
T = 53.95
cnf.18.p.10.wcnf O = 23
T = 284.58		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 23
T = 284.58
 O = 31
T = 36.65
 O = 32
T = 22.94
cnf.18.p.8.wcnf O = 18
T = 138.58		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 18
T = 138.58
 O = 30
T = 17.89
 O = 27
T = 29.04
cnf.18.p.9.wcnf O = 18
T = 279.49		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 25
T = 284.69
 O = 18
T = 279.49
 O = 30
T = 14.80
cnf.18.t.9.wcnf O = 18
T = 19.03		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 18
T = 23.23
 O = 18
T = 19.03
 O = 18
T = 94.43
cnf.19.d.10.wcnf O = 19
T = 13.21		 O = N/A
T = TO
 O = N/A
T = TO
 O = 20
T = 191.80
 O = N/A
T = TO
 O = N/A
T = TO
 O = 19
T = 121.95
 O = 19
T = 13.21
 O = 19
T = 16.41
 O = 19
T = 51.26
cnf.19.p.10.wcnf O = 25
T = 284.64		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 25
T = 284.64
 O = 30
T = 24.64
 O = 29
T = 25.02
cnf.19.p.8.wcnf O = 19
T = 247.63		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 19
T = 247.63
 O = 19
T = 258.31
 O = 29
T = 16.45
cnf.19.p.9.wcnf O = 23
T = 284.28		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 23
T = 284.28
 O = 32
T = 17.25
 O = 31
T = 12.73
cnf.19.t.7.wcnf O = 19
T = 26.98		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 19
T = 175.62
 O = 19
T = 26.98
 O = 19
T = 30.50
 O = 19
T = 279.93
cnf.20.d.10.wcnf O = 20
T = 10.46		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 21
T = 144.60
 O = N/A
T = TO
 O = 20
T = 127.23
 O = 20
T = 14.57
 O = 20
T = 10.46
 O = 20
T = 43.42
cnf.20.d.9.wcnf O = 20
T = 8.13		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 20
T = 141.76
 O = 20
T = 11.07
 O = 20
T = 8.13
 O = 20
T = 48.98
cnf.20.p.10.wcnf O = 27
T = 284.31		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 27
T = 284.31
 O = 33
T = 42.16
 O = 33
T = 41.27
cnf.20.p.9.wcnf O = 27
T = 284.09		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 27
T = 284.09
 O = 33
T = 22.74
 O = 30
T = 11.30
cnf.20.t.10.wcnf O = 20
T = 45.17		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 20
T = 60.84
 O = 20
T = 45.17
 O = 20
T = 140.76
cnf.20.t.8.wcnf O = 20
T = 19.40		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 20
T = 28.92
 O = 20
T = 19.40
 O = 20
T = 77.61
cnf.8.p.10.wcnf O = 8
T = 22.58		 O = 9
T = 86.88
 O = N/A
T = TO
 O = 9
T = 41.70
 O = 10
T = 227.27
 O = 9
T = 162.00
 O = N/A
T = TO
 O = 8
T = 22.58
 O = 8
T = 40.84
 O = 14
T = 1.15
cnf.8.p.9.wcnf O = 8
T = 15.89		 O = 10
T = 103.73
 O = N/A
T = TO
 O = 11
T = 35.47
 O = 10
T = 134.45
 O = 11
T = 28.19
 O = N/A
T = TO
 O = 8
T = 15.89
 O = 8
T = 29.79
 O = 8
T = 53.58
cnf.9.p.10.wcnf O = 9
T = 8.10		 O = N/A
T = TO
 O = N/A
T = TO
 O = 11
T = 73.23
 O = N/A
T = TO
 O = 11
T = 18.68
 O = N/A
T = TO
 O = 9
T = 17.84
 O = 9
T = 8.10
 O = 9
T = 114.51
cnf.9.p.9.wcnf O = 9
T = 42.37		 O = 13
T = 237.41
 O = N/A
T = TO
 O = 11
T = 77.06
 O = 10
T = 188.81
 O = 11
T = 7.77
 O = N/A
T = TO
 O = 9
T = 42.37
 O = 9
T = 71.24
 O = 9
T = 112.15
splitedReads_0.matrix.wcnf O = 2041
T = 52.17		 O = 2531
T = 272.65
 O = N/A
T = TO
 O = 2084
T = 211.42
 O = 3058
T = 50.78
 O = 2041
T = 52.17
 O = N/A
T = TO
 O = 2746
T = 254.08
 O = 3782
T = 0.59
 O = 3280
T = 0.06
splitedReads_137.matrix.wcnf O = 90
T = 0.19		 O = 180
T = 63.28
 O = 813
T = 114.77
 O = 133
T = 202.00
 O = 391
T = 285.32
 O = 150
T = 24.63
 O = 90
T = 89.28
 O = 90
T = 0.19
 O = 90
T = 0.53
 O = 90
T = 0.24
splitedReads_158.matrix.wcnf O = 173
T = 0.51		 O = N/A
T = TO
 O = 1167
T = 251.28
 O = 366
T = 225.67
 O = 641
T = 207.94
 O = 364
T = 38.38
 O = 173
T = 237.20
 O = 173
T = 0.59
 O = 173
T = 2.34
 O = 173
T = 0.51
splitedReads_160.matrix.wcnf O = 186
T = 0.57		 O = N/A
T = TO
 O = 1532
T = 275.44
 O = 440
T = 116.56
 O = 714
T = 146.11
 O = 456
T = 43.29
 O = N/A
T = TO
 O = 186
T = 0.57
 O = 186
T = 2.89
 O = 186
T = 0.66
splitedReads_18.matrix.wcnf O = 138
T = 0.32		 O = 299
T = 286.25
 O = 689
T = 280.21
 O = 240
T = 150.59
 O = 477
T = 52.64
 O = 240
T = 49.72
 O = 138
T = 111.50
 O = 138
T = 0.32
 O = 138
T = 1.38
 O = 138
T = 0.36
splitedReads_414.matrix.wcnf O = 171
T = 0.40		 O = 402
T = 167.33
 O = 808
T = 250.76
 O = 318
T = 264.70
 O = 607
T = 182.54
 O = 339
T = 45.94
 O = N/A
T = TO
 O = 171
T = 0.40
 O = 171
T = 2.73
 O = 171
T = 0.50
GreeceWesternGreeceUniversityInstance4.xml.wcnf O = 177
T = 202.12		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 177
T = 202.12
 O = N/A
T = TO
 O = N/A
T = TO
 O = 395
T = 284.47
 O = 333
T = 0.47
 O = 434
T = 0.59
SouthAfricaWoodlands2009.xml.wcnf O = 0
T = 13.90		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 0
T = 16.28
 O = 0
T = 13.90
 O = 0
T = 78.31
b14_C-mbd14-0209.wcnf O = 25
T = 75.99		 O = 64
T = 83.91
 O = N/A
T = TO
 O = 57
T = 116.19
 O = 56
T = 27.57
 O = 60
T = 131.03
 O = N/A
T = TO
 O = 25
T = 182.35
 O = 25
T = 75.99
 O = 26
T = 0.07
b14_C-mbd14-0213.wcnf O = 27
T = 7.47		 O = 58
T = 226.25
 O = N/A
T = TO
 O = 64
T = 14.72
 O = 49
T = 24.18
 O = 60
T = 31.65
 O = N/A
T = TO
 O = 27
T = 10.51
 O = 27
T = 7.47
 O = 32
T = 0.04
b14_C-mbd14-0218.wcnf O = 25
T = 13.17		 O = 64
T = 42.29
 O = N/A
T = TO
 O = 51
T = 268.09
 O = 49
T = 23.82
 O = 47
T = 137.42
 O = N/A
T = TO
 O = 25
T = 13.17
 O = 25
T = 22.38
 O = 29
T = 0.09
b14_C-mbd14-0225.wcnf O = 24
T = 66.75		 O = 63
T = 205.06
 O = N/A
T = TO
 O = 63
T = 174.48
 O = 48
T = 119.56
 O = 67
T = 65.65
 O = N/A
T = TO
 O = 24
T = 66.75
 O = 24
T = 90.56
 O = 28
T = 0.06
b14_C-mbd14-0231.wcnf O = 22
T = 39.61		 O = 56
T = 231.71
 O = N/A
T = TO
 O = 59
T = 248.95
 O = 65
T = 210.72
 O = 52
T = 109.85
 O = N/A
T = TO
 O = 22
T = 83.15
 O = 22
T = 39.61
 O = 24
T = 0.07
b14_C-mbd14-0248.wcnf O = 25
T = 3.85		 O = 63
T = 140.03
 O = N/A
T = TO
 O = 56
T = 93.81
 O = 60
T = 24.32
 O = 60
T = 143.72
 O = N/A
T = TO
 O = 25
T = 4.09
 O = 25
T = 3.85
 O = 32
T = 0.07
b14_C-mbd14-0256.wcnf O = 22
T = 20.16		 O = 74
T = 43.21
 O = N/A
T = TO
 O = 57
T = 14.88
 O = 55
T = 16.22
 O = 46
T = 108.95
 O = N/A
T = TO
 O = 22
T = 132.83
 O = 22
T = 20.16
 O = 27
T = 0.06
b14_C-mbd14-0259.wcnf O = 21
T = 0.04		 O = 50
T = 45.50
 O = N/A
T = TO
 O = 54
T = 67.55
 O = 51
T = 168.19
 O = 27
T = 119.12
 O = N/A
T = TO
 O = 21
T = 0.19
 O = 21
T = 0.04
 O = 21
T = 0.05
b15_C-mbd14-0240.wcnf O = 21
T = 68.76		 O = 55
T = 70.58
 O = N/A
T = TO
 O = 36
T = 32.16
 O = 37
T = 22.45
 O = 42
T = 144.38
 O = N/A
T = TO
 O = 21
T = 68.76
 O = 21
T = 96.01
 O = 32
T = 0.06
b15_C-mbd14-0256.wcnf O = 24
T = 0.20		 O = 69
T = 272.20
 O = N/A
T = TO
 O = 43
T = 25.63
 O = 51
T = 173.21
 O = 50
T = 205.36
 O = 24
T = 62.39
 O = 24
T = 0.20
 O = 24
T = 0.61
 O = 24
T = 3.53
b15_C-mbd14-0259.wcnf O = 22
T = 0.62		 O = 69
T = 234.81
 O = N/A
T = TO
 O = 50
T = 287.43
 O = 53
T = 127.68
 O = 53
T = 53.39
 O = 22
T = 45.91
 O = 22
T = 1.27
 O = 22
T = 0.62
 O = 22
T = 0.87
b15_C-mbd14-0288.wcnf O = 26
T = 10.60		 O = 78
T = 180.00
 O = N/A
T = TO
 O = 61
T = 81.65
 O = 67
T = 21.13
 O = 60
T = 95.27
 O = 26
T = 165.79
 O = 26
T = 10.60
 O = 26
T = 37.18
 O = 35
T = 0.10
b15_C-mbd14-0305.wcnf O = 23
T = 4.26		 O = 67
T = 48.26
 O = N/A
T = TO
 O = 48
T = 211.19
 O = 53
T = 206.24
 O = 52
T = 44.96
 O = 23
T = 158.21
 O = 23
T = 4.26
 O = 23
T = 9.62
 O = 31
T = 0.05
b15_C-mbd14-0330.wcnf O = 20
T = 3.54		 O = 55
T = 75.57
 O = N/A
T = TO
 O = 49
T = 117.37
 O = 42
T = 272.34
 O = 41
T = 0.11
 O = 20
T = 164.35
 O = 20
T = 3.54
 O = 20
T = 4.73
 O = 28
T = 0.05
b17_C-mbd14-0205.wcnf O = 22
T = 0.18		 O = N/A
T = TO
 O = N/A
T = TO
 O = 82
T = 133.99
 O = 87
T = 64.07
 O = 82
T = 184.21
 O = 22
T = 8.42
 O = 22
T = 0.29
 O = 22
T = 0.37
 O = 22
T = 0.18
b17_C-mbd14-0206.wcnf O = 27
T = 0.35		 O = N/A
T = TO
 O = N/A
T = TO
 O = 125
T = 243.45
 O = 131
T = 53.89
 O = 124
T = 188.65
 O = 27
T = 23.84
 O = 27
T = 0.35
 O = 27
T = 0.78
 O = 27
T = 0.51
b17_C-mbd14-0217.wcnf O = 24
T = 0.15		 O = N/A
T = TO
 O = N/A
T = TO
 O = 66
T = 63.22
 O = 54
T = 78.14
 O = 60
T = 40.71
 O = 24
T = 79.53
 O = 24
T = 0.18
 O = 24
T = 0.22
 O = 24
T = 0.15
b17_C-mbd14-0218.wcnf O = 27
T = 0.13		 O = N/A
T = TO
 O = N/A
T = TO
 O = 108
T = 77.76
 O = 109
T = 74.79
 O = 86
T = 0.17
 O = 27
T = 15.83
 O = 27
T = 0.15
 O = 27
T = 0.22
 O = 27
T = 0.13
b17_C-mbd14-0220.wcnf O = 24
T = 0.32		 O = N/A
T = TO
 O = N/A
T = TO
 O = 88
T = 76.93
 O = 90
T = 60.69
 O = 78
T = 0.31
 O = 24
T = 19.40
 O = 24
T = 0.45
 O = 24
T = 0.54
 O = 24
T = 0.32
b17_C-mbd14-0224.wcnf O = 23
T = 0.18		 O = 79
T = 286.56
 O = N/A
T = TO
 O = 80
T = 140.32
 O = 91
T = 70.21
 O = 61
T = 0.21
 O = 23
T = 9.42
 O = 23
T = 0.42
 O = 23
T = 0.36
 O = 23
T = 0.18
b17_C-mbd14-0229.wcnf O = 19
T = 0.33		 O = 74
T = 256.69
 O = N/A
T = TO
 O = 59
T = 193.91
 O = 54
T = 78.14
 O = 67
T = 38.91
 O = 19
T = 24.55
 O = 19
T = 0.33
 O = 19
T = 0.70
 O = 19
T = 0.59
b17_C-mbd14-0230.wcnf O = 24
T = 0.26		 O = N/A
T = TO
 O = N/A
T = TO
 O = 89
T = 76.68
 O = 103
T = 253.91
 O = 83
T = 0.30
 O = 24
T = 19.05
 O = 24
T = 0.26
 O = 24
T = 0.58
 O = 24
T = 0.63
b20_C-mbd14-0202.wcnf O = 21
T = 0.12		 O = N/A
T = TO
 O = N/A
T = TO
 O = 102
T = 284.12
 O = 98
T = 118.40
 O = 80
T = 142.66
 O = N/A
T = TO
 O = 21
T = 0.12
 O = 21
T = 0.43
 O = 21
T = 0.23
b20_C-mbd14-0211.wcnf O = 23
T = 3.34		 O = 109
T = 59.21
 O = N/A
T = TO
 O = 84
T = 166.91
 O = 100
T = 145.41
 O = 87
T = 128.05
 O = N/A
T = TO
 O = 23
T = 3.34
 O = 23
T = 10.70
 O = 23
T = 201.81
b20_C-mbd14-0213.wcnf O = 22
T = 1.70		 O = N/A
T = TO
 O = N/A
T = TO
 O = 98
T = 41.81
 O = 114
T = 34.50
 O = 103
T = 222.04
 O = N/A
T = TO
 O = 22
T = 1.70
 O = 22
T = 4.70
 O = 22
T = 8.55
b20_C-mbd14-0214.wcnf O = 17
T = 1.54		 O = 91
T = 139.79
 O = N/A
T = TO
 O = 73
T = 111.12
 O = 82
T = 217.26
 O = 71
T = 135.29
 O = N/A
T = TO
 O = 17
T = 1.54
 O = 17
T = 1.85
 O = 17
T = 21.72
b20_C-mbd14-0216.wcnf O = 26
T = 0.59		 O = 132
T = 262.82
 O = N/A
T = TO
 O = 102
T = 174.37
 O = 104
T = 46.90
 O = 116
T = 86.00
 O = N/A
T = TO
 O = 26
T = 0.59
 O = 26
T = 0.66
 O = 26
T = 2.90
b20_C-mbd14-0217.wcnf O = 21
T = 0.52		 O = N/A
T = TO
 O = N/A
T = TO
 O = 108
T = 143.44
 O = 96
T = 48.40
 O = 85
T = 101.46
 O = N/A
T = TO
 O = 21
T = 1.09
 O = 21
T = 0.52
 O = 21
T = 14.40
b20_C-mbd14-0221.wcnf O = 22
T = 0.37		 O = N/A
T = TO
 O = N/A
T = TO
 O = 75
T = 49.65
 O = 49
T = 42.79
 O = 57
T = 144.99
 O = N/A
T = TO
 O = 22
T = 0.37
 O = 22
T = 0.78
 O = 22
T = 2.72
b20_C-mbd14-0222.wcnf O = 28
T = 97.65		 O = 118
T = 71.51
 O = N/A
T = TO
 O = 128
T = 241.90
 O = 127
T = 69.00
 O = 115
T = 139.55
 O = N/A
T = TO
 O = 32
T = 284.35
 O = 28
T = 97.65
 O = 32
T = 0.08
b21_C-mbd14-0203.wcnf O = 27
T = 4.62		 O = 134
T = 137.19
 O = N/A
T = TO
 O = 72
T = 73.47
 O = 77
T = 259.93
 O = 48
T = 136.55
 O = N/A
T = TO
 O = 27
T = 9.93
 O = 27
T = 4.62
 O = 30
T = 0.07
b21_C-mbd14-0204.wcnf O = 22
T = 0.34		 O = N/A
T = TO
 O = N/A
T = TO
 O = 103
T = 45.18
 O = 105
T = 137.06
 O = 67
T = 134.79
 O = N/A
T = TO
 O = 22
T = 0.84
 O = 22
T = 0.34
 O = 22
T = 0.72
b21_C-mbd14-0205.wcnf O = 21
T = 2.37		 O = N/A
T = TO
 O = N/A
T = TO
 O = 85
T = 260.62
 O = 84
T = 139.67
 O = 73
T = 154.60
 O = N/A
T = TO
 O = 21
T = 2.37
 O = 21
T = 3.55
 O = 21
T = 5.02
b21_C-mbd14-0217.wcnf O = 21
T = 0.40		 O = N/A
T = TO
 O = N/A
T = TO
 O = 91
T = 50.16
 O = 96
T = 197.38
 O = 59
T = 0.29
 O = N/A
T = TO
 O = 21
T = 0.92
 O = 21
T = 0.63
 O = 21
T = 0.40
b21_C-mbd14-0218.wcnf O = 35
T = 0.08		 O = 99
T = 148.00
 O = N/A
T = TO
 O = 122
T = 106.88
 O = 83
T = 101.90
 O = 105
T = 0.13
 O = N/A
T = TO
 O = 35
T = 284.27
 O = 35
T = 0.15
 O = 35
T = 0.08
b21_C-mbd14-0221.wcnf O = 19
T = 0.28		 O = N/A
T = TO
 O = N/A
T = TO
 O = 101
T = 48.78
 O = 103
T = 49.45
 O = 88
T = 140.55
 O = N/A
T = TO
 O = 19
T = 0.35
 O = 19
T = 0.70
 O = 19
T = 0.28
b21_C-mbd14-0224.wcnf O = 16
T = 0.09		 O = N/A
T = TO
 O = N/A
T = TO
 O = 111
T = 170.75
 O = 109
T = 289.26
 O = 70
T = 139.77
 O = N/A
T = TO
 O = 16
T = 0.12
 O = 16
T = 0.24
 O = 16
T = 0.09
b21_C-mbd14-0227.wcnf O = 24
T = 0.17		 O = N/A
T = TO
 O = N/A
T = TO
 O = 93
T = 73.07
 O = 115
T = 98.25
 O = 119
T = 98.82
 O = N/A
T = TO
 O = 24
T = 0.18
 O = 24
T = 0.55
 O = 24
T = 0.17
b22_C-mbd14-0204.wcnf O = 23
T = 0.42		 O = N/A
T = TO
 O = N/A
T = TO
 O = 156
T = 195.57
 O = 160
T = 134.00
 O = 149
T = 165.85
 O = N/A
T = TO
 O = 23
T = 0.79
 O = 23
T = 1.37
 O = 23
T = 0.42
b22_C-mbd14-0205.wcnf O = 28
T = 0.34		 O = N/A
T = TO
 O = N/A
T = TO
 O = 157
T = 190.42
 O = 156
T = 257.52
 O = 173
T = 91.14
 O = N/A
T = TO
 O = 28
T = 0.46
 O = 28
T = 0.73
 O = 28
T = 0.34
b22_C-mbd14-0207.wcnf O = 25
T = 0.22		 O = N/A
T = TO
 O = N/A
T = TO
 O = 122
T = 235.69
 O = 132
T = 41.71
 O = 80
T = 0.19
 O = 25
T = 198.14
 O = 25
T = 0.22
 O = 25
T = 0.36
 O = 25
T = 0.26
b22_C-mbd14-0208.wcnf O = 23
T = 0.20		 O = 152
T = 272.74
 O = N/A
T = TO
 O = 108
T = 45.64
 O = 84
T = 55.43
 O = 99
T = 37.13
 O = N/A
T = TO
 O = 23
T = 0.20
 O = 23
T = 0.87
 O = 23
T = 0.28
b22_C-mbd14-0210.wcnf O = 26
T = 1.08		 O = 191
T = 243.01
 O = N/A
T = TO
 O = 173
T = 170.92
 O = 187
T = 99.23
 O = 140
T = 177.11
 O = N/A
T = TO
 O = 26
T = 2.49
 O = 26
T = 1.08
 O = 26
T = 19.40
b22_C-mbd14-0211.wcnf O = 22
T = 0.19		 O = N/A
T = TO
 O = N/A
T = TO
 O = 129
T = 201.95
 O = 130
T = 48.39
 O = 84
T = 0.31
 O = N/A
T = TO
 O = 22
T = 0.24
 O = 22
T = 0.43
 O = 22
T = 0.19
b22_C-mbd14-0213.wcnf O = 26
T = 0.14		 O = N/A
T = TO
 O = N/A
T = TO
 O = 156
T = 187.86
 O = 163
T = 39.75
 O = 116
T = 188.62
 O = 26
T = 245.26
 O = 26
T = 0.26
 O = 26
T = 0.27
 O = 26
T = 0.14
b22_C-mbd14-0215.wcnf O = 22
T = 0.20		 O = N/A
T = TO
 O = N/A
T = TO
 O = 142
T = 143.06
 O = 137
T = 45.45
 O = 106
T = 0.25
 O = N/A
T = TO
 O = 22
T = 0.27
 O = 22
T = 0.39
 O = 22
T = 0.20
1aabfc32-d491-11df-9a24-00163e3d3b7c_l3.wcnf O = 2236
T = 0.89		 O = N/A
T = TO
 O = N/A
T = TO
 O = 2236
T = 5.25
 O = 2236
T = 4.63
 O = 2236
T = 0.89
 O = 2236
T = 0.97
 O = 2236
T = 10.13
 O = 2236
T = 22.75
 O = 2236
T = 5.66
2c3aece6-c8b2-11df-a040-00163e3d3b7c_l3.wcnf O = 814
T = 0.23		 O = 814
T = 0.97
 O = N/A
T = TO
 O = 816
T = 5.60
 O = 814
T = 120.80
 O = 814
T = 1.64
 O = 814
T = 0.60
 O = 814
T = 0.24
 O = 814
T = 0.23
 O = 814
T = 56.85
4ede8d96-c17a-11df-a7c5-00163e3d3b7c_l3.wcnf O = 631
T = 0.43		 O = 631
T = 2.40
 O = N/A
T = TO
 O = 631
T = 4.31
 O = 631
T = 2.67
 O = 631
T = 0.43
 O = 631
T = 0.49
 O = 631
T = 0.96
 O = 631
T = 1.24
 O = 631
T = 1.01
7f80e4f0-4fe9-11e0-acd7-00163e1e087d_l3.wcnf O = 404
T = 0.07		 O = 404
T = 0.41
 O = N/A
T = TO
 O = 404
T = 2.64
 O = 404
T = 1.91
 O = 404
T = 0.15
 O = 404
T = 0.31
 O = 404
T = 0.12
 O = 404
T = 0.07
 O = 404
T = 7.43
ff4a1d84-d490-11df-9e6c-00163e3d3b7c_l3.wcnf O = 2236
T = 0.87		 O = 2250
T = 5.99
 O = N/A
T = TO
 O = 2236
T = 5.41
 O = 2236
T = 4.43
 O = 2236
T = 0.87
 O = 2236
T = 0.91
 O = 2236
T = 9.97
 O = 2236
T = 22.91
 O = 2236
T = 5.45
rand118_l2.wcnf O = 447
T = 0.98		 O = 456
T = 231.25
 O = N/A
T = TO
 O = 455
T = 285.93
 O = 458
T = 49.86
 O = 457
T = 113.04
 O = 447
T = 1.04
 O = 447
T = 0.99
 O = 447
T = 4.68
 O = 447
T = 0.98
rand172_l2.wcnf O = 670
T = 1.36		 O = 685
T = 263.16
 O = N/A
T = TO
 O = 674
T = 189.07
 O = 679
T = 22.65
 O = 674
T = 54.19
 O = 670
T = 1.36
 O = 670
T = 2.17
 O = 670
T = 15.46
 O = 670
T = 1.42
rand179_l2.wcnf O = 1088
T = 1.64		 O = 1106
T = 147.79
 O = N/A
T = TO
 O = 1098
T = 61.13
 O = 1103
T = 131.57
 O = 1099
T = 129.49
 O = 1088
T = 1.64
 O = 1088
T = 4.24
 O = 1088
T = 43.63
 O = 1088
T = 2.17
rand196_l2.wcnf O = 1298
T = 1.68		 O = 1340
T = 257.70
 O = N/A
T = TO
 O = 1325
T = 120.55
 O = 1332
T = 115.92
 O = 1323
T = 60.10
 O = 1298
T = 1.68
 O = 1298
T = 4.58
 O = 1298
T = 101.54
 O = 1298
T = 2.27
rand208_l2.wcnf O = 349
T = 0.83		 O = 362
T = 187.14
 O = N/A
T = TO
 O = 350
T = 249.31
 O = 352
T = 128.57
 O = 353
T = 108.42
 O = 349
T = 1.38
 O = 349
T = 0.83
 O = 349
T = 3.29
 O = 349
T = 0.84
rand209_l2.wcnf O = 1199
T = 1.10		 O = 1213
T = 171.14
 O = N/A
T = TO
 O = 1213
T = 45.42
 O = 1217
T = 71.85
 O = 1214
T = 261.25
 O = 1199
T = 1.10
 O = 1199
T = 3.55
 O = 1199
T = 29.55
 O = 1199
T = 2.08
rand21_l2.wcnf O = 1465
T = 1.55		 O = 1496
T = 257.26
 O = N/A
T = TO
 O = 1494
T = 261.39
 O = 1494
T = 286.15
 O = 1495
T = 39.17
 O = 1465
T = 1.55
 O = 1465
T = 5.55
 O = 1465
T = 111.07
 O = 1465
T = 3.05
rand242_l2.wcnf O = 388
T = 0.91		 O = 399
T = 199.43
 O = N/A
T = TO
 O = 404
T = 82.51
 O = 410
T = 31.79
 O = 406
T = 53.64
 O = 388
T = 1.84
 O = 388
T = 1.07
 O = 388
T = 5.00
 O = 388
T = 0.91
rand289_l2.wcnf O = 350
T = 0.88		 O = 358
T = 227.10
 O = N/A
T = TO
 O = 355
T = 157.90
 O = 366
T = 13.76
 O = 355
T = 82.57
 O = 350
T = 1.59
 O = 350
T = 0.93
 O = 350
T = 3.01
 O = 350
T = 0.88
rand290_l2.wcnf O = 1017
T = 1.79		 O = 1046
T = 188.14
 O = N/A
T = TO
 O = 1040
T = 183.18
 O = 1044
T = 222.13
 O = 1032
T = 4.03
 O = 1017
T = 1.79
 O = 1017
T = 3.62
 O = 1017
T = 44.41
 O = 1017
T = 1.95
rand308_l2.wcnf O = 1235
T = 0.69		 O = 1240
T = 51.52
 O = N/A
T = TO
 O = 1244
T = 128.16
 O = 1245
T = 7.63
 O = 1245
T = 170.79
 O = 1235
T = 0.69
 O = 1235
T = 3.22
 O = 1235
T = 44.05
 O = 1235
T = 1.05
rand30_l2.wcnf O = 512
T = 0.88		 O = 515
T = 27.83
 O = N/A
T = TO
 O = 516
T = 185.77
 O = 521
T = 277.83
 O = 516
T = 30.01
 O = 512
T = 0.88
 O = 512
T = 1.15
 O = 512
T = 6.56
 O = 512
T = 1.08
rand313_l2.wcnf O = 1595
T = 1.18		 O = 1665
T = 88.50
 O = N/A
T = TO
 O = 1615
T = 104.65
 O = 1617
T = 99.44
 O = 1619
T = 170.48
 O = 1595
T = 1.18
 O = 1595
T = 5.53
 O = 1595
T = 87.89
 O = 1595
T = 2.57
rand377_l2.wcnf O = 574
T = 0.63		 O = 574
T = 28.21
 O = N/A
T = TO
 O = 578
T = 7.78
 O = 579
T = 7.61
 O = 578
T = 1.63
 O = 574
T = 0.63
 O = 574
T = 0.92
 O = 574
T = 4.12
 O = 574
T = 0.72
rand411_l2.wcnf O = 578
T = 1.18		 O = 602
T = 51.45
 O = N/A
T = TO
 O = 595
T = 17.70
 O = 586
T = 261.99
 O = 588
T = 156.51
 O = 578
T = 1.72
 O = 578
T = 1.43
 O = 578
T = 5.78
 O = 578
T = 1.18
rand414_l2.wcnf O = 1259
T = 0.74		 O = 1267
T = 143.96
 O = N/A
T = TO
 O = 1266
T = 109.39
 O = 1267
T = 7.67
 O = 1266
T = 77.16
 O = 1259
T = 0.74
 O = 1259
T = 3.19
 O = 1259
T = 50.23
 O = 1259
T = 1.08
rand425_l2.wcnf O = 694
T = 0.88		 O = 697
T = 285.67
 O = N/A
T = TO
 O = 698
T = 257.03
 O = 707
T = 185.88
 O = 697
T = 128.22
 O = 694
T = 0.88
 O = 694
T = 1.51
 O = 694
T = 7.70
 O = 694
T = 1.23
rand446_l2.wcnf O = 416
T = 1.02		 O = 430
T = 131.90
 O = N/A
T = TO
 O = 424
T = 80.41
 O = 429
T = 70.85
 O = 422
T = 244.82
 O = 416
T = 1.43
 O = 416
T = 1.02
 O = 416
T = 3.38
 O = 416
T = 1.02
rand484_l2.wcnf O = 331
T = 0.74		 O = 346
T = 68.17
 O = N/A
T = TO
 O = 341
T = 45.66
 O = 344
T = 202.33
 O = 341
T = 75.04
 O = 331
T = 1.31
 O = 331
T = 0.78
 O = 331
T = 3.23
 O = 331
T = 0.74
rand507_l2.wcnf O = 1197
T = 0.74		 O = 1205
T = 79.47
 O = N/A
T = TO
 O = 1204
T = 156.44
 O = 1207
T = 121.09
 O = 1204
T = 175.97
 O = 1197
T = 0.74
 O = 1197
T = 2.92
 O = 1197
T = 46.82
 O = 1197
T = 1.08
rand695_l2.wcnf O = 974
T = 0.62		 O = 976
T = 27.19
 O = N/A
T = TO
 O = 974
T = 30.43
 O = 974
T = 243.67
 O = 974
T = 123.13
 O = 974
T = 0.62
 O = 974
T = 1.80
 O = 974
T = 22.42
 O = 974
T = 0.87
rand717_l2.wcnf O = 1120
T = 1.45		 O = 1143
T = 199.94
 O = N/A
T = TO
 O = 1145
T = 38.28
 O = 1155
T = 289.58
 O = 1145
T = 95.25
 O = 1120
T = 1.45
 O = 1120
T = 4.12
 O = 1120
T = 56.85
 O = 1120
T = 2.04
rand736_l2.wcnf O = 1232
T = 0.75		 O = 1238
T = 130.37
 O = N/A
T = TO
 O = 1237
T = 107.85
 O = 1236
T = 122.42
 O = 1236
T = 243.22
 O = 1232
T = 0.75
 O = 1232
T = 2.79
 O = 1232
T = 45.78
 O = 1232
T = 1.10
rand736_l3.wcnf O = 1481
T = 0.15		 O = 1481
T = 2.62
 O = N/A
T = TO
 O = 1481
T = 1.10
 O = 1481
T = 0.87
 O = 1481
T = 0.40
 O = 1481
T = 0.59
 O = 1481
T = 0.21
 O = 1481
T = 0.15
 O = 1481
T = 1.04
rand794_l2.wcnf O = 472
T = 1.02		 O = 475
T = 200.57
 O = N/A
T = TO
 O = 478
T = 163.50
 O = 484
T = 240.10
 O = 477
T = 84.90
 O = 472
T = 1.05
 O = 472
T = 1.10
 O = 472
T = 4.01
 O = 472
T = 1.02
rand7_l2.wcnf O = 971
T = 0.90		 O = 998
T = 256.10
 O = N/A
T = TO
 O = 982
T = 94.24
 O = 985
T = 282.34
 O = 982
T = 27.49
 O = 971
T = 0.90
 O = 971
T = 2.63
 O = 971
T = 33.03
 O = 971
T = 1.85
rand813_l2.wcnf O = 1192
T = 0.97		 O = 1199
T = 47.57
 O = N/A
T = TO
 O = 1202
T = 174.88
 O = 1201
T = 153.25
 O = 1199
T = 181.22
 O = 1192
T = 1.09
 O = 1192
T = 2.59
 O = 1192
T = 47.26
 O = 1192
T = 0.97
rand869_l2.wcnf O = 459
T = 0.97		 O = 471
T = 174.48
 O = N/A
T = TO
 O = 472
T = 226.63
 O = 477
T = 122.36
 O = 468
T = 145.85
 O = 459
T = 1.72
 O = 459
T = 1.22
 O = 459
T = 8.09
 O = 459
T = 0.97
rand874_l2.wcnf O = 863
T = 1.65		 O = 880
T = 102.25
 O = N/A
T = TO
 O = 870
T = 89.88
 O = 873
T = 27.89
 O = 873
T = 38.88
 O = 863
T = 1.72
 O = 863
T = 2.48
 O = 863
T = 27.74
 O = 863
T = 1.65
rand892_l2.wcnf O = 1119
T = 0.95		 O = 1122
T = 141.14
 O = N/A
T = TO
 O = 1121
T = 268.67
 O = 1124
T = 15.05
 O = 1124
T = 248.54
 O = 1119
T = 0.95
 O = 1119
T = 2.83
 O = 1119
T = 39.04
 O = 1119
T = 1.06
rand937_l2.wcnf O = 439
T = 0.96		 O = 448
T = 27.98
 O = N/A
T = TO
 O = 441
T = 201.14
 O = 448
T = 58.13
 O = 442
T = 157.39
 O = 439
T = 1.08
 O = 439
T = 0.96
 O = 439
T = 5.09
 O = 439
T = 1.06
rand943_l2.wcnf O = 829
T = 1.26		 O = 853
T = 75.07
 O = N/A
T = TO
 O = 844
T = 98.86
 O = 854
T = 14.90
 O = 843
T = 175.07
 O = 829
T = 1.26
 O = 829
T = 2.57
 O = 829
T = 29.06
 O = 829
T = 1.73
rand954_l2.wcnf O = 700
T = 0.97		 O = 707
T = 140.53
 O = N/A
T = TO
 O = 703
T = 57.58
 O = 709
T = 273.27
 O = 703
T = 125.14
 O = 700
T = 0.97
 O = 700
T = 1.70
 O = 700
T = 10.57
 O = 700
T = 1.18
rand96_l2.wcnf O = 392
T = 0.85		 O = 393
T = 190.93
 O = N/A
T = TO
 O = 395
T = 272.52
 O = 396
T = 70.43
 O = 393
T = 204.76
 O = 392
T = 1.54
 O = 392
T = 0.90
 O = 392
T = 3.52
 O = 392
T = 0.85
rand984_l2.wcnf O = 839
T = 1.62		 O = 847
T = 107.61
 O = N/A
T = TO
 O = 850
T = 244.63
 O = 855
T = 281.74
 O = 846
T = 145.42
 O = 839
T = 1.62
 O = 839
T = 2.94
 O = 839
T = 25.06
 O = 839
T = 1.77
10tree110p.wcnf O = 20
T = 6.10		 O = 120
T = 272.30
 O = N/A
T = TO
 O = N/A
T = TO
 O = 130
T = 268.31
 O = 113
T = 234.95
 O = N/A
T = TO
 O = 20
T = 6.10
 O = 20
T = 10.60
 O = 132
T = 0.06
10tree120p.wcnf O = 41
T = 1.20		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 141
T = 209.05
 O = 131
T = 270.02
 O = N/A
T = TO
 O = 41
T = 1.20
 O = 41
T = 150.86
 O = 156
T = 0.05
10tree130p.wcnf O = 63
T = 9.72		 O = N/A
T = TO
 O = N/A
T = TO
 O = 132
T = 72.46
 O = 141
T = 33.76
 O = 133
T = 46.82
 O = N/A
T = TO
 O = 63
T = 9.72
 O = 128
T = 0.12
 O = 136
T = 0.09
10tree215p.wcnf O = 31
T = 1.88		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 116
T = 288.65
 O = 146
T = 231.91
 O = N/A
T = TO
 O = 31
T = 1.88
 O = 31
T = 57.75
 O = 102
T = 0.08
10tree225p.wcnf O = 52
T = 37.03		 O = 139
T = 245.31
 O = N/A
T = TO
 O = N/A
T = TO
 O = 123
T = 284.79
 O = 126
T = 89.99
 O = N/A
T = TO
 O = 52
T = 37.03
 O = 141
T = 0.10
 O = 148
T = 0.07
10tree305p.wcnf O = 9
T = 0.91		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 131
T = 245.78
 O = 105
T = 90.41
 O = N/A
T = TO
 O = 9
T = 1.03
 O = 9
T = 0.91
 O = 9
T = 1.78
10tree315p.wcnf O = 30
T = 3.63		 O = N/A
T = TO
 O = N/A
T = TO
 O = 143
T = 167.54
 O = 135
T = 212.12
 O = N/A
T = TO
 O = N/A
T = TO
 O = 30
T = 3.63
 O = 30
T = 54.60
 O = 132
T = 0.08
10tree325p.wcnf O = 48
T = 24.43		 O = N/A
T = TO
 O = N/A
T = TO
 O = 119
T = 281.61
 O = 138
T = 124.66
 O = 131
T = 118.83
 O = N/A
T = TO
 O = 48
T = 24.43
 O = 52
T = 0.08
 O = 136
T = 0.07
10tree405p.wcnf O = 9
T = 0.86		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 99
T = 242.15
 O = 130
T = 122.18
 O = N/A
T = TO
 O = 9
T = 0.86
 O = 9
T = 1.24
 O = 9
T = 4.21
10tree410p.wcnf O = 21
T = 0.82		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 113
T = 103.98
 O = N/A
T = TO
 O = N/A
T = TO
 O = 21
T = 0.82
 O = 21
T = 13.55
 O = 149
T = 0.07
10tree420p.wcnf O = 41
T = 11.99		 O = 158
T = 47.11
 O = N/A
T = TO
 O = 135
T = 9.72
 O = 113
T = 192.32
 O = 129
T = 179.09
 O = N/A
T = TO
 O = 41
T = 11.99
 O = 41
T = 161.60
 O = 157
T = 0.06
10tree430p.wcnf O = 62
T = 70.81		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 120
T = 53.62
 O = N/A
T = TO
 O = N/A
T = TO
 O = 62
T = 70.81
 O = 116
T = 0.06
 O = 147
T = 0.06
10tree505posib.wcnf O = 10
T = 0.72		 O = 99
T = 142.55
 O = N/A
T = TO
 O = N/A
T = TO
 O = 50
T = 232.96
 O = 95
T = 79.65
 O = 10
T = 264.74
 O = 10
T = 1.01
 O = 10
T = 0.72
 O = 10
T = 1.00
10tree515p.wcnf O = 29
T = 7.33		 O = 111
T = 31.72
 O = N/A
T = TO
 O = N/A
T = TO
 O = 135
T = 209.79
 O = N/A
T = TO
 O = N/A
T = TO
 O = 29
T = 7.33
 O = 29
T = 51.32
 O = 153
T = 0.07
10tree525p.wcnf O = 52
T = 5.42		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 127
T = 92.68
 O = N/A
T = TO
 O = N/A
T = TO
 O = 52
T = 5.42
 O = 123
T = 0.09
 O = 140
T = 0.08
15tree1001p.wcnf O = 13
T = 35.52		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 13
T = 35.52
 O = 13
T = 105.01
 O = 827
T = 0.16
15tree101p.wcnf O = 13
T = 16.32		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 13
T = 16.32
 O = 13
T = 43.47
 O = 886
T = 0.21
15tree201p.wcnf O = 13
T = 13.76		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 13
T = 13.76
 O = 13
T = 37.26
 O = 985
T = 0.17
15tree301p.wcnf O = 13
T = 8.90		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 13
T = 8.90
 O = 13
T = 96.76
 O = 906
T = 0.17
15tree401p.wcnf O = 13
T = 52.77		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 13
T = 194.97
 O = 13
T = 52.77
 O = 937
T = 0.19
15tree501p.wcnf O = 13
T = 26.72		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 13
T = 26.72
 O = 13
T = 123.82
 O = 876
T = 0.19
15tree601p.wcnf O = 13
T = 9.09		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 13
T = 9.09
 O = 13
T = 112.03
 O = 849
T = 0.15
15tree701p.wcnf O = 13
T = 19.12		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 13
T = 19.12
 O = 13
T = 66.68
 O = 952
T = 0.19
15tree801p.wcnf O = 13
T = 28.07		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 13
T = 28.07
 O = 13
T = 72.22
 O = 906
T = 0.14
15tree901p.wcnf O = 13
T = 58.48		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 13
T = 58.48
 O = 13
T = 94.67
 O = 989
T = 0.22
10tree115p.wcnf O = 31
T = 0.95		 O = N/A
T = TO
 O = N/A
T = TO
 O = 55
T = 133.61
 O = 41
T = 154.26
 O = 40
T = 259.57
 O = N/A
T = TO
 O = 31
T = 0.95
 O = 31
T = 11.68
 O = 147
T = 0.07
10tree125p.wcnf O = 52
T = 8.26		 O = 110
T = 3.62
 O = N/A
T = TO
 O = 72
T = 18.54
 O = 82
T = 121.62
 O = 98
T = 132.16
 O = N/A
T = TO
 O = 52
T = 8.26
 O = 52
T = 88.23
 O = 140
T = 0.04
10tree210p.wcnf O = 21
T = 0.07		 O = 63
T = 130.81
 O = N/A
T = TO
 O = 21
T = 22.54
 O = 84
T = 214.42
 O = 60
T = 129.03
 O = N/A
T = TO
 O = 21
T = 0.15
 O = 21
T = 0.07
 O = 21
T = 48.11
10tree220p.wcnf O = 42
T = 7.72		 O = 111
T = 3.69
 O = N/A
T = TO
 O = 96
T = 2.53
 O = 61
T = 236.43
 O = 67
T = 237.23
 O = N/A
T = TO
 O = 42
T = 7.72
 O = 42
T = 39.45
 O = 139
T = 0.04
10tree230p.wcnf O = 63
T = 16.98		 O = 96
T = 21.59
 O = N/A
T = TO
 O = 84
T = 16.60
 O = 69
T = 54.91
 O = 100
T = 196.42
 O = N/A
T = TO
 O = 63
T = 16.98
 O = 63
T = 207.50
 O = 146
T = 0.08
10tree310p.wcnf O = 21
T = 0.07		 O = 66
T = 7.93
 O = N/A
T = TO
 O = 25
T = 66.94
 O = 66
T = 286.56
 O = 52
T = 40.64
 O = N/A
T = TO
 O = 21
T = 0.81
 O = 21
T = 0.07
 O = 151
T = 0.04
10tree320p.wcnf O = 42
T = 0.08		 O = 86
T = 14.31
 O = N/A
T = TO
 O = 105
T = 113.92
 O = 42
T = 155.87
 O = 60
T = 209.89
 O = N/A
T = TO
 O = 42
T = 0.78
 O = 42
T = 0.08
 O = 147
T = 0.05
10tree330p.wcnf O = 63
T = 7.81		 O = 134
T = 1.51
 O = N/A
T = TO
 O = 63
T = 99.67
 O = 79
T = 230.90
 O = 66
T = 83.89
 O = N/A
T = TO
 O = 63
T = 7.81
 O = 63
T = 268.18
 O = 145
T = 0.05
10tree405posib.wcnf O = 10
T = 0.11		 O = 94
T = 1.08
 O = N/A
T = TO
 O = 79
T = 65.55
 O = 10
T = 3.92
 O = 10
T = 36.28
 O = N/A
T = TO
 O = 10
T = 0.11
 O = 10
T = 0.44
 O = 10
T = 1.10
10tree415p.wcnf O = 31
T = 0.59		 O = 125
T = 0.89
 O = N/A
T = TO
 O = 31
T = 68.41
 O = 59
T = 192.31
 O = 75
T = 70.01
 O = N/A
T = TO
 O = 31
T = 0.59
 O = 31
T = 15.28
 O = 111
T = 0.07
10tree425p.wcnf O = 52
T = 1.43		 O = 80
T = 45.67
 O = N/A
T = TO
 O = 52
T = 125.76
 O = 70
T = 191.63
 O = 81
T = 62.78
 O = N/A
T = TO
 O = 52
T = 1.43
 O = 52
T = 125.50
 O = 122
T = 0.11
10tree505p.wcnf O = 10
T = 0.26		 O = 30
T = 32.86
 O = N/A
T = TO
 O = 10
T = 204.30
 O = 30
T = 28.61
 O = 30
T = 250.00
 O = N/A
T = TO
 O = 10
T = 0.74
 O = 10
T = 0.47
 O = 10
T = 0.26
10tree510p.wcnf O = 21
T = 1.21		 O = 69
T = 10.66
 O = N/A
T = TO
 O = 21
T = 122.77
 O = 54
T = 10.24
 O = 54
T = 222.01
 O = N/A
T = TO
 O = 21
T = 1.21
 O = 21
T = 3.93
 O = 21
T = 32.66
10tree520p.wcnf O = 42
T = 3.35		 O = 106
T = 1.50
 O = N/A
T = TO
 O = 62
T = 264.30
 O = 61
T = 51.20
 O = 50
T = 273.25
 O = N/A
T = TO
 O = 42
T = 3.35
 O = 42
T = 33.62
 O = 145
T = 0.05
10tree530p.wcnf O = 63
T = 0.65		 O = 97
T = 260.93
 O = N/A
T = TO
 O = 77
T = 224.44
 O = 65
T = 130.76
 O = 94
T = 161.50
 O = N/A
T = TO
 O = 63
T = 0.65
 O = 63
T = 209.35
 O = 144
T = 0.06
15tree1001posib.wcnf O = 13
T = 0.84		 O = 510
T = 216.58
 O = N/A
T = TO
 O = 672
T = 279.49
 O = 594
T = 187.12
 O = 558
T = 87.09
 O = N/A
T = TO
 O = 13
T = 0.84
 O = 13
T = 2.58
 O = 13
T = 28.21
15tree101posib.wcnf O = 13
T = 2.35		 O = 628
T = 62.72
 O = N/A
T = TO
 O = 610
T = 33.48
 O = 667
T = 49.09
 O = 140
T = 55.58
 O = N/A
T = TO
 O = 13
T = 2.35
 O = 13
T = 8.71
 O = 13
T = 34.62
15tree201posib.wcnf O = 13
T = 1.41		 O = 573
T = 115.59
 O = N/A
T = TO
 O = 491
T = 255.68
 O = 561
T = 265.63
 O = 442
T = 108.68
 O = N/A
T = TO
 O = 13
T = 1.41
 O = 13
T = 11.58
 O = 13
T = 168.17
15tree301posib.wcnf O = 13
T = 2.89		 O = 585
T = 84.88
 O = N/A
T = TO
 O = 336
T = 212.99
 O = 203
T = 159.50
 O = 570
T = 280.96
 O = N/A
T = TO
 O = 13
T = 2.89
 O = 13
T = 11.21
 O = 13
T = 48.94
15tree401posib.wcnf O = 13
T = 1.37		 O = 728
T = 134.68
 O = N/A
T = TO
 O = 341
T = 193.23
 O = 652
T = 35.18
 O = 577
T = 143.76
 O = N/A
T = TO
 O = 13
T = 1.37
 O = 13
T = 4.68
 O = 13
T = 18.22
15tree501posib.wcnf O = 13
T = 0.78		 O = 683
T = 184.03
 O = N/A
T = TO
 O = 13
T = 197.66
 O = 724
T = 46.15
 O = 597
T = 36.91
 O = N/A
T = TO
 O = 13
T = 0.78
 O = 13
T = 9.86
 O = 13
T = 71.96
15tree601posib.wcnf O = 13
T = 1.00		 O = 831
T = 200.00
 O = N/A
T = TO
 O = 423
T = 83.20
 O = 782
T = 159.87
 O = 668
T = 114.68
 O = N/A
T = TO
 O = 13
T = 1.00
 O = 13
T = 11.83
 O = 13
T = 42.27
15tree701posib.wcnf O = 13
T = 1.96		 O = 523
T = 273.65
 O = N/A
T = TO
 O = 591
T = 27.35
 O = 708
T = 63.88
 O = 530
T = 157.21
 O = N/A
T = TO
 O = 13
T = 1.96
 O = 13
T = 3.54
 O = 13
T = 24.64
15tree801posib.wcnf O = 13
T = 1.45		 O = 311
T = 259.15
 O = N/A
T = TO
 O = 197
T = 185.00
 O = N/A
T = TO
 O = 582
T = 173.90
 O = N/A
T = TO
 O = 13
T = 1.45
 O = 13
T = 6.45
 O = 13
T = 7.65
15tree901posib.wcnf O = 13
T = 1.00		 O = 658
T = 178.68
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 645
T = 131.83
 O = N/A
T = TO
 O = 13
T = 1.00
 O = 13
T = 3.03
 O = 13
T = 3.43
normalized-s3-3-3-1pb.wcnf O = 36
T = 0.00		 O = 36
T = 2.37
 O = N/A
T = TO
 O = 36
T = 0.08
 O = 36
T = 0.33
 O = 36
T = 0.25
 O = 36
T = 0.24
 O = 36
T = 0.01
 O = 36
T = 0.00
 O = 36
T = 0.00
normalized-s3-3-3-2pb.wcnf O = 36
T = 0.02		 O = 36
T = 2.40
 O = N/A
T = TO
 O = 36
T = 0.09
 O = 36
T = 0.23
 O = 36
T = 0.09
 O = 36
T = 0.23
 O = 36
T = 0.02
 O = 36
T = 0.02
 O = 36
T = 0.02
normalized-s3-3-3-3pb.wcnf O = 36
T = 0.01		 O = 36
T = 3.64
 O = N/A
T = TO
 O = 36
T = 0.04
 O = 36
T = 0.20
 O = 36
T = 0.10
 O = 36
T = 0.18
 O = 36
T = 0.02
 O = 36
T = 0.01
 O = 36
T = 0.02
normalized-s3-3-3-4pb.wcnf O = 36
T = 0.00		 O = 36
T = 3.52
 O = N/A
T = TO
 O = 36
T = 0.08
 O = 36
T = 0.35
 O = 36
T = 0.08
 O = 36
T = 0.29
 O = 36
T = 0.00
 O = 36
T = 0.00
 O = 36
T = 0.01
normalized-s3-3-3-5pb.wcnf O = 34
T = 0.00		 O = 34
T = 0.50
 O = 36
T = 239.34
 O = 34
T = 0.11
 O = 34
T = 0.15
 O = 34
T = 0.13
 O = 34
T = 0.58
 O = 34
T = 0.00
 O = 34
T = 0.00
 O = 34
T = 0.00
normalized-s4-4-3-10pb.wcnf O = 70
T = 0.24		 O = N/A
T = TO
 O = N/A
T = TO
 O = 70
T = 24.45
 O = 70
T = 0.92
 O = 70
T = 1.79
 O = 70
T = 2.11
 O = 70
T = 0.72
 O = 70
T = 0.36
 O = 70
T = 0.24
normalized-s4-4-3-1pb.wcnf O = 62
T = 0.36		 O = N/A
T = TO
 O = N/A
T = TO
 O = 62
T = 7.72
 O = 62
T = 9.21
 O = 62
T = 8.58
 O = 62
T = 1.61
 O = 62
T = 0.36
 O = 62
T = 0.99
 O = 62
T = 1.25
normalized-s4-4-3-2pb.wcnf O = 64
T = 0.52		 O = N/A
T = TO
 O = N/A
T = TO
 O = 64
T = 1.85
 O = 64
T = 38.91
 O = 64
T = 11.37
 O = 64
T = 30.62
 O = 64
T = 0.52
 O = 64
T = 5.53
 O = 64
T = 0.82
normalized-s4-4-3-3pb.wcnf O = 62
T = 1.15		 O = N/A
T = TO
 O = N/A
T = TO
 O = 62
T = 256.57
 O = 64
T = 66.13
 O = 62
T = 61.92
 O = 62
T = 1.73
 O = 62
T = 1.87
 O = 62
T = 2.55
 O = 62
T = 1.15
normalized-s4-4-3-4pb.wcnf O = 60
T = 0.14		 O = 60
T = 81.76
 O = N/A
T = TO
 O = 60
T = 0.67
 O = 60
T = 0.17
 O = 60
T = 0.81
 O = 60
T = 0.99
 O = 60
T = 0.41
 O = 60
T = 0.14
 O = 60
T = 0.68
normalized-s4-4-3-5pb.wcnf O = 60
T = 0.46		 O = 66
T = 0.57
 O = N/A
T = TO
 O = 60
T = 1.53
 O = 60
T = 172.68
 O = 60
T = 12.22
 O = 60
T = 0.93
 O = 60
T = 0.46
 O = 60
T = 1.39
 O = 60
T = 1.06
normalized-s4-4-3-6pb.wcnf O = 66
T = 0.40		 O = N/A
T = TO
 O = N/A
T = TO
 O = 66
T = 0.76
 O = 66
T = 3.64
 O = 66
T = 1.09
 O = 66
T = 1.30
 O = 66
T = 0.40
 O = 66
T = 1.52
 O = 66
T = 0.52
normalized-s4-4-3-7pb.wcnf O = 64
T = 0.50		 O = N/A
T = TO
 O = N/A
T = TO
 O = 64
T = 5.12
 O = 64
T = 51.41
 O = 64
T = 15.20
 O = 64
T = 1.55
 O = 64
T = 1.26
 O = 64
T = 1.03
 O = 64
T = 0.50
normalized-s4-4-3-8pb.wcnf O = 36
T = 0.04		 O = 36
T = 15.54
 O = N/A
T = TO
 O = 38
T = 93.86
 O = 36
T = 47.89
 O = 38
T = 175.51
 O = 36
T = 0.41
 O = 36
T = 0.08
 O = 36
T = 0.11
 O = 36
T = 0.04
normalized-s4-4-3-9pb.wcnf O = 68
T = 0.40		 O = N/A
T = TO
 O = N/A
T = TO
 O = 68
T = 57.26
 O = 68
T = 0.40
 O = 68
T = 23.25
 O = 68
T = 99.82
 O = 68
T = 0.93
 O = 68
T = 3.14
 O = 68
T = 7.39
1bpi_.2knt_.g.wcnf.t.wcnf O = 35
T = 2.47		 O = 35
T = 2.96
 O = 35
T = 2.75
 O = 35
T = 2.82
 O = 35
T = 2.47
 O = 35
T = 4.11
 O = N/A
T = TO
 O = 35
T = 2.87
 O = 35
T = 290.83
 O = 64
T = 0.66
1bpi_.5pti_.g.wcnf.t.wcnf O = 29
T = 3.63		 O = 29
T = 4.33
 O = 29
T = 3.91
 O = 29
T = 4.11
 O = 29
T = 3.63
 O = 29
T = 6.38
 O = N/A
T = TO
 O = 29
T = 28.42
 O = 29
T = 142.18
 O = 71
T = 1.05
1knt_.1bpi_.g.wcnf.t.wcnf O = 35
T = 2.28		 O = 35
T = 3.40
 O = 35
T = 2.28
 O = 35
T = 2.84
 O = 35
T = 2.61
 O = 35
T = 4.26
 O = N/A
T = TO
 O = 35
T = 118.54
 O = N/A
T = TO
 O = 65
T = 0.68
1knt_.2knt_.g.wcnf.t.wcnf O = 16
T = 1.83		 O = 16
T = 2.00
 O = 16
T = 1.83
 O = 16
T = 2.30
 O = 16
T = 2.08
 O = 16
T = 2.80
 O = N/A
T = TO
 O = 16
T = 4.84
 O = 16
T = 3.84
 O = 16
T = 77.91
1knt_.5pti_.g.wcnf.t.wcnf O = 29
T = 2.00		 O = 29
T = 2.56
 O = 29
T = 2.22
 O = 29
T = 2.52
 O = 29
T = 2.00
 O = 29
T = 3.53
 O = N/A
T = TO
 O = 29
T = 33.96
 O = 29
T = 252.63
 O = 57
T = 0.54
1vii_.1cph_.g.wcnf.t.wcnf O = 7
T = 0.01		 O = 7
T = 0.34
 O = 7
T = 0.28
 O = 7
T = 0.13
 O = 7
T = 0.09
 O = 7
T = 0.23
 O = 7
T = 0.53
 O = 7
T = 0.01
 O = 7
T = 0.02
 O = 7
T = 0.05
2knt_.5pti_.g.wcnf.t.wcnf O = 32
T = 1.79		 O = 32
T = 2.75
 O = 32
T = 2.09
 O = 32
T = 2.34
 O = 32
T = 1.79
 O = 32
T = 3.45
 O = N/A
T = TO
 O = 32
T = 62.50
 O = 32
T = 145.48
 O = 60
T = 0.60
3ebx_.1era_.g.wcnf.t.wcnf O = 34
T = 2.54		 O = 34
T = 3.51
 O = 34
T = 2.80
 O = 34
T = 3.20
 O = 34
T = 2.54
 O = 34
T = 4.56
 O = N/A
T = TO
 O = 34
T = 81.30
 O = 56
T = 0.76
 O = 65
T = 0.76
3ebx_.6ebx_.g.wcnf.t.wcnf O = 23
T = 1.56		 O = 23
T = 3.98
 O = 37
T = 1.29
 O = 23
T = 1.97
 O = 23
T = 1.56
 O = 23
T = 2.51
 O = N/A
T = TO
 O = 23
T = 17.85
 O = 23
T = 24.59
 O = 51
T = 0.40
6ebx_.1era_.g.wcnf.t.wcnf O = 30
T = 1.31		 O = 30
T = 1.65
 O = 36
T = 1.73
 O = 30
T = 1.31
 O = 30
T = 1.38
 O = 30
T = 2.07
 O = N/A
T = TO
 O = 30
T = 2.90
 O = 30
T = 124.87
 O = 50
T = 0.31
p1.wcnf.t.wcnf O = 35
T = 2.26		 O = 35
T = 2.26
 O = 35
T = 2.60
 O = 35
T = 2.72
 O = 35
T = 2.40
 O = 35
T = 3.97
 O = N/A
T = TO
 O = 35
T = 104.86
 O = 35
T = 227.45
 O = 64
T = 0.68
sandiaprotein.g.wcnf.t.wcnf O = 28
T = 2.43		 O = 28
T = 2.97
 O = 28
T = 2.62
 O = 28
T = 2.52
 O = 28
T = 2.43
 O = 28
T = 4.02
 O = N/A
T = TO
 O = 28
T = 39.92
 O = 28
T = 157.67
 O = 59
T = 0.57
b18-s_PathRelaxation_Set_FS_1.wcnf O = 148
T = 8.87		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 148
T = 8.87
 O = 148
T = 12.57
 O = 148
T = 10.00
b18-s_PathRelaxation_Set_FS_10.wcnf O = 113
T = 36.83		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 113
T = 47.12
 O = 113
T = 36.83
 O = 2256
T = 2.40
b18-s_PathRelaxation_Set_FS_11.wcnf O = 113
T = 63.84		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 113
T = 67.67
 O = 113
T = 63.84
 O = 2237
T = 2.55
b18-s_PathRelaxation_Set_FS_12.wcnf O = 113
T = 83.65		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 113
T = 248.54
 O = 113
T = 83.65
 O = 2256
T = 2.49
b18-s_PathRelaxation_Set_FS_2.wcnf O = 145
T = 31.59		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 145
T = 31.59
 O = 145
T = 86.04
 O = 2172
T = 2.83
b18-s_PathRelaxation_Set_FS_3.wcnf O = 145
T = 50.59		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 145
T = 50.59
 O = 145
T = 176.79
 O = 2197
T = 2.08
b18-s_PathRelaxation_Set_FS_4.wcnf O = 153
T = 254.43		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 153
T = 254.43
 O = N/A
T = TO
 O = 2195
T = 2.38
b18-s_PathRelaxation_Set_FS_5.wcnf O = 145
T = 171.66		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 145
T = 171.66
 O = 1079
T = 2.59
 O = 2244
T = 2.57
b18-s_PathRelaxation_Set_FS_6.wcnf O = 424
T = 254.21		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 424
T = 254.21
 O = N/A
T = TO
 O = 2183
T = 2.34
b18-s_PathRelaxation_Set_FS_7.wcnf O = 207
T = 1.77		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 353
T = 254.00
 O = 207
T = 1.77
 O = 2185
T = 2.80
b18-s_PathRelaxation_Set_FS_8.wcnf O = 312
T = 0.73		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 323
T = 254.49
 O = 312
T = 0.73
 O = 2248
T = 2.51
b18-s_PathRelaxation_Set_FS_9.wcnf O = 167
T = 254.38		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 167
T = 254.38
 O = 269
T = 1.48
 O = 2269
T = 2.54
b20-s_PathRelaxation_Set_FS_1.wcnf O = 84
T = 3.06		 O = 99
T = 31.12
 O = N/A
T = TO
 O = 100
T = 53.85
 O = 92
T = 60.26
 O = 100
T = 187.42
 O = N/A
T = TO
 O = 84
T = 3.06
 O = 84
T = 3.28
 O = 251
T = 0.18
b20-s_PathRelaxation_Set_FS_10.wcnf O = 83
T = 9.70		 O = 101
T = 108.20
 O = N/A
T = TO
 O = 106
T = 12.01
 O = 96
T = 74.79
 O = 107
T = 204.41
 O = N/A
T = TO
 O = 83
T = 11.95
 O = 83
T = 9.70
 O = 379
T = 0.25
b20-s_PathRelaxation_Set_FS_11.wcnf O = 83
T = 6.06		 O = 118
T = 249.75
 O = N/A
T = TO
 O = 112
T = 56.37
 O = 104
T = 44.51
 O = 106
T = 52.99
 O = N/A
T = TO
 O = 83
T = 6.06
 O = 83
T = 9.33
 O = 379
T = 0.24
b20-s_PathRelaxation_Set_FS_12.wcnf O = 83
T = 15.28		 O = 104
T = 239.77
 O = N/A
T = TO
 O = 94
T = 17.07
 O = 107
T = 15.37
 O = 102
T = 80.56
 O = N/A
T = TO
 O = 83
T = 19.02
 O = 83
T = 15.28
 O = 377
T = 0.26
b20-s_PathRelaxation_Set_FS_2.wcnf O = 83
T = 2.10		 O = 96
T = 199.40
 O = N/A
T = TO
 O = 98
T = 50.40
 O = 91
T = 106.83
 O = 94
T = 40.63
 O = 83
T = 134.36
 O = 83
T = 2.63
 O = 83
T = 2.34
 O = 83
T = 2.10
b20-s_PathRelaxation_Set_FS_3.wcnf O = 83
T = 7.79		 O = 106
T = 80.10
 O = N/A
T = TO
 O = 104
T = 15.43
 O = 100
T = 18.76
 O = 105
T = 65.62
 O = N/A
T = TO
 O = 83
T = 19.96
 O = 83
T = 7.79
 O = 467
T = 0.25
b20-s_PathRelaxation_Set_FS_4.wcnf O = 83
T = 7.75		 O = 115
T = 239.41
 O = N/A
T = TO
 O = 107
T = 96.57
 O = 97
T = 16.45
 O = 102
T = 66.55
 O = N/A
T = TO
 O = 83
T = 9.38
 O = 83
T = 7.75
 O = 466
T = 0.24
b20-s_PathRelaxation_Set_FS_5.wcnf O = 83
T = 5.91		 O = 115
T = 60.67
 O = N/A
T = TO
 O = 108
T = 16.77
 O = 102
T = 260.08
 O = 109
T = 47.78
 O = N/A
T = TO
 O = 83
T = 8.39
 O = 83
T = 5.91
 O = 467
T = 0.25
b20-s_PathRelaxation_Set_FS_6.wcnf O = 83
T = 5.15		 O = 109
T = 100.53
 O = N/A
T = TO
 O = 105
T = 118.50
 O = 103
T = 39.71
 O = 97
T = 78.46
 O = N/A
T = TO
 O = 83
T = 5.15
 O = 83
T = 11.27
 O = 445
T = 0.28
b20-s_PathRelaxation_Set_FS_7.wcnf O = 83
T = 7.76		 O = 119
T = 206.02
 O = N/A
T = TO
 O = 101
T = 164.60
 O = 96
T = 276.42
 O = 105
T = 27.97
 O = N/A
T = TO
 O = 83
T = 7.76
 O = 83
T = 10.12
 O = 83
T = 94.33
b20-s_PathRelaxation_Set_FS_8.wcnf O = 83
T = 9.71		 O = 101
T = 259.16
 O = N/A
T = TO
 O = 100
T = 177.46
 O = 103
T = 17.86
 O = 98
T = 25.80
 O = N/A
T = TO
 O = 83
T = 19.99
 O = 83
T = 9.71
 O = 446
T = 0.29
b20-s_PathRelaxation_Set_FS_9.wcnf O = 83
T = 7.68		 O = 110
T = 233.05
 O = N/A
T = TO
 O = 102
T = 15.23
 O = 101
T = 36.73
 O = 109
T = 122.30
 O = N/A
T = TO
 O = 83
T = 7.68
 O = 83
T = 9.12
 O = 378
T = 0.23
b21-s_PathRelaxation_Set_FS_1.wcnf O = 89
T = 8.18		 O = 107
T = 23.14
 O = N/A
T = TO
 O = 98
T = 65.37
 O = 106
T = 16.24
 O = 102
T = 273.77
 O = N/A
T = TO
 O = 89
T = 8.18
 O = 89
T = 25.52
 O = 387
T = 0.19
b21-s_PathRelaxation_Set_FS_10.wcnf O = 88
T = 17.89		 O = 107
T = 75.04
 O = N/A
T = TO
 O = 104
T = 20.93
 O = 100
T = 85.61
 O = 106
T = 201.40
 O = N/A
T = TO
 O = 88
T = 17.89
 O = 88
T = 183.36
 O = 554
T = 0.23
b21-s_PathRelaxation_Set_FS_11.wcnf O = 88
T = 19.71		 O = 111
T = 250.11
 O = N/A
T = TO
 O = 106
T = 36.88
 O = 107
T = 90.98
 O = 99
T = 179.02
 O = N/A
T = TO
 O = 88
T = 19.71
 O = 88
T = 96.96
 O = 554
T = 0.22
b21-s_PathRelaxation_Set_FS_12.wcnf O = 88
T = 24.48		 O = 108
T = 136.68
 O = N/A
T = TO
 O = 107
T = 13.34
 O = 103
T = 74.58
 O = 105
T = 205.06
 O = N/A
T = TO
 O = 88
T = 24.48
 O = 172
T = 0.16
 O = 554
T = 0.21
b21-s_PathRelaxation_Set_FS_2.wcnf O = 89
T = 15.37		 O = 101
T = 215.63
 O = N/A
T = TO
 O = 99
T = 20.28
 O = 104
T = 184.70
 O = 99
T = 26.71
 O = N/A
T = TO
 O = 89
T = 15.37
 O = 216
T = 0.17
 O = 554
T = 0.20
b21-s_PathRelaxation_Set_FS_3.wcnf O = 89
T = 102.61		 O = 109
T = 101.68
 O = N/A
T = TO
 O = 96
T = 105.73
 O = 103
T = 38.61
 O = 106
T = 37.74
 O = N/A
T = TO
 O = 89
T = 102.61
 O = 107
T = 0.12
 O = 554
T = 0.21
b21-s_PathRelaxation_Set_FS_4.wcnf O = 89
T = 23.73		 O = 118
T = 118.70
 O = N/A
T = TO
 O = 98
T = 21.57
 O = 102
T = 43.93
 O = 102
T = 178.89
 O = N/A
T = TO
 O = 89
T = 23.73
 O = 89
T = 160.92
 O = 554
T = 0.20
b21-s_PathRelaxation_Set_FS_5.wcnf O = 89
T = 29.57		 O = 116
T = 193.14
 O = N/A
T = TO
 O = 106
T = 15.36
 O = 107
T = 13.66
 O = 105
T = 183.92
 O = N/A
T = TO
 O = 89
T = 29.57
 O = 89
T = 225.93
 O = 554
T = 0.21
b21-s_PathRelaxation_Set_FS_6.wcnf O = 88
T = 31.13		 O = 111
T = 78.97
 O = N/A
T = TO
 O = 99
T = 65.12
 O = 97
T = 80.11
 O = 105
T = 103.83
 O = N/A
T = TO
 O = 88
T = 31.13
 O = 88
T = 134.16
 O = 554
T = 0.26
b21-s_PathRelaxation_Set_FS_7.wcnf O = 88
T = 86.99		 O = 116
T = 55.59
 O = N/A
T = TO
 O = 99
T = 131.33
 O = 98
T = 29.88
 O = 101
T = 117.47
 O = N/A
T = TO
 O = 88
T = 86.99
 O = 88
T = 163.78
 O = 554
T = 0.23
b21-s_PathRelaxation_Set_FS_8.wcnf O = 88
T = 19.78		 O = 112
T = 287.21
 O = N/A
T = TO
 O = 104
T = 53.90
 O = 103
T = 94.28
 O = 108
T = 172.09
 O = N/A
T = TO
 O = 88
T = 19.78
 O = 88
T = 278.05
 O = 554
T = 0.24
b21-s_PathRelaxation_Set_FS_9.wcnf O = 88
T = 22.29		 O = 112
T = 239.04
 O = N/A
T = TO
 O = 109
T = 63.06
 O = 97
T = 137.55
 O = 98
T = 42.22
 O = N/A
T = TO
 O = 88
T = 22.29
 O = 88
T = 148.47
 O = 554
T = 0.22
b21-s_PathRelaxation_FS_1.wcnf O = 89
T = 1.67		 O = 138
T = 106.93
 O = N/A
T = TO
 O = 94
T = 126.41
 O = 97
T = 116.09
 O = 95
T = 8.26
 O = 89
T = 71.63
 O = 89
T = 1.67
 O = 89
T = 9.84
 O = 414
T = 0.05
b21-s_PathRelaxation_FS_10.wcnf O = 89
T = 2.35		 O = 134
T = 158.12
 O = N/A
T = TO
 O = 102
T = 285.85
 O = 99
T = 147.36
 O = 97
T = 11.84
 O = 89
T = 52.45
 O = 89
T = 2.35
 O = 89
T = 25.16
 O = 413
T = 0.06
b21-s_PathRelaxation_FS_11.wcnf O = 88
T = 2.48		 O = 121
T = 180.25
 O = N/A
T = TO
 O = 101
T = 11.59
 O = 98
T = 280.98
 O = 98
T = 168.85
 O = 88
T = 50.67
 O = 88
T = 2.48
 O = 88
T = 33.83
 O = 419
T = 0.08
b21-s_PathRelaxation_FS_12.wcnf O = 88
T = 2.83		 O = 129
T = 180.84
 O = N/A
T = TO
 O = 97
T = 56.18
 O = 99
T = 57.61
 O = 98
T = 3.22
 O = 88
T = 83.56
 O = 88
T = 2.83
 O = 88
T = 74.17
 O = 418
T = 0.07
b21-s_PathRelaxation_FS_13.wcnf O = 89
T = 1.63		 O = 145
T = 44.78
 O = N/A
T = TO
 O = 98
T = 162.33
 O = 98
T = 40.68
 O = 96
T = 9.67
 O = 89
T = 50.13
 O = 89
T = 1.63
 O = 89
T = 6.84
 O = 414
T = 0.08
b21-s_PathRelaxation_FS_14.wcnf O = 89
T = 1.57		 O = 145
T = 200.53
 O = N/A
T = TO
 O = 99
T = 104.35
 O = 99
T = 276.30
 O = 96
T = 12.29
 O = 89
T = 57.19
 O = 89
T = 1.57
 O = 89
T = 3.45
 O = 421
T = 0.10
b21-s_PathRelaxation_FS_15.wcnf O = 89
T = 3.33		 O = 133
T = 208.62
 O = N/A
T = TO
 O = 99
T = 10.58
 O = 102
T = 135.17
 O = 102
T = 143.90
 O = 89
T = 63.46
 O = 89
T = 3.33
 O = 89
T = 15.27
 O = 416
T = 0.06
b21-s_PathRelaxation_FS_16.wcnf O = 88
T = 4.56		 O = 136
T = 195.15
 O = N/A
T = TO
 O = 103
T = 12.38
 O = 96
T = 51.70
 O = 96
T = 7.34
 O = 88
T = 72.50
 O = 88
T = 4.56
 O = 88
T = 148.41
 O = 424
T = 0.09
b21-s_PathRelaxation_FS_17.wcnf O = 88
T = 3.24		 O = 135
T = 60.64
 O = N/A
T = TO
 O = 98
T = 91.07
 O = 96
T = 51.80
 O = 100
T = 54.95
 O = 88
T = 65.43
 O = 88
T = 3.24
 O = 88
T = 46.55
 O = 419
T = 0.06
b21-s_PathRelaxation_FS_18.wcnf O = 88
T = 3.74		 O = 132
T = 82.62
 O = N/A
T = TO
 O = 96
T = 56.38
 O = 98
T = 285.75
 O = 97
T = 10.90
 O = 88
T = 77.33
 O = 88
T = 3.74
 O = 88
T = 44.26
 O = 419
T = 0.11
b21-s_PathRelaxation_FS_19.wcnf O = 88
T = 3.45		 O = 146
T = 266.01
 O = N/A
T = TO
 O = 99
T = 154.24
 O = 97
T = 110.21
 O = 98
T = 117.05
 O = 88
T = 42.61
 O = 88
T = 3.45
 O = 88
T = 39.06
 O = 473
T = 0.10
b21-s_PathRelaxation_FS_2.wcnf O = 90
T = 2.73		 O = 132
T = 58.74
 O = N/A
T = TO
 O = 95
T = 131.93
 O = 98
T = 11.70
 O = 96
T = 97.46
 O = 90
T = 81.59
 O = 90
T = 2.73
 O = 90
T = 149.45
 O = 414
T = 0.08
b21-s_PathRelaxation_FS_20.wcnf O = 88
T = 1.91		 O = 133
T = 40.69
 O = N/A
T = TO
 O = 95
T = 118.64
 O = 95
T = 63.06
 O = 97
T = 119.14
 O = 88
T = 76.62
 O = 88
T = 1.91
 O = 88
T = 21.28
 O = 456
T = 0.09
b21-s_PathRelaxation_FS_21.wcnf O = 88
T = 6.49		 O = 136
T = 14.29
 O = N/A
T = TO
 O = 101
T = 12.85
 O = 96
T = 15.93
 O = 96
T = 22.06
 O = 88
T = 68.73
 O = 88
T = 6.49
 O = 88
T = 67.56
 O = 448
T = 0.10
b21-s_PathRelaxation_FS_22.wcnf O = 88
T = 2.56		 O = 147
T = 14.09
 O = N/A
T = TO
 O = 102
T = 8.79
 O = 99
T = 29.59
 O = 100
T = 173.66
 O = 88
T = 78.89
 O = 88
T = 2.56
 O = 88
T = 50.41
 O = 457
T = 0.08
b21-s_PathRelaxation_FS_23.wcnf O = 88
T = 6.23		 O = 136
T = 220.09
 O = N/A
T = TO
 O = 101
T = 11.92
 O = 96
T = 11.20
 O = 96
T = 21.43
 O = 88
T = 68.98
 O = 88
T = 6.23
 O = 88
T = 68.98
 O = 448
T = 0.07
b21-s_PathRelaxation_FS_24.wcnf O = 88
T = 4.78		 O = 126
T = 116.29
 O = N/A
T = TO
 O = 96
T = 16.94
 O = 96
T = 152.95
 O = 98
T = 90.64
 O = 88
T = 72.79
 O = 88
T = 4.78
 O = 88
T = 89.58
 O = 418
T = 0.08
b21-s_PathRelaxation_FS_25.wcnf O = 88
T = 1.58		 O = 140
T = 113.03
 O = N/A
T = TO
 O = 101
T = 21.11
 O = 97
T = 183.79
 O = 100
T = 7.98
 O = 88
T = 56.48
 O = 88
T = 1.58
 O = 88
T = 8.66
 O = 426
T = 0.10
b21-s_PathRelaxation_FS_3.wcnf O = 90
T = 5.51		 O = 141
T = 8.68
 O = N/A
T = TO
 O = 98
T = 81.69
 O = 97
T = 57.19
 O = 96
T = 61.62
 O = 90
T = 72.87
 O = 90
T = 5.51
 O = 90
T = 158.44
 O = 457
T = 0.10
b21-s_PathRelaxation_FS_4.wcnf O = 92
T = 3.07		 O = 151
T = 82.36
 O = N/A
T = TO
 O = 102
T = 173.00
 O = 99
T = 74.59
 O = 100
T = 95.06
 O = 92
T = 70.66
 O = 92
T = 3.07
 O = 92
T = 28.25
 O = 419
T = 0.06
b21-s_PathRelaxation_FS_5.wcnf O = 89
T = 4.48		 O = 134
T = 183.92
 O = N/A
T = TO
 O = 97
T = 123.03
 O = 96
T = 178.89
 O = 97
T = 45.78
 O = 89
T = 82.97
 O = 89
T = 4.48
 O = 89
T = 17.01
 O = 422
T = 0.12
b21-s_PathRelaxation_FS_6.wcnf O = 88
T = 2.27		 O = 128
T = 162.99
 O = N/A
T = TO
 O = 94
T = 93.28
 O = 97
T = 163.11
 O = 94
T = 224.13
 O = 88
T = 55.98
 O = 88
T = 2.27
 O = 88
T = 97.72
 O = 425
T = 0.36
b21-s_PathRelaxation_FS_7.wcnf O = 89
T = 4.18		 O = 132
T = 130.86
 O = N/A
T = TO
 O = 97
T = 124.30
 O = 96
T = 182.41
 O = 97
T = 45.17
 O = 89
T = 86.11
 O = 89
T = 4.18
 O = 89
T = 17.91
 O = 422
T = 0.09
b21-s_PathRelaxation_FS_8.wcnf O = 89
T = 2.07		 O = 131
T = 198.23
 O = N/A
T = TO
 O = 106
T = 257.55
 O = 99
T = 135.20
 O = 97
T = 11.83
 O = 89
T = 51.03
 O = 89
T = 2.07
 O = 89
T = 26.86
 O = 413
T = 0.09
b21-s_PathRelaxation_FS_9.wcnf O = 88
T = 4.19		 O = 130
T = 289.35
 O = N/A
T = TO
 O = 96
T = 145.16
 O = 96
T = 254.37
 O = 99
T = 280.98
 O = 88
T = 49.67
 O = 88
T = 4.19
 O = 88
T = 35.16
 O = 419
T = 0.10
TWComp_1c75_N69.wcnf O = 30
T = 232.40		 O = 30
T = 232.40
 O = N/A
T = TO
 O = 66
T = 3.01
 O = 66
T = 2.46
 O = 60
T = 8.40
 O = N/A
T = TO
 O = 42
T = 284.42
 O = 43
T = 0.57
 O = 68
T = 0.46
TWComp_1dj7_N73.wcnf O = 27
T = 37.10		 O = 27
T = 37.10
 O = N/A
T = TO
 O = 70
T = 3.80
 O = 70
T = 3.17
 O = 56
T = 19.61
 O = N/A
T = TO
 O = 43
T = 284.34
 O = 43
T = 0.63
 O = 72
T = 0.57
TWComp_1dp_N76.wcnf O = 27
T = 85.32		 O = 27
T = 85.32
 O = N/A
T = TO
 O = 75
T = 4.65
 O = 74
T = 247.27
 O = 64
T = 36.38
 O = N/A
T = TO
 O = 48
T = 284.28
 O = 49
T = 0.70
 O = 75
T = 0.76
TWComp_1en2_N69.wcnf O = 16
T = 19.82		 O = 16
T = 19.82
 O = N/A
T = TO
 O = 66
T = 3.01
 O = 56
T = 278.92
 O = 56
T = 128.76
 O = N/A
T = TO
 O = 36
T = 284.33
 O = 41
T = 0.55
 O = 68
T = 0.51
TWComp_alarm_N37.wcnf O = 4
T = 0.05		 O = 4
T = 1.03
 O = 4
T = 1.55
 O = 34
T = 57.24
 O = 35
T = 0.27
 O = 14
T = 208.99
 O = N/A
T = TO
 O = 4
T = 0.11
 O = 4
T = 0.05
 O = 4
T = 0.09
TWComp_barle_N48.wcnf O = 7
T = 2.32		 O = 7
T = 2.32
 O = N/A
T = TO
 O = 46
T = 0.66
 O = 44
T = 288.21
 O = 22
T = 254.25
 O = N/A
T = TO
 O = 7
T = 3.24
 O = 7
T = 3.59
 O = 7
T = 3.85
TWComp_barley-pp_N26.wcnf O = 7
T = 0.24		 O = 7
T = 0.63
 O = 7
T = 0.69
 O = 24
T = 0.15
 O = 24
T = 0.12
 O = 12
T = 165.34
 O = N/A
T = TO
 O = 7
T = 0.25
 O = 7
T = 0.24
 O = 7
T = 0.40
TWComp_barley2_N48.wcnf O = 7
T = 1.97		 O = 7
T = 1.97
 O = 8
T = 14.37
 O = 46
T = 0.67
 O = 44
T = 157.55
 O = 20
T = 261.78
 O = N/A
T = TO
 O = 7
T = 3.11
 O = 7
T = 3.70
 O = 7
T = 3.01
TWComp_celar02_N100.wcnf O = 10
T = 2.94		 O = 10
T = 23.70
 O = N/A
T = TO
 O = 99
T = 15.45
 O = 98
T = 11.68
 O = 56
T = 73.07
 O = N/A
T = TO
 O = 10
T = 3.46
 O = 10
T = 3.70
 O = 10
T = 2.94
TWComp_celar09pp_N67.wcnf O = 7
T = 0.49		 O = 7
T = 4.26
 O = 7
T = 19.73
 O = 64
T = 2.41
 O = 48
T = 270.12
 O = 36
T = 7.70
 O = N/A
T = TO
 O = 7
T = 0.70
 O = 7
T = 0.49
 O = 7
T = 0.53
TWComp_david-pp_N29.wcnf O = 13
T = 0.84		 O = 13
T = 0.84
 O = 13
T = 14.08
 O = 26
T = 0.22
 O = 26
T = 0.22
 O = 16
T = 280.17
 O = N/A
T = TO
 O = 13
T = 2.99
 O = 13
T = 2.26
 O = 13
T = 2.25
TWComp_david_N87.wcnf O = 13
T = 14.62		 O = 13
T = 14.62
 O = N/A
T = TO
 O = 84
T = 27.58
 O = 84
T = 278.43
 O = 80
T = 7.38
 O = N/A
T = TO
 O = 13
T = 18.11
 O = 13
T = 23.71
 O = 13
T = 42.04
TWComp_eil51.tsp_N51.wcnf O = 9
T = 14.31		 O = 9
T = 14.31
 O = N/A
T = TO
 O = 48
T = 0.78
 O = 36
T = 188.17
 O = 24
T = 269.84
 O = N/A
T = TO
 O = 21
T = 284.45
 O = 24
T = 0.44
 O = 50
T = 0.57
TWComp_hailfinder_N56.wcnf O = 4
T = 0.29		 O = 4
T = 2.26
 O = 4
T = 16.84
 O = 54
T = 1.11
 O = 28
T = 259.62
 O = 44
T = 1.52
 O = N/A
T = TO
 O = 4
T = 0.50
 O = 4
T = 0.29
 O = 4
T = 0.38
TWComp_hepar2_N70.wcnf O = 6
T = 0.63		 O = 6
T = 5.12
 O = 6
T = 34.67
 O = 68
T = 2.88
 O = 68
T = 2.40
 O = 60
T = 2.48
 O = N/A
T = TO
 O = 6
T = 0.90
 O = 6
T = 0.63
 O = 6
T = 0.74
TWComp_huck_N74.wcnf O = 10
T = 0.60		 O = 10
T = 6.96
 O = 10
T = 41.67
 O = 72
T = 3.87
 O = 72
T = 3.01
 O = 56
T = 3.67
 O = N/A
T = TO
 O = 10
T = 0.88
 O = 10
T = 0.60
 O = 10
T = 1.29
TWComp_jean_N77.wcnf O = 9
T = 0.94		 O = 9
T = 8.16
 O = 9
T = 86.93
 O = 74
T = 4.71
 O = 42
T = 281.03
 O = 56
T = 4.10
 O = N/A
T = TO
 O = 9
T = 1.39
 O = 9
T = 0.94
 O = 9
T = 1.27
TWComp_mainuk_N48.wcnf O = 7
T = 0.22		 O = 7
T = 1.67
 O = 7
T = 13.05
 O = 46
T = 0.63
 O = 46
T = 0.57
 O = 24
T = 264.52
 O = N/A
T = TO
 O = 7
T = 0.37
 O = 7
T = 0.22
 O = 7
T = 0.27
TWComp_mildew_35.wcnf O = 4
T = 0.08		 O = 4
T = 0.91
 O = 4
T = 1.90
 O = 32
T = 0.30
 O = 32
T = 0.29
 O = 14
T = 280.17
 O = N/A
T = TO
 O = 4
T = 0.12
 O = 4
T = 0.08
 O = 4
T = 0.11
TWComp_miles500_N128.wcnf O = 22
T = 157.26		 O = 22
T = 157.26
 O = N/A
T = TO
 O = 127
T = 49.97
 O = 127
T = 34.65
 O = 104
T = 32.93
 O = N/A
T = TO
 O = 22
T = 242.03
 O = 22
T = 258.31
 O = 127
T = 2.80
TWComp_mulsol.i.5-pp_N119.wcnf O = 31
T = 65.60		 O = 31
T = 65.60
 O = N/A
T = TO
 O = 117
T = 37.14
 O = 117
T = 26.05
 O = 108
T = 19.91
 O = N/A
T = TO
 O = 34
T = 284.11
 O = 38
T = 2.97
 O = 117
T = 2.50
TWComp_myciel4_N23.wcnf O = 10
T = 1.00		 O = 10
T = 1.03
 O = 10
T = 1.00
 O = 20
T = 0.15
 O = 20
T = 0.13
 O = 10
T = 197.34
 O = N/A
T = TO
 O = 10
T = 18.10
 O = 10
T = 126.31
 O = 10
T = 33.43
TWComp_myciel5_N47.wcnf O = 19
T = 17.63		 O = 19
T = 17.63
 O = N/A
T = TO
 O = 44
T = 0.65
 O = 40
T = 210.99
 O = 28
T = 244.76
 O = N/A
T = TO
 O = 22
T = 284.38
 O = 32
T = 0.82
 O = 46
T = 0.26
TWComp_oesoca+_N67.wcnf O = 11
T = 4.66		 O = 11
T = 4.66
 O = 13
T = 44.96
 O = 64
T = 2.35
 O = 50
T = 238.86
 O = 52
T = 147.55
 O = N/A
T = TO
 O = 11
T = 168.89
 O = 13
T = 0.55
 O = 66
T = 0.46
TWComp_oesoca4_N42.wcnf O = 3
T = 0.08		 O = 3
T = 0.97
 O = 3
T = 2.49
 O = 40
T = 0.40
 O = 36
T = 250.12
 O = 20
T = 226.77
 O = N/A
T = TO
 O = 3
T = 0.16
 O = 3
T = 0.08
 O = 3
T = 0.12
TWComp_oesoca_N39.wcnf O = 3
T = 0.07		 O = 3
T = 1.55
 O = 3
T = 1.80
 O = 36
T = 173.06
 O = 36
T = 0.35
 O = 16
T = 209.21
 O = N/A
T = TO
 O = 3
T = 0.13
 O = 3
T = 0.07
 O = 3
T = 0.10
TWComp_pathfinder_N109.wcnf O = 6
T = 2.21		 O = 6
T = 35.85
 O = 6
T = 196.94
 O = 106
T = 23.32
 O = 107
T = 16.98
 O = 100
T = 144.74
 O = N/A
T = TO
 O = 6
T = 3.19
 O = 6
T = 2.21
 O = 6
T = 3.01
TWComp_queen5_5_N25.wcnf O = 18
T = 0.59		 O = 18
T = 0.59
 O = 18
T = 128.71
 O = 21
T = 46.17
 O = 22
T = 0.12
 O = 19
T = 139.51
 O = N/A
T = TO
 O = 19
T = 284.18
 O = 19
T = 0.49
 O = 24
T = 0.11
TWComp_queen6_6_N36.wcnf O = 26
T = 51.51		 O = 26
T = 51.51
 O = N/A
T = TO
 O = 34
T = 0.28
 O = 34
T = 0.20
 O = 28
T = 0.35
 O = N/A
T = TO
 O = 28
T = 284.33
 O = 28
T = 0.09
 O = 35
T = 0.12
TWComp_queen7_7_N49.wcnf O = 36
T = 5.31		 O = 36
T = 5.31
 O = N/A
T = TO
 O = 46
T = 0.78
 O = 44
T = 269.10
 O = 39
T = 249.32
 O = N/A
T = TO
 O = 40
T = 284.50
 O = 40
T = 0.17
 O = 48
T = 0.19
TWComp_ship-ship-pp_N30.wcnf O = 8
T = 0.83		 O = 8
T = 0.83
 O = N/A
T = TO
 O = 28
T = 0.17
 O = 28
T = 0.13
 O = 16
T = 166.37
 O = N/A
T = TO
 O = 8
T = 60.38
 O = 8
T = 224.70
 O = 8
T = 101.11
TWComp_water_N32.wcnf O = 9
T = 1.23		 O = 9
T = 103.18
 O = 10
T = 233.68
 O = 30
T = 0.20
 O = 30
T = 0.15
 O = 16
T = 176.78
 O = N/A
T = TO
 O = 9
T = 1.23
 O = 9
T = 1.26
 O = 9
T = 1.27
TWComp_win95pts_N76.wcnf O = 8
T = 1.44		 O = 8
T = 7.78
 O = 8
T = 98.62
 O = 74
T = 4.43
 O = 74
T = 3.46
 O = 42
T = 5.36
 O = N/A
T = TO
 O = 8
T = 3.06
 O = 8
T = 2.10
 O = 8
T = 1.44