TSTP Solution File: LAT299+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LAT299+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:01 EDT 2022
% Result : Timeout 286.28s 269.96s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.09 % Problem : LAT299+2 : TPTP v8.1.0. Released v3.4.0.
% 0.00/0.10 % Command : run_infinox %s
% 0.09/0.29 % Computer : n015.cluster.edu
% 0.09/0.29 % Model : x86_64 x86_64
% 0.09/0.29 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.09/0.29 % Memory : 8042.1875MB
% 0.09/0.29 % OS : Linux 3.10.0-693.el7.x86_64
% 0.09/0.29 % CPULimit : 300
% 0.09/0.29 % WCLimit : 600
% 0.09/0.29 % DateTime : Thu Jun 30 02:45:11 EDT 2022
% 0.09/0.30 % CPUTime :
% 16.59/16.66 eprover: CPU time limit exceeded, terminating
% 18.74/18.67 eprover: CPU time limit exceeded, terminating
% 20.82/20.68 eprover: CPU time limit exceeded, terminating
% 23.05/22.69 eprover: CPU time limit exceeded, terminating
% 25.10/24.70 eprover: CPU time limit exceeded, terminating
% 27.29/26.70 eprover: CPU time limit exceeded, terminating
% 29.44/28.71 eprover: CPU time limit exceeded, terminating
% 31.59/30.72 eprover: CPU time limit exceeded, terminating
% 33.69/32.73 eprover: CPU time limit exceeded, terminating
% 35.81/34.74 eprover: CPU time limit exceeded, terminating
% 37.92/36.75 eprover: CPU time limit exceeded, terminating
% 40.04/38.76 eprover: CPU time limit exceeded, terminating
% 42.13/40.77 eprover: CPU time limit exceeded, terminating
% 44.32/42.80 eprover: CPU time limit exceeded, terminating
% 46.41/44.80 eprover: CPU time limit exceeded, terminating
% 48.54/46.81 eprover: CPU time limit exceeded, terminating
% 50.68/48.82 eprover: CPU time limit exceeded, terminating
% 52.78/50.83 eprover: CPU time limit exceeded, terminating
% 54.88/52.84 eprover: CPU time limit exceeded, terminating
% 56.99/54.85 eprover: CPU time limit exceeded, terminating
% 59.09/56.86 eprover: CPU time limit exceeded, terminating
% 61.27/58.89 eprover: CPU time limit exceeded, terminating
% 63.38/60.91 eprover: CPU time limit exceeded, terminating
% 65.50/62.93 eprover: CPU time limit exceeded, terminating
% 67.59/64.94 eprover: CPU time limit exceeded, terminating
% 69.69/66.94 eprover: CPU time limit exceeded, terminating
% 71.83/68.95 eprover: CPU time limit exceeded, terminating
% 73.93/70.96 eprover: CPU time limit exceeded, terminating
% 76.06/72.97 eprover: CPU time limit exceeded, terminating
% 78.23/74.99 eprover: CPU time limit exceeded, terminating
% 80.42/77.00 eprover: CPU time limit exceeded, terminating
% 82.54/79.01 eprover: CPU time limit exceeded, terminating
% 84.67/81.02 eprover: CPU time limit exceeded, terminating
% 86.85/83.03 eprover: CPU time limit exceeded, terminating
% 89.02/85.04 eprover: CPU time limit exceeded, terminating
% 91.16/87.05 eprover: CPU time limit exceeded, terminating
% 93.30/89.06 eprover: CPU time limit exceeded, terminating
% 95.45/91.07 eprover: CPU time limit exceeded, terminating
% 97.55/93.08 eprover: CPU time limit exceeded, terminating
% 99.71/95.09 eprover: CPU time limit exceeded, terminating
% 101.85/97.10 eprover: CPU time limit exceeded, terminating
% 103.99/99.11 eprover: CPU time limit exceeded, terminating
% 106.12/101.12 eprover: CPU time limit exceeded, terminating
% 108.32/103.13 eprover: CPU time limit exceeded, terminating
% 110.45/105.14 eprover: CPU time limit exceeded, terminating
% 112.58/107.15 eprover: CPU time limit exceeded, terminating
% 114.72/109.16 eprover: CPU time limit exceeded, terminating
% 116.87/111.17 eprover: CPU time limit exceeded, terminating
% 118.98/113.18 eprover: CPU time limit exceeded, terminating
% 121.12/115.19 eprover: CPU time limit exceeded, terminating
% 123.25/117.20 eprover: CPU time limit exceeded, terminating
% 125.42/119.21 eprover: CPU time limit exceeded, terminating
% 127.53/121.22 eprover: CPU time limit exceeded, terminating
% 129.72/123.23 eprover: CPU time limit exceeded, terminating
% 131.79/125.24 eprover: CPU time limit exceeded, terminating
% 134.00/127.25 eprover: CPU time limit exceeded, terminating
% 136.14/129.26 eprover: CPU time limit exceeded, terminating
% 138.26/131.27 eprover: CPU time limit exceeded, terminating
% 140.41/133.28 eprover: CPU time limit exceeded, terminating
% 142.52/135.29 eprover: CPU time limit exceeded, terminating
% 144.68/137.30 eprover: CPU time limit exceeded, terminating
% 146.84/139.31 eprover: CPU time limit exceeded, terminating
% 149.00/141.32 eprover: CPU time limit exceeded, terminating
% 151.13/143.33 eprover: CPU time limit exceeded, terminating
% 153.22/145.34 eprover: CPU time limit exceeded, terminating
% 155.41/147.35 eprover: CPU time limit exceeded, terminating
% 157.58/149.36 eprover: CPU time limit exceeded, terminating
% 159.72/151.37 eprover: CPU time limit exceeded, terminating
% 161.85/153.38 eprover: CPU time limit exceeded, terminating
% 163.97/155.39 eprover: CPU time limit exceeded, terminating
% 166.16/157.40 eprover: CPU time limit exceeded, terminating
% 168.28/159.41 eprover: CPU time limit exceeded, terminating
% 170.43/161.42 eprover: CPU time limit exceeded, terminating
% 172.56/163.43 eprover: CPU time limit exceeded, terminating
% 174.71/165.44 eprover: CPU time limit exceeded, terminating
% 176.83/167.45 eprover: CPU time limit exceeded, terminating
% 179.02/169.46 eprover: CPU time limit exceeded, terminating
% 181.18/171.47 eprover: CPU time limit exceeded, terminating
% 183.28/173.48 eprover: CPU time limit exceeded, terminating
% 185.47/175.49 eprover: CPU time limit exceeded, terminating
% 187.59/177.50 eprover: CPU time limit exceeded, terminating
% 189.76/179.51 eprover: CPU time limit exceeded, terminating
% 191.89/181.52 eprover: CPU time limit exceeded, terminating
% 193.97/183.53 eprover: CPU time limit exceeded, terminating
% 196.13/185.54 eprover: CPU time limit exceeded, terminating
% 198.30/187.55 eprover: CPU time limit exceeded, terminating
% 200.39/189.56 eprover: CPU time limit exceeded, terminating
% 202.58/191.57 eprover: CPU time limit exceeded, terminating
% 204.77/193.58 eprover: CPU time limit exceeded, terminating
% 206.86/195.59 eprover: CPU time limit exceeded, terminating
% 209.04/197.60 eprover: CPU time limit exceeded, terminating
% 211.21/199.61 eprover: CPU time limit exceeded, terminating
% 213.36/201.62 eprover: CPU time limit exceeded, terminating
% 215.42/203.63 eprover: CPU time limit exceeded, terminating
% 217.63/205.64 eprover: CPU time limit exceeded, terminating
% 219.72/207.65 eprover: CPU time limit exceeded, terminating
% 221.91/209.66 eprover: CPU time limit exceeded, terminating
% 224.05/211.67 eprover: CPU time limit exceeded, terminating
% 226.24/213.68 eprover: CPU time limit exceeded, terminating
% 228.32/215.69 eprover: CPU time limit exceeded, terminating
% 230.46/217.70 eprover: CPU time limit exceeded, terminating
% 232.65/219.71 eprover: CPU time limit exceeded, terminating
% 234.73/221.72 eprover: CPU time limit exceeded, terminating
% 236.91/223.73 eprover: CPU time limit exceeded, terminating
% 239.08/225.74 eprover: CPU time limit exceeded, terminating
% 241.23/227.75 eprover: CPU time limit exceeded, terminating
% 243.35/229.76 eprover: CPU time limit exceeded, terminating
% 245.52/231.77 eprover: CPU time limit exceeded, terminating
% 247.68/233.78 eprover: CPU time limit exceeded, terminating
% 249.82/235.79 eprover: CPU time limit exceeded, terminating
% 251.97/237.80 eprover: CPU time limit exceeded, terminating
% 254.10/239.81 eprover: CPU time limit exceeded, terminating
% 256.26/241.82 eprover: CPU time limit exceeded, terminating
% 258.37/243.83 eprover: CPU time limit exceeded, terminating
% 260.49/245.84 eprover: CPU time limit exceeded, terminating
% 262.68/247.85 eprover: CPU time limit exceeded, terminating
% 264.83/249.86 eprover: CPU time limit exceeded, terminating
% 266.97/251.87 eprover: CPU time limit exceeded, terminating
% 269.13/253.88 eprover: CPU time limit exceeded, terminating
% 271.26/255.89 eprover: CPU time limit exceeded, terminating
% 273.39/257.90 eprover: CPU time limit exceeded, terminating
% 275.52/259.91 eprover: CPU time limit exceeded, terminating
% 277.66/261.92 eprover: CPU time limit exceeded, terminating
% 279.85/263.93 eprover: CPU time limit exceeded, terminating
% 281.99/265.94 eprover: CPU time limit exceeded, terminating
% 284.07/267.95 eprover: CPU time limit exceeded, terminating
% 286.28/269.96 eprover: CPU time limit exceeded, terminating
% 288.41/271.97 eprover: CPU time limit exceeded, terminating
% 290.56/273.98 eprover: CPU time limit exceeded, terminating
% 292.69/275.99 eprover: CPU time limit exceeded, terminating
% 294.82/278.00 eprover: CPU time limit exceeded, terminating
% 296.99/280.01 eprover: CPU time limit exceeded, terminating
% 299.14/282.02 eprover: CPU time limit exceeded, terminating
% 300.05/282.77 eprover: CPU time limit exceeded, terminating
% 300.05/282.79 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------