TSTP Solution File: ITP014+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : ITP014+1 : TPTP v8.1.0. Bugfixed v7.5.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n025.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 600s
% DateTime : Sat Jul 16 23:04:37 EDT 2022
% Result : Timeout 286.70s 283.10s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : ITP014+1 : TPTP v8.1.0. Bugfixed v7.5.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.14/0.34 % Computer : n025.cluster.edu
% 0.14/0.34 % Model : x86_64 x86_64
% 0.14/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.34 % Memory : 8042.1875MB
% 0.14/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.34 % CPULimit : 300
% 0.14/0.34 % WCLimit : 600
% 0.14/0.34 % DateTime : Fri Jun 3 04:21:15 EDT 2022
% 0.14/0.34 % CPUTime :
% 2.57/2.79 eprover: CPU time limit exceeded, terminating
% 4.65/4.80 eprover: CPU time limit exceeded, terminating
% 6.67/6.84 eprover: CPU time limit exceeded, terminating
% 8.68/8.85 eprover: CPU time limit exceeded, terminating
% 10.70/10.86 eprover: CPU time limit exceeded, terminating
% 12.75/12.88 eprover: CPU time limit exceeded, terminating
% 14.83/14.89 eprover: CPU time limit exceeded, terminating
% 16.80/16.90 eprover: CPU time limit exceeded, terminating
% 18.83/18.91 eprover: CPU time limit exceeded, terminating
% 20.92/20.93 eprover: CPU time limit exceeded, terminating
% 22.97/22.95 eprover: CPU time limit exceeded, terminating
% 24.95/24.96 eprover: CPU time limit exceeded, terminating
% 26.98/26.97 eprover: CPU time limit exceeded, terminating
% 29.02/28.99 eprover: CPU time limit exceeded, terminating
% 31.10/31.01 eprover: CPU time limit exceeded, terminating
% 33.10/33.03 eprover: CPU time limit exceeded, terminating
% 35.15/35.04 eprover: CPU time limit exceeded, terminating
% 37.18/37.06 eprover: CPU time limit exceeded, terminating
% 39.19/39.07 eprover: CPU time limit exceeded, terminating
% 41.23/41.08 eprover: CPU time limit exceeded, terminating
% 43.31/43.10 eprover: CPU time limit exceeded, terminating
% 45.32/45.11 eprover: CPU time limit exceeded, terminating
% 47.35/47.14 eprover: CPU time limit exceeded, terminating
% 49.38/49.16 eprover: CPU time limit exceeded, terminating
% 51.40/51.18 eprover: CPU time limit exceeded, terminating
% 53.48/53.19 eprover: CPU time limit exceeded, terminating
% 55.50/55.21 eprover: CPU time limit exceeded, terminating
% 57.54/57.22 eprover: CPU time limit exceeded, terminating
% 59.53/59.23 eprover: CPU time limit exceeded, terminating
% 61.59/61.25 eprover: CPU time limit exceeded, terminating
% 63.58/63.26 eprover: CPU time limit exceeded, terminating
% 65.66/65.28 eprover: CPU time limit exceeded, terminating
% 67.63/67.30 eprover: CPU time limit exceeded, terminating
% 69.71/69.32 eprover: CPU time limit exceeded, terminating
% 71.73/71.33 eprover: CPU time limit exceeded, terminating
% 73.78/73.35 eprover: CPU time limit exceeded, terminating
% 75.79/75.36 eprover: CPU time limit exceeded, terminating
% 77.79/77.37 eprover: CPU time limit exceeded, terminating
% 79.90/79.39 eprover: CPU time limit exceeded, terminating
% 81.91/81.41 eprover: CPU time limit exceeded, terminating
% 83.95/83.43 eprover: CPU time limit exceeded, terminating
% 85.97/85.45 eprover: CPU time limit exceeded, terminating
% 87.98/87.47 eprover: CPU time limit exceeded, terminating
% 90.00/89.48 eprover: CPU time limit exceeded, terminating
% 92.11/91.50 eprover: CPU time limit exceeded, terminating
% 94.11/93.51 eprover: CPU time limit exceeded, terminating
% 96.15/95.53 eprover: CPU time limit exceeded, terminating
% 98.18/97.55 eprover: CPU time limit exceeded, terminating
% 100.16/99.57 eprover: CPU time limit exceeded, terminating
% 102.16/101.58 eprover: CPU time limit exceeded, terminating
% 104.20/103.60 eprover: CPU time limit exceeded, terminating
% 106.32/105.62 eprover: CPU time limit exceeded, terminating
% 108.34/107.63 eprover: CPU time limit exceeded, terminating
% 110.33/109.65 eprover: CPU time limit exceeded, terminating
% 112.36/111.66 eprover: CPU time limit exceeded, terminating
% 114.37/113.68 eprover: CPU time limit exceeded, terminating
% 116.48/115.70 eprover: CPU time limit exceeded, terminating
% 118.50/117.71 eprover: CPU time limit exceeded, terminating
% 120.53/119.73 eprover: CPU time limit exceeded, terminating
% 122.55/121.74 eprover: CPU time limit exceeded, terminating
% 124.54/123.76 eprover: CPU time limit exceeded, terminating
% 126.58/125.78 eprover: CPU time limit exceeded, terminating
% 128.58/127.79 eprover: CPU time limit exceeded, terminating
% 130.70/129.81 eprover: CPU time limit exceeded, terminating
% 132.71/131.82 eprover: CPU time limit exceeded, terminating
% 134.71/133.84 eprover: CPU time limit exceeded, terminating
% 136.74/135.85 eprover: CPU time limit exceeded, terminating
% 138.77/137.87 eprover: CPU time limit exceeded, terminating
% 140.77/139.89 eprover: CPU time limit exceeded, terminating
% 142.85/141.90 eprover: CPU time limit exceeded, terminating
% 144.89/143.92 eprover: CPU time limit exceeded, terminating
% 146.92/145.93 eprover: CPU time limit exceeded, terminating
% 148.90/147.95 eprover: CPU time limit exceeded, terminating
% 150.94/149.96 eprover: CPU time limit exceeded, terminating
% 153.02/151.98 eprover: CPU time limit exceeded, terminating
% 154.96/153.99 eprover: CPU time limit exceeded, terminating
% 157.08/156.00 eprover: CPU time limit exceeded, terminating
% 159.09/158.02 eprover: CPU time limit exceeded, terminating
% 161.08/160.04 eprover: CPU time limit exceeded, terminating
% 163.10/162.06 eprover: CPU time limit exceeded, terminating
% 165.12/164.08 eprover: CPU time limit exceeded, terminating
% 167.12/166.09 eprover: CPU time limit exceeded, terminating
% 169.23/168.11 eprover: CPU time limit exceeded, terminating
% 171.24/170.13 eprover: CPU time limit exceeded, terminating
% 173.27/172.14 eprover: CPU time limit exceeded, terminating
% 175.26/174.17 eprover: CPU time limit exceeded, terminating
% 177.28/176.18 eprover: CPU time limit exceeded, terminating
% 179.36/178.20 eprover: CPU time limit exceeded, terminating
% 181.39/180.21 eprover: CPU time limit exceeded, terminating
% 183.42/182.23 eprover: CPU time limit exceeded, terminating
% 185.42/184.24 eprover: CPU time limit exceeded, terminating
% 187.44/186.26 eprover: CPU time limit exceeded, terminating
% 189.42/188.27 eprover: CPU time limit exceeded, terminating
% 191.46/190.29 eprover: CPU time limit exceeded, terminating
% 195.47/192.31 eprover: CPU time limit exceeded, terminating
% 197.50/194.32 eprover: CPU time limit exceeded, terminating
% 199.49/196.34 eprover: CPU time limit exceeded, terminating
% 201.51/198.36 eprover: CPU time limit exceeded, terminating
% 203.51/200.38 eprover: CPU time limit exceeded, terminating
% 205.61/202.40 eprover: CPU time limit exceeded, terminating
% 207.63/204.42 eprover: CPU time limit exceeded, terminating
% 209.62/206.43 eprover: CPU time limit exceeded, terminating
% 211.64/208.45 eprover: CPU time limit exceeded, terminating
% 213.68/210.47 eprover: CPU time limit exceeded, terminating
% 215.76/212.48 eprover: CPU time limit exceeded, terminating
% 217.78/214.50 eprover: CPU time limit exceeded, terminating
% 219.80/216.51 eprover: CPU time limit exceeded, terminating
% 221.80/218.53 eprover: CPU time limit exceeded, terminating
% 223.83/220.55 eprover: CPU time limit exceeded, terminating
% 225.86/222.56 eprover: CPU time limit exceeded, terminating
% 227.83/224.58 eprover: CPU time limit exceeded, terminating
% 229.95/226.60 eprover: CPU time limit exceeded, terminating
% 231.89/228.62 eprover: CPU time limit exceeded, terminating
% 233.99/230.64 eprover: CPU time limit exceeded, terminating
% 235.96/232.65 eprover: CPU time limit exceeded, terminating
% 238.01/234.67 eprover: CPU time limit exceeded, terminating
% 240.00/236.69 eprover: CPU time limit exceeded, terminating
% 242.11/238.70 eprover: CPU time limit exceeded, terminating
% 244.14/240.71 eprover: CPU time limit exceeded, terminating
% 246.16/242.73 eprover: CPU time limit exceeded, terminating
% 248.16/244.74 eprover: CPU time limit exceeded, terminating
% 250.21/246.76 eprover: CPU time limit exceeded, terminating
% 252.18/248.78 eprover: CPU time limit exceeded, terminating
% 254.21/250.79 eprover: CPU time limit exceeded, terminating
% 256.31/252.81 eprover: CPU time limit exceeded, terminating
% 258.34/254.83 eprover: CPU time limit exceeded, terminating
% 260.33/256.85 eprover: CPU time limit exceeded, terminating
% 262.33/258.88 eprover: CPU time limit exceeded, terminating
% 264.44/260.90 eprover: CPU time limit exceeded, terminating
% 266.45/262.92 eprover: CPU time limit exceeded, terminating
% 268.49/264.93 eprover: CPU time limit exceeded, terminating
% 270.50/266.95 eprover: CPU time limit exceeded, terminating
% 272.52/268.97 eprover: CPU time limit exceeded, terminating
% 274.55/270.98 eprover: CPU time limit exceeded, terminating
% 276.58/273.02 eprover: CPU time limit exceeded, terminating
% 278.60/275.04 eprover: CPU time limit exceeded, terminating
% 280.62/277.05 eprover: CPU time limit exceeded, terminating
% 282.65/279.07 eprover: CPU time limit exceeded, terminating
% 284.73/281.08 eprover: CPU time limit exceeded, terminating
% 286.70/283.10 eprover: CPU time limit exceeded, terminating
% 288.79/285.12 eprover: CPU time limit exceeded, terminating
% 290.82/287.13 eprover: CPU time limit exceeded, terminating
% 292.80/289.15 eprover: CPU time limit exceeded, terminating
% 294.81/291.16 eprover: CPU time limit exceeded, terminating
% 296.90/293.17 eprover: CPU time limit exceeded, terminating
% 298.92/295.19 eprover: CPU time limit exceeded, terminating
% 300.01/296.26 eprover: CPU time limit exceeded, terminating
% 300.01/296.28 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------