WATCH: 0.00 CPU 0.01 WC


 No.of.Axioms: 16
....
WATCH: 3.24 CPU 3.02 WC

WATCH: 6.55 CPU 6.04 WC

WATCH: 9.85 CPU 9.06 WC

WATCH: 13.16 CPU 12.07 WC

WATCH: 16.39 CPU 15.09 WC

WATCH: 19.60 CPU 18.10 WC

WATCH: 22.86 CPU 21.11 WC

WATCH: 26.13 CPU 24.13 WC

WATCH: 29.39 CPU 27.14 WC

WATCH: 32.64 CPU 30.15 WC

WATCH: 35.91 CPU 33.17 WC

WATCH: 39.12 CPU 36.18 WC

WATCH: 42.37 CPU 39.19 WC

WATCH: 45.63 CPU 42.21 WC

WATCH: 48.90 CPU 45.22 WC

WATCH: 52.20 CPU 48.23 WC

WATCH: 55.47 CPU 51.25 WC

WATCH: 58.74 CPU 54.26 WC

WATCH: 62.01 CPU 57.27 WC

WATCH: 65.27 CPU 60.28 WC

WATCH: 68.54 CPU 63.30 WC

WATCH: 71.76 CPU 66.31 WC

WATCH: 75.03 CPU 69.32 WC

WATCH: 78.27 CPU 72.34 WC
sh: /CW/home-0/sutcliff/Systems/LEO-II---1.2.8/childkillah: No such file or directory
.....
WATCH: 81.25 CPU 75.35 WC

WATCH: 81.25 CPU 78.37 WC

WATCH: 83.37 CPU 81.38 WC

WATCH: 89.98 CPU 84.40 WC

WATCH: 96.67 CPU 87.41 WC

WATCH: 103.28 CPU 90.43 WC

WATCH: 109.80 CPU 93.44 WC

WATCH: 116.29 CPU 96.46 WC

WATCH: 122.81 CPU 99.48 WC

WATCH: 129.31 CPU 102.49 WC

WATCH: 135.83 CPU 105.50 WC

WATCH: 142.41 CPU 108.52 WC

WATCH: 148.95 CPU 111.53 WC

WATCH: 155.59 CPU 114.55 WC

WATCH: 162.12 CPU 117.56 WC

WATCH: 168.66 CPU 120.58 WC

WATCH: 175.19 CPU 123.59 WC

WATCH: 181.72 CPU 126.60 WC

WATCH: 188.07 CPU 129.62 WC

WATCH: 194.64 CPU 132.63 WC

WATCH: 201.16 CPU 135.64 WC

WATCH: 207.65 CPU 138.66 WC

WATCH: 214.16 CPU 141.67 WC

WATCH: 220.68 CPU 144.68 WC

WATCH: 227.14 CPU 147.70 WC
sh: /CW/home-0/sutcliff/Systems/LEO-II---1.2.8/childkillah: No such file or directory
....
WATCH: 233.65 CPU 150.71 WC

WATCH: 240.15 CPU 153.72 WC

WATCH: 246.65 CPU 156.73 WC

WATCH: 253.16 CPU 159.74 WC

WATCH: 259.63 CPU 162.75 WC

WATCH: 266.13 CPU 165.76 WC

WATCH: 272.63 CPU 168.77 WC

WATCH: 280.51 CPU 171.79 WC

WATCH: 290.44 CPU 174.80 WC

WATCH: 300.28 CPU 177.82 WC
Unprocessed: prove-with-fo-atp e
Exception: Leo.Termination

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

FINAL WATCH: 300.28 CPU 177.93 WC
Killed 1 orphans