Qute_random results solving families

Family	# Total	# Sat	# Unsat	Time
Adder	114	10	0	1811.02
amba	15	1	0	5412.36
arithmetic	20	2	0	9000.4
blackbox-01X-QBF	133	14	6	1705.29
BMC	79	5	3	28782.35
CombinationalEquivalence	141	0	1	119714.16
cycle-sched	24	2	0	11741.27
Debug	76	6	0	40211.16
disjunctive_decomposition	20	1	1	9032.65
driver	14	2	0	24.36
dungeon	110	0	21	2826.54
formula_add	27	1	0	22075.31
fpu	22	0	10	60.59
genbuf	19	3	0	2372.33
Generalized-Tic-Tac-Toe	39	7	0	23663.38
genpatch	20	0	0	18000.6
HardwareFixpoint	100	6	8	19546.85
hwmcc	12	1	0	6106.69
incrementer-encoder	56	0	7	27083.52
irqlkeapclte	121	0	0	108904.89
ISCAS89	22	6	4	25.48
ITC99	58	3	2	33362.92
jmc_quant_squaring	72	6	0	0
k_branch_n	56	5	0	11663.54
k_branch_p	85	0	8	11167.58
k_ph_p	42	0	0	37802.46
LinearBitvectorRankingFunction	77	7	0	43108.25
ltl2aig-comp	13	0	1	5444.94
LTL2DBA	7	1	0	0
LTL2DPA	7	1	0	11.76
Model_instances	47	1	3	16637.75
mqm	76	10	0	710.98
mult-matrix	24	0	0	21601.48
Planning-CTE	128	2	24	15787.27
PositionalGames_gttt	45	4	0	29701.11
PositionalGames_hex	48	3	0	35313.81
QBF-Hardness	60	6	0	22017.82
Q_2_3	98	0	10	46655.82
RankingFunctions	53	15	0	0
Reduction-finding	60	1	1	44293.27
Selection-hard	30	4	0	8724.66
sketch	47	0	0	42301.64
Sorting_networks	113	7	0	44955.82
SzymanskiP	25	0	2	2852.62
terminator	85	1	9	717.73
tipdiam	85	4	0	47726.99
tipfixpoint	90	7	0	27700.28
toy	8	1	0	7.92
trafficlight-controller	30	0	10	90.9
wgrowing	36	6	0	14626.76
wmiforward	70	6	0	26101.22

QBF Solver Evaluation Portal