SMOTIF and SMARTFINDER: comparison