Vampire

0

Execution time 0.007838 sec