Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
amba | 19 | 3 | 5051.69 | |
arithmetic | 36 | 6 | 8106.22 | |
cycle-sched | 34 | 6 | 7443.93 | |
disjunctive_decomposition | 40 | 7 | 8137.38 | |
driver | 34 | 6 | 39.73 | |
genbuf | 5 | 4500.2 | ||
HardwareFixpoint | 300 | 15 | 31 | 99943.08 |
hwmcc | 26 | 1 | 18936.3 | |
irqlkeapclte | 266 | 44 | 30004.37 | |
ltl2aig-comp | 5 | 1 | 58.7 | |
LTL2DBA | 12 | 2 | 10.15 | |
LTL2DPA | 7 | 1 | 13.58 | |
Model_instances | 47 | 3 | 31450.31 | |
mult-matrix | 29 | 5 | 68.24 | |
Q_2_3 | 98 | 15 | 27416.07 | |
RankingFunctions | 66 | 31 | 15.47 | |
Reduction-finding | 225 | 2 | 11 | 171575.76 |
Selection-hard | 42 | 1 | 32411.86 | |
sketch | 47 | 42301.73 | ||
Sorting_networks | 175 | 7 | 9 | 103848.72 |
terminator | 217 | 6 | 36 | 17370.5 |
toy | 30 | 5 | 49.85 | |
wgrowing | 12 | 1 | 9003.48 | |
wmiforward | 74 | 11 | 1366.1 |