Qute_rrs results solving families

Family	# Total	# Sat	# Unsat	Time
Adder	114		2	87883.62
amba	25	2		13016.81
arithmetic	36	4		16200.95
blackbox-01X-QBF	133		20	3496.25
BMC	79	5	3	28196.41
CombinationalEquivalence	141			126906.79
cycle-sched	44	1		35109.61
Debug	76	5		42264.72
disjunctive_decomposition	40	3	1	19851.3
driver	34	6		48.76
dungeon	110		21	3065.47
formula_add	27	2		20007.95
fpu	22		10	81.02
genbuf	19			17100.72
Generalized-Tic-Tac-Toe	39	1	1	33955.35
genpatch	20			18001
HardwareFixpoint	288	15	28	86502.75
hwmcc	26	1		18271.82
incrementer-encoder	56		7	27089.8
irqlkeapclte	121			108904.93
ISCAS89	22	6	4	28.76
ITC99	58	3	2	33370.88
jmc_quant_squaring	72		1	54902.95
k_branch_n	56	6		9955.56
k_branch_p	85		8	10162.01
k_ph_p	42			37802.93
LinearBitvectorRankingFunction	77		3	57949.41
ltl2aig-comp	18		1	9947.36
LTL2DBA	12	1		6111.33
LTL2DPA	7			6300.42
Model_instances	47	1	4	10671.2
mqm	76	3	2	43591.33
mult-matrix	39		1	29757.03
Planning-CTE	128	2	24	15033.19
PositionalGames_gttt	45	4		29702.13
PositionalGames_hex	48	3	1	33858.42
QBF-Hardness	60			54003.56
Q_2_3	98		14	29534.32
RankingFunctions	53	15		0
Reduction-finding	123	1	6	82411.57
Selection-hard	30	4		7313.94
sketch	47		3	32165.51
Sorting_networks	113	1		96221.11
SzymanskiP	25		2	2851.31
terminator	85	1	9	185.72
tipdiam	85	4		47731.39
tipfixpoint	90	2		63344.26
toy	30	4		4665.91
trafficlight-controller	30		10	74.85
wgrowing	36	8		9914.36
wmiforward	70	6		26104.84

QBF Solver Evaluation Portal