| Benchmark | #Ins. | RC2-2018 | UWrMaxSAT | MaxHS | QMaxSAT2018 | maxino2018 | Pacose | Open-WBO-g | Open-WBO-ms-pre | Open-WBO-ms |
|---|
| ParametricRBACMaintenance | 30 | 184.46 (6) | 128.91 (7) | 1286.87 (8) | 705.49 (5) | 177.15 (7) | 977.73 (4) | 242.5 (6) | 208.04 (6) | 123.34 (6) |
| MaxSATQueriesinInterpretableClassifiers | 30 | 60.76 (13) | 330.31 (14) | 56.09 (11) | 269.0 (13) | 298.16 (13) | 267.14 (13) | 253.69 (12) | 70.41 (12) | 67.69 (12) |
| MinimumWeightDominatingSetProblem | 7 | 0.0 (0) | 0.0 (0) | 702.97 (1) | 0.0 (0) | 0.0 (0) | 0.0 (0) | 0.0 (0) | 0.0 (0) | 0.0 (0) |
| Security-CriticalCyber-PhysicalComponents | 30 | 6.48 (30) | 1.94 (30) | 10.84 (30) | 1.28 (30) | 0.38 (30) | 1.55 (30) | 0.36 (30) | 0.57 (30) | 0.4 (30) |
| tcp | 14 | 425.42 (10) | 219.33 (9) | 740.58 (4) | 321.1 (10) | 232.55 (9) | 514.31 (12) | 411.26 (12) | 220.93 (11) | 270.83 (12) |
| css-refactoring | 10 | 25.21 (10) | 14.43 (9) | 79.72 (5) | 417.05 (8) | 11.68 (9) | 72.87 (9) | 23.16 (9) | 43.2 (9) | 61.51 (9) |
| haplotyping-pedigrees | 21 | 34.18 (20) | 26.5 (21) | 185.23 (19) | 69.03 (21) | 7.92 (21) | 470.45 (18) | 17.32 (19) | 56.96 (18) | 168.14 (19) |
| dalculus | 18 | 0.86 (18) | 0.39 (18) | 5.72 (18) | 13.02 (9) | 0.14 (18) | 1.3 (9) | 0.25 (18) | 2.44 (18) | 4.23 (18) |
| hs-timetabling | 11 | 1052.7 (1) | 7.33 (1) | 0.0 (0) | 866.05 (1) | 974.5 (1) | 1982.62 (1) | 762.67 (1) | 30.97 (1) | 79.22 (1) |
| warehouses | 6 | 60.89 (6) | 0.0 (0) | 0.34 (6) | 1021.31 (3) | 0.0 (0) | 700.66 (3) | 3041.74 (1) | 0.0 (0) | 0.0 (0) |
| drmx-cryptogen | 9 | 242.98 (9) | 40.38 (9) | 8.59 (7) | 0.0 (0) | 0.0 (0) | 0.0 (0) | 212.33 (9) | 1118.2 (1) | 175.83 (9) |
| lisbon-wedding | 18 | 488.47 (5) | 328.53 (5) | 0.0 (0) | 0.0 (0) | 430.79 (4) | 0.0 (0) | 1661.87 (5) | 79.55 (6) | 1002.94 (7) |
| frb | 11 | 102.03 (11) | 93.17 (11) | 64.39 (10) | 105.96 (11) | 0.0 (0) | 257.77 (11) | 0.0 (0) | 0.0 (0) | 0.0 (0) |
| railway-transport | 5 | 600.35 (2) | 1847.05 (2) | 332.12 (1) | 450.56 (2) | 207.36 (1) | 330.44 (2) | 1373.99 (1) | 2859.67 (1) | 1577.42 (1) |
| pseudoBoolean | 10 | 34.55 (3) | 26.52 (3) | 337.37 (3) | 46.12 (2) | 143.91 (3) | 176.48 (3) | 98.58 (3) | 98.09 (3) | 74.52 (3) |
| spot5 | 17 | 148.5 (6) | 1027.14 (9) | 1069.29 (3) | 324.6 (17) | 3.55 (5) | 555.78 (13) | 143.51 (5) | 9.37 (5) | 48.51 (5) |
| CSG | 6 | 89.5 (6) | 23.18 (6) | 16.29 (6) | 69.89 (6) | 82.11 (6) | 33.3 (6) | 604.53 (5) | 90.79 (4) | 440.55 (4) |
| maxcut | 14 | 144.45 (1) | 469.31 (1) | 1206.39 (8) | 168.19 (1) | 438.31 (1) | 861.99 (1) | 357.69 (1) | 395.39 (1) | 601.56 (1) |
| metro | 20 | 197.72 (20) | 36.35 (20) | 129.19 (19) | 83.44 (20) | 64.7 (20) | 87.29 (20) | 209.78 (20) | 47.33 (20) | 306.87 (20) |
| set-covering | 17 | 121.73 (15) | 16.76 (10) | 6.66 (16) | 0.0 (0) | 642.27 (9) | 0.0 (0) | 571.41 (7) | 348.99 (15) | 99.44 (5) |
| BTBNSL | 19 | 381.52 (5) | 271.35 (7) | 294.84 (13) | 357.34 (9) | 208.93 (5) | 134.17 (8) | 133.37 (3) | 151.13 (2) | 145.44 (3) |
| drmx-atmostk | 11 | 9.51 (11) | 6.33 (11) | 290.29 (3) | 1.0 (11) | 164.6 (10) | 1.39 (11) | 598.8 (6) | 428.14 (6) | 343.94 (6) |
| ramsey | 14 | 603.27 (1) | 77.21 (3) | 1201.52 (3) | 528.55 (3) | 674.05 (3) | 88.27 (3) | 2080.39 (2) | 137.43 (1) | 140.73 (1) |
| staff-scheduling | 11 | 0.0 (0) | 1333.9 (1) | 0.0 (0) | 2166.34 (2) | 2212.42 (1) | 1185.65 (1) | 3410.02 (1) | 994.38 (1) | 1483.4 (1) |
| upgradeability | 14 | 5.09 (14) | 1.18 (14) | 1.09 (14) | 123.53 (11) | 0.84 (14) | 68.68 (11) | 11.88 (14) | 1.87 (14) | 4.37 (14) |
| auctions | 16 | 364.55 (13) | 167.68 (16) | 0.21 (16) | 201.29 (12) | 65.1 (16) | 44.12 (16) | 57.97 (9) | 50.44 (9) | 78.71 (9) |
| af-synthesis | 13 | 1583.07 (8) | 2249.37 (6) | 1616.87 (3) | 1718.3 (10) | 2533.79 (5) | 840.23 (13) | 1804.83 (6) | 1576.95 (7) | 1567.18 (8) |
| planning | 21 | 0.28 (21) | 0.08 (21) | 0.24 (21) | 0.0 (0) | 0.05 (21) | 0.0 (0) | 0.04 (21) | 0.34 (21) | 0.19 (21) |
| preference_planning | 6 | 72.76 (5) | 41.23 (6) | 176.08 (6) | 38.78 (6) | 68.04 (6) | 29.19 (6) | 42.85 (6) | 51.91 (6) | 53.72 (6) |
| shiftdesign | 11 | 410.78 (10) | 440.86 (11) | 895.18 (5) | 325.46 (11) | 725.35 (11) | 989.4 (9) | 399.26 (10) | 567.75 (10) | 1020.36 (8) |
| causal-discovery | 19 | 1018.29 (16) | 219.3 (16) | 151.77 (16) | 719.43 (16) | 301.97 (15) | 565.25 (16) | 149.21 (8) | 177.34 (8) | 382.82 (8) |
| correlation-clustering | 13 | 219.22 (7) | 126.09 (6) | 314.66 (12) | 1636.86 (1) | 67.95 (5) | 0.0 (0) | 595.6 (3) | 387.1 (3) | 50.12 (2) |
| rna-alignment | 16 | 7.25 (16) | 13.09 (16) | 306.17 (10) | 64.91 (16) | 75.4 (10) | 45.65 (16) | 93.96 (10) | 208.79 (10) | 120.17 (10) |
| mpe | 16 | 385.43 (14) | 295.45 (5) | 410.31 (14) | 244.91 (15) | 41.47 (2) | 163.23 (15) | 13.65 (8) | 104.86 (6) | 101.77 (7) |
| max-realizability | 21 | 566.85 (16) | 226.65 (15) | 259.4 (15) | 331.77 (15) | 114.26 (13) | 357.46 (14) | 451.74 (15) | 116.2 (14) | 149.85 (16) |
| timetabling | 16 | 363.66 (11) | 111.47 (12) | 462.97 (10) | 375.4 (9) | 159.07 (9) | 185.97 (9) | 411.8 (11) | 110.56 (12) | 304.91 (10) |
| min-width | 26 | 278.28 (4) | 67.95 (4) | 17.97 (2) | 583.52 (17) | 172.03 (4) | 602.15 (15) | 1086.15 (4) | 1208.45 (3) | 233.0 (2) |
| relational-inference | 8 | 1416.71 (5) | 461.58 (5) | 207.5 (8) | 0.0 (0) | 771.17 (7) | 0.0 (0) | 218.93 (6) | 589.41 (7) | 261.67 (5) |
| abstraction-refinement | 11 | 922.07 (11) | 474.47 (11) | 1110.41 (11) | 1532.9 (4) | 856.23 (11) | 2148.66 (3) | 154.86 (10) | 441.43 (10) | 2042.29 (7) |
| Total | 586 | 269.58 (380) | 186.33 (371) | 259.52 (357) | 321.78 (327) | 221.59 (325) | 309.23 (321) | 277.12 (317) | 191.96 (311) | 264.3 (306) |