TSTP Solution File: NUM751+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM751+4 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n020.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:22 EDT 2022
% Result : Timeout 287.26s 279.01s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.11 % Problem : NUM751+4 : TPTP v8.1.0. Released v7.3.0.
% 0.06/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n020.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 Jul 7 21:00:29 EDT 2022
% 0.12/0.33 % CPUTime :
% 3.58/3.75 eprover: CPU time limit exceeded, terminating
% 5.66/5.76 eprover: CPU time limit exceeded, terminating
% 7.78/7.77 eprover: CPU time limit exceeded, terminating
% 9.76/9.77 eprover: CPU time limit exceeded, terminating
% 11.91/11.78 eprover: CPU time limit exceeded, terminating
% 13.93/13.79 eprover: CPU time limit exceeded, terminating
% 16.02/15.80 eprover: CPU time limit exceeded, terminating
% 18.11/17.81 eprover: CPU time limit exceeded, terminating
% 20.16/19.82 eprover: CPU time limit exceeded, terminating
% 22.23/21.83 eprover: CPU time limit exceeded, terminating
% 24.30/23.84 eprover: CPU time limit exceeded, terminating
% 26.41/25.85 eprover: CPU time limit exceeded, terminating
% 28.41/27.86 eprover: CPU time limit exceeded, terminating
% 30.52/29.87 eprover: CPU time limit exceeded, terminating
% 32.54/31.87 eprover: CPU time limit exceeded, terminating
% 34.64/33.88 eprover: CPU time limit exceeded, terminating
% 36.74/35.89 eprover: CPU time limit exceeded, terminating
% 38.83/37.90 eprover: CPU time limit exceeded, terminating
% 40.87/39.91 eprover: CPU time limit exceeded, terminating
% 42.98/41.92 eprover: CPU time limit exceeded, terminating
% 45.02/43.93 eprover: CPU time limit exceeded, terminating
% 47.12/45.94 eprover: CPU time limit exceeded, terminating
% 49.13/47.95 eprover: CPU time limit exceeded, terminating
% 51.24/49.96 eprover: CPU time limit exceeded, terminating
% 53.28/51.97 eprover: CPU time limit exceeded, terminating
% 55.36/53.98 eprover: CPU time limit exceeded, terminating
% 57.45/55.99 eprover: CPU time limit exceeded, terminating
% 59.47/57.99 eprover: CPU time limit exceeded, terminating
% 61.59/60.00 eprover: CPU time limit exceeded, terminating
% 63.58/62.01 eprover: CPU time limit exceeded, terminating
% 65.70/64.02 eprover: CPU time limit exceeded, terminating
% 67.78/66.03 eprover: CPU time limit exceeded, terminating
% 69.82/68.04 eprover: CPU time limit exceeded, terminating
% 71.91/70.05 eprover: CPU time limit exceeded, terminating
% 73.96/72.06 eprover: CPU time limit exceeded, terminating
% 76.11/74.07 eprover: CPU time limit exceeded, terminating
% 78.17/76.07 eprover: CPU time limit exceeded, terminating
% 80.22/78.08 eprover: CPU time limit exceeded, terminating
% 82.25/80.09 eprover: CPU time limit exceeded, terminating
% 84.33/82.10 eprover: CPU time limit exceeded, terminating
% 86.43/84.11 eprover: CPU time limit exceeded, terminating
% 88.49/86.12 eprover: CPU time limit exceeded, terminating
% 90.59/88.13 eprover: CPU time limit exceeded, terminating
% 92.61/90.14 eprover: CPU time limit exceeded, terminating
% 94.73/92.15 eprover: CPU time limit exceeded, terminating
% 96.77/94.16 eprover: CPU time limit exceeded, terminating
% 98.81/96.16 eprover: CPU time limit exceeded, terminating
% 100.89/98.17 eprover: CPU time limit exceeded, terminating
% 103.02/100.18 eprover: CPU time limit exceeded, terminating
% 105.02/102.19 eprover: CPU time limit exceeded, terminating
% 107.10/104.20 eprover: CPU time limit exceeded, terminating
% 109.18/106.21 eprover: CPU time limit exceeded, terminating
% 111.21/108.22 eprover: CPU time limit exceeded, terminating
% 113.34/110.23 eprover: CPU time limit exceeded, terminating
% 115.42/112.24 eprover: CPU time limit exceeded, terminating
% 117.43/114.25 eprover: CPU time limit exceeded, terminating
% 119.56/116.26 eprover: CPU time limit exceeded, terminating
% 121.65/118.27 eprover: CPU time limit exceeded, terminating
% 123.68/120.27 eprover: CPU time limit exceeded, terminating
% 125.78/122.28 eprover: CPU time limit exceeded, terminating
% 127.81/124.29 eprover: CPU time limit exceeded, terminating
% 129.93/126.30 eprover: CPU time limit exceeded, terminating
% 132.01/128.31 eprover: CPU time limit exceeded, terminating
% 134.02/130.32 eprover: CPU time limit exceeded, terminating
% 136.13/132.33 eprover: CPU time limit exceeded, terminating
% 138.17/134.34 eprover: CPU time limit exceeded, terminating
% 140.26/136.35 eprover: CPU time limit exceeded, terminating
% 142.29/138.36 eprover: CPU time limit exceeded, terminating
% 144.40/140.37 eprover: CPU time limit exceeded, terminating
% 146.42/142.37 eprover: CPU time limit exceeded, terminating
% 148.53/144.38 eprover: CPU time limit exceeded, terminating
% 150.63/146.39 eprover: CPU time limit exceeded, terminating
% 152.65/148.40 eprover: CPU time limit exceeded, terminating
% 154.74/150.41 eprover: CPU time limit exceeded, terminating
% 156.85/152.42 eprover: CPU time limit exceeded, terminating
% 158.88/154.43 eprover: CPU time limit exceeded, terminating
% 160.99/156.44 eprover: CPU time limit exceeded, terminating
% 163.07/158.45 eprover: CPU time limit exceeded, terminating
% 165.11/160.46 eprover: CPU time limit exceeded, terminating
% 167.21/162.47 eprover: CPU time limit exceeded, terminating
% 169.25/164.48 eprover: CPU time limit exceeded, terminating
% 171.35/166.49 eprover: CPU time limit exceeded, terminating
% 173.36/168.50 eprover: CPU time limit exceeded, terminating
% 175.47/170.51 eprover: CPU time limit exceeded, terminating
% 177.55/172.52 eprover: CPU time limit exceeded, terminating
% 179.56/174.53 eprover: CPU time limit exceeded, terminating
% 181.67/176.54 eprover: CPU time limit exceeded, terminating
% 183.71/178.55 eprover: CPU time limit exceeded, terminating
% 185.80/180.56 eprover: CPU time limit exceeded, terminating
% 187.92/182.57 eprover: CPU time limit exceeded, terminating
% 189.94/184.57 eprover: CPU time limit exceeded, terminating
% 192.05/186.58 eprover: CPU time limit exceeded, terminating
% 194.07/188.59 eprover: CPU time limit exceeded, terminating
% 196.17/190.60 eprover: CPU time limit exceeded, terminating
% 198.19/192.61 eprover: CPU time limit exceeded, terminating
% 200.28/194.62 eprover: CPU time limit exceeded, terminating
% 202.40/196.63 eprover: CPU time limit exceeded, terminating
% 204.42/198.64 eprover: CPU time limit exceeded, terminating
% 206.52/200.65 eprover: CPU time limit exceeded, terminating
% 208.60/202.66 eprover: CPU time limit exceeded, terminating
% 210.65/204.67 eprover: CPU time limit exceeded, terminating
% 212.75/206.68 eprover: CPU time limit exceeded, terminating
% 214.78/208.69 eprover: CPU time limit exceeded, terminating
% 216.89/210.69 eprover: CPU time limit exceeded, terminating
% 218.91/212.70 eprover: CPU time limit exceeded, terminating
% 221.02/214.71 eprover: CPU time limit exceeded, terminating
% 223.10/216.72 eprover: CPU time limit exceeded, terminating
% 225.13/218.73 eprover: CPU time limit exceeded, terminating
% 227.22/220.74 eprover: CPU time limit exceeded, terminating
% 229.26/222.75 eprover: CPU time limit exceeded, terminating
% 231.36/224.76 eprover: CPU time limit exceeded, terminating
% 233.47/226.77 eprover: CPU time limit exceeded, terminating
% 235.50/228.78 eprover: CPU time limit exceeded, terminating
% 237.54/230.79 eprover: CPU time limit exceeded, terminating
% 239.64/232.80 eprover: CPU time limit exceeded, terminating
% 241.68/234.80 eprover: CPU time limit exceeded, terminating
% 243.81/236.81 eprover: CPU time limit exceeded, terminating
% 245.87/238.82 eprover: CPU time limit exceeded, terminating
% 247.95/240.83 eprover: CPU time limit exceeded, terminating
% 250.02/242.84 eprover: CPU time limit exceeded, terminating
% 252.05/244.85 eprover: CPU time limit exceeded, terminating
% 254.11/246.86 eprover: CPU time limit exceeded, terminating
% 256.17/248.87 eprover: CPU time limit exceeded, terminating
% 258.25/250.88 eprover: CPU time limit exceeded, terminating
% 260.36/252.89 eprover: CPU time limit exceeded, terminating
% 262.37/254.90 eprover: CPU time limit exceeded, terminating
% 264.49/256.91 eprover: CPU time limit exceeded, terminating
% 266.57/258.92 eprover: CPU time limit exceeded, terminating
% 268.61/260.93 eprover: CPU time limit exceeded, terminating
% 270.66/262.94 eprover: CPU time limit exceeded, terminating
% 272.77/264.94 eprover: CPU time limit exceeded, terminating
% 274.82/266.95 eprover: CPU time limit exceeded, terminating
% 276.89/268.96 eprover: CPU time limit exceeded, terminating
% 278.97/270.97 eprover: CPU time limit exceeded, terminating
% 280.98/272.98 eprover: CPU time limit exceeded, terminating
% 283.13/274.99 eprover: CPU time limit exceeded, terminating
% 285.21/277.00 eprover: CPU time limit exceeded, terminating
% 287.26/279.01 eprover: CPU time limit exceeded, terminating
% 289.34/281.02 eprover: CPU time limit exceeded, terminating
% 291.41/283.03 eprover: CPU time limit exceeded, terminating
% 293.50/285.04 eprover: CPU time limit exceeded, terminating
% 295.57/287.05 eprover: CPU time limit exceeded, terminating
% 297.63/289.06 eprover: CPU time limit exceeded, terminating
% 299.69/291.07 eprover: CPU time limit exceeded, terminating
% 300.05/291.38 eprover: CPU time limit exceeded, terminating
% 300.05/291.39 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------