QBF Solver Evaluation Portal
qbflib.orghqs results solving families - 2019
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| Balabanov_dqbf | 102 | 9 | 10 | 49454.13 |
| Bloem_dqbf | 207 | 34 | 2 | 19608.02 |
| Scholl_dqbf | 214 | 22 | 62 | 22257.59 |
| Tentrup_dqbf | 224 | 13 | 65 | 29068.2 |
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| Balabanov_dqbf | 102 | 9 | 10 | 49454.13 |
| Bloem_dqbf | 207 | 34 | 2 | 19608.02 |
| Scholl_dqbf | 214 | 22 | 62 | 22257.59 |
| Tentrup_dqbf | 224 | 13 | 65 | 29068.2 |