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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar9151.8136.61137.312.793.130.044
ghostq-plain9466.2437.86139.022.583.140.044
qsts54253.08217.01247.244.14452.790
quabs-minisat36116.05144.46145.58107.74109.310.02
quabs-picosat49965.1199.86196.71135.9892.60.012
rareqs-nn13856.3655.43169.083.043.090.012
xb-bid-qsts23.750.10.130.0501
xb-qsts23.530.090.160.0501