TSTP Solution File: GEO150-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GEO150-1 : TPTP v8.1.0. Released v2.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n027.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:09 EDT 2022
% Result : Timeout 287.00s 287.01s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : GEO150-1 : TPTP v8.1.0. Released v2.4.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n027.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 : Fri Jun 17 17:29:52 EDT 2022
% 0.13/0.34 % CPUTime :
% 2.27/2.45 eprover: CPU time limit exceeded, terminating
% 4.26/4.46 eprover: CPU time limit exceeded, terminating
% 6.28/6.47 eprover: CPU time limit exceeded, terminating
% 8.31/8.49 eprover: CPU time limit exceeded, terminating
% 10.30/10.51 eprover: CPU time limit exceeded, terminating
% 12.36/12.52 eprover: CPU time limit exceeded, terminating
% 14.36/14.54 eprover: CPU time limit exceeded, terminating
% 16.38/16.56 eprover: CPU time limit exceeded, terminating
% 18.38/18.58 eprover: CPU time limit exceeded, terminating
% 20.40/20.60 eprover: CPU time limit exceeded, terminating
% 22.44/22.61 eprover: CPU time limit exceeded, terminating
% 24.45/24.62 eprover: CPU time limit exceeded, terminating
% 26.51/26.63 eprover: CPU time limit exceeded, terminating
% 28.50/28.65 eprover: CPU time limit exceeded, terminating
% 30.52/30.66 eprover: CPU time limit exceeded, terminating
% 32.54/32.68 eprover: CPU time limit exceeded, terminating
% 34.55/34.70 eprover: CPU time limit exceeded, terminating
% 36.56/36.72 eprover: CPU time limit exceeded, terminating
% 38.59/38.73 eprover: CPU time limit exceeded, terminating
% 40.63/40.75 eprover: CPU time limit exceeded, terminating
% 42.62/42.76 eprover: CPU time limit exceeded, terminating
% 44.64/44.78 eprover: CPU time limit exceeded, terminating
% 46.63/46.80 eprover: CPU time limit exceeded, terminating
% 48.65/48.82 eprover: CPU time limit exceeded, terminating
% 50.67/50.84 eprover: CPU time limit exceeded, terminating
% 52.73/52.85 eprover: CPU time limit exceeded, terminating
% 54.71/54.87 eprover: CPU time limit exceeded, terminating
% 56.75/56.89 eprover: CPU time limit exceeded, terminating
% 58.80/58.91 eprover: CPU time limit exceeded, terminating
% 60.77/60.93 eprover: CPU time limit exceeded, terminating
% 62.83/62.94 eprover: CPU time limit exceeded, terminating
% 64.82/64.96 eprover: CPU time limit exceeded, terminating
% 66.87/66.97 eprover: CPU time limit exceeded, terminating
% 68.84/68.99 eprover: CPU time limit exceeded, terminating
% 70.86/71.01 eprover: CPU time limit exceeded, terminating
% 72.85/73.03 eprover: CPU time limit exceeded, terminating
% 74.93/75.04 eprover: CPU time limit exceeded, terminating
% 76.96/77.07 eprover: CPU time limit exceeded, terminating
% 78.93/79.08 eprover: CPU time limit exceeded, terminating
% 80.97/81.10 eprover: CPU time limit exceeded, terminating
% 82.98/83.12 eprover: CPU time limit exceeded, terminating
% 85.01/85.14 eprover: CPU time limit exceeded, terminating
% 87.04/87.15 eprover: CPU time limit exceeded, terminating
% 89.04/89.16 eprover: CPU time limit exceeded, terminating
% 91.06/91.18 eprover: CPU time limit exceeded, terminating
% 93.10/93.20 eprover: CPU time limit exceeded, terminating
% 95.08/95.21 eprover: CPU time limit exceeded, terminating
% 97.09/97.23 eprover: CPU time limit exceeded, terminating
% 99.14/99.25 eprover: CPU time limit exceeded, terminating
% 101.18/101.27 eprover: CPU time limit exceeded, terminating
% 103.21/103.30 eprover: CPU time limit exceeded, terminating
% 105.23/105.32 eprover: CPU time limit exceeded, terminating
% 107.22/107.33 eprover: CPU time limit exceeded, terminating
% 109.25/109.35 eprover: CPU time limit exceeded, terminating
% 111.27/111.37 eprover: CPU time limit exceeded, terminating
% 113.25/113.40 eprover: CPU time limit exceeded, terminating
% 115.31/115.41 eprover: CPU time limit exceeded, terminating
% 117.32/117.44 eprover: CPU time limit exceeded, terminating
% 119.28/119.46 eprover: CPU time limit exceeded, terminating
% 121.35/121.47 eprover: CPU time limit exceeded, terminating
% 123.41/123.49 eprover: CPU time limit exceeded, terminating
% 125.42/125.51 eprover: CPU time limit exceeded, terminating
% 127.44/127.52 eprover: CPU time limit exceeded, terminating
% 129.39/129.54 eprover: CPU time limit exceeded, terminating
% 131.40/131.56 eprover: CPU time limit exceeded, terminating
% 133.45/133.57 eprover: CPU time limit exceeded, terminating
% 135.47/135.60 eprover: CPU time limit exceeded, terminating
% 137.54/137.62 eprover: CPU time limit exceeded, terminating
% 139.56/139.64 eprover: CPU time limit exceeded, terminating
% 141.56/141.66 eprover: CPU time limit exceeded, terminating
% 143.61/143.67 eprover: CPU time limit exceeded, terminating
% 145.61/145.69 eprover: CPU time limit exceeded, terminating
% 147.61/147.70 eprover: CPU time limit exceeded, terminating
% 149.57/149.72 eprover: CPU time limit exceeded, terminating
% 151.63/151.73 eprover: CPU time limit exceeded, terminating
% 153.69/153.75 eprover: CPU time limit exceeded, terminating
% 155.64/155.76 eprover: CPU time limit exceeded, terminating
% 157.68/157.78 eprover: CPU time limit exceeded, terminating
% 159.67/159.79 eprover: CPU time limit exceeded, terminating
% 161.76/161.81 eprover: CPU time limit exceeded, terminating
% 163.78/163.82 eprover: CPU time limit exceeded, terminating
% 165.72/165.87 eprover: CPU time limit exceeded, terminating
% 167.81/167.88 eprover: CPU time limit exceeded, terminating
% 169.84/169.90 eprover: CPU time limit exceeded, terminating
% 171.78/171.92 eprover: CPU time limit exceeded, terminating
% 173.84/173.94 eprover: CPU time limit exceeded, terminating
% 175.88/175.95 eprover: CPU time limit exceeded, terminating
% 177.91/177.97 eprover: CPU time limit exceeded, terminating
% 179.88/179.99 eprover: CPU time limit exceeded, terminating
% 181.96/182.00 eprover: CPU time limit exceeded, terminating
% 183.95/184.02 eprover: CPU time limit exceeded, terminating
% 185.94/186.04 eprover: CPU time limit exceeded, terminating
% 188.02/188.06 eprover: CPU time limit exceeded, terminating
% 190.01/190.07 eprover: CPU time limit exceeded, terminating
% 192.06/192.09 eprover: CPU time limit exceeded, terminating
% 194.05/194.11 eprover: CPU time limit exceeded, terminating
% 196.10/196.13 eprover: CPU time limit exceeded, terminating
% 198.10/198.27 eprover: CPU time limit exceeded, terminating
% 200.12/200.29 eprover: CPU time limit exceeded, terminating
% 202.11/202.31 eprover: CPU time limit exceeded, terminating
% 204.12/204.33 eprover: CPU time limit exceeded, terminating
% 206.16/206.34 eprover: CPU time limit exceeded, terminating
% 208.20/208.36 eprover: CPU time limit exceeded, terminating
% 210.22/210.38 eprover: CPU time limit exceeded, terminating
% 212.24/212.39 eprover: CPU time limit exceeded, terminating
% 214.28/214.42 eprover: CPU time limit exceeded, terminating
% 216.26/216.44 eprover: CPU time limit exceeded, terminating
% 218.29/218.45 eprover: CPU time limit exceeded, terminating
% 220.32/220.48 eprover: CPU time limit exceeded, terminating
% 222.33/222.49 eprover: CPU time limit exceeded, terminating
% 224.32/224.51 eprover: CPU time limit exceeded, terminating
% 226.32/226.52 eprover: CPU time limit exceeded, terminating
% 228.37/228.54 eprover: CPU time limit exceeded, terminating
% 230.45/230.55 eprover: CPU time limit exceeded, terminating
% 232.46/232.57 eprover: CPU time limit exceeded, terminating
% 234.47/234.58 eprover: CPU time limit exceeded, terminating
% 236.50/236.60 eprover: CPU time limit exceeded, terminating
% 238.49/238.62 eprover: CPU time limit exceeded, terminating
% 240.46/240.63 eprover: CPU time limit exceeded, terminating
% 242.49/242.65 eprover: CPU time limit exceeded, terminating
% 244.56/244.67 eprover: CPU time limit exceeded, terminating
% 246.59/246.68 eprover: CPU time limit exceeded, terminating
% 248.57/248.70 eprover: CPU time limit exceeded, terminating
% 250.64/250.71 eprover: CPU time limit exceeded, terminating
% 252.59/252.73 eprover: CPU time limit exceeded, terminating
% 254.67/254.75 eprover: CPU time limit exceeded, terminating
% 256.71/256.76 eprover: CPU time limit exceeded, terminating
% 258.72/258.78 eprover: CPU time limit exceeded, terminating
% 260.72/260.79 eprover: CPU time limit exceeded, terminating
% 262.74/262.81 eprover: CPU time limit exceeded, terminating
% 264.73/264.83 eprover: CPU time limit exceeded, terminating
% 266.77/266.84 eprover: CPU time limit exceeded, terminating
% 268.84/268.86 eprover: CPU time limit exceeded, terminating
% 270.83/270.88 eprover: CPU time limit exceeded, terminating
% 272.84/272.89 eprover: CPU time limit exceeded, terminating
% 274.83/274.91 eprover: CPU time limit exceeded, terminating
% 276.93/276.93 eprover: CPU time limit exceeded, terminating
% 278.92/278.94 eprover: CPU time limit exceeded, terminating
% 280.95/280.96 eprover: CPU time limit exceeded, terminating
% 282.97/282.97 eprover: CPU time limit exceeded, terminating
% 284.97/284.99 eprover: CPU time limit exceeded, terminating
% 287.00/287.01 eprover: CPU time limit exceeded, terminating
% 289.05/289.02 eprover: CPU time limit exceeded, terminating
% 291.01/291.04 eprover: CPU time limit exceeded, terminating
% 293.05/293.05 eprover: CPU time limit exceeded, terminating
% 295.12/295.07 eprover: CPU time limit exceeded, terminating
% 297.12/297.08 eprover: CPU time limit exceeded, terminating
% 299.13/299.10 eprover: CPU time limit exceeded, terminating
% 300.04/299.96 eprover: CPU time limit exceeded, terminating
% 300.04/299.98 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------