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

WATCH: 6.00 CPU 6.03 WC

WATCH: 9.01 CPU 9.04 WC

WATCH: 12.01 CPU 12.05 WC

WATCH: 15.02 CPU 15.06 WC

WATCH: 18.02 CPU 18.06 WC
.

 No.of.Axioms: 0
.
WATCH: 21.02 CPU 21.07 WC

WATCH: 24.03 CPU 24.08 WC

WATCH: 27.03 CPU 27.09 WC

WATCH: 30.04 CPU 30.10 WC

WATCH: 33.05 CPU 33.12 WC

WATCH: 36.06 CPU 36.13 WC
...
WATCH: 39.06 CPU 39.15 WC

WATCH: 42.06 CPU 42.16 WC

WATCH: 45.07 CPU 45.17 WC

WATCH: 48.08 CPU 48.19 WC

WATCH: 51.08 CPU 51.20 WC

WATCH: 54.09 CPU 54.21 WC

WATCH: 57.10 CPU 57.23 WC

WATCH: 60.11 CPU 60.24 WC

WATCH: 63.11 CPU 63.25 WC

WATCH: 66.11 CPU 66.25 WC

WATCH: 69.12 CPU 69.26 WC

WATCH: 72.12 CPU 72.27 WC

WATCH: 75.12 CPU 75.28 WC

WATCH: 78.13 CPU 78.29 WC

WATCH: 81.13 CPU 81.30 WC

WATCH: 84.13 CPU 84.31 WC

WATCH: 87.14 CPU 87.32 WC

WATCH: 90.14 CPU 90.33 WC

WATCH: 93.15 CPU 93.34 WC

WATCH: 96.15 CPU 96.35 WC

WATCH: 99.15 CPU 99.36 WC

WATCH: 102.16 CPU 102.37 WC
...................................................................................................................
WATCH: 105.15 CPU 105.38 WC
.............................................................................................................................................
WATCH: 108.16 CPU 108.39 WC

WATCH: 111.16 CPU 111.40 WC

WATCH: 114.17 CPU 114.41 WC
sh: /CW/home-0/sutcliff/Systems/LEO-II---1.2.8/childkillah: No such file or directory
.
WATCH: 117.17 CPU 117.42 WC

WATCH: 120.17 CPU 120.43 WC

WATCH: 123.18 CPU 123.44 WC

WATCH: 126.18 CPU 126.45 WC

WATCH: 129.18 CPU 129.46 WC

WATCH: 132.19 CPU 132.47 WC

WATCH: 135.19 CPU 135.48 WC

WATCH: 138.20 CPU 138.49 WC
.................................................................................................................................................................................................................................................
WATCH: 141.20 CPU 141.50 WC
................
WATCH: 144.21 CPU 144.51 WC

WATCH: 147.21 CPU 147.52 WC

WATCH: 150.21 CPU 150.53 WC

WATCH: 153.22 CPU 153.54 WC

WATCH: 156.22 CPU 156.55 WC

WATCH: 159.22 CPU 159.56 WC

WATCH: 162.23 CPU 162.57 WC

WATCH: 165.23 CPU 165.58 WC

WATCH: 168.24 CPU 168.59 WC
.
WATCH: 171.24 CPU 171.60 WC

WATCH: 174.25 CPU 174.61 WC

WATCH: 177.25 CPU 177.62 WC

WATCH: 180.26 CPU 180.63 WC

WATCH: 183.26 CPU 183.64 WC

WATCH: 186.27 CPU 186.65 WC

WATCH: 189.27 CPU 189.66 WC

WATCH: 192.28 CPU 192.67 WC

WATCH: 195.28 CPU 195.68 WC
.........................
WATCH: 198.28 CPU 198.69 WC
....................................................................
WATCH: 201.29 CPU 201.69 WC
................................................................................
WATCH: 204.29 CPU 204.70 WC
.........................................................................................
WATCH: 207.29 CPU 207.71 WC
................................................................................................................
WATCH: 210.30 CPU 210.72 WC
.................................................................................................................................
WATCH: 213.30 CPU 213.73 WC

WATCH: 216.31 CPU 216.74 WC
sh: /CW/home-0/sutcliff/Systems/LEO-II---1.2.8/childkillah: No such file or directory
.
WATCH: 219.30 CPU 219.75 WC

WATCH: 222.30 CPU 222.76 WC

WATCH: 225.31 CPU 225.77 WC

WATCH: 228.31 CPU 228.78 WC

WATCH: 231.32 CPU 231.79 WC

WATCH: 234.32 CPU 234.80 WC
...........................................................................................
WATCH: 237.33 CPU 237.81 WC
......................................................................................................................................................................
WATCH: 240.33 CPU 240.82 WC

WATCH: 243.33 CPU 243.83 WC

WATCH: 246.34 CPU 246.84 WC

WATCH: 249.34 CPU 249.85 WC

WATCH: 252.35 CPU 252.86 WC

WATCH: 255.35 CPU 255.87 WC

WATCH: 258.35 CPU 258.88 WC

WATCH: 261.35 CPU 261.89 WC

WATCH: 264.36 CPU 264.90 WC

WATCH: 267.37 CPU 267.91 WC
.
WATCH: 270.36 CPU 270.92 WC

WATCH: 273.37 CPU 273.93 WC

WATCH: 276.37 CPU 276.94 WC

WATCH: 279.38 CPU 279.95 WC

WATCH: 282.38 CPU 282.96 WC

WATCH: 285.39 CPU 285.97 WC

WATCH: 288.39 CPU 288.98 WC

WATCH: 291.40 CPU 291.99 WC

WATCH: 294.40 CPU 295.00 WC
...............
WATCH: 297.40 CPU 298.01 WC
......................................................................
WATCH: 300.41 CPU 301.02 WC
..................
FINAL WATCH: 300.41 CPU 301.63 WC