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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-par2407.38240.74293.342.57599.740.6
caqe-picosat-par2414.26241.43292.784.8599.730.6
hiqqerfork2117.38211.74269.853.02310.550.7
hordeqbf2412.38241.24292.934.07598.940.6
mpiDepQBF2406.72240.67293.393.19599.930.6
par-pd-depqbf2411.6241.162934.28599.490.6