HQSpre_solver results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction2623400
Adder10695400
amba18210811.56
arithmetic1743601.9
blackbox-01X-QBF118296319.47
BMC922260069.9
C43221212212.88
C4993127900
C531554137811.76
C628871155832.13
C8806054000
circuits84268760.39
conformant_planning60432697
Connect21900
Connect321800
Connect443137800.06
Connect521900.53
Connect6311800.06
Connect743600
Connect8220.43
Counter22115322
cycle-sched18112802.24
Debug115679259.07
disjunctive_decomposition1829002.28
driver142222.97
dungeon1051252172.32
evader-pursuer-4x4-logarithmic109000
evader-pursuer-4x4-standard657191.27
evader-pursuer-6x6-logarithmic4843200
evader-pursuer-6x6-standard72158573.2
evader-pursuer-8x8-logarithmic4843200
formula_add29617045.21
fpu202039.24
genbuf1816200
Generalized-Tic-Tac-Toe32128268.2
genpatch1513500
HardwareFixpoint1092755691.36
hwmcc1429050.7
hyperLTL4110.02
incrementer-encoder50637861.32
irqlkeapclte11199900
ISCAS896211247.66
ITC9950333339.09
jmc_quant54500
jmc_quant_squaring9484600
k_branch_n5163876.19
k_branch_p8084740.18
k_ph_p75163666.95
LinearBitvectorRankingFunction110196867.81
ltl2aig-comp1525559.17
LTL2DBA7119.33
LTL2DPA814501.17
mqm3127900
mult-matrix1827213.5
Planning-CTE1072278581.4
QBF-Hardness5045000
qbfeval12715400.1
RankingFunctions221.45
Reduction-finding4540500
s11961513500
s12691614400
s2981412600
s33302018000
s4991311700
s51098100
s6411614400
s7131513500
s8201412600
sketch1412600
Sorting_networks752224585.34
SzymanskiP2320700
terminator69337856.44
tipdiam77348667.4
tipfixpoint8374700
toy12125402.34
trafficlight-controller101046.73
uclid3027000