Suite Diptarama-Jordan-Shinohara results for solvers
QBFEVAL'16 - Prenex non-CNF Track.

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar1235247288.2132.65314.720.6
ghostq-plain77.5915.5224.680.665.711
qsts9.821.963.760.070.121
quabs-minisat8416.819.990.6119.811
quabs-picosat117.6723.53371.139.021
rareqs-nn2998.46599.690.04599.710.050
xb-bid-qsts1261.54252.31283.7730.88299.540.6
xb-qsts1206.03241.21292.722.97299.520.6