caqe_2017_v3 results solving families - 2017

Family# Total# Sat# UnsatTime
amba412729.38
arithmetic531800.14
cycle-sched422694.25
disjunctive_decomposition522700.17
driver43907.94
genbuf43600
HardwareFixpoint86273323863.7
hwmcc43600
irqlkeapclte11099000
ltl2aig-comp43600
LTL2DBA43600
mult-matrix421930.72
RankingFunctions423713.53
Reduction-finding116182462929.93
Selection-hard2059466
sketch973746.8
Sorting_networks12571523703.3
terminator1052346621.13
toy431238.86
wgrowing1128178.4
wmiforward1232703.03