Qute_opt500 results solving families

Family	# Total	# Sat	# Unsat	Time
Adder	114	10	0	1785.61
amba	15	1	0	5412.51
arithmetic	20	2	0	9000.15
blackbox-01X-QBF	133	14	6	1717.64
BMC	79	4	3	31639.84
CombinationalEquivalence	141	0	1	119715.36
cycle-sched	24	2	0	11741.99
Debug	76	5	0	42371.34
disjunctive_decomposition	20	1	1	9032.45
driver	14	2	0	24.29
dungeon	110	0	21	2779.63
formula_add	27	1	0	22065.48
fpu	22	0	10	59.95
genbuf	19	3	0	2428.95
Generalized-Tic-Tac-Toe	39	7	0	22366.99
genpatch	20	0	0	18000.84
HardwareFixpoint	100	6	8	18202.33
hwmcc	12	1	0	6030.81
incrementer-encoder	56	0	7	27084.75
irqlkeapclte	121	0	0	108904.92
ISCAS89	22	6	4	25.56
ITC99	58	3	2	33363.02
jmc_quant_squaring	72	6	0	0
k_branch_n	56	4	0	17858.18
k_branch_p	85	0	7	16928.15
k_ph_p	42	0	0	37801.86
LinearBitvectorRankingFunction	77	7	0	43146.77
ltl2aig-comp	13	0	1	5445.43
LTL2DBA	7	1	0	0
LTL2DPA	7	1	0	11.83
Model_instances	47	1	3	16671.26
mqm	76	10	0	708.38
mult-matrix	24	0	0	21601.34
Planning-CTE	128	2	24	15234.1
PositionalGames_gttt	45	4	0	29701.35
PositionalGames_hex	48	3	0	35314.9
QBF-Hardness	60	6	0	22012.26
Q_2_3	98	0	10	46661.62
RankingFunctions	53	15	0	0
Reduction-finding	60	1	1	44296.55
Selection-hard	30	4	0	8721.48
sketch	47	0	0	42301.42
Sorting_networks	113	7	0	44410.94
SzymanskiP	25	0	2	2910.12
terminator	85	1	9	710.18
tipdiam	85	4	0	47730.24
tipfixpoint	90	7	0	27691.87
toy	8	1	0	7.68
trafficlight-controller	30	0	10	92.76
wgrowing	36	6	0	14611.44
wmiforward	70	6	0	26100.99

QBF Solver Evaluation Portal