Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
amba | 19 | 17100.49 | ||
arithmetic | 36 | 4 | 16200.49 | |
cycle-sched | 34 | 30601.44 | ||
disjunctive_decomposition | 40 | 3 | 24300.61 | |
driver | 34 | 30600.58 | ||
genbuf | 5 | 4500.4 | ||
HardwareFixpoint | 300 | 2 | 263711.52 | |
hwmcc | 26 | 23401.09 | ||
irqlkeapclte | 266 | 239408.74 | ||
ltl2aig-comp | 5 | 4500.2 | ||
LTL2DBA | 12 | 10800.56 | ||
LTL2DPA | 7 | 6300.42 | ||
Model_instances | 47 | 42301.37 | ||
mult-matrix | 29 | 26101.6 | ||
Q_2_3 | 98 | 16 | 22249.88 | |
RankingFunctions | 66 | 2 | 54002.64 | |
Reduction-finding | 225 | 2 | 13 | 166944.74 |
Selection-hard | 42 | 37802.3 | ||
sketch | 47 | 42301.89 | ||
Sorting_networks | 175 | 2 | 1 | 148005.79 |
terminator | 217 | 27 | 93802.19 | |
toy | 30 | 1 | 23385.36 | |
wgrowing | 12 | 10800.68 | ||
wmiforward | 74 | 66602.33 |