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
AES1-30-1.wcnf O = 1
T = 0.19		 O = N/A
T = TO
 O = N/A
T = TO
 O = 215
T = 247.19
 O = 219
T = 186.11
 O = 1
T = 0.88
 O = N/A
T = TO
 O = 1
T = 0.40
 O = 1
T = 0.19
 O = 1
T = 0.41
AES1-30-2.wcnf O = 1
T = 0.19		 O = N/A
T = TO
 O = N/A
T = TO
 O = 204
T = 205.73
 O = 217
T = 129.12
 O = N/A
T = TO
 O = 1
T = 48.80
 O = 1
T = 0.39
 O = 1
T = 0.19
 O = 1
T = 0.42
AES1-30-3.wcnf O = 1
T = 0.25		 O = N/A
T = TO
 O = N/A
T = TO
 O = 184
T = 280.95
 O = 188
T = 83.29
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1
T = 0.44
 O = 1
T = 0.25
 O = 1
T = 0.44
AES1-30-4.wcnf O = 1
T = 0.22		 O = N/A
T = TO
 O = N/A
T = TO
 O = 206
T = 246.40
 O = 204
T = 220.74
 O = 192
T = 150.81
 O = N/A
T = TO
 O = 1
T = 0.42
 O = 1
T = 0.22
 O = 1
T = 0.41
AES1-30-5.wcnf O = 1
T = 0.27		 O = N/A
T = TO
 O = N/A
T = TO
 O = 200
T = 128.78
 O = 188
T = 161.43
 O = 1
T = 0.92
 O = 1
T = 66.64
 O = 1
T = 0.47
 O = 1
T = 0.27
 O = 1
T = 0.44
AES1-40-10.wcnf O = 1
T = 0.35		 O = N/A
T = TO
 O = N/A
T = TO
 O = 160
T = 250.50
 O = 172
T = 69.31
 O = 162
T = 107.16
 O = N/A
T = TO
 O = 1
T = 0.64
 O = 1
T = 0.35
 O = 1
T = 0.43
AES1-40-6.wcnf O = 1
T = 0.19		 O = N/A
T = TO
 O = N/A
T = TO
 O = 171
T = 168.36
 O = 178
T = 194.48
 O = 164
T = 201.04
 O = N/A
T = TO
 O = 1
T = 0.40
 O = 1
T = 0.19
 O = 1
T = 0.43
AES1-40-7.wcnf O = 1
T = 0.20		 O = N/A
T = TO
 O = N/A
T = TO
 O = 176
T = 193.78
 O = 176
T = 175.37
 O = 156
T = 194.91
 O = N/A
T = TO
 O = 1
T = 0.41
 O = 1
T = 0.20
 O = 1
T = 0.42
AES1-40-8.wcnf O = 1
T = 0.29		 O = N/A
T = TO
 O = N/A
T = TO
 O = 171
T = 117.92
 O = 166
T = 123.93
 O = 163
T = 75.53
 O = N/A
T = TO
 O = 1
T = 0.50
 O = 1
T = 0.29
 O = 1
T = 0.44
AES1-40-9.wcnf O = 1
T = 0.18		 O = N/A
T = TO
 O = N/A
T = TO
 O = 195
T = 211.39
 O = 172
T = 83.40
 O = 177
T = 157.35
 O = N/A
T = TO
 O = 1
T = 0.40
 O = 1
T = 0.18
 O = 1
T = 0.41
AES1-50-11.wcnf O = 1
T = 0.49		 O = N/A
T = TO
 O = N/A
T = TO
 O = 164
T = 111.21
 O = 146
T = 125.94
 O = 136
T = 117.64
 O = N/A
T = TO
 O = 1
T = 0.60
 O = 1
T = 0.49
 O = 1
T = 0.62
AES1-50-12.wcnf O = 1
T = 0.39		 O = N/A
T = TO
 O = N/A
T = TO
 O = 141
T = 131.32
 O = 135
T = 58.06
 O = 138
T = 175.43
 O = N/A
T = TO
 O = 1
T = 0.52
 O = 1
T = 0.39
 O = 1
T = 0.45
AES1-50-13.wcnf O = 1
T = 0.31		 O = N/A
T = TO
 O = N/A
T = TO
 O = 134
T = 187.68
 O = 136
T = 85.95
 O = 137
T = 198.65
 O = N/A
T = TO
 O = 1
T = 0.50
 O = 1
T = 0.31
 O = 1
T = 0.46
AES1-50-14.wcnf O = 1
T = 0.29		 O = N/A
T = TO
 O = N/A
T = TO
 O = 135
T = 97.22
 O = 144
T = 280.28
 O = 136
T = 208.29
 O = N/A
T = TO
 O = 1
T = 0.78
 O = 1
T = 0.29
 O = 1
T = 0.50
AES1-50-15.wcnf O = 1
T = 0.32		 O = N/A
T = TO
 O = N/A
T = TO
 O = 126
T = 242.39
 O = 125
T = 66.34
 O = 146
T = 170.93
 O = N/A
T = TO
 O = 1
T = 0.64
 O = 1
T = 0.32
 O = 1
T = 0.45
AES1-60-16.wcnf O = 1
T = 0.26		 O = N/A
T = TO
 O = N/A
T = TO
 O = 102
T = 241.52
 O = 119
T = 58.89
 O = 113
T = 72.03
 O = N/A
T = TO
 O = 1
T = 0.49
 O = 1
T = 0.26
 O = 1
T = 0.52
AES1-60-17.wcnf O = 1
T = 0.31		 O = N/A
T = TO
 O = N/A
T = TO
 O = 116
T = 194.69
 O = 122
T = 91.21
 O = 121
T = 121.77
 O = N/A
T = TO
 O = 1
T = 0.59
 O = 1
T = 0.31
 O = 1
T = 0.56
AES1-60-18.wcnf O = 1
T = 0.54		 O = N/A
T = TO
 O = N/A
T = TO
 O = 116
T = 100.14
 O = 118
T = 138.86
 O = 114
T = 188.06
 O = N/A
T = TO
 O = 1
T = 0.76
 O = 1
T = 0.54
 O = 1
T = 0.65
AES1-60-19.wcnf O = 1
T = 0.43		 O = N/A
T = TO
 O = N/A
T = TO
 O = 112
T = 156.59
 O = 112
T = 125.96
 O = 115
T = 99.59
 O = N/A
T = TO
 O = 1
T = 0.48
 O = 1
T = 0.43
 O = 1
T = 0.44
AES1-60-20.wcnf O = 1
T = 0.36		 O = N/A
T = TO
 O = N/A
T = TO
 O = 119
T = 87.86
 O = 121
T = 58.97
 O = 123
T = 149.53
 O = N/A
T = TO
 O = 1
T = 0.62
 O = 1
T = 0.36
 O = 1
T = 0.43
AES1-70-21.wcnf O = 1
T = 0.87		 O = N/A
T = TO
 O = N/A
T = TO
 O = 79
T = 267.48
 O = 75
T = 82.97
 O = 72
T = 100.83
 O = N/A
T = TO
 O = 1
T = 1.29
 O = 1
T = 0.87
 O = 1
T = 1.35
AES1-70-22.wcnf O = 1
T = 1.34		 O = N/A
T = TO
 O = N/A
T = TO
 O = 89
T = 183.47
 O = 82
T = 122.49
 O = 84
T = 128.61
 O = N/A
T = TO
 O = 1
T = 4.09
 O = 1
T = 2.92
 O = 1
T = 1.34
AES1-70-23.wcnf O = 1
T = 10.62		 O = N/A
T = TO
 O = N/A
T = TO
 O = 84
T = 98.83
 O = 82
T = 104.17
 O = 85
T = 201.67
 O = N/A
T = TO
 O = 1
T = 42.98
 O = 1
T = 28.56
 O = 1
T = 10.62
AES1-70-24.wcnf O = 1
T = 2.11		 O = N/A
T = TO
 O = N/A
T = TO
 O = 92
T = 128.65
 O = 87
T = 70.34
 O = 91
T = 163.40
 O = N/A
T = TO
 O = 1
T = 6.72
 O = 1
T = 2.11
 O = 1
T = 6.08
AES1-70-25.wcnf O = 1
T = 2.38		 O = N/A
T = TO
 O = N/A
T = TO
 O = 75
T = 84.69
 O = 71
T = 155.11
 O = 75
T = 127.86
 O = N/A
T = TO
 O = 1
T = 3.28
 O = 1
T = 2.38
 O = 1
T = 4.04
AES1-72-26.wcnf O = 1
T = 1.57		 O = N/A
T = TO
 O = N/A
T = TO
 O = 73
T = 101.12
 O = 79
T = 148.21
 O = 87
T = 90.23
 O = N/A
T = TO
 O = 1
T = 2.22
 O = 1
T = 1.57
 O = 1
T = 17.35
AES1-72-27.wcnf O = 1
T = 4.09		 O = N/A
T = TO
 O = N/A
T = TO
 O = 73
T = 175.43
 O = 69
T = 46.36
 O = 89
T = 140.09
 O = N/A
T = TO
 O = 1
T = 12.73
 O = 1
T = 4.09
 O = 1
T = 5.35
AES1-72-28.wcnf O = 1
T = 2.82		 O = N/A
T = TO
 O = N/A
T = TO
 O = 76
T = 179.42
 O = 73
T = 149.50
 O = 71
T = 152.36
 O = N/A
T = TO
 O = 1
T = 6.44
 O = 1
T = 2.82
 O = 1
T = 3.71
AES1-72-29.wcnf O = 1
T = 1.46		 O = N/A
T = TO
 O = N/A
T = TO
 O = 82
T = 183.08
 O = 77
T = 71.23
 O = 76
T = 119.61
 O = N/A
T = TO
 O = 1
T = 4.06
 O = 1
T = 1.46
 O = 1
T = 1.83
AES1-72-30.wcnf O = 1
T = 16.54		 O = N/A
T = TO
 O = N/A
T = TO
 O = 81
T = 274.90
 O = 69
T = 261.10
 O = 78
T = 184.05
 O = N/A
T = TO
 O = 1
T = 16.54
 O = 1
T = 21.31
 O = 1
T = 18.77
AES1-74-31.wcnf O = 1
T = 4.90		 O = N/A
T = TO
 O = N/A
T = TO
 O = 71
T = 241.01
 O = 64
T = 122.21
 O = 64
T = 81.38
 O = N/A
T = TO
 O = 1
T = 28.92
 O = 1
T = 4.90
 O = 1
T = 13.19
AES1-74-32.wcnf O = 1
T = 84.56		 O = N/A
T = TO
 O = N/A
T = TO
 O = 64
T = 57.54
 O = 68
T = 161.00
 O = 79
T = 72.05
 O = N/A
T = TO
 O = 1
T = 84.56
 O = 85
T = 0.50
 O = 1
T = 269.41
AES1-74-33.wcnf O = 1
T = 17.33		 O = N/A
T = TO
 O = N/A
T = TO
 O = 65
T = 216.49
 O = 73
T = 108.13
 O = 66
T = 209.41
 O = N/A
T = TO
 O = 1
T = 19.24
 O = 1
T = 17.33
 O = 1
T = 29.12
AES1-74-34.wcnf O = 1
T = 1.01		 O = N/A
T = TO
 O = N/A
T = TO
 O = 67
T = 211.65
 O = 65
T = 149.81
 O = 64
T = 107.42
 O = N/A
T = TO
 O = 1
T = 3.01
 O = 1
T = 1.81
 O = 1
T = 1.01
AES1-74-35.wcnf O = 1
T = 4.38		 O = N/A
T = TO
 O = N/A
T = TO
 O = 75
T = 149.97
 O = 63
T = 72.15
 O = 77
T = 174.41
 O = N/A
T = TO
 O = 1
T = 6.24
 O = 1
T = 5.01
 O = 1
T = 4.38
AES1-76-36.wcnf O = 63
T = 166.73		 O = N/A
T = TO
 O = N/A
T = TO
 O = 71
T = 237.11
 O = 65
T = 41.21
 O = 63
T = 166.73
 O = N/A
T = TO
 O = 71
T = 284.39
 O = 74
T = 0.68
 O = 72
T = 1.27
AES1-76-37.wcnf O = 1
T = 158.52		 O = N/A
T = TO
 O = N/A
T = TO
 O = 69
T = 124.87
 O = 57
T = 117.33
 O = 71
T = 153.16
 O = N/A
T = TO
 O = 1
T = 158.52
 O = 1
T = 276.47
 O = 1
T = 236.67
AES1-76-38.wcnf O = 1
T = 139.64		 O = N/A
T = TO
 O = N/A
T = TO
 O = 65
T = 94.10
 O = 64
T = 282.49
 O = 67
T = 98.56
 O = N/A
T = TO
 O = 78
T = 283.85
 O = 66
T = 0.31
 O = 1
T = 139.64
AES1-76-39.wcnf O = 1
T = 5.84		 O = N/A
T = TO
 O = N/A
T = TO
 O = 66
T = 131.00
 O = 64
T = 155.93
 O = 61
T = 170.47
 O = N/A
T = TO
 O = 1
T = 7.41
 O = 1
T = 5.84
 O = 1
T = 12.21
AES1-76-40.wcnf O = 1
T = 16.61		 O = N/A
T = TO
 O = N/A
T = TO
 O = 61
T = 229.46
 O = 70
T = 73.15
 O = 60
T = 107.23
 O = N/A
T = TO
 O = 1
T = 53.59
 O = 1
T = 16.61
 O = 1
T = 70.43
AES2-30-41.wcnf O = 2
T = 0.24		 O = N/A
T = TO
 O = N/A
T = TO
 O = 152
T = 55.23
 O = 158
T = 55.44
 O = 174
T = 196.11
 O = N/A
T = TO
 O = 2
T = 0.46
 O = 2
T = 0.24
 O = 2
T = 0.43
AES2-30-42.wcnf O = 2
T = 0.23		 O = N/A
T = TO
 O = N/A
T = TO
 O = 152
T = 60.69
 O = 158
T = 55.88
 O = 174
T = 191.93
 O = N/A
T = TO
 O = 2
T = 0.47
 O = 2
T = 0.23
 O = 2
T = 0.42
AES2-30-43.wcnf O = 2
T = 0.23		 O = N/A
T = TO
 O = N/A
T = TO
 O = 152
T = 57.23
 O = 158
T = 55.31
 O = 174
T = 203.27
 O = N/A
T = TO
 O = 2
T = 0.46
 O = 2
T = 0.23
 O = 2
T = 0.43
AES2-30-44.wcnf O = 2
T = 0.23		 O = N/A
T = TO
 O = N/A
T = TO
 O = 152
T = 57.93
 O = 158
T = 55.32
 O = 174
T = 206.63
 O = N/A
T = TO
 O = 2
T = 0.46
 O = 2
T = 0.23
 O = 2
T = 0.44
AES2-30-45.wcnf O = 2
T = 0.24		 O = N/A
T = TO
 O = N/A
T = TO
 O = 152
T = 61.21
 O = 158
T = 57.96
 O = 174
T = 199.03
 O = N/A
T = TO
 O = 2
T = 0.46
 O = 2
T = 0.24
 O = 2
T = 0.44
AES2-40-46.wcnf O = 2
T = 0.24		 O = N/A
T = TO
 O = N/A
T = TO
 O = 152
T = 58.11
 O = 158
T = 56.84
 O = 174
T = 203.67
 O = N/A
T = TO
 O = 2
T = 0.46
 O = 2
T = 0.24
 O = 2
T = 0.44
AES2-40-47.wcnf O = 2
T = 0.23		 O = N/A
T = TO
 O = N/A
T = TO
 O = 152
T = 57.66
 O = 158
T = 59.99
 O = 174
T = 207.02
 O = N/A
T = TO
 O = 2
T = 0.46
 O = 2
T = 0.23
 O = 2
T = 0.45
AES2-40-48.wcnf O = 2
T = 0.25		 O = N/A
T = TO
 O = N/A
T = TO
 O = 152
T = 54.87
 O = 158
T = 55.09
 O = 174
T = 201.17
 O = N/A
T = TO
 O = 2
T = 0.47
 O = 2
T = 0.25
 O = 2
T = 0.43
AES2-40-49.wcnf O = 2
T = 0.23		 O = N/A
T = TO
 O = N/A
T = TO
 O = 152
T = 56.71
 O = 158
T = 55.81
 O = 174
T = 204.67
 O = N/A
T = TO
 O = 2
T = 0.47
 O = 2
T = 0.23
 O = 2
T = 0.44
AES2-40-50.wcnf O = 2
T = 0.25		 O = N/A
T = TO
 O = N/A
T = TO
 O = 152
T = 58.79
 O = 158
T = 59.67
 O = 174
T = 197.03
 O = N/A
T = TO
 O = 2
T = 0.46
 O = 2
T = 0.25
 O = 2
T = 0.42
AES2-50-51.wcnf O = 2
T = 0.32		 O = N/A
T = TO
 O = N/A
T = TO
 O = 136
T = 287.46
 O = 149
T = 184.48
 O = N/A
T = TO
 O = N/A
T = TO
 O = 106
T = 283.52
 O = 2
T = 0.32
 O = 2
T = 0.53
AES2-50-52.wcnf O = 2
T = 0.34		 O = N/A
T = TO
 O = N/A
T = TO
 O = 144
T = 287.62
 O = 143
T = 72.33
 O = 144
T = 207.85
 O = N/A
T = TO
 O = 87
T = 283.92
 O = 2
T = 0.34
 O = 2
T = 0.73
AES2-50-53.wcnf O = 2
T = 0.38		 O = N/A
T = TO
 O = N/A
T = TO
 O = 154
T = 282.38
 O = 156
T = 100.15
 O = 148
T = 168.07
 O = N/A
T = TO
 O = 2
T = 0.48
 O = 2
T = 0.38
 O = 2
T = 0.47
AES2-50-54.wcnf O = 2
T = 0.26		 O = N/A
T = TO
 O = N/A
T = TO
 O = 161
T = 252.16
 O = 151
T = 98.81
 O = 153
T = 92.01
 O = N/A
T = TO
 O = 2
T = 0.61
 O = 2
T = 0.26
 O = 2
T = 0.45
AES2-50-55.wcnf O = 2
T = 0.27		 O = N/A
T = TO
 O = N/A
T = TO
 O = 145
T = 210.15
 O = 148
T = 164.94
 O = 126
T = 215.48
 O = N/A
T = TO
 O = 2
T = 0.69
 O = 2
T = 0.27
 O = 2
T = 0.44
AES2-60-56.wcnf O = 2
T = 2.72		 O = N/A
T = TO
 O = N/A
T = TO
 O = 96
T = 123.05
 O = 98
T = 250.32
 O = 111
T = 165.99
 O = N/A
T = TO
 O = 64
T = 284.41
 O = 2
T = 2.72
 O = 2
T = 6.34
AES2-60-57.wcnf O = 2
T = 0.70		 O = N/A
T = TO
 O = N/A
T = TO
 O = 122
T = 241.29
 O = 124
T = 61.18
 O = 129
T = 154.46
 O = N/A
T = TO
 O = 67
T = 284.47
 O = 2
T = 0.70
 O = 2
T = 4.60
AES2-60-58.wcnf O = 2
T = 1.48		 O = N/A
T = TO
 O = N/A
T = TO
 O = 93
T = 281.15
 O = 100
T = 37.91
 O = 100
T = 130.40
 O = N/A
T = TO
 O = 2
T = 4.30
 O = 2
T = 1.48
 O = 2
T = 2.44
AES2-60-59.wcnf O = 2
T = 0.27		 O = N/A
T = TO
 O = N/A
T = TO
 O = 119
T = 87.73
 O = 114
T = 140.00
 O = 103
T = 205.84
 O = N/A
T = TO
 O = 2
T = 0.53
 O = 2
T = 0.27
 O = 2
T = 0.49
AES2-60-60.wcnf O = 2
T = 1.12		 O = N/A
T = TO
 O = N/A
T = TO
 O = 114
T = 172.89
 O = 107
T = 43.51
 O = 114
T = 137.60
 O = N/A
T = TO
 O = 65
T = 284.28
 O = 2
T = 1.91
 O = 2
T = 1.12
AES2-70-61.wcnf O = 2
T = 12.80		 O = N/A
T = TO
 O = N/A
T = TO
 O = 88
T = 160.28
 O = 88
T = 242.82
 O = 77
T = 124.86
 O = N/A
T = TO
 O = 55
T = 284.03
 O = 2
T = 18.71
 O = 2
T = 12.80
AES2-70-62.wcnf O = 2
T = 28.82		 O = N/A
T = TO
 O = N/A
T = TO
 O = 73
T = 140.99
 O = 73
T = 91.09
 O = 71
T = 85.17
 O = N/A
T = TO
 O = 43
T = 284.29
 O = 2
T = 28.82
 O = 82
T = 0.80
AES2-70-63.wcnf O = 2
T = 5.50		 O = N/A
T = TO
 O = N/A
T = TO
 O = 71
T = 96.59
 O = 84
T = 98.78
 O = 79
T = 131.34
 O = N/A
T = TO
 O = 36
T = 284.46
 O = 2
T = 12.14
 O = 2
T = 5.50
AES2-70-64.wcnf O = 2
T = 16.16		 O = N/A
T = TO
 O = N/A
T = TO
 O = 71
T = 113.46
 O = 69
T = 51.45
 O = 82
T = 164.89
 O = N/A
T = TO
 O = 46
T = 284.13
 O = 2
T = 21.80
 O = 2
T = 16.16
AES2-70-65.wcnf O = 2
T = 56.27		 O = N/A
T = TO
 O = N/A
T = TO
 O = 81
T = 135.01
 O = 87
T = 88.60
 O = 80
T = 82.53
 O = N/A
T = TO
 O = 54
T = 284.26
 O = 2
T = 135.57
 O = 2
T = 56.27
AES2-72-66.wcnf O = 2
T = 61.51		 O = N/A
T = TO
 O = N/A
T = TO
 O = 77
T = 119.66
 O = 85
T = 106.74
 O = 85
T = 128.31
 O = N/A
T = TO
 O = 39
T = 284.56
 O = 2
T = 61.51
 O = 2
T = 131.47
AES2-72-67.wcnf O = 68
T = 93.75		 O = N/A
T = TO
 O = N/A
T = TO
 O = 68
T = 93.75
 O = 82
T = 71.23
 O = 80
T = 131.81
 O = N/A
T = TO
 O = 87
T = 283.67
 O = 93
T = 0.54
 O = 80
T = 0.41
AES2-72-68.wcnf O = 2
T = 13.10		 O = N/A
T = TO
 O = N/A
T = TO
 O = 89
T = 222.08
 O = 77
T = 43.66
 O = 80
T = 111.97
 O = N/A
T = TO
 O = 2
T = 31.83
 O = 2
T = 13.29
 O = 2
T = 13.10
AES2-72-69.wcnf O = 2
T = 13.86		 O = N/A
T = TO
 O = N/A
T = TO
 O = 73
T = 223.81
 O = 80
T = 276.83
 O = 85
T = 190.74
 O = N/A
T = TO
 O = 43
T = 284.03
 O = 2
T = 13.86
 O = 2
T = 45.55
AES2-72-70.wcnf O = 2
T = 1.53		 O = N/A
T = TO
 O = N/A
T = TO
 O = 73
T = 111.84
 O = 79
T = 103.23
 O = 81
T = 118.63
 O = N/A
T = TO
 O = 2
T = 8.30
 O = 2
T = 1.53
 O = 2
T = 5.26
AES2-74-11.wcnf O = 2
T = 42.88		 O = N/A
T = TO
 O = N/A
T = TO
 O = 74
T = 99.94
 O = 71
T = 73.97
 O = 77
T = 131.65
 O = N/A
T = TO
 O = 33
T = 284.13
 O = 2
T = 122.91
 O = 2
T = 42.88
AES2-74-71.wcnf O = 67
T = 282.43		 O = N/A
T = TO
 O = N/A
T = TO
 O = 67
T = 282.43
 O = 72
T = 84.40
 O = 71
T = 192.15
 O = N/A
T = TO
 O = 69
T = 284.00
 O = 72
T = 0.26
 O = 89
T = 0.40
AES2-74-72.wcnf O = 2
T = 5.62		 O = N/A
T = TO
 O = N/A
T = TO
 O = 74
T = 144.89
 O = 75
T = 38.03
 O = 84
T = 261.05
 O = N/A
T = TO
 O = 2
T = 245.56
 O = 2
T = 10.01
 O = 2
T = 5.62
AES2-74-73.wcnf O = 2
T = 3.52		 O = N/A
T = TO
 O = N/A
T = TO
 O = 72
T = 287.46
 O = 72
T = 263.36
 O = 92
T = 123.56
 O = N/A
T = TO
 O = 2
T = 3.52
 O = 2
T = 3.54
 O = 2
T = 4.74
AES2-74-74.wcnf O = 2
T = 105.02		 O = N/A
T = TO
 O = N/A
T = TO
 O = 77
T = 235.20
 O = 70
T = 262.39
 O = 71
T = 167.65
 O = N/A
T = TO
 O = 25
T = 283.88
 O = 2
T = 105.02
 O = 2
T = 130.44
AES2-74-75.wcnf O = 2
T = 7.11		 O = N/A
T = TO
 O = N/A
T = TO
 O = 80
T = 120.36
 O = 76
T = 94.34
 O = 70
T = 137.82
 O = N/A
T = TO
 O = 45
T = 283.82
 O = 2
T = 9.24
 O = 2
T = 7.11
causal_n5_i10_N10000_uai13_constant_int.wcnf O = 8
T = 0.23		 O = 16
T = 140.13
 O = N/A
T = TO
 O = 32
T = 1.81
 O = 32
T = 1.35
 O = 32
T = 0.59
 O = N/A
T = TO
 O = 8
T = 0.25
 O = 8
T = 0.23
 O = 8
T = 7.80
causal_n5_i10_N500_uai13_constant_int.wcnf O = 8
T = 0.17		 O = 16
T = 140.31
 O = N/A
T = TO
 O = 32
T = 1.80
 O = 32
T = 1.35
 O = 31
T = 0.60
 O = N/A
T = TO
 O = 8
T = 0.27
 O = 8
T = 0.17
 O = 8
T = 10.99
causal_n5_i2_N500_uai13_harddeps_int.wcnf O = 5
T = 1.98		 O = 9
T = 11.29
 O = N/A
T = TO
 O = 10
T = 1.78
 O = 10
T = 1.31
 O = 10
T = 0.75
 O = N/A
T = TO
 O = 5
T = 1.98
 O = 5
T = 6.20
 O = 5
T = 10.16
causal_n5_i4_N500_uai13_harddeps_int.wcnf O = 4
T = 3.19		 O = 6
T = 104.12
 O = N/A
T = TO
 O = 7
T = 1.80
 O = 7
T = 1.37
 O = 7
T = 0.76
 O = N/A
T = TO
 O = 4
T = 3.37
 O = 4
T = 3.19
 O = 4
T = 6.53
causal_n5_i5_N10000_uai13_constant_int.wcnf O = 5
T = 7.22		 O = 11
T = 3.14
 O = N/A
T = TO
 O = 11
T = 1.82
 O = 11
T = 1.30
 O = 11
T = 0.92
 O = N/A
T = TO
 O = 5
T = 7.22
 O = 5
T = 9.85
 O = 5
T = 19.09
causal_n5_i5_N1000_uai13_constant_int.wcnf O = 5
T = 11.37		 O = 11
T = 3.23
 O = N/A
T = TO
 O = 11
T = 1.76
 O = 11
T = 1.35
 O = 11
T = 0.91
 O = N/A
T = TO
 O = 5
T = 11.37
 O = 5
T = 12.03
 O = 5
T = 13.01
causal_n5_i5_N500_uai13_constant_int.wcnf O = 5
T = 7.25		 O = 9
T = 82.31
 O = N/A
T = TO
 O = 11
T = 1.81
 O = 11
T = 1.33
 O = 11
T = 0.92
 O = N/A
T = TO
 O = 5
T = 13.39
 O = 5
T = 7.25
 O = 5
T = 26.71
causal_n5_i7_N10000_uai13_constant_int.wcnf O = 11
T = 12.10		 O = 22
T = 139.02
 O = N/A
T = TO
 O = 30
T = 1.84
 O = 30
T = 1.33
 O = 30
T = 0.41
 O = N/A
T = TO
 O = 11
T = 21.52
 O = 11
T = 12.10
 O = 11
T = 46.46
causal_n5_i7_N10000_uai13_harddeps_int.wcnf O = 17
T = 2.85		 O = 30
T = 3.49
 O = N/A
T = TO
 O = 30
T = 1.75
 O = 30
T = 1.32
 O = 30
T = 0.46
 O = N/A
T = TO
 O = 17
T = 2.85
 O = 17
T = 38.80
 O = 17
T = 167.95
causal_n5_i7_N1000_uai13_constant_int.wcnf O = 11
T = 14.19		 O = 26
T = 208.24
 O = N/A
T = TO
 O = 30
T = 1.77
 O = 30
T = 1.35
 O = 30
T = 0.43
 O = N/A
T = TO
 O = 11
T = 23.50
 O = 11
T = 14.19
 O = 11
T = 63.60
causal_n5_i7_N1000_uai13_harddeps_int.wcnf O = 17
T = 15.84		 O = 29
T = 193.76
 O = N/A
T = TO
 O = 30
T = 1.82
 O = 30
T = 1.32
 O = 30
T = 0.41
 O = N/A
T = TO
 O = 17
T = 15.84
 O = 17
T = 32.58
 O = 17
T = 95.68
causal_n5_i7_N500_uai13_constant_int.wcnf O = 11
T = 11.00		 O = 22
T = 117.59
 O = N/A
T = TO
 O = 30
T = 1.76
 O = 30
T = 1.33
 O = 30
T = 0.46
 O = N/A
T = TO
 O = 11
T = 15.49
 O = 11
T = 11.00
 O = 11
T = 33.65
causal_n5_i7_N500_uai13_harddeps_int.wcnf O = 17
T = 0.28		 O = 30
T = 3.28
 O = N/A
T = TO
 O = 30
T = 1.79
 O = 30
T = 1.35
 O = 30
T = 0.48
 O = N/A
T = TO
 O = 17
T = 0.28
 O = 17
T = 35.17
 O = 17
T = 118.50
causal_n5_i8_N10000_uai13_harddeps_int.wcnf O = 18
T = 1.09		 O = 31
T = 224.13
 O = N/A
T = TO
 O = 35
T = 1.76
 O = 35
T = 1.35
 O = 35
T = 0.45
 O = N/A
T = TO
 O = 18
T = 1.09
 O = 18
T = 32.06
 O = 18
T = 140.64
causal_n5_i8_N1000_uai13_harddeps_int.wcnf O = 18
T = 1.40		 O = 35
T = 3.19
 O = N/A
T = TO
 O = 35
T = 1.80
 O = 35
T = 1.35
 O = 35
T = 0.44
 O = N/A
T = TO
 O = 18
T = 1.40
 O = 18
T = 36.42
 O = 18
T = 102.76
causal_n5_i8_N500_uai13_harddeps_int.wcnf O = 18
T = 1.58		 O = 31
T = 186.87
 O = N/A
T = TO
 O = 35
T = 1.81
 O = 35
T = 1.33
 O = 35
T = 0.43
 O = N/A
T = TO
 O = 18
T = 1.58
 O = 18
T = 29.88
 O = 18
T = 165.15
causal_n5_i9_N10000_uai13_constant_int.wcnf O = 12
T = 4.72		 O = 35
T = 174.28
 O = N/A
T = TO
 O = 48
T = 1.77
 O = 48
T = 1.35
 O = 44
T = 0.43
 O = N/A
T = TO
 O = 12
T = 4.72
 O = 12
T = 13.48
 O = 12
T = 37.41
causal_n5_i9_N10000_uai13_harddeps_int.wcnf O = 17
T = 0.15		 O = 44
T = 146.04
 O = N/A
T = TO
 O = 48
T = 1.79
 O = 48
T = 1.33
 O = 41
T = 0.41
 O = N/A
T = TO
 O = 17
T = 0.25
 O = 17
T = 1.00
 O = 17
T = 0.15
causal_n5_i9_N1000_uai13_constant_int.wcnf O = 12
T = 0.80		 O = 16
T = 203.93
 O = N/A
T = TO
 O = 48
T = 1.83
 O = 48
T = 1.29
 O = 44
T = 0.43
 O = N/A
T = TO
 O = 12
T = 0.80
 O = 12
T = 9.28
 O = 12
T = 26.06
causal_n5_i9_N1000_uai13_harddeps_int.wcnf O = 17
T = 0.28		 O = 47
T = 25.32
 O = N/A
T = TO
 O = 48
T = 1.78
 O = 48
T = 1.40
 O = 32
T = 0.43
 O = N/A
T = TO
 O = 17
T = 0.28
 O = 17
T = 0.66
 O = 17
T = 180.13
causal_n5_i9_N500_uai13_constant_int.wcnf O = 12
T = 1.08		 O = 24
T = 233.45
 O = N/A
T = TO
 O = 48
T = 1.83
 O = 48
T = 1.33
 O = 41
T = 135.06
 O = N/A
T = TO
 O = 12
T = 1.08
 O = 12
T = 8.06
 O = 12
T = 45.43
causal_n5_i9_N500_uai13_harddeps_int.wcnf O = 17
T = 0.22		 O = 36
T = 105.11
 O = N/A
T = TO
 O = 48
T = 1.80
 O = 48
T = 1.35
 O = 41
T = 137.61
 O = N/A
T = TO
 O = 17
T = 0.22
 O = 17
T = 0.72
 O = 17
T = 166.71
causal_n6_i10_N1000_uai14_constant_int.wcnf O = 28
T = 0.66		 O = 112
T = 0.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 = 28
T = 0.66
 O = 28
T = 14.41
 O = 28
T = 219.87
causal_n6_i10_N500_uai14_constant_int.wcnf O = 28
T = 10.33		 O = 112
T = 0.30
 O = N/A
T = TO
 O = N/A
T = TO
 O = 112
T = 74.22
 O = N/A
T = TO
 O = N/A
T = TO
 O = 28
T = 10.33
 O = 28
T = 16.93
 O = 128
T = 0.09
causal_n6_i10_N500_uai14_harddeps_int.wcnf O = 33
T = 0.04		 O = 112
T = 0.36
 O = 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 = 33
T = 0.21
 O = 33
T = 0.04
 O = 33
T = 92.13
causal_n6_i1_N10000_uai14_constant_int.wcnf O = 19
T = 2.09		 O = 70
T = 0.45
 O = N/A
T = TO
 O = N/A
T = TO
 O = 70
T = 4.40
 O = N/A
T = TO
 O = N/A
T = TO
 O = 19
T = 2.09
 O = 19
T = 10.85
 O = 19
T = 87.62
causal_n6_i1_N500_uai13_harddeps_int.wcnf O = 19
T = 284.18		 O = 69
T = 270.39
 O = N/A
T = TO
 O = 70
T = 58.52
 O = 70
T = 42.52
 O = 70
T = 10.74
 O = N/A
T = TO
 O = 19
T = 284.18
 O = 36
T = 1.35
 O = 69
T = 1.10
causal_n6_i2_N10000_uai14_harddeps_int.wcnf O = 48
T = 8.63		 O = 87
T = 0.51
 O = N/A
T = TO
 O = N/A
T = TO
 O = 87
T = 1.73
 O = N/A
T = TO
 O = N/A
T = TO
 O = 48
T = 8.63
 O = 48
T = 62.05
 O = 75
T = 0.67
causal_n6_i2_N1000_uai13_constant_int.wcnf O = 19
T = 284.09		 O = 87
T = 172.10
 O = N/A
T = TO
 O = 87
T = 61.00
 O = 87
T = 41.58
 O = 21
T = 3.34
 O = N/A
T = TO
 O = 19
T = 284.09
 O = 21
T = 2.17
 O = 153
T = 0.61
causal_n6_i2_N1000_uai14_harddeps_int.wcnf O = 48
T = 16.18		 O = 87
T = 0.55
 O = 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 = 48
T = 16.18
 O = 48
T = 48.31
 O = 55
T = 0.21
causal_n6_i2_N500_uai14_harddeps_int.wcnf O = 48
T = 2.07		 O = 87
T = 0.50
 O = N/A
T = TO
 O = N/A
T = TO
 O = 87
T = 2.28
 O = N/A
T = TO
 O = N/A
T = TO
 O = 48
T = 2.07
 O = 48
T = 63.89
 O = 75
T = 0.11
causal_n6_i3_N10000_uai14_constant_int.wcnf O = 22
T = 1.85		 O = 146
T = 0.33
 O = N/A
T = TO
 O = N/A
T = TO
 O = 146
T = 22.82
 O = N/A
T = TO
 O = N/A
T = TO
 O = 22
T = 2.20
 O = 22
T = 1.85
 O = 22
T = 10.69
causal_n6_i3_N10000_uai14_harddeps_int.wcnf O = 56
T = 1.52		 O = 146
T = 0.55
 O = N/A
T = TO
 O = N/A
T = TO
 O = 146
T = 109.82
 O = N/A
T = TO
 O = N/A
T = TO
 O = 56
T = 1.52
 O = 56
T = 86.30
 O = 110
T = 0.11
causal_n6_i3_N1000_uai14_harddeps_int.wcnf O = 56
T = 2.33		 O = 146
T = 0.37
 O = N/A
T = TO
 O = N/A
T = TO
 O = 146
T = 14.79
 O = N/A
T = TO
 O = N/A
T = TO
 O = 56
T = 2.33
 O = 56
T = 103.64
 O = 110
T = 0.65
causal_n6_i3_N500_uai14_harddeps_int.wcnf O = 56
T = 2.11		 O = 146
T = 0.34
 O = N/A
T = TO
 O = N/A
T = TO
 O = 146
T = 104.64
 O = N/A
T = TO
 O = N/A
T = TO
 O = 56
T = 2.11
 O = 56
T = 97.84
 O = 86
T = 0.09
causal_n6_i4_N1000_uai14_constant_int.wcnf O = 17
T = 12.72		 O = 40
T = 0.31
 O = N/A
T = TO
 O = N/A
T = TO
 O = 40
T = 96.27
 O = N/A
T = TO
 O = N/A
T = TO
 O = 17
T = 18.75
 O = 17
T = 12.72
 O = 17
T = 53.65
causal_n6_i4_N500_uai14_constant_int.wcnf O = 17
T = 13.37		 O = 40
T = 0.48
 O = N/A
T = TO
 O = N/A
T = TO
 O = 40
T = 129.22
 O = N/A
T = TO
 O = N/A
T = TO
 O = 17
T = 13.37
 O = 17
T = 15.14
 O = 17
T = 44.01
causal_n6_i5_N10000_uai13_constant_int.wcnf O = 4
T = 1.73		 O = 46
T = 149.06
 O = N/A
T = TO
 O = 46
T = 55.77
 O = 46
T = 42.64
 O = 46
T = 10.99
 O = N/A
T = TO
 O = 4
T = 1.73
 O = 4
T = 11.70
 O = 4
T = 13.29
causal_n6_i5_N10000_uai13_harddeps_int.wcnf O = 4
T = 5.63		 O = 46
T = 120.38
 O = N/A
T = TO
 O = 46
T = 63.34
 O = 46
T = 42.48
 O = 46
T = 10.64
 O = N/A
T = TO
 O = 4
T = 5.63
 O = 4
T = 7.61
 O = 4
T = 9.17
causal_n6_i5_N1000_uai13_constant_int.wcnf O = 4
T = 2.08		 O = 46
T = 119.01
 O = N/A
T = TO
 O = 46
T = 65.74
 O = 46
T = 41.98
 O = 46
T = 10.45
 O = N/A
T = TO
 O = 4
T = 2.08
 O = 4
T = 6.36
 O = 4
T = 19.09
causal_n6_i5_N1000_uai13_harddeps_int.wcnf O = 4
T = 1.39		 O = 46
T = 126.24
 O = N/A
T = TO
 O = 46
T = 60.73
 O = 46
T = 41.19
 O = 46
T = 10.64
 O = N/A
T = TO
 O = 4
T = 1.39
 O = 4
T = 15.44
 O = 4
T = 11.64
causal_n6_i5_N500_uai13_constant_int.wcnf O = 4
T = 2.25		 O = 46
T = 130.18
 O = N/A
T = TO
 O = 46
T = 59.23
 O = 46
T = 41.94
 O = 46
T = 10.66
 O = N/A
T = TO
 O = 4
T = 14.18
 O = 4
T = 2.25
 O = 4
T = 26.83
causal_n6_i5_N500_uai13_harddeps_int.wcnf O = 4
T = 1.38		 O = 46
T = 134.54
 O = N/A
T = TO
 O = 46
T = 64.80
 O = 46
T = 41.49
 O = 46
T = 10.67
 O = N/A
T = TO
 O = 4
T = 1.38
 O = 4
T = 4.73
 O = 4
T = 5.51
causal_n6_i6_N1000_uai14_constant_int.wcnf O = 19
T = 4.97		 O = 33
T = 0.47
 O = N/A
T = TO
 O = N/A
T = TO
 O = 33
T = 27.17
 O = N/A
T = TO
 O = N/A
T = TO
 O = 19
T = 4.97
 O = 19
T = 27.49
 O = 19
T = 136.88
causal_n6_i7_N1000_uai14_harddeps_int.wcnf O = 49
T = 5.28		 O = 139
T = 0.44
 O = N/A
T = TO
 O = N/A
T = TO
 O = 139
T = 210.35
 O = N/A
T = TO
 O = N/A
T = TO
 O = 49
T = 5.28
 O = 49
T = 33.46
 O = 115
T = 0.10
causal_n6_i8_N10000_uai14_constant_int.wcnf O = 26
T = 2.33		 O = 128
T = 0.34
 O = N/A
T = TO
 O = N/A
T = TO
 O = 128
T = 9.35
 O = N/A
T = TO
 O = N/A
T = TO
 O = 26
T = 2.33
 O = 26
T = 5.70
 O = 26
T = 19.99
causal_n6_i8_N1000_uai14_constant_int.wcnf O = 26
T = 2.19		 O = 128
T = 0.33
 O = N/A
T = TO
 O = N/A
T = TO
 O = 128
T = 12.77
 O = N/A
T = TO
 O = N/A
T = TO
 O = 26
T = 2.19
 O = 26
T = 5.27
 O = 26
T = 60.92
causal_n6_i9_N10000_uai14_constant_int.wcnf O = 28
T = 43.26		 O = 53
T = 0.33
 O = N/A
T = TO
 O = N/A
T = TO
 O = 53
T = 7.88
 O = N/A
T = TO
 O = N/A
T = TO
 O = 28
T = 43.26
 O = 28
T = 112.42
 O = 187
T = 0.15
causal_n6_i9_N10000_uai14_harddeps_int.wcnf O = 34
T = 5.41		 O = 53
T = 0.59
 O = N/A
T = TO
 O = N/A
T = TO
 O = 53
T = 0.52
 O = N/A
T = TO
 O = N/A
T = TO
 O = 34
T = 5.41
 O = 34
T = 22.13
 O = 34
T = 80.01
causal_n6_i9_N1000_uai14_constant_int.wcnf O = 28
T = 46.07		 O = 53
T = 0.37
 O = N/A
T = TO
 O = N/A
T = TO
 O = 53
T = 23.49
 O = N/A
T = TO
 O = N/A
T = TO
 O = 28
T = 46.07
 O = 28
T = 99.47
 O = 187
T = 0.12
causal_n6_i9_N500_uai14_constant_int.wcnf O = 28
T = 16.52		 O = 53
T = 0.47
 O = N/A
T = TO
 O = N/A
T = TO
 O = 53
T = 31.67
 O = N/A
T = TO
 O = N/A
T = TO
 O = 28
T = 16.52
 O = 28
T = 106.25
 O = 187
T = 0.07
causal_n7_i10_N10000_uai14_constant_int.wcnf O = 42
T = 14.05		 O = 62
T = 28.50
 O = N/A
T = TO
 O = N/A
T = TO
 O = 386
T = 253.98
 O = N/A
T = TO
 O = N/A
T = TO
 O = 42
T = 14.05
 O = 42
T = 37.70
 O = 286
T = 0.14
causal_n7_i10_N1000_uai14_constant_int.wcnf O = 42
T = 7.95		 O = 74
T = 217.14
 O = N/A
T = TO
 O = N/A
T = TO
 O = 386
T = 46.18
 O = N/A
T = TO
 O = N/A
T = TO
 O = 42
T = 7.95
 O = 42
T = 26.19
 O = 286
T = 0.17
causal_n7_i10_N500_uai14_constant_int.wcnf O = 42
T = 8.50		 O = 42
T = 216.48
 O = N/A
T = TO
 O = N/A
T = TO
 O = 386
T = 60.73
 O = N/A
T = TO
 O = N/A
T = TO
 O = 42
T = 8.50
 O = 42
T = 33.83
 O = 286
T = 0.18
causal_n7_i2_N10000_uai14_harddeps_int.wcnf O = 63
T = 254.48		 O = 99
T = 21.11
 O = 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 = 63
T = 254.48
 O = 85
T = 0.12
 O = 99
T = 0.11
causal_n7_i2_N500_uai14_harddeps_int.wcnf O = 63
T = 254.18		 O = 99
T = 33.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 = 63
T = 254.18
 O = 77
T = 0.15
 O = 99
T = 0.20
causal_n7_i4_N10000_uai14_harddeps_int.wcnf O = 109
T = 284.08		 O = 162
T = 59.45
 O = N/A
T = TO
 O = N/A
T = TO
 O = 177
T = 44.63
 O = N/A
T = TO
 O = N/A
T = TO
 O = 109
T = 284.08
 O = 172
T = 0.10
 O = 176
T = 0.13
causal_n7_i4_N1000_uai14_constant_int.wcnf O = 111
T = 237.42		 O = 111
T = 237.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 = 111
T = 283.91
 O = 205
T = 0.11
 O = 495
T = 0.09
causal_n7_i4_N1000_uai14_harddeps_int.wcnf O = 101
T = 284.01		 O = 165
T = 173.04
 O = N/A
T = TO
 O = N/A
T = TO
 O = 177
T = 192.99
 O = N/A
T = TO
 O = N/A
T = TO
 O = 101
T = 284.01
 O = N/A
T = TO
 O = 169
T = 0.12
causal_n7_i4_N500_uai14_constant_int.wcnf O = 147
T = 283.98		 O = 155
T = 284.69
 O = N/A
T = TO
 O = N/A
T = TO
 O = 177
T = 63.80
 O = N/A
T = TO
 O = N/A
T = TO
 O = 147
T = 283.98
 O = 189
T = 0.15
 O = 495
T = 0.21
causal_n7_i4_N500_uai14_harddeps_int.wcnf O = 101
T = 283.74		 O = 165
T = 94.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 = 101
T = 283.74
 O = N/A
T = TO
 O = 176
T = 0.11
causal_n7_i5_N10000_uai14_constant_int.wcnf O = 48
T = 58.15		 O = 88
T = 50.94
 O = N/A
T = TO
 O = N/A
T = TO
 O = 344
T = 156.39
 O = N/A
T = TO
 O = N/A
T = TO
 O = 48
T = 58.15
 O = 48
T = 77.67
 O = 328
T = 0.18
causal_n7_i5_N1000_uai14_constant_int.wcnf O = 48
T = 46.84		 O = 56
T = 139.89
 O = N/A
T = TO
 O = N/A
T = TO
 O = 344
T = 74.89
 O = N/A
T = TO
 O = N/A
T = TO
 O = 48
T = 46.84
 O = 48
T = 89.21
 O = 328
T = 0.18
causal_n7_i5_N500_uai14_constant_int.wcnf O = 48
T = 53.62		 O = 56
T = 72.99
 O = N/A
T = TO
 O = N/A
T = TO
 O = 344
T = 48.26
 O = N/A
T = TO
 O = N/A
T = TO
 O = 48
T = 53.62
 O = 48
T = 108.62
 O = 328
T = 0.09
causal_n7_i6_N10000_uai14_harddeps_int.wcnf O = 116
T = 284.41		 O = 198
T = 202.04
 O = N/A
T = TO
 O = N/A
T = TO
 O = 210
T = 64.73
 O = N/A
T = TO
 O = N/A
T = TO
 O = 116
T = 284.41
 O = 120
T = 0.14
 O = 206
T = 0.13
causal_n7_i6_N1000_uai14_harddeps_int.wcnf O = 120
T = 0.11		 O = 208
T = 140.11
 O = 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.16
 O = 120
T = 0.11
 O = 210
T = 0.14
causal_n7_i6_N500_uai14_harddeps_int.wcnf O = 119
T = 284.10		 O = 198
T = 219.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 = 119
T = 284.10
 O = 120
T = 0.12
 O = 210
T = 0.10
causal_n7_i7_N10000_uai14_harddeps_int.wcnf O = 95
T = 283.97		 O = 147
T = 108.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 = 95
T = 283.97
 O = 141
T = 0.12
 O = 151
T = 0.11
causal_n7_i7_N1000_uai14_harddeps_int.wcnf O = 95
T = 284.29		 O = 151
T = 1.59
 O = N/A
T = TO
 O = N/A
T = TO
 O = 151
T = 182.61
 O = N/A
T = TO
 O = N/A
T = TO
 O = 95
T = 284.29
 O = 143
T = 0.11
 O = 144
T = 0.16
causal_n7_i8_N10000_uai14_constant_int.wcnf O = 24
T = 0.28		 O = 24
T = 162.82
 O = N/A
T = TO
 O = N/A
T = TO
 O = 356
T = 41.09
 O = N/A
T = TO
 O = N/A
T = TO
 O = 24
T = 0.82
 O = 24
T = 0.28
 O = 24
T = 0.30
causal_n7_i8_N10000_uai14_harddeps_int.wcnf O = 94
T = 11.31		 O = 344
T = 99.05
 O = N/A
T = TO
 O = N/A
T = TO
 O = 356
T = 98.11
 O = N/A
T = TO
 O = N/A
T = TO
 O = 94
T = 11.31
 O = 173
T = 0.11
 O = 318
T = 0.14
causal_n7_i8_N1000_uai14_constant_int.wcnf O = 24
T = 0.28		 O = 24
T = 41.83
 O = N/A
T = TO
 O = N/A
T = TO
 O = 356
T = 96.02
 O = N/A
T = TO
 O = N/A
T = TO
 O = 24
T = 0.28
 O = 24
T = 0.30
 O = 24
T = 0.32
causal_n7_i8_N1000_uai14_harddeps_int.wcnf O = 94
T = 5.90		 O = 324
T = 46.96
 O = N/A
T = TO
 O = N/A
T = TO
 O = 356
T = 28.53
 O = N/A
T = TO
 O = N/A
T = TO
 O = 94
T = 5.90
 O = 184
T = 0.10
 O = 318
T = 0.15
causal_n7_i8_N500_uai14_constant_int.wcnf O = 24
T = 0.32		 O = 24
T = 27.29
 O = N/A
T = TO
 O = N/A
T = TO
 O = 356
T = 41.00
 O = N/A
T = TO
 O = N/A
T = TO
 O = 24
T = 0.89
 O = 24
T = 0.32
 O = 24
T = 0.32
causal_n7_i8_N500_uai14_harddeps_int.wcnf O = 94
T = 5.37		 O = 352
T = 6.12
 O = N/A
T = TO
 O = N/A
T = TO
 O = 356
T = 37.32
 O = N/A
T = TO
 O = N/A
T = TO
 O = 94
T = 5.37
 O = 220
T = 0.10
 O = 350
T = 0.09
causal_n7_i9_N10000_uai14_constant_int.wcnf O = 46
T = 124.37		 O = 164
T = 9.24
 O = N/A
T = TO
 O = N/A
T = TO
 O = 198
T = 251.60
 O = N/A
T = TO
 O = N/A
T = TO
 O = 46
T = 124.37
 O = 160
T = 0.09
 O = 474
T = 0.10
causal_n7_i9_N10000_uai14_harddeps_int.wcnf O = 82
T = 2.05		 O = 186
T = 47.23
 O = N/A
T = TO
 O = N/A
T = TO
 O = 198
T = 29.59
 O = N/A
T = TO
 O = N/A
T = TO
 O = 82
T = 2.05
 O = 197
T = 0.17
 O = 198
T = 0.13
causal_n7_i9_N1000_uai14_constant_int.wcnf O = 46
T = 41.81		 O = 172
T = 219.93
 O = N/A
T = TO
 O = N/A
T = TO
 O = 198
T = 62.37
 O = N/A
T = TO
 O = N/A
T = TO
 O = 46
T = 41.81
 O = 160
T = 0.09
 O = 474
T = 0.25
causal_n7_i9_N1000_uai14_harddeps_int.wcnf O = 82
T = 1.61		 O = 194
T = 6.85
 O = N/A
T = TO
 O = N/A
T = TO
 O = 198
T = 38.27
 O = N/A
T = TO
 O = N/A
T = TO
 O = 82
T = 1.61
 O = 182
T = 0.14
 O = 196
T = 0.10
causal_n7_i9_N500_uai14_constant_int.wcnf O = 46
T = 255.52		 O = 100
T = 191.25
 O = N/A
T = TO
 O = N/A
T = TO
 O = 198
T = 216.41
 O = N/A
T = TO
 O = N/A
T = TO
 O = 132
T = 284.37
 O = 46
T = 255.52
 O = 474
T = 0.29
causal_n7_i9_N500_uai14_harddeps_int.wcnf O = 82
T = 6.52		 O = 194
T = 85.66
 O = N/A
T = TO
 O = N/A
T = TO
 O = 198
T = 39.52
 O = N/A
T = TO
 O = N/A
T = TO
 O = 82
T = 6.52
 O = 196
T = 0.25
 O = 198
T = 0.14
s00641_nan_explicit_0_0.wcnf O = 52
T = 0.03		 O = 52
T = 0.92
 O = N/A
T = TO
 O = 52
T = 1.99
 O = 52
T = 0.63
 O = 52
T = 0.58
 O = 52
T = 0.34
 O = 52
T = 0.06
 O = 52
T = 0.03
 O = 52
T = 0.04
s00641_nan_explicit_1_0.wcnf O = 60
T = 0.03		 O = 60
T = 1.21
 O = N/A
T = TO
 O = 60
T = 0.84
 O = 60
T = 0.43
 O = 60
T = 2.00
 O = 60
T = 0.46
 O = 60
T = 0.06
 O = 60
T = 0.03
 O = 60
T = 0.04
s00641_nan_explicit_2_0.wcnf O = 60
T = 0.03		 O = 60
T = 0.67
 O = N/A
T = TO
 O = 60
T = 0.28
 O = 60
T = 0.26
 O = 60
T = 0.17
 O = 60
T = 0.23
 O = 60
T = 0.06
 O = 60
T = 0.03
 O = 60
T = 0.03
s00641_nan_explicit_3_0.wcnf O = 58
T = 0.05		 O = 58
T = 3.11
 O = N/A
T = TO
 O = 58
T = 86.03
 O = 58
T = 140.78
 O = 58
T = 1.70
 O = 58
T = 0.58
 O = 58
T = 0.07
 O = 58
T = 0.05
 O = 58
T = 0.05
s00641_nan_explicit_4_0.wcnf O = 65
T = 0.05		 O = 65
T = 8.70
 O = N/A
T = TO
 O = 65
T = 60.60
 O = 65
T = 13.32
 O = 65
T = 142.58
 O = 65
T = 0.96
 O = 65
T = 0.08
 O = 65
T = 0.05
 O = 65
T = 0.05
s00641_nan_explicit_5_0.wcnf O = 67
T = 0.03		 O = 67
T = 2.78
 O = N/A
T = TO
 O = 67
T = 0.29
 O = 67
T = 2.81
 O = 67
T = 0.18
 O = 67
T = 0.30
 O = 67
T = 0.07
 O = 67
T = 0.03
 O = 67
T = 0.04
s00641_nan_explicit_6_0.wcnf O = 67
T = 0.04		 O = 67
T = 1.92
 O = N/A
T = TO
 O = 67
T = 6.73
 O = 67
T = 1.69
 O = 67
T = 29.72
 O = 67
T = 1.19
 O = 67
T = 0.08
 O = 67
T = 0.04
 O = 67
T = 0.06
s00641_nan_explicit_7_0.wcnf O = 67
T = 0.05		 O = 67
T = 93.96
 O = N/A
T = TO
 O = 70
T = 2.52
 O = 68
T = 41.44
 O = 68
T = 5.16
 O = 67
T = 2.52
 O = 67
T = 0.08
 O = 67
T = 0.05
 O = 67
T = 0.06
s00641_nan_explicit_8_0.wcnf O = 69
T = 0.02		 O = 69
T = 7.52
 O = N/A
T = TO
 O = 69
T = 11.64
 O = 69
T = 41.79
 O = 69
T = 0.17
 O = 69
T = 0.36
 O = 69
T = 0.06
 O = 69
T = 0.02
 O = 69
T = 0.03
s00641_nan_explicit_9_0.wcnf O = 68
T = 0.08		 O = 68
T = 47.88
 O = N/A
T = TO
 O = 68
T = 76.52
 O = 69
T = 4.61
 O = 69
T = 0.21
 O = 68
T = 4.76
 O = 68
T = 0.11
 O = 68
T = 0.08
 O = 68
T = 0.10
s01423_nan_explicit_0_0.wcnf O = 63
T = 0.06		 O = 63
T = 24.17
 O = N/A
T = TO
 O = 63
T = 1.36
 O = 63
T = 2.29
 O = 63
T = 1.41
 O = 63
T = 0.65
 O = 63
T = 0.13
 O = 63
T = 0.06
 O = 63
T = 0.08
s01423_nan_explicit_1_0.wcnf O = 63
T = 0.06		 O = 63
T = 4.85
 O = N/A
T = TO
 O = 63
T = 1.08
 O = 63
T = 1.02
 O = 63
T = 0.40
 O = 63
T = 0.57
 O = 63
T = 0.14
 O = 63
T = 0.06
 O = 63
T = 0.08
s01423_nan_explicit_2_0.wcnf O = 60
T = 0.07		 O = 60
T = 11.95
 O = N/A
T = TO
 O = 60
T = 5.28
 O = 60
T = 3.74
 O = 60
T = 0.65
 O = 60
T = 0.95
 O = 60
T = 0.14
 O = 60
T = 0.07
 O = 60
T = 0.09
s01423_nan_explicit_3_0.wcnf O = 69
T = 0.08		 O = 69
T = 2.75
 O = N/A
T = TO
 O = 69
T = 1.00
 O = 69
T = 0.94
 O = 69
T = 0.67
 O = 69
T = 0.67
 O = 69
T = 0.13
 O = 69
T = 0.08
 O = 69
T = 0.09
s01423_nan_explicit_4_0.wcnf O = 56
T = 0.06		 O = 56
T = 26.13
 O = N/A
T = TO
 O = 56
T = 0.71
 O = 56
T = 1.29
 O = 56
T = 0.28
 O = 56
T = 0.60
 O = 56
T = 0.11
 O = 56
T = 0.06
 O = 56
T = 0.07
s01423_nan_explicit_5_0.wcnf O = 59
T = 0.06		 O = 59
T = 88.94
 O = N/A
T = TO
 O = 59
T = 61.23
 O = 59
T = 38.62
 O = 59
T = 0.49
 O = 59
T = 0.59
 O = 59
T = 0.13
 O = 59
T = 0.06
 O = 59
T = 0.07
s01423_nan_explicit_6_0.wcnf O = 64
T = 0.06		 O = 65
T = 204.00
 O = N/A
T = TO
 O = 64
T = 4.04
 O = 64
T = 29.76
 O = 64
T = 40.47
 O = 64
T = 0.48
 O = 64
T = 0.09
 O = 64
T = 0.07
 O = 64
T = 0.06
s01423_nan_explicit_7_0.wcnf O = 65
T = 0.05		 O = 65
T = 35.31
 O = N/A
T = TO
 O = 65
T = 2.81
 O = 65
T = 1.90
 O = 65
T = 0.34
 O = 65
T = 0.68
 O = 65
T = 0.12
 O = 65
T = 0.05
 O = 65
T = 0.09
s01423_nan_explicit_8_0.wcnf O = 63
T = 0.06		 O = 63
T = 141.95
 O = N/A
T = TO
 O = 63
T = 1.68
 O = 63
T = 1.51
 O = 63
T = 5.73
 O = 63
T = 0.60
 O = 63
T = 0.12
 O = 63
T = 0.06
 O = 63
T = 0.08
s01423_nan_explicit_9_0.wcnf O = 70
T = 0.06		 O = 70
T = 15.27
 O = N/A
T = TO
 O = 70
T = 35.28
 O = 70
T = 6.79
 O = 70
T = 7.70
 O = 70
T = 0.66
 O = 70
T = 0.13
 O = 70
T = 0.06
 O = 70
T = 0.09
s38417_nan_explicit_0_0.wcnf O = 60
T = 0.51		 O = 60
T = 139.34
 O = N/A
T = TO
 O = 60
T = 63.86
 O = 60
T = 30.32
 O = 60
T = 2.62
 O = 60
T = 8.41
 O = 60
T = 0.80
 O = 60
T = 0.51
 O = 60
T = 0.77
s38417_nan_explicit_10_0.wcnf O = 65
T = 0.21		 O = 65
T = 16.77
 O = N/A
T = TO
 O = 65
T = 4.22
 O = 65
T = 5.32
 O = 65
T = 0.75
 O = 65
T = 2.04
 O = 65
T = 0.30
 O = 65
T = 0.21
 O = 65
T = 0.25
s38417_nan_explicit_11_0.wcnf O = 68
T = 0.17		 O = 68
T = 42.72
 O = N/A
T = TO
 O = 68
T = 10.67
 O = 68
T = 12.54
 O = 68
T = 12.13
 O = 68
T = 1.67
 O = 68
T = 0.26
 O = 68
T = 0.17
 O = 68
T = 0.26
s38417_nan_explicit_12_0.wcnf O = 70
T = 0.18		 O = 70
T = 18.96
 O = N/A
T = TO
 O = 70
T = 4.14
 O = 70
T = 3.28
 O = 70
T = 1.09
 O = 70
T = 1.99
 O = 70
T = 0.28
 O = 70
T = 0.18
 O = 70
T = 0.26
s38417_nan_explicit_13_0.wcnf O = 67
T = 0.24		 O = 68
T = 15.13
 O = N/A
T = TO
 O = 68
T = 4.47
 O = 67
T = 25.37
 O = 67
T = 82.90
 O = 67
T = 3.13
 O = 67
T = 0.31
 O = 67
T = 0.24
 O = 67
T = 0.27
s38417_nan_explicit_14_0.wcnf O = 55
T = 0.26		 O = 55
T = 50.82
 O = N/A
T = TO
 O = 56
T = 42.79
 O = 57
T = 29.43
 O = 56
T = 27.54
 O = 55
T = 12.66
 O = 55
T = 0.32
 O = 55
T = 0.26
 O = 55
T = 0.36
s38417_nan_explicit_15_0.wcnf O = 65
T = 0.22		 O = 66
T = 121.21
 O = N/A
T = TO
 O = 65
T = 51.21
 O = 65
T = 7.38
 O = 65
T = 67.54
 O = 65
T = 3.46
 O = 65
T = 0.29
 O = 65
T = 0.22
 O = 65
T = 0.29
s38417_nan_explicit_16_0.wcnf O = 69
T = 0.18		 O = 69
T = 73.42
 O = N/A
T = TO
 O = 69
T = 4.88
 O = 69
T = 9.87
 O = 69
T = 5.69
 O = 69
T = 2.66
 O = 69
T = 0.23
 O = 69
T = 0.18
 O = 69
T = 0.25
s38417_nan_explicit_17_0.wcnf O = 61
T = 0.22		 O = 61
T = 278.46
 O = N/A
T = TO
 O = 61
T = 8.12
 O = 61
T = 66.53
 O = 61
T = 1.91
 O = 61
T = 6.96
 O = 61
T = 0.27
 O = 61
T = 0.22
 O = 61
T = 0.28
s38417_nan_explicit_18_0.wcnf O = 63
T = 0.21		 O = 63
T = 18.81
 O = N/A
T = TO
 O = 63
T = 8.47
 O = 63
T = 3.15
 O = 63
T = 4.93
 O = 63
T = 1.99
 O = 63
T = 0.25
 O = 63
T = 0.21
 O = 63
T = 0.25
s38417_nan_explicit_19_0.wcnf O = 70
T = 0.17		 O = 70
T = 68.09
 O = N/A
T = TO
 O = 70
T = 46.18
 O = 70
T = 2.60
 O = 70
T = 11.61
 O = 70
T = 2.05
 O = 70
T = 0.21
 O = 70
T = 0.17
 O = 70
T = 0.29
s38417_nan_explicit_1_0.wcnf O = 58
T = 0.43		 O = 58
T = 70.07
 O = N/A
T = TO
 O = 58
T = 27.87
 O = 58
T = 32.60
 O = 58
T = 4.45
 O = 58
T = 5.43
 O = 58
T = 0.60
 O = 58
T = 0.43
 O = 58
T = 0.52
s38417_nan_explicit_20_0.wcnf O = 64
T = 0.19		 O = 64
T = 32.89
 O = N/A
T = TO
 O = 64
T = 13.32
 O = 64
T = 14.99
 O = 64
T = 3.07
 O = 64
T = 3.95
 O = 64
T = 0.25
 O = 64
T = 0.19
 O = 64
T = 0.29
s38417_nan_explicit_21_0.wcnf O = 65
T = 0.17		 O = 66
T = 12.83
 O = N/A
T = TO
 O = 65
T = 38.47
 O = 65
T = 71.74
 O = 65
T = 4.84
 O = 65
T = 3.72
 O = 65
T = 0.22
 O = 65
T = 0.17
 O = 65
T = 0.23
s38417_nan_explicit_22_0.wcnf O = 55
T = 0.24		 O = 56
T = 85.00
 O = N/A
T = TO
 O = 55
T = 58.40
 O = 57
T = 18.77
 O = 56
T = 60.06
 O = 55
T = 16.36
 O = 55
T = 0.31
 O = 55
T = 0.24
 O = 55
T = 0.32
s38417_nan_explicit_23_0.wcnf O = 68
T = 0.19		 O = N/A
T = TO
 O = N/A
T = TO
 O = 68
T = 8.85
 O = 68
T = 149.40
 O = 68
T = 65.13
 O = 68
T = 4.73
 O = 68
T = 0.25
 O = 68
T = 0.19
 O = 68
T = 0.28
s38417_nan_explicit_24_0.wcnf O = 63
T = 0.17		 O = 64
T = 46.12
 O = N/A
T = TO
 O = 63
T = 49.71
 O = 63
T = 93.15
 O = 63
T = 90.10
 O = 63
T = 2.85
 O = 63
T = 0.22
 O = 63
T = 0.17
 O = 63
T = 0.26
s38417_nan_explicit_25_0.wcnf O = 69
T = 0.18		 O = 69
T = 35.25
 O = N/A
T = TO
 O = 69
T = 3.47
 O = 69
T = 3.37
 O = 69
T = 2.27
 O = 69
T = 2.71
 O = 69
T = 0.26
 O = 69
T = 0.18
 O = 69
T = 0.32
s38417_nan_explicit_26_0.wcnf O = 64
T = 0.12		 O = 64
T = 6.09
 O = N/A
T = TO
 O = 64
T = 9.28
 O = 64
T = 15.39
 O = 64
T = 6.76
 O = 64
T = 3.56
 O = 64
T = 0.19
 O = 64
T = 0.12
 O = 64
T = 0.19
s38417_nan_explicit_27_0.wcnf O = 67
T = 0.22		 O = 67
T = 15.44
 O = N/A
T = TO
 O = 67
T = 6.42
 O = 67
T = 2.73
 O = 67
T = 14.62
 O = 67
T = 4.02
 O = 67
T = 0.24
 O = 67
T = 0.24
 O = 67
T = 0.22
s38417_nan_explicit_28_0.wcnf O = 63
T = 0.18		 O = 66
T = 184.53
 O = N/A
T = TO
 O = 63
T = 125.32
 O = 63
T = 262.28
 O = 63
T = 26.29
 O = 63
T = 3.94
 O = 63
T = 0.20
 O = 63
T = 0.18
 O = 63
T = 0.24
s38417_nan_explicit_29_0.wcnf O = 69
T = 0.25		 O = 70
T = 231.31
 O = N/A
T = TO
 O = 69
T = 12.42
 O = 69
T = 26.83
 O = 69
T = 19.57
 O = 69
T = 4.70
 O = 69
T = 0.25
 O = 69
T = 0.26
 O = 69
T = 0.30
s38417_nan_explicit_2_0.wcnf O = 64
T = 0.33		 O = 65
T = 63.14
 O = N/A
T = TO
 O = 64
T = 20.78
 O = 64
T = 16.18
 O = 64
T = 2.28
 O = 64
T = 3.73
 O = 64
T = 0.56
 O = 64
T = 0.33
 O = 64
T = 0.51
s38417_nan_explicit_3_0.wcnf O = 65
T = 0.24		 O = 65
T = 46.37
 O = N/A
T = TO
 O = 65
T = 8.32
 O = 65
T = 9.30
 O = 65
T = 1.14
 O = 65
T = 3.03
 O = 65
T = 0.40
 O = 65
T = 0.24
 O = 65
T = 0.39
s38417_nan_explicit_4_0.wcnf O = 58
T = 0.23		 O = 58
T = 45.17
 O = N/A
T = TO
 O = 58
T = 10.76
 O = 58
T = 8.60
 O = 58
T = 2.63
 O = 58
T = 2.88
 O = 58
T = 0.38
 O = 58
T = 0.23
 O = 58
T = 0.33
s38417_nan_explicit_5_0.wcnf O = 69
T = 0.25		 O = 69
T = 16.36
 O = N/A
T = TO
 O = 69
T = 6.45
 O = 69
T = 5.36
 O = 69
T = 1.99
 O = 69
T = 2.43
 O = 69
T = 0.36
 O = 69
T = 0.25
 O = 69
T = 0.35
s38417_nan_explicit_6_0.wcnf O = 61
T = 0.22		 O = 61
T = 21.90
 O = N/A
T = TO
 O = 61
T = 6.37
 O = 61
T = 4.86
 O = 61
T = 1.04
 O = 61
T = 2.14
 O = 61
T = 0.34
 O = 61
T = 0.22
 O = 61
T = 0.29
s38417_nan_explicit_7_0.wcnf O = 72
T = 0.22		 O = 72
T = 36.95
 O = N/A
T = TO
 O = 72
T = 11.00
 O = 72
T = 6.12
 O = 72
T = 6.82
 O = 72
T = 2.67
 O = 72
T = 0.31
 O = 72
T = 0.22
 O = 72
T = 0.29
s38417_nan_explicit_8_0.wcnf O = 70
T = 0.20		 O = 70
T = 65.67
 O = N/A
T = TO
 O = 70
T = 45.79
 O = 70
T = 6.67
 O = 70
T = 10.48
 O = 70
T = 2.76
 O = 70
T = 0.33
 O = 70
T = 0.20
 O = 70
T = 0.31
s38417_nan_explicit_9_0.wcnf O = 67
T = 0.14		 O = 67
T = 37.75
 O = N/A
T = TO
 O = 67
T = 4.33
 O = 67
T = 3.60
 O = 67
T = 0.53
 O = 67
T = 1.74
 O = 67
T = 0.26
 O = 67
T = 0.14
 O = 67
T = 0.23
s38584_nan_explicit_0_0.wcnf O = 145
T = 254.23		 O = 155
T = 198.33
 O = N/A
T = TO
 O = 151
T = 52.31
 O = 152
T = 129.69
 O = 161
T = 43.17
 O = N/A
T = TO
 O = 145
T = 254.23
 O = 219
T = 2.50
 O = 241
T = 1.50
s38584_nan_explicit_10_0.wcnf O = 218
T = 254.41		 O = 247
T = 158.31
 O = N/A
T = TO
 O = 225
T = 276.20
 O = 229
T = 103.68
 O = 225
T = 263.95
 O = N/A
T = TO
 O = 218
T = 254.41
 O = N/A
T = TO
 O = 268
T = 1.18
s38584_nan_explicit_11_0.wcnf O = 214
T = 255.89		 O = 226
T = 89.38
 O = N/A
T = TO
 O = 214
T = 255.89
 O = 229
T = 285.57
 O = 225
T = 17.98
 O = N/A
T = TO
 O = 235
T = 283.62
 O = N/A
T = TO
 O = 265
T = 0.89
s38584_nan_explicit_12_0.wcnf O = 191
T = 209.98		 O = 223
T = 271.99
 O = N/A
T = TO
 O = 206
T = 26.05
 O = 207
T = 118.49
 O = 206
T = 252.06
 O = N/A
T = TO
 O = 191
T = 209.98
 O = N/A
T = TO
 O = N/A
T = TO
s38584_nan_explicit_13_0.wcnf O = 192
T = 124.63		 O = 217
T = 55.37
 O = N/A
T = TO
 O = 207
T = 176.37
 O = 220
T = 272.62
 O = 225
T = 20.36
 O = N/A
T = TO
 O = 192
T = 124.63
 O = 192
T = 186.76
 O = 235
T = 1.02
s38584_nan_explicit_14_0.wcnf O = 226
T = 223.38		 O = 254
T = 287.54
 O = N/A
T = TO
 O = 241
T = 285.76
 O = 226
T = 223.38
 O = 242
T = 95.68
 O = N/A
T = TO
 O = 237
T = 253.60
 O = N/A
T = TO
 O = 281
T = 1.06
s38584_nan_explicit_15_0.wcnf O = 209
T = 253.63		 O = 257
T = 214.04
 O = N/A
T = TO
 O = 233
T = 229.77
 O = 225
T = 80.52
 O = 229
T = 202.82
 O = N/A
T = TO
 O = 209
T = 253.63
 O = 230
T = 0.83
 O = 277
T = 0.64
s38584_nan_explicit_16_0.wcnf O = 188
T = 113.86		 O = 225
T = 168.60
 O = N/A
T = TO
 O = 204
T = 30.51
 O = 219
T = 66.10
 O = 250
T = 138.05
 O = N/A
T = TO
 O = 188
T = 187.66
 O = 188
T = 113.86
 O = 261
T = 0.87
s38584_nan_explicit_17_0.wcnf O = 185
T = 34.09		 O = 291
T = 92.59
 O = N/A
T = TO
 O = 208
T = 242.64
 O = 208
T = 156.28
 O = 206
T = 98.20
 O = N/A
T = TO
 O = 185
T = 46.42
 O = 185
T = 34.09
 O = 185
T = 59.99
s38584_nan_explicit_18_0.wcnf O = 186
T = 43.50		 O = 208
T = 139.90
 O = N/A
T = TO
 O = 207
T = 43.81
 O = 204
T = 87.10
 O = 212
T = 26.68
 O = N/A
T = TO
 O = 186
T = 43.50
 O = 186
T = 54.43
 O = 255
T = 1.59
s38584_nan_explicit_19_0.wcnf O = 198
T = 80.34		 O = 251
T = 280.76
 O = N/A
T = TO
 O = 209
T = 32.74
 O = 228
T = 20.00
 O = 215
T = 81.42
 O = N/A
T = TO
 O = 198
T = 80.34
 O = 198
T = 134.90
 O = 198
T = 203.73
s38584_nan_explicit_1_0.wcnf O = 156
T = 254.23		 O = 221
T = 247.51
 O = N/A
T = TO
 O = 168
T = 52.85
 O = 161
T = 153.93
 O = 202
T = 26.46
 O = N/A
T = TO
 O = 156
T = 254.23
 O = 195
T = 0.93
 O = 249
T = 1.74
s38584_nan_explicit_20_0.wcnf O = 194
T = 59.14		 O = 228
T = 120.12
 O = N/A
T = TO
 O = 201
T = 269.04
 O = 205
T = 277.00
 O = 283
T = 11.66
 O = N/A
T = TO
 O = 194
T = 107.27
 O = 194
T = 59.14
 O = 194
T = 135.74
s38584_nan_explicit_21_0.wcnf O = 184
T = 15.56		 O = 213
T = 233.33
 O = N/A
T = TO
 O = 197
T = 267.35
 O = 207
T = 58.01
 O = 208
T = 17.25
 O = N/A
T = TO
 O = 184
T = 15.56
 O = 184
T = 16.48
 O = 184
T = 15.59
s38584_nan_explicit_22_0.wcnf O = 179
T = 17.79		 O = 308
T = 44.89
 O = N/A
T = TO
 O = 202
T = 75.25
 O = 195
T = 48.10
 O = 194
T = 257.82
 O = N/A
T = TO
 O = 179
T = 30.64
 O = 179
T = 26.43
 O = 179
T = 17.79
s38584_nan_explicit_23_0.wcnf O = 179
T = 72.97		 O = 212
T = 44.49
 O = N/A
T = TO
 O = 273
T = 186.51
 O = 196
T = 102.53
 O = 197
T = 37.38
 O = N/A
T = TO
 O = 179
T = 103.56
 O = 179
T = 72.97
 O = N/A
T = TO
s38584_nan_explicit_24_0.wcnf O = 177
T = 16.25		 O = 194
T = 66.89
 O = N/A
T = TO
 O = 189
T = 228.22
 O = 191
T = 29.52
 O = 197
T = 81.45
 O = N/A
T = TO
 O = 177
T = 23.67
 O = 177
T = 23.27
 O = 177
T = 16.25
s38584_nan_explicit_25_0.wcnf O = 188
T = 14.36		 O = 213
T = 44.75
 O = N/A
T = TO
 O = 200
T = 37.96
 O = 202
T = 94.13
 O = 195
T = 200.09
 O = N/A
T = TO
 O = 188
T = 16.81
 O = 188
T = 20.90
 O = 188
T = 14.36
s38584_nan_explicit_26_0.wcnf O = 169
T = 18.84		 O = 194
T = 41.92
 O = N/A
T = TO
 O = 187
T = 31.67
 O = 195
T = 36.71
 O = 182
T = 221.10
 O = N/A
T = TO
 O = 169
T = 18.84
 O = 169
T = 24.06
 O = 169
T = 30.15
s38584_nan_explicit_27_0.wcnf O = 203
T = 46.11		 O = 296
T = 37.73
 O = N/A
T = TO
 O = 236
T = 121.33
 O = 215
T = 98.00
 O = 222
T = 231.23
 O = N/A
T = TO
 O = 203
T = 57.41
 O = 203
T = 46.11
 O = 247
T = 0.83
s38584_nan_explicit_28_0.wcnf O = 193
T = 36.06		 O = 276
T = 177.47
 O = N/A
T = TO
 O = 203
T = 271.27
 O = 267
T = 231.32
 O = 260
T = 223.70
 O = N/A
T = TO
 O = 193
T = 40.09
 O = 193
T = 36.06
 O = 193
T = 58.47
s38584_nan_explicit_29_0.wcnf O = 200
T = 29.90		 O = 228
T = 59.02
 O = N/A
T = TO
 O = 266
T = 169.37
 O = 267
T = 85.61
 O = 221
T = 18.36
 O = N/A
T = TO
 O = 200
T = 39.48
 O = 200
T = 29.90
 O = 200
T = 128.71
s38584_nan_explicit_2_0.wcnf O = 161
T = 76.11		 O = 235
T = 140.63
 O = N/A
T = TO
 O = 161
T = 76.11
 O = 223
T = 150.11
 O = 170
T = 211.39
 O = N/A
T = TO
 O = 166
T = 254.26
 O = 185
T = 1.38
 O = 249
T = 1.19
s38584_nan_explicit_30_0.wcnf O = 200
T = 45.04		 O = 295
T = 148.44
 O = N/A
T = TO
 O = 217
T = 60.09
 O = 218
T = 36.75
 O = 284
T = 7.34
 O = N/A
T = TO
 O = 200
T = 52.04
 O = 200
T = 45.04
 O = 290
T = 1.05
s38584_nan_explicit_31_0.wcnf O = 190
T = 50.96		 O = 283
T = 68.79
 O = N/A
T = TO
 O = 204
T = 35.84
 O = 210
T = 233.70
 O = 216
T = 19.23
 O = N/A
T = TO
 O = 190
T = 50.96
 O = 190
T = 53.88
 O = 222
T = 0.76
s38584_nan_explicit_32_0.wcnf O = 200
T = 34.53		 O = 221
T = 179.05
 O = N/A
T = TO
 O = 275
T = 286.95
 O = 283
T = 212.55
 O = 284
T = 101.43
 O = N/A
T = TO
 O = 200
T = 34.53
 O = 200
T = 44.71
 O = 290
T = 1.46
s38584_nan_explicit_33_0.wcnf O = 189
T = 15.29		 O = 273
T = 284.36
 O = N/A
T = TO
 O = 204
T = 213.31
 O = 205
T = 118.89
 O = 221
T = 284.88
 O = N/A
T = TO
 O = 189
T = 18.35
 O = 189
T = 15.29
 O = 189
T = 30.78
s38584_nan_explicit_34_0.wcnf O = 189
T = 21.23		 O = 295
T = 267.73
 O = N/A
T = TO
 O = 202
T = 268.02
 O = 287
T = 93.65
 O = 284
T = 248.00
 O = N/A
T = TO
 O = 189
T = 21.23
 O = 189
T = 29.27
 O = 189
T = 40.60
s38584_nan_explicit_35_0.wcnf O = 183
T = 19.30		 O = 248
T = 295.63
 O = N/A
T = TO
 O = 190
T = 275.96
 O = 262
T = 125.30
 O = 259
T = 180.89
 O = N/A
T = TO
 O = 183
T = 33.08
 O = 183
T = 19.30
 O = 183
T = 21.41
s38584_nan_explicit_36_0.wcnf O = 183
T = 13.32		 O = 191
T = 278.76
 O = N/A
T = TO
 O = 202
T = 91.07
 O = 199
T = 219.36
 O = 202
T = 31.14
 O = N/A
T = TO
 O = 183
T = 30.80
 O = 183
T = 18.72
 O = 183
T = 13.32
s38584_nan_explicit_37_0.wcnf O = 181
T = 14.30		 O = 228
T = 47.14
 O = N/A
T = TO
 O = 272
T = 36.91
 O = 276
T = 147.37
 O = 275
T = 277.29
 O = N/A
T = TO
 O = 181
T = 15.18
 O = 181
T = 15.19
 O = 181
T = 14.30
s38584_nan_explicit_38_0.wcnf O = 189
T = 14.84		 O = 296
T = 59.69
 O = N/A
T = TO
 O = 203
T = 82.79
 O = 204
T = 169.72
 O = 204
T = 264.62
 O = N/A
T = TO
 O = 189
T = 14.84
 O = 189
T = 20.85
 O = 189
T = 30.72
s38584_nan_explicit_39_0.wcnf O = 198
T = 36.42		 O = 281
T = 250.19
 O = N/A
T = TO
 O = 211
T = 270.51
 O = 272
T = 46.36
 O = 269
T = 30.91
 O = N/A
T = TO
 O = 198
T = 45.18
 O = 198
T = 36.42
 O = 216
T = 1.09
s38584_nan_explicit_3_0.wcnf O = 160
T = 254.27		 O = 197
T = 87.46
 O = N/A
T = TO
 O = 193
T = 44.77
 O = 190
T = 32.11
 O = 207
T = 283.49
 O = N/A
T = TO
 O = 160
T = 254.27
 O = N/A
T = TO
 O = 246
T = 0.92
s38584_nan_explicit_40_0.wcnf O = 191
T = 18.85		 O = 296
T = 137.42
 O = N/A
T = TO
 O = 203
T = 91.09
 O = 202
T = 210.05
 O = 272
T = 117.84
 O = N/A
T = TO
 O = 191
T = 18.85
 O = 191
T = 36.99
 O = 191
T = 26.21
s38584_nan_explicit_41_0.wcnf O = 163
T = 20.05		 O = 282
T = 220.33
 O = N/A
T = TO
 O = 276
T = 242.51
 O = 180
T = 86.86
 O = 219
T = 42.27
 O = N/A
T = TO
 O = 163
T = 21.24
 O = 163
T = 20.05
 O = 163
T = 20.25
s38584_nan_explicit_42_0.wcnf O = 193
T = 15.57		 O = 274
T = 214.51
 O = N/A
T = TO
 O = 226
T = 145.22
 O = 227
T = 28.86
 O = 200
T = 146.14
 O = N/A
T = TO
 O = 193
T = 15.57
 O = 193
T = 15.98
 O = 193
T = 16.49
s38584_nan_explicit_43_0.wcnf O = 178
T = 11.39		 O = 193
T = 46.49
 O = N/A
T = TO
 O = 200
T = 120.30
 O = 188
T = 196.13
 O = 186
T = 101.78
 O = N/A
T = TO
 O = 178
T = 15.16
 O = 178
T = 80.00
 O = 178
T = 11.39
s38584_nan_explicit_44_0.wcnf O = 168
T = 12.06		 O = 188
T = 101.58
 O = N/A
T = TO
 O = 180
T = 131.01
 O = 182
T = 287.09
 O = 181
T = 12.04
 O = N/A
T = TO
 O = 168
T = 16.64
 O = 168
T = 19.83
 O = 168
T = 12.06
s38584_nan_explicit_45_0.wcnf O = 168
T = 8.93		 O = 293
T = 46.56
 O = N/A
T = TO
 O = 200
T = 271.24
 O = 178
T = 282.32
 O = 203
T = 272.02
 O = N/A
T = TO
 O = 168
T = 12.16
 O = 168
T = 34.20
 O = 168
T = 8.93
s38584_nan_explicit_46_0.wcnf O = 172
T = 9.40		 O = 290
T = 255.94
 O = N/A
T = TO
 O = 182
T = 145.50
 O = 185
T = 199.07
 O = 186
T = 65.41
 O = N/A
T = TO
 O = 172
T = 13.70
 O = 172
T = 45.80
 O = 172
T = 9.40
s38584_nan_explicit_47_0.wcnf O = 154
T = 10.14		 O = 296
T = 42.12
 O = N/A
T = TO
 O = 285
T = 234.86
 O = 286
T = 61.60
 O = 164
T = 5.26
 O = N/A
T = TO
 O = 154
T = 10.14
 O = 154
T = 16.36
 O = 154
T = 17.72
s38584_nan_explicit_48_0.wcnf O = 164
T = 21.06		 O = 196
T = 288.80
 O = N/A
T = TO
 O = 247
T = 283.99
 O = 243
T = 287.00
 O = 287
T = 218.72
 O = N/A
T = TO
 O = 164
T = 21.06
 O = 164
T = 36.92
 O = 164
T = 29.73
s38584_nan_explicit_49_0.wcnf O = 166
T = 10.05		 O = 288
T = 243.72
 O = N/A
T = TO
 O = 209
T = 100.59
 O = 176
T = 73.13
 O = 178
T = 71.36
 O = N/A
T = TO
 O = 166
T = 20.91
 O = 166
T = 21.04
 O = 166
T = 10.05
s38584_nan_explicit_4_0.wcnf O = 173
T = 234.51		 O = 188
T = 61.78
 O = N/A
T = TO
 O = 188
T = 56.13
 O = 173
T = 234.51
 O = 177
T = 163.56
 O = N/A
T = TO
 O = 176
T = 254.58
 O = N/A
T = TO
 O = 246
T = 1.11
s38584_nan_explicit_5_0.wcnf O = 204
T = 254.23		 O = 259
T = 87.18
 O = N/A
T = TO
 O = 211
T = 237.87
 O = 211
T = 247.30
 O = 236
T = 134.00
 O = N/A
T = TO
 O = 204
T = 254.23
 O = N/A
T = TO
 O = 245
T = 1.18
s38584_nan_explicit_6_0.wcnf O = 205
T = 254.30		 O = 228
T = 283.59
 O = N/A
T = TO
 O = 223
T = 264.83
 O = 221
T = 229.08
 O = 215
T = 179.91
 O = N/A
T = TO
 O = 205
T = 254.30
 O = N/A
T = TO
 O = 241
T = 1.34
s38584_nan_explicit_7_0.wcnf O = 203
T = 283.90		 O = 217
T = 268.18
 O = N/A
T = TO
 O = 226
T = 48.17
 O = 225
T = 274.77
 O = 224
T = 53.99
 O = N/A
T = TO
 O = 203
T = 283.90
 O = 258
T = 2.18
 O = 255
T = 1.00
s38584_nan_explicit_8_0.wcnf O = 209
T = 253.99		 O = 269
T = 136.44
 O = N/A
T = TO
 O = 220
T = 139.47
 O = 220
T = 43.54
 O = 214
T = 142.36
 O = N/A
T = TO
 O = 209
T = 253.99
 O = 225
T = 1.17
 O = 271
T = 1.61
s38584_nan_explicit_9_0.wcnf O = 225
T = 254.35		 O = 254
T = 190.11
 O = N/A
T = TO
 O = 230
T = 287.28
 O = 240
T = 276.46
 O = 239
T = 17.45
 O = N/A
T = TO
 O = 225
T = 254.35
 O = 285
T = 0.85
 O = N/A
T = TO
frb20-11-1.partial.wcnf O = 200
T = 0.19		 O = 200
T = 0.86
 O = 200
T = 0.48
 O = 200
T = 0.99
 O = 200
T = 0.19
 O = 200
T = 1.37
 O = 200
T = 0.75
 O = 200
T = 13.82
 O = 200
T = 0.62
 O = 220
T = 0.01
frb20-11-2.partial.wcnf O = 200
T = 0.14		 O = 200
T = 0.73
 O = 200
T = 0.38
 O = 200
T = 0.59
 O = 200
T = 0.14
 O = 200
T = 0.16
 O = 200
T = 2.16
 O = 200
T = 6.96
 O = 200
T = 0.70
 O = 220
T = 0.01
frb20-11-3.partial.wcnf O = 200
T = 0.25		 O = 200
T = 0.90
 O = 200
T = 0.52
 O = 200
T = 0.36
 O = 200
T = 0.25
 O = 200
T = 0.35
 O = 200
T = 2.36
 O = 200
T = 13.57
 O = 200
T = 0.59
 O = 220
T = 0.73
frb20-11-4.partial.wcnf O = 200
T = 0.17		 O = 200
T = 0.84
 O = 200
T = 0.47
 O = 200
T = 0.55
 O = 200
T = 0.19
 O = 200
T = 0.17
 O = 200
T = 2.22
 O = 200
T = 16.83
 O = 200
T = 0.56
 O = 220
T = 0.01
frb20-11-5.partial.wcnf O = 200
T = 0.39		 O = 200
T = 0.88
 O = 200
T = 0.39
 O = 200
T = 0.75
 O = 200
T = 0.89
 O = 200
T = 2.26
 O = 200
T = 4.94
 O = 200
T = 66.66
 O = 200
T = 0.80
 O = 220
T = 0.36
frb25-13-1.partial.wcnf O = 300
T = 0.58		 O = 300
T = 0.79
 O = 300
T = 0.58
 O = 300
T = 80.32
 O = 300
T = 2.78
 O = 300
T = 11.75
 O = 300
T = 217.89
 O = 301
T = 284.30
 O = 300
T = 2.96
 O = N/A
T = TO
frb25-13-2.partial.wcnf O = 300
T = 0.58		 O = 300
T = 1.01
 O = 300
T = 0.58
 O = 300
T = 6.34
 O = 300
T = 3.26
 O = 300
T = 64.16
 O = 300
T = 115.66
 O = N/A
T = TO
 O = 300
T = 2.13
 O = 325
T = 0.02
frb25-13-3.partial.wcnf O = 300
T = 0.35		 O = 300
T = 0.88
 O = 300
T = 0.35
 O = 300
T = 11.79
 O = 300
T = 1.15
 O = 300
T = 2.25
 O = 300
T = 45.19
 O = N/A
T = TO
 O = 300
T = 1.82
 O = 325
T = 0.01
frb25-13-4.partial.wcnf O = 300
T = 0.48		 O = 300
T = 1.22
 O = 300
T = 0.48
 O = 300
T = 27.57
 O = 300
T = 0.64
 O = 300
T = 20.56
 O = 300
T = 131.48
 O = N/A
T = TO
 O = 300
T = 2.07
 O = N/A
T = TO
frb25-13-5.partial.wcnf O = 300
T = 0.29		 O = 300
T = 0.82
 O = 300
T = 0.55
 O = 300
T = 1.49
 O = 300
T = 0.29
 O = 300
T = 10.21
 O = 300
T = 69.45
 O = N/A
T = TO
 O = 300
T = 3.73
 O = 325
T = 0.00
frb30-15-1.partial.wcnf O = 420
T = 0.80		 O = 420
T = 0.83
 O = 420
T = 0.80
 O = 420
T = 19.52
 O = 420
T = 1.89
 O = 420
T = 10.18
 O = N/A
T = TO
 O = N/A
T = TO
 O = 420
T = 5.31
 O = 450
T = 0.01
frb30-15-2.partial.wcnf O = 420
T = 1.28		 O = 420
T = 1.28
 O = 420
T = 1.98
 O = 420
T = 130.73
 O = 420
T = 5.94
 O = 421
T = 33.49
 O = N/A
T = TO
 O = 423
T = 254.11
 O = 420
T = 11.41
 O = 450
T = 0.01
frb30-15-3.partial.wcnf O = 420
T = 1.49		 O = 420
T = 1.91
 O = 420
T = 1.49
 O = 421
T = 36.59
 O = 420
T = 96.05
 O = 421
T = 7.56
 O = N/A
T = TO
 O = N/A
T = TO
 O = 420
T = 11.25
 O = 450
T = 0.01
frb30-15-4.partial.wcnf O = 420
T = 0.68		 O = 420
T = 1.07
 O = 420
T = 0.68
 O = 420
T = 69.69
 O = 420
T = 1.20
 O = 420
T = 31.54
 O = N/A
T = TO
 O = 422
T = 254.40
 O = 420
T = 8.75
 O = N/A
T = TO
frb30-15-5.partial.wcnf O = 420
T = 0.55		 O = 420
T = 0.69
 O = 420
T = 0.55
 O = 421
T = 117.46
 O = 420
T = 11.77
 O = 420
T = 193.36
 O = N/A
T = TO
 O = N/A
T = TO
 O = 420
T = 9.05
 O = 450
T = 0.01
frb35-17-1.partial.wcnf O = 560
T = 2.00		 O = 560
T = 11.64
 O = 560
T = 2.00
 O = 562
T = 30.70
 O = 560
T = 230.27
 O = 562
T = 80.07
 O = N/A
T = TO
 O = N/A
T = TO
 O = 560
T = 26.74
 O = 595
T = 0.02
frb35-17-2.partial.wcnf O = 560
T = 1.70		 O = 560
T = 1.70
 O = 560
T = 10.09
 O = 562
T = 10.55
 O = 560
T = 249.68
 O = 562
T = 34.56
 O = N/A
T = TO
 O = N/A
T = TO
 O = 560
T = 24.08
 O = 595
T = 0.02
frb35-17-3.partial.wcnf O = 560
T = 0.78		 O = 560
T = 1.16
 O = 560
T = 0.78
 O = 561
T = 138.84
 O = 560
T = 6.39
 O = 561
T = 47.48
 O = N/A
T = TO
 O = N/A
T = TO
 O = 560
T = 63.31
 O = 595
T = 0.02
frb35-17-4.partial.wcnf O = 560
T = 8.39		 O = 560
T = 8.39
 O = 560
T = 54.56
 O = 562
T = 17.06
 O = 562
T = 0.49
 O = 562
T = 14.84
 O = N/A
T = TO
 O = N/A
T = TO
 O = 560
T = 37.27
 O = 595
T = 0.02
frb35-17-5.partial.wcnf O = 560
T = 3.47		 O = 560
T = 3.47
 O = 560
T = 6.81
 O = 562
T = 5.62
 O = 560
T = 44.33
 O = 561
T = 116.78
 O = N/A
T = TO
 O = N/A
T = TO
 O = 560
T = 19.06
 O = 595
T = 0.02
frb40-19-1.partial.wcnf O = 720
T = 5.02		 O = 720
T = 5.02
 O = 720
T = 6.93
 O = 722
T = 203.97
 O = 721
T = 24.55
 O = 723
T = 6.41
 O = N/A
T = TO
 O = N/A
T = TO
 O = 720
T = 88.82
 O = 760
T = 0.03
frb40-19-2.partial.wcnf O = 720
T = 8.91		 O = 720
T = 212.44
 O = 720
T = 8.91
 O = 723
T = 10.90
 O = 722
T = 15.15
 O = 723
T = 10.12
 O = N/A
T = TO
 O = N/A
T = TO
 O = 730
T = 0.07
 O = 760
T = 0.02
frb40-19-3.partial.wcnf O = 720
T = 4.16		 O = 720
T = 4.16
 O = 720
T = 22.43
 O = 723
T = 2.29
 O = 720
T = 274.07
 O = 722
T = 12.66
 O = N/A
T = TO
 O = N/A
T = TO
 O = 735
T = 0.09
 O = 760
T = 0.03
frb40-19-4.partial.wcnf O = 720
T = 77.46		 O = 720
T = 77.46
 O = 720
T = 105.11
 O = 723
T = 17.39
 O = 721
T = 238.87
 O = 722
T = 166.70
 O = N/A
T = TO
 O = N/A
T = TO
 O = 720
T = 283.39
 O = 760
T = 0.02
frb40-19-5.partial.wcnf O = 720
T = 291.77		 O = 721
T = 0.96
 O = 720
T = 291.77
 O = 722
T = 35.60
 O = 721
T = 207.84
 O = 723
T = 2.20
 O = N/A
T = TO
 O = N/A
T = TO
 O = 731
T = 0.06
 O = 760
T = 0.03
ft10-808-1090.wcnf O = 122
T = 101.86		 O = 255
T = 109.03
 O = N/A
T = TO
 O = 283
T = 6.98
 O = 283
T = 5.93
 O = 283
T = 2.74
 O = N/A
T = TO
 O = 122
T = 123.67
 O = 122
T = 101.86
 O = 122
T = 112.08
la04-567-0696.wcnf O = 23
T = 2.38		 O = 63
T = 211.95
 O = N/A
T = TO
 O = 130
T = 0.90
 O = 130
T = 0.87
 O = 130
T = 0.77
 O = N/A
T = TO
 O = 23
T = 2.51
 O = 23
T = 2.91
 O = 23
T = 2.38
orb08-894-1058.wcnf O = 5
T = 20.55		 O = 116
T = 214.95
 O = N/A
T = TO
 O = 165
T = 6.81
 O = 165
T = 5.72
 O = 165
T = 3.18
 O = N/A
T = TO
 O = 5
T = 20.55
 O = 5
T = 25.34
 O = 5
T = 26.64
max_clq_150-0-447-1.clq.wcnf O = 147
T = 0.07		 O = 147
T = 0.52
 O = 147
T = 0.47
 O = 147
T = 0.10
 O = 147
T = 0.08
 O = 147
T = 0.07
 O = 147
T = 0.73
 O = 147
T = 0.14
 O = 147
T = 0.87
 O = 147
T = 14.49
max_clq_150-0-447-2.clq.wcnf O = 147
T = 0.06		 O = 147
T = 0.57
 O = 147
T = 0.32
 O = 147
T = 0.10
 O = 147
T = 0.06
 O = 147
T = 0.06
 O = 147
T = 0.73
 O = 147
T = 0.14
 O = 147
T = 0.81
 O = 147
T = 14.48
max_clq_150-0-447-3.clq.wcnf O = 147
T = 0.04		 O = 147
T = 0.59
 O = 147
T = 0.22
 O = 147
T = 0.09
 O = 147
T = 0.04
 O = 147
T = 0.08
 O = 147
T = 0.81
 O = 147
T = 0.14
 O = 147
T = 0.68
 O = 147
T = 5.84
max_clq_150-0-447-4.clq.wcnf O = 147
T = 0.04		 O = 147
T = 0.54
 O = 147
T = 0.30
 O = 147
T = 0.10
 O = 147
T = 0.04
 O = 147
T = 0.10
 O = 147
T = 0.82
 O = 147
T = 0.16
 O = 147
T = 0.64
 O = 147
T = 139.19
max_clq_150-1-894-1.clq.wcnf O = 146
T = 0.06		 O = 146
T = 0.66
 O = 146
T = 0.32
 O = 146
T = 0.07
 O = 146
T = 0.09
 O = 146
T = 0.06
 O = 146
T = 1.15
 O = 146
T = 0.16
 O = 146
T = 1.08
 O = 146
T = 12.34
max_clq_150-1-894-2.clq.wcnf O = 146
T = 0.09		 O = 146
T = 0.68
 O = 146
T = 0.33
 O = 146
T = 0.15
 O = 146
T = 0.10
 O = 146
T = 0.09
 O = 146
T = 1.74
 O = 146
T = 0.15
 O = 146
T = 0.90
 O = 147
T = 1.18
max_clq_150-1-894-3.clq.wcnf O = 146
T = 0.04		 O = 146
T = 0.45
 O = 146
T = 0.37
 O = 146
T = 0.17
 O = 146
T = 0.04
 O = 146
T = 0.09
 O = 146
T = 0.97
 O = 146
T = 0.14
 O = 146
T = 1.06
 O = 146
T = 39.99
max_clq_150-1-894-4.clq.wcnf O = 146
T = 0.09		 O = 146
T = 0.35
 O = 146
T = 0.37
 O = 146
T = 0.15
 O = 146
T = 0.10
 O = 146
T = 0.09
 O = 146
T = 3.33
 O = 146
T = 0.17
 O = 146
T = 1.28
 O = 146
T = 43.93
max_clq_150-10-4917-1.clq.wcnf O = 141
T = 0.16		 O = 141
T = 0.78
 O = 141
T = 0.40
 O = 141
T = 0.20
 O = 141
T = 0.19
 O = 141
T = 0.16
 O = 141
T = 26.85
 O = 141
T = 3.75
 O = 141
T = 22.92
 O = 144
T = 0.47
max_clq_150-10-4917-2.clq.wcnf O = 141
T = 0.07		 O = 141
T = 0.65
 O = 141
T = 0.51
 O = 141
T = 0.26
 O = 141
T = 0.07
 O = 141
T = 0.16
 O = 141
T = 12.30
 O = 141
T = 3.81
 O = 141
T = 19.48
 O = 145
T = 0.94
max_clq_150-10-4917-3.clq.wcnf O = 141
T = 0.21		 O = 141
T = 0.68
 O = 141
T = 0.44
 O = 141
T = 0.27
 O = 141
T = 0.21
 O = 141
T = 0.22
 O = 141
T = 12.42
 O = 141
T = 4.21
 O = 141
T = 26.72
 O = 144
T = 0.76
max_clq_150-10-4917-4.clq.wcnf O = 141
T = 0.10		 O = 141
T = 0.56
 O = 141
T = 0.42
 O = 141
T = 0.15
 O = 141
T = 0.10
 O = 141
T = 0.15
 O = 141
T = 17.63
 O = 141
T = 3.70
 O = 141
T = 18.30
 O = 143
T = 0.82
max_clq_150-11-5364-1.clq.wcnf O = 140
T = 0.24		 O = 140
T = 0.61
 O = 140
T = 0.24
 O = 140
T = 0.31
 O = 140
T = 0.27
 O = 140
T = 0.27
 O = 140
T = 15.54
 O = 140
T = 4.99
 O = 140
T = 43.24
 O = 143
T = 0.74
max_clq_150-11-5364-2.clq.wcnf O = 141
T = 0.14		 O = 141
T = 0.65
 O = 141
T = 0.39
 O = 141
T = 0.23
 O = 141
T = 0.14
 O = 141
T = 0.29
 O = 141
T = 17.31
 O = 141
T = 8.01
 O = 141
T = 40.65
 O = 144
T = 0.68
max_clq_150-11-5364-3.clq.wcnf O = 140
T = 0.08		 O = 140
T = 0.48
 O = 140
T = 0.45
 O = 140
T = 0.36
 O = 140
T = 0.08
 O = 140
T = 0.14
 O = 140
T = 13.60
 O = 140
T = 5.00
 O = 140
T = 31.05
 O = 144
T = 0.90
max_clq_150-11-5364-4.clq.wcnf O = 140
T = 0.16		 O = 140
T = 0.87
 O = 140
T = 0.41
 O = 140
T = 0.16
 O = 140
T = 0.24
 O = 140
T = 0.16
 O = 140
T = 13.14
 O = 140
T = 5.94
 O = 140
T = 36.05
 O = 144
T = 0.48
max_clq_150-12-5811-1.clq.wcnf O = 140
T = 0.15		 O = 140
T = 0.64
 O = 140
T = 0.38
 O = 140
T = 0.23
 O = 140
T = 0.15
 O = 140
T = 0.29
 O = 140
T = 29.67
 O = 140
T = 6.22
 O = 140
T = 89.07
 O = 142
T = 0.83
max_clq_150-12-5811-2.clq.wcnf O = 140
T = 0.14		 O = 140
T = 0.61
 O = 140
T = 0.38
 O = 140
T = 0.31
 O = 140
T = 0.14
 O = 140
T = 0.18
 O = 140
T = 32.23
 O = 140
T = 7.11
 O = 140
T = 74.96
 O = 143
T = 0.90
max_clq_150-12-5811-3.clq.wcnf O = 139
T = 0.18		 O = 139
T = 0.64
 O = 139
T = 0.43
 O = 139
T = 0.31
 O = 139
T = 0.18
 O = 139
T = 0.18
 O = 139
T = 37.69
 O = 139
T = 8.46
 O = 139
T = 46.56
 O = 142
T = 0.99
max_clq_150-12-5811-4.clq.wcnf O = 140
T = 0.19		 O = 140
T = 0.62
 O = 140
T = 0.60
 O = 140
T = 0.28
 O = 140
T = 0.19
 O = 140
T = 0.19
 O = 140
T = 30.54
 O = 140
T = 10.14
 O = 140
T = 71.66
 O = 143
T = 1.01
max_clq_150-13-6258-1.clq.wcnf O = 138
T = 0.12		 O = 138
T = 0.67
 O = 138
T = 0.34
 O = 138
T = 0.12
 O = 138
T = 0.22
 O = 138
T = 0.29
 O = 138
T = 25.91
 O = 138
T = 9.89
 O = 138
T = 94.32
 O = 140
T = 1.17
max_clq_150-13-6258-2.clq.wcnf O = 139
T = 0.24		 O = 139
T = 0.86
 O = 139
T = 0.54
 O = 139
T = 0.24
 O = 139
T = 0.32
 O = 139
T = 0.25
 O = 139
T = 32.12
 O = 139
T = 7.24
 O = 139
T = 197.67
 O = 142
T = 1.08
max_clq_150-13-6258-3.clq.wcnf O = 138
T = 0.17		 O = 138
T = 0.73
 O = 138
T = 0.38
 O = 138
T = 0.23
 O = 138
T = 0.28
 O = 138
T = 0.17
 O = 138
T = 33.15
 O = 138
T = 8.28
 O = 138
T = 118.65
 O = 142
T = 1.26
max_clq_150-13-6258-4.clq.wcnf O = 138
T = 0.17		 O = 138
T = 0.73
 O = 138
T = 0.62
 O = 138
T = 0.25
 O = 138
T = 0.17
 O = 138
T = 0.37
 O = 138
T = 27.76
 O = 138
T = 8.28
 O = 138
T = 99.33
 O = 142
T = 0.79
max_clq_150-14-6705-1.clq.wcnf O = 138
T = 0.16		 O = 138
T = 0.69
 O = 138
T = 0.19
 O = 138
T = 0.16
 O = 138
T = 0.25
 O = 138
T = 0.27
 O = 138
T = 40.04
 O = 138
T = 7.12
 O = 142
T = 0.76
 O = 142
T = 1.38
max_clq_150-14-6705-2.clq.wcnf O = 137
T = 0.24		 O = 137
T = 0.72
 O = 137
T = 0.34
 O = 137
T = 0.34
 O = 137
T = 0.24
 O = 137
T = 0.31
 O = 137
T = 35.84
 O = 137
T = 13.88
 O = 137
T = 265.10
 O = 143
T = 1.19
max_clq_150-14-6705-3.clq.wcnf O = 137
T = 0.20		 O = 137
T = 0.53
 O = 137
T = 0.36
 O = 137
T = 0.40
 O = 137
T = 0.40
 O = 137
T = 0.20
 O = 137
T = 36.58
 O = 137
T = 5.78
 O = 137
T = 165.84
 O = 142
T = 0.99
max_clq_150-14-6705-4.clq.wcnf O = 137
T = 0.22		 O = 137
T = 0.83
 O = 137
T = 0.48
 O = 137
T = 0.22
 O = 137
T = 0.48
 O = 137
T = 0.39
 O = 137
T = 36.15
 O = 137
T = 7.47
 O = 137
T = 168.19
 O = 142
T = 0.86
max_clq_150-15-7152-1.clq.wcnf O = 135
T = 0.33		 O = 135
T = 0.69
 O = 135
T = 0.69
 O = 135
T = 0.43
 O = 135
T = 0.33
 O = 135
T = 0.33
 O = 135
T = 34.91
 O = 135
T = 28.58
 O = 139
T = 0.81
 O = 139
T = 1.09
max_clq_150-15-7152-2.clq.wcnf O = 136
T = 0.24		 O = 136
T = 0.88
 O = 136
T = 0.59
 O = 136
T = 0.40
 O = 136
T = 0.24
 O = 136
T = 0.48
 O = 136
T = 50.00
 O = 136
T = 11.32
 O = 140
T = 1.07
 O = 140
T = 1.35
max_clq_150-15-7152-3.clq.wcnf O = 135
T = 0.22		 O = 135
T = 0.96
 O = 135
T = 0.45
 O = 135
T = 0.43
 O = 135
T = 0.22
 O = 135
T = 0.33
 O = 135
T = 38.64
 O = 135
T = 8.98
 O = 140
T = 0.80
 O = 140
T = 1.02
max_clq_150-15-7152-4.clq.wcnf O = 136
T = 0.24		 O = 136
T = 0.81
 O = 136
T = 0.45
 O = 136
T = 0.43
 O = 136
T = 0.24
 O = 136
T = 0.30
 O = 136
T = 43.88
 O = 136
T = 7.63
 O = 140
T = 0.83
 O = 140
T = 0.78
max_clq_150-16-7599-1.clq.wcnf O = 134
T = 0.27		 O = 134
T = 1.06
 O = 134
T = 0.65
 O = 134
T = 0.35
 O = 134
T = 0.27
 O = 134
T = 0.34
 O = 134
T = 37.96
 O = 134
T = 52.88
 O = 139
T = 0.83
 O = 139
T = 1.01
max_clq_150-16-7599-2.clq.wcnf O = 135
T = 0.24		 O = 135
T = 0.91
 O = 135
T = 0.38
 O = 135
T = 0.46
 O = 135
T = 0.24
 O = 135
T = 0.38
 O = 135
T = 60.56
 O = 135
T = 9.33
 O = N/A
T = TO
 O = 141
T = 0.97
max_clq_150-16-7599-3.clq.wcnf O = 134
T = 0.29		 O = 134
T = 0.68
 O = 134
T = 0.54
 O = 134
T = 0.29
 O = 134
T = 0.29
 O = 134
T = 0.37
 O = 134
T = 48.48
 O = 134
T = 21.60
 O = 140
T = 0.90
 O = 140
T = 0.92
max_clq_150-16-7599-4.clq.wcnf O = 135
T = 0.22		 O = 135
T = 0.59
 O = 135
T = 0.56
 O = 135
T = 0.49
 O = 135
T = 0.22
 O = 135
T = 0.40
 O = 135
T = 54.44
 O = 135
T = 8.54
 O = 139
T = 0.78
 O = 139
T = 1.31
max_clq_150-17-8046-1.clq.wcnf O = 132
T = 0.26		 O = 132
T = 0.66
 O = 132
T = 0.70
 O = 132
T = 0.37
 O = 132
T = 0.26
 O = 132
T = 0.38
 O = 132
T = 52.14
 O = 132
T = 254.28
 O = 137
T = 0.82
 O = 137
T = 0.95
max_clq_150-17-8046-2.clq.wcnf O = 133
T = 0.28		 O = 133
T = 0.58
 O = 133
T = 0.33
 O = 133
T = 0.37
 O = 133
T = 0.28
 O = 133
T = 0.33
 O = 133
T = 65.78
 O = 133
T = 284.55
 O = N/A
T = TO
 O = 138
T = 1.19
max_clq_150-17-8046-3.clq.wcnf O = 132
T = 0.27		 O = 132
T = 0.76
 O = 132
T = 0.52
 O = 132
T = 0.55
 O = 132
T = 0.27
 O = 132
T = 0.55
 O = 132
T = 45.36
 O = 132
T = 126.22
 O = 138
T = 0.89
 O = 138
T = 1.10
max_clq_150-17-8046-4.clq.wcnf O = 132
T = 0.27		 O = 132
T = 0.55
 O = 132
T = 0.57
 O = 132
T = 0.51
 O = 132
T = 0.27
 O = 132
T = 0.35
 O = 132
T = 48.60
 O = 132
T = 8.03
 O = 136
T = 0.91
 O = 136
T = 1.25
max_clq_150-18-8493-1.clq.wcnf O = 130
T = 0.32		 O = 130
T = 0.53
 O = 130
T = 0.49
 O = 130
T = 0.58
 O = 130
T = 0.32
 O = 130
T = 0.41
 O = 130
T = 69.04
 O = 130
T = 284.20
 O = 136
T = 0.67
 O = 136
T = 1.16
max_clq_150-18-8493-2.clq.wcnf O = 130
T = 0.32		 O = 130
T = 0.85
 O = 130
T = 0.43
 O = 130
T = 0.32
 O = 130
T = 0.40
 O = 130
T = 0.61
 O = 130
T = 63.28
 O = 130
T = 284.45
 O = 137
T = 0.82
 O = 137
T = 1.12
max_clq_150-18-8493-3.clq.wcnf O = 129
T = 0.29		 O = 129
T = 0.66
 O = 129
T = 0.37
 O = 129
T = 0.51
 O = 129
T = 0.51
 O = 129
T = 0.29
 O = 129
T = 64.30
 O = 129
T = 38.39
 O = 137
T = 0.80
 O = 137
T = 1.47
max_clq_150-18-8493-4.clq.wcnf O = 129
T = 0.36		 O = 129
T = 1.13
 O = 129
T = 0.52
 O = 129
T = 0.62
 O = 129
T = 0.36
 O = 129
T = 0.54
 O = 129
T = 83.48
 O = 129
T = 284.22
 O = 137
T = 0.84
 O = 137
T = 0.91
max_clq_150-19-8940-1.clq.wcnf O = 127
T = 0.44		 O = 127
T = 0.81
 O = 127
T = 0.67
 O = 127
T = 0.64
 O = 127
T = 0.44
 O = 127
T = 0.52
 O = 127
T = 68.01
 O = 128
T = 284.45
 O = 135
T = 0.76
 O = 135
T = 1.03
max_clq_150-19-8940-2.clq.wcnf O = 126
T = 0.22		 O = 126
T = 0.74
 O = 126
T = 0.57
 O = 126
T = 0.42
 O = 126
T = 0.36
 O = 126
T = 0.22
 O = 126
T = 38.37
 O = 126
T = 284.31
 O = 133
T = 0.72
 O = 133
T = 1.34
max_clq_150-19-8940-3.clq.wcnf O = 127
T = 0.43		 O = 127
T = 0.53
 O = 127
T = 0.58
 O = 127
T = 0.43
 O = 127
T = 0.44
 O = 127
T = 0.43
 O = 127
T = 67.12
 O = 127
T = 284.33
 O = 134
T = 0.91
 O = 134
T = 1.36
max_clq_150-19-8940-4.clq.wcnf O = 127
T = 0.38		 O = 127
T = 0.92
 O = 127
T = 0.60
 O = 127
T = 0.61
 O = 127
T = 0.38
 O = 127
T = 0.47
 O = 127
T = 72.75
 O = 127
T = 284.48
 O = 135
T = 0.91
 O = 135
T = 1.38
max_clq_150-2-1341-1.clq.wcnf O = 146
T = 0.04		 O = 146
T = 0.53
 O = 146
T = 0.36
 O = 146
T = 0.09
 O = 146
T = 0.12
 O = 146
T = 0.04
 O = 146
T = 4.63
 O = 146
T = 0.24
 O = 146
T = 1.19
 O = 147
T = 1.05
max_clq_150-2-1341-2.clq.wcnf O = 146
T = 0.07		 O = 146
T = 0.35
 O = 146
T = 0.39
 O = 146
T = 0.12
 O = 146
T = 0.07
 O = 146
T = 0.16
 O = 146
T = 4.68
 O = 146
T = 0.23
 O = 146
T = 1.43
 O = 147
T = 1.27
max_clq_150-2-1341-3.clq.wcnf O = 146
T = 0.09		 O = 146
T = 0.35
 O = 146
T = 0.38
 O = 146
T = 0.11
 O = 146
T = 0.09
 O = 146
T = 0.18
 O = 146
T = 5.05
 O = 146
T = 0.24
 O = 146
T = 1.40
 O = 147
T = 0.93
max_clq_150-2-1341-4.clq.wcnf O = 145
T = 0.10		 O = 145
T = 0.60
 O = 145
T = 0.35
 O = 145
T = 0.15
 O = 145
T = 0.10
 O = 145
T = 0.14
 O = 145
T = 3.82
 O = 145
T = 0.16
 O = 145
T = 1.10
 O = 145
T = 27.97
max_clq_150-20-9387-1.clq.wcnf O = 123
T = 0.39		 O = 123
T = 1.27
 O = 123
T = 0.61
 O = 123
T = 0.65
 O = 123
T = 0.39
 O = 123
T = 0.65
 O = 123
T = 62.34
 O = 123
T = 284.33
 O = 133
T = 0.75
 O = 133
T = 1.49
max_clq_150-20-9387-2.clq.wcnf O = 124
T = 0.35		 O = 124
T = 0.90
 O = 124
T = 0.49
 O = 124
T = 0.55
 O = 124
T = 0.35
 O = 124
T = 0.72
 O = 124
T = 123.42
 O = 124
T = 284.66
 O = 131
T = 0.88
 O = 131
T = 1.39
max_clq_150-20-9387-3.clq.wcnf O = 123
T = 0.55		 O = 123
T = 1.02
 O = 123
T = 0.55
 O = 123
T = 0.67
 O = 123
T = 0.60
 O = 123
T = 0.60
 O = 123
T = 69.56
 O = 123
T = 284.11
 O = 131
T = 1.15
 O = 131
T = 1.44
max_clq_150-20-9387-4.clq.wcnf O = 123
T = 0.51		 O = 123
T = 0.96
 O = 123
T = 1.00
 O = 123
T = 0.53
 O = 123
T = 0.52
 O = 123
T = 0.51
 O = 123
T = 56.60
 O = 123
T = 284.48
 O = N/A
T = TO
 O = 130
T = 1.35
max_clq_150-21-9834-1.clq.wcnf O = 117
T = 0.58		 O = 117
T = 1.14
 O = 117
T = 0.58
 O = 117
T = 0.80
 O = 117
T = 0.70
 O = 117
T = 0.69
 O = 117
T = 60.13
 O = 117
T = 284.21
 O = 125
T = 0.96
 O = 125
T = 1.44
max_clq_150-21-9834-2.clq.wcnf O = 118
T = 0.49		 O = 118
T = 0.92
 O = 118
T = 0.56
 O = 118
T = 0.81
 O = 118
T = 0.49
 O = 118
T = 0.79
 O = 118
T = 52.71
 O = 118
T = 284.49
 O = 129
T = 1.15
 O = 129
T = 1.61
max_clq_150-21-9834-3.clq.wcnf O = 116
T = 0.42		 O = 116
T = 0.83
 O = 116
T = 0.42
 O = 116
T = 0.80
 O = 116
T = 0.52
 O = 116
T = 0.84
 O = 116
T = 40.72
 O = 117
T = 284.03
 O = 131
T = 1.20
 O = 131
T = 1.19
max_clq_150-21-9834-4.clq.wcnf O = 118
T = 0.48		 O = 118
T = 1.12
 O = 118
T = 0.59
 O = 118
T = 0.84
 O = 118
T = 0.48
 O = 118
T = 0.72
 O = 118
T = 81.53
 O = 118
T = 284.23
 O = 125
T = 1.00
 O = 125
T = 1.58
max_clq_150-22-10281-1.clq.wcnf O = 107
T = 0.58		 O = 107
T = 0.89
 O = 107
T = 0.61
 O = 107
T = 0.58
 O = 107
T = 1.73
 O = 107
T = 0.89
 O = 107
T = 11.13
 O = 107
T = 284.18
 O = 117
T = 1.02
 O = 117
T = 1.51
max_clq_150-22-10281-2.clq.wcnf O = 107
T = 0.37		 O = 107
T = 1.34
 O = 107
T = 0.65
 O = 107
T = 0.99
 O = 107
T = 0.65
 O = 107
T = 0.37
 O = 107
T = 13.22
 O = 107
T = 284.00
 O = 117
T = 0.85
 O = 117
T = 1.31
max_clq_150-22-10281-3.clq.wcnf O = 108
T = 0.38		 O = 108
T = 1.30
 O = 108
T = 0.82
 O = 108
T = 1.00
 O = 108
T = 0.51
 O = 108
T = 0.38
 O = 108
T = 16.78
 O = 108
T = 284.46
 O = 117
T = 0.81
 O = 117
T = 1.54
max_clq_150-22-10281-4.clq.wcnf O = 108
T = 0.31		 O = 108
T = 0.80
 O = 108
T = 0.61
 O = 108
T = 0.86
 O = 108
T = 0.82
 O = 108
T = 0.31
 O = 108
T = 20.15
 O = 108
T = 284.33
 O = 115
T = 0.74
 O = 115
T = 1.47
max_clq_150-23-10728-1.clq.wcnf O = 91
T = 0.76		 O = 91
T = 1.82
 O = 91
T = 0.76
 O = 91
T = 1.08
 O = 91
T = 0.80
 O = 91
T = 0.91
 O = 91
T = 1.03
 O = 91
T = 2.25
 O = 102
T = 1.07
 O = 102
T = 1.50
max_clq_150-23-10728-2.clq.wcnf O = 89
T = 0.46		 O = 89
T = 1.62
 O = 89
T = 1.04
 O = 89
T = 1.05
 O = 89
T = 1.57
 O = 89
T = 0.52
 O = 89
T = 0.82
 O = 89
T = 0.46
 O = 105
T = 1.08
 O = 89
T = 22.96
max_clq_150-23-10728-3.clq.wcnf O = 91
T = 0.72		 O = 91
T = 1.74
 O = 91
T = 1.32
 O = 91
T = 36.58
 O = 91
T = 0.72
 O = 91
T = 0.84
 O = 91
T = 1.49
 O = 91
T = 4.65
 O = 100
T = 0.87
 O = 91
T = 189.14
max_clq_150-23-10728-4.clq.wcnf O = 90
T = 0.51		 O = 90
T = 1.78
 O = 90
T = 0.95
 O = 90
T = 1.33
 O = 90
T = 0.74
 O = 90
T = 0.59
 O = 90
T = 0.51
 O = 90
T = 1.36
 O = 104
T = 0.98
 O = 104
T = 1.30
max_clq_150-3-1788-1.clq.wcnf O = 145
T = 0.06		 O = 145
T = 0.69
 O = 145
T = 0.44
 O = 145
T = 0.18
 O = 145
T = 0.11
 O = 145
T = 0.06
 O = 145
T = 5.15
 O = 145
T = 0.30
 O = 145
T = 1.59
 O = 148
T = 1.21
max_clq_150-3-1788-2.clq.wcnf O = 145
T = 0.07		 O = 145
T = 0.65
 O = 145
T = 0.26
 O = 145
T = 0.23
 O = 145
T = 0.07
 O = 145
T = 0.20
 O = 145
T = 6.99
 O = 145
T = 0.21
 O = 145
T = 1.49
 O = 147
T = 1.35
max_clq_150-3-1788-3.clq.wcnf O = 145
T = 0.10		 O = 145
T = 0.40
 O = 145
T = 0.41
 O = 145
T = 0.13
 O = 145
T = 0.10
 O = 145
T = 0.18
 O = 145
T = 6.34
 O = 145
T = 0.33
 O = 145
T = 1.98
 O = 147
T = 1.05
max_clq_150-3-1788-4.clq.wcnf O = 145
T = 0.08		 O = 145
T = 0.67
 O = 145
T = 0.36
 O = 145
T = 0.08
 O = 145
T = 0.16
 O = 145
T = 0.20
 O = 145
T = 5.95
 O = 145
T = 0.25
 O = 145
T = 1.50
 O = 147
T = 0.98
max_clq_150-4-2235-1.clq.wcnf O = 144
T = 0.11		 O = 144
T = 0.62
 O = 144
T = 0.39
 O = 144
T = 0.11
 O = 144
T = 0.23
 O = 144
T = 0.16
 O = 144
T = 8.17
 O = 144
T = 0.42
 O = 144
T = 1.64
 O = 145
T = 1.21
max_clq_150-4-2235-2.clq.wcnf O = 145
T = 0.09		 O = 145
T = 0.53
 O = 145
T = 0.39
 O = 145
T = 0.15
 O = 145
T = 0.09
 O = 145
T = 0.15
 O = 145
T = 6.31
 O = 145
T = 0.14
 O = 145
T = 0.81
 O = 145
T = 1.03
max_clq_150-4-2235-3.clq.wcnf O = 144
T = 0.08		 O = 144
T = 0.44
 O = 144
T = 0.38
 O = 144
T = 0.22
 O = 144
T = 0.08
 O = 144
T = 0.16
 O = 144
T = 5.82
 O = 144
T = 0.31
 O = 144
T = 2.21
 O = 146
T = 1.21
max_clq_150-4-2235-4.clq.wcnf O = 145
T = 0.13		 O = 145
T = 0.59
 O = 145
T = 0.51
 O = 145
T = 0.16
 O = 145
T = 0.13
 O = 145
T = 0.15
 O = 145
T = 6.58
 O = 145
T = 0.44
 O = 145
T = 2.47
 O = 146
T = 1.49
max_clq_150-5-2682-1.clq.wcnf O = 144
T = 0.10		 O = 144
T = 0.74
 O = 144
T = 0.34
 O = 144
T = 0.10
 O = 144
T = 0.12
 O = 144
T = 0.13
 O = 144
T = 7.05
 O = 144
T = 0.57
 O = 144
T = 3.28
 O = N/A
T = TO
max_clq_150-5-2682-2.clq.wcnf O = 144
T = 0.08		 O = 144
T = 0.59
 O = 144
T = 0.47
 O = 144
T = 0.23
 O = 144
T = 0.08
 O = 144
T = 0.21
 O = 144
T = 8.62
 O = 144
T = 0.40
 O = 144
T = 2.84
 O = 146
T = 0.90
max_clq_150-5-2682-3.clq.wcnf O = 144
T = 0.16		 O = 144
T = 0.53
 O = 144
T = 0.32
 O = 144
T = 0.22
 O = 144
T = 0.16
 O = 144
T = 0.20
 O = 144
T = 7.69
 O = 144
T = 0.57
 O = 144
T = 3.26
 O = 145
T = 1.34
max_clq_150-5-2682-4.clq.wcnf O = 144
T = 0.09		 O = 144
T = 0.59
 O = 144
T = 0.59
 O = 144
T = 0.13
 O = 144
T = 0.09
 O = 144
T = 0.19
 O = 144
T = 8.37
 O = 144
T = 0.64
 O = 144
T = 3.20
 O = 146
T = 1.06
max_clq_150-6-3129-1.clq.wcnf O = 144
T = 0.03		 O = 144
T = 0.70
 O = 144
T = 0.31
 O = 144
T = 0.03
 O = 144
T = 0.09
 O = 144
T = 0.23
 O = 144
T = 9.99
 O = 144
T = 0.10
 O = 144
T = 1.03
 O = 144
T = 0.88
max_clq_150-6-3129-2.clq.wcnf O = 143
T = 0.10		 O = 143
T = 0.62
 O = 143
T = 0.32
 O = 143
T = 0.21
 O = 143
T = 0.14
 O = 143
T = 0.25
 O = 143
T = 6.81
 O = 143
T = 0.10
 O = 143
T = 1.40
 O = 143
T = 1.38
max_clq_150-6-3129-3.clq.wcnf O = 143
T = 0.13		 O = 143
T = 0.52
 O = 143
T = 0.37
 O = 143
T = 0.24
 O = 143
T = 0.13
 O = 143
T = 0.17
 O = 143
T = 7.54
 O = 143
T = 0.69
 O = 143
T = 4.97
 O = 146
T = 1.49
max_clq_150-6-3129-4.clq.wcnf O = 144
T = 0.10		 O = 144
T = 0.50
 O = 144
T = 0.37
 O = 144
T = 0.14
 O = 144
T = 0.13
 O = 144
T = 0.10
 O = 144
T = 8.12
 O = 144
T = 0.89
 O = 144
T = 5.17
 O = 146
T = 1.32
max_clq_150-7-3576-1.clq.wcnf O = 144
T = 0.08		 O = 144
T = 0.74
 O = 144
T = 0.40
 O = 144
T = 0.17
 O = 144
T = 0.11
 O = 144
T = 0.08
 O = 144
T = 10.32
 O = 144
T = 1.40
 O = 144
T = 8.60
 O = 146
T = 1.38
max_clq_150-7-3576-2.clq.wcnf O = 143
T = 0.11		 O = 143
T = 0.57
 O = 143
T = 0.35
 O = 143
T = 0.19
 O = 143
T = 0.11
 O = 143
T = 0.24
 O = 143
T = 8.36
 O = 143
T = 1.03
 O = 143
T = 4.85
 O = 145
T = 1.04
max_clq_150-7-3576-3.clq.wcnf O = 143
T = 0.18		 O = 143
T = 0.31
 O = 143
T = 0.59
 O = 143
T = 0.21
 O = 143
T = 0.19
 O = 143
T = 0.18
 O = 143
T = 12.63
 O = 143
T = 0.90
 O = 143
T = 6.98
 O = 145
T = 1.33
max_clq_150-7-3576-4.clq.wcnf O = 143
T = 0.12		 O = 143
T = 0.44
 O = 143
T = 0.41
 O = 143
T = 0.22
 O = 143
T = 0.12
 O = 143
T = 0.19
 O = 143
T = 9.62
 O = 143
T = 1.05
 O = 143
T = 6.17
 O = 146
T = 0.93
max_clq_150-8-4023-1.clq.wcnf O = 143
T = 0.09		 O = 143
T = 0.29
 O = 143
T = 0.50
 O = 143
T = 0.13
 O = 143
T = 0.09
 O = 143
T = 0.23
 O = 143
T = 10.41
 O = 143
T = 1.95
 O = 143
T = 11.66
 O = 145
T = 1.45
max_clq_150-8-4023-2.clq.wcnf O = 142
T = 0.19		 O = 142
T = 0.68
 O = 142
T = 0.52
 O = 142
T = 0.22
 O = 142
T = 0.26
 O = 142
T = 0.19
 O = 142
T = 11.93
 O = 142
T = 1.39
 O = 142
T = 10.19
 O = 146
T = 1.32
max_clq_150-8-4023-3.clq.wcnf O = 143
T = 0.20		 O = 143
T = 0.32
 O = 143
T = 0.39
 O = 143
T = 0.20
 O = 143
T = 0.23
 O = 143
T = 0.24
 O = 143
T = 11.37
 O = 143
T = 1.99
 O = 143
T = 9.07
 O = 146
T = 1.38
max_clq_150-8-4023-4.clq.wcnf O = 142
T = 0.16		 O = 142
T = 0.53
 O = 142
T = 0.56
 O = 142
T = 0.29
 O = 142
T = 0.16
 O = 142
T = 0.22
 O = 142
T = 10.61
 O = 142
T = 1.78
 O = 142
T = 12.11
 O = 145
T = 1.17
max_clq_150-9-4470-1.clq.wcnf O = 142
T = 0.17		 O = 142
T = 0.61
 O = 142
T = 0.57
 O = 142
T = 0.17
 O = 142
T = 0.21
 O = 142
T = 0.25
 O = 142
T = 13.51
 O = 142
T = 2.57
 O = 142
T = 17.42
 O = 144
T = 1.04
max_clq_150-9-4470-2.clq.wcnf O = 142
T = 0.08		 O = 142
T = 0.29
 O = 142
T = 0.39
 O = 142
T = 0.08
 O = 142
T = 0.10
 O = 142
T = 0.17
 O = 142
T = 10.71
 O = 142
T = 2.51
 O = 142
T = 13.99
 O = 145
T = 0.82
max_clq_150-9-4470-3.clq.wcnf O = 142
T = 0.14		 O = 142
T = 0.64
 O = 142
T = 0.34
 O = 142
T = 0.20
 O = 142
T = 0.14
 O = 142
T = 0.30
 O = 142
T = 11.70
 O = 142
T = 2.70
 O = 142
T = 16.19
 O = 145
T = 1.13
max_clq_150-9-4470-4.clq.wcnf O = 142
T = 0.10		 O = 142
T = 0.65
 O = 142
T = 0.34
 O = 142
T = 0.25
 O = 142
T = 0.10
 O = 142
T = 0.23
 O = 142
T = 12.90
 O = 142
T = 2.82
 O = 142
T = 15.64
 O = 145
T = 0.83
MANN_a27.clq.wcnf O = 252
T = 1.64		 O = 253
T = 41.53
 O = 254
T = 116.67
 O = 254
T = 151.64
 O = 254
T = 0.65
 O = 254
T = 165.26
 O = 252
T = 1.64
 O = 252
T = 3.41
 O = N/A
T = TO
 O = 252
T = 23.34
MANN_a45.clq.wcnf O = 690
T = 214.71		 O = 702
T = 2.54
 O = 702
T = 4.43
 O = 701
T = 26.84
 O = 699
T = 6.61
 O = 701
T = 0.65
 O = 690
T = 214.71
 O = N/A
T = TO
 O = 695
T = 0.05
 O = 695
T = 0.02
MANN_a81.clq.wcnf O = 2225
T = 0.03		 O = 2240
T = 7.65
 O = 2240
T = 3.27
 O = 2239
T = 14.90
 O = 2237
T = 21.91
 O = 2239
T = 47.08
 O = N/A
T = TO
 O = 2225
T = 254.20
 O = 2225
T = 0.03
 O = 2225
T = 0.08
MANN_a9.clq.wcnf O = 29
T = 0.00		 O = 29
T = 0.27
 O = 29
T = 0.25
 O = 29
T = 0.32
 O = 29
T = 0.28
 O = 29
T = 0.18
 O = 29
T = 0.02
 O = 29
T = 0.00
 O = 29
T = 0.01
 O = 29
T = 0.00
brock200_1.clq.wcnf O = 179
T = 0.27		 O = 179
T = 0.90
 O = 179
T = 0.27
 O = 179
T = 0.39
 O = 179
T = 0.37
 O = 179
T = 0.45
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 188
T = 1.12
brock200_2.clq.wcnf O = 188
T = 0.24		 O = 188
T = 2.40
 O = 188
T = 1.00
 O = 188
T = 0.38
 O = 188
T = 0.24
 O = 188
T = 0.29
 O = 188
T = 86.00
 O = 188
T = 10.98
 O = 188
T = 225.40
 O = 194
T = 0.73
brock200_3.clq.wcnf O = 185
T = 0.33		 O = 185
T = 31.94
 O = 185
T = 89.39
 O = 185
T = 0.43
 O = 185
T = 0.33
 O = 185
T = 0.39
 O = 185
T = 232.39
 O = 185
T = 284.35
 O = N/A
T = TO
 O = 191
T = 0.90
brock200_4.clq.wcnf O = 183
T = 0.48		 O = 183
T = 0.81
 O = 183
T = 6.79
 O = 183
T = 0.62
 O = 183
T = 0.48
 O = 183
T = 0.90
 O = N/A
T = TO
 O = 183
T = 284.49
 O = N/A
T = TO
 O = 189
T = 1.48
brock400_1.clq.wcnf O = 373
T = 134.04		 O = 375
T = 0.99
 O = 375
T = 0.52
 O = 375
T = 2.33
 O = 373
T = 134.04
 O = 375
T = 0.76
 O = N/A
T = TO
 O = N/A
T = TO
 O = 383
T = 0.66
 O = 383
T = 0.01
brock400_2.clq.wcnf O = 371
T = 2.33		 O = 371
T = 285.85
 O = 375
T = 0.47
 O = 371
T = 22.15
 O = 371
T = 2.33
 O = 371
T = 137.60
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 385
T = 0.01
brock400_3.clq.wcnf O = 369
T = 10.93		 O = 369
T = 10.93
 O = 369
T = 147.57
 O = 369
T = 26.33
 O = 369
T = 21.37
 O = 369
T = 25.53
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
brock400_4.clq.wcnf O = 367
T = 1.58		 O = 367
T = 36.05
 O = 375
T = 0.66
 O = 367
T = 20.10
 O = 367
T = 1.58
 O = 367
T = 36.00
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
brock800_1.clq.wcnf O = 779
T = 0.24		 O = 779
T = 0.82
 O = 779
T = 0.63
 O = 779
T = 22.93
 O = 779
T = 0.24
 O = 779
T = 13.49
 O = N/A
T = TO
 O = N/A
T = TO
 O = 787
T = 0.12
 O = 787
T = 0.06
brock800_2.clq.wcnf O = 779
T = 0.96		 O = 779
T = 2.02
 O = 779
T = 0.96
 O = 779
T = 6.37
 O = 779
T = 6.95
 O = 779
T = 18.61
 O = N/A
T = TO
 O = N/A
T = TO
 O = 786
T = 0.17
 O = 786
T = 0.06
brock800_3.clq.wcnf O = 778
T = 0.97		 O = 778
T = 4.10
 O = 778
T = 0.97
 O = 778
T = 154.65
 O = 778
T = 27.81
 O = 778
T = 5.82
 O = N/A
T = TO
 O = N/A
T = TO
 O = 786
T = 0.16
 O = 786
T = 0.06
brock800_4.clq.wcnf O = 779
T = 2.72		 O = 779
T = 3.26
 O = 779
T = 2.72
 O = 779
T = 6.42
 O = 779
T = 4.63
 O = 779
T = 26.71
 O = N/A
T = TO
 O = N/A
T = TO
 O = 787
T = 0.15
 O = 787
T = 0.07
c-fat200-1.clq.wcnf O = 188
T = 0.02		 O = 188
T = 1.01
 O = 188
T = 0.45
 O = 188
T = 0.43
 O = 188
T = 0.26
 O = 188
T = 0.32
 O = 188
T = 13.11
 O = 188
T = 0.07
 O = 188
T = 0.69
 O = 188
T = 0.02
c-fat200-2.clq.wcnf O = 176
T = 0.02		 O = 176
T = 1.10
 O = 178
T = 0.83
 O = 176
T = 35.78
 O = 176
T = 1.00
 O = 176
T = 3.22
 O = 176
T = 12.35
 O = 176
T = 0.04
 O = 176
T = 0.54
 O = 176
T = 0.02
c-fat200-5.clq.wcnf O = 142
T = 0.03		 O = 143
T = 1.77
 O = 142
T = 1.47
 O = 144
T = 2.12
 O = 142
T = 1.97
 O = 143
T = 0.44
 O = 142
T = 11.24
 O = 142
T = 0.06
 O = 142
T = 0.38
 O = 142
T = 0.03
c-fat500-1.clq.wcnf O = 486
T = 0.05		 O = 486
T = 0.96
 O = 486
T = 0.43
 O = 486
T = 0.44
 O = 486
T = 0.35
 O = 486
T = 0.58
 O = 486
T = 92.31
 O = 486
T = 0.16
 O = 486
T = 0.76
 O = 486
T = 0.05
c-fat500-10.clq.wcnf O = 374
T = 0.03		 O = 375
T = 3.91
 O = 376
T = 2.00
 O = 376
T = 4.25
 O = 374
T = 2.57
 O = 374
T = 1.23
 O = 374
T = 56.57
 O = 374
T = 0.09
 O = 374
T = 0.27
 O = 374
T = 0.03
c-fat500-2.clq.wcnf O = 474
T = 0.18		 O = 474
T = 1.27
 O = 474
T = 0.48
 O = 474
T = 1.23
 O = 474
T = 0.63
 O = 474
T = 0.94
 O = 474
T = 121.37
 O = 474
T = 0.18
 O = 474
T = 0.27
 O = N/A
T = TO
c-fat500-5.clq.wcnf O = 436
T = 0.16		 O = 438
T = 2.62
 O = 438
T = 1.20
 O = 438
T = 2.09
 O = 436
T = 1.42
 O = 436
T = 1.53
 O = 436
T = 85.84
 O = 436
T = 0.16
 O = 436
T = 0.39
 O = N/A
T = TO
hamming10-2.clq.wcnf O = 512
T = 0.00		 O = 512
T = 12.18
 O = 512
T = 9.40
 O = 512
T = 13.75
 O = 512
T = 9.37
 O = 512
T = 4.14
 O = 512
T = 0.07
 O = 512
T = 0.14
 O = 512
T = 0.05
 O = 512
T = 0.00
hamming10-4.clq.wcnf O = 984
T = 0.72		 O = 984
T = 0.97
 O = 984
T = 0.72
 O = 984
T = 8.27
 O = 984
T = 26.11
 O = 984
T = 16.33
 O = N/A
T = TO
 O = N/A
T = TO
 O = 996
T = 0.11
 O = 996
T = 0.04
hamming6-2.clq.wcnf O = 32
T = 0.00		 O = 32
T = 1.29
 O = 32
T = 1.11
 O = 32
T = 0.95
 O = 32
T = 0.40
 O = 32
T = 0.41
 O = 32
T = 0.00
 O = 32
T = 0.00
 O = 32
T = 0.00
 O = 32
T = 0.00
hamming6-4.clq.wcnf O = 60
T = 0.02		 O = 60
T = 0.39
 O = 60
T = 0.31
 O = 60
T = 0.18
 O = 60
T = 0.03
 O = 60
T = 0.11
 O = 60
T = 0.20
 O = 60
T = 0.02
 O = 60
T = 0.05
 O = 60
T = 0.16
hamming8-2.clq.wcnf O = 128
T = 0.00		 O = 128
T = 4.02
 O = 128
T = 3.49
 O = 128
T = 3.39
 O = 128
T = 2.23
 O = 128
T = 1.51
 O = 128
T = 0.02
 O = 128
T = 0.02
 O = 128
T = 0.02
 O = 128
T = 0.00
hamming8-4.clq.wcnf O = 240
T = 0.01		 O = 240
T = 0.91
 O = 240
T = 0.70
 O = 240
T = 0.37
 O = 240
T = 0.34
 O = 240
T = 0.36
 O = 240
T = 2.88
 O = 240
T = 0.08
 O = 240
T = 0.95
 O = 240
T = 0.01
johnson16-2-4.clq.wcnf O = 112
T = 0.01		 O = 112
T = 0.49
 O = 112
T = 0.29
 O = 112
T = 0.10
 O = 112
T = 0.16
 O = 112
T = 0.11
 O = 112
T = 0.01
 O = 112
T = 0.13
 O = 112
T = 0.76
 O = 112
T = 1.33
johnson32-2-4.clq.wcnf O = 480
T = 0.06		 O = 480
T = 0.45
 O = 480
T = 0.33
 O = 480
T = 0.19
 O = 480
T = 0.12
 O = 480
T = 0.28
 O = 480
T = 0.07
 O = 480
T = 254.48
 O = 480
T = 0.06
 O = N/A
T = TO
johnson8-2-4.clq.wcnf O = 24
T = 0.00		 O = 24
T = 0.58
 O = 24
T = 0.34
 O = 24
T = 0.04
 O = 24
T = 0.05
 O = 24
T = 0.12
 O = 24
T = 0.00
 O = 24
T = 0.00
 O = 24
T = 0.00
 O = 24
T = 0.00
johnson8-4-4.clq.wcnf O = 56
T = 0.02		 O = 56
T = 0.68
 O = 56
T = 0.34
 O = 56
T = 0.35
 O = 56
T = 0.19
 O = 56
T = 0.44
 O = 56
T = 0.02
 O = 56
T = 0.03
 O = 56
T = 0.05
 O = 56
T = 0.27
keller4.clq.wcnf O = 160
T = 0.20		 O = 160
T = 0.59
 O = 160
T = 0.22
 O = 160
T = 0.27
 O = 160
T = 0.20
 O = 160
T = 0.21
 O = 160
T = 27.26
 O = 160
T = 9.56
 O = 160
T = 25.29
 O = 164
T = 0.86
keller5.clq.wcnf O = 749
T = 0.74		 O = 749
T = 1.05
 O = 749
T = 0.84
 O = 749
T = 0.76
 O = 749
T = 2.09
 O = 749
T = 0.74
 O = N/A
T = TO
 O = N/A
T = TO
 O = 761
T = 0.16
 O = 761
T = 0.04
p_hat1000-1.clq.wcnf O = 990
T = 0.43		 O = 990
T = 0.77
 O = 990
T = 0.43
 O = 990
T = 0.44
 O = 990
T = 0.58
 O = 990
T = 0.72
 O = N/A
T = TO
 O = 990
T = 254.09
 O = 995
T = 0.53
 O = 995
T = 0.18
p_hat1000-2.clq.wcnf O = 954
T = 1.07		 O = 954
T = 1.80
 O = 954
T = 1.17
 O = 954
T = 1.12
 O = 954
T = 1.07
 O = 954
T = 1.16
 O = N/A
T = TO
 O = 968
T = 254.53
 O = 980
T = 0.17
 O = 980
T = 0.12
p_hat1000-3.clq.wcnf O = 932
T = 1.10		 O = 932
T = 1.10
 O = 932
T = 1.28
 O = 932
T = 1.47
 O = 932
T = 1.87
 O = 932
T = 2.59
 O = N/A
T = TO
 O = N/A
T = TO
 O = 966
T = 0.13
 O = 966
T = 0.07
p_hat300-1.clq.wcnf O = 292
T = 0.09		 O = 292
T = 0.47
 O = 292
T = 0.48
 O = 292
T = 0.15
 O = 292
T = 0.13
 O = 292
T = 0.09
 O = 292
T = 289.00
 O = 292
T = 6.26
 O = 292
T = 160.89
 O = 295
T = 0.01
p_hat300-2.clq.wcnf O = 275
T = 0.25		 O = 275
T = 0.77
 O = 275
T = 0.79
 O = 275
T = 0.67
 O = 275
T = 0.52
 O = 275
T = 0.25
 O = N/A
T = TO
 O = 275
T = 284.18
 O = N/A
T = TO
 O = 286
T = 0.01
p_hat300-3.clq.wcnf O = 264
T = 0.28		 O = 264
T = 1.31
 O = 264
T = 0.73
 O = 264
T = 0.71
 O = 264
T = 0.76
 O = 264
T = 0.28
 O = N/A
T = TO
 O = 265
T = 283.99
 O = 280
T = 0.94
 O = 280
T = 0.01
p_hat500-1.clq.wcnf O = 491
T = 0.18		 O = 491
T = 0.85
 O = 491
T = 0.43
 O = 491
T = 0.32
 O = 491
T = 0.38
 O = 491
T = 0.18
 O = N/A
T = TO
 O = N/A
T = TO
 O = 493
T = 0.71
 O = 493
T = 0.04
p_hat500-2.clq.wcnf O = 464
T = 0.45		 O = 464
T = 1.30
 O = 464
T = 0.83
 O = 464
T = 1.14
 O = 464
T = 0.70
 O = 464
T = 0.45
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
p_hat500-3.clq.wcnf O = 450
T = 0.49		 O = 450
T = 1.37
 O = 450
T = 0.59
 O = 450
T = 1.20
 O = 450
T = 1.26
 O = 450
T = 0.49
 O = N/A
T = TO
 O = 456
T = 254.60
 O = N/A
T = TO
 O = N/A
T = TO
p_hat700-1.clq.wcnf O = 689
T = 0.31		 O = 689
T = 0.94
 O = 689
T = 0.54
 O = 689
T = 0.37
 O = 689
T = 0.31
 O = 689
T = 0.46
 O = N/A
T = TO
 O = N/A
T = TO
 O = 695
T = 0.30
 O = 695
T = 0.09
p_hat700-2.clq.wcnf O = 656
T = 0.61		 O = 656
T = 1.41
 O = 656
T = 0.75
 O = 656
T = 1.22
 O = 656
T = 1.27
 O = 656
T = 0.61
 O = N/A
T = TO
 O = N/A
T = TO
 O = 684
T = 0.23
 O = 684
T = 0.07
p_hat700-3.clq.wcnf O = 638
T = 0.79		 O = 638
T = 1.70
 O = 638
T = 0.79
 O = 638
T = 1.31
 O = 638
T = 1.77
 O = 638
T = 1.19
 O = N/A
T = TO
 O = N/A
T = TO
 O = 670
T = 0.21
 O = 670
T = 0.04
san1000.clq.wcnf O = 985
T = 2.15		 O = 990
T = 13.27
 O = 990
T = 110.27
 O = 985
T = 2.15
 O = 985
T = 3.87
 O = 985
T = 215.71
 O = N/A
T = TO
 O = N/A
T = TO
 O = 993
T = 0.18
 O = 993
T = 0.12
san200_0.7_1.clq.wcnf O = 170
T = 0.13		 O = 170
T = 1.39
 O = 170
T = 1.04
 O = 170
T = 0.70
 O = 170
T = 0.63
 O = 170
T = 1.45
 O = 170
T = 0.13
 O = 170
T = 22.82
 O = 185
T = 0.75
 O = 185
T = 1.25
san200_0.7_2.clq.wcnf O = 182
T = 0.17		 O = 182
T = 0.69
 O = 182
T = 5.41
 O = 182
T = 87.53
 O = 182
T = 0.17
 O = 182
T = 40.92
 O = 182
T = 1.65
 O = 182
T = 18.78
 O = 188
T = 1.14
 O = 188
T = 0.79
san200_0.9_1.clq.wcnf O = 130
T = 0.03		 O = 130
T = 1.78
 O = 130
T = 1.23
 O = 130
T = 3.38
 O = 130
T = 1.28
 O = 130
T = 3.43
 O = 130
T = 0.03
 O = 130
T = 0.47
 O = 130
T = 283.25
 O = 130
T = 14.25
san200_0.9_2.clq.wcnf O = 140
T = 0.05		 O = 140
T = 1.21
 O = 140
T = 1.08
 O = 140
T = 1.92
 O = 140
T = 0.83
 O = 140
T = 1.43
 O = 140
T = 0.05
 O = 140
T = 3.64
 O = 170
T = 0.97
 O = 170
T = 1.38
san200_0.9_3.clq.wcnf O = 156
T = 0.60		 O = 156
T = 1.21
 O = 156
T = 0.84
 O = 156
T = 0.91
 O = 156
T = 0.60
 O = 156
T = 0.67
 O = 156
T = 6.60
 O = 167
T = 284.23
 O = 176
T = 0.80
 O = 176
T = 1.42
san400_0.5_1.clq.wcnf O = 387
T = 0.44		 O = 387
T = 5.67
 O = 387
T = 18.70
 O = 387
T = 1.26
 O = 387
T = 0.44
 O = 387
T = 0.53
 O = 387
T = 86.66
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
san400_0.7_1.clq.wcnf O = 360
T = 17.64		 O = 378
T = 26.72
 O = 378
T = 129.98
 O = 378
T = 13.60
 O = 360
T = 17.64
 O = 378
T = 13.33
 O = 360
T = 30.98
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
san400_0.7_2.clq.wcnf O = 370
T = 9.76		 O = 370
T = 9.76
 O = 382
T = 42.68
 O = 370
T = 157.83
 O = 370
T = 16.31
 O = 380
T = 20.39
 O = 370
T = 237.20
 O = N/A
T = TO
 O = N/A
T = TO
 O = 387
T = 0.01
san400_0.7_3.clq.wcnf O = 378
T = 8.74		 O = 378
T = 10.44
 O = 378
T = 8.74
 O = 378
T = 20.71
 O = 378
T = 111.43
 O = 378
T = 217.56
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 386
T = 0.01
san400_0.9_1.clq.wcnf O = 300
T = 3.23		 O = 300
T = 3.23
 O = 300
T = 111.86
 O = 300
T = 85.74
 O = 300
T = 9.57
 O = 339
T = 90.56
 O = 300
T = 6.27
 O = N/A
T = TO
 O = 357
T = 0.12
 O = 357
T = 0.00
sanr200_0.7.clq.wcnf O = 182
T = 0.21		 O = 182
T = 0.93
 O = 182
T = 0.42
 O = 182
T = 0.21
 O = 182
T = 0.31
 O = 182
T = 0.26
 O = N/A
T = TO
 O = 182
T = 283.90
 O = 184
T = 0.82
 O = 184
T = 1.10
sanr200_0.9.clq.wcnf O = 158
T = 0.42		 O = 158
T = 1.63
 O = 158
T = 0.68
 O = 158
T = 0.61
 O = 158
T = 0.60
 O = 158
T = 0.42
 O = N/A
T = TO
 O = 160
T = 284.21
 O = 170
T = 1.06
 O = 170
T = 1.07
sanr400_0.5.clq.wcnf O = 387
T = 0.30		 O = 387
T = 0.51
 O = 387
T = 0.42
 O = 387
T = 0.30
 O = 387
T = 0.42
 O = 387
T = 0.43
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 392
T = 0.02
sanr400_0.7.clq.wcnf O = 379
T = 0.40		 O = 379
T = 0.63
 O = 379
T = 0.65
 O = 379
T = 0.46
 O = 379
T = 0.40
 O = 379
T = 0.43
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 387
T = 0.01
cnf3.150.250.832706.cnf.wcnf O = 15
T = 0.00		 O = 15
T = 2.95
 O = 15
T = 1.16
 O = 15
T = 0.33
 O = 15
T = 0.22
 O = 15
T = 0.11
 O = 15
T = 0.00
 O = 15
T = 0.00
 O = 15
T = 0.00
 O = 15
T = 0.00
cnf3.150.250.832707.cnf.wcnf O = 18
T = 0.00		 O = 18
T = 3.65
 O = 18
T = 0.69
 O = 18
T = 1.39
 O = 18
T = 0.94
 O = 18
T = 0.20
 O = 18
T = 0.00
 O = 18
T = 0.00
 O = 18
T = 0.00
 O = 18
T = 0.00
cnf3.150.250.832708.cnf.wcnf O = 20
T = 0.00		 O = 20
T = 3.59
 O = 20
T = 0.78
 O = 20
T = 1.18
 O = 20
T = 1.01
 O = 20
T = 0.17
 O = 20
T = 0.00
 O = 20
T = 0.00
 O = 20
T = 0.00
 O = 20
T = 0.00
cnf3.150.250.832709.cnf.wcnf O = 24
T = 0.00		 O = 24
T = 2.72
 O = 24
T = 0.33
 O = 24
T = 1.85
 O = 24
T = 0.36
 O = 24
T = 0.20
 O = 24
T = 0.00
 O = 24
T = 0.00
 O = 24
T = 0.02
 O = 24
T = 0.00
cnf3.150.250.832710.cnf.wcnf O = 24
T = 0.00		 O = 24
T = 2.33
 O = 24
T = 0.75
 O = 24
T = 0.76
 O = 24
T = 1.36
 O = 24
T = 0.18
 O = 24
T = 0.00
 O = 24
T = 0.00
 O = 24
T = 0.01
 O = 24
T = 0.00
cnf3.150.250.832711.cnf.wcnf O = 20
T = 0.00		 O = 20
T = 3.08
 O = 20
T = 0.46
 O = 20
T = 0.37
 O = 20
T = 1.04
 O = 20
T = 0.18
 O = 20
T = 0.00
 O = 20
T = 0.01
 O = 20
T = 0.03
 O = 20
T = 0.08
cnf3.150.250.832712.cnf.wcnf O = 23
T = 0.00		 O = 23
T = 2.44
 O = 23
T = 0.43
 O = 23
T = 1.89
 O = 23
T = 0.68
 O = 23
T = 0.30
 O = 23
T = 0.00
 O = 23
T = 0.00
 O = 23
T = 0.01
 O = 23
T = 0.00
cnf3.150.250.832713.cnf.wcnf O = 16
T = 0.00		 O = 16
T = 2.40
 O = 16
T = 0.85
 O = 16
T = 2.44
 O = 16
T = 1.02
 O = 16
T = 0.36
 O = 16
T = 0.00
 O = 16
T = 0.00
 O = 16
T = 0.00
 O = 16
T = 0.00
cnf3.150.250.832714.cnf.wcnf O = 23
T = 0.00		 O = 23
T = 3.05
 O = 23
T = 0.63
 O = 23
T = 0.56
 O = 23
T = 0.56
 O = 23
T = 0.29
 O = 23
T = 0.01
 O = 23
T = 0.00
 O = 23
T = 0.01
 O = 23
T = 0.00
cnf3.150.250.832715.cnf.wcnf O = 24
T = 0.01		 O = 24
T = 1.96
 O = 24
T = 0.75
 O = 24
T = 0.99
 O = 24
T = 0.66
 O = 24
T = 0.08
 O = 24
T = 0.01
 O = 24
T = 0.03
 O = 24
T = 0.13
 O = 24
T = 0.33
cnf3.150.300.195561.cnf.wcnf O = 22
T = 0.01		 O = 22
T = 2.29
 O = 22
T = 0.58
 O = 22
T = 0.68
 O = 22
T = 0.46
 O = 22
T = 0.18
 O = 22
T = 0.01
 O = 22
T = 0.02
 O = 22
T = 0.09
 O = 22
T = 0.14
cnf3.150.300.195562.cnf.wcnf O = 22
T = 0.01		 O = 22
T = 3.01
 O = 22
T = 0.59
 O = 22
T = 1.23
 O = 22
T = 0.91
 O = 22
T = 0.31
 O = 22
T = 0.01
 O = 22
T = 0.02
 O = 22
T = 0.18
 O = 22
T = 1.00
cnf3.150.300.195563.cnf.wcnf O = 20
T = 0.00		 O = 20
T = 2.58
 O = 20
T = 0.83
 O = 20
T = 1.07
 O = 20
T = 0.25
 O = 20
T = 0.19
 O = 20
T = 0.00
 O = 20
T = 0.00
 O = 20
T = 0.00
 O = 20
T = 0.00
cnf3.150.300.195564.cnf.wcnf O = 26
T = 0.02		 O = 26
T = 2.62
 O = 26
T = 0.64
 O = 26
T = 0.62
 O = 26
T = 0.27
 O = 26
T = 0.19
 O = 26
T = 0.02
 O = 26
T = 0.09
 O = 26
T = 0.08
 O = 26
T = 2.27
cnf3.150.300.195565.cnf.wcnf O = 27
T = 0.01		 O = 27
T = 2.83
 O = 27
T = 0.66
 O = 27
T = 0.56
 O = 27
T = 0.33
 O = 27
T = 0.17
 O = 27
T = 0.01
 O = 27
T = 0.01
 O = 27
T = 0.29
 O = 27
T = 0.55
cnf3.150.300.195566.cnf.wcnf O = 21
T = 0.00		 O = 21
T = 3.11
 O = 21
T = 1.00
 O = 21
T = 0.54
 O = 21
T = 0.52
 O = 21
T = 0.27
 O = 21
T = 0.00
 O = 21
T = 0.00
 O = 21
T = 0.00
 O = 21
T = 0.00
cnf3.150.300.195567.cnf.wcnf O = 26
T = 0.01		 O = 26
T = 1.16
 O = 26
T = 0.62
 O = 26
T = 0.47
 O = 26
T = 0.28
 O = 26
T = 0.40
 O = 26
T = 0.01
 O = 26
T = 0.03
 O = 26
T = 0.10
 O = 26
T = 0.16
cnf3.150.300.195568.cnf.wcnf O = 25
T = 0.04		 O = 25
T = 2.50
 O = 25
T = 0.59
 O = 25
T = 0.64
 O = 25
T = 0.26
 O = 25
T = 0.23
 O = 25
T = 0.04
 O = 25
T = 0.04
 O = 25
T = 0.09
 O = 25
T = 1.69
cnf3.150.300.195569.cnf.wcnf O = 27
T = 0.02		 O = 27
T = 2.59
 O = 27
T = 0.87
 O = 27
T = 0.91
 O = 27
T = 0.24
 O = 27
T = 0.23
 O = 27
T = 0.02
 O = 27
T = 0.04
 O = 27
T = 0.26
 O = 27
T = 6.21
cnf3.150.300.195570.cnf.wcnf O = 20
T = 0.00		 O = 20
T = 2.70
 O = 20
T = 1.06
 O = 20
T = 1.66
 O = 20
T = 0.33
 O = 20
T = 0.11
 O = 20
T = 0.00
 O = 20
T = 0.00
 O = 20
T = 0.00
 O = 20
T = 0.00
cnf3.150.350.558416.cnf.wcnf O = 32
T = 0.01		 O = 32
T = 2.23
 O = 32
T = 0.60
 O = 32
T = 0.42
 O = 32
T = 0.46
 O = 32
T = 0.26
 O = 32
T = 0.01
 O = 32
T = 0.91
 O = 32
T = 21.18
 O = 111
T = 1.12
cnf3.150.350.558417.cnf.wcnf O = 30
T = 0.17		 O = 30
T = 1.96
 O = 30
T = 0.47
 O = 30
T = 1.15
 O = 30
T = 0.77
 O = 30
T = 0.17
 O = 30
T = 0.17
 O = 30
T = 0.57
 O = 30
T = 2.34
 O = 30
T = 145.53
cnf3.150.350.558418.cnf.wcnf O = 29
T = 0.02		 O = 29
T = 2.39
 O = 29
T = 0.69
 O = 29
T = 0.63
 O = 29
T = 0.40
 O = 29
T = 0.47
 O = 29
T = 0.02
 O = 29
T = 0.16
 O = 29
T = 6.74
 O = 97
T = 1.16
cnf3.150.350.558419.cnf.wcnf O = 29
T = 0.03		 O = 29
T = 2.32
 O = 29
T = 0.76
 O = 29
T = 0.32
 O = 29
T = 0.32
 O = 29
T = 0.24
 O = 29
T = 0.03
 O = 29
T = 0.11
 O = 29
T = 1.76
 O = 29
T = 12.65
cnf3.150.350.558420.cnf.wcnf O = 32
T = 0.05		 O = 32
T = 2.32
 O = 32
T = 0.47
 O = 32
T = 1.49
 O = 32
T = 0.31
 O = 32
T = 0.11
 O = 32
T = 0.05
 O = 32
T = 0.13
 O = 32
T = 3.66
 O = 104
T = 1.19
cnf3.150.350.558421.cnf.wcnf O = 30
T = 0.23		 O = 30
T = 2.34
 O = 30
T = 0.49
 O = 30
T = 0.82
 O = 30
T = 0.23
 O = 30
T = 0.37
 O = 30
T = 0.39
 O = 30
T = 1.98
 O = 30
T = 34.48
 O = 103
T = 1.10
cnf3.150.350.558422.cnf.wcnf O = 30
T = 0.05		 O = 30
T = 1.98
 O = 30
T = 0.84
 O = 30
T = 1.81
 O = 30
T = 0.34
 O = 30
T = 0.34
 O = 30
T = 0.05
 O = 30
T = 0.36
 O = 30
T = 1.47
 O = 30
T = 141.51
cnf3.150.350.558423.cnf.wcnf O = 26
T = 0.03		 O = 26
T = 2.36
 O = 26
T = 0.53
 O = 26
T = 1.86
 O = 26
T = 1.34
 O = 26
T = 0.19
 O = 26
T = 0.03
 O = 26
T = 0.23
 O = 26
T = 1.67
 O = 26
T = 120.62
cnf3.150.350.558424.cnf.wcnf O = 24
T = 0.05		 O = 24
T = 2.41
 O = 24
T = 0.26
 O = 24
T = 0.59
 O = 24
T = 0.55
 O = 24
T = 0.15
 O = 24
T = 0.07
 O = 24
T = 0.05
 O = 24
T = 0.33
 O = 24
T = 6.63
cnf3.150.350.558425.cnf.wcnf O = 27
T = 0.02		 O = 27
T = 2.60
 O = 27
T = 0.48
 O = 27
T = 0.72
 O = 27
T = 0.38
 O = 27
T = 0.18
 O = 27
T = 0.02
 O = 27
T = 0.12
 O = 27
T = 0.36
 O = 27
T = 7.82
cnf3.150.400.921271.cnf.wcnf O = 38
T = 0.38		 O = 38
T = 1.66
 O = 38
T = 0.55
 O = 38
T = 0.56
 O = 38
T = 0.45
 O = 38
T = 0.38
 O = 38
T = 0.54
 O = 38
T = 11.91
 O = 54
T = 0.60
 O = 97
T = 1.17
cnf3.150.400.921272.cnf.wcnf O = 33
T = 0.24		 O = 33
T = 1.88
 O = 33
T = 0.64
 O = 33
T = 0.52
 O = 33
T = 0.32
 O = 33
T = 0.24
 O = 33
T = 0.31
 O = 33
T = 2.90
 O = 33
T = 45.74
 O = 98
T = 0.94
cnf3.150.400.921273.cnf.wcnf O = 31
T = 0.22		 O = 31
T = 2.48
 O = 31
T = 0.51
 O = 31
T = 0.58
 O = 31
T = 0.32
 O = 31
T = 0.55
 O = 31
T = 0.22
 O = 31
T = 1.16
 O = 31
T = 21.47
 O = 112
T = 1.25
cnf3.150.400.921274.cnf.wcnf O = 34
T = 0.06		 O = 34
T = 2.15
 O = 34
T = 0.50
 O = 34
T = 0.57
 O = 34
T = 0.30
 O = 34
T = 0.32
 O = 34
T = 0.06
 O = 34
T = 6.21
 O = 34
T = 202.54
 O = 100
T = 1.27
cnf3.150.400.921275.cnf.wcnf O = 37
T = 0.25		 O = 37
T = 2.03
 O = 37
T = 0.54
 O = 37
T = 0.58
 O = 37
T = 0.25
 O = 37
T = 0.34
 O = 37
T = 0.39
 O = 37
T = 4.67
 O = 53
T = 1.22
 O = 89
T = 1.43
cnf3.150.400.921276.cnf.wcnf O = 34
T = 0.11		 O = 34
T = 2.41
 O = 34
T = 0.63
 O = 34
T = 0.63
 O = 34
T = 0.25
 O = 34
T = 0.11
 O = 34
T = 0.42
 O = 34
T = 13.72
 O = 34
T = 219.63
 O = 100
T = 0.94
cnf3.150.400.921277.cnf.wcnf O = 33
T = 0.14		 O = 33
T = 1.83
 O = 33
T = 0.49
 O = 33
T = 0.30
 O = 33
T = 0.28
 O = 33
T = 0.14
 O = 33
T = 0.30
 O = 33
T = 4.79
 O = 33
T = 31.06
 O = 101
T = 1.20
cnf3.150.400.921278.cnf.wcnf O = 31
T = 0.18		 O = 31
T = 1.66
 O = 31
T = 0.55
 O = 31
T = 0.69
 O = 31
T = 0.57
 O = 31
T = 0.18
 O = 31
T = 0.20
 O = 31
T = 2.15
 O = 31
T = 12.75
 O = 94
T = 1.20
cnf3.150.400.921279.cnf.wcnf O = 28
T = 0.02		 O = 28
T = 2.00
 O = 28
T = 0.35
 O = 28
T = 1.09
 O = 28
T = 0.47
 O = 28
T = 0.24
 O = 28
T = 0.02
 O = 28
T = 0.11
 O = 28
T = 2.64
 O = 97
T = 1.36
cnf3.150.400.921280.cnf.wcnf O = 30
T = 0.01		 O = 30
T = 1.92
 O = 30
T = 0.65
 O = 30
T = 0.44
 O = 30
T = 0.40
 O = 30
T = 0.16
 O = 30
T = 0.01
 O = 30
T = 4.15
 O = 30
T = 56.70
 O = 98
T = 1.34
cnf3.150.450.284126.cnf.wcnf O = 43
T = 0.16		 O = 43
T = 1.67
 O = 43
T = 0.32
 O = 43
T = 0.46
 O = 43
T = 0.24
 O = 43
T = 0.16
 O = 43
T = 0.98
 O = 43
T = 6.96
 O = 66
T = 0.66
 O = 93
T = 1.27
cnf3.150.450.284127.cnf.wcnf O = 34
T = 0.31		 O = 34
T = 2.14
 O = 34
T = 0.36
 O = 34
T = 0.42
 O = 34
T = 0.31
 O = 34
T = 0.44
 O = 34
T = 0.53
 O = 34
T = 11.88
 O = 34
T = 152.60
 O = 90
T = 1.16
cnf3.150.450.284128.cnf.wcnf O = 34
T = 0.26		 O = 34
T = 1.92
 O = 34
T = 0.44
 O = 34
T = 0.26
 O = 34
T = 0.35
 O = 34
T = 0.58
 O = 34
T = 0.43
 O = 34
T = 4.45
 O = 34
T = 129.08
 O = 77
T = 1.48
cnf3.150.450.284129.cnf.wcnf O = 33
T = 0.22		 O = 33
T = 1.60
 O = 33
T = 0.86
 O = 33
T = 0.34
 O = 33
T = 0.22
 O = 33
T = 0.25
 O = 33
T = 0.30
 O = 33
T = 2.66
 O = 33
T = 31.25
 O = 88
T = 1.22
cnf3.150.450.284130.cnf.wcnf O = 36
T = 0.32		 O = 36
T = 1.57
 O = 36
T = 0.71
 O = 36
T = 0.49
 O = 36
T = 0.39
 O = 36
T = 0.32
 O = 36
T = 0.65
 O = 36
T = 2.33
 O = 36
T = 145.57
 O = 94
T = 1.04
cnf3.150.450.284131.cnf.wcnf O = 31
T = 0.27		 O = 31
T = 1.21
 O = 31
T = 0.27
 O = 31
T = 0.86
 O = 31
T = 0.34
 O = 31
T = 0.38
 O = 31
T = 0.38
 O = 31
T = 0.80
 O = 31
T = 8.18
 O = 93
T = 1.33
cnf3.150.450.284132.cnf.wcnf O = 31
T = 0.04		 O = 31
T = 1.94
 O = 31
T = 0.43
 O = 31
T = 0.24
 O = 31
T = 0.16
 O = 31
T = 0.41
 O = 31
T = 0.04
 O = 31
T = 4.02
 O = 31
T = 29.12
 O = 94
T = 1.15
cnf3.150.450.284133.cnf.wcnf O = 39
T = 0.17		 O = 39
T = 1.81
 O = 39
T = 0.41
 O = 39
T = 0.17
 O = 39
T = 0.29
 O = 39
T = 0.28
 O = 39
T = 0.74
 O = 39
T = 13.96
 O = 65
T = 1.28
 O = 103
T = 1.57
cnf3.150.450.284134.cnf.wcnf O = 39
T = 0.23		 O = 39
T = 1.66
 O = 39
T = 0.44
 O = 39
T = 0.29
 O = 39
T = 0.35
 O = 39
T = 0.23
 O = 39
T = 0.45
 O = 39
T = 40.17
 O = 75
T = 0.94
 O = 93
T = 1.20
cnf3.150.450.284135.cnf.wcnf O = 35
T = 0.18		 O = 35
T = 1.69
 O = 35
T = 0.66
 O = 35
T = 0.18
 O = 35
T = 0.60
 O = 35
T = 0.79
 O = 35
T = 0.45
 O = 35
T = 16.57
 O = 35
T = 94.89
 O = 90
T = 1.18
cnf3.150.500.646981.cnf.wcnf O = 47
T = 0.29		 O = 47
T = 1.65
 O = 47
T = 0.29
 O = 47
T = 0.42
 O = 47
T = 0.40
 O = 47
T = 0.36
 O = 47
T = 3.35
 O = 47
T = 14.23
 O = 70
T = 0.85
 O = 84
T = 1.55
cnf3.150.500.646982.cnf.wcnf O = 46
T = 0.20		 O = 46
T = 0.99
 O = 46
T = 0.59
 O = 46
T = 0.21
 O = 46
T = 0.20
 O = 46
T = 0.29
 O = 46
T = 3.77
 O = 46
T = 2.91
 O = 62
T = 0.98
 O = 85
T = 1.00
cnf3.150.500.646983.cnf.wcnf O = 47
T = 0.11		 O = 47
T = 1.49
 O = 47
T = 0.46
 O = 47
T = 0.38
 O = 47
T = 0.11
 O = 47
T = 0.37
 O = 47
T = 3.57
 O = 47
T = 22.75
 O = 66
T = 0.97
 O = 90
T = 1.07
cnf3.150.500.646984.cnf.wcnf O = 42
T = 0.22		 O = 42
T = 2.14
 O = 42
T = 0.34
 O = 42
T = 0.87
 O = 42
T = 0.22
 O = 42
T = 0.35
 O = 42
T = 0.95
 O = 42
T = 2.39
 O = 60
T = 1.27
 O = 80
T = 1.36
cnf3.150.500.646985.cnf.wcnf O = 53
T = 0.13		 O = 53
T = 1.20
 O = 53
T = 0.36
 O = 53
T = 0.21
 O = 53
T = 0.13
 O = 53
T = 0.40
 O = 53
T = 6.27
 O = 53
T = 3.43
 O = 77
T = 1.22
 O = 99
T = 1.38
cnf3.150.500.646986.cnf.wcnf O = 47
T = 0.12		 O = 47
T = 1.22
 O = 47
T = 0.38
 O = 47
T = 0.44
 O = 47
T = 0.12
 O = 47
T = 0.23
 O = 47
T = 5.19
 O = 47
T = 4.08
 O = 47
T = 152.92
 O = 88
T = 0.85
cnf3.150.500.646987.cnf.wcnf O = 43
T = 0.15		 O = 43
T = 1.16
 O = 43
T = 0.22
 O = 43
T = 0.15
 O = 43
T = 0.23
 O = 43
T = 0.15
 O = 43
T = 1.11
 O = 43
T = 4.32
 O = 43
T = 126.60
 O = 81
T = 0.81
cnf3.150.500.646988.cnf.wcnf O = 41
T = 0.20		 O = 41
T = 1.81
 O = 41
T = 0.34
 O = 41
T = 0.20
 O = 41
T = 0.30
 O = 41
T = 0.33
 O = 41
T = 1.47
 O = 41
T = 7.90
 O = 41
T = 159.95
 O = 87
T = 0.85
cnf3.150.500.646989.cnf.wcnf O = 49
T = 0.19		 O = 49
T = 1.18
 O = 49
T = 0.33
 O = 49
T = 0.59
 O = 49
T = 0.19
 O = 49
T = 0.26
 O = 49
T = 3.32
 O = 49
T = 4.61
 O = 68
T = 1.17
 O = 88
T = 0.81
cnf3.150.500.646990.cnf.wcnf O = 44
T = 0.30		 O = 44
T = 1.80
 O = 44
T = 0.59
 O = 44
T = 0.43
 O = 44
T = 0.49
 O = 44
T = 0.30
 O = 44
T = 1.62
 O = 44
T = 4.04
 O = 44
T = 278.27
 O = 84
T = 1.02
cnf3.150.550.009836.cnf.wcnf O = 54
T = 0.33		 O = 54
T = 1.15
 O = 54
T = 0.34
 O = 54
T = 0.34
 O = 54
T = 0.39
 O = 54
T = 0.33
 O = 54
T = 6.68
 O = 54
T = 1.90
 O = 54
T = 9.41
 O = 89
T = 0.74
cnf3.150.550.009837.cnf.wcnf O = 52
T = 0.11		 O = 52
T = 1.26
 O = 52
T = 0.33
 O = 52
T = 0.13
 O = 52
T = 0.11
 O = 52
T = 0.28
 O = 52
T = 15.28
 O = 52
T = 9.70
 O = 52
T = 187.00
 O = 82
T = 1.18
cnf3.150.550.009838.cnf.wcnf O = 45
T = 0.05		 O = 45
T = 1.23
 O = 45
T = 0.39
 O = 45
T = 0.15
 O = 45
T = 0.05
 O = 45
T = 0.36
 O = 45
T = 2.63
 O = 45
T = 5.26
 O = 45
T = 71.32
 O = 70
T = 1.31
cnf3.150.550.009839.cnf.wcnf O = 39
T = 0.09		 O = 39
T = 0.76
 O = 39
T = 0.24
 O = 39
T = 0.31
 O = 39
T = 0.09
 O = 39
T = 0.24
 O = 39
T = 0.53
 O = 39
T = 7.05
 O = 39
T = 153.95
 O = 76
T = 0.98
cnf3.150.550.009840.cnf.wcnf O = 52
T = 0.11		 O = 52
T = 0.91
 O = 52
T = 0.34
 O = 52
T = 0.53
 O = 52
T = 0.11
 O = 52
T = 0.48
 O = 52
T = 8.23
 O = 52
T = 6.01
 O = 52
T = 104.38
 O = 86
T = 1.09
cnf3.150.550.009841.cnf.wcnf O = 57
T = 0.06		 O = 57
T = 0.72
 O = 57
T = 0.38
 O = 57
T = 0.22
 O = 57
T = 0.06
 O = 57
T = 0.30
 O = 57
T = 36.38
 O = 57
T = 6.51
 O = 57
T = 75.10
 O = 89
T = 1.14
cnf3.150.550.009842.cnf.wcnf O = 45
T = 0.10		 O = 45
T = 1.35
 O = 45
T = 0.76
 O = 45
T = 0.47
 O = 45
T = 0.10
 O = 45
T = 0.21
 O = 45
T = 3.04
 O = 45
T = 2.54
 O = 45
T = 64.15
 O = 76
T = 0.82
cnf3.150.550.009843.cnf.wcnf O = 40
T = 0.21		 O = 40
T = 1.00
 O = 40
T = 0.36
 O = 40
T = 0.41
 O = 40
T = 0.21
 O = 40
T = 0.23
 O = 40
T = 0.99
 O = 40
T = 3.60
 O = 40
T = 25.43
 O = 73
T = 0.91
cnf3.150.550.009844.cnf.wcnf O = 47
T = 0.16		 O = 47
T = 1.05
 O = 47
T = 0.32
 O = 47
T = 0.37
 O = 47
T = 0.33
 O = 47
T = 0.16
 O = 47
T = 2.90
 O = 47
T = 8.51
 O = 47
T = 83.33
 O = 78
T = 1.44
cnf3.150.550.009845.cnf.wcnf O = 50
T = 0.10		 O = 50
T = 1.27
 O = 50
T = 0.34
 O = 50
T = 0.13
 O = 50
T = 0.10
 O = 50
T = 0.49
 O = 50
T = 5.89
 O = 50
T = 5.08
 O = 50
T = 92.92
 O = 82
T = 1.38
cnf3.150.600.372691.cnf.wcnf O = 63
T = 0.12		 O = 63
T = 0.24
 O = N/A
T = TO
 O = 63
T = 0.47
 O = 63
T = 0.23
 O = 63
T = 0.12
 O = 63
T = 10.30
 O = 63
T = 0.36
 O = 63
T = 5.30
 O = 65
T = 1.17
cnf3.150.600.372692.cnf.wcnf O = 49
T = 0.14		 O = 49
T = 0.43
 O = 49
T = 0.44
 O = 49
T = 0.24
 O = 49
T = 0.14
 O = 49
T = 0.14
 O = 49
T = 5.10
 O = 49
T = 1.76
 O = 49
T = 11.37
 O = 69
T = 1.22
cnf3.150.600.372693.cnf.wcnf O = 69
T = 0.12		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 69
T = 131.76
 O = 69
T = 56.18
 O = 69
T = 11.21
 O = 69
T = 0.13
 O = 69
T = 0.12
 O = 69
T = 64.79
cnf3.150.600.372694.cnf.wcnf O = 62
T = 0.06		 O = 62
T = 0.45
 O = 64
T = 188.32
 O = 62
T = 0.36
 O = 62
T = 0.06
 O = 62
T = 0.17
 O = 62
T = 5.28
 O = 62
T = 0.27
 O = 62
T = 1.27
 O = 66
T = 0.99
cnf3.150.600.372695.cnf.wcnf O = 53
T = 0.12		 O = 53
T = 0.63
 O = 53
T = 0.46
 O = 53
T = 0.12
 O = 53
T = 0.12
 O = 53
T = 0.14
 O = 53
T = 5.78
 O = 53
T = 0.50
 O = 53
T = 4.15
 O = 78
T = 1.14
cnf3.150.600.372696.cnf.wcnf O = 53
T = 0.22		 O = 53
T = 0.70
 O = 53
T = 87.06
 O = 53
T = 0.22
 O = 53
T = 0.24
 O = 53
T = 0.26
 O = 53
T = 9.12
 O = 53
T = 0.81
 O = 53
T = 4.41
 O = 82
T = 1.46
cnf3.150.600.372697.cnf.wcnf O = 46
T = 0.12		 O = 46
T = 0.66
 O = 46
T = 0.46
 O = 46
T = 0.23
 O = 46
T = 0.21
 O = 46
T = 0.12
 O = 46
T = 2.38
 O = 46
T = 2.60
 O = 46
T = 24.89
 O = 82
T = 1.21
cnf3.150.600.372698.cnf.wcnf O = 57
T = 0.10		 O = 57
T = 0.61
 O = 57
T = 0.46
 O = 57
T = 0.10
 O = 57
T = 0.17
 O = 57
T = 0.31
 O = 57
T = 25.31
 O = 57
T = 2.11
 O = 57
T = 15.05
 O = 73
T = 0.72
cnf3.150.600.372699.cnf.wcnf O = 65
T = 0.07		 O = 65
T = 0.50
 O = 65
T = 0.69
 O = 65
T = 0.13
 O = 65
T = 0.07
 O = 65
T = 0.14
 O = 65
T = 13.74
 O = 65
T = 0.19
 O = 65
T = 0.73
 O = 73
T = 0.88
cnf3.150.600.372700.cnf.wcnf O = 60
T = 0.14		 O = 60
T = 0.82
 O = 60
T = 0.38
 O = 60
T = 0.27
 O = 60
T = 0.14
 O = 60
T = 0.42
 O = 60
T = 7.41
 O = 60
T = 1.04
 O = 60
T = 7.61
 O = 85
T = 1.20
3col100_5_1.shuffled.cnf.wcnf O = 100
T = 0.06		 O = 100
T = 0.61
 O = N/A
T = TO
 O = 100
T = 0.39
 O = 100
T = 0.06
 O = 100
T = 0.19
 O = 100
T = 2.50
 O = 100
T = 0.12
 O = 100
T = 1.06
 O = 103
T = 1.36
3col100_5_10.shuffled.cnf.wcnf O = 94
T = 0.19		 O = 94
T = 0.80
 O = N/A
T = TO
 O = 94
T = 1.00
 O = 94
T = 0.19
 O = 94
T = 0.26
 O = 94
T = 3.44
 O = 94
T = 0.19
 O = 94
T = 1.06
 O = 99
T = 1.64
3col100_5_2.shuffled.cnf.wcnf O = 104
T = 0.04		 O = 104
T = 0.51
 O = N/A
T = TO
 O = 104
T = 0.06
 O = 104
T = 0.04
 O = 104
T = 0.70
 O = 104
T = 4.85
 O = 104
T = 0.16
 O = 104
T = 0.95
 O = 109
T = 1.12
3col100_5_3.shuffled.cnf.wcnf O = 92
T = 0.09		 O = 92
T = 0.43
 O = N/A
T = TO
 O = 92
T = 0.09
 O = 92
T = 0.26
 O = 92
T = 0.18
 O = 92
T = 3.75
 O = 92
T = 0.24
 O = 92
T = 0.91
 O = 99
T = 1.35
3col100_5_4.shuffled.cnf.wcnf O = 97
T = 0.13		 O = 97
T = 0.53
 O = N/A
T = TO
 O = 97
T = 0.22
 O = 97
T = 0.22
 O = 97
T = 0.13
 O = 97
T = 3.41
 O = 97
T = 0.16
 O = 97
T = 1.37
 O = 102
T = 1.38
3col100_5_5.shuffled.cnf.wcnf O = 86
T = 0.08		 O = 86
T = 0.30
 O = N/A
T = TO
 O = 86
T = 0.08
 O = 86
T = 0.13
 O = 86
T = 0.14
 O = 86
T = 2.38
 O = 86
T = 0.18
 O = 86
T = 0.65
 O = 94
T = 0.95
3col100_5_6.shuffled.cnf.wcnf O = 90
T = 0.05		 O = 90
T = 0.64
 O = N/A
T = TO
 O = 90
T = 0.10
 O = 90
T = 0.05
 O = 90
T = 0.08
 O = 90
T = 2.93
 O = 90
T = 0.22
 O = 90
T = 0.97
 O = 101
T = 1.21
3col100_5_7.shuffled.cnf.wcnf O = 85
T = 0.05		 O = 85
T = 0.49
 O = N/A
T = TO
 O = 85
T = 0.11
 O = 85
T = 0.05
 O = 85
T = 0.13
 O = 85
T = 2.24
 O = 85
T = 0.22
 O = 85
T = 1.03
 O = 106
T = 1.13
3col100_5_8.shuffled.cnf.wcnf O = 94
T = 0.05		 O = 94
T = 0.49
 O = N/A
T = TO
 O = 94
T = 0.16
 O = 94
T = 0.05
 O = 94
T = 0.20
 O = 94
T = 2.56
 O = 94
T = 0.31
 O = 94
T = 0.72
 O = 100
T = 1.11
3col100_5_9.shuffled.cnf.wcnf O = 94
T = 0.07		 O = 94
T = 0.60
 O = N/A
T = TO
 O = 94
T = 0.27
 O = 94
T = 0.12
 O = 94
T = 0.07
 O = 94
T = 2.81
 O = 94
T = 0.15
 O = 94
T = 1.63
 O = 100
T = 1.11
3col120_5_1.shuffled.cnf.wcnf O = 123
T = 0.25		 O = 123
T = 5.29
 O = N/A
T = TO
 O = 123
T = 2.54
 O = 123
T = 0.25
 O = 123
T = 5.06
 O = 123
T = 23.35
 O = 123
T = 0.88
 O = 123
T = 9.08
 O = 129
T = 0.84
3col120_5_10.shuffled.cnf.wcnf O = 125
T = 1.10		 O = 125
T = 32.59
 O = N/A
T = TO
 O = 125
T = 10.87
 O = 125
T = 31.34
 O = 125
T = 12.70
 O = 125
T = 19.98
 O = 125
T = 3.62
 O = 125
T = 1.10
 O = 129
T = 1.49
3col120_5_2.shuffled.cnf.wcnf O = 124
T = 1.79		 O = 124
T = 7.85
 O = N/A
T = TO
 O = 124
T = 2.32
 O = 124
T = 2.41
 O = 124
T = 8.19
 O = 124
T = 18.28
 O = 124
T = 1.79
 O = 124
T = 26.72
 O = 133
T = 1.14
3col120_5_3.shuffled.cnf.wcnf O = 119
T = 1.41		 O = 119
T = 1.58
 O = N/A
T = TO
 O = 119
T = 3.58
 O = 119
T = 3.10
 O = 119
T = 7.98
 O = 119
T = 26.40
 O = 119
T = 1.41
 O = 119
T = 23.32
 O = 123
T = 1.10
3col120_5_4.shuffled.cnf.wcnf O = 122
T = 1.40		 O = 122
T = 3.60
 O = N/A
T = TO
 O = 122
T = 1.40
 O = 122
T = 2.73
 O = 122
T = 2.63
 O = 122
T = 20.90
 O = 122
T = 2.19
 O = 122
T = 23.29
 O = 127
T = 1.18
3col120_5_5.shuffled.cnf.wcnf O = 112
T = 0.73		 O = 112
T = 0.73
 O = N/A
T = TO
 O = 112
T = 2.38
 O = 112
T = 8.32
 O = 112
T = 10.02
 O = 112
T = 51.33
 O = 112
T = 3.09
 O = 112
T = 28.47
 O = 116
T = 1.42
3col120_5_6.shuffled.cnf.wcnf O = 121
T = 0.71		 O = 121
T = 4.78
 O = N/A
T = TO
 O = 121
T = 4.77
 O = 121
T = 0.71
 O = 121
T = 2.07
 O = 121
T = 23.01
 O = 121
T = 2.00
 O = 121
T = 46.92
 O = 124
T = 1.57
3col120_5_7.shuffled.cnf.wcnf O = 120
T = 0.37		 O = 120
T = 0.56
 O = N/A
T = TO
 O = 120
T = 1.52
 O = 120
T = 0.37
 O = 120
T = 0.79
 O = 120
T = 16.97
 O = 120
T = 1.97
 O = 120
T = 33.52
 O = 127
T = 1.27
3col120_5_8.shuffled.cnf.wcnf O = 110
T = 0.20		 O = 110
T = 8.78
 O = N/A
T = TO
 O = 110
T = 0.20
 O = 110
T = 1.51
 O = 110
T = 0.34
 O = 110
T = 24.88
 O = 110
T = 2.22
 O = 110
T = 7.82
 O = 113
T = 0.97
3col120_5_9.shuffled.cnf.wcnf O = 117
T = 0.89		 O = 117
T = 7.69
 O = N/A
T = TO
 O = 117
T = 2.85
 O = 117
T = 7.12
 O = 117
T = 0.89
 O = 117
T = 25.01
 O = 117
T = 1.84
 O = 117
T = 14.88
 O = 122
T = 0.80
3col140_5_1.shuffled.cnf.wcnf O = 121
T = 0.43		 O = 121
T = 0.46
 O = N/A
T = TO
 O = 121
T = 0.50
 O = 121
T = 0.43
 O = 121
T = 0.61
 O = 121
T = 27.29
 O = 121
T = 10.48
 O = 121
T = 93.55
 O = 135
T = 1.52
3col140_5_10.shuffled.cnf.wcnf O = 122
T = 0.12		 O = 122
T = 3.60
 O = N/A
T = TO
 O = 122
T = 0.31
 O = 122
T = 1.86
 O = 122
T = 0.12
 O = 122
T = 26.63
 O = 122
T = 1.76
 O = 122
T = 64.29
 O = 135
T = 1.37
3col140_5_2.shuffled.cnf.wcnf O = 131
T = 0.61		 O = 131
T = 0.61
 O = N/A
T = TO
 O = 131
T = 2.33
 O = 131
T = 1.29
 O = 131
T = 0.67
 O = 131
T = 59.93
 O = 131
T = 7.24
 O = 131
T = 94.09
 O = 146
T = 1.48
3col140_5_3.shuffled.cnf.wcnf O = 128
T = 0.12		 O = 128
T = 0.44
 O = N/A
T = TO
 O = 128
T = 0.31
 O = 128
T = 1.04
 O = 128
T = 0.12
 O = 128
T = 80.66
 O = 128
T = 10.97
 O = 128
T = 92.52
 O = 139
T = 1.28
3col140_5_4.shuffled.cnf.wcnf O = 128
T = 0.17		 O = 128
T = 4.49
 O = N/A
T = TO
 O = 128
T = 0.54
 O = 128
T = 0.41
 O = 128
T = 0.17
 O = 128
T = 56.27
 O = 128
T = 13.08
 O = 128
T = 84.99
 O = 152
T = 1.10
3col140_5_5.shuffled.cnf.wcnf O = 124
T = 0.14		 O = 124
T = 0.68
 O = N/A
T = TO
 O = 124
T = 0.35
 O = 124
T = 0.33
 O = 124
T = 0.14
 O = 124
T = 56.56
 O = 124
T = 8.83
 O = 124
T = 91.46
 O = 125
T = 1.05
3col140_5_6.shuffled.cnf.wcnf O = 120
T = 0.08		 O = 120
T = 1.49
 O = N/A
T = TO
 O = 120
T = 0.29
 O = 120
T = 0.08
 O = 120
T = 0.79
 O = 120
T = 26.02
 O = 120
T = 2.72
 O = 120
T = 154.26
 O = 126
T = 1.39
3col140_5_7.shuffled.cnf.wcnf O = 119
T = 0.25		 O = 119
T = 2.36
 O = N/A
T = TO
 O = 119
T = 0.70
 O = 119
T = 0.46
 O = 119
T = 0.25
 O = 119
T = 22.82
 O = 119
T = 8.43
 O = 119
T = 83.83
 O = 125
T = 1.24
3col140_5_8.shuffled.cnf.wcnf O = 123
T = 1.45		 O = 123
T = 2.44
 O = N/A
T = TO
 O = 123
T = 3.55
 O = 123
T = 1.45
 O = 123
T = 1.88
 O = 123
T = 63.44
 O = 123
T = 2.26
 O = 123
T = 79.80
 O = 143
T = 1.51
3col140_5_9.shuffled.cnf.wcnf O = 134
T = 1.41		 O = 134
T = 4.63
 O = N/A
T = TO
 O = 134
T = 1.41
 O = 134
T = 4.41
 O = 134
T = 2.82
 O = 134
T = 35.91
 O = 134
T = 8.43
 O = 134
T = 155.17
 O = 141
T = 1.44
3col80_5_1.shuffled.cnf.wcnf O = 79
T = 0.03		 O = 79
T = 0.45
 O = N/A
T = TO
 O = 79
T = 0.09
 O = 79
T = 0.12
 O = 79
T = 0.09
 O = 79
T = 1.24
 O = 79
T = 0.03
 O = 79
T = 0.22
 O = 79
T = 1.27
3col80_5_10.shuffled.cnf.wcnf O = 75
T = 0.03		 O = 75
T = 0.41
 O = N/A
T = TO
 O = 75
T = 0.08
 O = 75
T = 0.03
 O = 75
T = 0.06
 O = 75
T = 1.50
 O = 75
T = 0.03
 O = 75
T = 0.19
 O = 75
T = 7.10
3col80_5_2.shuffled.cnf.wcnf O = 71
T = 0.02		 O = 71
T = 0.56
 O = 71
T = 52.27
 O = 71
T = 0.14
 O = 71
T = 0.02
 O = 71
T = 0.08
 O = 71
T = 1.04
 O = 71
T = 0.03
 O = 71
T = 0.05
 O = 71
T = 15.17
3col80_5_3.shuffled.cnf.wcnf O = 88
T = 0.03		 O = 88
T = 0.56
 O = N/A
T = TO
 O = 88
T = 0.15
 O = 88
T = 0.07
 O = 88
T = 0.24
 O = 88
T = 1.18
 O = 88
T = 0.03
 O = 88
T = 0.04
 O = 88
T = 1.49
3col80_5_4.shuffled.cnf.wcnf O = 73
T = 0.03		 O = 73
T = 0.57
 O = 73
T = 24.03
 O = 73
T = 0.13
 O = 73
T = 0.05
 O = 73
T = 0.12
 O = 73
T = 1.19
 O = 73
T = 0.03
 O = 73
T = 0.12
 O = 78
T = 1.74
3col80_5_5.shuffled.cnf.wcnf O = 78
T = 0.03		 O = 78
T = 0.66
 O = 79
T = 31.03
 O = 78
T = 0.05
 O = 78
T = 0.06
 O = 78
T = 0.08
 O = 78
T = 1.37
 O = 78
T = 0.03
 O = 78
T = 0.13
 O = 80
T = 1.17
3col80_5_6.shuffled.cnf.wcnf O = 76
T = 0.02		 O = 76
T = 0.54
 O = N/A
T = TO
 O = 76
T = 0.08
 O = 76
T = 0.02
 O = 76
T = 0.04
 O = 76
T = 1.05
 O = 76
T = 0.03
 O = 76
T = 0.12
 O = 76
T = 237.91
3col80_5_7.shuffled.cnf.wcnf O = 80
T = 0.03		 O = 80
T = 0.35
 O = N/A
T = TO
 O = 80
T = 0.03
 O = 80
T = 0.09
 O = 80
T = 0.05
 O = 80
T = 1.04
 O = 80
T = 0.03
 O = 80
T = 0.15
 O = 81
T = 1.20
3col80_5_8.shuffled.cnf.wcnf O = 82
T = 0.03		 O = 82
T = 0.50
 O = N/A
T = TO
 O = 82
T = 0.05
 O = 82
T = 0.07
 O = 82
T = 0.14
 O = 82
T = 1.00
 O = 82
T = 0.03
 O = 82
T = 0.14
 O = 82
T = 1.35
3col80_5_9.shuffled.cnf.wcnf O = 79
T = 0.04		 O = 79
T = 0.38
 O = N/A
T = TO
 O = 79
T = 0.14
 O = 79
T = 0.07
 O = 79
T = 0.10
 O = 79
T = 1.23
 O = 79
T = 0.04
 O = 79
T = 0.15
 O = 79
T = 1.55
cnt05.shuffled.cnf.wcnf O = 174
T = 0.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 = 174
T = 0.05
 O = 174
T = 0.04
 O = 174
T = 0.01
 O = 174
T = 101.73
cnt06.shuffled.cnf.wcnf O = 365
T = 0.08		 O = 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 = 365
T = 1.42
 O = 365
T = 0.10
 O = 365
T = 0.08
 O = N/A
T = TO
cnt07.shuffled.cnf.wcnf O = 877
T = 0.18		 O = 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 = 877
T = 9.88
 O = 877
T = 0.18
 O = 877
T = 0.24
 O = 878
T = 0.14
dp02s02.shuffled.cnf.wcnf O = 100
T = 0.01		 O = 100
T = 1.37
 O = N/A
T = TO
 O = 100
T = 0.16
 O = 100
T = 0.06
 O = 100
T = 0.10
 O = 100
T = 0.01
 O = 100
T = 0.02
 O = 100
T = 0.01
 O = 100
T = 0.01
dp03s03.shuffled.cnf.wcnf O = 254
T = 0.04		 O = 254
T = 3.05
 O = N/A
T = TO
 O = 254
T = 0.13
 O = 254
T = 0.04
 O = 254
T = 0.11
 O = 254
T = 0.69
 O = 254
T = 0.20
 O = 254
T = 0.35
 O = 254
T = 0.08
dp04s04.shuffled.cnf.wcnf O = 533
T = 0.54		 O = 533
T = 86.67
 O = N/A
T = TO
 O = 533
T = 0.62
 O = 533
T = 0.54
 O = 533
T = 19.07
 O = 533
T = 5.51
 O = 533
T = 1.04
 O = 533
T = 16.47
 O = 738
T = 0.03
dp05s05.shuffled.cnf.wcnf O = 765
T = 2.53		 O = 786
T = 132.97
 O = N/A
T = TO
 O = 765
T = 156.95
 O = 765
T = 5.69
 O = 765
T = 206.00
 O = 765
T = 33.24
 O = 765
T = 2.53
 O = 765
T = 125.29
 O = 1055
T = 0.03
dp06s06.shuffled.cnf.wcnf O = 1164
T = 5.14		 O = 1174
T = 185.52
 O = N/A
T = TO
 O = 1185
T = 54.86
 O = 1198
T = 63.74
 O = 1190
T = 166.71
 O = N/A
T = TO
 O = 1164
T = 5.14
 O = 1276
T = 0.05
 O = 1537
T = 0.04
dp07s07.shuffled.cnf.wcnf O = 1563
T = 25.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 = 1563
T = 25.17
 O = 1723
T = 0.11
 O = 2010
T = 0.06
ezfact32_1.shuffled.cnf.wcnf O = 400
T = 0.11		 O = N/A
T = TO
 O = N/A
T = TO
 O = 400
T = 22.18
 O = 400
T = 8.53
 O = 400
T = 4.53
 O = 400
T = 102.17
 O = 400
T = 0.45
 O = 400
T = 0.11
 O = N/A
T = TO
ezfact32_10.shuffled.cnf.wcnf O = 389
T = 0.14		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 389
T = 234.59
 O = 389
T = 51.46
 O = 389
T = 172.89
 O = 389
T = 0.14
 O = 389
T = 0.65
 O = N/A
T = TO
ezfact32_2.shuffled.cnf.wcnf O = 364
T = 0.03		 O = 364
T = 38.63
 O = N/A
T = TO
 O = 364
T = 2.23
 O = 364
T = 0.47
 O = 364
T = 0.38
 O = 364
T = 87.71
 O = 364
T = 0.07
 O = 364
T = 0.07
 O = 364
T = 0.03
ezfact32_3.shuffled.cnf.wcnf O = 397
T = 0.12		 O = N/A
T = TO
 O = N/A
T = TO
 O = 397
T = 12.15
 O = 397
T = 102.56
 O = 397
T = 3.38
 O = 397
T = 82.89
 O = 397
T = 0.62
 O = 397
T = 0.12
 O = N/A
T = TO
ezfact32_4.shuffled.cnf.wcnf O = 379
T = 0.11		 O = N/A
T = TO
 O = N/A
T = TO
 O = 379
T = 33.47
 O = 379
T = 40.12
 O = 379
T = 152.88
 O = 379
T = 58.78
 O = 379
T = 1.75
 O = 379
T = 0.11
 O = 379
T = 5.47
ezfact32_5.shuffled.cnf.wcnf O = 394
T = 0.06		 O = N/A
T = TO
 O = N/A
T = TO
 O = 394
T = 34.65
 O = 394
T = 204.56
 O = 394
T = 137.06
 O = 394
T = 103.01
 O = 394
T = 0.06
 O = 394
T = 0.10
 O = N/A
T = TO
ezfact32_6.shuffled.cnf.wcnf O = 382
T = 0.06		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 382
T = 75.38
 O = 382
T = 83.14
 O = 382
T = 241.55
 O = 382
T = 0.11
 O = 382
T = 0.11
 O = 382
T = 0.06
ezfact32_7.shuffled.cnf.wcnf O = 394
T = 0.10		 O = N/A
T = TO
 O = N/A
T = TO
 O = 394
T = 213.14
 O = 394
T = 108.61
 O = N/A
T = TO
 O = 394
T = 137.83
 O = 394
T = 0.12
 O = 394
T = 0.10
 O = N/A
T = TO
ezfact32_8.shuffled.cnf.wcnf O = 392
T = 0.12		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 392
T = 168.19
 O = N/A
T = TO
 O = 392
T = 194.80
 O = 392
T = 0.15
 O = 392
T = 0.12
 O = 392
T = 0.51
ezfact32_9.shuffled.cnf.wcnf O = 382
T = 0.11		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 382
T = 121.51
 O = N/A
T = TO
 O = 382
T = 139.38
 O = 382
T = 0.11
 O = 382
T = 0.13
 O = N/A
T = TO
med11.shuffled.cnf.wcnf O = 164
T = 0.03		 O = 164
T = 0.59
 O = 164
T = 0.34
 O = 164
T = 0.11
 O = 164
T = 0.09
 O = 164
T = 0.08
 O = 164
T = 0.03
 O = 164
T = 0.18
 O = 164
T = 2.05
 O = 164
T = 152.25
kbtree9_7_3_5_30_1.wcsp.wcnf O = 9
T = 0.61		 O = 9
T = 30.26
 O = 9
T = 0.61
 O = 9
T = 3.80
 O = 9
T = 0.92
 O = 9
T = 0.92
 O = 9
T = 4.18
 O = 9
T = 33.88
 O = 9
T = 194.99
 O = 50
T = 1.59
kbtree9_7_3_5_30_2.wcsp.wcnf O = 7
T = 0.49		 O = 7
T = 1.48
 O = 7
T = 0.49
 O = 7
T = 1.08
 O = 7
T = 0.61
 O = 7
T = 0.95
 O = 7
T = 2.26
 O = 7
T = 7.08
 O = 7
T = 3.34
 O = 51
T = 1.37
kbtree9_7_3_5_30_3.wcsp.wcnf O = 9
T = 0.49		 O = 9
T = 0.71
 O = 9
T = 0.49
 O = 9
T = 0.89
 O = 9
T = 0.54
 O = 9
T = 1.02
 O = 9
T = 7.31
 O = 9
T = 4.24
 O = 9
T = 52.15
 O = 57
T = 1.44
kbtree9_7_3_5_30_4.wcsp.wcnf O = 6
T = 0.66		 O = 6
T = 1.39
 O = 6
T = 0.96
 O = 6
T = 1.28
 O = 6
T = 0.66
 O = 6
T = 1.17
 O = 6
T = 2.53
 O = 6
T = 7.34
 O = 6
T = 0.75
 O = 6
T = 189.44
kbtree9_7_3_5_30_5.wcsp.wcnf O = 6
T = 0.46		 O = 6
T = 1.24
 O = 6
T = 1.05
 O = 6
T = 1.08
 O = 6
T = 0.46
 O = 6
T = 1.13
 O = 6
T = 1.48
 O = 6
T = 5.80
 O = 6
T = 3.10
 O = 6
T = 234.34
kbtree9_7_3_5_30_6.wcsp.wcnf O = 9
T = 0.65		 O = 9
T = 1.09
 O = 9
T = 1.13
 O = 9
T = 0.78
 O = 9
T = 0.65
 O = 9
T = 1.23
 O = 9
T = 2.71
 O = 9
T = 33.34
 O = 9
T = 43.21
 O = 54
T = 1.29
kbtree9_7_3_5_40_1.wcsp.wcnf O = 27
T = 0.49		 O = 27
T = 1.69
 O = 27
T = 0.82
 O = 27
T = 1.00
 O = 27
T = 0.49
 O = 27
T = 0.98
 O = 27
T = 42.07
 O = 41
T = 284.62
 O = 65
T = 0.75
 O = 76
T = 1.29
kbtree9_7_3_5_40_2.wcsp.wcnf O = 26
T = 0.58		 O = 26
T = 1.14
 O = 26
T = 0.58
 O = 26
T = 1.25
 O = 26
T = 0.90
 O = 26
T = 0.78
 O = 26
T = 37.01
 O = 28
T = 284.50
 O = 52
T = 1.12
 O = 79
T = 1.50
kbtree9_7_3_5_40_3.wcsp.wcnf O = 22
T = 0.54		 O = 22
T = 4.86
 O = 22
T = 0.54
 O = 22
T = 1.07
 O = 22
T = 0.69
 O = 22
T = 0.72
 O = 22
T = 23.74
 O = 25
T = 284.60
 O = 40
T = 1.18
 O = 72
T = 1.51
kbtree9_7_3_5_40_4.wcsp.wcnf O = 22
T = 0.56		 O = 22
T = 0.90
 O = 22
T = 0.69
 O = 22
T = 0.62
 O = 22
T = 0.56
 O = 22
T = 1.29
 O = 22
T = 20.67
 O = 25
T = 284.71
 O = 39
T = 1.17
 O = 89
T = 1.44
kbtree9_7_3_5_40_5.wcsp.wcnf O = 23
T = 0.61		 O = 23
T = 2.63
 O = 23
T = 0.89
 O = 23
T = 1.70
 O = 23
T = 0.91
 O = 23
T = 0.61
 O = 23
T = 23.21
 O = 25
T = 284.42
 O = 50
T = 0.88
 O = 73
T = 1.61
kbtree9_7_3_5_40_6.wcsp.wcnf O = 26
T = 0.63		 O = 26
T = 1.03
 O = 26
T = 0.63
 O = 26
T = 1.42
 O = 26
T = 0.72
 O = 26
T = 0.63
 O = 26
T = 27.14
 O = 32
T = 284.23
 O = 52
T = 1.24
 O = 80
T = 1.43
kbtree9_7_3_5_50_1.wcsp.wcnf O = 36
T = 0.64		 O = 36
T = 1.63
 O = 36
T = 0.82
 O = 36
T = 1.23
 O = 36
T = 0.76
 O = 36
T = 0.64
 O = 36
T = 53.23
 O = 44
T = 284.55
 O = 73
T = 0.73
 O = 73
T = 1.63
kbtree9_7_3_5_50_2.wcsp.wcnf O = 37
T = 0.33		 O = 37
T = 2.05
 O = 37
T = 2.85
 O = 37
T = 1.01
 O = 37
T = 0.81
 O = 37
T = 0.33
 O = 37
T = 52.83
 O = 41
T = 284.43
 O = 59
T = 0.92
 O = 90
T = 1.46
kbtree9_7_3_5_50_3.wcsp.wcnf O = 37
T = 0.38		 O = 37
T = 1.75
 O = 37
T = 0.72
 O = 37
T = 1.26
 O = 37
T = 0.80
 O = 37
T = 0.38
 O = 37
T = 50.83
 O = 42
T = 284.53
 O = 64
T = 0.84
 O = 96
T = 1.40
kbtree9_7_3_5_50_4.wcsp.wcnf O = 38
T = 0.41		 O = 38
T = 1.38
 O = 38
T = 1.15
 O = 38
T = 1.21
 O = 38
T = 0.86
 O = 38
T = 0.41
 O = 38
T = 41.40
 O = 45
T = 284.53
 O = 59
T = 1.04
 O = 90
T = 1.10
kbtree9_7_3_5_50_5.wcsp.wcnf O = 37
T = 0.56		 O = 37
T = 1.23
 O = 37
T = 0.91
 O = 37
T = 1.39
 O = 37
T = 0.82
 O = 37
T = 0.56
 O = 37
T = 26.88
 O = 39
T = 284.24
 O = 55
T = 1.18
 O = 90
T = 1.44
kbtree9_7_3_5_50_6.wcsp.wcnf O = 38
T = 0.70		 O = 38
T = 1.55
 O = 38
T = 1.18
 O = 38
T = 0.89
 O = 38
T = 0.94
 O = 38
T = 0.70
 O = 38
T = 46.21
 O = 40
T = 284.11
 O = 64
T = 0.93
 O = 88
T = 1.35
kbtree9_7_3_5_60_1.wcsp.wcnf O = 54
T = 0.86		 O = 54
T = 0.97
 O = 54
T = 0.86
 O = 54
T = 1.02
 O = 54
T = 1.16
 O = 54
T = 1.00
 O = 54
T = 34.39
 O = 61
T = 284.35
 O = 88
T = 1.05
 O = 121
T = 1.32
kbtree9_7_3_5_60_2.wcsp.wcnf O = 59
T = 0.63		 O = 59
T = 2.26
 O = 59
T = 0.70
 O = 59
T = 1.16
 O = 59
T = 1.55
 O = 59
T = 0.63
 O = 59
T = 54.53
 O = 71
T = 284.47
 O = 83
T = 1.04
 O = 112
T = 1.30
kbtree9_7_3_5_60_3.wcsp.wcnf O = 59
T = 0.80		 O = 59
T = 1.68
 O = 59
T = 0.80
 O = 59
T = 0.85
 O = 59
T = 1.27
 O = 59
T = 1.17
 O = 59
T = 79.70
 O = 66
T = 284.59
 O = 85
T = 1.22
 O = 112
T = 1.24
kbtree9_7_3_5_60_4.wcsp.wcnf O = 59
T = 0.41		 O = 59
T = 1.90
 O = 59
T = 0.66
 O = 59
T = 1.02
 O = 59
T = 0.41
 O = 59
T = 1.56
 O = 59
T = 53.17
 O = 61
T = 284.31
 O = 78
T = 0.94
 O = 102
T = 1.10
kbtree9_7_3_5_60_5.wcsp.wcnf O = 56
T = 0.79		 O = 56
T = 1.50
 O = 56
T = 1.02
 O = 56
T = 0.98
 O = 56
T = 0.79
 O = 56
T = 1.00
 O = 56
T = 43.44
 O = 59
T = 284.47
 O = 80
T = 1.23
 O = 121
T = 1.75
kbtree9_7_3_5_60_6.wcsp.wcnf O = 57
T = 0.74		 O = 57
T = 1.32
 O = 57
T = 0.99
 O = 57
T = 1.02
 O = 57
T = 0.74
 O = 57
T = 1.08
 O = 57
T = 52.84
 O = 62
T = 284.58
 O = 94
T = 0.84
 O = 106
T = 1.16
kbtree9_7_3_5_70_1.wcsp.wcnf O = 74
T = 0.53		 O = 74
T = 1.84
 O = 74
T = 3.10
 O = 74
T = 1.28
 O = 74
T = 0.53
 O = 74
T = 1.20
 O = 74
T = 11.42
 O = 75
T = 284.53
 O = 106
T = 1.08
 O = 134
T = 0.63
kbtree9_7_3_5_70_2.wcsp.wcnf O = 72
T = 0.94		 O = 72
T = 1.44
 O = 72
T = 1.27
 O = 72
T = 1.15
 O = 72
T = 0.94
 O = 72
T = 1.18
 O = 72
T = 60.51
 O = 87
T = 284.58
 O = 110
T = 1.32
 O = 137
T = 1.48
kbtree9_7_3_5_70_3.wcsp.wcnf O = 74
T = 0.94		 O = 74
T = 1.37
 O = 74
T = 1.04
 O = 74
T = 1.04
 O = 74
T = 0.94
 O = 74
T = 1.28
 O = 74
T = 37.57
 O = 80
T = 284.37
 O = 116
T = 1.11
 O = 128
T = 1.57
kbtree9_7_3_5_70_4.wcsp.wcnf O = 73
T = 0.46		 O = 73
T = 1.90
 O = 73
T = 0.85
 O = 73
T = 1.06
 O = 73
T = 1.07
 O = 73
T = 0.46
 O = 73
T = 45.22
 O = 84
T = 284.48
 O = 114
T = 1.08
 O = 129
T = 1.34
kbtree9_7_3_5_70_5.wcsp.wcnf O = 72
T = 0.55		 O = 72
T = 1.36
 O = 72
T = 0.68
 O = 72
T = 1.15
 O = 72
T = 0.90
 O = 72
T = 0.55
 O = 72
T = 51.91
 O = 78
T = 284.53
 O = 101
T = 1.16
 O = 118
T = 1.68
kbtree9_7_3_5_70_6.wcsp.wcnf O = 74
T = 0.73		 O = 74
T = 1.59
 O = 74
T = 2.00
 O = 74
T = 1.22
 O = 74
T = 0.73
 O = 74
T = 0.73
 O = 74
T = 70.48
 O = 78
T = 284.15
 O = 100
T = 1.07
 O = 126
T = 1.23
kbtree9_7_3_5_80_1.wcsp.wcnf O = 96
T = 0.71		 O = 96
T = 8.39
 O = 96
T = 2.12
 O = 96
T = 1.70
 O = 96
T = 0.97
 O = 96
T = 0.71
 O = 96
T = 14.41
 O = 104
T = 284.49
 O = 125
T = 1.09
 O = 162
T = 1.38
kbtree9_7_3_5_80_2.wcsp.wcnf O = 103
T = 2.51		 O = 103
T = 18.90
 O = 103
T = 73.51
 O = 103
T = 17.79
 O = 103
T = 46.35
 O = 103
T = 2.51
 O = 103
T = 47.54
 O = 105
T = 284.45
 O = 128
T = 0.81
 O = 153
T = 0.97
kbtree9_7_3_5_80_3.wcsp.wcnf O = 102
T = 0.54		 O = 102
T = 21.75
 O = 102
T = 0.54
 O = 102
T = 4.45
 O = 102
T = 4.43
 O = 102
T = 0.86
 O = 102
T = 14.23
 O = 109
T = 284.41
 O = 127
T = 0.76
 O = 153
T = 1.43
kbtree9_7_3_5_80_4.wcsp.wcnf O = 100
T = 2.60		 O = 100
T = 3.78
 O = 100
T = 2.60
 O = 100
T = 18.63
 O = 100
T = 18.12
 O = 100
T = 129.55
 O = 100
T = 7.86
 O = 103
T = 284.57
 O = 126
T = 1.16
 O = 159
T = 1.61
kbtree9_7_3_5_80_5.wcsp.wcnf O = 104
T = 0.87		 O = 104
T = 1.33
 O = 104
T = 0.95
 O = 104
T = 0.93
 O = 104
T = 0.87
 O = 104
T = 1.24
 O = 104
T = 14.58
 O = 116
T = 284.51
 O = 132
T = 0.78
 O = 153
T = 1.66
kbtree9_7_3_5_80_6.wcsp.wcnf O = 104
T = 0.94		 O = 104
T = 1.51
 O = 104
T = 24.05
 O = 104
T = 2.23
 O = 104
T = 0.94
 O = 104
T = 1.02
 O = 104
T = 45.90
 O = 110
T = 284.41
 O = 141
T = 1.18
 O = 160
T = 1.18
kbtree9_7_3_5_90_1.wcsp.wcnf O = 124
T = 1.60		 O = 124
T = 5.60
 O = 124
T = 50.02
 O = 124
T = 49.55
 O = 124
T = 1.60
 O = 124
T = 49.71
 O = 124
T = 5.70
 O = 127
T = 284.63
 O = 152
T = 0.86
 O = 166
T = 1.13
kbtree9_7_3_5_90_2.wcsp.wcnf O = 125
T = 1.30		 O = 125
T = 1.97
 O = 125
T = 1.30
 O = 125
T = 109.82
 O = 125
T = 4.21
 O = 125
T = 3.66
 O = 125
T = 12.70
 O = 127
T = 284.48
 O = 148
T = 0.74
 O = 156
T = 1.13
kbtree9_7_3_5_90_3.wcsp.wcnf O = 121
T = 0.64		 O = 121
T = 1.14
 O = 121
T = 0.64
 O = 121
T = 17.99
 O = 121
T = 20.10
 O = 121
T = 44.71
 O = 121
T = 4.12
 O = 121
T = 284.52
 O = N/A
T = TO
 O = 160
T = 1.45
kbtree9_7_3_5_90_4.wcsp.wcnf O = 126
T = 5.54		 O = 126
T = 38.16
 O = 126
T = 5.54
 O = 126
T = 41.96
 O = 126
T = 69.37
 O = 127
T = 42.40
 O = 126
T = 9.08
 O = 128
T = 284.43
 O = 154
T = 1.07
 O = 167
T = 1.32
kbtree9_7_3_5_90_5.wcsp.wcnf O = 124
T = 3.47		 O = 124
T = 149.82
 O = 125
T = 5.45
 O = 124
T = 204.45
 O = 124
T = 3.47
 O = 124
T = 33.89
 O = 124
T = 20.95
 O = 128
T = 284.56
 O = 151
T = 1.20
 O = 166
T = 1.69
kbtree9_7_3_5_90_6.wcsp.wcnf O = 128
T = 2.54		 O = 128
T = 55.58
 O = 128
T = 2.54
 O = 128
T = 87.14
 O = 128
T = 17.95
 O = 128
T = 7.14
 O = 128
T = 22.38
 O = 131
T = 284.44
 O = N/A
T = TO
 O = 171
T = 1.66
normalized-mps-v2-20-10-stein15.opb.msat.wcnf O = 9
T = 0.00		 O = 9
T = 0.78
 O = 9
T = 0.45
 O = 9
T = 0.13
 O = 9
T = 0.15
 O = 9
T = 0.13
 O = 9
T = 0.21
 O = 9
T = 0.00
 O = 9
T = 0.00
 O = 9
T = 0.01
normalized-mps-v2-20-10-stein27.opb.msat.wcnf O = 18
T = 0.06		 O = 18
T = 0.77
 O = 18
T = 0.35
 O = 18
T = 0.24
 O = 18
T = 0.22
 O = 18
T = 0.22
 O = 18
T = 5.57
 O = 18
T = 0.06
 O = 18
T = 0.06
 O = 18
T = 2.29
normalized-mps-v2-20-10-stein45.opb.msat.wcnf O = 30
T = 0.32		 O = 30
T = 1.10
 O = 30
T = 0.51
 O = 30
T = 0.32
 O = 30
T = 0.51
 O = 30
T = 0.63
 O = 30
T = 79.64
 O = 30
T = 1.79
 O = 30
T = 44.29
 O = 40
T = 1.05
normalized-mps-v2-20-10-stein9.opb.msat.wcnf O = 5
T = 0.00		 O = 5
T = 0.60
 O = 5
T = 0.51
 O = 5
T = 0.08
 O = 5
T = 0.04
 O = 5
T = 0.06
 O = 5
T = 0.01
 O = 5
T = 0.00
 O = 5
T = 0.00
 O = 5
T = 0.00
rev44-10.wcnf O = 5
T = 0.64		 O = 5
T = 112.52
 O = N/A
T = TO
 O = 5
T = 91.88
 O = 5
T = 1.96
 O = 5
T = 3.45
 O = 5
T = 24.32
 O = 5
T = 0.64
 O = 5
T = 0.68
 O = 5
T = 1.16
rev44-12.wcnf O = 2
T = 0.61		 O = 2
T = 229.12
 O = N/A
T = TO
 O = 4
T = 29.67
 O = 3
T = 37.87
 O = 2
T = 189.82
 O = 2
T = 34.96
 O = 2
T = 0.67
 O = 2
T = 0.61
 O = 2
T = 0.93
rev44-14.wcnf O = 0
T = 0.04		 O = 0
T = 224.01
 O = N/A
T = TO
 O = 0
T = 3.19
 O = 0
T = 1.61
 O = 0
T = 2.16
 O = 0
T = 6.09
 O = 0
T = 0.04
 O = 0
T = 0.06
 O = 0
T = 0.04
rev44-16.wcnf O = 0
T = 0.01		 O = N/A
T = TO
 O = N/A
T = TO
 O = 2
T = 234.99
 O = 0
T = 70.89
 O = 0
T = 20.90
 O = 0
T = 40.96
 O = 0
T = 0.01
 O = 0
T = 0.01
 O = 0
T = 0.03
rev44-18.wcnf O = 0
T = 0.02		 O = N/A
T = TO
 O = N/A
T = TO
 O = 1
T = 230.21
 O = 0
T = 183.71
 O = 0
T = 112.68
 O = 0
T = 23.91
 O = 0
T = 0.02
 O = 0
T = 0.02
 O = 0
T = 0.04
rev44-2.wcnf O = 16
T = 0.00		 O = 16
T = 0.47
 O = 16
T = 152.32
 O = 16
T = 0.02
 O = 16
T = 0.04
 O = 16
T = 0.08
 O = 16
T = 0.01
 O = 16
T = 0.00
 O = 16
T = 0.00
 O = 16
T = 0.00
rev44-20.wcnf O = 0
T = 0.05		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 0
T = 255.65
 O = 4
T = 99.68
 O = 0
T = 70.38
 O = 0
T = 0.06
 O = 0
T = 0.05
 O = 0
T = 0.07
rev44-22.wcnf O = 0
T = 0.02		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 0
T = 156.48
 O = 0
T = 32.47
 O = 0
T = 50.75
 O = 0
T = 0.02
 O = 0
T = 0.02
 O = 0
T = 0.06
rev44-24.wcnf O = 0
T = 0.04		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 16
T = 280.41
 O = N/A
T = TO
 O = 0
T = 47.97
 O = 0
T = 0.05
 O = 0
T = 0.04
 O = 0
T = 0.05
rev44-4.wcnf O = 14
T = 0.01		 O = 14
T = 0.50
 O = N/A
T = TO
 O = 14
T = 0.11
 O = 14
T = 0.13
 O = 14
T = 0.07
 O = 14
T = 0.16
 O = 14
T = 0.01
 O = 14
T = 0.01
 O = 14
T = 0.02
rev44-6.wcnf O = 11
T = 0.05		 O = 11
T = 0.52
 O = N/A
T = TO
 O = 11
T = 0.23
 O = 11
T = 6.05
 O = 11
T = 0.08
 O = 11
T = 0.86
 O = 11
T = 0.05
 O = 11
T = 0.12
 O = 11
T = 0.58
rev44-8.wcnf O = 8
T = 0.26		 O = 8
T = 2.14
 O = N/A
T = TO
 O = 8
T = 0.30
 O = 8
T = 23.56
 O = 8
T = 1.74
 O = 8
T = 11.78
 O = 8
T = 0.26
 O = 8
T = 0.44
 O = 8
T = 1.01
rev66-10.wcnf O = 23
T = 25.66		 O = 28
T = 70.52
 O = N/A
T = TO
 O = 32
T = 29.10
 O = 28
T = 51.29
 O = 30
T = 250.78
 O = N/A
T = TO
 O = 23
T = 25.66
 O = 36
T = 0.11
 O = 36
T = 0.11
rev66-12.wcnf O = 21
T = 284.30		 O = N/A
T = TO
 O = N/A
T = TO
 O = 32
T = 92.99
 O = 26
T = 115.03
 O = 28
T = 210.23
 O = N/A
T = TO
 O = 21
T = 284.30
 O = 36
T = 0.09
 O = 34
T = 0.16
rev66-14.wcnf O = 19
T = 284.41		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 24
T = 42.45
 O = N/A
T = TO
 O = N/A
T = TO
 O = 19
T = 284.41
 O = 34
T = 0.13
 O = 30
T = 0.11
rev66-16.wcnf O = 17
T = 284.45		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 26
T = 119.23
 O = N/A
T = TO
 O = N/A
T = TO
 O = 17
T = 284.45
 O = 38
T = 0.14
 O = 26
T = 0.14
rev66-18.wcnf O = 36
T = 0.10		 O = 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 = 36
T = 284.27
 O = 38
T = 0.08
 O = 36
T = 0.10
rev66-2.wcnf O = 36
T = 0.00		 O = 36
T = 0.52
 O = N/A
T = TO
 O = 36
T = 0.07
 O = 36
T = 0.03
 O = 36
T = 0.06
 O = 36
T = 0.03
 O = 36
T = 0.01
 O = 36
T = 0.00
 O = 36
T = 0.00
rev66-20.wcnf O = 28
T = 0.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 = 38
T = 284.45
 O = 28
T = 0.12
 O = 42
T = 0.16
rev66-22.wcnf O = 34
T = 284.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 = 34
T = 284.49
 O = 36
T = 0.12
 O = 48
T = 0.14
rev66-24.wcnf O = 30
T = 0.16		 O = 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 = 34
T = 284.33
 O = 30
T = 0.16
 O = 38
T = 0.13
rev66-26.wcnf O = 32
T = 0.16		 O = 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 = 38
T = 284.35
 O = 32
T = 0.16
 O = 36
T = 0.23
rev66-28.wcnf O = 24
T = 284.46		 O = 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 = 284.46
 O = 28
T = 0.16
 O = 38
T = 0.16
rev66-30.wcnf O = 18
T = 0.18		 O = 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 = 284.55
 O = 30
T = 0.14
 O = 18
T = 0.18
rev66-32.wcnf O = 33
T = 0.22		 O = 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 = 41
T = 284.43
 O = 42
T = 0.22
 O = 33
T = 0.22
rev66-34.wcnf O = 0
T = 0.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 = 0
T = 43.01
 O = 0
T = 6.65
 O = 0
T = 0.39
rev66-36.wcnf O = 0
T = 2.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 = 0
T = 16.24
 O = 0
T = 8.45
 O = 0
T = 2.87
rev66-38.wcnf O = 0
T = 4.92		 O = 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 = 6.74
 O = 0
T = 4.92
 O = 0
T = 10.77
rev66-4.wcnf O = 34
T = 0.04		 O = 34
T = 0.49
 O = N/A
T = TO
 O = 34
T = 0.09
 O = 34
T = 0.10
 O = 34
T = 0.13
 O = 34
T = 0.43
 O = 34
T = 0.04
 O = 34
T = 0.05
 O = 34
T = 0.08
rev66-40.wcnf O = 0
T = 5.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 = 0
T = 5.61
 O = 0
T = 7.85
 O = 0
T = 10.80
rev66-42.wcnf O = 0
T = 1.78		 O = 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 = 1.78
 O = 0
T = 3.41
 O = 0
T = 21.33
rev66-44.wcnf O = 0
T = 5.44		 O = 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 = 5.44
 O = 0
T = 6.24
 O = 0
T = 8.16
rev66-46.wcnf O = 0
T = 5.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 = 25.63
 O = 0
T = 5.73
 O = 0
T = 7.19
rev66-48.wcnf O = 0
T = 1.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 = 0
T = 4.82
 O = 0
T = 1.79
 O = 0
T = 12.41
rev66-50.wcnf O = 0
T = 13.04		 O = 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 = 30.26
 O = 0
T = 13.04
 O = 0
T = 21.76
rev66-52.wcnf O = 0
T = 5.67		 O = 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 = 19.98
 O = 0
T = 41.89
 O = 0
T = 5.67
rev66-54.wcnf O = 0
T = 8.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 = 0
T = 8.81
 O = 0
T = 18.21
 O = 0
T = 12.04
rev66-56.wcnf O = 0
T = 11.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 = 0
T = 11.84
 O = 0
T = 51.41
 O = 0
T = 21.66
rev66-58.wcnf O = 0
T = 1.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 = 0
T = 1.52
 O = 0
T = 12.58
 O = 0
T = 35.16
rev66-6.wcnf O = 32
T = 0.39		 O = 32
T = 3.81
 O = N/A
T = TO
 O = 32
T = 9.58
 O = 32
T = 0.39
 O = 32
T = 0.86
 O = 32
T = 9.64
 O = 32
T = 0.75
 O = 32
T = 2.04
 O = 32
T = 49.40
rev66-60.wcnf O = 0
T = 5.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 = 20.09
 O = 0
T = 5.90
 O = 0
T = 32.87
rev66-62.wcnf O = 0
T = 12.91		 O = 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 = 15.13
 O = 0
T = 39.81
 O = 0
T = 12.91
rev66-64.wcnf O = 0
T = 19.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 = 0
T = 19.45
 O = 0
T = 20.40
 O = 0
T = 24.20
rev66-8.wcnf O = 30
T = 0.87		 O = 30
T = 29.80
 O = N/A
T = TO
 O = 30
T = 155.82
 O = 30
T = 0.87
 O = 30
T = 6.20
 O = N/A
T = TO
 O = 30
T = 1.28
 O = 30
T = 79.70
 O = 34
T = 0.12
cnf_10.wcnf O = 134
T = 48.50		 O = 145
T = 125.14
 O = N/A
T = TO
 O = 134
T = 48.50
 O = 137
T = 104.04
 O = 144
T = 101.65
 O = N/A
T = TO
 O = 162
T = 284.50
 O = 234
T = 1.03
 O = 336
T = 0.97
cnf_10_center.wcnf O = 220
T = 271.38		 O = 236
T = 57.76
 O = N/A
T = TO
 O = 220
T = 271.38
 O = 236
T = 106.72
 O = 237
T = 13.28
 O = N/A
T = TO
 O = 247
T = 284.51
 O = 373
T = 0.87
 O = 474
T = 0.74
cnf_12.wcnf O = 109
T = 94.75		 O = 131
T = 100.73
 O = N/A
T = TO
 O = 111
T = 285.22
 O = 109
T = 94.75
 O = 143
T = 22.73
 O = N/A
T = TO
 O = 123
T = 254.53
 O = 260
T = 1.12
 O = 320
T = 1.06
cnf_12_center.wcnf O = 237
T = 164.08		 O = 273
T = 59.77
 O = N/A
T = TO
 O = 292
T = 34.43
 O = 297
T = 146.03
 O = 281
T = 23.70
 O = N/A
T = TO
 O = 237
T = 164.08
 O = 405
T = 0.90
 O = 577
T = 0.40
cnf_small.wcnf O = 38
T = 284.44		 O = 50
T = 288.38
 O = N/A
T = TO
 O = 51
T = 104.54
 O = 53
T = 1.32
 O = 56
T = 129.47
 O = N/A
T = TO
 O = 38
T = 284.44
 O = 83
T = 0.30
 O = 77
T = 1.50