Label | Meaning |
---|---|
S | Solution {OPTIMUM FOUND or OPTIMUM | UNSATISFIABLE or UNSAT | UNKNOWN | Not available or N/A} |
O | Best solution found |
T | CPU time |
Color | Meaning |
---|---|
Text | Optimal solution with the best CPU time |
Text | Optimal solution and finished within the Time Out |
Text | Optimal solution and did not finish within the Time Out |
Text | Time Out |
Text | Buggy solution |
Instance file name | IncWMaxSatz | LSW_Power | SAT4J-MAXSAT-2.2.0 | WMaxSatz+ | WMaxSatz-2009 | WMaxsat_Power | WPM1 | WPM2 | akmaxsat | akmaxsat_ls | wbo-1.4a-wcnf |
---|---|---|---|---|---|---|---|---|---|---|---|
s2v100c1200_1.wcnf | S = OPTIMUM | O = 865 T = 84.71 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1176 T = Time Out | (out)(err) |
S = OPTIMUM | O = 865 T = 47.98 | (out)(err) |
S = OPTIMUM | O = 865 T = 45.74 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 865 T = 18.23 | (out)(err) |
S = OPTIMUM | O = 865 T = 7.16 | (out)(err) |
S = N/A | O = N/A T = 1800.00 | (out)(err) |
s2v100c1200_2.wcnf | S = OPTIMUM | O = 774 T = 61.01 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1100 T = Time Out | (out)(err) |
S = OPTIMUM | O = 774 T = 28.78 | (out)(err) |
S = OPTIMUM | O = 774 T = 31.47 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 774 T = 12.66 | (out)(err) |
S = OPTIMUM | O = 774 T = 4.81 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v100c1200_3.wcnf | S = OPTIMUM | O = 933 T = 371.28 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1127 T = Time Out | (out)(err) |
S = OPTIMUM | O = 933 T = 209.08 | (out)(err) |
S = OPTIMUM | O = 933 T = 210.15 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 933 T = 62.89 | (out)(err) |
S = OPTIMUM | O = 933 T = 44.45 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v100c1200_4.wcnf | S = OPTIMUM | O = 798 T = 43.88 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1178 T = Time Out | (out)(err) |
S = OPTIMUM | O = 798 T = 17.65 | (out)(err) |
S = OPTIMUM | O = 798 T = 17.42 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 798 T = 7.15 | (out)(err) |
S = OPTIMUM | O = 798 T = 4.80 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v100c1200_5.wcnf | S = OPTIMUM | O = 876 T = 97.04 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1160 T = Time Out | (out)(err) |
S = OPTIMUM | O = 876 T = 45.11 | (out)(err) |
S = OPTIMUM | O = 876 T = 46.02 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 876 T = 19.37 | (out)(err) |
S = OPTIMUM | O = 876 T = 7.24 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v100c1200_6.wcnf | S = OPTIMUM | O = 734 T = 8.27 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1011 T = Time Out | (out)(err) |
S = OPTIMUM | O = 734 T = 2.99 | (out)(err) |
S = OPTIMUM | O = 734 T = 3.22 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 734 T = 1.48 | (out)(err) |
S = OPTIMUM | O = 734 T = 1.30 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v100c1200_7.wcnf | S = OPTIMUM | O = 800 T = 98.23 | (out)(err) |
S = N/A | O = 881 T = Time Out | (out)(err) |
S = N/A | O = 1067 T = Time Out | (out)(err) |
S = OPTIMUM | O = 800 T = 77.61 | (out)(err) |
S = OPTIMUM | O = 800 T = 74.57 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 800 T = 35.57 | (out)(err) |
S = OPTIMUM | O = 800 T = 18.86 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v100c1200_8.wcnf | S = OPTIMUM | O = 962 T = 495.43 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1206 T = Time Out | (out)(err) |
S = OPTIMUM | O = 962 T = 361.76 | (out)(err) |
S = OPTIMUM | O = 962 T = 362.32 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 962 T = 106.04 | (out)(err) |
S = OPTIMUM | O = 962 T = 61.34 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v100c1300_1.wcnf | S = OPTIMUM | O = 971 T = 128.28 | (out)(err) |
S = N/A | O = 10 T = Time Out | (out)(err) |
S = N/A | O = 1314 T = Time Out | (out)(err) |
S = OPTIMUM | O = 971 T = 74.61 | (out)(err) |
S = OPTIMUM | O = 971 T = 69.94 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 971 T = 29.93 | (out)(err) |
S = OPTIMUM | O = 971 T = 18.39 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v100c1300_2.wcnf | S = OPTIMUM | O = 930 T = 247.14 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1287 T = Time Out | (out)(err) |
S = OPTIMUM | O = 930 T = 242.30 | (out)(err) |
S = OPTIMUM | O = 930 T = 245.16 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 930 T = 49.35 | (out)(err) |
S = OPTIMUM | O = 930 T = 24.25 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v100c1300_3.wcnf | S = OPTIMUM | O = 925 T = 77.05 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1141 T = Time Out | (out)(err) |
S = OPTIMUM | O = 925 T = 42.61 | (out)(err) |
S = OPTIMUM | O = 925 T = 43.88 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 925 T = 21.50 | (out)(err) |
S = OPTIMUM | O = 925 T = 7.76 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v100c1300_4.wcnf | S = OPTIMUM | O = 970 T = 197.18 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1290 T = Time Out | (out)(err) |
S = OPTIMUM | O = 970 T = 120.39 | (out)(err) |
S = OPTIMUM | O = 970 T = 120.73 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 970 T = 23.41 | (out)(err) |
S = OPTIMUM | O = 970 T = 16.04 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v100c1300_5.wcnf | S = OPTIMUM | O = 962 T = 433.81 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1245 T = Time Out | (out)(err) |
S = OPTIMUM | O = 962 T = 224.11 | (out)(err) |
S = OPTIMUM | O = 962 T = 232.81 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 962 T = 66.92 | (out)(err) |
S = OPTIMUM | O = 962 T = 29.96 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v100c1300_6.wcnf | S = OPTIMUM | O = 933 T = 80.68 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1256 T = Time Out | (out)(err) |
S = OPTIMUM | O = 933 T = 49.80 | (out)(err) |
S = OPTIMUM | O = 933 T = 52.32 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 933 T = 12.13 | (out)(err) |
S = OPTIMUM | O = 933 T = 9.42 | (out)(err) |
S = N/A | O = N/A T = 1800.00 | (out)(err) |
s2v100c1300_7.wcnf | S = OPTIMUM | O = 877 T = 119.89 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1161 T = Time Out | (out)(err) |
S = OPTIMUM | O = 877 T = 50.49 | (out)(err) |
S = OPTIMUM | O = 877 T = 49.74 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 877 T = 21.59 | (out)(err) |
S = OPTIMUM | O = 877 T = 8.27 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v100c1300_8.wcnf | S = OPTIMUM | O = 941 T = 330.30 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1202 T = Time Out | (out)(err) |
S = OPTIMUM | O = 941 T = 162.51 | (out)(err) |
S = OPTIMUM | O = 941 T = 165.58 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 941 T = 34.71 | (out)(err) |
S = OPTIMUM | O = 941 T = 18.58 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v100c1400_1.wcnf | S = OPTIMUM | O = 1019 T = 354.27 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1342 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1019 T = 172.05 | (out)(err) |
S = OPTIMUM | O = 1019 T = 173.63 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1019 T = 71.12 | (out)(err) |
S = OPTIMUM | O = 1019 T = 41.28 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v100c1400_2.wcnf | S = OPTIMUM | O = 1002 T = 212.46 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1237 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1002 T = 140.37 | (out)(err) |
S = OPTIMUM | O = 1002 T = 136.73 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1002 T = 27.63 | (out)(err) |
S = OPTIMUM | O = 1002 T = 19.53 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v100c1400_3.wcnf | S = OPTIMUM | O = 1020 T = 353.04 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1263 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1020 T = 290.46 | (out)(err) |
S = OPTIMUM | O = 1020 T = 281.55 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1020 T = 67.24 | (out)(err) |
S = OPTIMUM | O = 1020 T = 35.61 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v100c1400_4.wcnf | S = OPTIMUM | O = 1094 T = 703.45 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1392 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1094 T = 340.30 | (out)(err) |
S = OPTIMUM | O = 1094 T = 370.13 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1094 T = 77.72 | (out)(err) |
S = OPTIMUM | O = 1094 T = 64.61 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v100c1400_5.wcnf | S = OPTIMUM | O = 1018 T = 237.69 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1340 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1018 T = 173.51 | (out)(err) |
S = OPTIMUM | O = 1018 T = 169.31 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1018 T = 49.30 | (out)(err) |
S = OPTIMUM | O = 1018 T = 20.04 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v100c1400_6.wcnf | S = OPTIMUM | O = 997 T = 158.24 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1390 T = Time Out | (out)(err) |
S = OPTIMUM | O = 997 T = 34.76 | (out)(err) |
S = OPTIMUM | O = 997 T = 34.57 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 997 T = 11.46 | (out)(err) |
S = OPTIMUM | O = 997 T = 6.14 | (out)(err) |
S = N/A | O = N/A T = 1800.00 | (out)(err) |
s2v100c1400_7.wcnf | S = OPTIMUM | O = 1001 T = 449.92 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1232 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1001 T = 254.47 | (out)(err) |
S = OPTIMUM | O = 1001 T = 257.41 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1001 T = 62.56 | (out)(err) |
S = OPTIMUM | O = 1001 T = 56.92 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v100c1400_8.wcnf | S = OPTIMUM | O = 1084 T = 468.87 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1324 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1084 T = 172.18 | (out)(err) |
S = OPTIMUM | O = 1084 T = 312.50 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = 197.84 | (out)(err) |
S = OPTIMUM | O = 1084 T = 45.95 | (out)(err) |
S = OPTIMUM | O = 1084 T = 34.56 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v100c1500_1.wcnf | S = OPTIMUM | O = 1077 T = 226.98 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1381 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1077 T = 128.75 | (out)(err) |
S = OPTIMUM | O = 1077 T = 127.56 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1077 T = 36.05 | (out)(err) |
S = OPTIMUM | O = 1077 T = 24.23 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v100c1500_2.wcnf | S = OPTIMUM | O = 1125 T = 532.12 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1455 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1125 T = 314.22 | (out)(err) |
S = OPTIMUM | O = 1125 T = 314.10 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1125 T = 38.54 | (out)(err) |
S = OPTIMUM | O = 1125 T = 32.31 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v100c1500_3.wcnf | S = OPTIMUM | O = 1151 T = 675.23 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1378 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1151 T = 302.80 | (out)(err) |
S = OPTIMUM | O = 1151 T = 301.98 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1151 T = 62.83 | (out)(err) |
S = OPTIMUM | O = 1151 T = 60.44 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v100c1500_4.wcnf | S = OPTIMUM | O = 1072 T = 605.97 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1383 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1072 T = 312.07 | (out)(err) |
S = OPTIMUM | O = 1072 T = 314.81 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = 21.35 | (out)(err) |
S = OPTIMUM | O = 1072 T = 86.04 | (out)(err) |
S = OPTIMUM | O = 1072 T = 28.37 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v100c1500_5.wcnf | S = OPTIMUM | O = 1151 T = 781.17 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1361 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1151 T = 360.31 | (out)(err) |
S = OPTIMUM | O = 1151 T = 406.84 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = 100.51 | (out)(err) |
S = OPTIMUM | O = 1151 T = 59.14 | (out)(err) |
S = OPTIMUM | O = 1151 T = 48.06 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v100c1500_6.wcnf | S = OPTIMUM | O = 1225 T = 1129.28 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1591 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1225 T = 685.87 | (out)(err) |
S = OPTIMUM | O = 1225 T = 722.53 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1225 T = 98.71 | (out)(err) |
S = OPTIMUM | O = 1225 T = 56.74 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v100c1500_7.wcnf | S = OPTIMUM | O = 1186 T = 879.51 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1538 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1186 T = 254.26 | (out)(err) |
S = OPTIMUM | O = 1186 T = 256.17 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1186 T = 37.72 | (out)(err) |
S = OPTIMUM | O = 1186 T = 34.94 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v100c1500_8.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1504 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1217 T = 1098.20 | (out)(err) |
S = OPTIMUM | O = 1217 T = 1122.70 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1217 T = 156.18 | (out)(err) |
S = OPTIMUM | O = 1217 T = 68.74 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v100c1600_1.wcnf | S = OPTIMUM | O = 1230 T = 614.57 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1612 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1230 T = 262.15 | (out)(err) |
S = OPTIMUM | O = 1230 T = 256.50 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1230 T = 36.63 | (out)(err) |
S = OPTIMUM | O = 1230 T = 23.52 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v100c1600_2.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1534 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1265 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1265 T = 241.17 | (out)(err) |
S = OPTIMUM | O = 1265 T = 229.22 | (out)(err) |
S = N/A | O = N/A T = 1800.00 | (out)(err) |
s2v100c1600_3.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1657 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1309 T = 1073.88 | (out)(err) |
S = OPTIMUM | O = 1309 T = 1087.73 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = 479.78 | (out)(err) |
S = OPTIMUM | O = 1309 T = 202.99 | (out)(err) |
S = OPTIMUM | O = 1309 T = 102.61 | (out)(err) |
S = N/A | O = N/A T = 1800.00 | (out)(err) |
s2v100c1600_4.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1621 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1267 T = 158.06 | (out)(err) |
S = OPTIMUM | O = 1267 T = 72.75 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v100c1600_5.wcnf | S = OPTIMUM | O = 1298 T = 857.51 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1711 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1298 T = 456.72 | (out)(err) |
S = OPTIMUM | O = 1298 T = 459.85 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1298 T = 71.53 | (out)(err) |
S = OPTIMUM | O = 1298 T = 58.24 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v100c1600_6.wcnf | S = OPTIMUM | O = 1190 T = 615.03 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1572 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1190 T = 309.06 | (out)(err) |
S = OPTIMUM | O = 1190 T = 309.89 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1190 T = 48.94 | (out)(err) |
S = OPTIMUM | O = 1190 T = 18.99 | (out)(err) |
S = N/A | O = N/A T = 1800.00 | (out)(err) |
s2v100c1600_7.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1585 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1243 T = 1552.48 | (out)(err) |
S = OPTIMUM | O = 1243 T = 1703.42 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1243 T = 269.15 | (out)(err) |
S = OPTIMUM | O = 1243 T = 110.47 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v100c1600_8.wcnf | S = OPTIMUM | O = 1184 T = 333.66 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1648 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1184 T = 86.01 | (out)(err) |
S = OPTIMUM | O = 1184 T = 87.42 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1184 T = 13.20 | (out)(err) |
S = OPTIMUM | O = 1184 T = 7.07 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1200_1.wcnf | S = OPTIMUM | O = 840 T = 293.50 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1067 T = Time Out | (out)(err) |
S = OPTIMUM | O = 840 T = 211.69 | (out)(err) |
S = OPTIMUM | O = 840 T = 208.43 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 840 T = 110.95 | (out)(err) |
S = OPTIMUM | O = 840 T = 51.33 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1200_2.wcnf | S = OPTIMUM | O = 803 T = 53.84 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1067 T = Time Out | (out)(err) |
S = OPTIMUM | O = 803 T = 20.33 | (out)(err) |
S = OPTIMUM | O = 803 T = 20.20 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 803 T = 11.05 | (out)(err) |
S = OPTIMUM | O = 803 T = 10.11 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1200_3.wcnf | S = OPTIMUM | O = 834 T = 168.84 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1175 T = Time Out | (out)(err) |
S = OPTIMUM | O = 834 T = 82.90 | (out)(err) |
S = OPTIMUM | O = 834 T = 84.24 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 834 T = 25.42 | (out)(err) |
S = OPTIMUM | O = 834 T = 20.74 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1200_4.wcnf | S = OPTIMUM | O = 811 T = 81.06 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1078 T = Time Out | (out)(err) |
S = OPTIMUM | O = 811 T = 42.25 | (out)(err) |
S = OPTIMUM | O = 811 T = 37.13 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 811 T = 18.02 | (out)(err) |
S = OPTIMUM | O = 811 T = 17.65 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1200_5.wcnf | S = OPTIMUM | O = 850 T = 311.91 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1074 T = Time Out | (out)(err) |
S = OPTIMUM | O = 850 T = 455.96 | (out)(err) |
S = OPTIMUM | O = 850 T = 472.77 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 850 T = 73.05 | (out)(err) |
S = OPTIMUM | O = 850 T = 62.63 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1200_6.wcnf | S = OPTIMUM | O = 784 T = 239.23 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1047 T = Time Out | (out)(err) |
S = OPTIMUM | O = 784 T = 256.27 | (out)(err) |
S = OPTIMUM | O = 784 T = 257.95 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 784 T = 53.54 | (out)(err) |
S = OPTIMUM | O = 784 T = 28.09 | (out)(err) |
S = N/A | O = N/A T = 1800.00 | (out)(err) |
s2v120c1200_7.wcnf | S = OPTIMUM | O = 747 T = 20.61 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1044 T = Time Out | (out)(err) |
S = OPTIMUM | O = 747 T = 13.01 | (out)(err) |
S = OPTIMUM | O = 747 T = 13.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 747 T = 7.18 | (out)(err) |
S = OPTIMUM | O = 747 T = 6.01 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1200_8.wcnf | S = OPTIMUM | O = 813 T = 112.44 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1173 T = Time Out | (out)(err) |
S = OPTIMUM | O = 813 T = 45.83 | (out)(err) |
S = OPTIMUM | O = 813 T = 45.24 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 813 T = 20.82 | (out)(err) |
S = OPTIMUM | O = 813 T = 20.12 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1300_1.wcnf | S = OPTIMUM | O = 890 T = 96.35 | (out)(err) |
S = N/A | O = 943 T = Time Out | (out)(err) |
S = N/A | O = 1093 T = Time Out | (out)(err) |
S = OPTIMUM | O = 890 T = 47.69 | (out)(err) |
S = OPTIMUM | O = 890 T = 46.45 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 890 T = 20.98 | (out)(err) |
S = OPTIMUM | O = 890 T = 16.45 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1300_2.wcnf | S = OPTIMUM | O = 847 T = 51.61 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1132 T = Time Out | (out)(err) |
S = OPTIMUM | O = 847 T = 41.77 | (out)(err) |
S = OPTIMUM | O = 847 T = 34.50 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 847 T = 12.27 | (out)(err) |
S = OPTIMUM | O = 847 T = 7.35 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1300_3.wcnf | S = OPTIMUM | O = 941 T = 251.25 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1338 T = Time Out | (out)(err) |
S = OPTIMUM | O = 941 T = 107.41 | (out)(err) |
S = OPTIMUM | O = 941 T = 107.01 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 941 T = 37.26 | (out)(err) |
S = OPTIMUM | O = 941 T = 23.03 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1300_4.wcnf | S = OPTIMUM | O = 939 T = 302.19 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1227 T = Time Out | (out)(err) |
S = OPTIMUM | O = 939 T = 175.52 | (out)(err) |
S = OPTIMUM | O = 939 T = 156.29 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = 37.27 | (out)(err) |
S = OPTIMUM | O = 939 T = 50.61 | (out)(err) |
S = OPTIMUM | O = 939 T = 32.51 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1300_5.wcnf | S = OPTIMUM | O = 949 T = 1093.15 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1345 T = Time Out | (out)(err) |
S = OPTIMUM | O = 949 T = 450.94 | (out)(err) |
S = OPTIMUM | O = 949 T = 430.23 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 949 T = 177.15 | (out)(err) |
S = OPTIMUM | O = 949 T = 78.12 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1300_6.wcnf | S = OPTIMUM | O = 865 T = 160.44 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1192 T = Time Out | (out)(err) |
S = OPTIMUM | O = 865 T = 65.83 | (out)(err) |
S = OPTIMUM | O = 865 T = 60.77 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 865 T = 34.79 | (out)(err) |
S = OPTIMUM | O = 865 T = 10.44 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1300_7.wcnf | S = OPTIMUM | O = 879 T = 111.81 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1168 T = Time Out | (out)(err) |
S = OPTIMUM | O = 879 T = 35.78 | (out)(err) |
S = OPTIMUM | O = 879 T = 37.18 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 879 T = 14.99 | (out)(err) |
S = OPTIMUM | O = 879 T = 9.71 | (out)(err) |
S = N/A | O = N/A T = 1800.00 | (out)(err) |
s2v120c1300_8.wcnf | S = OPTIMUM | O = 868 T = 114.53 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1196 T = Time Out | (out)(err) |
S = OPTIMUM | O = 868 T = 51.21 | (out)(err) |
S = OPTIMUM | O = 868 T = 52.31 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 868 T = 22.47 | (out)(err) |
S = OPTIMUM | O = 868 T = 18.98 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1400_1.wcnf | S = OPTIMUM | O = 1028 T = 283.17 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1275 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1028 T = 111.30 | (out)(err) |
S = OPTIMUM | O = 1028 T = 112.39 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1028 T = 48.47 | (out)(err) |
S = OPTIMUM | O = 1028 T = 37.77 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1400_2.wcnf | S = OPTIMUM | O = 1008 T = 1178.19 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1338 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1008 T = 606.33 | (out)(err) |
S = OPTIMUM | O = 1008 T = 575.09 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1008 T = 196.65 | (out)(err) |
S = OPTIMUM | O = 1008 T = 64.05 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1400_3.wcnf | S = OPTIMUM | O = 983 T = 114.82 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1331 T = Time Out | (out)(err) |
S = OPTIMUM | O = 983 T = 42.55 | (out)(err) |
S = OPTIMUM | O = 983 T = 41.11 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 983 T = 16.27 | (out)(err) |
S = OPTIMUM | O = 983 T = 13.19 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1400_4.wcnf | S = OPTIMUM | O = 1007 T = 750.65 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1200 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1007 T = 294.18 | (out)(err) |
S = OPTIMUM | O = 1007 T = 299.81 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1007 T = 88.88 | (out)(err) |
S = OPTIMUM | O = 1007 T = 81.89 | (out)(err) |
S = N/A | O = N/A T = 1800.00 | (out)(err) |
s2v120c1400_5.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 12 T = Time Out | (out)(err) |
S = N/A | O = 1475 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1108 T = 466.96 | (out)(err) |
S = OPTIMUM | O = 1108 T = 454.77 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1400_6.wcnf | S = OPTIMUM | O = 959 T = 100.36 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1347 T = Time Out | (out)(err) |
S = OPTIMUM | O = 959 T = 50.65 | (out)(err) |
S = OPTIMUM | O = 959 T = 51.44 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 959 T = 16.19 | (out)(err) |
S = OPTIMUM | O = 959 T = 15.23 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1400_7.wcnf | S = OPTIMUM | O = 1040 T = 1193.46 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1385 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1040 T = 582.70 | (out)(err) |
S = OPTIMUM | O = 1040 T = 609.20 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1040 T = 198.04 | (out)(err) |
S = OPTIMUM | O = 1040 T = 108.90 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1400_8.wcnf | S = OPTIMUM | O = 1025 T = 1005.08 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1390 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1025 T = 304.08 | (out)(err) |
S = OPTIMUM | O = 1025 T = 295.98 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1025 T = 97.92 | (out)(err) |
S = OPTIMUM | O = 1025 T = 60.77 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1500_1.wcnf | S = OPTIMUM | O = 1119 T = 1161.09 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1501 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1119 T = 315.32 | (out)(err) |
S = OPTIMUM | O = 1119 T = 313.72 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1119 T = 103.61 | (out)(err) |
S = OPTIMUM | O = 1119 T = 96.31 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1500_2.wcnf | S = OPTIMUM | O = 1136 T = 1389.96 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1515 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1136 T = 437.16 | (out)(err) |
S = OPTIMUM | O = 1136 T = 458.32 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1136 T = 211.39 | (out)(err) |
S = OPTIMUM | O = 1136 T = 93.25 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1500_3.wcnf | S = OPTIMUM | O = 1062 T = 367.46 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1329 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1062 T = 60.89 | (out)(err) |
S = OPTIMUM | O = 1062 T = 61.56 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1062 T = 22.62 | (out)(err) |
S = OPTIMUM | O = 1062 T = 18.02 | (out)(err) |
S = N/A | O = N/A T = 1800.00 | (out)(err) |
s2v120c1500_4.wcnf | S = OPTIMUM | O = 1041 T = 140.65 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1495 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1041 T = 42.91 | (out)(err) |
S = OPTIMUM | O = 1041 T = 49.68 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1041 T = 16.95 | (out)(err) |
S = OPTIMUM | O = 1041 T = 12.05 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1500_5.wcnf | S = OPTIMUM | O = 1125 T = 374.59 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1533 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1125 T = 121.85 | (out)(err) |
S = OPTIMUM | O = 1125 T = 123.22 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1125 T = 29.60 | (out)(err) |
S = OPTIMUM | O = 1125 T = 19.71 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1500_6.wcnf | S = OPTIMUM | O = 1113 T = 567.13 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1488 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1113 T = 253.23 | (out)(err) |
S = OPTIMUM | O = 1113 T = 381.68 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = 149.67 | (out)(err) |
S = OPTIMUM | O = 1113 T = 103.64 | (out)(err) |
S = OPTIMUM | O = 1113 T = 79.31 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1500_7.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1501 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1163 T = 843.87 | (out)(err) |
S = OPTIMUM | O = 1163 T = 896.50 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1163 T = 219.27 | (out)(err) |
S = OPTIMUM | O = 1163 T = 186.50 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1500_8.wcnf | S = OPTIMUM | O = 1097 T = 284.67 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1572 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1097 T = 120.10 | (out)(err) |
S = OPTIMUM | O = 1097 T = 113.31 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1097 T = 21.47 | (out)(err) |
S = OPTIMUM | O = 1097 T = 13.51 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1600_1.wcnf | S = OPTIMUM | O = 1190 T = 576.99 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1544 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1190 T = 161.54 | (out)(err) |
S = OPTIMUM | O = 1190 T = 168.61 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1190 T = 52.84 | (out)(err) |
S = OPTIMUM | O = 1190 T = 30.13 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1600_2.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1631 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1227 T = 889.88 | (out)(err) |
S = OPTIMUM | O = 1227 T = 925.46 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1227 T = 175.89 | (out)(err) |
S = OPTIMUM | O = 1227 T = 134.36 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1600_3.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1670 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1224 T = 970.48 | (out)(err) |
S = OPTIMUM | O = 1224 T = 981.21 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1224 T = 291.93 | (out)(err) |
S = OPTIMUM | O = 1224 T = 142.48 | (out)(err) |
S = N/A | O = N/A T = 1800.00 | (out)(err) |
s2v120c1600_4.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1580 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1264 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1264 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1264 T = 368.90 | (out)(err) |
S = OPTIMUM | O = 1264 T = 259.39 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1600_5.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1505 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1252 T = 1173.38 | (out)(err) |
S = OPTIMUM | O = 1252 T = 1190.08 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1252 T = 229.04 | (out)(err) |
S = OPTIMUM | O = 1252 T = 129.44 | (out)(err) |
S = N/A | O = N/A T = 1800.00 | (out)(err) |
s2v120c1600_6.wcnf | S = OPTIMUM | O = 1246 T = 1282.09 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1592 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1246 T = 574.96 | (out)(err) |
S = OPTIMUM | O = 1246 T = 595.79 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1246 T = 113.34 | (out)(err) |
S = OPTIMUM | O = 1246 T = 54.99 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1600_7.wcnf | S = OPTIMUM | O = 1159 T = 270.25 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1588 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1159 T = 76.41 | (out)(err) |
S = OPTIMUM | O = 1159 T = 75.41 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1159 T = 25.02 | (out)(err) |
S = OPTIMUM | O = 1159 T = 25.54 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v120c1600_8.wcnf | S = OPTIMUM | O = 1150 T = 614.12 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1566 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1150 T = 165.21 | (out)(err) |
S = OPTIMUM | O = 1150 T = 170.94 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1150 T = 32.65 | (out)(err) |
S = OPTIMUM | O = 1150 T = 11.77 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1200_1.wcnf | S = OPTIMUM | O = 780 T = 489.10 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1037 T = Time Out | (out)(err) |
S = OPTIMUM | O = 780 T = 294.88 | (out)(err) |
S = OPTIMUM | O = 780 T = 318.44 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 780 T = 139.25 | (out)(err) |
S = OPTIMUM | O = 780 T = 91.70 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1200_2.wcnf | S = OPTIMUM | O = 733 T = 241.90 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1113 T = Time Out | (out)(err) |
S = OPTIMUM | O = 733 T = 124.32 | (out)(err) |
S = OPTIMUM | O = 733 T = 129.28 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 733 T = 60.94 | (out)(err) |
S = OPTIMUM | O = 733 T = 43.48 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1200_3.wcnf | S = OPTIMUM | O = 741 T = 222.97 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 973 T = Time Out | (out)(err) |
S = OPTIMUM | O = 741 T = 222.41 | (out)(err) |
S = OPTIMUM | O = 741 T = 215.91 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 741 T = 102.39 | (out)(err) |
S = OPTIMUM | O = 741 T = 38.03 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1200_4.wcnf | S = OPTIMUM | O = 667 T = 31.19 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1095 T = Time Out | (out)(err) |
S = OPTIMUM | O = 667 T = 15.66 | (out)(err) |
S = OPTIMUM | O = 667 T = 15.03 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 667 T = 10.92 | (out)(err) |
S = OPTIMUM | O = 667 T = 3.86 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1200_5.wcnf | S = OPTIMUM | O = 714 T = 56.63 | (out)(err) |
S = N/A | O = 797 T = Time Out | (out)(err) |
S = N/A | O = 995 T = Time Out | (out)(err) |
S = OPTIMUM | O = 714 T = 65.56 | (out)(err) |
S = OPTIMUM | O = 714 T = 48.59 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 714 T = 21.99 | (out)(err) |
S = OPTIMUM | O = 714 T = 17.04 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1200_6.wcnf | S = OPTIMUM | O = 803 T = 648.19 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1122 T = Time Out | (out)(err) |
S = OPTIMUM | O = 803 T = 475.39 | (out)(err) |
S = OPTIMUM | O = 803 T = 484.11 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 803 T = 182.56 | (out)(err) |
S = OPTIMUM | O = 803 T = 169.22 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1200_7.wcnf | S = OPTIMUM | O = 774 T = 844.02 | (out)(err) |
S = N/A | O = 905 T = Time Out | (out)(err) |
S = N/A | O = 991 T = Time Out | (out)(err) |
S = OPTIMUM | O = 774 T = 472.28 | (out)(err) |
S = OPTIMUM | O = 774 T = 478.92 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 774 T = 297.15 | (out)(err) |
S = OPTIMUM | O = 774 T = 214.70 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1200_8.wcnf | S = OPTIMUM | O = 745 T = 402.46 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 970 T = Time Out | (out)(err) |
S = OPTIMUM | O = 745 T = 231.08 | (out)(err) |
S = OPTIMUM | O = 745 T = 228.51 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 745 T = 142.51 | (out)(err) |
S = OPTIMUM | O = 745 T = 74.87 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1300_1.wcnf | S = OPTIMUM | O = 846 T = 445.67 | (out)(err) |
S = N/A | O = 969 T = Time Out | (out)(err) |
S = N/A | O = 1131 T = Time Out | (out)(err) |
S = OPTIMUM | O = 846 T = 195.43 | (out)(err) |
S = OPTIMUM | O = 846 T = 199.42 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 846 T = 99.40 | (out)(err) |
S = OPTIMUM | O = 846 T = 72.40 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1300_2.wcnf | S = OPTIMUM | O = 774 T = 51.23 | (out)(err) |
S = N/A | O = 909 T = Time Out | (out)(err) |
S = N/A | O = 1096 T = Time Out | (out)(err) |
S = OPTIMUM | O = 774 T = 27.74 | (out)(err) |
S = OPTIMUM | O = 774 T = 29.81 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 774 T = 14.48 | (out)(err) |
S = OPTIMUM | O = 774 T = 8.51 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1300_3.wcnf | S = OPTIMUM | O = 832 T = 515.11 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1034 T = Time Out | (out)(err) |
S = OPTIMUM | O = 832 T = 325.65 | (out)(err) |
S = OPTIMUM | O = 832 T = 343.69 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 832 T = 81.06 | (out)(err) |
S = OPTIMUM | O = 832 T = 57.69 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1300_4.wcnf | S = OPTIMUM | O = 871 T = 1504.95 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1129 T = Time Out | (out)(err) |
S = OPTIMUM | O = 871 T = 689.71 | (out)(err) |
S = OPTIMUM | O = 871 T = 699.28 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 871 T = 367.50 | (out)(err) |
S = OPTIMUM | O = 871 T = 297.99 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1300_5.wcnf | S = OPTIMUM | O = 844 T = 531.46 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1217 T = Time Out | (out)(err) |
S = OPTIMUM | O = 844 T = 229.41 | (out)(err) |
S = OPTIMUM | O = 844 T = 227.81 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 844 T = 110.78 | (out)(err) |
S = OPTIMUM | O = 844 T = 96.08 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1300_6.wcnf | S = OPTIMUM | O = 884 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1211 T = Time Out | (out)(err) |
S = OPTIMUM | O = 884 T = 1589.24 | (out)(err) |
S = OPTIMUM | O = 884 T = 1586.15 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 884 T = 730.87 | (out)(err) |
S = OPTIMUM | O = 884 T = 430.58 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1300_7.wcnf | S = OPTIMUM | O = 874 T = 908.67 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1097 T = Time Out | (out)(err) |
S = OPTIMUM | O = 874 T = 446.65 | (out)(err) |
S = OPTIMUM | O = 874 T = 441.45 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 874 T = 265.30 | (out)(err) |
S = OPTIMUM | O = 874 T = 141.92 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1300_8.wcnf | S = OPTIMUM | O = 812 T = 681.19 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1035 T = Time Out | (out)(err) |
S = OPTIMUM | O = 812 T = 361.99 | (out)(err) |
S = OPTIMUM | O = 812 T = 358.03 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = 471.95 | (out)(err) |
S = OPTIMUM | O = 812 T = 164.90 | (out)(err) |
S = OPTIMUM | O = 812 T = 131.74 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1400_1.wcnf | S = OPTIMUM | O = 926 T = 1160.68 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1274 T = Time Out | (out)(err) |
S = OPTIMUM | O = 926 T = 637.61 | (out)(err) |
S = OPTIMUM | O = 926 T = 668.13 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 926 T = 237.41 | (out)(err) |
S = OPTIMUM | O = 926 T = 173.56 | (out)(err) |
S = N/A | O = N/A T = 1800.00 | (out)(err) |
s2v140c1400_2.wcnf | S = OPTIMUM | O = 879 T = 282.45 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1152 T = Time Out | (out)(err) |
S = OPTIMUM | O = 879 T = 114.28 | (out)(err) |
S = OPTIMUM | O = 879 T = 116.05 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 879 T = 64.49 | (out)(err) |
S = OPTIMUM | O = 879 T = 58.76 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1400_3.wcnf | S = OPTIMUM | O = 936 T = 947.09 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1223 T = Time Out | (out)(err) |
S = OPTIMUM | O = 936 T = 379.30 | (out)(err) |
S = OPTIMUM | O = 936 T = 384.33 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 936 T = 153.86 | (out)(err) |
S = OPTIMUM | O = 936 T = 143.46 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1400_4.wcnf | S = OPTIMUM | O = 932 T = 796.45 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1286 T = Time Out | (out)(err) |
S = OPTIMUM | O = 932 T = 251.25 | (out)(err) |
S = OPTIMUM | O = 932 T = 246.51 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = 15.38 | (out)(err) |
S = OPTIMUM | O = 932 T = 131.91 | (out)(err) |
S = OPTIMUM | O = 932 T = 70.82 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1400_5.wcnf | S = OPTIMUM | O = 968 T = 1702.91 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1465 T = Time Out | (out)(err) |
S = OPTIMUM | O = 968 T = 821.38 | (out)(err) |
S = OPTIMUM | O = 968 T = 801.42 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 968 T = 189.83 | (out)(err) |
S = OPTIMUM | O = 968 T = 164.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1400_6.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1291 T = Time Out | (out)(err) |
S = OPTIMUM | O = 967 T = 1488.60 | (out)(err) |
S = OPTIMUM | O = 967 T = 1635.30 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 967 T = 707.53 | (out)(err) |
S = OPTIMUM | O = 967 T = 629.73 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1400_7.wcnf | S = OPTIMUM | O = 923 T = 368.61 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1259 T = Time Out | (out)(err) |
S = OPTIMUM | O = 923 T = 164.42 | (out)(err) |
S = OPTIMUM | O = 923 T = 158.06 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 923 T = 126.62 | (out)(err) |
S = OPTIMUM | O = 923 T = 49.85 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1400_8.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1214 T = Time Out | (out)(err) |
S = OPTIMUM | O = 957 T = 1526.46 | (out)(err) |
S = OPTIMUM | O = 957 T = 1358.56 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = 1.31 | (out)(err) |
S = OPTIMUM | O = 957 T = 518.48 | (out)(err) |
S = OPTIMUM | O = 957 T = 256.51 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1500_1.wcnf | S = OPTIMUM | O = 986 T = 1064.77 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1328 T = Time Out | (out)(err) |
S = OPTIMUM | O = 986 T = 354.57 | (out)(err) |
S = OPTIMUM | O = 986 T = 348.65 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 986 T = 181.29 | (out)(err) |
S = OPTIMUM | O = 986 T = 97.90 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1500_2.wcnf | S = OPTIMUM | O = 998 T = 1683.57 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1388 T = Time Out | (out)(err) |
S = OPTIMUM | O = 998 T = 486.31 | (out)(err) |
S = OPTIMUM | O = 998 T = 504.48 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 998 T = 237.82 | (out)(err) |
S = OPTIMUM | O = 998 T = 120.84 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1500_3.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1367 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1073 T = 1799.27 | (out)(err) |
S = OPTIMUM | O = 1073 T = 1799.42 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1073 T = 637.47 | (out)(err) |
S = OPTIMUM | O = 1073 T = 522.22 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1500_4.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1346 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1047 T = 842.69 | (out)(err) |
S = OPTIMUM | O = 1047 T = 497.22 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1500_5.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1356 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1058 T = 1066.17 | (out)(err) |
S = OPTIMUM | O = 1058 T = 325.56 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1500_6.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1427 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1102 T = 1043.58 | (out)(err) |
S = OPTIMUM | O = 1102 T = 952.55 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1500_7.wcnf | S = OPTIMUM | O = 1010 T = 700.11 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1393 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1010 T = 255.06 | (out)(err) |
S = OPTIMUM | O = 1010 T = 259.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1010 T = 86.41 | (out)(err) |
S = OPTIMUM | O = 1010 T = 59.92 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1500_8.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1462 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1045 T = 671.54 | (out)(err) |
S = OPTIMUM | O = 1045 T = 668.82 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1045 T = 336.37 | (out)(err) |
S = OPTIMUM | O = 1045 T = 189.04 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1600_1.wcnf | S = OPTIMUM | O = 1143 T = 1767.96 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1618 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1143 T = 422.89 | (out)(err) |
S = OPTIMUM | O = 1143 T = 431.71 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1143 T = 192.45 | (out)(err) |
S = OPTIMUM | O = 1143 T = 148.02 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1600_2.wcnf | S = OPTIMUM | O = 1140 T = 1234.89 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1438 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1140 T = 454.48 | (out)(err) |
S = OPTIMUM | O = 1140 T = 453.32 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1140 T = 124.07 | (out)(err) |
S = OPTIMUM | O = 1140 T = 99.74 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1600_3.wcnf | S = OPTIMUM | O = 1079 T = 857.75 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1355 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1079 T = 291.60 | (out)(err) |
S = OPTIMUM | O = 1079 T = 291.72 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1079 T = 131.86 | (out)(err) |
S = OPTIMUM | O = 1079 T = 111.22 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1600_4.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1592 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1157 T = 1228.49 | (out)(err) |
S = OPTIMUM | O = 1157 T = 1242.93 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = 312.87 | (out)(err) |
S = OPTIMUM | O = 1157 T = 539.08 | (out)(err) |
S = OPTIMUM | O = 1157 T = 337.16 | (out)(err) |
S = N/A | O = N/A T = 1800.00 | (out)(err) |
s2v140c1600_5.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1557 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1119 T = 1612.38 | (out)(err) |
S = OPTIMUM | O = 1119 T = 1633.24 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1119 T = 841.61 | (out)(err) |
S = OPTIMUM | O = 1119 T = 343.88 | (out)(err) |
S = N/A | O = N/A T = 1800.00 | (out)(err) |
s2v140c1600_6.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1617 T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1212 T = 794.47 | (out)(err) |
S = OPTIMUM | O = 1212 T = 644.47 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1600_7.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1698 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1150 T = 1637.56 | (out)(err) |
S = OPTIMUM | O = 1150 T = 1785.07 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1150 T = 582.79 | (out)(err) |
S = OPTIMUM | O = 1150 T = 305.44 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
s2v140c1600_8.wcnf | S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1481 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1180 T = 1032.44 | (out)(err) |
S = OPTIMUM | O = 1180 T = 1028.58 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1180 T = 349.64 | (out)(err) |
S = OPTIMUM | O = 1180 T = 265.35 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C1000_0.wcnf | S = OPTIMUM | O = 198 T = 487.07 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 331 T = Time Out | (out)(err) |
S = OPTIMUM | O = 198 T = 751.41 | (out)(err) |
S = OPTIMUM | O = 198 T = 755.70 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 198 T = 247.37 | (out)(err) |
S = OPTIMUM | O = 198 T = 166.91 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C1000_1.wcnf | S = OPTIMUM | O = 212 T = 261.91 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 326 T = Time Out | (out)(err) |
S = OPTIMUM | O = 212 T = 406.18 | (out)(err) |
S = OPTIMUM | O = 212 T = 408.50 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 212 T = 197.87 | (out)(err) |
S = OPTIMUM | O = 212 T = 128.97 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C1000_2.wcnf | S = OPTIMUM | O = 211 T = 380.58 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 260 T = Time Out | (out)(err) |
S = OPTIMUM | O = 211 T = 595.79 | (out)(err) |
S = OPTIMUM | O = 211 T = 597.30 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 211 T = 221.38 | (out)(err) |
S = OPTIMUM | O = 211 T = 199.26 | (out)(err) |
S = N/A | O = N/A T = 1800.00 | (out)(err) |
file_rwms_wcnf_L3_V70_C1000_3.wcnf | S = OPTIMUM | O = 229 T = 529.10 | (out)(err) |
S = N/A | O = 31 T = Time Out | (out)(err) |
S = N/A | O = 286 T = Time Out | (out)(err) |
S = OPTIMUM | O = 229 T = 827.01 | (out)(err) |
S = OPTIMUM | O = 229 T = 834.40 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 229 T = 305.95 | (out)(err) |
S = OPTIMUM | O = 229 T = 272.75 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C1000_4.wcnf | S = OPTIMUM | O = 202 T = 333.35 | (out)(err) |
S = N/A | O = 308 T = Time Out | (out)(err) |
S = N/A | O = 332 T = Time Out | (out)(err) |
S = OPTIMUM | O = 202 T = 517.64 | (out)(err) |
S = OPTIMUM | O = 202 T = 521.84 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 202 T = 192.71 | (out)(err) |
S = OPTIMUM | O = 202 T = 136.19 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C1000_5.wcnf | S = OPTIMUM | O = 214 T = 636.66 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 319 T = Time Out | (out)(err) |
S = OPTIMUM | O = 214 T = 957.08 | (out)(err) |
S = OPTIMUM | O = 214 T = 965.87 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 214 T = 298.84 | (out)(err) |
S = OPTIMUM | O = 214 T = 149.94 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C1000_6.wcnf | S = OPTIMUM | O = 203 T = 158.49 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 256 T = Time Out | (out)(err) |
S = OPTIMUM | O = 203 T = 252.64 | (out)(err) |
S = OPTIMUM | O = 203 T = 253.51 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 203 T = 104.81 | (out)(err) |
S = OPTIMUM | O = 203 T = 102.14 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C1000_7.wcnf | S = OPTIMUM | O = 200 T = 168.13 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 214 T = Time Out | (out)(err) |
S = OPTIMUM | O = 200 T = 267.05 | (out)(err) |
S = OPTIMUM | O = 200 T = 267.56 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 200 T = 163.72 | (out)(err) |
S = OPTIMUM | O = 200 T = 89.98 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C1000_8.wcnf | S = OPTIMUM | O = 188 T = 262.98 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 282 T = Time Out | (out)(err) |
S = OPTIMUM | O = 188 T = 387.69 | (out)(err) |
S = OPTIMUM | O = 188 T = 390.26 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 188 T = 140.32 | (out)(err) |
S = OPTIMUM | O = 188 T = 49.84 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C1000_9.wcnf | S = OPTIMUM | O = 226 T = 527.73 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 288 T = Time Out | (out)(err) |
S = OPTIMUM | O = 226 T = 785.35 | (out)(err) |
S = OPTIMUM | O = 226 T = 791.70 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 226 T = 300.29 | (out)(err) |
S = OPTIMUM | O = 226 T = 282.70 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C700_0.wcnf | S = OPTIMUM | O = 103 T = 52.88 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 125 T = Time Out | (out)(err) |
S = OPTIMUM | O = 103 T = 90.96 | (out)(err) |
S = OPTIMUM | O = 103 T = 90.10 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 103 T = 41.87 | (out)(err) |
S = OPTIMUM | O = 103 T = 33.26 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C700_1.wcnf | S = OPTIMUM | O = 107 T = 27.44 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 154 T = Time Out | (out)(err) |
S = OPTIMUM | O = 107 T = 47.90 | (out)(err) |
S = OPTIMUM | O = 107 T = 47.44 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 107 T = 29.26 | (out)(err) |
S = OPTIMUM | O = 107 T = 20.57 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C700_2.wcnf | S = OPTIMUM | O = 110 T = 42.47 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 124 T = Time Out | (out)(err) |
S = OPTIMUM | O = 110 T = 75.54 | (out)(err) |
S = OPTIMUM | O = 110 T = 75.35 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 110 T = 33.71 | (out)(err) |
S = OPTIMUM | O = 110 T = 33.28 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C700_3.wcnf | S = OPTIMUM | O = 102 T = 14.21 | (out)(err) |
S = N/A | O = 166 T = Time Out | (out)(err) |
S = N/A | O = 123 T = Time Out | (out)(err) |
S = OPTIMUM | O = 102 T = 25.05 | (out)(err) |
S = OPTIMUM | O = 102 T = 25.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 102 T = 15.02 | (out)(err) |
S = OPTIMUM | O = 102 T = 12.70 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C700_4.wcnf | S = OPTIMUM | O = 110 T = 50.08 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 137 T = Time Out | (out)(err) |
S = OPTIMUM | O = 110 T = 87.44 | (out)(err) |
S = OPTIMUM | O = 110 T = 87.23 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 110 T = 45.51 | (out)(err) |
S = OPTIMUM | O = 110 T = 26.42 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C700_5.wcnf | S = OPTIMUM | O = 103 T = 33.16 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 172 T = Time Out | (out)(err) |
S = OPTIMUM | O = 103 T = 56.55 | (out)(err) |
S = OPTIMUM | O = 103 T = 56.05 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 103 T = 28.89 | (out)(err) |
S = OPTIMUM | O = 103 T = 15.64 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C700_6.wcnf | S = OPTIMUM | O = 102 T = 23.69 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 137 T = Time Out | (out)(err) |
S = OPTIMUM | O = 102 T = 41.62 | (out)(err) |
S = OPTIMUM | O = 102 T = 41.43 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 102 T = 18.76 | (out)(err) |
S = OPTIMUM | O = 102 T = 16.12 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C700_7.wcnf | S = OPTIMUM | O = 104 T = 26.15 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 152 T = Time Out | (out)(err) |
S = OPTIMUM | O = 104 T = 44.58 | (out)(err) |
S = OPTIMUM | O = 104 T = 44.31 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 104 T = 22.22 | (out)(err) |
S = OPTIMUM | O = 104 T = 21.09 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C700_8.wcnf | S = OPTIMUM | O = 82 T = 3.68 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 115 T = Time Out | (out)(err) |
S = OPTIMUM | O = 82 T = 6.89 | (out)(err) |
S = OPTIMUM | O = 82 T = 6.92 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 82 T = 3.58 | (out)(err) |
S = OPTIMUM | O = 82 T = 3.81 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C700_9.wcnf | S = OPTIMUM | O = 104 T = 29.07 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 118 T = Time Out | (out)(err) |
S = OPTIMUM | O = 104 T = 50.26 | (out)(err) |
S = OPTIMUM | O = 104 T = 50.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 104 T = 22.30 | (out)(err) |
S = OPTIMUM | O = 104 T = 21.26 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C800_0.wcnf | S = OPTIMUM | O = 132 T = 70.60 | (out)(err) |
S = N/A | O = 205 T = Time Out | (out)(err) |
S = N/A | O = 165 T = Time Out | (out)(err) |
S = OPTIMUM | O = 132 T = 116.26 | (out)(err) |
S = OPTIMUM | O = 132 T = 116.57 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 132 T = 50.99 | (out)(err) |
S = OPTIMUM | O = 132 T = 36.44 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C800_1.wcnf | S = OPTIMUM | O = 138 T = 123.10 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 164 T = Time Out | (out)(err) |
S = OPTIMUM | O = 138 T = 182.95 | (out)(err) |
S = OPTIMUM | O = 138 T = 181.62 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 138 T = 61.62 | (out)(err) |
S = OPTIMUM | O = 138 T = 44.17 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C800_2.wcnf | S = OPTIMUM | O = 127 T = 65.81 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 170 T = Time Out | (out)(err) |
S = OPTIMUM | O = 127 T = 109.14 | (out)(err) |
S = OPTIMUM | O = 127 T = 108.75 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 127 T = 50.48 | (out)(err) |
S = OPTIMUM | O = 127 T = 22.87 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C800_3.wcnf | S = OPTIMUM | O = 134 T = 45.02 | (out)(err) |
S = N/A | O = 240 T = Time Out | (out)(err) |
S = N/A | O = 223 T = Time Out | (out)(err) |
S = OPTIMUM | O = 134 T = 69.72 | (out)(err) |
S = OPTIMUM | O = 134 T = 69.47 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 134 T = 18.90 | (out)(err) |
S = OPTIMUM | O = 134 T = 12.89 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C800_4.wcnf | S = OPTIMUM | O = 143 T = 163.82 | (out)(err) |
S = N/A | O = 239 T = Time Out | (out)(err) |
S = N/A | O = 167 T = Time Out | (out)(err) |
S = OPTIMUM | O = 143 T = 258.77 | (out)(err) |
S = OPTIMUM | O = 143 T = 259.84 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 143 T = 149.39 | (out)(err) |
S = OPTIMUM | O = 143 T = 42.90 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C800_5.wcnf | S = OPTIMUM | O = 144 T = 183.38 | (out)(err) |
S = N/A | O = 21 T = Time Out | (out)(err) |
S = N/A | O = 155 T = Time Out | (out)(err) |
S = OPTIMUM | O = 144 T = 285.43 | (out)(err) |
S = OPTIMUM | O = 144 T = 284.88 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 144 T = 129.72 | (out)(err) |
S = OPTIMUM | O = 144 T = 73.54 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C800_6.wcnf | S = OPTIMUM | O = 135 T = 77.74 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 209 T = Time Out | (out)(err) |
S = OPTIMUM | O = 135 T = 125.31 | (out)(err) |
S = OPTIMUM | O = 135 T = 126.02 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 135 T = 57.40 | (out)(err) |
S = OPTIMUM | O = 135 T = 40.56 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C800_7.wcnf | S = OPTIMUM | O = 147 T = 133.07 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 230 T = Time Out | (out)(err) |
S = OPTIMUM | O = 147 T = 204.71 | (out)(err) |
S = OPTIMUM | O = 147 T = 207.56 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 147 T = 65.33 | (out)(err) |
S = OPTIMUM | O = 147 T = 44.05 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C800_8.wcnf | S = OPTIMUM | O = 126 T = 89.23 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 161 T = Time Out | (out)(err) |
S = OPTIMUM | O = 126 T = 136.63 | (out)(err) |
S = OPTIMUM | O = 126 T = 136.36 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 126 T = 56.87 | (out)(err) |
S = OPTIMUM | O = 126 T = 21.74 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C800_9.wcnf | S = OPTIMUM | O = 138 T = 78.05 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 209 T = Time Out | (out)(err) |
S = OPTIMUM | O = 138 T = 123.09 | (out)(err) |
S = OPTIMUM | O = 138 T = 122.97 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 138 T = 56.82 | (out)(err) |
S = OPTIMUM | O = 138 T = 34.10 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C900_0.wcnf | S = OPTIMUM | O = 157 T = 79.34 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 209 T = Time Out | (out)(err) |
S = OPTIMUM | O = 157 T = 129.99 | (out)(err) |
S = OPTIMUM | O = 157 T = 130.21 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 157 T = 58.09 | (out)(err) |
S = OPTIMUM | O = 157 T = 51.31 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C900_1.wcnf | S = OPTIMUM | O = 192 T = 298.20 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 224 T = Time Out | (out)(err) |
S = OPTIMUM | O = 192 T = 448.47 | (out)(err) |
S = OPTIMUM | O = 192 T = 454.67 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 192 T = 208.86 | (out)(err) |
S = OPTIMUM | O = 192 T = 174.61 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C900_2.wcnf | S = OPTIMUM | O = 177 T = 245.57 | (out)(err) |
S = N/A | O = 282 T = Time Out | (out)(err) |
S = N/A | O = 208 T = Time Out | (out)(err) |
S = OPTIMUM | O = 177 T = 378.05 | (out)(err) |
S = OPTIMUM | O = 177 T = 379.15 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 177 T = 153.91 | (out)(err) |
S = OPTIMUM | O = 177 T = 123.06 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C900_3.wcnf | S = OPTIMUM | O = 163 T = 152.71 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 229 T = Time Out | (out)(err) |
S = OPTIMUM | O = 163 T = 242.90 | (out)(err) |
S = OPTIMUM | O = 163 T = 243.32 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 163 T = 116.21 | (out)(err) |
S = OPTIMUM | O = 163 T = 58.09 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C900_4.wcnf | S = OPTIMUM | O = 171 T = 211.88 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 226 T = Time Out | (out)(err) |
S = OPTIMUM | O = 171 T = 326.46 | (out)(err) |
S = OPTIMUM | O = 171 T = 328.55 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 171 T = 131.14 | (out)(err) |
S = OPTIMUM | O = 171 T = 102.06 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C900_5.wcnf | S = OPTIMUM | O = 175 T = 138.11 | (out)(err) |
S = N/A | O = 256 T = Time Out | (out)(err) |
S = N/A | O = 228 T = Time Out | (out)(err) |
S = OPTIMUM | O = 175 T = 215.09 | (out)(err) |
S = OPTIMUM | O = 175 T = 215.85 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 175 T = 109.44 | (out)(err) |
S = OPTIMUM | O = 175 T = 88.60 | (out)(err) |
S = N/A | O = N/A T = 1800.00 | (out)(err) |
file_rwms_wcnf_L3_V70_C900_6.wcnf | S = OPTIMUM | O = 174 T = 139.87 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 201 T = Time Out | (out)(err) |
S = OPTIMUM | O = 174 T = 226.17 | (out)(err) |
S = OPTIMUM | O = 174 T = 226.69 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 174 T = 92.76 | (out)(err) |
S = OPTIMUM | O = 174 T = 79.48 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C900_7.wcnf | S = OPTIMUM | O = 194 T = 431.64 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 271 T = Time Out | (out)(err) |
S = OPTIMUM | O = 194 T = 653.77 | (out)(err) |
S = OPTIMUM | O = 194 T = 654.50 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 194 T = 267.41 | (out)(err) |
S = OPTIMUM | O = 194 T = 183.27 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C900_8.wcnf | S = OPTIMUM | O = 179 T = 154.18 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 244 T = Time Out | (out)(err) |
S = OPTIMUM | O = 179 T = 244.77 | (out)(err) |
S = OPTIMUM | O = 179 T = 245.68 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 179 T = 100.75 | (out)(err) |
S = OPTIMUM | O = 179 T = 102.58 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C900_9.wcnf | S = OPTIMUM | O = 181 T = 168.82 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 210 T = Time Out | (out)(err) |
S = OPTIMUM | O = 181 T = 259.62 | (out)(err) |
S = OPTIMUM | O = 181 T = 260.73 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 181 T = 117.89 | (out)(err) |
S = OPTIMUM | O = 181 T = 98.13 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C300_0.wcnf | S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.69 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.07 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
file_rwms_wcnf_L3_V70_C300_1.wcnf | S = OPTIMUM | O = 1 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 1 T = 0.14 | (out)(err) |
S = OPTIMUM | O = 1 T = 2.56 | (out)(err) |
S = OPTIMUM | O = 1 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 1 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 1 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 1 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 1 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 1 T = 0.08 | (out)(err) |
S = OPTIMUM | O = 1 T = 0.10 | (out)(err) |
S = OPTIMUM | O = 1 T = 0.01 | (out)(err) |
file_rwms_wcnf_L3_V70_C300_2.wcnf | S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.05 | (out)(err) |
S = OPTIMUM | O = 0 T = 1.23 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.07 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
file_rwms_wcnf_L3_V70_C300_3.wcnf | S = OPTIMUM | O = 0 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.17 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.81 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.05 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.08 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.05 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
file_rwms_wcnf_L3_V70_C300_4.wcnf | S = OPTIMUM | O = 1 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 1 T = 0.05 | (out)(err) |
S = OPTIMUM | O = 1 T = 2.24 | (out)(err) |
S = OPTIMUM | O = 1 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 1 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 1 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 1 T = 0.05 | (out)(err) |
S = OPTIMUM | O = 1 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 1 T = 0.09 | (out)(err) |
S = OPTIMUM | O = 1 T = 0.11 | (out)(err) |
S = OPTIMUM | O = 1 T = 0.02 | (out)(err) |
file_rwms_wcnf_L3_V70_C300_5.wcnf | S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.05 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.69 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
file_rwms_wcnf_L3_V70_C300_6.wcnf | S = OPTIMUM | O = 1 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 1 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 1 T = 1.45 | (out)(err) |
S = OPTIMUM | O = 1 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 1 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 1 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 1 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 1 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 1 T = 0.07 | (out)(err) |
S = OPTIMUM | O = 1 T = 0.11 | (out)(err) |
S = OPTIMUM | O = 1 T = 0.01 | (out)(err) |
file_rwms_wcnf_L3_V70_C300_7.wcnf | S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.13 | (out)(err) |
S = OPTIMUM | O = 0 T = 1.21 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.05 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.05 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
file_rwms_wcnf_L3_V70_C300_8.wcnf | S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.84 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.06 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
file_rwms_wcnf_L3_V70_C300_9.wcnf | S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 0 T = 1.51 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
file_rwms_wcnf_L3_V70_C400_0.wcnf | S = OPTIMUM | O = 12 T = 0.16 | (out)(err) |
S = OPTIMUM | O = 12 T = 0.34 | (out)(err) |
S = OPTIMUM | O = 12 T = 50.95 | (out)(err) |
S = OPTIMUM | O = 12 T = 0.39 | (out)(err) |
S = OPTIMUM | O = 12 T = 0.38 | (out)(err) |
S = OPTIMUM | O = 12 T = 0.38 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 12 T = 63.10 | (out)(err) |
S = OPTIMUM | O = 12 T = 0.41 | (out)(err) |
S = OPTIMUM | O = 12 T = 0.24 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C400_1.wcnf | S = OPTIMUM | O = 19 T = 0.25 | (out)(err) |
S = N/A | O = 61 T = Time Out | (out)(err) |
S = OPTIMUM | O = 19 T = 432.09 | (out)(err) |
S = OPTIMUM | O = 19 T = 0.56 | (out)(err) |
S = OPTIMUM | O = 19 T = 0.55 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 19 T = 0.62 | (out)(err) |
S = OPTIMUM | O = 19 T = 0.35 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C400_2.wcnf | S = OPTIMUM | O = 5 T = 0.03 | (out)(err) |
S = N/A | O = 51 T = Time Out | (out)(err) |
S = OPTIMUM | O = 5 T = 4.00 | (out)(err) |
S = OPTIMUM | O = 5 T = 0.08 | (out)(err) |
S = OPTIMUM | O = 5 T = 0.08 | (out)(err) |
S = OPTIMUM | O = 5 T = 0.09 | (out)(err) |
S = OPTIMUM | O = 5 T = 5.84 | (out)(err) |
S = OPTIMUM | O = 5 T = 0.33 | (out)(err) |
S = OPTIMUM | O = 5 T = 0.10 | (out)(err) |
S = OPTIMUM | O = 5 T = 0.13 | (out)(err) |
S = OPTIMUM | O = 5 T = 1.22 | (out)(err) |
file_rwms_wcnf_L3_V70_C400_3.wcnf | S = OPTIMUM | O = 20 T = 0.21 | (out)(err) |
S = N/A | O = 86 T = Time Out | (out)(err) |
S = OPTIMUM | O = 20 T = 1040.52 | (out)(err) |
S = OPTIMUM | O = 20 T = 0.48 | (out)(err) |
S = OPTIMUM | O = 20 T = 0.47 | (out)(err) |
S = OPTIMUM | O = 20 T = 0.48 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 20 T = 0.52 | (out)(err) |
S = OPTIMUM | O = 20 T = 0.37 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C400_4.wcnf | S = OPTIMUM | O = 14 T = 0.16 | (out)(err) |
S = N/A | O = 79 T = Time Out | (out)(err) |
S = OPTIMUM | O = 14 T = 55.58 | (out)(err) |
S = OPTIMUM | O = 14 T = 0.39 | (out)(err) |
S = OPTIMUM | O = 14 T = 0.38 | (out)(err) |
S = OPTIMUM | O = 14 T = 0.40 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 14 T = 125.11 | (out)(err) |
S = OPTIMUM | O = 14 T = 0.38 | (out)(err) |
S = OPTIMUM | O = 14 T = 0.30 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C400_5.wcnf | S = OPTIMUM | O = 12 T = 0.12 | (out)(err) |
S = OPTIMUM | O = 12 T = 0.35 | (out)(err) |
S = OPTIMUM | O = 12 T = 11.71 | (out)(err) |
S = OPTIMUM | O = 12 T = 0.31 | (out)(err) |
S = OPTIMUM | O = 12 T = 0.31 | (out)(err) |
S = OPTIMUM | O = 12 T = 0.31 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 12 T = 19.31 | (out)(err) |
S = OPTIMUM | O = 12 T = 0.28 | (out)(err) |
S = OPTIMUM | O = 12 T = 0.18 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C400_6.wcnf | S = OPTIMUM | O = 17 T = 0.30 | (out)(err) |
S = N/A | O = 59 T = Time Out | (out)(err) |
S = OPTIMUM | O = 17 T = 1063.48 | (out)(err) |
S = OPTIMUM | O = 17 T = 0.71 | (out)(err) |
S = OPTIMUM | O = 17 T = 0.70 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 17 T = 495.57 | (out)(err) |
S = OPTIMUM | O = 17 T = 0.89 | (out)(err) |
S = OPTIMUM | O = 17 T = 0.35 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C400_7.wcnf | S = OPTIMUM | O = 7 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 7 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 7 T = 3.87 | (out)(err) |
S = OPTIMUM | O = 7 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 7 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 7 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 7 T = 149.05 | (out)(err) |
S = OPTIMUM | O = 7 T = 1.05 | (out)(err) |
S = OPTIMUM | O = 7 T = 0.10 | (out)(err) |
S = OPTIMUM | O = 7 T = 0.14 | (out)(err) |
S = OPTIMUM | O = 7 T = 15.28 | (out)(err) |
file_rwms_wcnf_L3_V70_C400_8.wcnf | S = OPTIMUM | O = 17 T = 0.30 | (out)(err) |
S = N/A | O = 65 T = Time Out | (out)(err) |
S = OPTIMUM | O = 17 T = 142.83 | (out)(err) |
S = OPTIMUM | O = 17 T = 0.74 | (out)(err) |
S = OPTIMUM | O = 17 T = 0.73 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 17 T = 415.26 | (out)(err) |
S = OPTIMUM | O = 17 T = 0.38 | (out)(err) |
S = OPTIMUM | O = 17 T = 0.27 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C400_9.wcnf | S = OPTIMUM | O = 12 T = 0.06 | (out)(err) |
S = OPTIMUM | O = 12 T = 0.50 | (out)(err) |
S = OPTIMUM | O = 12 T = 18.17 | (out)(err) |
S = OPTIMUM | O = 12 T = 0.14 | (out)(err) |
S = OPTIMUM | O = 12 T = 0.13 | (out)(err) |
S = OPTIMUM | O = 12 T = 0.14 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 12 T = 15.72 | (out)(err) |
S = OPTIMUM | O = 12 T = 0.14 | (out)(err) |
S = OPTIMUM | O = 12 T = 0.14 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C500_0.wcnf | S = OPTIMUM | O = 36 T = 1.68 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 42 T = Time Out | (out)(err) |
S = OPTIMUM | O = 36 T = 3.67 | (out)(err) |
S = OPTIMUM | O = 36 T = 3.59 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 36 T = 2.72 | (out)(err) |
S = OPTIMUM | O = 36 T = 1.50 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C500_1.wcnf | S = OPTIMUM | O = 29 T = 0.94 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 45 T = Time Out | (out)(err) |
S = OPTIMUM | O = 29 T = 2.04 | (out)(err) |
S = OPTIMUM | O = 29 T = 2.01 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 29 T = 1.23 | (out)(err) |
S = OPTIMUM | O = 29 T = 0.35 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C500_2.wcnf | S = OPTIMUM | O = 28 T = 0.80 | (out)(err) |
S = N/A | O = 82 T = Time Out | (out)(err) |
S = N/A | O = 28 T = Time Out | (out)(err) |
S = OPTIMUM | O = 28 T = 1.78 | (out)(err) |
S = OPTIMUM | O = 28 T = 1.75 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 28 T = 1.18 | (out)(err) |
S = OPTIMUM | O = 28 T = 0.43 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C500_3.wcnf | S = OPTIMUM | O = 50 T = 2.29 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 57 T = Time Out | (out)(err) |
S = OPTIMUM | O = 50 T = 4.73 | (out)(err) |
S = OPTIMUM | O = 50 T = 4.68 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 50 T = 2.04 | (out)(err) |
S = OPTIMUM | O = 50 T = 2.02 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C500_4.wcnf | S = OPTIMUM | O = 39 T = 1.14 | (out)(err) |
S = N/A | O = 127 T = Time Out | (out)(err) |
S = N/A | O = 42 T = Time Out | (out)(err) |
S = OPTIMUM | O = 39 T = 2.30 | (out)(err) |
S = OPTIMUM | O = 39 T = 2.28 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 39 T = 2.14 | (out)(err) |
S = OPTIMUM | O = 39 T = 1.39 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C500_5.wcnf | S = OPTIMUM | O = 30 T = 0.43 | (out)(err) |
S = N/A | O = 98 T = Time Out | (out)(err) |
S = N/A | O = 30 T = Time Out | (out)(err) |
S = OPTIMUM | O = 30 T = 0.90 | (out)(err) |
S = OPTIMUM | O = 30 T = 0.90 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 30 T = 0.60 | (out)(err) |
S = OPTIMUM | O = 30 T = 0.58 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C500_6.wcnf | S = OPTIMUM | O = 46 T = 4.28 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 55 T = Time Out | (out)(err) |
S = OPTIMUM | O = 46 T = 8.66 | (out)(err) |
S = OPTIMUM | O = 46 T = 8.57 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 46 T = 5.84 | (out)(err) |
S = OPTIMUM | O = 46 T = 2.73 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C500_7.wcnf | S = OPTIMUM | O = 41 T = 2.88 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 46 T = Time Out | (out)(err) |
S = OPTIMUM | O = 41 T = 5.99 | (out)(err) |
S = OPTIMUM | O = 41 T = 5.92 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 41 T = 3.86 | (out)(err) |
S = OPTIMUM | O = 41 T = 2.00 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C500_8.wcnf | S = OPTIMUM | O = 51 T = 3.04 | (out)(err) |
S = N/A | O = 1 T = Time Out | (out)(err) |
S = N/A | O = 51 T = Time Out | (out)(err) |
S = OPTIMUM | O = 51 T = 6.27 | (out)(err) |
S = OPTIMUM | O = 51 T = 6.19 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 51 T = 3.61 | (out)(err) |
S = OPTIMUM | O = 51 T = 3.58 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C500_9.wcnf | S = OPTIMUM | O = 41 T = 0.64 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 54 T = Time Out | (out)(err) |
S = OPTIMUM | O = 41 T = 1.32 | (out)(err) |
S = OPTIMUM | O = 41 T = 1.30 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 41 T = 1.10 | (out)(err) |
S = OPTIMUM | O = 41 T = 1.01 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C600_0.wcnf | S = OPTIMUM | O = 68 T = 6.02 | (out)(err) |
S = N/A | O = 114 T = Time Out | (out)(err) |
S = N/A | O = 92 T = Time Out | (out)(err) |
S = OPTIMUM | O = 68 T = 11.42 | (out)(err) |
S = OPTIMUM | O = 68 T = 11.31 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 68 T = 13.20 | (out)(err) |
S = OPTIMUM | O = 68 T = 6.46 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C600_1.wcnf | S = OPTIMUM | O = 64 T = 3.91 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 76 T = Time Out | (out)(err) |
S = OPTIMUM | O = 64 T = 7.83 | (out)(err) |
S = OPTIMUM | O = 64 T = 7.73 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 64 T = 4.02 | (out)(err) |
S = OPTIMUM | O = 64 T = 2.99 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C600_2.wcnf | S = OPTIMUM | O = 66 T = 14.88 | (out)(err) |
S = N/A | O = 120 T = Time Out | (out)(err) |
S = N/A | O = 79 T = Time Out | (out)(err) |
S = OPTIMUM | O = 66 T = 27.36 | (out)(err) |
S = OPTIMUM | O = 66 T = 27.15 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 66 T = 5.92 | (out)(err) |
S = OPTIMUM | O = 66 T = 5.12 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C600_3.wcnf | S = OPTIMUM | O = 73 T = 8.58 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 95 T = Time Out | (out)(err) |
S = OPTIMUM | O = 73 T = 15.39 | (out)(err) |
S = OPTIMUM | O = 73 T = 15.21 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 73 T = 8.00 | (out)(err) |
S = OPTIMUM | O = 73 T = 4.32 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C600_4.wcnf | S = OPTIMUM | O = 51 T = 2.61 | (out)(err) |
S = N/A | O = 121 T = Time Out | (out)(err) |
S = N/A | O = 58 T = Time Out | (out)(err) |
S = OPTIMUM | O = 51 T = 5.24 | (out)(err) |
S = OPTIMUM | O = 51 T = 5.19 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 51 T = 4.96 | (out)(err) |
S = OPTIMUM | O = 51 T = 1.77 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C600_5.wcnf | S = OPTIMUM | O = 59 T = 2.21 | (out)(err) |
S = N/A | O = 121 T = Time Out | (out)(err) |
S = N/A | O = 59 T = Time Out | (out)(err) |
S = OPTIMUM | O = 59 T = 4.60 | (out)(err) |
S = OPTIMUM | O = 59 T = 4.51 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 59 T = 5.32 | (out)(err) |
S = OPTIMUM | O = 59 T = 2.57 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C600_6.wcnf | S = OPTIMUM | O = 66 T = 7.78 | (out)(err) |
S = N/A | O = 113 T = Time Out | (out)(err) |
S = N/A | O = 66 T = Time Out | (out)(err) |
S = OPTIMUM | O = 66 T = 15.35 | (out)(err) |
S = OPTIMUM | O = 66 T = 15.16 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 66 T = 9.21 | (out)(err) |
S = OPTIMUM | O = 66 T = 6.81 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C600_7.wcnf | S = OPTIMUM | O = 67 T = 8.41 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 69 T = Time Out | (out)(err) |
S = OPTIMUM | O = 67 T = 16.26 | (out)(err) |
S = OPTIMUM | O = 67 T = 16.05 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 67 T = 7.13 | (out)(err) |
S = OPTIMUM | O = 67 T = 5.70 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C600_8.wcnf | S = OPTIMUM | O = 60 T = 2.94 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 94 T = Time Out | (out)(err) |
S = OPTIMUM | O = 60 T = 5.50 | (out)(err) |
S = OPTIMUM | O = 60 T = 5.44 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 60 T = 3.18 | (out)(err) |
S = OPTIMUM | O = 60 T = 1.98 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
file_rwms_wcnf_L3_V70_C600_9.wcnf | S = OPTIMUM | O = 67 T = 4.88 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 90 T = Time Out | (out)(err) |
S = OPTIMUM | O = 67 T = 9.11 | (out)(err) |
S = OPTIMUM | O = 67 T = 9.03 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 67 T = 5.06 | (out)(err) |
S = OPTIMUM | O = 67 T = 3.44 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |