TSTP Solution File: LAT342+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LAT342+2 : 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:14:44 EDT 2022
% Result : Timeout 287.94s 255.58s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : LAT342+2 : TPTP v8.1.0. Released v3.4.0.
% 0.06/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 07:41:38 EDT 2022
% 0.13/0.33 % CPUTime :
% 24.21/24.08 eprover: CPU time limit exceeded, terminating
% 26.49/26.09 eprover: CPU time limit exceeded, terminating
% 28.82/28.10 eprover: CPU time limit exceeded, terminating
% 31.11/30.12 eprover: CPU time limit exceeded, terminating
% 33.39/32.13 eprover: CPU time limit exceeded, terminating
% 35.66/34.15 eprover: CPU time limit exceeded, terminating
% 38.02/36.16 eprover: CPU time limit exceeded, terminating
% 40.30/38.17 eprover: CPU time limit exceeded, terminating
% 42.57/40.19 eprover: CPU time limit exceeded, terminating
% 44.87/42.20 eprover: CPU time limit exceeded, terminating
% 47.13/44.22 eprover: CPU time limit exceeded, terminating
% 49.43/46.23 eprover: CPU time limit exceeded, terminating
% 51.79/48.24 eprover: CPU time limit exceeded, terminating
% 54.08/50.25 eprover: CPU time limit exceeded, terminating
% 56.35/52.27 eprover: CPU time limit exceeded, terminating
% 58.65/54.28 eprover: CPU time limit exceeded, terminating
% 60.91/56.29 eprover: CPU time limit exceeded, terminating
% 63.19/58.30 eprover: CPU time limit exceeded, terminating
% 65.52/60.31 eprover: CPU time limit exceeded, terminating
% 67.78/62.33 eprover: CPU time limit exceeded, terminating
% 70.06/64.34 eprover: CPU time limit exceeded, terminating
% 72.41/66.35 eprover: CPU time limit exceeded, terminating
% 74.71/68.36 eprover: CPU time limit exceeded, terminating
% 76.97/70.38 eprover: CPU time limit exceeded, terminating
% 79.27/72.39 eprover: CPU time limit exceeded, terminating
% 81.56/74.40 eprover: CPU time limit exceeded, terminating
% 83.89/76.42 eprover: CPU time limit exceeded, terminating
% 86.13/78.43 eprover: CPU time limit exceeded, terminating
% 88.48/80.44 eprover: CPU time limit exceeded, terminating
% 90.76/82.45 eprover: CPU time limit exceeded, terminating
% 93.02/84.47 eprover: CPU time limit exceeded, terminating
% 95.34/86.48 eprover: CPU time limit exceeded, terminating
% 97.59/88.49 eprover: CPU time limit exceeded, terminating
% 99.86/90.50 eprover: CPU time limit exceeded, terminating
% 102.22/92.52 eprover: CPU time limit exceeded, terminating
% 104.49/94.53 eprover: CPU time limit exceeded, terminating
% 106.74/96.54 eprover: CPU time limit exceeded, terminating
% 109.11/98.56 eprover: CPU time limit exceeded, terminating
% 111.38/100.57 eprover: CPU time limit exceeded, terminating
% 113.65/102.58 eprover: CPU time limit exceeded, terminating
% 115.97/104.59 eprover: CPU time limit exceeded, terminating
% 118.29/106.61 eprover: CPU time limit exceeded, terminating
% 120.53/108.62 eprover: CPU time limit exceeded, terminating
% 122.85/110.63 eprover: CPU time limit exceeded, terminating
% 125.11/112.64 eprover: CPU time limit exceeded, terminating
% 127.43/114.66 eprover: CPU time limit exceeded, terminating
% 129.71/116.67 eprover: CPU time limit exceeded, terminating
% 131.98/118.68 eprover: CPU time limit exceeded, terminating
% 134.33/120.69 eprover: CPU time limit exceeded, terminating
% 136.60/122.71 eprover: CPU time limit exceeded, terminating
% 138.87/124.72 eprover: CPU time limit exceeded, terminating
% 141.16/126.74 eprover: CPU time limit exceeded, terminating
% 143.45/128.75 eprover: CPU time limit exceeded, terminating
% 145.79/130.77 eprover: CPU time limit exceeded, terminating
% 148.06/132.78 eprover: CPU time limit exceeded, terminating
% 150.35/134.79 eprover: CPU time limit exceeded, terminating
% 152.60/136.81 eprover: CPU time limit exceeded, terminating
% 154.90/138.82 eprover: CPU time limit exceeded, terminating
% 157.25/140.83 eprover: CPU time limit exceeded, terminating
% 159.44/142.84 eprover: CPU time limit exceeded, terminating
% 161.80/144.86 eprover: CPU time limit exceeded, terminating
% 164.11/146.87 eprover: CPU time limit exceeded, terminating
% 166.39/148.88 eprover: CPU time limit exceeded, terminating
% 168.68/150.90 eprover: CPU time limit exceeded, terminating
% 171.01/152.91 eprover: CPU time limit exceeded, terminating
% 173.26/154.92 eprover: CPU time limit exceeded, terminating
% 175.53/156.94 eprover: CPU time limit exceeded, terminating
% 177.89/158.95 eprover: CPU time limit exceeded, terminating
% 180.17/160.96 eprover: CPU time limit exceeded, terminating
% 182.46/162.97 eprover: CPU time limit exceeded, terminating
% 184.75/165.00 eprover: CPU time limit exceeded, terminating
% 187.10/167.01 eprover: CPU time limit exceeded, terminating
% 189.38/169.02 eprover: CPU time limit exceeded, terminating
% 191.66/171.04 eprover: CPU time limit exceeded, terminating
% 193.97/173.05 eprover: CPU time limit exceeded, terminating
% 196.27/175.06 eprover: CPU time limit exceeded, terminating
% 198.54/177.07 eprover: CPU time limit exceeded, terminating
% 200.82/179.09 eprover: CPU time limit exceeded, terminating
% 203.09/181.10 eprover: CPU time limit exceeded, terminating
% 205.43/183.11 eprover: CPU time limit exceeded, terminating
% 207.66/185.13 eprover: CPU time limit exceeded, terminating
% 210.01/187.14 eprover: CPU time limit exceeded, terminating
% 212.30/189.15 eprover: CPU time limit exceeded, terminating
% 214.58/191.17 eprover: CPU time limit exceeded, terminating
% 216.89/193.18 eprover: CPU time limit exceeded, terminating
% 219.17/195.19 eprover: CPU time limit exceeded, terminating
% 221.44/197.21 eprover: CPU time limit exceeded, terminating
% 223.71/199.22 eprover: CPU time limit exceeded, terminating
% 226.02/201.23 eprover: CPU time limit exceeded, terminating
% 228.38/203.25 eprover: CPU time limit exceeded, terminating
% 230.68/205.26 eprover: CPU time limit exceeded, terminating
% 232.97/207.27 eprover: CPU time limit exceeded, terminating
% 235.24/209.28 eprover: CPU time limit exceeded, terminating
% 237.52/211.30 eprover: CPU time limit exceeded, terminating
% 239.79/213.31 eprover: CPU time limit exceeded, terminating
% 242.08/215.32 eprover: CPU time limit exceeded, terminating
% 244.43/217.33 eprover: CPU time limit exceeded, terminating
% 246.73/219.35 eprover: CPU time limit exceeded, terminating
% 248.99/221.36 eprover: CPU time limit exceeded, terminating
% 251.30/223.37 eprover: CPU time limit exceeded, terminating
% 253.58/225.39 eprover: CPU time limit exceeded, terminating
% 255.86/227.40 eprover: CPU time limit exceeded, terminating
% 258.12/229.41 eprover: CPU time limit exceeded, terminating
% 260.42/231.43 eprover: CPU time limit exceeded, terminating
% 262.78/233.44 eprover: CPU time limit exceeded, terminating
% 265.07/235.45 eprover: CPU time limit exceeded, terminating
% 267.37/237.46 eprover: CPU time limit exceeded, terminating
% 269.63/239.48 eprover: CPU time limit exceeded, terminating
% 271.91/241.49 eprover: CPU time limit exceeded, terminating
% 274.20/243.50 eprover: CPU time limit exceeded, terminating
% 276.46/245.51 eprover: CPU time limit exceeded, terminating
% 278.80/247.53 eprover: CPU time limit exceeded, terminating
% 281.01/249.54 eprover: CPU time limit exceeded, terminating
% 283.39/251.55 eprover: CPU time limit exceeded, terminating
% 285.69/253.57 eprover: CPU time limit exceeded, terminating
% 287.94/255.58 eprover: CPU time limit exceeded, terminating
% 290.22/257.59 eprover: CPU time limit exceeded, terminating
% 292.55/259.60 eprover: CPU time limit exceeded, terminating
% 294.79/261.62 eprover: CPU time limit exceeded, terminating
% 297.06/263.63 eprover: CPU time limit exceeded, terminating
% 299.42/265.64 eprover: CPU time limit exceeded, terminating
% 300.02/266.12 eprover: CPU time limit exceeded, terminating
% 300.02/266.13 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------