HQSpre_solver results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction2623400
Adder114102600
amba22213454.62
arithmetic2244502.39
blackbox-01X-QBF1332108920.74
BMC982263131.98
C43221212212.88
C4993127900
C531557140511.76
C628876160332.13
C8806054000
circuits84268760.39
conformant_planning60432697
Connect21900
Connect321800
Connect443137800.06
Connect521900.53
Connect6311800.06
Connect743600
Connect8220.43
Counter22115322
cycle-sched24116503.36
Debug125684895.38
disjunctive_decomposition23211702.85
driver182229.51
dungeon1151252402.82
evader-pursuer-4x4-logarithmic109000
evader-pursuer-4x4-standard657191.27
evader-pursuer-6x6-logarithmic5045000
evader-pursuer-6x6-standard77163073.2
evader-pursuer-8x8-logarithmic5145900
formula_add39623677.34
fpu202039.24
genbuf2219800
Generalized-Tic-Tac-Toe32128268.2
genpatch2018000
HardwareFixpoint1252764173.91
hwmcc16210850.7
hyperLTL4110.02
incrementer-encoder55642361.32
irqlkeapclte121108900
ISCAS897211363.28
ITC9957337844.84
jmc_quant65400
jmc_quant_squaring9888200
k_branch_n5664389.95
k_branch_p8585231.87
k_ph_p80167400.34
LinearBitvectorRankingFunction1191104257.08
ltl2aig-comp1925634.99
LTL2DBA91112.99
LTL2DPA1016301.17
mqm3430600
mult-matrix2429018.9
Planning-CTE13122710731.24
QBF-Hardness6054000
qbfeval12715400.1
RankingFunctions221.45
Reduction-finding4540500
s11961513500
s12691715300
s2981412600
s33302118900
s4991311700
s51098100
s6411614400
s7131513500
s8201513500
sketch1614400
Sorting_networks812226477.39
SzymanskiP2522500
terminator78343261.71
tipdiam85353175.42
tipfixpoint9383700
toy14127202.34
trafficlight-controller101046.73
uclid3027000