Caqe-hqspre results solving families - 2019

Family# Total# Sat# UnsatTime
Adder1145239466.25
amba252110229.61
arithmetic36416201.02
blackbox-01X-QBF133204978.77
BMC795332198.22
CombinationalEquivalence14121051075.83
cycle-sched442126939.04
Debug76739625.92
disjunctive_decomposition403120220.09
driver34630.91
dungeon110212450.63
formula_add27412162.28
fpu221064.49
genbuf1927235.73
Generalized-Tic-Tac-Toe3934760.69
genpatch20117764.32
HardwareFixpoint288162785057.81
hwmcc26117484.7
incrementer-encoder5619586.59
irqlkeapclte121108904.76
ISCAS89226429.52
ITC99583330863.99
jmc_quant_squaring72149499.05
k_branch_n5665396.5
k_branch_p8587967.76
k_ph_p4237801.67
LinearBitvectorRankingFunction774428157.25
ltl2aig-comp1826727.93
LTL2DBA1214509.92
LTL2DPA716032.46
Model_instances47136930.6
mqm76732580.74
mult-matrix39413524.37
Planning-CTE12822410337.3
PositionalGames_gttt454127220.26
PositionalGames_hex485130698.09
QBF-Hardness601430661.56
Q_2_3981046031.77
RankingFunctions53150
Reduction-finding1236855594.41
Selection-hard3051753.68
sketch47329595.29
Sorting_networks1133617820.41
SzymanskiP2526562.63
terminator8519184.25
tipdiam85541944.59
tipfixpoint90820071.67
toy3044539.43
trafficlight-controller301092.43
wgrowing36418432
wmiforward70626140.71