TSTP Solution File: LAT293+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LAT293+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n006.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:13:54 EDT 2022
% Result : Timeout 286.22s 269.29s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : LAT293+2 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n006.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 00:36:53 EDT 2022
% 0.12/0.33 % CPUTime :
% 12.11/12.12 eprover: CPU time limit exceeded, terminating
% 14.21/14.12 eprover: CPU time limit exceeded, terminating
% 16.38/16.13 eprover: CPU time limit exceeded, terminating
% 18.47/18.14 eprover: CPU time limit exceeded, terminating
% 20.66/20.15 eprover: CPU time limit exceeded, terminating
% 22.73/22.16 eprover: CPU time limit exceeded, terminating
% 24.94/24.17 eprover: CPU time limit exceeded, terminating
% 27.08/26.18 eprover: CPU time limit exceeded, terminating
% 29.21/28.19 eprover: CPU time limit exceeded, terminating
% 31.35/30.20 eprover: CPU time limit exceeded, terminating
% 33.46/32.21 eprover: CPU time limit exceeded, terminating
% 35.64/34.22 eprover: CPU time limit exceeded, terminating
% 37.73/36.23 eprover: CPU time limit exceeded, terminating
% 39.96/38.24 eprover: CPU time limit exceeded, terminating
% 42.10/40.25 eprover: CPU time limit exceeded, terminating
% 44.23/42.25 eprover: CPU time limit exceeded, terminating
% 46.37/44.26 eprover: CPU time limit exceeded, terminating
% 48.52/46.27 eprover: CPU time limit exceeded, terminating
% 50.65/48.28 eprover: CPU time limit exceeded, terminating
% 52.78/50.29 eprover: CPU time limit exceeded, terminating
% 54.90/52.30 eprover: CPU time limit exceeded, terminating
% 57.03/54.31 eprover: CPU time limit exceeded, terminating
% 59.23/56.32 eprover: CPU time limit exceeded, terminating
% 61.32/58.33 eprover: CPU time limit exceeded, terminating
% 63.50/60.34 eprover: CPU time limit exceeded, terminating
% 65.65/62.35 eprover: CPU time limit exceeded, terminating
% 67.70/64.36 eprover: CPU time limit exceeded, terminating
% 69.91/66.37 eprover: CPU time limit exceeded, terminating
% 72.05/68.38 eprover: CPU time limit exceeded, terminating
% 74.21/70.39 eprover: CPU time limit exceeded, terminating
% 76.35/72.39 eprover: CPU time limit exceeded, terminating
% 78.44/74.40 eprover: CPU time limit exceeded, terminating
% 80.59/76.41 eprover: CPU time limit exceeded, terminating
% 82.77/78.42 eprover: CPU time limit exceeded, terminating
% 84.93/80.43 eprover: CPU time limit exceeded, terminating
% 87.03/82.44 eprover: CPU time limit exceeded, terminating
% 89.19/84.45 eprover: CPU time limit exceeded, terminating
% 91.37/86.46 eprover: CPU time limit exceeded, terminating
% 93.51/88.47 eprover: CPU time limit exceeded, terminating
% 95.63/90.48 eprover: CPU time limit exceeded, terminating
% 97.75/92.49 eprover: CPU time limit exceeded, terminating
% 99.93/94.50 eprover: CPU time limit exceeded, terminating
% 102.02/96.50 eprover: CPU time limit exceeded, terminating
% 104.18/98.51 eprover: CPU time limit exceeded, terminating
% 106.29/100.52 eprover: CPU time limit exceeded, terminating
% 108.42/102.53 eprover: CPU time limit exceeded, terminating
% 110.64/104.54 eprover: CPU time limit exceeded, terminating
% 112.79/106.55 eprover: CPU time limit exceeded, terminating
% 114.90/108.56 eprover: CPU time limit exceeded, terminating
% 117.06/110.57 eprover: CPU time limit exceeded, terminating
% 119.18/112.58 eprover: CPU time limit exceeded, terminating
% 121.34/114.59 eprover: CPU time limit exceeded, terminating
% 123.45/116.59 eprover: CPU time limit exceeded, terminating
% 125.61/118.60 eprover: CPU time limit exceeded, terminating
% 127.75/120.61 eprover: CPU time limit exceeded, terminating
% 129.90/122.62 eprover: CPU time limit exceeded, terminating
% 132.01/124.63 eprover: CPU time limit exceeded, terminating
% 134.16/126.64 eprover: CPU time limit exceeded, terminating
% 136.28/128.65 eprover: CPU time limit exceeded, terminating
% 138.44/130.66 eprover: CPU time limit exceeded, terminating
% 140.63/132.67 eprover: CPU time limit exceeded, terminating
% 142.75/134.68 eprover: CPU time limit exceeded, terminating
% 144.88/136.69 eprover: CPU time limit exceeded, terminating
% 147.00/138.70 eprover: CPU time limit exceeded, terminating
% 149.17/140.71 eprover: CPU time limit exceeded, terminating
% 151.26/142.71 eprover: CPU time limit exceeded, terminating
% 153.41/144.72 eprover: CPU time limit exceeded, terminating
% 155.58/146.73 eprover: CPU time limit exceeded, terminating
% 157.68/148.74 eprover: CPU time limit exceeded, terminating
% 159.79/150.75 eprover: CPU time limit exceeded, terminating
% 162.04/152.76 eprover: CPU time limit exceeded, terminating
% 164.18/154.77 eprover: CPU time limit exceeded, terminating
% 166.30/156.78 eprover: CPU time limit exceeded, terminating
% 168.45/158.79 eprover: CPU time limit exceeded, terminating
% 170.57/160.80 eprover: CPU time limit exceeded, terminating
% 172.72/162.80 eprover: CPU time limit exceeded, terminating
% 174.85/164.81 eprover: CPU time limit exceeded, terminating
% 176.98/166.82 eprover: CPU time limit exceeded, terminating
% 179.17/168.84 eprover: CPU time limit exceeded, terminating
% 181.32/170.85 eprover: CPU time limit exceeded, terminating
% 183.46/172.85 eprover: CPU time limit exceeded, terminating
% 185.55/174.86 eprover: CPU time limit exceeded, terminating
% 187.72/176.87 eprover: CPU time limit exceeded, terminating
% 189.88/178.88 eprover: CPU time limit exceeded, terminating
% 191.98/180.89 eprover: CPU time limit exceeded, terminating
% 194.14/182.90 eprover: CPU time limit exceeded, terminating
% 196.27/184.91 eprover: CPU time limit exceeded, terminating
% 198.45/186.92 eprover: CPU time limit exceeded, terminating
% 200.60/188.93 eprover: CPU time limit exceeded, terminating
% 202.66/190.94 eprover: CPU time limit exceeded, terminating
% 204.87/192.95 eprover: CPU time limit exceeded, terminating
% 207.01/194.95 eprover: CPU time limit exceeded, terminating
% 209.14/196.96 eprover: CPU time limit exceeded, terminating
% 211.26/198.97 eprover: CPU time limit exceeded, terminating
% 213.40/200.98 eprover: CPU time limit exceeded, terminating
% 215.58/202.99 eprover: CPU time limit exceeded, terminating
% 217.70/205.00 eprover: CPU time limit exceeded, terminating
% 219.86/207.01 eprover: CPU time limit exceeded, terminating
% 221.98/209.02 eprover: CPU time limit exceeded, terminating
% 224.09/211.03 eprover: CPU time limit exceeded, terminating
% 226.29/213.04 eprover: CPU time limit exceeded, terminating
% 228.44/215.05 eprover: CPU time limit exceeded, terminating
% 230.59/217.06 eprover: CPU time limit exceeded, terminating
% 232.72/219.06 eprover: CPU time limit exceeded, terminating
% 234.84/221.07 eprover: CPU time limit exceeded, terminating
% 236.99/223.08 eprover: CPU time limit exceeded, terminating
% 239.10/225.09 eprover: CPU time limit exceeded, terminating
% 241.29/227.10 eprover: CPU time limit exceeded, terminating
% 243.37/229.11 eprover: CPU time limit exceeded, terminating
% 245.56/231.12 eprover: CPU time limit exceeded, terminating
% 247.71/233.13 eprover: CPU time limit exceeded, terminating
% 249.82/235.14 eprover: CPU time limit exceeded, terminating
% 251.98/237.15 eprover: CPU time limit exceeded, terminating
% 254.15/239.16 eprover: CPU time limit exceeded, terminating
% 256.28/241.17 eprover: CPU time limit exceeded, terminating
% 258.42/243.17 eprover: CPU time limit exceeded, terminating
% 260.56/245.18 eprover: CPU time limit exceeded, terminating
% 262.69/247.19 eprover: CPU time limit exceeded, terminating
% 264.79/249.20 eprover: CPU time limit exceeded, terminating
% 267.00/251.21 eprover: CPU time limit exceeded, terminating
% 269.11/253.22 eprover: CPU time limit exceeded, terminating
% 271.27/255.23 eprover: CPU time limit exceeded, terminating
% 273.45/257.24 eprover: CPU time limit exceeded, terminating
% 275.53/259.25 eprover: CPU time limit exceeded, terminating
% 277.71/261.26 eprover: CPU time limit exceeded, terminating
% 279.80/263.27 eprover: CPU time limit exceeded, terminating
% 281.97/265.28 eprover: CPU time limit exceeded, terminating
% 284.14/267.28 eprover: CPU time limit exceeded, terminating
% 286.22/269.29 eprover: CPU time limit exceeded, terminating
% 288.38/271.30 eprover: CPU time limit exceeded, terminating
% 290.53/273.31 eprover: CPU time limit exceeded, terminating
% 292.65/275.32 eprover: CPU time limit exceeded, terminating
% 294.84/277.33 eprover: CPU time limit exceeded, terminating
% 296.96/279.34 eprover: CPU time limit exceeded, terminating
% 299.11/281.35 eprover: CPU time limit exceeded, terminating
% 300.08/282.17 eprover: CPU time limit exceeded, terminating
% 300.08/282.19 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------