dynQBF-bloqqer-hqspre results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction2320700
Adder86454078.37
amba815458.52
arithmetic559.46
blackbox-01X-QBF78646861.08
BMC73252277.44
C4322121237.23
C4993133558.79
C531551135138.04
C62886760300
C88060242713.52
circuits73252323.17
conformant_planning58240908.72
Connect21900
Connect31900
Connect436131500.28
Connect521902.88
Connect621900.22
Connect721800
Connect8222.21
Counter19211711.18
cycle-sched815724.52
Debug9484600
disjunctive_decomposition531800.83
driver8229.54
dungeon601255345.69
evader-pursuer-4x4-logarithmic109000
evader-pursuer-4x4-standard64150750.8
evader-pursuer-6x6-logarithmic4439600
evader-pursuer-6x6-standard6659400
evader-pursuer-8x8-logarithmic4641400
formula_add1238188.87
fpu2020103.08
genbuf87200
Generalized-Tic-Tac-Toe20117113.11
genpatch513602.78
HardwareFixpoint542922583.95
hwmcc824008.7
hyperLTL4110.12
incrementer-encoder351721307.55
irqlkeapclte8110957.29
ISCAS8942260.4
ITC99375117487.75
jmc_quant43600
jmc_quant_squaring771247966.31
k_branch_n3758260.89
k_branch_p6169262.26
k_ph_p58530249.21
LinearBitvectorRankingFunction7365700
ltl2aig-comp815428.9
LTL2DBA4114.36
LTL2DPA41113.48
mqm2522500
mult-matrix823798.54
Planning-CTE5311820807.91
QBF-Hardness30126695.54
qbfeval12715400.07
RankingFunctions221.12
Reduction-finding2926100
s11961513500
s12691513500
s2981412600
s33301917100
s4991311700
s51098100
s6411614400
s7131513500
s8201412600
sketch54500
Sorting_networks571135356.48
SzymanskiP19112514.05
terminator421810653.53
tipdiam55339796.92
tipfixpoint582234701.46
toy82214.4
trafficlight-controller1010156.34
uclid30117485.77