caqe_2017_v2 results solving families - 2017

Family# Total# Sat# UnsatTime
amba412729.16
arithmetic531800.14
cycle-sched422692.41
disjunctive_decomposition522700.17
driver43907.87
genbuf43600
HardwareFixpoint86273323864.63
hwmcc43600
irqlkeapclte11099000
ltl2aig-comp43600
LTL2DBA43600
mult-matrix421930.84
RankingFunctions423713.11
Reduction-finding116182462922.65
Selection-hard2059472.58
sketch973746.59
Sorting_networks12571523697.08
terminator1052346620.14
toy431233.12
wgrowing1128178.02
wmiforward1232703