Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
amba | 14 | 12600 | ||
arithmetic | 18 | 16200 | ||
cycle-sched | 20 | 18000 | ||
disjunctive_decomposition | 20 | 18000 | ||
driver | 20 | 18000 | ||
genbuf | 8 | 7200 | ||
HardwareFixpoint | 236 | 24 | 38 | 59602.32 |
hwmcc | 14 | 12600 | ||
irqlkeapclte | 145 | 130500 | ||
ltl2aig-comp | 11 | 9900 | ||
LTL2DBA | 11 | 9900 | ||
mult-matrix | 17 | 15300 | ||
RankingFunctions | 73 | 37 | 333.71 | |
Reduction-finding | 220 | 15 | 24 | 125923.74 |
Selection-hard | 48 | 43200 | ||
sketch | 42 | 37800 | ||
Sorting_networks | 163 | 10 | 101021.35 | |
terminator | 145 | 2 | 34 | 11156.37 |
toy | 22 | 19800 | ||
wgrowing | 21 | 18900 | ||
wmiforward | 25 | 1 | 16692.59 |