TSTP Solution File: LAT343+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LAT343+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n011.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:45 EDT 2022
% Result : Timeout 287.27s 255.04s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.12 % Problem : LAT343+2 : TPTP v8.1.0. Released v3.4.0.
% 0.11/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n011.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Wed Jun 29 23:42:03 EDT 2022
% 0.12/0.33 % CPUTime :
% 23.55/23.42 eprover: CPU time limit exceeded, terminating
% 25.85/25.43 eprover: CPU time limit exceeded, terminating
% 28.09/27.44 eprover: CPU time limit exceeded, terminating
% 30.41/29.45 eprover: CPU time limit exceeded, terminating
% 32.66/31.47 eprover: CPU time limit exceeded, terminating
% 35.03/33.48 eprover: CPU time limit exceeded, terminating
% 37.23/35.50 eprover: CPU time limit exceeded, terminating
% 39.61/37.51 eprover: CPU time limit exceeded, terminating
% 41.87/39.52 eprover: CPU time limit exceeded, terminating
% 44.18/41.53 eprover: CPU time limit exceeded, terminating
% 46.47/43.55 eprover: CPU time limit exceeded, terminating
% 48.73/45.56 eprover: CPU time limit exceeded, terminating
% 51.04/47.58 eprover: CPU time limit exceeded, terminating
% 53.31/49.59 eprover: CPU time limit exceeded, terminating
% 55.67/51.60 eprover: CPU time limit exceeded, terminating
% 57.98/53.62 eprover: CPU time limit exceeded, terminating
% 60.25/55.63 eprover: CPU time limit exceeded, terminating
% 62.55/57.64 eprover: CPU time limit exceeded, terminating
% 64.86/59.66 eprover: CPU time limit exceeded, terminating
% 67.23/61.67 eprover: CPU time limit exceeded, terminating
% 69.44/63.68 eprover: CPU time limit exceeded, terminating
% 71.77/65.70 eprover: CPU time limit exceeded, terminating
% 74.11/67.71 eprover: CPU time limit exceeded, terminating
% 76.42/69.73 eprover: CPU time limit exceeded, terminating
% 78.72/71.74 eprover: CPU time limit exceeded, terminating
% 80.97/73.75 eprover: CPU time limit exceeded, terminating
% 83.31/75.77 eprover: CPU time limit exceeded, terminating
% 85.52/77.78 eprover: CPU time limit exceeded, terminating
% 87.95/79.80 eprover: CPU time limit exceeded, terminating
% 90.20/81.81 eprover: CPU time limit exceeded, terminating
% 92.51/83.82 eprover: CPU time limit exceeded, terminating
% 94.83/85.84 eprover: CPU time limit exceeded, terminating
% 97.09/87.85 eprover: CPU time limit exceeded, terminating
% 99.42/89.87 eprover: CPU time limit exceeded, terminating
% 101.68/91.88 eprover: CPU time limit exceeded, terminating
% 104.00/93.89 eprover: CPU time limit exceeded, terminating
% 106.29/95.91 eprover: CPU time limit exceeded, terminating
% 108.58/97.92 eprover: CPU time limit exceeded, terminating
% 110.85/99.94 eprover: CPU time limit exceeded, terminating
% 113.12/101.95 eprover: CPU time limit exceeded, terminating
% 115.42/103.96 eprover: CPU time limit exceeded, terminating
% 117.78/105.98 eprover: CPU time limit exceeded, terminating
% 120.00/107.99 eprover: CPU time limit exceeded, terminating
% 122.28/110.01 eprover: CPU time limit exceeded, terminating
% 124.63/112.02 eprover: CPU time limit exceeded, terminating
% 126.93/114.04 eprover: CPU time limit exceeded, terminating
% 129.20/116.05 eprover: CPU time limit exceeded, terminating
% 131.47/118.07 eprover: CPU time limit exceeded, terminating
% 133.82/120.08 eprover: CPU time limit exceeded, terminating
% 136.06/122.10 eprover: CPU time limit exceeded, terminating
% 138.40/124.11 eprover: CPU time limit exceeded, terminating
% 140.72/126.12 eprover: CPU time limit exceeded, terminating
% 142.99/128.14 eprover: CPU time limit exceeded, terminating
% 145.25/130.15 eprover: CPU time limit exceeded, terminating
% 147.56/132.17 eprover: CPU time limit exceeded, terminating
% 149.83/134.18 eprover: CPU time limit exceeded, terminating
% 152.17/136.20 eprover: CPU time limit exceeded, terminating
% 154.45/138.21 eprover: CPU time limit exceeded, terminating
% 156.73/140.23 eprover: CPU time limit exceeded, terminating
% 159.03/142.24 eprover: CPU time limit exceeded, terminating
% 161.31/144.25 eprover: CPU time limit exceeded, terminating
% 163.61/146.27 eprover: CPU time limit exceeded, terminating
% 165.84/148.28 eprover: CPU time limit exceeded, terminating
% 168.22/150.30 eprover: CPU time limit exceeded, terminating
% 170.51/152.31 eprover: CPU time limit exceeded, terminating
% 172.80/154.33 eprover: CPU time limit exceeded, terminating
% 175.07/156.34 eprover: CPU time limit exceeded, terminating
% 177.34/158.35 eprover: CPU time limit exceeded, terminating
% 179.64/160.37 eprover: CPU time limit exceeded, terminating
% 181.91/162.38 eprover: CPU time limit exceeded, terminating
% 184.27/164.40 eprover: CPU time limit exceeded, terminating
% 186.55/166.41 eprover: CPU time limit exceeded, terminating
% 188.85/168.43 eprover: CPU time limit exceeded, terminating
% 191.14/170.44 eprover: CPU time limit exceeded, terminating
% 193.43/172.45 eprover: CPU time limit exceeded, terminating
% 195.67/174.47 eprover: CPU time limit exceeded, terminating
% 198.03/176.48 eprover: CPU time limit exceeded, terminating
% 200.34/178.50 eprover: CPU time limit exceeded, terminating
% 202.62/180.51 eprover: CPU time limit exceeded, terminating
% 204.93/182.53 eprover: CPU time limit exceeded, terminating
% 207.19/184.54 eprover: CPU time limit exceeded, terminating
% 209.50/186.55 eprover: CPU time limit exceeded, terminating
% 211.75/188.57 eprover: CPU time limit exceeded, terminating
% 214.02/190.58 eprover: CPU time limit exceeded, terminating
% 216.39/192.60 eprover: CPU time limit exceeded, terminating
% 218.67/194.61 eprover: CPU time limit exceeded, terminating
% 220.96/196.63 eprover: CPU time limit exceeded, terminating
% 223.20/198.64 eprover: CPU time limit exceeded, terminating
% 225.50/200.66 eprover: CPU time limit exceeded, terminating
% 227.77/202.67 eprover: CPU time limit exceeded, terminating
% 230.10/204.69 eprover: CPU time limit exceeded, terminating
% 232.31/206.70 eprover: CPU time limit exceeded, terminating
% 234.67/208.72 eprover: CPU time limit exceeded, terminating
% 236.96/210.73 eprover: CPU time limit exceeded, terminating
% 239.21/212.74 eprover: CPU time limit exceeded, terminating
% 241.51/214.76 eprover: CPU time limit exceeded, terminating
% 243.79/216.77 eprover: CPU time limit exceeded, terminating
% 246.03/218.79 eprover: CPU time limit exceeded, terminating
% 248.40/220.80 eprover: CPU time limit exceeded, terminating
% 250.63/222.82 eprover: CPU time limit exceeded, terminating
% 252.98/224.83 eprover: CPU time limit exceeded, terminating
% 255.23/226.84 eprover: CPU time limit exceeded, terminating
% 257.53/228.86 eprover: CPU time limit exceeded, terminating
% 259.82/230.87 eprover: CPU time limit exceeded, terminating
% 262.18/232.89 eprover: CPU time limit exceeded, terminating
% 264.46/234.90 eprover: CPU time limit exceeded, terminating
% 266.77/236.92 eprover: CPU time limit exceeded, terminating
% 269.04/238.93 eprover: CPU time limit exceeded, terminating
% 271.28/240.94 eprover: CPU time limit exceeded, terminating
% 273.57/242.96 eprover: CPU time limit exceeded, terminating
% 275.86/244.97 eprover: CPU time limit exceeded, terminating
% 278.10/246.99 eprover: CPU time limit exceeded, terminating
% 280.46/249.00 eprover: CPU time limit exceeded, terminating
% 282.73/251.01 eprover: CPU time limit exceeded, terminating
% 285.02/253.03 eprover: CPU time limit exceeded, terminating
% 287.27/255.04 eprover: CPU time limit exceeded, terminating
% 289.56/257.06 eprover: CPU time limit exceeded, terminating
% 291.85/259.07 eprover: CPU time limit exceeded, terminating
% 294.12/261.08 eprover: CPU time limit exceeded, terminating
% 296.47/263.09 eprover: CPU time limit exceeded, terminating
% 298.68/265.10 eprover: CPU time limit exceeded, terminating
% 300.04/266.11 eprover: CPU time limit exceeded, terminating
% 300.04/266.12 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------