depqbf-pre results solving families

Family	# Total	# Sat	# Unsat	Time
Abduction	172	30	19	14955.02
Adder	110	1	1	122673.92
blackbox-01X-QBF	200		13	193400.91
blackbox_design	13			15602.21
Blocks	44	1	3	17800.34
BMC	85	5	9	48803.53
C432	39	1	1	29523.19
C499	21		1	14407.09
C5315	77	1	1	68460.85
C6288	43			51606.88
C880	10	1		2
Chain	12	1		121.12
circuits	11	2		8613.77
comp	8		2	0.16
conformant_planning	92	4	1	71790.15
Connect4	34		8	14699.03
Counter	17	2		12658.54
Debug	30			36005.17
evader-pursuer-4x4-logarithmic	25	2		12024.79
evader-pursuer-4x4-standard	65			78010.47
evader-pursuer-6x6-logarithmic	34		2	22350.28
evader-pursuer-6x6-standard	16			19203.68
evader-pursuer-8x8-logarithmic	59		3	39489.59
FPGA_PLB_FIT_FAST	16	1	1	0.83
FPGA_PLB_FIT_SLOW	10		1	2026.97
Impl	8	1		0.13
jmc_quant	13			15602.02
jmc_quant_squaring	13			15602.08
k_branch_n	32	1		28241.86
k_branch_p	61		1	68892.02
k_d4_n	55			66009.06
k_d4_p	28		2	24521.34
k_dum_n	11			13201.85
k_dum_p	25		2	24640.56
k_grz_n	22	3		12407.39
k_grz_p	21		2	7293.91
k_lin_n	22	5		5903.6
k_lin_p	25		4	14.95
k_path_n	12			14401.84
k_path_p	29			34804.84
k_ph_n	30	6		435.43
k_ph_p	25		2	23212.71
k_poly_n	26	4		0.68
k_poly_p	11		2	0.37
k_t4p_n	26			31204.1
k_t4p_p	41		1	37241.95
Logn	10		1	19.8
mqm	483	66	70	33219.28
s1196	9			10801.62
s1269	8			9599.92
s27	11			13201.87
s298	16			19202.75
s3330	21			505.28
s386	8			9601.6
s499	13			15602.61
s510	14			7419.36
s713	13			15602.4
s820	8			9601.46
Sorting_networks	22	1	2	14765.53
SzymanskiP	22		1	15615.58
term1	30	1	2	9412.76
tipdiam	36	5		26545.27
tipfixpoint	74		9	58814.19
Toilet	21	3	1	3271.74
ToiletA	17	5	5	3.86
ToiletC	39	15	8	128.78
ToiletG	27	4		0.17
VonNeumann	15		2	467.36
z4ml	8		1	0.13

QBF Solver Evaluation Portal