depqbf_pre_QxQBH results solving families

Family	# Total	# Sat	# Unsat	Time
Adder	114	0	0	102604.2
amba	25	3	0	10819.42
arithmetic	36	6	0	8111.84
blackbox-01X-QBF	133	0	18	23747.22
BMC	79	5	3	28404.01
CombinationalEquivalence	141	0	4	103147.74
cycle-sched	44	6	1	11669.39
Debug	76	0	0	67833.96
disjunctive_decomposition	40	7	0	8150.7
driver	34	6	0	49.64
dungeon	110	0	21	3264.38
formula_add	27	1	0	21627.91
fpu	22	0	10	344.38
genbuf	19	0	0	17101.15
Generalized-Tic-Tac-Toe	39	3	6	12380.72
genpatch	20	1	1	11605.56
HardwareFixpoint	288	15	26	98308.22
hwmcc	26	1	0	18937.88
incrementer-encoder	56	1	9	6626.61
irqlkeapclte	121	10	0	10166.59
ISCAS89	22	6	4	46.34
ITC99	58	5	3	19133.88
jmc_quant_squaring	72	1	0	53776.95
k_branch_n	56	6	0	4862.44
k_branch_p	85	0	8	8010.3
k_ph_p	42	0	0	37801.55
LinearBitvectorRankingFunction	77	1	1	56156.88
ltl2aig-comp	18	1	2	408.49
LTL2DBA	12	2	0	12.5
LTL2DPA	7	1	0	17.15
Model_instances	47	0	3	31470.57
mqm	76	4	3	25021.88
mult-matrix	39	5	0	9082.23
Planning-CTE	128	1	11	70880.43
PositionalGames_gttt	45	13	0	7444.95
PositionalGames_hex	48	4	1	32893.32
QBF-Hardness	60	0	2	47321.02
Q_2_3	98	0	15	27293.17
RankingFunctions	53	15	0	17.51
Reduction-finding	123	1	4	93040.69
Selection-hard	30	1	0	21612.6
sketch	47	0	2	34867.64
Sorting_networks	113	3	4	55127.32
SzymanskiP	25	0	0	22501.29
terminator	85	1	9	4249.86
tipdiam	85	3	2	45567.31
tipfixpoint	90	5	0	42605.29
toy	30	5	0	64.31
trafficlight-controller	30	0	10	128.7
wgrowing	36	1	0	28801
wmiforward	70	10	0	1400.76

QBF Solver Evaluation Portal