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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-par1952.39195.24264.452.63169.20.8
caqe-picosat-par1393.26139.33235.82.812.470.8
hiqqerfork579.5757.96162.060.672.021
hordeqbf751.1375.11176.81.0911.090.9
mpiDepQBF776.277.62176.960.3512.310.9
par-pd-depqbf1778.44177.84265.811.2723.080.8