ToposPro may fail for big nets because of the 3-minutes timeout of TopCryst: this happens for MIL-100 and MIL-101 among the tested structures. By comparison, CrystalNets.jl takes less than 10 s to handle them, but these timings are not comparable because we do not know the performance of the server on which the TopCryst webservice depends.