QBF Solver Evaluation Portal
qbflib.orgDiscrepancies table
QBFEVAL'07 - Evaluation track on non-prenex non-cnf formulas.
| Family | Structure | Domain | # Problematic |
|---|---|---|---|
| NuSMV_diam | Fixed | Formal Verification | 4 |