qbfrelay results solving families - 2017

Family# Total# Sat# UnsatTime
amba142205.21
arithmetic184105.92
cycle-sched204810.65
disjunctive_decomposition2043587.84
driver20426.65
genbuf82170.5
HardwareFixpoint236272945704.54
hwmcc1441578.11
irqlkeapclte145352003.33
ltl2aig-comp1114510.85
LTL2DBA1115277.48
mult-matrix173484.73
RankingFunctions733789.95
Reduction-finding2201616501.08
Selection-hard4811489.76
sketch421451.99
Sorting_networks16382605.63
terminator1455233075.25
toy224641.45
wgrowing211457.79
wmiforward25411.71