WATCH: 0.00 CPU 0.01 WC
cp: `/tmp/IsabelleP_26350_cl5-016/TTN012.thy' and `/tmp/IsabelleP_26350_cl5-016/TTN012.thy' are the same file

WATCH: 2.93 CPU 3.03 WC

WATCH: 6.32 CPU 6.04 WC

WATCH: 9.73 CPU 9.05 WC

WATCH: 13.13 CPU 12.07 WC

WATCH: 16.51 CPU 15.08 WC

WATCH: 19.88 CPU 18.10 WC

WATCH: 23.28 CPU 21.11 WC

WATCH: 26.54 CPU 24.12 WC

WATCH: 29.94 CPU 27.14 WC

WATCH: 33.35 CPU 30.16 WC

WATCH: 36.74 CPU 33.17 WC

WATCH: 40.15 CPU 36.18 WC

WATCH: 43.55 CPU 39.20 WC

WATCH: 46.92 CPU 42.21 WC

WATCH: 50.22 CPU 45.22 WC

WATCH: 53.61 CPU 48.23 WC

WATCH: 56.99 CPU 51.25 WC

WATCH: 60.38 CPU 54.26 WC

WATCH: 63.80 CPU 57.28 WC

WATCH: 67.19 CPU 60.29 WC

WATCH: 70.49 CPU 63.31 WC

WATCH: 73.87 CPU 66.32 WC

WATCH: 77.26 CPU 69.33 WC

WATCH: 80.65 CPU 72.34 WC

WATCH: 84.04 CPU 75.36 WC

WATCH: 87.47 CPU 78.37 WC

WATCH: 90.86 CPU 81.38 WC

WATCH: 94.19 CPU 84.40 WC

WATCH: 97.58 CPU 87.41 WC

WATCH: 100.97 CPU 90.42 WC

WATCH: 104.37 CPU 93.44 WC

WATCH: 107.78 CPU 96.45 WC

WATCH: 111.18 CPU 99.46 WC

WATCH: 114.48 CPU 102.47 WC

WATCH: 117.89 CPU 105.49 WC

WATCH: 121.29 CPU 108.50 WC

WATCH: 124.68 CPU 111.51 WC

WATCH: 128.07 CPU 114.53 WC

WATCH: 131.47 CPU 117.54 WC

WATCH: 134.86 CPU 120.55 WC

WATCH: 138.16 CPU 123.57 WC

WATCH: 141.56 CPU 126.58 WC

WATCH: 144.96 CPU 129.59 WC

WATCH: 148.37 CPU 132.61 WC

WATCH: 151.76 CPU 135.62 WC

WATCH: 155.16 CPU 138.63 WC

WATCH: 158.56 CPU 141.64 WC

WATCH: 161.87 CPU 144.66 WC

WATCH: 165.26 CPU 147.67 WC

WATCH: 168.65 CPU 150.68 WC

WATCH: 172.06 CPU 153.70 WC

WATCH: 175.43 CPU 156.71 WC

WATCH: 178.84 CPU 159.72 WC

WATCH: 182.13 CPU 162.74 WC

WATCH: 185.52 CPU 165.75 WC

WATCH: 188.91 CPU 168.76 WC

WATCH: 192.33 CPU 171.78 WC

WATCH: 195.72 CPU 174.79 WC

WATCH: 199.06 CPU 177.80 WC

WATCH: 202.44 CPU 180.81 WC

WATCH: 205.71 CPU 183.83 WC

WATCH: 209.13 CPU 186.84 WC

WATCH: 212.54 CPU 189.85 WC

WATCH: 215.91 CPU 192.87 WC

WATCH: 219.28 CPU 195.89 WC

WATCH: 222.63 CPU 198.90 WC

WATCH: 226.05 CPU 201.92 WC

WATCH: 229.36 CPU 204.93 WC

WATCH: 232.77 CPU 207.94 WC

WATCH: 236.19 CPU 210.96 WC

WATCH: 239.55 CPU 213.98 WC

WATCH: 242.91 CPU 216.99 WC

WATCH: 246.17 CPU 220.00 WC

WATCH: 249.51 CPU 223.02 WC

WATCH: 252.85 CPU 226.03 WC

WATCH: 256.12 CPU 229.03 WC

WATCH: 259.41 CPU 232.04 WC

WATCH: 262.68 CPU 235.05 WC

WATCH: 265.97 CPU 238.07 WC

WATCH: 269.27 CPU 241.08 WC

WATCH: 272.57 CPU 244.09 WC

WATCH: 275.82 CPU 247.10 WC

WATCH: 279.12 CPU 250.11 WC

WATCH: 282.41 CPU 253.12 WC

WATCH: 285.71 CPU 256.13 WC

WATCH: 288.96 CPU 259.14 WC

WATCH: 292.28 CPU 262.15 WC

WATCH: 295.57 CPU 265.16 WC

WATCH: 298.88 CPU 268.17 WC

WATCH: 302.19 CPU 271.18 WC
% Isabelle has been interrupted
% Removing Isabelle's /tmp/IsabelleP_26350_cl5-016

FINAL WATCH: 302.19 CPU 271.29 WC