QBF Solver Evaluation Portal
qbflib.orgIprover-HQSpre-Bloqqer results solving families - 2018
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| amba | 19 | 17100.28 | ||
| arithmetic | 36 | 6 | 8105.55 | |
| cycle-sched | 34 | 1 | 26103.96 | |
| disjunctive_decomposition | 40 | 4 | 19800.58 | |
| driver | 34 | 6 | 33.65 | |
| genbuf | 5 | 4500 | ||
| HardwareFixpoint | 300 | 15 | 28 | 103277.86 |
| hwmcc | 26 | 1 | 17865.64 | |
| irqlkeapclte | 266 | 239412 | ||
| ltl2aig-comp | 5 | 4500.05 | ||
| LTL2DBA | 12 | 2 | 6 | |
| LTL2DPA | 7 | 1 | 11.9 | |
| Model_instances | 47 | 42301.7 | ||
| mult-matrix | 29 | 5 | 61.62 | |
| Q_2_3 | 98 | 1 | 83704.23 | |
| RankingFunctions | 66 | 31 | 13.36 | |
| Reduction-finding | 225 | 202510.42 | ||
| Selection-hard | 42 | 1 | 32409.68 | |
| sketch | 47 | 42302.13 | ||
| Sorting_networks | 175 | 155362.98 | ||
| terminator | 217 | 4 | 26 | 61374.18 |
| toy | 30 | 5 | 44.09 | |
| wgrowing | 12 | 1 | 9002.98 | |
| wmiforward | 74 | 10 | 6310.24 |