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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert1546.36154.6416.53156.2620.990
caqe-picosat-cert2430.76243.0819.62238.7324.110
cheq6205.88620.5913.44615.6311.230
depqbf-cert-v15992.69599.275.08597.994.40
depqbf-cert-v26092.49609.256.2607.648.070