| Benchmark | #Ins. | RC2-B | RC2-A | MaxHS | Pacose | QMaxSAT | maxino | Open-WBO-Gluc | Open-WBO-Riss | LMHS |
|---|---|---|---|---|---|---|---|---|---|---|
| css-refactoring | 11 | 22.82 (11) | 16.65 (11) | 129.2 (5) | 75.66 (10) | 372.89 (9) | 10.4 (10) | 20.28 (10) | 16.8 (10) | 19.64 (2) |
| power-distribution-full | 20 | 18.78 (20) | 18.02 (20) | 70.3 (20) | 42.25 (20) | 9.85 (20) | 15.93 (20) | 13.18 (20) | 22.52 (20) | 188.17 (19) |
| power-distribution-sparse | 20 | 153.8 (18) | 88.34 (18) | 44.17 (18) | 226.39 (18) | 81.66 (18) | 40.71 (17) | 254.91 (18) | 111.42 (17) | 54.21 (18) |
| robot-navigation | 3 | 0.0 (0) | 0.0 (0) | 2556.05 (1) | 3418.1 (1) | 1521.67 (1) | 0.0 (0) | 0.0 (0) | 0.0 (0) | 0.0 (0) |
| tcp | 40 | 150.8 (34) | 316.64 (38) | 653.88 (26) | 243.69 (38) | 164.01 (37) | 111.04 (34) | 217.81 (39) | 359.88 (39) | 727.58 (15) |
| drmx-atmostk | 20 | 21.01 (20) | 25.37 (20) | 726.35 (6) | 1.38 (20) | 0.91 (20) | 331.66 (19) | 567.71 (14) | 517.28 (11) | 467.96 (6) |
| drmx-cryptogen | 20 | 366.77 (20) | 372.44 (20) | 45.35 (20) | 0.0 (0) | 0.0 (0) | 0.0 (0) | 216.03 (20) | 679.52 (20) | 0.0 (0) |
| cluster-expansion | 20 | 0.0 (0) | 0.0 (0) | 0.0 (0) | 0.0 (0) | 0.0 (0) | 0.0 (0) | 0.0 (0) | 0.0 (0) | 0.0 (0) |
| auc-paths | 15 | 316.37 (15) | 582.6 (14) | 0.08 (15) | 84.1 (15) | 719.17 (12) | 68.61 (15) | 129.03 (15) | 6.8 (13) | 0.07 (15) |
| af-synthesis | 25 | 1892.46 (15) | 1789.94 (17) | 2104.39 (5) | 528.01 (25) | 1655.43 (21) | 2630.06 (12) | 2137.88 (12) | 3122.82 (2) | 3386.1 (1) |
| haplotyping-pedigrees | 25 | 22.74 (25) | 16.49 (25) | 170.09 (22) | 414.33 (22) | 93.05 (25) | 6.67 (25) | 15.05 (23) | 146.93 (24) | 152.36 (15) |
| rna-alignment | 25 | 5.26 (25) | 5.24 (25) | 100.32 (18) | 33.06 (25) | 46.5 (25) | 12.47 (18) | 27.54 (18) | 56.11 (18) | 833.2 (8) |
| maxcut | 20 | 768.48 (3) | 810.63 (3) | 331.05 (12) | 357.38 (3) | 367.58 (4) | 207.55 (2) | 1256.28 (3) | 930.89 (2) | 21.86 (9) |
| csg | 10 | 53.47 (10) | 302.51 (10) | 11.78 (10) | 32.69 (10) | 41.37 (10) | 47.0 (10) | 335.36 (9) | 35.15 (8) | 11.25 (10) |
| hs-timetabling | 13 | 2161.0 (2) | 2329.75 (2) | 476.01 (1) | 1452.2 (1) | 874.7 (1) | 805.98 (1) | 762.65 (1) | 1613.22 (2) | 1900.63 (2) |
| lisbon-wedding | 20 | 384.39 (8) | 69.04 (7) | 0.0 (0) | 2939.54 (1) | 0.0 (0) | 411.99 (7) | 973.83 (6) | 782.68 (8) | 0.0 (0) |
| metro | 15 | 187.34 (15) | 137.17 (15) | 217.37 (15) | 65.82 (15) | 72.7 (15) | 31.92 (15) | 142.79 (15) | 215.94 (15) | 685.12 (12) |
| miplib | 10 | 20.72 (5) | 17.78 (5) | 148.58 (5) | 118.38 (5) | 20.04 (5) | 80.75 (5) | 62.27 (5) | 47.57 (5) | 5.2 (3) |
| railway-transport | 5 | 612.12 (2) | 621.31 (1) | 213.4 (1) | 485.84 (2) | 482.14 (2) | 212.96 (1) | 1408.01 (1) | 961.52 (1) | 297.51 (1) |
| shiftdesign | 15 | 255.99 (15) | 126.88 (15) | 819.58 (8) | 721.94 (13) | 221.61 (15) | 188.7 (15) | 321.96 (15) | 449.39 (15) | 1141.36 (6) |
| spot5 | 25 | 15.88 (16) | 0.67 (15) | 168.57 (11) | 440.66 (22) | 178.99 (25) | 1.31 (15) | 13.19 (15) | 169.97 (13) | 284.66 (7) |
| staff-scheduling | 10 | 0.0 (0) | 0.0 (0) | 0.0 (0) | 1562.06 (1) | 2186.32 (2) | 2043.09 (1) | 3587.35 (1) | 0.0 (0) | 0.0 (0) |
| timetabling | 20 | 380.07 (20) | 355.58 (20) | 197.94 (19) | 616.0 (20) | 444.74 (20) | 546.83 (20) | 437.86 (20) | 1166.62 (4) | 203.7 (18) |
| warehouses | 10 | 18.56 (10) | 536.05 (10) | 0.53 (10) | 1153.16 (5) | 1765.58 (5) | 14.72 (1) | 1783.15 (2) | 73.14 (1) | 1.07 (10) |
| BTBNSL | 25 | 23.58 (5) | 0.11 (1) | 614.81 (18) | 134.39 (9) | 151.88 (9) | 193.22 (6) | 89.01 (5) | 133.34 (5) | 692.26 (8) |
| causal-discovery | 25 | 1082.67 (14) | 1188.88 (12) | 466.06 (15) | 647.67 (19) | 477.5 (17) | 664.03 (18) | 836.8 (6) | 540.64 (6) | 928.27 (15) |
| correlation-clustering | 25 | 34.06 (5) | 63.4 (4) | 512.41 (19) | 2089.09 (2) | 1828.25 (3) | 76.7 (5) | 2528.22 (3) | 2037.48 (3) | 382.79 (21) |
| min-width | 20 | 0.56 (3) | 0.22 (3) | 0.26 (3) | 116.46 (5) | 79.68 (5) | 3.95 (4) | 12.2 (4) | 30.9 (4) | 0.46 (3) |
| relational-inference | 8 | 1405.76 (5) | 822.38 (5) | 151.73 (7) | 0.0 (0) | 0.0 (0) | 776.28 (7) | 211.77 (6) | 1399.55 (6) | 246.09 (6) |
| abstraction-refinement | 10 | 846.97 (10) | 328.24 (10) | 1022.04 (10) | 2034.51 (3) | 1659.39 (4) | 857.43 (10) | 154.11 (9) | 481.26 (10) | 2118.07 (6) |
| frb | 20 | 16.01 (20) | 11.65 (20) | 166.65 (20) | 63.23 (20) | 36.01 (20) | 39.22 (10) | 51.6 (6) | 1092.42 (6) | 433.66 (14) |
| dalculus | 25 | 0.43 (25) | 0.33 (25) | 1.4 (25) | 284.79 (22) | 2.73 (20) | 0.07 (25) | 0.1 (25) | 0.11 (25) | 1.86 (25) |
| mancoosi | 25 | 5.64 (25) | 5.63 (25) | 2.24 (25) | 796.58 (18) | 465.14 (11) | 0.57 (25) | 1.17 (25) | 10.21 (25) | 1.19 (25) |
| Total | 600 | 256.02 (421) | 267.55 (416) | 274.87 (390) | 348.98 (390) | 320.78 (381) | 250.98 (373) | 292.56 (371) | 315.47 (338) | 345.49 (300) |