Solver | #Ins. | pwbo2.0 | QMaxSat-g2 | QMaxSat | PM2 | ShinMaxSat | WPM1 | Sat4j | wbo1.6 | akmaxsat | akmaxsat_ls | WMaxSatz+ | WMaxSatz09 | iut_rr_rv | iut_rr_ls |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
aes | 7 | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 14% | 14% | 0% | 0% | 14% | 14% |
bcp-fir | 59 | 89% | 91% | 91% | 94% | 37% | 88% | 16% | 72% | 22% | 22% | 11% | 11% | 20% | 20% |
bcp-hipp-yRa1/simp | 17 | 88% | 94% | 88% | 88% | 94% | 76% | 64% | 58% | 29% | 29% | 29% | 29% | 29% | 29% |
bcp-hipp-yRa1/su | 38 | 71% | 86% | 76% | 65% | 81% | 44% | 21% | 26% | 0% | 0% | 0% | 0% | 0% | 0% |
bcp-msp | 64 | 40% | 39% | 40% | 28% | 32% | 9% | 18% | 4% | 34% | 35% | 15% | 15% | 18% | 18% |
bcp-mtg | 40 | 100% | 100% | 100% | 100% | 100% | 100% | 65% | 40% | 20% | 20% | 5% | 5% | 20% | 20% |
bcp-syn | 74 | 51% | 44% | 44% | 47% | 43% | 47% | 29% | 44% | 41% | 41% | 29% | 29% | 41% | 35% |
trial/circuit-trace-compaction | 4 | 100% | 100% | 100% | 75% | 50% | 50% | 75% | 0% | 0% | 0% | 0% | 0% | 0% | 0% |
haplotype-assembly | 6 | 83% | 0% | 50% | 83% | 0% | 16% | 0% | 83% | 0% | 0% | 0% | 0% | 0% | 0% |
pbo-mqc/nencdr | 84 | 98% | 100% | 91% | 67% | 88% | 21% | 86% | 23% | 0% | 0% | 20% | 20% | 0% | 0% |
pbo-mqc/nlogencdr | 84 | 100% | 100% | 91% | 88% | 89% | 42% | 94% | 32% | 3% | 0% | 63% | 61% | 0% | 0% |
pbo-routing | 15 | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 33% | 33% | 33% | 33% | 0% | 0% |
protein_ins | 12 | 16% | 75% | 16% | 16% | 8% | 8% | 16% | 8% | 41% | 33% | 8% | 8% | 16% | 8% |