QBF Solver Evaluation Portal
qbflib.orgSolver performances for family instances
QBFEVAL'17 - Prenex 2QBF Track
| Family | Overall | Time | Reference solver | |||
|---|---|---|---|---|---|---|
| N | # | S | U | |||
| amba | 4 | 2 | 2 | 0 | 160.66 | xb-qsts_bqsts2.0 |
| arithmetic | 5 | 5 | 5 | 0 | 75.86 | DynQBF-bloqqer-variant |
| cycle-sched | 4 | 4 | 4 | 0 | 22.59 | caqe_2017_v1 |
| disjunctive_decomposition | 5 | 4 | 4 | 0 | 0.2 | rareqs |
| driver | 4 | 4 | 4 | 0 | 0.37 | caqe_2017_v1 |
| genbuf | 4 | 0 | 0 | 0 | - | - |
| HardwareFixpoint | 86 | 72 | 29 | 43 | 2451.74 | CADET_2017 |
| hwmcc | 4 | 4 | 4 | 0 | 403.21 | qbfrelay |
| irqlkeapclte | 35 | 35 | 35 | 0 | 140.18 | CADET_2017 |
| ltl2aig-comp | 4 | 1 | 1 | 0 | 10.45 | rareqs |
| LTL2DBA | 4 | 1 | 1 | 0 | 0.43 | qesto |
| mult-matrix | 4 | 3 | 3 | 0 | 4.22 | caqe_2017_v1 |
| RankingFunctions | 37 | 37 | 37 | 0 | 3.52 | CADET_2017 |
| Reduction-finding | 82 | 68 | 40 | 28 | 3653.42 | GhostQ-PG_cegar |
| Selection-hard | 10 | 7 | 7 | 0 | 480.49 | ASPQ2 |
| sketch | 9 | 7 | 0 | 7 | 1946.59 | caqe_2017_v2 |
| Sorting_networks | 26 | 22 | 7 | 15 | 469.9 | xb-qsts_bqsts2.0 |
| terminator | 39 | 39 | 5 | 34 | 2174.52 | CADET_2017 |
| toy | 4 | 4 | 4 | 0 | 17.58 | DynQBF-bloqqer-hqspre-it |
| wgrowing | 10 | 6 | 6 | 0 | 492.89 | ASPQ2 |
| wmiforward | 4 | 4 | 4 | 0 | 0.12 | CADET_2017 |