Suite Peitl results for solvers
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert5408.62540.86180.16599.770.10.1
caqe-picosat-cert5398.42539.84179.83599.820.10.1
cheq0.470.050.050.0201
depqbf-cert-v12818.6281.86288.28134597.470.4
depqbf-cert-v23014.41301.44313.11131.44634.230.4