QBF Solver Evaluation Portal
qbflib.orgiprover_hqspre results solving families - 2019
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| Balabanov_dqbf | 102 | 2 | 3 | 80322.18 |
| Bloem_dqbf | 207 | 29 | 2 | 120712.68 |
| Scholl_dqbf | 214 | 7 | 39 | 105850.76 |
| Tentrup_dqbf | 224 | 8 | 35 | 112883.57 |
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| Balabanov_dqbf | 102 | 2 | 3 | 80322.18 |
| Bloem_dqbf | 207 | 29 | 2 | 120712.68 |
| Scholl_dqbf | 214 | 7 | 39 | 105850.76 |
| Tentrup_dqbf | 224 | 8 | 35 | 112883.57 |