TSTP Solution File: LAT365+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LAT365+1 : 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:15:08 EDT 2022
% Result : Timeout 286.59s 280.05s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.11 % Problem : LAT365+1 : TPTP v8.1.0. Released v3.4.0.
% 0.06/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n015.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 29 06:19:10 EDT 2022
% 0.12/0.33 % CPUTime :
% 2.61/2.86 eprover: CPU time limit exceeded, terminating
% 4.68/4.87 eprover: CPU time limit exceeded, terminating
% 6.70/6.88 eprover: CPU time limit exceeded, terminating
% 8.74/8.88 eprover: CPU time limit exceeded, terminating
% 10.80/10.89 eprover: CPU time limit exceeded, terminating
% 12.76/12.90 eprover: CPU time limit exceeded, terminating
% 14.83/14.91 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.94/20.94 eprover: CPU time limit exceeded, terminating
% 22.91/22.94 eprover: CPU time limit exceeded, terminating
% 24.97/24.95 eprover: CPU time limit exceeded, terminating
% 27.00/26.96 eprover: CPU time limit exceeded, terminating
% 29.06/28.97 eprover: CPU time limit exceeded, terminating
% 31.04/30.98 eprover: CPU time limit exceeded, terminating
% 33.06/32.98 eprover: CPU time limit exceeded, terminating
% 35.13/34.99 eprover: CPU time limit exceeded, terminating
% 37.16/37.00 eprover: CPU time limit exceeded, terminating
% 39.17/39.01 eprover: CPU time limit exceeded, terminating
% 41.21/41.02 eprover: CPU time limit exceeded, terminating
% 43.22/43.02 eprover: CPU time limit exceeded, terminating
% 45.26/45.03 eprover: CPU time limit exceeded, terminating
% 47.27/47.04 eprover: CPU time limit exceeded, terminating
% 49.32/49.05 eprover: CPU time limit exceeded, terminating
% 51.32/51.06 eprover: CPU time limit exceeded, terminating
% 53.35/53.06 eprover: CPU time limit exceeded, terminating
% 55.39/55.07 eprover: CPU time limit exceeded, terminating
% 57.45/57.08 eprover: CPU time limit exceeded, terminating
% 59.42/59.09 eprover: CPU time limit exceeded, terminating
% 61.51/61.10 eprover: CPU time limit exceeded, terminating
% 63.52/63.11 eprover: CPU time limit exceeded, terminating
% 65.55/65.12 eprover: CPU time limit exceeded, terminating
% 67.58/67.13 eprover: CPU time limit exceeded, terminating
% 69.60/69.13 eprover: CPU time limit exceeded, terminating
% 71.61/71.14 eprover: CPU time limit exceeded, terminating
% 73.65/73.15 eprover: CPU time limit exceeded, terminating
% 75.67/75.16 eprover: CPU time limit exceeded, terminating
% 77.68/77.17 eprover: CPU time limit exceeded, terminating
% 79.76/79.18 eprover: CPU time limit exceeded, terminating
% 81.78/81.18 eprover: CPU time limit exceeded, terminating
% 83.81/83.19 eprover: CPU time limit exceeded, terminating
% 85.85/85.20 eprover: CPU time limit exceeded, terminating
% 87.87/87.21 eprover: CPU time limit exceeded, terminating
% 89.91/89.22 eprover: CPU time limit exceeded, terminating
% 91.92/91.23 eprover: CPU time limit exceeded, terminating
% 93.96/93.24 eprover: CPU time limit exceeded, terminating
% 95.96/95.24 eprover: CPU time limit exceeded, terminating
% 97.98/97.25 eprover: CPU time limit exceeded, terminating
% 100.03/99.26 eprover: CPU time limit exceeded, terminating
% 102.04/101.27 eprover: CPU time limit exceeded, terminating
% 104.07/103.28 eprover: CPU time limit exceeded, terminating
% 106.14/105.29 eprover: CPU time limit exceeded, terminating
% 108.13/107.29 eprover: CPU time limit exceeded, terminating
% 110.12/109.30 eprover: CPU time limit exceeded, terminating
% 112.23/111.31 eprover: CPU time limit exceeded, terminating
% 114.22/113.32 eprover: CPU time limit exceeded, terminating
% 116.25/115.33 eprover: CPU time limit exceeded, terminating
% 118.27/117.33 eprover: CPU time limit exceeded, terminating
% 120.27/119.34 eprover: CPU time limit exceeded, terminating
% 122.33/121.35 eprover: CPU time limit exceeded, terminating
% 124.31/123.36 eprover: CPU time limit exceeded, terminating
% 126.35/125.37 eprover: CPU time limit exceeded, terminating
% 128.43/127.38 eprover: CPU time limit exceeded, terminating
% 130.39/129.39 eprover: CPU time limit exceeded, terminating
% 132.47/131.39 eprover: CPU time limit exceeded, terminating
% 134.44/133.40 eprover: CPU time limit exceeded, terminating
% 136.57/135.41 eprover: CPU time limit exceeded, terminating
% 138.58/137.42 eprover: CPU time limit exceeded, terminating
% 140.59/139.43 eprover: CPU time limit exceeded, terminating
% 142.59/141.44 eprover: CPU time limit exceeded, terminating
% 144.63/143.44 eprover: CPU time limit exceeded, terminating
% 146.67/145.45 eprover: CPU time limit exceeded, terminating
% 148.67/147.46 eprover: CPU time limit exceeded, terminating
% 150.69/149.47 eprover: CPU time limit exceeded, terminating
% 152.73/151.48 eprover: CPU time limit exceeded, terminating
% 154.73/153.48 eprover: CPU time limit exceeded, terminating
% 156.82/155.49 eprover: CPU time limit exceeded, terminating
% 158.86/157.50 eprover: CPU time limit exceeded, terminating
% 160.88/159.51 eprover: CPU time limit exceeded, terminating
% 162.90/161.52 eprover: CPU time limit exceeded, terminating
% 164.89/163.52 eprover: CPU time limit exceeded, terminating
% 166.96/165.53 eprover: CPU time limit exceeded, terminating
% 168.97/167.54 eprover: CPU time limit exceeded, terminating
% 170.98/169.55 eprover: CPU time limit exceeded, terminating
% 173.02/171.56 eprover: CPU time limit exceeded, terminating
% 175.04/173.57 eprover: CPU time limit exceeded, terminating
% 177.05/175.57 eprover: CPU time limit exceeded, terminating
% 179.09/177.58 eprover: CPU time limit exceeded, terminating
% 181.11/179.59 eprover: CPU time limit exceeded, terminating
% 183.21/181.60 eprover: CPU time limit exceeded, terminating
% 185.23/183.61 eprover: CPU time limit exceeded, terminating
% 187.26/185.62 eprover: CPU time limit exceeded, terminating
% 189.24/187.63 eprover: CPU time limit exceeded, terminating
% 191.28/189.64 eprover: CPU time limit exceeded, terminating
% 193.33/191.65 eprover: CPU time limit exceeded, terminating
% 195.33/193.66 eprover: CPU time limit exceeded, terminating
% 197.35/195.67 eprover: CPU time limit exceeded, terminating
% 199.40/197.67 eprover: CPU time limit exceeded, terminating
% 201.40/199.68 eprover: CPU time limit exceeded, terminating
% 203.49/201.69 eprover: CPU time limit exceeded, terminating
% 205.51/203.70 eprover: CPU time limit exceeded, terminating
% 209.53/205.71 eprover: CPU time limit exceeded, terminating
% 211.52/207.72 eprover: CPU time limit exceeded, terminating
% 213.56/209.73 eprover: CPU time limit exceeded, terminating
% 215.61/211.74 eprover: CPU time limit exceeded, terminating
% 217.61/213.75 eprover: CPU time limit exceeded, terminating
% 219.66/215.75 eprover: CPU time limit exceeded, terminating
% 221.68/217.76 eprover: CPU time limit exceeded, terminating
% 223.75/219.77 eprover: CPU time limit exceeded, terminating
% 225.68/221.78 eprover: CPU time limit exceeded, terminating
% 229.69/223.79 eprover: CPU time limit exceeded, terminating
% 231.80/225.80 eprover: CPU time limit exceeded, terminating
% 233.82/227.81 eprover: CPU time limit exceeded, terminating
% 235.85/229.82 eprover: CPU time limit exceeded, terminating
% 237.87/231.83 eprover: CPU time limit exceeded, terminating
% 239.90/233.84 eprover: CPU time limit exceeded, terminating
% 241.92/235.84 eprover: CPU time limit exceeded, terminating
% 243.92/237.85 eprover: CPU time limit exceeded, terminating
% 245.96/239.86 eprover: CPU time limit exceeded, terminating
% 247.99/241.87 eprover: CPU time limit exceeded, terminating
% 250.06/243.89 eprover: CPU time limit exceeded, terminating
% 251.99/245.89 eprover: CPU time limit exceeded, terminating
% 254.11/247.90 eprover: CPU time limit exceeded, terminating
% 256.14/249.91 eprover: CPU time limit exceeded, terminating
% 258.18/251.92 eprover: CPU time limit exceeded, terminating
% 260.18/253.93 eprover: CPU time limit exceeded, terminating
% 262.21/255.94 eprover: CPU time limit exceeded, terminating
% 264.24/257.95 eprover: CPU time limit exceeded, terminating
% 266.25/259.96 eprover: CPU time limit exceeded, terminating
% 268.29/261.97 eprover: CPU time limit exceeded, terminating
% 270.29/263.98 eprover: CPU time limit exceeded, terminating
% 272.38/265.98 eprover: CPU time limit exceeded, terminating
% 274.41/267.99 eprover: CPU time limit exceeded, terminating
% 276.46/270.00 eprover: CPU time limit exceeded, terminating
% 278.48/272.01 eprover: CPU time limit exceeded, terminating
% 280.51/274.02 eprover: CPU time limit exceeded, terminating
% 282.54/276.03 eprover: CPU time limit exceeded, terminating
% 284.54/278.04 eprover: CPU time limit exceeded, terminating
% 286.59/280.05 eprover: CPU time limit exceeded, terminating
% 288.59/282.06 eprover: CPU time limit exceeded, terminating
% 290.63/284.07 eprover: CPU time limit exceeded, terminating
% 292.62/286.08 eprover: CPU time limit exceeded, terminating
% 294.73/288.09 eprover: CPU time limit exceeded, terminating
% 296.68/290.10 eprover: CPU time limit exceeded, terminating
% 298.78/292.11 eprover: CPU time limit exceeded, terminating
% 300.01/293.31 eprover: CPU time limit exceeded, terminating
% 300.01/293.32 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------