Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
amba | 14 | 1 | 8245.8 | |
arithmetic | 18 | 3 | 7200.42 | |
cycle-sched | 20 | 2 | 13462.05 | |
disjunctive_decomposition | 20 | 2 | 10800.68 | |
driver | 20 | 3 | 4539.35 | |
genbuf | 8 | 7200 | ||
HardwareFixpoint | 236 | 27 | 33 | 74387.65 |
hwmcc | 14 | 12600 | ||
irqlkeapclte | 145 | 130500 | ||
ltl2aig-comp | 11 | 9900 | ||
LTL2DBA | 11 | 9900 | ||
mult-matrix | 17 | 2 | 6954.2 | |
RankingFunctions | 73 | 37 | 22.81 | |
Reduction-finding | 220 | 18 | 24 | 118555.55 |
Selection-hard | 48 | 5 | 17617.74 | |
sketch | 42 | 7 | 16380.93 | |
Sorting_networks | 163 | 7 | 15 | 34207.75 |
terminator | 145 | 2 | 34 | 9462.74 |
toy | 22 | 3 | 6171.48 | |
wgrowing | 21 | 2 | 15456.04 | |
wmiforward | 25 | 3 | 6306.22 |