TSTP Solution File: GEO140-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GEO140-1 : TPTP v8.1.0. Released v2.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n011.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.12s 284.95s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.14 % Problem : GEO140-1 : TPTP v8.1.0. Released v2.4.0.
% 0.04/0.14 % Command : run_infinox %s
% 0.15/0.36 % Computer : n011.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 11:04:53 EDT 2022
% 0.15/0.36 % CPUTime :
% 2.27/2.46 eprover: CPU time limit exceeded, terminating
% 4.28/4.48 eprover: CPU time limit exceeded, terminating
% 6.31/6.49 eprover: CPU time limit exceeded, terminating
% 8.34/8.51 eprover: CPU time limit exceeded, terminating
% 10.32/10.54 eprover: CPU time limit exceeded, terminating
% 12.37/12.55 eprover: CPU time limit exceeded, terminating
% 14.40/14.58 eprover: CPU time limit exceeded, terminating
% 16.38/16.59 eprover: CPU time limit exceeded, terminating
% 18.38/18.61 eprover: CPU time limit exceeded, terminating
% 20.47/20.63 eprover: CPU time limit exceeded, terminating
% 22.47/22.65 eprover: CPU time limit exceeded, terminating
% 24.48/24.67 eprover: CPU time limit exceeded, terminating
% 26.49/26.69 eprover: CPU time limit exceeded, terminating
% 28.55/28.71 eprover: CPU time limit exceeded, terminating
% 30.55/30.73 eprover: CPU time limit exceeded, terminating
% 32.48/32.75 eprover: CPU time limit exceeded, terminating
% 34.55/34.79 eprover: CPU time limit exceeded, terminating
% 36.55/36.81 eprover: CPU time limit exceeded, terminating
% 38.62/38.83 eprover: CPU time limit exceeded, terminating
% 40.65/40.85 eprover: CPU time limit exceeded, terminating
% 42.67/42.87 eprover: CPU time limit exceeded, terminating
% 44.66/44.89 eprover: CPU time limit exceeded, terminating
% 46.72/46.90 eprover: CPU time limit exceeded, terminating
% 48.75/48.92 eprover: CPU time limit exceeded, terminating
% 50.71/50.95 eprover: CPU time limit exceeded, terminating
% 52.77/52.96 eprover: CPU time limit exceeded, terminating
% 54.81/54.98 eprover: CPU time limit exceeded, terminating
% 56.80/56.99 eprover: CPU time limit exceeded, terminating
% 58.83/59.01 eprover: CPU time limit exceeded, terminating
% 60.88/61.03 eprover: CPU time limit exceeded, terminating
% 62.81/63.05 eprover: CPU time limit exceeded, terminating
% 64.88/65.06 eprover: CPU time limit exceeded, terminating
% 66.92/67.08 eprover: CPU time limit exceeded, terminating
% 68.90/69.09 eprover: CPU time limit exceeded, terminating
% 70.95/71.11 eprover: CPU time limit exceeded, terminating
% 72.99/73.13 eprover: CPU time limit exceeded, terminating
% 74.97/75.14 eprover: CPU time limit exceeded, terminating
% 77.04/77.16 eprover: CPU time limit exceeded, terminating
% 79.03/79.18 eprover: CPU time limit exceeded, terminating
% 81.10/81.19 eprover: CPU time limit exceeded, terminating
% 83.11/83.21 eprover: CPU time limit exceeded, terminating
% 85.11/85.23 eprover: CPU time limit exceeded, terminating
% 87.11/87.24 eprover: CPU time limit exceeded, terminating
% 89.15/89.26 eprover: CPU time limit exceeded, terminating
% 91.16/91.28 eprover: CPU time limit exceeded, terminating
% 93.21/93.29 eprover: CPU time limit exceeded, terminating
% 95.23/95.31 eprover: CPU time limit exceeded, terminating
% 97.24/97.33 eprover: CPU time limit exceeded, terminating
% 99.27/99.34 eprover: CPU time limit exceeded, terminating
% 101.32/101.36 eprover: CPU time limit exceeded, terminating
% 103.31/103.38 eprover: CPU time limit exceeded, terminating
% 105.30/105.40 eprover: CPU time limit exceeded, terminating
% 107.34/107.41 eprover: CPU time limit exceeded, terminating
% 109.31/109.43 eprover: CPU time limit exceeded, terminating
% 111.38/111.45 eprover: CPU time limit exceeded, terminating
% 113.36/113.46 eprover: CPU time limit exceeded, terminating
% 115.44/115.48 eprover: CPU time limit exceeded, terminating
% 117.48/117.50 eprover: CPU time limit exceeded, terminating
% 119.49/119.51 eprover: CPU time limit exceeded, terminating
% 121.49/121.53 eprover: CPU time limit exceeded, terminating
% 123.53/123.55 eprover: CPU time limit exceeded, terminating
% 125.53/125.56 eprover: CPU time limit exceeded, terminating
% 127.60/127.58 eprover: CPU time limit exceeded, terminating
% 129.58/129.60 eprover: CPU time limit exceeded, terminating
% 131.55/131.61 eprover: CPU time limit exceeded, terminating
% 133.57/133.63 eprover: CPU time limit exceeded, terminating
% 135.62/135.65 eprover: CPU time limit exceeded, terminating
% 137.70/137.67 eprover: CPU time limit exceeded, terminating
% 139.68/139.68 eprover: CPU time limit exceeded, terminating
% 141.71/141.70 eprover: CPU time limit exceeded, terminating
% 143.71/143.72 eprover: CPU time limit exceeded, terminating
% 145.79/145.73 eprover: CPU time limit exceeded, terminating
% 147.83/147.75 eprover: CPU time limit exceeded, terminating
% 149.76/149.77 eprover: CPU time limit exceeded, terminating
% 151.86/151.79 eprover: CPU time limit exceeded, terminating
% 153.88/153.80 eprover: CPU time limit exceeded, terminating
% 155.87/155.83 eprover: CPU time limit exceeded, terminating
% 157.88/157.84 eprover: CPU time limit exceeded, terminating
% 159.90/159.86 eprover: CPU time limit exceeded, terminating
% 161.94/161.87 eprover: CPU time limit exceeded, terminating
% 163.98/163.89 eprover: CPU time limit exceeded, terminating
% 166.01/165.92 eprover: CPU time limit exceeded, terminating
% 167.96/167.93 eprover: CPU time limit exceeded, terminating
% 170.01/169.95 eprover: CPU time limit exceeded, terminating
% 172.05/171.96 eprover: CPU time limit exceeded, terminating
% 174.04/173.98 eprover: CPU time limit exceeded, terminating
% 176.09/176.01 eprover: CPU time limit exceeded, terminating
% 178.12/178.02 eprover: CPU time limit exceeded, terminating
% 180.10/180.04 eprover: CPU time limit exceeded, terminating
% 182.12/182.05 eprover: CPU time limit exceeded, terminating
% 184.14/184.07 eprover: CPU time limit exceeded, terminating
% 186.18/186.10 eprover: CPU time limit exceeded, terminating
% 188.17/188.11 eprover: CPU time limit exceeded, terminating
% 190.23/190.13 eprover: CPU time limit exceeded, terminating
% 192.23/192.15 eprover: CPU time limit exceeded, terminating
% 194.20/194.16 eprover: CPU time limit exceeded, terminating
% 196.31/196.19 eprover: CPU time limit exceeded, terminating
% 198.33/198.21 eprover: CPU time limit exceeded, terminating
% 200.33/200.22 eprover: CPU time limit exceeded, terminating
% 202.37/202.24 eprover: CPU time limit exceeded, terminating
% 204.35/204.25 eprover: CPU time limit exceeded, terminating
% 206.37/206.27 eprover: CPU time limit exceeded, terminating
% 208.42/208.29 eprover: CPU time limit exceeded, terminating
% 210.38/210.31 eprover: CPU time limit exceeded, terminating
% 212.43/212.32 eprover: CPU time limit exceeded, terminating
% 214.46/214.34 eprover: CPU time limit exceeded, terminating
% 216.52/216.37 eprover: CPU time limit exceeded, terminating
% 218.48/218.39 eprover: CPU time limit exceeded, terminating
% 220.54/220.40 eprover: CPU time limit exceeded, terminating
% 222.57/222.42 eprover: CPU time limit exceeded, terminating
% 224.56/224.44 eprover: CPU time limit exceeded, terminating
% 226.56/226.46 eprover: CPU time limit exceeded, terminating
% 228.62/228.48 eprover: CPU time limit exceeded, terminating
% 230.60/230.50 eprover: CPU time limit exceeded, terminating
% 232.65/232.51 eprover: CPU time limit exceeded, terminating
% 234.69/234.53 eprover: CPU time limit exceeded, terminating
% 236.74/236.55 eprover: CPU time limit exceeded, terminating
% 238.71/238.57 eprover: CPU time limit exceeded, terminating
% 240.74/240.58 eprover: CPU time limit exceeded, terminating
% 242.72/242.60 eprover: CPU time limit exceeded, terminating
% 244.81/244.62 eprover: CPU time limit exceeded, terminating
% 246.83/246.64 eprover: CPU time limit exceeded, terminating
% 248.78/248.66 eprover: CPU time limit exceeded, terminating
% 250.81/250.68 eprover: CPU time limit exceeded, terminating
% 254.83/252.69 eprover: CPU time limit exceeded, terminating
% 256.82/254.71 eprover: CPU time limit exceeded, terminating
% 258.85/256.73 eprover: CPU time limit exceeded, terminating
% 260.85/258.74 eprover: CPU time limit exceeded, terminating
% 262.90/260.76 eprover: CPU time limit exceeded, terminating
% 264.92/262.78 eprover: CPU time limit exceeded, terminating
% 266.90/264.79 eprover: CPU time limit exceeded, terminating
% 268.93/266.81 eprover: CPU time limit exceeded, terminating
% 270.99/268.83 eprover: CPU time limit exceeded, terminating
% 272.96/270.85 eprover: CPU time limit exceeded, terminating
% 275.02/272.86 eprover: CPU time limit exceeded, terminating
% 276.97/274.88 eprover: CPU time limit exceeded, terminating
% 279.03/276.89 eprover: CPU time limit exceeded, terminating
% 281.07/278.91 eprover: CPU time limit exceeded, terminating
% 283.13/280.92 eprover: CPU time limit exceeded, terminating
% 285.10/282.94 eprover: CPU time limit exceeded, terminating
% 287.12/284.95 eprover: CPU time limit exceeded, terminating
% 289.18/286.97 eprover: CPU time limit exceeded, terminating
% 291.13/288.98 eprover: CPU time limit exceeded, terminating
% 293.19/291.00 eprover: CPU time limit exceeded, terminating
% 295.16/293.02 eprover: CPU time limit exceeded, terminating
% 297.25/295.03 eprover: CPU time limit exceeded, terminating
% 299.25/297.05 eprover: CPU time limit exceeded, terminating
% 300.03/297.78 eprover: CPU time limit exceeded, terminating
% 300.03/297.80 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------