dynQBF-bloqqer-hqspre results solving families - 2017

Family# Total# Sat# UnsatTime
amba43600
arithmetic55159.7
cycle-sched431207.78
disjunctive_decomposition54901.08
driver444.48
genbuf43600
HardwareFixpoint86322924049.27
hwmcc43600
irqlkeapclte110351569.48
ltl2aig-comp412746.86
LTL2DBA412702.58
mult-matrix431015.89
RankingFunctions423741.63
Reduction-finding1162795098.06
Selection-hard20116214.84
sketch98100
Sorting_networks125112500
terminator10553215119.97
toy4417.67
wgrowing1119005.95
wmiforward1243.75