%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM328+1 : TPTP v8.1.0. Released v3.1.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n011.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:36:07 EDT 2022 % Result : Timeout 287.42s 286.27s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.13 % Problem : NUM328+1 : TPTP v8.1.0. Released v3.1.0. % 0.07/0.14 % Command : run_infinox %s % 0.14/0.36 % Computer : n011.cluster.edu % 0.14/0.36 % Model : x86_64 x86_64 % 0.14/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.14/0.36 % Memory : 8042.1875MB % 0.14/0.36 % OS : Linux 3.10.0-693.el7.x86_64 % 0.14/0.36 % CPULimit : 300 % 0.14/0.36 % WCLimit : 600 % 0.14/0.36 % DateTime : Wed Jul 6 02:39:07 EDT 2022 % 0.14/0.36 % CPUTime : % 2.33/2.55 eprover: CPU time limit exceeded, terminating % 4.36/4.57 eprover: CPU time limit exceeded, terminating % 6.35/6.58 eprover: CPU time limit exceeded, terminating % 8.42/8.59 eprover: CPU time limit exceeded, terminating % 10.43/10.60 eprover: CPU time limit exceeded, terminating % 12.43/12.61 eprover: CPU time limit exceeded, terminating % 14.50/14.63 eprover: CPU time limit exceeded, terminating % 16.48/16.66 eprover: CPU time limit exceeded, terminating % 18.47/18.67 eprover: CPU time limit exceeded, terminating % 20.50/20.68 eprover: CPU time limit exceeded, terminating % 22.50/22.69 eprover: CPU time limit exceeded, terminating % 24.61/24.70 eprover: CPU time limit exceeded, terminating % 26.55/26.71 eprover: CPU time limit exceeded, terminating % 28.63/28.72 eprover: CPU time limit exceeded, terminating % 30.64/30.73 eprover: CPU time limit exceeded, terminating % 32.66/32.75 eprover: CPU time limit exceeded, terminating % 34.65/34.76 eprover: CPU time limit exceeded, terminating % 36.75/36.77 eprover: CPU time limit exceeded, terminating % 38.69/38.78 eprover: CPU time limit exceeded, terminating % 40.72/40.79 eprover: CPU time limit exceeded, terminating % 42.82/42.81 eprover: CPU time limit exceeded, terminating % 44.79/44.82 eprover: CPU time limit exceeded, terminating % 46.82/46.83 eprover: CPU time limit exceeded, terminating % 48.84/48.84 eprover: CPU time limit exceeded, terminating % 50.80/50.86 eprover: CPU time limit exceeded, terminating % 52.83/52.87 eprover: CPU time limit exceeded, terminating % 54.88/54.88 eprover: CPU time limit exceeded, terminating % 56.85/56.89 eprover: CPU time limit exceeded, terminating % 58.93/58.91 eprover: CPU time limit exceeded, terminating % 60.94/60.92 eprover: CPU time limit exceeded, terminating % 63.00/62.93 eprover: CPU time limit exceeded, terminating % 65.02/64.94 eprover: CPU time limit exceeded, terminating % 67.03/66.96 eprover: CPU time limit exceeded, terminating % 69.05/68.97 eprover: CPU time limit exceeded, terminating % 71.09/70.98 eprover: CPU time limit exceeded, terminating % 73.06/72.99 eprover: CPU time limit exceeded, terminating % 75.10/75.00 eprover: CPU time limit exceeded, terminating % 77.07/77.02 eprover: CPU time limit exceeded, terminating % 79.12/79.03 eprover: CPU time limit exceeded, terminating % 81.18/81.04 eprover: CPU time limit exceeded, terminating % 83.22/83.05 eprover: CPU time limit exceeded, terminating % 85.27/85.07 eprover: CPU time limit exceeded, terminating % 87.24/87.08 eprover: CPU time limit exceeded, terminating % 89.26/89.09 eprover: CPU time limit exceeded, terminating % 91.33/91.10 eprover: CPU time limit exceeded, terminating % 93.33/93.12 eprover: CPU time limit exceeded, terminating % 95.34/95.13 eprover: CPU time limit exceeded, terminating % 97.39/97.14 eprover: CPU time limit exceeded, terminating % 99.39/99.15 eprover: CPU time limit exceeded, terminating % 101.44/101.17 eprover: CPU time limit exceeded, terminating % 103.39/103.18 eprover: CPU time limit exceeded, terminating % 105.50/105.19 eprover: CPU time limit exceeded, terminating % 107.50/107.20 eprover: CPU time limit exceeded, terminating % 109.53/109.21 eprover: CPU time limit exceeded, terminating % 111.55/111.23 eprover: CPU time limit exceeded, terminating % 113.53/113.24 eprover: CPU time limit exceeded, terminating % 115.56/115.25 eprover: CPU time limit exceeded, terminating % 117.54/117.26 eprover: CPU time limit exceeded, terminating % 119.55/119.28 eprover: CPU time limit exceeded, terminating % 121.57/121.29 eprover: CPU time limit exceeded, terminating % 123.67/123.30 eprover: CPU time limit exceeded, terminating % 125.68/125.31 eprover: CPU time limit exceeded, terminating % 127.68/127.32 eprover: CPU time limit exceeded, terminating % 129.74/129.34 eprover: CPU time limit exceeded, terminating % 131.72/131.35 eprover: CPU time limit exceeded, terminating % 133.71/133.36 eprover: CPU time limit exceeded, terminating % 135.74/135.38 eprover: CPU time limit exceeded, terminating % 137.81/137.39 eprover: CPU time limit exceeded, terminating % 139.77/139.40 eprover: CPU time limit exceeded, terminating % 141.88/141.41 eprover: CPU time limit exceeded, terminating % 143.87/143.43 eprover: CPU time limit exceeded, terminating % 145.88/145.44 eprover: CPU time limit exceeded, terminating % 147.89/147.45 eprover: CPU time limit exceeded, terminating % 149.89/149.47 eprover: CPU time limit exceeded, terminating % 151.99/151.48 eprover: CPU time limit exceeded, terminating % 153.92/153.49 eprover: CPU time limit exceeded, terminating % 155.94/155.50 eprover: CPU time limit exceeded, terminating % 158.05/157.51 eprover: CPU time limit exceeded, terminating % 160.04/159.53 eprover: CPU time limit exceeded, terminating % 162.07/161.54 eprover: CPU time limit exceeded, terminating % 164.10/163.55 eprover: CPU time limit exceeded, terminating % 166.07/165.56 eprover: CPU time limit exceeded, terminating % 168.09/167.58 eprover: CPU time limit exceeded, terminating % 170.12/169.59 eprover: CPU time limit exceeded, terminating % 172.13/171.60 eprover: CPU time limit exceeded, terminating % 174.22/173.61 eprover: CPU time limit exceeded, terminating % 176.24/175.62 eprover: CPU time limit exceeded, terminating % 178.27/177.64 eprover: CPU time limit exceeded, terminating % 180.25/179.65 eprover: CPU time limit exceeded, terminating % 182.27/181.66 eprover: CPU time limit exceeded, terminating % 184.30/183.67 eprover: CPU time limit exceeded, terminating % 186.29/185.68 eprover: CPU time limit exceeded, terminating % 188.39/187.69 eprover: CPU time limit exceeded, terminating % 190.40/189.71 eprover: CPU time limit exceeded, terminating % 192.43/191.72 eprover: CPU time limit exceeded, terminating % 194.45/193.73 eprover: CPU time limit exceeded, terminating % 196.46/195.74 eprover: CPU time limit exceeded, terminating % 198.46/197.75 eprover: CPU time limit exceeded, terminating % 200.48/199.77 eprover: CPU time limit exceeded, terminating % 202.48/201.78 eprover: CPU time limit exceeded, terminating % 204.57/203.79 eprover: CPU time limit exceeded, terminating % 206.60/205.80 eprover: CPU time limit exceeded, terminating % 208.52/207.81 eprover: CPU time limit exceeded, terminating % 210.62/209.82 eprover: CPU time limit exceeded, terminating % 212.63/211.84 eprover: CPU time limit exceeded, terminating % 214.63/213.85 eprover: CPU time limit exceeded, terminating % 216.63/215.86 eprover: CPU time limit exceeded, terminating % 218.67/217.88 eprover: CPU time limit exceeded, terminating % 220.68/219.89 eprover: CPU time limit exceeded, terminating % 222.76/221.90 eprover: CPU time limit exceeded, terminating % 224.79/223.91 eprover: CPU time limit exceeded, terminating % 226.79/225.92 eprover: CPU time limit exceeded, terminating % 228.81/227.93 eprover: CPU time limit exceeded, terminating % 230.84/229.95 eprover: CPU time limit exceeded, terminating % 232.82/231.96 eprover: CPU time limit exceeded, terminating % 234.83/233.97 eprover: CPU time limit exceeded, terminating % 236.87/235.98 eprover: CPU time limit exceeded, terminating % 238.87/237.99 eprover: CPU time limit exceeded, terminating % 240.95/240.00 eprover: CPU time limit exceeded, terminating % 242.98/242.01 eprover: CPU time limit exceeded, terminating % 245.01/244.02 eprover: CPU time limit exceeded, terminating % 246.98/246.03 eprover: CPU time limit exceeded, terminating % 249.01/248.04 eprover: CPU time limit exceeded, terminating % 251.03/250.06 eprover: CPU time limit exceeded, terminating % 253.01/252.07 eprover: CPU time limit exceeded, terminating % 255.05/254.08 eprover: CPU time limit exceeded, terminating % 257.05/256.09 eprover: CPU time limit exceeded, terminating % 259.15/258.11 eprover: CPU time limit exceeded, terminating % 261.16/260.12 eprover: CPU time limit exceeded, terminating % 263.19/262.13 eprover: CPU time limit exceeded, terminating % 265.20/264.14 eprover: CPU time limit exceeded, terminating % 267.18/266.15 eprover: CPU time limit exceeded, terminating % 269.20/268.16 eprover: CPU time limit exceeded, terminating % 271.23/270.18 eprover: CPU time limit exceeded, terminating % 273.26/272.19 eprover: CPU time limit exceeded, terminating % 275.33/274.20 eprover: CPU time limit exceeded, terminating % 277.27/276.21 eprover: CPU time limit exceeded, terminating % 279.36/278.22 eprover: CPU time limit exceeded, terminating % 281.37/280.23 eprover: CPU time limit exceeded, terminating % 283.39/282.24 eprover: CPU time limit exceeded, terminating % 285.37/284.25 eprover: CPU time limit exceeded, terminating % 287.42/286.27 eprover: CPU time limit exceeded, terminating % 289.49/288.28 eprover: CPU time limit exceeded, terminating % 291.42/290.29 eprover: CPU time limit exceeded, terminating % 293.53/292.31 eprover: CPU time limit exceeded, terminating % 295.52/294.32 eprover: CPU time limit exceeded, terminating % 297.57/296.33 eprover: CPU time limit exceeded, terminating % 299.55/298.34 eprover: CPU time limit exceeded, terminating % 300.02/298.74 eprover: CPU time limit exceeded, terminating % 300.02/298.76 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------