TSTP Solution File: GEO132-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GEO132-1 : TPTP v8.1.0. Released v2.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n008.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:33:01 EDT 2022
% Result : Timeout 286.88s 287.03s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.12 % Problem : GEO132-1 : TPTP v8.1.0. Released v2.4.0.
% 0.12/0.12 % Command : run_infinox %s
% 0.13/0.34 % Computer : n008.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Fri Jun 17 22:16:22 EDT 2022
% 0.13/0.34 % CPUTime :
% 2.23/2.42 eprover: CPU time limit exceeded, terminating
% 4.25/4.44 eprover: CPU time limit exceeded, terminating
% 6.26/6.45 eprover: CPU time limit exceeded, terminating
% 8.24/8.46 eprover: CPU time limit exceeded, terminating
% 10.22/10.48 eprover: CPU time limit exceeded, terminating
% 12.25/12.49 eprover: CPU time limit exceeded, terminating
% 14.33/14.51 eprover: CPU time limit exceeded, terminating
% 16.26/16.52 eprover: CPU time limit exceeded, terminating
% 18.37/18.54 eprover: CPU time limit exceeded, terminating
% 20.36/20.55 eprover: CPU time limit exceeded, terminating
% 22.39/22.57 eprover: CPU time limit exceeded, terminating
% 24.39/24.58 eprover: CPU time limit exceeded, terminating
% 26.47/26.60 eprover: CPU time limit exceeded, terminating
% 28.45/28.61 eprover: CPU time limit exceeded, terminating
% 30.50/30.62 eprover: CPU time limit exceeded, terminating
% 32.45/32.64 eprover: CPU time limit exceeded, terminating
% 34.47/34.66 eprover: CPU time limit exceeded, terminating
% 36.51/36.68 eprover: CPU time limit exceeded, terminating
% 38.57/38.69 eprover: CPU time limit exceeded, terminating
% 40.55/40.71 eprover: CPU time limit exceeded, terminating
% 42.59/42.72 eprover: CPU time limit exceeded, terminating
% 44.63/44.75 eprover: CPU time limit exceeded, terminating
% 46.65/46.76 eprover: CPU time limit exceeded, terminating
% 48.62/48.79 eprover: CPU time limit exceeded, terminating
% 50.69/50.80 eprover: CPU time limit exceeded, terminating
% 52.69/52.81 eprover: CPU time limit exceeded, terminating
% 54.71/54.83 eprover: CPU time limit exceeded, terminating
% 56.66/56.84 eprover: CPU time limit exceeded, terminating
% 58.71/58.85 eprover: CPU time limit exceeded, terminating
% 60.72/60.86 eprover: CPU time limit exceeded, terminating
% 62.78/62.88 eprover: CPU time limit exceeded, terminating
% 64.79/64.90 eprover: CPU time limit exceeded, terminating
% 66.79/66.91 eprover: CPU time limit exceeded, terminating
% 68.81/68.93 eprover: CPU time limit exceeded, terminating
% 70.82/70.94 eprover: CPU time limit exceeded, terminating
% 72.79/72.97 eprover: CPU time limit exceeded, terminating
% 74.77/75.00 eprover: CPU time limit exceeded, terminating
% 76.85/77.02 eprover: CPU time limit exceeded, terminating
% 78.88/79.03 eprover: CPU time limit exceeded, terminating
% 80.91/81.05 eprover: CPU time limit exceeded, terminating
% 82.90/83.06 eprover: CPU time limit exceeded, terminating
% 84.94/85.08 eprover: CPU time limit exceeded, terminating
% 86.92/87.10 eprover: CPU time limit exceeded, terminating
% 88.94/89.11 eprover: CPU time limit exceeded, terminating
% 90.98/91.12 eprover: CPU time limit exceeded, terminating
% 92.97/93.14 eprover: CPU time limit exceeded, terminating
% 95.02/95.16 eprover: CPU time limit exceeded, terminating
% 96.99/97.17 eprover: CPU time limit exceeded, terminating
% 99.01/99.19 eprover: CPU time limit exceeded, terminating
% 101.06/101.20 eprover: CPU time limit exceeded, terminating
% 103.11/103.22 eprover: CPU time limit exceeded, terminating
% 105.11/105.23 eprover: CPU time limit exceeded, terminating
% 107.14/107.25 eprover: CPU time limit exceeded, terminating
% 109.16/109.26 eprover: CPU time limit exceeded, terminating
% 111.18/111.28 eprover: CPU time limit exceeded, terminating
% 113.16/113.29 eprover: CPU time limit exceeded, terminating
% 115.23/115.31 eprover: CPU time limit exceeded, terminating
% 117.23/117.32 eprover: CPU time limit exceeded, terminating
% 119.24/119.34 eprover: CPU time limit exceeded, terminating
% 121.25/121.36 eprover: CPU time limit exceeded, terminating
% 123.26/123.37 eprover: CPU time limit exceeded, terminating
% 125.32/125.39 eprover: CPU time limit exceeded, terminating
% 127.34/127.41 eprover: CPU time limit exceeded, terminating
% 129.29/129.42 eprover: CPU time limit exceeded, terminating
% 131.40/131.44 eprover: CPU time limit exceeded, terminating
% 133.35/133.46 eprover: CPU time limit exceeded, terminating
% 135.38/135.48 eprover: CPU time limit exceeded, terminating
% 137.44/137.50 eprover: CPU time limit exceeded, terminating
% 139.48/139.51 eprover: CPU time limit exceeded, terminating
% 141.46/141.53 eprover: CPU time limit exceeded, terminating
% 143.44/143.55 eprover: CPU time limit exceeded, terminating
% 145.47/145.58 eprover: CPU time limit exceeded, terminating
% 147.55/147.59 eprover: CPU time limit exceeded, terminating
% 149.58/149.61 eprover: CPU time limit exceeded, terminating
% 151.57/151.63 eprover: CPU time limit exceeded, terminating
% 153.58/153.65 eprover: CPU time limit exceeded, terminating
% 155.57/155.67 eprover: CPU time limit exceeded, terminating
% 157.58/157.70 eprover: CPU time limit exceeded, terminating
% 159.64/159.75 eprover: CPU time limit exceeded, terminating
% 161.65/161.77 eprover: CPU time limit exceeded, terminating
% 163.72/163.80 eprover: CPU time limit exceeded, terminating
% 165.72/165.81 eprover: CPU time limit exceeded, terminating
% 167.73/167.83 eprover: CPU time limit exceeded, terminating
% 169.70/169.85 eprover: CPU time limit exceeded, terminating
% 171.73/171.87 eprover: CPU time limit exceeded, terminating
% 173.81/173.90 eprover: CPU time limit exceeded, terminating
% 175.83/175.91 eprover: CPU time limit exceeded, terminating
% 177.81/177.93 eprover: CPU time limit exceeded, terminating
% 179.81/179.97 eprover: CPU time limit exceeded, terminating
% 181.87/181.99 eprover: CPU time limit exceeded, terminating
% 183.80/184.01 eprover: CPU time limit exceeded, terminating
% 185.89/186.04 eprover: CPU time limit exceeded, terminating
% 187.90/188.05 eprover: CPU time limit exceeded, terminating
% 189.92/190.07 eprover: CPU time limit exceeded, terminating
% 191.92/192.09 eprover: CPU time limit exceeded, terminating
% 194.00/194.11 eprover: CPU time limit exceeded, terminating
% 195.98/196.13 eprover: CPU time limit exceeded, terminating
% 197.99/198.15 eprover: CPU time limit exceeded, terminating
% 200.02/200.17 eprover: CPU time limit exceeded, terminating
% 202.08/202.20 eprover: CPU time limit exceeded, terminating
% 204.08/204.21 eprover: CPU time limit exceeded, terminating
% 206.10/206.23 eprover: CPU time limit exceeded, terminating
% 208.12/208.25 eprover: CPU time limit exceeded, terminating
% 210.10/210.27 eprover: CPU time limit exceeded, terminating
% 212.13/212.28 eprover: CPU time limit exceeded, terminating
% 214.19/214.31 eprover: CPU time limit exceeded, terminating
% 216.19/216.33 eprover: CPU time limit exceeded, terminating
% 218.18/218.35 eprover: CPU time limit exceeded, terminating
% 220.22/220.37 eprover: CPU time limit exceeded, terminating
% 222.26/222.39 eprover: CPU time limit exceeded, terminating
% 224.30/224.41 eprover: CPU time limit exceeded, terminating
% 226.32/226.44 eprover: CPU time limit exceeded, terminating
% 228.30/228.46 eprover: CPU time limit exceeded, terminating
% 230.31/230.48 eprover: CPU time limit exceeded, terminating
% 232.38/232.50 eprover: CPU time limit exceeded, terminating
% 234.38/234.51 eprover: CPU time limit exceeded, terminating
% 236.40/236.53 eprover: CPU time limit exceeded, terminating
% 238.40/238.55 eprover: CPU time limit exceeded, terminating
% 240.40/240.57 eprover: CPU time limit exceeded, terminating
% 242.42/242.58 eprover: CPU time limit exceeded, terminating
% 244.49/244.60 eprover: CPU time limit exceeded, terminating
% 246.52/246.63 eprover: CPU time limit exceeded, terminating
% 248.51/248.64 eprover: CPU time limit exceeded, terminating
% 250.52/250.66 eprover: CPU time limit exceeded, terminating
% 252.52/252.68 eprover: CPU time limit exceeded, terminating
% 254.51/254.70 eprover: CPU time limit exceeded, terminating
% 256.61/256.72 eprover: CPU time limit exceeded, terminating
% 258.61/258.74 eprover: CPU time limit exceeded, terminating
% 260.60/260.76 eprover: CPU time limit exceeded, terminating
% 262.68/262.79 eprover: CPU time limit exceeded, terminating
% 264.67/264.83 eprover: CPU time limit exceeded, terminating
% 266.67/266.85 eprover: CPU time limit exceeded, terminating
% 268.69/268.87 eprover: CPU time limit exceeded, terminating
% 270.76/270.88 eprover: CPU time limit exceeded, terminating
% 272.79/272.90 eprover: CPU time limit exceeded, terminating
% 274.80/274.92 eprover: CPU time limit exceeded, terminating
% 276.78/276.95 eprover: CPU time limit exceeded, terminating
% 278.79/278.96 eprover: CPU time limit exceeded, terminating
% 280.80/280.98 eprover: CPU time limit exceeded, terminating
% 282.87/283.00 eprover: CPU time limit exceeded, terminating
% 284.86/285.02 eprover: CPU time limit exceeded, terminating
% 286.88/287.03 eprover: CPU time limit exceeded, terminating
% 288.90/289.05 eprover: CPU time limit exceeded, terminating
% 290.93/291.09 eprover: CPU time limit exceeded, terminating
% 292.95/293.11 eprover: CPU time limit exceeded, terminating
% 294.95/295.13 eprover: CPU time limit exceeded, terminating
% 296.97/297.14 eprover: CPU time limit exceeded, terminating
% 298.94/299.16 eprover: CPU time limit exceeded, terminating
% 300.05/300.21 eprover: CPU time limit exceeded, terminating
% 300.05/300.22 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------