TSTP Solution File: LAT315+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LAT315+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n013.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:17 EDT 2022
% Result : Timeout 286.84s 269.39s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : LAT315+2 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n013.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 09:13:29 EDT 2022
% 0.13/0.34 % CPUTime :
% 13.63/13.71 eprover: CPU time limit exceeded, terminating
% 15.79/15.72 eprover: CPU time limit exceeded, terminating
% 17.96/17.74 eprover: CPU time limit exceeded, terminating
% 20.09/19.75 eprover: CPU time limit exceeded, terminating
% 22.28/21.76 eprover: CPU time limit exceeded, terminating
% 24.43/23.77 eprover: CPU time limit exceeded, terminating
% 26.56/25.79 eprover: CPU time limit exceeded, terminating
% 28.74/27.80 eprover: CPU time limit exceeded, terminating
% 30.88/29.81 eprover: CPU time limit exceeded, terminating
% 33.02/31.83 eprover: CPU time limit exceeded, terminating
% 35.12/33.84 eprover: CPU time limit exceeded, terminating
% 37.36/35.85 eprover: CPU time limit exceeded, terminating
% 39.51/37.87 eprover: CPU time limit exceeded, terminating
% 41.67/39.89 eprover: CPU time limit exceeded, terminating
% 43.79/41.91 eprover: CPU time limit exceeded, terminating
% 45.91/43.93 eprover: CPU time limit exceeded, terminating
% 48.07/45.94 eprover: CPU time limit exceeded, terminating
% 50.29/47.95 eprover: CPU time limit exceeded, terminating
% 52.44/49.97 eprover: CPU time limit exceeded, terminating
% 54.59/51.98 eprover: CPU time limit exceeded, terminating
% 56.73/54.00 eprover: CPU time limit exceeded, terminating
% 58.83/56.02 eprover: CPU time limit exceeded, terminating
% 61.06/58.03 eprover: CPU time limit exceeded, terminating
% 63.20/60.05 eprover: CPU time limit exceeded, terminating
% 65.31/62.06 eprover: CPU time limit exceeded, terminating
% 67.46/64.10 eprover: CPU time limit exceeded, terminating
% 69.64/66.11 eprover: CPU time limit exceeded, terminating
% 71.80/68.13 eprover: CPU time limit exceeded, terminating
% 73.91/70.15 eprover: CPU time limit exceeded, terminating
% 76.06/72.16 eprover: CPU time limit exceeded, terminating
% 78.18/74.18 eprover: CPU time limit exceeded, terminating
% 80.32/76.19 eprover: CPU time limit exceeded, terminating
% 82.54/78.21 eprover: CPU time limit exceeded, terminating
% 84.59/80.22 eprover: CPU time limit exceeded, terminating
% 86.83/82.25 eprover: CPU time limit exceeded, terminating
% 88.96/84.26 eprover: CPU time limit exceeded, terminating
% 91.10/86.27 eprover: CPU time limit exceeded, terminating
% 93.32/88.29 eprover: CPU time limit exceeded, terminating
% 95.47/90.30 eprover: CPU time limit exceeded, terminating
% 97.60/92.32 eprover: CPU time limit exceeded, terminating
% 99.73/94.33 eprover: CPU time limit exceeded, terminating
% 101.88/96.35 eprover: CPU time limit exceeded, terminating
% 103.99/98.36 eprover: CPU time limit exceeded, terminating
% 106.16/100.38 eprover: CPU time limit exceeded, terminating
% 108.32/102.39 eprover: CPU time limit exceeded, terminating
% 110.53/104.41 eprover: CPU time limit exceeded, terminating
% 112.66/106.42 eprover: CPU time limit exceeded, terminating
% 114.82/108.44 eprover: CPU time limit exceeded, terminating
% 116.90/110.45 eprover: CPU time limit exceeded, terminating
% 119.06/112.46 eprover: CPU time limit exceeded, terminating
% 121.20/114.47 eprover: CPU time limit exceeded, terminating
% 123.41/116.49 eprover: CPU time limit exceeded, terminating
% 125.47/118.50 eprover: CPU time limit exceeded, terminating
% 127.62/120.52 eprover: CPU time limit exceeded, terminating
% 129.84/122.53 eprover: CPU time limit exceeded, terminating
% 131.95/124.55 eprover: CPU time limit exceeded, terminating
% 134.09/126.55 eprover: CPU time limit exceeded, terminating
% 136.21/128.57 eprover: CPU time limit exceeded, terminating
% 138.36/130.59 eprover: CPU time limit exceeded, terminating
% 140.52/132.60 eprover: CPU time limit exceeded, terminating
% 142.70/134.61 eprover: CPU time limit exceeded, terminating
% 144.88/136.63 eprover: CPU time limit exceeded, terminating
% 147.03/138.64 eprover: CPU time limit exceeded, terminating
% 149.14/140.65 eprover: CPU time limit exceeded, terminating
% 151.29/142.67 eprover: CPU time limit exceeded, terminating
% 153.43/144.68 eprover: CPU time limit exceeded, terminating
% 155.60/146.70 eprover: CPU time limit exceeded, terminating
% 157.69/148.71 eprover: CPU time limit exceeded, terminating
% 159.94/150.72 eprover: CPU time limit exceeded, terminating
% 162.07/152.74 eprover: CPU time limit exceeded, terminating
% 164.23/154.75 eprover: CPU time limit exceeded, terminating
% 166.34/156.77 eprover: CPU time limit exceeded, terminating
% 168.57/158.78 eprover: CPU time limit exceeded, terminating
% 170.69/160.80 eprover: CPU time limit exceeded, terminating
% 172.86/162.82 eprover: CPU time limit exceeded, terminating
% 175.01/164.83 eprover: CPU time limit exceeded, terminating
% 177.13/166.84 eprover: CPU time limit exceeded, terminating
% 179.28/168.85 eprover: CPU time limit exceeded, terminating
% 181.42/170.86 eprover: CPU time limit exceeded, terminating
% 183.54/172.88 eprover: CPU time limit exceeded, terminating
% 185.71/174.88 eprover: CPU time limit exceeded, terminating
% 187.83/176.90 eprover: CPU time limit exceeded, terminating
% 190.00/178.91 eprover: CPU time limit exceeded, terminating
% 192.23/180.92 eprover: CPU time limit exceeded, terminating
% 194.37/182.93 eprover: CPU time limit exceeded, terminating
% 196.50/184.94 eprover: CPU time limit exceeded, terminating
% 198.63/186.95 eprover: CPU time limit exceeded, terminating
% 200.78/188.96 eprover: CPU time limit exceeded, terminating
% 202.89/190.97 eprover: CPU time limit exceeded, terminating
% 205.04/192.98 eprover: CPU time limit exceeded, terminating
% 207.20/194.99 eprover: CPU time limit exceeded, terminating
% 209.44/197.00 eprover: CPU time limit exceeded, terminating
% 211.59/199.01 eprover: CPU time limit exceeded, terminating
% 213.71/201.03 eprover: CPU time limit exceeded, terminating
% 215.87/203.04 eprover: CPU time limit exceeded, terminating
% 218.01/205.05 eprover: CPU time limit exceeded, terminating
% 220.13/207.06 eprover: CPU time limit exceeded, terminating
% 222.27/209.07 eprover: CPU time limit exceeded, terminating
% 224.44/211.08 eprover: CPU time limit exceeded, terminating
% 226.57/213.09 eprover: CPU time limit exceeded, terminating
% 228.73/215.10 eprover: CPU time limit exceeded, terminating
% 230.93/217.11 eprover: CPU time limit exceeded, terminating
% 233.10/219.12 eprover: CPU time limit exceeded, terminating
% 235.22/221.13 eprover: CPU time limit exceeded, terminating
% 237.39/223.14 eprover: CPU time limit exceeded, terminating
% 239.55/225.16 eprover: CPU time limit exceeded, terminating
% 241.65/227.17 eprover: CPU time limit exceeded, terminating
% 243.83/229.18 eprover: CPU time limit exceeded, terminating
% 245.95/231.19 eprover: CPU time limit exceeded, terminating
% 248.17/233.20 eprover: CPU time limit exceeded, terminating
% 250.32/235.21 eprover: CPU time limit exceeded, terminating
% 252.49/237.22 eprover: CPU time limit exceeded, terminating
% 254.60/239.23 eprover: CPU time limit exceeded, terminating
% 256.77/241.24 eprover: CPU time limit exceeded, terminating
% 258.92/243.25 eprover: CPU time limit exceeded, terminating
% 261.04/245.26 eprover: CPU time limit exceeded, terminating
% 263.17/247.28 eprover: CPU time limit exceeded, terminating
% 265.32/249.29 eprover: CPU time limit exceeded, terminating
% 267.53/251.30 eprover: CPU time limit exceeded, terminating
% 269.70/253.31 eprover: CPU time limit exceeded, terminating
% 271.78/255.32 eprover: CPU time limit exceeded, terminating
% 273.98/257.33 eprover: CPU time limit exceeded, terminating
% 276.17/259.34 eprover: CPU time limit exceeded, terminating
% 278.27/261.35 eprover: CPU time limit exceeded, terminating
% 280.44/263.36 eprover: CPU time limit exceeded, terminating
% 282.56/265.37 eprover: CPU time limit exceeded, terminating
% 284.76/267.38 eprover: CPU time limit exceeded, terminating
% 286.84/269.39 eprover: CPU time limit exceeded, terminating
% 289.06/271.40 eprover: CPU time limit exceeded, terminating
% 291.21/273.41 eprover: CPU time limit exceeded, terminating
% 293.36/275.42 eprover: CPU time limit exceeded, terminating
% 295.53/277.43 eprover: CPU time limit exceeded, terminating
% 297.65/279.44 eprover: CPU time limit exceeded, terminating
% 299.79/281.45 eprover: CPU time limit exceeded, terminating
% 300.02/281.64 eprover: CPU time limit exceeded, terminating
% 300.02/281.65 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------