MaxSAT Evaluation 2018: Results of Unweighted Complete Track Per Benchmark Family
| Benchmark | #Ins. | RC2-B | RC2-A | maxino | MaxHS | Open-WBO-Gluc | Open-WBO-Riss | LMHS | QMaxSAT |
|---|
| aes | 7 | 0.32 (1) | 0.38 (1) | 0.33 (1) | 114.72 (2) | 0.14 (1) | 0.13 (1) | 648.17 (2) | 1910.04 (1) |
| aes-key-recovery | 20 | 11.87 (19) | 11.18 (19) | 7.69 (18) | 135.41 (17) | 47.23 (19) | 75.51 (19) | 158.98 (13) | 1475.14 (5) |
| atcoss-mesat | 15 | 180.65 (8) | 180.65 (8) | 162.56 (9) | 367.21 (9) | 225.87 (8) | 238.17 (8) | 327.91 (9) | 394.44 (9) |
| bcp-fir | 20 | 17.59 (19) | 4.8 (20) | 12.28 (20) | 132.37 (17) | 30.81 (20) | 28.85 (20) | 206.86 (17) | 71.25 (17) |
| bcp-msp | 25 | 32.04 (12) | 12.86 (12) | 318.74 (12) | 72.02 (12) | 78.64 (13) | 72.44 (13) | 48.18 (12) | 16.61 (5) |
| bcp-syn | 25 | 373.9 (17) | 262.08 (15) | 105.55 (18) | 7.98 (23) | 206.43 (16) | 44.46 (13) | 52.35 (23) | 343.8 (4) |
| circuit-debugging | 3 | 155.79 (3) | 38.52 (3) | 28.6 (3) | 63.22 (3) | 3.65 (3) | 50.22 (3) | 70.54 (2) | 1191.35 (2) |
| circuit-trace | 4 | 45.33 (4) | 36.12 (4) | 6.97 (4) | 147.99 (2) | 19.31 (4) | 28.83 (4) | 1520.27 (2) | 20.95 (3) |
| close-solutions | 20 | 131.48 (19) | 56.09 (20) | 52.42 (19) | 362.79 (19) | 382.96 (19) | 162.19 (19) | 389.64 (14) | 504.31 (15) |
| des | 20 | 149.02 (18) | 248.41 (20) | 154.15 (18) | 527.35 (19) | 100.04 (20) | 409.36 (20) | 597.88 (10) | 410.2 (20) |
| drmx-atmostk | 20 | 19.62 (20) | 25.52 (20) | 338.15 (19) | 211.18 (7) | 3.97 (20) | 8.0 (20) | 376.56 (7) | 1.1 (20) |
| drmx-cryptogen | 20 | 274.44 (20) | 274.61 (20) | 161.18 (20) | 42.23 (20) | 0.0 (0) | 0.0 (0) | 0.0 (0) | 0.0 (0) |
| extension-enforcement | 25 | 41.46 (12) | 523.71 (8) | 1.12 (12) | 145.19 (11) | 894.86 (7) | 758.12 (8) | 1022.76 (11) | 0.0 (0) |
| fault-diagnosis | 25 | 146.51 (24) | 128.34 (22) | 173.78 (22) | 1655.24 (2) | 162.64 (21) | 224.04 (21) | 2227.84 (2) | 309.51 (16) |
| frb | 15 | 9.51 (15) | 21.26 (15) | 456.03 (5) | 32.83 (15) | 33.94 (15) | 32.24 (15) | 390.75 (7) | 40.06 (15) |
| gen-hyper-tw | 25 | 1359.98 (4) | 1363.92 (4) | 1243.11 (5) | 1174.54 (3) | 880.28 (3) | 1126.25 (4) | 724.3 (5) | 78.05 (2) |
| hs-timetabling | 2 | 15.28 (1) | 15.45 (1) | 448.2 (1) | 8.87 (1) | 282.79 (1) | 55.99 (1) | 41.77 (1) | 176.89 (1) |
| job-shop | 3 | 39.86 (3) | 40.23 (3) | 36.02 (3) | 27.23 (3) | 32.0 (3) | 44.37 (3) | 54.5 (3) | 15.45 (3) |
| kbtree | 10 | 0.0 (0) | 0.0 (0) | 0.0 (0) | 60.03 (10) | 3210.18 (2) | 0.0 (0) | 1690.07 (4) | 0.0 (0) |
| maxclique | 10 | 4.07 (6) | 3.62 (6) | 11.66 (5) | 18.48 (6) | 108.96 (7) | 297.37 (6) | 38.73 (7) | 3.21 (5) |
| maxcut | 10 | 3.03 (2) | 2.92 (2) | 154.92 (3) | 475.47 (4) | 6.55 (2) | 8.73 (2) | 96.4 (3) | 15.75 (2) |
| min-fill | 15 | 59.48 (5) | 251.29 (5) | 18.26 (4) | 153.1 (7) | 736.3 (2) | 0.29 (1) | 366.39 (7) | 626.8 (4) |
| optic | 40 | 177.07 (19) | 76.84 (17) | 275.62 (18) | 120.06 (30) | 144.28 (11) | 86.6 (9) | 146.73 (28) | 1062.51 (2) |
| protein-ins | 12 | 86.01 (12) | 56.07 (12) | 267.63 (12) | 104.02 (3) | 179.43 (12) | 92.48 (12) | 195.13 (3) | 50.85 (12) |
| reversi | 20 | 10.92 (14) | 10.86 (14) | 7.28 (14) | 8.98 (14) | 12.92 (14) | 12.56 (14) | 16.01 (14) | 11.38 (14) |
| scheduling | 5 | 382.79 (1) | 175.8 (1) | 133.2 (2) | 2566.49 (1) | 262.49 (1) | 240.74 (1) | 0.0 (0) | 1151.17 (2) |
| sean-safarpour | 24 | 198.21 (21) | 284.64 (22) | 94.92 (20) | 469.47 (15) | 97.98 (21) | 123.25 (20) | 714.14 (10) | 972.26 (10) |
| set-covering | 10 | 0.0 (0) | 0.0 (0) | 0.0 (0) | 1809.81 (2) | 0.0 (0) | 0.0 (0) | 1526.12 (2) | 0.0 (0) |
| tpr-multiple-path | 10 | 29.81 (10) | 36.36 (10) | 18.84 (10) | 47.14 (10) | 91.15 (10) | 133.25 (10) | 98.95 (10) | 173.41 (10) |
| treewidth-computation | 20 | 367.44 (16) | 367.97 (16) | 283.38 (16) | 115.83 (14) | 79.28 (14) | 256.75 (16) | 311.94 (16) | 50.75 (16) |
| uaq | 40 | 97.32 (33) | 156.96 (33) | 82.89 (31) | 138.11 (26) | 289.01 (31) | 313.68 (28) | 75.81 (21) | 481.51 (26) |
| vpa | 40 | 1.7 (40) | 1.7 (40) | 0.04 (40) | 0.11 (40) | 0.05 (40) | 0.05 (40) | 0.3 (40) | 0.46 (37) |
| xai-mindset | 40 | 178.85 (23) | 232.46 (23) | 160.27 (21) | 222.16 (19) | 424.34 (22) | 175.83 (19) | 46.46 (18) | 206.48 (14) |
| Total | 600 | 126.32 (421) | 138.98 (416) | 137.5 (405) | 178.06 (386) | 171.54 (382) | 154.64 (370) | 261.77 (323) | 257.27 (292) |