nenofex-qbfeval10 results solving families

Family	# Total	# Sat	# Unsat	Time
Abduction	172	23	19	43531.5
Adder	110	8	5	24402.02
blackbox-01X-QBF	200		11	27959.38
blackbox_design	13			2923.78
Blocks	44	2	3	673.17
BMC	85	5	7	32369.09
C432	39	1	3	17786.35
C499	21		2	64.62
C5315	77	1	2	11452.58
C6288	43			9936.63
C880	10			451.23
Chain	12	1		1.73
circuits	11	3		7240.4
comp	8		2	4.66
conformant_planning	92	4	4	32432.33
Connect4	34		6	13830.98
Counter	17	3		708.8
Debug	30			22913.45
evader-pursuer-4x4-logarithmic	25			30004.25
evader-pursuer-4x4-standard	65			56893.28
evader-pursuer-6x6-logarithmic	34			34385.87
evader-pursuer-6x6-standard	16			19202.96
evader-pursuer-8x8-logarithmic	59			33272.63
FPGA_PLB_FIT_FAST	16	1	1	172.71
FPGA_PLB_FIT_SLOW	10		1	90.93
Impl	8	1		0.1
jmc_quant	13		1	2468.16
jmc_quant_squaring	13			3402.1
k_branch_n	32	1		5245.8
k_branch_p	61		1	12956.73
k_d4_n	55			25688.63
k_d4_p	28		3	6412.96
k_dum_n	11	2		22.93
k_dum_p	25		4	71.79
k_grz_n	22	4		987.97
k_grz_p	21		3	771.24
k_lin_n	22	1		8257.94
k_lin_p	25		4	2167.53
k_path_n	12	3		2383.43
k_path_p	29		4	3497.5
k_ph_n	30	6		2637.87
k_ph_p	25		2	23270.31
k_poly_n	26	1		26477.64
k_poly_p	11			13199.92
k_t4p_n	26	2		4596.77
k_t4p_p	41		3	11523.9
Logn	10		1	226.45
mqm	483			419351.95
s1196	9			10801.44
s1269	8			9599.68
s27	11		1	4.14
s298	16	2		7286.28
s3330	21			7443.6
s386	8			9601.36
s499	13	1		14853.35
s510	14			9915.56
s713	13			15602.08
s820	8			9601.28
Sorting_networks	22	4	2	350.93
SzymanskiP	22			14717.97
term1	30		1	14769.07
tipdiam	36	2		14061.73
tipfixpoint	74		4	31573.32
Toilet	21	3	1	276.89
ToiletA	17	5	5	148.49
ToiletC	39	15	8	8.98
ToiletG	27	4		0.27
VonNeumann	15		1	124.5
z4ml	8		1	0.67

QBF Solver Evaluation Portal