Qute_opt500 results solving families

Family	# Total	# Sat	# Unsat	Time
Adder	88			1727.55
amba	25			2502.88
arithmetic	40	6		52.15
blackbox-01X-QBF	122		9	1627.2
BMC	79	2	3	21268.76
bomb	10	10		318.27
C5315	35			192.69
C6288	56			757.36
cycle-sched	40			3112.67
Debug	94	4		45214.28
disjunctive_decomposition	43	2		199.24
driver	34	4		49.49
dungeon	44		10	1298.44
evader-pursuer-6x6-logarithmic	23			9938.83
evader-pursuer-6x6-standard	51			9200.96
evader-pursuer-8x8-logarithmic	31			13411.64
formula_add	35			6437.11
fpu	14		6	1805.81
genbuf	14			2216.3
genpatch	20			4169.8
gttt-4x4_2020	10			3029.44
HardwareFixpoint	259	15	7	24521.53
hwmcc	12			1353.55
incrementer-encoder	50		3	635.38
irqlkeapclte	121			1301.81
ISCAS89	13	8	2	25.59
ITC99	62	3		1850.2
jmc_quant	29			73.44
jmc_quant_squaring	62			470.47
k_branch_n	45	3		8786.76
k_branch_p	51		4	10409.59
k_ph_n	18	5		65.34
k_ph_p	46			2361.6
LinearBitvectorRankingFunction	79			2582.16
ltl2aig-comp	18		1	2661.29
LTL2DBA	12			6.35
LTL2DPA	7			12.67
mqm	76			723.1
mult-matrix	35			1305.37
Planning-CTE	138	5	31	17004.26
QBF-Hardness	60			3490.82
RankingFunctions	39	10		0
Reduction-finding	130	13	6	1631.38
s1269	41			2421.19
s3330	26			1600.97
s820	17			956.45
sketch	44			223.29
Sorting_networks	111			6907.6
SzymanskiP	25			2890.59
terminator	85			116.59
tipdiam	72	5		708.99
tipfixpoint	79			944.32
toy	30	3		70.26
trafficlight-controller	30		9	100.65
wmiforward	70	1		74.2

QBF Solver Evaluation Portal