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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert2019.91201.99207.1128.63150.950.2
caqe-picosat-cert2137.61213.76155.78221.69224.50.2
cheq4285.75428.58279.76608.57607.940.3
depqbf-cert-v12429.47242.95295.523.07599.010.3
depqbf-cert-v24418.16441.82288.9619.22633.010.3