TSTP Solution File: LAT317+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LAT317+2 : TPTP v8.1.0. Released v3.4.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 : Sun Jul 17 05:14:19 EDT 2022
% Result : Timeout 285.80s 268.23s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.12 % Problem : LAT317+2 : TPTP v8.1.0. Released v3.4.0.
% 0.11/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n029.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Tue Jun 28 18:39:52 EDT 2022
% 0.12/0.33 % CPUTime :
% 12.89/12.93 eprover: CPU time limit exceeded, terminating
% 15.05/14.94 eprover: CPU time limit exceeded, terminating
% 17.16/16.95 eprover: CPU time limit exceeded, terminating
% 19.32/18.96 eprover: CPU time limit exceeded, terminating
% 21.43/20.97 eprover: CPU time limit exceeded, terminating
% 23.64/22.98 eprover: CPU time limit exceeded, terminating
% 25.72/24.99 eprover: CPU time limit exceeded, terminating
% 27.95/27.00 eprover: CPU time limit exceeded, terminating
% 30.10/29.01 eprover: CPU time limit exceeded, terminating
% 32.24/31.02 eprover: CPU time limit exceeded, terminating
% 34.38/33.03 eprover: CPU time limit exceeded, terminating
% 36.52/35.04 eprover: CPU time limit exceeded, terminating
% 38.71/37.05 eprover: CPU time limit exceeded, terminating
% 40.81/39.06 eprover: CPU time limit exceeded, terminating
% 42.98/41.07 eprover: CPU time limit exceeded, terminating
% 45.09/43.08 eprover: CPU time limit exceeded, terminating
% 47.24/45.09 eprover: CPU time limit exceeded, terminating
% 49.42/47.10 eprover: CPU time limit exceeded, terminating
% 51.51/49.11 eprover: CPU time limit exceeded, terminating
% 53.72/51.12 eprover: CPU time limit exceeded, terminating
% 55.90/53.13 eprover: CPU time limit exceeded, terminating
% 57.98/55.15 eprover: CPU time limit exceeded, terminating
% 60.17/57.15 eprover: CPU time limit exceeded, terminating
% 62.28/59.16 eprover: CPU time limit exceeded, terminating
% 64.45/61.17 eprover: CPU time limit exceeded, terminating
% 66.64/63.18 eprover: CPU time limit exceeded, terminating
% 68.73/65.20 eprover: CPU time limit exceeded, terminating
% 70.94/67.21 eprover: CPU time limit exceeded, terminating
% 73.08/69.22 eprover: CPU time limit exceeded, terminating
% 75.23/71.23 eprover: CPU time limit exceeded, terminating
% 77.36/73.24 eprover: CPU time limit exceeded, terminating
% 79.51/75.25 eprover: CPU time limit exceeded, terminating
% 81.63/77.26 eprover: CPU time limit exceeded, terminating
% 83.77/79.27 eprover: CPU time limit exceeded, terminating
% 86.00/81.28 eprover: CPU time limit exceeded, terminating
% 88.09/83.29 eprover: CPU time limit exceeded, terminating
% 90.28/85.30 eprover: CPU time limit exceeded, terminating
% 92.44/87.31 eprover: CPU time limit exceeded, terminating
% 94.59/89.32 eprover: CPU time limit exceeded, terminating
% 96.72/91.33 eprover: CPU time limit exceeded, terminating
% 98.83/93.34 eprover: CPU time limit exceeded, terminating
% 100.98/95.35 eprover: CPU time limit exceeded, terminating
% 103.14/97.36 eprover: CPU time limit exceeded, terminating
% 105.27/99.37 eprover: CPU time limit exceeded, terminating
% 107.47/101.38 eprover: CPU time limit exceeded, terminating
% 109.55/103.39 eprover: CPU time limit exceeded, terminating
% 111.73/105.40 eprover: CPU time limit exceeded, terminating
% 113.92/107.41 eprover: CPU time limit exceeded, terminating
% 116.08/109.42 eprover: CPU time limit exceeded, terminating
% 118.24/111.43 eprover: CPU time limit exceeded, terminating
% 120.36/113.44 eprover: CPU time limit exceeded, terminating
% 122.56/115.45 eprover: CPU time limit exceeded, terminating
% 124.66/117.46 eprover: CPU time limit exceeded, terminating
% 126.84/119.47 eprover: CPU time limit exceeded, terminating
% 128.97/121.48 eprover: CPU time limit exceeded, terminating
% 131.07/123.49 eprover: CPU time limit exceeded, terminating
% 133.28/125.50 eprover: CPU time limit exceeded, terminating
% 135.41/127.51 eprover: CPU time limit exceeded, terminating
% 137.55/129.52 eprover: CPU time limit exceeded, terminating
% 139.73/131.53 eprover: CPU time limit exceeded, terminating
% 141.84/133.54 eprover: CPU time limit exceeded, terminating
% 144.03/135.55 eprover: CPU time limit exceeded, terminating
% 146.16/137.56 eprover: CPU time limit exceeded, terminating
% 148.31/139.57 eprover: CPU time limit exceeded, terminating
% 150.43/141.58 eprover: CPU time limit exceeded, terminating
% 152.61/143.59 eprover: CPU time limit exceeded, terminating
% 154.79/145.60 eprover: CPU time limit exceeded, terminating
% 156.90/147.61 eprover: CPU time limit exceeded, terminating
% 159.03/149.62 eprover: CPU time limit exceeded, terminating
% 161.24/151.63 eprover: CPU time limit exceeded, terminating
% 163.32/153.64 eprover: CPU time limit exceeded, terminating
% 165.51/155.65 eprover: CPU time limit exceeded, terminating
% 167.68/157.66 eprover: CPU time limit exceeded, terminating
% 169.78/159.67 eprover: CPU time limit exceeded, terminating
% 171.91/161.68 eprover: CPU time limit exceeded, terminating
% 174.11/163.69 eprover: CPU time limit exceeded, terminating
% 176.19/165.70 eprover: CPU time limit exceeded, terminating
% 178.37/167.72 eprover: CPU time limit exceeded, terminating
% 180.58/169.72 eprover: CPU time limit exceeded, terminating
% 182.73/171.73 eprover: CPU time limit exceeded, terminating
% 184.80/173.74 eprover: CPU time limit exceeded, terminating
% 187.00/175.75 eprover: CPU time limit exceeded, terminating
% 189.17/177.76 eprover: CPU time limit exceeded, terminating
% 191.23/179.77 eprover: CPU time limit exceeded, terminating
% 193.39/181.78 eprover: CPU time limit exceeded, terminating
% 195.60/183.80 eprover: CPU time limit exceeded, terminating
% 197.68/185.81 eprover: CPU time limit exceeded, terminating
% 199.89/187.82 eprover: CPU time limit exceeded, terminating
% 202.06/189.83 eprover: CPU time limit exceeded, terminating
% 204.18/191.84 eprover: CPU time limit exceeded, terminating
% 206.31/193.85 eprover: CPU time limit exceeded, terminating
% 208.47/195.86 eprover: CPU time limit exceeded, terminating
% 210.60/197.87 eprover: CPU time limit exceeded, terminating
% 212.73/199.88 eprover: CPU time limit exceeded, terminating
% 214.93/201.89 eprover: CPU time limit exceeded, terminating
% 217.01/203.90 eprover: CPU time limit exceeded, terminating
% 219.21/205.91 eprover: CPU time limit exceeded, terminating
% 221.38/207.92 eprover: CPU time limit exceeded, terminating
% 223.47/209.93 eprover: CPU time limit exceeded, terminating
% 225.66/211.94 eprover: CPU time limit exceeded, terminating
% 227.78/213.95 eprover: CPU time limit exceeded, terminating
% 229.97/215.96 eprover: CPU time limit exceeded, terminating
% 232.14/217.97 eprover: CPU time limit exceeded, terminating
% 234.25/219.98 eprover: CPU time limit exceeded, terminating
% 236.38/221.99 eprover: CPU time limit exceeded, terminating
% 238.50/224.00 eprover: CPU time limit exceeded, terminating
% 240.70/226.01 eprover: CPU time limit exceeded, terminating
% 242.85/228.02 eprover: CPU time limit exceeded, terminating
% 244.98/230.03 eprover: CPU time limit exceeded, terminating
% 247.12/232.04 eprover: CPU time limit exceeded, terminating
% 249.24/234.05 eprover: CPU time limit exceeded, terminating
% 251.45/236.06 eprover: CPU time limit exceeded, terminating
% 253.60/238.07 eprover: CPU time limit exceeded, terminating
% 255.72/240.08 eprover: CPU time limit exceeded, terminating
% 257.86/242.09 eprover: CPU time limit exceeded, terminating
% 259.99/244.10 eprover: CPU time limit exceeded, terminating
% 262.17/246.11 eprover: CPU time limit exceeded, terminating
% 264.26/248.12 eprover: CPU time limit exceeded, terminating
% 266.49/250.13 eprover: CPU time limit exceeded, terminating
% 268.58/252.14 eprover: CPU time limit exceeded, terminating
% 270.76/254.16 eprover: CPU time limit exceeded, terminating
% 272.91/256.17 eprover: CPU time limit exceeded, terminating
% 275.06/258.18 eprover: CPU time limit exceeded, terminating
% 277.19/260.19 eprover: CPU time limit exceeded, terminating
% 279.32/262.20 eprover: CPU time limit exceeded, terminating
% 281.44/264.21 eprover: CPU time limit exceeded, terminating
% 283.57/266.22 eprover: CPU time limit exceeded, terminating
% 285.80/268.23 eprover: CPU time limit exceeded, terminating
% 287.88/270.24 eprover: CPU time limit exceeded, terminating
% 290.08/272.25 eprover: CPU time limit exceeded, terminating
% 292.23/274.26 eprover: CPU time limit exceeded, terminating
% 294.38/276.27 eprover: CPU time limit exceeded, terminating
% 296.53/278.28 eprover: CPU time limit exceeded, terminating
% 298.66/280.29 eprover: CPU time limit exceeded, terminating
% 300.06/281.53 eprover: CPU time limit exceeded, terminating
% 300.06/281.55 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------