Suite Letombe results for solvers
QBFEVAL'16 - Prenex non-CNF Track.

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar620.1124.02238.010.549.660.8
ghostq-plain630.09126.02237.150.8214.690.8
qsts600.23120.05239.830.090.210.8
quabs-minisat608.03121.61239.070.044.130.8
quabs-picosat601.34120.27239.720.790.770.8
rareqs-nn1426.88285.38268.39219.39405.420.6
xb-bid-qsts669.8133.96233.225.7926.30.8
xb-qsts669.59133.92233.2225.8226.290.8