TSTP Solution File: RNG027-9 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : RNG027-9 : TPTP v8.1.0. Released v1.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n027.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:20 EDT 2022
% Result : Timeout 286.43s 286.33s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.12 % Problem : RNG027-9 : TPTP v8.1.0. Released v1.0.0.
% 0.12/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n027.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Mon May 30 20:13:31 EDT 2022
% 0.13/0.34 % CPUTime :
% 2.19/2.37 eprover: CPU time limit exceeded, terminating
% 4.16/4.38 eprover: CPU time limit exceeded, terminating
% 6.20/6.40 eprover: CPU time limit exceeded, terminating
% 8.19/8.43 eprover: CPU time limit exceeded, terminating
% 10.22/10.44 eprover: CPU time limit exceeded, terminating
% 12.23/12.45 eprover: CPU time limit exceeded, terminating
% 14.23/14.46 eprover: CPU time limit exceeded, terminating
% 16.24/16.47 eprover: CPU time limit exceeded, terminating
% 18.25/18.49 eprover: CPU time limit exceeded, terminating
% 20.31/20.50 eprover: CPU time limit exceeded, terminating
% 22.33/22.53 eprover: CPU time limit exceeded, terminating
% 24.30/24.55 eprover: CPU time limit exceeded, terminating
% 26.32/26.56 eprover: CPU time limit exceeded, terminating
% 28.35/28.57 eprover: CPU time limit exceeded, terminating
% 30.30/30.58 eprover: CPU time limit exceeded, terminating
% 32.41/32.60 eprover: CPU time limit exceeded, terminating
% 34.41/34.61 eprover: CPU time limit exceeded, terminating
% 36.42/36.62 eprover: CPU time limit exceeded, terminating
% 38.45/38.63 eprover: CPU time limit exceeded, terminating
% 40.42/40.65 eprover: CPU time limit exceeded, terminating
% 42.43/42.66 eprover: CPU time limit exceeded, terminating
% 44.45/44.67 eprover: CPU time limit exceeded, terminating
% 46.51/46.68 eprover: CPU time limit exceeded, terminating
% 48.53/48.70 eprover: CPU time limit exceeded, terminating
% 50.56/50.71 eprover: CPU time limit exceeded, terminating
% 52.52/52.76 eprover: CPU time limit exceeded, terminating
% 54.55/54.77 eprover: CPU time limit exceeded, terminating
% 56.57/56.78 eprover: CPU time limit exceeded, terminating
% 58.54/58.80 eprover: CPU time limit exceeded, terminating
% 60.60/60.81 eprover: CPU time limit exceeded, terminating
% 62.63/62.83 eprover: CPU time limit exceeded, terminating
% 64.61/64.85 eprover: CPU time limit exceeded, terminating
% 66.66/66.86 eprover: CPU time limit exceeded, terminating
% 68.61/68.87 eprover: CPU time limit exceeded, terminating
% 70.66/70.88 eprover: CPU time limit exceeded, terminating
% 72.70/72.91 eprover: CPU time limit exceeded, terminating
% 74.74/74.92 eprover: CPU time limit exceeded, terminating
% 76.68/76.93 eprover: CPU time limit exceeded, terminating
% 78.75/78.95 eprover: CPU time limit exceeded, terminating
% 80.78/80.96 eprover: CPU time limit exceeded, terminating
% 82.75/82.98 eprover: CPU time limit exceeded, terminating
% 84.81/85.00 eprover: CPU time limit exceeded, terminating
% 86.83/87.01 eprover: CPU time limit exceeded, terminating
% 88.86/89.02 eprover: CPU time limit exceeded, terminating
% 90.78/91.03 eprover: CPU time limit exceeded, terminating
% 92.86/93.06 eprover: CPU time limit exceeded, terminating
% 94.86/95.07 eprover: CPU time limit exceeded, terminating
% 96.90/97.09 eprover: CPU time limit exceeded, terminating
% 98.91/99.10 eprover: CPU time limit exceeded, terminating
% 100.95/101.11 eprover: CPU time limit exceeded, terminating
% 102.92/103.14 eprover: CPU time limit exceeded, terminating
% 104.99/105.15 eprover: CPU time limit exceeded, terminating
% 106.95/107.16 eprover: CPU time limit exceeded, terminating
% 108.97/109.17 eprover: CPU time limit exceeded, terminating
% 111.02/111.19 eprover: CPU time limit exceeded, terminating
% 112.96/113.20 eprover: CPU time limit exceeded, terminating
% 115.03/115.21 eprover: CPU time limit exceeded, terminating
% 117.09/117.23 eprover: CPU time limit exceeded, terminating
% 119.05/119.24 eprover: CPU time limit exceeded, terminating
% 121.10/121.25 eprover: CPU time limit exceeded, terminating
% 123.06/123.27 eprover: CPU time limit exceeded, terminating
% 125.12/125.28 eprover: CPU time limit exceeded, terminating
% 127.15/127.29 eprover: CPU time limit exceeded, terminating
% 129.14/129.31 eprover: CPU time limit exceeded, terminating
% 131.18/131.32 eprover: CPU time limit exceeded, terminating
% 133.20/133.34 eprover: CPU time limit exceeded, terminating
% 135.18/135.35 eprover: CPU time limit exceeded, terminating
% 137.21/137.36 eprover: CPU time limit exceeded, terminating
% 139.26/139.38 eprover: CPU time limit exceeded, terminating
% 141.20/141.39 eprover: CPU time limit exceeded, terminating
% 143.29/143.40 eprover: CPU time limit exceeded, terminating
% 145.28/145.41 eprover: CPU time limit exceeded, terminating
% 147.30/147.43 eprover: CPU time limit exceeded, terminating
% 149.34/149.44 eprover: CPU time limit exceeded, terminating
% 151.31/151.45 eprover: CPU time limit exceeded, terminating
% 153.37/153.47 eprover: CPU time limit exceeded, terminating
% 155.38/155.48 eprover: CPU time limit exceeded, terminating
% 157.40/157.49 eprover: CPU time limit exceeded, terminating
% 159.38/159.50 eprover: CPU time limit exceeded, terminating
% 161.41/161.52 eprover: CPU time limit exceeded, terminating
% 163.37/163.53 eprover: CPU time limit exceeded, terminating
% 165.42/165.55 eprover: CPU time limit exceeded, terminating
% 167.39/167.56 eprover: CPU time limit exceeded, terminating
% 169.50/169.57 eprover: CPU time limit exceeded, terminating
% 171.51/171.59 eprover: CPU time limit exceeded, terminating
% 173.52/173.60 eprover: CPU time limit exceeded, terminating
% 175.54/175.61 eprover: CPU time limit exceeded, terminating
% 177.53/177.63 eprover: CPU time limit exceeded, terminating
% 179.57/179.64 eprover: CPU time limit exceeded, terminating
% 181.59/181.66 eprover: CPU time limit exceeded, terminating
% 183.62/183.67 eprover: CPU time limit exceeded, terminating
% 185.58/185.68 eprover: CPU time limit exceeded, terminating
% 187.60/187.70 eprover: CPU time limit exceeded, terminating
% 189.64/189.71 eprover: CPU time limit exceeded, terminating
% 191.66/191.72 eprover: CPU time limit exceeded, terminating
% 193.70/193.74 eprover: CPU time limit exceeded, terminating
% 195.69/195.75 eprover: CPU time limit exceeded, terminating
% 197.74/197.77 eprover: CPU time limit exceeded, terminating
% 199.72/199.78 eprover: CPU time limit exceeded, terminating
% 201.77/201.79 eprover: CPU time limit exceeded, terminating
% 203.77/203.80 eprover: CPU time limit exceeded, terminating
% 205.78/205.82 eprover: CPU time limit exceeded, terminating
% 207.79/207.83 eprover: CPU time limit exceeded, terminating
% 209.74/209.84 eprover: CPU time limit exceeded, terminating
% 211.82/211.85 eprover: CPU time limit exceeded, terminating
% 213.86/213.87 eprover: CPU time limit exceeded, terminating
% 215.85/215.88 eprover: CPU time limit exceeded, terminating
% 217.85/217.89 eprover: CPU time limit exceeded, terminating
% 219.89/219.91 eprover: CPU time limit exceeded, terminating
% 221.90/221.92 eprover: CPU time limit exceeded, terminating
% 223.91/223.93 eprover: CPU time limit exceeded, terminating
% 225.94/225.94 eprover: CPU time limit exceeded, terminating
% 227.97/227.96 eprover: CPU time limit exceeded, terminating
% 229.98/229.97 eprover: CPU time limit exceeded, terminating
% 231.98/231.98 eprover: CPU time limit exceeded, terminating
% 234.00/233.99 eprover: CPU time limit exceeded, terminating
% 235.96/236.01 eprover: CPU time limit exceeded, terminating
% 238.04/238.02 eprover: CPU time limit exceeded, terminating
% 240.03/240.03 eprover: CPU time limit exceeded, terminating
% 242.05/242.05 eprover: CPU time limit exceeded, terminating
% 244.07/244.06 eprover: CPU time limit exceeded, terminating
% 246.12/246.07 eprover: CPU time limit exceeded, terminating
% 248.13/248.08 eprover: CPU time limit exceeded, terminating
% 250.13/250.10 eprover: CPU time limit exceeded, terminating
% 252.17/252.11 eprover: CPU time limit exceeded, terminating
% 254.14/254.12 eprover: CPU time limit exceeded, terminating
% 256.17/256.13 eprover: CPU time limit exceeded, terminating
% 258.22/258.15 eprover: CPU time limit exceeded, terminating
% 260.19/260.16 eprover: CPU time limit exceeded, terminating
% 262.22/262.17 eprover: CPU time limit exceeded, terminating
% 264.23/264.18 eprover: CPU time limit exceeded, terminating
% 266.21/266.20 eprover: CPU time limit exceeded, terminating
% 268.23/268.21 eprover: CPU time limit exceeded, terminating
% 270.27/270.22 eprover: CPU time limit exceeded, terminating
% 272.27/272.24 eprover: CPU time limit exceeded, terminating
% 274.31/274.25 eprover: CPU time limit exceeded, terminating
% 276.28/276.26 eprover: CPU time limit exceeded, terminating
% 278.35/278.28 eprover: CPU time limit exceeded, terminating
% 280.32/280.29 eprover: CPU time limit exceeded, terminating
% 282.38/282.30 eprover: CPU time limit exceeded, terminating
% 284.43/284.32 eprover: CPU time limit exceeded, terminating
% 286.43/286.33 eprover: CPU time limit exceeded, terminating
% 288.39/288.34 eprover: CPU time limit exceeded, terminating
% 290.45/290.36 eprover: CPU time limit exceeded, terminating
% 292.43/292.37 eprover: CPU time limit exceeded, terminating
% 294.45/294.38 eprover: CPU time limit exceeded, terminating
% 296.47/296.40 eprover: CPU time limit exceeded, terminating
% 298.52/298.41 eprover: CPU time limit exceeded, terminating
% 300.08/299.95 eprover: CPU time limit exceeded, terminating
% 300.08/299.97 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------