GRS file{{ grs_files.length > 1 ? "s" : "" }}: ••• {{ strat_kind }}: ••• Other:
{{key}}: {{obj}}
No graphs produced
grs file: {{ selected_grs_file }} ••• Strategy: {{ selected_strat }} ••• Total number of rules applied: {{ log_rewrite.rules }} ••• Time: {{ log_rewrite.time.toFixed(3) }} s
{{key}}: {{obj}}
↓↓
No rules apply
grs file: {{ selected_grs_file }} ••• Strategy: {{ selected_strat }}
{{key}}: {{obj}}
↓