| Solver | #Ins. | optimax-it | SAT4Jms-int-i | SAT4Jms-ext-i |
|---|
| frb | 25 | 96% | 0% | 0% |
| job-shop | 3 | 100% | 66% | 33% |
| maxclicque/random | 96 | 98% | 60% | 61% |
| maxclicque/structured | 62 | 98% | 22% | 22% |
| maxone/3sat | 80 | 75% | 41% | 40% |
| maxone/structured | 60 | 90% | 100% | 100% |
| min-enc/kbtree | 42 | 100% | 0% | 0% |
| pseudo/miplib | 4 | 100% | 75% | 75% |
| scheduling | 5 | 60% | 0% | 0% |
|