Family s641 results for solvers
QBFEVAL'16 - Prenex non-CNF Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar72.7714.5515.586.4716.391
ghostq-plain55.6611.1312.991.4612.291
qsts0.660.130.120.060.141
quabs-minisat8.511.71.910.422.021
quabs-picosat32.46.487.720.697.281
rareqs-nn1607.95321.59271.46407.75503.340.6
xb-bid-qsts3.470.690.410.740.611
xb-qsts3.420.680.40.750.621