Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
amba | 19 | 3 | 3231.8 | |
arithmetic | 36 | 8 | 258.71 | |
cycle-sched | 34 | 4 | 13919.5 | |
disjunctive_decomposition | 40 | 7 | 8112.77 | |
driver | 34 | 6 | 49.63 | |
genbuf | 5 | 4500.35 | ||
HardwareFixpoint | 300 | 18 | 34 | 78200.94 |
hwmcc | 26 | 1 | 19751.04 | |
irqlkeapclte | 266 | 44 | 9815.95 | |
ltl2aig-comp | 5 | 1 | 73.65 | |
LTL2DBA | 12 | 2 | 24.8 | |
LTL2DPA | 7 | 1 | 31.01 | |
Model_instances | 47 | 42302.13 | ||
mult-matrix | 29 | 5 | 1127.07 | |
Q_2_3 | 98 | 15 | 27075.87 | |
RankingFunctions | 66 | 31 | 82.5 | |
Reduction-finding | 225 | 3 | 8 | 178537.23 |
Selection-hard | 42 | 1 | 32445.32 | |
sketch | 47 | 42302.27 | ||
Sorting_networks | 175 | 3 | 10 | 103586.27 |
terminator | 217 | 6 | 33 | 40287.55 |
toy | 30 | 5 | 750.71 | |
wgrowing | 12 | 1 | 9015.26 | |
wmiforward | 74 | 11 | 76.55 |