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 CCLS Dist-r Dist HS-Greedy Naps-1.02-ms Optiriss6-in Ramp SC2016 SsMonteCarlo WPM3-2015-in dsat-wpm3-in-wpms dsat-wpm3-s-in-wpms
s2v120c1200_1.wcnf O = 840
T = 2.09		 O = 840
T = 3.28
 O = 840
T = 2.75
 O = N/A
T = TO
 O = N/A
T = TO
 O = 879
T = 1.77
 O = N/A
T = TO
 O = 1031
T = 82.80
 O = 840
T = 2.09
 O = 840
T = 2.40
 O = 840
T = 3.11
 O = 983
T = 11.54
 O = 840
T = 7.94
 O = 840
T = 21.21
s2v120c1200_2.wcnf O = 803
T = 1.93		 O = 803
T = 3.28
 O = 803
T = 4.63
 O = N/A
T = TO
 O = N/A
T = TO
 O = 808
T = 2.87
 O = N/A
T = TO
 O = 1106
T = 17.76
 O = 803
T = 1.93
 O = 803
T = 3.54
 O = 803
T = 2.22
 O = 873
T = 32.03
 O = 803
T = 8.13
 O = 803
T = 21.18
s2v120c1200_3.wcnf O = 834
T = 1.95		 O = 834
T = 3.73
 O = 834
T = 3.65
 O = N/A
T = TO
 O = N/A
T = TO
 O = 834
T = 2.74
 O = N/A
T = TO
 O = 1097
T = 1.99
 O = 834
T = 1.95
 O = 834
T = 3.12
 O = 834
T = 2.62
 O = 1084
T = 5.03
 O = 834
T = 8.10
 O = 834
T = 21.37
s2v120c1200_4.wcnf O = 811
T = 1.39		 O = 811
T = 3.64
 O = 811
T = 3.86
 O = N/A
T = TO
 O = N/A
T = TO
 O = 830
T = 2.19
 O = N/A
T = TO
 O = 1193
T = 1.71
 O = 811
T = 2.45
 O = 811
T = 2.94
 O = 811
T = 1.39
 O = 1002
T = 9.98
 O = 811
T = 8.11
 O = 811
T = 21.19
s2v120c1200_5.wcnf O = 850
T = 1.65		 O = 850
T = 3.68
 O = 850
T = 3.36
 O = N/A
T = TO
 O = N/A
T = TO
 O = 868
T = 2.37
 O = N/A
T = TO
 O = 1255
T = 0.69
 O = 850
T = 3.81
 O = 850
T = 1.65
 O = 850
T = 3.35
 O = 1068
T = 4.34
 O = 850
T = 8.26
 O = 850
T = 21.38
s2v120c1200_6.wcnf O = 784
T = 2.19		 O = 784
T = 3.32
 O = 784
T = 3.17
 O = N/A
T = TO
 O = N/A
T = TO
 O = 786
T = 2.55
 O = N/A
T = TO
 O = 1052
T = 20.88
 O = 784
T = 2.19
 O = 784
T = 2.46
 O = 784
T = 2.97
 O = 880
T = 19.67
 O = 784
T = 8.10
 O = 784
T = 21.13
s2v120c1200_7.wcnf O = 747
T = 2.38		 O = 747
T = 2.80
 O = 747
T = 3.28
 O = N/A
T = TO
 O = N/A
T = TO
 O = 777
T = 1.84
 O = N/A
T = TO
 O = 1210
T = 0.98
 O = 747
T = 2.38
 O = 747
T = 2.82
 O = 747
T = 3.12
 O = 880
T = 1.81
 O = 747
T = 8.26
 O = 747
T = 21.28
s2v120c1200_8.wcnf O = 813
T = 1.95		 O = 813
T = 3.63
 O = 813
T = 3.69
 O = N/A
T = TO
 O = N/A
T = TO
 O = 843
T = 1.68
 O = N/A
T = TO
 O = 1260
T = 1.25
 O = 813
T = 2.13
 O = 813
T = 1.95
 O = 813
T = 2.53
 O = 944
T = 19.09
 O = 813
T = 8.33
 O = 813
T = 21.15
s2v120c1300_1.wcnf O = 890
T = 1.75		 O = 890
T = 3.94
 O = 890
T = 2.83
 O = N/A
T = TO
 O = N/A
T = TO
 O = 916
T = 1.42
 O = N/A
T = TO
 O = 1280
T = 0.78
 O = 890
T = 2.26
 O = 890
T = 3.33
 O = 890
T = 1.75
 O = 1029
T = 16.90
 O = 890
T = 8.53
 O = 890
T = 21.08
s2v120c1300_2.wcnf O = 847
T = 2.22		 O = 847
T = 2.35
 O = 847
T = 4.15
 O = N/A
T = TO
 O = N/A
T = TO
 O = 862
T = 1.71
 O = N/A
T = TO
 O = 1077
T = 1.28
 O = 847
T = 2.22
 O = 847
T = 3.13
 O = 847
T = 3.03
 O = 1041
T = 43.87
 O = 847
T = 8.84
 O = 847
T = 21.36
s2v120c1300_3.wcnf O = 941
T = 2.26		 O = 941
T = 2.55
 O = 941
T = 3.51
 O = N/A
T = TO
 O = N/A
T = TO
 O = 947
T = 1.92
 O = N/A
T = TO
 O = 1344
T = 1.26
 O = 941
T = 2.26
 O = 941
T = 3.16
 O = 941
T = 2.99
 O = 1107
T = 5.10
 O = 941
T = 8.49
 O = 941
T = 21.22
s2v120c1300_4.wcnf O = 939
T = 1.79		 O = 939
T = 4.01
 O = 939
T = 3.49
 O = N/A
T = TO
 O = N/A
T = TO
 O = 955
T = 1.92
 O = N/A
T = TO
 O = 1363
T = 1.48
 O = 939
T = 1.79
 O = 939
T = 2.76
 O = 939
T = 2.36
 O = 1145
T = 231.43
 O = 939
T = 8.41
 O = 939
T = 21.27
s2v120c1300_5.wcnf O = 949
T = 2.02		 O = 949
T = 3.46
 O = 949
T = 4.17
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1008
T = 2.11
 O = N/A
T = TO
 O = 1450
T = 1.24
 O = 949
T = 2.50
 O = 949
T = 2.27
 O = 949
T = 2.02
 O = 1087
T = 17.02
 O = 949
T = 8.85
 O = 949
T = 21.31
s2v120c1300_6.wcnf O = 865
T = 1.87		 O = 865
T = 3.31
 O = 865
T = 3.78
 O = N/A
T = TO
 O = N/A
T = TO
 O = 866
T = 3.22
 O = N/A
T = TO
 O = 1443
T = 1.10
 O = 865
T = 1.87
 O = 865
T = 2.43
 O = 865
T = 2.31
 O = 1003
T = 6.42
 O = 865
T = 8.82
 O = 865
T = 21.23
s2v120c1300_7.wcnf O = 879
T = 1.89		 O = 879
T = 3.90
 O = 879
T = 4.19
 O = N/A
T = TO
 O = N/A
T = TO
 O = 901
T = 1.80
 O = N/A
T = TO
 O = 1298
T = 1.21
 O = 879
T = 1.89
 O = 879
T = 3.84
 O = 879
T = 3.32
 O = 1024
T = 37.64
 O = 879
T = 8.58
 O = 879
T = 21.41
s2v120c1300_8.wcnf O = 868
T = 1.86		 O = 868
T = 4.87
 O = 868
T = 3.56
 O = N/A
T = TO
 O = N/A
T = TO
 O = 879
T = 3.01
 O = N/A
T = TO
 O = 1320
T = 1.40
 O = 868
T = 1.86
 O = 868
T = 3.51
 O = 868
T = 2.68
 O = 1126
T = 1.74
 O = 868
T = 8.51
 O = 868
T = 21.58
s2v120c1400_1.wcnf O = 1028
T = 1.70		 O = 1028
T = 3.98
 O = 1028
T = 3.60
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1043
T = 2.81
 O = N/A
T = TO
 O = 1539
T = 1.25
 O = 1028
T = 2.82
 O = 1028
T = 1.84
 O = 1028
T = 1.70
 O = 1113
T = 11.62
 O = 1028
T = 8.54
 O = 1028
T = 21.39
s2v120c1400_2.wcnf O = 1008
T = 1.90		 O = 1008
T = 3.28
 O = 1008
T = 4.14
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1048
T = 1.90
 O = N/A
T = TO
 O = 1524
T = 1.60
 O = 1008
T = 1.90
 O = 1008
T = 2.16
 O = 1008
T = 2.66
 O = 1172
T = 5.39
 O = 1008
T = 8.87
 O = 1008
T = 21.41
s2v120c1400_3.wcnf O = 983
T = 1.89		 O = 983
T = 3.30
 O = 983
T = 3.17
 O = N/A
T = TO
 O = N/A
T = TO
 O = 986
T = 3.07
 O = N/A
T = TO
 O = 1349
T = 1.87
 O = 983
T = 1.89
 O = 983
T = 2.99
 O = 983
T = 3.03
 O = 1219
T = 2.80
 O = 983
T = 8.36
 O = 983
T = 21.29
s2v120c1400_4.wcnf O = 1007
T = 2.31		 O = 1007
T = 3.33
 O = 1007
T = 3.27
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1026
T = 2.64
 O = N/A
T = TO
 O = 1335
T = 1.71
 O = 1007
T = 2.31
 O = 1007
T = 2.46
 O = 1007
T = 2.80
 O = 1116
T = 22.42
 O = 1007
T = 9.00
 O = 1007
T = 21.56
s2v120c1400_5.wcnf O = 1108
T = 1.85		 O = 1108
T = 3.87
 O = 1108
T = 3.95
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1115
T = 1.56
 O = N/A
T = TO
 O = 1323
T = 1.61
 O = 1108
T = 1.85
 O = 1108
T = 2.52
 O = 1108
T = 2.50
 O = 1287
T = 4.03
 O = 1108
T = 8.63
 O = 1108
T = 21.22
s2v120c1400_6.wcnf O = 959
T = 2.19		 O = 959
T = 2.19
 O = 959
T = 3.34
 O = N/A
T = TO
 O = N/A
T = TO
 O = 994
T = 1.57
 O = N/A
T = TO
 O = 1275
T = 1.46
 O = 959
T = 2.23
 O = 959
T = 3.05
 O = 959
T = 2.30
 O = 1144
T = 156.35
 O = 959
T = 8.33
 O = 959
T = 21.21
s2v120c1400_7.wcnf O = 1040
T = 1.91		 O = 1040
T = 3.22
 O = 1040
T = 4.14
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1040
T = 2.44
 O = N/A
T = TO
 O = 1310
T = 2.05
 O = 1040
T = 3.65
 O = 1040
T = 2.46
 O = 1040
T = 1.91
 O = 1159
T = 222.97
 O = 1040
T = 9.02
 O = 1040
T = 21.40
s2v120c1400_8.wcnf O = 1025
T = 1.80		 O = 1025
T = 2.58
 O = 1025
T = 4.26
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1029
T = 2.42
 O = N/A
T = TO
 O = 1539
T = 1.11
 O = 1025
T = 1.80
 O = 1025
T = 2.46
 O = 1025
T = 2.76
 O = 1189
T = 16.38
 O = 1025
T = 8.66
 O = 1025
T = 21.34
s2v120c1500_1.wcnf O = 1119
T = 1.87		 O = 1119
T = 2.36
 O = 1119
T = 3.27
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1125
T = 2.60
 O = N/A
T = TO
 O = 1565
T = 0.97
 O = 1119
T = 1.87
 O = 1119
T = 4.00
 O = 1119
T = 2.93
 O = 1318
T = 55.46
 O = 1119
T = 8.30
 O = 1119
T = 21.47
s2v120c1500_2.wcnf O = 1136
T = 2.08		 O = 1136
T = 4.54
 O = 1136
T = 3.85
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1174
T = 2.40
 O = N/A
T = TO
 O = 1621
T = 2.09
 O = 1136
T = 2.08
 O = 1136
T = 3.66
 O = 1136
T = 2.14
 O = 1278
T = 167.76
 O = 1136
T = 8.57
 O = 1136
T = 21.73
s2v120c1500_3.wcnf O = 1062
T = 2.16		 O = 1062
T = 3.45
 O = 1062
T = 3.36
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1062
T = 2.38
 O = N/A
T = TO
 O = 1588
T = 0.93
 O = 1062
T = 2.16
 O = 1062
T = 3.21
 O = 1062
T = 2.99
 O = 1198
T = 9.87
 O = 1062
T = 8.37
 O = 1062
T = 21.48
s2v120c1500_4.wcnf O = 1041
T = 1.30		 O = 1041
T = 4.22
 O = 1041
T = 3.23
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1041
T = 1.30
 O = N/A
T = TO
 O = 1494
T = 0.98
 O = 1041
T = 1.79
 O = 1041
T = 2.83
 O = 1041
T = 2.08
 O = 1186
T = 7.20
 O = 1041
T = 8.49
 O = 1041
T = 21.47
s2v120c1500_5.wcnf O = 1125
T = 2.12		 O = 1125
T = 3.82
 O = 1125
T = 3.66
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1125
T = 3.30
 O = N/A
T = TO
 O = 1684
T = 212.62
 O = 1125
T = 2.56
 O = 1125
T = 3.15
 O = 1125
T = 2.12
 O = 1372
T = 4.77
 O = 1125
T = 8.15
 O = 1125
T = 21.37
s2v120c1500_6.wcnf O = 1113
T = 2.77		 O = 1113
T = 3.82
 O = 1113
T = 3.09
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1171
T = 2.14
 O = N/A
T = TO
 O = 1653
T = 32.48
 O = 1113
T = 2.77
 O = 1113
T = 3.14
 O = 1113
T = 2.91
 O = 1369
T = 4.22
 O = 1113
T = 8.77
 O = 1113
T = 21.28
s2v120c1500_7.wcnf O = 1163
T = 2.10		 O = 1163
T = 4.47
 O = 1163
T = 3.20
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1170
T = 2.38
 O = N/A
T = TO
 O = 1493
T = 1.63
 O = 1163
T = 2.10
 O = 1163
T = 3.34
 O = 1163
T = 3.15
 O = 1325
T = 177.47
 O = 1163
T = 8.72
 O = 1163
T = 22.12
s2v120c1500_8.wcnf O = 1097
T = 2.12		 O = 1097
T = 3.59
 O = 1097
T = 2.57
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1102
T = 1.83
 O = N/A
T = TO
 O = 1677
T = 1.72
 O = 1097
T = 2.69
 O = 1097
T = 2.73
 O = 1097
T = 2.12
 O = 1270
T = 60.90
 O = 1097
T = 8.31
 O = 1097
T = 21.61
s2v120c1600_1.wcnf O = 1190
T = 1.94		 O = 1190
T = 2.56
 O = 1190
T = 3.30
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1214
T = 1.71
 O = N/A
T = TO
 O = 1951
T = 1.20
 O = 1190
T = 1.94
 O = 1190
T = 2.92
 O = 1190
T = 3.05
 O = 1354
T = 18.99
 O = 1190
T = 8.65
 O = 1190
T = 21.14
s2v120c1600_2.wcnf O = 1227
T = 1.75		 O = 1227
T = 4.50
 O = 1227
T = 3.25
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1227
T = 1.75
 O = N/A
T = TO
 O = 1703
T = 1.70
 O = 1227
T = 2.25
 O = 1227
T = 2.97
 O = 1227
T = 3.54
 O = 1491
T = 5.09
 O = 1227
T = 8.09
 O = 1227
T = 21.57
s2v120c1600_3.wcnf O = 1224
T = 2.32		 O = 1224
T = 4.61
 O = 1224
T = 3.07
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1230
T = 3.79
 O = N/A
T = TO
 O = 1583
T = 1.42
 O = 1224
T = 3.20
 O = 1224
T = 2.32
 O = 1224
T = 3.17
 O = 1353
T = 14.83
 O = 1224
T = 8.70
 O = 1224
T = 21.78
s2v120c1600_4.wcnf O = 1264
T = 2.20		 O = 1264
T = 3.01
 O = 1264
T = 3.59
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1304
T = 2.25
 O = N/A
T = TO
 O = 1554
T = 1.63
 O = 1264
T = 3.29
 O = 1264
T = 2.20
 O = 1264
T = 3.42
 O = 1415
T = 96.02
 O = 1264
T = 9.14
 O = 1264
T = 21.30
s2v120c1600_5.wcnf O = 1252
T = 1.21		 O = 1252
T = 3.82
 O = 1252
T = 2.93
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1252
T = 1.21
 O = N/A
T = TO
 O = 1803
T = 1.83
 O = 1252
T = 1.94
 O = 1252
T = 3.63
 O = 1252
T = 2.25
 O = 1481
T = 4.96
 O = 1252
T = 8.64
 O = 1252
T = 21.35
s2v120c1600_6.wcnf O = 1246
T = 2.12		 O = 1246
T = 4.21
 O = 1246
T = 4.39
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1273
T = 2.47
 O = N/A
T = TO
 O = 1728
T = 1.87
 O = 1246
T = 2.39
 O = 1246
T = 2.18
 O = 1246
T = 2.12
 O = 1491
T = 3.04
 O = 1246
T = 8.72
 O = 1246
T = 21.39
s2v120c1600_7.wcnf O = 1159
T = 2.25		 O = 1159
T = 3.21
 O = 1159
T = 3.04
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1169
T = 2.05
 O = N/A
T = TO
 O = 1643
T = 1.43
 O = 1159
T = 2.25
 O = 1159
T = 3.67
 O = 1159
T = 2.25
 O = 1388
T = 7.75
 O = 1159
T = 8.22
 O = 1159
T = 21.10
s2v120c1600_8.wcnf O = 1150
T = 2.02		 O = 1150
T = 2.87
 O = 1150
T = 3.31
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1155
T = 2.83
 O = N/A
T = TO
 O = 1556
T = 1.99
 O = 1150
T = 2.02
 O = 1150
T = 3.26
 O = 1150
T = 2.82
 O = 1384
T = 3.11
 O = 1150
T = 8.45
 O = 1150
T = 21.14
s2v120c1700-1.wcnf O = 1261
T = 2.38		 O = 1261
T = 4.13
 O = 1261
T = 3.46
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1295
T = 1.25
 O = N/A
T = TO
 O = 2051
T = 0.76
 O = 1261
T = 2.60
 O = 1261
T = 3.60
 O = 1261
T = 2.38
 O = 1564
T = 1.51
 O = 1261
T = 8.61
 O = 1261
T = 21.18
s2v120c1800-1.wcnf O = 1428
T = 1.76		 O = 1428
T = 3.10
 O = 1428
T = 3.42
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1514
T = 2.12
 O = N/A
T = TO
 O = 1950
T = 1.22
 O = 1428
T = 1.79
 O = 1428
T = 2.52
 O = 1428
T = 1.76
 O = 1580
T = 85.74
 O = 1428
T = 8.20
 O = 1428
T = 21.81
s2v120c1900-1.wcnf O = 1544
T = 1.79		 O = 1544
T = 3.11
 O = 1544
T = 1.79
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1605
T = 2.14
 O = N/A
T = TO
 O = 2252
T = 1.74
 O = 1544
T = 2.09
 O = 1544
T = 3.32
 O = 1544
T = 2.06
 O = 1745
T = 154.19
 O = 1544
T = 8.38
 O = 1544
T = 21.64
s2v120c2000-1.wcnf O = 1552
T = 2.17		 O = 1552
T = 3.74
 O = 1552
T = 4.10
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1572
T = 2.68
 O = N/A
T = TO
 O = 2267
T = 1.30
 O = 1552
T = 2.17
 O = 1552
T = 2.67
 O = 1552
T = 3.42
 O = 1740
T = 12.57
 O = 1552
T = 8.80
 O = 1552
T = 21.21
s2v120c2100-1.wcnf O = 1726
T = 2.19		 O = 1726
T = 3.46
 O = 1726
T = 3.82
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1736
T = 2.29
 O = N/A
T = TO
 O = 2449
T = 1.30
 O = 1726
T = 2.19
 O = 1726
T = 3.12
 O = 1726
T = 3.29
 O = 2089
T = 2.13
 O = 1726
T = 8.57
 O = 1726
T = 21.59
s2v120c2200-1.wcnf O = 1827
T = 1.75		 O = 1827
T = 3.70
 O = 1827
T = 3.36
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1832
T = 1.82
 O = N/A
T = TO
 O = 2605
T = 1.55
 O = 1827
T = 1.75
 O = 1827
T = 3.58
 O = 1827
T = 3.46
 O = 2293
T = 2.57
 O = 1827
T = 8.84
 O = 1827
T = 21.01
s2v120c2300-1.wcnf O = 1967
T = 1.66		 O = 1967
T = 2.58
 O = 1967
T = 3.47
 O = N/A
T = TO
 O = N/A
T = TO
 O = 2016
T = 1.54
 O = N/A
T = TO
 O = 2587
T = 26.53
 O = 1967
T = 1.80
 O = 1967
T = 2.29
 O = 1967
T = 1.66
 O = 2405
T = 5.40
 O = 1967
T = 8.21
 O = 1967
T = 21.16
s2v120c2400-1.wcnf O = 2014
T = 1.81		 O = 2014
T = 2.57
 O = 2014
T = 3.78
 O = N/A
T = TO
 O = N/A
T = TO
 O = 2041
T = 2.08
 O = N/A
T = TO
 O = 2507
T = 1.55
 O = 2014
T = 2.14
 O = 2014
T = 3.67
 O = 2014
T = 1.81
 O = 2251
T = 122.01
 O = 2014
T = 8.49
 O = 2014
T = 21.67
s2v120c2500-1.wcnf O = 2211
T = 2.37		 O = 2211
T = 2.45
 O = 2211
T = 3.76
 O = N/A
T = TO
 O = N/A
T = TO
 O = 2222
T = 1.77
 O = N/A
T = TO
 O = 3063
T = 4.16
 O = 2211
T = 2.97
 O = 2211
T = 2.83
 O = 2211
T = 2.37
 O = 2478
T = 41.86
 O = 2211
T = 8.46
 O = 2211
T = 21.46
s2v120c2600-1.wcnf O = 2209
T = 2.67		 O = 2209
T = 5.35
 O = 2209
T = 3.43
 O = N/A
T = TO
 O = N/A
T = TO
 O = 2217
T = 1.89
 O = N/A
T = TO
 O = 2929
T = 1.67
 O = 2209
T = 4.06
 O = 2209
T = 2.67
 O = 2209
T = 2.77
 O = 2566
T = 95.48
 O = 2209
T = 8.44
 O = 2209
T = 21.49
s2v140c1200_1.wcnf O = 780
T = 2.88		 O = 780
T = 4.33
 O = 780
T = 4.43
 O = N/A
T = TO
 O = N/A
T = TO
 O = 814
T = 1.39
 O = N/A
T = TO
 O = 1075
T = 40.43
 O = 780
T = 4.43
 O = 780
T = 2.88
 O = 780
T = 3.88
 O = 919
T = 3.64
 O = 780
T = 8.79
 O = 780
T = 21.24
s2v140c1200_2.wcnf O = 733
T = 2.89		 O = 733
T = 4.43
 O = 733
T = 4.12
 O = N/A
T = TO
 O = N/A
T = TO
 O = 749
T = 3.29
 O = N/A
T = TO
 O = 975
T = 33.83
 O = 733
T = 2.89
 O = 733
T = 3.88
 O = 733
T = 4.08
 O = 912
T = 6.50
 O = 733
T = 8.42
 O = 733
T = 21.35
s2v140c1200_3.wcnf O = 741
T = 3.03		 O = 741
T = 3.31
 O = 741
T = 5.10
 O = N/A
T = TO
 O = N/A
T = TO
 O = 774
T = 3.07
 O = N/A
T = TO
 O = 941
T = 92.08
 O = 741
T = 3.03
 O = 741
T = 3.09
 O = 741
T = 3.46
 O = 899
T = 3.95
 O = 741
T = 8.81
 O = 741
T = 22.07
s2v140c1200_4.wcnf O = 667
T = 2.25		 O = 667
T = 2.28
 O = 667
T = 4.07
 O = N/A
T = TO
 O = N/A
T = TO
 O = 671
T = 2.69
 O = N/A
T = TO
 O = 1013
T = 141.28
 O = 667
T = 2.25
 O = 667
T = 2.61
 O = 667
T = 4.01
 O = 840
T = 166.07
 O = 667
T = 8.50
 O = 667
T = 21.18
s2v140c1200_5.wcnf O = 714
T = 2.38		 O = 714
T = 3.71
 O = 714
T = 2.99
 O = N/A
T = TO
 O = N/A
T = TO
 O = 722
T = 2.78
 O = N/A
T = TO
 O = 1002
T = 2.25
 O = 714
T = 2.38
 O = 714
T = 3.06
 O = 714
T = 2.43
 O = 798
T = 28.79
 O = 714
T = 8.37
 O = 714
T = 21.57
s2v140c1200_6.wcnf O = 803
T = 2.44		 O = 803
T = 2.74
 O = 803
T = 4.54
 O = N/A
T = TO
 O = N/A
T = TO
 O = 828
T = 2.38
 O = N/A
T = TO
 O = 1304
T = 1.65
 O = 803
T = 2.44
 O = 803
T = 4.39
 O = 803
T = 3.53
 O = 1156
T = 1.86
 O = 803
T = 8.89
 O = 803
T = 21.23
s2v140c1200_7.wcnf O = 774
T = 2.01		 O = 774
T = 4.66
 O = 774
T = 2.37
 O = N/A
T = TO
 O = N/A
T = TO
 O = 792
T = 2.34
 O = N/A
T = TO
 O = 1140
T = 1.96
 O = 774
T = 2.97
 O = 774
T = 2.01
 O = 774
T = 3.38
 O = 887
T = 4.35
 O = 774
T = 8.45
 O = 774
T = 23.28
s2v140c1200_8.wcnf O = 745
T = 2.24		 O = 745
T = 3.83
 O = 745
T = 3.86
 O = N/A
T = TO
 O = N/A
T = TO
 O = 758
T = 2.92
 O = N/A
T = TO
 O = 1095
T = 1.52
 O = 745
T = 2.24
 O = 745
T = 3.08
 O = 745
T = 4.73
 O = 874
T = 5.75
 O = 745
T = 8.64
 O = 745
T = 21.83
s2v140c1300_1.wcnf O = 846
T = 3.50		 O = 846
T = 4.07
 O = 846
T = 3.50
 O = N/A
T = TO
 O = N/A
T = TO
 O = 926
T = 1.35
 O = N/A
T = TO
 O = 1015
T = 1.00
 O = 846
T = 3.69
 O = 846
T = 4.26
 O = 846
T = 3.51
 O = 978
T = 4.99
 O = 846
T = 8.84
 O = 846
T = 21.60
s2v140c1300_2.wcnf O = 774
T = 2.14		 O = 774
T = 2.65
 O = 774
T = 2.79
 O = N/A
T = TO
 O = N/A
T = TO
 O = 803
T = 2.62
 O = N/A
T = TO
 O = 1261
T = 1.57
 O = 774
T = 2.14
 O = 774
T = 3.71
 O = 774
T = 4.16
 O = 906
T = 5.19
 O = 774
T = 8.10
 O = 774
T = 21.57
s2v140c1300_3.wcnf O = 832
T = 2.47		 O = 832
T = 2.99
 O = 832
T = 4.18
 O = N/A
T = TO
 O = N/A
T = TO
 O = 846
T = 2.58
 O = N/A
T = TO
 O = 1307
T = 1.74
 O = 832
T = 2.47
 O = 832
T = 3.10
 O = 832
T = 3.39
 O = 988
T = 2.98
 O = 832
T = 8.91
 O = 832
T = 21.41
s2v140c1300_4.wcnf O = 871
T = 3.17		 O = 871
T = 3.79
 O = 871
T = 4.89
 O = N/A
T = TO
 O = N/A
T = TO
 O = 876
T = 2.07
 O = N/A
T = TO
 O = 1266
T = 125.88
 O = 871
T = 3.17
 O = 871
T = 4.33
 O = 871
T = 3.89
 O = 1031
T = 8.72
 O = 871
T = 8.72
 O = 871
T = 22.30
s2v140c1300_5.wcnf O = 844
T = 1.87		 O = 844
T = 4.15
 O = 844
T = 3.27
 O = N/A
T = TO
 O = N/A
T = TO
 O = 849
T = 2.17
 O = N/A
T = TO
 O = 1296
T = 1.80
 O = 844
T = 1.87
 O = 844
T = 2.76
 O = 844
T = 4.21
 O = 1058
T = 92.59
 O = 844
T = 9.32
 O = 844
T = 22.40
s2v140c1300_6.wcnf O = 884
T = 2.71		 O = 884
T = 3.70
 O = 884
T = 3.19
 O = N/A
T = TO
 O = N/A
T = TO
 O = 914
T = 3.02
 O = N/A
T = TO
 O = 1311
T = 1.65
 O = 884
T = 2.71
 O = 884
T = 3.02
 O = 884
T = 5.27
 O = 1115
T = 4.67
 O = 884
T = 8.92
 O = 884
T = 22.10
s2v140c1300_7.wcnf O = 874
T = 1.97		 O = 874
T = 3.02
 O = 874
T = 4.36
 O = N/A
T = TO
 O = N/A
T = TO
 O = 877
T = 2.52
 O = N/A
T = TO
 O = 1057
T = 44.74
 O = 874
T = 1.97
 O = 874
T = 2.38
 O = 874
T = 4.13
 O = 1053
T = 4.92
 O = 874
T = 8.68
 O = 874
T = 21.80
s2v140c1300_8.wcnf O = 812
T = 2.27		 O = 812
T = 2.27
 O = 812
T = 3.13
 O = N/A
T = TO
 O = N/A
T = TO
 O = 830
T = 2.82
 O = N/A
T = TO
 O = 1037
T = 1.85
 O = 812
T = 4.17
 O = 812
T = 3.19
 O = 812
T = 2.52
 O = 968
T = 3.52
 O = 812
T = 8.78
 O = 812
T = 21.69
s2v140c1400_1.wcnf O = 926
T = 2.60		 O = 926
T = 4.93
 O = 926
T = 3.54
 O = N/A
T = TO
 O = N/A
T = TO
 O = 948
T = 2.48
 O = N/A
T = TO
 O = 1341
T = 1.90
 O = 926
T = 2.60
 O = 926
T = 4.12
 O = 926
T = 2.94
 O = 1116
T = 93.83
 O = 926
T = 8.64
 O = 926
T = 21.50
s2v140c1400_2.wcnf O = 879
T = 2.20		 O = 879
T = 2.81
 O = 879
T = 3.57
 O = N/A
T = TO
 O = N/A
T = TO
 O = 880
T = 3.21
 O = N/A
T = TO
 O = 1379
T = 1.43
 O = 879
T = 2.20
 O = 879
T = 2.87
 O = 879
T = 3.44
 O = 1053
T = 31.52
 O = 879
T = 8.38
 O = 879
T = 21.61
s2v140c1400_3.wcnf O = 936
T = 2.76		 O = 936
T = 4.20
 O = 936
T = 3.28
 O = N/A
T = TO
 O = N/A
T = TO
 O = 950
T = 2.23
 O = N/A
T = TO
 O = 1462
T = 1.26
 O = 936
T = 2.89
 O = 936
T = 2.76
 O = 936
T = 4.48
 O = 1094
T = 273.05
 O = 936
T = 8.73
 O = 936
T = 21.43
s2v140c1400_4.wcnf O = 932
T = 2.33		 O = 932
T = 4.45
 O = 932
T = 4.34
 O = N/A
T = TO
 O = N/A
T = TO
 O = 932
T = 2.33
 O = N/A
T = TO
 O = 1241
T = 1.98
 O = 932
T = 3.26
 O = 932
T = 2.37
 O = 932
T = 3.93
 O = 1089
T = 4.06
 O = 932
T = 8.64
 O = 932
T = 21.24
s2v140c1400_5.wcnf O = 968
T = 3.05		 O = 968
T = 3.63
 O = 968
T = 3.93
 O = N/A
T = TO
 O = N/A
T = TO
 O = 982
T = 1.97
 O = N/A
T = TO
 O = 1548
T = 1.69
 O = 968
T = 3.87
 O = 968
T = 3.05
 O = 968
T = 3.78
 O = 1155
T = 4.94
 O = 968
T = 8.77
 O = 968
T = 21.54
s2v140c1400_6.wcnf O = 967
T = 1.46		 O = 967
T = 2.90
 O = 967
T = 1.46
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1027
T = 2.69
 O = N/A
T = TO
 O = 1471
T = 1.34
 O = 967
T = 2.46
 O = 967
T = 2.44
 O = 967
T = 4.30
 O = 1089
T = 12.09
 O = 967
T = 8.25
 O = 967
T = 21.73
s2v140c1400_7.wcnf O = 923
T = 2.38		 O = 923
T = 3.89
 O = 923
T = 3.00
 O = N/A
T = TO
 O = N/A
T = TO
 O = 977
T = 2.55
 O = N/A
T = TO
 O = 1493
T = 1.52
 O = 923
T = 2.38
 O = 923
T = 3.78
 O = 923
T = 2.88
 O = 1111
T = 5.48
 O = 923
T = 8.11
 O = 923
T = 21.70
s2v140c1400_8.wcnf O = 957
T = 2.06		 O = 957
T = 3.72
 O = 957
T = 2.21
 O = N/A
T = TO
 O = N/A
T = TO
 O = 983
T = 3.26
 O = N/A
T = TO
 O = 1368
T = 1.58
 O = 957
T = 2.06
 O = 957
T = 4.01
 O = 957
T = 3.43
 O = 1117
T = 3.96
 O = 957
T = 8.43
 O = 957
T = 21.45
s2v140c1500_1.wcnf O = 986
T = 3.12		 O = 986
T = 3.58
 O = 986
T = 3.18
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1000
T = 1.69
 O = N/A
T = TO
 O = 1499
T = 1.28
 O = 986
T = 3.12
 O = 986
T = 4.07
 O = 986
T = 3.14
 O = 1117
T = 5.74
 O = 986
T = 8.29
 O = 986
T = 21.22
s2v140c1500_2.wcnf O = 998
T = 2.14		 O = 998
T = 3.25
 O = 998
T = 3.86
 O = N/A
T = TO
 O = N/A
T = TO
 O = 998
T = 2.14
 O = N/A
T = TO
 O = 1576
T = 1.80
 O = 998
T = 2.27
 O = 998
T = 2.53
 O = 998
T = 3.41
 O = 1241
T = 243.72
 O = 998
T = 8.27
 O = 998
T = 21.74
s2v140c1500_3.wcnf O = 1073
T = 2.65		 O = 1073
T = 4.62
 O = 1073
T = 4.44
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1108
T = 1.84
 O = N/A
T = TO
 O = 1457
T = 1.50
 O = 1073
T = 2.84
 O = 1073
T = 3.07
 O = 1073
T = 2.65
 O = 1242
T = 6.25
 O = 1073
T = 7.86
 O = 1073
T = 21.04
s2v140c1500_4.wcnf O = 1047
T = 2.44		 O = 1047
T = 4.84
 O = 1047
T = 3.54
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1085
T = 2.76
 O = N/A
T = TO
 O = 1614
T = 1.31
 O = 1047
T = 3.69
 O = 1047
T = 4.38
 O = 1047
T = 2.44
 O = 1271
T = 58.08
 O = 1047
T = 8.73
 O = 1047
T = 21.82
s2v140c1500_5.wcnf O = 1058
T = 2.53		 O = 1058
T = 4.73
 O = 1058
T = 3.90
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1090
T = 2.93
 O = N/A
T = TO
 O = 1502
T = 1.71
 O = 1058
T = 2.53
 O = 1058
T = 3.46
 O = 1058
T = 2.96
 O = 1232
T = 18.75
 O = 1058
T = 8.54
 O = 1058
T = 21.48
s2v140c1500_6.wcnf O = 1102
T = 3.11		 O = 1102
T = 3.92
 O = 1102
T = 4.74
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1124
T = 1.57
 O = N/A
T = TO
 O = 1585
T = 1.06
 O = 1102
T = 3.11
 O = 1102
T = 5.23
 O = 1102
T = 3.79
 O = 1292
T = 2.81
 O = 1102
T = 8.82
 O = 1102
T = 21.40
s2v140c1500_7.wcnf O = 1010
T = 2.34		 O = 1010
T = 3.78
 O = 1010
T = 3.76
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1063
T = 1.77
 O = N/A
T = TO
 O = 1557
T = 2.02
 O = 1010
T = 2.67
 O = 1010
T = 4.03
 O = 1010
T = 2.34
 O = 1186
T = 13.82
 O = 1010
T = 8.90
 O = 1010
T = 21.90
s2v140c1500_8.wcnf O = 1045
T = 2.68		 O = 1045
T = 4.72
 O = 1045
T = 3.87
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1068
T = 2.14
 O = N/A
T = TO
 O = 1498
T = 1.67
 O = 1045
T = 2.71
 O = 1045
T = 3.84
 O = 1045
T = 2.68
 O = 1224
T = 40.71
 O = 1045
T = 8.84
 O = 1045
T = 21.55
s2v140c1600_1.wcnf O = 1143
T = 2.57		 O = 1143
T = 3.10
 O = 1143
T = 3.60
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1147
T = 3.02
 O = N/A
T = TO
 O = 1561
T = 1.19
 O = 1143
T = 2.57
 O = 1143
T = 3.30
 O = 1143
T = 3.29
 O = 1296
T = 9.14
 O = 1143
T = 8.66
 O = 1143
T = 21.43
s2v140c1600_2.wcnf O = 1140
T = 2.43		 O = 1140
T = 2.91
 O = 1140
T = 3.68
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1145
T = 2.36
 O = N/A
T = TO
 O = 1538
T = 1.39
 O = 1140
T = 2.43
 O = 1140
T = 2.56
 O = 1140
T = 3.47
 O = 1351
T = 6.38
 O = 1140
T = 8.93
 O = 1140
T = 21.31
s2v140c1600_3.wcnf O = 1079
T = 2.46		 O = 1079
T = 3.12
 O = 1079
T = 3.61
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1081
T = 4.07
 O = N/A
T = TO
 O = 1520
T = 0.89
 O = 1079
T = 2.69
 O = 1079
T = 2.46
 O = 1079
T = 4.42
 O = 1156
T = 9.39
 O = 1079
T = 8.49
 O = 1079
T = 22.02
s2v140c1600_4.wcnf O = 1157
T = 1.92		 O = 1157
T = 1.92
 O = 1157
T = 2.97
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1170
T = 2.48
 O = N/A
T = TO
 O = 1581
T = 1.39
 O = 1157
T = 2.13
 O = 1157
T = 3.97
 O = 1157
T = 3.76
 O = 1283
T = 11.62
 O = 1157
T = 8.84
 O = 1157
T = 21.36
s2v140c1600_5.wcnf O = 1119
T = 1.76		 O = 1119
T = 3.93
 O = 1119
T = 5.18
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1150
T = 3.04
 O = N/A
T = TO
 O = 1578
T = 1.53
 O = 1119
T = 1.76
 O = 1119
T = 2.62
 O = 1119
T = 3.24
 O = 1284
T = 19.68
 O = 1119
T = 8.55
 O = 1119
T = 21.28
s2v140c1600_6.wcnf O = 1212
T = 2.13		 O = 1212
T = 4.74
 O = 1212
T = 3.60
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1225
T = 2.74
 O = N/A
T = TO
 O = 1808
T = 1.82
 O = 1212
T = 2.13
 O = 1212
T = 2.56
 O = 1212
T = 2.71
 O = 1495
T = 16.70
 O = 1212
T = 8.79
 O = 1212
T = 22.19
s2v140c1600_7.wcnf O = 1150
T = 2.85		 O = 1150
T = 4.31
 O = 1150
T = 4.27
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1157
T = 4.19
 O = N/A
T = TO
 O = 1724
T = 1.36
 O = 1150
T = 2.87
 O = 1150
T = 2.85
 O = 1150
T = 3.40
 O = 1309
T = 6.42
 O = 1150
T = 8.73
 O = 1150
T = 21.80
s2v140c1600_8.wcnf O = 1180
T = 2.59		 O = 1180
T = 3.38
 O = 1180
T = 2.61
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1204
T = 2.99
 O = N/A
T = TO
 O = 1650
T = 1.40
 O = 1180
T = 2.59
 O = 1180
T = 3.13
 O = 1180
T = 3.04
 O = 1452
T = 45.14
 O = 1180
T = 8.41
 O = 1180
T = 21.31
s2v140c1700-1.wcnf O = 1188
T = 2.25		 O = 1188
T = 3.63
 O = 1188
T = 3.84
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1259
T = 1.52
 O = N/A
T = TO
 O = 1600
T = 190.07
 O = 1188
T = 2.25
 O = 1188
T = 3.53
 O = 1188
T = 3.55
 O = 1354
T = 58.31
 O = 1188
T = 8.55
 O = 1188
T = 21.37
s2v140c1800-1.wcnf O = 1282
T = 2.26		 O = 1282
T = 3.88
 O = 1282
T = 3.12
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1282
T = 2.48
 O = N/A
T = TO
 O = 2103
T = 1.35
 O = 1282
T = 2.26
 O = 1282
T = 2.88
 O = 1282
T = 3.46
 O = 1417
T = 10.83
 O = 1282
T = 9.00
 O = 1282
T = 21.34
s2v140c1900-1.wcnf O = 1312
T = 2.05		 O = 1312
T = 4.16
 O = 1312
T = 3.40
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1321
T = 3.75
 O = N/A
T = TO
 O = 1996
T = 1.48
 O = 1312
T = 2.05
 O = 1312
T = 3.70
 O = 1312
T = 3.49
 O = 1531
T = 7.75
 O = 1312
T = 8.83
 O = 1312
T = 21.02
s2v140c2000-1.wcnf O = 1574
T = 2.37		 O = 1574
T = 3.79
 O = 1574
T = 4.18
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1590
T = 2.48
 O = N/A
T = TO
 O = 2184
T = 1.76
 O = 1574
T = 2.37
 O = 1574
T = 4.33
 O = 1574
T = 2.92
 O = 1788
T = 76.39
 O = 1574
T = 8.38
 O = 1574
T = 21.21
s2v140c2100-1.wcnf O = 1674
T = 2.45		 O = 1674
T = 4.45
 O = 1674
T = 5.21
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1721
T = 1.81
 O = N/A
T = TO
 O = 2355
T = 1.60
 O = 1674
T = 2.45
 O = 1674
T = 3.65
 O = 1674
T = 2.56
 O = 2125
T = 2.69
 O = 1674
T = 9.04
 O = 1674
T = 21.82
s2v140c2200-1.wcnf O = 1771
T = 3.17		 O = 1771
T = 4.18
 O = 1771
T = 4.27
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1806
T = 1.83
 O = N/A
T = TO
 O = 2483
T = 0.98
 O = 1771
T = 3.33
 O = 1771
T = 3.17
 O = 1771
T = 3.23
 O = 2268
T = 10.54
 O = 1771
T = 8.75
 O = 1771
T = 21.76
s2v140c2300-1.wcnf O = 1833
T = 2.06		 O = 1833
T = 3.28
 O = 1833
T = 4.07
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1889
T = 2.17
 O = N/A
T = TO
 O = 2557
T = 1.01
 O = 1833
T = 2.46
 O = 1833
T = 3.57
 O = 1833
T = 2.06
 O = 2078
T = 9.70
 O = 1833
T = 8.44
 O = 1833
T = 21.20
s2v140c2400-1.wcnf O = 1942
T = 2.35		 O = 1942
T = 4.86
 O = 1942
T = 3.25
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1962
T = 1.96
 O = N/A
T = TO
 O = 2865
T = 0.98
 O = 1942
T = 2.50
 O = 1942
T = 2.35
 O = 1942
T = 3.22
 O = 2262
T = 9.19
 O = 1942
T = 8.97
 O = 1942
T = 21.45
s2v140c2500-1.wcnf O = 2044
T = 2.17		 O = 2044
T = 4.82
 O = 2044
T = 3.27
 O = N/A
T = TO
 O = N/A
T = TO
 O = 2052
T = 3.44
 O = N/A
T = TO
 O = 2880
T = 1.07
 O = 2044
T = 2.17
 O = 2044
T = 3.64
 O = 2044
T = 2.70
 O = 2613
T = 2.15
 O = 2044
T = 8.65
 O = 2044
T = 38.99
s2v140c2600-1.wcnf O = 2225
T = 2.51		 O = 2225
T = 3.28
 O = 2225
T = 4.41
 O = N/A
T = TO
 O = N/A
T = TO
 O = 2297
T = 3.40
 O = N/A
T = TO
 O = 2980
T = 1.57
 O = 2225
T = 3.01
 O = 2225
T = 3.65
 O = 2225
T = 2.51
 O = 2636
T = 32.21
 O = 2225
T = 8.85
 O = 2225
T = 21.66
s2v160c1200-1.wcnf O = 653
T = 2.04		 O = 653
T = 3.27
 O = 653
T = 4.16
 O = N/A
T = TO
 O = N/A
T = TO
 O = 710
T = 2.06
 O = N/A
T = TO
 O = 957
T = 16.47
 O = 653
T = 2.04
 O = 653
T = 2.81
 O = 653
T = 4.18
 O = 794
T = 4.15
 O = 653
T = 8.73
 O = 653
T = 21.36
s2v160c1200-2.wcnf O = 669
T = 2.43		 O = 669
T = 2.43
 O = 669
T = 3.17
 O = N/A
T = TO
 O = N/A
T = TO
 O = 722
T = 3.60
 O = N/A
T = TO
 O = 969
T = 3.71
 O = 669
T = 3.70
 O = 669
T = 4.43
 O = 669
T = 4.46
 O = 898
T = 133.08
 O = 669
T = 8.85
 O = 669
T = 22.29
s2v160c1200-3.wcnf O = 666
T = 3.27		 O = 666
T = 3.73
 O = 666
T = 4.64
 O = N/A
T = TO
 O = N/A
T = TO
 O = 678
T = 4.22
 O = N/A
T = TO
 O = 972
T = 3.29
 O = 666
T = 4.74
 O = 666
T = 3.27
 O = 666
T = 3.93
 O = 846
T = 8.56
 O = 666
T = 9.16
 O = 666
T = 22.07
s2v160c1300-1.wcnf O = 759
T = 2.21		 O = 759
T = 2.56
 O = 759
T = 3.36
 O = N/A
T = TO
 O = N/A
T = TO
 O = 769
T = 2.06
 O = N/A
T = TO
 O = 1266
T = 1.43
 O = 759
T = 2.21
 O = 759
T = 4.65
 O = 759
T = 2.88
 O = 974
T = 35.10
 O = 759
T = 9.75
 O = 759
T = 21.73
s2v160c1300-2.wcnf O = 753
T = 3.05		 O = 753
T = 5.19
 O = 753
T = 4.70
 O = N/A
T = TO
 O = N/A
T = TO
 O = 779
T = 1.58
 O = N/A
T = TO
 O = 1227
T = 1.27
 O = 753
T = 3.31
 O = 753
T = 3.05
 O = 753
T = 4.75
 O = 918
T = 207.61
 O = 753
T = 9.07
 O = 753
T = 22.23
s2v160c1300-3.wcnf O = 783
T = 2.82		 O = 783
T = 4.68
 O = 783
T = 3.31
 O = N/A
T = TO
 O = N/A
T = TO
 O = 835
T = 3.19
 O = N/A
T = TO
 O = 1173
T = 1.43
 O = 783
T = 2.82
 O = 783
T = 3.79
 O = 783
T = 3.13
 O = 910
T = 45.15
 O = 783
T = 8.96
 O = 783
T = 22.46
s2v160c1400-1.wcnf O = 808
T = 2.18		 O = 808
T = 4.20
 O = 808
T = 4.99
 O = N/A
T = TO
 O = N/A
T = TO
 O = 834
T = 2.28
 O = N/A
T = TO
 O = 1186
T = 1.12
 O = 808
T = 2.18
 O = 808
T = 3.61
 O = 808
T = 5.26
 O = 883
T = 5.81
 O = 808
T = 8.58
 O = 808
T = 21.46
s2v160c1400-2.wcnf O = 811
T = 2.14		 O = 811
T = 5.17
 O = 811
T = 3.46
 O = N/A
T = TO
 O = N/A
T = TO
 O = 837
T = 3.79
 O = N/A
T = TO
 O = 1312
T = 1.48
 O = 811
T = 2.14
 O = 811
T = 3.95
 O = 811
T = 4.17
 O = 948
T = 8.88
 O = 811
T = 8.87
 O = 811
T = 21.61
s2v160c1400-3.wcnf O = 888
T = 3.34		 O = 888
T = 4.82
 O = 888
T = 4.34
 O = N/A
T = TO
 O = N/A
T = TO
 O = 904
T = 3.46
 O = N/A
T = TO
 O = 1438
T = 0.81
 O = 888
T = 3.50
 O = 888
T = 3.34
 O = 888
T = 4.53
 O = 1118
T = 50.18
 O = 888
T = 8.63
 O = 888
T = 22.49
s2v160c1500-1.wcnf O = 929
T = 1.92		 O = 929
T = 4.68
 O = 929
T = 1.92
 O = N/A
T = TO
 O = N/A
T = TO
 O = 951
T = 2.79
 O = N/A
T = TO
 O = 1458
T = 0.86
 O = 929
T = 2.78
 O = 929
T = 3.05
 O = 929
T = 4.62
 O = 1350
T = 86.98
 O = 929
T = 8.56
 O = 929
T = 21.53
s2v160c1500-2.wcnf O = 896
T = 2.24		 O = 896
T = 3.32
 O = 896
T = 2.24
 O = N/A
T = TO
 O = N/A
T = TO
 O = 929
T = 3.99
 O = N/A
T = TO
 O = 1280
T = 1.56
 O = 896
T = 3.96
 O = 896
T = 3.35
 O = 896
T = 4.98
 O = 1066
T = 28.92
 O = 896
T = 8.66
 O = 896
T = 21.32
s2v160c1500-3.wcnf O = 961
T = 3.06		 O = 961
T = 4.77
 O = 961
T = 3.11
 O = N/A
T = TO
 O = N/A
T = TO
 O = 973
T = 2.99
 O = N/A
T = TO
 O = 1231
T = 36.71
 O = 961
T = 3.29
 O = 961
T = 3.06
 O = 961
T = 4.61
 O = 1246
T = 7.19
 O = 961
T = 9.19
 O = 961
T = 21.37
s2v160c1600-1.wcnf O = 1096
T = 2.89		 O = 1096
T = 4.37
 O = 1096
T = 4.19
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1099
T = 3.64
 O = N/A
T = TO
 O = 1477
T = 1.79
 O = 1096
T = 3.38
 O = 1096
T = 2.89
 O = 1096
T = 3.18
 O = 1394
T = 4.91
 O = 1096
T = 8.53
 O = 1096
T = 21.59
s2v160c1600-2.wcnf O = 1069
T = 2.66		 O = 1069
T = 5.47
 O = 1069
T = 5.32
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1106
T = 5.13
 O = N/A
T = TO
 O = 1534
T = 2.08
 O = 1069
T = 2.66
 O = 1069
T = 3.58
 O = 1069
T = 4.46
 O = 1319
T = 6.86
 O = 1069
T = 8.35
 O = 1069
T = 21.51
s2v160c1600-3.wcnf O = 1074
T = 3.20		 O = 1074
T = 5.59
 O = 1074
T = 4.35
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1084
T = 1.93
 O = N/A
T = TO
 O = 1523
T = 1.75
 O = 1074
T = 3.41
 O = 1074
T = 3.20
 O = 1074
T = 5.13
 O = 1364
T = 5.51
 O = 1074
T = 8.40
 O = 1074
T = 21.12
s2v160c1700-1.wcnf O = 1182
T = 3.70		 O = 1182
T = 4.78
 O = 1182
T = 4.20
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1207
T = 3.30
 O = N/A
T = TO
 O = 1667
T = 1.85
 O = 1182
T = 4.00
 O = 1182
T = 3.70
 O = 1182
T = 4.13
 O = 1355
T = 31.19
 O = 1182
T = 8.92
 O = 1182
T = 21.57
s2v160c1700-2.wcnf O = 1094
T = 2.75		 O = 1094
T = 4.48
 O = 1094
T = 2.96
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1107
T = 3.90
 O = N/A
T = TO
 O = 1657
T = 2.37
 O = 1094
T = 2.75
 O = 1094
T = 3.15
 O = 1094
T = 3.74
 O = 1375
T = 7.07
 O = 1094
T = 8.60
 O = 1094
T = 21.20
s2v160c1700-3.wcnf O = 1110
T = 2.29		 O = 1110
T = 4.84
 O = 1110
T = 3.98
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1116
T = 4.20
 O = N/A
T = TO
 O = 1661
T = 1.55
 O = 1110
T = 2.54
 O = 1110
T = 2.29
 O = 1110
T = 3.66
 O = 1243
T = 27.12
 O = 1110
T = 9.19
 O = 1110
T = 21.58
s2v160c1800-1.wcnf O = 1247
T = 2.13		 O = 1247
T = 4.55
 O = 1247
T = 3.60
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1289
T = 2.32
 O = N/A
T = TO
 O = 1957
T = 1.17
 O = 1247
T = 2.13
 O = 1247
T = 3.71
 O = 1247
T = 4.31
 O = 1431
T = 216.86
 O = 1247
T = 8.92
 O = 1247
T = 21.89
s2v160c1800-2.wcnf O = 1258
T = 3.16		 O = 1258
T = 4.38
 O = 1258
T = 3.31
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1290
T = 2.23
 O = N/A
T = TO
 O = 2009
T = 1.21
 O = 1258
T = 5.13
 O = 1258
T = 3.16
 O = 1258
T = 3.62
 O = 1485
T = 4.89
 O = 1258
T = 8.79
 O = 1258
T = 22.11
s2v160c1800-3.wcnf O = 1297
T = 2.19		 O = 1297
T = 2.50
 O = 1297
T = 3.81
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1324
T = 1.79
 O = N/A
T = TO
 O = 1783
T = 11.09
 O = 1297
T = 2.19
 O = 1297
T = 3.11
 O = 1297
T = 4.11
 O = 1666
T = 221.95
 O = 1297
T = 8.96
 O = 1297
T = 21.75
s2v160c1900-1.wcnf O = 1377
T = 2.76		 O = 1377
T = 3.62
 O = 1377
T = 3.18
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1400
T = 2.88
 O = N/A
T = TO
 O = 2158
T = 1.66
 O = 1377
T = 2.76
 O = 1377
T = 3.19
 O = 1377
T = 4.43
 O = 1605
T = 23.15
 O = 1377
T = 8.47
 O = 1377
T = 21.30
s2v160c1900-2.wcnf O = 1381
T = 1.84		 O = 1381
T = 3.51
 O = 1381
T = 4.24
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1415
T = 2.37
 O = N/A
T = TO
 O = 2200
T = 1.35
 O = 1381
T = 2.97
 O = 1381
T = 1.84
 O = 1381
T = 5.12
 O = 1752
T = 3.02
 O = 1381
T = 8.32
 O = 1381
T = 21.32
s2v160c1900-3.wcnf O = 1332
T = 3.66		 O = 1332
T = 4.73
 O = 1332
T = 3.74
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1376
T = 3.15
 O = N/A
T = TO
 O = 2283
T = 1.43
 O = 1332
T = 3.94
 O = 1332
T = 3.66
 O = 1332
T = 3.97
 O = 1479
T = 147.63
 O = 1332
T = 9.04
 O = 1332
T = 21.52
s2v160c2000-1.wcnf O = 1377
T = 3.15		 O = 1377
T = 6.55
 O = 1377
T = 4.70
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1377
T = 3.15
 O = N/A
T = TO
 O = 2251
T = 1.67
 O = 1377
T = 4.75
 O = 1377
T = 3.55
 O = 1377
T = 4.22
 O = 1706
T = 14.88
 O = 1377
T = 8.38
 O = 1377
T = 21.80
s2v160c2000-2.wcnf O = 1456
T = 2.61		 O = 1456
T = 3.04
 O = 1456
T = 2.61
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1540
T = 1.69
 O = N/A
T = TO
 O = 1954
T = 2.14
 O = 1456
T = 4.73
 O = 1456
T = 3.97
 O = 1456
T = 3.83
 O = 1508
T = 99.48
 O = 1456
T = 9.48
 O = 1456
T = 22.32
s2v160c2000-3.wcnf O = 1444
T = 3.40		 O = 1444
T = 3.90
 O = 1444
T = 4.10
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1448
T = 3.30
 O = N/A
T = TO
 O = 2376
T = 1.46
 O = 1444
T = 3.59
 O = 1444
T = 3.40
 O = 1444
T = 3.95
 O = 1660
T = 107.56
 O = 1444
T = 9.08
 O = 1444
T = 21.55
s2v160c2100-1.wcnf O = 1449
T = 3.26		 O = 1449
T = 6.22
 O = 1449
T = 3.83
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1526
T = 3.37
 O = N/A
T = TO
 O = 2233
T = 1.54
 O = 1449
T = 3.26
 O = 1449
T = 3.30
 O = 1449
T = 3.91
 O = N/A
T = TO
 O = 1449
T = 8.47
 O = 1449
T = 21.48
s2v160c2100-2.wcnf O = 1585
T = 3.13		 O = 1585
T = 3.13
 O = 1585
T = 5.66
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1675
T = 3.58
 O = N/A
T = TO
 O = 2367
T = 1.44
 O = 1585
T = 6.10
 O = 1585
T = 3.95
 O = 1585
T = 4.11
 O = N/A
T = TO
 O = 1585
T = 8.86
 O = 1585
T = 21.79
s2v160c2100-3.wcnf O = 1557
T = 3.77		 O = 1557
T = 5.95
 O = 1557
T = 4.68
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1663
T = 2.74
 O = N/A
T = TO
 O = 2474
T = 1.77
 O = 1557
T = 3.77
 O = 1557
T = 3.90
 O = 1557
T = 3.90
 O = 1929
T = 160.82
 O = 1557
T = 8.92
 O = 1557
T = 21.28
s2v160c2200-1.wcnf O = 1707
T = 2.08		 O = 1707
T = 4.58
 O = 1707
T = 5.60
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1715
T = 4.69
 O = N/A
T = TO
 O = 2606
T = 1.23
 O = 1707
T = 3.96
 O = 1707
T = 2.08
 O = 1707
T = 3.58
 O = 2044
T = 7.15
 O = 1707
T = 8.62
 O = 1707
T = 21.67
s2v160c2200-2.wcnf O = 1743
T = 2.75		 O = 1743
T = 4.90
 O = 1743
T = 3.46
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1763
T = 4.00
 O = N/A
T = TO
 O = 2538
T = 1.54
 O = 1743
T = 4.22
 O = 1743
T = 2.75
 O = 1743
T = 3.15
 O = 2137
T = 7.95
 O = 1743
T = 9.07
 O = 1743
T = 21.67
s2v160c2200-3.wcnf O = 1562
T = 2.50		 O = 1562
T = 5.24
 O = 1562
T = 4.57
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1569
T = 2.81
 O = N/A
T = TO
 O = 2535
T = 1.69
 O = 1562
T = 2.50
 O = 1562
T = 3.12
 O = 1562
T = 4.73
 O = 1951
T = 6.84
 O = 1562
T = 8.72
 O = 1562
T = 21.71
s2v160c2300-1.wcnf O = 1710
T = 2.75		 O = 1710
T = 5.44
 O = 1710
T = 2.95
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1727
T = 2.73
 O = N/A
T = TO
 O = 2636
T = 1.20
 O = 1710
T = 2.75
 O = 1710
T = 3.90
 O = 1710
T = 3.53
 O = 1965
T = 131.84
 O = 1710
T = 8.35
 O = 1710
T = 21.32
s2v160c2300-2.wcnf O = 1753
T = 3.73		 O = 1753
T = 5.64
 O = 1753
T = 3.92
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1761
T = 3.86
 O = N/A
T = TO
 O = 2602
T = 1.54
 O = 1753
T = 3.73
 O = 1753
T = 4.52
 O = 1753
T = 4.08
 O = 2061
T = 8.89
 O = 1753
T = 8.11
 O = 1753
T = 21.67
s2v160c2300-3.wcnf O = 1824
T = 2.96		 O = 1824
T = 3.37
 O = 1824
T = 4.81
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1824
T = 4.62
 O = N/A
T = TO
 O = 2640
T = 0.96
 O = 1824
T = 2.96
 O = 1824
T = 3.64
 O = 1824
T = 3.24
 O = 2192
T = 2.81
 O = 1824
T = 8.39
 O = 1824
T = 21.43
s2v160c2400-1.wcnf O = 1838
T = 3.06		 O = 1838
T = 5.33
 O = 1838
T = 4.13
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1894
T = 3.84
 O = N/A
T = TO
 O = 2624
T = 1.61
 O = 1838
T = 3.06
 O = 1838
T = 3.60
 O = 1838
T = 3.50
 O = 2113
T = 54.89
 O = 1838
T = 8.49
 O = 1838
T = 22.49
s2v160c2400-2.wcnf O = 1931
T = 2.88		 O = 1931
T = 4.55
 O = 1931
T = 4.70
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1932
T = 4.36
 O = N/A
T = TO
 O = 2788
T = 1.75
 O = 1931
T = 21.60
 O = 1931
T = 2.88
 O = 1931
T = 3.89
 O = 2292
T = 11.19
 O = 1931
T = 9.12
 O = 1931
T = 39.15
s2v160c2400-3.wcnf O = 1814
T = 2.58		 O = 1814
T = 3.85
 O = 1814
T = 3.09
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1826
T = 2.11
 O = N/A
T = TO
 O = 2426
T = 1.54
 O = 1814
T = 3.13
 O = 1814
T = 2.58
 O = 1814
T = 2.82
 O = 2212
T = 17.72
 O = 1814
T = 8.62
 O = 1814
T = 22.05
s2v160c2500-1.wcnf O = 1875
T = 2.19		 O = 1875
T = 4.97
 O = 1875
T = 4.06
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1914
T = 3.56
 O = N/A
T = TO
 O = 2569
T = 1.75
 O = 1875
T = 3.18
 O = 1875
T = 2.19
 O = 1875
T = 4.55
 O = 2303
T = 48.16
 O = 1875
T = 8.92
 O = 1875
T = 21.63
s2v160c2500-2.wcnf O = 1929
T = 2.13		 O = 1929
T = 4.93
 O = 1929
T = 2.13
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1949
T = 2.28
 O = N/A
T = TO
 O = 2884
T = 1.42
 O = 1929
T = 3.75
 O = 1929
T = 2.58
 O = 1929
T = 2.40
 O = 2407
T = 2.63
 O = 1929
T = 8.52
 O = 1929
T = 21.79
s2v160c2500-3.wcnf O = 1980
T = 2.60		 O = 1980
T = 4.29
 O = 1980
T = 4.74
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1997
T = 2.76
 O = N/A
T = TO
 O = 2835
T = 1.66
 O = 1980
T = 2.60
 O = 1980
T = 2.63
 O = 1980
T = 4.29
 O = 2374
T = 41.32
 O = 1980
T = 8.56
 O = 1980
T = 21.38
s2v160c2600-1.wcnf O = 2067
T = 2.73		 O = 2067
T = 5.19
 O = 2067
T = 5.12
 O = N/A
T = TO
 O = N/A
T = TO
 O = 2078
T = 4.15
 O = N/A
T = TO
 O = 2846
T = 0.95
 O = 2067
T = 2.73
 O = 2067
T = 2.81
 O = 2067
T = 3.47
 O = 2759
T = 3.36
 O = 2067
T = 8.57
 O = 2067
T = 22.85
s2v160c2600-2.wcnf O = 2111
T = 2.57		 O = 2111
T = 3.36
 O = 2111
T = 3.89
 O = N/A
T = TO
 O = N/A
T = TO
 O = 2146
T = 2.59
 O = N/A
T = TO
 O = 3179
T = 1.20
 O = 2111
T = 4.03
 O = 2111
T = 2.57
 O = 2111
T = 2.87
 O = 2329
T = 12.84
 O = 2111
T = 8.54
 O = 2111
T = 21.97
s2v160c2600-3.wcnf O = 2047
T = 3.62		 O = 2047
T = 4.16
 O = 2047
T = 3.71
 O = N/A
T = TO
 O = N/A
T = TO
 O = 2084
T = 3.33
 O = N/A
T = TO
 O = 2917
T = 1.61
 O = 2047
T = 3.62
 O = 2047
T = 4.16
 O = 2047
T = 4.21
 O = 2461
T = 103.46
 O = 2047
T = 9.02
 O = 2047
T = 21.53
s2v180c1200-1.wcnf O = 598
T = 2.47		 O = 598
T = 4.39
 O = 598
T = 3.92
 O = N/A
T = TO
 O = N/A
T = TO
 O = 613
T = 3.96
 O = N/A
T = TO
 O = 940
T = 1.68
 O = 598
T = 3.11
 O = 598
T = 2.47
 O = 598
T = 5.76
 O = 714
T = 4.44
 O = 598
T = 8.93
 O = 598
T = 38.70
s2v180c1200-2.wcnf O = 669
T = 3.26		 O = 669
T = 4.76
 O = 669
T = 5.07
 O = N/A
T = TO
 O = N/A
T = TO
 O = 700
T = 3.78
 O = N/A
T = TO
 O = 985
T = 28.29
 O = 669
T = 5.58
 O = 669
T = 3.26
 O = 669
T = 4.65
 O = 760
T = 62.73
 O = 669
T = 9.23
 O = 669
T = 21.66
s2v180c1200-3.wcnf O = 588
T = 3.97		 O = 588
T = 5.54
 O = 588
T = 4.69
 O = N/A
T = TO
 O = N/A
T = TO
 O = 625
T = 4.51
 O = N/A
T = TO
 O = 867
T = 2.12
 O = 588
T = 6.02
 O = 588
T = 3.97
 O = 588
T = 5.68
 O = 734
T = 97.30
 O = 588
T = 8.85
 O = 588
T = 21.32
s2v180c1200-4.wcnf O = 565
T = 4.00		 O = 565
T = 5.74
 O = 565
T = 4.00
 O = N/A
T = TO
 O = N/A
T = TO
 O = 591
T = 4.04
 O = N/A
T = TO
 O = 928
T = 1.64
 O = 565
T = 5.59
 O = 565
T = 4.33
 O = 565
T = 4.88
 O = 673
T = 3.68
 O = 565
T = 9.36
 O = 565
T = 21.68
s2v180c1300-1.wcnf O = 675
T = 3.94		 O = 675
T = 4.93
 O = 675
T = 3.94
 O = N/A
T = TO
 O = N/A
T = TO
 O = 702
T = 4.02
 O = N/A
T = TO
 O = 971
T = 1.92
 O = 675
T = 5.43
 O = 675
T = 4.96
 O = 675
T = 5.78
 O = 845
T = 5.04
 O = 675
T = 8.89
 O = 675
T = 21.95
s2v180c1300-2.wcnf O = 712
T = 2.71		 O = 712
T = 4.78
 O = 712
T = 4.86
 O = N/A
T = TO
 O = N/A
T = TO
 O = 733
T = 3.07
 O = N/A
T = TO
 O = 1167
T = 1.42
 O = 712
T = 2.71
 O = 712
T = 4.15
 O = 712
T = 6.05
 O = 921
T = 104.57
 O = 712
T = 8.42
 O = 712
T = 23.69
s2v180c1300-3.wcnf O = 652
T = 2.39		 O = 652
T = 5.33
 O = 652
T = 3.72
 O = N/A
T = TO
 O = N/A
T = TO
 O = 701
T = 2.47
 O = N/A
T = TO
 O = 975
T = 5.50
 O = 652
T = 4.00
 O = 652
T = 2.39
 O = 652
T = 4.07
 O = 828
T = 155.87
 O = 652
T = 9.26
 O = 652
T = 22.03
s2v180c1300-4.wcnf O = 690
T = 2.50		 O = 690
T = 5.59
 O = 690
T = 4.31
 O = N/A
T = TO
 O = N/A
T = TO
 O = 738
T = 2.77
 O = N/A
T = TO
 O = 1104
T = 1.73
 O = 690
T = 2.50
 O = 690
T = 3.65
 O = 690
T = 5.81
 O = 775
T = 103.79
 O = 690
T = 9.06
 O = 690
T = 21.52
s2v180c1400-1.wcnf O = 746
T = 3.12		 O = 746
T = 4.38
 O = 746
T = 3.27
 O = N/A
T = TO
 O = N/A
T = TO
 O = 746
T = 3.40
 O = N/A
T = TO
 O = 1068
T = 2.04
 O = 746
T = 4.58
 O = 746
T = 3.12
 O = 746
T = 4.16
 O = 936
T = 183.94
 O = 746
T = 8.53
 O = 746
T = 22.26
s2v180c1400-2.wcnf O = 765
T = 4.01		 O = 765
T = 5.32
 O = 765
T = 5.36
 O = N/A
T = TO
 O = N/A
T = TO
 O = 785
T = 3.81
 O = N/A
T = TO
 O = 1320
T = 1.61
 O = 765
T = 4.29
 O = 765
T = 4.01
 O = 765
T = 4.35
 O = 943
T = 63.17
 O = 765
T = 8.91
 O = 765
T = 38.43
s2v180c1400-3.wcnf O = 791
T = 4.10		 O = 791
T = 4.78
 O = 791
T = 4.74
 O = N/A
T = TO
 O = N/A
T = TO
 O = 817
T = 3.90
 O = N/A
T = TO
 O = 1402
T = 1.72
 O = 791
T = 5.84
 O = 791
T = 4.10
 O = 791
T = 5.06
 O = 929
T = 4.69
 O = 791
T = 8.60
 O = 791
T = 23.06
s2v180c1400-4.wcnf O = 805
T = 3.12		 O = 805
T = 5.16
 O = 805
T = 3.12
 O = N/A
T = TO
 O = N/A
T = TO
 O = 808
T = 2.74
 O = N/A
T = TO
 O = 1190
T = 1.92
 O = 805
T = 3.57
 O = 805
T = 3.45
 O = 805
T = 4.58
 O = 1080
T = 2.50
 O = 805
T = 8.56
 O = 805
T = 21.77
s2v180c1500-1.wcnf O = 819
T = 1.87		 O = 819
T = 6.43
 O = 819
T = 1.87
 O = N/A
T = TO
 O = N/A
T = TO
 O = 835
T = 3.04
 O = N/A
T = TO
 O = 1137
T = 2.34
 O = 819
T = 4.37
 O = 819
T = 3.37
 O = 819
T = 4.35
 O = 1039
T = 5.88
 O = 819
T = 8.25
 O = 819
T = 21.45
s2v180c1500-2.wcnf O = 871
T = 3.41		 O = 871
T = 5.54
 O = 871
T = 3.93
 O = N/A
T = TO
 O = N/A
T = TO
 O = 891
T = 4.11
 O = N/A
T = TO
 O = 1134
T = 27.22
 O = 871
T = 3.41
 O = 871
T = 4.15
 O = 871
T = 4.53
 O = 1039
T = 46.77
 O = 871
T = 8.59
 O = 871
T = 22.68
s2v180c1500-3.wcnf O = 864
T = 3.24		 O = 864
T = 4.32
 O = 864
T = 3.73
 O = N/A
T = TO
 O = N/A
T = TO
 O = 870
T = 4.14
 O = N/A
T = TO
 O = 1202
T = 12.23
 O = 864
T = 3.24
 O = 864
T = 4.48
 O = 864
T = 4.87
 O = 1027
T = 131.63
 O = 864
T = 8.05
 O = 864
T = 22.41
s2v180c1500-4.wcnf O = 879
T = 3.12		 O = 879
T = 6.25
 O = 879
T = 3.15
 O = N/A
T = TO
 O = N/A
T = TO
 O = 935
T = 2.15
 O = N/A
T = TO
 O = 1342
T = 1.94
 O = 879
T = 3.12
 O = 879
T = 3.40
 O = 879
T = 3.63
 O = 1102
T = 6.23
 O = 879
T = 8.91
 O = 879
T = 23.65
s2v180c1600-1.wcnf O = 954
T = 3.34		 O = 954
T = 6.48
 O = 954
T = 5.38
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1008
T = 2.56
 O = N/A
T = TO
 O = 1456
T = 1.16
 O = 954
T = 3.47
 O = 954
T = 3.34
 O = 954
T = 5.00
 O = 1182
T = 45.47
 O = 954
T = 8.82
 O = 954
T = 22.63
s2v180c1600-2.wcnf O = 1024
T = 4.31		 O = 1024
T = 4.67
 O = 1024
T = 4.36
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1060
T = 2.43
 O = N/A
T = TO
 O = 1587
T = 1.88
 O = 1024
T = 4.31
 O = 1024
T = 4.86
 O = 1024
T = 4.58
 O = 1413
T = 4.60
 O = 1024
T = 9.14
 O = 1024
T = 22.01
s2v180c1600-3.wcnf O = 1052
T = 3.94		 O = 1052
T = 3.94
 O = 1052
T = 4.43
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1096
T = 3.33
 O = N/A
T = TO
 O = 1508
T = 1.50
 O = 1052
T = 5.30
 O = 1052
T = 4.58
 O = 1052
T = 5.39
 O = 1397
T = 6.11
 O = 1052
T = 8.65
 O = 1052
T = 38.14
s2v180c1600-4.wcnf O = 921
T = 3.95		 O = 921
T = 5.52
 O = 921
T = 5.89
 O = N/A
T = TO
 O = N/A
T = TO
 O = 921
T = 4.22
 O = N/A
T = TO
 O = 1579
T = 1.03
 O = 921
T = 5.50
 O = 921
T = 3.95
 O = 921
T = 4.64
 O = 1027
T = 244.27
 O = 921
T = 8.46
 O = 921
T = 21.42
s2v180c1700-1.wcnf O = 1042
T = 2.12		 O = 1042
T = 3.91
 O = 1042
T = 5.20
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1101
T = 2.95
 O = N/A
T = TO
 O = 2122
T = 1.50
 O = 1042
T = 2.12
 O = 1042
T = 4.79
 O = 1042
T = 4.67
 O = 1274
T = 56.08
 O = 1042
T = 8.83
 O = 1042
T = 21.63
s2v180c1700-2.wcnf O = 1061
T = 3.16		 O = 1061
T = 5.95
 O = 1061
T = 4.30
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1116
T = 4.39
 O = N/A
T = TO
 O = 1475
T = 1.52
 O = 1061
T = 4.08
 O = 1061
T = 3.16
 O = 1061
T = 3.36
 O = 1219
T = 9.92
 O = 1061
T = 8.85
 O = 1061
T = 23.18
s2v180c1700-3.wcnf O = 1050
T = 4.07		 O = 1050
T = 4.42
 O = 1050
T = 5.11
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1070
T = 4.19
 O = N/A
T = TO
 O = 1460
T = 1.86
 O = 1050
T = 4.84
 O = 1050
T = 5.69
 O = 1050
T = 4.07
 O = 1379
T = 1.62
 O = 1050
T = 9.29
 O = 1050
T = 21.89
s2v180c1700-4.wcnf O = 1024
T = 2.38		 O = 1024
T = 6.31
 O = 1024
T = 4.91
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1024
T = 2.38
 O = N/A
T = TO
 O = 1440
T = 1.40
 O = 1024
T = 5.23
 O = 1024
T = 4.58
 O = 1024
T = 3.26
 O = 1179
T = 16.97
 O = 1024
T = 8.68
 O = 1024
T = 21.56
s2v180c1800-1.wcnf O = 1202
T = 2.87		 O = 1202
T = 4.82
 O = 1202
T = 4.24
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1247
T = 3.19
 O = N/A
T = TO
 O = 1810
T = 1.52
 O = 1202
T = 3.37
 O = 1202
T = 3.66
 O = 1202
T = 2.87
 O = 1668
T = 7.57
 O = 1202
T = 8.89
 O = 1202
T = 22.64
s2v180c1800-2.wcnf O = 1252
T = 3.90		 O = 1252
T = 5.05
 O = 1252
T = 3.90
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1281
T = 4.05
 O = N/A
T = TO
 O = 1937
T = 2.03
 O = 1252
T = 4.00
 O = 1252
T = 4.00
 O = 1252
T = 5.48
 O = 1700
T = 6.38
 O = 1252
T = 8.41
 O = 1252
T = 21.43
s2v180c1800-3.wcnf O = 1129
T = 2.44		 O = 1129
T = 4.51
 O = 1129
T = 5.04
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1151
T = 4.78
 O = N/A
T = TO
 O = 1534
T = 2.04
 O = 1129
T = 3.93
 O = 1129
T = 3.63
 O = 1129
T = 2.44
 O = 1303
T = 11.80
 O = 1129
T = 8.41
 O = 1129
T = 38.05
s2v180c1800-4.wcnf O = 1118
T = 3.74		 O = 1118
T = 4.07
 O = 1118
T = 5.07
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1162
T = 4.07
 O = N/A
T = TO
 O = 1740
T = 2.02
 O = 1118
T = 3.74
 O = 1118
T = 4.24
 O = 1118
T = 3.86
 O = 1452
T = 99.52
 O = 1118
T = 8.49
 O = 1118
T = 21.18
s2v180c1900-1.wcnf O = 1228
T = 3.64		 O = 1228
T = 4.55
 O = 1228
T = 4.70
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1245
T = 4.29
 O = N/A
T = TO
 O = 1749
T = 8.85
 O = 1228
T = 3.64
 O = 1228
T = 3.67
 O = 1228
T = 5.28
 O = 1662
T = 4.01
 O = 1228
T = 8.12
 O = 1228
T = 21.41
s2v180c1900-2.wcnf O = 1275
T = 3.93		 O = 1275
T = 5.83
 O = 1275
T = 5.04
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1277
T = 3.30
 O = N/A
T = TO
 O = 1742
T = 2.16
 O = 1275
T = 5.59
 O = 1275
T = 5.43
 O = 1275
T = 3.93
 O = 1445
T = 122.14
 O = 1275
T = 8.46
 O = 1275
T = 21.55
s2v180c1900-3.wcnf O = 1221
T = 2.37		 O = 1221
T = 3.19
 O = 1221
T = 4.01
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1244
T = 4.21
 O = N/A
T = TO
 O = 2168
T = 1.29
 O = 1221
T = 4.38
 O = 1221
T = 3.46
 O = 1221
T = 2.37
 O = 1546
T = 9.03
 O = 1221
T = 8.40
 O = 1221
T = 21.98
s2v180c1900-4.wcnf O = 1227
T = 3.59		 O = 1227
T = 4.82
 O = 1227
T = 4.61
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1232
T = 4.12
 O = N/A
T = TO
 O = 1800
T = 1.85
 O = 1227
T = 5.03
 O = 1227
T = 3.59
 O = 1227
T = 5.48
 O = 1701
T = 1.99
 O = 1227
T = 8.25
 O = 1227
T = 21.30
s2v180c2000-1.wcnf O = 1428
T = 3.72		 O = 1428
T = 5.76
 O = 1428
T = 4.51
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1440
T = 3.56
 O = N/A
T = TO
 O = 1766
T = 10.96
 O = 1428
T = 4.07
 O = 1428
T = 3.72
 O = 1428
T = 4.24
 O = 1759
T = 35.84
 O = 1428
T = 8.08
 O = 1428
T = 23.90
s2v180c2000-2.wcnf O = 1328
T = 2.38		 O = 1328
T = 4.74
 O = 1328
T = 2.38
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1369
T = 4.55
 O = N/A
T = TO
 O = 1995
T = 181.07
 O = 1328
T = 3.88
 O = 1328
T = 3.39
 O = 1328
T = 2.89
 O = 1812
T = 7.34
 O = 1328
T = 8.17
 O = 1328
T = 22.86
s2v180c2000-3.wcnf O = 1374
T = 3.21		 O = 1374
T = 5.08
 O = 1374
T = 5.18
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1456
T = 2.85
 O = N/A
T = TO
 O = 1963
T = 19.04
 O = 1374
T = 3.21
 O = 1374
T = 3.47
 O = 1374
T = 5.48
 O = 1882
T = 1.76
 O = 1374
T = 8.37
 O = 1374
T = 22.09
s2v180c2000-4.wcnf O = 1372
T = 4.08		 O = 1372
T = 5.16
 O = 1372
T = 4.66
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1408
T = 2.28
 O = N/A
T = TO
 O = 2405
T = 1.61
 O = 1372
T = 4.27
 O = 1372
T = 4.08
 O = 1372
T = 4.90
 O = 1750
T = 32.75
 O = 1372
T = 8.23
 O = 1372
T = 21.35
s2v180c2100-1.wcnf O = 1437
T = 2.04		 O = 1437
T = 23.23
 O = 1437
T = 2.83
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1448
T = 2.06
 O = N/A
T = TO
 O = 1904
T = 230.08
 O = 1437
T = 4.30
 O = 1437
T = 4.43
 O = 1437
T = 2.04
 O = 1914
T = 2.28
 O = 1437
T = 8.07
 O = 1437
T = 21.35
s2v180c2100-2.wcnf O = 1500
T = 3.40		 O = 1500
T = 5.21
 O = 1500
T = 4.04
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1514
T = 2.37
 O = N/A
T = TO
 O = 2442
T = 1.67
 O = 1500
T = 3.67
 O = 1500
T = 3.40
 O = 1500
T = 4.32
 O = N/A
T = TO
 O = 1500
T = 8.39
 O = 1500
T = 21.32
s2v180c2100-3.wcnf O = 1406
T = 3.65		 O = 1406
T = 4.47
 O = 1406
T = 4.22
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1439
T = 2.55
 O = N/A
T = TO
 O = 1927
T = 1.50
 O = 1406
T = 6.00
 O = 1406
T = 3.65
 O = 1406
T = 4.57
 O = 1873
T = 17.36
 O = 1406
T = 8.11
 O = 1406
T = 21.57
s2v180c2100-4.wcnf O = 1484
T = 3.39		 O = 1484
T = 5.30
 O = 1484
T = 4.42
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1539
T = 3.55
 O = N/A
T = TO
 O = 2405
T = 1.64
 O = 1484
T = 5.81
 O = 1484
T = 3.39
 O = 1484
T = 4.96
 O = 1713
T = 154.71
 O = 1484
T = 8.88
 O = 1484
T = 21.71
s2v180c2200-1.wcnf O = 1480
T = 4.57		 O = 1480
T = 4.57
 O = 1480
T = 4.60
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1522
T = 4.47
 O = N/A
T = TO
 O = 2427
T = 1.47
 O = 1480
T = 5.51
 O = 1480
T = 5.09
 O = 1480
T = 4.71
 O = 1721
T = 159.88
 O = 1480
T = 8.68
 O = 1480
T = 21.30
s2v180c2200-2.wcnf O = 1553
T = 3.52		 O = 1553
T = 5.17
 O = 1553
T = 5.61
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1590
T = 3.91
 O = N/A
T = TO
 O = 2464
T = 1.52
 O = 1553
T = 4.77
 O = 1553
T = 4.70
 O = 1553
T = 3.52
 O = 2072
T = 45.50
 O = 1553
T = 8.69
 O = 1553
T = 21.31
s2v180c2200-3.wcnf O = 1622
T = 3.28		 O = 1622
T = 4.16
 O = 1622
T = 4.26
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1633
T = 3.69
 O = N/A
T = TO
 O = 2575
T = 0.92
 O = 1622
T = 3.28
 O = 1622
T = 4.09
 O = 1622
T = 5.14
 O = 1998
T = 14.54
 O = 1622
T = 8.73
 O = 1622
T = 21.50
s2v180c2200-4.wcnf O = 1572
T = 1.67		 O = 1572
T = 4.82
 O = 1572
T = 4.76
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1637
T = 3.15
 O = N/A
T = TO
 O = 2417
T = 1.38
 O = 1572
T = 2.80
 O = 1572
T = 1.67
 O = 1572
T = 4.47
 O = 2027
T = 4.25
 O = 1572
T = 8.13
 O = 1572
T = 21.69
s2v200c1200-1.wcnf O = 558
T = 3.18		 O = 558
T = 6.61
 O = 558
T = 5.32
 O = N/A
T = TO
 O = N/A
T = TO
 O = 585
T = 4.59
 O = N/A
T = TO
 O = 903
T = 1.50
 O = 558
T = 3.18
 O = 558
T = 4.36
 O = 558
T = 4.94
 O = 697
T = 124.54
 O = 558
T = 8.70
 O = 558
T = 21.99
s2v200c1200-2.wcnf O = 570
T = 4.00		 O = 570
T = 5.71
 O = 570
T = 4.71
 O = N/A
T = TO
 O = N/A
T = TO
 O = 633
T = 4.18
 O = N/A
T = TO
 O = 891
T = 1.35
 O = 570
T = 4.00
 O = 570
T = 4.16
 O = 570
T = 10.91
 O = 682
T = 225.74
 O = 570
T = 53.99
 O = 570
T = 39.88
s2v200c1200-3.wcnf O = 575
T = 3.67		 O = 575
T = 4.67
 O = 575
T = 5.92
 O = N/A
T = TO
 O = N/A
T = TO
 O = 594
T = 3.42
 O = N/A
T = TO
 O = 858
T = 4.46
 O = 575
T = 3.67
 O = 575
T = 4.84
 O = 575
T = 5.19
 O = 919
T = 3.41
 O = 575
T = 8.58
 O = 575
T = 22.06
s2v200c1200-4.wcnf O = 514
T = 3.95		 O = 514
T = 5.56
 O = 514
T = 5.17
 O = N/A
T = TO
 O = N/A
T = TO
 O = 557
T = 3.57
 O = N/A
T = TO
 O = 748
T = 2.18
 O = 514
T = 4.34
 O = 514
T = 3.95
 O = 514
T = 5.95
 O = 676
T = 22.05
 O = 514
T = 8.46
 O = 514
T = 21.48
s2v200c1200-5.wcnf O = 523
T = 3.11		 O = 523
T = 5.50
 O = 523
T = 4.85
 O = N/A
T = TO
 O = N/A
T = TO
 O = 527
T = 2.58
 O = N/A
T = TO
 O = 734
T = 69.62
 O = 523
T = 3.11
 O = 523
T = 3.82
 O = 523
T = 6.29
 O = 604
T = 28.88
 O = 523
T = 8.39
 O = 523
T = 21.22
s2v200c1200-6.wcnf O = 527
T = 3.57		 O = 527
T = 24.04
 O = 527
T = 5.32
 O = N/A
T = TO
 O = N/A
T = TO
 O = 554
T = 3.76
 O = N/A
T = TO
 O = 995
T = 1.09
 O = 527
T = 4.48
 O = 527
T = 3.57
 O = 527
T = 4.91
 O = 643
T = 147.11
 O = 527
T = 8.91
 O = 527
T = 22.08
s2v200c1200-7.wcnf O = 525
T = 3.59		 O = 525
T = 6.13
 O = 525
T = 4.61
 O = N/A
T = TO
 O = N/A
T = TO
 O = 530
T = 4.95
 O = N/A
T = TO
 O = 804
T = 1.71
 O = 525
T = 5.16
 O = 525
T = 3.59
 O = 525
T = 4.41
 O = 671
T = 151.79
 O = 525
T = 8.26
 O = 525
T = 21.50
s2v200c1300-1.wcnf O = 641
T = 3.58		 O = 641
T = 4.12
 O = 641
T = 5.83
 O = N/A
T = TO
 O = N/A
T = TO
 O = 657
T = 3.88
 O = N/A
T = TO
 O = 894
T = 1.06
 O = 641
T = 4.50
 O = 641
T = 5.70
 O = 641
T = 3.58
 O = 827
T = 3.40
 O = 641
T = 9.67
 O = 641
T = 38.59
s2v200c1300-2.wcnf O = 701
T = 2.55		 O = 701
T = 5.45
 O = 701
T = 4.84
 O = N/A
T = TO
 O = N/A
T = TO
 O = 702
T = 3.34
 O = N/A
T = TO
 O = 976
T = 2.13
 O = 701
T = 4.55
 O = 701
T = 2.55
 O = 701
T = 4.15
 O = 787
T = 271.76
 O = 701
T = 8.49
 O = 701
T = 21.90
s2v200c1300-3.wcnf O = 647
T = 3.18		 O = 647
T = 3.18
 O = 647
T = 6.05
 O = N/A
T = TO
 O = N/A
T = TO
 O = 653
T = 5.43
 O = N/A
T = TO
 O = 932
T = 1.93
 O = 647
T = 4.53
 O = 647
T = 5.11
 O = 647
T = 4.77
 O = 784
T = 4.05
 O = 647
T = 8.88
 O = 647
T = 38.38
s2v200c1300-4.wcnf O = 666
T = 3.69		 O = 666
T = 37.29
 O = 666
T = 4.73
 O = N/A
T = TO
 O = N/A
T = TO
 O = 682
T = 1.65
 O = N/A
T = TO
 O = 979
T = 1.58
 O = 666
T = 4.13
 O = 666
T = 3.69
 O = 666
T = 4.71
 O = 812
T = 189.85
 O = 666
T = 8.78
 O = 666
T = 23.57
s2v200c1300-5.wcnf O = 596
T = 3.54		 O = 596
T = 4.66
 O = 596
T = 4.66
 O = N/A
T = TO
 O = N/A
T = TO
 O = 613
T = 2.95
 O = N/A
T = TO
 O = 994
T = 1.36
 O = 596
T = 4.21
 O = 596
T = 3.54
 O = 596
T = 5.35
 O = 675
T = 255.75
 O = 596
T = 8.54
 O = 596
T = 22.70
s2v200c1300-6.wcnf O = 642
T = 3.15		 O = 642
T = 3.83
 O = 642
T = 5.74
 O = N/A
T = TO
 O = N/A
T = TO
 O = 650
T = 3.44
 O = N/A
T = TO
 O = 1052
T = 1.48
 O = 642
T = 3.15
 O = 642
T = 5.27
 O = 642
T = 4.17
 O = 751
T = 8.10
 O = 642
T = 8.57
 O = 642
T = 21.40
s2v200c1300-7.wcnf O = 652
T = 2.98		 O = 652
T = 5.71
 O = 652
T = 5.40
 O = N/A
T = TO
 O = N/A
T = TO
 O = 674
T = 3.49
 O = N/A
T = TO
 O = 1046
T = 18.33
 O = 652
T = 4.46
 O = 652
T = 2.98
 O = 652
T = 3.48
 O = 870
T = 23.47
 O = 652
T = 9.72
 O = 652
T = 22.29
s2v200c1400-1.wcnf O = 756
T = 3.35		 O = 756
T = 3.35
 O = 756
T = 4.77
 O = N/A
T = TO
 O = N/A
T = TO
 O = 782
T = 3.75
 O = N/A
T = TO
 O = 1403
T = 1.28
 O = 756
T = 4.52
 O = 756
T = 5.62
 O = 756
T = 4.50
 O = 902
T = 41.06
 O = 756
T = 8.97
 O = 756
T = 21.50
s2v200c1400-2.wcnf O = 728
T = 3.38		 O = 728
T = 4.25
 O = 728
T = 4.99
 O = N/A
T = TO
 O = N/A
T = TO
 O = 776
T = 4.11
 O = N/A
T = TO
 O = 1094
T = 1.86
 O = 728
T = 4.87
 O = 728
T = 3.38
 O = 728
T = 4.79
 O = 892
T = 5.31
 O = 728
T = 10.33
 O = 728
T = 38.51
s2v200c1400-3.wcnf O = 693
T = 3.86		 O = 693
T = 5.73
 O = 693
T = 4.75
 O = N/A
T = TO
 O = N/A
T = TO
 O = 695
T = 4.53
 O = N/A
T = TO
 O = 960
T = 1.64
 O = 693
T = 3.86
 O = 693
T = 4.17
 O = 693
T = 5.89
 O = 924
T = 4.19
 O = 693
T = 8.77
 O = 693
T = 23.52
s2v200c1400-4.wcnf O = 781
T = 3.22		 O = 781
T = 3.22
 O = 781
T = 4.55
 O = N/A
T = TO
 O = N/A
T = TO
 O = 795
T = 4.33
 O = N/A
T = TO
 O = 1103
T = 1.85
 O = 781
T = 3.51
 O = 781
T = 4.75
 O = 781
T = 4.49
 O = 950
T = 3.71
 O = 781
T = 10.44
 O = 781
T = 40.20
s2v200c1400-5.wcnf O = 723
T = 2.43		 O = 723
T = 4.93
 O = 723
T = 5.34
 O = N/A
T = TO
 O = N/A
T = TO
 O = 742
T = 4.44
 O = N/A
T = TO
 O = 1052
T = 1.40
 O = 723
T = 3.47
 O = 723
T = 2.43
 O = 723
T = 5.48
 O = 940
T = 25.96
 O = 723
T = 8.13
 O = 723
T = 22.30
s2v200c1400-6.wcnf O = 732
T = 3.41		 O = 732
T = 5.64
 O = 732
T = 5.37
 O = N/A
T = TO
 O = N/A
T = TO
 O = 732
T = 3.41
 O = N/A
T = TO
 O = 1291
T = 1.57
 O = 732
T = 4.65
 O = 732
T = 3.67
 O = 732
T = 5.04
 O = 964
T = 106.62
 O = 732
T = 8.27
 O = 732
T = 38.56
s2v200c1400-7.wcnf O = 673
T = 2.47		 O = 673
T = 5.54
 O = 673
T = 5.62
 O = N/A
T = TO
 O = N/A
T = TO
 O = 678
T = 4.28
 O = N/A
T = TO
 O = 942
T = 1.64
 O = 673
T = 5.21
 O = 673
T = 2.47
 O = 673
T = 5.01
 O = 817
T = 5.39
 O = 673
T = 8.54
 O = 673
T = 22.31
s2v200c1500-1.wcnf O = 845
T = 3.50		 O = 845
T = 5.00
 O = 845
T = 4.72
 O = N/A
T = TO
 O = N/A
T = TO
 O = 856
T = 5.63
 O = N/A
T = TO
 O = 1348
T = 1.73
 O = 845
T = 5.20
 O = 845
T = 4.01
 O = 845
T = 3.50
 O = 1020
T = 4.93
 O = 845
T = 8.97
 O = 845
T = 39.61
s2v200c1500-2.wcnf O = 841
T = 2.58		 O = 841
T = 5.54
 O = 841
T = 5.57
 O = N/A
T = TO
 O = N/A
T = TO
 O = 844
T = 3.74
 O = N/A
T = TO
 O = 1350
T = 1.07
 O = 841
T = 3.95
 O = 841
T = 2.58
 O = 841
T = 5.80
 O = 991
T = 111.14
 O = 841
T = 8.74
 O = 841
T = 39.07
s2v200c1500-3.wcnf O = 840
T = 2.96		 O = 840
T = 6.26
 O = 840
T = 5.27
 O = N/A
T = TO
 O = N/A
T = TO
 O = 893
T = 3.17
 O = N/A
T = TO
 O = 1381
T = 1.03
 O = 840
T = 3.75
 O = 840
T = 2.96
 O = 840
T = 3.13
 O = 1101
T = 3.91
 O = 840
T = 8.84
 O = 840
T = 21.63
s2v200c1500-4.wcnf O = 785
T = 3.54		 O = 785
T = 3.54
 O = 785
T = 5.11
 O = N/A
T = TO
 O = N/A
T = TO
 O = 805
T = 2.68
 O = N/A
T = TO
 O = 1291
T = 1.36
 O = 785
T = 3.89
 O = 785
T = 5.53
 O = 785
T = 5.43
 O = 873
T = 69.24
 O = 785
T = 8.18
 O = 785
T = 38.32
s2v200c1500-5.wcnf O = 833
T = 3.68		 O = 833
T = 5.78
 O = 833
T = 4.30
 O = N/A
T = TO
 O = N/A
T = TO
 O = 852
T = 3.89
 O = N/A
T = TO
 O = 1333
T = 1.22
 O = 833
T = 3.68
 O = 833
T = 5.80
 O = 833
T = 4.14
 O = 1071
T = 15.27
 O = 833
T = 8.94
 O = 833
T = 21.76
s2v200c1500-6.wcnf O = 808
T = 4.48		 O = 808
T = 4.99
 O = 808
T = 5.10
 O = N/A
T = TO
 O = N/A
T = TO
 O = 834
T = 3.68
 O = N/A
T = TO
 O = 1125
T = 52.76
 O = 808
T = 5.70
 O = 808
T = 4.48
 O = 808
T = 5.17
 O = 1189
T = 2.93
 O = 808
T = 8.86
 O = 808
T = 21.23
s2v200c1500-7.wcnf O = 838
T = 3.48		 O = 838
T = 4.84
 O = 838
T = 6.40
 O = N/A
T = TO
 O = N/A
T = TO
 O = 853
T = 6.54
 O = N/A
T = TO
 O = 1376
T = 1.20
 O = 838
T = 4.78
 O = 838
T = 3.48
 O = 838
T = 5.34
 O = 1116
T = 104.99
 O = 838
T = 8.65
 O = 838
T = 38.67
s2v200c1600-1.wcnf O = 960
T = 4.72		 O = 960
T = 6.68
 O = 960
T = 5.55
 O = N/A
T = TO
 O = N/A
T = TO
 O = 960
T = 4.73
 O = N/A
T = TO
 O = 1465
T = 1.58
 O = 960
T = 4.74
 O = 960
T = 5.67
 O = 960
T = 4.72
 O = 1141
T = 170.63
 O = 960
T = 9.60
 O = 960
T = 38.26
s2v200c1600-2.wcnf O = 901
T = 4.10		 O = 901
T = 4.91
 O = 901
T = 4.76
 O = N/A
T = TO
 O = N/A
T = TO
 O = 924
T = 3.54
 O = N/A
T = TO
 O = 1381
T = 1.64
 O = 901
T = 4.10
 O = 901
T = 4.88
 O = 901
T = 4.40
 O = 1302
T = 4.48
 O = 901
T = 9.16
 O = 901
T = 21.91
s2v200c1600-3.wcnf O = 900
T = 3.41		 O = 900
T = 5.09
 O = 900
T = 5.31
 O = N/A
T = TO
 O = N/A
T = TO
 O = 909
T = 4.17
 O = N/A
T = TO
 O = 1595
T = 1.25
 O = 900
T = 3.93
 O = 900
T = 3.41
 O = 900
T = 4.07
 O = 993
T = 18.77
 O = 900
T = 8.67
 O = 900
T = 38.46
s2v200c1600-4.wcnf O = 909
T = 2.43		 O = 909
T = 2.93
 O = 909
T = 2.43
 O = N/A
T = TO
 O = N/A
T = TO
 O = 926
T = 4.27
 O = N/A
T = TO
 O = 1430
T = 1.26
 O = 909
T = 4.51
 O = 909
T = 5.73
 O = 909
T = 5.31
 O = 1191
T = 3.87
 O = 909
T = 9.18
 O = 909
T = 38.48
s2v200c1600-5.wcnf O = 920
T = 2.76		 O = 920
T = 5.33
 O = 920
T = 4.04
 O = N/A
T = TO
 O = N/A
T = TO
 O = 925
T = 4.17
 O = N/A
T = TO
 O = 1400
T = 1.58
 O = 920
T = 2.76
 O = 920
T = 3.26
 O = 920
T = 4.42
 O = 1199
T = 0.88
 O = 920
T = 8.47
 O = 920
T = 23.79
s2v200c1600-6.wcnf O = 918
T = 2.97		 O = 918
T = 3.47
 O = 918
T = 5.96
 O = N/A
T = TO
 O = N/A
T = TO
 O = 937
T = 4.60
 O = N/A
T = TO
 O = 1374
T = 1.57
 O = 918
T = 3.44
 O = 918
T = 2.97
 O = 918
T = 5.40
 O = 1126
T = 5.48
 O = 918
T = 8.81
 O = 918
T = 23.48
s2v200c1600-7.wcnf O = 894
T = 3.58		 O = 894
T = 5.72
 O = 894
T = 5.22
 O = N/A
T = TO
 O = N/A
T = TO
 O = 908
T = 4.75
 O = N/A
T = TO
 O = 1233
T = 5.65
 O = 894
T = 3.58
 O = 894
T = 4.32
 O = 894
T = 5.60
 O = 1265
T = 3.21
 O = 894
T = 9.85
 O = 894
T = 38.27
s2v200c1700-1.wcnf O = 1007
T = 3.51		 O = 1007
T = 3.51
 O = 1007
T = 4.96
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1036
T = 4.73
 O = N/A
T = TO
 O = 1596
T = 1.22
 O = 1007
T = 6.30
 O = 1007
T = 3.83
 O = 1007
T = 4.83
 O = 1249
T = 76.82
 O = 1007
T = 8.52
 O = 1007
T = 22.66
s2v200c1700-2.wcnf O = 1080
T = 3.21		 O = 1080
T = 3.21
 O = 1080
T = 4.20
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1103
T = 2.20
 O = N/A
T = TO
 O = 1563
T = 0.78
 O = 1080
T = 4.02
 O = 1080
T = 4.79
 O = 1080
T = 3.48
 O = 1269
T = 85.90
 O = 1080
T = 8.50
 O = 1080
T = 21.88
s2v200c1700-3.wcnf O = 1061
T = 3.57		 O = 1061
T = 4.03
 O = 1061
T = 5.62
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1087
T = 3.86
 O = N/A
T = TO
 O = 1598
T = 1.38
 O = 1061
T = 4.73
 O = 1061
T = 3.74
 O = 1061
T = 3.57
 O = 1341
T = 12.19
 O = 1061
T = 8.83
 O = 1061
T = 40.26
s2v200c1700-4.wcnf O = 973
T = 4.74		 O = 973
T = 4.95
 O = 973
T = 4.92
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1048
T = 4.60
 O = N/A
T = TO
 O = 1699
T = 1.61
 O = 973
T = 5.48
 O = 973
T = 4.74
 O = 973
T = 5.24
 O = 1312
T = 82.39
 O = 973
T = 8.60
 O = 973
T = 38.19
s2v200c1700-5.wcnf O = 1057
T = 2.62		 O = 1057
T = 2.62
 O = 1057
T = 4.29
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1086
T = 3.58
 O = N/A
T = TO
 O = 1667
T = 1.28
 O = 1057
T = 5.73
 O = 1057
T = 2.81
 O = 1057
T = 3.67
 O = 1368
T = 47.55
 O = 1057
T = 9.00
 O = 1057
T = 22.88
s2v200c1700-6.wcnf O = 983
T = 2.45		 O = 983
T = 2.45
 O = 983
T = 4.36
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1004
T = 3.28
 O = N/A
T = TO
 O = 1571
T = 1.32
 O = 983
T = 3.20
 O = 983
T = 4.49
 O = 983
T = 4.77
 O = 1211
T = 76.61
 O = 983
T = 10.12
 O = 983
T = 22.52
s2v200c1700-7.wcnf O = 1043
T = 3.22		 O = 1043
T = 6.22
 O = 1043
T = 4.71
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1068
T = 2.91
 O = N/A
T = TO
 O = 1758
T = 1.70
 O = 1043
T = 4.87
 O = 1043
T = 3.22
 O = 1043
T = 4.90
 O = 1507
T = 3.84
 O = 1043
T = 8.49
 O = 1043
T = 21.63
s2v200c1800-1.wcnf O = 1066
T = 4.02		 O = 1066
T = 4.02
 O = 1066
T = 5.09
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1088
T = 4.01
 O = N/A
T = TO
 O = 1703
T = 1.19
 O = 1066
T = 6.23
 O = 1066
T = 5.82
 O = 1066
T = 4.58
 O = 1376
T = 7.48
 O = 1066
T = 8.41
 O = 1066
T = 22.31
s2v200c1800-2.wcnf O = 1083
T = 4.81		 O = 1083
T = 5.95
 O = 1083
T = 4.81
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1137
T = 2.82
 O = N/A
T = TO
 O = 1576
T = 1.16
 O = 1083
T = 6.06
 O = 1083
T = 5.10
 O = 1083
T = 5.62
 O = 1294
T = 183.64
 O = 1083
T = 8.52
 O = 1083
T = 21.93
s2v200c1800-3.wcnf O = 1104
T = 3.82		 O = 1104
T = 6.57
 O = 1104
T = 4.30
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1119
T = 3.87
 O = N/A
T = TO
 O = 1608
T = 1.29
 O = 1104
T = 4.48
 O = 1104
T = 3.82
 O = 1104
T = 4.82
 O = 1244
T = 36.79
 O = 1104
T = 8.71
 O = 1104
T = 21.72
s2v200c1800-4.wcnf O = 1107
T = 2.27		 O = 1107
T = 4.15
 O = 1107
T = 4.45
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1112
T = 3.09
 O = N/A
T = TO
 O = 1642
T = 1.44
 O = 1107
T = 2.27
 O = 1107
T = 3.36
 O = 1107
T = 5.60
 O = 1265
T = 262.97
 O = 1107
T = 9.01
 O = 1107
T = 21.80
s2v200c1800-5.wcnf O = 1097
T = 3.45		 O = 1097
T = 4.50
 O = 1097
T = 3.45
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1141
T = 4.05
 O = N/A
T = TO
 O = 1793
T = 1.41
 O = 1097
T = 3.83
 O = 1097
T = 4.02
 O = 1097
T = 4.85
 O = 1401
T = 3.09
 O = 1097
T = 8.59
 O = 1097
T = 38.44
s2v200c1800-6.wcnf O = 1112
T = 2.90		 O = 1112
T = 6.33
 O = 1112
T = 4.86
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1166
T = 4.13
 O = N/A
T = TO
 O = 1749
T = 1.05
 O = 1112
T = 2.90
 O = 1112
T = 3.03
 O = 1112
T = 5.26
 O = 1417
T = 22.93
 O = 1112
T = 9.24
 O = 1112
T = 38.39
s2v200c1800-7.wcnf O = 1060
T = 4.33		 O = 1060
T = 4.81
 O = 1060
T = 5.00
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1088
T = 3.22
 O = N/A
T = TO
 O = 1463
T = 1.09
 O = 1060
T = 6.49
 O = 1060
T = 4.33
 O = 1060
T = 4.90
 O = 1480
T = 1.12
 O = 1060
T = 8.64
 O = 1060
T = 21.85
s3v110c1000-1.wcnf O = 115
T = 2.28		 O = 115
T = 3.79
 O = 115
T = 3.15
 O = N/A
T = TO
 O = N/A
T = TO
 O = 175
T = 1.17
 O = N/A
T = TO
 O = 174
T = 1.24
 O = 115
T = 2.28
 O = 115
T = 2.98
 O = 115
T = 4.03
 O = 151
T = 69.85
 O = 115
T = 9.00
 O = 115
T = 22.40
s3v110c1000-10.wcnf O = 115
T = 1.86		 O = 115
T = 1.86
 O = 115
T = 3.32
 O = N/A
T = TO
 O = N/A
T = TO
 O = 130
T = 1.73
 O = N/A
T = TO
 O = 156
T = 2.95
 O = 115
T = 2.24
 O = 115
T = 2.41
 O = 115
T = 3.81
 O = 156
T = 0.57
 O = 115
T = 8.98
 O = 115
T = 22.69
s3v110c1000-2.wcnf O = 108
T = 2.19		 O = 108
T = 2.55
 O = 108
T = 2.88
 O = N/A
T = TO
 O = N/A
T = TO
 O = 168
T = 1.65
 O = N/A
T = TO
 O = 166
T = 2.01
 O = 108
T = 2.19
 O = 108
T = 3.67
 O = 108
T = 3.71
 O = 141
T = 125.22
 O = 108
T = 9.14
 O = 108
T = 22.28
s3v110c1000-3.wcnf O = 108
T = 1.87		 O = 108
T = 30.61
 O = 108
T = 2.91
 O = N/A
T = TO
 O = N/A
T = TO
 O = 164
T = 1.89
 O = N/A
T = TO
 O = 199
T = 1.55
 O = 108
T = 2.14
 O = 108
T = 1.87
 O = 108
T = 4.14
 O = 160
T = 11.64
 O = 108
T = 8.82
 O = 108
T = 38.21
s3v110c1000-4.wcnf O = 90
T = 1.14		 O = 90
T = 3.48
 O = 90
T = 2.12
 O = N/A
T = TO
 O = N/A
T = TO
 O = 148
T = 1.01
 O = N/A
T = TO
 O = 213
T = 2.09
 O = 90
T = 1.14
 O = 90
T = 2.41
 O = 90
T = 3.41
 O = 124
T = 5.52
 O = 90
T = 8.89
 O = 90
T = 21.69
s3v110c1000-5.wcnf O = 131
T = 2.76		 O = 131
T = 3.01
 O = 131
T = 3.16
 O = N/A
T = TO
 O = N/A
T = TO
 O = 166
T = 2.43
 O = N/A
T = TO
 O = 245
T = 0.75
 O = 131
T = 3.21
 O = 131
T = 2.84
 O = 131
T = 2.76
 O = 188
T = 1.86
 O = 131
T = 8.89
 O = 131
T = 38.33
s3v110c1000-6.wcnf O = 116
T = 2.21		 O = 116
T = 18.46
 O = 116
T = 2.72
 O = N/A
T = TO
 O = N/A
T = TO
 O = 152
T = 1.74
 O = N/A
T = TO
 O = 179
T = 2.06
 O = 116
T = 2.24
 O = 116
T = 2.21
 O = 116
T = 2.48
 O = 173
T = 2.26
 O = 116
T = 9.04
 O = 116
T = 38.71
s3v110c1000-7.wcnf O = 132
T = 2.15		 O = 132
T = 2.70
 O = 132
T = 2.88
 O = N/A
T = TO
 O = N/A
T = TO
 O = 160
T = 1.86
 O = N/A
T = TO
 O = 299
T = 1.49
 O = 132
T = 2.37
 O = 132
T = 2.15
 O = 132
T = 4.41
 O = 157
T = 2.69
 O = 132
T = 9.20
 O = 132
T = 22.92
s3v110c1000-8.wcnf O = 125
T = 2.12		 O = 125
T = 3.23
 O = 125
T = 2.41
 O = N/A
T = TO
 O = N/A
T = TO
 O = 182
T = 1.96
 O = N/A
T = TO
 O = 163
T = 2.05
 O = 125
T = 3.19
 O = 125
T = 2.12
 O = 125
T = 3.05
 O = 169
T = 0.60
 O = 125
T = 8.47
 O = 125
T = 38.15
s3v110c1000-9.wcnf O = 118
T = 1.66		 O = 118
T = 3.44
 O = 118
T = 2.47
 O = N/A
T = TO
 O = N/A
T = TO
 O = 171
T = 1.60
 O = N/A
T = TO
 O = 176
T = 245.04
 O = 118
T = 3.78
 O = 118
T = 1.66
 O = 118
T = 3.72
 O = 163
T = 17.66
 O = 118
T = 9.83
 O = 118
T = 23.27
s3v110c1100-1.wcnf O = 172
T = 1.42		 O = 172
T = 81.28
 O = 172
T = 2.42
 O = N/A
T = TO
 O = N/A
T = TO
 O = 252
T = 1.23
 O = N/A
T = TO
 O = 326
T = 0.77
 O = 172
T = 1.42
 O = 172
T = 1.81
 O = 172
T = 1.48
 O = 252
T = 2.31
 O = 172
T = 8.92
 O = 172
T = 21.98
s3v110c1100-10.wcnf O = 159
T = 2.21		 O = 159
T = 92.82
 O = 159
T = 2.84
 O = N/A
T = TO
 O = N/A
T = TO
 O = 201
T = 1.76
 O = N/A
T = TO
 O = 319
T = 0.91
 O = 159
T = 2.21
 O = 159
T = 2.58
 O = 159
T = 3.70
 O = 225
T = 14.96
 O = 159
T = 9.39
 O = 159
T = 38.82
s3v110c1100-2.wcnf O = 169
T = 2.17		 O = 169
T = 2.17
 O = 169
T = 2.77
 O = N/A
T = TO
 O = N/A
T = TO
 O = 209
T = 1.73
 O = N/A
T = TO
 O = 304
T = 10.07
 O = 169
T = 2.29
 O = 169
T = 3.51
 O = 169
T = 3.15
 O = 221
T = 63.19
 O = 169
T = 8.83
 O = 169
T = 38.40
s3v110c1100-3.wcnf O = 159
T = 1.31		 O = 159
T = 1.82
 O = 159
T = 2.29
 O = N/A
T = TO
 O = N/A
T = TO
 O = 198
T = 1.73
 O = N/A
T = TO
 O = 258
T = 1.47
 O = 159
T = 2.81
 O = 159
T = 1.31
 O = 159
T = 3.93
 O = 240
T = 8.55
 O = 159
T = 8.85
 O = 159
T = 38.72
s3v110c1100-4.wcnf O = 170
T = 1.71		 O = 170
T = 11.66
 O = 170
T = 1.82
 O = N/A
T = TO
 O = N/A
T = TO
 O = 223
T = 1.97
 O = N/A
T = TO
 O = 386
T = 0.92
 O = 170
T = 2.21
 O = 170
T = 1.71
 O = 170
T = 3.66
 O = 232
T = 4.58
 O = 170
T = 8.68
 O = 170
T = 38.26
s3v110c1100-5.wcnf O = 137
T = 2.24		 O = 137
T = 3.03
 O = 137
T = 3.23
 O = N/A
T = TO
 O = N/A
T = TO
 O = 167
T = 1.75
 O = N/A
T = TO
 O = 211
T = 1.48
 O = 137
T = 3.00
 O = 137
T = 2.24
 O = 137
T = 3.96
 O = 167
T = 139.51
 O = 137
T = 9.07
 O = 137
T = 22.03
s3v110c1100-6.wcnf O = 163
T = 1.65		 O = 163
T = 3.05
 O = 163
T = 2.36
 O = N/A
T = TO
 O = N/A
T = TO
 O = 220
T = 0.99
 O = N/A
T = TO
 O = 305
T = 1.64
 O = 163
T = 1.65
 O = 163
T = 2.67
 O = 163
T = 7.22
 O = 212
T = 1.74
 O = 163
T = 9.34
 O = 163
T = 38.82
s3v110c1100-7.wcnf O = 132
T = 2.01		 O = 134
T = 2.84
 O = 132
T = 2.01
 O = N/A
T = TO
 O = N/A
T = TO
 O = 163
T = 1.28
 O = N/A
T = TO
 O = 242
T = 0.85
 O = 132
T = 15.36
 O = 132
T = 2.93
 O = 132
T = 5.46
 O = 169
T = 216.29
 O = 132
T = 8.36
 O = 132
T = 38.40
s3v110c1100-8.wcnf O = 164
T = 2.06		 O = 164
T = 2.25
 O = 164
T = 2.06
 O = N/A
T = TO
 O = N/A
T = TO
 O = 227
T = 1.07
 O = N/A
T = TO
 O = 255
T = 0.89
 O = 164
T = 2.55
 O = 164
T = 3.36
 O = 164
T = 4.43
 O = 227
T = 183.03
 O = 164
T = 9.30
 O = 164
T = 22.49
s3v110c1100-9.wcnf O = 147
T = 1.80		 O = 147
T = 3.71
 O = 147
T = 3.87
 O = N/A
T = TO
 O = N/A
T = TO
 O = 195
T = 1.49
 O = N/A
T = TO
 O = 249
T = 1.61
 O = 147
T = 3.13
 O = 147
T = 1.80
 O = 147
T = 4.14
 O = 271
T = 75.87
 O = 147
T = 8.40
 O = 147
T = 21.44
s3v110c700-1.wcnf O = 36
T = 1.71		 O = 36
T = 2.95
 O = 36
T = 2.75
 O = N/A
T = TO
 O = N/A
T = TO
 O = 81
T = 1.59
 O = N/A
T = TO
 O = 65
T = 1.66
 O = 36
T = 3.45
 O = 36
T = 3.03
 O = 36
T = 1.71
 O = 39
T = 39.11
 O = 36
T = 9.46
 O = 36
T = 37.91
s3v110c700-10.wcnf O = 40
T = 1.60		 O = 40
T = 3.88
 O = 40
T = 2.49
 O = N/A
T = TO
 O = N/A
T = TO
 O = 73
T = 1.18
 O = N/A
T = TO
 O = 74
T = 1.19
 O = 40
T = 1.81
 O = 40
T = 1.74
 O = 40
T = 1.60
 O = 66
T = 2.61
 O = 40
T = 9.46
 O = 40
T = 22.59
s3v110c700-2.wcnf O = 29
T = 2.03		 O = 31
T = 2.31
 O = 29
T = 2.68
 O = N/A
T = TO
 O = N/A
T = TO
 O = 46
T = 1.41
 O = N/A
T = TO
 O = 39
T = 2.64
 O = 29
T = 2.19
 O = 29
T = 2.03
 O = 29
T = 4.46
 O = 31
T = 10.63
 O = 29
T = 11.58
 O = 29
T = 39.22
s3v110c700-3.wcnf O = 42
T = 1.75		 O = 42
T = 3.22
 O = 42
T = 2.45
 O = N/A
T = TO
 O = N/A
T = TO
 O = 60
T = 1.54
 O = N/A
T = TO
 O = 63
T = 41.48
 O = 42
T = 1.75
 O = 42
T = 2.93
 O = 42
T = 3.67
 O = 56
T = 35.90
 O = 42
T = 9.31
 O = 42
T = 22.98
s3v110c700-4.wcnf O = 27
T = 2.50		 O = 27
T = 3.73
 O = 27
T = 2.99
 O = N/A
T = TO
 O = N/A
T = TO
 O = 75
T = 1.55
 O = N/A
T = TO
 O = 37
T = 220.84
 O = 27
T = 2.56
 O = 27
T = 3.00
 O = 27
T = 2.50
 O = 37
T = 9.41
 O = 27
T = 9.56
 O = 27
T = 38.92
s3v110c700-5.wcnf O = 35
T = 1.81		 O = 35
T = 8.43
 O = 35
T = 2.77
 O = N/A
T = TO
 O = N/A
T = TO
 O = 47
T = 2.67
 O = N/A
T = TO
 O = 65
T = 2.07
 O = 35
T = 2.17
 O = 35
T = 1.81
 O = 35
T = 2.76
 O = 41
T = 183.51
 O = 35
T = 9.19
 O = 35
T = 21.48
s3v110c700-6.wcnf O = 50
T = 1.64		 O = 50
T = 3.44
 O = 50
T = 2.53
 O = N/A
T = TO
 O = N/A
T = TO
 O = 63
T = 1.93
 O = N/A
T = TO
 O = 60
T = 22.77
 O = 50
T = 1.82
 O = 50
T = 1.64
 O = 50
T = 3.87
 O = 55
T = 11.74
 O = 50
T = 9.09
 O = 50
T = 38.85
s3v110c700-7.wcnf O = 37
T = 2.07		 O = 37
T = 2.59
 O = 37
T = 2.66
 O = N/A
T = TO
 O = N/A
T = TO
 O = 62
T = 1.49
 O = N/A
T = TO
 O = 54
T = 6.84
 O = 37
T = 2.07
 O = 37
T = 2.67
 O = 37
T = 3.96
 O = 40
T = 9.48
 O = 37
T = 9.49
 O = 37
T = 39.21
s3v110c700-8.wcnf O = 37
T = 1.41		 O = 37
T = 2.52
 O = 37
T = 2.76
 O = N/A
T = TO
 O = N/A
T = TO
 O = 73
T = 1.04
 O = N/A
T = TO
 O = 96
T = 1.69
 O = 37
T = 2.21
 O = 37
T = 1.41
 O = 37
T = 8.15
 O = 59
T = 84.71
 O = 37
T = 9.80
 O = 37
T = 38.87
s3v110c700-9.wcnf O = 38
T = 2.12		 O = 38
T = 3.70
 O = 38
T = 2.22
 O = N/A
T = TO
 O = N/A
T = TO
 O = 70
T = 2.42
 O = N/A
T = TO
 O = 76
T = 1.52
 O = 38
T = 2.86
 O = 38
T = 2.32
 O = 38
T = 2.12
 O = 53
T = 131.17
 O = 38
T = 9.12
 O = 38
T = 22.28
s3v110c800-1.wcnf O = 51
T = 1.96		 O = 51
T = 2.99
 O = 51
T = 2.90
 O = N/A
T = TO
 O = N/A
T = TO
 O = 88
T = 1.64
 O = N/A
T = TO
 O = 105
T = 0.99
 O = 51
T = 2.28
 O = 51
T = 1.96
 O = 51
T = 3.04
 O = 60
T = 14.00
 O = 51
T = 9.00
 O = 51
T = 38.27
s3v110c800-10.wcnf O = 49
T = 1.78		 O = 49
T = 3.25
 O = 49
T = 2.73
 O = N/A
T = TO
 O = N/A
T = TO
 O = 119
T = 2.31
 O = N/A
T = TO
 O = 96
T = 1.70
 O = 49
T = 1.78
 O = 49
T = 2.14
 O = 49
T = 3.35
 O = 81
T = 247.80
 O = 49
T = 8.37
 O = 49
T = 21.42
s3v110c800-2.wcnf O = 50
T = 1.58		 O = 50
T = 2.67
 O = 50
T = 2.62
 O = N/A
T = TO
 O = N/A
T = TO
 O = 86
T = 1.77
 O = N/A
T = TO
 O = 61
T = 29.38
 O = 50
T = 1.58
 O = 50
T = 2.60
 O = 50
T = 2.83
 O = 61
T = 1.95
 O = 50
T = 9.40
 O = 50
T = 23.29
s3v110c800-3.wcnf O = 55
T = 2.01		 O = 56
T = 3.03
 O = 55
T = 3.04
 O = N/A
T = TO
 O = N/A
T = TO
 O = 84
T = 1.97
 O = N/A
T = TO
 O = 100
T = 1.52
 O = 55
T = 2.09
 O = 55
T = 2.01
 O = 55
T = 3.13
 O = 66
T = 17.69
 O = 55
T = 9.07
 O = 55
T = 38.95
s3v110c800-4.wcnf O = 53
T = 1.64		 O = 53
T = 3.05
 O = 53
T = 2.53
 O = N/A
T = TO
 O = N/A
T = TO
 O = 129
T = 1.18
 O = N/A
T = TO
 O = 89
T = 26.50
 O = 53
T = 2.57
 O = 53
T = 1.64
 O = 53
T = 3.19
 O = 66
T = 205.13
 O = 53
T = 9.27
 O = 53
T = 38.82
s3v110c800-5.wcnf O = 77
T = 1.39		 O = 77
T = 3.25
 O = 77
T = 2.87
 O = N/A
T = TO
 O = N/A
T = TO
 O = 99
T = 0.99
 O = N/A
T = TO
 O = 148
T = 1.08
 O = 77
T = 1.39
 O = 77
T = 1.45
 O = 77
T = 3.76
 O = 131
T = 1.75
 O = 77
T = 8.93
 O = 77
T = 38.15
s3v110c800-6.wcnf O = 51
T = 1.76		 O = 51
T = 2.11
 O = 51
T = 2.68
 O = N/A
T = TO
 O = N/A
T = TO
 O = 116
T = 2.06
 O = N/A
T = TO
 O = 110
T = 1.77
 O = 51
T = 2.35
 O = 51
T = 1.76
 O = 51
T = 4.21
 O = 91
T = 24.95
 O = 51
T = 9.39
 O = 51
T = 38.94
s3v110c800-7.wcnf O = 69
T = 1.68		 O = 69
T = 3.83
 O = 69
T = 2.38
 O = N/A
T = TO
 O = N/A
T = TO
 O = 121
T = 1.55
 O = N/A
T = TO
 O = 96
T = 1.27
 O = 69
T = 1.68
 O = 69
T = 2.08
 O = 69
T = 3.63
 O = 74
T = 269.90
 O = 69
T = 9.20
 O = 69
T = 22.04
s3v110c800-8.wcnf O = 53
T = 1.72		 O = 53
T = 3.41
 O = 53
T = 2.74
 O = N/A
T = TO
 O = N/A
T = TO
 O = 77
T = 2.37
 O = N/A
T = TO
 O = 107
T = 1.63
 O = 53
T = 2.20
 O = 53
T = 1.72
 O = 53
T = 3.43
 O = 57
T = 96.59
 O = 53
T = 8.88
 O = 53
T = 21.32
s3v110c800-9.wcnf O = 56
T = 1.78		 O = 56
T = 3.44
 O = 56
T = 2.80
 O = N/A
T = TO
 O = N/A
T = TO
 O = 98
T = 1.94
 O = N/A
T = TO
 O = 82
T = 19.62
 O = 56
T = 1.78
 O = 56
T = 2.92
 O = 56
T = 3.23
 O = 81
T = 177.50
 O = 56
T = 8.88
 O = 56
T = 38.51
s3v110c900-1.wcnf O = 107
T = 1.58		 O = 107
T = 3.00
 O = 107
T = 2.73
 O = N/A
T = TO
 O = N/A
T = TO
 O = 172
T = 1.80
 O = N/A
T = TO
 O = 169
T = 1.34
 O = 107
T = 1.58
 O = 107
T = 1.67
 O = 107
T = 3.42
 O = 161
T = 14.24
 O = 107
T = 8.84
 O = 107
T = 38.44
s3v110c900-10.wcnf O = 70
T = 2.21		 O = 70
T = 3.40
 O = 70
T = 3.06
 O = N/A
T = TO
 O = N/A
T = TO
 O = 141
T = 1.86
 O = N/A
T = TO
 O = 86
T = 1.77
 O = 70
T = 3.06
 O = 70
T = 2.21
 O = 70
T = 4.63
 O = 86
T = 0.46
 O = 70
T = 9.09
 O = 70
T = 38.78
s3v110c900-2.wcnf O = 66
T = 1.87		 O = 66
T = 1.95
 O = 66
T = 2.76
 O = N/A
T = TO
 O = N/A
T = TO
 O = 88
T = 2.18
 O = N/A
T = TO
 O = 124
T = 1.97
 O = 66
T = 3.46
 O = 66
T = 1.87
 O = 66
T = 3.68
 O = 72
T = 71.90
 O = 66
T = 8.85
 O = 66
T = 22.40
s3v110c900-3.wcnf O = 85
T = 1.55		 O = 85
T = 14.30
 O = 85
T = 1.94
 O = N/A
T = TO
 O = N/A
T = TO
 O = 97
T = 1.84
 O = N/A
T = TO
 O = 161
T = 1.20
 O = 85
T = 1.55
 O = 85
T = 1.85
 O = 85
T = 3.19
 O = 104
T = 121.40
 O = 85
T = 8.52
 O = 85
T = 23.41
s3v110c900-4.wcnf O = 106
T = 2.44		 O = 106
T = 3.58
 O = 106
T = 3.17
 O = N/A
T = TO
 O = N/A
T = TO
 O = 163
T = 1.26
 O = N/A
T = TO
 O = 217
T = 1.75
 O = 106
T = 6.24
 O = 106
T = 2.44
 O = 106
T = 20.30
 O = 149
T = 1.48
 O = 106
T = 12.53
 O = 106
T = 38.77
s3v110c900-5.wcnf O = 81
T = 1.72		 O = 83
T = 2.93
 O = 81
T = 2.54
 O = N/A
T = TO
 O = N/A
T = TO
 O = 90
T = 2.41
 O = N/A
T = TO
 O = 98
T = 1.70
 O = 81
T = 2.11
 O = 81
T = 1.72
 O = 81
T = 2.48
 O = 91
T = 0.75
 O = 81
T = 8.01
 O = 81
T = 22.82
s3v110c900-6.wcnf O = 92
T = 1.42		 O = 92
T = 149.81
 O = 92
T = 1.42
 O = N/A
T = TO
 O = N/A
T = TO
 O = 144
T = 1.66
 O = N/A
T = TO
 O = 124
T = 1.50
 O = 92
T = 2.22
 O = 92
T = 1.60
 O = 92
T = 6.89
 O = 116
T = 113.46
 O = 92
T = 8.88
 O = 92
T = 22.46
s3v110c900-7.wcnf O = 90
T = 2.47		 O = 90
T = 3.37
 O = 90
T = 3.04
 O = N/A
T = TO
 O = N/A
T = TO
 O = 116
T = 2.01
 O = N/A
T = TO
 O = 155
T = 1.77
 O = 90
T = 2.47
 O = 90
T = 3.34
 O = 90
T = 2.67
 O = 118
T = 67.76
 O = 90
T = 9.01
 O = 90
T = 38.60
s3v110c900-8.wcnf O = 108
T = 1.66		 O = 108
T = 2.50
 O = 108
T = 2.78
 O = N/A
T = TO
 O = N/A
T = TO
 O = 135
T = 2.37
 O = N/A
T = TO
 O = 227
T = 1.28
 O = 108
T = 1.80
 O = 108
T = 1.66
 O = 108
T = 3.78
 O = 140
T = 124.60
 O = 108
T = 10.65
 O = 108
T = 40.46
s3v110c900-9.wcnf O = 102
T = 2.19		 O = 102
T = 2.64
 O = 102
T = 3.24
 O = N/A
T = TO
 O = N/A
T = TO
 O = 173
T = 1.59
 O = N/A
T = TO
 O = 176
T = 1.61
 O = 102
T = 2.19
 O = 102
T = 2.48
 O = 102
T = 2.86
 O = 138
T = 261.21
 O = 102
T = 8.52
 O = 102
T = 21.81
s3v70c1000-1.wcnf O = 208
T = 1.32		 O = 208
T = 1.76
 O = 208
T = 1.41
 O = N/A
T = TO
 O = N/A
T = TO
 O = 254
T = 1.51
 O = N/A
T = TO
 O = 290
T = 1.51
 O = 208
T = 1.32
 O = 208
T = 1.84
 O = 208
T = 2.40
 O = 241
T = 12.85
 O = 208
T = 8.82
 O = 208
T = 21.43
s3v70c1000-2.wcnf O = 224
T = 1.76		 O = 224
T = 1.99
 O = 224
T = 2.28
 O = N/A
T = TO
 O = N/A
T = TO
 O = 255
T = 0.68
 O = N/A
T = TO
 O = 423
T = 1.27
 O = 224
T = 1.76
 O = 224
T = 2.62
 O = 224
T = 2.59
 O = 248
T = 23.71
 O = 224
T = 8.26
 O = 224
T = 21.90
s3v70c1000-3.wcnf O = 222
T = 1.66		 O = 222
T = 2.33
 O = 222
T = 1.94
 O = N/A
T = TO
 O = N/A
T = TO
 O = 272
T = 0.98
 O = N/A
T = TO
 O = 381
T = 1.45
 O = 222
T = 1.96
 O = 222
T = 1.66
 O = 222
T = 3.10
 O = 255
T = 202.80
 O = 222
T = 8.54
 O = 222
T = 21.90
s3v70c1000-4.wcnf O = 252
T = 0.87		 O = 252
T = 43.39
 O = 252
T = 0.87
 O = N/A
T = TO
 O = N/A
T = TO
 O = 262
T = 1.34
 O = N/A
T = TO
 O = 329
T = 1.50
 O = 252
T = 1.06
 O = 252
T = 1.16
 O = 252
T = 2.48
 O = 338
T = 1.52
 O = 252
T = 8.74
 O = 252
T = 21.70
s3v70c1000-5.wcnf O = 218
T = 1.12		 O = 218
T = 3.13
 O = 218
T = 2.12
 O = N/A
T = TO
 O = N/A
T = TO
 O = 279
T = 1.17
 O = N/A
T = TO
 O = 362
T = 1.53
 O = 218
T = 1.68
 O = 218
T = 1.12
 O = 218
T = 1.83
 O = 253
T = 28.73
 O = 218
T = 9.18
 O = 218
T = 21.21
s3v70c1100-1.wcnf O = 261
T = 1.39		 O = 261
T = 2.35
 O = 261
T = 1.39
 O = N/A
T = TO
 O = N/A
T = TO
 O = 317
T = 0.73
 O = N/A
T = TO
 O = 389
T = 1.16
 O = 261
T = 1.68
 O = 261
T = 1.59
 O = 261
T = 2.63
 O = 310
T = 75.18
 O = 261
T = 8.67
 O = 261
T = 21.57
s3v70c1100-2.wcnf O = 267
T = 1.06		 O = 267
T = 2.61
 O = 267
T = 1.98
 O = N/A
T = TO
 O = N/A
T = TO
 O = 341
T = 1.15
 O = N/A
T = TO
 O = 480
T = 1.05
 O = 267
T = 1.06
 O = 267
T = 1.79
 O = 267
T = 2.87
 O = 339
T = 49.61
 O = 267
T = 8.01
 O = 267
T = 21.83
s3v70c1100-3.wcnf O = 272
T = 1.36		 O = 272
T = 2.42
 O = 272
T = 2.00
 O = N/A
T = TO
 O = N/A
T = TO
 O = 309
T = 1.36
 O = N/A
T = TO
 O = 444
T = 77.71
 O = 272
T = 1.36
 O = 272
T = 1.40
 O = 272
T = 2.51
 O = 366
T = 1.28
 O = 272
T = 8.55
 O = 272
T = 21.90
s3v70c1100-4.wcnf O = 251
T = 1.43		 O = 251
T = 2.96
 O = 251
T = 2.11
 O = N/A
T = TO
 O = N/A
T = TO
 O = 270
T = 1.19
 O = N/A
T = TO
 O = 532
T = 1.55
 O = 251
T = 1.62
 O = 251
T = 1.43
 O = 251
T = 2.60
 O = 345
T = 32.80
 O = 251
T = 8.89
 O = 251
T = 21.40
s3v70c1100-5.wcnf O = 246
T = 1.18		 O = 246
T = 2.15
 O = 246
T = 1.68
 O = N/A
T = TO
 O = N/A
T = TO
 O = 261
T = 1.09
 O = N/A
T = TO
 O = 398
T = 1.38
 O = 246
T = 2.22
 O = 246
T = 1.18
 O = 246
T = 1.95
 O = 300
T = 7.01
 O = 246
T = 8.97
 O = 246
T = 21.95
s3v70c1200-1.wcnf O = 312
T = 1.27		 O = 312
T = 119.09
 O = 312
T = 1.86
 O = N/A
T = TO
 O = N/A
T = TO
 O = 339
T = 1.43
 O = N/A
T = TO
 O = 413
T = 0.66
 O = 312
T = 1.27
 O = 312
T = 1.38
 O = 312
T = 2.67
 O = 391
T = 2.40
 O = 312
T = 8.58
 O = 312
T = 22.13
s3v70c1200-2.wcnf O = 281
T = 1.37		 O = 281
T = 2.71
 O = 281
T = 2.11
 O = N/A
T = TO
 O = N/A
T = TO
 O = 315
T = 1.30
 O = N/A
T = TO
 O = 402
T = 1.54
 O = 281
T = 1.95
 O = 281
T = 1.37
 O = 281
T = 2.50
 O = 369
T = 19.70
 O = 281
T = 8.32
 O = 281
T = 21.57
s3v70c1200-3.wcnf O = 323
T = 1.17		 O = 323
T = 2.08
 O = 323
T = 2.05
 O = N/A
T = TO
 O = N/A
T = TO
 O = 380
T = 1.42
 O = N/A
T = TO
 O = 522
T = 1.30
 O = 323
T = 1.17
 O = 323
T = 1.92
 O = 323
T = 2.35
 O = 412
T = 182.19
 O = 323
T = 8.31
 O = 323
T = 21.73
s3v70c1200-4.wcnf O = 329
T = 1.22		 O = 329
T = 1.87
 O = 329
T = 2.03
 O = N/A
T = TO
 O = N/A
T = TO
 O = 338
T = 2.30
 O = N/A
T = TO
 O = 532
T = 1.54
 O = 329
T = 1.22
 O = 329
T = 1.45
 O = 329
T = 2.34
 O = 416
T = 134.22
 O = 329
T = 8.79
 O = 329
T = 21.55
s3v70c1200-5.wcnf O = 289
T = 1.06		 O = 289
T = 5.63
 O = 289
T = 1.78
 O = N/A
T = TO
 O = N/A
T = TO
 O = 356
T = 1.47
 O = N/A
T = TO
 O = 496
T = 1.40
 O = 289
T = 1.06
 O = 289
T = 1.44
 O = 289
T = 2.49
 O = 417
T = 41.54
 O = 289
T = 8.66
 O = 289
T = 21.44
s3v70c1300-1.wcnf O = 342
T = 1.51		 O = 342
T = 1.71
 O = 342
T = 2.43
 O = N/A
T = TO
 O = N/A
T = TO
 O = 389
T = 0.81
 O = N/A
T = TO
 O = 426
T = 2.83
 O = 342
T = 2.32
 O = 342
T = 1.51
 O = 342
T = 2.07
 O = 499
T = 5.94
 O = 342
T = 8.42
 O = 342
T = 22.28
s3v70c1300-2.wcnf O = 343
T = 1.23		 O = 343
T = 1.85
 O = 343
T = 1.98
 O = N/A
T = TO
 O = N/A
T = TO
 O = 391
T = 1.13
 O = N/A
T = TO
 O = 604
T = 1.82
 O = 343
T = 1.23
 O = 343
T = 1.33
 O = 343
T = 2.17
 O = 456
T = 48.04
 O = 343
T = 8.21
 O = 343
T = 21.39
s3v70c1300-3.wcnf O = 357
T = 1.56		 O = 357
T = 1.90
 O = 357
T = 2.53
 O = N/A
T = TO
 O = N/A
T = TO
 O = 406
T = 1.04
 O = N/A
T = TO
 O = 570
T = 1.36
 O = 357
T = 1.56
 O = 357
T = 1.57
 O = 357
T = 2.24
 O = 536
T = 101.77
 O = 357
T = 8.57
 O = 357
T = 21.59
s3v70c1300-4.wcnf O = 368
T = 1.56		 O = 368
T = 3.10
 O = 368
T = 1.78
 O = N/A
T = TO
 O = N/A
T = TO
 O = 406
T = 1.44
 O = N/A
T = TO
 O = 587
T = 1.38
 O = 368
T = 1.59
 O = 368
T = 1.56
 O = 368
T = 2.78
 O = 533
T = 2.42
 O = 368
T = 8.29
 O = 368
T = 22.03
s3v70c1300-5.wcnf O = 331
T = 1.39		 O = 331
T = 2.08
 O = 331
T = 2.03
 O = N/A
T = TO
 O = N/A
T = TO
 O = 356
T = 0.61
 O = N/A
T = TO
 O = 562
T = 1.30
 O = 331
T = 1.68
 O = 331
T = 1.39
 O = 331
T = 2.45
 O = 477
T = 1.34
 O = 331
T = 8.11
 O = 331
T = 21.74
s3v70c1400-1.wcnf O = 376
T = 1.11		 O = 376
T = 20.20
 O = 376
T = 1.74
 O = N/A
T = TO
 O = N/A
T = TO
 O = 416
T = 1.04
 O = N/A
T = TO
 O = 629
T = 1.47
 O = 376
T = 1.36
 O = 376
T = 1.11
 O = 376
T = 2.55
 O = 582
T = 136.72
 O = 376
T = 8.38
 O = 376
T = 21.45
s3v70c1400-2.wcnf O = 376
T = 1.12		 O = 376
T = 2.49
 O = 376
T = 1.12
 O = N/A
T = TO
 O = N/A
T = TO
 O = 406
T = 1.55
 O = N/A
T = TO
 O = 741
T = 1.58
 O = 376
T = 2.31
 O = 376
T = 2.00
 O = 376
T = 2.31
 O = 401
T = 10.36
 O = 376
T = 8.45
 O = 376
T = 21.31
s3v70c1400-3.wcnf O = 404
T = 1.17		 O = 404
T = 1.84
 O = 404
T = 1.68
 O = N/A
T = TO
 O = N/A
T = TO
 O = 424
T = 0.82
 O = N/A
T = TO
 O = 653
T = 1.38
 O = 404
T = 1.17
 O = 404
T = 2.51
 O = 404
T = 2.32
 O = 460
T = 68.93
 O = 404
T = 8.97
 O = 404
T = 21.97
s3v70c1400-4.wcnf O = 386
T = 1.53		 O = 386
T = 2.23
 O = 386
T = 2.17
 O = N/A
T = TO
 O = N/A
T = TO
 O = 386
T = 1.81
 O = N/A
T = TO
 O = 604
T = 1.76
 O = 386
T = 1.53
 O = 386
T = 2.16
 O = 386
T = 2.41
 O = 488
T = 148.97
 O = 386
T = 8.97
 O = 386
T = 21.82
s3v70c1400-5.wcnf O = 417
T = 1.40		 O = 417
T = 1.58
 O = 417
T = 1.95
 O = N/A
T = TO
 O = N/A
T = TO
 O = 479
T = 1.17
 O = N/A
T = TO
 O = 691
T = 1.25
 O = 417
T = 2.06
 O = 417
T = 1.40
 O = 417
T = 2.65
 O = 567
T = 1.38
 O = 417
T = 8.91
 O = 417
T = 21.43
s3v70c1500-1.wcnf O = 447
T = 0.98		 O = 447
T = 2.77
 O = 447
T = 2.62
 O = N/A
T = TO
 O = N/A
T = TO
 O = 447
T = 1.71
 O = N/A
T = TO
 O = 643
T = 1.44
 O = 447
T = 0.98
 O = 447
T = 1.58
 O = 447
T = 2.67
 O = 585
T = 172.28
 O = 447
T = 8.36
 O = 447
T = 21.45
s3v70c1500-2.wcnf O = 441
T = 1.01		 O = 441
T = 2.55
 O = 441
T = 2.45
 O = N/A
T = TO
 O = N/A
T = TO
 O = 531
T = 0.59
 O = N/A
T = TO
 O = 713
T = 1.67
 O = 441
T = 1.51
 O = 441
T = 1.01
 O = 441
T = 3.01
 O = 598
T = 8.81
 O = 441
T = 8.90
 O = 441
T = 21.90
s3v70c1500-3.wcnf O = 399
T = 1.14		 O = 399
T = 2.63
 O = 399
T = 2.01
 O = N/A
T = TO
 O = N/A
T = TO
 O = 467
T = 1.11
 O = N/A
T = TO
 O = 661
T = 1.78
 O = 399
T = 1.14
 O = 399
T = 1.91
 O = 399
T = 2.47
 O = 408
T = 146.05
 O = 399
T = 8.45
 O = 399
T = 22.16
s3v70c1500-4.wcnf O = 423
T = 1.72		 O = 423
T = 2.25
 O = 423
T = 2.43
 O = N/A
T = TO
 O = N/A
T = TO
 O = 497
T = 1.17
 O = N/A
T = TO
 O = 610
T = 1.54
 O = 423
T = 1.72
 O = 423
T = 2.33
 O = 423
T = 2.17
 O = 573
T = 15.37
 O = 423
T = 8.66
 O = 423
T = 21.85
s3v70c1500-5.wcnf O = 435
T = 1.00		 O = 435
T = 16.22
 O = 435
T = 2.09
 O = N/A
T = TO
 O = N/A
T = TO
 O = 473
T = 1.30
 O = N/A
T = TO
 O = 577
T = 1.31
 O = 435
T = 1.00
 O = 435
T = 1.65
 O = 435
T = 16.31
 O = 541
T = 94.93
 O = 435
T = 8.80
 O = 435
T = 21.74
s3v70c700-1.wcnf O = 101
T = 1.13		 O = 101
T = 2.32
 O = 101
T = 1.47
 O = N/A
T = TO
 O = N/A
T = TO
 O = 127
T = 1.54
 O = N/A
T = TO
 O = 151
T = 2.02
 O = 101
T = 1.36
 O = 101
T = 1.13
 O = 101
T = 1.33
 O = 108
T = 5.85
 O = 101
T = 8.74
 O = 101
T = 21.33
s3v70c700-2.wcnf O = 93
T = 1.34		 O = 93
T = 2.17
 O = 93
T = 1.34
 O = N/A
T = TO
 O = N/A
T = TO
 O = 177
T = 1.05
 O = N/A
T = TO
 O = 135
T = 1.84
 O = 93
T = 1.83
 O = 93
T = 1.51
 O = 93
T = 2.52
 O = 100
T = 213.65
 O = 93
T = 8.71
 O = 93
T = 21.59
s3v70c700-3.wcnf O = 110
T = 1.77		 O = 110
T = 2.42
 O = 110
T = 2.23
 O = N/A
T = TO
 O = N/A
T = TO
 O = 116
T = 1.64
 O = N/A
T = TO
 O = 161
T = 2.43
 O = 110
T = 1.77
 O = 110
T = 2.50
 O = 110
T = 2.78
 O = 123
T = 1.43
 O = 110
T = 8.94
 O = 110
T = 22.16
s3v70c700-4.wcnf O = 94
T = 1.61		 O = 94
T = 2.06
 O = 94
T = 1.61
 O = N/A
T = TO
 O = N/A
T = TO
 O = 162
T = 1.19
 O = N/A
T = TO
 O = 143
T = 1.85
 O = 94
T = 1.90
 O = 94
T = 1.86
 O = 94
T = 2.92
 O = 134
T = 62.60
 O = 94
T = 8.92
 O = 94
T = 21.46
s3v70c700-5.wcnf O = 83
T = 1.91		 O = 83
T = 2.35
 O = 83
T = 2.78
 O = N/A
T = TO
 O = N/A
T = TO
 O = 130
T = 1.55
 O = N/A
T = TO
 O = 111
T = 15.67
 O = 83
T = 1.91
 O = 83
T = 1.98
 O = 83
T = 2.53
 O = 86
T = 18.52
 O = 83
T = 8.56
 O = 83
T = 21.11
s3v70c800-1.wcnf O = 126
T = 1.09		 O = 126
T = 2.57
 O = 126
T = 1.09
 O = N/A
T = TO
 O = N/A
T = TO
 O = 146
T = 1.60
 O = N/A
T = TO
 O = 206
T = 2.05
 O = 126
T = 2.09
 O = 126
T = 1.20
 O = 126
T = 2.60
 O = 159
T = 7.34
 O = 126
T = 8.67
 O = 126
T = 21.46
s3v70c800-2.wcnf O = 129
T = 1.27		 O = 129
T = 1.89
 O = 129
T = 1.27
 O = N/A
T = TO
 O = N/A
T = TO
 O = 198
T = 1.17
 O = N/A
T = TO
 O = 209
T = 1.98
 O = 129
T = 1.50
 O = 129
T = 1.40
 O = 129
T = 2.38
 O = 161
T = 19.57
 O = 129
T = 8.72
 O = 129
T = 21.63
s3v70c800-3.wcnf O = 152
T = 1.15		 O = 152
T = 1.15
 O = 152
T = 2.09
 O = N/A
T = TO
 O = N/A
T = TO
 O = 178
T = 0.94
 O = N/A
T = TO
 O = 264
T = 1.74
 O = 152
T = 1.67
 O = 152
T = 2.24
 O = 152
T = 2.03
 O = 188
T = 2.31
 O = 152
T = 9.03
 O = 152
T = 21.09
s3v70c800-4.wcnf O = 133
T = 1.48		 O = 133
T = 1.82
 O = 133
T = 1.56
 O = N/A
T = TO
 O = N/A
T = TO
 O = 155
T = 0.91
 O = N/A
T = TO
 O = 183
T = 56.60
 O = 133
T = 1.81
 O = 133
T = 1.48
 O = 133
T = 2.55
 O = 134
T = 46.29
 O = 133
T = 8.61
 O = 133
T = 21.70
s3v70c800-5.wcnf O = 136
T = 1.48		 O = 136
T = 2.14
 O = 136
T = 2.51
 O = N/A
T = TO
 O = N/A
T = TO
 O = 175
T = 0.73
 O = N/A
T = TO
 O = 181
T = 1.85
 O = 136
T = 1.48
 O = 136
T = 1.88
 O = 136
T = 2.44
 O = 178
T = 26.25
 O = 136
T = 9.02
 O = 136
T = 21.36
s3v70c900-1.wcnf O = 176
T = 1.57		 O = 176
T = 2.51
 O = 176
T = 2.17
 O = N/A
T = TO
 O = N/A
T = TO
 O = 176
T = 1.68
 O = N/A
T = TO
 O = 406
T = 1.62
 O = 176
T = 1.59
 O = 176
T = 1.57
 O = 176
T = 2.21
 O = 233
T = 2.08
 O = 176
T = 8.71
 O = 176
T = 21.61
s3v70c900-2.wcnf O = 151
T = 1.58		 O = 151
T = 2.59
 O = 151
T = 1.92
 O = N/A
T = TO
 O = N/A
T = TO
 O = 229
T = 0.96
 O = N/A
T = TO
 O = 251
T = 3.18
 O = 151
T = 1.58
 O = 151
T = 2.34
 O = 151
T = 1.91
 O = 235
T = 29.59
 O = 151
T = 8.90
 O = 151
T = 21.27
s3v70c900-3.wcnf O = 147
T = 2.21		 O = 147
T = 2.60
 O = 147
T = 2.21
 O = N/A
T = TO
 O = N/A
T = TO
 O = 203
T = 1.02
 O = N/A
T = TO
 O = 213
T = 10.44
 O = 147
T = 2.29
 O = 147
T = 2.26
 O = 147
T = 2.43
 O = 224
T = 7.50
 O = 147
T = 8.59
 O = 147
T = 21.95
s3v70c900-4.wcnf O = 187
T = 1.58		 O = 187
T = 2.45
 O = 187
T = 2.03
 O = N/A
T = TO
 O = N/A
T = TO
 O = 240
T = 0.84
 O = N/A
T = TO
 O = 256
T = 121.59
 O = 187
T = 1.58
 O = 187
T = 1.71
 O = 187
T = 2.12
 O = 245
T = 36.94
 O = 187
T = 8.07
 O = 187
T = 21.41
s3v70c900-5.wcnf O = 130
T = 1.34		 O = 130
T = 2.31
 O = 130
T = 2.75
 O = N/A
T = TO
 O = N/A
T = TO
 O = 130
T = 1.34
 O = N/A
T = TO
 O = 239
T = 2.04
 O = 130
T = 1.96
 O = 130
T = 1.71
 O = 130
T = 2.33
 O = 153
T = 37.30
 O = 130
T = 8.41
 O = 130
T = 21.31
s3v90c1000-1.wcnf O = 178
T = 1.65		 O = 178
T = 2.28
 O = 178
T = 2.65
 O = N/A
T = TO
 O = N/A
T = TO
 O = 197
T = 1.44
 O = N/A
T = TO
 O = 352
T = 1.82
 O = 178
T = 2.70
 O = 178
T = 1.65
 O = 178
T = 3.27
 O = 214
T = 132.37
 O = 178
T = 8.21
 O = 178
T = 22.39
s3v90c1000-2.wcnf O = 155
T = 2.07		 O = 155
T = 2.84
 O = 155
T = 2.71
 O = N/A
T = TO
 O = N/A
T = TO
 O = 159
T = 2.34
 O = N/A
T = TO
 O = 222
T = 289.95
 O = 155
T = 2.94
 O = 155
T = 2.07
 O = 155
T = 2.38
 O = 221
T = 129.46
 O = 155
T = 8.86
 O = 155
T = 21.75
s3v90c1000-3.wcnf O = 157
T = 1.98		 O = 157
T = 3.38
 O = 157
T = 2.68
 O = N/A
T = TO
 O = N/A
T = TO
 O = 195
T = 1.24
 O = N/A
T = TO
 O = 283
T = 1.60
 O = 157
T = 1.98
 O = 157
T = 2.22
 O = 157
T = 3.03
 O = 218
T = 10.17
 O = 157
T = 8.11
 O = 157
T = 21.95
s3v90c1000-4.wcnf O = 177
T = 2.29		 O = 177
T = 3.59
 O = 177
T = 2.93
 O = N/A
T = TO
 O = N/A
T = TO
 O = 224
T = 0.92
 O = N/A
T = TO
 O = 254
T = 18.89
 O = 177
T = 2.29
 O = 177
T = 2.65
 O = 177
T = 3.77
 O = 245
T = 238.97
 O = 177
T = 8.66
 O = 177
T = 21.75
s3v90c1000-5.wcnf O = 170
T = 1.56		 O = 170
T = 3.19
 O = 170
T = 3.00
 O = N/A
T = TO
 O = N/A
T = TO
 O = 242
T = 1.64
 O = N/A
T = TO
 O = 255
T = 1.41
 O = 170
T = 1.56
 O = 170
T = 2.10
 O = 170
T = 1.58
 O = 217
T = 8.52
 O = 170
T = 8.47
 O = 170
T = 38.66
s3v90c1000-6.wcnf O = 163
T = 1.89		 O = 163
T = 2.71
 O = 163
T = 2.68
 O = N/A
T = TO
 O = N/A
T = TO
 O = 245
T = 0.79
 O = N/A
T = TO
 O = 260
T = 1.83
 O = 163
T = 3.19
 O = 163
T = 1.92
 O = 163
T = 1.89
 O = 209
T = 38.56
 O = 163
T = 9.43
 O = 163
T = 22.35
s3v90c1000-7.wcnf O = 186
T = 1.57		 O = 186
T = 2.25
 O = 186
T = 2.05
 O = N/A
T = TO
 O = N/A
T = TO
 O = 200
T = 1.71
 O = N/A
T = TO
 O = 292
T = 2.02
 O = 186
T = 2.17
 O = 186
T = 1.57
 O = 186
T = 2.59
 O = 200
T = 117.06
 O = 186
T = 8.93
 O = 186
T = 21.23
s3v90c1100-1.wcnf O = 192
T = 1.40		 O = 192
T = 2.60
 O = 192
T = 2.65
 O = N/A
T = TO
 O = N/A
T = TO
 O = 218
T = 1.47
 O = N/A
T = TO
 O = 292
T = 1.46
 O = 192
T = 1.81
 O = 192
T = 1.40
 O = 192
T = 1.42
 O = 246
T = 60.42
 O = 192
T = 8.67
 O = 192
T = 21.36
s3v90c1100-2.wcnf O = 210
T = 2.16		 O = 210
T = 2.70
 O = 210
T = 2.44
 O = N/A
T = TO
 O = N/A
T = TO
 O = 240
T = 1.85
 O = N/A
T = TO
 O = 323
T = 1.55
 O = 210
T = 2.16
 O = 210
T = 2.51
 O = 210
T = 2.68
 O = 301
T = 2.76
 O = 210
T = 9.20
 O = 210
T = 23.40
s3v90c1100-3.wcnf O = 203
T = 2.33		 O = 203
T = 2.69
 O = 203
T = 2.40
 O = N/A
T = TO
 O = N/A
T = TO
 O = 210
T = 1.78
 O = N/A
T = TO
 O = 360
T = 1.88
 O = 203
T = 2.33
 O = 203
T = 3.32
 O = 203
T = 3.44
 O = 276
T = 2.01
 O = 203
T = 8.84
 O = 203
T = 21.79
s3v90c1100-4.wcnf O = 209
T = 2.13		 O = 209
T = 2.74
 O = 209
T = 2.71
 O = N/A
T = TO
 O = N/A
T = TO
 O = 241
T = 1.84
 O = N/A
T = TO
 O = 281
T = 44.12
 O = 209
T = 2.13
 O = 209
T = 2.67
 O = 209
T = 3.55
 O = 281
T = 3.63
 O = 209
T = 8.94
 O = 209
T = 21.91
s3v90c1100-5.wcnf O = 211
T = 1.93		 O = 211
T = 2.08
 O = 211
T = 2.63
 O = N/A
T = TO
 O = N/A
T = TO
 O = 260
T = 1.72
 O = N/A
T = TO
 O = 322
T = 1.59
 O = 211
T = 3.19
 O = 211
T = 1.93
 O = 211
T = 3.57
 O = 338
T = 5.32
 O = 211
T = 9.24
 O = 211
T = 21.22
s3v90c1100-6.wcnf O = 200
T = 1.61		 O = 200
T = 3.40
 O = 200
T = 2.35
 O = N/A
T = TO
 O = N/A
T = TO
 O = 280
T = 1.61
 O = N/A
T = TO
 O = 315
T = 4.43
 O = 200
T = 1.66
 O = 200
T = 1.61
 O = 200
T = 2.96
 O = 250
T = 123.52
 O = 200
T = 8.33
 O = 200
T = 21.65
s3v90c1100-7.wcnf O = 194
T = 1.01		 O = 194
T = 3.34
 O = 194
T = 2.28
 O = N/A
T = TO
 O = N/A
T = TO
 O = 204
T = 2.06
 O = N/A
T = TO
 O = 280
T = 1.85
 O = 194
T = 2.22
 O = 194
T = 1.01
 O = 194
T = 3.12
 O = 279
T = 190.82
 O = 194
T = 8.33
 O = 194
T = 21.42
s3v90c1200-1.wcnf O = 251
T = 1.72		 O = 251
T = 4.04
 O = 251
T = 1.72
 O = N/A
T = TO
 O = N/A
T = TO
 O = 256
T = 1.83
 O = N/A
T = TO
 O = 393
T = 1.46
 O = 251
T = 3.27
 O = 251
T = 2.66
 O = 251
T = 3.09
 O = 337
T = 1.39
 O = 251
T = 8.03
 O = 251
T = 21.39
s3v90c1200-2.wcnf O = 215
T = 0.89		 O = 215
T = 2.80
 O = 215
T = 2.01
 O = N/A
T = TO
 O = N/A
T = TO
 O = 249
T = 1.48
 O = N/A
T = TO
 O = 330
T = 2.59
 O = 215
T = 3.08
 O = 215
T = 0.89
 O = 215
T = 2.54
 O = 265
T = 158.94
 O = 215
T = 8.38
 O = 215
T = 22.24
s3v90c1200-3.wcnf O = 245
T = 2.19		 O = 245
T = 3.71
 O = 245
T = 3.03
 O = N/A
T = TO
 O = N/A
T = TO
 O = 308
T = 1.12
 O = N/A
T = TO
 O = 470
T = 0.76
 O = 245
T = 2.57
 O = 245
T = 2.19
 O = 245
T = 2.94
 O = 350
T = 5.73
 O = 245
T = 9.24
 O = 245
T = 21.53
s3v90c1200-4.wcnf O = 238
T = 2.71		 O = 238
T = 99.76
 O = 238
T = 2.71
 O = N/A
T = TO
 O = N/A
T = TO
 O = 272
T = 2.38
 O = N/A
T = TO
 O = 428
T = 1.94
 O = 238
T = 2.99
 O = 238
T = 2.78
 O = 238
T = 2.81
 O = 378
T = 3.60
 O = 238
T = 8.47
 O = 238
T = 21.76
s3v90c1200-5.wcnf O = 247
T = 1.77		 O = 247
T = 2.49
 O = 247
T = 3.40
 O = N/A
T = TO
 O = N/A
T = TO
 O = 304
T = 1.52
 O = N/A
T = TO
 O = 473
T = 1.64
 O = 247
T = 2.11
 O = 247
T = 1.77
 O = 247
T = 2.67
 O = 288
T = 84.55
 O = 247
T = 8.32
 O = 247
T = 21.88
s3v90c1200-6.wcnf O = 261
T = 2.07		 O = 261
T = 118.30
 O = 261
T = 2.23
 O = N/A
T = TO
 O = N/A
T = TO
 O = 295
T = 2.22
 O = N/A
T = TO
 O = 481
T = 0.97
 O = 261
T = 2.99
 O = 261
T = 2.07
 O = 261
T = 2.35
 O = 343
T = 260.23
 O = 261
T = 8.18
 O = 261
T = 21.48
s3v90c1200-7.wcnf O = 225
T = 2.16		 O = 225
T = 2.78
 O = 225
T = 2.16
 O = N/A
T = TO
 O = N/A
T = TO
 O = 304
T = 1.49
 O = N/A
T = TO
 O = 325
T = 206.37
 O = 225
T = 2.70
 O = 225
T = 2.72
 O = 225
T = 3.04
 O = 279
T = 220.05
 O = 225
T = 8.39
 O = 225
T = 21.40
s3v90c1300-1.wcnf O = 244
T = 2.04		 O = 244
T = 3.02
 O = 244
T = 2.17
 O = N/A
T = TO
 O = N/A
T = TO
 O = 255
T = 2.40
 O = N/A
T = TO
 O = 372
T = 0.77
 O = 244
T = 2.24
 O = 244
T = 2.04
 O = 244
T = 3.27
 O = 312
T = 23.17
 O = 244
T = 8.04
 O = 244
T = 21.25
s3v90c1300-2.wcnf O = 314
T = 2.14		 O = 314
T = 42.65
 O = 314
T = 2.61
 O = N/A
T = TO
 O = N/A
T = TO
 O = 370
T = 1.11
 O = N/A
T = TO
 O = 487
T = 0.93
 O = 314
T = 2.64
 O = 314
T = 2.14
 O = 314
T = 3.52
 O = 583
T = 1.55
 O = 314
T = 8.51
 O = 314
T = 21.78
s3v90c1300-3.wcnf O = 267
T = 2.22		 O = 267
T = 2.59
 O = 267
T = 3.76
 O = N/A
T = TO
 O = N/A
T = TO
 O = 383
T = 1.16
 O = N/A
T = TO
 O = 508
T = 1.78
 O = 267
T = 2.34
 O = 267
T = 2.22
 O = 267
T = 2.77
 O = 411
T = 13.39
 O = 267
T = 8.07
 O = 267
T = 21.41
s3v90c1300-4.wcnf O = 264
T = 1.33		 O = 264
T = 5.26
 O = 264
T = 3.51
 O = N/A
T = TO
 O = N/A
T = TO
 O = 287
T = 2.17
 O = N/A
T = TO
 O = 439
T = 1.16
 O = 264
T = 2.38
 O = 264
T = 1.33
 O = 264
T = 2.48
 O = 308
T = 18.81
 O = 264
T = 8.31
 O = 264
T = 21.46
s3v90c1300-5.wcnf O = 286
T = 2.41		 O = 286
T = 2.81
 O = 286
T = 3.46
 O = N/A
T = TO
 O = N/A
T = TO
 O = 352
T = 1.42
 O = N/A
T = TO
 O = 476
T = 1.69
 O = 286
T = 2.56
 O = 286
T = 2.41
 O = 286
T = 3.13
 O = 491
T = 8.62
 O = 286
T = 8.23
 O = 286
T = 21.96
s3v90c1300-6.wcnf O = 286
T = 1.90		 O = 286
T = 4.41
 O = 286
T = 2.36
 O = N/A
T = TO
 O = N/A
T = TO
 O = 310
T = 1.38
 O = N/A
T = TO
 O = 457
T = 1.97
 O = 286
T = 2.05
 O = 286
T = 1.90
 O = 286
T = 3.07
 O = 367
T = 72.99
 O = 286
T = 8.34
 O = 286
T = 21.81
s3v90c1300-7.wcnf O = 257
T = 0.93		 O = 257
T = 3.27
 O = 257
T = 3.34
 O = N/A
T = TO
 O = N/A
T = TO
 O = 333
T = 1.63
 O = N/A
T = TO
 O = 511
T = 1.83
 O = 257
T = 0.93
 O = 257
T = 2.28
 O = 257
T = 2.84
 O = 316
T = 1.75
 O = 257
T = 8.41
 O = 257
T = 21.27
s3v90c700-1.wcnf O = 61
T = 1.78		 O = 61
T = 2.29
 O = 61
T = 2.33
 O = N/A
T = TO
 O = N/A
T = TO
 O = 91
T = 1.83
 O = N/A
T = TO
 O = 103
T = 4.46
 O = 61
T = 1.87
 O = 61
T = 1.78
 O = 61
T = 3.56
 O = 81
T = 3.22
 O = 61
T = 8.60
 O = 61
T = 21.93
s3v90c700-2.wcnf O = 52
T = 1.80		 O = 52
T = 2.44
 O = 52
T = 2.81
 O = N/A
T = TO
 O = N/A
T = TO
 O = 69
T = 1.55
 O = N/A
T = TO
 O = 78
T = 2.22
 O = 52
T = 2.01
 O = 52
T = 2.13
 O = 52
T = 1.80
 O = 63
T = 142.82
 O = 52
T = 8.07
 O = 52
T = 21.50
s3v90c700-3.wcnf O = 63
T = 1.04		 O = 63
T = 3.09
 O = 63
T = 3.13
 O = N/A
T = TO
 O = N/A
T = TO
 O = 89
T = 1.87
 O = N/A
T = TO
 O = 128
T = 2.13
 O = 63
T = 1.04
 O = 63
T = 2.04
 O = 63
T = 3.05
 O = 81
T = 124.48
 O = 63
T = 8.21
 O = 63
T = 22.59
s3v90c700-4.wcnf O = 65
T = 1.28		 O = 65
T = 2.62
 O = 65
T = 2.90
 O = N/A
T = TO
 O = N/A
T = TO
 O = 100
T = 2.00
 O = N/A
T = TO
 O = 124
T = 1.55
 O = 65
T = 1.28
 O = 65
T = 2.44
 O = 65
T = 2.61
 O = 88
T = 34.83
 O = 65
T = 8.66
 O = 65
T = 21.70
s3v90c700-5.wcnf O = 61
T = 1.56		 O = 61
T = 2.07
 O = 61
T = 1.84
 O = N/A
T = TO
 O = N/A
T = TO
 O = 102
T = 1.25
 O = N/A
T = TO
 O = 115
T = 1.83
 O = 61
T = 1.90
 O = 61
T = 1.56
 O = 61
T = 3.46
 O = 72
T = 66.65
 O = 61
T = 8.99
 O = 61
T = 21.28
s3v90c700-6.wcnf O = 66
T = 1.18		 O = 66
T = 3.13
 O = 66
T = 2.09
 O = N/A
T = TO
 O = N/A
T = TO
 O = 103
T = 1.41
 O = N/A
T = TO
 O = 95
T = 43.33
 O = 66
T = 1.18
 O = 66
T = 2.85
 O = 66
T = 2.66
 O = 77
T = 12.78
 O = 66
T = 8.33
 O = 66
T = 21.75
s3v90c700-7.wcnf O = 54
T = 1.99		 O = 54
T = 2.62
 O = 54
T = 2.76
 O = N/A
T = TO
 O = N/A
T = TO
 O = 109
T = 1.15
 O = N/A
T = TO
 O = 58
T = 66.84
 O = 54
T = 1.99
 O = 54
T = 2.51
 O = 54
T = 3.70
 O = 58
T = 6.59
 O = 54
T = 8.65
 O = 54
T = 22.61
s3v90c800-1.wcnf O = 97
T = 2.08		 O = 97
T = 2.25
 O = 97
T = 3.66
 O = N/A
T = TO
 O = N/A
T = TO
 O = 128
T = 1.32
 O = N/A
T = TO
 O = 158
T = 1.84
 O = 97
T = 2.08
 O = 97
T = 2.65
 O = 97
T = 3.39
 O = 124
T = 184.19
 O = 97
T = 8.84
 O = 97
T = 21.53
s3v90c800-2.wcnf O = 95
T = 2.21		 O = 95
T = 2.61
 O = 95
T = 2.53
 O = N/A
T = TO
 O = N/A
T = TO
 O = 141
T = 1.26
 O = N/A
T = TO
 O = 156
T = 4.78
 O = 95
T = 2.21
 O = 95
T = 3.17
 O = 95
T = 3.91
 O = 150
T = 267.44
 O = 95
T = 8.48
 O = 95
T = 21.68
s3v90c800-3.wcnf O = 83
T = 2.14		 O = 83
T = 2.14
 O = 83
T = 3.15
 O = N/A
T = TO
 O = N/A
T = TO
 O = 147
T = 1.57
 O = N/A
T = TO
 O = 109
T = 1.82
 O = 83
T = 2.33
 O = 83
T = 2.21
 O = 83
T = 3.45
 O = 115
T = 106.12
 O = 83
T = 8.49
 O = 83
T = 21.46
s3v90c800-4.wcnf O = 82
T = 2.00		 O = 82
T = 3.07
 O = 82
T = 2.16
 O = N/A
T = TO
 O = N/A
T = TO
 O = 114
T = 1.77
 O = N/A
T = TO
 O = 143
T = 3.92
 O = 82
T = 2.00
 O = 82
T = 2.49
 O = 82
T = 3.17
 O = 117
T = 6.08
 O = 82
T = 8.50
 O = 82
T = 21.92
s3v90c800-5.wcnf O = 103
T = 1.31		 O = 103
T = 2.54
 O = 103
T = 3.00
 O = N/A
T = TO
 O = N/A
T = TO
 O = 157
T = 1.13
 O = N/A
T = TO
 O = 171
T = 2.25
 O = 103
T = 1.31
 O = 103
T = 2.09
 O = 103
T = 2.94
 O = 134
T = 10.83
 O = 103
T = 8.15
 O = 103
T = 21.89
s3v90c800-6.wcnf O = 82
T = 1.85		 O = 82
T = 2.82
 O = 82
T = 2.25
 O = N/A
T = TO
 O = N/A
T = TO
 O = 104
T = 1.73
 O = N/A
T = TO
 O = 146
T = 15.67
 O = 82
T = 1.92
 O = 82
T = 1.85
 O = 82
T = 3.63
 O = 99
T = 65.67
 O = 82
T = 8.53
 O = 82
T = 21.68
s3v90c800-7.wcnf O = 102
T = 1.68		 O = 102
T = 3.70
 O = 102
T = 3.20
 O = N/A
T = TO
 O = N/A
T = TO
 O = 180
T = 1.71
 O = N/A
T = TO
 O = 202
T = 1.91
 O = 102
T = 1.91
 O = 102
T = 1.68
 O = 102
T = 3.03
 O = 115
T = 24.03
 O = 102
T = 9.14
 O = 102
T = 21.55
s3v90c900-1.wcnf O = 122
T = 1.88		 O = 122
T = 2.22
 O = 122
T = 2.71
 O = N/A
T = TO
 O = N/A
T = TO
 O = 173
T = 1.26
 O = N/A
T = TO
 O = 254
T = 1.80
 O = 122
T = 1.88
 O = 122
T = 3.97
 O = 122
T = 3.73
 O = 206
T = 2.38
 O = 122
T = 8.54
 O = 122
T = 21.65
s3v90c900-2.wcnf O = 124
T = 1.26		 O = 124
T = 3.20
 O = 124
T = 2.94
 O = N/A
T = TO
 O = N/A
T = TO
 O = 194
T = 1.44
 O = N/A
T = TO
 O = 213
T = 191.18
 O = 124
T = 1.26
 O = 124
T = 2.96
 O = 124
T = 3.36
 O = 173
T = 25.36
 O = 124
T = 8.70
 O = 124
T = 22.00
s3v90c900-3.wcnf O = 135
T = 1.49		 O = 135
T = 3.60
 O = 135
T = 2.52
 O = N/A
T = TO
 O = N/A
T = TO
 O = 141
T = 1.72
 O = N/A
T = TO
 O = 222
T = 1.78
 O = 135
T = 2.33
 O = 135
T = 1.49
 O = 135
T = 3.07
 O = 159
T = 173.78
 O = 135
T = 9.19
 O = 135
T = 21.80
s3v90c900-4.wcnf O = 132
T = 2.10		 O = 132
T = 2.90
 O = 132
T = 2.90
 O = N/A
T = TO
 O = N/A
T = TO
 O = 168
T = 1.86
 O = N/A
T = TO
 O = 150
T = 4.73
 O = 132
T = 2.42
 O = 132
T = 2.10
 O = 132
T = 3.20
 O = 147
T = 1.13
 O = 132
T = 8.38
 O = 132
T = 21.54
s3v90c900-5.wcnf O = 120
T = 1.54		 O = 120
T = 2.16
 O = 120
T = 3.01
 O = N/A
T = TO
 O = N/A
T = TO
 O = 120
T = 1.54
 O = N/A
T = TO
 O = 220
T = 1.71
 O = 120
T = 1.78
 O = 120
T = 2.73
 O = 120
T = 3.07
 O = 137
T = 141.62
 O = 120
T = 8.77
 O = 120
T = 23.02
s3v90c900-6.wcnf O = 117
T = 2.04		 O = 117
T = 2.93
 O = 117
T = 2.79
 O = N/A
T = TO
 O = N/A
T = TO
 O = 123
T = 2.79
 O = N/A
T = TO
 O = 177
T = 4.37
 O = 117
T = 2.37
 O = 117
T = 2.04
 O = 117
T = 3.40
 O = 136
T = 257.67
 O = 117
T = 8.22
 O = 117
T = 21.48
s3v90c900-7.wcnf O = 145
T = 1.19		 O = 145
T = 2.96
 O = 145
T = 3.09
 O = N/A
T = TO
 O = N/A
T = TO
 O = 193
T = 1.16
 O = N/A
T = TO
 O = 204
T = 3.56
 O = 145
T = 1.19
 O = 145
T = 2.14
 O = 145
T = 2.02
 O = 165
T = 7.56
 O = 145
T = 8.41
 O = 145
T = 22.77
file_rwpms_wcnf_L2_V150_C4000_H150_0.wcnf O = 4231
T = 0.27		 O = 4231
T = 2.03
 O = 4231
T = 1.25
 O = 4231
T = 1.07
 O = 4231
T = 1.44
 O = 4314
T = 0.66
 O = N/A
T = TO
 O = 5097
T = 1.24
 O = 4231
T = 0.27
 O = 4231
T = 0.44
 O = N/A
T = TO
 O = N/A
T = TO
 O = 4231
T = 9.77
 O = 4231
T = 42.03
file_rwpms_wcnf_L2_V150_C4000_H150_1.wcnf O = N/A
T = TO		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
file_rwpms_wcnf_L2_V150_C4000_H150_2.wcnf O = 4235
T = 0.43		 O = 4235
T = 1.97
 O = 4235
T = 30.64
 O = 4235
T = 0.83
 O = 4235
T = 1.08
 O = 4268
T = 0.54
 O = N/A
T = TO
 O = 5240
T = 1.29
 O = 4235
T = 92.54
 O = 4235
T = 0.43
 O = N/A
T = TO
 O = N/A
T = TO
 O = 4235
T = 26.85
 O = 4235
T = 42.47
file_rwpms_wcnf_L2_V150_C4000_H150_3.wcnf O = 4037
T = 0.32		 O = 4037
T = 4.18
 O = 4037
T = 1.28
 O = 4037
T = 1.24
 O = 4037
T = 1.25
 O = 4037
T = 1.81
 O = N/A
T = TO
 O = 5188
T = 0.85
 O = 4037
T = 0.32
 O = 4037
T = 1.10
 O = N/A
T = TO
 O = N/A
T = TO
 O = 4037
T = 8.79
 O = 4037
T = 22.60
file_rwpms_wcnf_L2_V150_C4000_H150_4.wcnf O = 4031
T = 0.46		 O = 4031
T = 2.79
 O = 4031
T = 2.46
 O = 4031
T = 0.58
 O = 4031
T = 0.54
 O = 4031
T = 1.43
 O = N/A
T = TO
 O = 5311
T = 1.38
 O = 4031
T = 0.46
 O = 4031
T = 0.79
 O = N/A
T = TO
 O = 4369
T = 174.42
 O = 4031
T = 9.63
 O = 4031
T = 21.84
file_rwpms_wcnf_L2_V150_C4000_H150_5.wcnf O = 4144
T = 0.80		 O = 4144
T = 2.03
 O = 4144
T = 0.80
 O = 4144
T = 1.93
 O = 4144
T = 2.50
 O = 4268
T = 0.20
 O = N/A
T = TO
 O = 5231
T = 0.99
 O = 4144
T = 1.25
 O = 4144
T = 1.74
 O = N/A
T = TO
 O = 4483
T = 15.81
 O = 4144
T = 8.60
 O = 4144
T = 21.98
file_rwpms_wcnf_L2_V150_C4000_H150_6.wcnf O = 4149
T = 0.69		 O = 4149
T = 2.78
 O = 4149
T = 2.59
 O = 4149
T = 2.26
 O = 4149
T = 0.92
 O = 4176
T = 2.44
 O = N/A
T = TO
 O = 5383
T = 0.94
 O = 4149
T = 0.99
 O = 4149
T = 0.69
 O = N/A
T = TO
 O = 4409
T = 8.14
 O = 4149
T = 10.02
 O = 4149
T = 43.85
file_rwpms_wcnf_L2_V150_C4000_H150_7.wcnf O = 4043
T = 0.63		 O = 4043
T = 2.78
 O = 4043
T = 1.92
 O = 4043
T = 2.35
 O = 4043
T = 1.48
 O = 4243
T = 1.09
 O = N/A
T = TO
 O = 5343
T = 1.48
 O = 4043
T = 2.30
 O = 4043
T = 0.63
 O = N/A
T = TO
 O = N/A
T = TO
 O = 4043
T = 9.71
 O = 4043
T = 22.00
file_rwpms_wcnf_L2_V150_C4000_H150_8.wcnf O = 4078
T = 1.02		 O = 4078
T = 3.80
 O = 4078
T = 1.60
 O = 4078
T = 1.02
 O = 4078
T = 1.44
 O = 4080
T = 1.69
 O = N/A
T = TO
 O = 5259
T = 0.70
 O = 4078
T = 3.27
 O = 4078
T = 1.17
 O = N/A
T = TO
 O = 4376
T = 38.44
 O = 4078
T = 10.05
 O = 4078
T = 42.80
file_rwpms_wcnf_L2_V150_C4000_H150_9.wcnf O = 4328
T = 0.59		 O = 4328
T = 2.41
 O = 4328
T = 2.82
 O = 4328
T = 0.64
 O = 4328
T = 1.21
 O = 4405
T = 0.95
 O = N/A
T = TO
 O = 5590
T = 0.77
 O = 4328
T = 1.14
 O = 4328
T = 0.59
 O = N/A
T = TO
 O = 4518
T = 156.63
 O = 4328
T = 9.95
 O = 4328
T = 23.64
file_rwpms_wcnf_L2_V150_C4500_H150_0.wcnf O = 4572
T = 1.17		 O = 4572
T = 3.45
 O = 4572
T = 1.98
 O = 4572
T = 1.90
 O = 4572
T = 1.17
 O = 4750
T = 3.23
 O = N/A
T = TO
 O = 6130
T = 1.19
 O = 4572
T = 1.44
 O = 4572
T = 1.86
 O = N/A
T = TO
 O = 5143
T = 26.41
 O = 4572
T = 8.97
 O = 4572
T = 38.42
file_rwpms_wcnf_L2_V150_C4500_H150_1.wcnf O = 4967
T = 0.26		 O = 4967
T = 1.98
 O = 4967
T = 45.17
 O = 4967
T = 0.79
 O = 4967
T = 0.72
 O = 4967
T = 0.26
 O = N/A
T = TO
 O = 6443
T = 1.39
 O = 4998
T = 20.99
 O = 4967
T = 1.84
 O = N/A
T = TO
 O = 5468
T = 272.11
 O = 4967
T = 9.30
 O = 4967
T = 43.59
file_rwpms_wcnf_L2_V150_C4500_H150_2.wcnf O = 4961
T = 0.56		 O = 4961
T = 3.23
 O = 4961
T = 0.74
 O = 4961
T = 2.16
 O = 4961
T = 0.66
 O = 4961
T = 1.26
 O = N/A
T = TO
 O = 6064
T = 1.06
 O = 4961
T = 0.71
 O = 4961
T = 0.56
 O = N/A
T = TO
 O = 5459
T = 8.45
 O = 4961
T = 9.19
 O = 4961
T = 39.05
file_rwpms_wcnf_L2_V150_C4500_H150_3.wcnf O = 4614
T = 0.48		 O = 4614
T = 3.19
 O = 4614
T = 0.48
 O = 4614
T = 1.90
 O = 4614
T = 1.95
 O = 4623
T = 2.21
 O = N/A
T = TO
 O = 5900
T = 1.23
 O = 4614
T = 2.20
 O = 4614
T = 0.64
 O = N/A
T = TO
 O = 4948
T = 8.35
 O = 4614
T = 8.56
 O = 4614
T = 22.00
file_rwpms_wcnf_L2_V150_C4500_H150_4.wcnf O = 4794
T = 1.28		 O = 4794
T = 4.07
 O = 4794
T = 1.87
 O = 4794
T = 2.22
 O = 4794
T = 1.52
 O = 4794
T = 1.42
 O = N/A
T = TO
 O = 6029
T = 0.73
 O = 4794
T = 1.28
 O = 4794
T = 1.36
 O = N/A
T = TO
 O = N/A
T = TO
 O = 4794
T = 8.66
 O = 4794
T = 24.55
file_rwpms_wcnf_L2_V150_C4500_H150_5.wcnf O = 4687
T = 0.67		 O = 4687
T = 3.75
 O = 4687
T = 0.99
 O = 4687
T = 1.97
 O = 4687
T = 1.60
 O = 4834
T = 0.71
 O = N/A
T = TO
 O = 6442
T = 1.29
 O = 4687
T = 0.67
 O = 4687
T = 1.11
 O = N/A
T = TO
 O = 5002
T = 47.77
 O = 4687
T = 9.14
 O = 4687
T = 23.38
file_rwpms_wcnf_L2_V150_C4500_H150_6.wcnf O = 4605
T = 0.46		 O = 4605
T = 2.80
 O = 4605
T = 1.19
 O = 4605
T = 0.87
 O = 4605
T = 1.39
 O = 4630
T = 1.24
 O = N/A
T = TO
 O = 6107
T = 1.09
 O = 4605
T = 3.27
 O = 4605
T = 0.46
 O = N/A
T = TO
 O = 5192
T = 7.90
 O = 4605
T = 9.27
 O = 4605
T = 39.86
file_rwpms_wcnf_L2_V150_C4500_H150_7.wcnf O = 4710
T = 0.70		 O = 4710
T = 1.84
 O = 4710
T = 0.76
 O = 4710
T = 1.94
 O = 4710
T = 1.74
 O = 4762
T = 1.14
 O = N/A
T = TO
 O = 5808
T = 0.90
 O = 4710
T = 1.36
 O = 4710
T = 0.70
 O = N/A
T = TO
 O = 5043
T = 26.04
 O = 4710
T = 8.65
 O = 4710
T = 21.19
file_rwpms_wcnf_L2_V150_C4500_H150_8.wcnf O = 4945
T = 0.72		 O = 4945
T = 2.97
 O = 4945
T = 2.00
 O = 4945
T = 0.72
 O = 4945
T = 1.51
 O = 4950
T = 0.83
 O = N/A
T = TO
 O = 6123
T = 1.02
 O = 4945
T = 3.88
 O = 4945
T = 0.75
 O = N/A
T = TO
 O = N/A
T = TO
 O = 4945
T = 8.86
 O = 4945
T = 40.28
file_rwpms_wcnf_L2_V150_C4500_H150_9.wcnf O = 5023
T = 0.37		 O = 5023
T = 3.77
 O = 5028
T = 124.52
 O = 5023
T = 0.47
 O = 5023
T = 0.37
 O = 5023
T = 0.51
 O = N/A
T = TO
 O = 6254
T = 1.08
 O = 5028
T = 109.69
 O = 5023
T = 1.22
 O = N/A
T = TO
 O = N/A
T = TO
 O = 5023
T = 19.40
 O = 5023
T = 60.36
file_rwpms_wcnf_L2_V150_C5000_H150_0.wcnf O = 5362
T = 0.41		 O = 5362
T = 3.18
 O = 5362
T = 0.94
 O = 5362
T = 0.60
 O = 5362
T = 0.49
 O = 5409
T = 0.64
 O = N/A
T = TO
 O = 6838
T = 1.14
 O = 5362
T = 0.41
 O = 5362
T = 0.73
 O = N/A
T = TO
 O = N/A
T = TO
 O = 5362
T = 8.64
 O = 5362
T = 22.41
file_rwpms_wcnf_L2_V150_C5000_H150_1.wcnf O = 5338
T = 0.36		 O = 5338
T = 3.45
 O = 5338
T = 0.70
 O = 5338
T = 0.64
 O = 5338
T = 0.55
 O = 5341
T = 0.75
 O = N/A
T = TO
 O = 6885
T = 1.19
 O = 5338
T = 0.36
 O = 5338
T = 0.80
 O = N/A
T = TO
 O = 5631
T = 27.72
 O = 5338
T = 9.22
 O = 5338
T = 26.52
file_rwpms_wcnf_L2_V150_C5000_H150_2.wcnf O = 5312
T = 0.28		 O = 5312
T = 2.66
 O = 5312
T = 1.19
 O = 5312
T = 1.27
 O = 5312
T = 0.28
 O = 5332
T = 0.91
 O = N/A
T = TO
 O = 6955
T = 0.94
 O = 5312
T = 1.10
 O = 5312
T = 1.12
 O = N/A
T = TO
 O = N/A
T = TO
 O = 5312
T = 8.45
 O = 5312
T = 21.56
file_rwpms_wcnf_L2_V150_C5000_H150_3.wcnf O = 5507
T = 0.62		 O = 5507
T = 3.01
 O = 5507
T = 2.06
 O = 5507
T = 1.36
 O = 5507
T = 1.22
 O = 5605
T = 0.44
 O = N/A
T = TO
 O = 6945
T = 1.22
 O = 5507
T = 1.16
 O = 5507
T = 0.62
 O = N/A
T = TO
 O = N/A
T = TO
 O = 5507
T = 8.47
 O = 5507
T = 25.99
file_rwpms_wcnf_L2_V150_C5000_H150_4.wcnf O = 5451
T = 1.00		 O = 5451
T = 1.06
 O = 5451
T = 1.26
 O = 5451
T = 1.12
 O = 5451
T = 2.46
 O = 5451
T = 1.69
 O = N/A
T = TO
 O = 6708
T = 1.12
 O = 5451
T = 1.38
 O = 5451
T = 1.00
 O = N/A
T = TO
 O = 5932
T = 78.86
 O = 5451
T = 9.16
 O = 5451
T = 41.25
file_rwpms_wcnf_L2_V150_C5000_H150_5.wcnf O = 5308
T = 0.67		 O = 5308
T = 3.36
 O = 5308
T = 1.73
 O = 5308
T = 0.67
 O = 5308
T = 0.97
 O = 5481
T = 1.49
 O = N/A
T = TO
 O = 6795
T = 0.78
 O = 5308
T = 1.07
 O = 5308
T = 1.05
 O = N/A
T = TO
 O = 5569
T = 233.12
 O = 5308
T = 8.56
 O = 5308
T = 26.28
file_rwpms_wcnf_L2_V150_C5000_H150_6.wcnf O = 5428
T = 0.50		 O = 5428
T = 3.26
 O = 5428
T = 1.39
 O = 5428
T = 1.53
 O = 5428
T = 0.50
 O = 5439
T = 1.82
 O = N/A
T = TO
 O = 6647
T = 0.78
 O = 5428
T = 1.59
 O = 5428
T = 0.63
 O = N/A
T = TO
 O = N/A
T = TO
 O = 5428
T = 8.60
 O = 5428
T = 44.65
file_rwpms_wcnf_L2_V150_C5000_H150_7.wcnf O = 5468
T = 0.74		 O = 5468
T = 2.30
 O = 5468
T = 1.62
 O = 5468
T = 1.40
 O = 5468
T = 1.82
 O = 5502
T = 0.95
 O = N/A
T = TO
 O = 6712
T = 0.96
 O = 5468
T = 0.74
 O = 5468
T = 1.17
 O = N/A
T = TO
 O = N/A
T = TO
 O = 5468
T = 8.71
 O = 5468
T = 22.04
file_rwpms_wcnf_L2_V150_C5000_H150_8.wcnf O = 5339
T = 0.21		 O = 5339
T = 2.23
 O = 5339
T = 0.66
 O = 5339
T = 0.21
 O = 5339
T = 0.71
 O = 5339
T = 0.66
 O = N/A
T = TO
 O = 6612
T = 0.95
 O = 5339
T = 1.12
 O = 5339
T = 0.47
 O = N/A
T = TO
 O = N/A
T = TO
 O = 5339
T = 9.86
 O = 5339
T = 42.61
file_rwpms_wcnf_L2_V150_C5000_H150_9.wcnf O = 5376
T = 0.42		 O = 5376
T = 3.20
 O = 5376
T = 0.77
 O = 5376
T = 1.27
 O = 5376
T = 0.80
 O = 5478
T = 1.03
 O = N/A
T = TO
 O = 6863
T = 0.83
 O = 5376
T = 0.42
 O = 5376
T = 1.44
 O = N/A
T = TO
 O = N/A
T = TO
 O = 5376
T = 8.68
 O = 5376
T = 26.63
file_rwpms_wcnf_L2_V150_C1000_H150_0.wcnf O = 626
T = 0.85		 O = 626
T = 1.76
 O = 626
T = 1.58
 O = 626
T = 1.46
 O = 626
T = 1.07
 O = 632
T = 0.35
 O = N/A
T = TO
 O = 798
T = 3.67
 O = 626
T = 0.85
 O = 626
T = 1.28
 O = 626
T = 2.47
 O = 642
T = 63.17
 O = 626
T = 8.71
 O = 626
T = 21.51
file_rwpms_wcnf_L2_V150_C1000_H150_1.wcnf O = 745
T = 0.69		 O = 745
T = 2.47
 O = 745
T = 4.93
 O = 745
T = 0.72
 O = 745
T = 0.69
 O = 750
T = 0.71
 O = N/A
T = TO
 O = 928
T = 1.72
 O = 745
T = 29.75
 O = 745
T = 1.03
 O = 745
T = 25.51
 O = 768
T = 137.11
 O = 745
T = 9.11
 O = 745
T = 22.75
file_rwpms_wcnf_L2_V150_C1000_H150_2.wcnf O = 629
T = 0.70		 O = 629
T = 2.16
 O = 629
T = 0.82
 O = 629
T = 1.22
 O = 629
T = 1.33
 O = 629
T = 0.96
 O = N/A
T = TO
 O = 692
T = 159.68
 O = 629
T = 0.70
 O = 629
T = 0.87
 O = 629
T = 9.65
 O = 636
T = 10.70
 O = 629
T = 9.05
 O = 629
T = 21.33
file_rwpms_wcnf_L2_V150_C1000_H150_3.wcnf O = 723
T = 0.56		 O = 723
T = 1.71
 O = 723
T = 1.27
 O = 723
T = 1.07
 O = 723
T = 0.97
 O = 723
T = 1.08
 O = N/A
T = TO
 O = 1011
T = 1.62
 O = 723
T = 0.87
 O = 723
T = 0.56
 O = 723
T = 2.62
 O = 742
T = 148.83
 O = 723
T = 8.58
 O = 723
T = 38.53
file_rwpms_wcnf_L2_V150_C1000_H150_4.wcnf O = 737
T = 0.70		 O = 737
T = 2.22
 O = 745
T = 183.95
 O = 737
T = 0.70
 O = 737
T = 1.40
 O = 800
T = 0.79
 O = N/A
T = TO
 O = 879
T = 55.34
 O = 749
T = 122.04
 O = 737
T = 46.52
 O = 737
T = 98.91
 O = 757
T = 4.72
 O = 737
T = 9.85
 O = 737
T = 38.80
file_rwpms_wcnf_L2_V150_C1000_H150_5.wcnf O = 668
T = 0.50		 O = 668
T = 2.73
 O = 668
T = 1.52
 O = 668
T = 0.50
 O = 668
T = 0.66
 O = 675
T = 0.58
 O = N/A
T = TO
 O = 728
T = 5.77
 O = 668
T = 1.01
 O = 668
T = 0.94
 O = 668
T = 4.58
 O = 671
T = 61.73
 O = 668
T = 8.75
 O = 668
T = 22.12
file_rwpms_wcnf_L2_V150_C1000_H150_6.wcnf O = 641
T = 0.32		 O = 641
T = 2.63
 O = 641
T = 1.31
 O = 641
T = 1.50
 O = 641
T = 1.06
 O = 649
T = 0.55
 O = N/A
T = TO
 O = 728
T = 3.03
 O = 641
T = 0.32
 O = 641
T = 0.59
 O = 641
T = 3.70
 O = 655
T = 50.91
 O = 641
T = 8.99
 O = 641
T = 39.32
file_rwpms_wcnf_L2_V150_C1000_H150_7.wcnf O = 688
T = 0.64		 O = 688
T = 2.34
 O = 688
T = 140.32
 O = 688
T = 1.01
 O = 688
T = 0.64
 O = 725
T = 0.27
 O = N/A
T = TO
 O = 812
T = 3.08
 O = 688
T = 134.63
 O = 688
T = 0.83
 O = 689
T = 5.71
 O = N/A
T = TO
 O = 688
T = 10.39
 O = 688
T = 39.67
file_rwpms_wcnf_L2_V150_C1000_H150_8.wcnf O = 577
T = 0.92		 O = 577
T = 2.22
 O = 577
T = 1.15
 O = 577
T = 0.99
 O = 577
T = 1.59
 O = 577
T = 0.92
 O = N/A
T = TO
 O = 782
T = 3.30
 O = 577
T = 1.25
 O = 577
T = 1.46
 O = 577
T = 2.84
 O = 612
T = 70.59
 O = 577
T = 8.38
 O = 577
T = 37.99
file_rwpms_wcnf_L2_V150_C1000_H150_9.wcnf O = 714
T = 0.50		 O = 714
T = 1.74
 O = 714
T = 0.75
 O = 714
T = 0.96
 O = 714
T = 0.54
 O = 768
T = 0.11
 O = N/A
T = TO
 O = 860
T = 2.10
 O = 714
T = 0.66
 O = 714
T = 0.50
 O = 714
T = 5.56
 O = 754
T = 18.78
 O = 714
T = 9.08
 O = 714
T = 21.95
file_rwpms_wcnf_L2_V150_C1500_H150_0.wcnf O = 1121
T = 0.96		 O = 1121
T = 3.23
 O = 1121
T = 1.45
 O = 1121
T = 1.04
 O = 1121
T = 2.31
 O = 1143
T = 0.90
 O = N/A
T = TO
 O = 1308
T = 4.13
 O = 1121
T = 0.96
 O = 1121
T = 1.18
 O = 1121
T = 3.21
 O = 1186
T = 16.19
 O = 1121
T = 8.83
 O = 1121
T = 38.24
file_rwpms_wcnf_L2_V150_C1500_H150_1.wcnf O = 1142
T = 0.31		 O = 1142
T = 2.20
 O = 1142
T = 4.60
 O = 1142
T = 1.04
 O = 1142
T = 0.31
 O = 1212
T = 0.19
 O = N/A
T = TO
 O = 1257
T = 1.54
 O = 1142
T = 14.41
 O = 1142
T = 0.73
 O = 1142
T = 8.81
 O = 1199
T = 37.75
 O = 1142
T = 9.33
 O = 1142
T = 40.93
file_rwpms_wcnf_L2_V150_C1500_H150_2.wcnf O = 1252
T = 0.77		 O = 1252
T = 2.75
 O = 1252
T = 1.09
 O = 1252
T = 0.77
 O = 1252
T = 1.01
 O = 1256
T = 0.80
 O = N/A
T = TO
 O = 1407
T = 289.06
 O = 1252
T = 1.76
 O = 1252
T = 0.83
 O = 1252
T = 10.01
 O = 1301
T = 10.27
 O = 1252
T = 10.03
 O = 1252
T = 92.83
file_rwpms_wcnf_L2_V150_C1500_H150_3.wcnf O = 1295
T = 0.25		 O = 1295
T = 1.69
 O = 1295
T = 0.66
 O = 1295
T = 0.82
 O = 1295
T = 1.66
 O = 1325
T = 1.49
 O = N/A
T = TO
 O = 1615
T = 176.23
 O = 1295
T = 0.25
 O = 1295
T = 0.49
 O = 1295
T = 2.16
 O = 1363
T = 87.60
 O = 1295
T = 11.06
 O = 1295
T = 40.21
file_rwpms_wcnf_L2_V150_C1500_H150_4.wcnf O = 1261
T = 0.72		 O = 1261
T = 2.11
 O = 1261
T = 5.74
 O = 1261
T = 1.51
 O = 1261
T = 1.49
 O = 1304
T = 0.14
 O = N/A
T = TO
 O = 1785
T = 1.86
 O = 1261
T = 1.04
 O = 1261
T = 0.72
 O = 1261
T = 2.66
 O = 1324
T = 117.43
 O = 1261
T = 21.75
 O = 1261
T = 39.54
file_rwpms_wcnf_L2_V150_C1500_H150_5.wcnf O = 1047
T = 0.53		 O = 1047
T = 2.69
 O = 1047
T = 1.34
 O = 1047
T = 0.53
 O = 1047
T = 0.63
 O = 1060
T = 1.77
 O = N/A
T = TO
 O = 1232
T = 23.50
 O = 1047
T = 1.54
 O = 1047
T = 0.99
 O = 1047
T = 3.03
 O = 1115
T = 17.59
 O = 1047
T = 9.00
 O = 1047
T = 21.40
file_rwpms_wcnf_L2_V150_C1500_H150_6.wcnf O = 1175
T = 0.50		 O = 1175
T = 1.97
 O = 1175
T = 1.00
 O = 1175
T = 0.50
 O = 1175
T = 1.10
 O = 1175
T = 0.75
 O = N/A
T = TO
 O = 1420
T = 1.97
 O = 1175
T = 1.13
 O = 1175
T = 0.53
 O = 1175
T = 10.88
 O = 1232
T = 105.63
 O = 1175
T = 9.22
 O = 1175
T = 23.51
file_rwpms_wcnf_L2_V150_C1500_H150_7.wcnf O = 1145
T = 0.36		 O = 1145
T = 2.78
 O = 1145
T = 1.76
 O = 1145
T = 0.46
 O = 1145
T = 0.66
 O = 1146
T = 0.96
 O = N/A
T = TO
 O = 1309
T = 33.15
 O = 1145
T = 0.36
 O = 1145
T = 1.02
 O = 1145
T = 10.45
 O = 1185
T = 37.53
 O = 1145
T = 11.32
 O = 1145
T = 21.31
file_rwpms_wcnf_L2_V150_C1500_H150_8.wcnf O = 1135
T = 0.41		 O = 1135
T = 2.76
 O = 1135
T = 2.42
 O = 1135
T = 0.41
 O = 1135
T = 1.34
 O = 1135
T = 0.76
 O = N/A
T = TO
 O = 1444
T = 8.08
 O = 1135
T = 1.49
 O = 1135
T = 1.43
 O = 1135
T = 19.99
 O = 1247
T = 7.83
 O = 1135
T = 8.94
 O = 1135
T = 22.24
file_rwpms_wcnf_L2_V150_C1500_H150_9.wcnf O = 1232
T = 0.59		 O = 1232
T = 3.53
 O = 1232
T = 1.01
 O = 1232
T = 0.59
 O = 1232
T = 1.97
 O = 1242
T = 1.17
 O = N/A
T = TO
 O = 1712
T = 1.34
 O = 1232
T = 2.05
 O = 1232
T = 0.84
 O = 1232
T = 2.26
 O = N/A
T = TO
 O = 1232
T = 9.13
 O = 1232
T = 38.34
file_rwpms_wcnf_L2_V150_C2000_H150_0.wcnf O = 1842
T = 0.87		 O = 1842
T = 2.36
 O = 1842
T = 1.09
 O = 1842
T = 2.52
 O = 1842
T = 1.75
 O = 1894
T = 1.36
 O = N/A
T = TO
 O = 2331
T = 6.36
 O = 1842
T = 1.01
 O = 1842
T = 0.87
 O = 1842
T = 1.58
 O = 1880
T = 30.29
 O = 1842
T = 8.68
 O = 1842
T = 21.53
file_rwpms_wcnf_L2_V150_C2000_H150_1.wcnf O = 1699
T = 0.79		 O = 1699
T = 2.83
 O = 1699
T = 1.37
 O = 1699
T = 0.89
 O = 1699
T = 1.69
 O = 1709
T = 0.67
 O = N/A
T = TO
 O = 2255
T = 1.06
 O = 1699
T = 0.79
 O = 1699
T = 0.85
 O = 1699
T = 2.82
 O = 1746
T = 41.41
 O = 1699
T = 8.93
 O = 1699
T = 23.41
file_rwpms_wcnf_L2_V150_C2000_H150_2.wcnf O = 1730
T = 0.37		 O = 1730
T = 2.18
 O = 1730
T = 0.63
 O = 1730
T = 2.24
 O = 1730
T = 0.99
 O = 1801
T = 1.01
 O = N/A
T = TO
 O = 2310
T = 1.04
 O = 1730
T = 0.37
 O = 1730
T = 1.17
 O = 1730
T = 2.48
 O = 1781
T = 52.50
 O = 1730
T = 8.47
 O = 1730
T = 22.24
file_rwpms_wcnf_L2_V150_C2000_H150_3.wcnf O = 1885
T = 0.96		 O = 1885
T = 2.16
 O = 1885
T = 0.96
 O = 1885
T = 1.34
 O = 1885
T = 1.08
 O = 1940
T = 0.27
 O = N/A
T = TO
 O = 2313
T = 1.52
 O = 1885
T = 3.09
 O = 1885
T = 1.08
 O = 1885
T = 19.78
 O = 2016
T = 66.72
 O = 1885
T = 10.13
 O = 1885
T = 40.63
file_rwpms_wcnf_L2_V150_C2000_H150_4.wcnf O = 2043
T = 0.97		 O = 2043
T = 3.22
 O = 2043
T = 6.36
 O = 2043
T = 1.28
 O = 2043
T = 1.39
 O = 2096
T = 0.71
 O = N/A
T = TO
 O = 2428
T = 1.84
 O = 2043
T = 125.09
 O = 2043
T = 0.97
 O = N/A
T = TO
 O = 2093
T = 15.00
 O = 2046
T = 9.31
 O = 2043
T = 63.51
file_rwpms_wcnf_L2_V150_C2000_H150_5.wcnf O = 1818
T = 0.84		 O = 1818
T = 1.35
 O = 1818
T = 1.24
 O = 1818
T = 0.96
 O = 1818
T = 1.16
 O = 1863
T = 0.54
 O = N/A
T = TO
 O = 2072
T = 81.42
 O = 1818
T = 2.54
 O = 1818
T = 0.84
 O = 1818
T = 13.21
 O = 1955
T = 74.47
 O = 1818
T = 39.51
 O = 1818
T = 40.05
file_rwpms_wcnf_L2_V150_C2000_H150_6.wcnf O = 1832
T = 0.58		 O = 1832
T = 2.26
 O = 1832
T = 0.73
 O = 1832
T = 0.58
 O = 1832
T = 1.00
 O = 1902
T = 0.58
 O = N/A
T = TO
 O = 2110
T = 1.50
 O = 1832
T = 1.25
 O = 1832
T = 0.75
 O = 1832
T = 2.00
 O = 1862
T = 14.98
 O = 1832
T = 9.60
 O = 1832
T = 21.86
file_rwpms_wcnf_L2_V150_C2000_H150_7.wcnf O = 1780
T = 0.24		 O = 1780
T = 2.67
 O = 1780
T = 1.16
 O = 1780
T = 1.32
 O = 1780
T = 0.88
 O = 1780
T = 0.96
 O = N/A
T = TO
 O = 2229
T = 1.33
 O = 1780
T = 0.24
 O = 1780
T = 1.04
 O = 1780
T = 3.78
 O = 1837
T = 179.72
 O = 1780
T = 9.11
 O = 1780
T = 21.61
file_rwpms_wcnf_L2_V150_C2000_H150_8.wcnf O = 1726
T = 0.24		 O = 1726
T = 2.41
 O = 1726
T = 1.78
 O = 1726
T = 0.94
 O = 1726
T = 0.29
 O = 1846
T = 0.66
 O = N/A
T = TO
 O = 2116
T = 1.33
 O = 1726
T = 0.24
 O = 1726
T = 0.66
 O = 1726
T = 1.85
 O = 1786
T = 10.76
 O = 1726
T = 9.45
 O = 1726
T = 23.05
file_rwpms_wcnf_L2_V150_C2000_H150_9.wcnf O = 1807
T = 0.55		 O = 1807
T = 3.75
 O = 1807
T = 1.49
 O = 1807
T = 1.15
 O = 1807
T = 0.85
 O = 1853
T = 0.45
 O = N/A
T = TO
 O = 2381
T = 1.12
 O = 1807
T = 0.55
 O = 1807
T = 0.74
 O = 1807
T = 1.77
 O = 1823
T = 17.45
 O = 1807
T = 9.06
 O = 1807
T = 38.66
file_rwpms_wcnf_L2_V150_C2500_H150_0.wcnf O = 2414
T = 0.45		 O = 2414
T = 1.30
 O = 2414
T = 0.96
 O = 2414
T = 0.45
 O = 2414
T = 1.49
 O = 2437
T = 0.82
 O = N/A
T = TO
 O = 3025
T = 1.51
 O = 2414
T = 0.45
 O = 2414
T = 0.63
 O = 2414
T = 0.90
 O = 2496
T = 20.53
 O = 2414
T = 8.88
 O = 2414
T = 46.39
file_rwpms_wcnf_L2_V150_C2500_H150_1.wcnf O = 2398
T = 0.63		 O = 2398
T = 1.86
 O = 2398
T = 0.63
 O = 2398
T = 1.58
 O = 2398
T = 1.04
 O = 2479
T = 0.90
 O = N/A
T = TO
 O = 2916
T = 29.51
 O = 2398
T = 0.96
 O = 2398
T = 0.70
 O = 2398
T = 7.78
 O = N/A
T = TO
 O = 2398
T = 9.13
 O = 2398
T = 22.87
file_rwpms_wcnf_L2_V150_C2500_H150_2.wcnf O = 2113
T = 0.38		 O = 2113
T = 2.94
 O = 2113
T = 2.32
 O = 2113
T = 1.67
 O = 2113
T = 0.81
 O = 2121
T = 0.87
 O = N/A
T = TO
 O = 2757
T = 1.81
 O = 2113
T = 0.38
 O = 2113
T = 1.15
 O = 2113
T = 2.42
 O = N/A
T = TO
 O = 2113
T = 8.35
 O = 2113
T = 21.17
file_rwpms_wcnf_L2_V150_C2500_H150_3.wcnf O = 2339
T = 0.67		 O = 2339
T = 1.32
 O = 2339
T = 1.25
 O = 2339
T = 0.82
 O = 2339
T = 1.12
 O = 2339
T = 2.64
 O = N/A
T = TO
 O = 2956
T = 2.96
 O = 2339
T = 2.40
 O = 2339
T = 0.67
 O = 2339
T = 1.95
 O = 2389
T = 12.93
 O = 2339
T = 8.12
 O = 2339
T = 21.92
file_rwpms_wcnf_L2_V150_C2500_H150_4.wcnf O = 2390
T = 0.42		 O = 2390
T = 2.99
 O = 2390
T = 1.60
 O = 2390
T = 1.87
 O = 2390
T = 0.42
 O = 2450
T = 1.68
 O = N/A
T = TO
 O = 2993
T = 1.10
 O = 2390
T = 3.76
 O = 2390
T = 0.98
 O = 2390
T = 1.74
 O = 2589
T = 28.22
 O = 2390
T = 8.12
 O = 2390
T = 38.51
file_rwpms_wcnf_L2_V150_C2500_H150_5.wcnf O = 2332
T = 0.58		 O = 2332
T = 2.87
 O = 2332
T = 1.30
 O = 2332
T = 0.58
 O = 2332
T = 0.74
 O = 2347
T = 1.61
 O = N/A
T = TO
 O = 2715
T = 2.01
 O = 2332
T = 2.19
 O = 2332
T = 0.61
 O = 2332
T = 1.48
 O = 2452
T = 12.00
 O = 2332
T = 8.31
 O = 2332
T = 21.94
file_rwpms_wcnf_L2_V150_C2500_H150_6.wcnf O = 2488
T = 0.38		 O = 2488
T = 2.26
 O = 2488
T = 1.52
 O = 2488
T = 1.82
 O = 2488
T = 1.40
 O = 2488
T = 0.38
 O = N/A
T = TO
 O = 3038
T = 1.72
 O = 2488
T = 0.86
 O = 2488
T = 0.58
 O = 2488
T = 10.19
 O = 2652
T = 254.38
 O = 2488
T = 8.99
 O = 2488
T = 22.07
file_rwpms_wcnf_L2_V150_C2500_H150_7.wcnf O = 2241
T = 0.71		 O = 2241
T = 2.84
 O = 2241
T = 1.29
 O = 2241
T = 0.71
 O = 2241
T = 1.74
 O = 2241
T = 0.98
 O = N/A
T = TO
 O = 2689
T = 71.29
 O = 2241
T = 1.41
 O = 2241
T = 1.47
 O = 2241
T = 5.97
 O = 2333
T = 176.11
 O = 2241
T = 8.97
 O = 2241
T = 42.90
file_rwpms_wcnf_L2_V150_C2500_H150_8.wcnf O = 2353
T = 0.91		 O = 2353
T = 2.35
 O = 2353
T = 0.91
 O = 2353
T = 1.39
 O = 2353
T = 1.08
 O = 2353
T = 1.53
 O = N/A
T = TO
 O = 2793
T = 1.96
 O = 2353
T = 0.93
 O = 2353
T = 1.01
 O = 2353
T = 1.22
 O = 2410
T = 16.15
 O = 2353
T = 8.91
 O = 2353
T = 21.70
file_rwpms_wcnf_L2_V150_C2500_H150_9.wcnf O = 2560
T = 0.66		 O = 2560
T = 0.66
 O = N/A
T = TO
 O = 2560
T = 1.02
 O = 2560
T = 0.97
 O = 2572
T = 0.14
 O = N/A
T = TO
 O = 3018
T = 2.23
 O = N/A
T = TO
 O = 2590
T = 228.10
 O = N/A
T = TO
 O = 2639
T = 17.97
 O = 2560
T = 9.42
 O = 2560
T = 38.83
file_rwpms_wcnf_L2_V150_C3000_H150_0.wcnf O = 2885
T = 0.98		 O = 2885
T = 2.28
 O = 2885
T = 2.13
 O = 2885
T = 1.80
 O = 2885
T = 2.25
 O = 2895
T = 0.90
 O = N/A
T = TO
 O = 3438
T = 27.45
 O = 2885
T = 1.79
 O = 2885
T = 0.98
 O = 2885
T = 1.14
 O = 3084
T = 136.18
 O = 2885
T = 10.21
 O = 2885
T = 22.29
file_rwpms_wcnf_L2_V150_C3000_H150_1.wcnf O = 2918
T = 1.54		 O = 2918
T = 2.67
 O = 2918
T = 2.23
 O = 2918
T = 1.58
 O = 2918
T = 1.54
 O = 2968
T = 1.55
 O = N/A
T = TO
 O = 3882
T = 0.86
 O = 2918
T = 2.28
 O = 2918
T = 1.81
 O = 2918
T = 1.65
 O = 3111
T = 80.37
 O = 2918
T = 8.83
 O = 2918
T = 41.55
file_rwpms_wcnf_L2_V150_C3000_H150_2.wcnf O = 2878
T = 0.65		 O = 2878
T = 1.71
 O = 2878
T = 0.91
 O = 2878
T = 0.65
 O = 2878
T = 1.77
 O = 2878
T = 1.34
 O = N/A
T = TO
 O = 3548
T = 66.94
 O = 2878
T = 1.12
 O = 2878
T = 1.33
 O = 2878
T = 1.03
 O = 2998
T = 267.65
 O = 2878
T = 10.14
 O = 2878
T = 22.20
file_rwpms_wcnf_L2_V150_C3000_H150_3.wcnf O = 3045
T = 0.72		 O = 3045
T = 2.89
 O = 3045
T = 1.07
 O = 3045
T = 1.78
 O = 3045
T = 0.72
 O = 3093
T = 0.50
 O = N/A
T = TO
 O = 3983
T = 0.89
 O = 3045
T = 1.89
 O = 3045
T = 0.79
 O = N/A
T = TO
 O = 3147
T = 115.53
 O = 3045
T = 25.55
 O = 3045
T = 43.69
file_rwpms_wcnf_L2_V150_C3000_H150_4.wcnf O = 3021
T = 0.74		 O = 3021
T = 2.69
 O = 3021
T = 1.07
 O = 3021
T = 1.45
 O = 3021
T = 1.29
 O = 3077
T = 0.76
 O = N/A
T = TO
 O = 3606
T = 2.26
 O = 3021
T = 0.74
 O = 3021
T = 0.97
 O = N/A
T = TO
 O = 3225
T = 72.12
 O = 3021
T = 9.69
 O = 3021
T = 42.83
file_rwpms_wcnf_L2_V150_C3000_H150_5.wcnf O = 2812
T = 0.98		 O = 2812
T = 3.87
 O = 2812
T = 2.88
 O = 2812
T = 1.43
 O = 2812
T = 0.98
 O = 2831
T = 2.94
 O = N/A
T = TO
 O = 3829
T = 1.02
 O = 2812
T = 1.93
 O = 2812
T = 1.33
 O = 2812
T = 1.95
 O = 3012
T = 99.78
 O = 2812
T = 9.27
 O = 2812
T = 23.38
file_rwpms_wcnf_L2_V150_C3000_H150_6.wcnf O = 2838
T = 0.21		 O = 2838
T = 3.81
 O = 2838
T = 0.50
 O = 2838
T = 1.06
 O = 2838
T = 1.02
 O = 2872
T = 2.04
 O = N/A
T = TO
 O = 3901
T = 1.16
 O = 2838
T = 0.21
 O = 2838
T = 0.53
 O = 2838
T = 2.28
 O = 3085
T = 14.42
 O = 2838
T = 10.17
 O = 2838
T = 22.32
file_rwpms_wcnf_L2_V150_C3000_H150_7.wcnf O = 2815
T = 0.69		 O = 2815
T = 1.62
 O = 2815
T = 1.38
 O = 2815
T = 1.18
 O = 2815
T = 0.92
 O = 2854
T = 2.55
 O = N/A
T = TO
 O = 3930
T = 1.39
 O = 2815
T = 1.95
 O = 2815
T = 0.69
 O = 2815
T = 0.96
 O = 2921
T = 255.69
 O = 2815
T = 8.35
 O = 2815
T = 21.56
file_rwpms_wcnf_L2_V150_C3000_H150_8.wcnf O = 3025
T = 1.31		 O = 3025
T = 3.66
 O = 3025
T = 2.15
 O = 3025
T = 2.45
 O = 3025
T = 2.22
 O = 3054
T = 0.86
 O = N/A
T = TO
 O = 3432
T = 9.21
 O = 3025
T = 1.65
 O = 3025
T = 1.31
 O = N/A
T = TO
 O = 3381
T = 12.80
 O = 3025
T = 9.50
 O = 3025
T = 46.04
file_rwpms_wcnf_L2_V150_C3000_H150_9.wcnf O = 2952
T = 0.73		 O = 2952
T = 2.41
 O = 2952
T = 0.73
 O = 2952
T = 1.04
 O = 2952
T = 2.25
 O = 2952
T = 211.71
 O = N/A
T = TO
 O = 3896
T = 1.46
 O = 2952
T = 7.61
 O = 2952
T = 0.74
 O = 2952
T = 8.98
 O = N/A
T = TO
 O = 2952
T = 10.13
 O = 2952
T = 21.89
file_rwpms_wcnf_L2_V150_C3500_H150_0.wcnf O = 3634
T = 0.49		 O = 3634
T = 2.57
 O = 3634
T = 1.58
 O = 3634
T = 0.77
 O = 3634
T = 1.10
 O = 3634
T = 2.37
 O = N/A
T = TO
 O = 4893
T = 0.74
 O = 3634
T = 1.13
 O = 3634
T = 0.49
 O = N/A
T = TO
 O = 3845
T = 109.70
 O = 3634
T = 8.65
 O = 3634
T = 41.28
file_rwpms_wcnf_L2_V150_C3500_H150_1.wcnf O = 3662
T = 0.45		 O = 3662
T = 3.90
 O = 3662
T = 1.45
 O = 3662
T = 1.97
 O = 3662
T = 1.65
 O = 3703
T = 0.43
 O = N/A
T = TO
 O = 4581
T = 1.15
 O = 3662
T = 3.98
 O = 3662
T = 0.45
 O = N/A
T = TO
 O = N/A
T = TO
 O = 3662
T = 9.94
 O = 3662
T = 42.75
file_rwpms_wcnf_L2_V150_C3500_H150_2.wcnf O = 3827
T = 0.98		 O = 3827
T = 1.68
 O = 3827
T = 107.80
 O = 3827
T = 0.98
 O = 3827
T = 1.27
 O = 3893
T = 0.75
 O = N/A
T = TO
 O = 4623
T = 1.03
 O = 3833
T = 5.71
 O = 3827
T = 1.35
 O = N/A
T = TO
 O = 3898
T = 213.15
 O = 3827
T = 11.24
 O = 3827
T = 21.82
file_rwpms_wcnf_L2_V150_C3500_H150_3.wcnf O = 3512
T = 0.60		 O = 3512
T = 3.69
 O = 3512
T = 1.79
 O = 3512
T = 0.60
 O = 3512
T = 1.04
 O = 3591
T = 1.37
 O = N/A
T = TO
 O = 4340
T = 0.94
 O = 3512
T = 1.03
 O = 3512
T = 0.63
 O = N/A
T = TO
 O = N/A
T = TO
 O = 3512
T = 9.09
 O = 3512
T = 23.42
file_rwpms_wcnf_L2_V150_C3500_H150_4.wcnf O = 3355
T = 0.73		 O = 3355
T = 3.39
 O = 3355
T = 0.98
 O = 3355
T = 1.76
 O = 3355
T = 1.18
 O = 3497
T = 0.90
 O = N/A
T = TO
 O = 4700
T = 0.82
 O = 3355
T = 1.34
 O = 3355
T = 0.73
 O = 3355
T = 1.43
 O = N/A
T = TO
 O = 3355
T = 8.51
 O = 3355
T = 49.35
file_rwpms_wcnf_L2_V150_C3500_H150_5.wcnf O = 3450
T = 0.86		 O = 3450
T = 1.76
 O = 3450
T = 1.24
 O = 3450
T = 1.82
 O = 3450
T = 1.20
 O = 3457
T = 0.85
 O = N/A
T = TO
 O = 3930
T = 8.66
 O = 3450
T = 2.65
 O = 3450
T = 0.86
 O = 3477
T = 0.59
 O = N/A
T = TO
 O = 3450
T = 8.30
 O = 3450
T = 22.21
file_rwpms_wcnf_L2_V150_C3500_H150_6.wcnf O = 3654
T = 0.44		 O = 3654
T = 2.90
 O = 3654
T = 9.18
 O = 3654
T = 0.53
 O = 3654
T = 0.60
 O = 3678
T = 0.48
 O = N/A
T = TO
 O = 4030
T = 2.56
 O = 3654
T = 133.43
 O = 3654
T = 0.44
 O = N/A
T = TO
 O = N/A
T = TO
 O = 3654
T = 9.29
 O = 3654
T = 38.85
file_rwpms_wcnf_L2_V150_C3500_H150_7.wcnf O = 3617
T = 0.87		 O = 3617
T = 2.76
 O = 3617
T = 1.10
 O = 3617
T = 1.45
 O = 3617
T = 1.73
 O = 3617
T = 1.04
 O = N/A
T = TO
 O = 4647
T = 1.09
 O = 3617
T = 1.12
 O = 3617
T = 0.87
 O = N/A
T = TO
 O = 3961
T = 16.35
 O = 3617
T = 8.97
 O = 3617
T = 21.79
file_rwpms_wcnf_L2_V150_C3500_H150_8.wcnf O = 3525
T = 0.21		 O = 3525
T = 2.73
 O = 3525
T = 0.72
 O = 3525
T = 0.21
 O = 3525
T = 0.81
 O = 3587
T = 0.60
 O = N/A
T = TO
 O = 4544
T = 1.36
 O = 3525
T = 1.81
 O = 3525
T = 0.99
 O = N/A
T = TO
 O = 3824
T = 18.27
 O = 3525
T = 9.07
 O = 3525
T = 41.05
file_rwpms_wcnf_L2_V150_C3500_H150_9.wcnf O = 3240
T = 0.45		 O = 3240
T = 3.29
 O = 3240
T = 2.25
 O = 3240
T = 1.26
 O = 3240
T = 1.51
 O = 3329
T = 2.24
 O = N/A
T = TO
 O = 4290
T = 1.38
 O = 3240
T = 1.33
 O = 3240
T = 0.45
 O = 3240
T = 1.56
 O = 3688
T = 51.57
 O = 3240
T = 8.99
 O = 3240
T = 21.41
file_rwpms_wcnf_L3_V100_C600_H100_0.wcnf O = 28
T = 1.03		 O = 28
T = 2.16
 O = 28
T = 1.94
 O = 28
T = 2.42
 O = 28
T = 2.23
 O = 49
T = 1.59
 O = N/A
T = TO
 O = 60
T = 1.23
 O = 28
T = 1.88
 O = 28
T = 1.03
 O = 28
T = 3.71
 O = 30
T = 16.37
 O = 28
T = 8.52
 O = 28
T = 38.21
file_rwpms_wcnf_L3_V100_C600_H100_1.wcnf O = 15
T = 1.17		 O = 15
T = 2.65
 O = 15
T = 1.17
 O = 15
T = 2.62
 O = 15
T = 1.65
 O = 59
T = 1.41
 O = 15
T = 167.69
 O = 17
T = 1.91
 O = 15
T = 2.18
 O = 15
T = 1.39
 O = 15
T = 1.85
 O = 15
T = 1.22
 O = 15
T = 8.83
 O = 15
T = 2.66
file_rwpms_wcnf_L3_V100_C600_H100_2.wcnf O = 25
T = 1.22		 O = 25
T = 1.78
 O = 25
T = 2.27
 O = 25
T = 1.90
 O = 25
T = 1.95
 O = 89
T = 1.58
 O = N/A
T = TO
 O = 43
T = 2.81
 O = 25
T = 1.22
 O = 25
T = 1.85
 O = 25
T = 4.27
 O = 25
T = 17.07
 O = 25
T = 8.39
 O = 25
T = 16.04
file_rwpms_wcnf_L3_V100_C600_H100_3.wcnf O = 25
T = 0.85		 O = 25
T = 2.56
 O = 25
T = 2.22
 O = 25
T = 1.62
 O = 25
T = 2.42
 O = 47
T = 1.58
 O = N/A
T = TO
 O = 37
T = 55.28
 O = 25
T = 0.85
 O = 25
T = 1.17
 O = 25
T = 2.80
 O = 25
T = 41.83
 O = 25
T = 9.27
 O = 25
T = 21.38
file_rwpms_wcnf_L3_V100_C600_H100_4.wcnf O = 30
T = 1.12		 O = 30
T = 2.49
 O = 30
T = 1.65
 O = 30
T = 1.94
 O = 30
T = 2.08
 O = 60
T = 1.39
 O = N/A
T = TO
 O = 56
T = 2.12
 O = 30
T = 1.51
 O = 30
T = 1.12
 O = 30
T = 3.01
 O = 30
T = 98.94
 O = 30
T = 9.48
 O = 30
T = 38.85
file_rwpms_wcnf_L3_V100_C600_H100_5.wcnf O = 27
T = 1.12		 O = 27
T = 1.91
 O = 27
T = 2.19
 O = 27
T = 1.37
 O = 27
T = 1.65
 O = 37
T = 2.22
 O = N/A
T = TO
 O = 62
T = 1.74
 O = 27
T = 1.12
 O = 27
T = 1.51
 O = 27
T = 3.66
 O = 32
T = 29.10
 O = 27
T = 9.71
 O = 27
T = 38.95
file_rwpms_wcnf_L3_V100_C600_H100_6.wcnf O = 26
T = 1.16		 O = 26
T = 1.73
 O = 26
T = 1.56
 O = 26
T = 1.49
 O = 26
T = 1.82
 O = 43
T = 1.79
 O = N/A
T = TO
 O = 28
T = 194.61
 O = 26
T = 2.09
 O = 26
T = 1.16
 O = 26
T = 2.99
 O = 26
T = 69.92
 O = 26
T = 9.28
 O = 26
T = 38.65
file_rwpms_wcnf_L3_V100_C600_H100_7.wcnf O = 29
T = 0.95		 O = 29
T = 1.99
 O = 29
T = 2.27
 O = 29
T = 1.51
 O = 29
T = 1.88
 O = 55
T = 1.77
 O = N/A
T = TO
 O = 45
T = 4.78
 O = 29
T = 0.95
 O = 29
T = 1.10
 O = 29
T = 50.90
 O = 36
T = 198.25
 O = 29
T = 12.11
 O = 29
T = 41.61
file_rwpms_wcnf_L3_V100_C600_H100_8.wcnf O = 19
T = 1.50		 O = 19
T = 2.49
 O = 19
T = 2.74
 O = 19
T = 2.16
 O = 19
T = 2.24
 O = 45
T = 0.97
 O = N/A
T = TO
 O = 40
T = 1.87
 O = 19
T = 1.50
 O = 19
T = 1.50
 O = 19
T = 3.07
 O = 19
T = 239.24
 O = 19
T = 9.64
 O = 19
T = 39.27
file_rwpms_wcnf_L3_V100_C600_H100_9.wcnf O = 30
T = 1.20		 O = 30
T = 2.05
 O = 30
T = 1.94
 O = 30
T = 1.39
 O = 30
T = 1.86
 O = 58
T = 0.62
 O = N/A
T = TO
 O = 65
T = 4.17
 O = 30
T = 1.20
 O = 30
T = 1.47
 O = 30
T = 3.59
 O = 30
T = 2.86
 O = 30
T = 8.99
 O = 30
T = 21.25
file_rwpms_wcnf_L3_V100_C700_H100_0.wcnf O = 54
T = 1.57		 O = 54
T = 2.83
 O = 54
T = 2.64
 O = 54
T = 1.76
 O = 54
T = 2.17
 O = 103
T = 2.14
 O = N/A
T = TO
 O = 60
T = 40.90
 O = 54
T = 2.47
 O = 54
T = 1.57
 O = 54
T = 3.37
 O = 60
T = 72.92
 O = 54
T = 9.66
 O = 54
T = 39.29
file_rwpms_wcnf_L3_V100_C700_H100_1.wcnf O = 58
T = 1.32		 O = 58
T = 1.32
 O = 58
T = 1.48
 O = 58
T = 1.92
 O = 58
T = 1.92
 O = 109
T = 1.61
 O = N/A
T = TO
 O = 78
T = 2.53
 O = 58
T = 1.42
 O = 58
T = 1.83
 O = 58
T = 3.18
 O = 83
T = 0.94
 O = 58
T = 8.74
 O = 58
T = 38.33
file_rwpms_wcnf_L3_V100_C700_H100_2.wcnf O = 59
T = 1.75		 O = 59
T = 2.25
 O = 59
T = 1.75
 O = 59
T = 2.32
 O = 59
T = 1.95
 O = 73
T = 2.67
 O = N/A
T = TO
 O = 77
T = 1.05
 O = 59
T = 2.45
 O = 59
T = 2.31
 O = 59
T = 3.28
 O = 80
T = 74.33
 O = 59
T = 9.18
 O = 59
T = 39.11
file_rwpms_wcnf_L3_V100_C700_H100_3.wcnf O = 48
T = 1.30		 O = 48
T = 2.65
 O = 48
T = 3.01
 O = 48
T = 2.47
 O = 48
T = 2.27
 O = 70
T = 2.09
 O = N/A
T = TO
 O = 62
T = 1.60
 O = 48
T = 1.30
 O = 48
T = 2.04
 O = 48
T = 7.44
 O = 55
T = 278.36
 O = 48
T = 9.57
 O = 48
T = 39.23
file_rwpms_wcnf_L3_V100_C700_H100_4.wcnf O = 42
T = 1.82		 O = 42
T = 2.58
 O = 42
T = 2.20
 O = 42
T = 1.87
 O = 42
T = 1.82
 O = 65
T = 2.50
 O = N/A
T = TO
 O = 79
T = 2.41
 O = 42
T = 2.41
 O = 42
T = 2.34
 O = 42
T = 3.17
 O = 61
T = 221.45
 O = 42
T = 9.05
 O = 42
T = 38.90
file_rwpms_wcnf_L3_V100_C700_H100_5.wcnf O = 46
T = 0.97		 O = 46
T = 1.22
 O = 46
T = 1.86
 O = 46
T = 1.97
 O = 46
T = 2.18
 O = 69
T = 1.50
 O = N/A
T = TO
 O = 88
T = 1.08
 O = 46
T = 1.97
 O = 46
T = 0.97
 O = 46
T = 5.65
 O = 46
T = 36.88
 O = 46
T = 8.45
 O = 46
T = 38.39
file_rwpms_wcnf_L3_V100_C700_H100_6.wcnf O = 51
T = 1.30		 O = 51
T = 2.66
 O = 51
T = 1.43
 O = 51
T = 1.30
 O = 51
T = 1.89
 O = 68
T = 2.18
 O = N/A
T = TO
 O = 92
T = 2.07
 O = 51
T = 1.57
 O = 51
T = 2.32
 O = 51
T = 3.30
 O = 56
T = 60.76
 O = 51
T = 9.20
 O = 51
T = 38.89
file_rwpms_wcnf_L3_V100_C700_H100_7.wcnf O = 63
T = 1.76		 O = 63
T = 2.49
 O = 63
T = 2.02
 O = 63
T = 1.76
 O = 63
T = 2.10
 O = 83
T = 2.09
 O = N/A
T = TO
 O = 95
T = 15.62
 O = 63
T = 1.97
 O = 63
T = 2.40
 O = 63
T = 18.28
 O = 87
T = 8.84
 O = 63
T = 9.42
 O = 63
T = 22.50
file_rwpms_wcnf_L3_V100_C700_H100_8.wcnf O = 64
T = 1.01		 O = 64
T = 3.12
 O = 64
T = 2.64
 O = 64
T = 1.01
 O = 64
T = 1.19
 O = 78
T = 1.80
 O = N/A
T = TO
 O = 100
T = 4.66
 O = 64
T = 2.30
 O = 64
T = 2.03
 O = 64
T = 54.09
 O = 76
T = 43.27
 O = 64
T = 10.02
 O = 64
T = 61.83
file_rwpms_wcnf_L3_V100_C700_H100_9.wcnf O = 45
T = 1.85		 O = 45
T = 2.31
 O = 45
T = 2.85
 O = 45
T = 2.05
 O = 45
T = 1.85
 O = 66
T = 2.26
 O = N/A
T = TO
 O = 84
T = 1.88
 O = 45
T = 2.05
 O = 45
T = 2.15
 O = 45
T = 4.37
 O = 58
T = 85.49
 O = 45
T = 8.74
 O = 45
T = 22.51
file_rwpms_wcnf_L3_V100_C800_H100_0.wcnf O = 95
T = 1.13		 O = 95
T = 2.53
 O = 95
T = 1.66
 O = 95
T = 1.78
 O = 95
T = 1.37
 O = 142
T = 1.32
 O = N/A
T = TO
 O = 167
T = 1.99
 O = 95
T = 1.13
 O = 95
T = 1.74
 O = 95
T = 4.92
 O = 125
T = 162.49
 O = 95
T = 21.68
 O = 95
T = 41.79
file_rwpms_wcnf_L3_V100_C800_H100_1.wcnf O = 81
T = 1.68		 O = 81
T = 2.14
 O = 81
T = 1.68
 O = 81
T = 3.56
 O = 81
T = 2.84
 O = 122
T = 1.08
 O = N/A
T = TO
 O = 142
T = 1.63
 O = 81
T = 2.28
 O = 81
T = 2.01
 O = 81
T = 3.46
 O = 111
T = 27.21
 O = 81
T = 8.59
 O = 81
T = 22.23
file_rwpms_wcnf_L3_V100_C800_H100_2.wcnf O = 77
T = 1.34		 O = 77
T = 2.89
 O = 77
T = 1.73
 O = 77
T = 1.96
 O = 77
T = 2.05
 O = 77
T = 2.46
 O = N/A
T = TO
 O = 129
T = 2.08
 O = 77
T = 1.61
 O = 77
T = 1.34
 O = 77
T = 2.58
 O = 95
T = 41.78
 O = 77
T = 9.22
 O = 77
T = 22.25
file_rwpms_wcnf_L3_V100_C800_H100_3.wcnf O = 81
T = 1.10		 O = 81
T = 3.20
 O = 81
T = 2.29
 O = 81
T = 2.13
 O = 81
T = 1.10
 O = 120
T = 0.99
 O = N/A
T = TO
 O = 93
T = 101.77
 O = 81
T = 2.03
 O = 81
T = 1.31
 O = 81
T = 2.39
 O = 90
T = 42.66
 O = 81
T = 8.59
 O = 81
T = 23.39
file_rwpms_wcnf_L3_V100_C800_H100_4.wcnf O = 75
T = 1.95		 O = 75
T = 3.42
 O = 75
T = 2.35
 O = 75
T = 1.95
 O = 75
T = 2.30
 O = 97
T = 1.37
 O = N/A
T = TO
 O = 140
T = 1.76
 O = 75
T = 2.25
 O = 75
T = 2.51
 O = 75
T = 4.83
 O = 84
T = 70.80
 O = 75
T = 8.96
 O = 75
T = 38.61
file_rwpms_wcnf_L3_V100_C800_H100_5.wcnf O = 80
T = 1.81		 O = 80
T = 2.04
 O = 80
T = 2.73
 O = 80
T = 1.81
 O = 80
T = 2.25
 O = 129
T = 1.74
 O = N/A
T = TO
 O = 104
T = 33.41
 O = 80
T = 2.23
 O = 80
T = 1.85
 O = 80
T = 3.44
 O = 82
T = 8.35
 O = 80
T = 8.93
 O = 80
T = 38.84
file_rwpms_wcnf_L3_V100_C800_H100_6.wcnf O = 74
T = 1.33		 O = 74
T = 2.89
 O = 74
T = 1.81
 O = 74
T = 1.45
 O = 74
T = 2.19
 O = 120
T = 1.46
 O = N/A
T = TO
 O = 143
T = 2.22
 O = 74
T = 1.33
 O = 74
T = 1.70
 O = 74
T = 3.13
 O = 98
T = 139.89
 O = 74
T = 9.02
 O = 74
T = 38.73
file_rwpms_wcnf_L3_V100_C800_H100_7.wcnf O = 99
T = 1.51		 O = 99
T = 2.69
 O = 99
T = 2.60
 O = 99
T = 2.13
 O = 99
T = 1.51
 O = 140
T = 2.69
 O = N/A
T = TO
 O = 156
T = 27.86
 O = 99
T = 2.15
 O = 99
T = 1.66
 O = 99
T = 4.37
 O = 115
T = 128.79
 O = 99
T = 9.19
 O = 99
T = 22.73
file_rwpms_wcnf_L3_V100_C800_H100_8.wcnf O = 90
T = 1.68		 O = 90
T = 1.86
 O = 90
T = 1.68
 O = 90
T = 1.85
 O = 90
T = 2.51
 O = 126
T = 1.52
 O = N/A
T = TO
 O = 139
T = 10.04
 O = 90
T = 1.69
 O = 90
T = 2.13
 O = 90
T = 3.45
 O = 121
T = 109.13
 O = 90
T = 8.66
 O = 90
T = 23.07
file_rwpms_wcnf_L3_V100_C800_H100_9.wcnf O = 95
T = 1.16		 O = 95
T = 2.93
 O = 95
T = 3.33
 O = 95
T = 2.68
 O = 95
T = 2.59
 O = 144
T = 1.43
 O = N/A
T = TO
 O = 149
T = 26.05
 O = 95
T = 1.16
 O = 95
T = 2.41
 O = 95
T = 6.01
 O = 126
T = 2.22
 O = 95
T = 8.92
 O = 95
T = 38.37