| Solver | #Ins. | Open-WBO16 | Open-WBO15 | maxhs-b | mscg2015b | mscg2015a | maxino16-c10 | maxino16-dis | WPM3-2015-co | QMaxSAT16UC | Optiriss6 | LMHS-2016 | QMaxSAT14 | Naps-1.02-ms | ahms-1.70 | ahms-ls-1.70 | WMaxSatz+ | WMaxSatz09 | CCEHC2akms | CCLS2akms |
|---|
| aes-key-recovery | 76 | 122.47(73) | 142.28(73) | 89.38(64) | 112.26(71) | 64.02(69) | 76.91(74) | 79.89(73) | 67.24(60) | 16.35(40) | 20.64(73) | 179.39(51) | 398.33(16) | 426.94(6) | 0.42(3) | 25.98(3) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
| causal-discovery | 81 | 62.58(81) | 89.03(81) | 107.69(81) | 128.51(80) | 133.72(81) | 117.97(81) | 89.56(79) | 152.15(79) | 157.66(81) | 79.15(66) | 229.12(77) | 167.91(81) | 166.32(81) | 0.00(0) | 0.00(0) | 1289.49(1) | 1473.74(2) | 0.00(0) | 0.00(0) |
| fault-diagnosis | 100 | 55.73(89) | 77.66(90) | 95.05(57) | 68.76(96) | 26.57(90) | 59.60(92) | 71.40(91) | 45.11(88) | 46.37(88) | 60.58(90) | 33.79(51) | 29.55(88) | 3.00(50) | 92.86(43) | 283.58(40) | 17.17(24) | 18.45(24) | 12.12(3) | 0.00(0) |
| frb | 25 | 109.20(25) | 28.01(25) | 76.41(24) | 128.61(15) | 144.34(11) | 88.59(6) | 198.80(8) | 283.61(6) | 46.88(25) | 70.91(23) | 399.98(15) | 62.47(25) | 141.88(24) | 82.58(5) | 82.12(5) | 282.85(5) | 316.35(5) | 345.26(5) | 341.98(5) |
| job-shop | 3 | 67.41(3) | 45.41(3) | 34.42(3) | 43.61(3) | 40.57(3) | 54.52(3) | 47.53(3) | 50.54(3) | 25.75(3) | 44.20(3) | 257.43(3) | 16.81(3) | 24.26(3) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
| maxclicque/random | 96 | 11.82(96) | 16.40(96) | 36.33(96) | 105.65(86) | 114.09(85) | 106.55(83) | 84.72(83) | 108.88(86) | 92.16(80) | 149.21(70) | 25.98(96) | 91.22(80) | 79.03(77) | 0.97(96) | 0.92(96) | 2.29(96) | 2.17(96) | 4.60(96) | 4.24(96) |
| maxclicque/structured | 62 | 119.60(39) | 66.67(36) | 148.79(38) | 107.36(28) | 116.01(27) | 216.64(26) | 169.87(27) | 115.48(28) | 163.76(27) | 57.64(20) | 75.48(35) | 153.16(27) | 199.90(25) | 50.35(37) | 45.15(37) | 137.16(37) | 117.18(36) | 117.45(37) | 114.21(37) |
| maxone/3sat | 80 | 8.23(80) | 12.88(80) | 4.42(80) | 11.81(80) | 13.78(80) | 7.56(80) | 6.83(80) | 7.79(80) | 113.61(80) | 81.67(78) | 2.34(80) | 96.68(80) | 160.48(77) | 0.49(80) | 0.46(80) | 0.42(80) | 0.41(80) | 1.28(80) | 1.14(80) |
| maxone/structured | 60 | 3.58(60) | 25.95(59) | 49.76(60) | 3.78(60) | 3.73(60) | 2.15(60) | 1.90(60) | 3.64(60) | 4.38(60) | 42.51(59) | 8.07(60) | 4.20(60) | 10.12(60) | 352.39(30) | 382.46(31) | 93.47(58) | 85.98(58) | 388.01(15) | 382.41(15) |
| min-enc/kbtree | 42 | 216.26(9) | 317.80(11) | 256.34(42) | 25.91(6) | 21.99(6) | 199.72(6) | 210.52(5) | 195.62(7) | 205.71(6) | 25.16(6) | 539.68(8) | 72.61(6) | 320.83(6) | 546.16(32) | 552.83(32) | 647.50(11) | 651.43(11) | 355.56(6) | 231.23(6) |
| pseudo/miplib | 4 | 8.75(4) | 9.24(4) | 16.09(4) | 12.83(4) | 13.25(4) | 37.14(4) | 18.05(4) | 4.22(4) | 3.14(4) | 11.27(4) | 4.06(4) | 2.28(4) | 3.04(4) | 0.02(2) | 0.02(2) | 597.33(3) | 583.11(3) | 402.88(3) | 407.89(3) |
| reversi | 44 | 17.61(33) | 18.09(33) | 10.99(31) | 12.90(33) | 13.39(33) | 22.78(33) | 27.29(33) | 13.08(33) | 9.59(33) | 19.47(33) | 18.16(31) | 20.38(33) | 28.33(33) | 45.49(7) | 38.26(7) | 111.96(7) | 112.57(7) | 420.00(7) | 407.08(7) |
| scheduling | 5 | 575.27(1) | 320.25(1) | 0.00(0) | 468.66(1) | 142.75(1) | 201.20(1) | 382.80(1) | 176.89(1) | 1548.12(1) | 829.85(2) | 0.00(0) | 1148.36(1) | 715.58(1) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
|
| Total | 678 | 593 | 592 | 580 | 563 | 550 | 549 | 547 | 535 | 528 | 527 | 511 | 504 | 447 | 335 | 333 | 322 | 322 | 252 | 249 |