TSTP Solution File: SEU407+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SEU407+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n006.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:13:43 EDT 2022
% Result : Timeout 286.54s 256.56s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.12 % Problem : SEU407+2 : TPTP v8.1.0. Released v3.4.0.
% 0.04/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n006.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 : Sat Jun 18 20:13:26 EDT 2022
% 0.13/0.34 % CPUTime :
% 10.70/10.65 eprover: CPU time limit exceeded, terminating
% 12.90/12.66 eprover: CPU time limit exceeded, terminating
% 15.20/14.68 eprover: CPU time limit exceeded, terminating
% 17.44/16.69 eprover: CPU time limit exceeded, terminating
% 19.68/18.71 eprover: CPU time limit exceeded, terminating
% 21.90/20.72 eprover: CPU time limit exceeded, terminating
% 24.16/22.74 eprover: CPU time limit exceeded, terminating
% 26.38/24.76 eprover: CPU time limit exceeded, terminating
% 28.64/26.77 eprover: CPU time limit exceeded, terminating
% 30.88/28.79 eprover: CPU time limit exceeded, terminating
% 33.16/30.80 eprover: CPU time limit exceeded, terminating
% 35.33/32.82 eprover: CPU time limit exceeded, terminating
% 37.61/34.83 eprover: CPU time limit exceeded, terminating
% 39.87/36.85 eprover: CPU time limit exceeded, terminating
% 42.16/38.87 eprover: CPU time limit exceeded, terminating
% 44.36/40.88 eprover: CPU time limit exceeded, terminating
% 46.67/42.90 eprover: CPU time limit exceeded, terminating
% 48.91/44.91 eprover: CPU time limit exceeded, terminating
% 51.14/46.93 eprover: CPU time limit exceeded, terminating
% 53.35/48.94 eprover: CPU time limit exceeded, terminating
% 55.61/50.95 eprover: CPU time limit exceeded, terminating
% 57.86/52.96 eprover: CPU time limit exceeded, terminating
% 60.09/54.97 eprover: CPU time limit exceeded, terminating
% 62.38/56.99 eprover: CPU time limit exceeded, terminating
% 64.60/59.00 eprover: CPU time limit exceeded, terminating
% 66.84/61.01 eprover: CPU time limit exceeded, terminating
% 69.11/63.03 eprover: CPU time limit exceeded, terminating
% 71.33/65.04 eprover: CPU time limit exceeded, terminating
% 73.56/67.06 eprover: CPU time limit exceeded, terminating
% 75.78/69.07 eprover: CPU time limit exceeded, terminating
% 78.05/71.09 eprover: CPU time limit exceeded, terminating
% 80.30/73.10 eprover: CPU time limit exceeded, terminating
% 82.49/75.12 eprover: CPU time limit exceeded, terminating
% 86.69/77.14 eprover: CPU time limit exceeded, terminating
% 88.92/79.15 eprover: CPU time limit exceeded, terminating
% 91.16/81.17 eprover: CPU time limit exceeded, terminating
% 93.50/83.18 eprover: CPU time limit exceeded, terminating
% 95.71/85.20 eprover: CPU time limit exceeded, terminating
% 97.94/87.21 eprover: CPU time limit exceeded, terminating
% 100.22/89.23 eprover: CPU time limit exceeded, terminating
% 102.46/91.25 eprover: CPU time limit exceeded, terminating
% 104.67/93.26 eprover: CPU time limit exceeded, terminating
% 106.93/95.28 eprover: CPU time limit exceeded, terminating
% 109.14/97.29 eprover: CPU time limit exceeded, terminating
% 111.46/99.31 eprover: CPU time limit exceeded, terminating
% 113.72/101.33 eprover: CPU time limit exceeded, terminating
% 115.95/103.34 eprover: CPU time limit exceeded, terminating
% 118.18/105.36 eprover: CPU time limit exceeded, terminating
% 120.43/107.37 eprover: CPU time limit exceeded, terminating
% 122.71/109.39 eprover: CPU time limit exceeded, terminating
% 124.96/111.41 eprover: CPU time limit exceeded, terminating
% 127.20/113.42 eprover: CPU time limit exceeded, terminating
% 129.45/115.44 eprover: CPU time limit exceeded, terminating
% 131.66/117.45 eprover: CPU time limit exceeded, terminating
% 133.89/119.47 eprover: CPU time limit exceeded, terminating
% 136.13/121.49 eprover: CPU time limit exceeded, terminating
% 138.38/123.50 eprover: CPU time limit exceeded, terminating
% 140.72/125.52 eprover: CPU time limit exceeded, terminating
% 142.91/127.53 eprover: CPU time limit exceeded, terminating
% 145.16/129.55 eprover: CPU time limit exceeded, terminating
% 147.39/131.56 eprover: CPU time limit exceeded, terminating
% 149.69/133.58 eprover: CPU time limit exceeded, terminating
% 151.85/135.60 eprover: CPU time limit exceeded, terminating
% 154.18/137.61 eprover: CPU time limit exceeded, terminating
% 156.40/139.63 eprover: CPU time limit exceeded, terminating
% 158.65/141.65 eprover: CPU time limit exceeded, terminating
% 160.88/143.66 eprover: CPU time limit exceeded, terminating
% 163.13/145.68 eprover: CPU time limit exceeded, terminating
% 165.33/147.69 eprover: CPU time limit exceeded, terminating
% 167.66/149.71 eprover: CPU time limit exceeded, terminating
% 169.89/151.72 eprover: CPU time limit exceeded, terminating
% 172.13/153.74 eprover: CPU time limit exceeded, terminating
% 174.29/155.75 eprover: CPU time limit exceeded, terminating
% 176.54/157.77 eprover: CPU time limit exceeded, terminating
% 178.79/159.79 eprover: CPU time limit exceeded, terminating
% 181.01/161.80 eprover: CPU time limit exceeded, terminating
% 183.28/163.82 eprover: CPU time limit exceeded, terminating
% 185.53/165.83 eprover: CPU time limit exceeded, terminating
% 187.78/167.85 eprover: CPU time limit exceeded, terminating
% 189.98/169.86 eprover: CPU time limit exceeded, terminating
% 192.27/171.88 eprover: CPU time limit exceeded, terminating
% 194.52/173.90 eprover: CPU time limit exceeded, terminating
% 196.72/175.92 eprover: CPU time limit exceeded, terminating
% 198.98/177.93 eprover: CPU time limit exceeded, terminating
% 201.21/179.95 eprover: CPU time limit exceeded, terminating
% 203.44/181.97 eprover: CPU time limit exceeded, terminating
% 205.67/183.98 eprover: CPU time limit exceeded, terminating
% 207.92/186.00 eprover: CPU time limit exceeded, terminating
% 210.23/188.01 eprover: CPU time limit exceeded, terminating
% 212.44/190.03 eprover: CPU time limit exceeded, terminating
% 214.69/192.04 eprover: CPU time limit exceeded, terminating
% 216.89/194.06 eprover: CPU time limit exceeded, terminating
% 219.17/196.08 eprover: CPU time limit exceeded, terminating
% 221.43/198.09 eprover: CPU time limit exceeded, terminating
% 223.75/200.11 eprover: CPU time limit exceeded, terminating
% 225.95/202.13 eprover: CPU time limit exceeded, terminating
% 228.22/204.14 eprover: CPU time limit exceeded, terminating
% 230.45/206.16 eprover: CPU time limit exceeded, terminating
% 232.65/208.18 eprover: CPU time limit exceeded, terminating
% 234.99/210.19 eprover: CPU time limit exceeded, terminating
% 237.15/212.21 eprover: CPU time limit exceeded, terminating
% 239.48/214.22 eprover: CPU time limit exceeded, terminating
% 241.69/216.24 eprover: CPU time limit exceeded, terminating
% 243.90/218.25 eprover: CPU time limit exceeded, terminating
% 246.18/220.27 eprover: CPU time limit exceeded, terminating
% 248.39/222.29 eprover: CPU time limit exceeded, terminating
% 250.71/224.31 eprover: CPU time limit exceeded, terminating
% 252.95/226.32 eprover: CPU time limit exceeded, terminating
% 255.17/228.33 eprover: CPU time limit exceeded, terminating
% 257.42/230.35 eprover: CPU time limit exceeded, terminating
% 259.64/232.36 eprover: CPU time limit exceeded, terminating
% 261.89/234.38 eprover: CPU time limit exceeded, terminating
% 264.19/236.40 eprover: CPU time limit exceeded, terminating
% 266.43/238.41 eprover: CPU time limit exceeded, terminating
% 268.67/240.43 eprover: CPU time limit exceeded, terminating
% 270.86/242.45 eprover: CPU time limit exceeded, terminating
% 273.08/244.46 eprover: CPU time limit exceeded, terminating
% 275.29/246.48 eprover: CPU time limit exceeded, terminating
% 277.54/248.49 eprover: CPU time limit exceeded, terminating
% 279.86/250.51 eprover: CPU time limit exceeded, terminating
% 282.09/252.53 eprover: CPU time limit exceeded, terminating
% 284.35/254.54 eprover: CPU time limit exceeded, terminating
% 286.54/256.56 eprover: CPU time limit exceeded, terminating
% 288.80/258.57 eprover: CPU time limit exceeded, terminating
% 291.10/260.59 eprover: CPU time limit exceeded, terminating
% 293.33/262.61 eprover: CPU time limit exceeded, terminating
% 295.58/264.62 eprover: CPU time limit exceeded, terminating
% 297.82/266.64 eprover: CPU time limit exceeded, terminating
% 300.02/268.60 eprover: CPU time limit exceeded, terminating
% 300.02/268.62 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------