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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar0.910.180.080.150.111
ghostq-plain0.760.150.070.120.071
qsts0.090.020.010.020.011
quabs-minisat0.610.120.10.070.11
quabs-picosat0.820.160.150.080.131
rareqs-nn2998.55599.710599.7100
xb-bid-qsts0.730.150.060.120.071
xb-qsts0.730.150.060.120.071