%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM345+1 : TPTP v8.1.0. Released v3.1.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n020.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:12 EDT 2022 % Result : Timeout 287.66s 286.59s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.04/0.13 % Problem : NUM345+1 : TPTP v8.1.0. Released v3.1.0. % 0.04/0.14 % Command : run_infinox %s % 0.13/0.35 % Computer : n020.cluster.edu % 0.13/0.35 % Model : x86_64 x86_64 % 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.35 % Memory : 8042.1875MB % 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.35 % CPULimit : 300 % 0.13/0.35 % WCLimit : 600 % 0.13/0.35 % DateTime : Thu Jul 7 12:43:44 EDT 2022 % 0.13/0.35 % CPUTime : % 2.35/2.53 eprover: CPU time limit exceeded, terminating % 4.39/4.55 eprover: CPU time limit exceeded, terminating % 6.42/6.56 eprover: CPU time limit exceeded, terminating % 8.44/8.57 eprover: CPU time limit exceeded, terminating % 10.44/10.59 eprover: CPU time limit exceeded, terminating % 12.44/12.60 eprover: CPU time limit exceeded, terminating % 14.46/14.61 eprover: CPU time limit exceeded, terminating % 16.53/16.65 eprover: CPU time limit exceeded, terminating % 18.56/18.66 eprover: CPU time limit exceeded, terminating % 20.55/20.67 eprover: CPU time limit exceeded, terminating % 22.58/22.69 eprover: CPU time limit exceeded, terminating % 24.59/24.70 eprover: CPU time limit exceeded, terminating % 26.66/26.71 eprover: CPU time limit exceeded, terminating % 28.68/28.72 eprover: CPU time limit exceeded, terminating % 30.65/30.74 eprover: CPU time limit exceeded, terminating % 32.74/32.75 eprover: CPU time limit exceeded, terminating % 34.73/34.77 eprover: CPU time limit exceeded, terminating % 36.74/36.79 eprover: CPU time limit exceeded, terminating % 38.78/38.80 eprover: CPU time limit exceeded, terminating % 40.82/40.82 eprover: CPU time limit exceeded, terminating % 42.82/42.83 eprover: CPU time limit exceeded, terminating % 44.87/44.84 eprover: CPU time limit exceeded, terminating % 46.86/46.85 eprover: CPU time limit exceeded, terminating % 48.92/48.87 eprover: CPU time limit exceeded, terminating % 50.90/50.88 eprover: CPU time limit exceeded, terminating % 52.92/52.90 eprover: CPU time limit exceeded, terminating % 54.99/54.91 eprover: CPU time limit exceeded, terminating % 57.00/56.92 eprover: CPU time limit exceeded, terminating % 59.00/58.94 eprover: CPU time limit exceeded, terminating % 61.07/60.95 eprover: CPU time limit exceeded, terminating % 63.09/62.96 eprover: CPU time limit exceeded, terminating % 65.12/64.98 eprover: CPU time limit exceeded, terminating % 67.12/66.99 eprover: CPU time limit exceeded, terminating % 69.11/69.00 eprover: CPU time limit exceeded, terminating % 71.18/71.02 eprover: CPU time limit exceeded, terminating % 73.21/73.03 eprover: CPU time limit exceeded, terminating % 75.22/75.04 eprover: CPU time limit exceeded, terminating % 77.24/77.06 eprover: CPU time limit exceeded, terminating % 79.25/79.07 eprover: CPU time limit exceeded, terminating % 81.29/81.09 eprover: CPU time limit exceeded, terminating % 83.27/83.10 eprover: CPU time limit exceeded, terminating % 85.33/85.12 eprover: CPU time limit exceeded, terminating % 87.35/87.13 eprover: CPU time limit exceeded, terminating % 89.36/89.14 eprover: CPU time limit exceeded, terminating % 91.39/91.16 eprover: CPU time limit exceeded, terminating % 93.46/93.17 eprover: CPU time limit exceeded, terminating % 95.46/95.18 eprover: CPU time limit exceeded, terminating % 97.47/97.19 eprover: CPU time limit exceeded, terminating % 99.47/99.20 eprover: CPU time limit exceeded, terminating % 101.47/101.21 eprover: CPU time limit exceeded, terminating % 103.47/103.23 eprover: CPU time limit exceeded, terminating % 105.54/105.24 eprover: CPU time limit exceeded, terminating % 107.59/107.25 eprover: CPU time limit exceeded, terminating % 109.62/109.26 eprover: CPU time limit exceeded, terminating % 111.62/111.27 eprover: CPU time limit exceeded, terminating % 113.67/113.28 eprover: CPU time limit exceeded, terminating % 115.65/115.29 eprover: CPU time limit exceeded, terminating % 117.70/117.31 eprover: CPU time limit exceeded, terminating % 119.66/119.32 eprover: CPU time limit exceeded, terminating % 121.69/121.33 eprover: CPU time limit exceeded, terminating % 123.77/123.34 eprover: CPU time limit exceeded, terminating % 125.78/125.36 eprover: CPU time limit exceeded, terminating % 127.78/127.37 eprover: CPU time limit exceeded, terminating % 129.84/129.38 eprover: CPU time limit exceeded, terminating % 131.83/131.40 eprover: CPU time limit exceeded, terminating % 133.84/133.42 eprover: CPU time limit exceeded, terminating % 135.92/135.43 eprover: CPU time limit exceeded, terminating % 137.94/137.45 eprover: CPU time limit exceeded, terminating % 139.93/139.46 eprover: CPU time limit exceeded, terminating % 141.98/141.48 eprover: CPU time limit exceeded, terminating % 143.97/143.50 eprover: CPU time limit exceeded, terminating % 146.03/145.51 eprover: CPU time limit exceeded, terminating % 147.99/147.53 eprover: CPU time limit exceeded, terminating % 150.02/149.54 eprover: CPU time limit exceeded, terminating % 152.10/151.56 eprover: CPU time limit exceeded, terminating % 154.13/153.58 eprover: CPU time limit exceeded, terminating % 156.12/155.59 eprover: CPU time limit exceeded, terminating % 158.17/157.61 eprover: CPU time limit exceeded, terminating % 160.19/159.62 eprover: CPU time limit exceeded, terminating % 162.20/161.64 eprover: CPU time limit exceeded, terminating % 164.25/163.65 eprover: CPU time limit exceeded, terminating % 166.25/165.67 eprover: CPU time limit exceeded, terminating % 168.25/167.68 eprover: CPU time limit exceeded, terminating % 170.33/169.70 eprover: CPU time limit exceeded, terminating % 172.31/171.71 eprover: CPU time limit exceeded, terminating % 174.34/173.73 eprover: CPU time limit exceeded, terminating % 176.34/175.74 eprover: CPU time limit exceeded, terminating % 178.35/177.76 eprover: CPU time limit exceeded, terminating % 180.38/179.77 eprover: CPU time limit exceeded, terminating % 182.44/181.78 eprover: CPU time limit exceeded, terminating % 184.46/183.80 eprover: CPU time limit exceeded, terminating % 186.43/185.82 eprover: CPU time limit exceeded, terminating % 188.46/187.83 eprover: CPU time limit exceeded, terminating % 190.54/189.85 eprover: CPU time limit exceeded, terminating % 192.58/191.86 eprover: CPU time limit exceeded, terminating % 194.58/193.88 eprover: CPU time limit exceeded, terminating % 196.61/195.89 eprover: CPU time limit exceeded, terminating % 198.61/197.91 eprover: CPU time limit exceeded, terminating % 200.63/199.92 eprover: CPU time limit exceeded, terminating % 202.69/201.94 eprover: CPU time limit exceeded, terminating % 204.72/203.95 eprover: CPU time limit exceeded, terminating % 206.72/205.97 eprover: CPU time limit exceeded, terminating % 208.73/207.99 eprover: CPU time limit exceeded, terminating % 210.76/210.00 eprover: CPU time limit exceeded, terminating % 212.80/212.02 eprover: CPU time limit exceeded, terminating % 214.82/214.03 eprover: CPU time limit exceeded, terminating % 216.86/216.05 eprover: CPU time limit exceeded, terminating % 218.90/218.07 eprover: CPU time limit exceeded, terminating % 220.89/220.08 eprover: CPU time limit exceeded, terminating % 222.90/222.09 eprover: CPU time limit exceeded, terminating % 224.92/224.11 eprover: CPU time limit exceeded, terminating % 227.00/226.13 eprover: CPU time limit exceeded, terminating % 228.96/228.14 eprover: CPU time limit exceeded, terminating % 231.02/230.16 eprover: CPU time limit exceeded, terminating % 233.04/232.17 eprover: CPU time limit exceeded, terminating % 235.08/234.19 eprover: CPU time limit exceeded, terminating % 237.09/236.20 eprover: CPU time limit exceeded, terminating % 239.09/238.22 eprover: CPU time limit exceeded, terminating % 241.14/240.23 eprover: CPU time limit exceeded, terminating % 243.12/242.25 eprover: CPU time limit exceeded, terminating % 245.16/244.27 eprover: CPU time limit exceeded, terminating % 247.21/246.28 eprover: CPU time limit exceeded, terminating % 249.20/248.30 eprover: CPU time limit exceeded, terminating % 251.27/250.31 eprover: CPU time limit exceeded, terminating % 253.24/252.33 eprover: CPU time limit exceeded, terminating % 255.31/254.34 eprover: CPU time limit exceeded, terminating % 257.33/256.36 eprover: CPU time limit exceeded, terminating % 259.33/258.37 eprover: CPU time limit exceeded, terminating % 261.38/260.39 eprover: CPU time limit exceeded, terminating % 263.43/262.40 eprover: CPU time limit exceeded, terminating % 265.41/264.42 eprover: CPU time limit exceeded, terminating % 267.47/266.43 eprover: CPU time limit exceeded, terminating % 269.42/268.45 eprover: CPU time limit exceeded, terminating % 271.52/270.46 eprover: CPU time limit exceeded, terminating % 273.49/272.48 eprover: CPU time limit exceeded, terminating % 275.53/274.50 eprover: CPU time limit exceeded, terminating % 277.52/276.51 eprover: CPU time limit exceeded, terminating % 279.56/278.53 eprover: CPU time limit exceeded, terminating % 281.62/280.55 eprover: CPU time limit exceeded, terminating % 283.68/282.56 eprover: CPU time limit exceeded, terminating % 285.66/284.58 eprover: CPU time limit exceeded, terminating % 287.66/286.59 eprover: CPU time limit exceeded, terminating % 289.74/288.61 eprover: CPU time limit exceeded, terminating % 291.76/290.62 eprover: CPU time limit exceeded, terminating % 293.76/292.64 eprover: CPU time limit exceeded, terminating % 295.75/294.66 eprover: CPU time limit exceeded, terminating % 297.82/296.67 eprover: CPU time limit exceeded, terminating % 299.81/298.69 eprover: CPU time limit exceeded, terminating % 300.04/298.84 eprover: CPU time limit exceeded, terminating % 300.04/298.86 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------