TSTP Solution File: LAT183-10 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LAT183-10 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n010.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:13:07 EDT 2022
% Result : Timeout 286.22s 286.66s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11 % Problem : LAT183-10 : TPTP v8.1.0. Released v7.3.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.11/0.32 % Computer : n010.cluster.edu
% 0.11/0.32 % Model : x86_64 x86_64
% 0.11/0.32 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.11/0.32 % Memory : 8042.1875MB
% 0.11/0.32 % OS : Linux 3.10.0-693.el7.x86_64
% 0.11/0.32 % CPULimit : 300
% 0.11/0.32 % WCLimit : 600
% 0.11/0.32 % DateTime : Thu Jun 30 08:16:04 EDT 2022
% 0.11/0.33 % CPUTime :
% 2.13/2.35 eprover: CPU time limit exceeded, terminating
% 4.16/4.36 eprover: CPU time limit exceeded, terminating
% 6.14/6.38 eprover: CPU time limit exceeded, terminating
% 8.18/8.42 eprover: CPU time limit exceeded, terminating
% 10.18/10.43 eprover: CPU time limit exceeded, terminating
% 12.16/12.46 eprover: CPU time limit exceeded, terminating
% 14.21/14.49 eprover: CPU time limit exceeded, terminating
% 16.25/16.50 eprover: CPU time limit exceeded, terminating
% 18.27/18.53 eprover: CPU time limit exceeded, terminating
% 20.27/20.56 eprover: CPU time limit exceeded, terminating
% 22.27/22.57 eprover: CPU time limit exceeded, terminating
% 24.29/24.58 eprover: CPU time limit exceeded, terminating
% 26.26/26.60 eprover: CPU time limit exceeded, terminating
% 28.36/28.61 eprover: CPU time limit exceeded, terminating
% 30.37/30.63 eprover: CPU time limit exceeded, terminating
% 32.38/32.64 eprover: CPU time limit exceeded, terminating
% 34.37/34.65 eprover: CPU time limit exceeded, terminating
% 36.32/36.67 eprover: CPU time limit exceeded, terminating
% 38.40/38.68 eprover: CPU time limit exceeded, terminating
% 40.45/40.70 eprover: CPU time limit exceeded, terminating
% 42.44/42.73 eprover: CPU time limit exceeded, terminating
% 44.44/44.75 eprover: CPU time limit exceeded, terminating
% 46.46/46.76 eprover: CPU time limit exceeded, terminating
% 48.48/48.78 eprover: CPU time limit exceeded, terminating
% 50.44/50.80 eprover: CPU time limit exceeded, terminating
% 52.48/52.81 eprover: CPU time limit exceeded, terminating
% 54.51/54.82 eprover: CPU time limit exceeded, terminating
% 56.50/56.84 eprover: CPU time limit exceeded, terminating
% 58.51/58.85 eprover: CPU time limit exceeded, terminating
% 60.60/60.87 eprover: CPU time limit exceeded, terminating
% 62.56/62.88 eprover: CPU time limit exceeded, terminating
% 64.55/64.90 eprover: CPU time limit exceeded, terminating
% 66.62/66.91 eprover: CPU time limit exceeded, terminating
% 68.63/68.93 eprover: CPU time limit exceeded, terminating
% 70.67/70.94 eprover: CPU time limit exceeded, terminating
% 72.66/72.95 eprover: CPU time limit exceeded, terminating
% 74.66/74.97 eprover: CPU time limit exceeded, terminating
% 76.70/76.98 eprover: CPU time limit exceeded, terminating
% 78.73/78.99 eprover: CPU time limit exceeded, terminating
% 80.69/81.01 eprover: CPU time limit exceeded, terminating
% 82.75/83.03 eprover: CPU time limit exceeded, terminating
% 84.73/85.05 eprover: CPU time limit exceeded, terminating
% 86.78/87.06 eprover: CPU time limit exceeded, terminating
% 88.76/89.07 eprover: CPU time limit exceeded, terminating
% 90.77/91.09 eprover: CPU time limit exceeded, terminating
% 92.81/93.10 eprover: CPU time limit exceeded, terminating
% 94.82/95.11 eprover: CPU time limit exceeded, terminating
% 96.79/97.13 eprover: CPU time limit exceeded, terminating
% 98.78/99.14 eprover: CPU time limit exceeded, terminating
% 100.88/101.17 eprover: CPU time limit exceeded, terminating
% 102.88/103.18 eprover: CPU time limit exceeded, terminating
% 104.91/105.19 eprover: CPU time limit exceeded, terminating
% 106.88/107.21 eprover: CPU time limit exceeded, terminating
% 108.86/109.23 eprover: CPU time limit exceeded, terminating
% 110.94/111.26 eprover: CPU time limit exceeded, terminating
% 112.94/113.28 eprover: CPU time limit exceeded, terminating
% 114.94/115.29 eprover: CPU time limit exceeded, terminating
% 116.98/117.31 eprover: CPU time limit exceeded, terminating
% 118.99/119.33 eprover: CPU time limit exceeded, terminating
% 120.96/121.34 eprover: CPU time limit exceeded, terminating
% 122.99/123.36 eprover: CPU time limit exceeded, terminating
% 125.05/125.38 eprover: CPU time limit exceeded, terminating
% 127.05/127.39 eprover: CPU time limit exceeded, terminating
% 129.02/129.42 eprover: CPU time limit exceeded, terminating
% 131.04/131.43 eprover: CPU time limit exceeded, terminating
% 133.11/133.45 eprover: CPU time limit exceeded, terminating
% 135.13/135.46 eprover: CPU time limit exceeded, terminating
% 137.11/137.47 eprover: CPU time limit exceeded, terminating
% 139.17/139.50 eprover: CPU time limit exceeded, terminating
% 141.11/141.52 eprover: CPU time limit exceeded, terminating
% 143.18/143.54 eprover: CPU time limit exceeded, terminating
% 145.16/145.55 eprover: CPU time limit exceeded, terminating
% 147.19/147.56 eprover: CPU time limit exceeded, terminating
% 149.22/149.59 eprover: CPU time limit exceeded, terminating
% 151.22/151.60 eprover: CPU time limit exceeded, terminating
% 153.26/153.62 eprover: CPU time limit exceeded, terminating
% 155.22/155.63 eprover: CPU time limit exceeded, terminating
% 157.26/157.65 eprover: CPU time limit exceeded, terminating
% 159.29/159.68 eprover: CPU time limit exceeded, terminating
% 161.26/161.69 eprover: CPU time limit exceeded, terminating
% 163.31/163.72 eprover: CPU time limit exceeded, terminating
% 165.32/165.73 eprover: CPU time limit exceeded, terminating
% 167.29/167.75 eprover: CPU time limit exceeded, terminating
% 169.37/169.78 eprover: CPU time limit exceeded, terminating
% 171.37/171.79 eprover: CPU time limit exceeded, terminating
% 173.40/173.81 eprover: CPU time limit exceeded, terminating
% 175.35/175.82 eprover: CPU time limit exceeded, terminating
% 177.37/177.85 eprover: CPU time limit exceeded, terminating
% 179.39/179.87 eprover: CPU time limit exceeded, terminating
% 181.43/181.88 eprover: CPU time limit exceeded, terminating
% 183.46/183.90 eprover: CPU time limit exceeded, terminating
% 185.47/185.92 eprover: CPU time limit exceeded, terminating
% 187.49/187.93 eprover: CPU time limit exceeded, terminating
% 189.47/189.95 eprover: CPU time limit exceeded, terminating
% 191.46/191.97 eprover: CPU time limit exceeded, terminating
% 193.48/193.98 eprover: CPU time limit exceeded, terminating
% 195.55/195.99 eprover: CPU time limit exceeded, terminating
% 197.48/198.00 eprover: CPU time limit exceeded, terminating
% 199.60/200.03 eprover: CPU time limit exceeded, terminating
% 201.55/202.04 eprover: CPU time limit exceeded, terminating
% 203.57/204.05 eprover: CPU time limit exceeded, terminating
% 205.57/206.06 eprover: CPU time limit exceeded, terminating
% 207.64/208.08 eprover: CPU time limit exceeded, terminating
% 209.65/210.10 eprover: CPU time limit exceeded, terminating
% 211.67/212.11 eprover: CPU time limit exceeded, terminating
% 213.66/214.12 eprover: CPU time limit exceeded, terminating
% 215.66/216.14 eprover: CPU time limit exceeded, terminating
% 217.68/218.15 eprover: CPU time limit exceeded, terminating
% 219.64/220.17 eprover: CPU time limit exceeded, terminating
% 221.66/222.19 eprover: CPU time limit exceeded, terminating
% 223.77/224.20 eprover: CPU time limit exceeded, terminating
% 225.77/226.21 eprover: CPU time limit exceeded, terminating
% 227.76/228.22 eprover: CPU time limit exceeded, terminating
% 229.76/230.25 eprover: CPU time limit exceeded, terminating
% 231.75/232.26 eprover: CPU time limit exceeded, terminating
% 233.78/234.27 eprover: CPU time limit exceeded, terminating
% 235.81/236.28 eprover: CPU time limit exceeded, terminating
% 237.88/238.30 eprover: CPU time limit exceeded, terminating
% 239.86/240.32 eprover: CPU time limit exceeded, terminating
% 241.88/242.34 eprover: CPU time limit exceeded, terminating
% 243.84/244.35 eprover: CPU time limit exceeded, terminating
% 245.87/246.36 eprover: CPU time limit exceeded, terminating
% 247.91/248.38 eprover: CPU time limit exceeded, terminating
% 249.96/250.40 eprover: CPU time limit exceeded, terminating
% 251.97/252.41 eprover: CPU time limit exceeded, terminating
% 253.96/254.43 eprover: CPU time limit exceeded, terminating
% 255.96/256.44 eprover: CPU time limit exceeded, terminating
% 257.99/258.45 eprover: CPU time limit exceeded, terminating
% 259.95/260.48 eprover: CPU time limit exceeded, terminating
% 262.06/262.49 eprover: CPU time limit exceeded, terminating
% 264.07/264.50 eprover: CPU time limit exceeded, terminating
% 266.09/266.51 eprover: CPU time limit exceeded, terminating
% 268.09/268.53 eprover: CPU time limit exceeded, terminating
% 270.08/270.55 eprover: CPU time limit exceeded, terminating
% 272.08/272.56 eprover: CPU time limit exceeded, terminating
% 274.11/274.58 eprover: CPU time limit exceeded, terminating
% 276.09/276.59 eprover: CPU time limit exceeded, terminating
% 278.15/278.60 eprover: CPU time limit exceeded, terminating
% 280.20/280.62 eprover: CPU time limit exceeded, terminating
% 282.18/282.63 eprover: CPU time limit exceeded, terminating
% 284.19/284.64 eprover: CPU time limit exceeded, terminating
% 286.22/286.66 eprover: CPU time limit exceeded, terminating
% 288.19/288.67 eprover: CPU time limit exceeded, terminating
% 290.28/290.68 eprover: CPU time limit exceeded, terminating
% 292.21/292.70 eprover: CPU time limit exceeded, terminating
% 294.28/294.71 eprover: CPU time limit exceeded, terminating
% 296.31/296.72 eprover: CPU time limit exceeded, terminating
% 298.29/298.74 eprover: CPU time limit exceeded, terminating
% 300.03/300.43 eprover: CPU time limit exceeded, terminating
% 300.03/300.44 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------