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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-par7818.47260.62296.791.54599.870.567
caqe-picosat-par7420.39247.35290.361.54599.870.6
hiqqerfork7475.41249.18290.180.48599.950.6
hordeqbf7974.08265.8293.1612.27598.940.567
mpiDepQBF7829.84260.99296.465.74599.930.567
par-pd-depqbf4946.77164.89263.211.77117.870.733