CUED1919_NL results solving families - 2017

Family# Total# Sat# UnsatTime
amba41893.48
arithmetic513601.4
cycle-sched42466.1
disjunctive_decomposition54500
driver42498.56
genbuf41357.53
HardwareFixpoint866262106.24
hwmcc41853.74
irqlkeapclte11049679.81
ltl2aig-comp41688.56
LTL2DBA42112.55
mult-matrix42718.5
RankingFunctions42435064.5
Reduction-finding116211951158.45
Selection-hard2018000
sketch926323.49
Sorting_networks12561245803.74
terminator10594500
toy42471.24
wgrowing119900
wmiforward1210800