depqbf_prefix_opt_qdo results solving families - 2019

Family# Total# Sat# UnsatTime
Adder114102604.85
amba2522501.24
arithmetic36416200.6
blackbox-01X-QBF1331254358.16
BMC794332432.89
CombinationalEquivalence1413881945.88
cycle-sched4439601.95
Debug7668404.64
disjunctive_decomposition40324300.96
driver3430601.01
dungeon110586498.6
formula_add2768827.5
fpu2210246.06
genbuf1917100.56
Generalized-Tic-Tac-Toe39368268.06
genpatch20114528.56
HardwareFixpoint2882252913.38
hwmcc2623401.11
incrementer-encoder561530680.89
irqlkeapclte121108905.92
ISCAS8922649.5
ITC99584327069.81
jmc_quant_squaring721149994.17
k_branch_n5650402.02
k_branch_p85822.48
k_ph_p4237801.27
LinearBitvectorRankingFunction77165806.44
ltl2aig-comp1816200.51
LTL2DBA1210800.39
LTL2DPA76300.42
Model_instances4742301.83
mqm76734159.69
mult-matrix3935102.12
Planning-CTE1281111965.36
PositionalGames_gttt451110861.29
PositionalGames_hex485325744.54
QBF-Hardness60441742.6
Q_2_3981622174.86
RankingFunctions5347702.13
Reduction-finding1231492426.49
Selection-hard3027000.78
sketch4742301.97
Sorting_networks113191889.2
SzymanskiP2522501
terminator85636717.51
tipdiam85172002.88
tipfixpoint90265902.06
toy30123369.82
trafficlight-controller3027001.2
wgrowing36128802.08
wmiforward7063002.52