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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-par4326.36432.64257.19600589.010.4
caqe-picosat-par4234.45423.45269.73600588.910.3
hiqqerfork3678.79367.88284.83600596.710.4
hordeqbf3633.85363.39289.9600598.840.4
mpiDepQBF3644.8364.48288.58600598.850.4
par-pd-depqbf4253.22425.32266.93600581.920.3