QBF Solver Evaluation Portal
qbflib.orgDiscrepancies table
QBFEVAL'10 - Small Hard Track.
| Family | Structure | Domain | # Problematic |
|---|---|---|---|
| Abduction | Fixed | Miscellanea | 1 |
| jmc_quant | Fixed | Formal Verification | 2 |
| jmc_quant_squaring | Fixed | Formal Verification | 1 |