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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert1776.03177.6200.6285.47283.180.2
caqe-picosat-cert3343.58334.36282.56470.57599.890.1
cheq2032.43203.24234.0324.76442.380.4
depqbf-cert-v12632.46263.25306.2239.36615.810.6
depqbf-cert-v22623.34262.33309.7227.27617.40.6