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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar7456.36310.68289.79349.72589.550.458
ghostq-plain7476.17311.51290.67349.92589.70.458
qsts2853118.88219.250.6469.690.833
quabs-minisat8695.09362.3283.08599.71590.460.417
quabs-picosat4646.03193.58258.1311.55549.650.75
rareqs-nn4803.34200.14260.6226.93598.070.708
xb-bid-qsts5263.18219.3267.328.16597.930.75
xb-qsts6680.79278.37289.1680.99598.430.625