TSTP Solution File: ALG420-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : ALG420-1 : TPTP v8.1.0. Released v4.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n020.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:11 EDT 2022
% Result : Timeout 286.45s 282.98s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : ALG420-1 : TPTP v8.1.0. Released v4.1.0.
% 0.07/0.12 % Command : run_infinox %s
% 0.12/0.34 % Computer : n020.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Wed Jun 8 14:37:36 EDT 2022
% 0.12/0.34 % CPUTime :
% 2.54/2.77 eprover: CPU time limit exceeded, terminating
% 4.62/4.78 eprover: CPU time limit exceeded, terminating
% 6.60/6.79 eprover: CPU time limit exceeded, terminating
% 8.67/8.86 eprover: CPU time limit exceeded, terminating
% 10.71/10.87 eprover: CPU time limit exceeded, terminating
% 12.75/12.88 eprover: CPU time limit exceeded, terminating
% 14.78/14.90 eprover: CPU time limit exceeded, terminating
% 16.86/16.92 eprover: CPU time limit exceeded, terminating
% 18.89/18.93 eprover: CPU time limit exceeded, terminating
% 20.95/20.95 eprover: CPU time limit exceeded, terminating
% 22.98/22.96 eprover: CPU time limit exceeded, terminating
% 25.03/24.97 eprover: CPU time limit exceeded, terminating
% 26.99/26.99 eprover: CPU time limit exceeded, terminating
% 29.07/29.00 eprover: CPU time limit exceeded, terminating
% 31.15/31.02 eprover: CPU time limit exceeded, terminating
% 33.13/33.03 eprover: CPU time limit exceeded, terminating
% 35.14/35.05 eprover: CPU time limit exceeded, terminating
% 37.23/37.06 eprover: CPU time limit exceeded, terminating
% 39.26/39.08 eprover: CPU time limit exceeded, terminating
% 41.26/41.09 eprover: CPU time limit exceeded, terminating
% 43.32/43.11 eprover: CPU time limit exceeded, terminating
% 45.40/45.12 eprover: CPU time limit exceeded, terminating
% 47.46/47.13 eprover: CPU time limit exceeded, terminating
% 49.45/49.14 eprover: CPU time limit exceeded, terminating
% 51.50/51.16 eprover: CPU time limit exceeded, terminating
% 53.57/53.17 eprover: CPU time limit exceeded, terminating
% 55.55/55.18 eprover: CPU time limit exceeded, terminating
% 57.66/57.21 eprover: CPU time limit exceeded, terminating
% 59.66/59.22 eprover: CPU time limit exceeded, terminating
% 61.69/61.24 eprover: CPU time limit exceeded, terminating
% 63.79/63.25 eprover: CPU time limit exceeded, terminating
% 65.76/65.26 eprover: CPU time limit exceeded, terminating
% 67.82/67.29 eprover: CPU time limit exceeded, terminating
% 69.89/69.30 eprover: CPU time limit exceeded, terminating
% 71.86/71.32 eprover: CPU time limit exceeded, terminating
% 73.94/73.33 eprover: CPU time limit exceeded, terminating
% 75.98/75.34 eprover: CPU time limit exceeded, terminating
% 78.02/77.37 eprover: CPU time limit exceeded, terminating
% 80.03/79.38 eprover: CPU time limit exceeded, terminating
% 82.12/81.40 eprover: CPU time limit exceeded, terminating
% 84.16/83.42 eprover: CPU time limit exceeded, terminating
% 86.16/85.43 eprover: CPU time limit exceeded, terminating
% 88.23/87.45 eprover: CPU time limit exceeded, terminating
% 90.29/89.46 eprover: CPU time limit exceeded, terminating
% 92.30/91.48 eprover: CPU time limit exceeded, terminating
% 94.39/93.50 eprover: CPU time limit exceeded, terminating
% 96.40/95.51 eprover: CPU time limit exceeded, terminating
% 98.47/97.53 eprover: CPU time limit exceeded, terminating
% 100.44/99.54 eprover: CPU time limit exceeded, terminating
% 102.50/101.56 eprover: CPU time limit exceeded, terminating
% 104.57/103.58 eprover: CPU time limit exceeded, terminating
% 106.65/105.60 eprover: CPU time limit exceeded, terminating
% 108.70/107.61 eprover: CPU time limit exceeded, terminating
% 110.66/109.63 eprover: CPU time limit exceeded, terminating
% 112.75/111.65 eprover: CPU time limit exceeded, terminating
% 114.81/113.66 eprover: CPU time limit exceeded, terminating
% 116.86/115.68 eprover: CPU time limit exceeded, terminating
% 118.93/117.70 eprover: CPU time limit exceeded, terminating
% 120.94/119.71 eprover: CPU time limit exceeded, terminating
% 122.99/121.74 eprover: CPU time limit exceeded, terminating
% 125.04/123.75 eprover: CPU time limit exceeded, terminating
% 127.09/125.77 eprover: CPU time limit exceeded, terminating
% 129.07/127.79 eprover: CPU time limit exceeded, terminating
% 131.17/129.80 eprover: CPU time limit exceeded, terminating
% 133.23/131.81 eprover: CPU time limit exceeded, terminating
% 135.23/133.83 eprover: CPU time limit exceeded, terminating
% 137.29/135.85 eprover: CPU time limit exceeded, terminating
% 139.33/137.86 eprover: CPU time limit exceeded, terminating
% 141.39/139.88 eprover: CPU time limit exceeded, terminating
% 143.42/141.89 eprover: CPU time limit exceeded, terminating
% 145.44/143.91 eprover: CPU time limit exceeded, terminating
% 147.47/145.92 eprover: CPU time limit exceeded, terminating
% 149.54/147.94 eprover: CPU time limit exceeded, terminating
% 151.52/149.95 eprover: CPU time limit exceeded, terminating
% 153.61/151.97 eprover: CPU time limit exceeded, terminating
% 155.69/153.99 eprover: CPU time limit exceeded, terminating
% 157.68/156.00 eprover: CPU time limit exceeded, terminating
% 159.76/158.02 eprover: CPU time limit exceeded, terminating
% 161.82/160.03 eprover: CPU time limit exceeded, terminating
% 163.85/162.05 eprover: CPU time limit exceeded, terminating
% 165.90/164.06 eprover: CPU time limit exceeded, terminating
% 167.94/166.08 eprover: CPU time limit exceeded, terminating
% 169.99/168.09 eprover: CPU time limit exceeded, terminating
% 172.02/170.11 eprover: CPU time limit exceeded, terminating
% 174.05/172.12 eprover: CPU time limit exceeded, terminating
% 176.12/174.14 eprover: CPU time limit exceeded, terminating
% 178.14/176.15 eprover: CPU time limit exceeded, terminating
% 180.21/178.17 eprover: CPU time limit exceeded, terminating
% 182.20/180.19 eprover: CPU time limit exceeded, terminating
% 184.26/182.20 eprover: CPU time limit exceeded, terminating
% 186.33/184.22 eprover: CPU time limit exceeded, terminating
% 188.39/186.23 eprover: CPU time limit exceeded, terminating
% 190.41/188.25 eprover: CPU time limit exceeded, terminating
% 192.44/190.27 eprover: CPU time limit exceeded, terminating
% 194.51/192.28 eprover: CPU time limit exceeded, terminating
% 196.52/194.30 eprover: CPU time limit exceeded, terminating
% 198.56/196.31 eprover: CPU time limit exceeded, terminating
% 200.54/198.33 eprover: CPU time limit exceeded, terminating
% 202.69/200.34 eprover: CPU time limit exceeded, terminating
% 204.71/202.36 eprover: CPU time limit exceeded, terminating
% 206.76/204.37 eprover: CPU time limit exceeded, terminating
% 208.78/206.39 eprover: CPU time limit exceeded, terminating
% 210.85/208.40 eprover: CPU time limit exceeded, terminating
% 212.90/210.42 eprover: CPU time limit exceeded, terminating
% 214.91/212.44 eprover: CPU time limit exceeded, terminating
% 216.96/214.45 eprover: CPU time limit exceeded, terminating
% 218.97/216.47 eprover: CPU time limit exceeded, terminating
% 221.04/218.48 eprover: CPU time limit exceeded, terminating
% 223.09/220.49 eprover: CPU time limit exceeded, terminating
% 225.09/222.51 eprover: CPU time limit exceeded, terminating
% 227.11/224.52 eprover: CPU time limit exceeded, terminating
% 229.24/226.54 eprover: CPU time limit exceeded, terminating
% 231.20/228.56 eprover: CPU time limit exceeded, terminating
% 233.26/230.57 eprover: CPU time limit exceeded, terminating
% 235.36/232.58 eprover: CPU time limit exceeded, terminating
% 237.34/234.60 eprover: CPU time limit exceeded, terminating
% 239.46/236.62 eprover: CPU time limit exceeded, terminating
% 241.50/238.63 eprover: CPU time limit exceeded, terminating
% 243.49/240.65 eprover: CPU time limit exceeded, terminating
% 245.59/242.66 eprover: CPU time limit exceeded, terminating
% 247.64/244.68 eprover: CPU time limit exceeded, terminating
% 249.63/246.69 eprover: CPU time limit exceeded, terminating
% 251.69/248.71 eprover: CPU time limit exceeded, terminating
% 253.74/250.73 eprover: CPU time limit exceeded, terminating
% 255.75/252.74 eprover: CPU time limit exceeded, terminating
% 257.81/254.76 eprover: CPU time limit exceeded, terminating
% 259.87/256.77 eprover: CPU time limit exceeded, terminating
% 261.90/258.79 eprover: CPU time limit exceeded, terminating
% 263.91/260.80 eprover: CPU time limit exceeded, terminating
% 266.01/262.82 eprover: CPU time limit exceeded, terminating
% 268.02/264.83 eprover: CPU time limit exceeded, terminating
% 270.11/266.85 eprover: CPU time limit exceeded, terminating
% 272.10/268.87 eprover: CPU time limit exceeded, terminating
% 274.18/270.88 eprover: CPU time limit exceeded, terminating
% 276.23/272.90 eprover: CPU time limit exceeded, terminating
% 278.26/274.91 eprover: CPU time limit exceeded, terminating
% 280.32/276.93 eprover: CPU time limit exceeded, terminating
% 282.31/278.94 eprover: CPU time limit exceeded, terminating
% 284.41/280.96 eprover: CPU time limit exceeded, terminating
% 286.45/282.98 eprover: CPU time limit exceeded, terminating
% 288.49/284.99 eprover: CPU time limit exceeded, terminating
% 290.52/287.01 eprover: CPU time limit exceeded, terminating
% 292.53/289.02 eprover: CPU time limit exceeded, terminating
% 294.64/291.04 eprover: CPU time limit exceeded, terminating
% 296.62/293.05 eprover: CPU time limit exceeded, terminating
% 298.71/295.07 eprover: CPU time limit exceeded, terminating
% 300.08/296.38 eprover: CPU time limit exceeded, terminating
% 300.08/296.40 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------