QBF Solver Evaluation Portal
qbflib.orgSolver performances for family instances
QBFEVAL'18 - Prenex 2QBF Track
| Family | Overall | Time | Reference solver | |||
|---|---|---|---|---|---|---|
| N | # | S | U | |||
| amba | 3 | 3 | 3 | 0 | 4.48 | Qute_random |
| arithmetic | 8 | 8 | 8 | 0 | 61.51 | predyndep |
| cycle-sched | 6 | 6 | 6 | 0 | 50.41 | Caqe-bloqqer |
| disjunctive_decomposition | 9 | 8 | 7 | 1 | 1.97 | Caqe-bloqqer |
| driver | 6 | 6 | 6 | 0 | 0 | aspq2v3 |
| genbuf | 1 | 1 | 1 | 0 | 7.74 | Qute_default |
| HardwareFixpoint | 71 | 63 | 17 | 46 | 2567.95 | CADET_2017 |
| hwmcc | 6 | 2 | 2 | 0 | 256.49 | PortfolioDepQBFGhostQRaReQSQute___pf |
| irqlkeapclte | 45 | 45 | 45 | 0 | 181.34 | CADET_2017 |
| ltl2aig-comp | 1 | 1 | 1 | 0 | 3.63 | Qute_random |
| LTL2DBA | 2 | 2 | 2 | 0 | 0 | aspq2v3 |
| LTL2DPA | 1 | 1 | 1 | 0 | 1.13 | aspq2v3 |
| Model_instances | 6 | 5 | 1 | 4 | 59.81 | PortfolioDepQBFGhostQRaReQSQute___pf |
| mult-matrix | 5 | 5 | 5 | 0 | 11.5 | Iprover-HQSpre-Bloqqer |
| Q_2_3 | 20 | 18 | 0 | 18 | 987.97 | PortfolioDepQBFGhostQRaReQSQute___pf |
| RankingFunctions | 31 | 31 | 31 | 0 | 0 | CADET_2017 |
| Reduction-finding | 70 | 67 | 42 | 25 | 4408.34 | GhostQ-PG_cegar |
| Selection-hard | 8 | 7 | 7 | 0 | 503.72 | aspq2v3 |
| sketch | 10 | 6 | 0 | 6 | 1310.59 | Rareqs_2018 |
| Sorting_networks | 25 | 25 | 25 | 0 | 571.16 | Qute_random |
| terminator | 46 | 46 | 6 | 40 | 2515.17 | CADET_2017 |
| toy | 5 | 5 | 5 | 0 | 6.92 | Iprover-HQSpre-Bloqqer |
| wgrowing | 6 | 6 | 6 | 0 | 498.51 | aspq2v3 |
| wmiforward | 11 | 11 | 11 | 0 | 0.51 | CADET_2017 |