Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
amba | 14 | 1 | 6739.86 | |
arithmetic | 18 | 4 | 2802.32 | |
cycle-sched | 20 | 4 | 152.65 | |
disjunctive_decomposition | 20 | 4 | 2811.64 | |
driver | 20 | 4 | 1.95 | |
genbuf | 8 | 5610.86 | ||
HardwareFixpoint | 236 | 26 | 20 | 93260.05 |
hwmcc | 14 | 9990.52 | ||
irqlkeapclte | 145 | 101643.14 | ||
ltl2aig-comp | 11 | 1 | 4358.62 | |
LTL2DBA | 11 | 1 | 4279.62 | |
mult-matrix | 17 | 2 | 4918.64 | |
RankingFunctions | 73 | 36 | 1414.41 | |
Reduction-finding | 220 | 35 | 23 | 62834.7 |
Selection-hard | 48 | 7 | 10351.69 | |
sketch | 42 | 2 | 22544.88 | |
Sorting_networks | 163 | 6 | 15 | 34683.62 |
terminator | 145 | 23 | 45383.51 | |
toy | 22 | 4 | 976.35 | |
wgrowing | 21 | 6 | 7289.82 | |
wmiforward | 25 | 4 | 0.99 |