QBF Solver Evaluation Portal
qbflib.orgHeretiq-simple results solving families - 2018
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| amba | 19 | 3 | 4722.33 | |
| arithmetic | 36 | 6 | 8100.36 | |
| cycle-sched | 34 | 6 | 5840.73 | |
| disjunctive_decomposition | 40 | 7 | 8100.04 | |
| driver | 34 | 6 | 1.26 | |
| genbuf | 5 | 4500.05 | ||
| HardwareFixpoint | 300 | 14 | 12 | 183016.79 |
| hwmcc | 26 | 23401.32 | ||
| irqlkeapclte | 266 | 239415.21 | ||
| ltl2aig-comp | 5 | 4500.1 | ||
| LTL2DBA | 12 | 2 | 0 | |
| LTL2DPA | 7 | 1 | 8.19 | |
| Model_instances | 47 | 4 | 16086.45 | |
| mult-matrix | 29 | 3 | 10955.61 | |
| Q_2_3 | 98 | 15 | 26121.72 | |
| RankingFunctions | 66 | 30 | 1801.96 | |
| Reduction-finding | 225 | 6 | 16 | 152790.38 |
| Selection-hard | 42 | 37802.18 | ||
| sketch | 47 | 42302.03 | ||
| Sorting_networks | 175 | 6 | 18 | 16216.78 |
| terminator | 217 | 37 | 37954.96 | |
| toy | 30 | 5 | 2095.12 | |
| wgrowing | 12 | 10800.36 | ||
| wmiforward | 74 | 11 | 38.43 |