Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
amba | 19 | 3 | 1512.83 | |
arithmetic | 36 | 6 | 8100.2 | |
cycle-sched | 34 | 6 | 369.75 | |
disjunctive_decomposition | 40 | 7 | 1 | 3891.49 |
driver | 34 | 6 | 0 | |
genbuf | 5 | 4500.45 | ||
HardwareFixpoint | 300 | 15 | 14 | 166142.94 |
hwmcc | 26 | 23400.72 | ||
irqlkeapclte | 266 | 239414.7 | ||
ltl2aig-comp | 5 | 1 | 52.1 | |
LTL2DBA | 12 | 2 | 0 | |
LTL2DPA | 7 | 1 | 8.19 | |
Model_instances | 47 | 2 | 3 | 9816.36 |
mult-matrix | 29 | 3 | 10803.49 | |
Q_2_3 | 98 | 9 | 51026.78 | |
RankingFunctions | 66 | 30 | 1801.85 | |
Reduction-finding | 225 | 37 | 25 | 47960.61 |
Selection-hard | 42 | 2 | 28050.62 | |
sketch | 47 | 6 | 23014.25 | |
Sorting_networks | 175 | 6 | 14 | 35906.81 |
terminator | 217 | 22 | 116772.85 | |
toy | 30 | 5 | 776.45 | |
wgrowing | 12 | 2 | 7379.06 | |
wmiforward | 74 | 11 | 11.76 |