QBF Solver Evaluation Portal
qbflib.orgiprover_bloqqer_schedule results solving families - 2020
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| CombinationalEquivalence | 141 | 126900 | ||
| crafted_2020 | 132 | 132 | 192.7 | |
| Model_instances | 47 | 42300 | ||
| Selection-hard | 30 | 1 | 26220.84 | |
| wgrowing | 36 | 1 | 31875.32 |