TSTP Solution File: LAT336+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LAT336+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n015.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:38 EDT 2022
% Result : Timeout 286.51s 268.68s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : LAT336+2 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n015.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Thu Jun 30 00:29:41 EDT 2022
% 0.13/0.34 % CPUTime :
% 13.26/13.26 eprover: CPU time limit exceeded, terminating
% 15.40/15.27 eprover: CPU time limit exceeded, terminating
% 17.56/17.28 eprover: CPU time limit exceeded, terminating
% 19.74/19.29 eprover: CPU time limit exceeded, terminating
% 21.89/21.30 eprover: CPU time limit exceeded, terminating
% 24.04/23.31 eprover: CPU time limit exceeded, terminating
% 26.16/25.32 eprover: CPU time limit exceeded, terminating
% 28.35/27.33 eprover: CPU time limit exceeded, terminating
% 30.46/29.34 eprover: CPU time limit exceeded, terminating
% 32.61/31.35 eprover: CPU time limit exceeded, terminating
% 34.76/33.37 eprover: CPU time limit exceeded, terminating
% 36.93/35.38 eprover: CPU time limit exceeded, terminating
% 39.10/37.39 eprover: CPU time limit exceeded, terminating
% 41.28/39.40 eprover: CPU time limit exceeded, terminating
% 43.44/41.41 eprover: CPU time limit exceeded, terminating
% 45.53/43.42 eprover: CPU time limit exceeded, terminating
% 47.76/45.43 eprover: CPU time limit exceeded, terminating
% 49.89/47.44 eprover: CPU time limit exceeded, terminating
% 52.00/49.45 eprover: CPU time limit exceeded, terminating
% 54.17/51.46 eprover: CPU time limit exceeded, terminating
% 56.39/53.48 eprover: CPU time limit exceeded, terminating
% 58.47/55.49 eprover: CPU time limit exceeded, terminating
% 60.68/57.50 eprover: CPU time limit exceeded, terminating
% 62.89/59.51 eprover: CPU time limit exceeded, terminating
% 65.04/61.52 eprover: CPU time limit exceeded, terminating
% 67.18/63.53 eprover: CPU time limit exceeded, terminating
% 69.32/65.55 eprover: CPU time limit exceeded, terminating
% 71.48/67.56 eprover: CPU time limit exceeded, terminating
% 73.57/69.57 eprover: CPU time limit exceeded, terminating
% 75.76/71.58 eprover: CPU time limit exceeded, terminating
% 77.92/73.59 eprover: CPU time limit exceeded, terminating
% 80.10/75.60 eprover: CPU time limit exceeded, terminating
% 82.29/77.61 eprover: CPU time limit exceeded, terminating
% 84.43/79.62 eprover: CPU time limit exceeded, terminating
% 86.56/81.62 eprover: CPU time limit exceeded, terminating
% 88.75/83.63 eprover: CPU time limit exceeded, terminating
% 90.88/85.64 eprover: CPU time limit exceeded, terminating
% 93.01/87.66 eprover: CPU time limit exceeded, terminating
% 95.16/89.68 eprover: CPU time limit exceeded, terminating
% 97.35/91.69 eprover: CPU time limit exceeded, terminating
% 99.42/93.70 eprover: CPU time limit exceeded, terminating
% 101.62/95.71 eprover: CPU time limit exceeded, terminating
% 103.79/97.72 eprover: CPU time limit exceeded, terminating
% 105.93/99.74 eprover: CPU time limit exceeded, terminating
% 108.08/101.75 eprover: CPU time limit exceeded, terminating
% 110.18/103.76 eprover: CPU time limit exceeded, terminating
% 112.35/105.77 eprover: CPU time limit exceeded, terminating
% 114.43/107.79 eprover: CPU time limit exceeded, terminating
% 116.69/109.80 eprover: CPU time limit exceeded, terminating
% 118.80/111.81 eprover: CPU time limit exceeded, terminating
% 120.98/113.82 eprover: CPU time limit exceeded, terminating
% 123.14/115.83 eprover: CPU time limit exceeded, terminating
% 125.27/117.84 eprover: CPU time limit exceeded, terminating
% 127.44/119.85 eprover: CPU time limit exceeded, terminating
% 129.56/121.86 eprover: CPU time limit exceeded, terminating
% 131.72/123.87 eprover: CPU time limit exceeded, terminating
% 133.90/125.89 eprover: CPU time limit exceeded, terminating
% 136.06/127.90 eprover: CPU time limit exceeded, terminating
% 138.16/129.91 eprover: CPU time limit exceeded, terminating
% 140.35/131.92 eprover: CPU time limit exceeded, terminating
% 142.48/133.93 eprover: CPU time limit exceeded, terminating
% 144.62/135.94 eprover: CPU time limit exceeded, terminating
% 146.76/137.98 eprover: CPU time limit exceeded, terminating
% 148.91/139.99 eprover: CPU time limit exceeded, terminating
% 151.04/142.00 eprover: CPU time limit exceeded, terminating
% 153.15/144.02 eprover: CPU time limit exceeded, terminating
% 155.28/146.03 eprover: CPU time limit exceeded, terminating
% 157.43/148.04 eprover: CPU time limit exceeded, terminating
% 159.57/150.06 eprover: CPU time limit exceeded, terminating
% 161.75/152.06 eprover: CPU time limit exceeded, terminating
% 163.90/154.07 eprover: CPU time limit exceeded, terminating
% 166.04/156.10 eprover: CPU time limit exceeded, terminating
% 168.14/158.11 eprover: CPU time limit exceeded, terminating
% 170.34/160.12 eprover: CPU time limit exceeded, terminating
% 172.48/162.13 eprover: CPU time limit exceeded, terminating
% 174.63/164.14 eprover: CPU time limit exceeded, terminating
% 176.81/166.15 eprover: CPU time limit exceeded, terminating
% 178.91/168.16 eprover: CPU time limit exceeded, terminating
% 181.13/170.17 eprover: CPU time limit exceeded, terminating
% 183.29/172.19 eprover: CPU time limit exceeded, terminating
% 185.45/174.20 eprover: CPU time limit exceeded, terminating
% 187.55/176.20 eprover: CPU time limit exceeded, terminating
% 189.69/178.22 eprover: CPU time limit exceeded, terminating
% 191.85/180.23 eprover: CPU time limit exceeded, terminating
% 194.05/182.24 eprover: CPU time limit exceeded, terminating
% 196.13/184.25 eprover: CPU time limit exceeded, terminating
% 198.30/186.26 eprover: CPU time limit exceeded, terminating
% 200.45/188.27 eprover: CPU time limit exceeded, terminating
% 202.59/190.28 eprover: CPU time limit exceeded, terminating
% 204.75/192.30 eprover: CPU time limit exceeded, terminating
% 206.82/194.31 eprover: CPU time limit exceeded, terminating
% 208.99/196.32 eprover: CPU time limit exceeded, terminating
% 211.15/198.33 eprover: CPU time limit exceeded, terminating
% 213.32/200.34 eprover: CPU time limit exceeded, terminating
% 215.47/202.35 eprover: CPU time limit exceeded, terminating
% 217.58/204.36 eprover: CPU time limit exceeded, terminating
% 219.75/206.37 eprover: CPU time limit exceeded, terminating
% 221.90/208.37 eprover: CPU time limit exceeded, terminating
% 224.08/210.38 eprover: CPU time limit exceeded, terminating
% 226.21/212.39 eprover: CPU time limit exceeded, terminating
% 228.36/214.40 eprover: CPU time limit exceeded, terminating
% 230.50/216.41 eprover: CPU time limit exceeded, terminating
% 232.63/218.42 eprover: CPU time limit exceeded, terminating
% 234.76/220.43 eprover: CPU time limit exceeded, terminating
% 237.01/222.44 eprover: CPU time limit exceeded, terminating
% 239.15/224.45 eprover: CPU time limit exceeded, terminating
% 241.29/226.46 eprover: CPU time limit exceeded, terminating
% 243.43/228.47 eprover: CPU time limit exceeded, terminating
% 245.59/230.48 eprover: CPU time limit exceeded, terminating
% 247.72/232.49 eprover: CPU time limit exceeded, terminating
% 249.87/234.50 eprover: CPU time limit exceeded, terminating
% 252.01/236.51 eprover: CPU time limit exceeded, terminating
% 254.17/238.52 eprover: CPU time limit exceeded, terminating
% 256.37/240.53 eprover: CPU time limit exceeded, terminating
% 258.43/242.55 eprover: CPU time limit exceeded, terminating
% 260.65/244.55 eprover: CPU time limit exceeded, terminating
% 262.81/246.57 eprover: CPU time limit exceeded, terminating
% 264.97/248.58 eprover: CPU time limit exceeded, terminating
% 267.13/250.59 eprover: CPU time limit exceeded, terminating
% 269.26/252.60 eprover: CPU time limit exceeded, terminating
% 271.41/254.61 eprover: CPU time limit exceeded, terminating
% 273.58/256.62 eprover: CPU time limit exceeded, terminating
% 275.69/258.63 eprover: CPU time limit exceeded, terminating
% 277.89/260.64 eprover: CPU time limit exceeded, terminating
% 280.03/262.65 eprover: CPU time limit exceeded, terminating
% 282.20/264.66 eprover: CPU time limit exceeded, terminating
% 284.36/266.67 eprover: CPU time limit exceeded, terminating
% 286.51/268.68 eprover: CPU time limit exceeded, terminating
% 288.63/270.69 eprover: CPU time limit exceeded, terminating
% 290.82/272.70 eprover: CPU time limit exceeded, terminating
% 292.92/274.71 eprover: CPU time limit exceeded, terminating
% 295.09/276.73 eprover: CPU time limit exceeded, terminating
% 297.26/278.74 eprover: CPU time limit exceeded, terminating
% 299.45/280.75 eprover: CPU time limit exceeded, terminating
% 300.04/281.26 eprover: CPU time limit exceeded, terminating
% 300.04/281.28 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------