TSTP Solution File: PRO018+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : PRO018+1 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n032.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 17:46:59 EDT 2022
% Result : Timeout 286.24s 286.56s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.10 % Problem : PRO018+1 : TPTP v8.1.0. Released v4.0.0.
% 0.00/0.10 % Command : run_infinox %s
% 0.10/0.29 % Computer : n032.cluster.edu
% 0.10/0.29 % Model : x86_64 x86_64
% 0.10/0.29 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.10/0.29 % Memory : 8042.1875MB
% 0.10/0.29 % OS : Linux 3.10.0-693.el7.x86_64
% 0.10/0.29 % CPULimit : 300
% 0.10/0.29 % WCLimit : 600
% 0.10/0.29 % DateTime : Mon Jun 13 01:47:41 EDT 2022
% 0.14/0.30 % CPUTime :
% 2.12/2.36 eprover: CPU time limit exceeded, terminating
% 4.13/4.38 eprover: CPU time limit exceeded, terminating
% 6.13/6.39 eprover: CPU time limit exceeded, terminating
% 8.22/8.40 eprover: CPU time limit exceeded, terminating
% 10.22/10.41 eprover: CPU time limit exceeded, terminating
% 12.24/12.42 eprover: CPU time limit exceeded, terminating
% 14.24/14.43 eprover: CPU time limit exceeded, terminating
% 16.26/16.44 eprover: CPU time limit exceeded, terminating
% 18.25/18.45 eprover: CPU time limit exceeded, terminating
% 20.26/20.47 eprover: CPU time limit exceeded, terminating
% 22.26/22.48 eprover: CPU time limit exceeded, terminating
% 24.28/24.49 eprover: CPU time limit exceeded, terminating
% 26.27/26.50 eprover: CPU time limit exceeded, terminating
% 28.36/28.51 eprover: CPU time limit exceeded, terminating
% 30.38/30.52 eprover: CPU time limit exceeded, terminating
% 32.39/32.54 eprover: CPU time limit exceeded, terminating
% 34.36/34.55 eprover: CPU time limit exceeded, terminating
% 36.35/36.56 eprover: CPU time limit exceeded, terminating
% 38.37/38.57 eprover: CPU time limit exceeded, terminating
% 40.40/40.58 eprover: CPU time limit exceeded, terminating
% 42.40/42.59 eprover: CPU time limit exceeded, terminating
% 44.48/44.61 eprover: CPU time limit exceeded, terminating
% 46.46/46.63 eprover: CPU time limit exceeded, terminating
% 48.48/48.65 eprover: CPU time limit exceeded, terminating
% 50.50/50.66 eprover: CPU time limit exceeded, terminating
% 52.47/52.67 eprover: CPU time limit exceeded, terminating
% 54.58/54.69 eprover: CPU time limit exceeded, terminating
% 56.49/56.70 eprover: CPU time limit exceeded, terminating
% 58.56/58.72 eprover: CPU time limit exceeded, terminating
% 60.57/60.73 eprover: CPU time limit exceeded, terminating
% 62.57/62.75 eprover: CPU time limit exceeded, terminating
% 64.58/64.77 eprover: CPU time limit exceeded, terminating
% 66.66/66.78 eprover: CPU time limit exceeded, terminating
% 68.59/68.80 eprover: CPU time limit exceeded, terminating
% 70.65/70.83 eprover: CPU time limit exceeded, terminating
% 72.69/72.84 eprover: CPU time limit exceeded, terminating
% 74.65/74.86 eprover: CPU time limit exceeded, terminating
% 76.67/76.87 eprover: CPU time limit exceeded, terminating
% 78.70/78.88 eprover: CPU time limit exceeded, terminating
% 80.76/80.90 eprover: CPU time limit exceeded, terminating
% 82.76/82.91 eprover: CPU time limit exceeded, terminating
% 84.74/84.94 eprover: CPU time limit exceeded, terminating
% 86.75/86.95 eprover: CPU time limit exceeded, terminating
% 88.82/88.97 eprover: CPU time limit exceeded, terminating
% 90.82/90.99 eprover: CPU time limit exceeded, terminating
% 92.82/93.00 eprover: CPU time limit exceeded, terminating
% 94.80/95.02 eprover: CPU time limit exceeded, terminating
% 96.82/97.03 eprover: CPU time limit exceeded, terminating
% 98.82/99.05 eprover: CPU time limit exceeded, terminating
% 100.88/101.07 eprover: CPU time limit exceeded, terminating
% 102.91/103.08 eprover: CPU time limit exceeded, terminating
% 104.89/105.10 eprover: CPU time limit exceeded, terminating
% 106.95/107.12 eprover: CPU time limit exceeded, terminating
% 108.98/109.13 eprover: CPU time limit exceeded, terminating
% 110.99/111.15 eprover: CPU time limit exceeded, terminating
% 112.97/113.17 eprover: CPU time limit exceeded, terminating
% 115.01/115.19 eprover: CPU time limit exceeded, terminating
% 117.05/117.21 eprover: CPU time limit exceeded, terminating
% 119.02/119.22 eprover: CPU time limit exceeded, terminating
% 120.99/121.24 eprover: CPU time limit exceeded, terminating
% 123.07/123.25 eprover: CPU time limit exceeded, terminating
% 125.10/125.28 eprover: CPU time limit exceeded, terminating
% 127.12/127.29 eprover: CPU time limit exceeded, terminating
% 129.13/129.31 eprover: CPU time limit exceeded, terminating
% 131.16/131.33 eprover: CPU time limit exceeded, terminating
% 133.10/133.34 eprover: CPU time limit exceeded, terminating
% 135.16/135.36 eprover: CPU time limit exceeded, terminating
% 137.19/137.39 eprover: CPU time limit exceeded, terminating
% 139.17/139.40 eprover: CPU time limit exceeded, terminating
% 141.19/141.42 eprover: CPU time limit exceeded, terminating
% 143.20/143.43 eprover: CPU time limit exceeded, terminating
% 145.20/145.44 eprover: CPU time limit exceeded, terminating
% 147.20/147.46 eprover: CPU time limit exceeded, terminating
% 149.26/149.48 eprover: CPU time limit exceeded, terminating
% 151.28/151.49 eprover: CPU time limit exceeded, terminating
% 153.26/153.51 eprover: CPU time limit exceeded, terminating
% 155.27/155.52 eprover: CPU time limit exceeded, terminating
% 157.35/157.54 eprover: CPU time limit exceeded, terminating
% 159.37/159.56 eprover: CPU time limit exceeded, terminating
% 161.34/161.57 eprover: CPU time limit exceeded, terminating
% 163.38/163.60 eprover: CPU time limit exceeded, terminating
% 165.42/165.61 eprover: CPU time limit exceeded, terminating
% 167.42/167.64 eprover: CPU time limit exceeded, terminating
% 169.42/169.66 eprover: CPU time limit exceeded, terminating
% 171.37/171.67 eprover: CPU time limit exceeded, terminating
% 173.46/173.68 eprover: CPU time limit exceeded, terminating
% 175.47/175.70 eprover: CPU time limit exceeded, terminating
% 177.43/177.72 eprover: CPU time limit exceeded, terminating
% 179.51/179.73 eprover: CPU time limit exceeded, terminating
% 181.53/181.74 eprover: CPU time limit exceeded, terminating
% 183.49/183.76 eprover: CPU time limit exceeded, terminating
% 185.52/185.77 eprover: CPU time limit exceeded, terminating
% 187.54/187.78 eprover: CPU time limit exceeded, terminating
% 189.58/189.81 eprover: CPU time limit exceeded, terminating
% 191.59/191.82 eprover: CPU time limit exceeded, terminating
% 193.62/193.83 eprover: CPU time limit exceeded, terminating
% 195.61/195.85 eprover: CPU time limit exceeded, terminating
% 197.62/197.86 eprover: CPU time limit exceeded, terminating
% 199.59/199.88 eprover: CPU time limit exceeded, terminating
% 201.67/201.90 eprover: CPU time limit exceeded, terminating
% 203.66/203.91 eprover: CPU time limit exceeded, terminating
% 205.70/205.93 eprover: CPU time limit exceeded, terminating
% 207.67/207.94 eprover: CPU time limit exceeded, terminating
% 209.72/209.96 eprover: CPU time limit exceeded, terminating
% 211.71/211.97 eprover: CPU time limit exceeded, terminating
% 213.78/213.99 eprover: CPU time limit exceeded, terminating
% 215.72/216.01 eprover: CPU time limit exceeded, terminating
% 217.80/218.03 eprover: CPU time limit exceeded, terminating
% 219.79/220.04 eprover: CPU time limit exceeded, terminating
% 221.75/222.07 eprover: CPU time limit exceeded, terminating
% 223.78/224.08 eprover: CPU time limit exceeded, terminating
% 225.85/226.10 eprover: CPU time limit exceeded, terminating
% 227.82/228.15 eprover: CPU time limit exceeded, terminating
% 229.86/230.17 eprover: CPU time limit exceeded, terminating
% 231.92/232.19 eprover: CPU time limit exceeded, terminating
% 233.93/234.21 eprover: CPU time limit exceeded, terminating
% 235.96/236.23 eprover: CPU time limit exceeded, terminating
% 237.91/238.24 eprover: CPU time limit exceeded, terminating
% 239.96/240.26 eprover: CPU time limit exceeded, terminating
% 241.92/242.27 eprover: CPU time limit exceeded, terminating
% 243.95/244.29 eprover: CPU time limit exceeded, terminating
% 246.03/246.30 eprover: CPU time limit exceeded, terminating
% 248.03/248.31 eprover: CPU time limit exceeded, terminating
% 250.04/250.32 eprover: CPU time limit exceeded, terminating
% 252.06/252.34 eprover: CPU time limit exceeded, terminating
% 254.04/254.35 eprover: CPU time limit exceeded, terminating
% 256.04/256.36 eprover: CPU time limit exceeded, terminating
% 258.06/258.38 eprover: CPU time limit exceeded, terminating
% 260.11/260.40 eprover: CPU time limit exceeded, terminating
% 262.13/262.41 eprover: CPU time limit exceeded, terminating
% 264.13/264.42 eprover: CPU time limit exceeded, terminating
% 266.12/266.44 eprover: CPU time limit exceeded, terminating
% 268.10/268.45 eprover: CPU time limit exceeded, terminating
% 270.16/270.46 eprover: CPU time limit exceeded, terminating
% 272.17/272.47 eprover: CPU time limit exceeded, terminating
% 274.13/274.48 eprover: CPU time limit exceeded, terminating
% 276.23/276.49 eprover: CPU time limit exceeded, terminating
% 278.24/278.50 eprover: CPU time limit exceeded, terminating
% 280.25/280.51 eprover: CPU time limit exceeded, terminating
% 282.24/282.53 eprover: CPU time limit exceeded, terminating
% 284.28/284.54 eprover: CPU time limit exceeded, terminating
% 286.24/286.56 eprover: CPU time limit exceeded, terminating
% 288.31/288.58 eprover: CPU time limit exceeded, terminating
% 290.34/290.59 eprover: CPU time limit exceeded, terminating
% 292.34/292.61 eprover: CPU time limit exceeded, terminating
% 294.36/294.62 eprover: CPU time limit exceeded, terminating
% 296.36/296.63 eprover: CPU time limit exceeded, terminating
% 298.34/298.65 eprover: CPU time limit exceeded, terminating
% 300.08/300.33 eprover: CPU time limit exceeded, terminating
% 300.08/300.36 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------