TSTP Solution File: PLA043-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : PLA043-1 : TPTP v8.1.0. Bugfixed v5.5.1.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n026.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 : Mon Jul 18 16:57:34 EDT 2022
% Result : Timeout 286.00s 266.58s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.12 % Problem : PLA043-1 : TPTP v8.1.0. Bugfixed v5.5.1.
% 0.08/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n026.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Tue May 31 20:26:41 EDT 2022
% 0.12/0.34 % CPUTime :
% 4.87/4.94 eprover: CPU time limit exceeded, terminating
% 7.09/6.99 eprover: CPU time limit exceeded, terminating
% 9.23/9.01 eprover: CPU time limit exceeded, terminating
% 11.36/11.02 eprover: CPU time limit exceeded, terminating
% 13.55/13.03 eprover: CPU time limit exceeded, terminating
% 15.78/15.04 eprover: CPU time limit exceeded, terminating
% 17.85/17.06 eprover: CPU time limit exceeded, terminating
% 20.10/19.07 eprover: CPU time limit exceeded, terminating
% 22.20/21.08 eprover: CPU time limit exceeded, terminating
% 24.42/23.09 eprover: CPU time limit exceeded, terminating
% 26.59/25.10 eprover: CPU time limit exceeded, terminating
% 28.68/27.12 eprover: CPU time limit exceeded, terminating
% 30.90/29.13 eprover: CPU time limit exceeded, terminating
% 33.04/31.14 eprover: CPU time limit exceeded, terminating
% 35.22/33.15 eprover: CPU time limit exceeded, terminating
% 37.40/35.16 eprover: CPU time limit exceeded, terminating
% 39.56/37.18 eprover: CPU time limit exceeded, terminating
% 41.68/39.19 eprover: CPU time limit exceeded, terminating
% 43.87/41.20 eprover: CPU time limit exceeded, terminating
% 46.00/43.21 eprover: CPU time limit exceeded, terminating
% 48.19/45.23 eprover: CPU time limit exceeded, terminating
% 50.29/47.24 eprover: CPU time limit exceeded, terminating
% 52.44/49.25 eprover: CPU time limit exceeded, terminating
% 54.65/51.26 eprover: CPU time limit exceeded, terminating
% 56.84/53.28 eprover: CPU time limit exceeded, terminating
% 58.96/55.29 eprover: CPU time limit exceeded, terminating
% 61.17/57.30 eprover: CPU time limit exceeded, terminating
% 63.26/59.31 eprover: CPU time limit exceeded, terminating
% 65.44/61.32 eprover: CPU time limit exceeded, terminating
% 67.64/63.34 eprover: CPU time limit exceeded, terminating
% 69.79/65.35 eprover: CPU time limit exceeded, terminating
% 71.95/67.36 eprover: CPU time limit exceeded, terminating
% 74.11/69.37 eprover: CPU time limit exceeded, terminating
% 76.28/71.38 eprover: CPU time limit exceeded, terminating
% 78.44/73.40 eprover: CPU time limit exceeded, terminating
% 80.58/75.41 eprover: CPU time limit exceeded, terminating
% 82.76/77.42 eprover: CPU time limit exceeded, terminating
% 84.89/79.43 eprover: CPU time limit exceeded, terminating
% 87.05/81.45 eprover: CPU time limit exceeded, terminating
% 89.18/83.46 eprover: CPU time limit exceeded, terminating
% 91.42/85.47 eprover: CPU time limit exceeded, terminating
% 93.55/87.48 eprover: CPU time limit exceeded, terminating
% 95.73/89.50 eprover: CPU time limit exceeded, terminating
% 97.87/91.51 eprover: CPU time limit exceeded, terminating
% 100.02/93.52 eprover: CPU time limit exceeded, terminating
% 102.19/95.53 eprover: CPU time limit exceeded, terminating
% 104.37/97.54 eprover: CPU time limit exceeded, terminating
% 106.55/99.55 eprover: CPU time limit exceeded, terminating
% 108.72/101.57 eprover: CPU time limit exceeded, terminating
% 110.87/103.58 eprover: CPU time limit exceeded, terminating
% 113.02/105.59 eprover: CPU time limit exceeded, terminating
% 115.20/107.60 eprover: CPU time limit exceeded, terminating
% 117.37/109.62 eprover: CPU time limit exceeded, terminating
% 119.50/111.63 eprover: CPU time limit exceeded, terminating
% 121.64/113.64 eprover: CPU time limit exceeded, terminating
% 123.84/115.65 eprover: CPU time limit exceeded, terminating
% 125.98/117.67 eprover: CPU time limit exceeded, terminating
% 128.14/119.68 eprover: CPU time limit exceeded, terminating
% 130.34/121.69 eprover: CPU time limit exceeded, terminating
% 132.49/123.70 eprover: CPU time limit exceeded, terminating
% 134.66/125.72 eprover: CPU time limit exceeded, terminating
% 136.80/127.73 eprover: CPU time limit exceeded, terminating
% 138.99/129.74 eprover: CPU time limit exceeded, terminating
% 141.14/131.75 eprover: CPU time limit exceeded, terminating
% 143.33/133.76 eprover: CPU time limit exceeded, terminating
% 145.47/135.78 eprover: CPU time limit exceeded, terminating
% 147.66/137.79 eprover: CPU time limit exceeded, terminating
% 149.79/139.80 eprover: CPU time limit exceeded, terminating
% 151.97/141.81 eprover: CPU time limit exceeded, terminating
% 154.15/143.82 eprover: CPU time limit exceeded, terminating
% 156.25/145.84 eprover: CPU time limit exceeded, terminating
% 158.45/147.85 eprover: CPU time limit exceeded, terminating
% 160.62/149.86 eprover: CPU time limit exceeded, terminating
% 162.74/151.87 eprover: CPU time limit exceeded, terminating
% 164.91/153.88 eprover: CPU time limit exceeded, terminating
% 167.11/155.90 eprover: CPU time limit exceeded, terminating
% 169.19/157.91 eprover: CPU time limit exceeded, terminating
% 171.42/159.92 eprover: CPU time limit exceeded, terminating
% 173.60/161.93 eprover: CPU time limit exceeded, terminating
% 175.70/163.95 eprover: CPU time limit exceeded, terminating
% 177.90/165.96 eprover: CPU time limit exceeded, terminating
% 180.00/167.97 eprover: CPU time limit exceeded, terminating
% 182.19/169.98 eprover: CPU time limit exceeded, terminating
% 184.40/171.99 eprover: CPU time limit exceeded, terminating
% 186.50/174.01 eprover: CPU time limit exceeded, terminating
% 188.68/176.02 eprover: CPU time limit exceeded, terminating
% 190.88/178.03 eprover: CPU time limit exceeded, terminating
% 192.99/180.04 eprover: CPU time limit exceeded, terminating
% 195.17/182.05 eprover: CPU time limit exceeded, terminating
% 197.35/184.06 eprover: CPU time limit exceeded, terminating
% 199.48/186.07 eprover: CPU time limit exceeded, terminating
% 201.66/188.08 eprover: CPU time limit exceeded, terminating
% 203.80/190.09 eprover: CPU time limit exceeded, terminating
% 205.98/192.10 eprover: CPU time limit exceeded, terminating
% 208.10/194.12 eprover: CPU time limit exceeded, terminating
% 210.29/196.13 eprover: CPU time limit exceeded, terminating
% 212.45/198.14 eprover: CPU time limit exceeded, terminating
% 214.58/200.15 eprover: CPU time limit exceeded, terminating
% 216.75/202.17 eprover: CPU time limit exceeded, terminating
% 218.96/204.18 eprover: CPU time limit exceeded, terminating
% 221.07/206.19 eprover: CPU time limit exceeded, terminating
% 223.26/208.21 eprover: CPU time limit exceeded, terminating
% 225.45/210.22 eprover: CPU time limit exceeded, terminating
% 227.60/212.23 eprover: CPU time limit exceeded, terminating
% 229.73/214.25 eprover: CPU time limit exceeded, terminating
% 231.93/216.26 eprover: CPU time limit exceeded, terminating
% 234.10/218.27 eprover: CPU time limit exceeded, terminating
% 236.22/220.28 eprover: CPU time limit exceeded, terminating
% 238.42/222.30 eprover: CPU time limit exceeded, terminating
% 240.54/224.31 eprover: CPU time limit exceeded, terminating
% 242.78/226.32 eprover: CPU time limit exceeded, terminating
% 244.94/228.34 eprover: CPU time limit exceeded, terminating
% 247.04/230.35 eprover: CPU time limit exceeded, terminating
% 249.21/232.36 eprover: CPU time limit exceeded, terminating
% 251.44/234.38 eprover: CPU time limit exceeded, terminating
% 253.54/236.39 eprover: CPU time limit exceeded, terminating
% 255.73/238.40 eprover: CPU time limit exceeded, terminating
% 257.91/240.41 eprover: CPU time limit exceeded, terminating
% 260.06/242.43 eprover: CPU time limit exceeded, terminating
% 262.23/244.44 eprover: CPU time limit exceeded, terminating
% 264.41/246.45 eprover: CPU time limit exceeded, terminating
% 266.53/248.47 eprover: CPU time limit exceeded, terminating
% 268.68/250.48 eprover: CPU time limit exceeded, terminating
% 270.84/252.49 eprover: CPU time limit exceeded, terminating
% 273.06/254.51 eprover: CPU time limit exceeded, terminating
% 275.13/256.52 eprover: CPU time limit exceeded, terminating
% 277.35/258.53 eprover: CPU time limit exceeded, terminating
% 279.51/260.54 eprover: CPU time limit exceeded, terminating
% 281.62/262.56 eprover: CPU time limit exceeded, terminating
% 283.79/264.57 eprover: CPU time limit exceeded, terminating
% 286.00/266.58 eprover: CPU time limit exceeded, terminating
% 288.11/268.59 eprover: CPU time limit exceeded, terminating
% 290.35/270.61 eprover: CPU time limit exceeded, terminating
% 292.48/272.62 eprover: CPU time limit exceeded, terminating
% 294.65/274.63 eprover: CPU time limit exceeded, terminating
% 296.79/276.65 eprover: CPU time limit exceeded, terminating
% 298.97/278.66 eprover: CPU time limit exceeded, terminating
% 300.09/279.59 eprover: CPU time limit exceeded, terminating
% 300.09/279.60 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------