TSTP Solution File: GEO534+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GEO534+1 : TPTP v8.1.0. Released v7.0.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:35:05 EDT 2022
% Result : Timeout 287.75s 286.66s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.12 % Problem : GEO534+1 : TPTP v8.1.0. Released v7.0.0.
% 0.10/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n027.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Sat Jun 18 04:40:22 EDT 2022
% 0.12/0.34 % CPUTime :
% 2.48/2.68 eprover: CPU time limit exceeded, terminating
% 4.48/4.70 eprover: CPU time limit exceeded, terminating
% 6.52/6.71 eprover: CPU time limit exceeded, terminating
% 8.51/8.72 eprover: CPU time limit exceeded, terminating
% 10.54/10.74 eprover: CPU time limit exceeded, terminating
% 12.57/12.76 eprover: CPU time limit exceeded, terminating
% 14.54/14.78 eprover: CPU time limit exceeded, terminating
% 16.66/16.79 eprover: CPU time limit exceeded, terminating
% 18.66/18.81 eprover: CPU time limit exceeded, terminating
% 20.66/20.82 eprover: CPU time limit exceeded, terminating
% 22.69/22.84 eprover: CPU time limit exceeded, terminating
% 24.69/24.85 eprover: CPU time limit exceeded, terminating
% 26.74/26.87 eprover: CPU time limit exceeded, terminating
% 28.78/28.88 eprover: CPU time limit exceeded, terminating
% 30.75/30.89 eprover: CPU time limit exceeded, terminating
% 32.80/32.92 eprover: CPU time limit exceeded, terminating
% 34.84/34.93 eprover: CPU time limit exceeded, terminating
% 36.80/36.94 eprover: CPU time limit exceeded, terminating
% 38.85/38.96 eprover: CPU time limit exceeded, terminating
% 40.89/40.97 eprover: CPU time limit exceeded, terminating
% 42.92/43.00 eprover: CPU time limit exceeded, terminating
% 44.95/45.01 eprover: CPU time limit exceeded, terminating
% 46.93/47.02 eprover: CPU time limit exceeded, terminating
% 49.01/49.04 eprover: CPU time limit exceeded, terminating
% 50.98/51.05 eprover: CPU time limit exceeded, terminating
% 53.05/53.07 eprover: CPU time limit exceeded, terminating
% 55.03/55.09 eprover: CPU time limit exceeded, terminating
% 57.10/57.10 eprover: CPU time limit exceeded, terminating
% 59.11/59.11 eprover: CPU time limit exceeded, terminating
% 61.15/61.13 eprover: CPU time limit exceeded, terminating
% 63.13/63.15 eprover: CPU time limit exceeded, terminating
% 65.17/65.16 eprover: CPU time limit exceeded, terminating
% 67.22/67.17 eprover: CPU time limit exceeded, terminating
% 69.17/69.19 eprover: CPU time limit exceeded, terminating
% 71.27/71.20 eprover: CPU time limit exceeded, terminating
% 73.29/73.23 eprover: CPU time limit exceeded, terminating
% 75.28/75.24 eprover: CPU time limit exceeded, terminating
% 77.33/77.25 eprover: CPU time limit exceeded, terminating
% 79.30/79.27 eprover: CPU time limit exceeded, terminating
% 81.35/81.28 eprover: CPU time limit exceeded, terminating
% 83.38/83.30 eprover: CPU time limit exceeded, terminating
% 85.35/85.31 eprover: CPU time limit exceeded, terminating
% 87.39/87.33 eprover: CPU time limit exceeded, terminating
% 89.44/89.34 eprover: CPU time limit exceeded, terminating
% 91.45/91.35 eprover: CPU time limit exceeded, terminating
% 93.48/93.36 eprover: CPU time limit exceeded, terminating
% 95.54/95.38 eprover: CPU time limit exceeded, terminating
% 97.50/97.39 eprover: CPU time limit exceeded, terminating
% 99.59/99.41 eprover: CPU time limit exceeded, terminating
% 101.58/101.42 eprover: CPU time limit exceeded, terminating
% 103.62/103.43 eprover: CPU time limit exceeded, terminating
% 105.64/105.45 eprover: CPU time limit exceeded, terminating
% 107.63/107.46 eprover: CPU time limit exceeded, terminating
% 109.71/109.48 eprover: CPU time limit exceeded, terminating
% 111.67/111.49 eprover: CPU time limit exceeded, terminating
% 113.73/113.50 eprover: CPU time limit exceeded, terminating
% 115.79/115.52 eprover: CPU time limit exceeded, terminating
% 117.77/117.53 eprover: CPU time limit exceeded, terminating
% 119.83/119.54 eprover: CPU time limit exceeded, terminating
% 121.78/121.56 eprover: CPU time limit exceeded, terminating
% 123.86/123.57 eprover: CPU time limit exceeded, terminating
% 125.90/125.58 eprover: CPU time limit exceeded, terminating
% 127.87/127.60 eprover: CPU time limit exceeded, terminating
% 129.92/129.61 eprover: CPU time limit exceeded, terminating
% 131.97/131.63 eprover: CPU time limit exceeded, terminating
% 133.93/133.64 eprover: CPU time limit exceeded, terminating
% 135.98/135.65 eprover: CPU time limit exceeded, terminating
% 138.05/137.67 eprover: CPU time limit exceeded, terminating
% 140.02/139.68 eprover: CPU time limit exceeded, terminating
% 142.08/141.69 eprover: CPU time limit exceeded, terminating
% 144.06/143.71 eprover: CPU time limit exceeded, terminating
% 146.11/145.72 eprover: CPU time limit exceeded, terminating
% 148.13/147.73 eprover: CPU time limit exceeded, terminating
% 150.12/149.75 eprover: CPU time limit exceeded, terminating
% 152.18/151.76 eprover: CPU time limit exceeded, terminating
% 154.23/153.78 eprover: CPU time limit exceeded, terminating
% 156.19/155.79 eprover: CPU time limit exceeded, terminating
% 158.25/157.81 eprover: CPU time limit exceeded, terminating
% 160.31/159.82 eprover: CPU time limit exceeded, terminating
% 162.31/161.83 eprover: CPU time limit exceeded, terminating
% 164.33/163.85 eprover: CPU time limit exceeded, terminating
% 166.34/165.86 eprover: CPU time limit exceeded, terminating
% 168.38/167.87 eprover: CPU time limit exceeded, terminating
% 170.41/169.88 eprover: CPU time limit exceeded, terminating
% 172.43/171.90 eprover: CPU time limit exceeded, terminating
% 174.44/173.91 eprover: CPU time limit exceeded, terminating
% 176.44/175.92 eprover: CPU time limit exceeded, terminating
% 178.46/177.94 eprover: CPU time limit exceeded, terminating
% 180.48/179.95 eprover: CPU time limit exceeded, terminating
% 182.54/181.96 eprover: CPU time limit exceeded, terminating
% 184.53/183.98 eprover: CPU time limit exceeded, terminating
% 186.55/185.99 eprover: CPU time limit exceeded, terminating
% 188.60/188.00 eprover: CPU time limit exceeded, terminating
% 190.63/190.02 eprover: CPU time limit exceeded, terminating
% 192.62/192.03 eprover: CPU time limit exceeded, terminating
% 194.71/194.04 eprover: CPU time limit exceeded, terminating
% 196.67/196.06 eprover: CPU time limit exceeded, terminating
% 198.73/198.07 eprover: CPU time limit exceeded, terminating
% 200.76/200.08 eprover: CPU time limit exceeded, terminating
% 202.74/202.09 eprover: CPU time limit exceeded, terminating
% 204.77/204.12 eprover: CPU time limit exceeded, terminating
% 206.77/206.13 eprover: CPU time limit exceeded, terminating
% 208.87/208.14 eprover: CPU time limit exceeded, terminating
% 210.86/210.15 eprover: CPU time limit exceeded, terminating
% 212.88/212.17 eprover: CPU time limit exceeded, terminating
% 214.89/214.18 eprover: CPU time limit exceeded, terminating
% 216.91/216.19 eprover: CPU time limit exceeded, terminating
% 218.93/218.21 eprover: CPU time limit exceeded, terminating
% 220.99/220.22 eprover: CPU time limit exceeded, terminating
% 222.97/222.23 eprover: CPU time limit exceeded, terminating
% 225.03/224.25 eprover: CPU time limit exceeded, terminating
% 227.04/226.26 eprover: CPU time limit exceeded, terminating
% 229.08/228.27 eprover: CPU time limit exceeded, terminating
% 231.10/230.29 eprover: CPU time limit exceeded, terminating
% 233.09/232.30 eprover: CPU time limit exceeded, terminating
% 235.13/234.31 eprover: CPU time limit exceeded, terminating
% 237.17/236.33 eprover: CPU time limit exceeded, terminating
% 239.16/238.34 eprover: CPU time limit exceeded, terminating
% 241.20/240.35 eprover: CPU time limit exceeded, terminating
% 243.22/242.36 eprover: CPU time limit exceeded, terminating
% 245.20/244.38 eprover: CPU time limit exceeded, terminating
% 247.27/246.39 eprover: CPU time limit exceeded, terminating
% 249.31/248.41 eprover: CPU time limit exceeded, terminating
% 251.29/250.42 eprover: CPU time limit exceeded, terminating
% 253.31/252.43 eprover: CPU time limit exceeded, terminating
% 255.37/254.45 eprover: CPU time limit exceeded, terminating
% 257.40/256.46 eprover: CPU time limit exceeded, terminating
% 259.38/258.48 eprover: CPU time limit exceeded, terminating
% 261.41/260.49 eprover: CPU time limit exceeded, terminating
% 263.42/262.50 eprover: CPU time limit exceeded, terminating
% 265.46/264.52 eprover: CPU time limit exceeded, terminating
% 267.46/266.53 eprover: CPU time limit exceeded, terminating
% 269.54/268.54 eprover: CPU time limit exceeded, terminating
% 271.57/270.56 eprover: CPU time limit exceeded, terminating
% 273.55/272.57 eprover: CPU time limit exceeded, terminating
% 275.55/274.58 eprover: CPU time limit exceeded, terminating
% 277.60/276.60 eprover: CPU time limit exceeded, terminating
% 279.66/278.61 eprover: CPU time limit exceeded, terminating
% 281.62/280.62 eprover: CPU time limit exceeded, terminating
% 283.69/282.64 eprover: CPU time limit exceeded, terminating
% 285.70/284.65 eprover: CPU time limit exceeded, terminating
% 287.75/286.66 eprover: CPU time limit exceeded, terminating
% 289.73/288.68 eprover: CPU time limit exceeded, terminating
% 291.76/290.69 eprover: CPU time limit exceeded, terminating
% 293.74/292.72 eprover: CPU time limit exceeded, terminating
% 295.84/294.73 eprover: CPU time limit exceeded, terminating
% 297.85/296.74 eprover: CPU time limit exceeded, terminating
% 299.83/298.76 eprover: CPU time limit exceeded, terminating
% 300.28/299.14 eprover: CPU time limit exceeded, terminating
% 300.28/299.15 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------