TSTP Solution File: LAT297+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LAT297+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n007.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:13:59 EDT 2022
% Result : Timeout 286.66s 270.23s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : LAT297+2 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n007.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 : Tue Jun 28 21:20:07 EDT 2022
% 0.13/0.34 % CPUTime :
% 12.58/12.64 eprover: CPU time limit exceeded, terminating
% 14.76/14.66 eprover: CPU time limit exceeded, terminating
% 16.93/16.67 eprover: CPU time limit exceeded, terminating
% 19.04/18.69 eprover: CPU time limit exceeded, terminating
% 21.22/20.70 eprover: CPU time limit exceeded, terminating
% 23.29/22.71 eprover: CPU time limit exceeded, terminating
% 25.46/24.73 eprover: CPU time limit exceeded, terminating
% 27.66/26.74 eprover: CPU time limit exceeded, terminating
% 29.77/28.75 eprover: CPU time limit exceeded, terminating
% 31.88/30.76 eprover: CPU time limit exceeded, terminating
% 34.03/32.77 eprover: CPU time limit exceeded, terminating
% 36.19/34.78 eprover: CPU time limit exceeded, terminating
% 38.24/36.80 eprover: CPU time limit exceeded, terminating
% 40.40/38.81 eprover: CPU time limit exceeded, terminating
% 42.53/40.82 eprover: CPU time limit exceeded, terminating
% 44.61/42.84 eprover: CPU time limit exceeded, terminating
% 46.78/44.85 eprover: CPU time limit exceeded, terminating
% 48.84/46.86 eprover: CPU time limit exceeded, terminating
% 51.00/48.87 eprover: CPU time limit exceeded, terminating
% 53.07/50.88 eprover: CPU time limit exceeded, terminating
% 55.22/52.89 eprover: CPU time limit exceeded, terminating
% 57.39/54.90 eprover: CPU time limit exceeded, terminating
% 59.50/56.93 eprover: CPU time limit exceeded, terminating
% 61.60/58.94 eprover: CPU time limit exceeded, terminating
% 63.69/60.95 eprover: CPU time limit exceeded, terminating
% 65.79/62.96 eprover: CPU time limit exceeded, terminating
% 67.92/64.97 eprover: CPU time limit exceeded, terminating
% 70.08/66.98 eprover: CPU time limit exceeded, terminating
% 72.20/68.99 eprover: CPU time limit exceeded, terminating
% 74.29/71.00 eprover: CPU time limit exceeded, terminating
% 76.45/73.01 eprover: CPU time limit exceeded, terminating
% 78.55/75.02 eprover: CPU time limit exceeded, terminating
% 80.72/77.03 eprover: CPU time limit exceeded, terminating
% 82.91/79.05 eprover: CPU time limit exceeded, terminating
% 84.99/81.06 eprover: CPU time limit exceeded, terminating
% 87.17/83.07 eprover: CPU time limit exceeded, terminating
% 89.36/85.08 eprover: CPU time limit exceeded, terminating
% 91.43/87.09 eprover: CPU time limit exceeded, terminating
% 93.59/89.10 eprover: CPU time limit exceeded, terminating
% 95.76/91.12 eprover: CPU time limit exceeded, terminating
% 97.94/93.13 eprover: CPU time limit exceeded, terminating
% 100.04/95.14 eprover: CPU time limit exceeded, terminating
% 102.20/97.15 eprover: CPU time limit exceeded, terminating
% 104.38/99.17 eprover: CPU time limit exceeded, terminating
% 106.47/101.18 eprover: CPU time limit exceeded, terminating
% 108.67/103.20 eprover: CPU time limit exceeded, terminating
% 110.73/105.22 eprover: CPU time limit exceeded, terminating
% 112.93/107.24 eprover: CPU time limit exceeded, terminating
% 115.09/109.25 eprover: CPU time limit exceeded, terminating
% 117.20/111.27 eprover: CPU time limit exceeded, terminating
% 119.34/113.29 eprover: CPU time limit exceeded, terminating
% 121.49/115.31 eprover: CPU time limit exceeded, terminating
% 123.67/117.32 eprover: CPU time limit exceeded, terminating
% 125.78/119.33 eprover: CPU time limit exceeded, terminating
% 127.91/121.35 eprover: CPU time limit exceeded, terminating
% 130.04/123.39 eprover: CPU time limit exceeded, terminating
% 132.23/125.40 eprover: CPU time limit exceeded, terminating
% 134.40/127.42 eprover: CPU time limit exceeded, terminating
% 136.50/129.43 eprover: CPU time limit exceeded, terminating
% 138.65/131.44 eprover: CPU time limit exceeded, terminating
% 140.79/133.46 eprover: CPU time limit exceeded, terminating
% 142.91/135.47 eprover: CPU time limit exceeded, terminating
% 145.11/137.48 eprover: CPU time limit exceeded, terminating
% 147.23/139.49 eprover: CPU time limit exceeded, terminating
% 149.41/141.50 eprover: CPU time limit exceeded, terminating
% 151.52/143.51 eprover: CPU time limit exceeded, terminating
% 153.66/145.53 eprover: CPU time limit exceeded, terminating
% 155.83/147.54 eprover: CPU time limit exceeded, terminating
% 157.95/149.55 eprover: CPU time limit exceeded, terminating
% 160.04/151.56 eprover: CPU time limit exceeded, terminating
% 162.23/153.57 eprover: CPU time limit exceeded, terminating
% 164.33/155.58 eprover: CPU time limit exceeded, terminating
% 166.53/157.60 eprover: CPU time limit exceeded, terminating
% 168.70/159.61 eprover: CPU time limit exceeded, terminating
% 170.83/161.62 eprover: CPU time limit exceeded, terminating
% 172.93/163.63 eprover: CPU time limit exceeded, terminating
% 175.11/165.64 eprover: CPU time limit exceeded, terminating
% 177.27/167.65 eprover: CPU time limit exceeded, terminating
% 179.38/169.67 eprover: CPU time limit exceeded, terminating
% 181.55/171.68 eprover: CPU time limit exceeded, terminating
% 183.66/173.69 eprover: CPU time limit exceeded, terminating
% 185.82/175.70 eprover: CPU time limit exceeded, terminating
% 188.00/177.71 eprover: CPU time limit exceeded, terminating
% 190.10/179.72 eprover: CPU time limit exceeded, terminating
% 192.29/181.73 eprover: CPU time limit exceeded, terminating
% 194.39/183.74 eprover: CPU time limit exceeded, terminating
% 196.55/185.75 eprover: CPU time limit exceeded, terminating
% 198.63/187.77 eprover: CPU time limit exceeded, terminating
% 200.81/189.78 eprover: CPU time limit exceeded, terminating
% 203.00/191.79 eprover: CPU time limit exceeded, terminating
% 205.09/193.80 eprover: CPU time limit exceeded, terminating
% 207.31/195.81 eprover: CPU time limit exceeded, terminating
% 209.44/197.82 eprover: CPU time limit exceeded, terminating
% 211.54/199.84 eprover: CPU time limit exceeded, terminating
% 213.71/201.85 eprover: CPU time limit exceeded, terminating
% 215.81/203.86 eprover: CPU time limit exceeded, terminating
% 217.99/205.87 eprover: CPU time limit exceeded, terminating
% 220.16/207.88 eprover: CPU time limit exceeded, terminating
% 222.25/209.89 eprover: CPU time limit exceeded, terminating
% 224.46/211.90 eprover: CPU time limit exceeded, terminating
% 226.61/213.91 eprover: CPU time limit exceeded, terminating
% 228.72/215.93 eprover: CPU time limit exceeded, terminating
% 230.91/217.94 eprover: CPU time limit exceeded, terminating
% 232.98/219.95 eprover: CPU time limit exceeded, terminating
% 235.18/221.96 eprover: CPU time limit exceeded, terminating
% 237.26/223.97 eprover: CPU time limit exceeded, terminating
% 239.43/225.98 eprover: CPU time limit exceeded, terminating
% 241.62/227.99 eprover: CPU time limit exceeded, terminating
% 243.69/230.00 eprover: CPU time limit exceeded, terminating
% 245.88/232.02 eprover: CPU time limit exceeded, terminating
% 248.05/234.03 eprover: CPU time limit exceeded, terminating
% 250.14/236.04 eprover: CPU time limit exceeded, terminating
% 252.33/238.05 eprover: CPU time limit exceeded, terminating
% 254.45/240.06 eprover: CPU time limit exceeded, terminating
% 256.61/242.07 eprover: CPU time limit exceeded, terminating
% 258.71/244.08 eprover: CPU time limit exceeded, terminating
% 260.88/246.10 eprover: CPU time limit exceeded, terminating
% 263.06/248.11 eprover: CPU time limit exceeded, terminating
% 265.14/250.12 eprover: CPU time limit exceeded, terminating
% 267.30/252.13 eprover: CPU time limit exceeded, terminating
% 269.50/254.14 eprover: CPU time limit exceeded, terminating
% 271.65/256.15 eprover: CPU time limit exceeded, terminating
% 273.77/258.17 eprover: CPU time limit exceeded, terminating
% 275.94/260.18 eprover: CPU time limit exceeded, terminating
% 278.06/262.19 eprover: CPU time limit exceeded, terminating
% 280.15/264.20 eprover: CPU time limit exceeded, terminating
% 282.34/266.21 eprover: CPU time limit exceeded, terminating
% 284.52/268.22 eprover: CPU time limit exceeded, terminating
% 286.66/270.23 eprover: CPU time limit exceeded, terminating
% 288.76/272.24 eprover: CPU time limit exceeded, terminating
% 290.91/274.26 eprover: CPU time limit exceeded, terminating
% 293.09/276.27 eprover: CPU time limit exceeded, terminating
% 295.17/278.28 eprover: CPU time limit exceeded, terminating
% 297.34/280.29 eprover: CPU time limit exceeded, terminating
% 299.50/282.30 eprover: CPU time limit exceeded, terminating
% 300.04/282.74 eprover: CPU time limit exceeded, terminating
% 300.04/282.76 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------