Hiqqer2019_2 results solving families

Family	# Total	# Sat	# Unsat	Time
Adder	114	1		94904.97
amba	25	3		6363.1
arithmetic	36	6		8147.6
blackbox-01X-QBF	133		1	115180.69
BMC	79	5	3	32479.72
CombinationalEquivalence	141	4	8	90444.48
cycle-sched	44	6		11744.91
Debug	76			68403.82
disjunctive_decomposition	40	7		8100.3
driver	34	6		19.68
dungeon	110		2	87618.77
formula_add	27	3		15029.89
fpu	22		10	44.47
genbuf	19			17095.02
Generalized-Tic-Tac-Toe	39	3	7	1046.42
genpatch	20	1		14404.48
HardwareFixpoint	288	15	7	178353.3
hwmcc	26			23400.95
incrementer-encoder	56		5	41658.8
irqlkeapclte	121	2		87971.37
ISCAS89	22	6	4	52.22
ITC99	58	1	3	44136.41
jmc_quant_squaring	72	1		53158.24
k_branch_n	56	3		20763.19
k_branch_p	85		7	11255.13
k_ph_p	42			37796.4
LinearBitvectorRankingFunction	77	1		67470.69
ltl2aig-comp	18	1		11803.01
LTL2DBA	12	2		5.45
LTL2DPA	7	1		17.36
Model_instances	47	1	1	29885.28
mqm	76	7	3	6811.31
mult-matrix	39	5		9115.45
Planning-CTE	128		1	110559.43
PositionalGames_gttt	45			40502.07
PositionalGames_hex	48	10	3	16947.8
QBF-Hardness	60		4	36031.8
Q_2_3	98		1	85174.08
RankingFunctions	53	15		0
Reduction-finding	123	3	5	82268.29
Selection-hard	30	4		6068.1
sketch	47			42297.43
Sorting_networks	113	1	4	62213.32
SzymanskiP	25		2	117.3
terminator	85			76501.35
tipdiam	85			76502.82
tipfixpoint	90	1		71118.08
toy	30	5		301.2
trafficlight-controller	30		2	22860.33
wgrowing	36	3		25593.68
wmiforward	70	10		6225.17

QBF Solver Evaluation Portal