Qute_opt500 results solving families - 2020

Family# Total# Sat# UnsatTime
Adder88001727.55
amba25002502.88
arithmetic406052.15
blackbox-01X-QBF122091627.2
BMC792321268.76
bomb10100318.27
C53153500192.69
C62885600757.36
cycle-sched40003112.67
Debug944045214.28
disjunctive_decomposition4320199.24
driver344049.49
dungeon440101298.44
evader-pursuer-6x6-logarithmic23009938.83
evader-pursuer-6x6-standard51009200.96
evader-pursuer-8x8-logarithmic310013411.64
formula_add35006437.11
fpu14061805.81
genbuf14002216.3
genpatch20004169.8
gttt-4x4_202010003029.44
HardwareFixpoint25915724521.53
hwmcc12001353.55
incrementer-encoder5003635.38
irqlkeapclte121001301.81
ISCAS89138225.59
ITC9962301850.2
jmc_quant290073.44
jmc_quant_squaring6200470.47
k_branch_n45308786.76
k_branch_p510410409.59
k_ph_n185065.34
k_ph_p46002361.6
LinearBitvectorRankingFunction79002582.16
ltl2aig-comp18012661.29
LTL2DBA12006.35
LTL2DPA70012.67
mqm7600723.1
mult-matrix35001305.37
Planning-CTE13853117004.26
QBF-Hardness60003490.82
RankingFunctions391000
Reduction-finding1301361631.38
s126941002421.19
s333026001600.97
s8201700956.45
sketch4400223.29
Sorting_networks111006907.6
SzymanskiP25002890.59
terminator8500116.59
tipdiam7250708.99
tipfixpoint7900944.32
toy303070.26
trafficlight-controller3009100.65
wmiforward701074.2