QBF Solver Evaluation Portal
qbflib.orgSolver performances for family instances
Crafted Instances Track
| Family | Overall | Time | Reference solver | |||
|---|---|---|---|---|---|---|
| N | # | S | U | |||
| CombinationalEquivalence | 20 | 20 | 10 | 10 | 1201.78 | GhostQ___cegar_pcnf_2019 |
| crafted_2020 | 132 | 132 | 0 | 132 | 187.97 | Caqe-bloqqer-qdo |
| Model_instances | 6 | 5 | 1 | 4 | 387.95 | Qute_rrs |
| Selection-hard | 5 | 5 | 5 | 0 | 294.64 | Caqe-hqspre |
| wgrowing | 9 | 8 | 8 | 0 | 867.45 | Caqe-bloqqer-qdo |