QBF Solver Evaluation Portal
qbflib.orgDiscrepancies table
QBFEVAL'16 - Random QBFs Track.
| Family | Structure | Domain | # Problematic |
|---|---|---|---|
| ASP_Program_Inclusion | Probabilistic | Miscellanea | 1 |
| Model_instances | Probabilistic | ART Model | 4 |
| Q_2_3 | Probabilistic | Chen-Interian | 9 |
| RobotsD4 | Probabilistic | Planning | 1 |
| RobotsD5 | Probabilistic | Planning | 1 |