Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
amba | 19 | 17100.98 | ||
arithmetic | 36 | 32401.76 | ||
cycle-sched | 34 | 30601.63 | ||
disjunctive_decomposition | 40 | 36001.77 | ||
driver | 34 | 30600.86 | ||
genbuf | 5 | 4500.35 | ||
HardwareFixpoint | 300 | 12 | 40 | 49469.66 |
hwmcc | 26 | 23401.79 | ||
irqlkeapclte | 266 | 45 | 29840.85 | |
ltl2aig-comp | 5 | 4500.35 | ||
LTL2DBA | 12 | 10800.62 | ||
LTL2DPA | 7 | 6300.56 | ||
Model_instances | 47 | 42302.4 | ||
mult-matrix | 29 | 26101.01 | ||
Q_2_3 | 98 | 1 | 87513.48 | |
RankingFunctions | 66 | 31 | 200.01 | |
Reduction-finding | 225 | 42 | 25 | 23036.44 |
Selection-hard | 42 | 37801.98 | ||
sketch | 47 | 42301.77 | ||
Sorting_networks | 175 | 6 | 127688.09 | |
terminator | 217 | 40 | 27357.3 | |
toy | 30 | 27000.32 | ||
wgrowing | 12 | 10800.58 | ||
wmiforward | 74 | 11 | 64.36 |