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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert4687.3599.73145.1791.68120.10.447
caqe-picosat-cert6752.01143.66205.6522.63196.680.553
cheq11367.63241.86274.3363.39602.670.426
depqbf-cert-v113052.63277.72307.2337.94620.410.511
depqbf-cert-v213306.86283.12310.5436.84626.750.553