Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
amba | 14 | 12600 | ||
arithmetic | 18 | 5 | 3361.48 | |
cycle-sched | 20 | 2 | 9064.25 | |
disjunctive_decomposition | 20 | 4 | 3604.28 | |
driver | 20 | 4 | 22.7 | |
genbuf | 8 | 7200 | ||
HardwareFixpoint | 236 | 30 | 27 | 84410.45 |
hwmcc | 14 | 12600 | ||
irqlkeapclte | 145 | 35 | 2079.59 | |
ltl2aig-comp | 11 | 1 | 5634.3 | |
LTL2DBA | 11 | 1 | 5412.9 | |
mult-matrix | 17 | 3 | 2379.55 | |
RankingFunctions | 73 | 37 | 75.61 | |
Reduction-finding | 220 | 2 | 8 | 183924.25 |
Selection-hard | 48 | 1 | 37846.08 | |
sketch | 42 | 37800 | ||
Sorting_networks | 163 | 146700 | ||
terminator | 145 | 5 | 33 | 20092.54 |
toy | 22 | 4 | 92.86 | |
wgrowing | 21 | 1 | 17111.94 | |
wmiforward | 25 | 4 | 8.18 |