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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert3623.97362.4291.01599.86599.860.2
caqe-picosat-cert3688.77368.88286.53600599.640.3
cheq11.71.172.950.110.120
depqbf-cert-v13024.22302.42300.47272.3601.520.1
depqbf-cert-v24450.38445.04290.25623.57643.510.3