caqe_2017_v3 results solving families - 2017

Family# Total# Sat# UnsatTime
amba1016388.14
arithmetic1335400.26
cycle-sched1228082.75
disjunctive_decomposition1528100.51
driver1232723.82
genbuf87200
HardwareFixpoint198273365998.68
hwmcc1210800
irqlkeapclte145130500
ltl2aig-comp98100
LTL2DBA98100
mult-matrix1124892.16
RankingFunctions733723.58
Reduction-finding2061824111388.69
Selection-hard43517365
sketch34713187.2
Sorting_networks15971532102.53
terminator1442349462.77
toy1433722.52
wgrowing21215456.8
wmiforward2235405.54