QBF Solver Evaluation Portal
qbflib.orgCADET_2017 results solving families - 2018
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| amba | 19 | 17100.99 | ||
| arithmetic | 36 | 5 | 13528.36 | |
| cycle-sched | 34 | 30601.64 | ||
| disjunctive_decomposition | 40 | 5 | 1 | 11754.39 |
| driver | 34 | 5 | 14940.83 | |
| genbuf | 5 | 4500 | ||
| HardwareFixpoint | 300 | 17 | 46 | 33569.2 |
| hwmcc | 26 | 23400.79 | ||
| irqlkeapclte | 266 | 45 | 1081.14 | |
| ltl2aig-comp | 5 | 4500.2 | ||
| LTL2DBA | 12 | 2 | 389.82 | |
| LTL2DPA | 7 | 6300.63 | ||
| Model_instances | 47 | 42301.13 | ||
| mult-matrix | 29 | 3 | 15226.43 | |
| Q_2_3 | 98 | 8 | 57930.22 | |
| RankingFunctions | 66 | 31 | 0 | |
| Reduction-finding | 225 | 11 | 177295.09 | |
| Selection-hard | 42 | 37801.86 | ||
| sketch | 47 | 2 | 33301.44 | |
| Sorting_networks | 175 | 7 | 13 | 36692.27 |
| terminator | 217 | 6 | 40 | 9940.87 |
| toy | 30 | 5 | 550.36 | |
| wgrowing | 12 | 10800.54 | ||
| wmiforward | 74 | 11 | 3.57 |