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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-par6000600060000.1
caqe-picosat-par6000600060000
hiqqerfork6000600060000
hordeqbf6000600060000
mpiDepQBF6000600060000
par-pd-depqbf6000600060000