#trees: 5.  #different trees: 5.

A quick upper bound on the reticulation number: 14

MAAF bound: 9
Extra bound: 1
*** rMAAF bound: 10 ***
Time spent on computing the rMAAF bound: 1(s)

*** RH bound so far: 11 ***

*** Final lower bound: 11 ***

Total time: 2(s)