TSTP Solution File: SEU451+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SEU451+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n032.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:17 EDT 2022
% Result : Timeout 287.08s 266.35s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.10 % Problem : SEU451+2 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.10 % Command : run_infinox %s
% 0.10/0.29 % Computer : n032.cluster.edu
% 0.10/0.29 % Model : x86_64 x86_64
% 0.10/0.29 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.10/0.29 % Memory : 8042.1875MB
% 0.10/0.29 % OS : Linux 3.10.0-693.el7.x86_64
% 0.10/0.29 % CPULimit : 300
% 0.10/0.29 % WCLimit : 600
% 0.10/0.29 % DateTime : Mon Jun 20 05:10:19 EDT 2022
% 0.10/0.29 % CPUTime :
% 16.83/16.92 eprover: CPU time limit exceeded, terminating
% 19.10/18.93 eprover: CPU time limit exceeded, terminating
% 21.21/20.95 eprover: CPU time limit exceeded, terminating
% 23.45/22.96 eprover: CPU time limit exceeded, terminating
% 25.62/24.97 eprover: CPU time limit exceeded, terminating
% 27.80/26.98 eprover: CPU time limit exceeded, terminating
% 29.95/28.99 eprover: CPU time limit exceeded, terminating
% 32.15/31.00 eprover: CPU time limit exceeded, terminating
% 34.30/33.01 eprover: CPU time limit exceeded, terminating
% 36.49/35.03 eprover: CPU time limit exceeded, terminating
% 38.70/37.04 eprover: CPU time limit exceeded, terminating
% 40.80/39.05 eprover: CPU time limit exceeded, terminating
% 43.03/41.06 eprover: CPU time limit exceeded, terminating
% 45.20/43.07 eprover: CPU time limit exceeded, terminating
% 47.33/45.08 eprover: CPU time limit exceeded, terminating
% 49.56/47.09 eprover: CPU time limit exceeded, terminating
% 51.74/49.10 eprover: CPU time limit exceeded, terminating
% 53.92/51.12 eprover: CPU time limit exceeded, terminating
% 56.03/53.13 eprover: CPU time limit exceeded, terminating
% 58.23/55.14 eprover: CPU time limit exceeded, terminating
% 60.44/57.15 eprover: CPU time limit exceeded, terminating
% 62.64/59.16 eprover: CPU time limit exceeded, terminating
% 64.77/61.17 eprover: CPU time limit exceeded, terminating
% 66.98/63.19 eprover: CPU time limit exceeded, terminating
% 69.19/65.20 eprover: CPU time limit exceeded, terminating
% 71.33/67.21 eprover: CPU time limit exceeded, terminating
% 73.52/69.22 eprover: CPU time limit exceeded, terminating
% 75.71/71.23 eprover: CPU time limit exceeded, terminating
% 77.91/73.24 eprover: CPU time limit exceeded, terminating
% 80.00/75.26 eprover: CPU time limit exceeded, terminating
% 82.25/77.27 eprover: CPU time limit exceeded, terminating
% 84.46/79.28 eprover: CPU time limit exceeded, terminating
% 86.58/81.30 eprover: CPU time limit exceeded, terminating
% 88.79/83.31 eprover: CPU time limit exceeded, terminating
% 90.97/85.32 eprover: CPU time limit exceeded, terminating
% 93.18/87.33 eprover: CPU time limit exceeded, terminating
% 95.34/89.34 eprover: CPU time limit exceeded, terminating
% 97.52/91.36 eprover: CPU time limit exceeded, terminating
% 99.63/93.37 eprover: CPU time limit exceeded, terminating
% 101.84/95.38 eprover: CPU time limit exceeded, terminating
% 104.06/97.39 eprover: CPU time limit exceeded, terminating
% 106.22/99.40 eprover: CPU time limit exceeded, terminating
% 108.42/101.42 eprover: CPU time limit exceeded, terminating
% 110.64/103.43 eprover: CPU time limit exceeded, terminating
% 112.76/105.44 eprover: CPU time limit exceeded, terminating
% 114.96/107.45 eprover: CPU time limit exceeded, terminating
% 117.14/109.46 eprover: CPU time limit exceeded, terminating
% 119.26/111.48 eprover: CPU time limit exceeded, terminating
% 121.49/113.49 eprover: CPU time limit exceeded, terminating
% 123.71/115.50 eprover: CPU time limit exceeded, terminating
% 125.82/117.51 eprover: CPU time limit exceeded, terminating
% 128.05/119.53 eprover: CPU time limit exceeded, terminating
% 130.23/121.54 eprover: CPU time limit exceeded, terminating
% 132.37/123.55 eprover: CPU time limit exceeded, terminating
% 134.56/125.57 eprover: CPU time limit exceeded, terminating
% 136.81/127.58 eprover: CPU time limit exceeded, terminating
% 138.91/129.59 eprover: CPU time limit exceeded, terminating
% 141.15/131.60 eprover: CPU time limit exceeded, terminating
% 143.34/133.61 eprover: CPU time limit exceeded, terminating
% 145.47/135.62 eprover: CPU time limit exceeded, terminating
% 147.70/137.63 eprover: CPU time limit exceeded, terminating
% 149.83/139.64 eprover: CPU time limit exceeded, terminating
% 152.01/141.65 eprover: CPU time limit exceeded, terminating
% 154.19/143.66 eprover: CPU time limit exceeded, terminating
% 156.42/145.67 eprover: CPU time limit exceeded, terminating
% 158.53/147.68 eprover: CPU time limit exceeded, terminating
% 160.72/149.69 eprover: CPU time limit exceeded, terminating
% 162.94/151.70 eprover: CPU time limit exceeded, terminating
% 165.14/153.71 eprover: CPU time limit exceeded, terminating
% 167.30/155.72 eprover: CPU time limit exceeded, terminating
% 169.46/157.74 eprover: CPU time limit exceeded, terminating
% 171.64/159.75 eprover: CPU time limit exceeded, terminating
% 173.81/161.76 eprover: CPU time limit exceeded, terminating
% 175.94/163.77 eprover: CPU time limit exceeded, terminating
% 178.13/165.78 eprover: CPU time limit exceeded, terminating
% 180.37/167.79 eprover: CPU time limit exceeded, terminating
% 182.49/169.80 eprover: CPU time limit exceeded, terminating
% 184.70/171.84 eprover: CPU time limit exceeded, terminating
% 186.86/173.85 eprover: CPU time limit exceeded, terminating
% 189.05/175.86 eprover: CPU time limit exceeded, terminating
% 191.21/177.87 eprover: CPU time limit exceeded, terminating
% 193.37/179.88 eprover: CPU time limit exceeded, terminating
% 195.55/181.89 eprover: CPU time limit exceeded, terminating
% 197.72/183.90 eprover: CPU time limit exceeded, terminating
% 199.99/185.91 eprover: CPU time limit exceeded, terminating
% 202.14/187.92 eprover: CPU time limit exceeded, terminating
% 204.33/189.93 eprover: CPU time limit exceeded, terminating
% 206.45/191.94 eprover: CPU time limit exceeded, terminating
% 208.63/193.95 eprover: CPU time limit exceeded, terminating
% 210.80/195.96 eprover: CPU time limit exceeded, terminating
% 212.99/197.97 eprover: CPU time limit exceeded, terminating
% 215.13/199.98 eprover: CPU time limit exceeded, terminating
% 217.38/202.00 eprover: CPU time limit exceeded, terminating
% 219.57/204.01 eprover: CPU time limit exceeded, terminating
% 221.72/206.02 eprover: CPU time limit exceeded, terminating
% 223.89/208.03 eprover: CPU time limit exceeded, terminating
% 226.07/210.04 eprover: CPU time limit exceeded, terminating
% 228.22/212.05 eprover: CPU time limit exceeded, terminating
% 230.39/214.06 eprover: CPU time limit exceeded, terminating
% 232.57/216.07 eprover: CPU time limit exceeded, terminating
% 234.72/218.08 eprover: CPU time limit exceeded, terminating
% 236.98/220.09 eprover: CPU time limit exceeded, terminating
% 239.16/222.10 eprover: CPU time limit exceeded, terminating
% 241.31/224.11 eprover: CPU time limit exceeded, terminating
% 243.45/226.12 eprover: CPU time limit exceeded, terminating
% 245.66/228.13 eprover: CPU time limit exceeded, terminating
% 247.83/230.15 eprover: CPU time limit exceeded, terminating
% 249.97/232.16 eprover: CPU time limit exceeded, terminating
% 252.12/234.17 eprover: CPU time limit exceeded, terminating
% 254.32/236.18 eprover: CPU time limit exceeded, terminating
% 256.57/238.19 eprover: CPU time limit exceeded, terminating
% 258.65/240.20 eprover: CPU time limit exceeded, terminating
% 260.92/242.21 eprover: CPU time limit exceeded, terminating
% 263.09/244.22 eprover: CPU time limit exceeded, terminating
% 265.29/246.23 eprover: CPU time limit exceeded, terminating
% 267.43/248.24 eprover: CPU time limit exceeded, terminating
% 269.63/250.26 eprover: CPU time limit exceeded, terminating
% 271.79/252.27 eprover: CPU time limit exceeded, terminating
% 273.95/254.28 eprover: CPU time limit exceeded, terminating
% 276.22/256.29 eprover: CPU time limit exceeded, terminating
% 278.39/258.30 eprover: CPU time limit exceeded, terminating
% 280.56/260.31 eprover: CPU time limit exceeded, terminating
% 282.73/262.33 eprover: CPU time limit exceeded, terminating
% 284.89/264.34 eprover: CPU time limit exceeded, terminating
% 287.08/266.35 eprover: CPU time limit exceeded, terminating
% 289.23/268.36 eprover: CPU time limit exceeded, terminating
% 291.41/270.37 eprover: CPU time limit exceeded, terminating
% 293.67/272.39 eprover: CPU time limit exceeded, terminating
% 295.84/274.40 eprover: CPU time limit exceeded, terminating
% 298.02/276.41 eprover: CPU time limit exceeded, terminating
% 300.08/278.29 eprover: CPU time limit exceeded, terminating
% 300.08/278.31 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------