Qute_opt500 results solving families

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

QBF Solver Evaluation Portal