DynQBF-bloqqer-hqspre-it results solving families - 2017

Family# Total# Sat# UnsatTime
amba43600
arithmetic55840.46
cycle-sched421812.85
disjunctive_decomposition54901.07
driver444.54
genbuf43600
HardwareFixpoint86302726601.03
hwmcc43600
irqlkeapclte110351573.15
ltl2aig-comp412746.86
LTL2DBA412702.58
mult-matrix431015.91
RankingFunctions423742.13
Reduction-finding1162895286.54
Selection-hard20116215.36
sketch98100
Sorting_networks125112500
terminator10553312814.72
toy4417.58
wgrowing1119005.97
wmiforward1243.75