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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar2.450.490.280.490.291
ghostq-plain1.10.220.110.230.181
qsts0.110.020.010.020.021
quabs-minisat0.780.160.130.130.171
quabs-picosat1.880.380.340.30.451
rareqs-nn2399.14479.83239.76599.71299.710.2
xb-bid-qsts1.370.270.150.270.221
xb-qsts1.340.270.150.260.231