QBF Solver Evaluation Portal
qbflib.orgiprover_hqspre_schedule results solving families - 2020
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| (D)-QBF_Autarkies | 50 | 50 | 818.11 | |
| Balabanov_dqbf | 102 | 3 | 3 | 77877.72 |
| Bloem_dqbf | 192 | 28 | 2 | 115492.18 |
| Scholl_dqbf | 187 | 8 | 38 | 85701.94 |
| Tentrup_dqbf | 198 | 3 | 35 | 100115.5 |