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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar1287160.88199.161.74271.950.625
ghostq-plain1924.15240.52244.2167.95481.350.5
qsts1040.46130.06135.984.44257.240.375
quabs-minisat4797.79599.720.03599.7100
quabs-picosat2999.56374.95290.17599.71599.220.375
rareqs-nn4196.82524.6198.16599.520.40.125
xb-bid-qsts2081.66260.21270.93137.31595.30.5
xb-qsts2078.71259.84271.15135.97595.480.5