TSTP Solution File: GEO129-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GEO129-1 : TPTP v8.1.0. Released v2.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n029.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 04:33:00 EDT 2022
% Result : Timeout 287.18s 286.75s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.13 % Problem : GEO129-1 : TPTP v8.1.0. Released v2.4.0.
% 0.08/0.14 % Command : run_infinox %s
% 0.14/0.36 % Computer : n029.cluster.edu
% 0.14/0.36 % Model : x86_64 x86_64
% 0.14/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.36 % Memory : 8042.1875MB
% 0.14/0.36 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.36 % CPULimit : 300
% 0.14/0.36 % WCLimit : 600
% 0.14/0.36 % DateTime : Sat Jun 18 13:53:14 EDT 2022
% 0.14/0.36 % CPUTime :
% 2.22/2.46 eprover: CPU time limit exceeded, terminating
% 4.27/4.47 eprover: CPU time limit exceeded, terminating
% 6.31/6.49 eprover: CPU time limit exceeded, terminating
% 8.32/8.50 eprover: CPU time limit exceeded, terminating
% 10.35/10.52 eprover: CPU time limit exceeded, terminating
% 12.33/12.53 eprover: CPU time limit exceeded, terminating
% 14.32/14.55 eprover: CPU time limit exceeded, terminating
% 16.37/16.57 eprover: CPU time limit exceeded, terminating
% 18.37/18.58 eprover: CPU time limit exceeded, terminating
% 20.37/20.60 eprover: CPU time limit exceeded, terminating
% 22.47/22.61 eprover: CPU time limit exceeded, terminating
% 24.46/24.63 eprover: CPU time limit exceeded, terminating
% 26.50/26.64 eprover: CPU time limit exceeded, terminating
% 28.50/28.66 eprover: CPU time limit exceeded, terminating
% 30.49/30.67 eprover: CPU time limit exceeded, terminating
% 32.57/32.69 eprover: CPU time limit exceeded, terminating
% 34.60/34.71 eprover: CPU time limit exceeded, terminating
% 36.56/36.72 eprover: CPU time limit exceeded, terminating
% 38.61/38.74 eprover: CPU time limit exceeded, terminating
% 40.62/40.75 eprover: CPU time limit exceeded, terminating
% 42.62/42.77 eprover: CPU time limit exceeded, terminating
% 44.65/44.79 eprover: CPU time limit exceeded, terminating
% 46.71/46.80 eprover: CPU time limit exceeded, terminating
% 48.75/48.82 eprover: CPU time limit exceeded, terminating
% 50.77/50.84 eprover: CPU time limit exceeded, terminating
% 52.73/52.85 eprover: CPU time limit exceeded, terminating
% 54.76/54.86 eprover: CPU time limit exceeded, terminating
% 56.74/56.88 eprover: CPU time limit exceeded, terminating
% 58.84/58.89 eprover: CPU time limit exceeded, terminating
% 60.87/60.91 eprover: CPU time limit exceeded, terminating
% 62.89/62.93 eprover: CPU time limit exceeded, terminating
% 64.87/64.94 eprover: CPU time limit exceeded, terminating
% 66.85/66.96 eprover: CPU time limit exceeded, terminating
% 68.87/68.97 eprover: CPU time limit exceeded, terminating
% 70.96/70.99 eprover: CPU time limit exceeded, terminating
% 72.96/73.00 eprover: CPU time limit exceeded, terminating
% 75.02/75.02 eprover: CPU time limit exceeded, terminating
% 77.02/77.04 eprover: CPU time limit exceeded, terminating
% 79.02/79.05 eprover: CPU time limit exceeded, terminating
% 81.05/81.07 eprover: CPU time limit exceeded, terminating
% 83.02/83.09 eprover: CPU time limit exceeded, terminating
% 85.11/85.10 eprover: CPU time limit exceeded, terminating
% 87.12/87.12 eprover: CPU time limit exceeded, terminating
% 89.15/89.13 eprover: CPU time limit exceeded, terminating
% 91.13/91.15 eprover: CPU time limit exceeded, terminating
% 93.17/93.17 eprover: CPU time limit exceeded, terminating
% 95.15/95.18 eprover: CPU time limit exceeded, terminating
% 97.22/97.20 eprover: CPU time limit exceeded, terminating
% 99.27/99.22 eprover: CPU time limit exceeded, terminating
% 101.29/101.23 eprover: CPU time limit exceeded, terminating
% 103.32/103.25 eprover: CPU time limit exceeded, terminating
% 105.30/105.27 eprover: CPU time limit exceeded, terminating
% 107.35/107.28 eprover: CPU time limit exceeded, terminating
% 109.35/109.30 eprover: CPU time limit exceeded, terminating
% 111.35/111.32 eprover: CPU time limit exceeded, terminating
% 113.39/113.33 eprover: CPU time limit exceeded, terminating
% 115.39/115.35 eprover: CPU time limit exceeded, terminating
% 117.44/117.37 eprover: CPU time limit exceeded, terminating
% 119.41/119.38 eprover: CPU time limit exceeded, terminating
% 121.44/121.40 eprover: CPU time limit exceeded, terminating
% 123.48/123.42 eprover: CPU time limit exceeded, terminating
% 125.51/125.43 eprover: CPU time limit exceeded, terminating
% 127.54/127.45 eprover: CPU time limit exceeded, terminating
% 129.53/129.46 eprover: CPU time limit exceeded, terminating
% 131.58/131.48 eprover: CPU time limit exceeded, terminating
% 133.57/133.50 eprover: CPU time limit exceeded, terminating
% 135.61/135.51 eprover: CPU time limit exceeded, terminating
% 137.64/137.53 eprover: CPU time limit exceeded, terminating
% 139.67/139.54 eprover: CPU time limit exceeded, terminating
% 141.64/141.56 eprover: CPU time limit exceeded, terminating
% 143.69/143.58 eprover: CPU time limit exceeded, terminating
% 145.73/145.60 eprover: CPU time limit exceeded, terminating
% 147.77/147.61 eprover: CPU time limit exceeded, terminating
% 149.76/149.64 eprover: CPU time limit exceeded, terminating
% 151.76/151.65 eprover: CPU time limit exceeded, terminating
% 153.78/153.67 eprover: CPU time limit exceeded, terminating
% 155.80/155.69 eprover: CPU time limit exceeded, terminating
% 157.81/157.71 eprover: CPU time limit exceeded, terminating
% 159.91/159.72 eprover: CPU time limit exceeded, terminating
% 161.90/161.74 eprover: CPU time limit exceeded, terminating
% 163.91/163.76 eprover: CPU time limit exceeded, terminating
% 165.91/165.79 eprover: CPU time limit exceeded, terminating
% 167.95/167.80 eprover: CPU time limit exceeded, terminating
% 170.01/169.82 eprover: CPU time limit exceeded, terminating
% 172.00/171.83 eprover: CPU time limit exceeded, terminating
% 174.05/173.85 eprover: CPU time limit exceeded, terminating
% 176.08/175.88 eprover: CPU time limit exceeded, terminating
% 178.05/177.90 eprover: CPU time limit exceeded, terminating
% 180.10/179.91 eprover: CPU time limit exceeded, terminating
% 182.05/181.93 eprover: CPU time limit exceeded, terminating
% 184.11/183.94 eprover: CPU time limit exceeded, terminating
% 186.13/185.96 eprover: CPU time limit exceeded, terminating
% 188.20/187.98 eprover: CPU time limit exceeded, terminating
% 190.14/189.99 eprover: CPU time limit exceeded, terminating
% 192.21/192.01 eprover: CPU time limit exceeded, terminating
% 194.26/194.02 eprover: CPU time limit exceeded, terminating
% 196.27/196.05 eprover: CPU time limit exceeded, terminating
% 198.29/198.07 eprover: CPU time limit exceeded, terminating
% 200.25/200.09 eprover: CPU time limit exceeded, terminating
% 202.35/202.10 eprover: CPU time limit exceeded, terminating
% 204.27/204.12 eprover: CPU time limit exceeded, terminating
% 206.33/206.13 eprover: CPU time limit exceeded, terminating
% 208.39/208.15 eprover: CPU time limit exceeded, terminating
% 210.34/210.16 eprover: CPU time limit exceeded, terminating
% 212.38/212.18 eprover: CPU time limit exceeded, terminating
% 214.48/214.19 eprover: CPU time limit exceeded, terminating
% 216.47/216.21 eprover: CPU time limit exceeded, terminating
% 218.49/218.22 eprover: CPU time limit exceeded, terminating
% 220.49/220.24 eprover: CPU time limit exceeded, terminating
% 222.50/222.26 eprover: CPU time limit exceeded, terminating
% 224.52/224.27 eprover: CPU time limit exceeded, terminating
% 226.60/226.29 eprover: CPU time limit exceeded, terminating
% 228.51/228.30 eprover: CPU time limit exceeded, terminating
% 230.62/230.32 eprover: CPU time limit exceeded, terminating
% 232.62/232.33 eprover: CPU time limit exceeded, terminating
% 234.65/234.35 eprover: CPU time limit exceeded, terminating
% 236.64/236.36 eprover: CPU time limit exceeded, terminating
% 238.62/238.38 eprover: CPU time limit exceeded, terminating
% 240.66/240.40 eprover: CPU time limit exceeded, terminating
% 242.72/242.41 eprover: CPU time limit exceeded, terminating
% 244.77/244.43 eprover: CPU time limit exceeded, terminating
% 246.76/246.44 eprover: CPU time limit exceeded, terminating
% 248.77/248.46 eprover: CPU time limit exceeded, terminating
% 250.79/250.48 eprover: CPU time limit exceeded, terminating
% 252.85/252.49 eprover: CPU time limit exceeded, terminating
% 254.89/254.51 eprover: CPU time limit exceeded, terminating
% 256.89/256.52 eprover: CPU time limit exceeded, terminating
% 258.88/258.54 eprover: CPU time limit exceeded, terminating
% 260.90/260.55 eprover: CPU time limit exceeded, terminating
% 262.92/262.57 eprover: CPU time limit exceeded, terminating
% 264.88/264.59 eprover: CPU time limit exceeded, terminating
% 267.00/266.60 eprover: CPU time limit exceeded, terminating
% 269.03/268.62 eprover: CPU time limit exceeded, terminating
% 271.02/270.64 eprover: CPU time limit exceeded, terminating
% 272.99/272.65 eprover: CPU time limit exceeded, terminating
% 275.03/274.66 eprover: CPU time limit exceeded, terminating
% 277.04/276.68 eprover: CPU time limit exceeded, terminating
% 279.11/278.69 eprover: CPU time limit exceeded, terminating
% 281.14/280.71 eprover: CPU time limit exceeded, terminating
% 283.15/282.72 eprover: CPU time limit exceeded, terminating
% 285.16/284.74 eprover: CPU time limit exceeded, terminating
% 287.18/286.75 eprover: CPU time limit exceeded, terminating
% 289.15/288.77 eprover: CPU time limit exceeded, terminating
% 291.25/290.78 eprover: CPU time limit exceeded, terminating
% 293.18/292.79 eprover: CPU time limit exceeded, terminating
% 295.27/294.81 eprover: CPU time limit exceeded, terminating
% 297.29/296.82 eprover: CPU time limit exceeded, terminating
% 299.26/298.84 eprover: CPU time limit exceeded, terminating
% 300.10/299.61 eprover: CPU time limit exceeded, terminating
% 300.10/299.63 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------