TSTP Solution File: ALG343-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : ALG343-1 : TPTP v8.1.0. Released v4.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n017.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 : Thu Jul 14 17:01:02 EDT 2022
% Result : Timeout 286.64s 280.63s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : ALG343-1 : TPTP v8.1.0. Released v4.1.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n017.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 : Wed Jun 8 16:46:48 EDT 2022
% 0.12/0.33 % CPUTime :
% 2.87/3.01 eprover: CPU time limit exceeded, terminating
% 4.90/5.02 eprover: CPU time limit exceeded, terminating
% 6.98/7.03 eprover: CPU time limit exceeded, terminating
% 9.05/9.04 eprover: CPU time limit exceeded, terminating
% 11.08/11.05 eprover: CPU time limit exceeded, terminating
% 13.15/13.07 eprover: CPU time limit exceeded, terminating
% 15.19/15.08 eprover: CPU time limit exceeded, terminating
% 17.24/17.09 eprover: CPU time limit exceeded, terminating
% 19.34/19.10 eprover: CPU time limit exceeded, terminating
% 21.36/21.11 eprover: CPU time limit exceeded, terminating
% 23.45/23.12 eprover: CPU time limit exceeded, terminating
% 25.52/25.13 eprover: CPU time limit exceeded, terminating
% 27.48/27.14 eprover: CPU time limit exceeded, terminating
% 29.63/29.16 eprover: CPU time limit exceeded, terminating
% 31.67/31.17 eprover: CPU time limit exceeded, terminating
% 33.70/33.18 eprover: CPU time limit exceeded, terminating
% 35.78/35.19 eprover: CPU time limit exceeded, terminating
% 37.86/37.21 eprover: CPU time limit exceeded, terminating
% 39.88/39.22 eprover: CPU time limit exceeded, terminating
% 41.92/41.23 eprover: CPU time limit exceeded, terminating
% 43.99/43.24 eprover: CPU time limit exceeded, terminating
% 46.12/45.25 eprover: CPU time limit exceeded, terminating
% 48.15/47.27 eprover: CPU time limit exceeded, terminating
% 50.23/49.28 eprover: CPU time limit exceeded, terminating
% 52.26/51.29 eprover: CPU time limit exceeded, terminating
% 54.32/53.30 eprover: CPU time limit exceeded, terminating
% 56.35/55.31 eprover: CPU time limit exceeded, terminating
% 58.46/57.32 eprover: CPU time limit exceeded, terminating
% 60.46/59.33 eprover: CPU time limit exceeded, terminating
% 62.56/61.35 eprover: CPU time limit exceeded, terminating
% 64.64/63.36 eprover: CPU time limit exceeded, terminating
% 66.68/65.37 eprover: CPU time limit exceeded, terminating
% 68.73/67.38 eprover: CPU time limit exceeded, terminating
% 70.77/69.40 eprover: CPU time limit exceeded, terminating
% 72.88/71.41 eprover: CPU time limit exceeded, terminating
% 74.87/73.42 eprover: CPU time limit exceeded, terminating
% 76.97/75.43 eprover: CPU time limit exceeded, terminating
% 78.98/77.45 eprover: CPU time limit exceeded, terminating
% 81.09/79.46 eprover: CPU time limit exceeded, terminating
% 83.14/81.47 eprover: CPU time limit exceeded, terminating
% 85.17/83.49 eprover: CPU time limit exceeded, terminating
% 87.19/85.52 eprover: CPU time limit exceeded, terminating
% 89.30/87.53 eprover: CPU time limit exceeded, terminating
% 91.25/89.54 eprover: CPU time limit exceeded, terminating
% 93.38/91.55 eprover: CPU time limit exceeded, terminating
% 95.44/93.56 eprover: CPU time limit exceeded, terminating
% 97.48/95.58 eprover: CPU time limit exceeded, terminating
% 99.54/97.59 eprover: CPU time limit exceeded, terminating
% 101.57/99.60 eprover: CPU time limit exceeded, terminating
% 103.65/101.61 eprover: CPU time limit exceeded, terminating
% 105.66/103.62 eprover: CPU time limit exceeded, terminating
% 107.69/105.63 eprover: CPU time limit exceeded, terminating
% 109.72/107.64 eprover: CPU time limit exceeded, terminating
% 111.83/109.65 eprover: CPU time limit exceeded, terminating
% 113.88/111.67 eprover: CPU time limit exceeded, terminating
% 115.92/113.68 eprover: CPU time limit exceeded, terminating
% 117.95/115.69 eprover: CPU time limit exceeded, terminating
% 120.00/117.71 eprover: CPU time limit exceeded, terminating
% 122.11/119.72 eprover: CPU time limit exceeded, terminating
% 124.16/121.73 eprover: CPU time limit exceeded, terminating
% 126.16/123.74 eprover: CPU time limit exceeded, terminating
% 128.24/125.75 eprover: CPU time limit exceeded, terminating
% 130.32/127.76 eprover: CPU time limit exceeded, terminating
% 132.37/129.77 eprover: CPU time limit exceeded, terminating
% 134.43/131.78 eprover: CPU time limit exceeded, terminating
% 136.47/133.80 eprover: CPU time limit exceeded, terminating
% 138.55/135.81 eprover: CPU time limit exceeded, terminating
% 140.56/137.82 eprover: CPU time limit exceeded, terminating
% 142.65/139.83 eprover: CPU time limit exceeded, terminating
% 144.73/141.84 eprover: CPU time limit exceeded, terminating
% 146.79/143.85 eprover: CPU time limit exceeded, terminating
% 148.83/145.86 eprover: CPU time limit exceeded, terminating
% 150.89/147.87 eprover: CPU time limit exceeded, terminating
% 152.94/149.88 eprover: CPU time limit exceeded, terminating
% 155.01/151.90 eprover: CPU time limit exceeded, terminating
% 157.06/153.91 eprover: CPU time limit exceeded, terminating
% 159.09/155.92 eprover: CPU time limit exceeded, terminating
% 161.17/157.93 eprover: CPU time limit exceeded, terminating
% 163.21/159.94 eprover: CPU time limit exceeded, terminating
% 165.26/161.95 eprover: CPU time limit exceeded, terminating
% 167.34/163.96 eprover: CPU time limit exceeded, terminating
% 169.41/165.98 eprover: CPU time limit exceeded, terminating
% 171.45/167.99 eprover: CPU time limit exceeded, terminating
% 173.49/170.00 eprover: CPU time limit exceeded, terminating
% 175.57/172.01 eprover: CPU time limit exceeded, terminating
% 177.62/174.02 eprover: CPU time limit exceeded, terminating
% 179.65/176.03 eprover: CPU time limit exceeded, terminating
% 181.73/178.04 eprover: CPU time limit exceeded, terminating
% 183.75/180.05 eprover: CPU time limit exceeded, terminating
% 185.84/182.06 eprover: CPU time limit exceeded, terminating
% 187.92/184.07 eprover: CPU time limit exceeded, terminating
% 189.96/186.08 eprover: CPU time limit exceeded, terminating
% 192.01/188.10 eprover: CPU time limit exceeded, terminating
% 194.06/190.11 eprover: CPU time limit exceeded, terminating
% 196.15/192.12 eprover: CPU time limit exceeded, terminating
% 198.15/194.13 eprover: CPU time limit exceeded, terminating
% 200.27/196.14 eprover: CPU time limit exceeded, terminating
% 202.31/198.15 eprover: CPU time limit exceeded, terminating
% 204.38/200.16 eprover: CPU time limit exceeded, terminating
% 206.38/202.17 eprover: CPU time limit exceeded, terminating
% 208.46/204.18 eprover: CPU time limit exceeded, terminating
% 210.55/206.20 eprover: CPU time limit exceeded, terminating
% 212.60/208.21 eprover: CPU time limit exceeded, terminating
% 214.63/210.22 eprover: CPU time limit exceeded, terminating
% 216.66/212.23 eprover: CPU time limit exceeded, terminating
% 218.77/214.24 eprover: CPU time limit exceeded, terminating
% 220.80/216.25 eprover: CPU time limit exceeded, terminating
% 222.89/218.27 eprover: CPU time limit exceeded, terminating
% 224.94/220.28 eprover: CPU time limit exceeded, terminating
% 227.00/222.29 eprover: CPU time limit exceeded, terminating
% 229.02/224.30 eprover: CPU time limit exceeded, terminating
% 231.12/226.31 eprover: CPU time limit exceeded, terminating
% 233.13/228.33 eprover: CPU time limit exceeded, terminating
% 235.24/230.34 eprover: CPU time limit exceeded, terminating
% 237.27/232.35 eprover: CPU time limit exceeded, terminating
% 239.35/234.36 eprover: CPU time limit exceeded, terminating
% 241.36/236.37 eprover: CPU time limit exceeded, terminating
% 243.44/238.38 eprover: CPU time limit exceeded, terminating
% 245.51/240.39 eprover: CPU time limit exceeded, terminating
% 247.57/242.41 eprover: CPU time limit exceeded, terminating
% 249.59/244.42 eprover: CPU time limit exceeded, terminating
% 251.69/246.43 eprover: CPU time limit exceeded, terminating
% 253.77/248.44 eprover: CPU time limit exceeded, terminating
% 255.82/250.45 eprover: CPU time limit exceeded, terminating
% 257.84/252.47 eprover: CPU time limit exceeded, terminating
% 259.92/254.48 eprover: CPU time limit exceeded, terminating
% 261.94/256.49 eprover: CPU time limit exceeded, terminating
% 264.00/258.50 eprover: CPU time limit exceeded, terminating
% 266.09/260.51 eprover: CPU time limit exceeded, terminating
% 268.14/262.53 eprover: CPU time limit exceeded, terminating
% 270.18/264.54 eprover: CPU time limit exceeded, terminating
% 272.22/266.55 eprover: CPU time limit exceeded, terminating
% 274.35/268.56 eprover: CPU time limit exceeded, terminating
% 276.41/270.57 eprover: CPU time limit exceeded, terminating
% 278.43/272.58 eprover: CPU time limit exceeded, terminating
% 280.47/274.60 eprover: CPU time limit exceeded, terminating
% 282.51/276.61 eprover: CPU time limit exceeded, terminating
% 284.55/278.62 eprover: CPU time limit exceeded, terminating
% 286.64/280.63 eprover: CPU time limit exceeded, terminating
% 288.72/282.64 eprover: CPU time limit exceeded, terminating
% 290.76/284.65 eprover: CPU time limit exceeded, terminating
% 292.83/286.67 eprover: CPU time limit exceeded, terminating
% 294.89/288.68 eprover: CPU time limit exceeded, terminating
% 296.99/290.69 eprover: CPU time limit exceeded, terminating
% 298.98/292.70 eprover: CPU time limit exceeded, terminating
% 300.05/293.67 eprover: CPU time limit exceeded, terminating
% 300.05/293.68 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------