Caqe-hqspre results solving families

Family	# Total	# Sat	# Unsat	Time
Adder	88	5	2	16148.85
amba	25	2	1	10220.2
arithmetic	40	6	0	16200
blackbox-01X-QBF	122	0	20	4763.22
BMC	79	5	3	32436.17
bomb	10	8	0	2512.19
C5315	35	0	0	31500
C6288	56	0	0	50400
cycle-sched	40	2	1	23332.4
Debug	94	7	0	55695.54
disjunctive_decomposition	43	3	1	22919.8
driver	34	6	0	31.16
dungeon	44	0	10	1147.24
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	3	0	22048.48
fpu	14	4	6	2028.02
genbuf	14	0	2	2351.38
genpatch	20	0	1	17778.8
gttt-4x4_2020	10	0	0	8882.7
HardwareFixpoint	259	16	26	59158.38
hwmcc	12	1	0	4886.68
incrementer-encoder	50	3	7	839.26
irqlkeapclte	121	0	0	108900
ISCAS89	13	8	2	24.82
ITC99	62	3	1	38060.91
jmc_quant	29	1	0	20700
jmc_quant_squaring	62	1	0	45129.47
k_branch_n	45	5	0	6008.03
k_branch_p	51	0	5	7594.42
k_ph_n	18	5	0	52.41
k_ph_p	46	0	0	41400
LinearBitvectorRankingFunction	79	4	4	29968.28
ltl2aig-comp	18	0	2	6651.54
LTL2DBA	12	1	0	4509.52
LTL2DPA	7	1	0	6081.74
mqm	76	7	3	2586.55
mult-matrix	35	4	0	9923.38
Planning-CTE	138	5	34	12615.07
QBF-Hardness	60	1	4	30657.12
RankingFunctions	39	10	0	0
Reduction-finding	130	20	26	36051.65
s1269	41	0	0	36900
s3330	26	0	0	23400
s820	17	1	1	8759.92
sketch	44	0	3	26895.3
Sorting_networks	111	2	6	23018.21
SzymanskiP	25	0	2	6548.78
terminator	85	1	9	185.98
tipdiam	72	7	0	24869.04
tipfixpoint	79	8	0	10167.24
toy	30	4	0	4539.36
trafficlight-controller	30	0	10	93.18
wmiforward	70	6	0	26139.55

QBF Solver Evaluation Portal