TSTP Solution File: GRP027-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GRP027-1 : TPTP v8.1.0. Bugfixed v1.2.1.
% 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 09:31:30 EDT 2022
% Result : Timeout 286.18s 282.68s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.13 % Problem : GRP027-1 : TPTP v8.1.0. Bugfixed v1.2.1.
% 0.12/0.14 % Command : run_infinox %s
% 0.14/0.35 % Computer : n025.cluster.edu
% 0.14/0.35 % Model : x86_64 x86_64
% 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.35 % Memory : 8042.1875MB
% 0.14/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.35 % CPULimit : 300
% 0.14/0.35 % WCLimit : 600
% 0.14/0.35 % DateTime : Tue Jun 14 00:15:54 EDT 2022
% 0.14/0.35 % CPUTime :
% 2.13/2.39 eprover: CPU time limit exceeded, terminating
% 4.18/4.40 eprover: CPU time limit exceeded, terminating
% 6.22/6.42 eprover: CPU time limit exceeded, terminating
% 8.23/8.43 eprover: CPU time limit exceeded, terminating
% 10.25/10.45 eprover: CPU time limit exceeded, terminating
% 12.22/12.46 eprover: CPU time limit exceeded, terminating
% 14.27/14.47 eprover: CPU time limit exceeded, terminating
% 16.25/16.49 eprover: CPU time limit exceeded, terminating
% 18.33/18.50 eprover: CPU time limit exceeded, terminating
% 20.34/20.51 eprover: CPU time limit exceeded, terminating
% 22.34/22.52 eprover: CPU time limit exceeded, terminating
% 24.34/24.54 eprover: CPU time limit exceeded, terminating
% 26.38/26.55 eprover: CPU time limit exceeded, terminating
% 28.36/28.57 eprover: CPU time limit exceeded, terminating
% 30.41/30.58 eprover: CPU time limit exceeded, terminating
% 32.43/32.60 eprover: CPU time limit exceeded, terminating
% 34.44/34.62 eprover: CPU time limit exceeded, terminating
% 36.44/36.63 eprover: CPU time limit exceeded, terminating
% 38.45/38.65 eprover: CPU time limit exceeded, terminating
% 40.48/40.66 eprover: CPU time limit exceeded, terminating
% 42.44/42.68 eprover: CPU time limit exceeded, terminating
% 44.50/44.69 eprover: CPU time limit exceeded, terminating
% 46.55/46.70 eprover: CPU time limit exceeded, terminating
% 48.57/48.71 eprover: CPU time limit exceeded, terminating
% 50.58/50.73 eprover: CPU time limit exceeded, terminating
% 52.58/52.74 eprover: CPU time limit exceeded, terminating
% 54.59/54.75 eprover: CPU time limit exceeded, terminating
% 56.58/56.76 eprover: CPU time limit exceeded, terminating
% 58.57/58.77 eprover: CPU time limit exceeded, terminating
% 60.64/60.79 eprover: CPU time limit exceeded, terminating
% 62.65/62.80 eprover: CPU time limit exceeded, terminating
% 64.62/64.81 eprover: CPU time limit exceeded, terminating
% 66.68/66.82 eprover: CPU time limit exceeded, terminating
% 68.65/68.84 eprover: CPU time limit exceeded, terminating
% 70.69/70.85 eprover: CPU time limit exceeded, terminating
% 72.73/72.86 eprover: CPU time limit exceeded, terminating
% 74.69/74.87 eprover: CPU time limit exceeded, terminating
% 76.74/76.89 eprover: CPU time limit exceeded, terminating
% 78.71/78.90 eprover: CPU time limit exceeded, terminating
% 80.78/80.91 eprover: CPU time limit exceeded, terminating
% 82.79/82.92 eprover: CPU time limit exceeded, terminating
% 84.79/84.93 eprover: CPU time limit exceeded, terminating
% 86.77/86.94 eprover: CPU time limit exceeded, terminating
% 88.76/88.96 eprover: CPU time limit exceeded, terminating
% 90.80/90.98 eprover: CPU time limit exceeded, terminating
% 92.88/92.99 eprover: CPU time limit exceeded, terminating
% 94.80/95.00 eprover: CPU time limit exceeded, terminating
% 96.90/97.01 eprover: CPU time limit exceeded, terminating
% 98.87/99.02 eprover: CPU time limit exceeded, terminating
% 100.89/101.04 eprover: CPU time limit exceeded, terminating
% 102.92/103.05 eprover: CPU time limit exceeded, terminating
% 104.90/105.07 eprover: CPU time limit exceeded, terminating
% 106.92/107.08 eprover: CPU time limit exceeded, terminating
% 108.91/109.10 eprover: CPU time limit exceeded, terminating
% 110.97/111.12 eprover: CPU time limit exceeded, terminating
% 112.96/113.16 eprover: CPU time limit exceeded, terminating
% 115.01/115.18 eprover: CPU time limit exceeded, terminating
% 117.04/117.20 eprover: CPU time limit exceeded, terminating
% 119.04/119.21 eprover: CPU time limit exceeded, terminating
% 121.05/121.23 eprover: CPU time limit exceeded, terminating
% 123.04/123.24 eprover: CPU time limit exceeded, terminating
% 125.03/125.26 eprover: CPU time limit exceeded, terminating
% 127.06/127.27 eprover: CPU time limit exceeded, terminating
% 129.13/129.28 eprover: CPU time limit exceeded, terminating
% 131.05/131.29 eprover: CPU time limit exceeded, terminating
% 133.09/133.30 eprover: CPU time limit exceeded, terminating
% 135.15/135.32 eprover: CPU time limit exceeded, terminating
% 137.15/137.34 eprover: CPU time limit exceeded, terminating
% 139.19/139.35 eprover: CPU time limit exceeded, terminating
% 141.22/141.39 eprover: CPU time limit exceeded, terminating
% 143.24/143.41 eprover: CPU time limit exceeded, terminating
% 145.21/145.42 eprover: CPU time limit exceeded, terminating
% 147.23/147.44 eprover: CPU time limit exceeded, terminating
% 149.27/149.46 eprover: CPU time limit exceeded, terminating
% 151.28/151.48 eprover: CPU time limit exceeded, terminating
% 153.28/153.50 eprover: CPU time limit exceeded, terminating
% 155.31/155.52 eprover: CPU time limit exceeded, terminating
% 157.29/157.54 eprover: CPU time limit exceeded, terminating
% 159.34/159.55 eprover: CPU time limit exceeded, terminating
% 161.33/161.57 eprover: CPU time limit exceeded, terminating
% 163.37/163.60 eprover: CPU time limit exceeded, terminating
% 165.37/165.62 eprover: CPU time limit exceeded, terminating
% 167.37/167.64 eprover: CPU time limit exceeded, terminating
% 169.41/169.65 eprover: CPU time limit exceeded, terminating
% 171.45/171.67 eprover: CPU time limit exceeded, terminating
% 173.43/173.69 eprover: CPU time limit exceeded, terminating
% 175.44/175.70 eprover: CPU time limit exceeded, terminating
% 179.39/177.72 eprover: CPU time limit exceeded, terminating
% 181.42/179.73 eprover: CPU time limit exceeded, terminating
% 183.45/181.75 eprover: CPU time limit exceeded, terminating
% 185.48/183.77 eprover: CPU time limit exceeded, terminating
% 187.45/185.79 eprover: CPU time limit exceeded, terminating
% 189.47/187.80 eprover: CPU time limit exceeded, terminating
% 191.51/189.82 eprover: CPU time limit exceeded, terminating
% 193.54/191.84 eprover: CPU time limit exceeded, terminating
% 195.51/193.85 eprover: CPU time limit exceeded, terminating
% 197.53/195.87 eprover: CPU time limit exceeded, terminating
% 201.50/197.88 eprover: CPU time limit exceeded, terminating
% 203.49/199.91 eprover: CPU time limit exceeded, terminating
% 205.57/201.92 eprover: CPU time limit exceeded, terminating
% 207.51/203.95 eprover: CPU time limit exceeded, terminating
% 209.57/205.96 eprover: CPU time limit exceeded, terminating
% 211.60/207.98 eprover: CPU time limit exceeded, terminating
% 213.58/210.00 eprover: CPU time limit exceeded, terminating
% 215.62/212.02 eprover: CPU time limit exceeded, terminating
% 217.64/214.03 eprover: CPU time limit exceeded, terminating
% 219.66/216.05 eprover: CPU time limit exceeded, terminating
% 221.66/218.07 eprover: CPU time limit exceeded, terminating
% 223.68/220.09 eprover: CPU time limit exceeded, terminating
% 225.68/222.10 eprover: CPU time limit exceeded, terminating
% 227.69/224.12 eprover: CPU time limit exceeded, terminating
% 229.71/226.13 eprover: CPU time limit exceeded, terminating
% 231.75/228.15 eprover: CPU time limit exceeded, terminating
% 233.73/230.17 eprover: CPU time limit exceeded, terminating
% 235.75/232.18 eprover: CPU time limit exceeded, terminating
% 237.77/234.20 eprover: CPU time limit exceeded, terminating
% 239.83/236.22 eprover: CPU time limit exceeded, terminating
% 241.80/238.24 eprover: CPU time limit exceeded, terminating
% 243.85/240.26 eprover: CPU time limit exceeded, terminating
% 245.85/242.27 eprover: CPU time limit exceeded, terminating
% 247.84/244.29 eprover: CPU time limit exceeded, terminating
% 249.89/246.31 eprover: CPU time limit exceeded, terminating
% 251.90/248.33 eprover: CPU time limit exceeded, terminating
% 253.89/250.35 eprover: CPU time limit exceeded, terminating
% 255.95/252.37 eprover: CPU time limit exceeded, terminating
% 257.93/254.38 eprover: CPU time limit exceeded, terminating
% 259.91/256.40 eprover: CPU time limit exceeded, terminating
% 261.97/258.42 eprover: CPU time limit exceeded, terminating
% 264.00/260.43 eprover: CPU time limit exceeded, terminating
% 266.03/262.46 eprover: CPU time limit exceeded, terminating
% 268.00/264.49 eprover: CPU time limit exceeded, terminating
% 270.04/266.53 eprover: CPU time limit exceeded, terminating
% 271.98/268.55 eprover: CPU time limit exceeded, terminating
% 274.05/270.57 eprover: CPU time limit exceeded, terminating
% 276.08/272.59 eprover: CPU time limit exceeded, terminating
% 278.11/274.62 eprover: CPU time limit exceeded, terminating
% 280.14/276.63 eprover: CPU time limit exceeded, terminating
% 282.16/278.65 eprover: CPU time limit exceeded, terminating
% 284.15/280.67 eprover: CPU time limit exceeded, terminating
% 286.18/282.68 eprover: CPU time limit exceeded, terminating
% 288.15/284.70 eprover: CPU time limit exceeded, terminating
% 290.17/286.72 eprover: CPU time limit exceeded, terminating
% 292.21/288.74 eprover: CPU time limit exceeded, terminating
% 294.23/290.76 eprover: CPU time limit exceeded, terminating
% 296.19/292.77 eprover: CPU time limit exceeded, terminating
% 298.22/294.80 eprover: CPU time limit exceeded, terminating
% 300.06/296.59 eprover: CPU time limit exceeded, terminating
% 300.06/296.61 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------