No.of.Axioms: 5

WATCH: 0.00 CPU 0.01 WC
.
[E:60s]...............
[E:60s]
WATCH: 2.95 CPU 3.02 WC

WATCH: 5.95 CPU 6.03 WC
.
[E:60s].
[E:60s]..
[E:60s].
WATCH: 8.96 CPU 9.04 WC
.....
WATCH: 11.96 CPU 12.05 WC
.........
WATCH: 14.94 CPU 15.06 WC

[E:60s]...............
WATCH: 17.95 CPU 18.07 WC

WATCH: 20.95 CPU 21.08 WC
........
WATCH: 23.96 CPU 24.10 WC
.........
WATCH: 26.97 CPU 27.10 WC

[E:60s]..
WATCH: 29.95 CPU 30.11 WC

WATCH: 32.96 CPU 33.12 WC

WATCH: 35.96 CPU 36.13 WC

WATCH: 38.95 CPU 39.14 WC

WATCH: 41.96 CPU 42.15 WC

WATCH: 44.96 CPU 45.16 WC

WATCH: 47.97 CPU 48.17 WC

WATCH: 50.97 CPU 51.18 WC

WATCH: 53.97 CPU 54.19 WC

WATCH: 56.98 CPU 57.20 WC
.
WATCH: 59.98 CPU 60.21 WC

WATCH: 62.99 CPU 63.22 WC

WATCH: 65.99 CPU 66.23 WC

WATCH: 69.00 CPU 69.24 WC

WATCH: 72.00 CPU 72.25 WC
sh: /CW/home-0/sutcliff/Systems/LEO-II---1.2.8/childkillah: No such file or directory
.
[E:60s].
WATCH: 75.01 CPU 75.26 WC
.......
[E:60s].
[E:60s][E:60s].
[E:60s][E:60s].
WATCH: 77.96 CPU 78.27 WC
.......................
WATCH: 80.97 CPU 81.28 WC
.
WATCH: 83.97 CPU 84.29 WC

WATCH: 86.98 CPU 87.30 WC

WATCH: 89.98 CPU 90.31 WC

WATCH: 92.99 CPU 93.32 WC

WATCH: 96.00 CPU 96.33 WC

WATCH: 99.00 CPU 99.34 WC

WATCH: 102.00 CPU 102.35 WC

WATCH: 105.00 CPU 105.36 WC

WATCH: 108.01 CPU 108.37 WC

WATCH: 111.01 CPU 111.38 WC

WATCH: 114.02 CPU 114.39 WC

WATCH: 117.02 CPU 117.40 WC

WATCH: 120.02 CPU 120.41 WC

WATCH: 123.03 CPU 123.42 WC

WATCH: 126.03 CPU 126.43 WC

WATCH: 129.03 CPU 129.44 WC

WATCH: 132.03 CPU 132.45 WC

WATCH: 135.04 CPU 135.46 WC

WATCH: 138.04 CPU 138.47 WC

WATCH: 141.05 CPU 141.48 WC

WATCH: 144.06 CPU 144.49 WC

WATCH: 147.06 CPU 147.50 WC

WATCH: 150.07 CPU 150.51 WC

WATCH: 153.07 CPU 153.52 WC

WATCH: 156.07 CPU 156.53 WC

WATCH: 159.08 CPU 159.54 WC

WATCH: 162.08 CPU 162.55 WC

WATCH: 165.09 CPU 165.56 WC

WATCH: 168.09 CPU 168.57 WC
.
WATCH: 171.10 CPU 171.58 WC

WATCH: 174.11 CPU 174.59 WC

WATCH: 177.11 CPU 177.61 WC

WATCH: 180.12 CPU 180.62 WC

WATCH: 183.13 CPU 183.63 WC

WATCH: 186.14 CPU 186.64 WC

WATCH: 189.14 CPU 189.65 WC

WATCH: 192.15 CPU 192.66 WC

WATCH: 195.15 CPU 195.67 WC

WATCH: 198.15 CPU 198.68 WC

WATCH: 201.16 CPU 201.69 WC

WATCH: 204.16 CPU 204.70 WC

WATCH: 207.17 CPU 207.71 WC

WATCH: 210.17 CPU 210.72 WC

WATCH: 213.18 CPU 213.73 WC

WATCH: 216.18 CPU 216.74 WC

WATCH: 219.18 CPU 219.75 WC

WATCH: 222.19 CPU 222.76 WC

WATCH: 225.19 CPU 225.77 WC

WATCH: 228.20 CPU 228.78 WC

WATCH: 231.20 CPU 231.79 WC

WATCH: 234.21 CPU 234.80 WC

WATCH: 237.21 CPU 237.81 WC

WATCH: 240.21 CPU 240.82 WC

WATCH: 243.22 CPU 243.83 WC

WATCH: 246.22 CPU 246.84 WC

WATCH: 249.23 CPU 249.85 WC

WATCH: 252.24 CPU 252.86 WC

WATCH: 255.24 CPU 255.87 WC

WATCH: 258.24 CPU 258.88 WC

WATCH: 261.24 CPU 261.89 WC

WATCH: 264.25 CPU 264.90 WC

WATCH: 267.25 CPU 267.91 WC

WATCH: 270.26 CPU 270.92 WC

WATCH: 273.26 CPU 273.93 WC

WATCH: 276.27 CPU 276.94 WC

WATCH: 279.27 CPU 279.95 WC

WATCH: 282.28 CPU 282.96 WC

WATCH: 285.28 CPU 285.97 WC

WATCH: 288.29 CPU 288.98 WC

WATCH: 291.29 CPU 291.99 WC

WATCH: 294.30 CPU 295.00 WC

WATCH: 297.30 CPU 298.01 WC

WATCH: 300.31 CPU 301.02 WC
Unprocessed: prove-with-fo-atp e
Exception: Leo.Termination

Cmdline.Bad_command

FINAL WATCH: 300.31 CPU 301.27 WC