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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-par3018.73301.87298.17308.67599.710.5
caqe-picosat-par786.1778.62176.513.0117.120.9
hiqqerfork624.5462.45179.22.044.910.9
hordeqbf614.6361.46179.521.060.010.9
mpiDepQBF619.9562179.420.10.510.9
par-pd-depqbf665.866.58177.192.276.020.8