| Solver | #Ins. | WPM3-2015-in | optiriss-def-i | Dist2 | DistUP | Dist1 | CCEHC | ILP-2015-in | optiriss-sel-i | CCLS2015 |
|---|
| aes-key-recovery | 76 | 13.55(57) | 13.67(71) | 0.00(0) | 56.17(3) | 188.09(2) | 0.00(0) | 57.72(2) | 18.81(72) | 0.00(0) |
| causal-discovery | 81 | 58.36(80) | 32.30(60) | 0.00(0) | 0.00(0) | 0.00(0) | 137.16(5) | 0.00(0) | 57.97(41) | 0.00(0) |
| fault-diagnosis | 100 | 43.85(96) | 17.80(85) | 34.31(48) | 15.00(46) | 27.76(49) | 41.43(40) | 2.85(50) | 13.22(76) | 0.00(0) |
| frb | 25 | 23.56(5) | 27.47(22) | 46.56(20) | 26.79(13) | 26.97(13) | 14.17(24) | 59.21(10) | 0.00(0) | 20.78(25) |
| job-shop | 3 | 48.91(3) | 43.37(3) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 47.03(3) | 0.00(0) |
| maxclicque/random | 96 | 62.47(94) | 30.74(59) | 0.28(96) | 0.30(96) | 0.72(96) | 0.72(96) | 26.28(96) | 39.50(13) | 0.48(96) |
| maxclicque/structured | 62 | 63.76(31) | 31.82(22) | 7.20(59) | 14.63(54) | 12.98(54) | 8.68(53) | 50.52(32) | 2.32(17) | 8.62(50) |
| maxone/3sat | 80 | 3.71(80) | 42.29(69) | 2.00(80) | 0.96(80) | 0.61(79) | 1.82(79) | 2.71(80) | 18.96(27) | 1.66(77) |
| maxone/structured | 60 | 2.26(60) | 23.56(58) | 20.76(55) | 13.83(52) | 10.23(51) | 5.22(45) | 36.55(58) | 35.06(15) | 25.54(3) |
| min-enc/kbtree | 42 | 53.74(7) | 49.59(6) | 5.05(42) | 7.34(41) | 14.10(42) | 9.16(42) | 30.48(42) | 211.89(2) | 4.73(41) |
| pseudo/miplib | 4 | 0.46(4) | 11.08(4) | 0.23(4) | 0.26(4) | 0.19(4) | 0.81(4) | 21.35(4) | 0.76(3) | 0.45(4) |
| reversi | 44 | 50.57(39) | 9.50(35) | 50.10(14) | 26.47(14) | 26.12(10) | 54.89(11) | 21.48(15) | 8.65(34) | 152.32(1) |
| scheduling | 5 | 224.26(2) | 0.00(0) | 94.75(1) | 0.00(0) | 159.94(2) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
|
| Total | 678 | 558 | 494 | 419 | 403 | 402 | 399 | 389 | 303 | 297 |