QBF Solver Evaluation Portal
qbflib.orgRareqs_2018 results solving families - 2020
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| CombinationalEquivalence | 141 | 0 | 10 | 62014.19 |
| crafted_2020 | 132 | 0 | 114 | 16209.39 |
| Model_instances | 47 | 2 | 3 | 9810.88 |
| Selection-hard | 30 | 2 | 0 | 17201.4 |
| wgrowing | 36 | 4 | 0 | 20980.08 |