nanoqbf_bloqqer results solving families

Family	# Total	# Sat	# Unsat	Time
Adder	88		1	69467.31
amba	25			22500
arithmetic	40	8		8102.8
blackbox-01X-QBF	122		6	82562.21
BMC	79	6	3	22420.88
bomb	10	9		1984.83
C5315	35			31500
C6288	56			50400
cycle-sched	40	3		25770.6
Debug	94	2		57155.75
disjunctive_decomposition	43	7	1	6332.59
driver	34	6		53.11
dungeon	44			39600
evader-pursuer-6x6-logarithmic	23			20700
evader-pursuer-6x6-standard	51			45900
evader-pursuer-8x8-logarithmic	31			27900
formula_add	35	6		13682.58
fpu	14	4	6	1632.45
genbuf	14			12600
genpatch	20	1		14420.4
gttt-4x4_2020	10		2	7717.6
HardwareFixpoint	259	14	6	159521.54
hwmcc	12			10800
incrementer-encoder	50	3	7	1365.31
irqlkeapclte	121			108900
ISCAS89	13	8	2	183.2
ITC99	62	1	1	44307.42
jmc_quant	29		1	25631.07
jmc_quant_squaring	62		1	46270.44
k_branch_n	45	2		27066.74
k_branch_p	51		3	15325.18
k_ph_n	18	3		4529.32
k_ph_p	46		1	38153.28
LinearBitvectorRankingFunction	79		3	51031.75
ltl2aig-comp	18		2	5007.97
LTL2DBA	12	2		33.34
LTL2DPA	7	1		37.03
mqm	76			61974.48
mult-matrix	35	2		20822.75
Planning-CTE	138	4	19	79614.58
QBF-Hardness	60		2	46929.16
RankingFunctions	39	10		65.46
Reduction-finding	130	13	16	72381.43
s1269	41			36900
s3330	26			23400
s820	17			15300
sketch	44			39600
Sorting_networks	111	2	1	72574.38
SzymanskiP	25		2	4028.17
terminator	85			76500
tipdiam	72	2		59769.88
tipfixpoint	79	1		61258.08
toy	30	3		11719.27
trafficlight-controller	30		10	511.59
wmiforward	70	9		6326.38

QBF Solver Evaluation Portal