| Benchmark | #Ins. | UWrMaxSat | MaxHS | RC2-B | RC2-A | maxino | Pacose | QMaxSAT | maxino-pref | smax-minisat | smax-mergesat |
|---|
| mpe | 13 | 3.47 (7) | 157.56 (12) | 65.18 (10) | 136.57 (10) | 771.46 (5) | 304.38 (9) | 428.03 (13) | 163.55 (3) | 11.36 (3) | 77.91 (3) |
| lisbon-wedding | 13 | 43.34 (3) | 598.91 (2) | 109.5 (3) | 84.55 (3) | 151.25 (2) | 0.0 (0) | 0.0 (0) | 3307.51 (1) | 980.01 (1) | 2175.5 (1) |
| min-width | 18 | 2.48 (5) | 9.66 (4) | 4.31 (5) | 10.48 (5) | 2.09 (4) | 285.94 (9) | 451.16 (9) | 3.66 (4) | 38.66 (4) | 67.86 (4) |
| shiftdesign | 7 | 245.93 (7) | 443.86 (4) | 452.19 (7) | 209.83 (7) | 372.25 (7) | 161.36 (7) | 158.5 (6) | 472.64 (7) | 487.83 (3) | 949.79 (3) |
| scSequencing | 30 | 95.5 (20) | 23.36 (14) | 101.05 (19) | 51.23 (19) | 167.89 (19) | 1589.45 (2) | 886.74 (8) | 200.38 (19) | 102.43 (18) | 0.0 (0) |
| security-witness | 30 | 57.06 (30) | 32.61 (30) | 493.72 (30) | 521.46 (30) | 430.65 (30) | 50.38 (30) | 568.03 (25) | 434.11 (30) | 55.04 (30) | 84.74 (18) |
| dalculus | 12 | 0.26 (12) | 31.31 (12) | 0.68 (12) | 0.57 (12) | 0.08 (12) | 149.48 (11) | 5.7 (10) | 0.09 (12) | 2.14 (12) | 0.03 (5) |
| ramsey | 15 | 53.82 (4) | 226.1 (3) | 304.45 (2) | 207.74 (2) | 460.91 (4) | 61.88 (4) | 417.47 (4) | 18.42 (2) | 447.18 (3) | 842.31 (3) |
| timetabling | 9 | 399.48 (7) | 1030.03 (7) | 331.18 (6) | 324.16 (6) | 210.04 (6) | 443.02 (7) | 711.13 (7) | 608.63 (6) | 605.97 (6) | 1336.56 (6) |
| af-synthesis | 12 | 1146.14 (10) | 2795.2 (2) | 2445.53 (7) | 1969.91 (5) | 2989.03 (4) | 606.22 (12) | 1531.47 (9) | 0.0 (0) | 0.0 (0) | 0.0 (0) |
| csg_2020 | 30 | 11.36 (30) | 6.66 (30) | 13.69 (30) | 11.16 (30) | 7.21 (30) | 24.06 (30) | 15.34 (30) | 9.07 (30) | 98.37 (30) | 138.6 (30) |
| qcp | 9 | 0.17 (9) | 0.16 (9) | 0.64 (9) | 0.37 (9) | 0.05 (9) | 0.07 (9) | 0.09 (9) | 0.05 (9) | 0.02 (9) | 0.06 (9) |
| warehouses | 8 | 27.57 (6) | 0.26 (8) | 47.24 (8) | 271.31 (7) | 7.61 (2) | 316.94 (6) | 612.08 (5) | 18.44 (2) | 438.54 (2) | 415.81 (2) |
| haplotyping-pedigrees | 9 | 14.41 (9) | 151.25 (9) | 37.26 (9) | 24.82 (9) | 6.57 (9) | 8.81 (9) | 40.65 (9) | 7.48 (9) | 144.46 (9) | 351.29 (9) |
| abstraction-refinement | 11 | 470.81 (11) | 1063.52 (11) | 993.2 (11) | 424.9 (11) | 874.21 (11) | 2492.44 (4) | 1590.04 (4) | 792.95 (10) | 1043.31 (8) | 1475.44 (9) |
| auctions | 15 | 188.36 (15) | 0.55 (15) | 287.15 (9) | 468.31 (9) | 63.19 (15) | 19.68 (15) | 118.67 (14) | 179.75 (15) | 328.81 (7) | 517.22 (7) |
| max-prob-min-cuts | 30 | 7.14 (30) | 0.12 (30) | 4.24 (30) | 4.15 (30) | 2.74 (30) | 11.83 (30) | 11.71 (30) | 2.78 (30) | 14.22 (30) | 18.49 (16) |
| max-realizability | 14 | 256.95 (13) | 20.1 (12) | 238.27 (13) | 225.84 (13) | 13.14 (12) | 9.13 (12) | 244.01 (13) | 13.08 (12) | 48.35 (12) | 89.81 (12) |
| binaryNN | 5 | 672.55 (4) | 1203.87 (4) | 0.0 (0) | 0.0 (0) | 646.11 (5) | 518.25 (4) | 858.44 (3) | 643.62 (5) | 0.0 (0) | 0.0 (0) |
| RBAC-violations-multiple | 30 | 86.31 (9) | 485.03 (7) | 151.93 (8) | 456.8 (8) | 297.16 (9) | 824.61 (6) | 1342.52 (7) | 219.52 (9) | 1221.25 (5) | 542.83 (4) |
| upgradeability | 19 | 0.96 (19) | 0.49 (19) | 7.26 (19) | 6.84 (19) | 1.02 (19) | 256.24 (17) | 299.62 (14) | 1.04 (19) | 37.01 (19) | 48.94 (15) |
| railroad_sc | 6 | 0.0 (0) | 874.24 (4) | 0.0 (0) | 0.0 (0) | 0.0 (0) | 0.0 (0) | 0.0 (0) | 0.0 (0) | 0.0 (0) | 0.0 (0) |
| relational-inference | 8 | 645.51 (6) | 158.42 (8) | 1502.12 (5) | 930.64 (5) | 790.42 (7) | 0.0 (0) | 0.0 (0) | 971.77 (6) | 132.34 (5) | 260.25 (5) |
| hs-timetabling | 9 | 442.55 (1) | 495.34 (1) | 969.47 (1) | 1254.26 (1) | 823.98 (1) | 2658.27 (1) | 865.14 (1) | 0.0 (0) | 730.24 (1) | 513.3 (1) |
| drmx-cryptogen | 10 | 23.95 (10) | 28.12 (10) | 188.6 (10) | 186.76 (10) | 0.0 (0) | 0.0 (0) | 0.0 (0) | 0.0 (0) | 84.5 (10) | 263.08 (10) |
| set-covering | 11 | 158.81 (8) | 7.99 (10) | 116.71 (9) | 60.83 (9) | 534.04 (6) | 0.0 (0) | 0.0 (0) | 33.82 (6) | 428.59 (6) | 314.27 (6) |
| css-refactoring | 11 | 9.87 (11) | 205.33 (7) | 24.09 (11) | 17.76 (11) | 10.24 (10) | 76.33 (10) | 394.9 (9) | 31.84 (10) | 309.43 (7) | 267.37 (6) |
| BTBNSL | 9 | 8.25 (2) | 710.18 (7) | 7.69 (2) | 1646.57 (2) | 5.23 (2) | 804.28 (4) | 916.36 (4) | 4.48 (2) | 854.52 (2) | 1515.6 (2) |
| preference_planning | 13 | 5.51 (13) | 34.75 (13) | 14.45 (13) | 30.99 (13) | 20.46 (13) | 5.86 (13) | 14.45 (13) | 38.52 (13) | 62.65 (12) | 184.12 (12) |
| pseudoBoolean | 9 | 0.01 (8) | 0.04 (8) | 0.13 (8) | 0.14 (8) | 0.01 (8) | 0.01 (8) | 0.02 (7) | 0.02 (8) | 0.28 (8) | 0.49 (8) |
| railroad_scheduling | 8 | 0.0 (0) | 1356.88 (1) | 0.0 (0) | 0.0 (0) | 0.0 (0) | 0.0 (0) | 0.0 (0) | 0.0 (0) | 0.0 (0) | 0.0 (0) |
| staff-scheduling | 12 | 755.45 (2) | 0.76 (1) | 0.3 (1) | 0.24 (1) | 1036.02 (2) | 1357.83 (3) | 1476.51 (3) | 1781.58 (2) | 0.61 (1) | 1.04 (1) |
| spot5 | 11 | 859.31 (11) | 533.79 (9) | 111.76 (8) | 206.93 (8) | 1.02 (7) | 10.06 (11) | 32.18 (11) | 3.48 (7) | 293.16 (7) | 154.03 (7) |
| Security-CriticalCyber-PhysicalComponents | 14 | 1.26 (14) | 2.55 (14) | 8.0 (14) | 7.18 (14) | 0.35 (14) | 1.2 (14) | 1.03 (14) | 0.34 (14) | 0.61 (14) | 0.8 (14) |
| metro | 17 | 11.32 (17) | 155.25 (17) | 84.39 (17) | 60.21 (17) | 13.2 (17) | 38.1 (17) | 34.48 (17) | 117.18 (17) | 465.53 (16) | 791.67 (16) |
| CSG | 10 | 16.3 (10) | 9.88 (10) | 56.33 (10) | 306.61 (10) | 47.6 (10) | 66.91 (10) | 40.73 (10) | 56.84 (10) | 247.76 (8) | 256.35 (8) |
| drmx-atmostk | 8 | 23.28 (8) | 34.7 (8) | 15.88 (8) | 18.96 (8) | 307.92 (8) | 1.99 (8) | 1.59 (8) | 109.99 (8) | 424.22 (5) | 589.43 (5) |
| causal-discovery | 9 | 724.98 (7) | 821.52 (7) | 1149.42 (5) | 708.59 (5) | 935.82 (6) | 1123.92 (7) | 291.31 (6) | 21.62 (2) | 57.47 (1) | 0.0 (0) |
| MaxSATQueriesinInterpretableClassifiers | 12 | 0.94 (7) | 18.73 (7) | 26.24 (7) | 25.9 (7) | 2.34 (7) | 23.16 (7) | 59.9 (7) | 3.59 (7) | 1.1 (6) | 4.62 (6) |
| tcp | 11 | 338.33 (11) | 419.9 (11) | 20.65 (10) | 253.96 (11) | 25.5 (10) | 61.35 (11) | 134.93 (11) | 34.36 (10) | 104.05 (10) | 146.85 (10) |
| correlation-clustering | 12 | 85.53 (3) | 145.68 (7) | 614.72 (4) | 69.87 (1) | 767.36 (2) | 0.0 (0) | 0.0 (0) | 28.55 (1) | 0.0 (0) | 0.0 (0) |
| MinimumWeightDominatingSetProblem | 7 | 0.0 (0) | 1743.62 (1) | 0.0 (0) | 0.0 (0) | 0.0 (0) | 0.0 (0) | 0.0 (0) | 0.0 (0) | 0.0 (0) | 0.0 (0) |
| rna-alignment | 8 | 4.92 (8) | 26.28 (8) | 3.68 (8) | 3.62 (8) | 19.49 (7) | 43.71 (8) | 24.2 (8) | 108.68 (7) | 1058.59 (1) | 1272.29 (1) |
| planning | 4 | 0.15 (4) | 0.21 (4) | 0.48 (4) | 0.54 (4) | 0.12 (4) | 0.08 (4) | 0.51 (4) | 0.13 (4) | 2.13 (4) | 3.03 (4) |
| frb | 11 | 38.33 (11) | 52.68 (11) | 12.21 (11) | 14.17 (11) | 5.13 (4) | 29.25 (11) | 33.2 (11) | 157.9 (4) | 501.05 (3) | 207.36 (3) |
| ParametricRBACMaintenance | 10 | 100.92 (2) | 534.85 (2) | 593.52 (2) | 307.2 (2) | 643.23 (3) | 1923.46 (3) | 1541.32 (2) | 320.62 (3) | 567.32 (1) | 618.42 (1) |
| railway-transport | 5 | 1007.77 (2) | 209.97 (1) | 523.36 (2) | 642.14 (1) | 203.03 (1) | 278.96 (2) | 392.75 (2) | 0.0 (0) | 0.0 (0) | 0.0 (0) |
| maxcut | 6 | 0.0 (0) | 443.07 (3) | 0.0 (0) | 0.0 (0) | 0.0 (0) | 0.0 (0) | 0.0 (0) | 0.0 (0) | 0.0 (0) | 0.0 (0) |
| Total | 600 | 148.97 (436) | 184.69 (434) | 205.88 (417) | 185.92 (411) | 203.21 (393) | 197.83 (385) | 281.47 (377) | 162.1 (375) | 182.94 (339) | 293.93 (282) |