TSTP Solution File: GEO511+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GEO511+1 : TPTP v8.1.0. Released v7.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n010.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:35:00 EDT 2022
% Result : Timeout 287.23s 286.50s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.13 % Problem : GEO511+1 : TPTP v8.1.0. Released v7.0.0.
% 0.04/0.14 % Command : run_infinox %s
% 0.14/0.36 % Computer : n010.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 14:44:53 EDT 2022
% 0.14/0.36 % CPUTime :
% 2.36/2.58 eprover: CPU time limit exceeded, terminating
% 4.41/4.59 eprover: CPU time limit exceeded, terminating
% 6.38/6.60 eprover: CPU time limit exceeded, terminating
% 8.43/8.62 eprover: CPU time limit exceeded, terminating
% 10.47/10.63 eprover: CPU time limit exceeded, terminating
% 12.43/12.64 eprover: CPU time limit exceeded, terminating
% 14.52/14.66 eprover: CPU time limit exceeded, terminating
% 16.53/16.67 eprover: CPU time limit exceeded, terminating
% 18.55/18.69 eprover: CPU time limit exceeded, terminating
% 20.56/20.70 eprover: CPU time limit exceeded, terminating
% 22.55/22.71 eprover: CPU time limit exceeded, terminating
% 24.56/24.73 eprover: CPU time limit exceeded, terminating
% 26.66/26.74 eprover: CPU time limit exceeded, terminating
% 28.66/28.75 eprover: CPU time limit exceeded, terminating
% 30.64/30.76 eprover: CPU time limit exceeded, terminating
% 32.69/32.78 eprover: CPU time limit exceeded, terminating
% 34.72/34.79 eprover: CPU time limit exceeded, terminating
% 36.72/36.80 eprover: CPU time limit exceeded, terminating
% 38.78/38.82 eprover: CPU time limit exceeded, terminating
% 40.73/40.83 eprover: CPU time limit exceeded, terminating
% 42.81/42.84 eprover: CPU time limit exceeded, terminating
% 44.81/44.86 eprover: CPU time limit exceeded, terminating
% 46.85/46.87 eprover: CPU time limit exceeded, terminating
% 48.86/48.88 eprover: CPU time limit exceeded, terminating
% 50.88/50.89 eprover: CPU time limit exceeded, terminating
% 52.88/52.91 eprover: CPU time limit exceeded, terminating
% 54.93/54.92 eprover: CPU time limit exceeded, terminating
% 56.86/56.93 eprover: CPU time limit exceeded, terminating
% 58.97/58.95 eprover: CPU time limit exceeded, terminating
% 60.98/60.96 eprover: CPU time limit exceeded, terminating
% 63.01/62.97 eprover: CPU time limit exceeded, terminating
% 65.01/64.98 eprover: CPU time limit exceeded, terminating
% 67.03/67.00 eprover: CPU time limit exceeded, terminating
% 69.05/69.01 eprover: CPU time limit exceeded, terminating
% 71.08/71.02 eprover: CPU time limit exceeded, terminating
% 73.04/73.04 eprover: CPU time limit exceeded, terminating
% 75.14/75.05 eprover: CPU time limit exceeded, terminating
% 77.15/77.06 eprover: CPU time limit exceeded, terminating
% 79.11/79.07 eprover: CPU time limit exceeded, terminating
% 81.18/81.09 eprover: CPU time limit exceeded, terminating
% 83.21/83.10 eprover: CPU time limit exceeded, terminating
% 85.18/85.11 eprover: CPU time limit exceeded, terminating
% 87.19/87.12 eprover: CPU time limit exceeded, terminating
% 89.18/89.14 eprover: CPU time limit exceeded, terminating
% 91.28/91.15 eprover: CPU time limit exceeded, terminating
% 93.31/93.16 eprover: CPU time limit exceeded, terminating
% 95.30/95.18 eprover: CPU time limit exceeded, terminating
% 97.33/97.19 eprover: CPU time limit exceeded, terminating
% 99.38/99.20 eprover: CPU time limit exceeded, terminating
% 101.39/101.21 eprover: CPU time limit exceeded, terminating
% 103.37/103.23 eprover: CPU time limit exceeded, terminating
% 105.35/105.24 eprover: CPU time limit exceeded, terminating
% 107.45/107.26 eprover: CPU time limit exceeded, terminating
% 109.44/109.28 eprover: CPU time limit exceeded, terminating
% 111.49/111.29 eprover: CPU time limit exceeded, terminating
% 113.45/113.30 eprover: CPU time limit exceeded, terminating
% 115.53/115.31 eprover: CPU time limit exceeded, terminating
% 117.55/117.34 eprover: CPU time limit exceeded, terminating
% 119.55/119.35 eprover: CPU time limit exceeded, terminating
% 121.56/121.36 eprover: CPU time limit exceeded, terminating
% 123.61/123.38 eprover: CPU time limit exceeded, terminating
% 125.60/125.40 eprover: CPU time limit exceeded, terminating
% 127.62/127.41 eprover: CPU time limit exceeded, terminating
% 129.66/129.42 eprover: CPU time limit exceeded, terminating
% 131.68/131.43 eprover: CPU time limit exceeded, terminating
% 133.68/133.45 eprover: CPU time limit exceeded, terminating
% 135.73/135.46 eprover: CPU time limit exceeded, terminating
% 137.71/137.47 eprover: CPU time limit exceeded, terminating
% 139.72/139.48 eprover: CPU time limit exceeded, terminating
% 141.76/141.49 eprover: CPU time limit exceeded, terminating
% 143.73/143.50 eprover: CPU time limit exceeded, terminating
% 145.76/145.52 eprover: CPU time limit exceeded, terminating
% 147.85/147.54 eprover: CPU time limit exceeded, terminating
% 149.86/149.55 eprover: CPU time limit exceeded, terminating
% 151.89/151.56 eprover: CPU time limit exceeded, terminating
% 153.90/153.58 eprover: CPU time limit exceeded, terminating
% 155.90/155.59 eprover: CPU time limit exceeded, terminating
% 157.91/157.61 eprover: CPU time limit exceeded, terminating
% 159.88/159.62 eprover: CPU time limit exceeded, terminating
% 161.94/161.64 eprover: CPU time limit exceeded, terminating
% 163.97/163.65 eprover: CPU time limit exceeded, terminating
% 166.01/165.66 eprover: CPU time limit exceeded, terminating
% 167.98/167.69 eprover: CPU time limit exceeded, terminating
% 170.01/169.70 eprover: CPU time limit exceeded, terminating
% 172.01/171.71 eprover: CPU time limit exceeded, terminating
% 174.08/173.72 eprover: CPU time limit exceeded, terminating
% 176.10/175.73 eprover: CPU time limit exceeded, terminating
% 178.05/177.76 eprover: CPU time limit exceeded, terminating
% 180.15/179.77 eprover: CPU time limit exceeded, terminating
% 182.16/181.79 eprover: CPU time limit exceeded, terminating
% 184.19/183.81 eprover: CPU time limit exceeded, terminating
% 186.17/185.82 eprover: CPU time limit exceeded, terminating
% 188.20/187.83 eprover: CPU time limit exceeded, terminating
% 190.20/189.85 eprover: CPU time limit exceeded, terminating
% 192.23/191.86 eprover: CPU time limit exceeded, terminating
% 194.27/193.87 eprover: CPU time limit exceeded, terminating
% 196.29/195.89 eprover: CPU time limit exceeded, terminating
% 198.27/197.90 eprover: CPU time limit exceeded, terminating
% 200.28/199.91 eprover: CPU time limit exceeded, terminating
% 202.34/201.93 eprover: CPU time limit exceeded, terminating
% 204.40/203.94 eprover: CPU time limit exceeded, terminating
% 206.40/205.95 eprover: CPU time limit exceeded, terminating
% 208.42/207.96 eprover: CPU time limit exceeded, terminating
% 210.43/209.98 eprover: CPU time limit exceeded, terminating
% 212.45/211.99 eprover: CPU time limit exceeded, terminating
% 214.47/214.00 eprover: CPU time limit exceeded, terminating
% 216.53/216.02 eprover: CPU time limit exceeded, terminating
% 218.53/218.03 eprover: CPU time limit exceeded, terminating
% 220.49/220.04 eprover: CPU time limit exceeded, terminating
% 222.57/222.05 eprover: CPU time limit exceeded, terminating
% 224.58/224.06 eprover: CPU time limit exceeded, terminating
% 226.58/226.07 eprover: CPU time limit exceeded, terminating
% 228.62/228.09 eprover: CPU time limit exceeded, terminating
% 230.61/230.10 eprover: CPU time limit exceeded, terminating
% 232.63/232.11 eprover: CPU time limit exceeded, terminating
% 234.68/234.13 eprover: CPU time limit exceeded, terminating
% 236.65/236.14 eprover: CPU time limit exceeded, terminating
% 238.69/238.15 eprover: CPU time limit exceeded, terminating
% 240.73/240.16 eprover: CPU time limit exceeded, terminating
% 242.78/242.18 eprover: CPU time limit exceeded, terminating
% 244.72/244.19 eprover: CPU time limit exceeded, terminating
% 246.76/246.20 eprover: CPU time limit exceeded, terminating
% 248.80/248.22 eprover: CPU time limit exceeded, terminating
% 250.85/250.23 eprover: CPU time limit exceeded, terminating
% 252.82/252.25 eprover: CPU time limit exceeded, terminating
% 254.83/254.26 eprover: CPU time limit exceeded, terminating
% 256.85/256.28 eprover: CPU time limit exceeded, terminating
% 258.86/258.29 eprover: CPU time limit exceeded, terminating
% 260.95/260.30 eprover: CPU time limit exceeded, terminating
% 262.97/262.32 eprover: CPU time limit exceeded, terminating
% 264.94/264.33 eprover: CPU time limit exceeded, terminating
% 266.99/266.35 eprover: CPU time limit exceeded, terminating
% 268.99/268.36 eprover: CPU time limit exceeded, terminating
% 271.00/270.37 eprover: CPU time limit exceeded, terminating
% 273.08/272.39 eprover: CPU time limit exceeded, terminating
% 275.02/274.40 eprover: CPU time limit exceeded, terminating
% 277.12/276.42 eprover: CPU time limit exceeded, terminating
% 279.10/278.43 eprover: CPU time limit exceeded, terminating
% 281.13/280.46 eprover: CPU time limit exceeded, terminating
% 283.10/282.47 eprover: CPU time limit exceeded, terminating
% 285.14/284.48 eprover: CPU time limit exceeded, terminating
% 287.23/286.50 eprover: CPU time limit exceeded, terminating
% 289.22/288.51 eprover: CPU time limit exceeded, terminating
% 291.23/290.53 eprover: CPU time limit exceeded, terminating
% 293.27/292.55 eprover: CPU time limit exceeded, terminating
% 295.23/294.56 eprover: CPU time limit exceeded, terminating
% 297.26/296.57 eprover: CPU time limit exceeded, terminating
% 299.34/298.59 eprover: CPU time limit exceeded, terminating
% 300.02/299.27 eprover: CPU time limit exceeded, terminating
% 300.02/299.28 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------