TSTP Solution File: GEO506+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GEO506+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:59 EDT 2022
% Result : Timeout 287.47s 284.70s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.14 % Problem : GEO506+1 : TPTP v8.1.0. Released v7.0.0.
% 0.08/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 20:24:19 EDT 2022
% 0.15/0.37 % CPUTime :
% 2.35/2.58 eprover: CPU time limit exceeded, terminating
% 4.40/4.59 eprover: CPU time limit exceeded, terminating
% 6.46/6.61 eprover: CPU time limit exceeded, terminating
% 8.39/8.63 eprover: CPU time limit exceeded, terminating
% 10.46/10.64 eprover: CPU time limit exceeded, terminating
% 12.50/12.66 eprover: CPU time limit exceeded, terminating
% 14.50/14.67 eprover: CPU time limit exceeded, terminating
% 16.54/16.69 eprover: CPU time limit exceeded, terminating
% 18.57/18.70 eprover: CPU time limit exceeded, terminating
% 20.60/20.72 eprover: CPU time limit exceeded, terminating
% 22.59/22.73 eprover: CPU time limit exceeded, terminating
% 24.60/24.75 eprover: CPU time limit exceeded, terminating
% 26.64/26.76 eprover: CPU time limit exceeded, terminating
% 28.62/28.78 eprover: CPU time limit exceeded, terminating
% 30.67/30.80 eprover: CPU time limit exceeded, terminating
% 32.74/32.81 eprover: CPU time limit exceeded, terminating
% 34.76/34.83 eprover: CPU time limit exceeded, terminating
% 36.76/36.84 eprover: CPU time limit exceeded, terminating
% 38.79/38.86 eprover: CPU time limit exceeded, terminating
% 40.78/40.87 eprover: CPU time limit exceeded, terminating
% 42.85/42.89 eprover: CPU time limit exceeded, terminating
% 44.87/44.90 eprover: CPU time limit exceeded, terminating
% 46.90/46.92 eprover: CPU time limit exceeded, terminating
% 48.90/48.94 eprover: CPU time limit exceeded, terminating
% 50.91/50.95 eprover: CPU time limit exceeded, terminating
% 52.88/52.97 eprover: CPU time limit exceeded, terminating
% 55.00/54.98 eprover: CPU time limit exceeded, terminating
% 57.01/57.00 eprover: CPU time limit exceeded, terminating
% 59.01/59.01 eprover: CPU time limit exceeded, terminating
% 61.05/61.03 eprover: CPU time limit exceeded, terminating
% 63.09/63.05 eprover: CPU time limit exceeded, terminating
% 65.05/65.06 eprover: CPU time limit exceeded, terminating
% 67.10/67.08 eprover: CPU time limit exceeded, terminating
% 69.08/69.09 eprover: CPU time limit exceeded, terminating
% 71.16/71.11 eprover: CPU time limit exceeded, terminating
% 73.19/73.12 eprover: CPU time limit exceeded, terminating
% 75.21/75.14 eprover: CPU time limit exceeded, terminating
% 77.21/77.15 eprover: CPU time limit exceeded, terminating
% 79.20/79.17 eprover: CPU time limit exceeded, terminating
% 81.27/81.18 eprover: CPU time limit exceeded, terminating
% 83.32/83.20 eprover: CPU time limit exceeded, terminating
% 85.32/85.22 eprover: CPU time limit exceeded, terminating
% 87.34/87.23 eprover: CPU time limit exceeded, terminating
% 89.36/89.25 eprover: CPU time limit exceeded, terminating
% 91.33/91.26 eprover: CPU time limit exceeded, terminating
% 93.35/93.28 eprover: CPU time limit exceeded, terminating
% 95.37/95.30 eprover: CPU time limit exceeded, terminating
% 97.48/97.31 eprover: CPU time limit exceeded, terminating
% 99.47/99.33 eprover: CPU time limit exceeded, terminating
% 101.49/101.34 eprover: CPU time limit exceeded, terminating
% 103.50/103.36 eprover: CPU time limit exceeded, terminating
% 105.50/105.38 eprover: CPU time limit exceeded, terminating
% 107.53/107.39 eprover: CPU time limit exceeded, terminating
% 109.61/109.41 eprover: CPU time limit exceeded, terminating
% 111.59/111.42 eprover: CPU time limit exceeded, terminating
% 113.62/113.44 eprover: CPU time limit exceeded, terminating
% 115.65/115.45 eprover: CPU time limit exceeded, terminating
% 117.64/117.47 eprover: CPU time limit exceeded, terminating
% 119.73/119.49 eprover: CPU time limit exceeded, terminating
% 121.67/121.50 eprover: CPU time limit exceeded, terminating
% 123.78/123.52 eprover: CPU time limit exceeded, terminating
% 125.75/125.53 eprover: CPU time limit exceeded, terminating
% 127.78/127.55 eprover: CPU time limit exceeded, terminating
% 129.80/129.57 eprover: CPU time limit exceeded, terminating
% 131.79/131.58 eprover: CPU time limit exceeded, terminating
% 133.90/133.60 eprover: CPU time limit exceeded, terminating
% 135.92/135.62 eprover: CPU time limit exceeded, terminating
% 137.95/137.63 eprover: CPU time limit exceeded, terminating
% 139.93/139.65 eprover: CPU time limit exceeded, terminating
% 141.94/141.67 eprover: CPU time limit exceeded, terminating
% 143.95/143.68 eprover: CPU time limit exceeded, terminating
% 145.98/145.70 eprover: CPU time limit exceeded, terminating
% 148.04/147.71 eprover: CPU time limit exceeded, terminating
% 150.05/149.73 eprover: CPU time limit exceeded, terminating
% 152.03/151.74 eprover: CPU time limit exceeded, terminating
% 154.08/153.76 eprover: CPU time limit exceeded, terminating
% 156.12/155.77 eprover: CPU time limit exceeded, terminating
% 158.10/157.79 eprover: CPU time limit exceeded, terminating
% 160.11/159.80 eprover: CPU time limit exceeded, terminating
% 162.18/161.82 eprover: CPU time limit exceeded, terminating
% 164.22/163.84 eprover: CPU time limit exceeded, terminating
% 166.23/165.85 eprover: CPU time limit exceeded, terminating
% 168.24/167.87 eprover: CPU time limit exceeded, terminating
% 170.26/169.88 eprover: CPU time limit exceeded, terminating
% 172.34/171.90 eprover: CPU time limit exceeded, terminating
% 174.34/173.92 eprover: CPU time limit exceeded, terminating
% 176.36/175.93 eprover: CPU time limit exceeded, terminating
% 178.31/177.95 eprover: CPU time limit exceeded, terminating
% 180.35/179.96 eprover: CPU time limit exceeded, terminating
% 182.45/181.98 eprover: CPU time limit exceeded, terminating
% 184.40/184.00 eprover: CPU time limit exceeded, terminating
% 186.50/186.01 eprover: CPU time limit exceeded, terminating
% 188.49/188.03 eprover: CPU time limit exceeded, terminating
% 190.52/190.04 eprover: CPU time limit exceeded, terminating
% 192.49/192.06 eprover: CPU time limit exceeded, terminating
% 194.53/194.07 eprover: CPU time limit exceeded, terminating
% 196.60/196.09 eprover: CPU time limit exceeded, terminating
% 198.54/198.11 eprover: CPU time limit exceeded, terminating
% 200.65/200.12 eprover: CPU time limit exceeded, terminating
% 202.66/202.14 eprover: CPU time limit exceeded, terminating
% 204.70/204.16 eprover: CPU time limit exceeded, terminating
% 206.66/206.17 eprover: CPU time limit exceeded, terminating
% 208.75/208.19 eprover: CPU time limit exceeded, terminating
% 210.79/210.21 eprover: CPU time limit exceeded, terminating
% 212.77/212.23 eprover: CPU time limit exceeded, terminating
% 214.75/214.24 eprover: CPU time limit exceeded, terminating
% 216.79/216.25 eprover: CPU time limit exceeded, terminating
% 218.81/218.27 eprover: CPU time limit exceeded, terminating
% 220.80/220.29 eprover: CPU time limit exceeded, terminating
% 222.84/222.30 eprover: CPU time limit exceeded, terminating
% 224.91/224.31 eprover: CPU time limit exceeded, terminating
% 226.93/226.32 eprover: CPU time limit exceeded, terminating
% 228.92/228.34 eprover: CPU time limit exceeded, terminating
% 230.93/230.35 eprover: CPU time limit exceeded, terminating
% 232.91/232.36 eprover: CPU time limit exceeded, terminating
% 234.92/234.37 eprover: CPU time limit exceeded, terminating
% 236.95/236.38 eprover: CPU time limit exceeded, terminating
% 239.02/238.39 eprover: CPU time limit exceeded, terminating
% 240.98/240.41 eprover: CPU time limit exceeded, terminating
% 243.08/242.42 eprover: CPU time limit exceeded, terminating
% 245.08/244.43 eprover: CPU time limit exceeded, terminating
% 247.10/246.44 eprover: CPU time limit exceeded, terminating
% 249.08/248.45 eprover: CPU time limit exceeded, terminating
% 251.05/250.46 eprover: CPU time limit exceeded, terminating
% 253.06/252.48 eprover: CPU time limit exceeded, terminating
% 255.12/254.49 eprover: CPU time limit exceeded, terminating
% 257.19/256.50 eprover: CPU time limit exceeded, terminating
% 259.12/258.51 eprover: CPU time limit exceeded, terminating
% 263.20/260.53 eprover: CPU time limit exceeded, terminating
% 265.22/262.54 eprover: CPU time limit exceeded, terminating
% 267.22/264.55 eprover: CPU time limit exceeded, terminating
% 269.24/266.57 eprover: CPU time limit exceeded, terminating
% 271.22/268.58 eprover: CPU time limit exceeded, terminating
% 273.29/270.60 eprover: CPU time limit exceeded, terminating
% 275.35/272.61 eprover: CPU time limit exceeded, terminating
% 277.36/274.63 eprover: CPU time limit exceeded, terminating
% 279.36/276.64 eprover: CPU time limit exceeded, terminating
% 281.37/278.66 eprover: CPU time limit exceeded, terminating
% 283.36/280.67 eprover: CPU time limit exceeded, terminating
% 285.43/282.69 eprover: CPU time limit exceeded, terminating
% 287.47/284.70 eprover: CPU time limit exceeded, terminating
% 289.45/286.72 eprover: CPU time limit exceeded, terminating
% 291.49/288.73 eprover: CPU time limit exceeded, terminating
% 293.47/290.75 eprover: CPU time limit exceeded, terminating
% 295.50/292.76 eprover: CPU time limit exceeded, terminating
% 297.58/294.78 eprover: CPU time limit exceeded, terminating
% 299.52/296.79 eprover: CPU time limit exceeded, terminating
% 300.26/297.43 eprover: CPU time limit exceeded, terminating
% 300.26/297.45 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------