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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert0.270.030.010.030.021
caqe-picosat-cert0.190.020.010.020.011
cheq0.10.0100.0101
depqbf-cert-v152.925.2912.820.10.280
depqbf-cert-v20.370.040.030.030.011