HomeIsabelle/Phabricator

tweaked Vampire's options + tuning