TSTP Solution File: LAT319+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LAT319+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n032.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 : Sun Jul 17 05:14:21 EDT 2022
% Result : Timeout 286.09s 270.68s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.09 % Problem : LAT319+2 : TPTP v8.1.0. Released v3.4.0.
% 0.00/0.10 % Command : run_infinox %s
% 0.10/0.29 % Computer : n032.cluster.edu
% 0.10/0.29 % Model : x86_64 x86_64
% 0.10/0.29 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.10/0.29 % Memory : 8042.1875MB
% 0.10/0.29 % OS : Linux 3.10.0-693.el7.x86_64
% 0.10/0.29 % CPULimit : 300
% 0.10/0.29 % WCLimit : 600
% 0.10/0.29 % DateTime : Wed Jun 29 10:29:13 EDT 2022
% 0.10/0.29 % CPUTime :
% 13.15/13.24 eprover: CPU time limit exceeded, terminating
% 15.29/15.25 eprover: CPU time limit exceeded, terminating
% 17.39/17.26 eprover: CPU time limit exceeded, terminating
% 19.51/19.27 eprover: CPU time limit exceeded, terminating
% 21.65/21.28 eprover: CPU time limit exceeded, terminating
% 23.82/23.29 eprover: CPU time limit exceeded, terminating
% 25.94/25.30 eprover: CPU time limit exceeded, terminating
% 28.07/27.31 eprover: CPU time limit exceeded, terminating
% 30.23/29.32 eprover: CPU time limit exceeded, terminating
% 32.32/31.33 eprover: CPU time limit exceeded, terminating
% 34.45/33.34 eprover: CPU time limit exceeded, terminating
% 36.57/35.35 eprover: CPU time limit exceeded, terminating
% 38.71/37.36 eprover: CPU time limit exceeded, terminating
% 40.87/39.37 eprover: CPU time limit exceeded, terminating
% 42.95/41.38 eprover: CPU time limit exceeded, terminating
% 45.12/43.39 eprover: CPU time limit exceeded, terminating
% 47.26/45.40 eprover: CPU time limit exceeded, terminating
% 49.42/47.41 eprover: CPU time limit exceeded, terminating
% 51.51/49.42 eprover: CPU time limit exceeded, terminating
% 53.65/51.43 eprover: CPU time limit exceeded, terminating
% 55.74/53.44 eprover: CPU time limit exceeded, terminating
% 57.89/55.45 eprover: CPU time limit exceeded, terminating
% 60.02/57.46 eprover: CPU time limit exceeded, terminating
% 62.14/59.47 eprover: CPU time limit exceeded, terminating
% 64.33/61.48 eprover: CPU time limit exceeded, terminating
% 66.45/63.50 eprover: CPU time limit exceeded, terminating
% 68.58/65.51 eprover: CPU time limit exceeded, terminating
% 70.72/67.52 eprover: CPU time limit exceeded, terminating
% 72.85/69.53 eprover: CPU time limit exceeded, terminating
% 75.00/71.54 eprover: CPU time limit exceeded, terminating
% 77.10/73.55 eprover: CPU time limit exceeded, terminating
% 79.19/75.56 eprover: CPU time limit exceeded, terminating
% 81.33/77.57 eprover: CPU time limit exceeded, terminating
% 83.47/79.58 eprover: CPU time limit exceeded, terminating
% 85.66/81.59 eprover: CPU time limit exceeded, terminating
% 87.71/83.60 eprover: CPU time limit exceeded, terminating
% 89.84/85.61 eprover: CPU time limit exceeded, terminating
% 92.04/87.62 eprover: CPU time limit exceeded, terminating
% 94.18/89.63 eprover: CPU time limit exceeded, terminating
% 96.26/91.64 eprover: CPU time limit exceeded, terminating
% 98.40/93.65 eprover: CPU time limit exceeded, terminating
% 100.53/95.66 eprover: CPU time limit exceeded, terminating
% 102.63/97.67 eprover: CPU time limit exceeded, terminating
% 104.78/99.68 eprover: CPU time limit exceeded, terminating
% 106.90/101.69 eprover: CPU time limit exceeded, terminating
% 109.04/103.70 eprover: CPU time limit exceeded, terminating
% 111.23/105.71 eprover: CPU time limit exceeded, terminating
% 113.28/107.72 eprover: CPU time limit exceeded, terminating
% 115.48/109.73 eprover: CPU time limit exceeded, terminating
% 117.62/111.74 eprover: CPU time limit exceeded, terminating
% 119.73/113.75 eprover: CPU time limit exceeded, terminating
% 121.82/115.77 eprover: CPU time limit exceeded, terminating
% 123.99/117.78 eprover: CPU time limit exceeded, terminating
% 126.17/119.79 eprover: CPU time limit exceeded, terminating
% 128.24/121.81 eprover: CPU time limit exceeded, terminating
% 130.41/123.82 eprover: CPU time limit exceeded, terminating
% 132.56/125.83 eprover: CPU time limit exceeded, terminating
% 134.64/127.84 eprover: CPU time limit exceeded, terminating
% 136.80/129.86 eprover: CPU time limit exceeded, terminating
% 138.98/131.87 eprover: CPU time limit exceeded, terminating
% 141.04/133.88 eprover: CPU time limit exceeded, terminating
% 143.22/135.89 eprover: CPU time limit exceeded, terminating
% 145.36/137.90 eprover: CPU time limit exceeded, terminating
% 147.41/139.92 eprover: CPU time limit exceeded, terminating
% 149.62/141.93 eprover: CPU time limit exceeded, terminating
% 151.74/143.94 eprover: CPU time limit exceeded, terminating
% 153.84/145.95 eprover: CPU time limit exceeded, terminating
% 155.98/147.96 eprover: CPU time limit exceeded, terminating
% 158.18/149.98 eprover: CPU time limit exceeded, terminating
% 160.22/151.99 eprover: CPU time limit exceeded, terminating
% 162.41/154.00 eprover: CPU time limit exceeded, terminating
% 164.54/156.01 eprover: CPU time limit exceeded, terminating
% 166.69/158.02 eprover: CPU time limit exceeded, terminating
% 168.81/160.03 eprover: CPU time limit exceeded, terminating
% 170.91/162.05 eprover: CPU time limit exceeded, terminating
% 173.03/164.06 eprover: CPU time limit exceeded, terminating
% 175.16/166.07 eprover: CPU time limit exceeded, terminating
% 177.27/168.08 eprover: CPU time limit exceeded, terminating
% 179.42/170.09 eprover: CPU time limit exceeded, terminating
% 181.63/172.10 eprover: CPU time limit exceeded, terminating
% 183.74/174.11 eprover: CPU time limit exceeded, terminating
% 185.88/176.12 eprover: CPU time limit exceeded, terminating
% 188.01/178.14 eprover: CPU time limit exceeded, terminating
% 190.11/180.15 eprover: CPU time limit exceeded, terminating
% 192.24/182.16 eprover: CPU time limit exceeded, terminating
% 194.37/184.17 eprover: CPU time limit exceeded, terminating
% 196.50/186.18 eprover: CPU time limit exceeded, terminating
% 198.63/188.19 eprover: CPU time limit exceeded, terminating
% 200.74/190.21 eprover: CPU time limit exceeded, terminating
% 202.95/192.22 eprover: CPU time limit exceeded, terminating
% 205.07/194.23 eprover: CPU time limit exceeded, terminating
% 207.20/196.24 eprover: CPU time limit exceeded, terminating
% 209.32/198.25 eprover: CPU time limit exceeded, terminating
% 211.40/200.27 eprover: CPU time limit exceeded, terminating
% 213.56/202.28 eprover: CPU time limit exceeded, terminating
% 215.69/204.29 eprover: CPU time limit exceeded, terminating
% 217.90/206.30 eprover: CPU time limit exceeded, terminating
% 220.01/208.31 eprover: CPU time limit exceeded, terminating
% 222.14/210.32 eprover: CPU time limit exceeded, terminating
% 224.25/212.34 eprover: CPU time limit exceeded, terminating
% 226.40/214.35 eprover: CPU time limit exceeded, terminating
% 228.49/216.36 eprover: CPU time limit exceeded, terminating
% 230.61/218.37 eprover: CPU time limit exceeded, terminating
% 232.74/220.38 eprover: CPU time limit exceeded, terminating
% 234.94/222.39 eprover: CPU time limit exceeded, terminating
% 237.07/224.40 eprover: CPU time limit exceeded, terminating
% 239.21/226.42 eprover: CPU time limit exceeded, terminating
% 241.32/228.43 eprover: CPU time limit exceeded, terminating
% 243.47/230.44 eprover: CPU time limit exceeded, terminating
% 245.60/232.45 eprover: CPU time limit exceeded, terminating
% 247.71/234.46 eprover: CPU time limit exceeded, terminating
% 249.83/236.48 eprover: CPU time limit exceeded, terminating
% 251.91/238.49 eprover: CPU time limit exceeded, terminating
% 254.14/240.50 eprover: CPU time limit exceeded, terminating
% 256.26/242.51 eprover: CPU time limit exceeded, terminating
% 258.41/244.52 eprover: CPU time limit exceeded, terminating
% 260.56/246.53 eprover: CPU time limit exceeded, terminating
% 262.65/248.55 eprover: CPU time limit exceeded, terminating
% 264.78/250.56 eprover: CPU time limit exceeded, terminating
% 266.89/252.57 eprover: CPU time limit exceeded, terminating
% 269.04/254.58 eprover: CPU time limit exceeded, terminating
% 271.17/256.60 eprover: CPU time limit exceeded, terminating
% 273.36/258.61 eprover: CPU time limit exceeded, terminating
% 275.49/260.62 eprover: CPU time limit exceeded, terminating
% 277.59/262.63 eprover: CPU time limit exceeded, terminating
% 279.70/264.64 eprover: CPU time limit exceeded, terminating
% 281.82/266.65 eprover: CPU time limit exceeded, terminating
% 283.93/268.67 eprover: CPU time limit exceeded, terminating
% 286.09/270.68 eprover: CPU time limit exceeded, terminating
% 288.17/272.69 eprover: CPU time limit exceeded, terminating
% 290.40/274.70 eprover: CPU time limit exceeded, terminating
% 292.52/276.71 eprover: CPU time limit exceeded, terminating
% 294.67/278.72 eprover: CPU time limit exceeded, terminating
% 296.78/280.74 eprover: CPU time limit exceeded, terminating
% 298.88/282.75 eprover: CPU time limit exceeded, terminating
% 300.01/283.71 eprover: CPU time limit exceeded, terminating
% 300.01/283.73 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------