Solver | #Ins. | pwbo2.1 | WPM1 | wbo1.6 | Sat4j | ShinMaxSat | WMaxSatz+ | WMaxSatz09 | akmaxsat | akmaxsat_ls | iut_rr_ls |
---|---|---|---|---|---|---|---|---|---|---|---|
dustrial/haplotyping-pedigrees | 100 | 84% | 76% | 54% | 20% | 11% | 0% | 0% | 0% | 0% | 0% |
timetabling | 26 | 15% | 23% | 7% | 0% | 0% | 0% | 0% | 0% | 0% | 0% |
ustrial/upgradeability-problem | 100 | 100% | 100% | 100% | 33% | 0% | 0% | 0% | 0% | 0% | 0% |