Solver	Total		Sat		Unsat		Unique
Solver	#	Time	#	Time	#	Time	#	Time
xb-bid-qsts	804	6807.77	675	2622.97	129	4184.8	11	1367.03
xb-qsts	792	4824.48	664	1004.61	128	3819.87	0	0
qsts	529	3972.72	208	978.06	321	2994.66	7	20.43
ghostq-cegar	524	9009.13	231	5391.7	293	3617.43	4	1096.08
ghostq-plain	521	7739.63	229	2802.33	292	4937.3	0	0
quabs-picosat	509	4784.62	223	2047.07	286	2737.55	0	0
quabs-minisat	503	4287.17	217	2608.65	286	1678.52	0	0
rareqs-nn	403	7427.47	174	3161.98	229	4265.49	1	30.25
ghostq-cegar	0	0	0	0	0	0	0	0
ghostq-plain	0	0	0	0	0	0	0	0
quabs-minisat	0	0	0	0	0	0	0	0
quabs-picosat	0	0	0	0	0	0	0	0
qsts	0	0	0	0	0	0	0	0
rareqs-nn	0	0	0	0	0	0	0	0
xb-bid-qsts	0	0	0	0	0	0	0	0
xb-qsts	0	0	0	0	0	0	0	0

	Problematic solver
	Hors-Concours solver

QBF Solver Evaluation Portal