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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert3214.57459.22228.99600593.30.286
caqe-picosat-cert3003.44429.06270.28600598.960.286
cheq3061.93437.42273.25601.05600.940.286
depqbf-cert-v13174.58453.51288.8621.12624.410
depqbf-cert-v22749.02392.72290608.87617.010.286