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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-par3.080.310.420.170.141
caqe-picosat-par3.090.310.420.170.151
hiqqerfork0.410.040.020.030.011
hordeqbf3005.32300.53299.47300.54598.940.5
mpiDepQBF3000.38300.04299.96300.05599.930.5
par-pd-depqbf6.120.610.30.5101