Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
amba | 19 | 3 | 29.13 | |
arithmetic | 36 | 4 | 16200.85 | |
cycle-sched | 34 | 4 | 10867.06 | |
disjunctive_decomposition | 40 | 3 | 24321.57 | |
driver | 34 | 6 | 42.72 | |
genbuf | 5 | 1 | 38.7 | |
HardwareFixpoint | 300 | 15 | 34 | 83685.79 |
hwmcc | 26 | 1 | 18560.78 | |
irqlkeapclte | 266 | 239409.41 | ||
ltl2aig-comp | 5 | 4500.3 | ||
LTL2DBA | 12 | 1 | 5731.05 | |
LTL2DPA | 7 | 6300.07 | ||
Model_instances | 47 | 1 | 4 | 9588.96 |
mult-matrix | 29 | 26101.28 | ||
Q_2_3 | 98 | 14 | 29483.52 | |
RankingFunctions | 66 | 31 | 18.33 | |
Reduction-finding | 225 | 4 | 16 | 158514.92 |
Selection-hard | 42 | 4 | 18019.38 | |
sketch | 47 | 2 | 34838.95 | |
Sorting_networks | 175 | 25 | 4109.44 | |
terminator | 217 | 3 | 40 | 9437.94 |
toy | 30 | 4 | 4706.53 | |
wgrowing | 12 | 2 | 7510.14 | |
wmiforward | 74 | 7 | 26100.64 |