TSTP Solution File: NUM713+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM713+4 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n007.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:39:59 EDT 2022
% Result : Timeout 286.44s 281.34s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.12 % Problem : NUM713+4 : TPTP v8.1.0. Released v7.3.0.
% 0.12/0.13 % Command : run_infinox %s
% 0.13/0.35 % Computer : n007.cluster.edu
% 0.13/0.35 % Model : x86_64 x86_64
% 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35 % Memory : 8042.1875MB
% 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35 % CPULimit : 300
% 0.13/0.35 % WCLimit : 600
% 0.13/0.35 % DateTime : Wed Jul 6 23:40:29 EDT 2022
% 0.13/0.35 % CPUTime :
% 3.18/3.34 eprover: CPU time limit exceeded, terminating
% 5.20/5.35 eprover: CPU time limit exceeded, terminating
% 7.25/7.36 eprover: CPU time limit exceeded, terminating
% 9.31/9.37 eprover: CPU time limit exceeded, terminating
% 11.35/11.39 eprover: CPU time limit exceeded, terminating
% 13.44/13.40 eprover: CPU time limit exceeded, terminating
% 15.49/15.41 eprover: CPU time limit exceeded, terminating
% 17.54/17.42 eprover: CPU time limit exceeded, terminating
% 19.61/19.44 eprover: CPU time limit exceeded, terminating
% 21.62/21.45 eprover: CPU time limit exceeded, terminating
% 23.74/23.46 eprover: CPU time limit exceeded, terminating
% 25.72/25.48 eprover: CPU time limit exceeded, terminating
% 27.84/27.49 eprover: CPU time limit exceeded, terminating
% 29.90/29.50 eprover: CPU time limit exceeded, terminating
% 31.94/31.51 eprover: CPU time limit exceeded, terminating
% 34.01/33.52 eprover: CPU time limit exceeded, terminating
% 36.00/35.53 eprover: CPU time limit exceeded, terminating
% 38.12/37.55 eprover: CPU time limit exceeded, terminating
% 40.13/39.56 eprover: CPU time limit exceeded, terminating
% 42.16/41.57 eprover: CPU time limit exceeded, terminating
% 44.21/43.58 eprover: CPU time limit exceeded, terminating
% 46.27/45.59 eprover: CPU time limit exceeded, terminating
% 48.30/47.60 eprover: CPU time limit exceeded, terminating
% 50.43/49.61 eprover: CPU time limit exceeded, terminating
% 52.49/51.63 eprover: CPU time limit exceeded, terminating
% 54.51/53.64 eprover: CPU time limit exceeded, terminating
% 56.55/55.65 eprover: CPU time limit exceeded, terminating
% 58.62/57.66 eprover: CPU time limit exceeded, terminating
% 60.71/59.68 eprover: CPU time limit exceeded, terminating
% 62.69/61.69 eprover: CPU time limit exceeded, terminating
% 64.74/63.70 eprover: CPU time limit exceeded, terminating
% 66.88/65.71 eprover: CPU time limit exceeded, terminating
% 68.91/67.72 eprover: CPU time limit exceeded, terminating
% 70.98/69.73 eprover: CPU time limit exceeded, terminating
% 73.01/71.75 eprover: CPU time limit exceeded, terminating
% 74.99/73.76 eprover: CPU time limit exceeded, terminating
% 77.05/75.77 eprover: CPU time limit exceeded, terminating
% 79.12/77.78 eprover: CPU time limit exceeded, terminating
% 81.18/79.79 eprover: CPU time limit exceeded, terminating
% 83.29/81.81 eprover: CPU time limit exceeded, terminating
% 85.31/83.82 eprover: CPU time limit exceeded, terminating
% 87.37/85.83 eprover: CPU time limit exceeded, terminating
% 89.43/87.85 eprover: CPU time limit exceeded, terminating
% 91.44/89.86 eprover: CPU time limit exceeded, terminating
% 93.48/91.87 eprover: CPU time limit exceeded, terminating
% 95.53/93.88 eprover: CPU time limit exceeded, terminating
% 97.64/95.89 eprover: CPU time limit exceeded, terminating
% 99.69/97.90 eprover: CPU time limit exceeded, terminating
% 101.75/99.91 eprover: CPU time limit exceeded, terminating
% 103.77/101.93 eprover: CPU time limit exceeded, terminating
% 105.82/103.94 eprover: CPU time limit exceeded, terminating
% 107.86/105.95 eprover: CPU time limit exceeded, terminating
% 109.87/107.96 eprover: CPU time limit exceeded, terminating
% 111.99/109.98 eprover: CPU time limit exceeded, terminating
% 113.95/111.99 eprover: CPU time limit exceeded, terminating
% 116.02/114.01 eprover: CPU time limit exceeded, terminating
% 118.12/116.02 eprover: CPU time limit exceeded, terminating
% 120.16/118.03 eprover: CPU time limit exceeded, terminating
% 122.18/120.05 eprover: CPU time limit exceeded, terminating
% 124.25/122.06 eprover: CPU time limit exceeded, terminating
% 126.33/124.08 eprover: CPU time limit exceeded, terminating
% 128.33/126.09 eprover: CPU time limit exceeded, terminating
% 130.43/128.11 eprover: CPU time limit exceeded, terminating
% 132.48/130.12 eprover: CPU time limit exceeded, terminating
% 134.47/132.14 eprover: CPU time limit exceeded, terminating
% 136.52/134.15 eprover: CPU time limit exceeded, terminating
% 138.55/136.16 eprover: CPU time limit exceeded, terminating
% 140.61/138.18 eprover: CPU time limit exceeded, terminating
% 142.68/140.19 eprover: CPU time limit exceeded, terminating
% 144.74/142.20 eprover: CPU time limit exceeded, terminating
% 146.76/144.22 eprover: CPU time limit exceeded, terminating
% 148.83/146.23 eprover: CPU time limit exceeded, terminating
% 150.86/148.24 eprover: CPU time limit exceeded, terminating
% 152.91/150.26 eprover: CPU time limit exceeded, terminating
% 154.92/152.27 eprover: CPU time limit exceeded, terminating
% 157.07/154.29 eprover: CPU time limit exceeded, terminating
% 159.11/156.31 eprover: CPU time limit exceeded, terminating
% 161.16/158.33 eprover: CPU time limit exceeded, terminating
% 163.18/160.34 eprover: CPU time limit exceeded, terminating
% 165.24/162.36 eprover: CPU time limit exceeded, terminating
% 167.24/164.38 eprover: CPU time limit exceeded, terminating
% 169.30/166.39 eprover: CPU time limit exceeded, terminating
% 171.44/168.41 eprover: CPU time limit exceeded, terminating
% 173.47/170.43 eprover: CPU time limit exceeded, terminating
% 175.49/172.44 eprover: CPU time limit exceeded, terminating
% 177.53/174.47 eprover: CPU time limit exceeded, terminating
% 179.59/176.48 eprover: CPU time limit exceeded, terminating
% 181.70/178.50 eprover: CPU time limit exceeded, terminating
% 183.74/180.51 eprover: CPU time limit exceeded, terminating
% 185.78/182.53 eprover: CPU time limit exceeded, terminating
% 187.82/184.55 eprover: CPU time limit exceeded, terminating
% 189.88/186.56 eprover: CPU time limit exceeded, terminating
% 191.89/188.58 eprover: CPU time limit exceeded, terminating
% 194.03/190.59 eprover: CPU time limit exceeded, terminating
% 196.00/192.60 eprover: CPU time limit exceeded, terminating
% 198.14/194.62 eprover: CPU time limit exceeded, terminating
% 200.17/196.63 eprover: CPU time limit exceeded, terminating
% 202.18/198.64 eprover: CPU time limit exceeded, terminating
% 204.23/200.66 eprover: CPU time limit exceeded, terminating
% 206.30/202.68 eprover: CPU time limit exceeded, terminating
% 208.30/204.69 eprover: CPU time limit exceeded, terminating
% 210.41/206.72 eprover: CPU time limit exceeded, terminating
% 212.50/208.75 eprover: CPU time limit exceeded, terminating
% 214.51/210.76 eprover: CPU time limit exceeded, terminating
% 216.61/212.79 eprover: CPU time limit exceeded, terminating
% 218.66/214.81 eprover: CPU time limit exceeded, terminating
% 220.72/216.82 eprover: CPU time limit exceeded, terminating
% 222.77/218.83 eprover: CPU time limit exceeded, terminating
% 224.78/220.85 eprover: CPU time limit exceeded, terminating
% 226.84/222.87 eprover: CPU time limit exceeded, terminating
% 228.88/224.88 eprover: CPU time limit exceeded, terminating
% 230.99/226.90 eprover: CPU time limit exceeded, terminating
% 233.04/228.91 eprover: CPU time limit exceeded, terminating
% 235.09/230.93 eprover: CPU time limit exceeded, terminating
% 237.11/232.95 eprover: CPU time limit exceeded, terminating
% 239.16/234.97 eprover: CPU time limit exceeded, terminating
% 241.20/236.98 eprover: CPU time limit exceeded, terminating
% 243.31/239.00 eprover: CPU time limit exceeded, terminating
% 245.38/241.01 eprover: CPU time limit exceeded, terminating
% 247.42/243.03 eprover: CPU time limit exceeded, terminating
% 249.44/245.05 eprover: CPU time limit exceeded, terminating
% 251.49/247.06 eprover: CPU time limit exceeded, terminating
% 253.53/249.08 eprover: CPU time limit exceeded, terminating
% 255.65/251.10 eprover: CPU time limit exceeded, terminating
% 257.69/253.12 eprover: CPU time limit exceeded, terminating
% 259.74/255.14 eprover: CPU time limit exceeded, terminating
% 261.79/257.16 eprover: CPU time limit exceeded, terminating
% 263.80/259.17 eprover: CPU time limit exceeded, terminating
% 265.86/261.19 eprover: CPU time limit exceeded, terminating
% 267.98/263.21 eprover: CPU time limit exceeded, terminating
% 270.01/265.22 eprover: CPU time limit exceeded, terminating
% 272.07/267.23 eprover: CPU time limit exceeded, terminating
% 274.08/269.25 eprover: CPU time limit exceeded, terminating
% 276.13/271.27 eprover: CPU time limit exceeded, terminating
% 278.17/273.28 eprover: CPU time limit exceeded, terminating
% 280.31/275.30 eprover: CPU time limit exceeded, terminating
% 282.34/277.31 eprover: CPU time limit exceeded, terminating
% 284.41/279.33 eprover: CPU time limit exceeded, terminating
% 286.44/281.34 eprover: CPU time limit exceeded, terminating
% 288.49/283.36 eprover: CPU time limit exceeded, terminating
% 290.51/285.38 eprover: CPU time limit exceeded, terminating
% 292.64/287.39 eprover: CPU time limit exceeded, terminating
% 294.70/289.41 eprover: CPU time limit exceeded, terminating
% 296.75/291.43 eprover: CPU time limit exceeded, terminating
% 298.79/293.44 eprover: CPU time limit exceeded, terminating
% 300.11/294.71 eprover: CPU time limit exceeded, terminating
% 300.11/294.73 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------