Suite Mangassarian-Veneris results for solvers <br> QBFEVAL'16

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
ghostq-cegar	3474.14	347.41	261.53	442.87	595.78	0.2
ghostq-plain	3481.61	348.16	260.37	441.92	590.29	0.2
qsts	4576.36	457.64	237.52	598.87	599.01	0.2
quabs-minisat	4818.64	481.86	235.72	599.71	587.51	0.2
quabs-picosat	4805.02	480.5	238.45	599.71	592.83	0.2
rareqs-nn	4847.6	484.76	219.85	595.26	508.41	0.2
xb-bid-qsts	4800.67	480.07	239.13	599.72	597.23	0.2
xb-qsts	4800.74	480.07	239.16	599.72	597.43	0.2

QBF Solver Evaluation Portal