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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-par4267.37426.74264.99600589.190.3
caqe-picosat-par4269.63426.96264.65600588.170.3
hiqqerfork4317.17431.72253.19600564.840.4
hordeqbf6000600060000
mpiDepQBF6000600060000
par-pd-depqbf4204.04420.4274.34600599.490.3