TSTP Solution File: REL029+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : REL029+4 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n003.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 19:29:28 EDT 2022
% Result : Timeout 286.75s 286.53s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : REL029+4 : TPTP v8.1.0. Released v4.0.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n003.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 : Fri Jul 8 15:44:43 EDT 2022
% 0.13/0.34 % CPUTime :
% 2.15/2.38 eprover: CPU time limit exceeded, terminating
% 4.20/4.39 eprover: CPU time limit exceeded, terminating
% 6.21/6.42 eprover: CPU time limit exceeded, terminating
% 8.20/8.43 eprover: CPU time limit exceeded, terminating
% 10.19/10.44 eprover: CPU time limit exceeded, terminating
% 12.27/12.46 eprover: CPU time limit exceeded, terminating
% 14.23/14.47 eprover: CPU time limit exceeded, terminating
% 16.27/16.49 eprover: CPU time limit exceeded, terminating
% 18.29/18.50 eprover: CPU time limit exceeded, terminating
% 20.36/20.52 eprover: CPU time limit exceeded, terminating
% 22.29/22.53 eprover: CPU time limit exceeded, terminating
% 24.36/24.54 eprover: CPU time limit exceeded, terminating
% 26.37/26.56 eprover: CPU time limit exceeded, terminating
% 28.33/28.57 eprover: CPU time limit exceeded, terminating
% 30.39/30.59 eprover: CPU time limit exceeded, terminating
% 32.44/32.60 eprover: CPU time limit exceeded, terminating
% 34.47/34.62 eprover: CPU time limit exceeded, terminating
% 36.47/36.63 eprover: CPU time limit exceeded, terminating
% 38.46/38.65 eprover: CPU time limit exceeded, terminating
% 40.45/40.66 eprover: CPU time limit exceeded, terminating
% 42.49/42.68 eprover: CPU time limit exceeded, terminating
% 44.52/44.69 eprover: CPU time limit exceeded, terminating
% 46.56/46.70 eprover: CPU time limit exceeded, terminating
% 48.57/48.72 eprover: CPU time limit exceeded, terminating
% 50.62/50.73 eprover: CPU time limit exceeded, terminating
% 52.59/52.75 eprover: CPU time limit exceeded, terminating
% 54.65/54.76 eprover: CPU time limit exceeded, terminating
% 56.59/56.78 eprover: CPU time limit exceeded, terminating
% 58.68/58.79 eprover: CPU time limit exceeded, terminating
% 60.60/60.81 eprover: CPU time limit exceeded, terminating
% 62.73/62.82 eprover: CPU time limit exceeded, terminating
% 64.70/64.84 eprover: CPU time limit exceeded, terminating
% 66.71/66.85 eprover: CPU time limit exceeded, terminating
% 68.69/68.87 eprover: CPU time limit exceeded, terminating
% 70.72/70.89 eprover: CPU time limit exceeded, terminating
% 72.79/72.90 eprover: CPU time limit exceeded, terminating
% 74.76/74.91 eprover: CPU time limit exceeded, terminating
% 76.86/76.93 eprover: CPU time limit exceeded, terminating
% 78.82/78.94 eprover: CPU time limit exceeded, terminating
% 80.85/80.96 eprover: CPU time limit exceeded, terminating
% 82.87/82.97 eprover: CPU time limit exceeded, terminating
% 84.91/84.98 eprover: CPU time limit exceeded, terminating
% 86.92/87.00 eprover: CPU time limit exceeded, terminating
% 88.93/89.01 eprover: CPU time limit exceeded, terminating
% 90.93/91.03 eprover: CPU time limit exceeded, terminating
% 92.96/93.04 eprover: CPU time limit exceeded, terminating
% 94.94/95.06 eprover: CPU time limit exceeded, terminating
% 97.00/97.07 eprover: CPU time limit exceeded, terminating
% 99.03/99.09 eprover: CPU time limit exceeded, terminating
% 101.01/101.10 eprover: CPU time limit exceeded, terminating
% 103.07/103.12 eprover: CPU time limit exceeded, terminating
% 105.06/105.13 eprover: CPU time limit exceeded, terminating
% 107.11/107.15 eprover: CPU time limit exceeded, terminating
% 109.09/109.16 eprover: CPU time limit exceeded, terminating
% 111.09/111.18 eprover: CPU time limit exceeded, terminating
% 113.15/113.19 eprover: CPU time limit exceeded, terminating
% 115.18/115.21 eprover: CPU time limit exceeded, terminating
% 117.20/117.22 eprover: CPU time limit exceeded, terminating
% 119.21/119.24 eprover: CPU time limit exceeded, terminating
% 121.23/121.25 eprover: CPU time limit exceeded, terminating
% 123.20/123.27 eprover: CPU time limit exceeded, terminating
% 125.26/125.29 eprover: CPU time limit exceeded, terminating
% 127.30/127.30 eprover: CPU time limit exceeded, terminating
% 129.30/129.32 eprover: CPU time limit exceeded, terminating
% 131.33/131.33 eprover: CPU time limit exceeded, terminating
% 133.29/133.34 eprover: CPU time limit exceeded, terminating
% 135.30/135.36 eprover: CPU time limit exceeded, terminating
% 137.32/137.37 eprover: CPU time limit exceeded, terminating
% 139.41/139.39 eprover: CPU time limit exceeded, terminating
% 141.43/141.40 eprover: CPU time limit exceeded, terminating
% 143.44/143.42 eprover: CPU time limit exceeded, terminating
% 145.45/145.43 eprover: CPU time limit exceeded, terminating
% 147.45/147.45 eprover: CPU time limit exceeded, terminating
% 149.46/149.47 eprover: CPU time limit exceeded, terminating
% 151.51/151.48 eprover: CPU time limit exceeded, terminating
% 153.54/153.50 eprover: CPU time limit exceeded, terminating
% 155.55/155.51 eprover: CPU time limit exceeded, terminating
% 157.55/157.53 eprover: CPU time limit exceeded, terminating
% 159.58/159.55 eprover: CPU time limit exceeded, terminating
% 161.57/161.56 eprover: CPU time limit exceeded, terminating
% 163.56/163.58 eprover: CPU time limit exceeded, terminating
% 165.67/165.59 eprover: CPU time limit exceeded, terminating
% 167.59/167.61 eprover: CPU time limit exceeded, terminating
% 169.66/169.62 eprover: CPU time limit exceeded, terminating
% 171.67/171.64 eprover: CPU time limit exceeded, terminating
% 173.68/173.65 eprover: CPU time limit exceeded, terminating
% 175.70/175.67 eprover: CPU time limit exceeded, terminating
% 177.77/177.68 eprover: CPU time limit exceeded, terminating
% 179.77/179.70 eprover: CPU time limit exceeded, terminating
% 181.81/181.71 eprover: CPU time limit exceeded, terminating
% 183.81/183.73 eprover: CPU time limit exceeded, terminating
% 185.82/185.75 eprover: CPU time limit exceeded, terminating
% 187.81/187.76 eprover: CPU time limit exceeded, terminating
% 189.82/189.78 eprover: CPU time limit exceeded, terminating
% 191.89/191.79 eprover: CPU time limit exceeded, terminating
% 193.83/193.81 eprover: CPU time limit exceeded, terminating
% 195.93/195.82 eprover: CPU time limit exceeded, terminating
% 197.93/197.84 eprover: CPU time limit exceeded, terminating
% 199.91/199.86 eprover: CPU time limit exceeded, terminating
% 201.93/201.87 eprover: CPU time limit exceeded, terminating
% 204.01/203.89 eprover: CPU time limit exceeded, terminating
% 206.02/205.91 eprover: CPU time limit exceeded, terminating
% 208.05/207.92 eprover: CPU time limit exceeded, terminating
% 210.08/209.93 eprover: CPU time limit exceeded, terminating
% 212.04/211.95 eprover: CPU time limit exceeded, terminating
% 214.08/213.96 eprover: CPU time limit exceeded, terminating
% 216.06/215.98 eprover: CPU time limit exceeded, terminating
% 218.15/217.99 eprover: CPU time limit exceeded, terminating
% 220.15/220.01 eprover: CPU time limit exceeded, terminating
% 222.16/222.02 eprover: CPU time limit exceeded, terminating
% 224.18/224.04 eprover: CPU time limit exceeded, terminating
% 226.17/226.05 eprover: CPU time limit exceeded, terminating
% 228.19/228.07 eprover: CPU time limit exceeded, terminating
% 230.18/230.08 eprover: CPU time limit exceeded, terminating
% 232.28/232.10 eprover: CPU time limit exceeded, terminating
% 234.28/234.11 eprover: CPU time limit exceeded, terminating
% 236.28/236.13 eprover: CPU time limit exceeded, terminating
% 238.31/238.14 eprover: CPU time limit exceeded, terminating
% 240.28/240.16 eprover: CPU time limit exceeded, terminating
% 242.30/242.17 eprover: CPU time limit exceeded, terminating
% 244.30/244.19 eprover: CPU time limit exceeded, terminating
% 246.40/246.20 eprover: CPU time limit exceeded, terminating
% 248.39/248.22 eprover: CPU time limit exceeded, terminating
% 250.39/250.23 eprover: CPU time limit exceeded, terminating
% 252.42/252.25 eprover: CPU time limit exceeded, terminating
% 254.42/254.27 eprover: CPU time limit exceeded, terminating
% 256.43/256.28 eprover: CPU time limit exceeded, terminating
% 258.43/258.30 eprover: CPU time limit exceeded, terminating
% 260.52/260.31 eprover: CPU time limit exceeded, terminating
% 262.53/262.33 eprover: CPU time limit exceeded, terminating
% 264.53/264.35 eprover: CPU time limit exceeded, terminating
% 266.54/266.37 eprover: CPU time limit exceeded, terminating
% 268.55/268.38 eprover: CPU time limit exceeded, terminating
% 270.64/270.40 eprover: CPU time limit exceeded, terminating
% 272.65/272.42 eprover: CPU time limit exceeded, terminating
% 274.67/274.43 eprover: CPU time limit exceeded, terminating
% 276.65/276.45 eprover: CPU time limit exceeded, terminating
% 278.64/278.47 eprover: CPU time limit exceeded, terminating
% 280.67/280.49 eprover: CPU time limit exceeded, terminating
% 282.75/282.50 eprover: CPU time limit exceeded, terminating
% 284.78/284.52 eprover: CPU time limit exceeded, terminating
% 286.75/286.53 eprover: CPU time limit exceeded, terminating
% 288.77/288.55 eprover: CPU time limit exceeded, terminating
% 290.77/290.56 eprover: CPU time limit exceeded, terminating
% 292.80/292.58 eprover: CPU time limit exceeded, terminating
% 294.79/294.59 eprover: CPU time limit exceeded, terminating
% 296.87/296.61 eprover: CPU time limit exceeded, terminating
% 298.87/298.63 eprover: CPU time limit exceeded, terminating
% 300.10/299.81 eprover: CPU time limit exceeded, terminating
% 300.10/299.83 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------