WATCH: 0.00 CPU 0.01 WC
................................
WATCH: 2.97 CPU 3.02 WC

WATCH: 5.98 CPU 6.03 WC

WATCH: 8.99 CPU 9.04 WC

WATCH: 11.99 CPU 12.06 WC

WATCH: 15.01 CPU 15.07 WC

WATCH: 18.01 CPU 18.09 WC

WATCH: 21.03 CPU 21.11 WC

WATCH: 24.04 CPU 24.12 WC

WATCH: 27.05 CPU 27.14 WC

WATCH: 30.06 CPU 30.15 WC

WATCH: 33.07 CPU 33.17 WC

WATCH: 36.07 CPU 36.18 WC

WATCH: 39.08 CPU 39.19 WC
.
WATCH: 42.09 CPU 42.21 WC

WATCH: 45.10 CPU 45.22 WC


 No.of.Axioms: 10188

WATCH: 48.11 CPU 48.24 WC
.................................................................................................................................................
WATCH: 51.12 CPU 51.25 WC
...................................
WATCH: 54.13 CPU 54.26 WC
...........................
WATCH: 57.14 CPU 57.28 WC
................................
WATCH: 60.14 CPU 60.29 WC

WATCH: 63.14 CPU 63.30 WC

WATCH: 66.15 CPU 66.31 WC

WATCH: 69.15 CPU 69.32 WC
..
WATCH: 72.15 CPU 72.33 WC

WATCH: 75.16 CPU 75.34 WC
......................................................
WATCH: 78.07 CPU 78.35 WC

WATCH: 81.08 CPU 81.36 WC

WATCH: 84.08 CPU 84.37 WC

WATCH: 87.08 CPU 87.38 WC

WATCH: 90.14 CPU 90.39 WC

WATCH: 93.28 CPU 93.40 WC

WATCH: 96.43 CPU 96.41 WC

WATCH: 99.55 CPU 99.42 WC

WATCH: 102.68 CPU 102.43 WC

WATCH: 105.80 CPU 105.44 WC

WATCH: 108.92 CPU 108.45 WC

WATCH: 112.06 CPU 111.45 WC

WATCH: 115.19 CPU 114.46 WC

WATCH: 118.34 CPU 117.47 WC

WATCH: 121.48 CPU 120.48 WC

WATCH: 124.59 CPU 123.49 WC

WATCH: 127.73 CPU 126.50 WC

WATCH: 130.85 CPU 129.51 WC

WATCH: 133.97 CPU 132.52 WC
sh: /CW/home-0/sutcliff/Systems/LEO-II---1.2.8/childkillah: No such file or directory
.
WATCH: 137.99 CPU 135.53 WC
..............................................................................................................................
WATCH: 144.13 CPU 138.54 WC

WATCH: 150.30 CPU 141.55 WC

WATCH: 156.51 CPU 144.56 WC

WATCH: 162.74 CPU 147.57 WC

WATCH: 168.92 CPU 150.58 WC
....
WATCH: 175.05 CPU 153.59 WC

WATCH: 181.19 CPU 156.60 WC

WATCH: 187.33 CPU 159.61 WC

WATCH: 193.47 CPU 162.62 WC

WATCH: 199.60 CPU 165.63 WC

WATCH: 205.73 CPU 168.64 WC

WATCH: 211.88 CPU 171.65 WC

WATCH: 218.02 CPU 174.66 WC

WATCH: 224.18 CPU 177.67 WC
....................................................
WATCH: 230.33 CPU 180.68 WC

WATCH: 236.45 CPU 183.69 WC

WATCH: 242.59 CPU 186.70 WC

WATCH: 248.73 CPU 189.71 WC

WATCH: 254.88 CPU 192.72 WC

WATCH: 261.00 CPU 195.73 WC

WATCH: 267.16 CPU 198.74 WC

WATCH: 273.37 CPU 201.75 WC

WATCH: 279.57 CPU 204.76 WC

WATCH: 285.79 CPU 207.77 WC

WATCH: 291.97 CPU 210.78 WC

WATCH: 298.11 CPU 213.79 WC

WATCH: 304.24 CPU 216.80 WC
Unprocessed: prove-with-fo-atp e
Exception: Leo.Termination

Cmdline.Bad_command
eprover: CPU time limit exceeded, terminating

FINAL WATCH: 304.24 CPU 216.94 WC