DynQBF-bloqqer-variant results solving families - 2017

Family# Total# Sat# UnsatTime
amba43600
arithmetic5575.86
cycle-sched412700.75
disjunctive_decomposition531800.28
driver444.59
genbuf43600
HardwareFixpoint86342624962.15
hwmcc43600
irqlkeapclte110351477.96
ltl2aig-comp412817.34
LTL2DBA412702.59
mult-matrix412721.92
RankingFunctions42352734.94
Reduction-finding1162795132.02
Selection-hard2018000
sketch98100
Sorting_networks125112500
terminator1055337980.4
toy43904.89
wgrowing119900
wmiforward1243.87