qbfrelay-limited-depqbf results solving families - 2017

Family# Total# Sat# UnsatTime
amba422262.89
arithmetic54963.35
cycle-sched431212.11
disjunctive_decomposition541040.54
driver44298.56
genbuf43562.95
HardwareFixpoint86273029243.81
hwmcc44638.69
irqlkeapclte110680899.27
ltl2aig-comp412775.95
LTL2DBA412755.55
mult-matrix431217.25
RankingFunctions42372697.62
Reduction-finding11631885018.91
Selection-hard20214739.08
sketch97993.98
Sorting_networks12571059777.39
terminator10552717552.45
toy44368.98
wgrowing1118966.66
wmiforward124873.6