nanoqbf_hqspre results solving families

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

QBF Solver Evaluation Portal