TSTP Solution File: NUM746+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM746+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:18 EDT 2022
% Result : Timeout 286.59s 279.33s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.13 % Problem : NUM746+4 : TPTP v8.1.0. Released v7.3.0.
% 0.08/0.14 % Command : run_infinox %s
% 0.14/0.35 % Computer : n015.cluster.edu
% 0.14/0.35 % Model : x86_64 x86_64
% 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.35 % Memory : 8042.1875MB
% 0.14/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.35 % CPULimit : 300
% 0.14/0.35 % WCLimit : 600
% 0.14/0.35 % DateTime : Tue Jul 5 07:49:02 EDT 2022
% 0.14/0.35 % CPUTime :
% 3.56/3.74 eprover: CPU time limit exceeded, terminating
% 5.63/5.75 eprover: CPU time limit exceeded, terminating
% 7.71/7.77 eprover: CPU time limit exceeded, terminating
% 9.79/9.78 eprover: CPU time limit exceeded, terminating
% 11.80/11.79 eprover: CPU time limit exceeded, terminating
% 13.95/13.80 eprover: CPU time limit exceeded, terminating
% 15.94/15.81 eprover: CPU time limit exceeded, terminating
% 18.09/17.82 eprover: CPU time limit exceeded, terminating
% 20.12/19.83 eprover: CPU time limit exceeded, terminating
% 22.20/21.84 eprover: CPU time limit exceeded, terminating
% 24.27/23.86 eprover: CPU time limit exceeded, terminating
% 26.29/25.87 eprover: CPU time limit exceeded, terminating
% 28.36/27.88 eprover: CPU time limit exceeded, terminating
% 30.44/29.89 eprover: CPU time limit exceeded, terminating
% 32.58/31.90 eprover: CPU time limit exceeded, terminating
% 34.61/33.91 eprover: CPU time limit exceeded, terminating
% 36.69/35.92 eprover: CPU time limit exceeded, terminating
% 38.75/37.93 eprover: CPU time limit exceeded, terminating
% 40.79/39.95 eprover: CPU time limit exceeded, terminating
% 42.85/41.96 eprover: CPU time limit exceeded, terminating
% 44.92/43.97 eprover: CPU time limit exceeded, terminating
% 46.94/45.98 eprover: CPU time limit exceeded, terminating
% 49.10/47.99 eprover: CPU time limit exceeded, terminating
% 51.09/50.00 eprover: CPU time limit exceeded, terminating
% 53.23/52.01 eprover: CPU time limit exceeded, terminating
% 55.27/54.02 eprover: CPU time limit exceeded, terminating
% 57.35/56.03 eprover: CPU time limit exceeded, terminating
% 59.39/58.04 eprover: CPU time limit exceeded, terminating
% 61.42/60.06 eprover: CPU time limit exceeded, terminating
% 63.51/62.07 eprover: CPU time limit exceeded, terminating
% 65.57/64.08 eprover: CPU time limit exceeded, terminating
% 67.70/66.09 eprover: CPU time limit exceeded, terminating
% 69.76/68.10 eprover: CPU time limit exceeded, terminating
% 71.81/70.11 eprover: CPU time limit exceeded, terminating
% 73.89/72.13 eprover: CPU time limit exceeded, terminating
% 75.92/74.14 eprover: CPU time limit exceeded, terminating
% 77.98/76.15 eprover: CPU time limit exceeded, terminating
% 80.05/78.17 eprover: CPU time limit exceeded, terminating
% 82.09/80.18 eprover: CPU time limit exceeded, terminating
% 84.22/82.19 eprover: CPU time limit exceeded, terminating
% 86.21/84.20 eprover: CPU time limit exceeded, terminating
% 88.36/86.21 eprover: CPU time limit exceeded, terminating
% 90.43/88.23 eprover: CPU time limit exceeded, terminating
% 92.47/90.24 eprover: CPU time limit exceeded, terminating
% 94.53/92.25 eprover: CPU time limit exceeded, terminating
% 96.60/94.26 eprover: CPU time limit exceeded, terminating
% 98.66/96.27 eprover: CPU time limit exceeded, terminating
% 100.67/98.28 eprover: CPU time limit exceeded, terminating
% 102.82/100.29 eprover: CPU time limit exceeded, terminating
% 104.80/102.30 eprover: CPU time limit exceeded, terminating
% 106.93/104.31 eprover: CPU time limit exceeded, terminating
% 108.99/106.32 eprover: CPU time limit exceeded, terminating
% 111.08/108.33 eprover: CPU time limit exceeded, terminating
% 113.13/110.34 eprover: CPU time limit exceeded, terminating
% 115.16/112.35 eprover: CPU time limit exceeded, terminating
% 117.24/114.36 eprover: CPU time limit exceeded, terminating
% 119.26/116.37 eprover: CPU time limit exceeded, terminating
% 121.36/118.38 eprover: CPU time limit exceeded, terminating
% 123.39/120.39 eprover: CPU time limit exceeded, terminating
% 125.51/122.41 eprover: CPU time limit exceeded, terminating
% 127.56/124.44 eprover: CPU time limit exceeded, terminating
% 129.62/126.45 eprover: CPU time limit exceeded, terminating
% 131.70/128.46 eprover: CPU time limit exceeded, terminating
% 133.70/130.48 eprover: CPU time limit exceeded, terminating
% 135.80/132.49 eprover: CPU time limit exceeded, terminating
% 137.89/134.51 eprover: CPU time limit exceeded, terminating
% 139.94/136.54 eprover: CPU time limit exceeded, terminating
% 141.97/138.55 eprover: CPU time limit exceeded, terminating
% 144.04/140.57 eprover: CPU time limit exceeded, terminating
% 146.14/142.58 eprover: CPU time limit exceeded, terminating
% 148.19/144.60 eprover: CPU time limit exceeded, terminating
% 150.22/146.61 eprover: CPU time limit exceeded, terminating
% 152.30/148.62 eprover: CPU time limit exceeded, terminating
% 154.31/150.64 eprover: CPU time limit exceeded, terminating
% 156.43/152.65 eprover: CPU time limit exceeded, terminating
% 158.47/154.67 eprover: CPU time limit exceeded, terminating
% 160.53/156.68 eprover: CPU time limit exceeded, terminating
% 162.57/158.70 eprover: CPU time limit exceeded, terminating
% 164.68/160.71 eprover: CPU time limit exceeded, terminating
% 166.75/162.72 eprover: CPU time limit exceeded, terminating
% 168.78/164.73 eprover: CPU time limit exceeded, terminating
% 170.88/166.74 eprover: CPU time limit exceeded, terminating
% 172.92/168.74 eprover: CPU time limit exceeded, terminating
% 175.04/170.75 eprover: CPU time limit exceeded, terminating
% 177.04/172.76 eprover: CPU time limit exceeded, terminating
% 179.13/174.78 eprover: CPU time limit exceeded, terminating
% 181.21/176.79 eprover: CPU time limit exceeded, terminating
% 183.22/178.80 eprover: CPU time limit exceeded, terminating
% 185.35/180.81 eprover: CPU time limit exceeded, terminating
% 187.40/182.82 eprover: CPU time limit exceeded, terminating
% 189.44/184.83 eprover: CPU time limit exceeded, terminating
% 191.56/186.84 eprover: CPU time limit exceeded, terminating
% 193.56/188.85 eprover: CPU time limit exceeded, terminating
% 195.68/190.86 eprover: CPU time limit exceeded, terminating
% 197.69/192.87 eprover: CPU time limit exceeded, terminating
% 199.80/194.88 eprover: CPU time limit exceeded, terminating
% 201.86/196.89 eprover: CPU time limit exceeded, terminating
% 203.90/198.90 eprover: CPU time limit exceeded, terminating
% 205.99/200.91 eprover: CPU time limit exceeded, terminating
% 208.09/202.92 eprover: CPU time limit exceeded, terminating
% 210.08/204.93 eprover: CPU time limit exceeded, terminating
% 212.21/206.94 eprover: CPU time limit exceeded, terminating
% 214.21/208.96 eprover: CPU time limit exceeded, terminating
% 216.33/210.97 eprover: CPU time limit exceeded, terminating
% 218.34/212.98 eprover: CPU time limit exceeded, terminating
% 220.43/214.99 eprover: CPU time limit exceeded, terminating
% 222.54/217.00 eprover: CPU time limit exceeded, terminating
% 224.61/219.01 eprover: CPU time limit exceeded, terminating
% 226.62/221.02 eprover: CPU time limit exceeded, terminating
% 228.73/223.03 eprover: CPU time limit exceeded, terminating
% 230.76/225.04 eprover: CPU time limit exceeded, terminating
% 232.85/227.05 eprover: CPU time limit exceeded, terminating
% 234.86/229.06 eprover: CPU time limit exceeded, terminating
% 236.96/231.07 eprover: CPU time limit exceeded, terminating
% 239.08/233.08 eprover: CPU time limit exceeded, terminating
% 241.09/235.10 eprover: CPU time limit exceeded, terminating
% 243.20/237.11 eprover: CPU time limit exceeded, terminating
% 245.27/239.12 eprover: CPU time limit exceeded, terminating
% 247.31/241.13 eprover: CPU time limit exceeded, terminating
% 249.39/243.14 eprover: CPU time limit exceeded, terminating
% 251.42/245.15 eprover: CPU time limit exceeded, terminating
% 253.50/247.16 eprover: CPU time limit exceeded, terminating
% 255.60/249.17 eprover: CPU time limit exceeded, terminating
% 257.61/251.18 eprover: CPU time limit exceeded, terminating
% 259.71/253.19 eprover: CPU time limit exceeded, terminating
% 261.73/255.20 eprover: CPU time limit exceeded, terminating
% 263.86/257.21 eprover: CPU time limit exceeded, terminating
% 265.94/259.23 eprover: CPU time limit exceeded, terminating
% 267.96/261.24 eprover: CPU time limit exceeded, terminating
% 270.03/263.25 eprover: CPU time limit exceeded, terminating
% 272.06/265.26 eprover: CPU time limit exceeded, terminating
% 274.17/267.27 eprover: CPU time limit exceeded, terminating
% 276.26/269.28 eprover: CPU time limit exceeded, terminating
% 278.28/271.29 eprover: CPU time limit exceeded, terminating
% 280.38/273.30 eprover: CPU time limit exceeded, terminating
% 282.39/275.31 eprover: CPU time limit exceeded, terminating
% 284.51/277.32 eprover: CPU time limit exceeded, terminating
% 286.59/279.33 eprover: CPU time limit exceeded, terminating
% 288.64/281.34 eprover: CPU time limit exceeded, terminating
% 290.68/283.35 eprover: CPU time limit exceeded, terminating
% 292.72/285.36 eprover: CPU time limit exceeded, terminating
% 294.84/287.37 eprover: CPU time limit exceeded, terminating
% 296.90/289.38 eprover: CPU time limit exceeded, terminating
% 299.01/291.39 eprover: CPU time limit exceeded, terminating
% 300.07/292.40 eprover: CPU time limit exceeded, terminating
% 300.07/292.42 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------