HQSpre_solver results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction2320700
Adder8677400
amba824505.78
arithmetic54900.49
blackbox-01X-QBF78263912.19
BMC732247645.74
C43221212212.88
C4993127900
C531551135111.76
C628867152232.13
C8806054000
circuits73258860.39
conformant_planning58430897
Connect21900
Connect31900
Connect436131500.06
Connect521900.53
Connect621900.06
Connect721800
Connect8220.43
Counter19112622
cycle-sched815501.12
Debug94667086.45
disjunctive_decomposition522700.57
driver82213.16
dungeon601251181.92
evader-pursuer-4x4-logarithmic109000
evader-pursuer-4x4-standard647187.78
evader-pursuer-6x6-logarithmic4439600
evader-pursuer-6x6-standard66153173.2
evader-pursuer-8x8-logarithmic4641400
formula_add1266649.91
fpu202039.24
genbuf87200
Generalized-Tic-Tac-Toe20117468.2
genpatch54500
HardwareFixpoint542724707.17
hwmcc823650.7
hyperLTL4110.02
incrementer-encoder35626146.76
irqlkeapclte8172900
ISCAS894211016.42
ITC9937325227.59
jmc_quant43600
jmc_quant_squaring7769300
k_branch_n3762830.49
k_branch_p6183600.44
k_ph_p58149900.17
LinearBitvectorRankingFunction73164989.27
ltl2aig-comp823675.82
LTL2DBA4113.84
LTL2DPA411800.78
mqm2522500
mult-matrix823605.4
Planning-CTE532274003.7
QBF-Hardness3027000
qbfeval12715400.1
RankingFunctions221.45
Reduction-finding2926100
s11961513500
s12691513500
s2981412600
s33301917100
s4991311700
s51098100
s6411614400
s7131513500
s8201412600
sketch54500
Sorting_networks572218012.96
SzymanskiP1917100
terminator42321640.63
tipdiam55334251.36
tipfixpoint5852200
toy8121802.34
trafficlight-controller101046.73
uclid3027000