Suite Cashmore-Fox-Giunchiglia results for solvers
QBFEVAL'16 - Prenex non-CNF Track.

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar827.01275.67137.68258.62142.40.333
ghostq-plain378.2126.07104.12116.22112.470.333
qsts1195.66398.55281.45596.71596.190.333
quabs-minisat1794.93598.311.99599.714.210.333
quabs-picosat1217.88405.96274.01599.71581.260.333
rareqs-nn1182.86394.29275.9585.31581.170.333
xb-bid-qsts1202.13400.71281.44599.72597.030.333
xb-qsts1202.17400.72281.49599.72597.090.333