dynQBF-bloqqer-hqspre results solving families - 2017

Family# Total# Sat# UnsatTime
amba1412600
arithmetic185638.42
cycle-sched2036038.9
disjunctive_decomposition2043604.32
driver20422.4
genbuf87200
HardwareFixpoint236322974974.86
hwmcc1412600
irqlkeapclte145352074.45
ltl2aig-comp1115634.3
LTL2DBA1115412.9
mult-matrix1732379.45
RankingFunctions733774.79
Reduction-finding22027183273.22
Selection-hard48137844.52
sketch4237800
Sorting_networks163146700
terminator14553223537.66
toy22493.19
wgrowing21117111.9
wmiforward2548.18