Parses the output of the automated theorem prover Vampire.
Matches the output lines printed by the options --show_everything, --show_active, --show_new etc.
Run vampire --show_everything on to generate a compatible string.
Submitted by Filip Bártek - 2 years ago