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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-par0.810.080.040.080.071
caqe-picosat-par0.760.080.040.080.061
hiqqerfork0.30.030.010.030.011
hordeqbf3616.26361.63291.96600598.940.4
mpiDepQBF621.9962.2179.30.621.510.9
par-pd-depqbf5.10.5100.5101