TSTP Solution File: LAT309+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LAT309+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:11 EDT 2022
% Result : Timeout 286.69s 269.32s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : LAT309+2 : TPTP v8.1.0. Released v3.4.0.
% 0.06/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n013.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 : Thu Jun 30 12:33:15 EDT 2022
% 0.12/0.34 % CPUTime :
% 13.92/13.96 eprover: CPU time limit exceeded, terminating
% 16.07/15.97 eprover: CPU time limit exceeded, terminating
% 18.23/17.98 eprover: CPU time limit exceeded, terminating
% 20.33/19.99 eprover: CPU time limit exceeded, terminating
% 22.47/22.00 eprover: CPU time limit exceeded, terminating
% 24.63/24.01 eprover: CPU time limit exceeded, terminating
% 26.81/26.03 eprover: CPU time limit exceeded, terminating
% 28.95/28.04 eprover: CPU time limit exceeded, terminating
% 31.02/30.05 eprover: CPU time limit exceeded, terminating
% 33.25/32.06 eprover: CPU time limit exceeded, terminating
% 35.38/34.07 eprover: CPU time limit exceeded, terminating
% 37.53/36.08 eprover: CPU time limit exceeded, terminating
% 39.66/38.09 eprover: CPU time limit exceeded, terminating
% 41.84/40.10 eprover: CPU time limit exceeded, terminating
% 43.94/42.11 eprover: CPU time limit exceeded, terminating
% 46.14/44.12 eprover: CPU time limit exceeded, terminating
% 48.24/46.13 eprover: CPU time limit exceeded, terminating
% 50.43/48.15 eprover: CPU time limit exceeded, terminating
% 52.58/50.16 eprover: CPU time limit exceeded, terminating
% 54.71/52.17 eprover: CPU time limit exceeded, terminating
% 56.87/54.18 eprover: CPU time limit exceeded, terminating
% 58.96/56.19 eprover: CPU time limit exceeded, terminating
% 61.13/58.20 eprover: CPU time limit exceeded, terminating
% 63.30/60.21 eprover: CPU time limit exceeded, terminating
% 65.38/62.22 eprover: CPU time limit exceeded, terminating
% 67.60/64.23 eprover: CPU time limit exceeded, terminating
% 69.70/66.24 eprover: CPU time limit exceeded, terminating
% 71.87/68.25 eprover: CPU time limit exceeded, terminating
% 73.98/70.26 eprover: CPU time limit exceeded, terminating
% 76.17/72.26 eprover: CPU time limit exceeded, terminating
% 78.31/74.27 eprover: CPU time limit exceeded, terminating
% 80.44/76.28 eprover: CPU time limit exceeded, terminating
% 82.60/78.29 eprover: CPU time limit exceeded, terminating
% 84.76/80.30 eprover: CPU time limit exceeded, terminating
% 86.87/82.31 eprover: CPU time limit exceeded, terminating
% 89.03/84.32 eprover: CPU time limit exceeded, terminating
% 91.16/86.33 eprover: CPU time limit exceeded, terminating
% 93.27/88.34 eprover: CPU time limit exceeded, terminating
% 95.49/90.35 eprover: CPU time limit exceeded, terminating
% 97.62/92.36 eprover: CPU time limit exceeded, terminating
% 99.76/94.37 eprover: CPU time limit exceeded, terminating
% 101.91/96.38 eprover: CPU time limit exceeded, terminating
% 104.04/98.39 eprover: CPU time limit exceeded, terminating
% 106.18/100.40 eprover: CPU time limit exceeded, terminating
% 108.37/102.41 eprover: CPU time limit exceeded, terminating
% 110.47/104.42 eprover: CPU time limit exceeded, terminating
% 112.67/106.44 eprover: CPU time limit exceeded, terminating
% 114.80/108.45 eprover: CPU time limit exceeded, terminating
% 116.96/110.46 eprover: CPU time limit exceeded, terminating
% 119.08/112.47 eprover: CPU time limit exceeded, terminating
% 121.23/114.48 eprover: CPU time limit exceeded, terminating
% 123.39/116.49 eprover: CPU time limit exceeded, terminating
% 125.50/118.50 eprover: CPU time limit exceeded, terminating
% 127.70/120.51 eprover: CPU time limit exceeded, terminating
% 129.88/122.53 eprover: CPU time limit exceeded, terminating
% 131.98/124.54 eprover: CPU time limit exceeded, terminating
% 134.17/126.55 eprover: CPU time limit exceeded, terminating
% 136.25/128.56 eprover: CPU time limit exceeded, terminating
% 138.45/130.57 eprover: CPU time limit exceeded, terminating
% 140.56/132.58 eprover: CPU time limit exceeded, terminating
% 142.70/134.59 eprover: CPU time limit exceeded, terminating
% 144.88/136.60 eprover: CPU time limit exceeded, terminating
% 146.97/138.61 eprover: CPU time limit exceeded, terminating
% 149.15/140.62 eprover: CPU time limit exceeded, terminating
% 151.36/142.63 eprover: CPU time limit exceeded, terminating
% 153.45/144.64 eprover: CPU time limit exceeded, terminating
% 155.64/146.65 eprover: CPU time limit exceeded, terminating
% 157.73/148.67 eprover: CPU time limit exceeded, terminating
% 159.93/150.68 eprover: CPU time limit exceeded, terminating
% 162.12/152.70 eprover: CPU time limit exceeded, terminating
% 164.19/154.71 eprover: CPU time limit exceeded, terminating
% 166.40/156.72 eprover: CPU time limit exceeded, terminating
% 168.54/158.73 eprover: CPU time limit exceeded, terminating
% 170.66/160.74 eprover: CPU time limit exceeded, terminating
% 172.81/162.75 eprover: CPU time limit exceeded, terminating
% 174.97/164.76 eprover: CPU time limit exceeded, terminating
% 177.10/166.77 eprover: CPU time limit exceeded, terminating
% 179.29/168.78 eprover: CPU time limit exceeded, terminating
% 181.42/170.80 eprover: CPU time limit exceeded, terminating
% 183.62/172.81 eprover: CPU time limit exceeded, terminating
% 185.72/174.82 eprover: CPU time limit exceeded, terminating
% 187.91/176.83 eprover: CPU time limit exceeded, terminating
% 190.06/178.84 eprover: CPU time limit exceeded, terminating
% 192.18/180.85 eprover: CPU time limit exceeded, terminating
% 194.34/182.86 eprover: CPU time limit exceeded, terminating
% 196.42/184.87 eprover: CPU time limit exceeded, terminating
% 198.65/186.88 eprover: CPU time limit exceeded, terminating
% 200.80/188.90 eprover: CPU time limit exceeded, terminating
% 202.95/190.90 eprover: CPU time limit exceeded, terminating
% 205.08/192.92 eprover: CPU time limit exceeded, terminating
% 207.25/194.93 eprover: CPU time limit exceeded, terminating
% 209.33/196.94 eprover: CPU time limit exceeded, terminating
% 211.47/198.95 eprover: CPU time limit exceeded, terminating
% 213.64/200.96 eprover: CPU time limit exceeded, terminating
% 215.84/202.97 eprover: CPU time limit exceeded, terminating
% 217.95/204.98 eprover: CPU time limit exceeded, terminating
% 220.14/206.99 eprover: CPU time limit exceeded, terminating
% 222.27/209.00 eprover: CPU time limit exceeded, terminating
% 224.42/211.01 eprover: CPU time limit exceeded, terminating
% 226.53/213.02 eprover: CPU time limit exceeded, terminating
% 228.68/215.04 eprover: CPU time limit exceeded, terminating
% 230.89/217.05 eprover: CPU time limit exceeded, terminating
% 233.04/219.06 eprover: CPU time limit exceeded, terminating
% 235.17/221.07 eprover: CPU time limit exceeded, terminating
% 237.35/223.08 eprover: CPU time limit exceeded, terminating
% 239.45/225.09 eprover: CPU time limit exceeded, terminating
% 241.62/227.10 eprover: CPU time limit exceeded, terminating
% 243.78/229.11 eprover: CPU time limit exceeded, terminating
% 245.87/231.13 eprover: CPU time limit exceeded, terminating
% 248.09/233.14 eprover: CPU time limit exceeded, terminating
% 250.24/235.15 eprover: CPU time limit exceeded, terminating
% 252.40/237.16 eprover: CPU time limit exceeded, terminating
% 254.53/239.17 eprover: CPU time limit exceeded, terminating
% 256.69/241.18 eprover: CPU time limit exceeded, terminating
% 258.81/243.19 eprover: CPU time limit exceeded, terminating
% 260.99/245.21 eprover: CPU time limit exceeded, terminating
% 263.08/247.21 eprover: CPU time limit exceeded, terminating
% 265.22/249.22 eprover: CPU time limit exceeded, terminating
% 267.42/251.23 eprover: CPU time limit exceeded, terminating
% 269.47/253.24 eprover: CPU time limit exceeded, terminating
% 271.67/255.25 eprover: CPU time limit exceeded, terminating
% 273.85/257.26 eprover: CPU time limit exceeded, terminating
% 275.96/259.27 eprover: CPU time limit exceeded, terminating
% 278.14/261.28 eprover: CPU time limit exceeded, terminating
% 280.25/263.29 eprover: CPU time limit exceeded, terminating
% 282.44/265.30 eprover: CPU time limit exceeded, terminating
% 284.53/267.31 eprover: CPU time limit exceeded, terminating
% 286.69/269.32 eprover: CPU time limit exceeded, terminating
% 288.81/271.33 eprover: CPU time limit exceeded, terminating
% 291.03/273.34 eprover: CPU time limit exceeded, terminating
% 293.17/275.35 eprover: CPU time limit exceeded, terminating
% 295.30/277.36 eprover: CPU time limit exceeded, terminating
% 297.43/279.37 eprover: CPU time limit exceeded, terminating
% 299.57/281.38 eprover: CPU time limit exceeded, terminating
% 300.07/281.77 eprover: CPU time limit exceeded, terminating
% 300.07/281.78 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------