%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM337+1 : TPTP v8.1.0. Released v3.1.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n013.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:09 EDT 2022 % Result : Timeout 287.55s 286.52s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.08/0.14 % Problem : NUM337+1 : TPTP v8.1.0. Released v3.1.0. % 0.08/0.15 % Command : run_infinox %s % 0.15/0.37 % Computer : n013.cluster.edu % 0.15/0.37 % Model : x86_64 x86_64 % 0.15/0.37 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.15/0.37 % Memory : 8042.1875MB % 0.15/0.37 % OS : Linux 3.10.0-693.el7.x86_64 % 0.15/0.37 % CPULimit : 300 % 0.15/0.37 % WCLimit : 600 % 0.15/0.37 % DateTime : Thu Jul 7 21:33:59 EDT 2022 % 0.15/0.37 % CPUTime : % 2.34/2.59 eprover: CPU time limit exceeded, terminating % 4.39/4.61 eprover: CPU time limit exceeded, terminating % 6.44/6.64 eprover: CPU time limit exceeded, terminating % 8.43/8.66 eprover: CPU time limit exceeded, terminating % 10.49/10.67 eprover: CPU time limit exceeded, terminating % 12.53/12.70 eprover: CPU time limit exceeded, terminating % 14.57/14.71 eprover: CPU time limit exceeded, terminating % 16.54/16.75 eprover: CPU time limit exceeded, terminating % 18.62/18.76 eprover: CPU time limit exceeded, terminating % 20.66/20.77 eprover: CPU time limit exceeded, terminating % 22.63/22.79 eprover: CPU time limit exceeded, terminating % 24.68/24.79 eprover: CPU time limit exceeded, terminating % 26.66/26.80 eprover: CPU time limit exceeded, terminating % 28.72/28.81 eprover: CPU time limit exceeded, terminating % 30.68/30.82 eprover: CPU time limit exceeded, terminating % 32.76/32.84 eprover: CPU time limit exceeded, terminating % 34.77/34.85 eprover: CPU time limit exceeded, terminating % 36.77/36.86 eprover: CPU time limit exceeded, terminating % 38.80/38.88 eprover: CPU time limit exceeded, terminating % 40.81/40.89 eprover: CPU time limit exceeded, terminating % 42.86/42.90 eprover: CPU time limit exceeded, terminating % 44.84/44.91 eprover: CPU time limit exceeded, terminating % 46.88/46.92 eprover: CPU time limit exceeded, terminating % 48.92/48.94 eprover: CPU time limit exceeded, terminating % 50.93/50.95 eprover: CPU time limit exceeded, terminating % 52.97/52.96 eprover: CPU time limit exceeded, terminating % 54.96/54.97 eprover: CPU time limit exceeded, terminating % 57.00/56.98 eprover: CPU time limit exceeded, terminating % 59.00/58.99 eprover: CPU time limit exceeded, terminating % 61.00/61.00 eprover: CPU time limit exceeded, terminating % 63.01/63.02 eprover: CPU time limit exceeded, terminating % 65.04/65.03 eprover: CPU time limit exceeded, terminating % 67.02/67.04 eprover: CPU time limit exceeded, terminating % 69.09/69.05 eprover: CPU time limit exceeded, terminating % 71.11/71.06 eprover: CPU time limit exceeded, terminating % 73.16/73.07 eprover: CPU time limit exceeded, terminating % 75.18/75.09 eprover: CPU time limit exceeded, terminating % 77.18/77.10 eprover: CPU time limit exceeded, terminating % 79.21/79.11 eprover: CPU time limit exceeded, terminating % 81.24/81.12 eprover: CPU time limit exceeded, terminating % 83.24/83.13 eprover: CPU time limit exceeded, terminating % 85.25/85.14 eprover: CPU time limit exceeded, terminating % 87.26/87.16 eprover: CPU time limit exceeded, terminating % 89.27/89.17 eprover: CPU time limit exceeded, terminating % 91.32/91.18 eprover: CPU time limit exceeded, terminating % 93.36/93.19 eprover: CPU time limit exceeded, terminating % 95.37/95.21 eprover: CPU time limit exceeded, terminating % 97.38/97.22 eprover: CPU time limit exceeded, terminating % 99.37/99.23 eprover: CPU time limit exceeded, terminating % 101.41/101.24 eprover: CPU time limit exceeded, terminating % 103.42/103.25 eprover: CPU time limit exceeded, terminating % 105.47/105.26 eprover: CPU time limit exceeded, terminating % 107.49/107.28 eprover: CPU time limit exceeded, terminating % 109.48/109.29 eprover: CPU time limit exceeded, terminating % 111.54/111.30 eprover: CPU time limit exceeded, terminating % 113.49/113.31 eprover: CPU time limit exceeded, terminating % 115.53/115.33 eprover: CPU time limit exceeded, terminating % 117.58/117.34 eprover: CPU time limit exceeded, terminating % 119.63/119.35 eprover: CPU time limit exceeded, terminating % 121.64/121.37 eprover: CPU time limit exceeded, terminating % 123.68/123.38 eprover: CPU time limit exceeded, terminating % 125.67/125.39 eprover: CPU time limit exceeded, terminating % 127.71/127.41 eprover: CPU time limit exceeded, terminating % 129.74/129.42 eprover: CPU time limit exceeded, terminating % 131.69/131.44 eprover: CPU time limit exceeded, terminating % 133.77/133.45 eprover: CPU time limit exceeded, terminating % 135.82/135.47 eprover: CPU time limit exceeded, terminating % 137.79/137.48 eprover: CPU time limit exceeded, terminating % 139.88/139.50 eprover: CPU time limit exceeded, terminating % 141.90/141.51 eprover: CPU time limit exceeded, terminating % 143.92/143.53 eprover: CPU time limit exceeded, terminating % 145.96/145.54 eprover: CPU time limit exceeded, terminating % 147.91/147.56 eprover: CPU time limit exceeded, terminating % 149.96/149.57 eprover: CPU time limit exceeded, terminating % 152.03/151.58 eprover: CPU time limit exceeded, terminating % 154.06/153.60 eprover: CPU time limit exceeded, terminating % 156.07/155.61 eprover: CPU time limit exceeded, terminating % 158.10/157.63 eprover: CPU time limit exceeded, terminating % 160.13/159.64 eprover: CPU time limit exceeded, terminating % 162.12/161.66 eprover: CPU time limit exceeded, terminating % 164.15/163.67 eprover: CPU time limit exceeded, terminating % 166.19/165.69 eprover: CPU time limit exceeded, terminating % 168.17/167.70 eprover: CPU time limit exceeded, terminating % 170.23/169.72 eprover: CPU time limit exceeded, terminating % 172.27/171.73 eprover: CPU time limit exceeded, terminating % 174.31/173.75 eprover: CPU time limit exceeded, terminating % 176.31/175.76 eprover: CPU time limit exceeded, terminating % 178.30/177.78 eprover: CPU time limit exceeded, terminating % 180.36/179.79 eprover: CPU time limit exceeded, terminating % 182.39/181.81 eprover: CPU time limit exceeded, terminating % 184.41/183.82 eprover: CPU time limit exceeded, terminating % 186.42/185.83 eprover: CPU time limit exceeded, terminating % 188.42/187.84 eprover: CPU time limit exceeded, terminating % 190.42/189.85 eprover: CPU time limit exceeded, terminating % 192.46/191.86 eprover: CPU time limit exceeded, terminating % 194.52/193.88 eprover: CPU time limit exceeded, terminating % 196.54/195.89 eprover: CPU time limit exceeded, terminating % 198.52/197.90 eprover: CPU time limit exceeded, terminating % 200.54/199.91 eprover: CPU time limit exceeded, terminating % 202.54/201.93 eprover: CPU time limit exceeded, terminating % 204.65/203.94 eprover: CPU time limit exceeded, terminating % 206.66/205.95 eprover: CPU time limit exceeded, terminating % 208.69/207.96 eprover: CPU time limit exceeded, terminating % 210.69/209.97 eprover: CPU time limit exceeded, terminating % 212.66/211.99 eprover: CPU time limit exceeded, terminating % 214.71/214.00 eprover: CPU time limit exceeded, terminating % 216.78/216.01 eprover: CPU time limit exceeded, terminating % 218.75/218.02 eprover: CPU time limit exceeded, terminating % 220.75/220.03 eprover: CPU time limit exceeded, terminating % 222.83/222.05 eprover: CPU time limit exceeded, terminating % 224.86/224.06 eprover: CPU time limit exceeded, terminating % 226.87/226.07 eprover: CPU time limit exceeded, terminating % 228.87/228.08 eprover: CPU time limit exceeded, terminating % 230.92/230.09 eprover: CPU time limit exceeded, terminating % 232.95/232.10 eprover: CPU time limit exceeded, terminating % 234.98/234.12 eprover: CPU time limit exceeded, terminating % 236.99/236.13 eprover: CPU time limit exceeded, terminating % 238.95/238.14 eprover: CPU time limit exceeded, terminating % 241.02/240.15 eprover: CPU time limit exceeded, terminating % 243.07/242.16 eprover: CPU time limit exceeded, terminating % 245.07/244.18 eprover: CPU time limit exceeded, terminating % 247.08/246.19 eprover: CPU time limit exceeded, terminating % 249.12/248.20 eprover: CPU time limit exceeded, terminating % 251.11/250.21 eprover: CPU time limit exceeded, terminating % 253.15/252.22 eprover: CPU time limit exceeded, terminating % 255.14/254.23 eprover: CPU time limit exceeded, terminating % 257.17/256.24 eprover: CPU time limit exceeded, terminating % 259.21/258.26 eprover: CPU time limit exceeded, terminating % 261.25/260.27 eprover: CPU time limit exceeded, terminating % 263.22/262.30 eprover: CPU time limit exceeded, terminating % 265.28/264.31 eprover: CPU time limit exceeded, terminating % 267.32/266.33 eprover: CPU time limit exceeded, terminating % 269.30/268.36 eprover: CPU time limit exceeded, terminating % 271.35/270.37 eprover: CPU time limit exceeded, terminating % 273.39/272.41 eprover: CPU time limit exceeded, terminating % 275.44/274.43 eprover: CPU time limit exceeded, terminating % 277.44/276.44 eprover: CPU time limit exceeded, terminating % 279.47/278.46 eprover: CPU time limit exceeded, terminating % 281.49/280.47 eprover: CPU time limit exceeded, terminating % 283.46/282.49 eprover: CPU time limit exceeded, terminating % 285.53/284.50 eprover: CPU time limit exceeded, terminating % 287.55/286.52 eprover: CPU time limit exceeded, terminating % 289.55/288.53 eprover: CPU time limit exceeded, terminating % 291.56/290.55 eprover: CPU time limit exceeded, terminating % 293.64/292.57 eprover: CPU time limit exceeded, terminating % 295.64/294.59 eprover: CPU time limit exceeded, terminating % 297.69/296.60 eprover: CPU time limit exceeded, terminating % 299.67/298.62 eprover: CPU time limit exceeded, terminating % 300.12/299.01 eprover: CPU time limit exceeded, terminating % 300.12/299.02 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------