QBF Solver Evaluation Portal
qbflib.orgPortfolioDepQBFGhostQRaReQSQute___pf results solving families - 2018
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| amba | 19 | 1 | 12776.24 | |
| arithmetic | 36 | 4 | 16298.53 | |
| cycle-sched | 34 | 2 | 21840.03 | |
| disjunctive_decomposition | 40 | 2 | 1 | 25112.59 |
| driver | 34 | 5 | 6704.43 | |
| genbuf | 5 | 4500.15 | ||
| HardwareFixpoint | 300 | 15 | 31 | 95506.55 |
| hwmcc | 26 | 2 | 14370.36 | |
| irqlkeapclte | 266 | 30 | 107248.91 | |
| ltl2aig-comp | 5 | 4500.35 | ||
| LTL2DBA | 12 | 2 | 122.47 | |
| LTL2DPA | 7 | 6300.07 | ||
| Model_instances | 47 | 1 | 4 | 8544.08 |
| mult-matrix | 29 | 5 | 1422.41 | |
| Q_2_3 | 98 | 18 | 14068.49 | |
| RankingFunctions | 66 | 31 | 392.3 | |
| Reduction-finding | 225 | 9 | 13 | 145150.99 |
| Selection-hard | 42 | 4 | 16579.84 | |
| sketch | 47 | 2 | 34445.89 | |
| Sorting_networks | 175 | 2 | 146028.3 | |
| terminator | 217 | 40 | 29841.76 | |
| toy | 30 | 4 | 5105.47 | |
| wgrowing | 12 | 1 | 9014.76 | |
| wmiforward | 74 | 11 | 1775.54 |