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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert0.210.030.020.020.031
caqe-picosat-cert0.270.030.030.020.051
cheq0.150.020.010.020.010.5
depqbf-cert-v10.450.060.040.040.080.5
depqbf-cert-v20.540.070.040.070.11