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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar672.19134.44156.1812.24163.440.6
ghostq-plain701.64140.33164.4510.2166.710.6
qsts1197.83239.57292.681.02298.340.6
quabs-minisat1219.69243.94290.5113.35303.070.6
quabs-picosat1246.36249.27286.3132.63309.020.4
rareqs-nn1227.48245.5288.7413.74298.570.6
xb-bid-qsts1028.71205.74232.2857.58186.950.8
xb-qsts1284.25256.85280.1458.12314.960.6