CUED1919_NNL results solving families - 2017

Family# Total# Sat# UnsatTime
amba43600
arithmetic513600.35
cycle-sched43600
disjunctive_decomposition54500
driver43600
genbuf43600
HardwareFixpoint866267587.67
hwmcc43600
irqlkeapclte11099000
ltl2aig-comp43600
LTL2DBA43600
mult-matrix43164.63
RankingFunctions42434999.1
Reduction-finding116192064366.67
Selection-hard2018000
sketch926319.67
Sorting_networks12551150003.02
terminator10594500
toy43600
wgrowing119900
wmiforward1210800