iprover_bloqqer_single results solving families

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

QBF Solver Evaluation Portal