%------------------------------------------------------------------------------ % 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) %------------------------------------------------------------------------------