TSTP Solution File: ALG381-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : ALG381-1 : TPTP v8.1.0. Released v4.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n021.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:06 EDT 2022
% Result : Timeout 286.42s 282.54s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : ALG381-1 : TPTP v8.1.0. Released v4.1.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.13/0.33 % Computer : n021.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33 % CPULimit : 300
% 0.13/0.33 % WCLimit : 600
% 0.13/0.33 % DateTime : Wed Jun 8 13:37:07 EDT 2022
% 0.13/0.33 % CPUTime :
% 2.60/2.82 eprover: CPU time limit exceeded, terminating
% 4.66/4.83 eprover: CPU time limit exceeded, terminating
% 6.74/6.84 eprover: CPU time limit exceeded, terminating
% 8.79/8.85 eprover: CPU time limit exceeded, terminating
% 10.83/10.86 eprover: CPU time limit exceeded, terminating
% 12.86/12.87 eprover: CPU time limit exceeded, terminating
% 14.91/14.88 eprover: CPU time limit exceeded, terminating
% 16.93/16.89 eprover: CPU time limit exceeded, terminating
% 19.01/18.91 eprover: CPU time limit exceeded, terminating
% 20.99/20.92 eprover: CPU time limit exceeded, terminating
% 23.00/22.93 eprover: CPU time limit exceeded, terminating
% 25.12/24.94 eprover: CPU time limit exceeded, terminating
% 27.15/26.95 eprover: CPU time limit exceeded, terminating
% 29.16/28.96 eprover: CPU time limit exceeded, terminating
% 31.23/30.97 eprover: CPU time limit exceeded, terminating
% 33.26/32.99 eprover: CPU time limit exceeded, terminating
% 35.32/35.00 eprover: CPU time limit exceeded, terminating
% 37.33/37.01 eprover: CPU time limit exceeded, terminating
% 39.42/39.02 eprover: CPU time limit exceeded, terminating
% 41.40/41.03 eprover: CPU time limit exceeded, terminating
% 43.42/43.04 eprover: CPU time limit exceeded, terminating
% 45.54/45.05 eprover: CPU time limit exceeded, terminating
% 47.55/47.06 eprover: CPU time limit exceeded, terminating
% 49.60/49.07 eprover: CPU time limit exceeded, terminating
% 51.61/51.11 eprover: CPU time limit exceeded, terminating
% 53.68/53.14 eprover: CPU time limit exceeded, terminating
% 55.74/55.15 eprover: CPU time limit exceeded, terminating
% 57.76/57.17 eprover: CPU time limit exceeded, terminating
% 59.82/59.18 eprover: CPU time limit exceeded, terminating
% 61.84/61.19 eprover: CPU time limit exceeded, terminating
% 63.90/63.21 eprover: CPU time limit exceeded, terminating
% 65.88/65.23 eprover: CPU time limit exceeded, terminating
% 67.98/67.24 eprover: CPU time limit exceeded, terminating
% 70.01/69.26 eprover: CPU time limit exceeded, terminating
% 72.03/71.27 eprover: CPU time limit exceeded, terminating
% 74.07/73.28 eprover: CPU time limit exceeded, terminating
% 76.09/75.29 eprover: CPU time limit exceeded, terminating
% 78.11/77.30 eprover: CPU time limit exceeded, terminating
% 80.15/79.31 eprover: CPU time limit exceeded, terminating
% 82.25/81.32 eprover: CPU time limit exceeded, terminating
% 84.31/83.33 eprover: CPU time limit exceeded, terminating
% 86.29/85.34 eprover: CPU time limit exceeded, terminating
% 88.30/87.35 eprover: CPU time limit exceeded, terminating
% 90.43/89.36 eprover: CPU time limit exceeded, terminating
% 92.41/91.42 eprover: CPU time limit exceeded, terminating
% 94.47/93.42 eprover: CPU time limit exceeded, terminating
% 96.47/95.44 eprover: CPU time limit exceeded, terminating
% 98.60/97.44 eprover: CPU time limit exceeded, terminating
% 100.65/99.45 eprover: CPU time limit exceeded, terminating
% 102.66/101.47 eprover: CPU time limit exceeded, terminating
% 104.71/103.48 eprover: CPU time limit exceeded, terminating
% 106.71/105.49 eprover: CPU time limit exceeded, terminating
% 108.76/107.50 eprover: CPU time limit exceeded, terminating
% 110.78/109.53 eprover: CPU time limit exceeded, terminating
% 112.85/111.54 eprover: CPU time limit exceeded, terminating
% 114.90/113.55 eprover: CPU time limit exceeded, terminating
% 116.89/115.57 eprover: CPU time limit exceeded, terminating
% 118.94/117.58 eprover: CPU time limit exceeded, terminating
% 121.02/119.60 eprover: CPU time limit exceeded, terminating
% 123.05/121.61 eprover: CPU time limit exceeded, terminating
% 125.08/123.62 eprover: CPU time limit exceeded, terminating
% 127.12/125.63 eprover: CPU time limit exceeded, terminating
% 129.16/127.64 eprover: CPU time limit exceeded, terminating
% 131.18/129.66 eprover: CPU time limit exceeded, terminating
% 133.26/131.67 eprover: CPU time limit exceeded, terminating
% 135.25/133.68 eprover: CPU time limit exceeded, terminating
% 137.32/135.69 eprover: CPU time limit exceeded, terminating
% 139.30/137.70 eprover: CPU time limit exceeded, terminating
% 141.41/139.73 eprover: CPU time limit exceeded, terminating
% 143.45/141.74 eprover: CPU time limit exceeded, terminating
% 145.45/143.75 eprover: CPU time limit exceeded, terminating
% 147.51/145.76 eprover: CPU time limit exceeded, terminating
% 149.60/147.77 eprover: CPU time limit exceeded, terminating
% 151.57/149.79 eprover: CPU time limit exceeded, terminating
% 153.64/151.80 eprover: CPU time limit exceeded, terminating
% 155.72/153.81 eprover: CPU time limit exceeded, terminating
% 157.74/155.83 eprover: CPU time limit exceeded, terminating
% 159.76/157.84 eprover: CPU time limit exceeded, terminating
% 161.81/159.85 eprover: CPU time limit exceeded, terminating
% 163.88/161.86 eprover: CPU time limit exceeded, terminating
% 165.91/163.87 eprover: CPU time limit exceeded, terminating
% 167.96/165.88 eprover: CPU time limit exceeded, terminating
% 169.95/167.89 eprover: CPU time limit exceeded, terminating
% 172.02/169.91 eprover: CPU time limit exceeded, terminating
% 174.01/171.92 eprover: CPU time limit exceeded, terminating
% 176.08/173.93 eprover: CPU time limit exceeded, terminating
% 178.14/175.94 eprover: CPU time limit exceeded, terminating
% 180.23/177.95 eprover: CPU time limit exceeded, terminating
% 182.28/179.96 eprover: CPU time limit exceeded, terminating
% 184.32/181.97 eprover: CPU time limit exceeded, terminating
% 186.34/183.99 eprover: CPU time limit exceeded, terminating
% 188.40/186.00 eprover: CPU time limit exceeded, terminating
% 190.41/188.01 eprover: CPU time limit exceeded, terminating
% 192.47/190.02 eprover: CPU time limit exceeded, terminating
% 194.52/192.03 eprover: CPU time limit exceeded, terminating
% 196.53/194.05 eprover: CPU time limit exceeded, terminating
% 198.58/196.06 eprover: CPU time limit exceeded, terminating
% 200.63/198.07 eprover: CPU time limit exceeded, terminating
% 202.70/200.08 eprover: CPU time limit exceeded, terminating
% 204.74/202.09 eprover: CPU time limit exceeded, terminating
% 206.76/204.10 eprover: CPU time limit exceeded, terminating
% 208.81/206.11 eprover: CPU time limit exceeded, terminating
% 210.85/208.13 eprover: CPU time limit exceeded, terminating
% 212.90/210.14 eprover: CPU time limit exceeded, terminating
% 214.96/212.15 eprover: CPU time limit exceeded, terminating
% 216.95/214.16 eprover: CPU time limit exceeded, terminating
% 219.00/216.17 eprover: CPU time limit exceeded, terminating
% 221.04/218.18 eprover: CPU time limit exceeded, terminating
% 223.07/220.20 eprover: CPU time limit exceeded, terminating
% 225.15/222.21 eprover: CPU time limit exceeded, terminating
% 227.20/224.22 eprover: CPU time limit exceeded, terminating
% 229.26/226.23 eprover: CPU time limit exceeded, terminating
% 231.31/228.24 eprover: CPU time limit exceeded, terminating
% 233.29/230.25 eprover: CPU time limit exceeded, terminating
% 235.38/232.26 eprover: CPU time limit exceeded, terminating
% 237.37/234.27 eprover: CPU time limit exceeded, terminating
% 239.43/236.29 eprover: CPU time limit exceeded, terminating
% 241.45/238.30 eprover: CPU time limit exceeded, terminating
% 243.53/240.31 eprover: CPU time limit exceeded, terminating
% 245.58/242.32 eprover: CPU time limit exceeded, terminating
% 247.64/244.33 eprover: CPU time limit exceeded, terminating
% 249.65/246.34 eprover: CPU time limit exceeded, terminating
% 251.67/248.35 eprover: CPU time limit exceeded, terminating
% 253.72/250.37 eprover: CPU time limit exceeded, terminating
% 255.76/252.38 eprover: CPU time limit exceeded, terminating
% 257.84/254.39 eprover: CPU time limit exceeded, terminating
% 259.82/256.40 eprover: CPU time limit exceeded, terminating
% 261.88/258.41 eprover: CPU time limit exceeded, terminating
% 263.96/260.42 eprover: CPU time limit exceeded, terminating
% 266.03/262.43 eprover: CPU time limit exceeded, terminating
% 268.03/264.44 eprover: CPU time limit exceeded, terminating
% 270.09/266.45 eprover: CPU time limit exceeded, terminating
% 272.08/268.47 eprover: CPU time limit exceeded, terminating
% 274.16/270.48 eprover: CPU time limit exceeded, terminating
% 276.25/272.49 eprover: CPU time limit exceeded, terminating
% 278.20/274.50 eprover: CPU time limit exceeded, terminating
% 280.33/276.51 eprover: CPU time limit exceeded, terminating
% 282.36/278.52 eprover: CPU time limit exceeded, terminating
% 284.38/280.53 eprover: CPU time limit exceeded, terminating
% 286.42/282.54 eprover: CPU time limit exceeded, terminating
% 288.43/284.56 eprover: CPU time limit exceeded, terminating
% 290.47/286.57 eprover: CPU time limit exceeded, terminating
% 292.50/288.58 eprover: CPU time limit exceeded, terminating
% 294.55/290.59 eprover: CPU time limit exceeded, terminating
% 296.67/292.60 eprover: CPU time limit exceeded, terminating
% 298.71/294.61 eprover: CPU time limit exceeded, terminating
% 300.06/295.93 eprover: CPU time limit exceeded, terminating
% 300.06/295.94 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------