CUED1919_NNL results solving families - 2017

Family# Total# Sat# UnsatTime
amba109000
arithmetic13110800.35
cycle-sched1210800
disjunctive_decomposition1513500
driver1210800
genbuf87200
HardwareFixpoint19862162162.05
hwmcc1210800
irqlkeapclte145130500
ltl2aig-comp98100
LTL2DBA98100
mult-matrix118593.89
RankingFunctions73462899.1
Reduction-finding2061920114673.2
Selection-hard4338700
sketch34223478.68
Sorting_networks15951168790.32
terminator144129600
toy1412600
wgrowing2118900
wmiforward2219800