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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert3241.92324.19228.7188.24484.860
caqe-picosat-cert2756.86275.69182.76163.6817.20
cheq6099.89609.994.91609.744.380
depqbf-cert-v15642.86564.29179.66619.6314.120.1
depqbf-cert-v25728.47572.85167.53627.188.80.1