ASPQ2 results solving families - 2017

Family# Total# Sat# UnsatTime
amba1416739.86
arithmetic1842802.32
cycle-sched204152.65
disjunctive_decomposition2042811.64
driver2041.95
genbuf85610.86
HardwareFixpoint236262093260.05
hwmcc149990.52
irqlkeapclte145101643.14
ltl2aig-comp1114358.62
LTL2DBA1114279.62
mult-matrix1724918.64
RankingFunctions73361414.41
Reduction-finding220352362834.7
Selection-hard48710351.69
sketch42222544.88
Sorting_networks16361534683.62
terminator1452345383.51
toy224976.35
wgrowing2167289.82
wmiforward2540.99