TSTP Solution File: LAT313+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LAT313+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:15 EDT 2022
% Result : Timeout 285.74s 268.02s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : LAT313+2 : TPTP v8.1.0. Released v3.4.0.
% 0.06/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 : Wed Jun 29 08:57:11 EDT 2022
% 0.13/0.34 % CPUTime :
% 12.65/12.74 eprover: CPU time limit exceeded, terminating
% 14.87/14.75 eprover: CPU time limit exceeded, terminating
% 16.94/16.76 eprover: CPU time limit exceeded, terminating
% 19.15/18.77 eprover: CPU time limit exceeded, terminating
% 21.31/20.78 eprover: CPU time limit exceeded, terminating
% 23.43/22.79 eprover: CPU time limit exceeded, terminating
% 25.60/24.80 eprover: CPU time limit exceeded, terminating
% 27.76/26.81 eprover: CPU time limit exceeded, terminating
% 29.93/28.82 eprover: CPU time limit exceeded, terminating
% 32.09/30.83 eprover: CPU time limit exceeded, terminating
% 34.18/32.84 eprover: CPU time limit exceeded, terminating
% 36.39/34.85 eprover: CPU time limit exceeded, terminating
% 38.51/36.86 eprover: CPU time limit exceeded, terminating
% 40.70/38.87 eprover: CPU time limit exceeded, terminating
% 42.79/40.89 eprover: CPU time limit exceeded, terminating
% 44.94/42.90 eprover: CPU time limit exceeded, terminating
% 47.12/44.91 eprover: CPU time limit exceeded, terminating
% 49.27/46.92 eprover: CPU time limit exceeded, terminating
% 51.42/48.93 eprover: CPU time limit exceeded, terminating
% 53.60/50.94 eprover: CPU time limit exceeded, terminating
% 55.74/52.95 eprover: CPU time limit exceeded, terminating
% 57.85/54.96 eprover: CPU time limit exceeded, terminating
% 60.04/56.97 eprover: CPU time limit exceeded, terminating
% 62.21/58.98 eprover: CPU time limit exceeded, terminating
% 64.31/60.99 eprover: CPU time limit exceeded, terminating
% 66.51/63.00 eprover: CPU time limit exceeded, terminating
% 68.61/65.01 eprover: CPU time limit exceeded, terminating
% 70.82/67.02 eprover: CPU time limit exceeded, terminating
% 73.00/69.03 eprover: CPU time limit exceeded, terminating
% 75.15/71.04 eprover: CPU time limit exceeded, terminating
% 77.27/73.05 eprover: CPU time limit exceeded, terminating
% 79.39/75.06 eprover: CPU time limit exceeded, terminating
% 81.54/77.07 eprover: CPU time limit exceeded, terminating
% 83.65/79.08 eprover: CPU time limit exceeded, terminating
% 85.84/81.09 eprover: CPU time limit exceeded, terminating
% 87.99/83.10 eprover: CPU time limit exceeded, terminating
% 90.22/85.11 eprover: CPU time limit exceeded, terminating
% 92.33/87.12 eprover: CPU time limit exceeded, terminating
% 94.52/89.13 eprover: CPU time limit exceeded, terminating
% 96.66/91.14 eprover: CPU time limit exceeded, terminating
% 98.77/93.15 eprover: CPU time limit exceeded, terminating
% 100.94/95.16 eprover: CPU time limit exceeded, terminating
% 103.06/97.17 eprover: CPU time limit exceeded, terminating
% 105.25/99.18 eprover: CPU time limit exceeded, terminating
% 107.42/101.19 eprover: CPU time limit exceeded, terminating
% 109.51/103.20 eprover: CPU time limit exceeded, terminating
% 111.72/105.21 eprover: CPU time limit exceeded, terminating
% 113.88/107.22 eprover: CPU time limit exceeded, terminating
% 115.98/109.23 eprover: CPU time limit exceeded, terminating
% 118.16/111.24 eprover: CPU time limit exceeded, terminating
% 120.26/113.25 eprover: CPU time limit exceeded, terminating
% 122.38/115.26 eprover: CPU time limit exceeded, terminating
% 124.56/117.27 eprover: CPU time limit exceeded, terminating
% 126.76/119.28 eprover: CPU time limit exceeded, terminating
% 128.84/121.29 eprover: CPU time limit exceeded, terminating
% 131.06/123.30 eprover: CPU time limit exceeded, terminating
% 133.22/125.31 eprover: CPU time limit exceeded, terminating
% 135.37/127.32 eprover: CPU time limit exceeded, terminating
% 137.51/129.33 eprover: CPU time limit exceeded, terminating
% 139.65/131.34 eprover: CPU time limit exceeded, terminating
% 141.81/133.35 eprover: CPU time limit exceeded, terminating
% 143.91/135.36 eprover: CPU time limit exceeded, terminating
% 146.05/137.37 eprover: CPU time limit exceeded, terminating
% 148.21/139.38 eprover: CPU time limit exceeded, terminating
% 150.42/141.39 eprover: CPU time limit exceeded, terminating
% 152.50/143.40 eprover: CPU time limit exceeded, terminating
% 154.72/145.41 eprover: CPU time limit exceeded, terminating
% 156.86/147.42 eprover: CPU time limit exceeded, terminating
% 158.98/149.43 eprover: CPU time limit exceeded, terminating
% 161.09/151.44 eprover: CPU time limit exceeded, terminating
% 163.27/153.45 eprover: CPU time limit exceeded, terminating
% 165.42/155.46 eprover: CPU time limit exceeded, terminating
% 167.55/157.47 eprover: CPU time limit exceeded, terminating
% 169.77/159.48 eprover: CPU time limit exceeded, terminating
% 171.89/161.49 eprover: CPU time limit exceeded, terminating
% 174.06/163.50 eprover: CPU time limit exceeded, terminating
% 176.18/165.51 eprover: CPU time limit exceeded, terminating
% 178.32/167.52 eprover: CPU time limit exceeded, terminating
% 180.47/169.53 eprover: CPU time limit exceeded, terminating
% 182.61/171.54 eprover: CPU time limit exceeded, terminating
% 184.77/173.55 eprover: CPU time limit exceeded, terminating
% 186.90/175.56 eprover: CPU time limit exceeded, terminating
% 189.01/177.57 eprover: CPU time limit exceeded, terminating
% 191.23/179.58 eprover: CPU time limit exceeded, terminating
% 193.32/181.59 eprover: CPU time limit exceeded, terminating
% 195.51/183.60 eprover: CPU time limit exceeded, terminating
% 197.68/185.61 eprover: CPU time limit exceeded, terminating
% 199.84/187.62 eprover: CPU time limit exceeded, terminating
% 201.96/189.63 eprover: CPU time limit exceeded, terminating
% 204.10/191.64 eprover: CPU time limit exceeded, terminating
% 206.25/193.65 eprover: CPU time limit exceeded, terminating
% 208.37/195.66 eprover: CPU time limit exceeded, terminating
% 210.60/197.67 eprover: CPU time limit exceeded, terminating
% 212.66/199.68 eprover: CPU time limit exceeded, terminating
% 214.90/201.69 eprover: CPU time limit exceeded, terminating
% 217.03/203.70 eprover: CPU time limit exceeded, terminating
% 219.19/205.71 eprover: CPU time limit exceeded, terminating
% 221.35/207.72 eprover: CPU time limit exceeded, terminating
% 223.46/209.73 eprover: CPU time limit exceeded, terminating
% 225.59/211.74 eprover: CPU time limit exceeded, terminating
% 227.73/213.75 eprover: CPU time limit exceeded, terminating
% 229.91/215.76 eprover: CPU time limit exceeded, terminating
% 231.99/217.77 eprover: CPU time limit exceeded, terminating
% 234.16/219.78 eprover: CPU time limit exceeded, terminating
% 236.31/221.79 eprover: CPU time limit exceeded, terminating
% 238.53/223.80 eprover: CPU time limit exceeded, terminating
% 240.64/225.81 eprover: CPU time limit exceeded, terminating
% 242.78/227.82 eprover: CPU time limit exceeded, terminating
% 244.96/229.83 eprover: CPU time limit exceeded, terminating
% 247.06/231.84 eprover: CPU time limit exceeded, terminating
% 249.21/233.85 eprover: CPU time limit exceeded, terminating
% 251.37/235.86 eprover: CPU time limit exceeded, terminating
% 253.49/237.87 eprover: CPU time limit exceeded, terminating
% 255.63/239.88 eprover: CPU time limit exceeded, terminating
% 257.77/241.89 eprover: CPU time limit exceeded, terminating
% 259.99/243.90 eprover: CPU time limit exceeded, terminating
% 262.13/245.91 eprover: CPU time limit exceeded, terminating
% 264.28/247.93 eprover: CPU time limit exceeded, terminating
% 266.42/249.94 eprover: CPU time limit exceeded, terminating
% 268.53/251.95 eprover: CPU time limit exceeded, terminating
% 270.68/253.96 eprover: CPU time limit exceeded, terminating
% 272.82/255.97 eprover: CPU time limit exceeded, terminating
% 275.02/257.97 eprover: CPU time limit exceeded, terminating
% 277.09/259.98 eprover: CPU time limit exceeded, terminating
% 279.24/261.99 eprover: CPU time limit exceeded, terminating
% 281.45/264.00 eprover: CPU time limit exceeded, terminating
% 283.58/266.01 eprover: CPU time limit exceeded, terminating
% 285.74/268.02 eprover: CPU time limit exceeded, terminating
% 287.87/270.03 eprover: CPU time limit exceeded, terminating
% 290.01/272.05 eprover: CPU time limit exceeded, terminating
% 292.13/274.06 eprover: CPU time limit exceeded, terminating
% 294.35/276.09 eprover: CPU time limit exceeded, terminating
% 296.40/278.10 eprover: CPU time limit exceeded, terminating
% 298.61/280.11 eprover: CPU time limit exceeded, terminating
% 300.07/281.42 eprover: CPU time limit exceeded, terminating
% 300.07/281.43 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------