TSTP Solution File: NUM747+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM747+4 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n015.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 : Mon Jul 18 10:40:19 EDT 2022
% Result : Timeout 287.02s 279.28s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : NUM747+4 : TPTP v8.1.0. Released v7.3.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n015.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.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Tue Jul 5 05:47:32 EDT 2022
% 0.12/0.34 % CPUTime :
% 3.57/3.71 eprover: CPU time limit exceeded, terminating
% 5.60/5.72 eprover: CPU time limit exceeded, terminating
% 7.68/7.73 eprover: CPU time limit exceeded, terminating
% 9.77/9.74 eprover: CPU time limit exceeded, terminating
% 11.87/11.75 eprover: CPU time limit exceeded, terminating
% 13.93/13.76 eprover: CPU time limit exceeded, terminating
% 15.99/15.77 eprover: CPU time limit exceeded, terminating
% 18.07/17.78 eprover: CPU time limit exceeded, terminating
% 20.12/19.80 eprover: CPU time limit exceeded, terminating
% 22.19/21.81 eprover: CPU time limit exceeded, terminating
% 24.23/23.82 eprover: CPU time limit exceeded, terminating
% 26.28/25.83 eprover: CPU time limit exceeded, terminating
% 28.36/27.84 eprover: CPU time limit exceeded, terminating
% 30.46/29.85 eprover: CPU time limit exceeded, terminating
% 32.50/31.86 eprover: CPU time limit exceeded, terminating
% 34.62/33.87 eprover: CPU time limit exceeded, terminating
% 36.70/35.88 eprover: CPU time limit exceeded, terminating
% 38.74/37.90 eprover: CPU time limit exceeded, terminating
% 40.79/39.91 eprover: CPU time limit exceeded, terminating
% 42.84/41.92 eprover: CPU time limit exceeded, terminating
% 44.94/43.93 eprover: CPU time limit exceeded, terminating
% 46.95/45.94 eprover: CPU time limit exceeded, terminating
% 49.10/47.95 eprover: CPU time limit exceeded, terminating
% 51.18/49.96 eprover: CPU time limit exceeded, terminating
% 53.24/51.97 eprover: CPU time limit exceeded, terminating
% 55.30/53.98 eprover: CPU time limit exceeded, terminating
% 57.35/56.00 eprover: CPU time limit exceeded, terminating
% 59.46/58.01 eprover: CPU time limit exceeded, terminating
% 61.47/60.02 eprover: CPU time limit exceeded, terminating
% 63.60/62.03 eprover: CPU time limit exceeded, terminating
% 65.66/64.04 eprover: CPU time limit exceeded, terminating
% 67.74/66.05 eprover: CPU time limit exceeded, terminating
% 69.83/68.06 eprover: CPU time limit exceeded, terminating
% 71.80/70.07 eprover: CPU time limit exceeded, terminating
% 73.95/72.08 eprover: CPU time limit exceeded, terminating
% 76.03/74.09 eprover: CPU time limit exceeded, terminating
% 78.08/76.10 eprover: CPU time limit exceeded, terminating
% 80.19/78.11 eprover: CPU time limit exceeded, terminating
% 82.24/80.12 eprover: CPU time limit exceeded, terminating
% 84.26/82.13 eprover: CPU time limit exceeded, terminating
% 86.37/84.14 eprover: CPU time limit exceeded, terminating
% 88.45/86.15 eprover: CPU time limit exceeded, terminating
% 90.49/88.16 eprover: CPU time limit exceeded, terminating
% 92.58/90.17 eprover: CPU time limit exceeded, terminating
% 94.63/92.18 eprover: CPU time limit exceeded, terminating
% 96.70/94.19 eprover: CPU time limit exceeded, terminating
% 98.76/96.20 eprover: CPU time limit exceeded, terminating
% 100.79/98.21 eprover: CPU time limit exceeded, terminating
% 102.91/100.22 eprover: CPU time limit exceeded, terminating
% 105.00/102.24 eprover: CPU time limit exceeded, terminating
% 107.05/104.25 eprover: CPU time limit exceeded, terminating
% 109.13/106.26 eprover: CPU time limit exceeded, terminating
% 111.20/108.27 eprover: CPU time limit exceeded, terminating
% 113.26/110.28 eprover: CPU time limit exceeded, terminating
% 115.33/112.30 eprover: CPU time limit exceeded, terminating
% 117.37/114.31 eprover: CPU time limit exceeded, terminating
% 119.44/116.32 eprover: CPU time limit exceeded, terminating
% 121.55/118.34 eprover: CPU time limit exceeded, terminating
% 123.53/120.35 eprover: CPU time limit exceeded, terminating
% 125.67/122.37 eprover: CPU time limit exceeded, terminating
% 127.73/124.39 eprover: CPU time limit exceeded, terminating
% 129.82/126.41 eprover: CPU time limit exceeded, terminating
% 131.90/128.42 eprover: CPU time limit exceeded, terminating
% 133.93/130.44 eprover: CPU time limit exceeded, terminating
% 136.03/132.45 eprover: CPU time limit exceeded, terminating
% 138.09/134.48 eprover: CPU time limit exceeded, terminating
% 140.12/136.49 eprover: CPU time limit exceeded, terminating
% 142.19/138.50 eprover: CPU time limit exceeded, terminating
% 144.24/140.51 eprover: CPU time limit exceeded, terminating
% 146.37/142.53 eprover: CPU time limit exceeded, terminating
% 148.43/144.54 eprover: CPU time limit exceeded, terminating
% 150.51/146.55 eprover: CPU time limit exceeded, terminating
% 152.57/148.56 eprover: CPU time limit exceeded, terminating
% 154.64/150.57 eprover: CPU time limit exceeded, terminating
% 156.68/152.58 eprover: CPU time limit exceeded, terminating
% 158.77/154.60 eprover: CPU time limit exceeded, terminating
% 160.80/156.61 eprover: CPU time limit exceeded, terminating
% 162.93/158.62 eprover: CPU time limit exceeded, terminating
% 164.96/160.63 eprover: CPU time limit exceeded, terminating
% 167.03/162.64 eprover: CPU time limit exceeded, terminating
% 169.15/164.66 eprover: CPU time limit exceeded, terminating
% 171.20/166.67 eprover: CPU time limit exceeded, terminating
% 173.21/168.68 eprover: CPU time limit exceeded, terminating
% 175.31/170.69 eprover: CPU time limit exceeded, terminating
% 177.39/172.70 eprover: CPU time limit exceeded, terminating
% 179.46/174.71 eprover: CPU time limit exceeded, terminating
% 181.52/176.73 eprover: CPU time limit exceeded, terminating
% 183.59/178.74 eprover: CPU time limit exceeded, terminating
% 185.64/180.75 eprover: CPU time limit exceeded, terminating
% 187.73/182.76 eprover: CPU time limit exceeded, terminating
% 189.83/184.78 eprover: CPU time limit exceeded, terminating
% 191.88/186.79 eprover: CPU time limit exceeded, terminating
% 193.91/188.80 eprover: CPU time limit exceeded, terminating
% 196.02/190.81 eprover: CPU time limit exceeded, terminating
% 198.03/192.82 eprover: CPU time limit exceeded, terminating
% 200.19/194.84 eprover: CPU time limit exceeded, terminating
% 202.25/196.85 eprover: CPU time limit exceeded, terminating
% 204.33/198.86 eprover: CPU time limit exceeded, terminating
% 206.40/200.87 eprover: CPU time limit exceeded, terminating
% 208.46/202.89 eprover: CPU time limit exceeded, terminating
% 210.50/204.90 eprover: CPU time limit exceeded, terminating
% 212.57/206.91 eprover: CPU time limit exceeded, terminating
% 214.60/208.92 eprover: CPU time limit exceeded, terminating
% 216.65/210.93 eprover: CPU time limit exceeded, terminating
% 218.78/212.94 eprover: CPU time limit exceeded, terminating
% 220.87/214.95 eprover: CPU time limit exceeded, terminating
% 222.90/216.96 eprover: CPU time limit exceeded, terminating
% 225.00/218.97 eprover: CPU time limit exceeded, terminating
% 227.06/220.98 eprover: CPU time limit exceeded, terminating
% 229.09/222.99 eprover: CPU time limit exceeded, terminating
% 231.16/225.00 eprover: CPU time limit exceeded, terminating
% 233.21/227.01 eprover: CPU time limit exceeded, terminating
% 235.27/229.02 eprover: CPU time limit exceeded, terminating
% 237.32/231.03 eprover: CPU time limit exceeded, terminating
% 239.42/233.04 eprover: CPU time limit exceeded, terminating
% 241.41/235.05 eprover: CPU time limit exceeded, terminating
% 243.54/237.06 eprover: CPU time limit exceeded, terminating
% 245.64/239.07 eprover: CPU time limit exceeded, terminating
% 247.70/241.08 eprover: CPU time limit exceeded, terminating
% 249.78/243.09 eprover: CPU time limit exceeded, terminating
% 251.84/245.10 eprover: CPU time limit exceeded, terminating
% 253.88/247.11 eprover: CPU time limit exceeded, terminating
% 255.97/249.12 eprover: CPU time limit exceeded, terminating
% 258.00/251.13 eprover: CPU time limit exceeded, terminating
% 260.09/253.14 eprover: CPU time limit exceeded, terminating
% 262.18/255.15 eprover: CPU time limit exceeded, terminating
% 264.24/257.16 eprover: CPU time limit exceeded, terminating
% 266.29/259.18 eprover: CPU time limit exceeded, terminating
% 268.36/261.19 eprover: CPU time limit exceeded, terminating
% 270.44/263.20 eprover: CPU time limit exceeded, terminating
% 272.52/265.21 eprover: CPU time limit exceeded, terminating
% 274.54/267.22 eprover: CPU time limit exceeded, terminating
% 276.67/269.23 eprover: CPU time limit exceeded, terminating
% 278.70/271.24 eprover: CPU time limit exceeded, terminating
% 280.80/273.25 eprover: CPU time limit exceeded, terminating
% 282.86/275.26 eprover: CPU time limit exceeded, terminating
% 284.95/277.27 eprover: CPU time limit exceeded, terminating
% 287.02/279.28 eprover: CPU time limit exceeded, terminating
% 289.01/281.29 eprover: CPU time limit exceeded, terminating
% 291.14/283.30 eprover: CPU time limit exceeded, terminating
% 293.21/285.31 eprover: CPU time limit exceeded, terminating
% 295.27/287.32 eprover: CPU time limit exceeded, terminating
% 297.32/289.33 eprover: CPU time limit exceeded, terminating
% 299.40/291.34 eprover: CPU time limit exceeded, terminating
% 300.03/291.91 eprover: CPU time limit exceeded, terminating
% 300.03/291.93 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------