Dear Eduardo,
There is a quite accurate method to compute the probability of individual trees based on "conditional clade probabilities" that can work even when the trees are large.
Check out the following two papers:
Hohna S, Drummond AJ (2012) Guided tree topology proposals for Bayesian phylogenetic inference, Systematic Biology 61:1
Larget B. (2013) The estimation of tree posterior probabilities using conditional clade probability distributions. Systematic biology, 62:501-511.
I am planning on implementing this method in a new version of TreeLogAnalyzer in the next couple of months. Maybe somebody on the user group already knows of existing implementations that are easy to use?
Cheers
Alexei