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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar6678.39333.92191.79296.57413.860.15
ghostq-plain3958.48197.92128.31189.81213.710.3
qsts7587.22379.36158.94306.85336.380.05
quabs-minisat11225.51561.28126.65599.7100.1
quabs-picosat10543.12527.16176.44599.710.050.15
rareqs-nn10430.02521.5156.08599.470.360
xb-bid-qsts7966.83398.34266.65599.26552.350.4
xb-qsts7921.51396.08269.66599.26554.610.4