TSTP Solution File: RNG058+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : RNG058+1 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n026.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 20:29:24 EDT 2022
% Result : Timeout 286.37s 286.65s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.02/0.09 % Problem : RNG058+1 : TPTP v8.1.0. Released v4.0.0.
% 0.02/0.10 % Command : run_infinox %s
% 0.09/0.30 % Computer : n026.cluster.edu
% 0.09/0.30 % Model : x86_64 x86_64
% 0.09/0.30 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.09/0.30 % Memory : 8042.1875MB
% 0.09/0.30 % OS : Linux 3.10.0-693.el7.x86_64
% 0.09/0.30 % CPULimit : 300
% 0.09/0.30 % WCLimit : 600
% 0.09/0.30 % DateTime : Mon May 30 17:05:10 EDT 2022
% 0.09/0.30 % CPUTime :
% 2.11/2.37 eprover: CPU time limit exceeded, terminating
% 4.19/4.38 eprover: CPU time limit exceeded, terminating
% 6.13/6.40 eprover: CPU time limit exceeded, terminating
% 8.22/8.41 eprover: CPU time limit exceeded, terminating
% 10.16/10.44 eprover: CPU time limit exceeded, terminating
% 12.17/12.48 eprover: CPU time limit exceeded, terminating
% 14.21/14.50 eprover: CPU time limit exceeded, terminating
% 16.25/16.51 eprover: CPU time limit exceeded, terminating
% 18.24/18.52 eprover: CPU time limit exceeded, terminating
% 20.29/20.53 eprover: CPU time limit exceeded, terminating
% 22.31/22.54 eprover: CPU time limit exceeded, terminating
% 24.29/24.58 eprover: CPU time limit exceeded, terminating
% 26.33/26.60 eprover: CPU time limit exceeded, terminating
% 28.36/28.63 eprover: CPU time limit exceeded, terminating
% 30.36/30.65 eprover: CPU time limit exceeded, terminating
% 32.39/32.66 eprover: CPU time limit exceeded, terminating
% 34.37/34.68 eprover: CPU time limit exceeded, terminating
% 36.39/36.69 eprover: CPU time limit exceeded, terminating
% 38.43/38.70 eprover: CPU time limit exceeded, terminating
% 40.43/40.71 eprover: CPU time limit exceeded, terminating
% 42.39/42.72 eprover: CPU time limit exceeded, terminating
% 44.47/44.75 eprover: CPU time limit exceeded, terminating
% 46.50/46.76 eprover: CPU time limit exceeded, terminating
% 48.47/48.77 eprover: CPU time limit exceeded, terminating
% 50.48/50.78 eprover: CPU time limit exceeded, terminating
% 52.53/52.79 eprover: CPU time limit exceeded, terminating
% 54.52/54.82 eprover: CPU time limit exceeded, terminating
% 56.57/56.83 eprover: CPU time limit exceeded, terminating
% 58.56/58.84 eprover: CPU time limit exceeded, terminating
% 60.53/60.85 eprover: CPU time limit exceeded, terminating
% 62.59/62.86 eprover: CPU time limit exceeded, terminating
% 64.61/64.89 eprover: CPU time limit exceeded, terminating
% 66.65/66.90 eprover: CPU time limit exceeded, terminating
% 68.66/68.91 eprover: CPU time limit exceeded, terminating
% 70.70/70.92 eprover: CPU time limit exceeded, terminating
% 72.71/72.93 eprover: CPU time limit exceeded, terminating
% 74.67/74.95 eprover: CPU time limit exceeded, terminating
% 76.70/76.97 eprover: CPU time limit exceeded, terminating
% 78.72/78.98 eprover: CPU time limit exceeded, terminating
% 80.76/80.99 eprover: CPU time limit exceeded, terminating
% 82.73/83.00 eprover: CPU time limit exceeded, terminating
% 84.76/85.03 eprover: CPU time limit exceeded, terminating
% 86.72/87.04 eprover: CPU time limit exceeded, terminating
% 88.78/89.05 eprover: CPU time limit exceeded, terminating
% 90.81/91.06 eprover: CPU time limit exceeded, terminating
% 92.88/93.07 eprover: CPU time limit exceeded, terminating
% 94.83/95.10 eprover: CPU time limit exceeded, terminating
% 96.87/97.11 eprover: CPU time limit exceeded, terminating
% 98.89/99.12 eprover: CPU time limit exceeded, terminating
% 100.95/101.13 eprover: CPU time limit exceeded, terminating
% 102.92/103.15 eprover: CPU time limit exceeded, terminating
% 104.95/105.17 eprover: CPU time limit exceeded, terminating
% 106.92/107.18 eprover: CPU time limit exceeded, terminating
% 108.94/109.19 eprover: CPU time limit exceeded, terminating
% 110.95/111.21 eprover: CPU time limit exceeded, terminating
% 113.03/113.22 eprover: CPU time limit exceeded, terminating
% 115.02/115.24 eprover: CPU time limit exceeded, terminating
% 117.01/117.25 eprover: CPU time limit exceeded, terminating
% 119.04/119.27 eprover: CPU time limit exceeded, terminating
% 121.09/121.28 eprover: CPU time limit exceeded, terminating
% 123.06/123.29 eprover: CPU time limit exceeded, terminating
% 125.13/125.32 eprover: CPU time limit exceeded, terminating
% 127.14/127.33 eprover: CPU time limit exceeded, terminating
% 129.15/129.34 eprover: CPU time limit exceeded, terminating
% 131.19/131.36 eprover: CPU time limit exceeded, terminating
% 133.16/133.38 eprover: CPU time limit exceeded, terminating
% 135.17/135.41 eprover: CPU time limit exceeded, terminating
% 137.21/137.43 eprover: CPU time limit exceeded, terminating
% 139.25/139.45 eprover: CPU time limit exceeded, terminating
% 141.27/141.46 eprover: CPU time limit exceeded, terminating
% 143.24/143.48 eprover: CPU time limit exceeded, terminating
% 145.28/145.50 eprover: CPU time limit exceeded, terminating
% 147.28/147.52 eprover: CPU time limit exceeded, terminating
% 149.30/149.53 eprover: CPU time limit exceeded, terminating
% 151.31/151.55 eprover: CPU time limit exceeded, terminating
% 153.36/153.56 eprover: CPU time limit exceeded, terminating
% 155.36/155.59 eprover: CPU time limit exceeded, terminating
% 157.32/157.60 eprover: CPU time limit exceeded, terminating
% 159.34/159.62 eprover: CPU time limit exceeded, terminating
% 161.42/161.63 eprover: CPU time limit exceeded, terminating
% 163.42/163.68 eprover: CPU time limit exceeded, terminating
% 165.44/165.71 eprover: CPU time limit exceeded, terminating
% 167.47/167.72 eprover: CPU time limit exceeded, terminating
% 169.45/169.73 eprover: CPU time limit exceeded, terminating
% 171.44/171.75 eprover: CPU time limit exceeded, terminating
% 173.52/173.76 eprover: CPU time limit exceeded, terminating
% 175.52/175.79 eprover: CPU time limit exceeded, terminating
% 177.55/177.80 eprover: CPU time limit exceeded, terminating
% 179.51/179.81 eprover: CPU time limit exceeded, terminating
% 181.51/181.83 eprover: CPU time limit exceeded, terminating
% 183.60/183.85 eprover: CPU time limit exceeded, terminating
% 185.60/185.87 eprover: CPU time limit exceeded, terminating
% 187.58/187.88 eprover: CPU time limit exceeded, terminating
% 189.60/189.90 eprover: CPU time limit exceeded, terminating
% 191.65/191.92 eprover: CPU time limit exceeded, terminating
% 193.63/193.94 eprover: CPU time limit exceeded, terminating
% 195.67/195.96 eprover: CPU time limit exceeded, terminating
% 197.65/197.98 eprover: CPU time limit exceeded, terminating
% 199.70/199.99 eprover: CPU time limit exceeded, terminating
% 201.66/202.01 eprover: CPU time limit exceeded, terminating
% 203.76/204.03 eprover: CPU time limit exceeded, terminating
% 205.77/206.05 eprover: CPU time limit exceeded, terminating
% 207.72/208.06 eprover: CPU time limit exceeded, terminating
% 209.79/210.08 eprover: CPU time limit exceeded, terminating
% 211.79/212.12 eprover: CPU time limit exceeded, terminating
% 213.75/214.13 eprover: CPU time limit exceeded, terminating
% 215.78/216.15 eprover: CPU time limit exceeded, terminating
% 217.83/218.16 eprover: CPU time limit exceeded, terminating
% 219.85/220.18 eprover: CPU time limit exceeded, terminating
% 221.83/222.20 eprover: CPU time limit exceeded, terminating
% 223.90/224.21 eprover: CPU time limit exceeded, terminating
% 225.88/226.25 eprover: CPU time limit exceeded, terminating
% 227.93/228.26 eprover: CPU time limit exceeded, terminating
% 229.95/230.30 eprover: CPU time limit exceeded, terminating
% 231.95/232.31 eprover: CPU time limit exceeded, terminating
% 233.93/234.32 eprover: CPU time limit exceeded, terminating
% 236.00/236.33 eprover: CPU time limit exceeded, terminating
% 237.93/238.34 eprover: CPU time limit exceeded, terminating
% 240.02/240.35 eprover: CPU time limit exceeded, terminating
% 242.05/242.37 eprover: CPU time limit exceeded, terminating
% 244.05/244.38 eprover: CPU time limit exceeded, terminating
% 246.06/246.39 eprover: CPU time limit exceeded, terminating
% 248.05/248.40 eprover: CPU time limit exceeded, terminating
% 250.04/250.41 eprover: CPU time limit exceeded, terminating
% 252.08/252.43 eprover: CPU time limit exceeded, terminating
% 254.14/254.44 eprover: CPU time limit exceeded, terminating
% 256.13/256.45 eprover: CPU time limit exceeded, terminating
% 258.16/258.46 eprover: CPU time limit exceeded, terminating
% 260.19/260.47 eprover: CPU time limit exceeded, terminating
% 262.18/262.49 eprover: CPU time limit exceeded, terminating
% 264.19/264.50 eprover: CPU time limit exceeded, terminating
% 266.21/266.52 eprover: CPU time limit exceeded, terminating
% 268.21/268.53 eprover: CPU time limit exceeded, terminating
% 270.28/270.54 eprover: CPU time limit exceeded, terminating
% 272.27/272.56 eprover: CPU time limit exceeded, terminating
% 274.28/274.57 eprover: CPU time limit exceeded, terminating
% 276.26/276.58 eprover: CPU time limit exceeded, terminating
% 278.30/278.60 eprover: CPU time limit exceeded, terminating
% 280.35/280.61 eprover: CPU time limit exceeded, terminating
% 282.31/282.62 eprover: CPU time limit exceeded, terminating
% 284.38/284.64 eprover: CPU time limit exceeded, terminating
% 286.37/286.65 eprover: CPU time limit exceeded, terminating
% 288.39/288.66 eprover: CPU time limit exceeded, terminating
% 290.40/290.67 eprover: CPU time limit exceeded, terminating
% 292.43/292.68 eprover: CPU time limit exceeded, terminating
% 294.47/294.70 eprover: CPU time limit exceeded, terminating
% 296.46/296.71 eprover: CPU time limit exceeded, terminating
% 298.48/298.72 eprover: CPU time limit exceeded, terminating
% 300.03/300.25 eprover: CPU time limit exceeded, terminating
% 300.03/300.27 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------