depqbf_prefix_opt_qdo results solving families

Family	# Total	# Sat	# Unsat	Time
Adder	88			79200
amba	25			22500
arithmetic	40	6		16200
blackbox-01X-QBF	122		11	54340.03
BMC	79	4	3	32426.71
bomb	10	10		79.83
C5315	35			31500
C6288	56			50400
cycle-sched	40			36000
Debug	94			84600
disjunctive_decomposition	43	3		27000
driver	34			30600
dungeon	44		5	27116.08
evader-pursuer-6x6-logarithmic	23			20700
evader-pursuer-6x6-standard	51			45900
evader-pursuer-8x8-logarithmic	31			27900
formula_add	35	6		16864.58
fpu	14	4	6	497.31
genbuf	14			12600
genpatch	20		1	14528.28
gttt-4x4_2020	10	3	6	1257.18
HardwareFixpoint	259		1	229500
hwmcc	12			10800
incrementer-encoder	50	2	3	31580.55
irqlkeapclte	121			108900
ISCAS89	13	8	2	6.55
ITC99	62	5	1	33823.11
jmc_quant	29	1	1	14887.79
jmc_quant_squaring	62	1	2	30684.78
k_branch_n	45			40500
k_branch_p	51		5	22.12
k_ph_n	18	5		299.99
k_ph_p	46			41400
LinearBitvectorRankingFunction	79	1		67603.68
ltl2aig-comp	18			16200
LTL2DBA	12			10800
LTL2DPA	7			6300
mqm	76	7	3	4236.45
mult-matrix	35			31500
Planning-CTE	138	1	1	120921.83
QBF-Hardness	60		4	42311.56
RankingFunctions	39			35100
Reduction-finding	130	16	22	56329.36
s1269	41			36900
s3330	26			21002.82
s820	17			15300
sketch	44			39600
Sorting_networks	111	1		90081.18
SzymanskiP	25			22500
terminator	85		6	36783.02
tipdiam	72	3		54906.76
tipfixpoint	79	2		55997.23
toy	30	1		23378.65
trafficlight-controller	30			27000
wmiforward	70			63000

QBF Solver Evaluation Portal