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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar0.490.10.060.070.011
ghostq-plain0.450.090.050.070.011
qsts1243.6248.72236.29201.79313.480.6
quabs-minisat0.0200.0100.011
quabs-picosat0.0200.01001
rareqs-nn0.490.10.040.0801
xb-bid-qsts0.620.120.080.090.011
xb-qsts0.60.120.080.090.021