QBF Solver Evaluation Portal
qbflib.orgDiscrepancies table
QBFEVAL'07 - Evaluation of Suite Audemard as hors concours formulas.
| Family | Structure | Domain | # Problematic |
|---|---|---|---|
| Abduction | Fixed | Miscellanea | 9 |