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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert972.2897.235.0896.718.050
caqe-picosat-cert1805.12180.519.7180.1512.670
cheq6111.23611.126.35608.546.230
depqbf-cert-v13014.11301.41301.38300.27600.620
depqbf-cert-v26142.95614.322.83604.838.280