TSTP Solution File: NUM748+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM748+4 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n024.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:20 EDT 2022
% Result : Timeout 286.77s 279.01s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.11 % Problem : NUM748+4 : TPTP v8.1.0. Released v7.3.0.
% 0.06/0.12 % Command : run_infinox %s
% 0.13/0.31 % Computer : n024.cluster.edu
% 0.13/0.31 % Model : x86_64 x86_64
% 0.13/0.31 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.31 % Memory : 8042.1875MB
% 0.13/0.31 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.31 % CPULimit : 300
% 0.13/0.31 % WCLimit : 600
% 0.13/0.31 % DateTime : Thu Jul 7 11:10:44 EDT 2022
% 0.13/0.31 % CPUTime :
% 3.67/3.86 eprover: CPU time limit exceeded, terminating
% 5.80/5.87 eprover: CPU time limit exceeded, terminating
% 7.85/7.88 eprover: CPU time limit exceeded, terminating
% 9.87/9.88 eprover: CPU time limit exceeded, terminating
% 11.98/11.89 eprover: CPU time limit exceeded, terminating
% 13.96/13.90 eprover: CPU time limit exceeded, terminating
% 16.09/15.91 eprover: CPU time limit exceeded, terminating
% 18.14/17.92 eprover: CPU time limit exceeded, terminating
% 20.23/19.93 eprover: CPU time limit exceeded, terminating
% 22.27/21.93 eprover: CPU time limit exceeded, terminating
% 24.36/23.94 eprover: CPU time limit exceeded, terminating
% 26.42/25.95 eprover: CPU time limit exceeded, terminating
% 28.45/27.96 eprover: CPU time limit exceeded, terminating
% 30.49/29.97 eprover: CPU time limit exceeded, terminating
% 32.57/31.98 eprover: CPU time limit exceeded, terminating
% 34.70/33.99 eprover: CPU time limit exceeded, terminating
% 36.77/35.99 eprover: CPU time limit exceeded, terminating
% 38.80/38.00 eprover: CPU time limit exceeded, terminating
% 40.88/40.01 eprover: CPU time limit exceeded, terminating
% 42.89/42.02 eprover: CPU time limit exceeded, terminating
% 44.99/44.03 eprover: CPU time limit exceeded, terminating
% 47.10/46.04 eprover: CPU time limit exceeded, terminating
% 49.16/48.04 eprover: CPU time limit exceeded, terminating
% 51.23/50.05 eprover: CPU time limit exceeded, terminating
% 53.24/52.06 eprover: CPU time limit exceeded, terminating
% 55.33/54.07 eprover: CPU time limit exceeded, terminating
% 57.35/56.08 eprover: CPU time limit exceeded, terminating
% 59.51/58.09 eprover: CPU time limit exceeded, terminating
% 61.55/60.09 eprover: CPU time limit exceeded, terminating
% 63.61/62.10 eprover: CPU time limit exceeded, terminating
% 65.68/64.11 eprover: CPU time limit exceeded, terminating
% 67.75/66.12 eprover: CPU time limit exceeded, terminating
% 69.80/68.13 eprover: CPU time limit exceeded, terminating
% 71.90/70.14 eprover: CPU time limit exceeded, terminating
% 73.97/72.15 eprover: CPU time limit exceeded, terminating
% 76.01/74.16 eprover: CPU time limit exceeded, terminating
% 78.06/76.17 eprover: CPU time limit exceeded, terminating
% 80.17/78.18 eprover: CPU time limit exceeded, terminating
% 82.17/80.19 eprover: CPU time limit exceeded, terminating
% 84.27/82.20 eprover: CPU time limit exceeded, terminating
% 86.38/84.20 eprover: CPU time limit exceeded, terminating
% 88.41/86.21 eprover: CPU time limit exceeded, terminating
% 90.44/88.22 eprover: CPU time limit exceeded, terminating
% 92.57/90.23 eprover: CPU time limit exceeded, terminating
% 94.59/92.24 eprover: CPU time limit exceeded, terminating
% 96.70/94.24 eprover: CPU time limit exceeded, terminating
% 98.74/96.25 eprover: CPU time limit exceeded, terminating
% 100.86/98.26 eprover: CPU time limit exceeded, terminating
% 102.86/100.27 eprover: CPU time limit exceeded, terminating
% 104.95/102.28 eprover: CPU time limit exceeded, terminating
% 106.99/104.29 eprover: CPU time limit exceeded, terminating
% 109.12/106.30 eprover: CPU time limit exceeded, terminating
% 111.14/108.30 eprover: CPU time limit exceeded, terminating
% 113.22/110.31 eprover: CPU time limit exceeded, terminating
% 115.24/112.32 eprover: CPU time limit exceeded, terminating
% 117.38/114.33 eprover: CPU time limit exceeded, terminating
% 119.44/116.34 eprover: CPU time limit exceeded, terminating
% 121.47/118.35 eprover: CPU time limit exceeded, terminating
% 123.58/120.35 eprover: CPU time limit exceeded, terminating
% 125.56/122.36 eprover: CPU time limit exceeded, terminating
% 127.71/124.37 eprover: CPU time limit exceeded, terminating
% 129.73/126.38 eprover: CPU time limit exceeded, terminating
% 131.84/128.39 eprover: CPU time limit exceeded, terminating
% 133.87/130.39 eprover: CPU time limit exceeded, terminating
% 135.90/132.40 eprover: CPU time limit exceeded, terminating
% 138.01/134.41 eprover: CPU time limit exceeded, terminating
% 140.10/136.42 eprover: CPU time limit exceeded, terminating
% 142.16/138.42 eprover: CPU time limit exceeded, terminating
% 144.23/140.43 eprover: CPU time limit exceeded, terminating
% 146.27/142.44 eprover: CPU time limit exceeded, terminating
% 148.36/144.45 eprover: CPU time limit exceeded, terminating
% 150.39/146.46 eprover: CPU time limit exceeded, terminating
% 152.52/148.47 eprover: CPU time limit exceeded, terminating
% 154.57/150.47 eprover: CPU time limit exceeded, terminating
% 156.63/152.49 eprover: CPU time limit exceeded, terminating
% 158.65/154.49 eprover: CPU time limit exceeded, terminating
% 160.78/156.50 eprover: CPU time limit exceeded, terminating
% 162.83/158.51 eprover: CPU time limit exceeded, terminating
% 164.89/160.52 eprover: CPU time limit exceeded, terminating
% 166.98/162.53 eprover: CPU time limit exceeded, terminating
% 169.04/164.53 eprover: CPU time limit exceeded, terminating
% 171.11/166.54 eprover: CPU time limit exceeded, terminating
% 173.13/168.55 eprover: CPU time limit exceeded, terminating
% 175.23/170.56 eprover: CPU time limit exceeded, terminating
% 177.31/172.57 eprover: CPU time limit exceeded, terminating
% 179.34/174.58 eprover: CPU time limit exceeded, terminating
% 181.45/176.58 eprover: CPU time limit exceeded, terminating
% 183.48/178.59 eprover: CPU time limit exceeded, terminating
% 185.57/180.60 eprover: CPU time limit exceeded, terminating
% 187.58/182.61 eprover: CPU time limit exceeded, terminating
% 189.62/184.62 eprover: CPU time limit exceeded, terminating
% 191.76/186.62 eprover: CPU time limit exceeded, terminating
% 193.84/188.63 eprover: CPU time limit exceeded, terminating
% 195.85/190.64 eprover: CPU time limit exceeded, terminating
% 197.98/192.65 eprover: CPU time limit exceeded, terminating
% 199.98/194.66 eprover: CPU time limit exceeded, terminating
% 202.05/196.66 eprover: CPU time limit exceeded, terminating
% 204.16/198.67 eprover: CPU time limit exceeded, terminating
% 206.17/200.68 eprover: CPU time limit exceeded, terminating
% 208.29/202.69 eprover: CPU time limit exceeded, terminating
% 210.36/204.70 eprover: CPU time limit exceeded, terminating
% 212.39/206.70 eprover: CPU time limit exceeded, terminating
% 214.49/208.71 eprover: CPU time limit exceeded, terminating
% 216.58/210.72 eprover: CPU time limit exceeded, terminating
% 218.58/212.73 eprover: CPU time limit exceeded, terminating
% 220.69/214.74 eprover: CPU time limit exceeded, terminating
% 222.79/216.75 eprover: CPU time limit exceeded, terminating
% 224.79/218.75 eprover: CPU time limit exceeded, terminating
% 226.89/220.76 eprover: CPU time limit exceeded, terminating
% 228.94/222.77 eprover: CPU time limit exceeded, terminating
% 231.02/224.78 eprover: CPU time limit exceeded, terminating
% 233.07/226.79 eprover: CPU time limit exceeded, terminating
% 235.17/228.80 eprover: CPU time limit exceeded, terminating
% 237.22/230.81 eprover: CPU time limit exceeded, terminating
% 239.31/232.82 eprover: CPU time limit exceeded, terminating
% 241.37/234.83 eprover: CPU time limit exceeded, terminating
% 243.44/236.84 eprover: CPU time limit exceeded, terminating
% 245.50/238.84 eprover: CPU time limit exceeded, terminating
% 247.52/240.85 eprover: CPU time limit exceeded, terminating
% 249.60/242.86 eprover: CPU time limit exceeded, terminating
% 251.71/244.87 eprover: CPU time limit exceeded, terminating
% 253.71/246.88 eprover: CPU time limit exceeded, terminating
% 255.85/248.89 eprover: CPU time limit exceeded, terminating
% 257.92/250.90 eprover: CPU time limit exceeded, terminating
% 259.96/252.90 eprover: CPU time limit exceeded, terminating
% 262.04/254.91 eprover: CPU time limit exceeded, terminating
% 264.08/256.92 eprover: CPU time limit exceeded, terminating
% 266.15/258.93 eprover: CPU time limit exceeded, terminating
% 268.24/260.94 eprover: CPU time limit exceeded, terminating
% 270.26/262.95 eprover: CPU time limit exceeded, terminating
% 272.37/264.95 eprover: CPU time limit exceeded, terminating
% 274.46/266.96 eprover: CPU time limit exceeded, terminating
% 276.49/268.97 eprover: CPU time limit exceeded, terminating
% 278.58/270.98 eprover: CPU time limit exceeded, terminating
% 280.61/272.99 eprover: CPU time limit exceeded, terminating
% 282.66/274.99 eprover: CPU time limit exceeded, terminating
% 284.77/277.00 eprover: CPU time limit exceeded, terminating
% 286.77/279.01 eprover: CPU time limit exceeded, terminating
% 288.87/281.02 eprover: CPU time limit exceeded, terminating
% 290.90/283.03 eprover: CPU time limit exceeded, terminating
% 293.05/285.03 eprover: CPU time limit exceeded, terminating
% 295.05/287.04 eprover: CPU time limit exceeded, terminating
% 297.16/289.05 eprover: CPU time limit exceeded, terminating
% 299.24/291.06 eprover: CPU time limit exceeded, terminating
% 300.06/291.79 eprover: CPU time limit exceeded, terminating
% 300.06/291.81 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------