QBF Solver Evaluation Portal
qbflib.orgDiscrepancies table
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.
| Family | Structure | Domain | # Problematic |
|---|---|---|---|
| k_branch_p | Fixed | Miscellanea | 1 |
| k_grz_p | Fixed | Miscellanea | 6 |
| k_lin_p | Fixed | Miscellanea | 1 |
| k_path_p | Fixed | Miscellanea | 6 |
| k_ph_p | Fixed | Miscellanea | 1 |