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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-par14027.85250.5286.3120.99599.820.607
caqe-picosat-par13779.6246.06288.565.85599.80.607
hiqqerfork13916.23248.5284.761.31599.890.625
hordeqbf14078.75251.41291.974.58598.940.589
mpiDepQBF13597.52242.81288.72.4599.930.607
par-pd-depqbf8497.22151.74248.530.52323.540.786