TSTP Solution File: NUM711+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM711+4 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n026.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:57 EDT 2022
% Result : Timeout 286.28s 280.68s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : NUM711+4 : TPTP v8.1.0. Released v7.3.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.14/0.34 % Computer : n026.cluster.edu
% 0.14/0.34 % Model : x86_64 x86_64
% 0.14/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.34 % Memory : 8042.1875MB
% 0.14/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.34 % CPULimit : 300
% 0.14/0.34 % WCLimit : 600
% 0.14/0.34 % DateTime : Wed Jul 6 13:35:23 EDT 2022
% 0.14/0.34 % CPUTime :
% 3.14/3.30 eprover: CPU time limit exceeded, terminating
% 5.18/5.31 eprover: CPU time limit exceeded, terminating
% 7.21/7.32 eprover: CPU time limit exceeded, terminating
% 9.30/9.33 eprover: CPU time limit exceeded, terminating
% 11.30/11.34 eprover: CPU time limit exceeded, terminating
% 13.42/13.35 eprover: CPU time limit exceeded, terminating
% 15.46/15.36 eprover: CPU time limit exceeded, terminating
% 17.53/17.37 eprover: CPU time limit exceeded, terminating
% 19.53/19.38 eprover: CPU time limit exceeded, terminating
% 21.58/21.39 eprover: CPU time limit exceeded, terminating
% 23.64/23.40 eprover: CPU time limit exceeded, terminating
% 25.72/25.41 eprover: CPU time limit exceeded, terminating
% 27.72/27.42 eprover: CPU time limit exceeded, terminating
% 29.81/29.43 eprover: CPU time limit exceeded, terminating
% 31.84/31.44 eprover: CPU time limit exceeded, terminating
% 33.90/33.45 eprover: CPU time limit exceeded, terminating
% 35.93/35.46 eprover: CPU time limit exceeded, terminating
% 38.03/37.47 eprover: CPU time limit exceeded, terminating
% 40.07/39.48 eprover: CPU time limit exceeded, terminating
% 42.10/41.49 eprover: CPU time limit exceeded, terminating
% 44.17/43.50 eprover: CPU time limit exceeded, terminating
% 46.21/45.51 eprover: CPU time limit exceeded, terminating
% 48.28/47.52 eprover: CPU time limit exceeded, terminating
% 50.30/49.53 eprover: CPU time limit exceeded, terminating
% 52.39/51.54 eprover: CPU time limit exceeded, terminating
% 54.37/53.55 eprover: CPU time limit exceeded, terminating
% 56.46/55.56 eprover: CPU time limit exceeded, terminating
% 58.55/57.57 eprover: CPU time limit exceeded, terminating
% 60.61/59.58 eprover: CPU time limit exceeded, terminating
% 62.67/61.59 eprover: CPU time limit exceeded, terminating
% 64.72/63.60 eprover: CPU time limit exceeded, terminating
% 66.72/65.61 eprover: CPU time limit exceeded, terminating
% 68.74/67.62 eprover: CPU time limit exceeded, terminating
% 70.81/69.63 eprover: CPU time limit exceeded, terminating
% 72.93/71.64 eprover: CPU time limit exceeded, terminating
% 74.91/73.65 eprover: CPU time limit exceeded, terminating
% 77.01/75.66 eprover: CPU time limit exceeded, terminating
% 79.05/77.67 eprover: CPU time limit exceeded, terminating
% 81.13/79.68 eprover: CPU time limit exceeded, terminating
% 83.12/81.69 eprover: CPU time limit exceeded, terminating
% 85.21/83.70 eprover: CPU time limit exceeded, terminating
% 87.24/85.71 eprover: CPU time limit exceeded, terminating
% 89.33/87.72 eprover: CPU time limit exceeded, terminating
% 91.36/89.73 eprover: CPU time limit exceeded, terminating
% 93.43/91.74 eprover: CPU time limit exceeded, terminating
% 95.47/93.75 eprover: CPU time limit exceeded, terminating
% 97.48/95.76 eprover: CPU time limit exceeded, terminating
% 99.58/97.77 eprover: CPU time limit exceeded, terminating
% 101.61/99.78 eprover: CPU time limit exceeded, terminating
% 103.70/101.79 eprover: CPU time limit exceeded, terminating
% 105.76/103.80 eprover: CPU time limit exceeded, terminating
% 107.78/105.81 eprover: CPU time limit exceeded, terminating
% 109.81/107.82 eprover: CPU time limit exceeded, terminating
% 111.90/109.83 eprover: CPU time limit exceeded, terminating
% 113.97/111.84 eprover: CPU time limit exceeded, terminating
% 116.00/113.85 eprover: CPU time limit exceeded, terminating
% 118.08/115.86 eprover: CPU time limit exceeded, terminating
% 120.11/117.87 eprover: CPU time limit exceeded, terminating
% 122.20/119.88 eprover: CPU time limit exceeded, terminating
% 124.19/121.89 eprover: CPU time limit exceeded, terminating
% 126.21/123.90 eprover: CPU time limit exceeded, terminating
% 128.31/125.91 eprover: CPU time limit exceeded, terminating
% 130.36/127.92 eprover: CPU time limit exceeded, terminating
% 132.38/129.93 eprover: CPU time limit exceeded, terminating
% 134.42/131.94 eprover: CPU time limit exceeded, terminating
% 136.56/133.95 eprover: CPU time limit exceeded, terminating
% 138.59/135.96 eprover: CPU time limit exceeded, terminating
% 140.63/137.97 eprover: CPU time limit exceeded, terminating
% 142.66/139.98 eprover: CPU time limit exceeded, terminating
% 144.70/141.99 eprover: CPU time limit exceeded, terminating
% 146.77/144.00 eprover: CPU time limit exceeded, terminating
% 148.83/146.01 eprover: CPU time limit exceeded, terminating
% 150.87/148.02 eprover: CPU time limit exceeded, terminating
% 152.90/150.03 eprover: CPU time limit exceeded, terminating
% 155.01/152.04 eprover: CPU time limit exceeded, terminating
% 157.04/154.05 eprover: CPU time limit exceeded, terminating
% 159.10/156.06 eprover: CPU time limit exceeded, terminating
% 161.16/158.07 eprover: CPU time limit exceeded, terminating
% 163.19/160.08 eprover: CPU time limit exceeded, terminating
% 165.21/162.09 eprover: CPU time limit exceeded, terminating
% 167.28/164.10 eprover: CPU time limit exceeded, terminating
% 169.36/166.11 eprover: CPU time limit exceeded, terminating
% 171.42/168.12 eprover: CPU time limit exceeded, terminating
% 173.46/170.13 eprover: CPU time limit exceeded, terminating
% 175.46/172.14 eprover: CPU time limit exceeded, terminating
% 177.57/174.15 eprover: CPU time limit exceeded, terminating
% 179.63/176.16 eprover: CPU time limit exceeded, terminating
% 181.66/178.17 eprover: CPU time limit exceeded, terminating
% 183.74/180.18 eprover: CPU time limit exceeded, terminating
% 185.73/182.19 eprover: CPU time limit exceeded, terminating
% 187.81/184.20 eprover: CPU time limit exceeded, terminating
% 189.87/186.21 eprover: CPU time limit exceeded, terminating
% 191.86/188.22 eprover: CPU time limit exceeded, terminating
% 193.98/190.23 eprover: CPU time limit exceeded, terminating
% 195.99/192.24 eprover: CPU time limit exceeded, terminating
% 198.08/194.25 eprover: CPU time limit exceeded, terminating
% 200.14/196.26 eprover: CPU time limit exceeded, terminating
% 202.17/198.27 eprover: CPU time limit exceeded, terminating
% 204.22/200.28 eprover: CPU time limit exceeded, terminating
% 206.26/202.29 eprover: CPU time limit exceeded, terminating
% 208.31/204.30 eprover: CPU time limit exceeded, terminating
% 210.39/206.31 eprover: CPU time limit exceeded, terminating
% 212.41/208.32 eprover: CPU time limit exceeded, terminating
% 214.49/210.33 eprover: CPU time limit exceeded, terminating
% 216.57/212.34 eprover: CPU time limit exceeded, terminating
% 218.54/214.35 eprover: CPU time limit exceeded, terminating
% 220.66/216.36 eprover: CPU time limit exceeded, terminating
% 222.71/218.37 eprover: CPU time limit exceeded, terminating
% 224.72/220.38 eprover: CPU time limit exceeded, terminating
% 226.80/222.39 eprover: CPU time limit exceeded, terminating
% 228.85/224.40 eprover: CPU time limit exceeded, terminating
% 230.86/226.41 eprover: CPU time limit exceeded, terminating
% 232.90/228.42 eprover: CPU time limit exceeded, terminating
% 234.98/230.43 eprover: CPU time limit exceeded, terminating
% 237.04/232.43 eprover: CPU time limit exceeded, terminating
% 239.09/234.44 eprover: CPU time limit exceeded, terminating
% 241.16/236.45 eprover: CPU time limit exceeded, terminating
% 243.20/238.47 eprover: CPU time limit exceeded, terminating
% 245.24/240.48 eprover: CPU time limit exceeded, terminating
% 247.32/242.49 eprover: CPU time limit exceeded, terminating
% 249.36/244.49 eprover: CPU time limit exceeded, terminating
% 251.38/246.50 eprover: CPU time limit exceeded, terminating
% 253.42/248.51 eprover: CPU time limit exceeded, terminating
% 255.49/250.52 eprover: CPU time limit exceeded, terminating
% 257.57/252.53 eprover: CPU time limit exceeded, terminating
% 259.61/254.54 eprover: CPU time limit exceeded, terminating
% 261.68/256.55 eprover: CPU time limit exceeded, terminating
% 263.70/258.56 eprover: CPU time limit exceeded, terminating
% 265.76/260.57 eprover: CPU time limit exceeded, terminating
% 267.82/262.58 eprover: CPU time limit exceeded, terminating
% 269.86/264.59 eprover: CPU time limit exceeded, terminating
% 271.87/266.60 eprover: CPU time limit exceeded, terminating
% 273.95/268.61 eprover: CPU time limit exceeded, terminating
% 276.00/270.63 eprover: CPU time limit exceeded, terminating
% 278.06/272.64 eprover: CPU time limit exceeded, terminating
% 280.12/274.65 eprover: CPU time limit exceeded, terminating
% 282.12/276.66 eprover: CPU time limit exceeded, terminating
% 284.23/278.67 eprover: CPU time limit exceeded, terminating
% 286.28/280.68 eprover: CPU time limit exceeded, terminating
% 288.34/282.69 eprover: CPU time limit exceeded, terminating
% 290.34/284.70 eprover: CPU time limit exceeded, terminating
% 292.39/286.71 eprover: CPU time limit exceeded, terminating
% 294.47/288.71 eprover: CPU time limit exceeded, terminating
% 296.48/290.72 eprover: CPU time limit exceeded, terminating
% 298.58/292.73 eprover: CPU time limit exceeded, terminating
% 300.04/294.15 eprover: CPU time limit exceeded, terminating
% 300.04/294.16 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------