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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-par0.50.050.030.050.031
caqe-picosat-par0.480.050.030.050.031
hiqqerfork0.270.030.010.030.011
hordeqbf3604.22360.42293.42600598.950.4
mpiDepQBF3580.4358.04292.04589.31599.930.5
par-pd-depqbf5.10.5100.5101