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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar1.750.350.190.360.261
ghostq-plain1.50.30.180.270.191
qsts0.140.030.010.020.011
quabs-minisat1.410.280.230.160.271
quabs-picosat0.770.150.070.130.111
rareqs-nn2998.65599.730.04599.7100
xb-bid-qsts1.490.30.160.260.231
xb-qsts1.490.30.160.270.251