Based on RAxML's PlausibilityChecker, the RF-Opt algorithm compares a large phylogeny with a set of small trees and optimizes the average Robinson Fould distance via pruning.