Qute_rrs results solving families

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

QBF Solver Evaluation Portal