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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-par13.361.341.340.851.261
caqe-picosat-par13.311.331.340.841.261
hiqqerfork5.430.540.580.330.461
hordeqbf25.572.561.811.731.241
mpiDepQBF3009.53300.95299.05302.37599.440.5
par-pd-depqbf4667.22466.72215.89600491.590.3