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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-par2483.46248.35287.5241.38599.860.6
caqe-picosat-par2507.25250.73285.8653.27599.850.6
hiqqerfork2459.23245.92289.3229.44599.910.6
hordeqbf2425.23242.52291.910.23598.840.6
mpiDepQBF2432.61243.26291.3113.16599.460.6
par-pd-depqbf3032.67303.27296.77309.29598.980.5