WATCH: 0.00 CPU 0.01 WC

WATCH: 3.00 CPU 3.02 WC


 No.of.Axioms: 29
.
WATCH: 6.01 CPU 6.03 WC

WATCH: 9.01 CPU 9.04 WC

WATCH: 12.01 CPU 12.05 WC
................
WATCH: 15.01 CPU 15.06 WC

WATCH: 18.02 CPU 18.07 WC

WATCH: 21.02 CPU 21.08 WC

WATCH: 24.03 CPU 24.09 WC
..........
WATCH: 27.03 CPU 27.11 WC

WATCH: 30.04 CPU 30.12 WC

WATCH: 33.07 CPU 33.14 WC

WATCH: 36.09 CPU 36.15 WC

WATCH: 39.11 CPU 39.16 WC

WATCH: 42.13 CPU 42.17 WC

WATCH: 45.13 CPU 45.18 WC

WATCH: 48.15 CPU 48.19 WC

WATCH: 51.16 CPU 51.20 WC

WATCH: 54.17 CPU 54.21 WC

WATCH: 57.19 CPU 57.23 WC

WATCH: 60.20 CPU 60.24 WC

WATCH: 63.21 CPU 63.25 WC

WATCH: 66.24 CPU 66.27 WC

WATCH: 69.25 CPU 69.28 WC

WATCH: 72.26 CPU 72.29 WC

WATCH: 75.27 CPU 75.31 WC

WATCH: 78.29 CPU 78.32 WC

WATCH: 81.29 CPU 81.33 WC
sh: /CW/home-0/sutcliff/Systems/LEO-II---1.2.8/childkillah: No such file or directory
..
WATCH: 87.25 CPU 84.34 WC

WATCH: 93.27 CPU 87.35 WC

WATCH: 99.29 CPU 90.36 WC
................
WATCH: 105.32 CPU 93.37 WC

WATCH: 111.33 CPU 96.38 WC

WATCH: 117.36 CPU 99.40 WC

WATCH: 123.38 CPU 102.41 WC
..........
WATCH: 129.35 CPU 105.42 WC

WATCH: 135.39 CPU 108.43 WC

WATCH: 141.44 CPU 111.44 WC

WATCH: 147.48 CPU 114.46 WC

WATCH: 153.50 CPU 117.47 WC

WATCH: 159.55 CPU 120.49 WC

WATCH: 165.57 CPU 123.50 WC

WATCH: 171.63 CPU 126.52 WC

WATCH: 177.66 CPU 129.53 WC

WATCH: 183.70 CPU 132.55 WC

WATCH: 189.72 CPU 135.56 WC

WATCH: 195.77 CPU 138.57 WC

WATCH: 201.77 CPU 141.59 WC

WATCH: 207.83 CPU 144.60 WC

WATCH: 213.86 CPU 147.62 WC

WATCH: 219.92 CPU 150.64 WC

WATCH: 225.96 CPU 153.65 WC

WATCH: 231.97 CPU 156.67 WC
sh: /CW/home-0/sutcliff/Systems/LEO-II---1.2.8/childkillah: No such file or directory
..
[E:600s]
WATCH: 238.31 CPU 159.69 WC
[E:600s][E:600s][E:600s][E:600s].
[E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s]
WATCH: 247.19 CPU 162.70 WC
[E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s].
[E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s]
WATCH: 255.49 CPU 165.72 WC
[E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s].
[E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s]
WATCH: 264.27 CPU 168.74 WC
[E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s].
[E:600s][E:600s][E:600s][E:600s]
WATCH: 273.11 CPU 171.75 WC
[E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s]
WATCH: 282.12 CPU 174.77 WC
[E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s].
[E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s]
WATCH: 291.18 CPU 177.79 WC
[E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s][E:600s]
WATCH: 300.20 CPU 180.80 WC
Unprocessed: prove-with-fo-atp e
Exception: Leo.Termination

Cmdline.Bad_command
eprover: eprover: CPU time limit exceeded, terminating
eprover: CPU time limit exceeded, terminating

FINAL WATCH: 300.20 CPU 180.93 WC