TSTP Solution File: NUM708+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM708+4 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n013.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:55 EDT 2022
% Result : Timeout 286.57s 279.21s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.13 % Problem : NUM708+4 : TPTP v8.1.0. Released v7.3.0.
% 0.07/0.14 % Command : run_infinox %s
% 0.13/0.35 % Computer : n013.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 18:04:44 EDT 2022
% 0.13/0.35 % CPUTime :
% 3.15/3.30 eprover: CPU time limit exceeded, terminating
% 5.19/5.31 eprover: CPU time limit exceeded, terminating
% 7.24/7.33 eprover: CPU time limit exceeded, terminating
% 9.29/9.34 eprover: CPU time limit exceeded, terminating
% 11.31/11.35 eprover: CPU time limit exceeded, terminating
% 13.37/13.37 eprover: CPU time limit exceeded, terminating
% 15.43/15.38 eprover: CPU time limit exceeded, terminating
% 17.47/17.39 eprover: CPU time limit exceeded, terminating
% 19.56/19.41 eprover: CPU time limit exceeded, terminating
% 21.63/21.42 eprover: CPU time limit exceeded, terminating
% 23.68/23.43 eprover: CPU time limit exceeded, terminating
% 25.70/25.45 eprover: CPU time limit exceeded, terminating
% 27.77/27.46 eprover: CPU time limit exceeded, terminating
% 29.83/29.48 eprover: CPU time limit exceeded, terminating
% 31.92/31.49 eprover: CPU time limit exceeded, terminating
% 33.97/33.50 eprover: CPU time limit exceeded, terminating
% 36.02/35.52 eprover: CPU time limit exceeded, terminating
% 38.05/37.53 eprover: CPU time limit exceeded, terminating
% 40.11/39.54 eprover: CPU time limit exceeded, terminating
% 42.15/41.56 eprover: CPU time limit exceeded, terminating
% 44.15/43.57 eprover: CPU time limit exceeded, terminating
% 46.24/45.58 eprover: CPU time limit exceeded, terminating
% 48.36/47.60 eprover: CPU time limit exceeded, terminating
% 50.39/49.61 eprover: CPU time limit exceeded, terminating
% 52.44/51.63 eprover: CPU time limit exceeded, terminating
% 54.49/53.64 eprover: CPU time limit exceeded, terminating
% 56.52/55.66 eprover: CPU time limit exceeded, terminating
% 58.60/57.67 eprover: CPU time limit exceeded, terminating
% 60.69/59.68 eprover: CPU time limit exceeded, terminating
% 62.76/61.70 eprover: CPU time limit exceeded, terminating
% 64.80/63.71 eprover: CPU time limit exceeded, terminating
% 66.84/65.72 eprover: CPU time limit exceeded, terminating
% 68.87/67.74 eprover: CPU time limit exceeded, terminating
% 70.93/69.75 eprover: CPU time limit exceeded, terminating
% 72.97/71.77 eprover: CPU time limit exceeded, terminating
% 75.01/73.78 eprover: CPU time limit exceeded, terminating
% 77.05/75.79 eprover: CPU time limit exceeded, terminating
% 79.18/77.81 eprover: CPU time limit exceeded, terminating
% 81.21/79.82 eprover: CPU time limit exceeded, terminating
% 83.28/81.83 eprover: CPU time limit exceeded, terminating
% 85.32/83.85 eprover: CPU time limit exceeded, terminating
% 87.34/85.86 eprover: CPU time limit exceeded, terminating
% 89.39/87.88 eprover: CPU time limit exceeded, terminating
% 91.51/89.89 eprover: CPU time limit exceeded, terminating
% 93.56/91.90 eprover: CPU time limit exceeded, terminating
% 95.60/93.92 eprover: CPU time limit exceeded, terminating
% 97.65/95.93 eprover: CPU time limit exceeded, terminating
% 99.70/97.95 eprover: CPU time limit exceeded, terminating
% 101.75/99.96 eprover: CPU time limit exceeded, terminating
% 103.79/101.98 eprover: CPU time limit exceeded, terminating
% 105.82/103.99 eprover: CPU time limit exceeded, terminating
% 107.94/106.00 eprover: CPU time limit exceeded, terminating
% 109.97/108.02 eprover: CPU time limit exceeded, terminating
% 112.06/110.03 eprover: CPU time limit exceeded, terminating
% 114.08/112.05 eprover: CPU time limit exceeded, terminating
% 116.14/114.06 eprover: CPU time limit exceeded, terminating
% 118.17/116.07 eprover: CPU time limit exceeded, terminating
% 120.22/118.09 eprover: CPU time limit exceeded, terminating
% 122.35/120.10 eprover: CPU time limit exceeded, terminating
% 124.40/122.12 eprover: CPU time limit exceeded, terminating
% 126.43/124.13 eprover: CPU time limit exceeded, terminating
% 128.48/126.14 eprover: CPU time limit exceeded, terminating
% 130.51/128.16 eprover: CPU time limit exceeded, terminating
% 132.55/130.17 eprover: CPU time limit exceeded, terminating
% 134.59/132.19 eprover: CPU time limit exceeded, terminating
% 136.74/134.20 eprover: CPU time limit exceeded, terminating
% 138.78/136.21 eprover: CPU time limit exceeded, terminating
% 140.82/138.23 eprover: CPU time limit exceeded, terminating
% 142.87/140.24 eprover: CPU time limit exceeded, terminating
% 144.89/142.26 eprover: CPU time limit exceeded, terminating
% 146.93/144.27 eprover: CPU time limit exceeded, terminating
% 148.97/146.29 eprover: CPU time limit exceeded, terminating
% 151.12/148.30 eprover: CPU time limit exceeded, terminating
% 153.17/150.31 eprover: CPU time limit exceeded, terminating
% 155.20/152.33 eprover: CPU time limit exceeded, terminating
% 157.26/154.34 eprover: CPU time limit exceeded, terminating
% 159.31/156.36 eprover: CPU time limit exceeded, terminating
% 161.35/158.37 eprover: CPU time limit exceeded, terminating
% 163.38/160.39 eprover: CPU time limit exceeded, terminating
% 165.49/162.40 eprover: CPU time limit exceeded, terminating
% 167.54/164.41 eprover: CPU time limit exceeded, terminating
% 169.59/166.43 eprover: CPU time limit exceeded, terminating
% 171.63/168.44 eprover: CPU time limit exceeded, terminating
% 173.66/170.45 eprover: CPU time limit exceeded, terminating
% 175.73/172.47 eprover: CPU time limit exceeded, terminating
% 177.77/174.48 eprover: CPU time limit exceeded, terminating
% 179.89/176.50 eprover: CPU time limit exceeded, terminating
% 181.92/178.51 eprover: CPU time limit exceeded, terminating
% 183.99/180.52 eprover: CPU time limit exceeded, terminating
% 186.03/182.54 eprover: CPU time limit exceeded, terminating
% 188.07/184.55 eprover: CPU time limit exceeded, terminating
% 190.09/186.56 eprover: CPU time limit exceeded, terminating
% 192.21/188.58 eprover: CPU time limit exceeded, terminating
% 194.17/190.59 eprover: CPU time limit exceeded, terminating
% 198.19/192.61 eprover: CPU time limit exceeded, terminating
% 200.26/194.62 eprover: CPU time limit exceeded, terminating
% 202.32/196.64 eprover: CPU time limit exceeded, terminating
% 204.35/198.65 eprover: CPU time limit exceeded, terminating
% 206.40/200.67 eprover: CPU time limit exceeded, terminating
% 208.51/202.68 eprover: CPU time limit exceeded, terminating
% 210.48/204.69 eprover: CPU time limit exceeded, terminating
% 212.59/206.71 eprover: CPU time limit exceeded, terminating
% 214.64/208.72 eprover: CPU time limit exceeded, terminating
% 216.67/210.74 eprover: CPU time limit exceeded, terminating
% 218.71/212.75 eprover: CPU time limit exceeded, terminating
% 220.75/214.76 eprover: CPU time limit exceeded, terminating
% 222.79/216.78 eprover: CPU time limit exceeded, terminating
% 224.86/218.79 eprover: CPU time limit exceeded, terminating
% 226.97/220.80 eprover: CPU time limit exceeded, terminating
% 229.04/222.82 eprover: CPU time limit exceeded, terminating
% 231.06/224.83 eprover: CPU time limit exceeded, terminating
% 233.12/226.85 eprover: CPU time limit exceeded, terminating
% 235.15/228.86 eprover: CPU time limit exceeded, terminating
% 237.19/230.88 eprover: CPU time limit exceeded, terminating
% 239.23/232.89 eprover: CPU time limit exceeded, terminating
% 241.36/234.90 eprover: CPU time limit exceeded, terminating
% 243.42/236.92 eprover: CPU time limit exceeded, terminating
% 245.44/238.93 eprover: CPU time limit exceeded, terminating
% 247.51/240.95 eprover: CPU time limit exceeded, terminating
% 249.55/242.96 eprover: CPU time limit exceeded, terminating
% 251.59/244.97 eprover: CPU time limit exceeded, terminating
% 253.63/246.99 eprover: CPU time limit exceeded, terminating
% 255.75/249.00 eprover: CPU time limit exceeded, terminating
% 257.79/251.02 eprover: CPU time limit exceeded, terminating
% 259.82/253.03 eprover: CPU time limit exceeded, terminating
% 261.90/255.04 eprover: CPU time limit exceeded, terminating
% 263.94/257.06 eprover: CPU time limit exceeded, terminating
% 265.97/259.07 eprover: CPU time limit exceeded, terminating
% 268.02/261.09 eprover: CPU time limit exceeded, terminating
% 270.14/263.10 eprover: CPU time limit exceeded, terminating
% 272.18/265.11 eprover: CPU time limit exceeded, terminating
% 274.20/267.13 eprover: CPU time limit exceeded, terminating
% 276.26/269.14 eprover: CPU time limit exceeded, terminating
% 278.27/271.15 eprover: CPU time limit exceeded, terminating
% 280.34/273.17 eprover: CPU time limit exceeded, terminating
% 282.46/275.18 eprover: CPU time limit exceeded, terminating
% 284.43/277.20 eprover: CPU time limit exceeded, terminating
% 286.57/279.21 eprover: CPU time limit exceeded, terminating
% 288.58/281.22 eprover: CPU time limit exceeded, terminating
% 290.66/283.24 eprover: CPU time limit exceeded, terminating
% 292.71/285.25 eprover: CPU time limit exceeded, terminating
% 294.75/287.27 eprover: CPU time limit exceeded, terminating
% 296.78/289.28 eprover: CPU time limit exceeded, terminating
% 298.90/291.29 eprover: CPU time limit exceeded, terminating
% 300.07/292.41 eprover: CPU time limit exceeded, terminating
% 300.07/292.43 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------