Fig. 10From: Evaluation of properties over phylogenetic trees using stochastic logicsTime required in PRISM for the computation of the upper bound of the maximum likelihood valueBack to article page