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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar2861.28190.75266.829.31417.350.733
ghostq-plain2497.89166.53261.893.2474.490.733
qsts756.2650.42151.680.060.120.933
quabs-minisat2104.64140.31237.850.1456.170.8
quabs-picosat2441.38162.76263.710.3140.530.733
rareqs-nn4547.5303.17289.13339.49599.270.533
xb-bid-qsts3813.07254.2286.278.52599.140.6
xb-qsts3812.14254.14286.318.46599.220.6