| Solver | #Ins. | dsat-wpm3-in-pms | WPM3-2015-in | dsat-wpm3-s-in-pms | Optiriss6-in | Dist | CCEHC | Dist-r | CCLS | Ramp | Naps-1.02-ms | SsMonteCarlo | HS-Greedy |
|---|
| aes-key-recovery | 76 | 20.07(73) | 14.32(57) | 17.75(61) | 15.62(72) | 53.06(8) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
| causal-discovery | 81 | 19.51(72) | 23.31(76) | 19.57(53) | 43.15(61) | 0.00(0) | 97.98(6) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
| fault-diagnosis | 100 | 31.26(93) | 18.85(88) | 35.12(79) | 17.57(86) | 24.23(49) | 47.48(40) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.77(2) |
| frb | 25 | 63.34(7) | 23.49(5) | 41.72(5) | 28.86(21) | 20.10(20) | 16.87(25) | 49.34(17) | 5.68(23) | 14.30(24) | 26.78(20) | 89.97(3) | 0.00(0) |
| job-shop | 3 | 52.86(3) | 46.95(3) | 52.34(3) | 48.12(3) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
| maxclicque/random | 96 | 12.83(92) | 13.71(93) | 9.09(87) | 33.70(59) | 0.45(96) | 0.75(96) | 0.28(96) | 0.46(96) | 0.16(96) | 12.76(70) | 2.06(96) | 0.17(44) |
| maxclicque/structured | 62 | 39.64(37) | 3.75(25) | 28.65(38) | 40.50(19) | 7.63(53) | 4.00(55) | 8.40(51) | 10.76(50) | 15.19(53) | 7.86(19) | 12.16(20) | 5.94(28) |
| maxone/3sat | 80 | 9.92(80) | 3.76(80) | 4.00(79) | 47.02(72) | 0.84(80) | 1.86(79) | 2.65(80) | 0.73(77) | 4.32(75) | 46.46(64) | 14.59(74) | 0.57(12) |
| maxone/structured | 60 | 10.60(60) | 2.34(60) | 6.33(59) | 21.82(58) | 8.46(55) | 7.99(45) | 17.43(54) | 5.39(3) | 0.02(1) | 1.63(55) | 31.22(9) | 6.54(12) |
| min-enc/kbtree | 42 | 31.52(21) | 19.30(7) | 45.85(25) | 24.56(6) | 4.22(42) | 4.88(42) | 8.39(40) | 7.36(41) | 34.03(25) | 152.85(3) | 199.42(2) | 0.00(0) |
| pseudo/miplib | 4 | 8.31(4) | 0.39(4) | 0.29(4) | 10.70(4) | 0.28(4) | 0.61(4) | 0.14(4) | 70.38(4) | 0.06(3) | 1.68(4) | 0.65(3) | 0.00(0) |
| reversi | 44 | 14.19(33) | 7.94(39) | 9.39(28) | 7.92(38) | 34.52(15) | 17.41(9) | 3.95(6) | 127.27(2) | 123.32(9) | 0.10(5) | 45.69(1) | 48.28(5) |
| scheduling | 5 | 151.69(1) | 176.43(3) | 147.51(1) | 224.25(1) | 182.91(2) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
|
| Total | 678 | 576 | 540 | 522 | 500 | 424 | 401 | 348 | 296 | 286 | 240 | 208 | 103 |