TSTP Solution File: SEU051+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SEU051+1 : TPTP v8.1.0. Released v3.2.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n015.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 : Tue Jul 19 10:11:23 EDT 2022
% Result : Timeout 286.29s 284.43s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : SEU051+1 : TPTP v8.1.0. Released v3.2.0.
% 0.07/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n015.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Sat Jun 18 20:08:13 EDT 2022
% 0.12/0.33 % CPUTime :
% 2.18/2.39 eprover: CPU time limit exceeded, terminating
% 4.19/4.40 eprover: CPU time limit exceeded, terminating
% 6.18/6.41 eprover: CPU time limit exceeded, terminating
% 8.25/8.42 eprover: CPU time limit exceeded, terminating
% 10.25/10.44 eprover: CPU time limit exceeded, terminating
% 12.26/12.45 eprover: CPU time limit exceeded, terminating
% 14.28/14.46 eprover: CPU time limit exceeded, terminating
% 16.29/16.47 eprover: CPU time limit exceeded, terminating
% 18.31/18.49 eprover: CPU time limit exceeded, terminating
% 20.30/20.50 eprover: CPU time limit exceeded, terminating
% 22.30/22.51 eprover: CPU time limit exceeded, terminating
% 24.30/24.52 eprover: CPU time limit exceeded, terminating
% 26.33/26.53 eprover: CPU time limit exceeded, terminating
% 28.37/28.55 eprover: CPU time limit exceeded, terminating
% 30.37/30.56 eprover: CPU time limit exceeded, terminating
% 32.40/32.57 eprover: CPU time limit exceeded, terminating
% 34.42/34.58 eprover: CPU time limit exceeded, terminating
% 36.40/36.59 eprover: CPU time limit exceeded, terminating
% 38.46/38.61 eprover: CPU time limit exceeded, terminating
% 40.43/40.62 eprover: CPU time limit exceeded, terminating
% 42.48/42.63 eprover: CPU time limit exceeded, terminating
% 44.45/44.64 eprover: CPU time limit exceeded, terminating
% 46.45/46.66 eprover: CPU time limit exceeded, terminating
% 48.53/48.67 eprover: CPU time limit exceeded, terminating
% 50.54/50.68 eprover: CPU time limit exceeded, terminating
% 52.57/52.69 eprover: CPU time limit exceeded, terminating
% 54.53/54.71 eprover: CPU time limit exceeded, terminating
% 56.54/56.72 eprover: CPU time limit exceeded, terminating
% 58.59/58.73 eprover: CPU time limit exceeded, terminating
% 60.61/60.75 eprover: CPU time limit exceeded, terminating
% 62.61/62.76 eprover: CPU time limit exceeded, terminating
% 64.68/64.77 eprover: CPU time limit exceeded, terminating
% 66.66/66.78 eprover: CPU time limit exceeded, terminating
% 68.68/68.80 eprover: CPU time limit exceeded, terminating
% 70.68/70.81 eprover: CPU time limit exceeded, terminating
% 72.73/72.82 eprover: CPU time limit exceeded, terminating
% 74.67/74.84 eprover: CPU time limit exceeded, terminating
% 76.76/76.85 eprover: CPU time limit exceeded, terminating
% 78.76/78.86 eprover: CPU time limit exceeded, terminating
% 80.80/80.87 eprover: CPU time limit exceeded, terminating
% 82.81/82.89 eprover: CPU time limit exceeded, terminating
% 84.80/84.90 eprover: CPU time limit exceeded, terminating
% 86.81/86.91 eprover: CPU time limit exceeded, terminating
% 88.80/88.92 eprover: CPU time limit exceeded, terminating
% 90.87/90.94 eprover: CPU time limit exceeded, terminating
% 92.87/92.95 eprover: CPU time limit exceeded, terminating
% 94.89/94.96 eprover: CPU time limit exceeded, terminating
% 96.90/96.98 eprover: CPU time limit exceeded, terminating
% 98.91/98.99 eprover: CPU time limit exceeded, terminating
% 100.93/101.01 eprover: CPU time limit exceeded, terminating
% 102.94/103.02 eprover: CPU time limit exceeded, terminating
% 104.97/105.03 eprover: CPU time limit exceeded, terminating
% 106.98/107.05 eprover: CPU time limit exceeded, terminating
% 109.02/109.06 eprover: CPU time limit exceeded, terminating
% 111.04/111.07 eprover: CPU time limit exceeded, terminating
% 113.03/113.09 eprover: CPU time limit exceeded, terminating
% 115.06/115.10 eprover: CPU time limit exceeded, terminating
% 117.04/117.11 eprover: CPU time limit exceeded, terminating
% 119.06/119.13 eprover: CPU time limit exceeded, terminating
% 121.13/121.14 eprover: CPU time limit exceeded, terminating
% 123.13/123.15 eprover: CPU time limit exceeded, terminating
% 125.14/125.17 eprover: CPU time limit exceeded, terminating
% 127.12/127.18 eprover: CPU time limit exceeded, terminating
% 129.15/129.19 eprover: CPU time limit exceeded, terminating
% 131.20/131.20 eprover: CPU time limit exceeded, terminating
% 133.16/133.22 eprover: CPU time limit exceeded, terminating
% 135.22/135.23 eprover: CPU time limit exceeded, terminating
% 137.24/137.25 eprover: CPU time limit exceeded, terminating
% 139.19/139.26 eprover: CPU time limit exceeded, terminating
% 141.27/141.28 eprover: CPU time limit exceeded, terminating
% 143.26/143.29 eprover: CPU time limit exceeded, terminating
% 145.27/145.30 eprover: CPU time limit exceeded, terminating
% 147.31/147.31 eprover: CPU time limit exceeded, terminating
% 149.29/149.33 eprover: CPU time limit exceeded, terminating
% 151.33/151.34 eprover: CPU time limit exceeded, terminating
% 153.32/153.35 eprover: CPU time limit exceeded, terminating
% 155.39/155.37 eprover: CPU time limit exceeded, terminating
% 157.37/157.38 eprover: CPU time limit exceeded, terminating
% 159.42/159.39 eprover: CPU time limit exceeded, terminating
% 161.44/161.40 eprover: CPU time limit exceeded, terminating
% 163.45/163.42 eprover: CPU time limit exceeded, terminating
% 165.40/165.43 eprover: CPU time limit exceeded, terminating
% 167.43/167.44 eprover: CPU time limit exceeded, terminating
% 169.48/169.45 eprover: CPU time limit exceeded, terminating
% 171.51/171.47 eprover: CPU time limit exceeded, terminating
% 173.50/173.48 eprover: CPU time limit exceeded, terminating
% 175.49/175.60 eprover: CPU time limit exceeded, terminating
% 177.54/177.74 eprover: CPU time limit exceeded, terminating
% 179.56/179.75 eprover: CPU time limit exceeded, terminating
% 181.57/181.76 eprover: CPU time limit exceeded, terminating
% 183.60/183.78 eprover: CPU time limit exceeded, terminating
% 185.59/185.79 eprover: CPU time limit exceeded, terminating
% 187.61/187.80 eprover: CPU time limit exceeded, terminating
% 189.61/189.81 eprover: CPU time limit exceeded, terminating
% 191.65/191.83 eprover: CPU time limit exceeded, terminating
% 193.66/193.84 eprover: CPU time limit exceeded, terminating
% 197.61/195.85 eprover: CPU time limit exceeded, terminating
% 199.63/197.86 eprover: CPU time limit exceeded, terminating
% 201.68/199.88 eprover: CPU time limit exceeded, terminating
% 203.64/201.89 eprover: CPU time limit exceeded, terminating
% 205.69/203.90 eprover: CPU time limit exceeded, terminating
% 207.66/205.91 eprover: CPU time limit exceeded, terminating
% 209.69/207.92 eprover: CPU time limit exceeded, terminating
% 211.71/209.94 eprover: CPU time limit exceeded, terminating
% 213.73/211.95 eprover: CPU time limit exceeded, terminating
% 215.78/213.97 eprover: CPU time limit exceeded, terminating
% 217.81/215.98 eprover: CPU time limit exceeded, terminating
% 219.80/217.99 eprover: CPU time limit exceeded, terminating
% 221.78/220.00 eprover: CPU time limit exceeded, terminating
% 223.84/222.03 eprover: CPU time limit exceeded, terminating
% 225.80/224.04 eprover: CPU time limit exceeded, terminating
% 227.84/226.05 eprover: CPU time limit exceeded, terminating
% 229.87/228.06 eprover: CPU time limit exceeded, terminating
% 231.87/230.08 eprover: CPU time limit exceeded, terminating
% 233.90/232.09 eprover: CPU time limit exceeded, terminating
% 235.90/234.10 eprover: CPU time limit exceeded, terminating
% 237.91/236.12 eprover: CPU time limit exceeded, terminating
% 239.89/238.13 eprover: CPU time limit exceeded, terminating
% 241.97/240.14 eprover: CPU time limit exceeded, terminating
% 244.00/242.16 eprover: CPU time limit exceeded, terminating
% 245.99/244.17 eprover: CPU time limit exceeded, terminating
% 247.97/246.18 eprover: CPU time limit exceeded, terminating
% 250.00/248.20 eprover: CPU time limit exceeded, terminating
% 252.00/250.21 eprover: CPU time limit exceeded, terminating
% 254.02/252.22 eprover: CPU time limit exceeded, terminating
% 256.06/254.23 eprover: CPU time limit exceeded, terminating
% 258.06/256.25 eprover: CPU time limit exceeded, terminating
% 260.12/258.26 eprover: CPU time limit exceeded, terminating
% 262.13/260.28 eprover: CPU time limit exceeded, terminating
% 264.09/262.29 eprover: CPU time limit exceeded, terminating
% 266.16/264.31 eprover: CPU time limit exceeded, terminating
% 268.14/266.32 eprover: CPU time limit exceeded, terminating
% 270.17/268.33 eprover: CPU time limit exceeded, terminating
% 272.21/270.35 eprover: CPU time limit exceeded, terminating
% 274.17/272.36 eprover: CPU time limit exceeded, terminating
% 276.19/274.37 eprover: CPU time limit exceeded, terminating
% 278.20/276.39 eprover: CPU time limit exceeded, terminating
% 280.25/278.40 eprover: CPU time limit exceeded, terminating
% 282.22/280.41 eprover: CPU time limit exceeded, terminating
% 284.27/282.42 eprover: CPU time limit exceeded, terminating
% 286.29/284.43 eprover: CPU time limit exceeded, terminating
% 288.30/286.44 eprover: CPU time limit exceeded, terminating
% 290.25/288.46 eprover: CPU time limit exceeded, terminating
% 292.32/290.47 eprover: CPU time limit exceeded, terminating
% 294.28/292.48 eprover: CPU time limit exceeded, terminating
% 296.30/294.49 eprover: CPU time limit exceeded, terminating
% 298.39/296.51 eprover: CPU time limit exceeded, terminating
% 300.02/298.13 eprover: CPU time limit exceeded, terminating
% 300.02/298.14 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------