Family evader-pursuer-6x6-standard results for solvers
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-par4800600060000
caqe-picosat-par4800600060000
hiqqerfork4800600060000
hordeqbf4121.77515.22159.65600106.90.25
mpiDepQBF4800600060000
par-pd-depqbf4800600060000