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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-par5696.95569.790.9260000.1
caqe-picosat-par4215.95421.6272.52600592.690.3
hiqqerfork360.3436.0340.7226.9633.581
hordeqbf173.0217.326.183.062.011
mpiDepQBF56.255.637.971.521.561
par-pd-depqbf1305.41130.54181.1649.4391.80.9