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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar195.1439.0371.164.755.511
ghostq-plain1264.64252.93284.2364.35331.80.6
qsts1008.18201.64249.3414.6203.130.8
quabs-minisat257.2751.4561.564.3259.651
quabs-picosat1204.72240.94293.084.56301.950.6
rareqs-nn765.21153.04226.3456.4375.620.8
xb-bid-qsts94.7818.9614.8925.0825.161
xb-qsts8.591.721.341.051.451