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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert1584.18158.42148.6118.9641.610.1
caqe-picosat-cert2934.85293.49174.52252.37229.80.1
cheq5516.41551.64183.57612.257.260.1
depqbf-cert-v15582.11558.21186.11616.9810.90
depqbf-cert-v25672.71567.27181.5624.6415.40.1