TSTP Solution File: LAT339+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LAT339+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n021.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:41 EDT 2022
% Result : Timeout 287.94s 255.71s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.13 % Problem : LAT339+2 : TPTP v8.1.0. Released v3.4.0.
% 0.07/0.14 % Command : run_infinox %s
% 0.13/0.36 % Computer : n021.cluster.edu
% 0.13/0.36 % Model : x86_64 x86_64
% 0.13/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.36 % Memory : 8042.1875MB
% 0.13/0.36 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.36 % CPULimit : 300
% 0.13/0.36 % WCLimit : 600
% 0.13/0.36 % DateTime : Thu Jun 30 08:01:58 EDT 2022
% 0.13/0.36 % CPUTime :
% 23.98/23.89 eprover: CPU time limit exceeded, terminating
% 26.33/25.90 eprover: CPU time limit exceeded, terminating
% 28.55/27.91 eprover: CPU time limit exceeded, terminating
% 30.91/29.93 eprover: CPU time limit exceeded, terminating
% 33.20/31.94 eprover: CPU time limit exceeded, terminating
% 35.42/33.95 eprover: CPU time limit exceeded, terminating
% 37.71/35.97 eprover: CPU time limit exceeded, terminating
% 40.01/37.98 eprover: CPU time limit exceeded, terminating
% 42.32/39.99 eprover: CPU time limit exceeded, terminating
% 44.59/42.01 eprover: CPU time limit exceeded, terminating
% 46.92/44.02 eprover: CPU time limit exceeded, terminating
% 49.16/46.03 eprover: CPU time limit exceeded, terminating
% 51.48/48.05 eprover: CPU time limit exceeded, terminating
% 53.77/50.06 eprover: CPU time limit exceeded, terminating
% 56.09/52.08 eprover: CPU time limit exceeded, terminating
% 58.30/54.09 eprover: CPU time limit exceeded, terminating
% 60.65/56.10 eprover: CPU time limit exceeded, terminating
% 62.85/58.12 eprover: CPU time limit exceeded, terminating
% 65.21/60.13 eprover: CPU time limit exceeded, terminating
% 67.51/62.14 eprover: CPU time limit exceeded, terminating
% 69.72/64.15 eprover: CPU time limit exceeded, terminating
% 72.07/66.16 eprover: CPU time limit exceeded, terminating
% 74.40/68.18 eprover: CPU time limit exceeded, terminating
% 76.57/70.19 eprover: CPU time limit exceeded, terminating
% 78.89/72.20 eprover: CPU time limit exceeded, terminating
% 81.19/74.22 eprover: CPU time limit exceeded, terminating
% 83.49/76.23 eprover: CPU time limit exceeded, terminating
% 85.73/78.25 eprover: CPU time limit exceeded, terminating
% 88.01/80.26 eprover: CPU time limit exceeded, terminating
% 90.31/82.28 eprover: CPU time limit exceeded, terminating
% 92.66/84.29 eprover: CPU time limit exceeded, terminating
% 94.97/86.31 eprover: CPU time limit exceeded, terminating
% 97.27/88.33 eprover: CPU time limit exceeded, terminating
% 99.56/90.34 eprover: CPU time limit exceeded, terminating
% 101.79/92.36 eprover: CPU time limit exceeded, terminating
% 104.16/94.38 eprover: CPU time limit exceeded, terminating
% 106.44/96.39 eprover: CPU time limit exceeded, terminating
% 108.77/98.41 eprover: CPU time limit exceeded, terminating
% 111.05/100.43 eprover: CPU time limit exceeded, terminating
% 113.32/102.44 eprover: CPU time limit exceeded, terminating
% 115.63/104.46 eprover: CPU time limit exceeded, terminating
% 117.88/106.47 eprover: CPU time limit exceeded, terminating
% 120.18/108.49 eprover: CPU time limit exceeded, terminating
% 122.51/110.51 eprover: CPU time limit exceeded, terminating
% 124.74/112.53 eprover: CPU time limit exceeded, terminating
% 127.05/114.54 eprover: CPU time limit exceeded, terminating
% 129.39/116.56 eprover: CPU time limit exceeded, terminating
% 131.73/118.58 eprover: CPU time limit exceeded, terminating
% 133.98/120.59 eprover: CPU time limit exceeded, terminating
% 136.30/122.61 eprover: CPU time limit exceeded, terminating
% 138.60/124.63 eprover: CPU time limit exceeded, terminating
% 140.88/126.64 eprover: CPU time limit exceeded, terminating
% 143.18/128.66 eprover: CPU time limit exceeded, terminating
% 145.52/130.68 eprover: CPU time limit exceeded, terminating
% 147.81/132.69 eprover: CPU time limit exceeded, terminating
% 150.05/134.71 eprover: CPU time limit exceeded, terminating
% 152.41/136.73 eprover: CPU time limit exceeded, terminating
% 154.72/138.74 eprover: CPU time limit exceeded, terminating
% 156.93/140.76 eprover: CPU time limit exceeded, terminating
% 159.30/142.78 eprover: CPU time limit exceeded, terminating
% 161.55/144.79 eprover: CPU time limit exceeded, terminating
% 163.87/146.81 eprover: CPU time limit exceeded, terminating
% 166.19/148.83 eprover: CPU time limit exceeded, terminating
% 168.49/150.84 eprover: CPU time limit exceeded, terminating
% 170.78/152.86 eprover: CPU time limit exceeded, terminating
% 173.10/154.88 eprover: CPU time limit exceeded, terminating
% 175.34/156.90 eprover: CPU time limit exceeded, terminating
% 177.70/158.91 eprover: CPU time limit exceeded, terminating
% 179.95/160.93 eprover: CPU time limit exceeded, terminating
% 182.23/162.95 eprover: CPU time limit exceeded, terminating
% 184.54/164.96 eprover: CPU time limit exceeded, terminating
% 186.79/166.98 eprover: CPU time limit exceeded, terminating
% 189.11/169.00 eprover: CPU time limit exceeded, terminating
% 191.43/171.02 eprover: CPU time limit exceeded, terminating
% 193.74/173.03 eprover: CPU time limit exceeded, terminating
% 196.01/175.05 eprover: CPU time limit exceeded, terminating
% 198.32/177.06 eprover: CPU time limit exceeded, terminating
% 200.60/179.08 eprover: CPU time limit exceeded, terminating
% 202.95/181.10 eprover: CPU time limit exceeded, terminating
% 205.25/183.11 eprover: CPU time limit exceeded, terminating
% 207.53/185.13 eprover: CPU time limit exceeded, terminating
% 209.85/187.15 eprover: CPU time limit exceeded, terminating
% 212.14/189.17 eprover: CPU time limit exceeded, terminating
% 214.42/191.18 eprover: CPU time limit exceeded, terminating
% 216.74/193.20 eprover: CPU time limit exceeded, terminating
% 218.99/195.22 eprover: CPU time limit exceeded, terminating
% 221.28/197.23 eprover: CPU time limit exceeded, terminating
% 223.63/199.25 eprover: CPU time limit exceeded, terminating
% 225.91/201.27 eprover: CPU time limit exceeded, terminating
% 228.21/203.28 eprover: CPU time limit exceeded, terminating
% 230.51/205.30 eprover: CPU time limit exceeded, terminating
% 232.76/207.32 eprover: CPU time limit exceeded, terminating
% 235.04/209.33 eprover: CPU time limit exceeded, terminating
% 237.37/211.35 eprover: CPU time limit exceeded, terminating
% 239.69/213.37 eprover: CPU time limit exceeded, terminating
% 242.00/215.38 eprover: CPU time limit exceeded, terminating
% 244.27/217.40 eprover: CPU time limit exceeded, terminating
% 246.57/219.41 eprover: CPU time limit exceeded, terminating
% 248.91/221.43 eprover: CPU time limit exceeded, terminating
% 251.15/223.45 eprover: CPU time limit exceeded, terminating
% 253.49/225.46 eprover: CPU time limit exceeded, terminating
% 255.78/227.48 eprover: CPU time limit exceeded, terminating
% 258.07/229.50 eprover: CPU time limit exceeded, terminating
% 260.35/231.51 eprover: CPU time limit exceeded, terminating
% 262.69/233.53 eprover: CPU time limit exceeded, terminating
% 264.99/235.55 eprover: CPU time limit exceeded, terminating
% 267.27/237.57 eprover: CPU time limit exceeded, terminating
% 269.53/239.58 eprover: CPU time limit exceeded, terminating
% 271.86/241.60 eprover: CPU time limit exceeded, terminating
% 274.16/243.61 eprover: CPU time limit exceeded, terminating
% 276.45/245.63 eprover: CPU time limit exceeded, terminating
% 278.73/247.65 eprover: CPU time limit exceeded, terminating
% 281.05/249.66 eprover: CPU time limit exceeded, terminating
% 283.32/251.68 eprover: CPU time limit exceeded, terminating
% 285.61/253.70 eprover: CPU time limit exceeded, terminating
% 287.94/255.71 eprover: CPU time limit exceeded, terminating
% 290.22/257.73 eprover: CPU time limit exceeded, terminating
% 292.49/259.75 eprover: CPU time limit exceeded, terminating
% 294.82/261.76 eprover: CPU time limit exceeded, terminating
% 297.13/263.78 eprover: CPU time limit exceeded, terminating
% 299.39/265.80 eprover: CPU time limit exceeded, terminating
% 300.07/266.28 eprover: CPU time limit exceeded, terminating
% 300.07/266.29 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------