TSTP Solution File: SEU449+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SEU449+1 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n025.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:14:15 EDT 2022
% Result : Timeout 286.22s 284.33s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.12 % Problem : SEU449+1 : TPTP v8.1.0. Released v3.4.0.
% 0.08/0.13 % Command : run_infinox %s
% 0.12/0.33 % Computer : n025.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 : Mon Jun 20 04:09:29 EDT 2022
% 0.12/0.34 % CPUTime :
% 2.16/2.40 eprover: CPU time limit exceeded, terminating
% 4.21/4.41 eprover: CPU time limit exceeded, terminating
% 6.20/6.42 eprover: CPU time limit exceeded, terminating
% 8.24/8.43 eprover: CPU time limit exceeded, terminating
% 10.27/10.44 eprover: CPU time limit exceeded, terminating
% 12.28/12.46 eprover: CPU time limit exceeded, terminating
% 14.29/14.48 eprover: CPU time limit exceeded, terminating
% 16.27/16.49 eprover: CPU time limit exceeded, terminating
% 18.27/18.51 eprover: CPU time limit exceeded, terminating
% 20.31/20.52 eprover: CPU time limit exceeded, terminating
% 22.32/22.53 eprover: CPU time limit exceeded, terminating
% 24.37/24.55 eprover: CPU time limit exceeded, terminating
% 26.38/26.57 eprover: CPU time limit exceeded, terminating
% 28.35/28.58 eprover: CPU time limit exceeded, terminating
% 30.39/30.61 eprover: CPU time limit exceeded, terminating
% 32.36/32.62 eprover: CPU time limit exceeded, terminating
% 34.43/34.64 eprover: CPU time limit exceeded, terminating
% 36.45/36.66 eprover: CPU time limit exceeded, terminating
% 38.42/38.67 eprover: CPU time limit exceeded, terminating
% 40.46/40.69 eprover: CPU time limit exceeded, terminating
% 42.43/42.70 eprover: CPU time limit exceeded, terminating
% 44.44/44.71 eprover: CPU time limit exceeded, terminating
% 46.47/46.73 eprover: CPU time limit exceeded, terminating
% 48.51/48.75 eprover: CPU time limit exceeded, terminating
% 50.54/50.76 eprover: CPU time limit exceeded, terminating
% 52.51/52.77 eprover: CPU time limit exceeded, terminating
% 54.56/54.78 eprover: CPU time limit exceeded, terminating
% 56.52/56.79 eprover: CPU time limit exceeded, terminating
% 58.57/58.80 eprover: CPU time limit exceeded, terminating
% 60.60/60.81 eprover: CPU time limit exceeded, terminating
% 62.58/62.82 eprover: CPU time limit exceeded, terminating
% 64.55/64.83 eprover: CPU time limit exceeded, terminating
% 66.63/66.84 eprover: CPU time limit exceeded, terminating
% 68.64/68.85 eprover: CPU time limit exceeded, terminating
% 70.58/70.85 eprover: CPU time limit exceeded, terminating
% 72.63/72.86 eprover: CPU time limit exceeded, terminating
% 74.69/74.87 eprover: CPU time limit exceeded, terminating
% 76.71/76.89 eprover: CPU time limit exceeded, terminating
% 78.71/78.90 eprover: CPU time limit exceeded, terminating
% 80.73/80.91 eprover: CPU time limit exceeded, terminating
% 82.72/82.92 eprover: CPU time limit exceeded, terminating
% 84.74/84.93 eprover: CPU time limit exceeded, terminating
% 86.77/86.94 eprover: CPU time limit exceeded, terminating
% 88.80/88.95 eprover: CPU time limit exceeded, terminating
% 90.75/90.96 eprover: CPU time limit exceeded, terminating
% 92.80/92.97 eprover: CPU time limit exceeded, terminating
% 94.84/94.98 eprover: CPU time limit exceeded, terminating
% 96.79/96.99 eprover: CPU time limit exceeded, terminating
% 98.82/99.00 eprover: CPU time limit exceeded, terminating
% 100.87/101.02 eprover: CPU time limit exceeded, terminating
% 104.86/103.03 eprover: CPU time limit exceeded, terminating
% 106.91/105.04 eprover: CPU time limit exceeded, terminating
% 108.86/107.05 eprover: CPU time limit exceeded, terminating
% 110.91/109.06 eprover: CPU time limit exceeded, terminating
% 112.88/111.08 eprover: CPU time limit exceeded, terminating
% 114.94/113.09 eprover: CPU time limit exceeded, terminating
% 116.94/115.12 eprover: CPU time limit exceeded, terminating
% 118.95/117.15 eprover: CPU time limit exceeded, terminating
% 120.99/119.17 eprover: CPU time limit exceeded, terminating
% 122.96/121.18 eprover: CPU time limit exceeded, terminating
% 124.99/123.20 eprover: CPU time limit exceeded, terminating
% 127.05/125.21 eprover: CPU time limit exceeded, terminating
% 129.08/127.22 eprover: CPU time limit exceeded, terminating
% 131.03/129.23 eprover: CPU time limit exceeded, terminating
% 133.08/131.24 eprover: CPU time limit exceeded, terminating
% 135.13/133.28 eprover: CPU time limit exceeded, terminating
% 137.14/135.29 eprover: CPU time limit exceeded, terminating
% 139.15/137.31 eprover: CPU time limit exceeded, terminating
% 141.15/139.33 eprover: CPU time limit exceeded, terminating
% 143.11/141.37 eprover: CPU time limit exceeded, terminating
% 145.20/143.38 eprover: CPU time limit exceeded, terminating
% 147.18/145.40 eprover: CPU time limit exceeded, terminating
% 149.21/147.41 eprover: CPU time limit exceeded, terminating
% 151.23/149.42 eprover: CPU time limit exceeded, terminating
% 153.21/151.44 eprover: CPU time limit exceeded, terminating
% 155.18/153.46 eprover: CPU time limit exceeded, terminating
% 157.20/155.48 eprover: CPU time limit exceeded, terminating
% 159.24/157.49 eprover: CPU time limit exceeded, terminating
% 161.29/159.51 eprover: CPU time limit exceeded, terminating
% 163.32/161.52 eprover: CPU time limit exceeded, terminating
% 165.27/163.54 eprover: CPU time limit exceeded, terminating
% 167.32/165.55 eprover: CPU time limit exceeded, terminating
% 169.30/167.56 eprover: CPU time limit exceeded, terminating
% 171.36/169.57 eprover: CPU time limit exceeded, terminating
% 173.39/171.58 eprover: CPU time limit exceeded, terminating
% 175.43/173.60 eprover: CPU time limit exceeded, terminating
% 177.44/175.62 eprover: CPU time limit exceeded, terminating
% 179.43/177.63 eprover: CPU time limit exceeded, terminating
% 181.43/179.65 eprover: CPU time limit exceeded, terminating
% 183.47/181.66 eprover: CPU time limit exceeded, terminating
% 185.48/183.68 eprover: CPU time limit exceeded, terminating
% 187.46/185.69 eprover: CPU time limit exceeded, terminating
% 189.48/187.70 eprover: CPU time limit exceeded, terminating
% 191.54/189.71 eprover: CPU time limit exceeded, terminating
% 193.55/191.73 eprover: CPU time limit exceeded, terminating
% 195.53/193.75 eprover: CPU time limit exceeded, terminating
% 197.55/195.77 eprover: CPU time limit exceeded, terminating
% 199.56/197.78 eprover: CPU time limit exceeded, terminating
% 201.56/199.79 eprover: CPU time limit exceeded, terminating
% 203.61/201.80 eprover: CPU time limit exceeded, terminating
% 205.63/203.81 eprover: CPU time limit exceeded, terminating
% 207.62/205.83 eprover: CPU time limit exceeded, terminating
% 209.65/207.84 eprover: CPU time limit exceeded, terminating
% 211.62/209.85 eprover: CPU time limit exceeded, terminating
% 213.69/211.87 eprover: CPU time limit exceeded, terminating
% 215.72/213.88 eprover: CPU time limit exceeded, terminating
% 217.69/215.89 eprover: CPU time limit exceeded, terminating
% 219.72/217.90 eprover: CPU time limit exceeded, terminating
% 221.77/219.92 eprover: CPU time limit exceeded, terminating
% 223.75/221.93 eprover: CPU time limit exceeded, terminating
% 225.79/223.94 eprover: CPU time limit exceeded, terminating
% 227.76/225.95 eprover: CPU time limit exceeded, terminating
% 229.81/227.96 eprover: CPU time limit exceeded, terminating
% 231.80/229.97 eprover: CPU time limit exceeded, terminating
% 233.87/231.98 eprover: CPU time limit exceeded, terminating
% 235.81/233.99 eprover: CPU time limit exceeded, terminating
% 237.88/236.01 eprover: CPU time limit exceeded, terminating
% 239.91/238.02 eprover: CPU time limit exceeded, terminating
% 241.92/240.03 eprover: CPU time limit exceeded, terminating
% 243.88/242.04 eprover: CPU time limit exceeded, terminating
% 245.93/244.06 eprover: CPU time limit exceeded, terminating
% 247.95/246.08 eprover: CPU time limit exceeded, terminating
% 249.92/248.09 eprover: CPU time limit exceeded, terminating
% 252.01/250.12 eprover: CPU time limit exceeded, terminating
% 253.98/252.13 eprover: CPU time limit exceeded, terminating
% 255.98/254.15 eprover: CPU time limit exceeded, terminating
% 258.01/256.16 eprover: CPU time limit exceeded, terminating
% 259.99/258.17 eprover: CPU time limit exceeded, terminating
% 262.01/260.18 eprover: CPU time limit exceeded, terminating
% 264.08/262.19 eprover: CPU time limit exceeded, terminating
% 266.01/264.20 eprover: CPU time limit exceeded, terminating
% 268.11/266.21 eprover: CPU time limit exceeded, terminating
% 270.11/268.22 eprover: CPU time limit exceeded, terminating
% 272.15/270.23 eprover: CPU time limit exceeded, terminating
% 274.14/272.24 eprover: CPU time limit exceeded, terminating
% 276.13/274.26 eprover: CPU time limit exceeded, terminating
% 278.14/276.27 eprover: CPU time limit exceeded, terminating
% 280.15/278.28 eprover: CPU time limit exceeded, terminating
% 282.22/280.30 eprover: CPU time limit exceeded, terminating
% 284.21/282.31 eprover: CPU time limit exceeded, terminating
% 286.22/284.33 eprover: CPU time limit exceeded, terminating
% 288.20/286.34 eprover: CPU time limit exceeded, terminating
% 290.24/288.35 eprover: CPU time limit exceeded, terminating
% 292.25/290.36 eprover: CPU time limit exceeded, terminating
% 294.28/292.37 eprover: CPU time limit exceeded, terminating
% 296.25/294.38 eprover: CPU time limit exceeded, terminating
% 298.32/296.39 eprover: CPU time limit exceeded, terminating
% 300.06/298.10 eprover: CPU time limit exceeded, terminating
% 300.06/298.13 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------