| Solver | #Ins. | Sat4j-i | ubcsat-irots |
|---|---|---|---|
| aes | 7 | 5% | 1% |
| bcp-fir | 59 | 57% | 6% |
| bcp-hipp-yRa1/simp | 17 | 17% | 5% |
| bcp-hipp-yRa1/su | 38 | 38% | 0% |
| bcp-msp | 64 | 40% | 17% |
| bcp-mtg | 40 | 40% | 0% |
| bcp-syn | 74 | 12% | 68% |
| trial/circuit-trace-compaction | 4 | 0% | 0% |
| haplotype-assembly | 6 | 6% | 0% |
| pbo-mqc/nencdr | 84 | 68% | 6% |
| pbo-mqc/nlogencdr | 84 | 68% | 6% |
| pbo-routing | 15 | 15% | 0% |
| protein_ins | 12 | 1% | 11% |