TSTP Solution File: GEO521+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GEO521+1 : TPTP v8.1.0. Released v7.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n014.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:03 EDT 2022
% Result : Timeout 287.58s 286.57s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : GEO521+1 : TPTP v8.1.0. Released v7.0.0.
% 0.12/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n014.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Sat Jun 18 08:01:19 EDT 2022
% 0.12/0.34 % CPUTime :
% 2.41/2.65 eprover: CPU time limit exceeded, terminating
% 4.45/4.67 eprover: CPU time limit exceeded, terminating
% 6.47/6.68 eprover: CPU time limit exceeded, terminating
% 8.55/8.69 eprover: CPU time limit exceeded, terminating
% 10.51/10.71 eprover: CPU time limit exceeded, terminating
% 12.56/12.72 eprover: CPU time limit exceeded, terminating
% 14.53/14.73 eprover: CPU time limit exceeded, terminating
% 16.56/16.75 eprover: CPU time limit exceeded, terminating
% 18.60/18.76 eprover: CPU time limit exceeded, terminating
% 20.67/20.77 eprover: CPU time limit exceeded, terminating
% 22.61/22.79 eprover: CPU time limit exceeded, terminating
% 24.64/24.80 eprover: CPU time limit exceeded, terminating
% 26.73/26.81 eprover: CPU time limit exceeded, terminating
% 28.74/28.83 eprover: CPU time limit exceeded, terminating
% 30.78/30.84 eprover: CPU time limit exceeded, terminating
% 32.73/32.86 eprover: CPU time limit exceeded, terminating
% 34.72/34.87 eprover: CPU time limit exceeded, terminating
% 36.77/36.88 eprover: CPU time limit exceeded, terminating
% 38.86/38.90 eprover: CPU time limit exceeded, terminating
% 40.88/40.91 eprover: CPU time limit exceeded, terminating
% 42.89/42.93 eprover: CPU time limit exceeded, terminating
% 44.90/44.94 eprover: CPU time limit exceeded, terminating
% 46.87/46.95 eprover: CPU time limit exceeded, terminating
% 48.91/48.97 eprover: CPU time limit exceeded, terminating
% 50.97/50.98 eprover: CPU time limit exceeded, terminating
% 53.03/52.99 eprover: CPU time limit exceeded, terminating
% 55.04/55.01 eprover: CPU time limit exceeded, terminating
% 57.07/57.02 eprover: CPU time limit exceeded, terminating
% 59.04/59.03 eprover: CPU time limit exceeded, terminating
% 61.05/61.05 eprover: CPU time limit exceeded, terminating
% 63.06/63.06 eprover: CPU time limit exceeded, terminating
% 65.09/65.07 eprover: CPU time limit exceeded, terminating
% 67.10/67.08 eprover: CPU time limit exceeded, terminating
% 69.17/69.10 eprover: CPU time limit exceeded, terminating
% 71.22/71.11 eprover: CPU time limit exceeded, terminating
% 73.23/73.12 eprover: CPU time limit exceeded, terminating
% 75.24/75.14 eprover: CPU time limit exceeded, terminating
% 77.24/77.15 eprover: CPU time limit exceeded, terminating
% 79.26/79.16 eprover: CPU time limit exceeded, terminating
% 81.26/81.18 eprover: CPU time limit exceeded, terminating
% 83.35/83.19 eprover: CPU time limit exceeded, terminating
% 85.35/85.20 eprover: CPU time limit exceeded, terminating
% 87.30/87.22 eprover: CPU time limit exceeded, terminating
% 89.40/89.23 eprover: CPU time limit exceeded, terminating
% 91.37/91.24 eprover: CPU time limit exceeded, terminating
% 93.41/93.26 eprover: CPU time limit exceeded, terminating
% 95.42/95.27 eprover: CPU time limit exceeded, terminating
% 97.50/97.28 eprover: CPU time limit exceeded, terminating
% 99.45/99.30 eprover: CPU time limit exceeded, terminating
% 101.54/101.31 eprover: CPU time limit exceeded, terminating
% 103.55/103.32 eprover: CPU time limit exceeded, terminating
% 105.55/105.34 eprover: CPU time limit exceeded, terminating
% 107.57/107.35 eprover: CPU time limit exceeded, terminating
% 109.59/109.36 eprover: CPU time limit exceeded, terminating
% 111.57/111.38 eprover: CPU time limit exceeded, terminating
% 113.68/113.39 eprover: CPU time limit exceeded, terminating
% 115.63/115.40 eprover: CPU time limit exceeded, terminating
% 117.72/117.42 eprover: CPU time limit exceeded, terminating
% 119.70/119.43 eprover: CPU time limit exceeded, terminating
% 121.74/121.45 eprover: CPU time limit exceeded, terminating
% 123.77/123.46 eprover: CPU time limit exceeded, terminating
% 125.83/125.48 eprover: CPU time limit exceeded, terminating
% 127.75/127.49 eprover: CPU time limit exceeded, terminating
% 129.79/129.50 eprover: CPU time limit exceeded, terminating
% 131.86/131.52 eprover: CPU time limit exceeded, terminating
% 133.86/133.53 eprover: CPU time limit exceeded, terminating
% 135.88/135.54 eprover: CPU time limit exceeded, terminating
% 137.91/137.56 eprover: CPU time limit exceeded, terminating
% 139.90/139.57 eprover: CPU time limit exceeded, terminating
% 141.94/141.58 eprover: CPU time limit exceeded, terminating
% 144.00/143.60 eprover: CPU time limit exceeded, terminating
% 146.02/145.62 eprover: CPU time limit exceeded, terminating
% 148.04/147.63 eprover: CPU time limit exceeded, terminating
% 150.04/149.64 eprover: CPU time limit exceeded, terminating
% 152.06/151.66 eprover: CPU time limit exceeded, terminating
% 154.08/153.67 eprover: CPU time limit exceeded, terminating
% 156.06/155.69 eprover: CPU time limit exceeded, terminating
% 158.16/157.70 eprover: CPU time limit exceeded, terminating
% 160.18/159.71 eprover: CPU time limit exceeded, terminating
% 162.18/161.73 eprover: CPU time limit exceeded, terminating
% 164.23/163.74 eprover: CPU time limit exceeded, terminating
% 166.20/165.75 eprover: CPU time limit exceeded, terminating
% 168.21/167.77 eprover: CPU time limit exceeded, terminating
% 170.24/169.78 eprover: CPU time limit exceeded, terminating
% 172.27/171.79 eprover: CPU time limit exceeded, terminating
% 174.35/173.81 eprover: CPU time limit exceeded, terminating
% 176.34/175.82 eprover: CPU time limit exceeded, terminating
% 178.37/177.83 eprover: CPU time limit exceeded, terminating
% 180.41/179.85 eprover: CPU time limit exceeded, terminating
% 182.40/181.86 eprover: CPU time limit exceeded, terminating
% 184.45/183.87 eprover: CPU time limit exceeded, terminating
% 186.37/185.89 eprover: CPU time limit exceeded, terminating
% 188.48/187.90 eprover: CPU time limit exceeded, terminating
% 190.51/189.91 eprover: CPU time limit exceeded, terminating
% 192.51/191.93 eprover: CPU time limit exceeded, terminating
% 194.56/193.94 eprover: CPU time limit exceeded, terminating
% 196.54/195.95 eprover: CPU time limit exceeded, terminating
% 198.58/197.97 eprover: CPU time limit exceeded, terminating
% 200.64/199.98 eprover: CPU time limit exceeded, terminating
% 202.66/201.99 eprover: CPU time limit exceeded, terminating
% 204.67/204.01 eprover: CPU time limit exceeded, terminating
% 206.68/206.02 eprover: CPU time limit exceeded, terminating
% 208.72/208.04 eprover: CPU time limit exceeded, terminating
% 210.72/210.05 eprover: CPU time limit exceeded, terminating
% 212.74/212.06 eprover: CPU time limit exceeded, terminating
% 214.79/214.08 eprover: CPU time limit exceeded, terminating
% 216.75/216.09 eprover: CPU time limit exceeded, terminating
% 218.83/218.11 eprover: CPU time limit exceeded, terminating
% 220.78/220.12 eprover: CPU time limit exceeded, terminating
% 222.87/222.13 eprover: CPU time limit exceeded, terminating
% 224.87/224.15 eprover: CPU time limit exceeded, terminating
% 226.90/226.16 eprover: CPU time limit exceeded, terminating
% 228.94/228.17 eprover: CPU time limit exceeded, terminating
% 230.91/230.19 eprover: CPU time limit exceeded, terminating
% 233.00/232.20 eprover: CPU time limit exceeded, terminating
% 235.01/234.21 eprover: CPU time limit exceeded, terminating
% 237.03/236.23 eprover: CPU time limit exceeded, terminating
% 239.03/238.24 eprover: CPU time limit exceeded, terminating
% 241.05/240.25 eprover: CPU time limit exceeded, terminating
% 243.07/242.27 eprover: CPU time limit exceeded, terminating
% 245.07/244.28 eprover: CPU time limit exceeded, terminating
% 247.12/246.29 eprover: CPU time limit exceeded, terminating
% 249.16/248.31 eprover: CPU time limit exceeded, terminating
% 251.15/250.32 eprover: CPU time limit exceeded, terminating
% 253.19/252.34 eprover: CPU time limit exceeded, terminating
% 255.18/254.35 eprover: CPU time limit exceeded, terminating
% 257.24/256.36 eprover: CPU time limit exceeded, terminating
% 259.22/258.38 eprover: CPU time limit exceeded, terminating
% 261.26/260.39 eprover: CPU time limit exceeded, terminating
% 263.29/262.40 eprover: CPU time limit exceeded, terminating
% 265.32/264.42 eprover: CPU time limit exceeded, terminating
% 267.32/266.43 eprover: CPU time limit exceeded, terminating
% 269.36/268.45 eprover: CPU time limit exceeded, terminating
% 271.35/270.46 eprover: CPU time limit exceeded, terminating
% 273.40/272.47 eprover: CPU time limit exceeded, terminating
% 275.36/274.49 eprover: CPU time limit exceeded, terminating
% 277.42/276.50 eprover: CPU time limit exceeded, terminating
% 279.48/278.51 eprover: CPU time limit exceeded, terminating
% 281.50/280.53 eprover: CPU time limit exceeded, terminating
% 283.49/282.54 eprover: CPU time limit exceeded, terminating
% 285.54/284.55 eprover: CPU time limit exceeded, terminating
% 287.58/286.57 eprover: CPU time limit exceeded, terminating
% 289.55/288.58 eprover: CPU time limit exceeded, terminating
% 291.63/290.60 eprover: CPU time limit exceeded, terminating
% 293.67/292.61 eprover: CPU time limit exceeded, terminating
% 295.69/294.62 eprover: CPU time limit exceeded, terminating
% 297.71/296.64 eprover: CPU time limit exceeded, terminating
% 299.72/298.65 eprover: CPU time limit exceeded, terminating
% 300.41/299.32 eprover: CPU time limit exceeded, terminating
% 300.41/299.33 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------