Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
amba | 14 | 2205.21 | ||
arithmetic | 18 | 4 | 105.92 | |
cycle-sched | 20 | 4 | 810.65 | |
disjunctive_decomposition | 20 | 4 | 3587.84 | |
driver | 20 | 4 | 26.65 | |
genbuf | 8 | 2170.5 | ||
HardwareFixpoint | 236 | 27 | 29 | 45704.54 |
hwmcc | 14 | 4 | 1578.11 | |
irqlkeapclte | 145 | 35 | 2003.33 | |
ltl2aig-comp | 11 | 1 | 4510.85 | |
LTL2DBA | 11 | 1 | 5277.48 | |
mult-matrix | 17 | 3 | 484.73 | |
RankingFunctions | 73 | 37 | 89.95 | |
Reduction-finding | 220 | 1 | 6 | 16501.08 |
Selection-hard | 48 | 1 | 1489.76 | |
sketch | 42 | 1451.99 | ||
Sorting_networks | 163 | 82605.63 | ||
terminator | 145 | 5 | 23 | 3075.25 |
toy | 22 | 4 | 641.45 | |
wgrowing | 21 | 1 | 457.79 | |
wmiforward | 25 | 4 | 11.71 |