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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar4.950.990.441.030.531
ghostq-plain604.79120.96239.430.861.480.8
qsts0.190.040.020.030.031
quabs-minisat623.91124.78237.535.799.350.8
quabs-picosat613.3122.66238.544.85.480.8
rareqs-nn20.194.042.543.0531
xb-bid-qsts31.956.3910.911.081.21
xb-qsts4.660.930.620.880.641