TSTP Solution File: GEO142-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GEO142-1 : TPTP v8.1.0. Released v2.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n009.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:05 EDT 2022
% Result : Timeout 287.11s 284.66s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.13 % Problem : GEO142-1 : TPTP v8.1.0. Released v2.4.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.13/0.35 % Computer : n009.cluster.edu
% 0.13/0.35 % Model : x86_64 x86_64
% 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35 % Memory : 8042.1875MB
% 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35 % CPULimit : 300
% 0.13/0.35 % WCLimit : 600
% 0.13/0.35 % DateTime : Fri Jun 17 23:45:37 EDT 2022
% 0.13/0.35 % CPUTime :
% 2.27/2.45 eprover: CPU time limit exceeded, terminating
% 4.30/4.46 eprover: CPU time limit exceeded, terminating
% 6.28/6.48 eprover: CPU time limit exceeded, terminating
% 8.32/8.50 eprover: CPU time limit exceeded, terminating
% 10.28/10.51 eprover: CPU time limit exceeded, terminating
% 12.32/12.53 eprover: CPU time limit exceeded, terminating
% 14.40/14.54 eprover: CPU time limit exceeded, terminating
% 16.42/16.56 eprover: CPU time limit exceeded, terminating
% 18.42/18.57 eprover: CPU time limit exceeded, terminating
% 20.42/20.59 eprover: CPU time limit exceeded, terminating
% 22.44/22.60 eprover: CPU time limit exceeded, terminating
% 24.41/24.62 eprover: CPU time limit exceeded, terminating
% 26.45/26.64 eprover: CPU time limit exceeded, terminating
% 28.54/28.65 eprover: CPU time limit exceeded, terminating
% 30.54/30.67 eprover: CPU time limit exceeded, terminating
% 32.57/32.68 eprover: CPU time limit exceeded, terminating
% 34.60/34.70 eprover: CPU time limit exceeded, terminating
% 36.59/36.71 eprover: CPU time limit exceeded, terminating
% 38.61/38.73 eprover: CPU time limit exceeded, terminating
% 40.66/40.75 eprover: CPU time limit exceeded, terminating
% 42.70/42.76 eprover: CPU time limit exceeded, terminating
% 44.69/44.78 eprover: CPU time limit exceeded, terminating
% 46.71/46.80 eprover: CPU time limit exceeded, terminating
% 48.71/48.81 eprover: CPU time limit exceeded, terminating
% 50.74/50.83 eprover: CPU time limit exceeded, terminating
% 52.81/52.84 eprover: CPU time limit exceeded, terminating
% 54.80/54.86 eprover: CPU time limit exceeded, terminating
% 56.83/56.87 eprover: CPU time limit exceeded, terminating
% 58.83/58.89 eprover: CPU time limit exceeded, terminating
% 60.86/60.90 eprover: CPU time limit exceeded, terminating
% 62.86/62.92 eprover: CPU time limit exceeded, terminating
% 64.92/64.93 eprover: CPU time limit exceeded, terminating
% 66.93/66.95 eprover: CPU time limit exceeded, terminating
% 68.97/68.96 eprover: CPU time limit exceeded, terminating
% 70.96/70.98 eprover: CPU time limit exceeded, terminating
% 72.98/72.99 eprover: CPU time limit exceeded, terminating
% 75.00/75.01 eprover: CPU time limit exceeded, terminating
% 77.00/77.02 eprover: CPU time limit exceeded, terminating
% 79.04/79.04 eprover: CPU time limit exceeded, terminating
% 81.08/81.06 eprover: CPU time limit exceeded, terminating
% 83.09/83.07 eprover: CPU time limit exceeded, terminating
% 85.12/85.09 eprover: CPU time limit exceeded, terminating
% 87.14/87.10 eprover: CPU time limit exceeded, terminating
% 89.11/89.12 eprover: CPU time limit exceeded, terminating
% 91.15/91.14 eprover: CPU time limit exceeded, terminating
% 93.21/93.15 eprover: CPU time limit exceeded, terminating
% 95.23/95.17 eprover: CPU time limit exceeded, terminating
% 97.23/97.19 eprover: CPU time limit exceeded, terminating
% 99.24/99.20 eprover: CPU time limit exceeded, terminating
% 101.30/101.22 eprover: CPU time limit exceeded, terminating
% 103.31/103.23 eprover: CPU time limit exceeded, terminating
% 105.33/105.25 eprover: CPU time limit exceeded, terminating
% 107.36/107.26 eprover: CPU time limit exceeded, terminating
% 109.39/109.28 eprover: CPU time limit exceeded, terminating
% 111.39/111.29 eprover: CPU time limit exceeded, terminating
% 113.42/113.31 eprover: CPU time limit exceeded, terminating
% 115.39/115.33 eprover: CPU time limit exceeded, terminating
% 117.47/117.35 eprover: CPU time limit exceeded, terminating
% 119.46/119.36 eprover: CPU time limit exceeded, terminating
% 121.51/121.38 eprover: CPU time limit exceeded, terminating
% 123.52/123.39 eprover: CPU time limit exceeded, terminating
% 125.57/125.42 eprover: CPU time limit exceeded, terminating
% 127.55/127.43 eprover: CPU time limit exceeded, terminating
% 129.53/129.45 eprover: CPU time limit exceeded, terminating
% 131.61/131.46 eprover: CPU time limit exceeded, terminating
% 133.61/133.47 eprover: CPU time limit exceeded, terminating
% 135.63/135.50 eprover: CPU time limit exceeded, terminating
% 137.67/137.51 eprover: CPU time limit exceeded, terminating
% 139.62/139.53 eprover: CPU time limit exceeded, terminating
% 141.71/141.54 eprover: CPU time limit exceeded, terminating
% 143.70/143.56 eprover: CPU time limit exceeded, terminating
% 145.73/145.57 eprover: CPU time limit exceeded, terminating
% 147.76/147.59 eprover: CPU time limit exceeded, terminating
% 149.78/149.61 eprover: CPU time limit exceeded, terminating
% 151.76/151.62 eprover: CPU time limit exceeded, terminating
% 153.76/153.64 eprover: CPU time limit exceeded, terminating
% 155.83/155.65 eprover: CPU time limit exceeded, terminating
% 157.87/157.67 eprover: CPU time limit exceeded, terminating
% 159.84/159.68 eprover: CPU time limit exceeded, terminating
% 161.87/161.70 eprover: CPU time limit exceeded, terminating
% 163.89/163.71 eprover: CPU time limit exceeded, terminating
% 165.91/165.73 eprover: CPU time limit exceeded, terminating
% 167.97/167.74 eprover: CPU time limit exceeded, terminating
% 169.98/169.76 eprover: CPU time limit exceeded, terminating
% 171.99/171.77 eprover: CPU time limit exceeded, terminating
% 174.01/173.79 eprover: CPU time limit exceeded, terminating
% 176.01/175.80 eprover: CPU time limit exceeded, terminating
% 178.02/177.82 eprover: CPU time limit exceeded, terminating
% 180.09/179.83 eprover: CPU time limit exceeded, terminating
% 182.09/181.85 eprover: CPU time limit exceeded, terminating
% 184.11/183.87 eprover: CPU time limit exceeded, terminating
% 186.15/185.88 eprover: CPU time limit exceeded, terminating
% 188.13/187.90 eprover: CPU time limit exceeded, terminating
% 190.15/189.91 eprover: CPU time limit exceeded, terminating
% 192.18/191.92 eprover: CPU time limit exceeded, terminating
% 194.23/193.94 eprover: CPU time limit exceeded, terminating
% 196.24/195.95 eprover: CPU time limit exceeded, terminating
% 198.26/197.97 eprover: CPU time limit exceeded, terminating
% 200.27/199.98 eprover: CPU time limit exceeded, terminating
% 202.28/202.00 eprover: CPU time limit exceeded, terminating
% 204.31/204.01 eprover: CPU time limit exceeded, terminating
% 206.29/206.03 eprover: CPU time limit exceeded, terminating
% 210.29/208.04 eprover: CPU time limit exceeded, terminating
% 212.32/210.06 eprover: CPU time limit exceeded, terminating
% 214.33/212.07 eprover: CPU time limit exceeded, terminating
% 216.35/214.09 eprover: CPU time limit exceeded, terminating
% 218.35/216.11 eprover: CPU time limit exceeded, terminating
% 220.39/218.12 eprover: CPU time limit exceeded, terminating
% 222.41/220.14 eprover: CPU time limit exceeded, terminating
% 224.46/222.16 eprover: CPU time limit exceeded, terminating
% 226.45/224.17 eprover: CPU time limit exceeded, terminating
% 228.47/226.19 eprover: CPU time limit exceeded, terminating
% 230.51/228.20 eprover: CPU time limit exceeded, terminating
% 232.48/230.22 eprover: CPU time limit exceeded, terminating
% 234.54/232.23 eprover: CPU time limit exceeded, terminating
% 236.56/234.25 eprover: CPU time limit exceeded, terminating
% 238.60/236.27 eprover: CPU time limit exceeded, terminating
% 240.59/238.28 eprover: CPU time limit exceeded, terminating
% 242.62/240.30 eprover: CPU time limit exceeded, terminating
% 244.61/242.32 eprover: CPU time limit exceeded, terminating
% 246.65/244.33 eprover: CPU time limit exceeded, terminating
% 248.69/246.35 eprover: CPU time limit exceeded, terminating
% 250.73/248.37 eprover: CPU time limit exceeded, terminating
% 252.74/250.38 eprover: CPU time limit exceeded, terminating
% 254.72/252.40 eprover: CPU time limit exceeded, terminating
% 256.78/254.42 eprover: CPU time limit exceeded, terminating
% 258.79/256.43 eprover: CPU time limit exceeded, terminating
% 260.80/258.45 eprover: CPU time limit exceeded, terminating
% 262.84/260.46 eprover: CPU time limit exceeded, terminating
% 264.85/262.48 eprover: CPU time limit exceeded, terminating
% 266.83/264.50 eprover: CPU time limit exceeded, terminating
% 268.90/266.51 eprover: CPU time limit exceeded, terminating
% 270.89/268.54 eprover: CPU time limit exceeded, terminating
% 272.95/270.55 eprover: CPU time limit exceeded, terminating
% 274.95/272.57 eprover: CPU time limit exceeded, terminating
% 276.97/274.58 eprover: CPU time limit exceeded, terminating
% 278.99/276.60 eprover: CPU time limit exceeded, terminating
% 281.03/278.62 eprover: CPU time limit exceeded, terminating
% 282.99/280.63 eprover: CPU time limit exceeded, terminating
% 285.09/282.65 eprover: CPU time limit exceeded, terminating
% 287.11/284.66 eprover: CPU time limit exceeded, terminating
% 289.14/286.68 eprover: CPU time limit exceeded, terminating
% 291.13/288.69 eprover: CPU time limit exceeded, terminating
% 293.18/290.71 eprover: CPU time limit exceeded, terminating
% 295.15/292.73 eprover: CPU time limit exceeded, terminating
% 297.15/294.74 eprover: CPU time limit exceeded, terminating
% 299.22/296.75 eprover: CPU time limit exceeded, terminating
% 300.01/297.53 eprover: CPU time limit exceeded, terminating
% 300.01/297.54 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------