qbfrelay results solving families - 2017

Family# Total# Sat# UnsatTime
amba4939.63
arithmetic5426.64
cycle-sched44162.13
disjunctive_decomposition54896.96
driver445.33
genbuf41085.25
HardwareFixpoint86272914468.93
hwmcc44403.21
irqlkeapclte110351514.95
ltl2aig-comp412234.32
LTL2DBA412634.21
mult-matrix43106.09
RankingFunctions423750.21
Reduction-finding116169144.46
Selection-hard201612.7
sketch9316.05
Sorting_networks12559705.61
terminator1055232028.61
toy44127.21
wgrowing111234.27
wmiforward1245.43