Family	Overall				Time	Hardness
Family	N	#	S	U	Time	EA	ME	MH
Adder	11	10	9	1	764.93		9	1
blackbox-01X-QBF	450	335	64	271	4646.15	6	317	12
blackbox_design	28	28	27	1	17.55		28
Blocks	6	6	1	5	13.85		6
BMC	132	112	65	47	926.42		109	3
C432	3	2	1	1	15.35		2
C499	2	2	1	1	2.4		2
C5315	3	3	1	2	8.18		3
C6288	1	1	1		0.4		1
C880	1	1	1		0.12		1
Chain	2	2	2		0.14		2
conformant_planning	24	15	9	6	1335.47		14	1
Connect4	1	1		1	0.9		1
Counter	3	3	3		7.72		3
Debug	38	29	26	3	4302.86		26	3
evader-pursuer-4x4-logarithmic	3	3	3		3.36		3
evader-pursuer-8x8-logarithmic	1	1		1	2.41		1
FPGA_PLB_FIT_SLOW	1	1		1	3.41		1
jmc_quant	3	3	2	1	29.41		3
k_branch_n	1	1	1		4.06		1
k_branch_p	2	2		2	3.54		2
k_d4_n	5	5	5		8.72		5
k_d4_p	5	5		5	0.82		5
k_dum_n	5	5	5		0.13		5
k_dum_p	4	4		4	0.12		4
k_grz_n	4	4	4		7.98		4
k_grz_p	4	4		4	1.48		4
k_lin_n	3	3	3		14.13		3
k_path_n	5	5	5		0.25		5
k_path_p	5	5		5	0.23		5
k_poly_n	6	6	6		0.14		6
k_t4p_n	6	6	6		2.85		6
k_t4p_p	6	6		6	1.31		6
MutexP	4	4	4		0.29		4
Qshifter	4	4	4		6.21		4
s27	2	2		2	0.14		2
s298	2	2	2		2.06		2
s386	1	1	1		0.28		1
s499	2	2	2		3.62		2
s510	1	1	1		0.2		1
s713	1	1	1		0.43		1
s820	1	1	1		0.76		1
Sorting_networks	53	52	30	22	1367.21		50	2
SzymanskiP	6	6		6	177.69		6
term1	2	2		2	13.46		2
tipdiam	85	68	57	11	1055.69	6	61	1
tipfixpoint	196	112	86	26	4042.57		111	1
Toilet	2	2	2		0.47		2

QBF Solver Evaluation Portal