QBF Solver Evaluation Portal
qbflib.orgiprover_dqbf18 results solving families - 2018
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| Balabanov_dqbf | 102 | 8 | 9 | 48315.21 |
| Bloem_dqbf | 147 | 22 | 4 | 81263.33 |
| Scholl_dqbf | 183 | 2 | 30 | 108062.03 |
| Tentrup_dqbf | 227 | 8 | 22 | 153897.81 |
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| Balabanov_dqbf | 102 | 8 | 9 | 48315.21 |
| Bloem_dqbf | 147 | 22 | 4 | 81263.33 |
| Scholl_dqbf | 183 | 2 | 30 | 108062.03 |
| Tentrup_dqbf | 227 | 8 | 22 | 153897.81 |