Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
amba | 19 | 3 | 29.43 | |
arithmetic | 36 | 4 | 16200.59 | |
cycle-sched | 34 | 5 | 6366.08 | |
disjunctive_decomposition | 40 | 3 | 1 | 19862.86 |
driver | 34 | 6 | 43.63 | |
genbuf | 5 | 1 | 38.9 | |
HardwareFixpoint | 300 | 26 | 25 | 78170.06 |
hwmcc | 26 | 1 | 18682.4 | |
irqlkeapclte | 266 | 239411.18 | ||
ltl2aig-comp | 5 | 1 | 18.25 | |
LTL2DBA | 12 | 2 | 5.9 | |
LTL2DPA | 7 | 1 | 11.62 | |
Model_instances | 47 | 1 | 3 | 16676.37 |
mult-matrix | 29 | 26101.08 | ||
Q_2_3 | 98 | 10 | 46661.48 | |
RankingFunctions | 66 | 31 | 18.41 | |
Reduction-finding | 225 | 5 | 15 | 155018.8 |
Selection-hard | 42 | 4 | 19607.42 | |
sketch | 47 | 42302.3 | ||
Sorting_networks | 175 | 25 | 4096.61 | |
terminator | 217 | 3 | 40 | 10139.87 |
toy | 30 | 4 | 4724.96 | |
wgrowing | 12 | 3 | 6029.96 | |
wmiforward | 74 | 7 | 26100.8 |