QBF Solver Evaluation Portal
qbflib.orgCaqe-bloqqer-qdo results solving families - 2018
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| amba | 19 | 3 | 4903.34 | |
| arithmetic | 36 | 6 | 8100.43 | |
| cycle-sched | 34 | 5 | 12661.06 | |
| disjunctive_decomposition | 40 | 6 | 11703.99 | |
| driver | 34 | 5 | 4563.02 | |
| genbuf | 5 | 4500.15 | ||
| HardwareFixpoint | 300 | 15 | 22 | 128850.92 |
| hwmcc | 26 | 23401.2 | ||
| irqlkeapclte | 266 | 239411.19 | ||
| ltl2aig-comp | 5 | 4500 | ||
| LTL2DBA | 12 | 2 | 861.78 | |
| LTL2DPA | 7 | 1 | 47.88 | |
| Model_instances | 47 | 1 | 36969.79 | |
| mult-matrix | 29 | 4 | 9507.27 | |
| Q_2_3 | 98 | 10 | 45994.62 | |
| RankingFunctions | 66 | 30 | 1857.78 | |
| Reduction-finding | 225 | 38 | 23 | 55321.85 |
| Selection-hard | 42 | 4 | 16920.42 | |
| sketch | 47 | 2 | 39555.81 | |
| Sorting_networks | 175 | 7 | 18 | 16528.82 |
| terminator | 217 | 32 | 80073.45 | |
| toy | 30 | 3 | 12098.87 | |
| wgrowing | 12 | 2 | 7335.04 | |
| wmiforward | 74 | 10 | 6343.04 |