Hiqqer2019_3 results solving families

Family	# Total	# Sat	# Unsat	Time
Adder	114	1		92077.28
amba	25	3		6544.88
arithmetic	36	6		8100.54
blackbox-01X-QBF	133		4	102032.63
BMC	79	5	3	21156.47
CombinationalEquivalence	141	3	9	79488.87
cycle-sched	44	6		10826.16
Debug	76			68399.44
disjunctive_decomposition	40	6		11700.25
driver	34	6		0
dungeon	110		2	88855.66
formula_add	27	4		16963.62
fpu	22		10	65.93
genbuf	19			17098.77
Generalized-Tic-Tac-Toe	39	3	7	5196.83
genpatch	20	1		14400.64
HardwareFixpoint	288	15	5	186410
hwmcc	26	1		19421.42
incrementer-encoder	56		5	40520.64
irqlkeapclte	121			108903.96
ISCAS89	22	6	4	51.14
ITC99	58		3	45926.27
jmc_quant_squaring	72	1		53200.64
k_branch_n	56	3		20758.88
k_branch_p	85		5	22614.53
k_ph_p	42			37802.02
LinearBitvectorRankingFunction	77	1		66874.98
ltl2aig-comp	18	1		11769.6
LTL2DBA	12	2		0
LTL2DPA	7	1		7.91
Model_instances	47		1	35056.76
mqm	76	7	3	8912.2
mult-matrix	39	5		9024.87
Planning-CTE	128		1	110539.4
PositionalGames_gttt	45			40501.68
PositionalGames_hex	48	10	3	15966.01
QBF-Hardness	60		4	36033.46
Q_2_3	98		1	85172.61
RankingFunctions	53	15		0
Reduction-finding	123	3	5	82321.15
Selection-hard	30	3		15988.86
sketch	47			42300.52
Sorting_networks	113	1	5	51122.17
SzymanskiP	25		2	265.99
terminator	85			76503.7
tipdiam	85			76503.31
tipfixpoint	90			81002.76
toy	30	5		485.09
trafficlight-controller	30			27000.99
wgrowing	36	3		24888.32
wmiforward	70	10		0

QBF Solver Evaluation Portal