caqe_2017_v1 results solving families - 2017

Family# Total# Sat# UnsatTime
amba422180.19
arithmetic54900.04
cycle-sched4422.59
disjunctive_decomposition54900.21
driver440.37
genbuf43600
HardwareFixpoint86272035191.46
hwmcc43600
irqlkeapclte11099000
ltl2aig-comp412720.7
LTL2DBA412700.43
mult-matrix43904.22
RankingFunctions4236906.9
Reduction-finding116342641940.55
Selection-hard20411554.08
sketch926792.42
Sorting_networks12571528722.73
terminator1052439717.06
toy44341.05
wgrowing1128579.28
wmiforward1240.39