A Critical Evaluation Study of Model-Log Metrics in Process Discovery · Study