| Solver | #Ins. | Dist | WPM-2014-in | CCLS2014 | optimax2-rn-i | CCMPA | SAT4J-ms-inc | optimax2-r-i | antom_inc |
|---|
| frb | 25 | 51.56(18) | 23.43(17) | 14.53(25) | 40.64(15) | 38.60(24) | 0.00(0) | 39.98(22) | 0.00(0) |
| job-shop | 3 | 0.00(0) | 27.98(3) | 0.00(0) | 85.10(2) | 0.00(0) | 27.55(1) | 24.02(2) | 48.79(3) |
| maxclicque/random | 96 | 0.25(96) | 55.75(83) | 0.43(96) | 17.79(80) | 0.07(96) | 4.05(60) | 0.13(3) | 0.03(10) |
| maxclicque/structured | 62 | 13.65(56) | 88.85(29) | 12.41(51) | 19.80(28) | 27.96(52) | 2.27(14) | 0.09(17) | 0.33(11) |
| maxone/3sat | 80 | 3.23(80) | 31.60(64) | 1.96(78) | 57.39(60) | 1.39(74) | 10.19(30) | 0.09(9) | 0.08(4) |
| maxone/structured | 60 | 7.23(50) | 6.19(60) | 50.55(3) | 2.48(59) | 0.10(1) | 2.65(60) | 1.41(14) | 0.44(29) |
| min-enc/kbtree | 42 | 10.29(42) | 145.42(5) | 4.38(41) | 0.00(0) | 78.39(26) | 0.00(0) | 261.18(1) | 0.00(0) |
| pseudo/miplib | 4 | 0.22(4) | 0.31(4) | 0.40(4) | 0.23(4) | 60.33(4) | 0.97(3) | 0.09(3) | 5.37(4) |
| reversi | 44 | 2.40(8) | 32.50(36) | 145.28(1) | 51.65(44) | 92.09(4) | 64.50(32) | 23.41(29) | 7.78(31) |
| scheduling | 5 | 0.00(0) | 0.00(0) | 0.00(0) | 199.37(3) | 0.00(0) | 0.00(0) | 0.00(0) | 17.34(2) |
|
| Total | 421 | 354 | 301 | 299 | 295 | 281 | 200 | 100 | 94 |