Full evaluation results of the MSS and FME algorithm on BioPortal ontologies (only for Bot-locality). In the FME spreadsheet, "Redundancy" column shows how much (in %) an FME module is larger than the ME module. This could happen only when dirty atoms are included into the module. This overhead should always be 0 whenever the MSS algorithm has managed to compute all MSS sets for every atom.