QBF Solver Evaluation Portal
qbflib.orgQute_default results solving families - 2020
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| CombinationalEquivalence | 141 | 1 | 120606.09 | |
| crafted_2020 | 132 | 122 | 9436.42 | |
| Model_instances | 47 | 1 | 4 | 10617.94 |
| Selection-hard | 30 | 4 | 7263.48 | |
| wgrowing | 36 | 8 | 9634.6 |