QBF Solver Evaluation Portal
qbflib.orgQute_random results solving families - 2018
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| amba | 19 | 3 | 0 | 27.84 |
| arithmetic | 36 | 4 | 0 | 16200.66 |
| cycle-sched | 34 | 5 | 0 | 6365.22 |
| disjunctive_decomposition | 40 | 3 | 1 | 19862.59 |
| driver | 34 | 6 | 0 | 42.57 |
| genbuf | 5 | 1 | 0 | 39.1 |
| HardwareFixpoint | 300 | 26 | 26 | 77279.53 |
| hwmcc | 26 | 1 | 0 | 18597.5 |
| irqlkeapclte | 266 | 0 | 0 | 239409.22 |
| ltl2aig-comp | 5 | 1 | 0 | 18.15 |
| LTL2DBA | 12 | 2 | 0 | 5.9 |
| LTL2DPA | 7 | 1 | 0 | 11.76 |
| Model_instances | 47 | 1 | 3 | 16597.35 |
| mult-matrix | 29 | 0 | 0 | 26100.5 |
| Q_2_3 | 98 | 0 | 10 | 46661.3 |
| RankingFunctions | 66 | 31 | 0 | 18.33 |
| Reduction-finding | 225 | 5 | 15 | 155039.05 |
| Selection-hard | 42 | 4 | 0 | 19572.62 |
| sketch | 47 | 0 | 0 | 42301.83 |
| Sorting_networks | 175 | 25 | 0 | 4089.2 |
| terminator | 217 | 3 | 40 | 10130.53 |
| toy | 30 | 4 | 0 | 4724.53 |
| wgrowing | 12 | 3 | 0 | 6019.18 |
| wmiforward | 74 | 7 | 0 | 26100.6 |