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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar1202.58240.52293.212.56300.660.6
ghostq-plain1212.35242.47291.6512.47305.680.6
qsts1815.37363.07289.82599.71591.590.4
quabs-minisat1216.67243.33291.0416.75307.980.6
quabs-picosat1384.49276.9272.01184.35391.680.6
rareqs-nn1407.3281.46270.32206.46402.040.6
xb-bid-qsts1205.37241.07292.674.53301.070.6
xb-qsts1205.3241.06292.724.38301.060.6