TSTP Solution File: ALG409-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : ALG409-1 : TPTP v8.1.0. Released v4.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n023.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:10 EDT 2022
% Result : Timeout 286.22s 279.17s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.12 % Problem : ALG409-1 : TPTP v8.1.0. Released v4.1.0.
% 0.04/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n023.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 08:57:08 EDT 2022
% 0.12/0.33 % CPUTime :
% 2.80/3.02 eprover: CPU time limit exceeded, terminating
% 4.83/5.03 eprover: CPU time limit exceeded, terminating
% 6.97/7.05 eprover: CPU time limit exceeded, terminating
% 9.01/9.06 eprover: CPU time limit exceeded, terminating
% 11.08/11.07 eprover: CPU time limit exceeded, terminating
% 13.11/13.08 eprover: CPU time limit exceeded, terminating
% 15.15/15.10 eprover: CPU time limit exceeded, terminating
% 17.17/17.11 eprover: CPU time limit exceeded, terminating
% 19.29/19.13 eprover: CPU time limit exceeded, terminating
% 21.31/21.14 eprover: CPU time limit exceeded, terminating
% 23.40/23.15 eprover: CPU time limit exceeded, terminating
% 25.44/25.18 eprover: CPU time limit exceeded, terminating
% 27.47/27.19 eprover: CPU time limit exceeded, terminating
% 29.52/29.21 eprover: CPU time limit exceeded, terminating
% 31.58/31.24 eprover: CPU time limit exceeded, terminating
% 33.60/33.25 eprover: CPU time limit exceeded, terminating
% 35.68/35.27 eprover: CPU time limit exceeded, terminating
% 37.76/37.29 eprover: CPU time limit exceeded, terminating
% 39.76/39.30 eprover: CPU time limit exceeded, terminating
% 41.86/41.32 eprover: CPU time limit exceeded, terminating
% 43.93/43.33 eprover: CPU time limit exceeded, terminating
% 45.97/45.35 eprover: CPU time limit exceeded, terminating
% 48.02/47.36 eprover: CPU time limit exceeded, terminating
% 50.07/49.37 eprover: CPU time limit exceeded, terminating
% 52.14/51.41 eprover: CPU time limit exceeded, terminating
% 54.18/53.42 eprover: CPU time limit exceeded, terminating
% 56.25/55.44 eprover: CPU time limit exceeded, terminating
% 58.25/57.45 eprover: CPU time limit exceeded, terminating
% 60.32/59.46 eprover: CPU time limit exceeded, terminating
% 62.40/61.51 eprover: CPU time limit exceeded, terminating
% 64.44/63.52 eprover: CPU time limit exceeded, terminating
% 66.53/65.53 eprover: CPU time limit exceeded, terminating
% 68.56/67.54 eprover: CPU time limit exceeded, terminating
% 70.59/69.56 eprover: CPU time limit exceeded, terminating
% 72.64/71.57 eprover: CPU time limit exceeded, terminating
% 74.70/73.58 eprover: CPU time limit exceeded, terminating
% 76.74/75.59 eprover: CPU time limit exceeded, terminating
% 78.86/77.60 eprover: CPU time limit exceeded, terminating
% 80.88/79.62 eprover: CPU time limit exceeded, terminating
% 82.95/81.63 eprover: CPU time limit exceeded, terminating
% 84.99/83.64 eprover: CPU time limit exceeded, terminating
% 87.03/85.66 eprover: CPU time limit exceeded, terminating
% 89.09/87.67 eprover: CPU time limit exceeded, terminating
% 91.20/89.68 eprover: CPU time limit exceeded, terminating
% 93.18/91.69 eprover: CPU time limit exceeded, terminating
% 95.28/93.70 eprover: CPU time limit exceeded, terminating
% 97.28/95.72 eprover: CPU time limit exceeded, terminating
% 99.40/97.73 eprover: CPU time limit exceeded, terminating
% 101.46/99.74 eprover: CPU time limit exceeded, terminating
% 103.49/101.76 eprover: CPU time limit exceeded, terminating
% 105.58/103.77 eprover: CPU time limit exceeded, terminating
% 107.64/105.78 eprover: CPU time limit exceeded, terminating
% 109.69/107.80 eprover: CPU time limit exceeded, terminating
% 111.75/109.81 eprover: CPU time limit exceeded, terminating
% 113.76/111.83 eprover: CPU time limit exceeded, terminating
% 115.81/113.84 eprover: CPU time limit exceeded, terminating
% 119.79/115.85 eprover: CPU time limit exceeded, terminating
% 121.90/117.86 eprover: CPU time limit exceeded, terminating
% 123.90/119.87 eprover: CPU time limit exceeded, terminating
% 125.95/121.90 eprover: CPU time limit exceeded, terminating
% 128.03/123.91 eprover: CPU time limit exceeded, terminating
% 130.12/125.92 eprover: CPU time limit exceeded, terminating
% 132.14/127.93 eprover: CPU time limit exceeded, terminating
% 134.23/129.95 eprover: CPU time limit exceeded, terminating
% 136.27/131.98 eprover: CPU time limit exceeded, terminating
% 138.27/134.00 eprover: CPU time limit exceeded, terminating
% 140.38/136.01 eprover: CPU time limit exceeded, terminating
% 142.45/138.03 eprover: CPU time limit exceeded, terminating
% 144.46/140.04 eprover: CPU time limit exceeded, terminating
% 146.51/142.07 eprover: CPU time limit exceeded, terminating
% 148.55/144.08 eprover: CPU time limit exceeded, terminating
% 150.65/146.09 eprover: CPU time limit exceeded, terminating
% 152.70/148.11 eprover: CPU time limit exceeded, terminating
% 154.73/150.13 eprover: CPU time limit exceeded, terminating
% 156.79/152.16 eprover: CPU time limit exceeded, terminating
% 158.81/154.17 eprover: CPU time limit exceeded, terminating
% 160.87/156.18 eprover: CPU time limit exceeded, terminating
% 162.94/158.19 eprover: CPU time limit exceeded, terminating
% 165.00/160.21 eprover: CPU time limit exceeded, terminating
% 167.06/162.24 eprover: CPU time limit exceeded, terminating
% 169.09/164.25 eprover: CPU time limit exceeded, terminating
% 171.17/166.27 eprover: CPU time limit exceeded, terminating
% 173.23/168.28 eprover: CPU time limit exceeded, terminating
% 175.22/170.30 eprover: CPU time limit exceeded, terminating
% 177.36/172.32 eprover: CPU time limit exceeded, terminating
% 179.36/174.34 eprover: CPU time limit exceeded, terminating
% 181.39/176.35 eprover: CPU time limit exceeded, terminating
% 183.45/178.36 eprover: CPU time limit exceeded, terminating
% 185.51/180.38 eprover: CPU time limit exceeded, terminating
% 187.62/182.39 eprover: CPU time limit exceeded, terminating
% 189.68/184.41 eprover: CPU time limit exceeded, terminating
% 191.72/186.42 eprover: CPU time limit exceeded, terminating
% 193.75/188.44 eprover: CPU time limit exceeded, terminating
% 195.79/190.45 eprover: CPU time limit exceeded, terminating
% 197.85/192.47 eprover: CPU time limit exceeded, terminating
% 199.89/194.48 eprover: CPU time limit exceeded, terminating
% 201.99/196.50 eprover: CPU time limit exceeded, terminating
% 204.06/198.51 eprover: CPU time limit exceeded, terminating
% 206.13/200.53 eprover: CPU time limit exceeded, terminating
% 208.13/202.54 eprover: CPU time limit exceeded, terminating
% 210.18/204.56 eprover: CPU time limit exceeded, terminating
% 212.23/206.58 eprover: CPU time limit exceeded, terminating
% 214.33/208.60 eprover: CPU time limit exceeded, terminating
% 216.39/210.61 eprover: CPU time limit exceeded, terminating
% 218.42/212.63 eprover: CPU time limit exceeded, terminating
% 220.46/214.64 eprover: CPU time limit exceeded, terminating
% 222.53/216.65 eprover: CPU time limit exceeded, terminating
% 224.56/218.67 eprover: CPU time limit exceeded, terminating
% 226.60/220.68 eprover: CPU time limit exceeded, terminating
% 228.64/222.69 eprover: CPU time limit exceeded, terminating
% 230.76/224.71 eprover: CPU time limit exceeded, terminating
% 232.82/226.72 eprover: CPU time limit exceeded, terminating
% 234.87/228.74 eprover: CPU time limit exceeded, terminating
% 236.91/230.75 eprover: CPU time limit exceeded, terminating
% 238.94/232.77 eprover: CPU time limit exceeded, terminating
% 240.99/234.79 eprover: CPU time limit exceeded, terminating
% 243.12/236.80 eprover: CPU time limit exceeded, terminating
% 245.13/238.82 eprover: CPU time limit exceeded, terminating
% 247.19/240.84 eprover: CPU time limit exceeded, terminating
% 249.24/242.85 eprover: CPU time limit exceeded, terminating
% 251.27/244.86 eprover: CPU time limit exceeded, terminating
% 253.31/246.87 eprover: CPU time limit exceeded, terminating
% 255.38/248.89 eprover: CPU time limit exceeded, terminating
% 257.49/250.91 eprover: CPU time limit exceeded, terminating
% 259.55/252.92 eprover: CPU time limit exceeded, terminating
% 261.56/254.93 eprover: CPU time limit exceeded, terminating
% 263.63/256.95 eprover: CPU time limit exceeded, terminating
% 265.66/258.97 eprover: CPU time limit exceeded, terminating
% 267.70/260.99 eprover: CPU time limit exceeded, terminating
% 269.82/263.00 eprover: CPU time limit exceeded, terminating
% 271.87/265.02 eprover: CPU time limit exceeded, terminating
% 273.93/267.04 eprover: CPU time limit exceeded, terminating
% 275.94/269.05 eprover: CPU time limit exceeded, terminating
% 278.00/271.07 eprover: CPU time limit exceeded, terminating
% 280.04/273.08 eprover: CPU time limit exceeded, terminating
% 282.13/275.13 eprover: CPU time limit exceeded, terminating
% 284.16/277.15 eprover: CPU time limit exceeded, terminating
% 286.22/279.17 eprover: CPU time limit exceeded, terminating
% 288.27/281.18 eprover: CPU time limit exceeded, terminating
% 290.39/283.20 eprover: CPU time limit exceeded, terminating
% 292.43/285.22 eprover: CPU time limit exceeded, terminating
% 294.46/287.23 eprover: CPU time limit exceeded, terminating
% 296.53/289.25 eprover: CPU time limit exceeded, terminating
% 298.54/291.26 eprover: CPU time limit exceeded, terminating
% 300.01/292.63 eprover: CPU time limit exceeded, terminating
% 300.01/292.65 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------