WATCH: 0.00 CPU 0.01 WC


 No.of.Axioms: 26
.......
WATCH: 3.58 CPU 3.02 WC

WATCH: 7.01 CPU 6.03 WC

WATCH: 10.43 CPU 9.04 WC

WATCH: 13.83 CPU 12.05 WC

WATCH: 17.24 CPU 15.06 WC

WATCH: 20.71 CPU 18.07 WC

WATCH: 24.10 CPU 21.08 WC

WATCH: 27.53 CPU 24.09 WC

WATCH: 30.88 CPU 27.10 WC

WATCH: 34.26 CPU 30.10 WC

WATCH: 37.64 CPU 33.11 WC

WATCH: 41.05 CPU 36.13 WC

WATCH: 44.44 CPU 39.15 WC

WATCH: 47.84 CPU 42.16 WC

WATCH: 51.22 CPU 45.17 WC

WATCH: 54.51 CPU 48.18 WC

WATCH: 57.89 CPU 51.19 WC

WATCH: 61.27 CPU 54.20 WC

WATCH: 64.65 CPU 57.21 WC

WATCH: 68.02 CPU 60.22 WC

WATCH: 71.35 CPU 63.23 WC

WATCH: 74.67 CPU 66.24 WC

WATCH: 78.06 CPU 69.25 WC

WATCH: 81.38 CPU 72.26 WC
sh: /CW/home-0/sutcliff/Systems/LEO-II---1.2.8/childkillah: No such file or directory
.......
WATCH: 84.62 CPU 75.26 WC

WATCH: 84.62 CPU 78.27 WC

WATCH: 84.62 CPU 81.28 WC

WATCH: 84.62 CPU 84.29 WC

WATCH: 84.62 CPU 87.30 WC

WATCH: 87.73 CPU 90.32 WC

WATCH: 94.59 CPU 93.34 WC

WATCH: 101.49 CPU 96.36 WC

WATCH: 108.48 CPU 99.38 WC

WATCH: 115.32 CPU 102.40 WC

WATCH: 122.38 CPU 105.42 WC

WATCH: 129.38 CPU 108.43 WC

WATCH: 136.32 CPU 111.44 WC

WATCH: 143.24 CPU 114.46 WC

WATCH: 150.18 CPU 117.48 WC

WATCH: 157.26 CPU 120.49 WC

WATCH: 164.32 CPU 123.50 WC

WATCH: 171.44 CPU 126.52 WC

WATCH: 178.47 CPU 129.54 WC

WATCH: 185.44 CPU 132.55 WC

WATCH: 192.43 CPU 135.57 WC

WATCH: 199.39 CPU 138.58 WC

WATCH: 206.17 CPU 141.60 WC

WATCH: 213.26 CPU 144.61 WC

WATCH: 220.21 CPU 147.63 WC
sh: /CW/home-0/sutcliff/Systems/LEO-II---1.2.8/childkillah: No such file or directory

WATCH: 227.14 CPU 150.65 WC

WATCH: 234.10 CPU 153.66 WC

WATCH: 240.95 CPU 156.68 WC

WATCH: 247.79 CPU 159.69 WC

WATCH: 254.64 CPU 162.71 WC

WATCH: 261.44 CPU 165.72 WC

WATCH: 268.27 CPU 168.73 WC

WATCH: 275.15 CPU 171.74 WC
......
WATCH: 282.04 CPU 174.75 WC

WATCH: 288.87 CPU 177.77 WC

WATCH: 295.76 CPU 180.78 WC

WATCH: 302.76 CPU 183.80 WC
eprover: CPU time limit exceeded, terminating

FINAL WATCH: 302.76 CPU 184.41 WC