Qute_rrs results solving families

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

QBF Solver Evaluation Portal