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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-par0.550.060.030.070.051
caqe-picosat-par0.550.060.030.070.051
hiqqerfork0.250.030.010.030.011
hordeqbf5401.06540.11179.6860000.1
mpiDepQBF5400.09540.01179.9760000.1
par-pd-depqbf5.110.5100.5101