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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-par3711.5371.15281.94600599.990.4
caqe-picosat-par3822.11382.21273.58600599.990.4
hiqqerfork4200.06420.01274.95600599.980.3
hordeqbf4203.15420.32274.47600598.950.3
mpiDepQBF1295.86129.59236.041.5325.350.8
par-pd-depqbf4201.54420.15274.72600599.490.3