%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM371+1 : TPTP v8.1.0. Released v3.1.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n008.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:20 EDT 2022 % Result : Timeout 287.31s 284.14s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.13 % Problem : NUM371+1 : TPTP v8.1.0. Released v3.1.0. % 0.07/0.14 % Command : run_infinox %s % 0.14/0.35 % Computer : n008.cluster.edu % 0.14/0.35 % Model : x86_64 x86_64 % 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.14/0.35 % Memory : 8042.1875MB % 0.14/0.35 % OS : Linux 3.10.0-693.el7.x86_64 % 0.14/0.35 % CPULimit : 300 % 0.14/0.35 % WCLimit : 600 % 0.14/0.35 % DateTime : Thu Jul 7 23:10:08 EDT 2022 % 0.14/0.35 % CPUTime : % 2.35/2.53 eprover: CPU time limit exceeded, terminating % 4.36/4.54 eprover: CPU time limit exceeded, terminating % 6.39/6.55 eprover: CPU time limit exceeded, terminating % 8.41/8.56 eprover: CPU time limit exceeded, terminating % 10.40/10.57 eprover: CPU time limit exceeded, terminating % 12.47/12.58 eprover: CPU time limit exceeded, terminating % 14.43/14.59 eprover: CPU time limit exceeded, terminating % 16.53/16.63 eprover: CPU time limit exceeded, terminating % 18.54/18.64 eprover: CPU time limit exceeded, terminating % 20.57/20.65 eprover: CPU time limit exceeded, terminating % 22.59/22.66 eprover: CPU time limit exceeded, terminating % 24.59/24.67 eprover: CPU time limit exceeded, terminating % 26.64/26.68 eprover: CPU time limit exceeded, terminating % 28.64/28.69 eprover: CPU time limit exceeded, terminating % 30.67/30.71 eprover: CPU time limit exceeded, terminating % 32.70/32.72 eprover: CPU time limit exceeded, terminating % 34.71/34.73 eprover: CPU time limit exceeded, terminating % 36.68/36.74 eprover: CPU time limit exceeded, terminating % 38.77/38.75 eprover: CPU time limit exceeded, terminating % 40.79/40.76 eprover: CPU time limit exceeded, terminating % 42.79/42.77 eprover: CPU time limit exceeded, terminating % 44.82/44.79 eprover: CPU time limit exceeded, terminating % 46.85/46.80 eprover: CPU time limit exceeded, terminating % 48.82/48.81 eprover: CPU time limit exceeded, terminating % 50.85/50.82 eprover: CPU time limit exceeded, terminating % 52.94/52.83 eprover: CPU time limit exceeded, terminating % 54.91/54.84 eprover: CPU time limit exceeded, terminating % 56.98/56.85 eprover: CPU time limit exceeded, terminating % 59.00/58.87 eprover: CPU time limit exceeded, terminating % 61.00/60.88 eprover: CPU time limit exceeded, terminating % 63.04/62.89 eprover: CPU time limit exceeded, terminating % 65.03/64.90 eprover: CPU time limit exceeded, terminating % 67.08/66.91 eprover: CPU time limit exceeded, terminating % 69.13/68.93 eprover: CPU time limit exceeded, terminating % 71.08/70.94 eprover: CPU time limit exceeded, terminating % 73.13/72.95 eprover: CPU time limit exceeded, terminating % 75.10/74.96 eprover: CPU time limit exceeded, terminating % 77.18/76.97 eprover: CPU time limit exceeded, terminating % 79.22/78.98 eprover: CPU time limit exceeded, terminating % 81.21/81.00 eprover: CPU time limit exceeded, terminating % 83.26/83.01 eprover: CPU time limit exceeded, terminating % 85.30/85.02 eprover: CPU time limit exceeded, terminating % 87.29/87.03 eprover: CPU time limit exceeded, terminating % 89.34/89.04 eprover: CPU time limit exceeded, terminating % 91.36/91.05 eprover: CPU time limit exceeded, terminating % 93.36/93.07 eprover: CPU time limit exceeded, terminating % 95.39/95.08 eprover: CPU time limit exceeded, terminating % 97.38/97.09 eprover: CPU time limit exceeded, terminating % 99.42/99.10 eprover: CPU time limit exceeded, terminating % 101.41/101.11 eprover: CPU time limit exceeded, terminating % 103.49/103.12 eprover: CPU time limit exceeded, terminating % 105.51/105.13 eprover: CPU time limit exceeded, terminating % 107.50/107.15 eprover: CPU time limit exceeded, terminating % 109.55/109.16 eprover: CPU time limit exceeded, terminating % 111.60/111.17 eprover: CPU time limit exceeded, terminating % 113.56/113.18 eprover: CPU time limit exceeded, terminating % 115.65/115.19 eprover: CPU time limit exceeded, terminating % 117.58/117.20 eprover: CPU time limit exceeded, terminating % 119.68/119.21 eprover: CPU time limit exceeded, terminating % 121.70/121.22 eprover: CPU time limit exceeded, terminating % 123.70/123.24 eprover: CPU time limit exceeded, terminating % 125.76/125.25 eprover: CPU time limit exceeded, terminating % 127.77/127.26 eprover: CPU time limit exceeded, terminating % 129.77/129.27 eprover: CPU time limit exceeded, terminating % 131.81/131.28 eprover: CPU time limit exceeded, terminating % 133.80/133.30 eprover: CPU time limit exceeded, terminating % 135.84/135.31 eprover: CPU time limit exceeded, terminating % 137.87/137.32 eprover: CPU time limit exceeded, terminating % 139.87/139.33 eprover: CPU time limit exceeded, terminating % 141.90/141.34 eprover: CPU time limit exceeded, terminating % 143.90/143.36 eprover: CPU time limit exceeded, terminating % 145.95/145.37 eprover: CPU time limit exceeded, terminating % 147.98/147.38 eprover: CPU time limit exceeded, terminating % 149.96/149.39 eprover: CPU time limit exceeded, terminating % 152.03/151.40 eprover: CPU time limit exceeded, terminating % 154.03/153.41 eprover: CPU time limit exceeded, terminating % 156.05/155.43 eprover: CPU time limit exceeded, terminating % 158.11/157.44 eprover: CPU time limit exceeded, terminating % 160.09/159.45 eprover: CPU time limit exceeded, terminating % 162.15/161.46 eprover: CPU time limit exceeded, terminating % 164.19/163.47 eprover: CPU time limit exceeded, terminating % 166.18/165.48 eprover: CPU time limit exceeded, terminating % 168.19/167.50 eprover: CPU time limit exceeded, terminating % 170.18/169.51 eprover: CPU time limit exceeded, terminating % 172.23/171.52 eprover: CPU time limit exceeded, terminating % 174.21/173.53 eprover: CPU time limit exceeded, terminating % 176.33/175.54 eprover: CPU time limit exceeded, terminating % 178.34/177.55 eprover: CPU time limit exceeded, terminating % 180.35/179.57 eprover: CPU time limit exceeded, terminating % 182.36/181.58 eprover: CPU time limit exceeded, terminating % 184.34/183.59 eprover: CPU time limit exceeded, terminating % 186.38/185.60 eprover: CPU time limit exceeded, terminating % 188.43/187.61 eprover: CPU time limit exceeded, terminating % 190.41/189.62 eprover: CPU time limit exceeded, terminating % 192.47/191.63 eprover: CPU time limit exceeded, terminating % 194.50/193.64 eprover: CPU time limit exceeded, terminating % 196.53/195.66 eprover: CPU time limit exceeded, terminating % 198.52/197.67 eprover: CPU time limit exceeded, terminating % 200.55/199.68 eprover: CPU time limit exceeded, terminating % 202.55/201.69 eprover: CPU time limit exceeded, terminating % 204.62/203.70 eprover: CPU time limit exceeded, terminating % 206.57/205.71 eprover: CPU time limit exceeded, terminating % 208.64/207.73 eprover: CPU time limit exceeded, terminating % 210.70/209.74 eprover: CPU time limit exceeded, terminating % 212.67/211.75 eprover: CPU time limit exceeded, terminating % 214.75/213.76 eprover: CPU time limit exceeded, terminating % 216.76/215.77 eprover: CPU time limit exceeded, terminating % 218.78/217.78 eprover: CPU time limit exceeded, terminating % 220.76/219.80 eprover: CPU time limit exceeded, terminating % 222.80/221.81 eprover: CPU time limit exceeded, terminating % 224.86/223.82 eprover: CPU time limit exceeded, terminating % 226.80/225.83 eprover: CPU time limit exceeded, terminating % 228.89/227.84 eprover: CPU time limit exceeded, terminating % 230.89/229.85 eprover: CPU time limit exceeded, terminating % 232.86/231.86 eprover: CPU time limit exceeded, terminating % 234.97/233.88 eprover: CPU time limit exceeded, terminating % 236.96/235.89 eprover: CPU time limit exceeded, terminating % 239.01/237.90 eprover: CPU time limit exceeded, terminating % 240.99/239.92 eprover: CPU time limit exceeded, terminating % 244.98/241.93 eprover: CPU time limit exceeded, terminating % 247.04/243.94 eprover: CPU time limit exceeded, terminating % 248.99/245.96 eprover: CPU time limit exceeded, terminating % 251.03/247.96 eprover: CPU time limit exceeded, terminating % 253.04/249.97 eprover: CPU time limit exceeded, terminating % 255.09/251.98 eprover: CPU time limit exceeded, terminating % 257.12/253.99 eprover: CPU time limit exceeded, terminating % 259.13/256.00 eprover: CPU time limit exceeded, terminating % 261.14/258.01 eprover: CPU time limit exceeded, terminating % 263.17/260.02 eprover: CPU time limit exceeded, terminating % 265.17/262.03 eprover: CPU time limit exceeded, terminating % 267.20/264.04 eprover: CPU time limit exceeded, terminating % 269.18/266.05 eprover: CPU time limit exceeded, terminating % 271.23/268.06 eprover: CPU time limit exceeded, terminating % 273.24/270.07 eprover: CPU time limit exceeded, terminating % 275.26/272.08 eprover: CPU time limit exceeded, terminating % 277.32/274.09 eprover: CPU time limit exceeded, terminating % 279.33/276.10 eprover: CPU time limit exceeded, terminating % 281.32/278.11 eprover: CPU time limit exceeded, terminating % 283.37/280.12 eprover: CPU time limit exceeded, terminating % 285.34/282.13 eprover: CPU time limit exceeded, terminating % 287.31/284.14 eprover: CPU time limit exceeded, terminating % 289.36/286.15 eprover: CPU time limit exceeded, terminating % 291.43/288.15 eprover: CPU time limit exceeded, terminating % 293.44/290.16 eprover: CPU time limit exceeded, terminating % 295.47/292.17 eprover: CPU time limit exceeded, terminating % 297.47/294.18 eprover: CPU time limit exceeded, terminating % 299.47/296.19 eprover: CPU time limit exceeded, terminating % 300.03/296.68 eprover: CPU time limit exceeded, terminating % 300.03/296.69 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------