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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-par3007.28375.91289.3600597.050.375
caqe-picosat-par3006.09375.76289.49600597.660.375
hiqqerfork3003.85375.48289.85600598.690.375
hordeqbf3013.26376.66288.35600593.910.375
mpiDepQBF3043.91380.49283.65600578.220.375
par-pd-depqbf2402.07300.26299.74300.26599.480.5