Consider the following output

Summary:
Passed time: 48821s
Generated mutants: 1346751
Used seeds: 6
Crash issues: 0
Unsound issues: 0
Timeout cases: 0
Ignored issues: 139924

A common questions (asked by students) seem to be: "What are Ignored Issues?".

Actions:

• (possibly) change the wording
• add a description about