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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert601.09100.18223.530.270.130.833
caqe-picosat-cert627.07104.51226.534.143.040.833
cheq687.25114.54227.624.989.760.5
depqbf-cert-v1607.81101.3226.260.110.080.667
depqbf-cert-v2887.18147.86231.510.260.20.833