QBF Solver Evaluation Portal
qbflib.orgdepqbf_prefix_opt_qdo results solving families - 2020
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| CombinationalEquivalence | 141 | 3 | 8 | 81724.5 |
| crafted_2020 | 132 | 0 | 88 | 41814.68 |
| Model_instances | 47 | 0 | 0 | 42300 |
| Selection-hard | 30 | 0 | 0 | 27000 |
| wgrowing | 36 | 1 | 0 | 28800.04 |