Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
amba | 14 | 2 | 6684.55 | |
arithmetic | 18 | 4 | 3600.24 | |
cycle-sched | 20 | 4 | 245.4 | |
disjunctive_decomposition | 20 | 4 | 3600.84 | |
driver | 20 | 4 | 1.9 | |
genbuf | 8 | 7200 | ||
HardwareFixpoint | 236 | 27 | 20 | 114807.99 |
hwmcc | 14 | 12600 | ||
irqlkeapclte | 145 | 130500 | ||
ltl2aig-comp | 11 | 1 | 5544.15 | |
LTL2DBA | 11 | 1 | 5402.15 | |
mult-matrix | 17 | 2 | 6304.35 | |
RankingFunctions | 73 | 36 | 1811.55 | |
Reduction-finding | 220 | 32 | 23 | 88764.57 |
Selection-hard | 48 | 1 | 38188.86 | |
sketch | 42 | 37800 | ||
Sorting_networks | 163 | 6 | 9 | 66560.76 |
terminator | 145 | 24 | 59545.06 | |
toy | 22 | 4 | 1710.3 | |
wgrowing | 21 | 18900 | ||
wmiforward | 25 | 4 | 0.99 |