Benchmark

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

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

Instance file name Best solver CCLS2014 CCMPA Dist SAT4J-ms-inc WPM-2014-in optimax2-g-i optimax2w-r-i
s2v100c1200_1.wcnf O = 865
T = 0.05		 O = 865
T = 1.44
(out)(err)		 O = 865
T = 0.05
(out)(err)		 O = 865
T = 2.01
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1008
T = 284.75
(out)(err)		 O = 1201
T = 235.02
(out)(err)		 O = 1159
T = 86.17
(out)(err)
s2v100c1200_2.wcnf O = 774
T = 0.06		 O = 774
T = 2.81
(out)(err)		 O = 774
T = 0.06
(out)(err)		 O = 774
T = 2.25
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 952
T = 284.72
(out)(err)		 O = 1100
T = 75.34
(out)(err)		 O = 1111
T = 119.79
(out)(err)
s2v100c1200_3.wcnf O = 933
T = 0.08		 O = 933
T = 3.99
(out)(err)		 O = 933
T = 0.08
(out)(err)		 O = 933
T = 2.71
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1141
T = 284.76
(out)(err)		 O = 1258
T = 0.51
(out)(err)		 O = 1200
T = 1.31
(out)(err)
s2v100c1200_4.wcnf O = 798
T = 0.04		 O = 798
T = 1.21
(out)(err)		 O = 798
T = 0.04
(out)(err)		 O = 798
T = 1.96
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 931
T = 284.57
(out)(err)		 O = 1123
T = 256.93
(out)(err)		 O = 1114
T = 34.03
(out)(err)
s2v100c1200_5.wcnf O = 876
T = 0.05		 O = 876
T = 3.95
(out)(err)		 O = 876
T = 0.05
(out)(err)		 O = 876
T = 2.54
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1028
T = 284.68
(out)(err)		 O = 1227
T = 292.99
(out)(err)		 O = 1177
T = 6.04
(out)(err)
s2v100c1200_6.wcnf O = 734
T = 0.05		 O = 734
T = 3.64
(out)(err)		 O = 734
T = 0.05
(out)(err)		 O = 734
T = 2.37
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 940
T = 284.69
(out)(err)		 O = 1059
T = 0.78
(out)(err)		 O = 1032
T = 11.98
(out)(err)
s2v100c1200_7.wcnf O = 800
T = 0.04		 O = 800
T = 1.31
(out)(err)		 O = 800
T = 0.04
(out)(err)		 O = 800
T = 1.54
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 980
T = 284.73
(out)(err)		 O = 1017
T = 57.79
(out)(err)		 O = 1058
T = 213.84
(out)(err)
s2v100c1200_8.wcnf O = 962
T = 0.09		 O = 962
T = 2.47
(out)(err)		 O = 962
T = 0.09
(out)(err)		 O = 962
T = 1.08
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1170
T = 284.71
(out)(err)		 O = 1250
T = 287.45
(out)(err)		 O = 1242
T = 1.01
(out)(err)
s2v100c1300_1.wcnf O = 971
T = 0.09		 O = 971
T = 1.23
(out)(err)		 O = 971
T = 0.09
(out)(err)		 O = 971
T = 1.52
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1167
T = 284.75
(out)(err)		 O = 1296
T = 0.99
(out)(err)		 O = 1238
T = 229.53
(out)(err)
s2v100c1300_2.wcnf O = 930
T = 0.28		 O = 930
T = 2.79
(out)(err)		 O = 930
T = 0.28
(out)(err)		 O = 930
T = 2.93
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1145
T = 284.71
(out)(err)		 O = 1257
T = 91.71
(out)(err)		 O = 1156
T = 1.56
(out)(err)
s2v100c1300_3.wcnf O = 925
T = 0.05		 O = 925
T = 2.54
(out)(err)		 O = 925
T = 0.05
(out)(err)		 O = 925
T = 3.31
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1195
T = 284.58
(out)(err)		 O = 1258
T = 111.39
(out)(err)		 O = 1294
T = 295.67
(out)(err)
s2v100c1300_4.wcnf O = 970
T = 0.91		 O = 970
T = 2.63
(out)(err)		 O = 970
T = 0.91
(out)(err)		 O = 970
T = 3.28
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1243
T = 284.76
(out)(err)		 O = 1354
T = 2.58
(out)(err)		 O = 1352
T = 182.22
(out)(err)
s2v100c1300_5.wcnf O = 962
T = 0.05		 O = 962
T = 2.79
(out)(err)		 O = 962
T = 0.05
(out)(err)		 O = 962
T = 1.28
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1216
T = 284.67
(out)(err)		 O = 1240
T = 164.28
(out)(err)		 O = 1278
T = 128.89
(out)(err)
s2v100c1300_6.wcnf O = 933
T = 0.09		 O = 933
T = 2.54
(out)(err)		 O = 933
T = 0.09
(out)(err)		 O = 933
T = 1.88
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1197
T = 284.70
(out)(err)		 O = 1241
T = 2.15
(out)(err)		 O = 1236
T = 1.87
(out)(err)
s2v100c1300_7.wcnf O = 877
T = 0.06		 O = 877
T = 3.06
(out)(err)		 O = 877
T = 0.06
(out)(err)		 O = 877
T = 1.98
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1106
T = 284.68
(out)(err)		 O = 1211
T = 72.54
(out)(err)		 O = 1241
T = 23.86
(out)(err)
s2v100c1300_8.wcnf O = 941
T = 0.14		 O = 941
T = 3.53
(out)(err)		 O = 941
T = 0.14
(out)(err)		 O = 941
T = 1.85
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1178
T = 284.67
(out)(err)		 O = 1188
T = 0.61
(out)(err)		 O = 1172
T = 0.88
(out)(err)
s2v100c1400_1.wcnf O = 1019
T = 0.05		 O = 1019
T = 1.81
(out)(err)		 O = 1019
T = 0.05
(out)(err)		 O = 1019
T = 1.68
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1209
T = 284.72
(out)(err)		 O = 1288
T = 110.77
(out)(err)		 O = 1284
T = 156.04
(out)(err)
s2v100c1400_2.wcnf O = 1002
T = 0.06		 O = 1002
T = 1.98
(out)(err)		 O = 1002
T = 0.06
(out)(err)		 O = 1002
T = 2.69
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1199
T = 284.73
(out)(err)		 O = 1338
T = 0.28
(out)(err)		 O = 1338
T = 0.21
(out)(err)
s2v100c1400_3.wcnf O = 1020
T = 0.07		 O = 1020
T = 1.78
(out)(err)		 O = 1020
T = 0.07
(out)(err)		 O = 1020
T = 2.77
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1216
T = 284.68
(out)(err)		 O = 1310
T = 0.18
(out)(err)		 O = 1310
T = 0.28
(out)(err)
s2v100c1400_4.wcnf O = 1094
T = 0.06		 O = 1094
T = 2.07
(out)(err)		 O = 1094
T = 0.06
(out)(err)		 O = 1094
T = 3.68
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1371
T = 284.48
(out)(err)		 O = 1395
T = 97.96
(out)(err)		 O = 1424
T = 1.31
(out)(err)
s2v100c1400_5.wcnf O = 1018
T = 0.13		 O = 1018
T = 1.98
(out)(err)		 O = 1018
T = 0.13
(out)(err)		 O = 1018
T = 2.51
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1250
T = 284.70
(out)(err)		 O = 1363
T = 97.49
(out)(err)		 O = 1384
T = 2.35
(out)(err)
s2v100c1400_6.wcnf O = 997
T = 0.05		 O = 997
T = 1.75
(out)(err)		 O = 997
T = 0.05
(out)(err)		 O = 997
T = 2.16
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1216
T = 284.72
(out)(err)		 O = 1373
T = 234.62
(out)(err)		 O = 1298
T = 1.02
(out)(err)
s2v100c1400_7.wcnf O = 1001
T = 0.13		 O = 1001
T = 3.30
(out)(err)		 O = 1001
T = 0.13
(out)(err)		 O = 1001
T = 2.15
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1384
T = 284.74
(out)(err)		 O = 1345
T = 0.36
(out)(err)		 O = 1228
T = 107.48
(out)(err)
s2v100c1400_8.wcnf O = 1084
T = 0.03		 O = 1084
T = 3.68
(out)(err)		 O = 1084
T = 0.03
(out)(err)		 O = 1084
T = 3.48
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1290
T = 284.63
(out)(err)		 O = 1424
T = 9.67
(out)(err)		 O = 1432
T = 66.91
(out)(err)
s2v100c1500_1.wcnf O = 1077
T = 0.03		 O = 1077
T = 2.63
(out)(err)		 O = 1077
T = 0.03
(out)(err)		 O = 1077
T = 1.85
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1294
T = 284.53
(out)(err)		 O = 1381
T = 0.90
(out)(err)		 O = 1330
T = 0.85
(out)(err)
s2v100c1500_2.wcnf O = 1125
T = 0.11		 O = 1125
T = 2.90
(out)(err)		 O = 1125
T = 0.11
(out)(err)		 O = 1125
T = 1.88
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1432
T = 284.76
(out)(err)		 O = 1506
T = 136.07
(out)(err)		 O = 1542
T = 32.29
(out)(err)
s2v100c1500_3.wcnf O = 1151
T = 0.04		 O = 1151
T = 2.78
(out)(err)		 O = 1151
T = 0.04
(out)(err)		 O = 1151
T = 2.40
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1403
T = 284.76
(out)(err)		 O = 1477
T = 134.65
(out)(err)		 O = 1499
T = 0.66
(out)(err)
s2v100c1500_4.wcnf O = 1072
T = 0.08		 O = 1072
T = 2.97
(out)(err)		 O = 1072
T = 0.08
(out)(err)		 O = 1072
T = 2.48
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1310
T = 284.74
(out)(err)		 O = 1399
T = 45.31
(out)(err)		 O = 1394
T = 1.19
(out)(err)
s2v100c1500_5.wcnf O = 1151
T = 0.02		 O = 1151
T = 2.91
(out)(err)		 O = 1151
T = 0.02
(out)(err)		 O = 1151
T = 2.06
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1400
T = 284.65
(out)(err)		 O = 1496
T = 212.65
(out)(err)		 O = 1562
T = 189.84
(out)(err)
s2v100c1500_6.wcnf O = 1225
T = 0.06		 O = 1225
T = 3.90
(out)(err)		 O = 1225
T = 0.06
(out)(err)		 O = 1225
T = 1.94
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1596
T = 284.76
(out)(err)		 O = 1609
T = 15.04
(out)(err)		 O = 1558
T = 14.97
(out)(err)
s2v100c1500_7.wcnf O = 1186
T = 0.02		 O = 1186
T = 2.28
(out)(err)		 O = 1186
T = 0.02
(out)(err)		 O = 1186
T = 2.16
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1387
T = 284.61
(out)(err)		 O = 1609
T = 0.68
(out)(err)		 O = 1566
T = 84.85
(out)(err)
s2v100c1500_8.wcnf O = 1217
T = 0.21		 O = 1217
T = 3.31
(out)(err)		 O = 1217
T = 0.21
(out)(err)		 O = 1217
T = 3.01
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1419
T = 284.73
(out)(err)		 O = 1563
T = 208.11
(out)(err)		 O = 1628
T = 0.13
(out)(err)
s2v100c1600_1.wcnf O = 1230
T = 0.04		 O = 1230
T = 2.67
(out)(err)		 O = 1230
T = 0.04
(out)(err)		 O = 1230
T = 3.55
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1520
T = 284.39
(out)(err)		 O = 1678
T = 261.69
(out)(err)		 O = 1607
T = 62.28
(out)(err)
s2v100c1600_2.wcnf O = 1265
T = 0.16		 O = 1265
T = 3.50
(out)(err)		 O = 1265
T = 0.16
(out)(err)		 O = 1265
T = 2.91
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1500
T = 284.70
(out)(err)		 O = 1558
T = 2.19
(out)(err)		 O = 1542
T = 66.14
(out)(err)
s2v100c1600_3.wcnf O = 1309
T = 0.04		 O = 1309
T = 3.05
(out)(err)		 O = 1309
T = 0.04
(out)(err)		 O = 1309
T = 3.12
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1587
T = 284.65
(out)(err)		 O = 1684
T = 98.67
(out)(err)		 O = 1687
T = 3.56
(out)(err)
s2v100c1600_4.wcnf O = 1267
T = 0.11		 O = 1267
T = 2.44
(out)(err)		 O = 1267
T = 0.11
(out)(err)		 O = 1267
T = 3.16
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1589
T = 284.75
(out)(err)		 O = 1629
T = 100.49
(out)(err)		 O = 1602
T = 61.07
(out)(err)
s2v100c1600_5.wcnf O = 1298
T = 0.10		 O = 1298
T = 1.15
(out)(err)		 O = 1298
T = 0.10
(out)(err)		 O = 1298
T = 2.69
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1566
T = 284.52
(out)(err)		 O = 1724
T = 279.25
(out)(err)		 O = 1706
T = 1.09
(out)(err)
s2v100c1600_6.wcnf O = 1190
T = 0.05		 O = 1190
T = 1.14
(out)(err)		 O = 1190
T = 0.05
(out)(err)		 O = 1190
T = 3.15
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1382
T = 284.74
(out)(err)		 O = 1659
T = 0.74
(out)(err)		 O = 1586
T = 124.38
(out)(err)
s2v100c1600_7.wcnf O = 1243
T = 0.37		 O = 1243
T = 2.82
(out)(err)		 O = 1243
T = 0.37
(out)(err)		 O = 1243
T = 3.08
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1493
T = 284.75
(out)(err)		 O = 1557
T = 0.33
(out)(err)		 O = 1547
T = 0.40
(out)(err)
s2v100c1600_8.wcnf O = 1184
T = 0.05		 O = 1184
T = 3.94
(out)(err)		 O = 1184
T = 0.05
(out)(err)		 O = 1184
T = 3.28
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1500
T = 284.68
(out)(err)		 O = 1684
T = 63.73
(out)(err)		 O = 1670
T = 133.75
(out)(err)
s2v120c1200_1.wcnf O = 840
T = 0.08		 O = 840
T = 2.51
(out)(err)		 O = 840
T = 0.08
(out)(err)		 O = 840
T = 3.42
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1040
T = 284.64
(out)(err)		 O = 1139
T = 1.44
(out)(err)		 O = 1058
T = 110.16
(out)(err)
s2v120c1200_2.wcnf O = 803
T = 0.09		 O = 803
T = 2.35
(out)(err)		 O = 803
T = 0.09
(out)(err)		 O = 803
T = 3.02
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1015
T = 284.73
(out)(err)		 O = 1085
T = 1.35
(out)(err)		 O = 1084
T = 0.45
(out)(err)
s2v120c1200_3.wcnf O = 834
T = 0.05		 O = 834
T = 2.33
(out)(err)		 O = 834
T = 0.05
(out)(err)		 O = 834
T = 2.71
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1059
T = 284.75
(out)(err)		 O = 1145
T = 92.49
(out)(err)		 O = 1129
T = 259.04
(out)(err)
s2v120c1200_4.wcnf O = 811
T = 0.06		 O = 811
T = 2.93
(out)(err)		 O = 811
T = 0.06
(out)(err)		 O = 811
T = 2.70
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 965
T = 284.71
(out)(err)		 O = 1091
T = 299.33
(out)(err)		 O = 1158
T = 260.63
(out)(err)
s2v120c1200_5.wcnf O = 850
T = 0.14		 O = 850
T = 2.47
(out)(err)		 O = 850
T = 0.14
(out)(err)		 O = 850
T = 3.49
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1043
T = 284.77
(out)(err)		 O = 1148
T = 0.46
(out)(err)		 O = 1113
T = 1.51
(out)(err)
s2v120c1200_6.wcnf O = 784
T = 0.05		 O = 784
T = 3.92
(out)(err)		 O = 784
T = 0.05
(out)(err)		 O = 784
T = 3.92
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 971
T = 284.75
(out)(err)		 O = 1054
T = 53.23
(out)(err)		 O = 1084
T = 206.67
(out)(err)
s2v120c1200_7.wcnf O = 747
T = 0.05		 O = 747
T = 3.68
(out)(err)		 O = 747
T = 0.05
(out)(err)		 O = 747
T = 3.51
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 940
T = 284.54
(out)(err)		 O = 1037
T = 0.74
(out)(err)		 O = 996
T = 0.92
(out)(err)
s2v120c1200_8.wcnf O = 813
T = 0.03		 O = 813
T = 3.48
(out)(err)		 O = 813
T = 0.03
(out)(err)		 O = 813
T = 3.34
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1037
T = 284.70
(out)(err)		 O = 1069
T = 270.74
(out)(err)		 O = 1097
T = 74.75
(out)(err)
s2v120c1300_1.wcnf O = 890
T = 0.05		 O = 890
T = 4.79
(out)(err)		 O = 890
T = 0.05
(out)(err)		 O = 890
T = 1.36
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1107
T = 284.75
(out)(err)		 O = 1162
T = 0.51
(out)(err)		 O = 1142
T = 1.82
(out)(err)
s2v120c1300_2.wcnf O = 847
T = 0.03		 O = 847
T = 4.15
(out)(err)		 O = 847
T = 0.03
(out)(err)		 O = 847
T = 3.52
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1066
T = 284.77
(out)(err)		 O = 1122
T = 0.23
(out)(err)		 O = 1124
T = 264.65
(out)(err)
s2v120c1300_3.wcnf O = 941
T = 0.09		 O = 941
T = 4.54
(out)(err)		 O = 941
T = 0.09
(out)(err)		 O = 941
T = 3.34
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1241
T = 284.61
(out)(err)		 O = 1351
T = 19.51
(out)(err)		 O = 1276
T = 44.02
(out)(err)
s2v120c1300_4.wcnf O = 939
T = 0.10		 O = 939
T = 2.20
(out)(err)		 O = 939
T = 0.10
(out)(err)		 O = 939
T = 3.57
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1115
T = 284.73
(out)(err)		 O = 1257
T = 0.51
(out)(err)		 O = 1329
T = 139.70
(out)(err)
s2v120c1300_5.wcnf O = 949
T = 0.04		 O = 949
T = 2.14
(out)(err)		 O = 949
T = 0.04
(out)(err)		 O = 949
T = 3.54
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1143
T = 284.58
(out)(err)		 O = 1287
T = 0.28
(out)(err)		 O = 1254
T = 106.26
(out)(err)
s2v120c1300_6.wcnf O = 865
T = 0.06		 O = 865
T = 3.42
(out)(err)		 O = 865
T = 0.06
(out)(err)		 O = 865
T = 3.16
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1168
T = 284.47
(out)(err)		 O = 1119
T = 0.60
(out)(err)		 O = 1239
T = 125.84
(out)(err)
s2v120c1300_7.wcnf O = 879
T = 0.07		 O = 879
T = 3.79
(out)(err)		 O = 879
T = 0.07
(out)(err)		 O = 879
T = 3.42
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1076
T = 284.58
(out)(err)		 O = 1259
T = 76.67
(out)(err)		 O = 1302
T = 17.13
(out)(err)
s2v120c1300_8.wcnf O = 868
T = 0.02		 O = 868
T = 3.70
(out)(err)		 O = 868
T = 0.02
(out)(err)		 O = 868
T = 3.25
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1076
T = 284.65
(out)(err)		 O = 1165
T = 10.51
(out)(err)		 O = 1203
T = 141.17
(out)(err)
s2v120c1400_1.wcnf O = 1028
T = 0.08		 O = 1028
T = 3.41
(out)(err)		 O = 1028
T = 0.08
(out)(err)		 O = 1028
T = 3.92
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1234
T = 284.73
(out)(err)		 O = 1429
T = 36.74
(out)(err)		 O = 1407
T = 96.29
(out)(err)
s2v120c1400_2.wcnf O = 1008
T = 0.09		 O = 1008
T = 4.29
(out)(err)		 O = 1008
T = 0.09
(out)(err)		 O = 1008
T = 3.98
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1278
T = 284.63
(out)(err)		 O = 1378
T = 1.79
(out)(err)		 O = 1337
T = 174.62
(out)(err)
s2v120c1400_3.wcnf O = 983
T = 0.04		 O = 983
T = 3.62
(out)(err)		 O = 983
T = 0.04
(out)(err)		 O = 983
T = 3.21
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1193
T = 284.76
(out)(err)		 O = 1344
T = 0.67
(out)(err)		 O = 1313
T = 109.01
(out)(err)
s2v120c1400_4.wcnf O = 1007
T = 0.05		 O = 1007
T = 1.24
(out)(err)		 O = 1007
T = 0.05
(out)(err)		 O = 1007
T = 4.12
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1253
T = 284.53
(out)(err)		 O = 1265
T = 0.91
(out)(err)		 O = 1198
T = 1.32
(out)(err)
s2v120c1400_5.wcnf O = 1108
T = 0.32		 O = 1108
T = 3.51
(out)(err)		 O = 1108
T = 0.32
(out)(err)		 O = 1108
T = 3.53
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1376
T = 284.74
(out)(err)		 O = 1473
T = 237.43
(out)(err)		 O = 1444
T = 158.41
(out)(err)
s2v120c1400_6.wcnf O = 959
T = 0.06		 O = 959
T = 3.46
(out)(err)		 O = 959
T = 0.06
(out)(err)		 O = 959
T = 3.62
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1233
T = 284.72
(out)(err)		 O = 1328
T = 1.17
(out)(err)		 O = 1276
T = 0.29
(out)(err)
s2v120c1400_7.wcnf O = 1040
T = 0.09		 O = 1040
T = 2.94
(out)(err)		 O = 1040
T = 0.09
(out)(err)		 O = 1040
T = 3.47
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1274
T = 284.38
(out)(err)		 O = 1304
T = 1.28
(out)(err)		 O = 1378
T = 199.39
(out)(err)
s2v120c1400_8.wcnf O = 1025
T = 0.43		 O = 1025
T = 4.03
(out)(err)		 O = 1025
T = 0.43
(out)(err)		 O = 1025
T = 4.18
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1242
T = 284.69
(out)(err)		 O = 1365
T = 21.35
(out)(err)		 O = 1415
T = 179.01
(out)(err)
s2v120c1500_1.wcnf O = 1119
T = 0.10		 O = 1119
T = 2.69
(out)(err)		 O = 1119
T = 0.10
(out)(err)		 O = 1119
T = 3.44
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1379
T = 284.68
(out)(err)		 O = 1508
T = 138.99
(out)(err)		 O = 1522
T = 274.39
(out)(err)
s2v120c1500_2.wcnf O = 1136
T = 0.11		 O = 1136
T = 2.50
(out)(err)		 O = 1136
T = 0.11
(out)(err)		 O = 1136
T = 3.68
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1390
T = 284.75
(out)(err)		 O = 1508
T = 114.34
(out)(err)		 O = 1570
T = 85.75
(out)(err)
s2v120c1500_3.wcnf O = 1062
T = 0.04		 O = 1062
T = 4.08
(out)(err)		 O = 1062
T = 0.04
(out)(err)		 O = 1062
T = 3.20
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1230
T = 284.67
(out)(err)		 O = 1464
T = 264.83
(out)(err)		 O = 1524
T = 225.51
(out)(err)
s2v120c1500_4.wcnf O = 1041
T = 0.10		 O = 1041
T = 3.94
(out)(err)		 O = 1041
T = 0.10
(out)(err)		 O = 1041
T = 3.47
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1297
T = 284.69
(out)(err)		 O = 1434
T = 142.17
(out)(err)		 O = 1476
T = 84.46
(out)(err)
s2v120c1500_5.wcnf O = 1125
T = 0.03		 O = 1125
T = 4.51
(out)(err)		 O = 1125
T = 0.03
(out)(err)		 O = 1125
T = 3.85
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1488
T = 284.67
(out)(err)		 O = 1567
T = 0.60
(out)(err)		 O = 1604
T = 16.50
(out)(err)
s2v120c1500_6.wcnf O = 1113
T = 0.04		 O = 1113
T = 4.20
(out)(err)		 O = 1113
T = 0.04
(out)(err)		 O = 1113
T = 3.31
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1301
T = 284.56
(out)(err)		 O = 1484
T = 110.96
(out)(err)		 O = 1484
T = 70.95
(out)(err)
s2v120c1500_7.wcnf O = 1163
T = 0.34		 O = 1163
T = 3.62
(out)(err)		 O = 1163
T = 0.34
(out)(err)		 O = 1163
T = 3.21
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1397
T = 284.71
(out)(err)		 O = 1548
T = 177.99
(out)(err)		 O = 1540
T = 245.23
(out)(err)
s2v120c1500_8.wcnf O = 1097
T = 0.05		 O = 1097
T = 3.32
(out)(err)		 O = 1097
T = 0.05
(out)(err)		 O = 1097
T = 4.08
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1414
T = 284.54
(out)(err)		 O = 1480
T = 70.66
(out)(err)		 O = 1508
T = 15.27
(out)(err)
s2v120c1600_1.wcnf O = 1190
T = 0.05		 O = 1190
T = 3.22
(out)(err)		 O = 1190
T = 0.05
(out)(err)		 O = 1190
T = 3.60
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1433
T = 284.71
(out)(err)		 O = 1565
T = 45.58
(out)(err)		 O = 1645
T = 283.98
(out)(err)
s2v120c1600_2.wcnf O = 1227
T = 0.05		 O = 1227
T = 2.81
(out)(err)		 O = 1227
T = 0.05
(out)(err)		 O = 1227
T = 3.79
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1427
T = 284.70
(out)(err)		 O = 1658
T = 1.57
(out)(err)		 O = 1665
T = 1.41
(out)(err)
s2v120c1600_3.wcnf O = 1224
T = 0.02		 O = 1224
T = 4.19
(out)(err)		 O = 1224
T = 0.02
(out)(err)		 O = 1224
T = 3.83
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1474
T = 284.62
(out)(err)		 O = 1575
T = 109.98
(out)(err)		 O = 1594
T = 112.41
(out)(err)
s2v120c1600_4.wcnf O = 1264
T = 0.09		 O = 1264
T = 3.58
(out)(err)		 O = 1264
T = 0.09
(out)(err)		 O = 1264
T = 4.38
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1603
T = 284.73
(out)(err)		 O = 1596
T = 0.32
(out)(err)		 O = 1596
T = 0.80
(out)(err)
s2v120c1600_5.wcnf O = 1252
T = 1.10		 O = 1252
T = 3.52
(out)(err)		 O = 1252
T = 1.10
(out)(err)		 O = 1252
T = 3.43
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1515
T = 284.67
(out)(err)		 O = 1691
T = 94.58
(out)(err)		 O = 1704
T = 8.70
(out)(err)
s2v120c1600_6.wcnf O = 1246
T = 0.05		 O = 1246
T = 3.35
(out)(err)		 O = 1246
T = 0.05
(out)(err)		 O = 1246
T = 3.08
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1582
T = 284.69
(out)(err)		 O = 1585
T = 1.59
(out)(err)		 O = 1580
T = 2.72
(out)(err)
s2v120c1600_7.wcnf O = 1159
T = 0.05		 O = 1159
T = 4.67
(out)(err)		 O = 1159
T = 0.05
(out)(err)		 O = 1159
T = 3.82
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1357
T = 284.71
(out)(err)		 O = 1598
T = 37.66
(out)(err)		 O = 1639
T = 2.88
(out)(err)
s2v120c1600_8.wcnf O = 1150
T = 0.05		 O = 1150
T = 3.68
(out)(err)		 O = 1150
T = 0.05
(out)(err)		 O = 1150
T = 2.46
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1402
T = 284.56
(out)(err)		 O = 1458
T = 0.37
(out)(err)		 O = 1447
T = 0.87
(out)(err)
s2v140c1200_1.wcnf O = 780
T = 0.10		 O = 780
T = 5.11
(out)(err)		 O = 780
T = 0.10
(out)(err)		 O = 780
T = 4.66
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 982
T = 284.73
(out)(err)		 O = 1114
T = 0.48
(out)(err)		 O = 1094
T = 262.60
(out)(err)
s2v140c1200_2.wcnf O = 733
T = 3.17		 O = 733
T = 4.51
(out)(err)		 O = 733
T = 15.38
(out)(err)		 O = 733
T = 3.17
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 927
T = 284.76
(out)(err)		 O = 942
T = 42.88
(out)(err)		 O = 1014
T = 0.91
(out)(err)
s2v140c1200_3.wcnf O = 741
T = 0.10		 O = 741
T = 3.53
(out)(err)		 O = 741
T = 0.10
(out)(err)		 O = 741
T = 4.37
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 978
T = 284.75
(out)(err)		 O = 953
T = 0.85
(out)(err)		 O = 929
T = 0.79
(out)(err)
s2v140c1200_4.wcnf O = 667
T = 0.08		 O = 667
T = 4.60
(out)(err)		 O = 667
T = 0.08
(out)(err)		 O = 667
T = 5.36
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 888
T = 284.61
(out)(err)		 O = 1039
T = 135.12
(out)(err)		 O = 981
T = 47.19
(out)(err)
s2v140c1200_5.wcnf O = 714
T = 0.09		 O = 714
T = 4.86
(out)(err)		 O = 714
T = 0.09
(out)(err)		 O = 714
T = 3.62
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 918
T = 284.76
(out)(err)		 O = 1066
T = 258.92
(out)(err)		 O = 1041
T = 0.71
(out)(err)
s2v140c1200_6.wcnf O = 803
T = 0.05		 O = 803
T = 3.56
(out)(err)		 O = 803
T = 0.05
(out)(err)		 O = 803
T = 4.30
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1124
T = 284.67
(out)(err)		 O = 1104
T = 201.47
(out)(err)		 O = 1139
T = 81.99
(out)(err)
s2v140c1200_7.wcnf O = 774
T = 0.09		 O = 774
T = 4.82
(out)(err)		 O = 774
T = 0.09
(out)(err)		 O = 774
T = 1.51
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 965
T = 284.69
(out)(err)		 O = 1093
T = 208.53
(out)(err)		 O = 1016
T = 90.76
(out)(err)
s2v140c1200_8.wcnf O = 745
T = 0.05		 O = 745
T = 4.47
(out)(err)		 O = 745
T = 0.05
(out)(err)		 O = 745
T = 4.34
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 986
T = 284.64
(out)(err)		 O = 1055
T = 93.05
(out)(err)		 O = 1028
T = 19.87
(out)(err)
s2v140c1300_1.wcnf O = 846
T = 0.06		 O = 846
T = 4.58
(out)(err)		 O = 846
T = 0.06
(out)(err)		 O = 846
T = 4.48
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1063
T = 284.66
(out)(err)		 O = 1076
T = 0.54
(out)(err)		 O = 1072
T = 0.75
(out)(err)
s2v140c1300_2.wcnf O = 774
T = 0.06		 O = 774
T = 4.80
(out)(err)		 O = 774
T = 0.06
(out)(err)		 O = 774
T = 1.78
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1052
T = 284.75
(out)(err)		 O = 1075
T = 50.34
(out)(err)		 O = 1161
T = 0.47
(out)(err)
s2v140c1300_3.wcnf O = 832
T = 0.09		 O = 832
T = 4.99
(out)(err)		 O = 832
T = 0.09
(out)(err)		 O = 832
T = 3.99
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1154
T = 284.60
(out)(err)		 O = 1190
T = 257.60
(out)(err)		 O = 1157
T = 25.86
(out)(err)
s2v140c1300_4.wcnf O = 871
T = 0.30		 O = 871
T = 4.84
(out)(err)		 O = 871
T = 0.30
(out)(err)		 O = 871
T = 1.35
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1125
T = 284.76
(out)(err)		 O = 1179
T = 0.92
(out)(err)		 O = 1142
T = 282.79
(out)(err)
s2v140c1300_5.wcnf O = 844
T = 0.10		 O = 844
T = 4.54
(out)(err)		 O = 844
T = 0.10
(out)(err)		 O = 844
T = 4.30
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1021
T = 284.57
(out)(err)		 O = 1166
T = 285.05
(out)(err)		 O = 1167
T = 1.27
(out)(err)
s2v140c1300_6.wcnf O = 884
T = 0.04		 O = 884
T = 4.55
(out)(err)		 O = 884
T = 0.04
(out)(err)		 O = 884
T = 5.10
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1077
T = 284.74
(out)(err)		 O = 1218
T = 70.39
(out)(err)		 O = 1200
T = 264.78
(out)(err)
s2v140c1300_7.wcnf O = 874
T = 0.05		 O = 874
T = 4.77
(out)(err)		 O = 874
T = 0.05
(out)(err)		 O = 874
T = 3.76
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1101
T = 284.66
(out)(err)		 O = 1153
T = 0.31
(out)(err)		 O = 1172
T = 149.19
(out)(err)
s2v140c1300_8.wcnf O = 812
T = 0.04		 O = 812
T = 1.77
(out)(err)		 O = 812
T = 0.04
(out)(err)		 O = 812
T = 1.30
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1001
T = 284.74
(out)(err)		 O = 1147
T = 0.67
(out)(err)		 O = 1125
T = 0.30
(out)(err)
s2v140c1400_1.wcnf O = 926
T = 0.05		 O = 926
T = 4.07
(out)(err)		 O = 926
T = 0.05
(out)(err)		 O = 926
T = 3.81
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1160
T = 284.66
(out)(err)		 O = 1236
T = 192.37
(out)(err)		 O = 1257
T = 0.86
(out)(err)
s2v140c1400_2.wcnf O = 879
T = 0.06		 O = 879
T = 3.25
(out)(err)		 O = 879
T = 0.06
(out)(err)		 O = 879
T = 3.70
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1095
T = 284.45
(out)(err)		 O = 1177
T = 46.45
(out)(err)		 O = 1225
T = 0.66
(out)(err)
s2v140c1400_3.wcnf O = 936
T = 0.09		 O = 936
T = 3.00
(out)(err)		 O = 936
T = 0.09
(out)(err)		 O = 936
T = 3.78
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1218
T = 284.46
(out)(err)		 O = 1339
T = 1.15
(out)(err)		 O = 1306
T = 0.80
(out)(err)
s2v140c1400_4.wcnf O = 932
T = 0.10		 O = 932
T = 2.94
(out)(err)		 O = 932
T = 0.10
(out)(err)		 O = 932
T = 3.51
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1219
T = 284.70
(out)(err)		 O = 1376
T = 183.95
(out)(err)		 O = 1293
T = 1.01
(out)(err)
s2v140c1400_5.wcnf O = 968
T = 0.05		 O = 968
T = 2.77
(out)(err)		 O = 968
T = 0.05
(out)(err)		 O = 968
T = 3.10
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1132
T = 284.72
(out)(err)		 O = 1338
T = 215.28
(out)(err)		 O = 1371
T = 101.60
(out)(err)
s2v140c1400_6.wcnf O = 967
T = 0.05		 O = 967
T = 2.23
(out)(err)		 O = 967
T = 0.05
(out)(err)		 O = 967
T = 3.98
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1284
T = 284.74
(out)(err)		 O = 1331
T = 55.86
(out)(err)		 O = 1359
T = 0.77
(out)(err)
s2v140c1400_7.wcnf O = 923
T = 0.05		 O = 923
T = 4.03
(out)(err)		 O = 923
T = 0.05
(out)(err)		 O = 923
T = 1.90
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1187
T = 284.65
(out)(err)		 O = 1303
T = 1.59
(out)(err)		 O = 1252
T = 176.40
(out)(err)
s2v140c1400_8.wcnf O = 957
T = 0.06		 O = 957
T = 3.99
(out)(err)		 O = 957
T = 0.06
(out)(err)		 O = 957
T = 2.32
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1227
T = 284.70
(out)(err)		 O = 1188
T = 0.63
(out)(err)		 O = 1306
T = 270.14
(out)(err)
s2v140c1500_1.wcnf O = 986
T = 1.37		 O = 986
T = 1.37
(out)(err)		 O = 986
T = 4.28
(out)(err)		 O = 986
T = 2.59
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1206
T = 284.50
(out)(err)		 O = 1357
T = 1.30
(out)(err)		 O = 1322
T = 0.96
(out)(err)
s2v140c1500_2.wcnf O = 998
T = 0.04		 O = 998
T = 4.47
(out)(err)		 O = 998
T = 0.04
(out)(err)		 O = 998
T = 3.25
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1257
T = 284.74
(out)(err)		 O = 1405
T = 0.37
(out)(err)		 O = 1375
T = 0.69
(out)(err)
s2v140c1500_3.wcnf O = 1073
T = 0.05		 O = 1073
T = 3.97
(out)(err)		 O = 1073
T = 0.05
(out)(err)		 O = 1073
T = 2.45
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1288
T = 284.43
(out)(err)		 O = 1398
T = 0.36
(out)(err)		 O = 1398
T = 0.56
(out)(err)
s2v140c1500_4.wcnf O = 1047
T = 1.14		 O = 1047
T = 4.29
(out)(err)		 O = 1047
T = 1.14
(out)(err)		 O = 1047
T = 2.93
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1302
T = 284.74
(out)(err)		 O = 1416
T = 162.61
(out)(err)		 O = 1424
T = 0.83
(out)(err)
s2v140c1500_5.wcnf O = 1058
T = 0.05		 O = 1058
T = 4.49
(out)(err)		 O = 1058
T = 0.05
(out)(err)		 O = 1058
T = 1.77
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1315
T = 284.61
(out)(err)		 O = 1387
T = 0.95
(out)(err)		 O = 1387
T = 0.61
(out)(err)
s2v140c1500_6.wcnf O = 1102
T = 1.88		 O = 1102
T = 2.32
(out)(err)		 O = 1102
T = 1.88
(out)(err)		 O = 1102
T = 4.55
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1372
T = 284.67
(out)(err)		 O = 1433
T = 1.53
(out)(err)		 O = 1518
T = 51.43
(out)(err)
s2v140c1500_7.wcnf O = 1010
T = 0.05		 O = 1010
T = 2.97
(out)(err)		 O = 1010
T = 0.05
(out)(err)		 O = 1010
T = 3.44
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1294
T = 284.73
(out)(err)		 O = 1414
T = 3.73
(out)(err)		 O = 1384
T = 1.23
(out)(err)
s2v140c1500_8.wcnf O = 1045
T = 0.12		 O = 1045
T = 3.52
(out)(err)		 O = 1045
T = 0.12
(out)(err)		 O = 1045
T = 3.09
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1315
T = 284.55
(out)(err)		 O = 1420
T = 1.22
(out)(err)		 O = 1425
T = 1.02
(out)(err)
s2v140c1600_1.wcnf O = 1143
T = 0.11		 O = 1143
T = 3.87
(out)(err)		 O = 1143
T = 0.11
(out)(err)		 O = 1143
T = 4.73
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1524
T = 284.73
(out)(err)		 O = 1555
T = 139.11
(out)(err)		 O = 1542
T = 141.06
(out)(err)
s2v140c1600_2.wcnf O = 1140
T = 0.18		 O = 1140
T = 3.87
(out)(err)		 O = 1140
T = 0.18
(out)(err)		 O = 1140
T = 3.50
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1365
T = 284.51
(out)(err)		 O = 1479
T = 90.98
(out)(err)		 O = 1648
T = 0.71
(out)(err)
s2v140c1600_3.wcnf O = 1079
T = 0.31		 O = 1079
T = 4.08
(out)(err)		 O = 1079
T = 0.31
(out)(err)		 O = 1079
T = 4.04
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1242
T = 284.67
(out)(err)		 O = 1491
T = 1.84
(out)(err)		 O = 1568
T = 0.80
(out)(err)
s2v140c1600_4.wcnf O = 1157
T = 0.05		 O = 1157
T = 3.47
(out)(err)		 O = 1157
T = 0.05
(out)(err)		 O = 1157
T = 2.79
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1488
T = 284.61
(out)(err)		 O = 1582
T = 61.09
(out)(err)		 O = 1533
T = 7.63
(out)(err)
s2v140c1600_5.wcnf O = 1119
T = 0.05		 O = 1119
T = 1.58
(out)(err)		 O = 1119
T = 0.05
(out)(err)		 O = 1119
T = 3.47
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1404
T = 284.68
(out)(err)		 O = 1566
T = 44.34
(out)(err)		 O = 1556
T = 2.37
(out)(err)
s2v140c1600_6.wcnf O = 1212
T = 0.04		 O = 1212
T = 3.08
(out)(err)		 O = 1212
T = 0.04
(out)(err)		 O = 1212
T = 3.27
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1550
T = 284.55
(out)(err)		 O = 1565
T = 294.02
(out)(err)		 O = 1592
T = 2.34
(out)(err)
s2v140c1600_7.wcnf O = 1150
T = 0.05		 O = 1150
T = 4.36
(out)(err)		 O = 1150
T = 0.05
(out)(err)		 O = 1150
T = 3.85
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1375
T = 284.71
(out)(err)		 O = 1525
T = 0.33
(out)(err)		 O = 1600
T = 0.59
(out)(err)
s2v140c1600_8.wcnf O = 1180
T = 0.73		 O = 1180
T = 3.13
(out)(err)		 O = 1180
T = 0.73
(out)(err)		 O = 1180
T = 1.20
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1536
T = 284.64
(out)(err)		 O = 1608
T = 22.39
(out)(err)		 O = 1583
T = 137.13
(out)(err)
file_rwms_wcnf_L3_V70_C1000_0.wcnf O = 198
T = 0.11		 O = 198
T = 2.80
(out)(err)		 O = 198
T = 0.11
(out)(err)		 O = 198
T = 2.52
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 427
T = 284.52
(out)(err)		 O = 450
T = 10.09
(out)(err)		 O = 431
T = 263.39
(out)(err)
file_rwms_wcnf_L3_V70_C1000_1.wcnf O = 212
T = 0.11		 O = 212
T = 3.10
(out)(err)		 O = 212
T = 0.11
(out)(err)		 O = 212
T = 2.02
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 296
T = 284.71
(out)(err)		 O = 392
T = 17.14
(out)(err)		 O = 492
T = 0.65
(out)(err)
file_rwms_wcnf_L3_V70_C1000_2.wcnf O = 211
T = 0.38		 O = 211
T = 2.46
(out)(err)		 O = 211
T = 0.38
(out)(err)		 O = 211
T = 5.76
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 392
T = 284.68
(out)(err)		 O = 421
T = 1.00
(out)(err)		 O = 416
T = 206.83
(out)(err)
file_rwms_wcnf_L3_V70_C1000_3.wcnf O = 229
T = 0.05		 O = 229
T = 2.32
(out)(err)		 O = 229
T = 0.05
(out)(err)		 O = 229
T = 2.74
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 343
T = 284.75
(out)(err)		 O = 414
T = 56.09
(out)(err)		 O = 386
T = 19.63
(out)(err)
file_rwms_wcnf_L3_V70_C1000_4.wcnf O = 202
T = 0.91		 O = 202
T = 2.65
(out)(err)		 O = 202
T = 0.91
(out)(err)		 O = 202
T = 2.56
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 395
T = 284.75
(out)(err)		 O = 393
T = 30.41
(out)(err)		 O = 430
T = 48.97
(out)(err)
file_rwms_wcnf_L3_V70_C1000_5.wcnf O = 214
T = 0.09		 O = 214
T = 2.66
(out)(err)		 O = 214
T = 0.09
(out)(err)		 O = 214
T = 2.01
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 380
T = 284.76
(out)(err)		 O = 420
T = 0.57
(out)(err)		 O = 332
T = 0.66
(out)(err)
file_rwms_wcnf_L3_V70_C1000_6.wcnf O = 203
T = 0.05		 O = 203
T = 1.59
(out)(err)		 O = 203
T = 0.05
(out)(err)		 O = 203
T = 1.54
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 385
T = 284.76
(out)(err)		 O = 416
T = 189.65
(out)(err)		 O = 441
T = 9.72
(out)(err)
file_rwms_wcnf_L3_V70_C1000_7.wcnf O = 200
T = 0.04		 O = 200
T = 0.82
(out)(err)		 O = 200
T = 0.04
(out)(err)		 O = 200
T = 2.66
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 410
T = 284.57
(out)(err)		 O = 401
T = 110.84
(out)(err)		 O = 348
T = 0.82
(out)(err)
file_rwms_wcnf_L3_V70_C1000_8.wcnf O = 188
T = 0.05		 O = 188
T = 2.62
(out)(err)		 O = 188
T = 0.05
(out)(err)		 O = 188
T = 1.37
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 331
T = 284.71
(out)(err)		 O = 467
T = 0.86
(out)(err)		 O = 456
T = 6.09
(out)(err)
file_rwms_wcnf_L3_V70_C1000_9.wcnf O = 226
T = 0.05		 O = 226
T = 2.69
(out)(err)		 O = 226
T = 0.05
(out)(err)		 O = 226
T = 0.91
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 352
T = 284.74
(out)(err)		 O = 418
T = 1.08
(out)(err)		 O = 467
T = 275.12
(out)(err)
file_rwms_wcnf_L3_V70_C700_0.wcnf O = 103
T = 0.86		 O = 103
T = 1.37
(out)(err)		 O = 103
T = 1.07
(out)(err)		 O = 103
T = 0.86
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 192
T = 284.65
(out)(err)		 O = 244
T = 1.20
(out)(err)		 O = 267
T = 0.98
(out)(err)
file_rwms_wcnf_L3_V70_C700_1.wcnf O = 107
T = 0.09		 O = 107
T = 1.28
(out)(err)		 O = 107
T = 0.09
(out)(err)		 O = 107
T = 1.99
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 267
T = 284.43
(out)(err)		 O = 264
T = 0.65
(out)(err)		 O = 245
T = 0.12
(out)(err)
file_rwms_wcnf_L3_V70_C700_2.wcnf O = 110
T = 0.06		 O = 110
T = 2.27
(out)(err)		 O = 110
T = 0.06
(out)(err)		 O = 110
T = 1.80
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 200
T = 284.71
(out)(err)		 O = 255
T = 28.06
(out)(err)		 O = 244
T = 0.24
(out)(err)
file_rwms_wcnf_L3_V70_C700_3.wcnf O = 102
T = 1.21		 O = 102
T = 2.47
(out)(err)		 O = 102
T = 1.21
(out)(err)		 O = 102
T = 1.47
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 223
T = 284.65
(out)(err)		 O = 249
T = 120.95
(out)(err)		 O = 249
T = 3.59
(out)(err)
file_rwms_wcnf_L3_V70_C700_4.wcnf O = 110
T = 0.09		 O = 110
T = 2.75
(out)(err)		 O = 110
T = 0.09
(out)(err)		 O = 110
T = 1.58
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 167
T = 284.56
(out)(err)		 O = 216
T = 1.08
(out)(err)		 O = 262
T = 7.36
(out)(err)
file_rwms_wcnf_L3_V70_C700_5.wcnf O = 103
T = 0.17		 O = 103
T = 2.45
(out)(err)		 O = 103
T = 0.17
(out)(err)		 O = 103
T = 1.78
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 172
T = 284.65
(out)(err)		 O = 269
T = 6.58
(out)(err)		 O = 249
T = 3.09
(out)(err)
file_rwms_wcnf_L3_V70_C700_6.wcnf O = 102
T = 0.04		 O = 102
T = 2.58
(out)(err)		 O = 102
T = 0.04
(out)(err)		 O = 102
T = 1.90
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 165
T = 284.69
(out)(err)		 O = 242
T = 5.79
(out)(err)		 O = 237
T = 60.06
(out)(err)
file_rwms_wcnf_L3_V70_C700_7.wcnf O = 104
T = 0.04		 O = 104
T = 0.97
(out)(err)		 O = 104
T = 0.04
(out)(err)		 O = 104
T = 2.19
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 176
T = 284.74
(out)(err)		 O = 221
T = 181.96
(out)(err)		 O = 268
T = 0.78
(out)(err)
file_rwms_wcnf_L3_V70_C700_8.wcnf O = 82
T = 0.05		 O = 82
T = 1.12
(out)(err)		 O = 82
T = 0.05
(out)(err)		 O = 82
T = 2.22
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 210
T = 284.62
(out)(err)		 O = 314
T = 0.92
(out)(err)		 O = 233
T = 13.88
(out)(err)
file_rwms_wcnf_L3_V70_C700_9.wcnf O = 104
T = 0.05		 O = 104
T = 0.94
(out)(err)		 O = 104
T = 0.05
(out)(err)		 O = 104
T = 1.15
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 184
T = 284.67
(out)(err)		 O = 267
T = 2.13
(out)(err)		 O = 278
T = 1.10
(out)(err)
file_rwms_wcnf_L3_V70_C800_0.wcnf O = 132
T = 0.02		 O = 132
T = 1.43
(out)(err)		 O = 132
T = 0.02
(out)(err)		 O = 132
T = 2.40
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 234
T = 284.70
(out)(err)		 O = 275
T = 0.51
(out)(err)		 O = 294
T = 0.80
(out)(err)
file_rwms_wcnf_L3_V70_C800_1.wcnf O = 138
T = 0.09		 O = 138
T = 1.94
(out)(err)		 O = 138
T = 0.09
(out)(err)		 O = 138
T = 2.03
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 272
T = 284.62
(out)(err)		 O = 321
T = 0.79
(out)(err)		 O = 317
T = 88.99
(out)(err)
file_rwms_wcnf_L3_V70_C800_2.wcnf O = 127
T = 0.04		 O = 127
T = 2.52
(out)(err)		 O = 127
T = 0.04
(out)(err)		 O = 127
T = 1.14
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 248
T = 284.68
(out)(err)		 O = 315
T = 20.66
(out)(err)		 O = 295
T = 0.64
(out)(err)
file_rwms_wcnf_L3_V70_C800_3.wcnf O = 134
T = 0.10		 O = 134
T = 2.38
(out)(err)		 O = 134
T = 0.10
(out)(err)		 O = 134
T = 1.58
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 320
T = 284.72
(out)(err)		 O = 323
T = 1.09
(out)(err)		 O = 323
T = 42.27
(out)(err)
file_rwms_wcnf_L3_V70_C800_4.wcnf O = 143
T = 0.05		 O = 143
T = 0.93
(out)(err)		 O = 143
T = 0.05
(out)(err)		 O = 143
T = 0.86
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 266
T = 284.55
(out)(err)		 O = 329
T = 55.97
(out)(err)		 O = 329
T = 0.73
(out)(err)
file_rwms_wcnf_L3_V70_C800_5.wcnf O = 144
T = 0.05		 O = 144
T = 2.12
(out)(err)		 O = 144
T = 0.05
(out)(err)		 O = 144
T = 2.33
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 256
T = 284.75
(out)(err)		 O = 295
T = 25.81
(out)(err)		 O = 304
T = 0.33
(out)(err)
file_rwms_wcnf_L3_V70_C800_6.wcnf O = 135
T = 0.05		 O = 135
T = 2.66
(out)(err)		 O = 135
T = 0.05
(out)(err)		 O = 135
T = 1.66
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 234
T = 284.75
(out)(err)		 O = 308
T = 47.89
(out)(err)		 O = 301
T = 12.55
(out)(err)
file_rwms_wcnf_L3_V70_C800_7.wcnf O = 147
T = 0.05		 O = 147
T = 1.63
(out)(err)		 O = 147
T = 0.05
(out)(err)		 O = 147
T = 1.64
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 291
T = 284.74
(out)(err)		 O = 307
T = 8.23
(out)(err)		 O = 334
T = 21.69
(out)(err)
file_rwms_wcnf_L3_V70_C800_8.wcnf O = 126
T = 0.05		 O = 126
T = 2.04
(out)(err)		 O = 126
T = 0.05
(out)(err)		 O = 126
T = 1.60
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 271
T = 284.70
(out)(err)		 O = 341
T = 0.76
(out)(err)		 O = 308
T = 0.87
(out)(err)
file_rwms_wcnf_L3_V70_C800_9.wcnf O = 138
T = 0.08		 O = 138
T = 1.66
(out)(err)		 O = 138
T = 0.08
(out)(err)		 O = 138
T = 1.29
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 245
T = 284.60
(out)(err)		 O = 281
T = 0.68
(out)(err)		 O = 281
T = 1.08
(out)(err)
file_rwms_wcnf_L3_V70_C900_0.wcnf O = 157
T = 0.10		 O = 157
T = 2.52
(out)(err)		 O = 157
T = 0.10
(out)(err)		 O = 157
T = 1.14
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 254
T = 284.73
(out)(err)		 O = 380
T = 0.52
(out)(err)		 O = 341
T = 3.82
(out)(err)
file_rwms_wcnf_L3_V70_C900_1.wcnf O = 192
T = 0.45		 O = 192
T = 2.80
(out)(err)		 O = 192
T = 0.45
(out)(err)		 O = 192
T = 0.73
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 354
T = 284.64
(out)(err)		 O = 345
T = 23.65
(out)(err)		 O = 359
T = 107.47
(out)(err)
file_rwms_wcnf_L3_V70_C900_2.wcnf O = 177
T = 0.06		 O = 177
T = 2.79
(out)(err)		 O = 177
T = 0.06
(out)(err)		 O = 177
T = 1.14
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 267
T = 284.74
(out)(err)		 O = 371
T = 39.88
(out)(err)		 O = 434
T = 0.81
(out)(err)
file_rwms_wcnf_L3_V70_C900_3.wcnf O = 163
T = 0.05		 O = 163
T = 2.63
(out)(err)		 O = 163
T = 0.05
(out)(err)		 O = 163
T = 1.84
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 282
T = 284.72
(out)(err)		 O = 387
T = 143.44
(out)(err)		 O = 321
T = 2.95
(out)(err)
file_rwms_wcnf_L3_V70_C900_4.wcnf O = 171
T = 0.08		 O = 171
T = 2.47
(out)(err)		 O = 171
T = 0.08
(out)(err)		 O = 171
T = 1.99
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 273
T = 284.68
(out)(err)		 O = 328
T = 73.80
(out)(err)		 O = 338
T = 3.90
(out)(err)
file_rwms_wcnf_L3_V70_C900_5.wcnf O = 175
T = 0.10		 O = 175
T = 2.00
(out)(err)		 O = 175
T = 0.10
(out)(err)		 O = 175
T = 2.20
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 354
T = 284.73
(out)(err)		 O = 398
T = 79.89
(out)(err)		 O = 385
T = 2.98
(out)(err)
file_rwms_wcnf_L3_V70_C900_6.wcnf O = 174
T = 0.08		 O = 174
T = 1.34
(out)(err)		 O = 174
T = 0.08
(out)(err)		 O = 174
T = 0.62
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 240
T = 284.51
(out)(err)		 O = 369
T = 72.77
(out)(err)		 O = 336
T = 0.42
(out)(err)
file_rwms_wcnf_L3_V70_C900_7.wcnf O = 194
T = 0.05		 O = 194
T = 0.76
(out)(err)		 O = 194
T = 0.05
(out)(err)		 O = 194
T = 0.72
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 355
T = 284.74
(out)(err)		 O = 382
T = 0.56
(out)(err)		 O = 393
T = 11.24
(out)(err)
file_rwms_wcnf_L3_V70_C900_8.wcnf O = 179
T = 0.04		 O = 179
T = 1.21
(out)(err)		 O = 179
T = 0.04
(out)(err)		 O = 179
T = 1.26
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 322
T = 284.69
(out)(err)		 O = 320
T = 0.54
(out)(err)		 O = 361
T = 0.16
(out)(err)
file_rwms_wcnf_L3_V70_C900_9.wcnf O = 181
T = 0.05		 O = 181
T = 1.41
(out)(err)		 O = 181
T = 0.05
(out)(err)		 O = 181
T = 2.11
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 339
T = 284.72
(out)(err)		 O = 378
T = 31.17
(out)(err)		 O = 348
T = 2.76
(out)(err)
file_rwpms_wcnf_L2_V150_C4000_H150_0.wcnf O = 4231
T = 0.31		 O = 4231
T = 0.40
(out)(err)		 O = 4231
T = 0.60
(out)(err)		 O = 4231
T = 0.31
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 4671
T = 284.70
(out)(err)		 O = 5097
T = 0.16
(out)(err)		 O = 5171
T = 0.15
(out)(err)
file_rwpms_wcnf_L2_V150_C4000_H150_1.wcnf O = N/A
T = TO		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)
file_rwpms_wcnf_L2_V150_C4000_H150_2.wcnf O = 4235
T = 1.34		 O = 4235
T = 43.61
(out)(err)		 O = 4236
T = 264.64
(out)(err)		 O = 4235
T = 1.34
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 4641
T = 284.62
(out)(err)		 O = 5240
T = 0.14
(out)(err)		 O = 5071
T = 0.15
(out)(err)
file_rwpms_wcnf_L2_V150_C4000_H150_3.wcnf O = 4037
T = 0.14		 O = 4037
T = 0.51
(out)(err)		 O = 4037
T = 0.14
(out)(err)		 O = 4037
T = 2.15
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 4472
T = 284.69
(out)(err)		 O = 5188
T = 0.17
(out)(err)		 O = 5157
T = 0.15
(out)(err)
file_rwpms_wcnf_L2_V150_C4000_H150_4.wcnf O = 4031
T = 0.14		 O = 4031
T = 1.13
(out)(err)		 O = 4031
T = 0.14
(out)(err)		 O = 4031
T = 1.09
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 4578
T = 284.58
(out)(err)		 O = 5311
T = 0.12
(out)(err)		 O = 5057
T = 0.18
(out)(err)
file_rwpms_wcnf_L2_V150_C4000_H150_5.wcnf O = 4144
T = 0.87		 O = 4144
T = 1.04
(out)(err)		 O = 4144
T = 1.93
(out)(err)		 O = 4144
T = 0.87
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 4610
T = 284.73
(out)(err)		 O = 5231
T = 0.17
(out)(err)		 O = 5023
T = 0.10
(out)(err)
file_rwpms_wcnf_L2_V150_C4000_H150_6.wcnf O = 4149
T = 0.21		 O = 4149
T = 1.57
(out)(err)		 O = 4149
T = 0.21
(out)(err)		 O = 4149
T = 1.30
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 4624
T = 284.62
(out)(err)		 O = 5383
T = 0.20
(out)(err)		 O = 4938
T = 0.15
(out)(err)
file_rwpms_wcnf_L2_V150_C4000_H150_7.wcnf O = 4043
T = 0.09		 O = 4043
T = 1.67
(out)(err)		 O = 4043
T = 0.09
(out)(err)		 O = 4043
T = 1.30
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 4667
T = 284.63
(out)(err)		 O = 5343
T = 0.17
(out)(err)		 O = 5257
T = 0.11
(out)(err)
file_rwpms_wcnf_L2_V150_C4000_H150_8.wcnf O = 4078
T = 0.07		 O = 4078
T = 1.23
(out)(err)		 O = 4078
T = 0.07
(out)(err)		 O = 4078
T = 1.25
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 4548
T = 284.75
(out)(err)		 O = 5259
T = 0.20
(out)(err)		 O = 4816
T = 0.04
(out)(err)
file_rwpms_wcnf_L2_V150_C4000_H150_9.wcnf O = 4328
T = 0.53		 O = 4328
T = 1.26
(out)(err)		 O = 4328
T = 0.53
(out)(err)		 O = 4328
T = 1.80
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 4882
T = 284.67
(out)(err)		 O = 5590
T = 0.10
(out)(err)		 O = 5344
T = 0.18
(out)(err)
file_rwpms_wcnf_L2_V150_C4500_H150_0.wcnf O = 4572
T = 0.12		 O = 4572
T = 1.50
(out)(err)		 O = 4572
T = 0.12
(out)(err)		 O = 4572
T = 1.01
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 5129
T = 284.61
(out)(err)		 O = 6086
T = 0.16
(out)(err)		 O = 5908
T = 0.15
(out)(err)
file_rwpms_wcnf_L2_V150_C4500_H150_1.wcnf O = 4967
T = 2.40		 O = 4967
T = 2.40
(out)(err)		 O = 4995
T = 267.15
(out)(err)		 O = 4967
T = 2.44
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 5511
T = 284.62
(out)(err)		 O = 6443
T = 0.19
(out)(err)		 O = 5958
T = 0.19
(out)(err)
file_rwpms_wcnf_L2_V150_C4500_H150_2.wcnf O = 4961
T = 0.82		 O = 4961
T = 0.96
(out)(err)		 O = 4961
T = 2.91
(out)(err)		 O = 4961
T = 0.82
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 5591
T = 284.56
(out)(err)		 O = 6064
T = 0.06
(out)(err)		 O = 5758
T = 0.17
(out)(err)
file_rwpms_wcnf_L2_V150_C4500_H150_3.wcnf O = 4614
T = 0.09		 O = 4614
T = 0.68
(out)(err)		 O = 4614
T = 0.09
(out)(err)		 O = 4614
T = 1.05
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 5148
T = 284.74
(out)(err)		 O = 5900
T = 0.16
(out)(err)		 O = 5748
T = 0.19
(out)(err)
file_rwpms_wcnf_L2_V150_C4500_H150_4.wcnf O = 4794
T = 0.42		 O = 4794
T = 0.56
(out)(err)		 O = 4794
T = 0.42
(out)(err)		 O = 4794
T = 0.73
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 5278
T = 284.71
(out)(err)		 O = 6029
T = 0.04
(out)(err)		 O = 5686
T = 0.18
(out)(err)
file_rwpms_wcnf_L2_V150_C4500_H150_5.wcnf O = 4687
T = 0.21		 O = 4687
T = 1.11
(out)(err)		 O = 4687
T = 0.21
(out)(err)		 O = 4687
T = 1.09
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 5322
T = 284.68
(out)(err)		 O = 6442
T = 0.16
(out)(err)		 O = 5973
T = 0.16
(out)(err)
file_rwpms_wcnf_L2_V150_C4500_H150_6.wcnf O = 4605
T = 0.56		 O = 4605
T = 1.59
(out)(err)		 O = 4605
T = 0.56
(out)(err)		 O = 4605
T = 0.96
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 5156
T = 284.75
(out)(err)		 O = 6004
T = 0.14
(out)(err)		 O = 5531
T = 0.18
(out)(err)
file_rwpms_wcnf_L2_V150_C4500_H150_7.wcnf O = 4710
T = 0.48		 O = 4710
T = 1.29
(out)(err)		 O = 4710
T = 0.48
(out)(err)		 O = 4710
T = 0.99
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 5289
T = 284.59
(out)(err)		 O = 5808
T = 0.12
(out)(err)		 O = 5978
T = 0.16
(out)(err)
file_rwpms_wcnf_L2_V150_C4500_H150_8.wcnf O = 4945
T = 0.43		 O = 4945
T = 0.70
(out)(err)		 O = 4945
T = 57.36
(out)(err)		 O = 4945
T = 0.43
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 5593
T = 284.72
(out)(err)		 O = 6123
T = 0.19
(out)(err)		 O = 5913
T = 0.19
(out)(err)
file_rwpms_wcnf_L2_V150_C4500_H150_9.wcnf O = 5023
T = 0.49		 O = 5023
T = 51.78
(out)(err)		 O = 5107
T = 260.00
(out)(err)		 O = 5023
T = 0.49
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 5528
T = 284.61
(out)(err)		 O = 6254
T = 0.09
(out)(err)		 O = 6129
T = 0.23
(out)(err)
file_rwpms_wcnf_L2_V150_C5000_H150_0.wcnf O = 5362
T = 0.66		 O = 5362
T = 1.50
(out)(err)		 O = 5362
T = 1.51
(out)(err)		 O = 5362
T = 0.66
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 5839
T = 284.41
(out)(err)		 O = 6838
T = 0.15
(out)(err)		 O = 6576
T = 0.09
(out)(err)
file_rwpms_wcnf_L2_V150_C5000_H150_1.wcnf O = 5338
T = 0.05		 O = 5338
T = 0.60
(out)(err)		 O = 5338
T = 0.05
(out)(err)		 O = 5338
T = 0.49
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 5881
T = 284.73
(out)(err)		 O = 6655
T = 0.16
(out)(err)		 O = 6417
T = 0.21
(out)(err)
file_rwpms_wcnf_L2_V150_C5000_H150_2.wcnf O = 5312
T = 0.93		 O = 5312
T = 1.06
(out)(err)		 O = 5312
T = 0.93
(out)(err)		 O = 5312
T = 0.99
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 5822
T = 284.66
(out)(err)		 O = 6955
T = 0.13
(out)(err)		 O = 6337
T = 0.17
(out)(err)
file_rwpms_wcnf_L2_V150_C5000_H150_3.wcnf O = 5507
T = 0.18		 O = 5507
T = 1.00
(out)(err)		 O = 5507
T = 0.18
(out)(err)		 O = 5507
T = 1.10
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 5958
T = 284.71
(out)(err)		 O = 6945
T = 0.11
(out)(err)		 O = 6698
T = 0.14
(out)(err)
file_rwpms_wcnf_L2_V150_C5000_H150_4.wcnf O = 5451
T = 0.04		 O = 5451
T = 2.36
(out)(err)		 O = 5451
T = 0.04
(out)(err)		 O = 5451
T = 0.89
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 6115
T = 284.65
(out)(err)		 O = 6708
T = 0.14
(out)(err)		 O = 6535
T = 0.19
(out)(err)
file_rwpms_wcnf_L2_V150_C5000_H150_5.wcnf O = 5308
T = 0.67		 O = 5308
T = 1.84
(out)(err)		 O = 5308
T = 0.71
(out)(err)		 O = 5308
T = 0.67
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 5709
T = 284.66
(out)(err)		 O = 6795
T = 0.15
(out)(err)		 O = 6233
T = 0.18
(out)(err)
file_rwpms_wcnf_L2_V150_C5000_H150_6.wcnf O = 5428
T = 0.44		 O = 5428
T = 0.94
(out)(err)		 O = 5428
T = 0.44
(out)(err)		 O = 5428
T = 0.66
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 5922
T = 284.76
(out)(err)		 O = 6647
T = 0.14
(out)(err)		 O = 6103
T = 0.19
(out)(err)
file_rwpms_wcnf_L2_V150_C5000_H150_7.wcnf O = 5468
T = 1.07		 O = 5468
T = 1.63
(out)(err)		 O = 5468
T = 38.99
(out)(err)		 O = 5468
T = 1.07
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 5868
T = 284.58
(out)(err)		 O = 6767
T = 0.05
(out)(err)		 O = 6572
T = 0.21
(out)(err)
file_rwpms_wcnf_L2_V150_C5000_H150_8.wcnf O = 5339
T = 0.89		 O = 5339
T = 0.89
(out)(err)		 O = 5339
T = 1.00
(out)(err)		 O = 5339
T = 1.07
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 5908
T = 284.78
(out)(err)		 O = 6612
T = 0.08
(out)(err)		 O = 6361
T = 0.17
(out)(err)
file_rwpms_wcnf_L2_V150_C5000_H150_9.wcnf O = 5376
T = 0.09		 O = 5376
T = 0.67
(out)(err)		 O = 5376
T = 0.09
(out)(err)		 O = 5376
T = 1.21
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 6008
T = 284.71
(out)(err)		 O = 6863
T = 0.05
(out)(err)		 O = 6494
T = 0.18
(out)(err)
file_rwpms_wcnf_L2_V150_C1000_H150_0.wcnf O = 626
T = 0.08		 O = 626
T = 0.93
(out)(err)		 O = 626
T = 0.08
(out)(err)		 O = 626
T = 1.55
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 850
T = 284.59
(out)(err)		 O = 767
T = 181.50
(out)(err)		 O = 711
T = 234.71
(out)(err)
file_rwpms_wcnf_L2_V150_C1000_H150_1.wcnf O = 745
T = 1.33		 O = 745
T = 3.59
(out)(err)		 O = 745
T = 12.51
(out)(err)		 O = 745
T = 1.33
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 962
T = 284.67
(out)(err)		 O = 843
T = 49.09
(out)(err)		 O = 874
T = 72.60
(out)(err)
file_rwpms_wcnf_L2_V150_C1000_H150_2.wcnf O = 629
T = 0.08		 O = 629
T = 0.97
(out)(err)		 O = 629
T = 0.08
(out)(err)		 O = 629
T = 0.30
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 694
T = 284.64
(out)(err)		 O = 744
T = 4.36
(out)(err)		 O = 755
T = 2.92
(out)(err)
file_rwpms_wcnf_L2_V150_C1000_H150_3.wcnf O = 723
T = 0.04		 O = 723
T = 1.62
(out)(err)		 O = 723
T = 0.04
(out)(err)		 O = 723
T = 1.71
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 922
T = 284.71
(out)(err)		 O = 856
T = 126.67
(out)(err)		 O = 847
T = 218.38
(out)(err)
file_rwpms_wcnf_L2_V150_C1000_H150_4.wcnf O = 737
T = 1.82		 O = 765
T = 154.47
(out)(err)		 O = 740
T = 227.65
(out)(err)		 O = 737
T = 1.82
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 878
T = 284.77
(out)(err)		 O = 853
T = 82.87
(out)(err)		 O = 811
T = 113.54
(out)(err)
file_rwpms_wcnf_L2_V150_C1000_H150_5.wcnf O = 668
T = 0.02		 O = 668
T = 3.99
(out)(err)		 O = 668
T = 0.02
(out)(err)		 O = 668
T = 0.86
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 711
T = 284.71
(out)(err)		 O = 777
T = 137.16
(out)(err)		 O = 762
T = 21.57
(out)(err)
file_rwpms_wcnf_L2_V150_C1000_H150_6.wcnf O = 641
T = 0.03		 O = 641
T = 1.17
(out)(err)		 O = 641
T = 0.03
(out)(err)		 O = 641
T = 0.55
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 658
T = 284.75
(out)(err)		 O = 747
T = 18.71
(out)(err)		 O = 749
T = 86.70
(out)(err)
file_rwpms_wcnf_L2_V150_C1000_H150_7.wcnf O = 688
T = 0.36		 O = 688
T = 15.97
(out)(err)		 O = 688
T = 94.63
(out)(err)		 O = 688
T = 0.36
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 931
T = 284.71
(out)(err)		 O = 785
T = 70.88
(out)(err)		 O = 784
T = 160.34
(out)(err)
file_rwpms_wcnf_L2_V150_C1000_H150_8.wcnf O = 577
T = 0.30		 O = 577
T = 0.57
(out)(err)		 O = 577
T = 0.30
(out)(err)		 O = 577
T = 1.67
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 752
T = 284.75
(out)(err)		 O = 718
T = 153.38
(out)(err)		 O = 699
T = 260.04
(out)(err)
file_rwpms_wcnf_L2_V150_C1000_H150_9.wcnf O = 714
T = 0.69		 O = 714
T = 0.92
(out)(err)		 O = 714
T = 0.69
(out)(err)		 O = 714
T = 0.84
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 820
T = 284.45
(out)(err)		 O = 811
T = 115.95
(out)(err)		 O = 820
T = 170.40
(out)(err)
file_rwpms_wcnf_L2_V150_C1500_H150_0.wcnf O = 1121
T = 0.42		 O = 1121
T = 0.83
(out)(err)		 O = 1121
T = 0.42
(out)(err)		 O = 1121
T = 1.51
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1354
T = 284.71
(out)(err)		 O = 1286
T = 74.38
(out)(err)		 O = 1365
T = 63.07
(out)(err)
file_rwpms_wcnf_L2_V150_C1500_H150_1.wcnf O = 1142
T = 0.86		 O = 1142
T = 0.86
(out)(err)		 O = 1142
T = 114.24
(out)(err)		 O = 1142
T = 0.92
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1360
T = 284.73
(out)(err)		 O = 1364
T = 128.91
(out)(err)		 O = 1341
T = 198.78
(out)(err)
file_rwpms_wcnf_L2_V150_C1500_H150_2.wcnf O = 1252
T = 0.94		 O = 1252
T = 1.52
(out)(err)		 O = 1252
T = 5.85
(out)(err)		 O = 1252
T = 0.94
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1551
T = 284.76
(out)(err)		 O = 1533
T = 10.83
(out)(err)		 O = 1449
T = 0.98
(out)(err)
file_rwpms_wcnf_L2_V150_C1500_H150_3.wcnf O = 1295
T = 0.39		 O = 1295
T = 1.58
(out)(err)		 O = 1295
T = 0.39
(out)(err)		 O = 1295
T = 0.73
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1546
T = 284.72
(out)(err)		 O = 1503
T = 78.74
(out)(err)		 O = 1467
T = 92.38
(out)(err)
file_rwpms_wcnf_L2_V150_C1500_H150_4.wcnf O = 1261
T = 0.12		 O = 1261
T = 6.44
(out)(err)		 O = 1261
T = 0.12
(out)(err)		 O = 1261
T = 1.19
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1488
T = 284.73
(out)(err)		 O = 1465
T = 36.64
(out)(err)		 O = 1489
T = 0.77
(out)(err)
file_rwpms_wcnf_L2_V150_C1500_H150_5.wcnf O = 1047
T = 0.04		 O = 1047
T = 1.98
(out)(err)		 O = 1047
T = 0.04
(out)(err)		 O = 1047
T = 0.43
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1345
T = 284.63
(out)(err)		 O = 1237
T = 246.02
(out)(err)		 O = 1323
T = 218.04
(out)(err)
file_rwpms_wcnf_L2_V150_C1500_H150_6.wcnf O = 1175
T = 0.15		 O = 1175
T = 1.20
(out)(err)		 O = 1175
T = 0.15
(out)(err)		 O = 1175
T = 1.15
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1384
T = 284.74
(out)(err)		 O = 1379
T = 221.74
(out)(err)		 O = 1353
T = 108.18
(out)(err)
file_rwpms_wcnf_L2_V150_C1500_H150_7.wcnf O = 1145
T = 0.71		 O = 1145
T = 0.94
(out)(err)		 O = 1145
T = 0.71
(out)(err)		 O = 1145
T = 1.94
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1344
T = 284.77
(out)(err)		 O = 1353
T = 9.66
(out)(err)		 O = 1339
T = 1.09
(out)(err)
file_rwpms_wcnf_L2_V150_C1500_H150_8.wcnf O = 1135
T = 0.14		 O = 1135
T = 2.08
(out)(err)		 O = 1135
T = 0.14
(out)(err)		 O = 1135
T = 1.76
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1359
T = 284.41
(out)(err)		 O = 1377
T = 92.32
(out)(err)		 O = 1341
T = 138.50
(out)(err)
file_rwpms_wcnf_L2_V150_C1500_H150_9.wcnf O = 1232
T = 0.10		 O = 1232
T = 0.51
(out)(err)		 O = 1232
T = 0.10
(out)(err)		 O = 1232
T = 3.62
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1516
T = 284.76
(out)(err)		 O = 1426
T = 281.63
(out)(err)		 O = 1375
T = 27.76
(out)(err)
file_rwpms_wcnf_L2_V150_C2000_H150_0.wcnf O = 1842
T = 0.05		 O = 1842
T = 0.98
(out)(err)		 O = 1842
T = 0.05
(out)(err)		 O = 1842
T = 0.66
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 2147
T = 284.62
(out)(err)		 O = 2181
T = 230.95
(out)(err)		 O = 2365
T = 0.22
(out)(err)
file_rwpms_wcnf_L2_V150_C2000_H150_1.wcnf O = 1699
T = 0.71		 O = 1699
T = 0.92
(out)(err)		 O = 1699
T = 1.39
(out)(err)		 O = 1699
T = 0.71
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1965
T = 284.75
(out)(err)		 O = 1944
T = 9.60
(out)(err)		 O = 1932
T = 149.80
(out)(err)
file_rwpms_wcnf_L2_V150_C2000_H150_2.wcnf O = 1730
T = 0.12		 O = 1730
T = 2.10
(out)(err)		 O = 1730
T = 0.12
(out)(err)		 O = 1730
T = 1.94
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 2046
T = 284.72
(out)(err)		 O = 2006
T = 3.43
(out)(err)		 O = 2087
T = 24.52
(out)(err)
file_rwpms_wcnf_L2_V150_C2000_H150_3.wcnf O = 1885
T = 1.07		 O = 1885
T = 1.07
(out)(err)		 O = 1885
T = 16.10
(out)(err)		 O = 1885
T = 1.97
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 2264
T = 284.49
(out)(err)		 O = 2159
T = 49.83
(out)(err)		 O = 2191
T = 52.77
(out)(err)
file_rwpms_wcnf_L2_V150_C2000_H150_4.wcnf O = 2043
T = 0.87		 O = 2043
T = 66.57
(out)(err)		 O = 2043
T = 1.11
(out)(err)		 O = 2043
T = 0.87
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 2282
T = 284.72
(out)(err)		 O = 2287
T = 6.37
(out)(err)		 O = 2234
T = 258.56
(out)(err)
file_rwpms_wcnf_L2_V150_C2000_H150_5.wcnf O = 1818
T = 0.65		 O = 1818
T = 1.49
(out)(err)		 O = 1818
T = 4.94
(out)(err)		 O = 1818
T = 0.65
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 2074
T = 284.65
(out)(err)		 O = 2142
T = 100.29
(out)(err)		 O = 2101
T = 49.69
(out)(err)
file_rwpms_wcnf_L2_V150_C2000_H150_6.wcnf O = 1832
T = 0.25		 O = 1832
T = 0.88
(out)(err)		 O = 1832
T = 0.25
(out)(err)		 O = 1832
T = 1.56
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 2037
T = 284.73
(out)(err)		 O = 2030
T = 23.14
(out)(err)		 O = 2042
T = 211.50
(out)(err)
file_rwpms_wcnf_L2_V150_C2000_H150_7.wcnf O = 1780
T = 0.05		 O = 1780
T = 1.21
(out)(err)		 O = 1780
T = 0.05
(out)(err)		 O = 1780
T = 3.11
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 2209
T = 284.46
(out)(err)		 O = 2087
T = 50.84
(out)(err)		 O = 2090
T = 0.64
(out)(err)
file_rwpms_wcnf_L2_V150_C2000_H150_8.wcnf O = 1726
T = 0.35		 O = 1726
T = 1.26
(out)(err)		 O = 1726
T = 0.35
(out)(err)		 O = 1726
T = 0.84
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 1962
T = 284.77
(out)(err)		 O = 2094
T = 0.81
(out)(err)		 O = 2072
T = 31.96
(out)(err)
file_rwpms_wcnf_L2_V150_C2000_H150_9.wcnf O = 1807
T = 0.46		 O = 1807
T = 2.17
(out)(err)		 O = 1807
T = 0.46
(out)(err)		 O = 1807
T = 1.16
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 2174
T = 284.57
(out)(err)		 O = 2124
T = 2.01
(out)(err)		 O = 2119
T = 7.90
(out)(err)
file_rwpms_wcnf_L2_V150_C2500_H150_0.wcnf O = 2414
T = 0.68		 O = 2414
T = 1.63
(out)(err)		 O = 2414
T = 0.68
(out)(err)		 O = 2414
T = 1.26
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 2703
T = 284.75
(out)(err)		 O = 2689
T = 70.61
(out)(err)		 O = 2713
T = 178.67
(out)(err)
file_rwpms_wcnf_L2_V150_C2500_H150_1.wcnf O = 2398
T = 0.57		 O = 2398
T = 0.57
(out)(err)		 O = 2398
T = 0.75
(out)(err)		 O = 2398
T = 0.90
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 2695
T = 284.72
(out)(err)		 O = 3179
T = 0.06
(out)(err)		 O = 2680
T = 103.77
(out)(err)
file_rwpms_wcnf_L2_V150_C2500_H150_2.wcnf O = 2113
T = 0.06		 O = 2113
T = 2.99
(out)(err)		 O = 2113
T = 0.06
(out)(err)		 O = 2113
T = 0.11
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 2557
T = 284.73
(out)(err)		 O = 2550
T = 71.99
(out)(err)		 O = 2476
T = 219.83
(out)(err)
file_rwpms_wcnf_L2_V150_C2500_H150_3.wcnf O = 2339
T = 0.04		 O = 2339
T = 0.90
(out)(err)		 O = 2339
T = 0.04
(out)(err)		 O = 2339
T = 1.07
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 2666
T = 284.72
(out)(err)		 O = 2775
T = 40.92
(out)(err)		 O = 2771
T = 90.07
(out)(err)
file_rwpms_wcnf_L2_V150_C2500_H150_4.wcnf O = 2390
T = 0.89		 O = 2390
T = 0.89
(out)(err)		 O = 2390
T = 3.01
(out)(err)		 O = 2390
T = 1.38
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 2696
T = 284.64
(out)(err)		 O = 2777
T = 171.45
(out)(err)		 O = 2769
T = 54.80
(out)(err)
file_rwpms_wcnf_L2_V150_C2500_H150_5.wcnf O = 2332
T = 0.44		 O = 2332
T = 1.07
(out)(err)		 O = 2332
T = 0.44
(out)(err)		 O = 2332
T = 1.62
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 2620
T = 284.71
(out)(err)		 O = 2720
T = 280.15
(out)(err)		 O = 2693
T = 187.30
(out)(err)
file_rwpms_wcnf_L2_V150_C2500_H150_6.wcnf O = 2488
T = 0.11		 O = 2488
T = 1.80
(out)(err)		 O = 2488
T = 0.11
(out)(err)		 O = 2488
T = 1.22
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 2833
T = 284.71
(out)(err)		 O = 2804
T = 2.99
(out)(err)		 O = 2797
T = 161.17
(out)(err)
file_rwpms_wcnf_L2_V150_C2500_H150_7.wcnf O = 2241
T = 0.29		 O = 2241
T = 1.90
(out)(err)		 O = 2241
T = 0.29
(out)(err)		 O = 2241
T = 1.65
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 2414
T = 284.74
(out)(err)		 O = 3226
T = 0.10
(out)(err)		 O = 2856
T = 0.16
(out)(err)
file_rwpms_wcnf_L2_V150_C2500_H150_8.wcnf O = 2353
T = 0.05		 O = 2353
T = 1.95
(out)(err)		 O = 2353
T = 0.05
(out)(err)		 O = 2353
T = 0.76
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 2650
T = 284.61
(out)(err)		 O = 2684
T = 26.75
(out)(err)		 O = 2717
T = 271.81
(out)(err)
file_rwpms_wcnf_L2_V150_C2500_H150_9.wcnf O = 2560
T = 1.33		 O = N/A
T = TO
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 2560
T = 1.33
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 2731
T = 284.70
(out)(err)		 O = 2816
T = 54.44
(out)(err)		 O = 2849
T = 221.12
(out)(err)
file_rwpms_wcnf_L2_V150_C3000_H150_0.wcnf O = 2885
T = 0.05		 O = 2885
T = 0.56
(out)(err)		 O = 2885
T = 0.05
(out)(err)		 O = 2885
T = 0.17
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 3245
T = 284.75
(out)(err)		 O = 3999
T = 0.08
(out)(err)		 O = 3750
T = 0.22
(out)(err)
file_rwpms_wcnf_L2_V150_C3000_H150_1.wcnf O = 2918
T = 0.02		 O = 2918
T = 0.56
(out)(err)		 O = 2918
T = 0.02
(out)(err)		 O = 2918
T = 1.71
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 3279
T = 284.67
(out)(err)		 O = 3882
T = 0.17
(out)(err)		 O = 3572
T = 0.16
(out)(err)
file_rwpms_wcnf_L2_V150_C3000_H150_2.wcnf O = 2878
T = 0.10		 O = 2878
T = 1.02
(out)(err)		 O = 2878
T = 0.10
(out)(err)		 O = 2878
T = 3.10
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 3395
T = 284.73
(out)(err)		 O = 3876
T = 0.11
(out)(err)		 O = 3672
T = 0.20
(out)(err)
file_rwpms_wcnf_L2_V150_C3000_H150_3.wcnf O = 3045
T = 0.22		 O = 3045
T = 2.99
(out)(err)		 O = 3045
T = 0.22
(out)(err)		 O = 3045
T = 0.45
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 3491
T = 284.61
(out)(err)		 O = 3983
T = 0.09
(out)(err)		 O = 3750
T = 0.10
(out)(err)
file_rwpms_wcnf_L2_V150_C3000_H150_4.wcnf O = 3021
T = 0.20		 O = 3021
T = 1.55
(out)(err)		 O = 3021
T = 0.20
(out)(err)		 O = 3021
T = 1.63
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 3382
T = 284.64
(out)(err)		 O = 4001
T = 0.11
(out)(err)		 O = 3391
T = 77.21
(out)(err)
file_rwpms_wcnf_L2_V150_C3000_H150_5.wcnf O = 2812
T = 0.09		 O = 2812
T = 1.14
(out)(err)		 O = 2812
T = 0.09
(out)(err)		 O = 2812
T = 0.36
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 3321
T = 284.70
(out)(err)		 O = 3829
T = 0.07
(out)(err)		 O = 3546
T = 0.10
(out)(err)
file_rwpms_wcnf_L2_V150_C3000_H150_6.wcnf O = 2838
T = 0.04		 O = 2838
T = 1.55
(out)(err)		 O = 2838
T = 0.04
(out)(err)		 O = 2838
T = 1.14
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 3268
T = 284.73
(out)(err)		 O = 3901
T = 0.11
(out)(err)		 O = 3660
T = 0.12
(out)(err)
file_rwpms_wcnf_L2_V150_C3000_H150_7.wcnf O = 2815
T = 0.08		 O = 2815
T = 3.25
(out)(err)		 O = 2815
T = 0.08
(out)(err)		 O = 2815
T = 1.31
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 3301
T = 284.50
(out)(err)		 O = 3930
T = 0.14
(out)(err)		 O = 3689
T = 0.09
(out)(err)
file_rwpms_wcnf_L2_V150_C3000_H150_8.wcnf O = 3025
T = 0.21		 O = 3025
T = 1.30
(out)(err)		 O = 3025
T = 0.21
(out)(err)		 O = 3025
T = 2.54
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 3290
T = 284.52
(out)(err)		 O = 3451
T = 296.15
(out)(err)		 O = 3546
T = 1.57
(out)(err)
file_rwpms_wcnf_L2_V150_C3000_H150_9.wcnf O = 2952
T = 1.58		 O = 2952
T = 1.58
(out)(err)		 O = 2952
T = 24.41
(out)(err)		 O = 2952
T = 2.16
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 3280
T = 284.65
(out)(err)		 O = 3929
T = 0.06
(out)(err)		 O = 3650
T = 0.06
(out)(err)
file_rwpms_wcnf_L2_V150_C3500_H150_0.wcnf O = 3634
T = 0.40		 O = 3634
T = 0.81
(out)(err)		 O = 3634
T = 0.40
(out)(err)		 O = 3634
T = 3.04
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 4059
T = 284.66
(out)(err)		 O = 4893
T = 0.16
(out)(err)		 O = 4499
T = 0.13
(out)(err)
file_rwpms_wcnf_L2_V150_C3500_H150_1.wcnf O = 3662
T = 0.24		 O = 3662
T = 0.45
(out)(err)		 O = 3662
T = 0.24
(out)(err)		 O = 3662
T = 1.26
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 4117
T = 284.75
(out)(err)		 O = 4574
T = 0.12
(out)(err)		 O = 4241
T = 0.11
(out)(err)
file_rwpms_wcnf_L2_V150_C3500_H150_2.wcnf O = 3827
T = 1.99		 O = 3827
T = 23.88
(out)(err)		 O = 3827
T = 104.66
(out)(err)		 O = 3827
T = 1.99
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 4236
T = 284.76
(out)(err)		 O = 4607
T = 0.18
(out)(err)		 O = 4310
T = 0.13
(out)(err)
file_rwpms_wcnf_L2_V150_C3500_H150_3.wcnf O = 3512
T = 0.27		 O = 3512
T = 0.49
(out)(err)		 O = 3512
T = 0.27
(out)(err)		 O = 3512
T = 1.91
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 3966
T = 284.59
(out)(err)		 O = 4340
T = 0.16
(out)(err)		 O = 4357
T = 0.08
(out)(err)
file_rwpms_wcnf_L2_V150_C3500_H150_4.wcnf O = 3355
T = 0.06		 O = 3355
T = 1.73
(out)(err)		 O = 3355
T = 0.06
(out)(err)		 O = 3355
T = 2.05
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 3648
T = 284.59
(out)(err)		 O = 4754
T = 0.06
(out)(err)		 O = 3994
T = 0.16
(out)(err)
file_rwpms_wcnf_L2_V150_C3500_H150_5.wcnf O = 3450
T = 2.25		 O = 3450
T = 5.78
(out)(err)		 O = 3450
T = 216.48
(out)(err)		 O = 3450
T = 2.25
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 3964
T = 284.69
(out)(err)		 O = 3998
T = 262.90
(out)(err)		 O = 4025
T = 24.98
(out)(err)
file_rwpms_wcnf_L2_V150_C3500_H150_6.wcnf O = 3654
T = 0.32		 O = 3654
T = 5.47
(out)(err)		 O = 3654
T = 102.07
(out)(err)		 O = 3654
T = 0.32
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 3914
T = 284.59
(out)(err)		 O = 4111
T = 3.32
(out)(err)		 O = 4030
T = 35.90
(out)(err)
file_rwpms_wcnf_L2_V150_C3500_H150_7.wcnf O = 3617
T = 0.17		 O = 3617
T = 1.04
(out)(err)		 O = 3617
T = 0.17
(out)(err)		 O = 3617
T = 0.65
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 4107
T = 284.70
(out)(err)		 O = 4647
T = 0.08
(out)(err)		 O = 4520
T = 0.03
(out)(err)
file_rwpms_wcnf_L2_V150_C3500_H150_8.wcnf O = 3525
T = 0.62		 O = 3525
T = 1.85
(out)(err)		 O = 3525
T = 0.62
(out)(err)		 O = 3525
T = 0.81
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 4140
T = 284.74
(out)(err)		 O = 4575
T = 0.11
(out)(err)		 O = 4580
T = 0.05
(out)(err)
file_rwpms_wcnf_L2_V150_C3500_H150_9.wcnf O = 3240
T = 0.16		 O = 3240
T = 1.53
(out)(err)		 O = 3240
T = 0.16
(out)(err)		 O = 3240
T = 1.64
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 3954
T = 284.71
(out)(err)		 O = 4290
T = 0.07
(out)(err)		 O = 4431
T = 0.09
(out)(err)
file_rwpms_wcnf_L3_V100_C600_H100_0.wcnf O = 28
T = 0.07		 O = 28
T = 2.56
(out)(err)		 O = 28
T = 0.07
(out)(err)		 O = 28
T = 2.63
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 35
T = 284.70
(out)(err)		 O = 96
T = 210.71
(out)(err)		 O = 96
T = 1.02
(out)(err)
file_rwpms_wcnf_L3_V100_C600_H100_1.wcnf O = 15
T = 0.08		 O = 15
T = 3.31
(out)(err)		 O = 15
T = 0.08
(out)(err)		 O = 15
T = 1.82
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 17
T = 284.58
(out)(err)		 O = 65
T = 298.99
(out)(err)		 O = 94
T = 107.31
(out)(err)
file_rwpms_wcnf_L3_V100_C600_H100_2.wcnf O = 25
T = 0.27		 O = 25
T = 2.97
(out)(err)		 O = 25
T = 0.27
(out)(err)		 O = 25
T = 1.69
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 81
T = 284.71
(out)(err)		 O = 103
T = 90.34
(out)(err)		 O = 93
T = 200.24
(out)(err)
file_rwpms_wcnf_L3_V100_C600_H100_3.wcnf O = 25
T = 0.05		 O = 25
T = 2.55
(out)(err)		 O = 25
T = 0.05
(out)(err)		 O = 25
T = 2.15
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 37
T = 284.53
(out)(err)		 O = 71
T = 0.41
(out)(err)		 O = 108
T = 162.94
(out)(err)
file_rwpms_wcnf_L3_V100_C600_H100_4.wcnf O = 30
T = 0.35		 O = 30
T = 1.59
(out)(err)		 O = 30
T = 0.35
(out)(err)		 O = 30
T = 2.12
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 37
T = 284.51
(out)(err)		 O = 107
T = 18.36
(out)(err)		 O = 99
T = 256.82
(out)(err)
file_rwpms_wcnf_L3_V100_C600_H100_5.wcnf O = 27
T = 0.11		 O = 27
T = 2.76
(out)(err)		 O = 27
T = 0.11
(out)(err)		 O = 27
T = 2.19
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 28
T = 284.58
(out)(err)		 O = 121
T = 218.76
(out)(err)		 O = 88
T = 277.25
(out)(err)
file_rwpms_wcnf_L3_V100_C600_H100_6.wcnf O = 26
T = 0.08		 O = 26
T = 2.50
(out)(err)		 O = 26
T = 0.08
(out)(err)		 O = 26
T = 2.15
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 28
T = 284.75
(out)(err)		 O = 107
T = 0.54
(out)(err)		 O = 98
T = 289.31
(out)(err)
file_rwpms_wcnf_L3_V100_C600_H100_7.wcnf O = 29
T = 2.15		 O = 29
T = 2.15
(out)(err)		 O = 29
T = 2.29
(out)(err)		 O = 29
T = 2.57
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 39
T = 284.58
(out)(err)		 O = 70
T = 290.46
(out)(err)		 O = 77
T = 191.39
(out)(err)
file_rwpms_wcnf_L3_V100_C600_H100_8.wcnf O = 19
T = 0.41		 O = 19
T = 1.95
(out)(err)		 O = 19
T = 0.41
(out)(err)		 O = 19
T = 2.53
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 29
T = 284.76
(out)(err)		 O = 57
T = 84.23
(out)(err)		 O = 64
T = 258.39
(out)(err)
file_rwpms_wcnf_L3_V100_C600_H100_9.wcnf O = 30
T = 0.09		 O = 30
T = 0.48
(out)(err)		 O = 30
T = 0.09
(out)(err)		 O = 30
T = 2.51
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 54
T = 284.66
(out)(err)		 O = 110
T = 163.58
(out)(err)		 O = 118
T = 0.70
(out)(err)
file_rwpms_wcnf_L3_V100_C700_H100_0.wcnf O = 54
T = 0.02		 O = 54
T = 2.63
(out)(err)		 O = 54
T = 0.02
(out)(err)		 O = 54
T = 2.66
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 139
T = 284.73
(out)(err)		 O = 158
T = 0.70
(out)(err)		 O = 155
T = 25.30
(out)(err)
file_rwpms_wcnf_L3_V100_C700_H100_1.wcnf O = 58
T = 0.09		 O = 58
T = 2.33
(out)(err)		 O = 58
T = 0.09
(out)(err)		 O = 58
T = 1.87
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 113
T = 284.65
(out)(err)		 O = 162
T = 204.82
(out)(err)		 O = 172
T = 4.85
(out)(err)
file_rwpms_wcnf_L3_V100_C700_H100_2.wcnf O = 59
T = 0.44		 O = 59
T = 1.02
(out)(err)		 O = 59
T = 0.44
(out)(err)		 O = 59
T = 2.91
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 111
T = 284.73
(out)(err)		 O = 164
T = 175.59
(out)(err)		 O = 176
T = 2.66
(out)(err)
file_rwpms_wcnf_L3_V100_C700_H100_3.wcnf O = 48
T = 0.32		 O = 48
T = 1.90
(out)(err)		 O = 48
T = 0.32
(out)(err)		 O = 48
T = 2.88
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 90
T = 284.60
(out)(err)		 O = 164
T = 217.14
(out)(err)		 O = 133
T = 0.80
(out)(err)
file_rwpms_wcnf_L3_V100_C700_H100_4.wcnf O = 42
T = 0.04		 O = 42
T = 1.35
(out)(err)		 O = 42
T = 0.04
(out)(err)		 O = 42
T = 2.61
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 119
T = 284.73
(out)(err)		 O = 137
T = 39.24
(out)(err)		 O = 168
T = 214.32
(out)(err)
file_rwpms_wcnf_L3_V100_C700_H100_5.wcnf O = 46
T = 0.66		 O = 46
T = 2.30
(out)(err)		 O = 46
T = 0.66
(out)(err)		 O = 46
T = 2.88
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 104
T = 284.58
(out)(err)		 O = 136
T = 133.16
(out)(err)		 O = 147
T = 0.64
(out)(err)
file_rwpms_wcnf_L3_V100_C700_H100_6.wcnf O = 51
T = 0.07		 O = 51
T = 3.06
(out)(err)		 O = 51
T = 0.07
(out)(err)		 O = 51
T = 2.09
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 128
T = 284.60
(out)(err)		 O = 166
T = 22.07
(out)(err)		 O = 153
T = 41.20
(out)(err)
file_rwpms_wcnf_L3_V100_C700_H100_7.wcnf O = 63
T = 0.13		 O = 63
T = 1.80
(out)(err)		 O = 63
T = 0.13
(out)(err)		 O = 63
T = 2.55
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 105
T = 284.65
(out)(err)		 O = 161
T = 171.95
(out)(err)		 O = 160
T = 4.31
(out)(err)
file_rwpms_wcnf_L3_V100_C700_H100_8.wcnf O = 64
T = 0.87		 O = 64
T = 2.84
(out)(err)		 O = 64
T = 2.69
(out)(err)		 O = 64
T = 0.87
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 108
T = 284.54
(out)(err)		 O = 170
T = 78.15
(out)(err)		 O = 180
T = 1.26
(out)(err)
file_rwpms_wcnf_L3_V100_C700_H100_9.wcnf O = 45
T = 0.27		 O = 45
T = 2.88
(out)(err)		 O = 45
T = 0.27
(out)(err)		 O = 45
T = 3.03
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 95
T = 284.64
(out)(err)		 O = 147
T = 5.31
(out)(err)		 O = 177
T = 172.88
(out)(err)
file_rwpms_wcnf_L3_V100_C800_H100_0.wcnf O = 95
T = 0.12		 O = 95
T = 2.29
(out)(err)		 O = 95
T = 0.12
(out)(err)		 O = 95
T = 0.39
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 233
T = 284.56
(out)(err)		 O = 203
T = 172.94
(out)(err)		 O = 231
T = 28.59
(out)(err)
file_rwpms_wcnf_L3_V100_C800_H100_1.wcnf O = 81
T = 0.48		 O = 81
T = 1.66
(out)(err)		 O = 81
T = 0.48
(out)(err)		 O = 81
T = 2.50
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 183
T = 284.66
(out)(err)		 O = 187
T = 0.83
(out)(err)		 O = 219
T = 4.99
(out)(err)
file_rwpms_wcnf_L3_V100_C800_H100_2.wcnf O = 77
T = 1.01		 O = 77
T = 1.29
(out)(err)		 O = 77
T = 1.01
(out)(err)		 O = 77
T = 2.54
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 162
T = 284.72
(out)(err)		 O = 199
T = 0.81
(out)(err)		 O = 190
T = 103.77
(out)(err)
file_rwpms_wcnf_L3_V100_C800_H100_3.wcnf O = 81
T = 1.46		 O = 81
T = 3.24
(out)(err)		 O = 81
T = 1.46
(out)(err)		 O = 81
T = 1.98
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 130
T = 284.43
(out)(err)		 O = 188
T = 143.12
(out)(err)		 O = 201
T = 215.79
(out)(err)
file_rwpms_wcnf_L3_V100_C800_H100_4.wcnf O = 75
T = 1.49		 O = 75
T = 2.33
(out)(err)		 O = 75
T = 1.49
(out)(err)		 O = 75
T = 1.51
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 148
T = 284.69
(out)(err)		 O = 221
T = 14.06
(out)(err)		 O = 209
T = 8.25
(out)(err)
file_rwpms_wcnf_L3_V100_C800_H100_5.wcnf O = 80
T = 0.35		 O = 80
T = 2.37
(out)(err)		 O = 80
T = 0.35
(out)(err)		 O = 80
T = 0.94
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 151
T = 284.64
(out)(err)		 O = 204
T = 2.14
(out)(err)		 O = 217
T = 162.95
(out)(err)
file_rwpms_wcnf_L3_V100_C800_H100_6.wcnf O = 74
T = 0.07		 O = 74
T = 3.32
(out)(err)		 O = 74
T = 0.07
(out)(err)		 O = 74
T = 1.59
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 133
T = 284.73
(out)(err)		 O = 248
T = 0.64
(out)(err)		 O = 206
T = 29.35
(out)(err)
file_rwpms_wcnf_L3_V100_C800_H100_7.wcnf O = 99
T = 0.21		 O = 99
T = 2.21
(out)(err)		 O = 99
T = 0.21
(out)(err)		 O = 99
T = 3.40
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 248
T = 284.73
(out)(err)		 O = 213
T = 24.45
(out)(err)		 O = 216
T = 0.96
(out)(err)
file_rwpms_wcnf_L3_V100_C800_H100_8.wcnf O = 90
T = 0.10		 O = 90
T = 2.24
(out)(err)		 O = 90
T = 0.10
(out)(err)		 O = 90
T = 2.47
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 188
T = 284.74
(out)(err)		 O = 216
T = 173.59
(out)(err)		 O = 209
T = 18.69
(out)(err)
file_rwpms_wcnf_L3_V100_C800_H100_9.wcnf O = 95
T = 0.10		 O = 95
T = 3.29
(out)(err)		 O = 95
T = 0.10
(out)(err)		 O = 95
T = 2.24
(out)(err)		 O = N/A
T = TO
(out)(err)		 O = 167
T = 284.76
(out)(err)		 O = 234
T = 38.25
(out)(err)		 O = 211
T = 155.19
(out)(err)