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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-par1938.39193.84249.4220.43206.710.8
caqe-picosat-par1941.52194.15249.9520.36205.460.8
hiqqerfork23.562.362.242.052.791
hordeqbf4253.63425.36267.08600598.930.3
mpiDepQBF4810.62481.06237.88600590.330.2
par-pd-depqbf2082.76208.28245.8964.76243.360.8