caqe-pre results solving families

Family	# Total	# Sat	# Unsat	Time
Adder	88	5	2	16171.91
amba	25	3	1	6993.21
arithmetic	40	8		12149.04
blackbox-01X-QBF	122		20	4774.27
BMC	79	7	3	21475.98
bomb	10	10		1889.69
C5315	35			31500
C6288	56			50400
cycle-sched	40	6	1	12779.88
Debug	94	4		62751.06
disjunctive_decomposition	43	7	1	14819.37
driver	34	6		31.2
dungeon	44		10	1145.28
evader-pursuer-6x6-logarithmic	23			20700
evader-pursuer-6x6-standard	51			45900
evader-pursuer-8x8-logarithmic	31			27900
formula_add	35	5		19675.18
fpu	14	4	6	1881.14
genbuf	14		2	2280.64
genpatch	20	1	1	15352.44
gttt-4x4_2020	10	3	6	5193.9
HardwareFixpoint	259	15	26	60334.32
hwmcc	12	1		4885.49
incrementer-encoder	50	3	7	862.61
irqlkeapclte	121			108900
ISCAS89	13	8	2	23.98
ITC99	62	4	1	37614.6
jmc_quant	29	1	1	20079.24
jmc_quant_squaring	62	1	1	43335.45
k_branch_n	45	5		6065.22
k_branch_p	51		5	7364.94
k_ph_n	18	5		52.42
k_ph_p	46		1	40528.98
LinearBitvectorRankingFunction	79	4	4	29974.03
ltl2aig-comp	18	1	2	4481.73
LTL2DBA	12	2		2261.32
LTL2DPA	7	1		3157.91
mqm	76	7	3	2590.03
mult-matrix	35	5		7676.55
Planning-CTE	138	5	32	13491.39
QBF-Hardness	60	1	9	18386.12
RankingFunctions	39	10		0.39
Reduction-finding	130	21	28	35048.95
s1269	41			36900
s3330	26			23400
s820	17		1	10501.74
sketch	44		3	26895.6
Sorting_networks	111	2	7	18360.68
SzymanskiP	25		2	6540.9
terminator	85	1	9	185.31
tipdiam	72	7		24886.32
tipfixpoint	79	8		10165.76
toy	30	5		2288.96
trafficlight-controller	30		10	92.34
wmiforward	70	10		13103.56

QBF Solver Evaluation Portal