caqe_2017_v2 results solving families - 2017

Family# Total# Sat# UnsatTime
amba1418245.8
arithmetic1837200.42
cycle-sched20213462.05
disjunctive_decomposition20210800.68
driver2034539.35
genbuf87200
HardwareFixpoint236273374387.65
hwmcc1412600
irqlkeapclte145130500
ltl2aig-comp119900
LTL2DBA119900
mult-matrix1726954.2
RankingFunctions733722.81
Reduction-finding2201824118555.55
Selection-hard48517617.74
sketch42716380.93
Sorting_networks16371534207.75
terminator1452349462.74
toy2236171.48
wgrowing21215456.04
wmiforward2536306.22