TSTP Solution File: ITP002+5 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : ITP002+5 : TPTP v8.1.0. Bugfixed v7.5.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n023.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:23 EDT 2022
% Result : Timeout 286.95s 276.55s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.12 % Problem : ITP002+5 : TPTP v8.1.0. Bugfixed v7.5.0.
% 0.10/0.12 % Command : run_infinox %s
% 0.12/0.34 % Computer : n023.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 : Fri Jun 3 05:45:10 EDT 2022
% 0.12/0.34 % CPUTime :
% 6.52/6.65 eprover: CPU time limit exceeded, terminating
% 8.60/8.67 eprover: CPU time limit exceeded, terminating
% 10.66/10.68 eprover: CPU time limit exceeded, terminating
% 12.78/12.69 eprover: CPU time limit exceeded, terminating
% 14.93/14.71 eprover: CPU time limit exceeded, terminating
% 17.01/16.72 eprover: CPU time limit exceeded, terminating
% 19.10/18.73 eprover: CPU time limit exceeded, terminating
% 21.16/20.74 eprover: CPU time limit exceeded, terminating
% 23.22/22.76 eprover: CPU time limit exceeded, terminating
% 25.32/24.77 eprover: CPU time limit exceeded, terminating
% 27.47/26.78 eprover: CPU time limit exceeded, terminating
% 29.56/28.80 eprover: CPU time limit exceeded, terminating
% 31.57/30.81 eprover: CPU time limit exceeded, terminating
% 33.73/32.82 eprover: CPU time limit exceeded, terminating
% 35.81/34.84 eprover: CPU time limit exceeded, terminating
% 37.90/36.85 eprover: CPU time limit exceeded, terminating
% 39.96/38.86 eprover: CPU time limit exceeded, terminating
% 42.11/40.88 eprover: CPU time limit exceeded, terminating
% 44.14/42.89 eprover: CPU time limit exceeded, terminating
% 46.31/44.90 eprover: CPU time limit exceeded, terminating
% 48.41/46.92 eprover: CPU time limit exceeded, terminating
% 50.46/48.93 eprover: CPU time limit exceeded, terminating
% 52.57/50.95 eprover: CPU time limit exceeded, terminating
% 54.66/52.96 eprover: CPU time limit exceeded, terminating
% 56.75/54.97 eprover: CPU time limit exceeded, terminating
% 58.87/56.99 eprover: CPU time limit exceeded, terminating
% 60.97/59.00 eprover: CPU time limit exceeded, terminating
% 63.06/61.01 eprover: CPU time limit exceeded, terminating
% 65.13/63.03 eprover: CPU time limit exceeded, terminating
% 67.24/65.04 eprover: CPU time limit exceeded, terminating
% 69.33/67.05 eprover: CPU time limit exceeded, terminating
% 71.36/69.07 eprover: CPU time limit exceeded, terminating
% 73.51/71.08 eprover: CPU time limit exceeded, terminating
% 75.57/73.09 eprover: CPU time limit exceeded, terminating
% 77.70/75.11 eprover: CPU time limit exceeded, terminating
% 79.80/77.12 eprover: CPU time limit exceeded, terminating
% 81.85/79.13 eprover: CPU time limit exceeded, terminating
% 83.96/81.15 eprover: CPU time limit exceeded, terminating
% 86.00/83.16 eprover: CPU time limit exceeded, terminating
% 88.11/85.17 eprover: CPU time limit exceeded, terminating
% 90.26/87.19 eprover: CPU time limit exceeded, terminating
% 92.25/89.20 eprover: CPU time limit exceeded, terminating
% 94.43/91.21 eprover: CPU time limit exceeded, terminating
% 96.53/93.23 eprover: CPU time limit exceeded, terminating
% 98.59/95.24 eprover: CPU time limit exceeded, terminating
% 100.67/97.25 eprover: CPU time limit exceeded, terminating
% 102.73/99.27 eprover: CPU time limit exceeded, terminating
% 104.89/101.28 eprover: CPU time limit exceeded, terminating
% 106.97/103.29 eprover: CPU time limit exceeded, terminating
% 109.07/105.31 eprover: CPU time limit exceeded, terminating
% 111.15/107.32 eprover: CPU time limit exceeded, terminating
% 113.24/109.33 eprover: CPU time limit exceeded, terminating
% 115.32/111.35 eprover: CPU time limit exceeded, terminating
% 117.39/113.36 eprover: CPU time limit exceeded, terminating
% 119.47/115.38 eprover: CPU time limit exceeded, terminating
% 121.57/117.39 eprover: CPU time limit exceeded, terminating
% 123.65/119.41 eprover: CPU time limit exceeded, terminating
% 125.82/121.42 eprover: CPU time limit exceeded, terminating
% 127.91/123.44 eprover: CPU time limit exceeded, terminating
% 129.94/125.45 eprover: CPU time limit exceeded, terminating
% 132.04/127.47 eprover: CPU time limit exceeded, terminating
% 134.16/129.48 eprover: CPU time limit exceeded, terminating
% 136.19/131.49 eprover: CPU time limit exceeded, terminating
% 138.37/133.51 eprover: CPU time limit exceeded, terminating
% 140.45/135.52 eprover: CPU time limit exceeded, terminating
% 142.55/137.53 eprover: CPU time limit exceeded, terminating
% 144.61/139.55 eprover: CPU time limit exceeded, terminating
% 146.67/141.56 eprover: CPU time limit exceeded, terminating
% 148.78/143.57 eprover: CPU time limit exceeded, terminating
% 150.90/145.59 eprover: CPU time limit exceeded, terminating
% 152.94/147.60 eprover: CPU time limit exceeded, terminating
% 155.08/149.61 eprover: CPU time limit exceeded, terminating
% 157.17/151.63 eprover: CPU time limit exceeded, terminating
% 159.25/153.64 eprover: CPU time limit exceeded, terminating
% 161.28/155.65 eprover: CPU time limit exceeded, terminating
% 163.46/157.67 eprover: CPU time limit exceeded, terminating
% 165.49/159.68 eprover: CPU time limit exceeded, terminating
% 167.58/161.70 eprover: CPU time limit exceeded, terminating
% 169.72/163.71 eprover: CPU time limit exceeded, terminating
% 171.83/165.72 eprover: CPU time limit exceeded, terminating
% 173.87/167.74 eprover: CPU time limit exceeded, terminating
% 175.97/169.75 eprover: CPU time limit exceeded, terminating
% 178.10/171.77 eprover: CPU time limit exceeded, terminating
% 180.15/173.78 eprover: CPU time limit exceeded, terminating
% 182.27/175.79 eprover: CPU time limit exceeded, terminating
% 184.31/177.81 eprover: CPU time limit exceeded, terminating
% 186.45/179.82 eprover: CPU time limit exceeded, terminating
% 188.54/181.84 eprover: CPU time limit exceeded, terminating
% 190.61/183.85 eprover: CPU time limit exceeded, terminating
% 192.72/185.87 eprover: CPU time limit exceeded, terminating
% 194.85/187.89 eprover: CPU time limit exceeded, terminating
% 196.89/189.90 eprover: CPU time limit exceeded, terminating
% 199.02/191.91 eprover: CPU time limit exceeded, terminating
% 201.13/193.93 eprover: CPU time limit exceeded, terminating
% 203.23/195.94 eprover: CPU time limit exceeded, terminating
% 205.31/197.96 eprover: CPU time limit exceeded, terminating
% 207.34/199.97 eprover: CPU time limit exceeded, terminating
% 209.51/201.99 eprover: CPU time limit exceeded, terminating
% 211.61/204.00 eprover: CPU time limit exceeded, terminating
% 213.68/206.02 eprover: CPU time limit exceeded, terminating
% 215.74/208.03 eprover: CPU time limit exceeded, terminating
% 217.86/210.05 eprover: CPU time limit exceeded, terminating
% 219.92/212.06 eprover: CPU time limit exceeded, terminating
% 222.01/214.08 eprover: CPU time limit exceeded, terminating
% 224.07/216.09 eprover: CPU time limit exceeded, terminating
% 226.18/218.11 eprover: CPU time limit exceeded, terminating
% 228.32/220.12 eprover: CPU time limit exceeded, terminating
% 230.40/222.14 eprover: CPU time limit exceeded, terminating
% 232.51/224.15 eprover: CPU time limit exceeded, terminating
% 234.58/226.17 eprover: CPU time limit exceeded, terminating
% 236.69/228.18 eprover: CPU time limit exceeded, terminating
% 238.83/230.20 eprover: CPU time limit exceeded, terminating
% 240.85/232.21 eprover: CPU time limit exceeded, terminating
% 242.96/234.23 eprover: CPU time limit exceeded, terminating
% 245.10/236.24 eprover: CPU time limit exceeded, terminating
% 247.16/238.26 eprover: CPU time limit exceeded, terminating
% 249.25/240.27 eprover: CPU time limit exceeded, terminating
% 251.40/242.29 eprover: CPU time limit exceeded, terminating
% 253.40/244.31 eprover: CPU time limit exceeded, terminating
% 255.58/246.32 eprover: CPU time limit exceeded, terminating
% 257.64/248.34 eprover: CPU time limit exceeded, terminating
% 259.76/250.35 eprover: CPU time limit exceeded, terminating
% 261.79/252.37 eprover: CPU time limit exceeded, terminating
% 263.91/254.38 eprover: CPU time limit exceeded, terminating
% 266.05/256.40 eprover: CPU time limit exceeded, terminating
% 268.07/258.41 eprover: CPU time limit exceeded, terminating
% 270.19/260.43 eprover: CPU time limit exceeded, terminating
% 272.33/262.44 eprover: CPU time limit exceeded, terminating
% 274.42/264.46 eprover: CPU time limit exceeded, terminating
% 276.48/266.47 eprover: CPU time limit exceeded, terminating
% 278.63/268.49 eprover: CPU time limit exceeded, terminating
% 280.73/270.50 eprover: CPU time limit exceeded, terminating
% 282.80/272.52 eprover: CPU time limit exceeded, terminating
% 284.92/274.53 eprover: CPU time limit exceeded, terminating
% 286.95/276.55 eprover: CPU time limit exceeded, terminating
% 289.05/278.56 eprover: CPU time limit exceeded, terminating
% 291.13/280.58 eprover: CPU time limit exceeded, terminating
% 293.25/282.59 eprover: CPU time limit exceeded, terminating
% 295.30/284.61 eprover: CPU time limit exceeded, terminating
% 297.43/286.62 eprover: CPU time limit exceeded, terminating
% 299.58/288.64 eprover: CPU time limit exceeded, terminating
% 300.18/289.20 eprover: CPU time limit exceeded, terminating
% 300.18/289.21 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------