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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-par611.2261.12179.631.141.730.9
caqe-picosat-par611.261.12179.631.141.720.9
hiqqerfork608.8660.89179.710.931.420.9
hordeqbf4205.18420.52274.16600598.940.3
mpiDepQBF4205.86420.59274.06600599.430.3
par-pd-depqbf608.1260.81179.731.010.510.9