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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-par2.220.220.120.210.211
caqe-picosat-par2.210.220.120.210.211
hiqqerfork0.530.050.020.050.041
hordeqbf5403.06540.31179.0860000.1
mpiDepQBF5404.08540.41178.7860000.1
par-pd-depqbf6.110.610.20.5101