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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert1849.14184.91227.8264.02229.50.7
caqe-picosat-cert1922.69192.27253.1944.19109.340.8
cheq3678.22367.82300.2603.96611.530.4
depqbf-cert-v12495.93249.59301.2111.11612.50
depqbf-cert-v22671.14267.11293.8890.166110.6