QBF Solver Evaluation Portal
qbflib.orgCued_3_2018 results solving families - 2018
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| amba | 19 | 3 | 560.58 | |
| arithmetic | 36 | 6 | 8100.26 | |
| cycle-sched | 34 | 6 | 4480.54 | |
| disjunctive_decomposition | 40 | 6 | 2 | 4789.73 |
| driver | 34 | 6 | 37.33 | |
| genbuf | 5 | 4500.05 | ||
| HardwareFixpoint | 300 | 15 | 22 | 127275.18 |
| hwmcc | 26 | 23401.58 | ||
| irqlkeapclte | 266 | 4 | 225085.08 | |
| ltl2aig-comp | 5 | 1 | 64.45 | |
| LTL2DBA | 12 | 2 | 22.12 | |
| LTL2DPA | 7 | 1 | 27.86 | |
| Model_instances | 47 | 42302.08 | ||
| mult-matrix | 29 | 3 | 10976.68 | |
| Q_2_3 | 98 | 88203.52 | ||
| RankingFunctions | 66 | 31 | 66.59 | |
| Reduction-finding | 225 | 21 | 20 | 111970.17 |
| Selection-hard | 42 | 1 | 32460.94 | |
| sketch | 47 | 4 | 26032.27 | |
| Sorting_networks | 175 | 7 | 12 | 62413.05 |
| terminator | 217 | 2 | 36 | 48430.37 |
| toy | 30 | 4 | 4569.18 | |
| wgrowing | 12 | 1 | 9021.38 | |
| wmiforward | 74 | 11 | 87.07 |