TSTP Solution File: GEO530+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GEO530+1 : TPTP v8.1.0. Released v7.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n011.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:04 EDT 2022
% Result : Timeout 287.64s 286.78s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.14 % Problem : GEO530+1 : TPTP v8.1.0. Released v7.0.0.
% 0.08/0.15 % Command : run_infinox %s
% 0.15/0.36 % Computer : n011.cluster.edu
% 0.15/0.36 % Model : x86_64 x86_64
% 0.15/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.15/0.36 % Memory : 8042.1875MB
% 0.15/0.36 % OS : Linux 3.10.0-693.el7.x86_64
% 0.15/0.36 % CPULimit : 300
% 0.15/0.36 % WCLimit : 600
% 0.15/0.36 % DateTime : Sat Jun 18 13:50:53 EDT 2022
% 0.15/0.36 % CPUTime :
% 2.46/2.73 eprover: CPU time limit exceeded, terminating
% 4.49/4.74 eprover: CPU time limit exceeded, terminating
% 6.56/6.75 eprover: CPU time limit exceeded, terminating
% 8.60/8.77 eprover: CPU time limit exceeded, terminating
% 10.55/10.78 eprover: CPU time limit exceeded, terminating
% 12.59/12.79 eprover: CPU time limit exceeded, terminating
% 14.60/14.81 eprover: CPU time limit exceeded, terminating
% 16.70/16.82 eprover: CPU time limit exceeded, terminating
% 18.72/18.84 eprover: CPU time limit exceeded, terminating
% 20.70/20.85 eprover: CPU time limit exceeded, terminating
% 22.75/22.87 eprover: CPU time limit exceeded, terminating
% 24.73/24.88 eprover: CPU time limit exceeded, terminating
% 26.77/26.90 eprover: CPU time limit exceeded, terminating
% 28.85/28.91 eprover: CPU time limit exceeded, terminating
% 30.86/30.93 eprover: CPU time limit exceeded, terminating
% 32.86/32.94 eprover: CPU time limit exceeded, terminating
% 34.91/34.96 eprover: CPU time limit exceeded, terminating
% 36.88/36.97 eprover: CPU time limit exceeded, terminating
% 38.91/38.99 eprover: CPU time limit exceeded, terminating
% 41.00/41.00 eprover: CPU time limit exceeded, terminating
% 43.01/43.02 eprover: CPU time limit exceeded, terminating
% 45.02/45.04 eprover: CPU time limit exceeded, terminating
% 47.04/47.05 eprover: CPU time limit exceeded, terminating
% 49.07/49.07 eprover: CPU time limit exceeded, terminating
% 51.13/51.08 eprover: CPU time limit exceeded, terminating
% 53.15/53.09 eprover: CPU time limit exceeded, terminating
% 55.16/55.11 eprover: CPU time limit exceeded, terminating
% 57.18/57.13 eprover: CPU time limit exceeded, terminating
% 59.22/59.14 eprover: CPU time limit exceeded, terminating
% 61.20/61.15 eprover: CPU time limit exceeded, terminating
% 63.25/63.17 eprover: CPU time limit exceeded, terminating
% 65.24/65.18 eprover: CPU time limit exceeded, terminating
% 67.33/67.20 eprover: CPU time limit exceeded, terminating
% 69.33/69.21 eprover: CPU time limit exceeded, terminating
% 71.30/71.22 eprover: CPU time limit exceeded, terminating
% 73.36/73.24 eprover: CPU time limit exceeded, terminating
% 75.41/75.25 eprover: CPU time limit exceeded, terminating
% 77.38/77.27 eprover: CPU time limit exceeded, terminating
% 79.44/79.28 eprover: CPU time limit exceeded, terminating
% 81.42/81.30 eprover: CPU time limit exceeded, terminating
% 83.50/83.31 eprover: CPU time limit exceeded, terminating
% 85.55/85.33 eprover: CPU time limit exceeded, terminating
% 87.52/87.34 eprover: CPU time limit exceeded, terminating
% 89.58/89.36 eprover: CPU time limit exceeded, terminating
% 91.55/91.37 eprover: CPU time limit exceeded, terminating
% 93.59/93.39 eprover: CPU time limit exceeded, terminating
% 95.62/95.40 eprover: CPU time limit exceeded, terminating
% 97.59/97.41 eprover: CPU time limit exceeded, terminating
% 99.65/99.44 eprover: CPU time limit exceeded, terminating
% 101.69/101.45 eprover: CPU time limit exceeded, terminating
% 103.73/103.46 eprover: CPU time limit exceeded, terminating
% 105.73/105.48 eprover: CPU time limit exceeded, terminating
% 107.76/107.49 eprover: CPU time limit exceeded, terminating
% 109.74/109.51 eprover: CPU time limit exceeded, terminating
% 111.81/111.53 eprover: CPU time limit exceeded, terminating
% 113.84/113.54 eprover: CPU time limit exceeded, terminating
% 115.81/115.55 eprover: CPU time limit exceeded, terminating
% 117.84/117.56 eprover: CPU time limit exceeded, terminating
% 119.91/119.59 eprover: CPU time limit exceeded, terminating
% 121.93/121.60 eprover: CPU time limit exceeded, terminating
% 123.93/123.61 eprover: CPU time limit exceeded, terminating
% 125.96/125.62 eprover: CPU time limit exceeded, terminating
% 128.00/127.64 eprover: CPU time limit exceeded, terminating
% 129.98/129.66 eprover: CPU time limit exceeded, terminating
% 131.98/131.67 eprover: CPU time limit exceeded, terminating
% 134.08/133.69 eprover: CPU time limit exceeded, terminating
% 136.09/135.70 eprover: CPU time limit exceeded, terminating
% 138.08/137.71 eprover: CPU time limit exceeded, terminating
% 140.13/139.74 eprover: CPU time limit exceeded, terminating
% 142.09/141.75 eprover: CPU time limit exceeded, terminating
% 144.17/143.76 eprover: CPU time limit exceeded, terminating
% 146.12/145.78 eprover: CPU time limit exceeded, terminating
% 148.18/147.79 eprover: CPU time limit exceeded, terminating
% 150.20/149.82 eprover: CPU time limit exceeded, terminating
% 152.27/151.83 eprover: CPU time limit exceeded, terminating
% 154.21/153.84 eprover: CPU time limit exceeded, terminating
% 156.29/155.86 eprover: CPU time limit exceeded, terminating
% 158.33/157.87 eprover: CPU time limit exceeded, terminating
% 160.36/159.90 eprover: CPU time limit exceeded, terminating
% 162.35/161.91 eprover: CPU time limit exceeded, terminating
% 164.39/163.92 eprover: CPU time limit exceeded, terminating
% 166.37/165.93 eprover: CPU time limit exceeded, terminating
% 168.39/167.95 eprover: CPU time limit exceeded, terminating
% 170.40/169.96 eprover: CPU time limit exceeded, terminating
% 172.45/171.97 eprover: CPU time limit exceeded, terminating
% 174.51/173.99 eprover: CPU time limit exceeded, terminating
% 176.54/176.00 eprover: CPU time limit exceeded, terminating
% 178.55/178.02 eprover: CPU time limit exceeded, terminating
% 180.55/180.05 eprover: CPU time limit exceeded, terminating
% 182.60/182.06 eprover: CPU time limit exceeded, terminating
% 184.62/184.07 eprover: CPU time limit exceeded, terminating
% 186.66/186.08 eprover: CPU time limit exceeded, terminating
% 188.63/188.10 eprover: CPU time limit exceeded, terminating
% 190.66/190.12 eprover: CPU time limit exceeded, terminating
% 192.71/192.13 eprover: CPU time limit exceeded, terminating
% 194.69/194.14 eprover: CPU time limit exceeded, terminating
% 196.72/196.15 eprover: CPU time limit exceeded, terminating
% 198.77/198.17 eprover: CPU time limit exceeded, terminating
% 200.72/200.19 eprover: CPU time limit exceeded, terminating
% 202.80/202.20 eprover: CPU time limit exceeded, terminating
% 204.83/204.21 eprover: CPU time limit exceeded, terminating
% 206.81/206.23 eprover: CPU time limit exceeded, terminating
% 208.87/208.24 eprover: CPU time limit exceeded, terminating
% 210.82/210.26 eprover: CPU time limit exceeded, terminating
% 212.86/212.27 eprover: CPU time limit exceeded, terminating
% 214.91/214.28 eprover: CPU time limit exceeded, terminating
% 216.88/216.30 eprover: CPU time limit exceeded, terminating
% 218.91/218.31 eprover: CPU time limit exceeded, terminating
% 220.96/220.33 eprover: CPU time limit exceeded, terminating
% 223.01/222.34 eprover: CPU time limit exceeded, terminating
% 224.99/224.36 eprover: CPU time limit exceeded, terminating
% 227.03/226.37 eprover: CPU time limit exceeded, terminating
% 229.04/228.38 eprover: CPU time limit exceeded, terminating
% 231.08/230.40 eprover: CPU time limit exceeded, terminating
% 233.09/232.42 eprover: CPU time limit exceeded, terminating
% 235.12/234.43 eprover: CPU time limit exceeded, terminating
% 237.09/236.44 eprover: CPU time limit exceeded, terminating
% 239.15/238.45 eprover: CPU time limit exceeded, terminating
% 241.18/240.48 eprover: CPU time limit exceeded, terminating
% 243.17/242.49 eprover: CPU time limit exceeded, terminating
% 245.17/244.50 eprover: CPU time limit exceeded, terminating
% 247.24/246.51 eprover: CPU time limit exceeded, terminating
% 249.27/248.52 eprover: CPU time limit exceeded, terminating
% 251.21/250.55 eprover: CPU time limit exceeded, terminating
% 253.31/252.56 eprover: CPU time limit exceeded, terminating
% 255.33/254.57 eprover: CPU time limit exceeded, terminating
% 257.34/256.58 eprover: CPU time limit exceeded, terminating
% 259.37/258.59 eprover: CPU time limit exceeded, terminating
% 261.36/260.61 eprover: CPU time limit exceeded, terminating
% 263.35/262.63 eprover: CPU time limit exceeded, terminating
% 265.45/264.64 eprover: CPU time limit exceeded, terminating
% 267.46/266.65 eprover: CPU time limit exceeded, terminating
% 269.45/268.66 eprover: CPU time limit exceeded, terminating
% 271.48/270.68 eprover: CPU time limit exceeded, terminating
% 273.53/272.69 eprover: CPU time limit exceeded, terminating
% 275.54/274.71 eprover: CPU time limit exceeded, terminating
% 277.55/276.72 eprover: CPU time limit exceeded, terminating
% 279.57/278.73 eprover: CPU time limit exceeded, terminating
% 281.59/280.74 eprover: CPU time limit exceeded, terminating
% 283.60/282.75 eprover: CPU time limit exceeded, terminating
% 285.63/284.77 eprover: CPU time limit exceeded, terminating
% 287.64/286.78 eprover: CPU time limit exceeded, terminating
% 289.64/288.79 eprover: CPU time limit exceeded, terminating
% 291.66/290.80 eprover: CPU time limit exceeded, terminating
% 293.73/292.82 eprover: CPU time limit exceeded, terminating
% 295.70/294.83 eprover: CPU time limit exceeded, terminating
% 297.78/296.84 eprover: CPU time limit exceeded, terminating
% 299.76/298.85 eprover: CPU time limit exceeded, terminating
% 300.31/299.35 eprover: CPU time limit exceeded, terminating
% 300.31/299.36 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------