Qute_opt500 results solving families

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

QBF Solver Evaluation Portal