LEO-II: read-problem-file /CW/home-0/sutcliff/CASC/23/Problems/TEQ/TEQ167.p
line 11, characters 11-12: syntax error

Can't read file /CW/home-0/sutcliff/CASC/23/Problems/TEQ/TEQ167.p: Syntax Error
* Try again.

LEO-II: prove-with-fo-atp e

LEO II: timeout set (60 seconds).
No proof problem given.

0.000: Total Reasoning Time ()

WATCH: 0.00 CPU 0.01 WC

WATCH: 0.00 CPU 3.04 WC

FINAL WATCH: 0.00 CPU 3.04 WC