TSTP Solution File: GEO501+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GEO501+1 : TPTP v8.1.0. Released v7.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n020.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:34:58 EDT 2022
% Result : Timeout 287.14s 287.05s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.14 % Problem : GEO501+1 : TPTP v8.1.0. Released v7.0.0.
% 0.04/0.15 % Command : run_infinox %s
% 0.15/0.37 % Computer : n020.cluster.edu
% 0.15/0.37 % Model : x86_64 x86_64
% 0.15/0.37 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.15/0.37 % Memory : 8042.1875MB
% 0.15/0.37 % OS : Linux 3.10.0-693.el7.x86_64
% 0.15/0.37 % CPULimit : 300
% 0.15/0.37 % WCLimit : 600
% 0.15/0.37 % DateTime : Fri Jun 17 21:24:19 EDT 2022
% 0.15/0.37 % CPUTime :
% 2.35/2.55 eprover: CPU time limit exceeded, terminating
% 4.35/4.56 eprover: CPU time limit exceeded, terminating
% 6.35/6.58 eprover: CPU time limit exceeded, terminating
% 8.39/8.60 eprover: CPU time limit exceeded, terminating
% 10.39/10.61 eprover: CPU time limit exceeded, terminating
% 12.41/12.63 eprover: CPU time limit exceeded, terminating
% 14.43/14.64 eprover: CPU time limit exceeded, terminating
% 16.48/16.66 eprover: CPU time limit exceeded, terminating
% 18.52/18.67 eprover: CPU time limit exceeded, terminating
% 20.52/20.69 eprover: CPU time limit exceeded, terminating
% 22.53/22.70 eprover: CPU time limit exceeded, terminating
% 24.55/24.71 eprover: CPU time limit exceeded, terminating
% 26.60/26.73 eprover: CPU time limit exceeded, terminating
% 28.58/28.74 eprover: CPU time limit exceeded, terminating
% 30.64/30.76 eprover: CPU time limit exceeded, terminating
% 32.67/32.77 eprover: CPU time limit exceeded, terminating
% 34.67/34.79 eprover: CPU time limit exceeded, terminating
% 36.65/36.80 eprover: CPU time limit exceeded, terminating
% 38.67/38.82 eprover: CPU time limit exceeded, terminating
% 40.68/40.83 eprover: CPU time limit exceeded, terminating
% 42.77/42.85 eprover: CPU time limit exceeded, terminating
% 44.81/44.87 eprover: CPU time limit exceeded, terminating
% 46.81/46.88 eprover: CPU time limit exceeded, terminating
% 48.85/48.90 eprover: CPU time limit exceeded, terminating
% 50.87/50.91 eprover: CPU time limit exceeded, terminating
% 52.84/52.93 eprover: CPU time limit exceeded, terminating
% 54.91/54.94 eprover: CPU time limit exceeded, terminating
% 56.94/56.96 eprover: CPU time limit exceeded, terminating
% 58.90/58.97 eprover: CPU time limit exceeded, terminating
% 60.98/60.99 eprover: CPU time limit exceeded, terminating
% 62.92/63.00 eprover: CPU time limit exceeded, terminating
% 65.00/65.02 eprover: CPU time limit exceeded, terminating
% 67.04/67.03 eprover: CPU time limit exceeded, terminating
% 69.02/69.05 eprover: CPU time limit exceeded, terminating
% 71.05/71.06 eprover: CPU time limit exceeded, terminating
% 73.10/73.08 eprover: CPU time limit exceeded, terminating
% 75.11/75.09 eprover: CPU time limit exceeded, terminating
% 77.15/77.11 eprover: CPU time limit exceeded, terminating
% 79.15/79.12 eprover: CPU time limit exceeded, terminating
% 81.17/81.14 eprover: CPU time limit exceeded, terminating
% 83.16/83.15 eprover: CPU time limit exceeded, terminating
% 85.19/85.17 eprover: CPU time limit exceeded, terminating
% 87.18/87.18 eprover: CPU time limit exceeded, terminating
% 89.25/89.20 eprover: CPU time limit exceeded, terminating
% 91.28/91.21 eprover: CPU time limit exceeded, terminating
% 93.31/93.23 eprover: CPU time limit exceeded, terminating
% 95.33/95.24 eprover: CPU time limit exceeded, terminating
% 97.30/97.26 eprover: CPU time limit exceeded, terminating
% 99.36/99.27 eprover: CPU time limit exceeded, terminating
% 101.32/101.29 eprover: CPU time limit exceeded, terminating
% 103.37/103.30 eprover: CPU time limit exceeded, terminating
% 105.40/105.32 eprover: CPU time limit exceeded, terminating
% 107.43/107.33 eprover: CPU time limit exceeded, terminating
% 109.42/109.35 eprover: CPU time limit exceeded, terminating
% 111.43/111.36 eprover: CPU time limit exceeded, terminating
% 113.51/113.38 eprover: CPU time limit exceeded, terminating
% 115.44/115.39 eprover: CPU time limit exceeded, terminating
% 117.48/117.41 eprover: CPU time limit exceeded, terminating
% 119.56/119.42 eprover: CPU time limit exceeded, terminating
% 121.56/121.44 eprover: CPU time limit exceeded, terminating
% 123.60/123.45 eprover: CPU time limit exceeded, terminating
% 125.58/125.47 eprover: CPU time limit exceeded, terminating
% 127.61/127.48 eprover: CPU time limit exceeded, terminating
% 129.68/129.50 eprover: CPU time limit exceeded, terminating
% 131.67/131.51 eprover: CPU time limit exceeded, terminating
% 133.68/133.53 eprover: CPU time limit exceeded, terminating
% 135.70/135.55 eprover: CPU time limit exceeded, terminating
% 137.71/137.56 eprover: CPU time limit exceeded, terminating
% 139.73/139.58 eprover: CPU time limit exceeded, terminating
% 141.75/141.59 eprover: CPU time limit exceeded, terminating
% 143.83/143.60 eprover: CPU time limit exceeded, terminating
% 145.81/145.62 eprover: CPU time limit exceeded, terminating
% 147.83/147.63 eprover: CPU time limit exceeded, terminating
% 149.88/149.65 eprover: CPU time limit exceeded, terminating
% 151.84/151.66 eprover: CPU time limit exceeded, terminating
% 153.88/153.68 eprover: CPU time limit exceeded, terminating
% 155.87/155.69 eprover: CPU time limit exceeded, terminating
% 157.90/157.70 eprover: CPU time limit exceeded, terminating
% 159.95/159.72 eprover: CPU time limit exceeded, terminating
% 162.01/161.74 eprover: CPU time limit exceeded, terminating
% 163.98/163.75 eprover: CPU time limit exceeded, terminating
% 165.99/165.76 eprover: CPU time limit exceeded, terminating
% 168.02/167.78 eprover: CPU time limit exceeded, terminating
% 170.09/169.79 eprover: CPU time limit exceeded, terminating
% 172.12/171.81 eprover: CPU time limit exceeded, terminating
% 174.11/173.82 eprover: CPU time limit exceeded, terminating
% 176.10/175.84 eprover: CPU time limit exceeded, terminating
% 178.12/177.85 eprover: CPU time limit exceeded, terminating
% 180.17/179.87 eprover: CPU time limit exceeded, terminating
% 182.15/181.88 eprover: CPU time limit exceeded, terminating
% 184.18/183.90 eprover: CPU time limit exceeded, terminating
% 186.26/185.91 eprover: CPU time limit exceeded, terminating
% 188.27/187.93 eprover: CPU time limit exceeded, terminating
% 190.29/189.94 eprover: CPU time limit exceeded, terminating
% 192.27/191.96 eprover: CPU time limit exceeded, terminating
% 194.31/193.97 eprover: CPU time limit exceeded, terminating
% 196.29/195.99 eprover: CPU time limit exceeded, terminating
% 198.38/198.00 eprover: CPU time limit exceeded, terminating
% 200.36/200.02 eprover: CPU time limit exceeded, terminating
% 202.39/202.04 eprover: CPU time limit exceeded, terminating
% 204.43/204.05 eprover: CPU time limit exceeded, terminating
% 206.42/206.07 eprover: CPU time limit exceeded, terminating
% 208.49/208.08 eprover: CPU time limit exceeded, terminating
% 210.52/210.10 eprover: CPU time limit exceeded, terminating
% 212.53/212.11 eprover: CPU time limit exceeded, terminating
% 214.54/214.13 eprover: CPU time limit exceeded, terminating
% 216.55/216.14 eprover: CPU time limit exceeded, terminating
% 218.57/218.16 eprover: CPU time limit exceeded, terminating
% 220.53/220.17 eprover: CPU time limit exceeded, terminating
% 222.62/222.19 eprover: CPU time limit exceeded, terminating
% 224.64/224.20 eprover: CPU time limit exceeded, terminating
% 226.58/226.21 eprover: CPU time limit exceeded, terminating
% 228.64/228.24 eprover: CPU time limit exceeded, terminating
% 230.65/230.29 eprover: CPU time limit exceeded, terminating
% 232.74/232.33 eprover: CPU time limit exceeded, terminating
% 234.76/234.38 eprover: CPU time limit exceeded, terminating
% 236.71/236.41 eprover: CPU time limit exceeded, terminating
% 238.73/238.44 eprover: CPU time limit exceeded, terminating
% 240.77/240.47 eprover: CPU time limit exceeded, terminating
% 242.82/242.50 eprover: CPU time limit exceeded, terminating
% 244.80/244.53 eprover: CPU time limit exceeded, terminating
% 246.85/246.56 eprover: CPU time limit exceeded, terminating
% 248.85/248.60 eprover: CPU time limit exceeded, terminating
% 250.90/250.63 eprover: CPU time limit exceeded, terminating
% 252.90/252.66 eprover: CPU time limit exceeded, terminating
% 254.85/254.69 eprover: CPU time limit exceeded, terminating
% 256.90/256.73 eprover: CPU time limit exceeded, terminating
% 258.95/258.75 eprover: CPU time limit exceeded, terminating
% 260.93/260.80 eprover: CPU time limit exceeded, terminating
% 262.94/262.83 eprover: CPU time limit exceeded, terminating
% 265.00/264.86 eprover: CPU time limit exceeded, terminating
% 266.99/266.90 eprover: CPU time limit exceeded, terminating
% 269.03/268.92 eprover: CPU time limit exceeded, terminating
% 271.00/270.94 eprover: CPU time limit exceeded, terminating
% 273.04/272.95 eprover: CPU time limit exceeded, terminating
% 275.09/274.96 eprover: CPU time limit exceeded, terminating
% 277.08/276.97 eprover: CPU time limit exceeded, terminating
% 279.10/279.00 eprover: CPU time limit exceeded, terminating
% 281.10/281.01 eprover: CPU time limit exceeded, terminating
% 283.13/283.02 eprover: CPU time limit exceeded, terminating
% 285.15/285.04 eprover: CPU time limit exceeded, terminating
% 287.14/287.05 eprover: CPU time limit exceeded, terminating
% 289.21/289.06 eprover: CPU time limit exceeded, terminating
% 291.24/291.07 eprover: CPU time limit exceeded, terminating
% 293.22/293.09 eprover: CPU time limit exceeded, terminating
% 295.27/295.10 eprover: CPU time limit exceeded, terminating
% 297.23/297.12 eprover: CPU time limit exceeded, terminating
% 299.29/299.13 eprover: CPU time limit exceeded, terminating
% 300.06/299.86 eprover: CPU time limit exceeded, terminating
% 300.06/299.87 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------