nanoqbf_hqspre results solving families

Family	# Total	# Sat	# Unsat	Time
Adder	88	0	1	69556.08
amba	25	0	0	22500
arithmetic	40	6	0	16200
blackbox-01X-QBF	122	0	14	34893.2
BMC	79	4	3	28785.34
bomb	10	8	0	2754.41
C5315	35	0	0	31500
C6288	56	0	0	50400
cycle-sched	40	0	0	36000
Debug	94	6	0	58272.94
disjunctive_decomposition	43	0	0	38700
driver	34	6	0	62.51
dungeon	44	0	10	998.92
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	5	0	16651.08
fpu	14	4	6	1991.32
genbuf	14	0	0	12600
genpatch	20	0	0	18000
gttt-4x4_2020	10	0	0	9000
HardwareFixpoint	259	18	26	57772.65
hwmcc	12	0	0	10800
incrementer-encoder	50	2	7	1257.03
irqlkeapclte	121	0	0	108900
ISCAS89	13	8	2	33.71
ITC99	62	6	1	24621.66
jmc_quant	29	0	0	26100
jmc_quant_squaring	62	0	0	55800
k_branch_n	45	0	0	40500
k_branch_p	51	0	0	45900
k_ph_n	18	5	0	36.04
k_ph_p	46	0	1	36809.1
LinearBitvectorRankingFunction	79	1	3	54336.53
ltl2aig-comp	18	0	2	4773.17
LTL2DBA	12	0	0	10800
LTL2DPA	7	0	0	6300
mqm	76	0	0	48668.04
mult-matrix	35	4	0	9940.78
Planning-CTE	138	5	35	12662.6
QBF-Hardness	60	0	1	50460.4
RankingFunctions	39	10	0	0.72
Reduction-finding	130	13	11	79512.4
s1269	41	0	0	36900
s3330	26	0	0	23400
s820	17	0	0	15300
sketch	44	0	0	39600
Sorting_networks	111	2	2	58402.15
SzymanskiP	25	0	2	13111.18
terminator	85	0	9	10037.12
tipdiam	72	6	0	32695.21
tipfixpoint	79	6	0	32456.09
toy	30	4	0	4560.1
trafficlight-controller	30	0	10	101.73
wmiforward	70	4	0	39897

QBF Solver Evaluation Portal