TSTP Solution File: LAT361+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LAT361+1 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n004.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:04 EDT 2022
% Result : Timeout 287.16s 286.10s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11 % Problem : LAT361+1 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.13/0.33 % Computer : n004.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33 % CPULimit : 300
% 0.13/0.33 % WCLimit : 600
% 0.13/0.33 % DateTime : Wed Jun 29 19:54:23 EDT 2022
% 0.13/0.33 % CPUTime :
% 2.38/2.57 eprover: CPU time limit exceeded, terminating
% 4.40/4.59 eprover: CPU time limit exceeded, terminating
% 6.42/6.60 eprover: CPU time limit exceeded, terminating
% 8.46/8.61 eprover: CPU time limit exceeded, terminating
% 10.42/10.62 eprover: CPU time limit exceeded, terminating
% 12.42/12.62 eprover: CPU time limit exceeded, terminating
% 14.44/14.64 eprover: CPU time limit exceeded, terminating
% 16.51/16.65 eprover: CPU time limit exceeded, terminating
% 18.54/18.66 eprover: CPU time limit exceeded, terminating
% 20.53/20.67 eprover: CPU time limit exceeded, terminating
% 22.56/22.68 eprover: CPU time limit exceeded, terminating
% 24.55/24.69 eprover: CPU time limit exceeded, terminating
% 26.60/26.70 eprover: CPU time limit exceeded, terminating
% 28.64/28.71 eprover: CPU time limit exceeded, terminating
% 30.68/30.73 eprover: CPU time limit exceeded, terminating
% 32.65/32.74 eprover: CPU time limit exceeded, terminating
% 34.67/34.75 eprover: CPU time limit exceeded, terminating
% 36.73/36.76 eprover: CPU time limit exceeded, terminating
% 38.73/38.77 eprover: CPU time limit exceeded, terminating
% 40.70/40.78 eprover: CPU time limit exceeded, terminating
% 42.75/42.79 eprover: CPU time limit exceeded, terminating
% 44.80/44.80 eprover: CPU time limit exceeded, terminating
% 46.76/46.81 eprover: CPU time limit exceeded, terminating
% 48.85/48.82 eprover: CPU time limit exceeded, terminating
% 50.85/50.83 eprover: CPU time limit exceeded, terminating
% 52.86/52.84 eprover: CPU time limit exceeded, terminating
% 54.82/54.85 eprover: CPU time limit exceeded, terminating
% 56.92/56.86 eprover: CPU time limit exceeded, terminating
% 58.93/58.87 eprover: CPU time limit exceeded, terminating
% 60.90/60.88 eprover: CPU time limit exceeded, terminating
% 62.95/62.88 eprover: CPU time limit exceeded, terminating
% 64.99/64.90 eprover: CPU time limit exceeded, terminating
% 67.00/66.90 eprover: CPU time limit exceeded, terminating
% 68.95/68.92 eprover: CPU time limit exceeded, terminating
% 71.04/70.93 eprover: CPU time limit exceeded, terminating
% 73.04/72.94 eprover: CPU time limit exceeded, terminating
% 75.07/74.95 eprover: CPU time limit exceeded, terminating
% 77.08/76.96 eprover: CPU time limit exceeded, terminating
% 79.11/78.97 eprover: CPU time limit exceeded, terminating
% 81.10/80.98 eprover: CPU time limit exceeded, terminating
% 83.15/82.99 eprover: CPU time limit exceeded, terminating
% 85.15/85.00 eprover: CPU time limit exceeded, terminating
% 87.17/87.00 eprover: CPU time limit exceeded, terminating
% 89.20/89.02 eprover: CPU time limit exceeded, terminating
% 91.22/91.02 eprover: CPU time limit exceeded, terminating
% 93.24/93.04 eprover: CPU time limit exceeded, terminating
% 95.26/95.05 eprover: CPU time limit exceeded, terminating
% 97.26/97.06 eprover: CPU time limit exceeded, terminating
% 99.29/99.07 eprover: CPU time limit exceeded, terminating
% 101.31/101.08 eprover: CPU time limit exceeded, terminating
% 103.33/103.09 eprover: CPU time limit exceeded, terminating
% 105.30/105.10 eprover: CPU time limit exceeded, terminating
% 107.34/107.11 eprover: CPU time limit exceeded, terminating
% 109.39/109.12 eprover: CPU time limit exceeded, terminating
% 111.37/111.13 eprover: CPU time limit exceeded, terminating
% 113.42/113.14 eprover: CPU time limit exceeded, terminating
% 115.41/115.15 eprover: CPU time limit exceeded, terminating
% 117.47/117.16 eprover: CPU time limit exceeded, terminating
% 119.46/119.17 eprover: CPU time limit exceeded, terminating
% 121.47/121.18 eprover: CPU time limit exceeded, terminating
% 123.49/123.19 eprover: CPU time limit exceeded, terminating
% 125.53/125.20 eprover: CPU time limit exceeded, terminating
% 127.56/127.21 eprover: CPU time limit exceeded, terminating
% 129.54/129.22 eprover: CPU time limit exceeded, terminating
% 131.58/131.23 eprover: CPU time limit exceeded, terminating
% 133.57/133.24 eprover: CPU time limit exceeded, terminating
% 135.62/135.25 eprover: CPU time limit exceeded, terminating
% 137.67/137.27 eprover: CPU time limit exceeded, terminating
% 139.67/139.28 eprover: CPU time limit exceeded, terminating
% 141.68/141.29 eprover: CPU time limit exceeded, terminating
% 143.66/143.30 eprover: CPU time limit exceeded, terminating
% 145.73/145.31 eprover: CPU time limit exceeded, terminating
% 147.70/147.32 eprover: CPU time limit exceeded, terminating
% 149.73/149.33 eprover: CPU time limit exceeded, terminating
% 151.78/151.34 eprover: CPU time limit exceeded, terminating
% 153.82/153.36 eprover: CPU time limit exceeded, terminating
% 155.84/155.37 eprover: CPU time limit exceeded, terminating
% 157.82/157.38 eprover: CPU time limit exceeded, terminating
% 159.89/159.39 eprover: CPU time limit exceeded, terminating
% 161.82/161.40 eprover: CPU time limit exceeded, terminating
% 163.92/163.41 eprover: CPU time limit exceeded, terminating
% 165.87/165.42 eprover: CPU time limit exceeded, terminating
% 167.90/167.43 eprover: CPU time limit exceeded, terminating
% 169.98/169.44 eprover: CPU time limit exceeded, terminating
% 171.98/171.45 eprover: CPU time limit exceeded, terminating
% 174.01/173.46 eprover: CPU time limit exceeded, terminating
% 176.01/175.47 eprover: CPU time limit exceeded, terminating
% 178.00/177.49 eprover: CPU time limit exceeded, terminating
% 180.06/179.50 eprover: CPU time limit exceeded, terminating
% 182.08/181.51 eprover: CPU time limit exceeded, terminating
% 184.10/183.52 eprover: CPU time limit exceeded, terminating
% 186.14/185.53 eprover: CPU time limit exceeded, terminating
% 188.10/187.54 eprover: CPU time limit exceeded, terminating
% 190.15/189.55 eprover: CPU time limit exceeded, terminating
% 192.18/191.56 eprover: CPU time limit exceeded, terminating
% 194.21/193.57 eprover: CPU time limit exceeded, terminating
% 196.22/195.58 eprover: CPU time limit exceeded, terminating
% 198.25/197.59 eprover: CPU time limit exceeded, terminating
% 200.24/199.60 eprover: CPU time limit exceeded, terminating
% 202.27/201.61 eprover: CPU time limit exceeded, terminating
% 204.31/203.63 eprover: CPU time limit exceeded, terminating
% 206.28/205.64 eprover: CPU time limit exceeded, terminating
% 208.34/207.65 eprover: CPU time limit exceeded, terminating
% 210.39/209.66 eprover: CPU time limit exceeded, terminating
% 212.35/211.67 eprover: CPU time limit exceeded, terminating
% 214.43/213.68 eprover: CPU time limit exceeded, terminating
% 216.38/215.69 eprover: CPU time limit exceeded, terminating
% 218.42/217.70 eprover: CPU time limit exceeded, terminating
% 220.47/219.72 eprover: CPU time limit exceeded, terminating
% 222.49/221.73 eprover: CPU time limit exceeded, terminating
% 224.49/223.74 eprover: CPU time limit exceeded, terminating
% 226.52/225.75 eprover: CPU time limit exceeded, terminating
% 228.53/227.76 eprover: CPU time limit exceeded, terminating
% 230.51/229.77 eprover: CPU time limit exceeded, terminating
% 232.54/231.78 eprover: CPU time limit exceeded, terminating
% 234.56/233.80 eprover: CPU time limit exceeded, terminating
% 236.63/235.81 eprover: CPU time limit exceeded, terminating
% 238.66/237.82 eprover: CPU time limit exceeded, terminating
% 240.66/239.83 eprover: CPU time limit exceeded, terminating
% 242.70/241.84 eprover: CPU time limit exceeded, terminating
% 244.68/243.85 eprover: CPU time limit exceeded, terminating
% 246.72/245.87 eprover: CPU time limit exceeded, terminating
% 248.73/247.88 eprover: CPU time limit exceeded, terminating
% 250.80/249.89 eprover: CPU time limit exceeded, terminating
% 252.80/251.90 eprover: CPU time limit exceeded, terminating
% 254.85/253.91 eprover: CPU time limit exceeded, terminating
% 256.81/255.92 eprover: CPU time limit exceeded, terminating
% 258.83/257.94 eprover: CPU time limit exceeded, terminating
% 260.86/259.95 eprover: CPU time limit exceeded, terminating
% 262.86/261.96 eprover: CPU time limit exceeded, terminating
% 264.89/263.97 eprover: CPU time limit exceeded, terminating
% 266.91/265.98 eprover: CPU time limit exceeded, terminating
% 268.95/267.99 eprover: CPU time limit exceeded, terminating
% 270.97/270.00 eprover: CPU time limit exceeded, terminating
% 273.00/272.01 eprover: CPU time limit exceeded, terminating
% 274.94/274.02 eprover: CPU time limit exceeded, terminating
% 277.04/276.04 eprover: CPU time limit exceeded, terminating
% 279.06/278.05 eprover: CPU time limit exceeded, terminating
% 281.06/280.06 eprover: CPU time limit exceeded, terminating
% 283.04/282.07 eprover: CPU time limit exceeded, terminating
% 285.14/284.08 eprover: CPU time limit exceeded, terminating
% 287.16/286.10 eprover: CPU time limit exceeded, terminating
% 289.17/288.11 eprover: CPU time limit exceeded, terminating
% 291.17/290.12 eprover: CPU time limit exceeded, terminating
% 293.21/292.13 eprover: CPU time limit exceeded, terminating
% 295.21/294.15 eprover: CPU time limit exceeded, terminating
% 297.22/296.16 eprover: CPU time limit exceeded, terminating
% 299.24/298.18 eprover: CPU time limit exceeded, terminating
% 300.03/298.90 eprover: CPU time limit exceeded, terminating
% 300.03/298.92 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------