depqbf_pre_QxQBH results solving families

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

QBF Solver Evaluation Portal