TSTP Solution File: GEO513+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GEO513+1 : TPTP v8.1.0. Released v7.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n029.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:01 EDT 2022
% Result : Timeout 287.53s 286.75s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.14 % Problem : GEO513+1 : TPTP v8.1.0. Released v7.0.0.
% 0.08/0.15 % Command : run_infinox %s
% 0.15/0.36 % Computer : n029.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 04:57:28 EDT 2022
% 0.15/0.36 % CPUTime :
% 2.42/2.61 eprover: CPU time limit exceeded, terminating
% 4.40/4.63 eprover: CPU time limit exceeded, terminating
% 6.42/6.64 eprover: CPU time limit exceeded, terminating
% 8.47/8.66 eprover: CPU time limit exceeded, terminating
% 10.46/10.67 eprover: CPU time limit exceeded, terminating
% 12.54/12.69 eprover: CPU time limit exceeded, terminating
% 14.49/14.70 eprover: CPU time limit exceeded, terminating
% 16.57/16.72 eprover: CPU time limit exceeded, terminating
% 18.60/18.73 eprover: CPU time limit exceeded, terminating
% 20.60/20.75 eprover: CPU time limit exceeded, terminating
% 22.58/22.77 eprover: CPU time limit exceeded, terminating
% 24.62/24.78 eprover: CPU time limit exceeded, terminating
% 26.64/26.79 eprover: CPU time limit exceeded, terminating
% 28.72/28.81 eprover: CPU time limit exceeded, terminating
% 30.71/30.82 eprover: CPU time limit exceeded, terminating
% 32.74/32.84 eprover: CPU time limit exceeded, terminating
% 34.79/34.91 eprover: CPU time limit exceeded, terminating
% 36.82/36.92 eprover: CPU time limit exceeded, terminating
% 38.81/38.94 eprover: CPU time limit exceeded, terminating
% 40.83/40.95 eprover: CPU time limit exceeded, terminating
% 42.83/42.96 eprover: CPU time limit exceeded, terminating
% 44.85/44.98 eprover: CPU time limit exceeded, terminating
% 46.83/46.99 eprover: CPU time limit exceeded, terminating
% 48.93/49.01 eprover: CPU time limit exceeded, terminating
% 50.96/51.02 eprover: CPU time limit exceeded, terminating
% 52.96/53.03 eprover: CPU time limit exceeded, terminating
% 54.98/55.05 eprover: CPU time limit exceeded, terminating
% 56.99/57.06 eprover: CPU time limit exceeded, terminating
% 58.98/59.08 eprover: CPU time limit exceeded, terminating
% 61.08/61.09 eprover: CPU time limit exceeded, terminating
% 63.09/63.10 eprover: CPU time limit exceeded, terminating
% 65.10/65.12 eprover: CPU time limit exceeded, terminating
% 67.13/67.14 eprover: CPU time limit exceeded, terminating
% 69.13/69.15 eprover: CPU time limit exceeded, terminating
% 71.14/71.16 eprover: CPU time limit exceeded, terminating
% 73.13/73.18 eprover: CPU time limit exceeded, terminating
% 75.22/75.19 eprover: CPU time limit exceeded, terminating
% 77.23/77.20 eprover: CPU time limit exceeded, terminating
% 79.27/79.22 eprover: CPU time limit exceeded, terminating
% 81.27/81.23 eprover: CPU time limit exceeded, terminating
% 83.27/83.25 eprover: CPU time limit exceeded, terminating
% 85.27/85.26 eprover: CPU time limit exceeded, terminating
% 87.28/87.28 eprover: CPU time limit exceeded, terminating
% 89.32/89.29 eprover: CPU time limit exceeded, terminating
% 91.40/91.31 eprover: CPU time limit exceeded, terminating
% 93.39/93.33 eprover: CPU time limit exceeded, terminating
% 95.42/95.34 eprover: CPU time limit exceeded, terminating
% 97.43/97.36 eprover: CPU time limit exceeded, terminating
% 99.51/99.38 eprover: CPU time limit exceeded, terminating
% 101.44/101.39 eprover: CPU time limit exceeded, terminating
% 103.46/103.41 eprover: CPU time limit exceeded, terminating
% 105.56/105.43 eprover: CPU time limit exceeded, terminating
% 107.57/107.44 eprover: CPU time limit exceeded, terminating
% 109.59/109.46 eprover: CPU time limit exceeded, terminating
% 111.55/111.47 eprover: CPU time limit exceeded, terminating
% 113.58/113.48 eprover: CPU time limit exceeded, terminating
% 115.62/115.50 eprover: CPU time limit exceeded, terminating
% 117.71/117.51 eprover: CPU time limit exceeded, terminating
% 119.69/119.53 eprover: CPU time limit exceeded, terminating
% 121.69/121.54 eprover: CPU time limit exceeded, terminating
% 123.72/123.56 eprover: CPU time limit exceeded, terminating
% 125.75/125.57 eprover: CPU time limit exceeded, terminating
% 127.77/127.59 eprover: CPU time limit exceeded, terminating
% 129.84/129.60 eprover: CPU time limit exceeded, terminating
% 131.85/131.62 eprover: CPU time limit exceeded, terminating
% 133.84/133.63 eprover: CPU time limit exceeded, terminating
% 135.88/135.65 eprover: CPU time limit exceeded, terminating
% 137.94/137.67 eprover: CPU time limit exceeded, terminating
% 139.89/139.68 eprover: CPU time limit exceeded, terminating
% 141.92/141.70 eprover: CPU time limit exceeded, terminating
% 143.99/143.71 eprover: CPU time limit exceeded, terminating
% 146.02/145.72 eprover: CPU time limit exceeded, terminating
% 148.05/147.74 eprover: CPU time limit exceeded, terminating
% 150.02/149.75 eprover: CPU time limit exceeded, terminating
% 152.09/151.76 eprover: CPU time limit exceeded, terminating
% 154.02/153.78 eprover: CPU time limit exceeded, terminating
% 156.13/155.79 eprover: CPU time limit exceeded, terminating
% 158.15/157.81 eprover: CPU time limit exceeded, terminating
% 160.18/159.82 eprover: CPU time limit exceeded, terminating
% 162.19/161.84 eprover: CPU time limit exceeded, terminating
% 164.18/163.85 eprover: CPU time limit exceeded, terminating
% 166.22/165.87 eprover: CPU time limit exceeded, terminating
% 168.19/167.88 eprover: CPU time limit exceeded, terminating
% 170.29/169.89 eprover: CPU time limit exceeded, terminating
% 172.31/171.91 eprover: CPU time limit exceeded, terminating
% 174.33/173.92 eprover: CPU time limit exceeded, terminating
% 176.29/175.94 eprover: CPU time limit exceeded, terminating
% 178.33/177.95 eprover: CPU time limit exceeded, terminating
% 180.35/179.97 eprover: CPU time limit exceeded, terminating
% 182.42/181.99 eprover: CPU time limit exceeded, terminating
% 184.34/184.00 eprover: CPU time limit exceeded, terminating
% 186.45/186.02 eprover: CPU time limit exceeded, terminating
% 188.47/188.03 eprover: CPU time limit exceeded, terminating
% 190.45/190.05 eprover: CPU time limit exceeded, terminating
% 192.48/192.06 eprover: CPU time limit exceeded, terminating
% 194.51/194.07 eprover: CPU time limit exceeded, terminating
% 196.46/196.09 eprover: CPU time limit exceeded, terminating
% 198.58/198.11 eprover: CPU time limit exceeded, terminating
% 200.63/200.12 eprover: CPU time limit exceeded, terminating
% 202.63/202.13 eprover: CPU time limit exceeded, terminating
% 204.61/204.15 eprover: CPU time limit exceeded, terminating
% 206.62/206.16 eprover: CPU time limit exceeded, terminating
% 208.66/208.18 eprover: CPU time limit exceeded, terminating
% 210.73/210.19 eprover: CPU time limit exceeded, terminating
% 212.74/212.21 eprover: CPU time limit exceeded, terminating
% 214.76/214.22 eprover: CPU time limit exceeded, terminating
% 216.80/216.24 eprover: CPU time limit exceeded, terminating
% 218.78/218.25 eprover: CPU time limit exceeded, terminating
% 220.79/220.27 eprover: CPU time limit exceeded, terminating
% 222.80/222.28 eprover: CPU time limit exceeded, terminating
% 224.88/224.30 eprover: CPU time limit exceeded, terminating
% 226.89/226.32 eprover: CPU time limit exceeded, terminating
% 228.91/228.33 eprover: CPU time limit exceeded, terminating
% 230.95/230.35 eprover: CPU time limit exceeded, terminating
% 232.92/232.36 eprover: CPU time limit exceeded, terminating
% 234.96/234.37 eprover: CPU time limit exceeded, terminating
% 236.95/236.39 eprover: CPU time limit exceeded, terminating
% 239.05/238.40 eprover: CPU time limit exceeded, terminating
% 241.04/240.42 eprover: CPU time limit exceeded, terminating
% 243.07/242.43 eprover: CPU time limit exceeded, terminating
% 245.07/244.45 eprover: CPU time limit exceeded, terminating
% 247.08/246.46 eprover: CPU time limit exceeded, terminating
% 249.11/248.48 eprover: CPU time limit exceeded, terminating
% 251.11/250.49 eprover: CPU time limit exceeded, terminating
% 253.20/252.51 eprover: CPU time limit exceeded, terminating
% 255.22/254.52 eprover: CPU time limit exceeded, terminating
% 257.22/256.54 eprover: CPU time limit exceeded, terminating
% 259.22/258.55 eprover: CPU time limit exceeded, terminating
% 261.24/260.57 eprover: CPU time limit exceeded, terminating
% 263.25/262.58 eprover: CPU time limit exceeded, terminating
% 265.32/264.59 eprover: CPU time limit exceeded, terminating
% 267.34/266.61 eprover: CPU time limit exceeded, terminating
% 269.36/268.62 eprover: CPU time limit exceeded, terminating
% 271.42/270.63 eprover: CPU time limit exceeded, terminating
% 273.39/272.65 eprover: CPU time limit exceeded, terminating
% 275.38/274.66 eprover: CPU time limit exceeded, terminating
% 277.41/276.67 eprover: CPU time limit exceeded, terminating
% 279.49/278.69 eprover: CPU time limit exceeded, terminating
% 281.49/280.70 eprover: CPU time limit exceeded, terminating
% 283.52/282.72 eprover: CPU time limit exceeded, terminating
% 285.55/284.73 eprover: CPU time limit exceeded, terminating
% 287.53/286.75 eprover: CPU time limit exceeded, terminating
% 289.57/288.76 eprover: CPU time limit exceeded, terminating
% 291.56/290.77 eprover: CPU time limit exceeded, terminating
% 293.59/292.79 eprover: CPU time limit exceeded, terminating
% 295.66/294.80 eprover: CPU time limit exceeded, terminating
% 297.67/296.82 eprover: CPU time limit exceeded, terminating
% 299.70/298.83 eprover: CPU time limit exceeded, terminating
% 300.20/299.32 eprover: CPU time limit exceeded, terminating
% 300.20/299.34 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------