QBF Solver Evaluation Portal
qbflib.orgdCaqe results solving families - 2019
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| Balabanov_dqbf | 102 | 8 | 13 | 43246.98 |
| Bloem_dqbf | 207 | 32 | 2 | 115976.83 |
| Scholl_dqbf | 214 | 17 | 48 | 62584.52 |
| Tentrup_dqbf | 224 | 9 | 67 | 37870.57 |
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| Balabanov_dqbf | 102 | 8 | 13 | 43246.98 |
| Bloem_dqbf | 207 | 32 | 2 | 115976.83 |
| Scholl_dqbf | 214 | 17 | 48 | 62584.52 |
| Tentrup_dqbf | 224 | 9 | 67 | 37870.57 |