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

QBF Solver Evaluation Portal