TSTP Solution File: NUM486+3 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM486+3 : TPTP v8.1.0. Released v4.0.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 : Mon Jul 18 10:37:22 EDT 2022
% Result : Timeout 287.01s 286.60s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.14 % Problem : NUM486+3 : TPTP v8.1.0. Released v4.0.0.
% 0.04/0.14 % Command : run_infinox %s
% 0.14/0.36 % Computer : n029.cluster.edu
% 0.14/0.36 % Model : x86_64 x86_64
% 0.14/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.36 % Memory : 8042.1875MB
% 0.14/0.36 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.36 % CPULimit : 300
% 0.14/0.36 % WCLimit : 600
% 0.14/0.36 % DateTime : Wed Jul 6 10:00:13 EDT 2022
% 0.14/0.36 % CPUTime :
% 2.26/2.46 eprover: CPU time limit exceeded, terminating
% 4.25/4.47 eprover: CPU time limit exceeded, terminating
% 6.29/6.48 eprover: CPU time limit exceeded, terminating
% 8.27/8.50 eprover: CPU time limit exceeded, terminating
% 10.27/10.52 eprover: CPU time limit exceeded, terminating
% 12.32/12.53 eprover: CPU time limit exceeded, terminating
% 14.36/14.55 eprover: CPU time limit exceeded, terminating
% 16.38/16.56 eprover: CPU time limit exceeded, terminating
% 18.37/18.58 eprover: CPU time limit exceeded, terminating
% 20.39/20.59 eprover: CPU time limit exceeded, terminating
% 22.40/22.60 eprover: CPU time limit exceeded, terminating
% 24.47/24.62 eprover: CPU time limit exceeded, terminating
% 26.48/26.63 eprover: CPU time limit exceeded, terminating
% 28.49/28.65 eprover: CPU time limit exceeded, terminating
% 30.46/30.66 eprover: CPU time limit exceeded, terminating
% 32.47/32.67 eprover: CPU time limit exceeded, terminating
% 34.55/34.69 eprover: CPU time limit exceeded, terminating
% 36.57/36.70 eprover: CPU time limit exceeded, terminating
% 38.59/38.72 eprover: CPU time limit exceeded, terminating
% 40.59/40.73 eprover: CPU time limit exceeded, terminating
% 42.64/42.75 eprover: CPU time limit exceeded, terminating
% 44.59/44.76 eprover: CPU time limit exceeded, terminating
% 46.68/46.78 eprover: CPU time limit exceeded, terminating
% 48.61/48.79 eprover: CPU time limit exceeded, terminating
% 50.69/50.80 eprover: CPU time limit exceeded, terminating
% 52.73/52.82 eprover: CPU time limit exceeded, terminating
% 54.71/54.83 eprover: CPU time limit exceeded, terminating
% 56.73/56.85 eprover: CPU time limit exceeded, terminating
% 58.74/58.86 eprover: CPU time limit exceeded, terminating
% 60.81/60.88 eprover: CPU time limit exceeded, terminating
% 62.76/62.89 eprover: CPU time limit exceeded, terminating
% 64.82/64.91 eprover: CPU time limit exceeded, terminating
% 66.84/66.92 eprover: CPU time limit exceeded, terminating
% 68.82/68.94 eprover: CPU time limit exceeded, terminating
% 70.90/70.95 eprover: CPU time limit exceeded, terminating
% 72.89/72.97 eprover: CPU time limit exceeded, terminating
% 74.94/74.98 eprover: CPU time limit exceeded, terminating
% 76.92/77.00 eprover: CPU time limit exceeded, terminating
% 78.95/79.01 eprover: CPU time limit exceeded, terminating
% 80.94/81.03 eprover: CPU time limit exceeded, terminating
% 83.01/83.04 eprover: CPU time limit exceeded, terminating
% 85.03/85.06 eprover: CPU time limit exceeded, terminating
% 87.03/87.07 eprover: CPU time limit exceeded, terminating
% 89.01/89.09 eprover: CPU time limit exceeded, terminating
% 91.07/91.11 eprover: CPU time limit exceeded, terminating
% 93.11/93.12 eprover: CPU time limit exceeded, terminating
% 95.12/95.14 eprover: CPU time limit exceeded, terminating
% 97.14/97.15 eprover: CPU time limit exceeded, terminating
% 99.19/99.17 eprover: CPU time limit exceeded, terminating
% 101.18/101.18 eprover: CPU time limit exceeded, terminating
% 103.17/103.20 eprover: CPU time limit exceeded, terminating
% 105.23/105.21 eprover: CPU time limit exceeded, terminating
% 107.20/107.23 eprover: CPU time limit exceeded, terminating
% 109.27/109.24 eprover: CPU time limit exceeded, terminating
% 111.29/111.26 eprover: CPU time limit exceeded, terminating
% 113.30/113.28 eprover: CPU time limit exceeded, terminating
% 115.32/115.29 eprover: CPU time limit exceeded, terminating
% 117.32/117.31 eprover: CPU time limit exceeded, terminating
% 119.35/119.32 eprover: CPU time limit exceeded, terminating
% 121.34/121.34 eprover: CPU time limit exceeded, terminating
% 123.43/123.35 eprover: CPU time limit exceeded, terminating
% 125.42/125.37 eprover: CPU time limit exceeded, terminating
% 127.46/127.38 eprover: CPU time limit exceeded, terminating
% 129.43/129.40 eprover: CPU time limit exceeded, terminating
% 131.47/131.41 eprover: CPU time limit exceeded, terminating
% 133.50/133.43 eprover: CPU time limit exceeded, terminating
% 135.46/135.44 eprover: CPU time limit exceeded, terminating
% 137.55/137.46 eprover: CPU time limit exceeded, terminating
% 139.56/139.47 eprover: CPU time limit exceeded, terminating
% 141.56/141.49 eprover: CPU time limit exceeded, terminating
% 143.58/143.50 eprover: CPU time limit exceeded, terminating
% 145.57/145.52 eprover: CPU time limit exceeded, terminating
% 147.57/147.53 eprover: CPU time limit exceeded, terminating
% 149.65/149.55 eprover: CPU time limit exceeded, terminating
% 151.65/151.56 eprover: CPU time limit exceeded, terminating
% 153.71/153.58 eprover: CPU time limit exceeded, terminating
% 155.70/155.59 eprover: CPU time limit exceeded, terminating
% 157.70/157.60 eprover: CPU time limit exceeded, terminating
% 159.73/159.62 eprover: CPU time limit exceeded, terminating
% 161.76/161.63 eprover: CPU time limit exceeded, terminating
% 163.75/163.65 eprover: CPU time limit exceeded, terminating
% 165.81/165.66 eprover: CPU time limit exceeded, terminating
% 167.82/167.68 eprover: CPU time limit exceeded, terminating
% 169.81/169.69 eprover: CPU time limit exceeded, terminating
% 171.85/171.71 eprover: CPU time limit exceeded, terminating
% 173.89/173.72 eprover: CPU time limit exceeded, terminating
% 175.86/175.74 eprover: CPU time limit exceeded, terminating
% 177.91/177.75 eprover: CPU time limit exceeded, terminating
% 179.96/179.77 eprover: CPU time limit exceeded, terminating
% 181.92/181.78 eprover: CPU time limit exceeded, terminating
% 183.98/183.80 eprover: CPU time limit exceeded, terminating
% 185.99/185.81 eprover: CPU time limit exceeded, terminating
% 188.02/187.83 eprover: CPU time limit exceeded, terminating
% 190.00/189.84 eprover: CPU time limit exceeded, terminating
% 192.05/191.86 eprover: CPU time limit exceeded, terminating
% 194.03/193.87 eprover: CPU time limit exceeded, terminating
% 196.09/195.89 eprover: CPU time limit exceeded, terminating
% 198.12/197.91 eprover: CPU time limit exceeded, terminating
% 200.12/199.92 eprover: CPU time limit exceeded, terminating
% 202.12/201.94 eprover: CPU time limit exceeded, terminating
% 204.15/203.95 eprover: CPU time limit exceeded, terminating
% 206.20/205.97 eprover: CPU time limit exceeded, terminating
% 208.23/207.99 eprover: CPU time limit exceeded, terminating
% 210.22/210.00 eprover: CPU time limit exceeded, terminating
% 212.26/212.02 eprover: CPU time limit exceeded, terminating
% 214.29/214.03 eprover: CPU time limit exceeded, terminating
% 216.26/216.05 eprover: CPU time limit exceeded, terminating
% 218.30/218.06 eprover: CPU time limit exceeded, terminating
% 220.31/220.08 eprover: CPU time limit exceeded, terminating
% 222.31/222.09 eprover: CPU time limit exceeded, terminating
% 224.35/224.11 eprover: CPU time limit exceeded, terminating
% 226.39/226.12 eprover: CPU time limit exceeded, terminating
% 228.35/228.14 eprover: CPU time limit exceeded, terminating
% 230.44/230.15 eprover: CPU time limit exceeded, terminating
% 232.39/232.17 eprover: CPU time limit exceeded, terminating
% 234.44/234.18 eprover: CPU time limit exceeded, terminating
% 236.49/236.20 eprover: CPU time limit exceeded, terminating
% 238.51/238.22 eprover: CPU time limit exceeded, terminating
% 240.46/240.23 eprover: CPU time limit exceeded, terminating
% 242.53/242.25 eprover: CPU time limit exceeded, terminating
% 244.58/244.26 eprover: CPU time limit exceeded, terminating
% 246.56/246.28 eprover: CPU time limit exceeded, terminating
% 248.59/248.29 eprover: CPU time limit exceeded, terminating
% 250.64/250.31 eprover: CPU time limit exceeded, terminating
% 252.65/252.32 eprover: CPU time limit exceeded, terminating
% 254.63/254.34 eprover: CPU time limit exceeded, terminating
% 256.68/256.36 eprover: CPU time limit exceeded, terminating
% 258.65/258.37 eprover: CPU time limit exceeded, terminating
% 260.67/260.39 eprover: CPU time limit exceeded, terminating
% 262.77/262.41 eprover: CPU time limit exceeded, terminating
% 264.78/264.42 eprover: CPU time limit exceeded, terminating
% 266.77/266.44 eprover: CPU time limit exceeded, terminating
% 268.78/268.46 eprover: CPU time limit exceeded, terminating
% 270.76/270.47 eprover: CPU time limit exceeded, terminating
% 272.87/272.49 eprover: CPU time limit exceeded, terminating
% 274.80/274.50 eprover: CPU time limit exceeded, terminating
% 276.90/276.52 eprover: CPU time limit exceeded, terminating
% 278.89/278.54 eprover: CPU time limit exceeded, terminating
% 280.92/280.55 eprover: CPU time limit exceeded, terminating
% 282.92/282.57 eprover: CPU time limit exceeded, terminating
% 284.97/284.58 eprover: CPU time limit exceeded, terminating
% 287.01/286.60 eprover: CPU time limit exceeded, terminating
% 289.02/288.61 eprover: CPU time limit exceeded, terminating
% 291.04/290.63 eprover: CPU time limit exceeded, terminating
% 293.04/292.64 eprover: CPU time limit exceeded, terminating
% 295.03/294.66 eprover: CPU time limit exceeded, terminating
% 297.04/296.68 eprover: CPU time limit exceeded, terminating
% 299.12/298.69 eprover: CPU time limit exceeded, terminating
% 300.04/299.61 eprover: CPU time limit exceeded, terminating
% 300.04/299.62 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------