Playground

TPTP problem (highlighted)

Vampire command-line arguments--proof on --time_limit 1

Output

Ready.