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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-par7.771.32.620.050.081
caqe-picosat-par7.781.32.610.070.091
hiqqerfork5.490.921.740.040.031
hordeqbf1803.17300.53299.47300.53598.950.5
mpiDepQBF1800.17300.03299.97300.03599.950.5
par-pd-depqbf443.0273.84160.390.770.51