Hiqqer2019_2 results solving families

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

QBF Solver Evaluation Portal