Family	Overall				Time	Reference solver
Family	N	#	S	U	Time	Reference solver
Adder	11	9	8	1	805.93	AQME-1NN
blackbox-01X-QBF	450	313	0	313	4582.62	AQME-1NN
blackbox_design	28	28	27	1	17.6	ncQuBE1.1
Blocks	6	6	1	5	20.77	sKizzo-0.10-qck
BMC	132	107	51	56	1029.14	QUANTOR_2.15
C432	3	2	1	1	413.14	QUANTOR_2.15
C499	2	2	1	1	114.85	AQME-1NN
C5315	3	3	1	2	8.53	QUANTOR_2.15
C6288	1	1	1	0	0.4	ncQuBE1.1
C880	1	1	1	0	0.12	qSS
Chain	2	2	2	0	0.14	QUANTOR_2.15
conformant_planning	24	13	8	5	981.63	QUANTOR_2.15
Connect4	1	1	0	1	0.9	AQME-1NN
Counter	3	3	3	0	9.37	AQME-1NN
Debug	38	22	22	0	3659.67	sKizzo-0.10-qck
evader-pursuer-4x4-logarithmic	3	3	3	0	3.36	AQME-1NN
evader-pursuer-8x8-logarithmic	1	1	0	1	2.41	sKizzo-0.10-std
FPGA_PLB_FIT_SLOW	1	1	0	1	3.41	preQuel_sKizzo-0.10
jmc_quant	3	3	2	1	29.63	ncQuBE1.1
k_branch_n	1	1	1	0	4.06	sKizzo-0.10-std
k_branch_p	2	2	0	2	3.56	sKizzo-0.10-std
k_d4_n	5	5	5	0	8.72	preQuel_sKizzo-0.10
k_d4_p	5	5	0	5	0.82	sKizzo-0.10-qck
k_dum_n	5	5	5	0	0.13	QUANTOR_2.15
k_dum_p	4	4	0	4	0.12	QUANTOR_2.15
k_grz_n	4	4	4	0	8	preQuel_sKizzo-0.10
k_grz_p	4	4	0	4	1.54	preQuel_sKizzo-0.10
k_lin_n	3	3	3	0	14.13	AQME-1NN
k_path_n	5	5	5	0	0.25	QUANTOR_2.15
k_path_p	5	5	0	5	0.23	QUANTOR_2.15
k_poly_n	6	6	6	0	0.14	QUANTOR_2.15
k_t4p_n	6	6	6	0	9.94	sKizzo-0.10-qck
k_t4p_p	6	6	0	6	1.44	sKizzo-0.10-qck
MutexP	4	4	4	0	0.29	sKizzo-0.10-std
Qshifter	4	4	4	0	6.37	sKizzo-0.10-std
s27	2	2	0	2	0.14	ncQuBE1.1
s298	2	2	2	0	2.06	ncQuBE1.0
s386	1	1	1	0	0.28	ncQuBE1.1
s499	2	2	2	0	3.66	ncQuBE1.1
s510	1	1	1	0	0.2	ncQuBE1.1
s713	1	1	1	0	0.43	ncQuBE1.1
s820	1	1	1	0	0.76	ncQuBE1.0
Sorting_networks	53	46	27	19	3673.06	AQME-1NN
SzymanskiP	6	6	0	6	177.69	ncQuBE1.1
term1	2	2	0	2	15.07	aigqbf_s
tipdiam	85	60	54	6	1139.26	ncQuBE1.1
tipfixpoint	196	110	73	37	4485.42	ncQuBE1.1
Toilet	2	2	2	0	0.72	sKizzo-0.10-qck

QBF Solver Evaluation Portal