Suite Kronegger-Pfandler-Pichler results for solvers <br> QBFEVAL'16

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
ghostq-cegar	2721.71	272.17	232.15	176.95	322.95	0.4
ghostq-plain	3066.06	306.61	242.75	178.07	511	0.3
qsts	647.33	64.73	70.96	35.53	98.63	0.6
quabs-minisat	4220.74	422.07	271.35	599.71	591.12	0.3
quabs-picosat	4135.48	413.55	264.3	599.71	582.8	0.4
rareqs-nn	5276.53	527.65	163.07	596.61	154.18	0.2
xb-bid-qsts	3903.11	390.31	255.46	585.38	580.9	0.5
xb-qsts	4580.19	458.02	221.71	599.66	416.12	0.3

QBF Solver Evaluation Portal