TSTP Solution File: GEO137-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GEO137-1 : TPTP v8.1.0. Released v2.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n014.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:03 EDT 2022
% Result : Timeout 286.89s 287.02s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : GEO137-1 : TPTP v8.1.0. Released v2.4.0.
% 0.11/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n014.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Sat Jun 18 01:28:49 EDT 2022
% 0.13/0.34 % CPUTime :
% 2.24/2.44 eprover: CPU time limit exceeded, terminating
% 4.26/4.46 eprover: CPU time limit exceeded, terminating
% 6.25/6.47 eprover: CPU time limit exceeded, terminating
% 8.26/8.48 eprover: CPU time limit exceeded, terminating
% 10.24/10.50 eprover: CPU time limit exceeded, terminating
% 12.28/12.51 eprover: CPU time limit exceeded, terminating
% 14.35/14.52 eprover: CPU time limit exceeded, terminating
% 16.35/16.55 eprover: CPU time limit exceeded, terminating
% 18.36/18.56 eprover: CPU time limit exceeded, terminating
% 20.42/20.58 eprover: CPU time limit exceeded, terminating
% 22.33/22.60 eprover: CPU time limit exceeded, terminating
% 24.44/24.64 eprover: CPU time limit exceeded, terminating
% 26.45/26.66 eprover: CPU time limit exceeded, terminating
% 28.43/28.67 eprover: CPU time limit exceeded, terminating
% 30.51/30.69 eprover: CPU time limit exceeded, terminating
% 32.54/32.71 eprover: CPU time limit exceeded, terminating
% 34.53/34.73 eprover: CPU time limit exceeded, terminating
% 36.56/36.74 eprover: CPU time limit exceeded, terminating
% 38.52/38.76 eprover: CPU time limit exceeded, terminating
% 40.56/40.78 eprover: CPU time limit exceeded, terminating
% 42.63/42.80 eprover: CPU time limit exceeded, terminating
% 44.64/44.83 eprover: CPU time limit exceeded, terminating
% 46.66/46.85 eprover: CPU time limit exceeded, terminating
% 48.62/48.87 eprover: CPU time limit exceeded, terminating
% 50.70/50.90 eprover: CPU time limit exceeded, terminating
% 52.72/52.92 eprover: CPU time limit exceeded, terminating
% 54.71/54.94 eprover: CPU time limit exceeded, terminating
% 56.70/56.95 eprover: CPU time limit exceeded, terminating
% 58.72/58.99 eprover: CPU time limit exceeded, terminating
% 60.80/61.00 eprover: CPU time limit exceeded, terminating
% 62.79/63.02 eprover: CPU time limit exceeded, terminating
% 64.81/65.04 eprover: CPU time limit exceeded, terminating
% 66.82/67.05 eprover: CPU time limit exceeded, terminating
% 68.88/69.07 eprover: CPU time limit exceeded, terminating
% 70.81/71.09 eprover: CPU time limit exceeded, terminating
% 72.93/73.10 eprover: CPU time limit exceeded, terminating
% 74.93/75.12 eprover: CPU time limit exceeded, terminating
% 76.92/77.14 eprover: CPU time limit exceeded, terminating
% 78.91/79.15 eprover: CPU time limit exceeded, terminating
% 80.94/81.17 eprover: CPU time limit exceeded, terminating
% 82.92/83.19 eprover: CPU time limit exceeded, terminating
% 85.00/85.21 eprover: CPU time limit exceeded, terminating
% 87.01/87.23 eprover: CPU time limit exceeded, terminating
% 89.02/89.25 eprover: CPU time limit exceeded, terminating
% 91.00/91.27 eprover: CPU time limit exceeded, terminating
% 93.03/93.29 eprover: CPU time limit exceeded, terminating
% 95.11/95.31 eprover: CPU time limit exceeded, terminating
% 97.12/97.32 eprover: CPU time limit exceeded, terminating
% 99.09/99.34 eprover: CPU time limit exceeded, terminating
% 101.12/101.38 eprover: CPU time limit exceeded, terminating
% 103.17/103.41 eprover: CPU time limit exceeded, terminating
% 105.20/105.42 eprover: CPU time limit exceeded, terminating
% 107.17/107.44 eprover: CPU time limit exceeded, terminating
% 109.22/109.46 eprover: CPU time limit exceeded, terminating
% 111.19/111.48 eprover: CPU time limit exceeded, terminating
% 113.25/113.50 eprover: CPU time limit exceeded, terminating
% 115.28/115.52 eprover: CPU time limit exceeded, terminating
% 117.28/117.53 eprover: CPU time limit exceeded, terminating
% 119.26/119.55 eprover: CPU time limit exceeded, terminating
% 121.28/121.57 eprover: CPU time limit exceeded, terminating
% 123.31/123.59 eprover: CPU time limit exceeded, terminating
% 125.38/125.61 eprover: CPU time limit exceeded, terminating
% 127.39/127.63 eprover: CPU time limit exceeded, terminating
% 129.40/129.64 eprover: CPU time limit exceeded, terminating
% 131.36/131.68 eprover: CPU time limit exceeded, terminating
% 133.40/133.69 eprover: CPU time limit exceeded, terminating
% 135.47/135.71 eprover: CPU time limit exceeded, terminating
% 137.48/137.72 eprover: CPU time limit exceeded, terminating
% 139.51/139.74 eprover: CPU time limit exceeded, terminating
% 141.50/141.76 eprover: CPU time limit exceeded, terminating
% 143.57/143.78 eprover: CPU time limit exceeded, terminating
% 145.49/145.79 eprover: CPU time limit exceeded, terminating
% 147.59/147.81 eprover: CPU time limit exceeded, terminating
% 149.62/149.83 eprover: CPU time limit exceeded, terminating
% 151.62/151.84 eprover: CPU time limit exceeded, terminating
% 153.60/153.85 eprover: CPU time limit exceeded, terminating
% 155.63/155.87 eprover: CPU time limit exceeded, terminating
% 157.70/157.88 eprover: CPU time limit exceeded, terminating
% 159.62/159.89 eprover: CPU time limit exceeded, terminating
% 161.66/161.91 eprover: CPU time limit exceeded, terminating
% 163.74/163.92 eprover: CPU time limit exceeded, terminating
% 165.78/165.94 eprover: CPU time limit exceeded, terminating
% 167.74/167.95 eprover: CPU time limit exceeded, terminating
% 169.73/169.97 eprover: CPU time limit exceeded, terminating
% 171.75/171.98 eprover: CPU time limit exceeded, terminating
% 173.77/174.00 eprover: CPU time limit exceeded, terminating
% 175.86/176.01 eprover: CPU time limit exceeded, terminating
% 177.85/178.03 eprover: CPU time limit exceeded, terminating
% 179.89/180.04 eprover: CPU time limit exceeded, terminating
% 181.91/182.05 eprover: CPU time limit exceeded, terminating
% 183.92/184.07 eprover: CPU time limit exceeded, terminating
% 185.96/186.09 eprover: CPU time limit exceeded, terminating
% 187.90/188.10 eprover: CPU time limit exceeded, terminating
% 189.95/190.11 eprover: CPU time limit exceeded, terminating
% 191.99/192.13 eprover: CPU time limit exceeded, terminating
% 194.00/194.15 eprover: CPU time limit exceeded, terminating
% 196.01/196.16 eprover: CPU time limit exceeded, terminating
% 198.05/198.18 eprover: CPU time limit exceeded, terminating
% 200.08/200.19 eprover: CPU time limit exceeded, terminating
% 202.11/202.22 eprover: CPU time limit exceeded, terminating
% 204.10/204.23 eprover: CPU time limit exceeded, terminating
% 206.13/206.24 eprover: CPU time limit exceeded, terminating
% 208.16/208.25 eprover: CPU time limit exceeded, terminating
% 210.10/210.27 eprover: CPU time limit exceeded, terminating
% 212.18/212.29 eprover: CPU time limit exceeded, terminating
% 214.12/214.31 eprover: CPU time limit exceeded, terminating
% 216.23/216.32 eprover: CPU time limit exceeded, terminating
% 218.22/218.34 eprover: CPU time limit exceeded, terminating
% 220.21/220.35 eprover: CPU time limit exceeded, terminating
% 222.23/222.38 eprover: CPU time limit exceeded, terminating
% 224.25/224.39 eprover: CPU time limit exceeded, terminating
% 226.35/226.41 eprover: CPU time limit exceeded, terminating
% 228.33/228.42 eprover: CPU time limit exceeded, terminating
% 230.37/230.44 eprover: CPU time limit exceeded, terminating
% 232.33/232.47 eprover: CPU time limit exceeded, terminating
% 234.38/234.54 eprover: CPU time limit exceeded, terminating
% 236.39/236.56 eprover: CPU time limit exceeded, terminating
% 238.42/238.57 eprover: CPU time limit exceeded, terminating
% 240.48/240.59 eprover: CPU time limit exceeded, terminating
% 242.49/242.62 eprover: CPU time limit exceeded, terminating
% 244.49/244.67 eprover: CPU time limit exceeded, terminating
% 246.45/246.68 eprover: CPU time limit exceeded, terminating
% 248.55/248.70 eprover: CPU time limit exceeded, terminating
% 250.55/250.71 eprover: CPU time limit exceeded, terminating
% 252.56/252.74 eprover: CPU time limit exceeded, terminating
% 254.59/254.75 eprover: CPU time limit exceeded, terminating
% 256.57/256.76 eprover: CPU time limit exceeded, terminating
% 258.60/258.78 eprover: CPU time limit exceeded, terminating
% 260.65/260.83 eprover: CPU time limit exceeded, terminating
% 262.67/262.84 eprover: CPU time limit exceeded, terminating
% 264.65/264.86 eprover: CPU time limit exceeded, terminating
% 266.68/266.87 eprover: CPU time limit exceeded, terminating
% 268.75/268.89 eprover: CPU time limit exceeded, terminating
% 270.77/270.91 eprover: CPU time limit exceeded, terminating
% 272.77/272.92 eprover: CPU time limit exceeded, terminating
% 274.77/274.93 eprover: CPU time limit exceeded, terminating
% 276.79/276.95 eprover: CPU time limit exceeded, terminating
% 278.80/278.96 eprover: CPU time limit exceeded, terminating
% 280.78/280.98 eprover: CPU time limit exceeded, terminating
% 282.87/282.99 eprover: CPU time limit exceeded, terminating
% 284.91/285.01 eprover: CPU time limit exceeded, terminating
% 286.89/287.02 eprover: CPU time limit exceeded, terminating
% 288.92/289.03 eprover: CPU time limit exceeded, terminating
% 290.92/291.05 eprover: CPU time limit exceeded, terminating
% 292.95/293.06 eprover: CPU time limit exceeded, terminating
% 294.92/295.08 eprover: CPU time limit exceeded, terminating
% 297.02/297.19 eprover: CPU time limit exceeded, terminating
% 299.03/299.21 eprover: CPU time limit exceeded, terminating
% 300.02/300.19 eprover: CPU time limit exceeded, terminating
% 300.02/300.21 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------