TSTP Solution File: GEO531+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GEO531+1 : TPTP v8.1.0. Released v7.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n019.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.62s 286.47s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : GEO531+1 : TPTP v8.1.0. Released v7.0.0.
% 0.06/0.12 % Command : run_infinox %s
% 0.13/0.33 % Computer : n019.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33 % CPULimit : 300
% 0.13/0.33 % WCLimit : 600
% 0.13/0.33 % DateTime : Sat Jun 18 06:12:09 EDT 2022
% 0.13/0.34 % CPUTime :
% 2.47/2.72 eprover: CPU time limit exceeded, terminating
% 4.50/4.73 eprover: CPU time limit exceeded, terminating
% 6.58/6.74 eprover: CPU time limit exceeded, terminating
% 8.60/8.75 eprover: CPU time limit exceeded, terminating
% 10.60/10.76 eprover: CPU time limit exceeded, terminating
% 12.63/12.77 eprover: CPU time limit exceeded, terminating
% 14.63/14.78 eprover: CPU time limit exceeded, terminating
% 16.66/16.80 eprover: CPU time limit exceeded, terminating
% 18.71/18.81 eprover: CPU time limit exceeded, terminating
% 20.69/20.82 eprover: CPU time limit exceeded, terminating
% 22.66/22.83 eprover: CPU time limit exceeded, terminating
% 24.70/24.84 eprover: CPU time limit exceeded, terminating
% 26.75/26.86 eprover: CPU time limit exceeded, terminating
% 28.79/28.87 eprover: CPU time limit exceeded, terminating
% 30.76/30.89 eprover: CPU time limit exceeded, terminating
% 32.80/32.90 eprover: CPU time limit exceeded, terminating
% 34.82/34.91 eprover: CPU time limit exceeded, terminating
% 36.90/36.93 eprover: CPU time limit exceeded, terminating
% 38.90/38.94 eprover: CPU time limit exceeded, terminating
% 40.88/40.95 eprover: CPU time limit exceeded, terminating
% 42.91/42.96 eprover: CPU time limit exceeded, terminating
% 44.98/44.98 eprover: CPU time limit exceeded, terminating
% 46.95/46.99 eprover: CPU time limit exceeded, terminating
% 48.98/49.00 eprover: CPU time limit exceeded, terminating
% 51.05/51.01 eprover: CPU time limit exceeded, terminating
% 53.03/53.02 eprover: CPU time limit exceeded, terminating
% 55.06/55.04 eprover: CPU time limit exceeded, terminating
% 57.11/57.05 eprover: CPU time limit exceeded, terminating
% 59.10/59.06 eprover: CPU time limit exceeded, terminating
% 61.13/61.07 eprover: CPU time limit exceeded, terminating
% 63.13/63.09 eprover: CPU time limit exceeded, terminating
% 65.14/65.10 eprover: CPU time limit exceeded, terminating
% 67.19/67.11 eprover: CPU time limit exceeded, terminating
% 69.14/69.13 eprover: CPU time limit exceeded, terminating
% 71.21/71.14 eprover: CPU time limit exceeded, terminating
% 73.29/73.15 eprover: CPU time limit exceeded, terminating
% 75.34/75.16 eprover: CPU time limit exceeded, terminating
% 77.33/77.18 eprover: CPU time limit exceeded, terminating
% 79.36/79.19 eprover: CPU time limit exceeded, terminating
% 81.40/81.20 eprover: CPU time limit exceeded, terminating
% 83.39/83.22 eprover: CPU time limit exceeded, terminating
% 85.36/85.23 eprover: CPU time limit exceeded, terminating
% 87.40/87.24 eprover: CPU time limit exceeded, terminating
% 89.42/89.25 eprover: CPU time limit exceeded, terminating
% 91.48/91.26 eprover: CPU time limit exceeded, terminating
% 93.48/93.28 eprover: CPU time limit exceeded, terminating
% 95.49/95.29 eprover: CPU time limit exceeded, terminating
% 97.56/97.30 eprover: CPU time limit exceeded, terminating
% 99.57/99.31 eprover: CPU time limit exceeded, terminating
% 101.58/101.33 eprover: CPU time limit exceeded, terminating
% 103.64/103.34 eprover: CPU time limit exceeded, terminating
% 105.67/105.35 eprover: CPU time limit exceeded, terminating
% 107.65/107.36 eprover: CPU time limit exceeded, terminating
% 109.69/109.38 eprover: CPU time limit exceeded, terminating
% 111.67/111.39 eprover: CPU time limit exceeded, terminating
% 113.72/113.40 eprover: CPU time limit exceeded, terminating
% 115.71/115.42 eprover: CPU time limit exceeded, terminating
% 117.79/117.43 eprover: CPU time limit exceeded, terminating
% 119.80/119.44 eprover: CPU time limit exceeded, terminating
% 121.84/121.45 eprover: CPU time limit exceeded, terminating
% 123.87/123.47 eprover: CPU time limit exceeded, terminating
% 125.85/125.48 eprover: CPU time limit exceeded, terminating
% 127.91/127.49 eprover: CPU time limit exceeded, terminating
% 129.89/129.50 eprover: CPU time limit exceeded, terminating
% 131.93/131.51 eprover: CPU time limit exceeded, terminating
% 133.92/133.53 eprover: CPU time limit exceeded, terminating
% 136.01/135.54 eprover: CPU time limit exceeded, terminating
% 137.98/137.55 eprover: CPU time limit exceeded, terminating
% 140.02/139.56 eprover: CPU time limit exceeded, terminating
% 142.01/141.58 eprover: CPU time limit exceeded, terminating
% 144.08/143.59 eprover: CPU time limit exceeded, terminating
% 146.01/145.60 eprover: CPU time limit exceeded, terminating
% 148.07/147.62 eprover: CPU time limit exceeded, terminating
% 150.10/149.63 eprover: CPU time limit exceeded, terminating
% 152.16/151.64 eprover: CPU time limit exceeded, terminating
% 154.19/153.66 eprover: CPU time limit exceeded, terminating
% 156.18/155.67 eprover: CPU time limit exceeded, terminating
% 158.22/157.68 eprover: CPU time limit exceeded, terminating
% 160.23/159.69 eprover: CPU time limit exceeded, terminating
% 162.25/161.70 eprover: CPU time limit exceeded, terminating
% 164.24/163.72 eprover: CPU time limit exceeded, terminating
% 166.33/165.73 eprover: CPU time limit exceeded, terminating
% 168.28/167.74 eprover: CPU time limit exceeded, terminating
% 170.29/169.75 eprover: CPU time limit exceeded, terminating
% 172.36/171.77 eprover: CPU time limit exceeded, terminating
% 174.39/173.78 eprover: CPU time limit exceeded, terminating
% 176.43/175.79 eprover: CPU time limit exceeded, terminating
% 178.42/177.80 eprover: CPU time limit exceeded, terminating
% 180.46/179.81 eprover: CPU time limit exceeded, terminating
% 182.44/181.83 eprover: CPU time limit exceeded, terminating
% 184.44/183.84 eprover: CPU time limit exceeded, terminating
% 186.53/185.85 eprover: CPU time limit exceeded, terminating
% 188.55/187.87 eprover: CPU time limit exceeded, terminating
% 190.54/189.88 eprover: CPU time limit exceeded, terminating
% 192.58/191.89 eprover: CPU time limit exceeded, terminating
% 194.57/193.91 eprover: CPU time limit exceeded, terminating
% 196.60/195.92 eprover: CPU time limit exceeded, terminating
% 198.64/197.93 eprover: CPU time limit exceeded, terminating
% 200.69/199.94 eprover: CPU time limit exceeded, terminating
% 202.68/201.96 eprover: CPU time limit exceeded, terminating
% 204.73/203.97 eprover: CPU time limit exceeded, terminating
% 206.75/205.98 eprover: CPU time limit exceeded, terminating
% 208.79/208.00 eprover: CPU time limit exceeded, terminating
% 210.79/210.01 eprover: CPU time limit exceeded, terminating
% 212.82/212.02 eprover: CPU time limit exceeded, terminating
% 214.81/214.04 eprover: CPU time limit exceeded, terminating
% 216.84/216.05 eprover: CPU time limit exceeded, terminating
% 218.89/218.06 eprover: CPU time limit exceeded, terminating
% 220.88/220.07 eprover: CPU time limit exceeded, terminating
% 222.89/222.09 eprover: CPU time limit exceeded, terminating
% 224.89/224.10 eprover: CPU time limit exceeded, terminating
% 226.95/226.11 eprover: CPU time limit exceeded, terminating
% 228.97/228.12 eprover: CPU time limit exceeded, terminating
% 230.96/230.13 eprover: CPU time limit exceeded, terminating
% 233.03/232.15 eprover: CPU time limit exceeded, terminating
% 235.05/234.16 eprover: CPU time limit exceeded, terminating
% 237.07/236.17 eprover: CPU time limit exceeded, terminating
% 239.08/238.18 eprover: CPU time limit exceeded, terminating
% 241.07/240.19 eprover: CPU time limit exceeded, terminating
% 243.14/242.20 eprover: CPU time limit exceeded, terminating
% 245.13/244.22 eprover: CPU time limit exceeded, terminating
% 247.17/246.23 eprover: CPU time limit exceeded, terminating
% 249.21/248.24 eprover: CPU time limit exceeded, terminating
% 251.16/250.25 eprover: CPU time limit exceeded, terminating
% 253.27/252.27 eprover: CPU time limit exceeded, terminating
% 255.24/254.28 eprover: CPU time limit exceeded, terminating
% 257.27/256.29 eprover: CPU time limit exceeded, terminating
% 259.27/258.30 eprover: CPU time limit exceeded, terminating
% 261.33/260.32 eprover: CPU time limit exceeded, terminating
% 263.37/262.33 eprover: CPU time limit exceeded, terminating
% 265.34/264.34 eprover: CPU time limit exceeded, terminating
% 267.39/266.35 eprover: CPU time limit exceeded, terminating
% 269.43/268.36 eprover: CPU time limit exceeded, terminating
% 271.43/270.38 eprover: CPU time limit exceeded, terminating
% 273.47/272.39 eprover: CPU time limit exceeded, terminating
% 275.48/274.40 eprover: CPU time limit exceeded, terminating
% 277.50/276.41 eprover: CPU time limit exceeded, terminating
% 279.55/278.42 eprover: CPU time limit exceeded, terminating
% 281.52/280.44 eprover: CPU time limit exceeded, terminating
% 283.58/282.45 eprover: CPU time limit exceeded, terminating
% 285.59/284.46 eprover: CPU time limit exceeded, terminating
% 287.62/286.47 eprover: CPU time limit exceeded, terminating
% 289.60/288.49 eprover: CPU time limit exceeded, terminating
% 291.65/290.50 eprover: CPU time limit exceeded, terminating
% 293.64/292.52 eprover: CPU time limit exceeded, terminating
% 295.72/294.53 eprover: CPU time limit exceeded, terminating
% 297.76/296.54 eprover: CPU time limit exceeded, terminating
% 299.74/298.55 eprover: CPU time limit exceeded, terminating
% 300.29/299.05 eprover: CPU time limit exceeded, terminating
% 300.29/299.07 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------