iprover_bloqqer_single results solving families

Family	# Total	# Sat	# Unsat	Time
Adder	88		2	63888.64
amba	25			22500
arithmetic	40	8		8103.44
blackbox-01X-QBF	122		11	67304.21
BMC	79			71100
bomb	10	8		3285.38
C5315	35			31500
C6288	56			50400
cycle-sched	40	1		31506.45
Debug	94			84600
disjunctive_decomposition	43	6		14405.8
driver	34	6		71.43
dungeon	44			39600
evader-pursuer-6x6-logarithmic	23			20700
evader-pursuer-6x6-standard	51			45900
evader-pursuer-8x8-logarithmic	31			27900
formula_add	35			31500
fpu	14		6	3751.15
genbuf	14			12600
genpatch	20	1		14420.04
gttt-4x4_2020	10		2	7322.99
HardwareFixpoint	259	15	14	113360.9
hwmcc	12			10800
incrementer-encoder	50	3	7	10260.78
irqlkeapclte	121			108900
ISCAS89	13	8	2	1396.65
ITC99	62	6		33418.61
jmc_quant	29			26100
jmc_quant_squaring	62			55800
k_branch_n	45	4		11134.32
k_branch_p	51		3	14733.41
k_ph_n	18	3		4582.83
k_ph_p	46			41400
LinearBitvectorRankingFunction	79		4	51022.36
ltl2aig-comp	18		1	13546.23
LTL2DBA	12	2		38.99
LTL2DPA	7	1		44.45
mqm	76			68400
mult-matrix	35	3		16598.2
Planning-CTE	138	1	1	118816.62
QBF-Hardness	60			54000
RankingFunctions	39	10		110.68
Reduction-finding	130	13	8	87634.36
s1269	41			33768.28
s3330	26			22277.07
s820	17			8920.17
sketch	44			39600
Sorting_networks	111			87759.6
SzymanskiP	25			22500
terminator	85			76500
tipdiam	72	2		60148.62
tipfixpoint	79	1		61281.51
toy	30	4		4597.54
trafficlight-controller	30		10	1989.42
wmiforward	70	9		6327.97

QBF Solver Evaluation Portal