Family incrementer-encoder results for solvers
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert2727.32272.73271.6195.4582.150.6
caqe-picosat-cert3381.36338.14236.5313.31565.20.5
cheq2457.56245.76297.195.7600.790.6
depqbf-cert-v12559.7255.97309.865.62619.620.6
depqbf-cert-v22616.99261.7317.554.76623.110.6