QELL_default results solving families - 2017

Family# Total# Sat# UnsatTime
amba109000
arithmetic13110800.03
cycle-sched1210800
disjunctive_decomposition15110806.54
driver1210800
genbuf87200
HardwareFixpoint1981719126058.25
hwmcc1210800
irqlkeapclte145130500
ltl2aig-comp98100
LTL2DBA98100
mult-matrix119900
RankingFunctions73263900.04
Reduction-finding2061621115424.02
Selection-hard4338700
sketch3430600
Sorting_networks15951075913.96
terminator14411102055.52
toy1412600
wgrowing2118900
wmiforward2219800