| Solver | #Ins. | optimax-it | SAT4Jms-int-i | SAT4Jms-ext-i |
|---|
| frb | 25 | 21.72(24) | 0.00(0) | 0.00(0) |
| job-shop | 3 | 45.85(3) | 38.13(2) | 21.99(1) |
| maxclicque/random | 96 | 42.52(95) | 5.89(58) | 11.15(59) |
| maxclicque/structured | 62 | 16.68(61) | 2.40(14) | 4.14(14) |
| maxone/3sat | 80 | 51.49(60) | 28.55(33) | 21.09(32) |
| maxone/structured | 60 | 3.37(54) | 2.67(60) | 2.98(60) |
| min-enc/kbtree | 42 | 23.51(42) | 0.00(0) | 0.00(0) |
| pseudo/miplib | 4 | 7.37(4) | 1.29(3) | 1.36(3) |
| scheduling | 5 | 35.74(3) | 0.00(0) | 0.00(0) |
|
| Total | 377 | 346 | 170 | 169 |