caqe_2017_v3 results solving families - 2017

Family# Total# Sat# UnsatTime
amba1418246.9
arithmetic1837200.4
cycle-sched20213471.25
disjunctive_decomposition20210800.68
driver2034539.7
genbuf87200
HardwareFixpoint236273374384.52
hwmcc1412600
irqlkeapclte145130500
ltl2aig-comp119900
LTL2DBA119900
mult-matrix1726953.6
RankingFunctions733723.58
Reduction-finding2201824118579.33
Selection-hard48517598
sketch42716391.1
Sorting_networks16371534215.54
terminator1452349464.03
toy2236200.24
wgrowing21215456.8
wmiforward2536306.29