Family k_path_p results for solvers
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-par0.990.10.040.110.081
caqe-picosat-par0.970.10.050.110.091
hiqqerfork0.330.030.010.030.011
hordeqbf4802.11480.21239.58600598.940.2
mpiDepQBF1203.91120.39239.80.570.350.8
par-pd-depqbf5.10.5100.5101