| Solver | #Ins. | ubcsat-irots | Sat4j-i |
|---|---|---|---|
| auctions/auc-paths | 86 | 86% | 21% |
| rafted/auctions/auc-scheduling | 84 | 84% | 76% |
| min-enc/planning | 56 | 5% | 56% |
| min-enc/warehouses | 18 | 1% | 18% |
| pseudo/miplib | 12 | 2% | 10% |
| random-net | 74 | 40% | 34% |
| wcsp/spot5/dir | 21 | 21% | 3% |
| wcsp/spot5/log | 21 | 21% | 3% |