Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
amba | 14 | 1 | 12345.1 | |
arithmetic | 18 | 4 | 3600.22 | |
cycle-sched | 20 | 1 | 13500.35 | |
disjunctive_decomposition | 20 | 4 | 3600.8 | |
driver | 20 | 4 | 1.9 | |
genbuf | 8 | 7200 | ||
HardwareFixpoint | 236 | 25 | 16 | 120190.04 |
hwmcc | 14 | 7530.27 | ||
irqlkeapclte | 145 | 35 | 8251.88 | |
ltl2aig-comp | 11 | 9900 | ||
LTL2DBA | 11 | 1 | 1973.19 | |
mult-matrix | 17 | 1 | 10803.1 | |
RankingFunctions | 73 | 35 | 4509.31 | |
Reduction-finding | 220 | 10 | 184625.68 | |
Selection-hard | 48 | 43200 | ||
sketch | 42 | 3 | 27123.7 | |
Sorting_networks | 163 | 4 | 13 | 60164.06 |
terminator | 145 | 12 | 88300.07 | |
toy | 22 | 3 | 4501.8 | |
wgrowing | 21 | 18900 | ||
wmiforward | 25 | 4 | 0.99 |