Qute_rrs results solving families

Family	# Total	# Sat	# Unsat	Time
Adder	88	0	2	64472.49
amba	25	2	0	13006.09
arithmetic	40	6	0	16200
blackbox-01X-QBF	122	0	20	3133.44
BMC	79	6	3	28044.97
bomb	10	10	0	318.46
C5315	35	0	0	31500
C6288	56	0	0	50400
cycle-sched	40	1	0	31508.35
Debug	94	5	0	58505.94
disjunctive_decomposition	43	3	1	22550.81
driver	34	6	0	49.64
dungeon	44	0	10	1297.24
evader-pursuer-6x6-logarithmic	23	0	0	20700
evader-pursuer-6x6-standard	51	0	0	45900
evader-pursuer-8x8-logarithmic	31	0	0	27900
formula_add	35	2	0	28659.34
fpu	14	2	6	2670.51
genbuf	14	0	0	12600
genpatch	20	0	0	18000
gttt-4x4_2020	10	1	1	8602.91
HardwareFixpoint	259	15	27	63215.08
hwmcc	12	1	0	5815.51
incrementer-encoder	50	0	4	29871.51
irqlkeapclte	121	0	0	108900
ISCAS89	13	8	2	26.02
ITC99	62	3	0	40565.42
jmc_quant	29	0	1	19805.25
jmc_quant_squaring	62	0	2	35115.21
k_branch_n	45	5	0	12163.61
k_branch_p	51	0	5	10071.28
k_ph_n	18	5	0	65.59
k_ph_p	46	0	0	41400
LinearBitvectorRankingFunction	79	0	3	59756.14
ltl2aig-comp	18	0	1	9946.13
LTL2DBA	12	1	0	6114.76
LTL2DPA	7	0	0	6300
mqm	76	3	2	43636.38
mult-matrix	35	0	1	26153.94
Planning-CTE	138	5	33	18211.63
QBF-Hardness	60	0	0	54000
RankingFunctions	39	10	0	0
Reduction-finding	130	14	22	57846.34
s1269	41	0	0	36900
s3330	26	0	0	23400
s820	17	0	0	15300
sketch	44	0	3	29482.75
Sorting_networks	111	1	0	94413.86
SzymanskiP	25	0	2	2876.33
terminator	85	1	9	187.67
tipdiam	72	6	0	30629.6
tipfixpoint	79	2	0	53465.24
toy	30	4	0	4666.55
trafficlight-controller	30	0	10	75.66
wmiforward	70	6	0	26102.87

QBF Solver Evaluation Portal