rev_qfun0.1 results solving families - 2017

Family# Total# Sat# UnsatTime
amba14112345.1
arithmetic1843600.22
cycle-sched20113500.35
disjunctive_decomposition2043600.8
driver2041.9
genbuf87200
HardwareFixpoint2362516120190.04
hwmcc147530.27
irqlkeapclte145358251.88
ltl2aig-comp119900
LTL2DBA1111973.19
mult-matrix17110803.1
RankingFunctions73354509.31
Reduction-finding22010184625.68
Selection-hard4843200
sketch42327123.7
Sorting_networks16341360164.06
terminator1451288300.07
toy2234501.8
wgrowing2118900
wmiforward2540.99