Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
amba | 19 | 2 | 5546.15 | |
arithmetic | 36 | 6 | 8100.44 | |
cycle-sched | 34 | 5 | 6867.09 | |
disjunctive_decomposition | 40 | 6 | 11703.56 | |
driver | 34 | 6 | 37.15 | |
genbuf | 5 | 4500.2 | ||
HardwareFixpoint | 300 | 15 | 20 | 136352.39 |
hwmcc | 26 | 23401.97 | ||
irqlkeapclte | 266 | 3 | 227775.13 | |
ltl2aig-comp | 5 | 1 | 61.2 | |
LTL2DBA | 12 | 2 | 21.85 | |
LTL2DPA | 7 | 1 | 27.44 | |
Model_instances | 47 | 1 | 4 | 14219.2 |
mult-matrix | 29 | 3 | 10974.42 | |
Q_2_3 | 98 | 11 | 44160.56 | |
RankingFunctions | 66 | 30 | 1857.72 | |
Reduction-finding | 225 | 35 | 18 | 86394.04 |
Selection-hard | 42 | 7 | 7589.78 | |
sketch | 47 | 2 | 33394.7 | |
Sorting_networks | 175 | 6 | 18 | 25677.31 |
terminator | 217 | 2 | 32 | 78625.68 |
toy | 30 | 5 | 1358.56 | |
wgrowing | 12 | 6 | 1087.52 | |
wmiforward | 74 | 11 | 155.45 |