TSTP Solution File: GEO140+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GEO140+1 : TPTP v8.1.0. Released v2.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n008.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:05 EDT 2022
% Result : Timeout 286.88s 286.73s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.14/0.13 % Problem : GEO140+1 : TPTP v8.1.0. Released v2.4.0.
% 0.14/0.14 % Command : run_infinox %s
% 0.14/0.35 % Computer : n008.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.36 % CPULimit : 300
% 0.14/0.36 % WCLimit : 600
% 0.14/0.36 % DateTime : Sat Jun 18 09:40:52 EDT 2022
% 0.14/0.36 % CPUTime :
% 2.24/2.44 eprover: CPU time limit exceeded, terminating
% 4.19/4.45 eprover: CPU time limit exceeded, terminating
% 6.26/6.47 eprover: CPU time limit exceeded, terminating
% 8.30/8.48 eprover: CPU time limit exceeded, terminating
% 10.31/10.50 eprover: CPU time limit exceeded, terminating
% 12.31/12.52 eprover: CPU time limit exceeded, terminating
% 14.37/14.53 eprover: CPU time limit exceeded, terminating
% 16.35/16.55 eprover: CPU time limit exceeded, terminating
% 18.37/18.56 eprover: CPU time limit exceeded, terminating
% 20.35/20.58 eprover: CPU time limit exceeded, terminating
% 22.41/22.59 eprover: CPU time limit exceeded, terminating
% 24.46/24.61 eprover: CPU time limit exceeded, terminating
% 26.45/26.62 eprover: CPU time limit exceeded, terminating
% 28.48/28.64 eprover: CPU time limit exceeded, terminating
% 30.53/30.65 eprover: CPU time limit exceeded, terminating
% 32.45/32.67 eprover: CPU time limit exceeded, terminating
% 34.57/34.68 eprover: CPU time limit exceeded, terminating
% 36.50/36.69 eprover: CPU time limit exceeded, terminating
% 38.59/38.71 eprover: CPU time limit exceeded, terminating
% 40.58/40.72 eprover: CPU time limit exceeded, terminating
% 42.62/42.74 eprover: CPU time limit exceeded, terminating
% 44.56/44.75 eprover: CPU time limit exceeded, terminating
% 46.62/46.77 eprover: CPU time limit exceeded, terminating
% 48.69/48.78 eprover: CPU time limit exceeded, terminating
% 50.63/50.80 eprover: CPU time limit exceeded, terminating
% 52.69/52.81 eprover: CPU time limit exceeded, terminating
% 54.71/54.82 eprover: CPU time limit exceeded, terminating
% 56.74/56.84 eprover: CPU time limit exceeded, terminating
% 58.72/58.85 eprover: CPU time limit exceeded, terminating
% 60.75/60.87 eprover: CPU time limit exceeded, terminating
% 62.80/62.89 eprover: CPU time limit exceeded, terminating
% 64.84/64.90 eprover: CPU time limit exceeded, terminating
% 66.79/66.91 eprover: CPU time limit exceeded, terminating
% 68.85/68.93 eprover: CPU time limit exceeded, terminating
% 70.88/70.94 eprover: CPU time limit exceeded, terminating
% 72.87/72.96 eprover: CPU time limit exceeded, terminating
% 74.88/74.98 eprover: CPU time limit exceeded, terminating
% 76.87/76.99 eprover: CPU time limit exceeded, terminating
% 78.94/79.01 eprover: CPU time limit exceeded, terminating
% 80.98/81.02 eprover: CPU time limit exceeded, terminating
% 82.96/83.04 eprover: CPU time limit exceeded, terminating
% 85.01/85.05 eprover: CPU time limit exceeded, terminating
% 87.04/87.07 eprover: CPU time limit exceeded, terminating
% 89.01/89.08 eprover: CPU time limit exceeded, terminating
% 91.06/91.10 eprover: CPU time limit exceeded, terminating
% 93.08/93.11 eprover: CPU time limit exceeded, terminating
% 95.06/95.13 eprover: CPU time limit exceeded, terminating
% 97.08/97.14 eprover: CPU time limit exceeded, terminating
% 99.13/99.16 eprover: CPU time limit exceeded, terminating
% 101.12/101.17 eprover: CPU time limit exceeded, terminating
% 103.18/103.19 eprover: CPU time limit exceeded, terminating
% 105.21/105.20 eprover: CPU time limit exceeded, terminating
% 107.22/107.22 eprover: CPU time limit exceeded, terminating
% 109.19/109.23 eprover: CPU time limit exceeded, terminating
% 111.21/111.25 eprover: CPU time limit exceeded, terminating
% 113.29/113.27 eprover: CPU time limit exceeded, terminating
% 115.33/115.28 eprover: CPU time limit exceeded, terminating
% 117.33/117.30 eprover: CPU time limit exceeded, terminating
% 119.26/119.31 eprover: CPU time limit exceeded, terminating
% 121.33/121.32 eprover: CPU time limit exceeded, terminating
% 123.36/123.34 eprover: CPU time limit exceeded, terminating
% 125.40/125.35 eprover: CPU time limit exceeded, terminating
% 127.34/127.37 eprover: CPU time limit exceeded, terminating
% 129.44/129.39 eprover: CPU time limit exceeded, terminating
% 131.46/131.41 eprover: CPU time limit exceeded, terminating
% 133.41/133.42 eprover: CPU time limit exceeded, terminating
% 135.50/135.44 eprover: CPU time limit exceeded, terminating
% 137.50/137.45 eprover: CPU time limit exceeded, terminating
% 139.54/139.50 eprover: CPU time limit exceeded, terminating
% 141.54/141.52 eprover: CPU time limit exceeded, terminating
% 143.54/143.54 eprover: CPU time limit exceeded, terminating
% 145.56/145.55 eprover: CPU time limit exceeded, terminating
% 147.59/147.57 eprover: CPU time limit exceeded, terminating
% 149.60/149.60 eprover: CPU time limit exceeded, terminating
% 151.66/151.63 eprover: CPU time limit exceeded, terminating
% 153.59/153.65 eprover: CPU time limit exceeded, terminating
% 155.67/155.66 eprover: CPU time limit exceeded, terminating
% 157.69/157.68 eprover: CPU time limit exceeded, terminating
% 159.73/159.71 eprover: CPU time limit exceeded, terminating
% 161.75/161.72 eprover: CPU time limit exceeded, terminating
% 163.76/163.74 eprover: CPU time limit exceeded, terminating
% 165.77/165.75 eprover: CPU time limit exceeded, terminating
% 167.71/167.77 eprover: CPU time limit exceeded, terminating
% 169.78/169.78 eprover: CPU time limit exceeded, terminating
% 171.83/171.80 eprover: CPU time limit exceeded, terminating
% 173.83/173.82 eprover: CPU time limit exceeded, terminating
% 175.82/175.83 eprover: CPU time limit exceeded, terminating
% 177.86/177.85 eprover: CPU time limit exceeded, terminating
% 179.91/179.86 eprover: CPU time limit exceeded, terminating
% 181.95/181.88 eprover: CPU time limit exceeded, terminating
% 183.92/183.89 eprover: CPU time limit exceeded, terminating
% 185.92/185.91 eprover: CPU time limit exceeded, terminating
% 188.00/187.92 eprover: CPU time limit exceeded, terminating
% 189.92/189.94 eprover: CPU time limit exceeded, terminating
% 192.02/191.96 eprover: CPU time limit exceeded, terminating
% 194.05/193.97 eprover: CPU time limit exceeded, terminating
% 196.05/195.99 eprover: CPU time limit exceeded, terminating
% 198.05/198.00 eprover: CPU time limit exceeded, terminating
% 200.10/200.01 eprover: CPU time limit exceeded, terminating
% 202.12/202.13 eprover: CPU time limit exceeded, terminating
% 204.10/204.15 eprover: CPU time limit exceeded, terminating
% 206.17/206.16 eprover: CPU time limit exceeded, terminating
% 208.19/208.18 eprover: CPU time limit exceeded, terminating
% 210.17/210.19 eprover: CPU time limit exceeded, terminating
% 212.20/212.21 eprover: CPU time limit exceeded, terminating
% 214.17/214.22 eprover: CPU time limit exceeded, terminating
% 216.27/216.24 eprover: CPU time limit exceeded, terminating
% 218.27/218.25 eprover: CPU time limit exceeded, terminating
% 220.26/220.26 eprover: CPU time limit exceeded, terminating
% 222.28/222.28 eprover: CPU time limit exceeded, terminating
% 224.29/224.29 eprover: CPU time limit exceeded, terminating
% 226.32/226.31 eprover: CPU time limit exceeded, terminating
% 228.36/228.32 eprover: CPU time limit exceeded, terminating
% 230.36/230.34 eprover: CPU time limit exceeded, terminating
% 232.33/232.35 eprover: CPU time limit exceeded, terminating
% 234.39/234.36 eprover: CPU time limit exceeded, terminating
% 236.41/236.38 eprover: CPU time limit exceeded, terminating
% 238.45/238.39 eprover: CPU time limit exceeded, terminating
% 240.46/240.40 eprover: CPU time limit exceeded, terminating
% 242.46/242.42 eprover: CPU time limit exceeded, terminating
% 244.49/244.43 eprover: CPU time limit exceeded, terminating
% 246.50/246.45 eprover: CPU time limit exceeded, terminating
% 248.52/248.46 eprover: CPU time limit exceeded, terminating
% 250.54/250.48 eprover: CPU time limit exceeded, terminating
% 252.56/252.49 eprover: CPU time limit exceeded, terminating
% 254.54/254.51 eprover: CPU time limit exceeded, terminating
% 256.58/256.52 eprover: CPU time limit exceeded, terminating
% 258.60/258.54 eprover: CPU time limit exceeded, terminating
% 260.64/260.55 eprover: CPU time limit exceeded, terminating
% 262.61/262.56 eprover: CPU time limit exceeded, terminating
% 264.68/264.58 eprover: CPU time limit exceeded, terminating
% 266.67/266.59 eprover: CPU time limit exceeded, terminating
% 268.67/268.61 eprover: CPU time limit exceeded, terminating
% 270.75/270.62 eprover: CPU time limit exceeded, terminating
% 272.75/272.64 eprover: CPU time limit exceeded, terminating
% 274.74/274.65 eprover: CPU time limit exceeded, terminating
% 276.79/276.66 eprover: CPU time limit exceeded, terminating
% 278.83/278.68 eprover: CPU time limit exceeded, terminating
% 280.81/280.69 eprover: CPU time limit exceeded, terminating
% 282.80/282.70 eprover: CPU time limit exceeded, terminating
% 284.79/284.72 eprover: CPU time limit exceeded, terminating
% 286.88/286.73 eprover: CPU time limit exceeded, terminating
% 288.90/288.74 eprover: CPU time limit exceeded, terminating
% 290.90/290.76 eprover: CPU time limit exceeded, terminating
% 292.91/292.77 eprover: CPU time limit exceeded, terminating
% 294.93/294.78 eprover: CPU time limit exceeded, terminating
% 296.95/296.80 eprover: CPU time limit exceeded, terminating
% 298.94/298.81 eprover: CPU time limit exceeded, terminating
% 300.04/299.87 eprover: CPU time limit exceeded, terminating
% 300.04/299.88 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------