TSTP Solution File: ALG367-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : ALG367-1 : TPTP v8.1.0. Released v4.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n022.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:05 EDT 2022
% Result : Timeout 286.89s 280.65s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11 % Problem : ALG367-1 : TPTP v8.1.0. Released v4.1.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.11/0.33 % Computer : n022.cluster.edu
% 0.11/0.33 % Model : x86_64 x86_64
% 0.11/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.11/0.33 % Memory : 8042.1875MB
% 0.11/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.11/0.33 % CPULimit : 300
% 0.11/0.33 % WCLimit : 600
% 0.11/0.33 % DateTime : Wed Jun 8 13:29:35 EDT 2022
% 0.11/0.33 % CPUTime :
% 2.81/3.00 eprover: CPU time limit exceeded, terminating
% 4.87/5.01 eprover: CPU time limit exceeded, terminating
% 6.97/7.02 eprover: CPU time limit exceeded, terminating
% 8.96/9.03 eprover: CPU time limit exceeded, terminating
% 11.09/11.04 eprover: CPU time limit exceeded, terminating
% 13.09/13.05 eprover: CPU time limit exceeded, terminating
% 15.19/15.06 eprover: CPU time limit exceeded, terminating
% 17.19/17.07 eprover: CPU time limit exceeded, terminating
% 19.24/19.10 eprover: CPU time limit exceeded, terminating
% 21.33/21.12 eprover: CPU time limit exceeded, terminating
% 23.42/23.13 eprover: CPU time limit exceeded, terminating
% 25.42/25.14 eprover: CPU time limit exceeded, terminating
% 27.51/27.15 eprover: CPU time limit exceeded, terminating
% 29.59/29.16 eprover: CPU time limit exceeded, terminating
% 31.58/31.17 eprover: CPU time limit exceeded, terminating
% 33.68/33.18 eprover: CPU time limit exceeded, terminating
% 35.71/35.19 eprover: CPU time limit exceeded, terminating
% 37.79/37.21 eprover: CPU time limit exceeded, terminating
% 39.86/39.22 eprover: CPU time limit exceeded, terminating
% 41.89/41.23 eprover: CPU time limit exceeded, terminating
% 43.91/43.24 eprover: CPU time limit exceeded, terminating
% 45.98/45.25 eprover: CPU time limit exceeded, terminating
% 48.08/47.26 eprover: CPU time limit exceeded, terminating
% 50.15/49.27 eprover: CPU time limit exceeded, terminating
% 52.17/51.28 eprover: CPU time limit exceeded, terminating
% 54.24/53.30 eprover: CPU time limit exceeded, terminating
% 56.30/55.31 eprover: CPU time limit exceeded, terminating
% 58.39/57.32 eprover: CPU time limit exceeded, terminating
% 60.45/59.33 eprover: CPU time limit exceeded, terminating
% 62.44/61.34 eprover: CPU time limit exceeded, terminating
% 64.58/63.35 eprover: CPU time limit exceeded, terminating
% 66.62/65.36 eprover: CPU time limit exceeded, terminating
% 68.68/67.37 eprover: CPU time limit exceeded, terminating
% 70.74/69.38 eprover: CPU time limit exceeded, terminating
% 72.78/71.39 eprover: CPU time limit exceeded, terminating
% 74.86/73.41 eprover: CPU time limit exceeded, terminating
% 76.93/75.42 eprover: CPU time limit exceeded, terminating
% 78.96/77.43 eprover: CPU time limit exceeded, terminating
% 81.02/79.44 eprover: CPU time limit exceeded, terminating
% 83.06/81.45 eprover: CPU time limit exceeded, terminating
% 85.12/83.46 eprover: CPU time limit exceeded, terminating
% 87.19/85.47 eprover: CPU time limit exceeded, terminating
% 89.27/87.48 eprover: CPU time limit exceeded, terminating
% 91.32/89.50 eprover: CPU time limit exceeded, terminating
% 93.38/91.51 eprover: CPU time limit exceeded, terminating
% 95.43/93.52 eprover: CPU time limit exceeded, terminating
% 97.50/95.53 eprover: CPU time limit exceeded, terminating
% 99.54/97.54 eprover: CPU time limit exceeded, terminating
% 101.61/99.55 eprover: CPU time limit exceeded, terminating
% 103.67/101.56 eprover: CPU time limit exceeded, terminating
% 105.71/103.58 eprover: CPU time limit exceeded, terminating
% 107.77/105.59 eprover: CPU time limit exceeded, terminating
% 109.82/107.60 eprover: CPU time limit exceeded, terminating
% 111.89/109.61 eprover: CPU time limit exceeded, terminating
% 113.97/111.62 eprover: CPU time limit exceeded, terminating
% 115.99/113.63 eprover: CPU time limit exceeded, terminating
% 118.06/115.64 eprover: CPU time limit exceeded, terminating
% 120.10/117.65 eprover: CPU time limit exceeded, terminating
% 122.21/119.66 eprover: CPU time limit exceeded, terminating
% 124.21/121.67 eprover: CPU time limit exceeded, terminating
% 126.28/123.68 eprover: CPU time limit exceeded, terminating
% 128.35/125.70 eprover: CPU time limit exceeded, terminating
% 130.36/127.71 eprover: CPU time limit exceeded, terminating
% 132.48/129.72 eprover: CPU time limit exceeded, terminating
% 134.56/131.73 eprover: CPU time limit exceeded, terminating
% 136.58/133.74 eprover: CPU time limit exceeded, terminating
% 138.67/135.75 eprover: CPU time limit exceeded, terminating
% 140.68/137.76 eprover: CPU time limit exceeded, terminating
% 142.78/139.77 eprover: CPU time limit exceeded, terminating
% 144.85/141.78 eprover: CPU time limit exceeded, terminating
% 146.88/143.80 eprover: CPU time limit exceeded, terminating
% 148.92/145.81 eprover: CPU time limit exceeded, terminating
% 150.96/147.82 eprover: CPU time limit exceeded, terminating
% 153.04/149.84 eprover: CPU time limit exceeded, terminating
% 155.13/151.85 eprover: CPU time limit exceeded, terminating
% 157.20/153.86 eprover: CPU time limit exceeded, terminating
% 159.25/155.87 eprover: CPU time limit exceeded, terminating
% 161.31/157.88 eprover: CPU time limit exceeded, terminating
% 163.34/159.91 eprover: CPU time limit exceeded, terminating
% 165.44/161.92 eprover: CPU time limit exceeded, terminating
% 167.50/163.93 eprover: CPU time limit exceeded, terminating
% 169.49/165.94 eprover: CPU time limit exceeded, terminating
% 171.59/167.95 eprover: CPU time limit exceeded, terminating
% 173.59/169.97 eprover: CPU time limit exceeded, terminating
% 175.74/171.98 eprover: CPU time limit exceeded, terminating
% 177.79/173.99 eprover: CPU time limit exceeded, terminating
% 179.85/176.01 eprover: CPU time limit exceeded, terminating
% 181.90/178.02 eprover: CPU time limit exceeded, terminating
% 183.97/180.04 eprover: CPU time limit exceeded, terminating
% 186.00/182.05 eprover: CPU time limit exceeded, terminating
% 188.06/184.06 eprover: CPU time limit exceeded, terminating
% 190.07/186.07 eprover: CPU time limit exceeded, terminating
% 192.20/188.08 eprover: CPU time limit exceeded, terminating
% 194.23/190.10 eprover: CPU time limit exceeded, terminating
% 196.32/192.11 eprover: CPU time limit exceeded, terminating
% 198.38/194.12 eprover: CPU time limit exceeded, terminating
% 200.40/196.13 eprover: CPU time limit exceeded, terminating
% 202.51/198.14 eprover: CPU time limit exceeded, terminating
% 204.50/200.17 eprover: CPU time limit exceeded, terminating
% 206.58/202.18 eprover: CPU time limit exceeded, terminating
% 208.65/204.19 eprover: CPU time limit exceeded, terminating
% 210.66/206.20 eprover: CPU time limit exceeded, terminating
% 212.73/208.21 eprover: CPU time limit exceeded, terminating
% 214.84/210.23 eprover: CPU time limit exceeded, terminating
% 216.84/212.24 eprover: CPU time limit exceeded, terminating
% 218.95/214.25 eprover: CPU time limit exceeded, terminating
% 220.94/216.26 eprover: CPU time limit exceeded, terminating
% 223.04/218.27 eprover: CPU time limit exceeded, terminating
% 225.12/220.30 eprover: CPU time limit exceeded, terminating
% 227.12/222.30 eprover: CPU time limit exceeded, terminating
% 229.22/224.31 eprover: CPU time limit exceeded, terminating
% 231.29/226.33 eprover: CPU time limit exceeded, terminating
% 233.29/228.34 eprover: CPU time limit exceeded, terminating
% 235.38/230.35 eprover: CPU time limit exceeded, terminating
% 237.48/232.36 eprover: CPU time limit exceeded, terminating
% 239.49/234.37 eprover: CPU time limit exceeded, terminating
% 241.59/236.39 eprover: CPU time limit exceeded, terminating
% 243.59/238.40 eprover: CPU time limit exceeded, terminating
% 245.69/240.41 eprover: CPU time limit exceeded, terminating
% 247.70/242.42 eprover: CPU time limit exceeded, terminating
% 249.77/244.43 eprover: CPU time limit exceeded, terminating
% 251.86/246.45 eprover: CPU time limit exceeded, terminating
% 253.96/248.46 eprover: CPU time limit exceeded, terminating
% 255.96/250.47 eprover: CPU time limit exceeded, terminating
% 258.04/252.48 eprover: CPU time limit exceeded, terminating
% 260.06/254.49 eprover: CPU time limit exceeded, terminating
% 262.18/256.51 eprover: CPU time limit exceeded, terminating
% 264.23/258.52 eprover: CPU time limit exceeded, terminating
% 266.33/260.53 eprover: CPU time limit exceeded, terminating
% 268.38/262.54 eprover: CPU time limit exceeded, terminating
% 270.42/264.56 eprover: CPU time limit exceeded, terminating
% 272.50/266.57 eprover: CPU time limit exceeded, terminating
% 274.53/268.58 eprover: CPU time limit exceeded, terminating
% 276.62/270.59 eprover: CPU time limit exceeded, terminating
% 278.65/272.61 eprover: CPU time limit exceeded, terminating
% 280.66/274.62 eprover: CPU time limit exceeded, terminating
% 282.82/276.63 eprover: CPU time limit exceeded, terminating
% 284.88/278.64 eprover: CPU time limit exceeded, terminating
% 286.89/280.65 eprover: CPU time limit exceeded, terminating
% 288.98/282.67 eprover: CPU time limit exceeded, terminating
% 291.02/284.68 eprover: CPU time limit exceeded, terminating
% 293.10/286.69 eprover: CPU time limit exceeded, terminating
% 295.18/288.70 eprover: CPU time limit exceeded, terminating
% 297.25/290.71 eprover: CPU time limit exceeded, terminating
% 299.29/292.73 eprover: CPU time limit exceeded, terminating
% 300.03/293.41 eprover: CPU time limit exceeded, terminating
% 300.03/293.43 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------