depqbf_pre_QxQBH results solving families

Family	# Total	# Sat	# Unsat	Time
Adder	114			102604.12
amba	15	1		7657.02
arithmetic	20	3		4502.45
blackbox-01X-QBF	133		18	23247.58
BMC	79	5	3	28557.84
CombinationalEquivalence	141		4	103060.47
cycle-sched	24	2	1	10751.13
Debug	76			68402.44
disjunctive_decomposition	20	3		4518.5
driver	14	2		22.33
dungeon	110		21	2999.36
formula_add	27	2		20542.01
fpu	22		10	315.72
genbuf	19			17101.2
Generalized-Tic-Tac-Toe	39	3	6	12333.85
genpatch	20	1	1	11582.12
HardwareFixpoint	100	1	10	27674.13
hwmcc	12			10800.22
incrementer-encoder	56	1	9	5783.92
irqlkeapclte	121	10		8695.2
ISCAS89	22	6	4	41.4
ITC99	58	5	3	19060.42
jmc_quant_squaring	72	1		53744.48
k_branch_n	56	6		4726.23
k_branch_p	85		8	7690.45
k_ph_p	42			37803.06
LinearBitvectorRankingFunction	77	1	1	56103.14
ltl2aig-comp	13		2	2557.59
LTL2DBA	7	1		3.08
LTL2DPA	7	1		13.58
Model_instances	47		3	31584.53
mqm	76	4	3	25372.35
mult-matrix	24	2		9032.51
Planning-CTE	128	1	11	67537.31
PositionalGames_gttt	45	13		7313.01
PositionalGames_hex	48	4	1	32993.07
QBF-Hardness	60		2	47317.16
Q_2_3	98		15	24860.65
RankingFunctions	53	15		8.23
Reduction-finding	60			54002.32
Selection-hard	30	1		21610.44
sketch	47			42301.72
Sorting_networks	113	3	4	54630.66
SzymanskiP	25			22502.37
terminator	85	1	9	3908.19
tipdiam	85	3	2	45356.38
tipfixpoint	90	5		42420.55
toy	8	1		12.88
trafficlight-controller	30		10	119.64
wgrowing	36	1		28800.88
wmiforward	70	10		1363.21

QBF Solver Evaluation Portal