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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert2833.64283.36159.63217.3943.260
caqe-picosat-cert3665.88366.59191.59243.36412.90
cheq5673.77567.3846.25572.6177.80
depqbf-cert-v12210.58221.06262.5855.4518.910
depqbf-cert-v24607.15460.72269.01632.76587.190