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 | wbo-1.4b-wcnf |
---|---|---|---|---|---|---|---|---|---|---|---|---|
file_rwpms_wcnf_L2_V150_C4000_H150_0.wcnf | S = OPTIMUM | O = 4231 T = 2.53 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4619 T = Time Out | (out)(err) |
S = OPTIMUM | O = 4231 T = 1.85 | (out)(err) |
S = OPTIMUM | O = 4231 T = 2.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 = 81.28 | (out)(err) |
S = OPTIMUM | O = 4231 T = 6.26 | (out)(err) |
S = OPTIMUM | O = 4231 T = 6.38 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 20558 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C4000_H150_1.wcnf | S = UNSAT | O = 21959 T = 0.14 | (out)(err) |
S = UNSAT | O = 21959 T = 0.07 | (out)(err) |
S = UNSAT | O = N/A T = 1.53 | (out)(err) |
S = UNSAT | O = 21959 T = 0.07 | (out)(err) |
S = UNSAT | O = 21959 T = 0.07 | (out)(err) |
S = UNSAT | O = 21959 T = 0.08 | (out)(err) |
S = UNSAT | O = N/A T = 0.02 | (out)(err) |
S = N/A | O = N/A T = 0.09 | (out)(err) |
S = UNSAT | O = N/A T = 0.07 | (out)(err) |
S = UNSAT | O = 21959 T = 0.78 | (out)(err) |
S = UNSAT | O = N/A T = 44.68 | (out)(err) |
S = N/A | O = N/A T = 0.01 | (out)(err) |
file_rwpms_wcnf_L2_V150_C4000_H150_2.wcnf | S = OPTIMUM | O = 4235 T = 7.39 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4741 T = Time Out | (out)(err) |
S = OPTIMUM | O = 4235 T = 7.71 | (out)(err) |
S = OPTIMUM | O = 4235 T = 6.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 = 34.99 | (out)(err) |
S = OPTIMUM | O = 4235 T = 4.35 | (out)(err) |
S = OPTIMUM | O = 4235 T = 4.17 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = 20240 T = 180.75 | (out)(err) |
file_rwpms_wcnf_L2_V150_C4000_H150_3.wcnf | S = OPTIMUM | O = 4037 T = 44.59 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4739 T = Time Out | (out)(err) |
S = OPTIMUM | O = 4037 T = 13.85 | (out)(err) |
S = OPTIMUM | O = 4037 T = 13.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 = UNSAT | O = N/A T = 28.81 | (out)(err) |
S = OPTIMUM | O = 4037 T = 9.64 | (out)(err) |
S = OPTIMUM | O = 4037 T = 8.46 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 20666 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C4000_H150_4.wcnf | S = OPTIMUM | O = 4031 T = 92.72 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4680 T = Time Out | (out)(err) |
S = OPTIMUM | O = 4031 T = 33.42 | (out)(err) |
S = OPTIMUM | O = 4031 T = 33.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 = 16.09 | (out)(err) |
S = OPTIMUM | O = 4031 T = 20.10 | (out)(err) |
S = OPTIMUM | O = 4031 T = 10.01 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 20811 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C4000_H150_5.wcnf | S = OPTIMUM | O = 4144 T = 171.99 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4809 T = Time Out | (out)(err) |
S = OPTIMUM | O = 4144 T = 79.22 | (out)(err) |
S = OPTIMUM | O = 4144 T = 80.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 = 48.77 | (out)(err) |
S = OPTIMUM | O = 4144 T = 49.62 | (out)(err) |
S = OPTIMUM | O = 4144 T = 24.70 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 20889 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C4000_H150_6.wcnf | S = OPTIMUM | O = 4149 T = 169.94 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4777 T = Time Out | (out)(err) |
S = OPTIMUM | O = 4149 T = 81.75 | (out)(err) |
S = OPTIMUM | O = 4149 T = 81.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 = 6.92 | (out)(err) |
S = OPTIMUM | O = 4149 T = 53.75 | (out)(err) |
S = OPTIMUM | O = 4149 T = 36.81 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 20527 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C4000_H150_7.wcnf | S = OPTIMUM | O = 4043 T = 305.31 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4669 T = Time Out | (out)(err) |
S = OPTIMUM | O = 4043 T = 107.12 | (out)(err) |
S = OPTIMUM | O = 4043 T = 111.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 = 58.07 | (out)(err) |
S = OPTIMUM | O = 4043 T = 41.02 | (out)(err) |
S = OPTIMUM | O = 4043 T = 13.78 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 20440 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C4000_H150_8.wcnf | S = OPTIMUM | O = 4078 T = 534.03 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4815 T = Time Out | (out)(err) |
S = OPTIMUM | O = 4078 T = 172.72 | (out)(err) |
S = OPTIMUM | O = 4078 T = 175.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 = 23.48 | (out)(err) |
S = OPTIMUM | O = 4078 T = 65.49 | (out)(err) |
S = OPTIMUM | O = 4078 T = 24.81 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 20808 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C4000_H150_9.wcnf | S = OPTIMUM | O = 4328 T = 71.82 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4931 T = Time Out | (out)(err) |
S = OPTIMUM | O = 4328 T = 20.63 | (out)(err) |
S = OPTIMUM | O = 4328 T = 20.12 | (out)(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 = 46.35 | (out)(err) |
S = OPTIMUM | O = 4328 T = 13.24 | (out)(err) |
S = OPTIMUM | O = 4328 T = 9.50 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 20973 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C4500_H150_0.wcnf | S = OPTIMUM | O = 4572 T = 775.06 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 5375 T = Time Out | (out)(err) |
S = OPTIMUM | O = 4572 T = 142.22 | (out)(err) |
S = OPTIMUM | O = 4572 T = 136.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 = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 4572 T = 53.33 | (out)(err) |
S = OPTIMUM | O = 4572 T = 24.53 | (out)(err) |
S = N/A | O = N/A T = 1800.00 | (out)(err) |
S = N/A | O = 23311 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C4500_H150_1.wcnf | S = OPTIMUM | O = 4967 T = 480.28 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 5604 T = Time Out | (out)(err) |
S = OPTIMUM | O = 4967 T = 151.59 | (out)(err) |
S = OPTIMUM | O = 4967 T = 153.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 = 229.61 | (out)(err) |
S = OPTIMUM | O = 4967 T = 61.87 | (out)(err) |
S = OPTIMUM | O = 4967 T = 27.26 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 23388 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C4500_H150_2.wcnf | S = OPTIMUM | O = 4961 T = 86.08 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 5530 T = Time Out | (out)(err) |
S = OPTIMUM | O = 4961 T = 30.16 | (out)(err) |
S = OPTIMUM | O = 4961 T = 29.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 = 174.47 | (out)(err) |
S = OPTIMUM | O = 4961 T = 21.11 | (out)(err) |
S = OPTIMUM | O = 4961 T = 16.10 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 23641 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C4500_H150_3.wcnf | S = OPTIMUM | O = 4614 T = 28.72 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 5386 T = Time Out | (out)(err) |
S = OPTIMUM | O = 4614 T = 16.94 | (out)(err) |
S = OPTIMUM | O = 4614 T = 16.80 | (out)(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 = 112.62 | (out)(err) |
S = OPTIMUM | O = 4614 T = 14.41 | (out)(err) |
S = OPTIMUM | O = 4614 T = 12.20 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 23269 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C4500_H150_4.wcnf | S = OPTIMUM | O = 4794 T = 960.74 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 5406 T = Time Out | (out)(err) |
S = OPTIMUM | O = 4794 T = 166.22 | (out)(err) |
S = OPTIMUM | O = 4794 T = 168.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 = 26.90 | (out)(err) |
S = OPTIMUM | O = 4794 T = 87.25 | (out)(err) |
S = OPTIMUM | O = 4794 T = 52.78 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 23367 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C4500_H150_5.wcnf | S = OPTIMUM | O = 4687 T = 172.07 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 5471 T = Time Out | (out)(err) |
S = OPTIMUM | O = 4687 T = 42.88 | (out)(err) |
S = OPTIMUM | O = 4687 T = 43.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 = 5.48 | (out)(err) |
S = OPTIMUM | O = 4687 T = 29.11 | (out)(err) |
S = OPTIMUM | O = 4687 T = 19.92 | (out)(err) |
S = N/A | O = N/A T = 1800.00 | (out)(err) |
S = N/A | O = 23494 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C4500_H150_6.wcnf | S = OPTIMUM | O = 4605 T = 197.73 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 5391 T = Time Out | (out)(err) |
S = OPTIMUM | O = 4605 T = 69.48 | (out)(err) |
S = OPTIMUM | O = 4605 T = 69.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 = UNSAT | O = N/A T = 55.16 | (out)(err) |
S = OPTIMUM | O = 4605 T = 34.30 | (out)(err) |
S = OPTIMUM | O = 4605 T = 8.51 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 23370 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C4500_H150_7.wcnf | S = OPTIMUM | O = 4710 T = 239.51 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 5376 T = Time Out | (out)(err) |
S = OPTIMUM | O = 4710 T = 57.51 | (out)(err) |
S = OPTIMUM | O = 4710 T = 57.25 | (out)(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 = 74.50 | (out)(err) |
S = OPTIMUM | O = 4710 T = 39.00 | (out)(err) |
S = OPTIMUM | O = 4710 T = 26.47 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 23381 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C4500_H150_8.wcnf | S = OPTIMUM | O = 4945 T = 63.78 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 5516 T = Time Out | (out)(err) |
S = OPTIMUM | O = 4945 T = 32.91 | (out)(err) |
S = OPTIMUM | O = 4945 T = 34.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 = UNSAT | O = N/A T = 22.58 | (out)(err) |
S = OPTIMUM | O = 4945 T = 22.11 | (out)(err) |
S = OPTIMUM | O = 4945 T = 11.44 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 23494 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C4500_H150_9.wcnf | S = OPTIMUM | O = 5023 T = 105.67 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 5605 T = Time Out | (out)(err) |
S = OPTIMUM | O = 5023 T = 52.71 | (out)(err) |
S = OPTIMUM | O = 5023 T = 52.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 = 64.34 | (out)(err) |
S = OPTIMUM | O = 5023 T = 28.33 | (out)(err) |
S = OPTIMUM | O = 5023 T = 15.17 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 23782 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C5000_H150_0.wcnf | S = OPTIMUM | O = 5362 T = 69.59 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 6045 T = Time Out | (out)(err) |
S = OPTIMUM | O = 5362 T = 33.98 | (out)(err) |
S = OPTIMUM | O = 5362 T = 33.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 = 8.40 | (out)(err) |
S = OPTIMUM | O = 5362 T = 17.49 | (out)(err) |
S = OPTIMUM | O = 5362 T = 6.53 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 26348 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C5000_H150_1.wcnf | S = OPTIMUM | O = 5338 T = 146.32 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 6173 T = Time Out | (out)(err) |
S = OPTIMUM | O = 5338 T = 66.02 | (out)(err) |
S = OPTIMUM | O = 5338 T = 70.49 | (out)(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 = 44.93 | (out)(err) |
S = OPTIMUM | O = 5338 T = 30.78 | (out)(err) |
S = OPTIMUM | O = 5338 T = 7.56 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 26322 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C5000_H150_2.wcnf | S = OPTIMUM | O = 5312 T = 504.16 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 6186 T = Time Out | (out)(err) |
S = OPTIMUM | O = 5312 T = 147.11 | (out)(err) |
S = OPTIMUM | O = 5312 T = 145.66 | (out)(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.36 | (out)(err) |
S = OPTIMUM | O = 5312 T = 61.83 | (out)(err) |
S = OPTIMUM | O = 5312 T = 12.96 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 26532 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C5000_H150_3.wcnf | S = OPTIMUM | O = 5507 T = 95.35 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 6219 T = Time Out | (out)(err) |
S = OPTIMUM | O = 5507 T = 29.70 | (out)(err) |
S = OPTIMUM | O = 5507 T = 30.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 = 21.67 | (out)(err) |
S = OPTIMUM | O = 5507 T = 22.61 | (out)(err) |
S = OPTIMUM | O = 5507 T = 16.98 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 26471 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C5000_H150_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 = 6225 T = Time Out | (out)(err) |
S = OPTIMUM | O = 5451 T = 352.56 | (out)(err) |
S = OPTIMUM | O = 5451 T = 350.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 = UNSAT | O = N/A T = 243.64 | (out)(err) |
S = OPTIMUM | O = 5451 T = 102.15 | (out)(err) |
S = OPTIMUM | O = 5451 T = 64.37 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 26163 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C5000_H150_5.wcnf | S = OPTIMUM | O = 5308 T = 170.51 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 6048 T = Time Out | (out)(err) |
S = OPTIMUM | O = 5308 T = 51.68 | (out)(err) |
S = OPTIMUM | O = 5308 T = 53.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 = 36.62 | (out)(err) |
S = OPTIMUM | O = 5308 T = 17.30 | (out)(err) |
S = OPTIMUM | O = 5308 T = 11.76 | (out)(err) |
S = N/A | O = N/A T = 1800.00 | (out)(err) |
S = N/A | O = 26103 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C5000_H150_6.wcnf | S = OPTIMUM | O = 5428 T = 177.03 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 6098 T = Time Out | (out)(err) |
S = OPTIMUM | O = 5428 T = 59.95 | (out)(err) |
S = OPTIMUM | O = 5428 T = 59.34 | (out)(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 = 29.77 | (out)(err) |
S = OPTIMUM | O = 5428 T = 32.40 | (out)(err) |
S = OPTIMUM | O = 5428 T = 22.41 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 26235 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C5000_H150_7.wcnf | S = OPTIMUM | O = 5468 T = 583.95 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 5952 T = Time Out | (out)(err) |
S = OPTIMUM | O = 5468 T = 217.63 | (out)(err) |
S = OPTIMUM | O = 5468 T = 210.52 | (out)(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 = 9.59 | (out)(err) |
S = OPTIMUM | O = 5468 T = 75.89 | (out)(err) |
S = OPTIMUM | O = 5468 T = 38.06 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 26567 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C5000_H150_8.wcnf | S = OPTIMUM | O = 5339 T = 16.32 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 5962 T = Time Out | (out)(err) |
S = OPTIMUM | O = 5339 T = 13.29 | (out)(err) |
S = OPTIMUM | O = 5339 T = 13.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 = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 5339 T = 17.04 | (out)(err) |
S = OPTIMUM | O = 5339 T = 8.22 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 26300 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C5000_H150_9.wcnf | S = OPTIMUM | O = 5376 T = 133.32 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 6205 T = Time Out | (out)(err) |
S = OPTIMUM | O = 5376 T = 26.41 | (out)(err) |
S = OPTIMUM | O = 5376 T = 27.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 = 696.28 | (out)(err) |
S = OPTIMUM | O = 5376 T = 23.04 | (out)(err) |
S = OPTIMUM | O = 5376 T = 9.93 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 26161 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C1000_H150_0.wcnf | S = OPTIMUM | O = 626 T = 0.10 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 756 T = Time Out | (out)(err) |
S = OPTIMUM | O = 626 T = 0.18 | (out)(err) |
S = OPTIMUM | O = 626 T = 0.18 | (out)(err) |
S = OPTIMUM | O = 626 T = 0.19 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = 9.62 | (out)(err) |
S = OPTIMUM | O = 626 T = 0.46 | (out)(err) |
S = OPTIMUM | O = 626 T = 0.62 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3668 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C1000_H150_1.wcnf | S = OPTIMUM | O = 745 T = 0.19 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 869 T = Time Out | (out)(err) |
S = OPTIMUM | O = 745 T = 0.35 | (out)(err) |
S = OPTIMUM | O = 745 T = 0.34 | (out)(err) |
S = OPTIMUM | O = 745 T = 0.36 | (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 = 745 T = 1.36 | (out)(err) |
S = OPTIMUM | O = 745 T = 1.48 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3819 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C1000_H150_2.wcnf | S = OPTIMUM | O = 629 T = 0.08 | (out)(err) |
S = N/A | O = 6162 T = Time Out | (out)(err) |
S = N/A | O = 746 T = Time Out | (out)(err) |
S = OPTIMUM | O = 629 T = 0.09 | (out)(err) |
S = OPTIMUM | O = 629 T = 0.09 | (out)(err) |
S = OPTIMUM | O = 629 T = 0.09 | (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 = 629 T = 0.26 | (out)(err) |
S = OPTIMUM | O = 629 T = 0.47 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3649 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C1000_H150_3.wcnf | S = OPTIMUM | O = 723 T = 0.33 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 884 T = Time Out | (out)(err) |
S = OPTIMUM | O = 723 T = 0.56 | (out)(err) |
S = OPTIMUM | O = 723 T = 0.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 = 723 T = 0.89 | (out)(err) |
S = OPTIMUM | O = 723 T = 0.83 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3636 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C1000_H150_4.wcnf | S = OPTIMUM | O = 737 T = 0.09 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 855 T = Time Out | (out)(err) |
S = OPTIMUM | O = 737 T = 0.14 | (out)(err) |
S = OPTIMUM | O = 737 T = 0.14 | (out)(err) |
S = OPTIMUM | O = 737 T = 0.14 | (out)(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 = 737 T = 0.32 | (out)(err) |
S = OPTIMUM | O = 737 T = 0.50 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3844 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C1000_H150_5.wcnf | S = OPTIMUM | O = 668 T = 0.08 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 721 T = Time Out | (out)(err) |
S = OPTIMUM | O = 668 T = 0.14 | (out)(err) |
S = OPTIMUM | O = 668 T = 0.12 | (out)(err) |
S = OPTIMUM | O = 668 T = 0.16 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = 0.53 | (out)(err) |
S = OPTIMUM | O = 668 T = 0.38 | (out)(err) |
S = OPTIMUM | O = 668 T = 0.52 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3785 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C1000_H150_6.wcnf | S = OPTIMUM | O = 641 T = 0.04 | (out)(err) |
S = N/A | O = 734 T = Time Out | (out)(err) |
S = N/A | O = 767 T = Time Out | (out)(err) |
S = OPTIMUM | O = 641 T = 0.07 | (out)(err) |
S = OPTIMUM | O = 641 T = 0.06 | (out)(err) |
S = OPTIMUM | O = 641 T = 0.07 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = 1.24 | (out)(err) |
S = OPTIMUM | O = 641 T = 0.21 | (out)(err) |
S = OPTIMUM | O = 641 T = 0.46 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3735 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C1000_H150_7.wcnf | S = OPTIMUM | O = 688 T = 0.16 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 807 T = Time Out | (out)(err) |
S = OPTIMUM | O = 688 T = 0.26 | (out)(err) |
S = OPTIMUM | O = 688 T = 0.24 | (out)(err) |
S = OPTIMUM | O = 688 T = 0.25 | (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 = 688 T = 0.82 | (out)(err) |
S = OPTIMUM | O = 688 T = 0.99 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3630 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C1000_H150_8.wcnf | S = OPTIMUM | O = 577 T = 0.23 | (out)(err) |
S = N/A | O = 11801 T = Time Out | (out)(err) |
S = N/A | O = 738 T = Time Out | (out)(err) |
S = OPTIMUM | O = 577 T = 0.31 | (out)(err) |
S = OPTIMUM | O = 577 T = 0.30 | (out)(err) |
S = OPTIMUM | O = 577 T = 0.32 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = N/A T = 0.98 | (out)(err) |
S = OPTIMUM | O = 577 T = 0.69 | (out)(err) |
S = OPTIMUM | O = 577 T = 0.74 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3713 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C1000_H150_9.wcnf | S = OPTIMUM | O = 714 T = 0.08 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 822 T = Time Out | (out)(err) |
S = OPTIMUM | O = 714 T = 0.11 | (out)(err) |
S = OPTIMUM | O = 714 T = 0.12 | (out)(err) |
S = OPTIMUM | O = 714 T = 0.12 | (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 = 714 T = 0.41 | (out)(err) |
S = OPTIMUM | O = 714 T = 0.56 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3735 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C1500_H150_0.wcnf | S = OPTIMUM | O = 1121 T = 2.63 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1391 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1121 T = 2.37 | (out)(err) |
S = OPTIMUM | O = 1121 T = 2.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 = 722.95 | (out)(err) |
S = OPTIMUM | O = 1121 T = 4.49 | (out)(err) |
S = OPTIMUM | O = 1121 T = 3.81 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 6551 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C1500_H150_1.wcnf | S = OPTIMUM | O = 1142 T = 0.53 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1323 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1142 T = 1.15 | (out)(err) |
S = OPTIMUM | O = 1142 T = 1.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 = 2.54 | (out)(err) |
S = OPTIMUM | O = 1142 T = 1.89 | (out)(err) |
S = OPTIMUM | O = 1142 T = 1.16 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 6712 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C1500_H150_2.wcnf | S = OPTIMUM | O = 1252 T = 1.59 | (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 = 1252 T = 1.81 | (out)(err) |
S = OPTIMUM | O = 1252 T = 1.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 = 49.70 | (out)(err) |
S = OPTIMUM | O = 1252 T = 2.83 | (out)(err) |
S = OPTIMUM | O = 1252 T = 2.26 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 7035 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C1500_H150_3.wcnf | S = OPTIMUM | O = 1295 T = 1.33 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1428 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1295 T = 1.01 | (out)(err) |
S = OPTIMUM | O = 1295 T = 1.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 = 4.75 | (out)(err) |
S = OPTIMUM | O = 1295 T = 2.07 | (out)(err) |
S = OPTIMUM | O = 1295 T = 1.61 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 6644 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C1500_H150_4.wcnf | S = OPTIMUM | O = 1261 T = 1.03 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1546 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1261 T = 1.68 | (out)(err) |
S = OPTIMUM | O = 1261 T = 1.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 = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1261 T = 2.34 | (out)(err) |
S = OPTIMUM | O = 1261 T = 2.17 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 6574 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C1500_H150_5.wcnf | S = OPTIMUM | O = 1047 T = 2.33 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1292 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1047 T = 3.87 | (out)(err) |
S = OPTIMUM | O = 1047 T = 3.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 = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1047 T = 4.79 | (out)(err) |
S = OPTIMUM | O = 1047 T = 1.40 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 6561 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C1500_H150_6.wcnf | S = OPTIMUM | O = 1175 T = 0.20 | (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 = 1175 T = 0.24 | (out)(err) |
S = OPTIMUM | O = 1175 T = 0.24 | (out)(err) |
S = OPTIMUM | O = 1175 T = 0.25 | (out)(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 = 1175 T = 0.74 | (out)(err) |
S = OPTIMUM | O = 1175 T = 1.06 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 6573 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C1500_H150_7.wcnf | S = OPTIMUM | O = 1145 T = 1.30 | (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 = 1145 T = 1.60 | (out)(err) |
S = OPTIMUM | O = 1145 T = 1.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 = 7.30 | (out)(err) |
S = OPTIMUM | O = 1145 T = 2.76 | (out)(err) |
S = OPTIMUM | O = 1145 T = 1.91 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 6542 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C1500_H150_8.wcnf | S = OPTIMUM | O = 1135 T = 2.17 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1401 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1135 T = 3.26 | (out)(err) |
S = OPTIMUM | O = 1135 T = 3.25 | (out)(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 = 1135 T = 3.18 | (out)(err) |
S = OPTIMUM | O = 1135 T = 2.70 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 6503 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C1500_H150_9.wcnf | S = OPTIMUM | O = 1232 T = 1.63 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1389 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1232 T = 2.25 | (out)(err) |
S = OPTIMUM | O = 1232 T = 2.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 = 1232 T = 3.87 | (out)(err) |
S = OPTIMUM | O = 1232 T = 2.81 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 6774 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C2000_H150_0.wcnf | S = OPTIMUM | O = 1842 T = 5.24 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2209 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1842 T = 7.29 | (out)(err) |
S = OPTIMUM | O = 1842 T = 7.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 = 20.53 | (out)(err) |
S = OPTIMUM | O = 1842 T = 9.48 | (out)(err) |
S = OPTIMUM | O = 1842 T = 4.63 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 9484 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C2000_H150_1.wcnf | S = OPTIMUM | O = 1699 T = 1.96 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2110 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1699 T = 1.50 | (out)(err) |
S = OPTIMUM | O = 1699 T = 1.52 | (out)(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 = 4.60 | (out)(err) |
S = OPTIMUM | O = 1699 T = 2.94 | (out)(err) |
S = OPTIMUM | O = 1699 T = 2.97 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 9554 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C2000_H150_2.wcnf | S = OPTIMUM | O = 1730 T = 3.02 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2165 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1730 T = 4.99 | (out)(err) |
S = OPTIMUM | O = 1730 T = 4.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 = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1730 T = 3.23 | (out)(err) |
S = OPTIMUM | O = 1730 T = 2.64 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 9438 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C2000_H150_3.wcnf | S = OPTIMUM | O = 1885 T = 3.40 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2200 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1885 T = 4.59 | (out)(err) |
S = OPTIMUM | O = 1885 T = 4.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 = 7.02 | (out)(err) |
S = OPTIMUM | O = 1885 T = 5.71 | (out)(err) |
S = OPTIMUM | O = 1885 T = 3.55 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 9624 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C2000_H150_4.wcnf | S = OPTIMUM | O = 2043 T = 1.65 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2267 T = Time Out | (out)(err) |
S = OPTIMUM | O = 2043 T = 2.40 | (out)(err) |
S = OPTIMUM | O = 2043 T = 2.37 | (out)(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 = 2043 T = 2.77 | (out)(err) |
S = OPTIMUM | O = 2043 T = 2.36 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 9708 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C2000_H150_5.wcnf | S = OPTIMUM | O = 1818 T = 14.46 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2056 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1818 T = 7.05 | (out)(err) |
S = OPTIMUM | O = 1818 T = 7.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 = 17.68 | (out)(err) |
S = OPTIMUM | O = 1818 T = 10.83 | (out)(err) |
S = OPTIMUM | O = 1818 T = 3.04 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 9490 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C2000_H150_6.wcnf | S = OPTIMUM | O = 1832 T = 0.72 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2097 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1832 T = 1.18 | (out)(err) |
S = OPTIMUM | O = 1832 T = 1.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 = 9.12 | (out)(err) |
S = OPTIMUM | O = 1832 T = 2.59 | (out)(err) |
S = OPTIMUM | O = 1832 T = 2.04 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 9531 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C2000_H150_7.wcnf | S = OPTIMUM | O = 1780 T = 3.86 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2064 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1780 T = 3.48 | (out)(err) |
S = OPTIMUM | O = 1780 T = 3.52 | (out)(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 = 28.41 | (out)(err) |
S = OPTIMUM | O = 1780 T = 7.14 | (out)(err) |
S = OPTIMUM | O = 1780 T = 4.74 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 9322 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C2000_H150_8.wcnf | S = OPTIMUM | O = 1726 T = 1.83 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2072 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1726 T = 2.98 | (out)(err) |
S = OPTIMUM | O = 1726 T = 2.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 = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1726 T = 3.92 | (out)(err) |
S = OPTIMUM | O = 1726 T = 2.59 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 9600 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C2000_H150_9.wcnf | S = OPTIMUM | O = 1807 T = 16.27 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2151 T = Time Out | (out)(err) |
S = OPTIMUM | O = 1807 T = 12.13 | (out)(err) |
S = OPTIMUM | O = 1807 T = 12.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 = UNSAT | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 1807 T = 12.04 | (out)(err) |
S = OPTIMUM | O = 1807 T = 8.93 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 9617 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C2500_H150_0.wcnf | S = OPTIMUM | O = 2414 T = 2.82 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2842 T = Time Out | (out)(err) |
S = OPTIMUM | O = 2414 T = 2.87 | (out)(err) |
S = OPTIMUM | O = 2414 T = 2.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 = UNSAT | O = N/A T = 10.70 | (out)(err) |
S = OPTIMUM | O = 2414 T = 3.94 | (out)(err) |
S = OPTIMUM | O = 2414 T = 2.11 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 12066 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C2500_H150_1.wcnf | S = OPTIMUM | O = 2398 T = 10.03 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2780 T = Time Out | (out)(err) |
S = OPTIMUM | O = 2398 T = 6.98 | (out)(err) |
S = OPTIMUM | O = 2398 T = 7.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 = UNSAT | O = N/A T = 16.15 | (out)(err) |
S = OPTIMUM | O = 2398 T = 6.19 | (out)(err) |
S = OPTIMUM | O = 2398 T = 4.89 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 12199 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C2500_H150_2.wcnf | S = OPTIMUM | O = 2113 T = 15.72 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2634 T = Time Out | (out)(err) |
S = OPTIMUM | O = 2113 T = 12.90 | (out)(err) |
S = OPTIMUM | O = 2113 T = 12.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 = UNSAT | O = N/A T = 158.91 | (out)(err) |
S = OPTIMUM | O = 2113 T = 10.83 | (out)(err) |
S = OPTIMUM | O = 2113 T = 3.10 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 12037 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C2500_H150_3.wcnf | S = OPTIMUM | O = 2339 T = 10.75 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2827 T = Time Out | (out)(err) |
S = OPTIMUM | O = 2339 T = 10.02 | (out)(err) |
S = OPTIMUM | O = 2339 T = 10.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 = 13.88 | (out)(err) |
S = OPTIMUM | O = 2339 T = 8.11 | (out)(err) |
S = OPTIMUM | O = 2339 T = 6.95 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 12412 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C2500_H150_4.wcnf | S = OPTIMUM | O = 2390 T = 4.63 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2745 T = Time Out | (out)(err) |
S = OPTIMUM | O = 2390 T = 2.83 | (out)(err) |
S = OPTIMUM | O = 2390 T = 2.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 = 2390 T = 4.60 | (out)(err) |
S = OPTIMUM | O = 2390 T = 4.28 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 12141 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C2500_H150_5.wcnf | S = OPTIMUM | O = 2332 T = 1.40 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2821 T = Time Out | (out)(err) |
S = OPTIMUM | O = 2332 T = 1.37 | (out)(err) |
S = OPTIMUM | O = 2332 T = 1.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 = UNSAT | O = N/A T = 12.66 | (out)(err) |
S = OPTIMUM | O = 2332 T = 4.33 | (out)(err) |
S = OPTIMUM | O = 2332 T = 4.28 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 12403 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C2500_H150_6.wcnf | S = OPTIMUM | O = 2488 T = 8.05 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2851 T = Time Out | (out)(err) |
S = OPTIMUM | O = 2488 T = 6.57 | (out)(err) |
S = OPTIMUM | O = 2488 T = 6.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 = 7.20 | (out)(err) |
S = OPTIMUM | O = 2488 T = 7.43 | (out)(err) |
S = OPTIMUM | O = 2488 T = 6.12 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 12273 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C2500_H150_7.wcnf | S = OPTIMUM | O = 2241 T = 17.96 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2612 T = Time Out | (out)(err) |
S = OPTIMUM | O = 2241 T = 13.90 | (out)(err) |
S = OPTIMUM | O = 2241 T = 14.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 = 27.35 | (out)(err) |
S = OPTIMUM | O = 2241 T = 11.14 | (out)(err) |
S = OPTIMUM | O = 2241 T = 3.51 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 12234 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C2500_H150_8.wcnf | S = OPTIMUM | O = 2353 T = 16.32 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2747 T = Time Out | (out)(err) |
S = OPTIMUM | O = 2353 T = 12.05 | (out)(err) |
S = OPTIMUM | O = 2353 T = 12.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 = 1.94 | (out)(err) |
S = OPTIMUM | O = 2353 T = 10.42 | (out)(err) |
S = OPTIMUM | O = 2353 T = 6.28 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 12014 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C2500_H150_9.wcnf | S = OPTIMUM | O = 2560 T = 1.34 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2920 T = Time Out | (out)(err) |
S = OPTIMUM | O = 2560 T = 2.69 | (out)(err) |
S = OPTIMUM | O = 2560 T = 2.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 = UNSAT | O = N/A T = 5.26 | (out)(err) |
S = OPTIMUM | O = 2560 T = 2.16 | (out)(err) |
S = OPTIMUM | O = 2560 T = 1.86 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = 12094 T = 180.56 | (out)(err) |
file_rwpms_wcnf_L2_V150_C3000_H150_0.wcnf | S = OPTIMUM | O = 2885 T = 89.25 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3290 T = Time Out | (out)(err) |
S = OPTIMUM | O = 2885 T = 45.93 | (out)(err) |
S = OPTIMUM | O = 2885 T = 51.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 = UNSAT | O = N/A T = 6.51 | (out)(err) |
S = OPTIMUM | O = 2885 T = 30.44 | (out)(err) |
S = OPTIMUM | O = 2885 T = 19.99 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 14932 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C3000_H150_1.wcnf | S = OPTIMUM | O = 2918 T = 77.76 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3316 T = Time Out | (out)(err) |
S = OPTIMUM | O = 2918 T = 28.03 | (out)(err) |
S = OPTIMUM | O = 2918 T = 28.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 = 18.82 | (out)(err) |
S = OPTIMUM | O = 2918 T = 23.70 | (out)(err) |
S = OPTIMUM | O = 2918 T = 16.25 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 15105 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C3000_H150_2.wcnf | S = OPTIMUM | O = 2878 T = 25.54 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3342 T = Time Out | (out)(err) |
S = OPTIMUM | O = 2878 T = 21.97 | (out)(err) |
S = OPTIMUM | O = 2878 T = 21.83 | (out)(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 = 44.78 | (out)(err) |
S = OPTIMUM | O = 2878 T = 12.73 | (out)(err) |
S = OPTIMUM | O = 2878 T = 5.69 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 14963 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C3000_H150_3.wcnf | S = OPTIMUM | O = 3045 T = 77.43 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3473 T = Time Out | (out)(err) |
S = OPTIMUM | O = 3045 T = 32.04 | (out)(err) |
S = OPTIMUM | O = 3045 T = 33.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 = UNSAT | O = N/A T = 17.03 | (out)(err) |
S = OPTIMUM | O = 3045 T = 22.48 | (out)(err) |
S = OPTIMUM | O = 3045 T = 13.67 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 15250 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C3000_H150_4.wcnf | S = OPTIMUM | O = 3021 T = 6.96 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3448 T = Time Out | (out)(err) |
S = OPTIMUM | O = 3021 T = 6.49 | (out)(err) |
S = OPTIMUM | O = 3021 T = 6.66 | (out)(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 = 88.90 | (out)(err) |
S = OPTIMUM | O = 3021 T = 5.95 | (out)(err) |
S = OPTIMUM | O = 3021 T = 5.04 | (out)(err) |
S = N/A | O = N/A T = 1800.00 | (out)(err) |
S = N/A | O = 15069 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C3000_H150_5.wcnf | S = OPTIMUM | O = 2812 T = 217.21 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3321 T = Time Out | (out)(err) |
S = OPTIMUM | O = 2812 T = 57.05 | (out)(err) |
S = OPTIMUM | O = 2812 T = 58.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 = UNSAT | O = N/A T = 684.21 | (out)(err) |
S = OPTIMUM | O = 2812 T = 40.19 | (out)(err) |
S = OPTIMUM | O = 2812 T = 20.07 | (out)(err) |
S = N/A | O = N/A T = 1800.00 | (out)(err) |
S = N/A | O = 15021 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C3000_H150_6.wcnf | S = OPTIMUM | O = 2838 T = 77.52 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3347 T = Time Out | (out)(err) |
S = OPTIMUM | O = 2838 T = 38.57 | (out)(err) |
S = OPTIMUM | O = 2838 T = 39.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 = UNSAT | O = N/A T = 3.85 | (out)(err) |
S = OPTIMUM | O = 2838 T = 32.08 | (out)(err) |
S = OPTIMUM | O = 2838 T = 16.10 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 15141 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C3000_H150_7.wcnf | S = OPTIMUM | O = 2815 T = 20.35 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3454 T = Time Out | (out)(err) |
S = OPTIMUM | O = 2815 T = 15.03 | (out)(err) |
S = OPTIMUM | O = 2815 T = 14.83 | (out)(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 = 9.47 | (out)(err) |
S = OPTIMUM | O = 2815 T = 10.12 | (out)(err) |
S = OPTIMUM | O = 2815 T = 5.24 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 15120 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C3000_H150_8.wcnf | S = OPTIMUM | O = 3025 T = 94.98 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3528 T = Time Out | (out)(err) |
S = OPTIMUM | O = 3025 T = 39.70 | (out)(err) |
S = OPTIMUM | O = 3025 T = 40.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 = UNSAT | O = N/A T = 6.30 | (out)(err) |
S = OPTIMUM | O = 3025 T = 27.17 | (out)(err) |
S = OPTIMUM | O = 3025 T = 15.11 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 15206 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C3000_H150_9.wcnf | S = OPTIMUM | O = 2952 T = 31.75 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3426 T = Time Out | (out)(err) |
S = OPTIMUM | O = 2952 T = 17.56 | (out)(err) |
S = OPTIMUM | O = 2952 T = 16.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 = 56.09 | (out)(err) |
S = OPTIMUM | O = 2952 T = 10.74 | (out)(err) |
S = OPTIMUM | O = 2952 T = 6.69 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 15100 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C3500_H150_0.wcnf | S = OPTIMUM | O = 3634 T = 263.87 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4161 T = Time Out | (out)(err) |
S = OPTIMUM | O = 3634 T = 63.41 | (out)(err) |
S = OPTIMUM | O = 3634 T = 62.66 | (out)(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 = 3634 T = 49.52 | (out)(err) |
S = OPTIMUM | O = 3634 T = 20.90 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 17955 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C3500_H150_1.wcnf | S = OPTIMUM | O = 3662 T = 15.34 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4215 T = Time Out | (out)(err) |
S = OPTIMUM | O = 3662 T = 13.44 | (out)(err) |
S = OPTIMUM | O = 3662 T = 14.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 = 197.56 | (out)(err) |
S = OPTIMUM | O = 3662 T = 10.66 | (out)(err) |
S = OPTIMUM | O = 3662 T = 8.55 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 17940 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C3500_H150_2.wcnf | S = OPTIMUM | O = 3827 T = 52.55 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4220 T = Time Out | (out)(err) |
S = OPTIMUM | O = 3827 T = 30.36 | (out)(err) |
S = OPTIMUM | O = 3827 T = 29.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 = UNSAT | O = N/A T = 72.54 | (out)(err) |
S = OPTIMUM | O = 3827 T = 21.21 | (out)(err) |
S = OPTIMUM | O = 3827 T = 11.96 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 17767 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C3500_H150_3.wcnf | S = OPTIMUM | O = 3512 T = 47.27 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4035 T = Time Out | (out)(err) |
S = OPTIMUM | O = 3512 T = 23.14 | (out)(err) |
S = OPTIMUM | O = 3512 T = 23.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 = 53.05 | (out)(err) |
S = OPTIMUM | O = 3512 T = 16.26 | (out)(err) |
S = OPTIMUM | O = 3512 T = 7.76 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 17872 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C3500_H150_4.wcnf | S = OPTIMUM | O = 3355 T = 77.94 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4030 T = Time Out | (out)(err) |
S = OPTIMUM | O = 3355 T = 26.00 | (out)(err) |
S = OPTIMUM | O = 3355 T = 25.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 = 97.82 | (out)(err) |
S = OPTIMUM | O = 3355 T = 18.36 | (out)(err) |
S = OPTIMUM | O = 3355 T = 15.37 | (out)(err) |
S = N/A | O = N/A T = 1800.00 | (out)(err) |
S = N/A | O = 18005 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C3500_H150_5.wcnf | S = OPTIMUM | O = 3450 T = 244.05 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 3941 T = Time Out | (out)(err) |
S = OPTIMUM | O = 3450 T = 76.20 | (out)(err) |
S = OPTIMUM | O = 3450 T = 78.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 = UNSAT | O = N/A T = 7.64 | (out)(err) |
S = OPTIMUM | O = 3450 T = 33.79 | (out)(err) |
S = OPTIMUM | O = 3450 T = 19.43 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 17667 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C3500_H150_6.wcnf | S = OPTIMUM | O = 3654 T = 4.45 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4057 T = Time Out | (out)(err) |
S = OPTIMUM | O = 3654 T = 5.09 | (out)(err) |
S = OPTIMUM | O = 3654 T = 5.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 = 3654 T = 3.54 | (out)(err) |
S = OPTIMUM | O = 3654 T = 2.35 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = UNSAT | O = 17913 T = 180.63 | (out)(err) |
file_rwpms_wcnf_L2_V150_C3500_H150_7.wcnf | S = OPTIMUM | O = 3617 T = 14.09 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4104 T = Time Out | (out)(err) |
S = OPTIMUM | O = 3617 T = 9.73 | (out)(err) |
S = OPTIMUM | O = 3617 T = 9.86 | (out)(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 = 3617 T = 15.41 | (out)(err) |
S = OPTIMUM | O = 3617 T = 10.93 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 17813 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C3500_H150_8.wcnf | S = OPTIMUM | O = 3525 T = 18.78 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4202 T = Time Out | (out)(err) |
S = OPTIMUM | O = 3525 T = 14.88 | (out)(err) |
S = OPTIMUM | O = 3525 T = 13.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 = 1.63 | (out)(err) |
S = OPTIMUM | O = 3525 T = 9.65 | (out)(err) |
S = OPTIMUM | O = 3525 T = 4.38 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 17624 T = Time Out | (out)(err) |
file_rwpms_wcnf_L2_V150_C3500_H150_9.wcnf | S = OPTIMUM | O = 3240 T = 63.20 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 4025 T = Time Out | (out)(err) |
S = OPTIMUM | O = 3240 T = 32.42 | (out)(err) |
S = OPTIMUM | O = 3240 T = 34.12 | (out)(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 = 29.33 | (out)(err) |
S = OPTIMUM | O = 3240 T = 19.26 | (out)(err) |
S = OPTIMUM | O = 3240 T = 7.50 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 17512 T = Time Out | (out)(err) |
file_rwpms_wcnf_L3_V100_C600_H100_0.wcnf | S = OPTIMUM | O = 28 T = 4.76 | (out)(err) |
S = N/A | O = 108 T = Time Out | (out)(err) |
S = N/A | O = 31 T = Time Out | (out)(err) |
S = OPTIMUM | O = 28 T = 8.23 | (out)(err) |
S = OPTIMUM | O = 28 T = 8.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 = 28 T = 16.34 | (out)(err) |
S = OPTIMUM | O = 28 T = 4.92 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1095 T = Time Out | (out)(err) |
file_rwpms_wcnf_L3_V100_C600_H100_1.wcnf | S = OPTIMUM | O = 15 T = 6.65 | (out)(err) |
S = N/A | O = 33 T = Time Out | (out)(err) |
S = OPTIMUM | O = 15 T = 94.57 | (out)(err) |
S = OPTIMUM | O = 15 T = 11.48 | (out)(err) |
S = OPTIMUM | O = 15 T = 11.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 = OPTIMUM | O = 15 T = 291.48 | (out)(err) |
S = OPTIMUM | O = 15 T = 9.66 | (out)(err) |
S = OPTIMUM | O = 15 T = 1.32 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1111 T = Time Out | (out)(err) |
file_rwpms_wcnf_L3_V100_C600_H100_2.wcnf | S = OPTIMUM | O = 25 T = 5.82 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 25 T = Time Out | (out)(err) |
S = OPTIMUM | O = 25 T = 9.85 | (out)(err) |
S = OPTIMUM | O = 25 T = 9.76 | (out)(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 = 25 T = 10.90 | (out)(err) |
S = OPTIMUM | O = 25 T = 3.40 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1298 T = Time Out | (out)(err) |
file_rwpms_wcnf_L3_V100_C600_H100_3.wcnf | S = OPTIMUM | O = 25 T = 9.21 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 25 T = Time Out | (out)(err) |
S = OPTIMUM | O = 25 T = 15.57 | (out)(err) |
S = OPTIMUM | O = 25 T = 15.38 | (out)(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 = 25 T = 13.58 | (out)(err) |
S = OPTIMUM | O = 25 T = 3.56 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1217 T = Time Out | (out)(err) |
file_rwpms_wcnf_L3_V100_C600_H100_4.wcnf | S = OPTIMUM | O = 30 T = 3.23 | (out)(err) |
S = N/A | O = 3462 T = Time Out | (out)(err) |
S = N/A | O = 30 T = Time Out | (out)(err) |
S = OPTIMUM | O = 30 T = 5.79 | (out)(err) |
S = OPTIMUM | O = 30 T = 5.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 = 30 T = 9.10 | (out)(err) |
S = OPTIMUM | O = 30 T = 5.64 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1440 T = Time Out | (out)(err) |
file_rwpms_wcnf_L3_V100_C600_H100_5.wcnf | S = OPTIMUM | O = 27 T = 2.14 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 27 T = Time Out | (out)(err) |
S = OPTIMUM | O = 27 T = 3.83 | (out)(err) |
S = OPTIMUM | O = 27 T = 3.80 | (out)(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 = 27 T = 8.41 | (out)(err) |
S = OPTIMUM | O = 27 T = 2.84 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1293 T = Time Out | (out)(err) |
file_rwpms_wcnf_L3_V100_C600_H100_6.wcnf | S = OPTIMUM | O = 26 T = 6.68 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 32 T = Time Out | (out)(err) |
S = OPTIMUM | O = 26 T = 11.12 | (out)(err) |
S = OPTIMUM | O = 26 T = 10.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 = 26 T = 15.97 | (out)(err) |
S = OPTIMUM | O = 26 T = 3.97 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1317 T = Time Out | (out)(err) |
file_rwpms_wcnf_L3_V100_C600_H100_7.wcnf | S = OPTIMUM | O = 29 T = 17.40 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 29 T = Time Out | (out)(err) |
S = OPTIMUM | O = 29 T = 30.08 | (out)(err) |
S = OPTIMUM | O = 29 T = 30.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 = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 29 T = 19.60 | (out)(err) |
S = OPTIMUM | O = 29 T = 14.12 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1299 T = Time Out | (out)(err) |
file_rwpms_wcnf_L3_V100_C600_H100_8.wcnf | S = OPTIMUM | O = 19 T = 11.28 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 19 T = Time Out | (out)(err) |
S = OPTIMUM | O = 19 T = 19.59 | (out)(err) |
S = OPTIMUM | O = 19 T = 19.34 | (out)(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 = 15.41 | (out)(err) |
S = OPTIMUM | O = 19 T = 3.79 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1412 T = Time Out | (out)(err) |
file_rwpms_wcnf_L3_V100_C600_H100_9.wcnf | S = OPTIMUM | O = 30 T = 6.64 | (out)(err) |
S = N/A | O = 110 T = Time Out | (out)(err) |
S = N/A | O = 33 T = Time Out | (out)(err) |
S = OPTIMUM | O = 30 T = 11.51 | (out)(err) |
S = OPTIMUM | O = 30 T = 11.34 | (out)(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 = 11.17 | (out)(err) |
S = OPTIMUM | O = 30 T = 7.75 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1232 T = 1800.00 | (out)(err) |
file_rwpms_wcnf_L3_V100_C700_H100_0.wcnf | S = OPTIMUM | O = 54 T = 62.65 | (out)(err) |
S = N/A | O = 39 T = Time Out | (out)(err) |
S = N/A | O = 74 T = Time Out | (out)(err) |
S = OPTIMUM | O = 54 T = 88.82 | (out)(err) |
S = OPTIMUM | O = 54 T = 88.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 = 54 T = 59.81 | (out)(err) |
S = OPTIMUM | O = 54 T = 17.96 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1956 T = Time Out | (out)(err) |
file_rwpms_wcnf_L3_V100_C700_H100_1.wcnf | S = OPTIMUM | O = 58 T = 58.66 | (out)(err) |
S = N/A | O = 4030 T = Time Out | (out)(err) |
S = N/A | O = 60 T = Time Out | (out)(err) |
S = OPTIMUM | O = 58 T = 83.64 | (out)(err) |
S = OPTIMUM | O = 58 T = 83.14 | (out)(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 = 58 T = 204.74 | (out)(err) |
S = OPTIMUM | O = 58 T = 58.31 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1927 T = Time Out | (out)(err) |
file_rwpms_wcnf_L3_V100_C700_H100_2.wcnf | S = OPTIMUM | O = 59 T = 71.24 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 73 T = Time Out | (out)(err) |
S = OPTIMUM | O = 59 T = 97.97 | (out)(err) |
S = OPTIMUM | O = 59 T = 97.25 | (out)(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 = 91.44 | (out)(err) |
S = OPTIMUM | O = 59 T = 38.72 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1978 T = Time Out | (out)(err) |
file_rwpms_wcnf_L3_V100_C700_H100_3.wcnf | S = OPTIMUM | O = 48 T = 35.14 | (out)(err) |
S = N/A | O = 3957 T = Time Out | (out)(err) |
S = N/A | O = 78 T = Time Out | (out)(err) |
S = OPTIMUM | O = 48 T = 50.05 | (out)(err) |
S = OPTIMUM | O = 48 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 = 48 T = 78.42 | (out)(err) |
S = OPTIMUM | O = 48 T = 33.11 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1992 T = Time Out | (out)(err) |
file_rwpms_wcnf_L3_V100_C700_H100_4.wcnf | S = OPTIMUM | O = 42 T = 8.81 | (out)(err) |
S = N/A | O = 139 T = Time Out | (out)(err) |
S = N/A | O = 45 T = Time Out | (out)(err) |
S = OPTIMUM | O = 42 T = 13.16 | (out)(err) |
S = OPTIMUM | O = 42 T = 13.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 = 42 T = 35.24 | (out)(err) |
S = OPTIMUM | O = 42 T = 10.80 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1928 T = Time Out | (out)(err) |
file_rwpms_wcnf_L3_V100_C700_H100_5.wcnf | S = OPTIMUM | O = 46 T = 52.06 | (out)(err) |
S = N/A | O = 7697 T = Time Out | (out)(err) |
S = N/A | O = 63 T = Time Out | (out)(err) |
S = OPTIMUM | O = 46 T = 74.41 | (out)(err) |
S = OPTIMUM | O = 46 T = 74.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 = 46 T = 64.96 | (out)(err) |
S = OPTIMUM | O = 46 T = 14.34 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2034 T = Time Out | (out)(err) |
file_rwpms_wcnf_L3_V100_C700_H100_6.wcnf | S = OPTIMUM | O = 51 T = 69.67 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 59 T = Time Out | (out)(err) |
S = OPTIMUM | O = 51 T = 99.67 | (out)(err) |
S = OPTIMUM | O = 51 T = 98.99 | (out)(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 = 87.81 | (out)(err) |
S = OPTIMUM | O = 51 T = 47.48 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1911 T = Time Out | (out)(err) |
file_rwpms_wcnf_L3_V100_C700_H100_7.wcnf | S = OPTIMUM | O = 63 T = 78.37 | (out)(err) |
S = N/A | O = 135 T = Time Out | (out)(err) |
S = N/A | O = 87 T = Time Out | (out)(err) |
S = OPTIMUM | O = 63 T = 109.53 | (out)(err) |
S = OPTIMUM | O = 63 T = 109.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 = 63 T = 97.44 | (out)(err) |
S = OPTIMUM | O = 63 T = 80.91 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 1716 T = Time Out | (out)(err) |
file_rwpms_wcnf_L3_V100_C700_H100_8.wcnf | S = OPTIMUM | O = 64 T = 141.44 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 78 T = Time Out | (out)(err) |
S = OPTIMUM | O = 64 T = 197.50 | (out)(err) |
S = OPTIMUM | O = 64 T = 196.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 = 64 T = 198.95 | (out)(err) |
S = OPTIMUM | O = 64 T = 147.18 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2081 T = Time Out | (out)(err) |
file_rwpms_wcnf_L3_V100_C700_H100_9.wcnf | S = OPTIMUM | O = 45 T = 22.70 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 66 T = Time Out | (out)(err) |
S = OPTIMUM | O = 45 T = 35.91 | (out)(err) |
S = OPTIMUM | O = 45 T = 35.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 = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 45 T = 40.07 | (out)(err) |
S = OPTIMUM | O = 45 T = 13.08 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2064 T = Time Out | (out)(err) |
file_rwpms_wcnf_L3_V100_C800_H100_0.wcnf | S = OPTIMUM | O = 95 T = 310.66 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 144 T = Time Out | (out)(err) |
S = OPTIMUM | O = 95 T = 363.57 | (out)(err) |
S = OPTIMUM | O = 95 T = 361.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 = 95 T = 314.38 | (out)(err) |
S = OPTIMUM | O = 95 T = 187.68 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2863 T = Time Out | (out)(err) |
file_rwpms_wcnf_L3_V100_C800_H100_1.wcnf | S = OPTIMUM | O = 81 T = 178.48 | (out)(err) |
S = N/A | O = 4579 T = Time Out | (out)(err) |
S = N/A | O = 106 T = Time Out | (out)(err) |
S = OPTIMUM | O = 81 T = 220.32 | (out)(err) |
S = OPTIMUM | O = 81 T = 219.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 = 81 T = 207.10 | (out)(err) |
S = OPTIMUM | O = 81 T = 132.11 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2554 T = Time Out | (out)(err) |
file_rwpms_wcnf_L3_V100_C800_H100_2.wcnf | S = OPTIMUM | O = 77 T = 214.03 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 99 T = Time Out | (out)(err) |
S = OPTIMUM | O = 77 T = 278.66 | (out)(err) |
S = OPTIMUM | O = 77 T = 278.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 = 77 T = 251.63 | (out)(err) |
S = OPTIMUM | O = 77 T = 132.76 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2793 T = Time Out | (out)(err) |
file_rwpms_wcnf_L3_V100_C800_H100_3.wcnf | S = OPTIMUM | O = 81 T = 101.19 | (out)(err) |
S = N/A | O = 4731 T = Time Out | (out)(err) |
S = N/A | O = 105 T = Time Out | (out)(err) |
S = OPTIMUM | O = 81 T = 138.26 | (out)(err) |
S = OPTIMUM | O = 81 T = 137.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 = 81 T = 111.28 | (out)(err) |
S = OPTIMUM | O = 81 T = 50.78 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2845 T = Time Out | (out)(err) |
file_rwpms_wcnf_L3_V100_C800_H100_4.wcnf | S = OPTIMUM | O = 75 T = 154.13 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 87 T = Time Out | (out)(err) |
S = OPTIMUM | O = 75 T = 199.25 | (out)(err) |
S = OPTIMUM | O = 75 T = 198.60 | (out)(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 = 75 T = 260.99 | (out)(err) |
S = OPTIMUM | O = 75 T = 135.92 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2773 T = Time Out | (out)(err) |
file_rwpms_wcnf_L3_V100_C800_H100_5.wcnf | S = OPTIMUM | O = 80 T = 79.24 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 82 T = Time Out | (out)(err) |
S = OPTIMUM | O = 80 T = 99.02 | (out)(err) |
S = OPTIMUM | O = 80 T = 98.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 = 80 T = 93.45 | (out)(err) |
S = OPTIMUM | O = 80 T = 75.58 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2689 T = Time Out | (out)(err) |
file_rwpms_wcnf_L3_V100_C800_H100_6.wcnf | S = OPTIMUM | O = 74 T = 91.76 | (out)(err) |
S = N/A | O = 4598 T = Time Out | (out)(err) |
S = N/A | O = 106 T = Time Out | (out)(err) |
S = OPTIMUM | O = 74 T = 120.00 | (out)(err) |
S = OPTIMUM | O = 74 T = 119.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 = 74 T = 116.72 | (out)(err) |
S = OPTIMUM | O = 74 T = 75.12 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2613 T = Time Out | (out)(err) |
file_rwpms_wcnf_L3_V100_C800_H100_7.wcnf | S = OPTIMUM | O = 99 T = 315.12 | (out)(err) |
S = N/A | O = 4528 T = Time Out | (out)(err) |
S = N/A | O = 119 T = Time Out | (out)(err) |
S = OPTIMUM | O = 99 T = 360.80 | (out)(err) |
S = OPTIMUM | O = 99 T = 358.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 = 99 T = 301.00 | (out)(err) |
S = OPTIMUM | O = 99 T = 144.62 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2714 T = 1800.00 | (out)(err) |
file_rwpms_wcnf_L3_V100_C800_H100_8.wcnf | S = OPTIMUM | O = 90 T = 521.20 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 109 T = Time Out | (out)(err) |
S = OPTIMUM | O = 90 T = 597.52 | (out)(err) |
S = OPTIMUM | O = 90 T = 595.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 = 90 T = 561.16 | (out)(err) |
S = OPTIMUM | O = 90 T = 312.36 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2750 T = Time Out | (out)(err) |
file_rwpms_wcnf_L3_V100_C800_H100_9.wcnf | S = OPTIMUM | O = 95 T = 257.93 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 109 T = Time Out | (out)(err) |
S = OPTIMUM | O = 95 T = 340.20 | (out)(err) |
S = OPTIMUM | O = 95 T = 339.76 | (out)(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 = 95 T = 354.19 | (out)(err) |
S = OPTIMUM | O = 95 T = 268.56 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 2793 T = Time Out | (out)(err) |
file_rwpms_wcnf_L3_V100_C300_H100_0.wcnf | S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.46 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.67 | (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.02 | (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 = 16.71 | (out)(err) |
file_rwpms_wcnf_L3_V100_C300_H100_1.wcnf | S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.67 | (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.03 | (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 = 17.55 | (out)(err) |
file_rwpms_wcnf_L3_V100_C300_H100_2.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.79 | (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.02 | (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 = 14.04 | (out)(err) |
file_rwpms_wcnf_L3_V100_C300_H100_3.wcnf | S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.65 | (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.02 | (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 = 11.93 | (out)(err) |
file_rwpms_wcnf_L3_V100_C300_H100_4.wcnf | S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = N/A | O = 1627 T = Time Out | (out)(err) |
S = OPTIMUM | O = 0 T = 0.65 | (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.02 | (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 = 15.33 | (out)(err) |
file_rwpms_wcnf_L3_V100_C300_H100_5.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.67 | (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.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 = 21.69 | (out)(err) |
file_rwpms_wcnf_L3_V100_C300_H100_6.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.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.02 | (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 = 20.80 | (out)(err) |
file_rwpms_wcnf_L3_V100_C300_H100_7.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.65 | (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.02 | (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 = 19.58 | (out)(err) |
file_rwpms_wcnf_L3_V100_C300_H100_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.66 | (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.00 | (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 = 21.79 | (out)(err) |
file_rwpms_wcnf_L3_V100_C300_H100_9.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.66 | (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.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 = 18.71 | (out)(err) |
file_rwpms_wcnf_L3_V100_C400_H100_0.wcnf | S = OPTIMUM | O = 0 T = 0.07 | (out)(err) |
S = N/A | O = 2250 T = Time Out | (out)(err) |
S = OPTIMUM | O = 0 T = 0.70 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.14 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.14 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.15 | (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.34 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.08 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 117.54 | (out)(err) |
file_rwpms_wcnf_L3_V100_C400_H100_1.wcnf | S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = N/A | O = 2254 T = Time Out | (out)(err) |
S = OPTIMUM | O = 0 T = 0.77 | (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.01 | (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.02 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 97.07 | (out)(err) |
file_rwpms_wcnf_L3_V100_C400_H100_2.wcnf | S = OPTIMUM | O = 0 T = 0.05 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.38 | (out)(err) |
S = OPTIMUM | O = 0 T = 1.02 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.08 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.08 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.09 | (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.12 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.00 | (out)(err) |
S = OPTIMUM | O = 0 T = 116.19 | (out)(err) |
file_rwpms_wcnf_L3_V100_C400_H100_3.wcnf | S = OPTIMUM | O = 0 T = 0.05 | (out)(err) |
S = N/A | O = 37 T = Time Out | (out)(err) |
S = OPTIMUM | O = 0 T = 1.21 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.10 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.10 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.10 | (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.03 | (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 = 96.69 | (out)(err) |
file_rwpms_wcnf_L3_V100_C400_H100_4.wcnf | S = OPTIMUM | O = 0 T = 0.05 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.06 | (out)(err) |
S = OPTIMUM | O = 0 T = 1.18 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.07 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.07 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.07 | (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.39 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 109.44 | (out)(err) |
file_rwpms_wcnf_L3_V100_C400_H100_5.wcnf | S = OPTIMUM | O = 0 T = 0.02 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.18 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.78 | (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.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.19 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 126.72 | (out)(err) |
file_rwpms_wcnf_L3_V100_C400_H100_6.wcnf | S = OPTIMUM | O = 0 T = 0.03 | (out)(err) |
S = N/A | O = 4257 T = Time Out | (out)(err) |
S = OPTIMUM | O = 0 T = 1.18 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.06 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.06 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.06 | (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.34 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.12 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 75.29 | (out)(err) |
file_rwpms_wcnf_L3_V100_C400_H100_7.wcnf | S = OPTIMUM | O = 0 T = 0.02 | (out)(err) |
S = N/A | O = 32 T = Time Out | (out)(err) |
S = OPTIMUM | O = 0 T = 0.68 | (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.23 | (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 = 80.05 | (out)(err) |
file_rwpms_wcnf_L3_V100_C400_H100_8.wcnf | S = OPTIMUM | O = 0 T = 0.03 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.04 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.79 | (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.07 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.09 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 142.40 | (out)(err) |
file_rwpms_wcnf_L3_V100_C400_H100_9.wcnf | S = OPTIMUM | O = 0 T = 0.04 | (out)(err) |
S = N/A | O = 2185 T = Time Out | (out)(err) |
S = OPTIMUM | O = 0 T = 0.78 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.10 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.10 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.10 | (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.09 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.06 | (out)(err) |
S = OPTIMUM | O = 0 T = 0.01 | (out)(err) |
S = OPTIMUM | O = 0 T = 102.31 | (out)(err) |
file_rwpms_wcnf_L3_V100_C500_H100_0.wcnf | S = OPTIMUM | O = 4 T = 0.77 | (out)(err) |
S = N/A | O = 5518 T = Time Out | (out)(err) |
S = OPTIMUM | O = 4 T = 5.02 | (out)(err) |
S = OPTIMUM | O = 4 T = 1.67 | (out)(err) |
S = OPTIMUM | O = 4 T = 1.65 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 4 T = 3.65 | (out)(err) |
S = OPTIMUM | O = 4 T = 0.32 | (out)(err) |
S = OPTIMUM | O = 4 T = 1.10 | (out)(err) |
S = OPTIMUM | O = 4 T = 0.29 | (out)(err) |
S = OPTIMUM | O = 4 T = 0.68 | (out)(err) |
S = OPTIMUM | O = 4 T = 181.26 | (out)(err) |
file_rwpms_wcnf_L3_V100_C500_H100_1.wcnf | S = OPTIMUM | O = 4 T = 0.83 | (out)(err) |
S = N/A | O = 2799 T = Time Out | (out)(err) |
S = OPTIMUM | O = 4 T = 4.75 | (out)(err) |
S = OPTIMUM | O = 4 T = 1.54 | (out)(err) |
S = OPTIMUM | O = 4 T = 1.51 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 4 T = 3.77 | (out)(err) |
S = OPTIMUM | O = 4 T = 0.28 | (out)(err) |
S = OPTIMUM | O = 4 T = 1.71 | (out)(err) |
S = OPTIMUM | O = 4 T = 0.26 | (out)(err) |
S = OPTIMUM | O = 4 T = 0.57 | (out)(err) |
S = OPTIMUM | O = 4 T = 180.83 | (out)(err) |
file_rwpms_wcnf_L3_V100_C500_H100_2.wcnf | S = OPTIMUM | O = 9 T = 1.16 | (out)(err) |
S = N/A | O = 2760 T = Time Out | (out)(err) |
S = OPTIMUM | O = 9 T = 29.88 | (out)(err) |
S = OPTIMUM | O = 9 T = 2.17 | (out)(err) |
S = OPTIMUM | O = 9 T = 2.12 | (out)(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 = 9 T = 15.95 | (out)(err) |
S = OPTIMUM | O = 9 T = 2.50 | (out)(err) |
S = OPTIMUM | O = 9 T = 1.05 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 417 T = Time Out | (out)(err) |
file_rwpms_wcnf_L3_V100_C500_H100_3.wcnf | S = OPTIMUM | O = 6 T = 0.42 | (out)(err) |
S = N/A | O = 2856 T = Time Out | (out)(err) |
S = OPTIMUM | O = 6 T = 7.12 | (out)(err) |
S = OPTIMUM | O = 6 T = 0.75 | (out)(err) |
S = OPTIMUM | O = 6 T = 0.66 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 6 T = 50.84 | (out)(err) |
S = OPTIMUM | O = 6 T = 1.21 | (out)(err) |
S = OPTIMUM | O = 6 T = 1.81 | (out)(err) |
S = OPTIMUM | O = 6 T = 0.40 | (out)(err) |
S = OPTIMUM | O = 6 T = 5.72 | (out)(err) |
S = OPTIMUM | O = 6 T = 255.04 | (out)(err) |
file_rwpms_wcnf_L3_V100_C500_H100_4.wcnf | S = OPTIMUM | O = 7 T = 3.36 | (out)(err) |
S = N/A | O = 105 T = Time Out | (out)(err) |
S = OPTIMUM | O = 7 T = 5.62 | (out)(err) |
S = OPTIMUM | O = 7 T = 7.27 | (out)(err) |
S = OPTIMUM | O = 7 T = 7.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 = OPTIMUM | O = 7 T = 2.61 | (out)(err) |
S = OPTIMUM | O = 7 T = 7.20 | (out)(err) |
S = OPTIMUM | O = 7 T = 0.62 | (out)(err) |
S = OPTIMUM | O = 7 T = 698.58 | (out)(err) |
S = OPTIMUM | O = 7 T = 813.12 | (out)(err) |
file_rwpms_wcnf_L3_V100_C500_H100_5.wcnf | S = OPTIMUM | O = 13 T = 1.66 | (out)(err) |
S = N/A | O = 24 T = Time Out | (out)(err) |
S = OPTIMUM | O = 13 T = 610.34 | (out)(err) |
S = OPTIMUM | O = 13 T = 3.24 | (out)(err) |
S = OPTIMUM | O = 13 T = 3.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 = 13 T = 8.00 | (out)(err) |
S = OPTIMUM | O = 13 T = 3.05 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 403 T = Time Out | (out)(err) |
file_rwpms_wcnf_L3_V100_C500_H100_6.wcnf | S = OPTIMUM | O = 8 T = 0.68 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 8 T = 26.89 | (out)(err) |
S = OPTIMUM | O = 8 T = 1.29 | (out)(err) |
S = OPTIMUM | O = 8 T = 1.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 = OPTIMUM | O = 8 T = 7.36 | (out)(err) |
S = OPTIMUM | O = 8 T = 2.51 | (out)(err) |
S = OPTIMUM | O = 8 T = 0.78 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 526 T = Time Out | (out)(err) |
file_rwpms_wcnf_L3_V100_C500_H100_7.wcnf | S = OPTIMUM | O = 7 T = 1.45 | (out)(err) |
S = N/A | O = 2854 T = Time Out | (out)(err) |
S = OPTIMUM | O = 7 T = 12.82 | (out)(err) |
S = OPTIMUM | O = 7 T = 2.74 | (out)(err) |
S = OPTIMUM | O = 7 T = 2.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 = 7 T = 2.41 | (out)(err) |
S = OPTIMUM | O = 7 T = 1.84 | (out)(err) |
S = OPTIMUM | O = 7 T = 0.58 | (out)(err) |
S = OPTIMUM | O = 7 T = 173.65 | (out)(err) |
S = OPTIMUM | O = 7 T = 1360.99 | (out)(err) |
file_rwpms_wcnf_L3_V100_C500_H100_8.wcnf | S = OPTIMUM | O = 3 T = 0.70 | (out)(err) |
S = N/A | O = 71 T = Time Out | (out)(err) |
S = OPTIMUM | O = 3 T = 3.60 | (out)(err) |
S = OPTIMUM | O = 3 T = 1.42 | (out)(err) |
S = OPTIMUM | O = 3 T = 1.39 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = OPTIMUM | O = 3 T = 0.94 | (out)(err) |
S = OPTIMUM | O = 3 T = 0.15 | (out)(err) |
S = OPTIMUM | O = 3 T = 1.04 | (out)(err) |
S = OPTIMUM | O = 3 T = 0.28 | (out)(err) |
S = OPTIMUM | O = 3 T = 0.12 | (out)(err) |
S = OPTIMUM | O = 3 T = 180.63 | (out)(err) |
file_rwpms_wcnf_L3_V100_C500_H100_9.wcnf | S = OPTIMUM | O = 8 T = 0.74 | (out)(err) |
S = N/A | O = 46 T = Time Out | (out)(err) |
S = OPTIMUM | O = 8 T = 18.86 | (out)(err) |
S = OPTIMUM | O = 8 T = 1.31 | (out)(err) |
S = OPTIMUM | O = 8 T = 1.27 | (out)(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 = 8 T = 5.81 | (out)(err) |
S = OPTIMUM | O = 8 T = 2.32 | (out)(err) |
S = OPTIMUM | O = 8 T = 0.68 | (out)(err) |
S = N/A | O = N/A T = Time Out | (out)(err) |
S = N/A | O = 352 T = Time Out | (out)(err) |