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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert1217.79121.788.92120.9512.760
caqe-picosat-cert2169.7216.9735.01223.4630.410.1
cheq6175.65617.5711.93614.018.870
depqbf-cert-v11346.49134.65214.010.414.90.7
depqbf-cert-v26113.61611.368.25609.238.20