| Label | Meaning |
|---|---|
| S | Solution {OPTIMUM FOUND or OPT | UNSATISFIABLE or UNSAT | UNKNOWN | Not available or N/A} |
| O | Best solution found |
| T | CPU time (TO for Time Out) |
| (out)(err) | Standard output and standard error for each solver |
| Color | Meaning for Complete Solvers | Meaning for Incomplete Solvers |
|---|---|---|
| Text | Best solver column | Best solver column |
| Text | Optimal solution with the best CPU time | Best solution with the best CPU time |
| Text | Optimal solution and finished within the Time Out | Best solution without the best CPU time |
| Text | Optimal solution and did not finish within the Time Out | Solution found but not the best |
| Text | Time Out | Time Out |
| Text | Buggy solution | Buggy solution |
| Instance file name | Best solver | ISAC+-2016-in |
|---|---|---|
| s2v120c1200_1.wcnf | O = 840 T = 8.32 |
O = 840 T = 8.32 |
| s2v120c1200_2.wcnf | O = 803 T = 8.36 |
O = 803 T = 8.36 |
| s2v120c1200_3.wcnf | O = 834 T = 8.05 |
O = 834 T = 8.05 |
| s2v120c1200_4.wcnf | O = 811 T = 8.44 |
O = 811 T = 8.44 |
| s2v120c1200_5.wcnf | O = 850 T = 8.66 |
O = 850 T = 8.66 |
| s2v120c1200_6.wcnf | O = 784 T = 8.30 |
O = 784 T = 8.30 |
| s2v120c1200_7.wcnf | O = 747 T = 8.26 |
O = 747 T = 8.26 |
| s2v120c1200_8.wcnf | O = 813 T = 8.41 |
O = 813 T = 8.41 |
| s2v120c1300_1.wcnf | O = 890 T = 8.57 |
O = 890 T = 8.57 |
| s2v120c1300_2.wcnf | O = 847 T = 8.39 |
O = 847 T = 8.39 |
| s2v120c1300_3.wcnf | O = 941 T = 8.10 |
O = 941 T = 8.10 |
| s2v120c1300_4.wcnf | O = 939 T = 8.37 |
O = 939 T = 8.37 |
| s2v120c1300_5.wcnf | O = 949 T = 8.46 |
O = 949 T = 8.46 |
| s2v120c1300_6.wcnf | O = 865 T = 8.33 |
O = 865 T = 8.33 |
| s2v120c1300_7.wcnf | O = 879 T = 8.17 |
O = 879 T = 8.17 |
| s2v120c1300_8.wcnf | O = 868 T = 8.50 |
O = 868 T = 8.50 |
| s2v120c1400_1.wcnf | O = 1028 T = 8.58 |
O = 1028 T = 8.58 |
| s2v120c1400_2.wcnf | O = 1008 T = 8.88 |
O = 1008 T = 8.88 |
| s2v120c1400_3.wcnf | O = 983 T = 8.44 |
O = 983 T = 8.44 |
| s2v120c1400_4.wcnf | O = 1007 T = 8.71 |
O = 1007 T = 8.71 |
| s2v120c1400_5.wcnf | O = 1108 T = 8.52 |
O = 1108 T = 8.52 |
| s2v120c1400_6.wcnf | O = 959 T = 8.30 |
O = 959 T = 8.30 |
| s2v120c1400_7.wcnf | O = 1040 T = 8.81 |
O = 1040 T = 8.81 |
| s2v120c1400_8.wcnf | O = 1025 T = 8.51 |
O = 1025 T = 8.51 |
| s2v120c1500_1.wcnf | O = 1119 T = 8.24 |
O = 1119 T = 8.24 |
| s2v120c1500_2.wcnf | O = 1136 T = 8.58 |
O = 1136 T = 8.58 |
| s2v120c1500_3.wcnf | O = 1062 T = 8.36 |
O = 1062 T = 8.36 |
| s2v120c1500_4.wcnf | O = 1041 T = 8.35 |
O = 1041 T = 8.35 |
| s2v120c1500_5.wcnf | O = 1125 T = 8.05 |
O = 1125 T = 8.05 |
| s2v120c1500_6.wcnf | O = 1113 T = 8.58 |
O = 1113 T = 8.58 |
| s2v120c1500_7.wcnf | O = 1163 T = 8.50 |
O = 1163 T = 8.50 |
| s2v120c1500_8.wcnf | O = 1097 T = 8.13 |
O = 1097 T = 8.13 |
| s2v120c1600_1.wcnf | O = 1190 T = 8.28 |
O = 1190 T = 8.28 |
| s2v120c1600_2.wcnf | O = 1227 T = 8.45 |
O = 1227 T = 8.45 |
| s2v120c1600_3.wcnf | O = 1224 T = 8.88 |
O = 1224 T = 8.88 |
| s2v120c1600_4.wcnf | O = 1264 T = 8.43 |
O = 1264 T = 8.43 |
| s2v120c1600_5.wcnf | O = 1252 T = 8.08 |
O = 1252 T = 8.08 |
| s2v120c1600_6.wcnf | O = 1246 T = 8.55 |
O = 1246 T = 8.55 |
| s2v120c1600_7.wcnf | O = 1159 T = 8.14 |
O = 1159 T = 8.14 |
| s2v120c1600_8.wcnf | O = 1150 T = 8.36 |
O = 1150 T = 8.36 |
| s2v120c1700-1.wcnf | O = 1261 T = 8.59 |
O = 1261 T = 8.59 |
| s2v120c1800-1.wcnf | O = 1428 T = 8.08 |
O = 1428 T = 8.08 |
| s2v120c1900-1.wcnf | O = 1544 T = 8.19 |
O = 1544 T = 8.19 |
| s2v120c2000-1.wcnf | O = 1552 T = 8.53 |
O = 1552 T = 8.53 |
| s2v120c2100-1.wcnf | O = 1726 T = 8.74 |
O = 1726 T = 8.74 |
| s2v120c2200-1.wcnf | O = 1827 T = 8.42 |
O = 1827 T = 8.42 |
| s2v120c2300-1.wcnf | O = 1967 T = 8.31 |
O = 1967 T = 8.31 |
| s2v120c2400-1.wcnf | O = 2014 T = 8.22 |
O = 2014 T = 8.22 |
| s2v120c2500-1.wcnf | O = 2211 T = 8.34 |
O = 2211 T = 8.34 |
| s2v120c2600-1.wcnf | O = 2209 T = 8.29 |
O = 2209 T = 8.29 |
| s2v140c1200_1.wcnf | O = 780 T = 7.85 |
O = 780 T = 7.85 |
| s2v140c1200_2.wcnf | O = 733 T = 8.24 |
O = 733 T = 8.24 |
| s2v140c1200_3.wcnf | O = 741 T = 8.59 |
O = 741 T = 8.59 |
| s2v140c1200_4.wcnf | O = 667 T = 8.43 |
O = 667 T = 8.43 |
| s2v140c1200_5.wcnf | O = 714 T = 8.37 |
O = 714 T = 8.37 |
| s2v140c1200_6.wcnf | O = 803 T = 8.88 |
O = 803 T = 8.88 |
| s2v140c1200_7.wcnf | O = 774 T = 8.34 |
O = 774 T = 8.34 |
| s2v140c1200_8.wcnf | O = 745 T = 8.65 |
O = 745 T = 8.65 |
| s2v140c1300_1.wcnf | O = 846 T = 8.55 |
O = 846 T = 8.55 |
| s2v140c1300_2.wcnf | O = 774 T = 8.45 |
O = 774 T = 8.45 |
| s2v140c1300_3.wcnf | O = 832 T = 8.71 |
O = 832 T = 8.71 |
| s2v140c1300_4.wcnf | O = 871 T = 8.64 |
O = 871 T = 8.64 |
| s2v140c1300_5.wcnf | O = 844 T = 8.83 |
O = 844 T = 8.83 |
| s2v140c1300_6.wcnf | O = 884 T = 8.17 |
O = 884 T = 8.17 |
| s2v140c1300_7.wcnf | O = 874 T = 7.98 |
O = 874 T = 7.98 |
| s2v140c1300_8.wcnf | O = 812 T = 8.16 |
O = 812 T = 8.16 |
| s2v140c1400_1.wcnf | O = 926 T = 7.84 |
O = 926 T = 7.84 |
| s2v140c1400_2.wcnf | O = 879 T = 7.68 |
O = 879 T = 7.68 |
| s2v140c1400_3.wcnf | O = 936 T = 8.20 |
O = 936 T = 8.20 |
| s2v140c1400_4.wcnf | O = 932 T = 8.30 |
O = 932 T = 8.30 |
| s2v140c1400_5.wcnf | O = 968 T = 8.43 |
O = 968 T = 8.43 |
| s2v140c1400_6.wcnf | O = 967 T = 8.06 |
O = 967 T = 8.06 |
| s2v140c1400_7.wcnf | O = 923 T = 8.33 |
O = 923 T = 8.33 |
| s2v140c1400_8.wcnf | O = 957 T = 8.44 |
O = 957 T = 8.44 |
| s2v140c1500_1.wcnf | O = 986 T = 7.99 |
O = 986 T = 7.99 |
| s2v140c1500_2.wcnf | O = 998 T = 8.29 |
O = 998 T = 8.29 |
| s2v140c1500_3.wcnf | O = 1073 T = 8.05 |
O = 1073 T = 8.05 |
| s2v140c1500_4.wcnf | O = 1047 T = 8.53 |
O = 1047 T = 8.53 |
| s2v140c1500_5.wcnf | O = 1058 T = 8.19 |
O = 1058 T = 8.19 |
| s2v140c1500_6.wcnf | O = 1102 T = 8.70 |
O = 1102 T = 8.70 |
| s2v140c1500_7.wcnf | O = 1010 T = 8.32 |
O = 1010 T = 8.32 |
| s2v140c1500_8.wcnf | O = 1045 T = 8.09 |
O = 1045 T = 8.09 |
| s2v140c1600_1.wcnf | O = 1143 T = 8.26 |
O = 1143 T = 8.26 |
| s2v140c1600_2.wcnf | O = 1140 T = 8.27 |
O = 1140 T = 8.27 |
| s2v140c1600_3.wcnf | O = 1079 T = 8.25 |
O = 1079 T = 8.25 |
| s2v140c1600_4.wcnf | O = 1157 T = 8.41 |
O = 1157 T = 8.41 |
| s2v140c1600_5.wcnf | O = 1119 T = 8.28 |
O = 1119 T = 8.28 |
| s2v140c1600_6.wcnf | O = 1212 T = 8.48 |
O = 1212 T = 8.48 |
| s2v140c1600_7.wcnf | O = 1150 T = 8.34 |
O = 1150 T = 8.34 |
| s2v140c1600_8.wcnf | O = 1180 T = 8.54 |
O = 1180 T = 8.54 |
| s2v140c1700-1.wcnf | O = 1188 T = 8.09 |
O = 1188 T = 8.09 |
| s2v140c1800-1.wcnf | O = 1282 T = 8.23 |
O = 1282 T = 8.23 |
| s2v140c1900-1.wcnf | O = 1312 T = 8.14 |
O = 1312 T = 8.14 |
| s2v140c2000-1.wcnf | O = 1574 T = 8.32 |
O = 1574 T = 8.32 |
| s2v140c2100-1.wcnf | O = 1674 T = 8.56 |
O = 1674 T = 8.56 |
| s2v140c2200-1.wcnf | O = 1771 T = 8.11 |
O = 1771 T = 8.11 |
| s2v140c2300-1.wcnf | O = 1833 T = 8.53 |
O = 1833 T = 8.53 |
| s2v140c2400-1.wcnf | O = 1942 T = 8.20 |
O = 1942 T = 8.20 |
| s2v140c2500-1.wcnf | O = 2044 T = 9.16 |
O = 2044 T = 9.16 |
| s2v140c2600-1.wcnf | O = 2225 T = 8.60 |
O = 2225 T = 8.60 |
| s2v160c1200-1.wcnf | O = 653 T = 8.03 |
O = 653 T = 8.03 |
| s2v160c1200-2.wcnf | O = 669 T = 8.37 |
O = 669 T = 8.37 |
| s2v160c1200-3.wcnf | O = 666 T = 8.70 |
O = 666 T = 8.70 |
| s2v160c1300-1.wcnf | O = 759 T = 8.56 |
O = 759 T = 8.56 |
| s2v160c1300-2.wcnf | O = 753 T = 8.50 |
O = 753 T = 8.50 |
| s2v160c1300-3.wcnf | O = 783 T = 8.41 |
O = 783 T = 8.41 |
| s2v160c1400-1.wcnf | O = 808 T = 8.15 |
O = 808 T = 8.15 |
| s2v160c1400-2.wcnf | O = 811 T = 8.17 |
O = 811 T = 8.17 |
| s2v160c1400-3.wcnf | O = 888 T = 8.78 |
O = 888 T = 8.78 |
| s2v160c1500-1.wcnf | O = 929 T = 8.51 |
O = 929 T = 8.51 |
| s2v160c1500-2.wcnf | O = 896 T = 8.51 |
O = 896 T = 8.51 |
| s2v160c1500-3.wcnf | O = 961 T = 8.44 |
O = 961 T = 8.44 |
| s2v160c1600-1.wcnf | O = 1096 T = 8.08 |
O = 1096 T = 8.08 |
| s2v160c1600-2.wcnf | O = 1069 T = 8.31 |
O = 1069 T = 8.31 |
| s2v160c1600-3.wcnf | O = 1074 T = 8.19 |
O = 1074 T = 8.19 |
| s2v160c1700-1.wcnf | O = 1182 T = 8.44 |
O = 1182 T = 8.44 |
| s2v160c1700-2.wcnf | O = 1094 T = 8.28 |
O = 1094 T = 8.28 |
| s2v160c1700-3.wcnf | O = 1110 T = 8.98 |
O = 1110 T = 8.98 |
| s2v160c1800-1.wcnf | O = 1247 T = 8.58 |
O = 1247 T = 8.58 |
| s2v160c1800-2.wcnf | O = 1258 T = 8.53 |
O = 1258 T = 8.53 |
| s2v160c1800-3.wcnf | O = 1297 T = 8.61 |
O = 1297 T = 8.61 |
| s2v160c1900-1.wcnf | O = 1377 T = 8.66 |
O = 1377 T = 8.66 |
| s2v160c1900-2.wcnf | O = 1381 T = 8.29 |
O = 1381 T = 8.29 |
| s2v160c1900-3.wcnf | O = 1332 T = 8.92 |
O = 1332 T = 8.92 |
| s2v160c2000-1.wcnf | O = 1377 T = 8.14 |
O = 1377 T = 8.14 |
| s2v160c2000-2.wcnf | O = 1456 T = 8.68 |
O = 1456 T = 8.68 |
| s2v160c2000-3.wcnf | O = 1444 T = 8.10 |
O = 1444 T = 8.10 |
| s2v160c2100-1.wcnf | O = 1449 T = 8.17 |
O = 1449 T = 8.17 |
| s2v160c2100-2.wcnf | O = 1585 T = 8.42 |
O = 1585 T = 8.42 |
| s2v160c2100-3.wcnf | O = 1557 T = 8.95 |
O = 1557 T = 8.95 |
| s2v160c2200-1.wcnf | O = 1707 T = 8.42 |
O = 1707 T = 8.42 |
| s2v160c2200-2.wcnf | O = 1743 T = 8.82 |
O = 1743 T = 8.82 |
| s2v160c2200-3.wcnf | O = 1562 T = 8.84 |
O = 1562 T = 8.84 |
| s2v160c2300-1.wcnf | O = 1710 T = 8.26 |
O = 1710 T = 8.26 |
| s2v160c2300-2.wcnf | O = 1753 T = 8.27 |
O = 1753 T = 8.27 |
| s2v160c2300-3.wcnf | O = 1824 T = 8.59 |
O = 1824 T = 8.59 |
| s2v160c2400-1.wcnf | O = 1838 T = 8.45 |
O = 1838 T = 8.45 |
| s2v160c2400-2.wcnf | O = 1931 T = 9.03 |
O = 1931 T = 9.03 |
| s2v160c2400-3.wcnf | O = 1814 T = 8.64 |
O = 1814 T = 8.64 |
| s2v160c2500-1.wcnf | O = 1875 T = 8.44 |
O = 1875 T = 8.44 |
| s2v160c2500-2.wcnf | O = 1929 T = 8.09 |
O = 1929 T = 8.09 |
| s2v160c2500-3.wcnf | O = 1980 T = 8.53 |
O = 1980 T = 8.53 |
| s2v160c2600-1.wcnf | O = 2067 T = 8.48 |
O = 2067 T = 8.48 |
| s2v160c2600-2.wcnf | O = 2111 T = 8.61 |
O = 2111 T = 8.61 |
| s2v160c2600-3.wcnf | O = 2047 T = 8.92 |
O = 2047 T = 8.92 |
| s2v180c1200-1.wcnf | O = 598 T = 8.86 |
O = 598 T = 8.86 |
| s2v180c1200-2.wcnf | O = 669 T = 9.14 |
O = 669 T = 9.14 |
| s2v180c1200-3.wcnf | O = 588 T = 8.73 |
O = 588 T = 8.73 |
| s2v180c1200-4.wcnf | O = 565 T = 8.90 |
O = 565 T = 8.90 |
| s2v180c1300-1.wcnf | O = 675 T = 9.12 |
O = 675 T = 9.12 |
| s2v180c1300-2.wcnf | O = 712 T = 8.15 |
O = 712 T = 8.15 |
| s2v180c1300-3.wcnf | O = 652 T = 8.82 |
O = 652 T = 8.82 |
| s2v180c1300-4.wcnf | O = 690 T = 8.46 |
O = 690 T = 8.46 |
| s2v180c1400-1.wcnf | O = 746 T = 8.60 |
O = 746 T = 8.60 |
| s2v180c1400-2.wcnf | O = 765 T = 8.42 |
O = 765 T = 8.42 |
| s2v180c1400-3.wcnf | O = 791 T = 8.66 |
O = 791 T = 8.66 |
| s2v180c1400-4.wcnf | O = 805 T = 8.58 |
O = 805 T = 8.58 |
| s2v180c1500-1.wcnf | O = 819 T = 8.02 |
O = 819 T = 8.02 |
| s2v180c1500-2.wcnf | O = 871 T = 8.39 |
O = 871 T = 8.39 |
| s2v180c1500-3.wcnf | O = 864 T = 8.37 |
O = 864 T = 8.37 |
| s2v180c1500-4.wcnf | O = 879 T = 7.99 |
O = 879 T = 7.99 |
| s2v180c1600-1.wcnf | O = 954 T = 7.93 |
O = 954 T = 7.93 |
| s2v180c1600-2.wcnf | O = 1024 T = 8.89 |
O = 1024 T = 8.89 |
| s2v180c1600-3.wcnf | O = 1052 T = 8.01 |
O = 1052 T = 8.01 |
| s2v180c1600-4.wcnf | O = 921 T = 8.32 |
O = 921 T = 8.32 |
| s2v180c1700-1.wcnf | O = 1042 T = 8.39 |
O = 1042 T = 8.39 |
| s2v180c1700-2.wcnf | O = 1061 T = 8.63 |
O = 1061 T = 8.63 |
| s2v180c1700-3.wcnf | O = 1050 T = 7.98 |
O = 1050 T = 7.98 |
| s2v180c1700-4.wcnf | O = 1024 T = 8.03 |
O = 1024 T = 8.03 |
| s2v180c1800-1.wcnf | O = 1202 T = 8.40 |
O = 1202 T = 8.40 |
| s2v180c1800-2.wcnf | O = 1252 T = 7.82 |
O = 1252 T = 7.82 |
| s2v180c1800-3.wcnf | O = 1129 T = 8.41 |
O = 1129 T = 8.41 |
| s2v180c1800-4.wcnf | O = 1118 T = 8.06 |
O = 1118 T = 8.06 |
| s2v180c1900-1.wcnf | O = 1228 T = 8.32 |
O = 1228 T = 8.32 |
| s2v180c1900-2.wcnf | O = 1275 T = 8.49 |
O = 1275 T = 8.49 |
| s2v180c1900-3.wcnf | O = 1221 T = 8.48 |
O = 1221 T = 8.48 |
| s2v180c1900-4.wcnf | O = 1227 T = 8.75 |
O = 1227 T = 8.75 |
| s2v180c2000-1.wcnf | O = 1428 T = 8.23 |
O = 1428 T = 8.23 |
| s2v180c2000-2.wcnf | O = 1328 T = 8.62 |
O = 1328 T = 8.62 |
| s2v180c2000-3.wcnf | O = 1374 T = 8.40 |
O = 1374 T = 8.40 |
| s2v180c2000-4.wcnf | O = 1372 T = 8.54 |
O = 1372 T = 8.54 |
| s2v180c2100-1.wcnf | O = 1437 T = 7.83 |
O = 1437 T = 7.83 |
| s2v180c2100-2.wcnf | O = 1500 T = 8.23 |
O = 1500 T = 8.23 |
| s2v180c2100-3.wcnf | O = 1406 T = 8.66 |
O = 1406 T = 8.66 |
| s2v180c2100-4.wcnf | O = 1484 T = 8.67 |
O = 1484 T = 8.67 |
| s2v180c2200-1.wcnf | O = 1480 T = 8.34 |
O = 1480 T = 8.34 |
| s2v180c2200-2.wcnf | O = 1553 T = 8.47 |
O = 1553 T = 8.47 |
| s2v180c2200-3.wcnf | O = 1622 T = 8.34 |
O = 1622 T = 8.34 |
| s2v180c2200-4.wcnf | O = 1572 T = 8.05 |
O = 1572 T = 8.05 |
| s2v200c1200-1.wcnf | O = 558 T = 8.45 |
O = 558 T = 8.45 |
| s2v200c1200-2.wcnf | O = 570 T = 10.48 |
O = 570 T = 10.48 |
| s2v200c1200-3.wcnf | O = 575 T = 8.71 |
O = 575 T = 8.71 |
| s2v200c1200-4.wcnf | O = 514 T = 8.74 |
O = 514 T = 8.74 |
| s2v200c1200-5.wcnf | O = 523 T = 8.29 |
O = 523 T = 8.29 |
| s2v200c1200-6.wcnf | O = 527 T = 8.02 |
O = 527 T = 8.02 |
| s2v200c1200-7.wcnf | O = 525 T = 7.79 |
O = 525 T = 7.79 |
| s2v200c1300-1.wcnf | O = 641 T = 10.53 |
O = 641 T = 10.53 |
| s2v200c1300-2.wcnf | O = 701 T = 8.54 |
O = 701 T = 8.54 |
| s2v200c1300-3.wcnf | O = 647 T = 8.19 |
O = 647 T = 8.19 |
| s2v200c1300-4.wcnf | O = 666 T = 8.37 |
O = 666 T = 8.37 |
| s2v200c1300-5.wcnf | O = 596 T = 8.47 |
O = 596 T = 8.47 |
| s2v200c1300-6.wcnf | O = 642 T = 8.41 |
O = 642 T = 8.41 |
| s2v200c1300-7.wcnf | O = 652 T = 8.61 |
O = 652 T = 8.61 |
| s2v200c1400-1.wcnf | O = 756 T = 8.26 |
O = 756 T = 8.26 |
| s2v200c1400-2.wcnf | O = 728 T = 9.66 |
O = 728 T = 9.66 |
| s2v200c1400-3.wcnf | O = 693 T = 8.85 |
O = 693 T = 8.85 |
| s2v200c1400-4.wcnf | O = 781 T = 10.19 |
O = 781 T = 10.19 |
| s2v200c1400-5.wcnf | O = 723 T = 8.23 |
O = 723 T = 8.23 |
| s2v200c1400-6.wcnf | O = 732 T = 8.24 |
O = 732 T = 8.24 |
| s2v200c1400-7.wcnf | O = 673 T = 8.61 |
O = 673 T = 8.61 |
| s2v200c1500-1.wcnf | O = 845 T = 8.37 |
O = 845 T = 8.37 |
| s2v200c1500-2.wcnf | O = 841 T = 9.08 |
O = 841 T = 9.08 |
| s2v200c1500-3.wcnf | O = 840 T = 8.75 |
O = 840 T = 8.75 |
| s2v200c1500-4.wcnf | O = 785 T = 8.20 |
O = 785 T = 8.20 |
| s2v200c1500-5.wcnf | O = 833 T = 8.81 |
O = 833 T = 8.81 |
| s2v200c1500-6.wcnf | O = 808 T = 9.23 |
O = 808 T = 9.23 |
| s2v200c1500-7.wcnf | O = 838 T = 8.46 |
O = 838 T = 8.46 |
| s2v200c1600-1.wcnf | O = 960 T = 8.53 |
O = 960 T = 8.53 |
| s2v200c1600-2.wcnf | O = 901 T = 12.55 |
O = 901 T = 12.55 |
| s2v200c1600-3.wcnf | O = 900 T = 9.02 |
O = 900 T = 9.02 |
| s2v200c1600-4.wcnf | O = 909 T = 9.59 |
O = 909 T = 9.59 |
| s2v200c1600-5.wcnf | O = 920 T = 8.61 |
O = 920 T = 8.61 |
| s2v200c1600-6.wcnf | O = 918 T = 8.89 |
O = 918 T = 8.89 |
| s2v200c1600-7.wcnf | O = 894 T = 9.33 |
O = 894 T = 9.33 |
| s2v200c1700-1.wcnf | O = 1007 T = 8.27 |
O = 1007 T = 8.27 |
| s2v200c1700-2.wcnf | O = 1080 T = 8.22 |
O = 1080 T = 8.22 |
| s2v200c1700-3.wcnf | O = 1061 T = 8.23 |
O = 1061 T = 8.23 |
| s2v200c1700-4.wcnf | O = 973 T = 8.80 |
O = 973 T = 8.80 |
| s2v200c1700-5.wcnf | O = 1057 T = 8.88 |
O = 1057 T = 8.88 |
| s2v200c1700-6.wcnf | O = 983 T = 8.71 |
O = 983 T = 8.71 |
| s2v200c1700-7.wcnf | O = 1043 T = 8.01 |
O = 1043 T = 8.01 |
| s2v200c1800-1.wcnf | O = 1066 T = 8.29 |
O = 1066 T = 8.29 |
| s2v200c1800-2.wcnf | O = 1083 T = 8.29 |
O = 1083 T = 8.29 |
| s2v200c1800-3.wcnf | O = 1104 T = 8.30 |
O = 1104 T = 8.30 |
| s2v200c1800-4.wcnf | O = 1107 T = 8.25 |
O = 1107 T = 8.25 |
| s2v200c1800-5.wcnf | O = 1097 T = 8.77 |
O = 1097 T = 8.77 |
| s2v200c1800-6.wcnf | O = 1112 T = 7.70 |
O = 1112 T = 7.70 |
| s2v200c1800-7.wcnf | O = 1060 T = 8.38 |
O = 1060 T = 8.38 |
| s3v110c1000-1.wcnf | O = 115 T = 8.71 |
O = 115 T = 8.71 |
| s3v110c1000-10.wcnf | O = 115 T = 9.14 |
O = 115 T = 9.14 |
| s3v110c1000-2.wcnf | O = 108 T = 8.35 |
O = 108 T = 8.35 |
| s3v110c1000-3.wcnf | O = 108 T = 8.40 |
O = 108 T = 8.40 |
| s3v110c1000-4.wcnf | O = 90 T = 8.71 |
O = 90 T = 8.71 |
| s3v110c1000-5.wcnf | O = 131 T = 8.24 |
O = 131 T = 8.24 |
| s3v110c1000-6.wcnf | O = 116 T = 8.49 |
O = 116 T = 8.49 |
| s3v110c1000-7.wcnf | O = 132 T = 7.98 |
O = 132 T = 7.98 |
| s3v110c1000-8.wcnf | O = 125 T = 7.80 |
O = 125 T = 7.80 |
| s3v110c1000-9.wcnf | O = 118 T = 9.21 |
O = 118 T = 9.21 |
| s3v110c1100-1.wcnf | O = 172 T = 8.77 |
O = 172 T = 8.77 |
| s3v110c1100-10.wcnf | O = 159 T = 8.31 |
O = 159 T = 8.31 |
| s3v110c1100-2.wcnf | O = 169 T = 9.06 |
O = 169 T = 9.06 |
| s3v110c1100-3.wcnf | O = 159 T = 9.12 |
O = 159 T = 9.12 |
| s3v110c1100-4.wcnf | O = 170 T = 8.30 |
O = 170 T = 8.30 |
| s3v110c1100-5.wcnf | O = 137 T = 8.96 |
O = 137 T = 8.96 |
| s3v110c1100-6.wcnf | O = 163 T = 10.24 |
O = 163 T = 10.24 |
| s3v110c1100-7.wcnf | O = 132 T = 8.74 |
O = 132 T = 8.74 |
| s3v110c1100-8.wcnf | O = 164 T = 8.81 |
O = 164 T = 8.81 |
| s3v110c1100-9.wcnf | O = 147 T = 8.32 |
O = 147 T = 8.32 |
| s3v110c700-1.wcnf | O = 36 T = 8.47 |
O = 36 T = 8.47 |
| s3v110c700-10.wcnf | O = 40 T = 8.60 |
O = 40 T = 8.60 |
| s3v110c700-2.wcnf | O = 29 T = 11.53 |
O = 29 T = 11.53 |
| s3v110c700-3.wcnf | O = 42 T = 8.87 |
O = 42 T = 8.87 |
| s3v110c700-4.wcnf | O = 27 T = 8.93 |
O = 27 T = 8.93 |
| s3v110c700-5.wcnf | O = 35 T = 8.54 |
O = 35 T = 8.54 |
| s3v110c700-6.wcnf | O = 50 T = 9.05 |
O = 50 T = 9.05 |
| s3v110c700-7.wcnf | O = 37 T = 8.97 |
O = 37 T = 8.97 |
| s3v110c700-8.wcnf | O = 37 T = 9.04 |
O = 37 T = 9.04 |
| s3v110c700-9.wcnf | O = 38 T = 8.42 |
O = 38 T = 8.42 |
| s3v110c800-1.wcnf | O = 51 T = 8.57 |
O = 51 T = 8.57 |
| s3v110c800-10.wcnf | O = 49 T = 8.28 |
O = 49 T = 8.28 |
| s3v110c800-2.wcnf | O = 50 T = 8.59 |
O = 50 T = 8.59 |
| s3v110c800-3.wcnf | O = 55 T = 8.78 |
O = 55 T = 8.78 |
| s3v110c800-4.wcnf | O = 53 T = 8.17 |
O = 53 T = 8.17 |
| s3v110c800-5.wcnf | O = 77 T = 8.44 |
O = 77 T = 8.44 |
| s3v110c800-6.wcnf | O = 51 T = 8.53 |
O = 51 T = 8.53 |
| s3v110c800-7.wcnf | O = 69 T = 8.87 |
O = 69 T = 8.87 |
| s3v110c800-8.wcnf | O = 53 T = 8.27 |
O = 53 T = 8.27 |
| s3v110c800-9.wcnf | O = 56 T = 8.16 |
O = 56 T = 8.16 |
| s3v110c900-1.wcnf | O = 107 T = 8.18 |
O = 107 T = 8.18 |
| s3v110c900-10.wcnf | O = 70 T = 8.83 |
O = 70 T = 8.83 |
| s3v110c900-2.wcnf | O = 66 T = 8.59 |
O = 66 T = 8.59 |
| s3v110c900-3.wcnf | O = 85 T = 8.18 |
O = 85 T = 8.18 |
| s3v110c900-4.wcnf | O = 106 T = 32.38 |
O = 106 T = 32.38 |
| s3v110c900-5.wcnf | O = 81 T = 8.28 |
O = 81 T = 8.28 |
| s3v110c900-6.wcnf | O = 92 T = 8.66 |
O = 92 T = 8.66 |
| s3v110c900-7.wcnf | O = 90 T = 8.85 |
O = 90 T = 8.85 |
| s3v110c900-8.wcnf | O = 108 T = 10.23 |
O = 108 T = 10.23 |
| s3v110c900-9.wcnf | O = 102 T = 8.16 |
O = 102 T = 8.16 |
| s3v70c1000-1.wcnf | O = 208 T = 8.20 |
O = 208 T = 8.20 |
| s3v70c1000-2.wcnf | O = 224 T = 8.03 |
O = 224 T = 8.03 |
| s3v70c1000-3.wcnf | O = 222 T = 8.13 |
O = 222 T = 8.13 |
| s3v70c1000-4.wcnf | O = 252 T = 8.51 |
O = 252 T = 8.51 |
| s3v70c1000-5.wcnf | O = 218 T = 8.26 |
O = 218 T = 8.26 |
| s3v70c1100-1.wcnf | O = 261 T = 8.62 |
O = 261 T = 8.62 |
| s3v70c1100-2.wcnf | O = 267 T = 8.18 |
O = 267 T = 8.18 |
| s3v70c1100-3.wcnf | O = 272 T = 8.58 |
O = 272 T = 8.58 |
| s3v70c1100-4.wcnf | O = 251 T = 8.79 |
O = 251 T = 8.79 |
| s3v70c1100-5.wcnf | O = 246 T = 8.55 |
O = 246 T = 8.55 |
| s3v70c1200-1.wcnf | O = 312 T = 8.35 |
O = 312 T = 8.35 |
| s3v70c1200-2.wcnf | O = 281 T = 8.12 |
O = 281 T = 8.12 |
| s3v70c1200-3.wcnf | O = 323 T = 8.38 |
O = 323 T = 8.38 |
| s3v70c1200-4.wcnf | O = 329 T = 7.88 |
O = 329 T = 7.88 |
| s3v70c1200-5.wcnf | O = 289 T = 7.85 |
O = 289 T = 7.85 |
| s3v70c1300-1.wcnf | O = 342 T = 8.30 |
O = 342 T = 8.30 |
| s3v70c1300-2.wcnf | O = 343 T = 8.24 |
O = 343 T = 8.24 |
| s3v70c1300-3.wcnf | O = 357 T = 8.81 |
O = 357 T = 8.81 |
| s3v70c1300-4.wcnf | O = 368 T = 8.59 |
O = 368 T = 8.59 |
| s3v70c1300-5.wcnf | O = 331 T = 8.62 |
O = 331 T = 8.62 |
| s3v70c1400-1.wcnf | O = 376 T = 8.21 |
O = 376 T = 8.21 |
| s3v70c1400-2.wcnf | O = 376 T = 8.44 |
O = 376 T = 8.44 |
| s3v70c1400-3.wcnf | O = 404 T = 8.62 |
O = 404 T = 8.62 |
| s3v70c1400-4.wcnf | O = 386 T = 8.98 |
O = 386 T = 8.98 |
| s3v70c1400-5.wcnf | O = 417 T = 8.79 |
O = 417 T = 8.79 |
| s3v70c1500-1.wcnf | O = 447 T = 8.60 |
O = 447 T = 8.60 |
| s3v70c1500-2.wcnf | O = 441 T = 8.48 |
O = 441 T = 8.48 |
| s3v70c1500-3.wcnf | O = 399 T = 8.13 |
O = 399 T = 8.13 |
| s3v70c1500-4.wcnf | O = 423 T = 8.40 |
O = 423 T = 8.40 |
| s3v70c1500-5.wcnf | O = 435 T = 8.52 |
O = 435 T = 8.52 |
| s3v70c700-1.wcnf | O = 101 T = 8.33 |
O = 101 T = 8.33 |
| s3v70c700-2.wcnf | O = 93 T = 8.33 |
O = 93 T = 8.33 |
| s3v70c700-3.wcnf | O = 110 T = 8.84 |
O = 110 T = 8.84 |
| s3v70c700-4.wcnf | O = 94 T = 8.77 |
O = 94 T = 8.77 |
| s3v70c700-5.wcnf | O = 83 T = 8.79 |
O = 83 T = 8.79 |
| s3v70c800-1.wcnf | O = 126 T = 8.38 |
O = 126 T = 8.38 |
| s3v70c800-2.wcnf | O = 129 T = 8.55 |
O = 129 T = 8.55 |
| s3v70c800-3.wcnf | O = 152 T = 8.61 |
O = 152 T = 8.61 |
| s3v70c800-4.wcnf | O = 133 T = 8.38 |
O = 133 T = 8.38 |
| s3v70c800-5.wcnf | O = 136 T = 8.51 |
O = 136 T = 8.51 |
| s3v70c900-1.wcnf | O = 176 T = 8.56 |
O = 176 T = 8.56 |
| s3v70c900-2.wcnf | O = 151 T = 8.55 |
O = 151 T = 8.55 |
| s3v70c900-3.wcnf | O = 147 T = 8.38 |
O = 147 T = 8.38 |
| s3v70c900-4.wcnf | O = 187 T = 8.29 |
O = 187 T = 8.29 |
| s3v70c900-5.wcnf | O = 130 T = 7.69 |
O = 130 T = 7.69 |
| s3v90c1000-1.wcnf | O = 178 T = 8.99 |
O = 178 T = 8.99 |
| s3v90c1000-2.wcnf | O = 155 T = 8.65 |
O = 155 T = 8.65 |
| s3v90c1000-3.wcnf | O = 157 T = 8.49 |
O = 157 T = 8.49 |
| s3v90c1000-4.wcnf | O = 177 T = 8.78 |
O = 177 T = 8.78 |
| s3v90c1000-5.wcnf | O = 170 T = 7.77 |
O = 170 T = 7.77 |
| s3v90c1000-6.wcnf | O = 163 T = 8.63 |
O = 163 T = 8.63 |
| s3v90c1000-7.wcnf | O = 186 T = 8.72 |
O = 186 T = 8.72 |
| s3v90c1100-1.wcnf | O = 192 T = 8.14 |
O = 192 T = 8.14 |
| s3v90c1100-2.wcnf | O = 210 T = 8.62 |
O = 210 T = 8.62 |
| s3v90c1100-3.wcnf | O = 203 T = 8.74 |
O = 203 T = 8.74 |
| s3v90c1100-4.wcnf | O = 209 T = 8.94 |
O = 209 T = 8.94 |
| s3v90c1100-5.wcnf | O = 211 T = 8.65 |
O = 211 T = 8.65 |
| s3v90c1100-6.wcnf | O = 200 T = 8.07 |
O = 200 T = 8.07 |
| s3v90c1100-7.wcnf | O = 194 T = 8.07 |
O = 194 T = 8.07 |
| s3v90c1200-1.wcnf | O = 251 T = 8.07 |
O = 251 T = 8.07 |
| s3v90c1200-2.wcnf | O = 215 T = 8.40 |
O = 215 T = 8.40 |
| s3v90c1200-3.wcnf | O = 245 T = 8.39 |
O = 245 T = 8.39 |
| s3v90c1200-4.wcnf | O = 238 T = 8.32 |
O = 238 T = 8.32 |
| s3v90c1200-5.wcnf | O = 247 T = 8.06 |
O = 247 T = 8.06 |
| s3v90c1200-6.wcnf | O = 261 T = 8.13 |
O = 261 T = 8.13 |
| s3v90c1200-7.wcnf | O = 225 T = 8.68 |
O = 225 T = 8.68 |
| s3v90c1300-1.wcnf | O = 244 T = 8.34 |
O = 244 T = 8.34 |
| s3v90c1300-2.wcnf | O = 314 T = 8.42 |
O = 314 T = 8.42 |
| s3v90c1300-3.wcnf | O = 267 T = 8.30 |
O = 267 T = 8.30 |
| s3v90c1300-4.wcnf | O = 264 T = 8.05 |
O = 264 T = 8.05 |
| s3v90c1300-5.wcnf | O = 286 T = 8.30 |
O = 286 T = 8.30 |
| s3v90c1300-6.wcnf | O = 286 T = 8.48 |
O = 286 T = 8.48 |
| s3v90c1300-7.wcnf | O = 257 T = 8.14 |
O = 257 T = 8.14 |
| s3v90c700-1.wcnf | O = 61 T = 8.52 |
O = 61 T = 8.52 |
| s3v90c700-2.wcnf | O = 52 T = 8.00 |
O = 52 T = 8.00 |
| s3v90c700-3.wcnf | O = 63 T = 8.23 |
O = 63 T = 8.23 |
| s3v90c700-4.wcnf | O = 65 T = 8.43 |
O = 65 T = 8.43 |
| s3v90c700-5.wcnf | O = 61 T = 8.21 |
O = 61 T = 8.21 |
| s3v90c700-6.wcnf | O = 66 T = 7.87 |
O = 66 T = 7.87 |
| s3v90c700-7.wcnf | O = 54 T = 8.59 |
O = 54 T = 8.59 |
| s3v90c800-1.wcnf | O = 97 T = 8.85 |
O = 97 T = 8.85 |
| s3v90c800-2.wcnf | O = 95 T = 8.38 |
O = 95 T = 8.38 |
| s3v90c800-3.wcnf | O = 83 T = 8.44 |
O = 83 T = 8.44 |
| s3v90c800-4.wcnf | O = 82 T = 8.21 |
O = 82 T = 8.21 |
| s3v90c800-5.wcnf | O = 103 T = 8.49 |
O = 103 T = 8.49 |
| s3v90c800-6.wcnf | O = 82 T = 8.90 |
O = 82 T = 8.90 |
| s3v90c800-7.wcnf | O = 102 T = 8.31 |
O = 102 T = 8.31 |
| s3v90c900-1.wcnf | O = 122 T = 8.83 |
O = 122 T = 8.83 |
| s3v90c900-2.wcnf | O = 124 T = 8.47 |
O = 124 T = 8.47 |
| s3v90c900-3.wcnf | O = 135 T = 9.79 |
O = 135 T = 9.79 |
| s3v90c900-4.wcnf | O = 132 T = 8.55 |
O = 132 T = 8.55 |
| s3v90c900-5.wcnf | O = 120 T = 8.75 |
O = 120 T = 8.75 |
| s3v90c900-6.wcnf | O = 117 T = 8.17 |
O = 117 T = 8.17 |
| s3v90c900-7.wcnf | O = 145 T = 8.49 |
O = 145 T = 8.49 |
| file_rwpms_wcnf_L2_V150_C4000_H150_0.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rwpms_wcnf_L2_V150_C4000_H150_1.wcnf | O = N/A T = TO |
O = 26218 T = 8.41 |
| file_rwpms_wcnf_L2_V150_C4000_H150_2.wcnf | O = 4235 T = 18.31 |
O = 4235 T = 18.31 |
| file_rwpms_wcnf_L2_V150_C4000_H150_3.wcnf | O = 4037 T = 8.76 |
O = 4037 T = 8.76 |
| file_rwpms_wcnf_L2_V150_C4000_H150_4.wcnf | O = 4031 T = 9.36 |
O = 4031 T = 9.36 |
| file_rwpms_wcnf_L2_V150_C4000_H150_5.wcnf | O = 4144 T = 8.59 |
O = 4144 T = 8.59 |
| file_rwpms_wcnf_L2_V150_C4000_H150_6.wcnf | O = 4149 T = 9.81 |
O = 4149 T = 9.81 |
| file_rwpms_wcnf_L2_V150_C4000_H150_7.wcnf | O = 4043 T = 12.54 |
O = 4043 T = 12.54 |
| file_rwpms_wcnf_L2_V150_C4000_H150_8.wcnf | O = 4078 T = 9.77 |
O = 4078 T = 9.77 |
| file_rwpms_wcnf_L2_V150_C4000_H150_9.wcnf | O = 4328 T = 9.77 |
O = 4328 T = 9.77 |
| file_rwpms_wcnf_L2_V150_C4500_H150_0.wcnf | O = 4572 T = 8.47 |
O = 4572 T = 8.47 |
| file_rwpms_wcnf_L2_V150_C4500_H150_1.wcnf | O = 4967 T = 9.45 |
O = 4967 T = 9.45 |
| file_rwpms_wcnf_L2_V150_C4500_H150_2.wcnf | O = 4961 T = 9.01 |
O = 4961 T = 9.01 |
| file_rwpms_wcnf_L2_V150_C4500_H150_3.wcnf | O = 4614 T = 8.92 |
O = 4614 T = 8.92 |
| file_rwpms_wcnf_L2_V150_C4500_H150_4.wcnf | O = 4794 T = 8.62 |
O = 4794 T = 8.62 |
| file_rwpms_wcnf_L2_V150_C4500_H150_5.wcnf | O = 4687 T = 8.33 |
O = 4687 T = 8.33 |
| file_rwpms_wcnf_L2_V150_C4500_H150_6.wcnf | O = 4605 T = 8.49 |
O = 4605 T = 8.49 |
| file_rwpms_wcnf_L2_V150_C4500_H150_7.wcnf | O = 4710 T = 8.58 |
O = 4710 T = 8.58 |
| file_rwpms_wcnf_L2_V150_C4500_H150_8.wcnf | O = 4945 T = 10.40 |
O = 4945 T = 10.40 |
| file_rwpms_wcnf_L2_V150_C4500_H150_9.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rwpms_wcnf_L2_V150_C5000_H150_0.wcnf | O = 5362 T = 8.31 |
O = 5362 T = 8.31 |
| file_rwpms_wcnf_L2_V150_C5000_H150_1.wcnf | O = 5338 T = 9.12 |
O = 5338 T = 9.12 |
| file_rwpms_wcnf_L2_V150_C5000_H150_2.wcnf | O = 5312 T = 7.85 |
O = 5312 T = 7.85 |
| file_rwpms_wcnf_L2_V150_C5000_H150_3.wcnf | O = 5507 T = 10.32 |
O = 5507 T = 10.32 |
| file_rwpms_wcnf_L2_V150_C5000_H150_4.wcnf | O = 5451 T = 8.82 |
O = 5451 T = 8.82 |
| file_rwpms_wcnf_L2_V150_C5000_H150_5.wcnf | O = 5308 T = 8.16 |
O = 5308 T = 8.16 |
| file_rwpms_wcnf_L2_V150_C5000_H150_6.wcnf | O = 5428 T = 8.64 |
O = 5428 T = 8.64 |
| file_rwpms_wcnf_L2_V150_C5000_H150_7.wcnf | O = 5468 T = 8.91 |
O = 5468 T = 8.91 |
| file_rwpms_wcnf_L2_V150_C5000_H150_8.wcnf | O = 5339 T = 9.76 |
O = 5339 T = 9.76 |
| file_rwpms_wcnf_L2_V150_C5000_H150_9.wcnf | O = 5376 T = 8.59 |
O = 5376 T = 8.59 |
| file_rwpms_wcnf_L2_V150_C1000_H150_0.wcnf | O = 626 T = 8.62 |
O = 626 T = 8.62 |
| file_rwpms_wcnf_L2_V150_C1000_H150_1.wcnf | O = 745 T = 8.95 |
O = 745 T = 8.95 |
| file_rwpms_wcnf_L2_V150_C1000_H150_2.wcnf | O = 629 T = 9.38 |
O = 629 T = 9.38 |
| file_rwpms_wcnf_L2_V150_C1000_H150_3.wcnf | O = 723 T = 8.80 |
O = 723 T = 8.80 |
| file_rwpms_wcnf_L2_V150_C1000_H150_4.wcnf | O = 737 T = 9.79 |
O = 737 T = 9.79 |
| file_rwpms_wcnf_L2_V150_C1000_H150_5.wcnf | O = 668 T = 8.87 |
O = 668 T = 8.87 |
| file_rwpms_wcnf_L2_V150_C1000_H150_6.wcnf | O = 641 T = 8.51 |
O = 641 T = 8.51 |
| file_rwpms_wcnf_L2_V150_C1000_H150_7.wcnf | O = 688 T = 9.70 |
O = 688 T = 9.70 |
| file_rwpms_wcnf_L2_V150_C1000_H150_8.wcnf | O = 577 T = 7.99 |
O = 577 T = 7.99 |
| file_rwpms_wcnf_L2_V150_C1000_H150_9.wcnf | O = 714 T = 8.37 |
O = 714 T = 8.37 |
| file_rwpms_wcnf_L2_V150_C1500_H150_0.wcnf | O = 1121 T = 8.85 |
O = 1121 T = 8.85 |
| file_rwpms_wcnf_L2_V150_C1500_H150_1.wcnf | O = 1142 T = 8.79 |
O = 1142 T = 8.79 |
| file_rwpms_wcnf_L2_V150_C1500_H150_2.wcnf | O = 1252 T = 33.82 |
O = 1252 T = 33.82 |
| file_rwpms_wcnf_L2_V150_C1500_H150_3.wcnf | O = 1295 T = 8.60 |
O = 1295 T = 8.60 |
| file_rwpms_wcnf_L2_V150_C1500_H150_4.wcnf | O = 1261 T = 10.06 |
O = 1261 T = 10.06 |
| file_rwpms_wcnf_L2_V150_C1500_H150_5.wcnf | O = 1047 T = 8.51 |
O = 1047 T = 8.51 |
| file_rwpms_wcnf_L2_V150_C1500_H150_6.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rwpms_wcnf_L2_V150_C1500_H150_7.wcnf | O = 1145 T = 14.16 |
O = 1145 T = 14.16 |
| file_rwpms_wcnf_L2_V150_C1500_H150_8.wcnf | O = 1135 T = 9.07 |
O = 1135 T = 9.07 |
| file_rwpms_wcnf_L2_V150_C1500_H150_9.wcnf | O = 1232 T = 8.85 |
O = 1232 T = 8.85 |
| file_rwpms_wcnf_L2_V150_C2000_H150_0.wcnf | O = 1842 T = 8.64 |
O = 1842 T = 8.64 |
| file_rwpms_wcnf_L2_V150_C2000_H150_1.wcnf | O = 1699 T = 8.39 |
O = 1699 T = 8.39 |
| file_rwpms_wcnf_L2_V150_C2000_H150_2.wcnf | O = 1730 T = 8.64 |
O = 1730 T = 8.64 |
| file_rwpms_wcnf_L2_V150_C2000_H150_3.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rwpms_wcnf_L2_V150_C2000_H150_4.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rwpms_wcnf_L2_V150_C2000_H150_5.wcnf | O = 1818 T = 9.34 |
O = 1818 T = 9.34 |
| file_rwpms_wcnf_L2_V150_C2000_H150_6.wcnf | O = 1832 T = 9.48 |
O = 1832 T = 9.48 |
| file_rwpms_wcnf_L2_V150_C2000_H150_7.wcnf | O = 1780 T = 9.21 |
O = 1780 T = 9.21 |
| file_rwpms_wcnf_L2_V150_C2000_H150_8.wcnf | O = 1726 T = 8.56 |
O = 1726 T = 8.56 |
| file_rwpms_wcnf_L2_V150_C2000_H150_9.wcnf | O = 1807 T = 9.14 |
O = 1807 T = 9.14 |
| file_rwpms_wcnf_L2_V150_C2500_H150_0.wcnf | O = 2414 T = 8.88 |
O = 2414 T = 8.88 |
| file_rwpms_wcnf_L2_V150_C2500_H150_1.wcnf | O = 2398 T = 9.27 |
O = 2398 T = 9.27 |
| file_rwpms_wcnf_L2_V150_C2500_H150_2.wcnf | O = 2113 T = 8.29 |
O = 2113 T = 8.29 |
| file_rwpms_wcnf_L2_V150_C2500_H150_3.wcnf | O = 2339 T = 8.88 |
O = 2339 T = 8.88 |
| file_rwpms_wcnf_L2_V150_C2500_H150_4.wcnf | O = 2390 T = 8.79 |
O = 2390 T = 8.79 |
| file_rwpms_wcnf_L2_V150_C2500_H150_5.wcnf | O = 2332 T = 8.43 |
O = 2332 T = 8.43 |
| file_rwpms_wcnf_L2_V150_C2500_H150_6.wcnf | O = 2488 T = 8.32 |
O = 2488 T = 8.32 |
| file_rwpms_wcnf_L2_V150_C2500_H150_7.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rwpms_wcnf_L2_V150_C2500_H150_8.wcnf | O = 2353 T = 8.56 |
O = 2353 T = 8.56 |
| file_rwpms_wcnf_L2_V150_C2500_H150_9.wcnf | O = 2560 T = 9.03 |
O = 2560 T = 9.03 |
| file_rwpms_wcnf_L2_V150_C3000_H150_0.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rwpms_wcnf_L2_V150_C3000_H150_1.wcnf | O = 2918 T = 8.73 |
O = 2918 T = 8.73 |
| file_rwpms_wcnf_L2_V150_C3000_H150_2.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rwpms_wcnf_L2_V150_C3000_H150_3.wcnf | O = 3045 T = 26.83 |
O = 3045 T = 26.83 |
| file_rwpms_wcnf_L2_V150_C3000_H150_4.wcnf | O = 3021 T = 9.57 |
O = 3021 T = 9.57 |
| file_rwpms_wcnf_L2_V150_C3000_H150_5.wcnf | O = 2812 T = 8.83 |
O = 2812 T = 8.83 |
| file_rwpms_wcnf_L2_V150_C3000_H150_6.wcnf | O = 2838 T = 9.55 |
O = 2838 T = 9.55 |
| file_rwpms_wcnf_L2_V150_C3000_H150_7.wcnf | O = 2815 T = 9.08 |
O = 2815 T = 9.08 |
| file_rwpms_wcnf_L2_V150_C3000_H150_8.wcnf | O = 3025 T = 9.17 |
O = 3025 T = 9.17 |
| file_rwpms_wcnf_L2_V150_C3000_H150_9.wcnf | O = 2952 T = 10.13 |
O = 2952 T = 10.13 |
| file_rwpms_wcnf_L2_V150_C3500_H150_0.wcnf | O = 3634 T = 8.99 |
O = 3634 T = 8.99 |
| file_rwpms_wcnf_L2_V150_C3500_H150_1.wcnf | O = 3662 T = 13.87 |
O = 3662 T = 13.87 |
| file_rwpms_wcnf_L2_V150_C3500_H150_2.wcnf | O = 3827 T = 10.73 |
O = 3827 T = 10.73 |
| file_rwpms_wcnf_L2_V150_C3500_H150_3.wcnf | O = 3512 T = 8.91 |
O = 3512 T = 8.91 |
| file_rwpms_wcnf_L2_V150_C3500_H150_4.wcnf | O = 3355 T = 7.98 |
O = 3355 T = 7.98 |
| file_rwpms_wcnf_L2_V150_C3500_H150_5.wcnf | O = 3450 T = 7.72 |
O = 3450 T = 7.72 |
| file_rwpms_wcnf_L2_V150_C3500_H150_6.wcnf | O = N/A T = TO |
O = N/A T = TO |
| file_rwpms_wcnf_L2_V150_C3500_H150_7.wcnf | O = 3617 T = 8.67 |
O = 3617 T = 8.67 |
| file_rwpms_wcnf_L2_V150_C3500_H150_8.wcnf | O = 3525 T = 9.67 |
O = 3525 T = 9.67 |
| file_rwpms_wcnf_L2_V150_C3500_H150_9.wcnf | O = 3240 T = 8.61 |
O = 3240 T = 8.61 |
| file_rwpms_wcnf_L3_V100_C600_H100_0.wcnf | O = 28 T = 8.06 |
O = 28 T = 8.06 |
| file_rwpms_wcnf_L3_V100_C600_H100_1.wcnf | O = 15 T = 9.32 |
O = 15 T = 9.32 |
| file_rwpms_wcnf_L3_V100_C600_H100_2.wcnf | O = 25 T = 8.23 |
O = 25 T = 8.23 |
| file_rwpms_wcnf_L3_V100_C600_H100_3.wcnf | O = 25 T = 8.97 |
O = 25 T = 8.97 |
| file_rwpms_wcnf_L3_V100_C600_H100_4.wcnf | O = 30 T = 9.18 |
O = 30 T = 9.18 |
| file_rwpms_wcnf_L3_V100_C600_H100_5.wcnf | O = 27 T = 11.18 |
O = 27 T = 11.18 |
| file_rwpms_wcnf_L3_V100_C600_H100_6.wcnf | O = 26 T = 9.47 |
O = 26 T = 9.47 |
| file_rwpms_wcnf_L3_V100_C600_H100_7.wcnf | O = 29 T = 26.13 |
O = 29 T = 26.13 |
| file_rwpms_wcnf_L3_V100_C600_H100_8.wcnf | O = 19 T = 9.40 |
O = 19 T = 9.40 |
| file_rwpms_wcnf_L3_V100_C600_H100_9.wcnf | O = 30 T = 8.88 |
O = 30 T = 8.88 |
| file_rwpms_wcnf_L3_V100_C700_H100_0.wcnf | O = 54 T = 9.54 |
O = 54 T = 9.54 |
| file_rwpms_wcnf_L3_V100_C700_H100_1.wcnf | O = 58 T = 8.49 |
O = 58 T = 8.49 |
| file_rwpms_wcnf_L3_V100_C700_H100_2.wcnf | O = 59 T = 9.27 |
O = 59 T = 9.27 |
| file_rwpms_wcnf_L3_V100_C700_H100_3.wcnf | O = 48 T = 9.21 |
O = 48 T = 9.21 |
| file_rwpms_wcnf_L3_V100_C700_H100_4.wcnf | O = 42 T = 8.70 |
O = 42 T = 8.70 |
| file_rwpms_wcnf_L3_V100_C700_H100_5.wcnf | O = 46 T = 8.31 |
O = 46 T = 8.31 |
| file_rwpms_wcnf_L3_V100_C700_H100_6.wcnf | O = 51 T = 8.99 |
O = 51 T = 8.99 |
| file_rwpms_wcnf_L3_V100_C700_H100_7.wcnf | O = 63 T = 9.02 |
O = 63 T = 9.02 |
| file_rwpms_wcnf_L3_V100_C700_H100_8.wcnf | O = 64 T = 14.00 |
O = 64 T = 14.00 |
| file_rwpms_wcnf_L3_V100_C700_H100_9.wcnf | O = 45 T = 8.59 |
O = 45 T = 8.59 |
| file_rwpms_wcnf_L3_V100_C800_H100_0.wcnf | O = 95 T = 21.62 |
O = 95 T = 21.62 |
| file_rwpms_wcnf_L3_V100_C800_H100_1.wcnf | O = 81 T = 8.27 |
O = 81 T = 8.27 |
| file_rwpms_wcnf_L3_V100_C800_H100_2.wcnf | O = 77 T = 8.66 |
O = 77 T = 8.66 |
| file_rwpms_wcnf_L3_V100_C800_H100_3.wcnf | O = 81 T = 8.93 |
O = 81 T = 8.93 |
| file_rwpms_wcnf_L3_V100_C800_H100_4.wcnf | O = 75 T = 10.78 |
O = 75 T = 10.78 |
| file_rwpms_wcnf_L3_V100_C800_H100_5.wcnf | O = 80 T = 8.67 |
O = 80 T = 8.67 |
| file_rwpms_wcnf_L3_V100_C800_H100_6.wcnf | O = 74 T = 8.97 |
O = 74 T = 8.97 |
| file_rwpms_wcnf_L3_V100_C800_H100_7.wcnf | O = 99 T = 9.22 |
O = 99 T = 9.22 |
| file_rwpms_wcnf_L3_V100_C800_H100_8.wcnf | O = 90 T = 8.91 |
O = 90 T = 8.91 |
| file_rwpms_wcnf_L3_V100_C800_H100_9.wcnf | O = 95 T = 8.60 |
O = 95 T = 8.60 |