depqbf_prefix_opt_qdo results solving families

Family	# Total	# Sat	# Unsat	Time
Adder	114	0	0	102604.85
amba	25	0	0	22501.24
arithmetic	36	4	0	16200.6
blackbox-01X-QBF	133	0	12	54358.16
BMC	79	4	3	32432.89
CombinationalEquivalence	141	3	8	81945.88
cycle-sched	44	0	0	39601.95
Debug	76	0	0	68404.64
disjunctive_decomposition	40	3	0	24300.96
driver	34	0	0	30601.01
dungeon	110	0	5	86498.6
formula_add	27	6	0	8827.5
fpu	22	0	10	246.06
genbuf	19	0	0	17100.56
Generalized-Tic-Tac-Toe	39	3	6	8268.06
genpatch	20	0	1	14528.56
HardwareFixpoint	288	0	2	252913.38
hwmcc	26	0	0	23401.11
incrementer-encoder	56	1	5	30680.89
irqlkeapclte	121	0	0	108905.92
ISCAS89	22	6	4	9.5
ITC99	58	4	3	27069.81
jmc_quant_squaring	72	1	1	49994.17
k_branch_n	56	0	0	50402.02
k_branch_p	85	0	8	22.48
k_ph_p	42	0	0	37801.27
LinearBitvectorRankingFunction	77	1	0	65806.44
ltl2aig-comp	18	0	0	16200.51
LTL2DBA	12	0	0	10800.39
LTL2DPA	7	0	0	6300.42
Model_instances	47	0	0	42301.83
mqm	76	7	3	4159.69
mult-matrix	39	0	0	35102.12
Planning-CTE	128	0	1	111965.36
PositionalGames_gttt	45	11	0	10861.29
PositionalGames_hex	48	5	3	25744.54
QBF-Hardness	60	0	4	41742.6
Q_2_3	98	0	16	22174.86
RankingFunctions	53	0	0	47702.13
Reduction-finding	123	1	4	92426.49
Selection-hard	30	0	0	27000.78
sketch	47	0	0	42301.97
Sorting_networks	113	1	0	91889.2
SzymanskiP	25	0	0	22501
terminator	85	0	6	36717.51
tipdiam	85	1	0	72002.88
tipfixpoint	90	2	0	65902.06
toy	30	1	0	23369.82
trafficlight-controller	30	0	0	27001.2
wgrowing	36	1	0	28802.08
wmiforward	70	0	0	63002.52

QBF Solver Evaluation Portal