TSTP Solution File: NUM672+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM672+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:24 EDT 2022
% Result : Timeout 286.28s 283.23s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.09 % Problem : NUM672+4 : TPTP v8.1.0. Released v7.3.0.
% 0.00/0.09 % Command : run_infinox %s
% 0.09/0.29 % Computer : n007.cluster.edu
% 0.09/0.29 % Model : x86_64 x86_64
% 0.09/0.29 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.09/0.29 % Memory : 8042.1875MB
% 0.09/0.29 % OS : Linux 3.10.0-693.el7.x86_64
% 0.09/0.29 % CPULimit : 300
% 0.09/0.29 % WCLimit : 600
% 0.09/0.29 % DateTime : Thu Jul 7 05:18:59 EDT 2022
% 0.09/0.29 % CPUTime :
% 3.04/3.23 eprover: CPU time limit exceeded, terminating
% 5.04/5.24 eprover: CPU time limit exceeded, terminating
% 7.08/7.25 eprover: CPU time limit exceeded, terminating
% 9.15/9.26 eprover: CPU time limit exceeded, terminating
% 11.12/11.27 eprover: CPU time limit exceeded, terminating
% 13.22/13.28 eprover: CPU time limit exceeded, terminating
% 15.22/15.29 eprover: CPU time limit exceeded, terminating
% 17.32/17.30 eprover: CPU time limit exceeded, terminating
% 19.29/19.31 eprover: CPU time limit exceeded, terminating
% 21.37/21.32 eprover: CPU time limit exceeded, terminating
% 23.39/23.33 eprover: CPU time limit exceeded, terminating
% 25.44/25.35 eprover: CPU time limit exceeded, terminating
% 27.48/27.36 eprover: CPU time limit exceeded, terminating
% 29.56/29.37 eprover: CPU time limit exceeded, terminating
% 31.54/31.38 eprover: CPU time limit exceeded, terminating
% 33.65/33.39 eprover: CPU time limit exceeded, terminating
% 35.61/35.40 eprover: CPU time limit exceeded, terminating
% 37.70/37.41 eprover: CPU time limit exceeded, terminating
% 39.78/39.42 eprover: CPU time limit exceeded, terminating
% 41.81/41.43 eprover: CPU time limit exceeded, terminating
% 43.83/43.44 eprover: CPU time limit exceeded, terminating
% 45.83/45.46 eprover: CPU time limit exceeded, terminating
% 47.89/47.47 eprover: CPU time limit exceeded, terminating
% 49.97/49.48 eprover: CPU time limit exceeded, terminating
% 51.97/51.49 eprover: CPU time limit exceeded, terminating
% 54.04/53.50 eprover: CPU time limit exceeded, terminating
% 56.07/55.51 eprover: CPU time limit exceeded, terminating
% 58.11/57.52 eprover: CPU time limit exceeded, terminating
% 60.17/59.53 eprover: CPU time limit exceeded, terminating
% 62.22/61.70 eprover: CPU time limit exceeded, terminating
% 64.17/63.72 eprover: CPU time limit exceeded, terminating
% 66.30/65.73 eprover: CPU time limit exceeded, terminating
% 68.33/67.74 eprover: CPU time limit exceeded, terminating
% 70.36/69.75 eprover: CPU time limit exceeded, terminating
% 72.43/71.76 eprover: CPU time limit exceeded, terminating
% 74.41/73.77 eprover: CPU time limit exceeded, terminating
% 76.53/75.78 eprover: CPU time limit exceeded, terminating
% 78.57/77.80 eprover: CPU time limit exceeded, terminating
% 80.58/79.81 eprover: CPU time limit exceeded, terminating
% 82.57/81.82 eprover: CPU time limit exceeded, terminating
% 84.66/83.83 eprover: CPU time limit exceeded, terminating
% 86.74/85.84 eprover: CPU time limit exceeded, terminating
% 88.72/87.85 eprover: CPU time limit exceeded, terminating
% 90.79/89.86 eprover: CPU time limit exceeded, terminating
% 92.79/91.87 eprover: CPU time limit exceeded, terminating
% 94.83/93.89 eprover: CPU time limit exceeded, terminating
% 96.92/95.90 eprover: CPU time limit exceeded, terminating
% 98.98/97.91 eprover: CPU time limit exceeded, terminating
% 100.98/99.92 eprover: CPU time limit exceeded, terminating
% 103.06/101.93 eprover: CPU time limit exceeded, terminating
% 105.07/103.94 eprover: CPU time limit exceeded, terminating
% 107.13/105.96 eprover: CPU time limit exceeded, terminating
% 109.14/107.97 eprover: CPU time limit exceeded, terminating
% 111.20/109.98 eprover: CPU time limit exceeded, terminating
% 113.29/111.99 eprover: CPU time limit exceeded, terminating
% 115.25/114.00 eprover: CPU time limit exceeded, terminating
% 117.31/116.01 eprover: CPU time limit exceeded, terminating
% 119.30/118.03 eprover: CPU time limit exceeded, terminating
% 121.36/120.04 eprover: CPU time limit exceeded, terminating
% 123.46/122.05 eprover: CPU time limit exceeded, terminating
% 125.52/124.06 eprover: CPU time limit exceeded, terminating
% 127.55/126.07 eprover: CPU time limit exceeded, terminating
% 129.61/128.09 eprover: CPU time limit exceeded, terminating
% 131.59/130.10 eprover: CPU time limit exceeded, terminating
% 133.66/132.11 eprover: CPU time limit exceeded, terminating
% 135.65/134.13 eprover: CPU time limit exceeded, terminating
% 137.73/136.14 eprover: CPU time limit exceeded, terminating
% 139.81/138.22 eprover: CPU time limit exceeded, terminating
% 141.82/140.23 eprover: CPU time limit exceeded, terminating
% 143.90/142.24 eprover: CPU time limit exceeded, terminating
% 145.89/144.26 eprover: CPU time limit exceeded, terminating
% 147.93/146.27 eprover: CPU time limit exceeded, terminating
% 150.02/148.32 eprover: CPU time limit exceeded, terminating
% 152.05/150.52 eprover: CPU time limit exceeded, terminating
% 154.08/152.53 eprover: CPU time limit exceeded, terminating
% 156.15/154.54 eprover: CPU time limit exceeded, terminating
% 158.15/156.55 eprover: CPU time limit exceeded, terminating
% 160.21/158.56 eprover: CPU time limit exceeded, terminating
% 162.20/160.57 eprover: CPU time limit exceeded, terminating
% 164.24/162.59 eprover: CPU time limit exceeded, terminating
% 166.29/164.60 eprover: CPU time limit exceeded, terminating
% 168.39/166.61 eprover: CPU time limit exceeded, terminating
% 170.42/168.62 eprover: CPU time limit exceeded, terminating
% 172.44/170.63 eprover: CPU time limit exceeded, terminating
% 174.47/172.65 eprover: CPU time limit exceeded, terminating
% 176.49/174.66 eprover: CPU time limit exceeded, terminating
% 178.56/176.67 eprover: CPU time limit exceeded, terminating
% 180.56/178.68 eprover: CPU time limit exceeded, terminating
% 182.63/180.69 eprover: CPU time limit exceeded, terminating
% 184.65/182.70 eprover: CPU time limit exceeded, terminating
% 186.61/184.71 eprover: CPU time limit exceeded, terminating
% 188.71/186.72 eprover: CPU time limit exceeded, terminating
% 190.73/188.73 eprover: CPU time limit exceeded, terminating
% 192.75/190.74 eprover: CPU time limit exceeded, terminating
% 194.80/192.75 eprover: CPU time limit exceeded, terminating
% 196.84/194.76 eprover: CPU time limit exceeded, terminating
% 198.84/196.77 eprover: CPU time limit exceeded, terminating
% 200.86/198.78 eprover: CPU time limit exceeded, terminating
% 202.97/200.79 eprover: CPU time limit exceeded, terminating
% 204.90/202.80 eprover: CPU time limit exceeded, terminating
% 207.02/204.81 eprover: CPU time limit exceeded, terminating
% 209.04/206.82 eprover: CPU time limit exceeded, terminating
% 211.09/208.83 eprover: CPU time limit exceeded, terminating
% 213.09/210.84 eprover: CPU time limit exceeded, terminating
% 215.12/212.85 eprover: CPU time limit exceeded, terminating
% 217.14/214.86 eprover: CPU time limit exceeded, terminating
% 219.15/216.87 eprover: CPU time limit exceeded, terminating
% 221.18/218.88 eprover: CPU time limit exceeded, terminating
% 223.21/220.89 eprover: CPU time limit exceeded, terminating
% 225.31/222.91 eprover: CPU time limit exceeded, terminating
% 227.34/224.92 eprover: CPU time limit exceeded, terminating
% 229.35/226.93 eprover: CPU time limit exceeded, terminating
% 231.37/228.94 eprover: CPU time limit exceeded, terminating
% 233.42/230.95 eprover: CPU time limit exceeded, terminating
% 235.43/232.96 eprover: CPU time limit exceeded, terminating
% 237.43/234.97 eprover: CPU time limit exceeded, terminating
% 239.48/236.98 eprover: CPU time limit exceeded, terminating
% 241.51/238.99 eprover: CPU time limit exceeded, terminating
% 243.61/241.00 eprover: CPU time limit exceeded, terminating
% 245.64/243.01 eprover: CPU time limit exceeded, terminating
% 247.66/245.02 eprover: CPU time limit exceeded, terminating
% 249.69/247.03 eprover: CPU time limit exceeded, terminating
% 251.70/249.04 eprover: CPU time limit exceeded, terminating
% 253.72/251.05 eprover: CPU time limit exceeded, terminating
% 255.78/253.06 eprover: CPU time limit exceeded, terminating
% 257.76/255.07 eprover: CPU time limit exceeded, terminating
% 259.87/257.08 eprover: CPU time limit exceeded, terminating
% 261.84/259.09 eprover: CPU time limit exceeded, terminating
% 263.93/261.11 eprover: CPU time limit exceeded, terminating
% 265.95/263.12 eprover: CPU time limit exceeded, terminating
% 267.99/265.13 eprover: CPU time limit exceeded, terminating
% 270.04/267.14 eprover: CPU time limit exceeded, terminating
% 272.02/269.15 eprover: CPU time limit exceeded, terminating
% 274.05/271.16 eprover: CPU time limit exceeded, terminating
% 276.09/273.17 eprover: CPU time limit exceeded, terminating
% 278.16/275.18 eprover: CPU time limit exceeded, terminating
% 280.21/277.19 eprover: CPU time limit exceeded, terminating
% 282.23/279.20 eprover: CPU time limit exceeded, terminating
% 284.28/281.21 eprover: CPU time limit exceeded, terminating
% 286.28/283.23 eprover: CPU time limit exceeded, terminating
% 288.32/285.24 eprover: CPU time limit exceeded, terminating
% 290.34/287.25 eprover: CPU time limit exceeded, terminating
% 292.33/289.26 eprover: CPU time limit exceeded, terminating
% 294.37/291.27 eprover: CPU time limit exceeded, terminating
% 296.47/293.28 eprover: CPU time limit exceeded, terminating
% 298.41/295.29 eprover: CPU time limit exceeded, terminating
% 300.07/296.81 eprover: CPU time limit exceeded, terminating
% 300.07/296.83 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------