ASPQ2 results solving families - 2017

Family# Total# Sat# UnsatTime
amba412189.46
arithmetic54700.59
cycle-sched4430.53
disjunctive_decomposition54702.91
driver440.39
genbuf42805.43
HardwareFixpoint86262028515.59
hwmcc42861.78
irqlkeapclte11077108.55
ltl2aig-comp412154.77
LTL2DBA412139.15
mult-matrix421403.98
RankingFunctions4236708.76
Reduction-finding116352332516.95
Selection-hard2075164.8
sketch924929.54
Sorting_networks12561525558.59
terminator1052330830.37
toy44195.21
wgrowing1163995.13
wmiforward1240.45