TSTP Solution File: GEO537+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GEO537+1 : TPTP v8.1.0. Released v7.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n006.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:06 EDT 2022
% Result : Timeout 285.90s 284.69s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.13 % Problem : GEO537+1 : TPTP v8.1.0. Released v7.0.0.
% 0.07/0.14 % Command : run_infinox %s
% 0.15/0.36 % Computer : n006.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 07:00:40 EDT 2022
% 0.15/0.36 % CPUTime :
% 2.54/2.75 eprover: CPU time limit exceeded, terminating
% 4.51/4.77 eprover: CPU time limit exceeded, terminating
% 6.55/6.78 eprover: CPU time limit exceeded, terminating
% 8.64/8.79 eprover: CPU time limit exceeded, terminating
% 10.65/10.81 eprover: CPU time limit exceeded, terminating
% 12.67/12.82 eprover: CPU time limit exceeded, terminating
% 14.68/14.83 eprover: CPU time limit exceeded, terminating
% 16.71/16.85 eprover: CPU time limit exceeded, terminating
% 18.70/18.86 eprover: CPU time limit exceeded, terminating
% 20.70/20.87 eprover: CPU time limit exceeded, terminating
% 22.73/22.89 eprover: CPU time limit exceeded, terminating
% 24.76/24.90 eprover: CPU time limit exceeded, terminating
% 26.87/26.91 eprover: CPU time limit exceeded, terminating
% 28.85/28.93 eprover: CPU time limit exceeded, terminating
% 30.88/30.94 eprover: CPU time limit exceeded, terminating
% 32.89/32.95 eprover: CPU time limit exceeded, terminating
% 34.88/34.96 eprover: CPU time limit exceeded, terminating
% 36.89/36.98 eprover: CPU time limit exceeded, terminating
% 38.92/38.99 eprover: CPU time limit exceeded, terminating
% 40.92/41.00 eprover: CPU time limit exceeded, terminating
% 43.03/43.02 eprover: CPU time limit exceeded, terminating
% 45.01/45.03 eprover: CPU time limit exceeded, terminating
% 47.03/47.04 eprover: CPU time limit exceeded, terminating
% 49.06/49.06 eprover: CPU time limit exceeded, terminating
% 51.08/51.07 eprover: CPU time limit exceeded, terminating
% 53.11/53.08 eprover: CPU time limit exceeded, terminating
% 55.18/55.09 eprover: CPU time limit exceeded, terminating
% 57.20/57.11 eprover: CPU time limit exceeded, terminating
% 59.20/59.12 eprover: CPU time limit exceeded, terminating
% 61.19/61.13 eprover: CPU time limit exceeded, terminating
% 63.25/63.15 eprover: CPU time limit exceeded, terminating
% 65.23/65.16 eprover: CPU time limit exceeded, terminating
% 67.24/67.17 eprover: CPU time limit exceeded, terminating
% 69.35/69.19 eprover: CPU time limit exceeded, terminating
% 71.37/71.20 eprover: CPU time limit exceeded, terminating
% 73.40/73.21 eprover: CPU time limit exceeded, terminating
% 75.41/75.23 eprover: CPU time limit exceeded, terminating
% 77.41/77.24 eprover: CPU time limit exceeded, terminating
% 79.42/79.26 eprover: CPU time limit exceeded, terminating
% 81.43/81.27 eprover: CPU time limit exceeded, terminating
% 83.47/83.28 eprover: CPU time limit exceeded, terminating
% 85.46/85.30 eprover: CPU time limit exceeded, terminating
% 87.57/87.31 eprover: CPU time limit exceeded, terminating
% 89.57/89.32 eprover: CPU time limit exceeded, terminating
% 91.59/91.34 eprover: CPU time limit exceeded, terminating
% 93.56/93.35 eprover: CPU time limit exceeded, terminating
% 95.59/95.36 eprover: CPU time limit exceeded, terminating
% 97.62/97.38 eprover: CPU time limit exceeded, terminating
% 99.69/99.39 eprover: CPU time limit exceeded, terminating
% 101.75/101.40 eprover: CPU time limit exceeded, terminating
% 103.69/103.42 eprover: CPU time limit exceeded, terminating
% 105.76/105.43 eprover: CPU time limit exceeded, terminating
% 107.79/107.44 eprover: CPU time limit exceeded, terminating
% 109.80/109.46 eprover: CPU time limit exceeded, terminating
% 111.86/111.47 eprover: CPU time limit exceeded, terminating
% 113.77/113.48 eprover: CPU time limit exceeded, terminating
% 115.88/115.50 eprover: CPU time limit exceeded, terminating
% 117.90/117.51 eprover: CPU time limit exceeded, terminating
% 119.92/119.52 eprover: CPU time limit exceeded, terminating
% 121.95/121.54 eprover: CPU time limit exceeded, terminating
% 123.95/123.55 eprover: CPU time limit exceeded, terminating
% 125.98/125.56 eprover: CPU time limit exceeded, terminating
% 128.04/127.58 eprover: CPU time limit exceeded, terminating
% 129.98/129.60 eprover: CPU time limit exceeded, terminating
% 132.07/131.61 eprover: CPU time limit exceeded, terminating
% 134.12/133.62 eprover: CPU time limit exceeded, terminating
% 136.12/135.63 eprover: CPU time limit exceeded, terminating
% 138.08/137.65 eprover: CPU time limit exceeded, terminating
% 140.13/139.66 eprover: CPU time limit exceeded, terminating
% 142.15/141.67 eprover: CPU time limit exceeded, terminating
% 144.14/143.69 eprover: CPU time limit exceeded, terminating
% 146.25/145.70 eprover: CPU time limit exceeded, terminating
% 148.25/147.72 eprover: CPU time limit exceeded, terminating
% 150.30/149.73 eprover: CPU time limit exceeded, terminating
% 152.31/151.74 eprover: CPU time limit exceeded, terminating
% 154.27/153.76 eprover: CPU time limit exceeded, terminating
% 156.29/155.77 eprover: CPU time limit exceeded, terminating
% 158.31/157.78 eprover: CPU time limit exceeded, terminating
% 160.38/159.80 eprover: CPU time limit exceeded, terminating
% 162.44/161.81 eprover: CPU time limit exceeded, terminating
% 164.47/163.83 eprover: CPU time limit exceeded, terminating
% 166.47/165.84 eprover: CPU time limit exceeded, terminating
% 168.46/167.85 eprover: CPU time limit exceeded, terminating
% 170.46/169.87 eprover: CPU time limit exceeded, terminating
% 172.50/171.88 eprover: CPU time limit exceeded, terminating
% 174.51/173.90 eprover: CPU time limit exceeded, terminating
% 176.63/175.91 eprover: CPU time limit exceeded, terminating
% 178.63/177.93 eprover: CPU time limit exceeded, terminating
% 180.65/179.94 eprover: CPU time limit exceeded, terminating
% 182.62/181.96 eprover: CPU time limit exceeded, terminating
% 184.71/183.97 eprover: CPU time limit exceeded, terminating
% 186.66/185.99 eprover: CPU time limit exceeded, terminating
% 188.70/188.00 eprover: CPU time limit exceeded, terminating
% 190.77/190.02 eprover: CPU time limit exceeded, terminating
% 192.80/192.03 eprover: CPU time limit exceeded, terminating
% 194.80/194.05 eprover: CPU time limit exceeded, terminating
% 196.86/196.06 eprover: CPU time limit exceeded, terminating
% 198.83/198.07 eprover: CPU time limit exceeded, terminating
% 200.93/200.09 eprover: CPU time limit exceeded, terminating
% 202.95/202.11 eprover: CPU time limit exceeded, terminating
% 204.98/204.12 eprover: CPU time limit exceeded, terminating
% 206.96/206.13 eprover: CPU time limit exceeded, terminating
% 208.98/208.15 eprover: CPU time limit exceeded, terminating
% 210.98/210.16 eprover: CPU time limit exceeded, terminating
% 213.04/212.18 eprover: CPU time limit exceeded, terminating
% 215.09/214.19 eprover: CPU time limit exceeded, terminating
% 217.03/216.21 eprover: CPU time limit exceeded, terminating
% 219.14/218.22 eprover: CPU time limit exceeded, terminating
% 221.15/220.23 eprover: CPU time limit exceeded, terminating
% 223.18/222.25 eprover: CPU time limit exceeded, terminating
% 225.16/224.26 eprover: CPU time limit exceeded, terminating
% 227.18/226.28 eprover: CPU time limit exceeded, terminating
% 229.22/228.29 eprover: CPU time limit exceeded, terminating
% 231.30/230.31 eprover: CPU time limit exceeded, terminating
% 233.32/232.32 eprover: CPU time limit exceeded, terminating
% 235.34/234.33 eprover: CPU time limit exceeded, terminating
% 237.31/236.35 eprover: CPU time limit exceeded, terminating
% 239.35/238.36 eprover: CPU time limit exceeded, terminating
% 241.37/240.38 eprover: CPU time limit exceeded, terminating
% 243.44/242.39 eprover: CPU time limit exceeded, terminating
% 245.39/244.41 eprover: CPU time limit exceeded, terminating
% 247.48/246.42 eprover: CPU time limit exceeded, terminating
% 249.49/248.44 eprover: CPU time limit exceeded, terminating
% 251.50/250.45 eprover: CPU time limit exceeded, terminating
% 253.52/252.46 eprover: CPU time limit exceeded, terminating
% 255.58/254.48 eprover: CPU time limit exceeded, terminating
% 257.63/256.49 eprover: CPU time limit exceeded, terminating
% 259.65/258.51 eprover: CPU time limit exceeded, terminating
% 261.68/260.52 eprover: CPU time limit exceeded, terminating
% 263.67/262.53 eprover: CPU time limit exceeded, terminating
% 265.72/264.55 eprover: CPU time limit exceeded, terminating
% 267.70/266.56 eprover: CPU time limit exceeded, terminating
% 269.74/268.58 eprover: CPU time limit exceeded, terminating
% 271.71/270.59 eprover: CPU time limit exceeded, terminating
% 273.82/272.61 eprover: CPU time limit exceeded, terminating
% 275.86/274.62 eprover: CPU time limit exceeded, terminating
% 277.87/276.64 eprover: CPU time limit exceeded, terminating
% 279.85/278.65 eprover: CPU time limit exceeded, terminating
% 281.88/280.66 eprover: CPU time limit exceeded, terminating
% 283.92/282.67 eprover: CPU time limit exceeded, terminating
% 285.90/284.69 eprover: CPU time limit exceeded, terminating
% 288.00/286.70 eprover: CPU time limit exceeded, terminating
% 290.02/288.72 eprover: CPU time limit exceeded, terminating
% 292.04/290.73 eprover: CPU time limit exceeded, terminating
% 294.06/292.74 eprover: CPU time limit exceeded, terminating
% 296.07/294.76 eprover: CPU time limit exceeded, terminating
% 298.13/296.77 eprover: CPU time limit exceeded, terminating
% 300.10/298.74 eprover: CPU time limit exceeded, terminating
% 300.10/298.75 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------