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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert3145.3314.53165.23291.27236.060
caqe-picosat-cert3408.33340.83208.38183.05425.550
cheq4774.45477.45210.68602.09460.530.3
depqbf-cert-v1693.1169.31104.281.216.130
depqbf-cert-v25660.28566.03100.77593.271.50