Suite Scholl-Becker results for solvers <br> QBFEVAL'16

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
ghostq-cegar	6005.16	214.47	284.91	0.74	599.6	0.679
ghostq-plain	6401.97	228.64	284.53	2.76	599.7	0.679
qsts	6767.22	241.69	289.68	0.16	599.71	0.607
quabs-minisat	7359.84	262.85	292.22	33.26	599.7	0.571
quabs-picosat	7081.49	252.91	290.02	15.01	599.7	0.607
rareqs-nn	6843	244.39	275.71	35.32	599	0.643
xb-bid-qsts	1638.91	58.53	167.77	0.09	0.36	0.929
xb-qsts	1611.31	57.55	167.85	0.09	0.33	0.929

QBF Solver Evaluation Portal