%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM340+1 : TPTP v8.1.0. Released v3.1.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n004.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:10 EDT 2022 % Result : Timeout 287.65s 284.91s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.04/0.13 % Problem : NUM340+1 : TPTP v8.1.0. Released v3.1.0. % 0.13/0.14 % Command : run_infinox %s % 0.15/0.36 % Computer : n004.cluster.edu % 0.15/0.36 % Model : x86_64 x86_64 % 0.15/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.15/0.36 % Memory : 8042.1875MB % 0.15/0.36 % OS : Linux 3.10.0-693.el7.x86_64 % 0.15/0.36 % CPULimit : 300 % 0.15/0.36 % WCLimit : 600 % 0.15/0.36 % DateTime : Tue Jul 5 07:36:38 EDT 2022 % 0.22/0.36 % CPUTime : % 2.37/2.54 eprover: CPU time limit exceeded, terminating % 4.40/4.56 eprover: CPU time limit exceeded, terminating % 6.40/6.57 eprover: CPU time limit exceeded, terminating % 8.43/8.58 eprover: CPU time limit exceeded, terminating % 10.44/10.60 eprover: CPU time limit exceeded, terminating % 12.47/12.61 eprover: CPU time limit exceeded, terminating % 14.46/14.62 eprover: CPU time limit exceeded, terminating % 16.56/16.66 eprover: CPU time limit exceeded, terminating % 18.54/18.67 eprover: CPU time limit exceeded, terminating % 20.58/20.68 eprover: CPU time limit exceeded, terminating % 22.56/22.69 eprover: CPU time limit exceeded, terminating % 24.61/24.71 eprover: CPU time limit exceeded, terminating % 26.66/26.72 eprover: CPU time limit exceeded, terminating % 28.70/28.73 eprover: CPU time limit exceeded, terminating % 30.73/30.75 eprover: CPU time limit exceeded, terminating % 32.75/32.76 eprover: CPU time limit exceeded, terminating % 34.75/34.77 eprover: CPU time limit exceeded, terminating % 36.75/36.79 eprover: CPU time limit exceeded, terminating % 38.77/38.80 eprover: CPU time limit exceeded, terminating % 40.80/40.81 eprover: CPU time limit exceeded, terminating % 42.85/42.83 eprover: CPU time limit exceeded, terminating % 44.88/44.84 eprover: CPU time limit exceeded, terminating % 46.91/46.85 eprover: CPU time limit exceeded, terminating % 48.84/48.87 eprover: CPU time limit exceeded, terminating % 50.93/50.89 eprover: CPU time limit exceeded, terminating % 52.96/52.91 eprover: CPU time limit exceeded, terminating % 54.92/54.92 eprover: CPU time limit exceeded, terminating % 56.97/56.93 eprover: CPU time limit exceeded, terminating % 59.03/58.95 eprover: CPU time limit exceeded, terminating % 61.06/60.97 eprover: CPU time limit exceeded, terminating % 63.03/62.98 eprover: CPU time limit exceeded, terminating % 65.11/65.00 eprover: CPU time limit exceeded, terminating % 67.06/67.01 eprover: CPU time limit exceeded, terminating % 69.16/69.03 eprover: CPU time limit exceeded, terminating % 71.20/71.04 eprover: CPU time limit exceeded, terminating % 73.19/73.06 eprover: CPU time limit exceeded, terminating % 75.22/75.07 eprover: CPU time limit exceeded, terminating % 77.21/77.09 eprover: CPU time limit exceeded, terminating % 79.29/79.11 eprover: CPU time limit exceeded, terminating % 81.31/81.12 eprover: CPU time limit exceeded, terminating % 83.32/83.14 eprover: CPU time limit exceeded, terminating % 85.33/85.15 eprover: CPU time limit exceeded, terminating % 87.34/87.16 eprover: CPU time limit exceeded, terminating % 89.38/89.18 eprover: CPU time limit exceeded, terminating % 91.36/91.19 eprover: CPU time limit exceeded, terminating % 93.41/93.22 eprover: CPU time limit exceeded, terminating % 95.46/95.25 eprover: CPU time limit exceeded, terminating % 97.42/97.27 eprover: CPU time limit exceeded, terminating % 99.48/99.28 eprover: CPU time limit exceeded, terminating % 101.53/101.29 eprover: CPU time limit exceeded, terminating % 103.49/103.30 eprover: CPU time limit exceeded, terminating % 105.52/105.33 eprover: CPU time limit exceeded, terminating % 107.55/107.34 eprover: CPU time limit exceeded, terminating % 109.59/109.36 eprover: CPU time limit exceeded, terminating % 111.57/111.37 eprover: CPU time limit exceeded, terminating % 113.62/113.38 eprover: CPU time limit exceeded, terminating % 115.69/115.40 eprover: CPU time limit exceeded, terminating % 117.65/117.41 eprover: CPU time limit exceeded, terminating % 119.67/119.42 eprover: CPU time limit exceeded, terminating % 121.74/121.44 eprover: CPU time limit exceeded, terminating % 123.78/123.45 eprover: CPU time limit exceeded, terminating % 125.77/125.47 eprover: CPU time limit exceeded, terminating % 127.81/127.48 eprover: CPU time limit exceeded, terminating % 129.86/129.50 eprover: CPU time limit exceeded, terminating % 131.82/131.51 eprover: CPU time limit exceeded, terminating % 133.86/133.52 eprover: CPU time limit exceeded, terminating % 135.90/135.54 eprover: CPU time limit exceeded, terminating % 137.93/137.55 eprover: CPU time limit exceeded, terminating % 139.96/139.56 eprover: CPU time limit exceeded, terminating % 141.99/141.58 eprover: CPU time limit exceeded, terminating % 144.02/143.59 eprover: CPU time limit exceeded, terminating % 145.98/145.61 eprover: CPU time limit exceeded, terminating % 148.04/147.62 eprover: CPU time limit exceeded, terminating % 150.01/149.64 eprover: CPU time limit exceeded, terminating % 152.11/151.65 eprover: CPU time limit exceeded, terminating % 154.14/153.67 eprover: CPU time limit exceeded, terminating % 156.13/155.69 eprover: CPU time limit exceeded, terminating % 158.14/157.70 eprover: CPU time limit exceeded, terminating % 160.16/159.72 eprover: CPU time limit exceeded, terminating % 162.18/161.74 eprover: CPU time limit exceeded, terminating % 164.27/163.76 eprover: CPU time limit exceeded, terminating % 166.26/165.78 eprover: CPU time limit exceeded, terminating % 168.30/167.82 eprover: CPU time limit exceeded, terminating % 170.25/169.85 eprover: CPU time limit exceeded, terminating % 172.33/171.86 eprover: CPU time limit exceeded, terminating % 174.38/173.88 eprover: CPU time limit exceeded, terminating % 176.37/175.89 eprover: CPU time limit exceeded, terminating % 178.39/177.92 eprover: CPU time limit exceeded, terminating % 180.40/179.93 eprover: CPU time limit exceeded, terminating % 182.41/181.95 eprover: CPU time limit exceeded, terminating % 184.48/183.97 eprover: CPU time limit exceeded, terminating % 186.53/185.98 eprover: CPU time limit exceeded, terminating % 188.48/188.00 eprover: CPU time limit exceeded, terminating % 190.50/190.02 eprover: CPU time limit exceeded, terminating % 192.56/192.03 eprover: CPU time limit exceeded, terminating % 194.56/194.05 eprover: CPU time limit exceeded, terminating % 196.60/196.06 eprover: CPU time limit exceeded, terminating % 198.65/198.08 eprover: CPU time limit exceeded, terminating % 200.67/200.10 eprover: CPU time limit exceeded, terminating % 202.68/202.12 eprover: CPU time limit exceeded, terminating % 204.70/204.14 eprover: CPU time limit exceeded, terminating % 206.71/206.15 eprover: CPU time limit exceeded, terminating % 208.74/208.17 eprover: CPU time limit exceeded, terminating % 210.74/210.19 eprover: CPU time limit exceeded, terminating % 212.82/212.20 eprover: CPU time limit exceeded, terminating % 214.84/214.22 eprover: CPU time limit exceeded, terminating % 216.84/216.24 eprover: CPU time limit exceeded, terminating % 218.88/218.26 eprover: CPU time limit exceeded, terminating % 220.92/220.29 eprover: CPU time limit exceeded, terminating % 222.87/222.30 eprover: CPU time limit exceeded, terminating % 224.91/224.31 eprover: CPU time limit exceeded, terminating % 226.98/226.33 eprover: CPU time limit exceeded, terminating % 229.01/228.35 eprover: CPU time limit exceeded, terminating % 231.01/230.36 eprover: CPU time limit exceeded, terminating % 233.07/232.39 eprover: CPU time limit exceeded, terminating % 235.08/234.41 eprover: CPU time limit exceeded, terminating % 237.09/236.43 eprover: CPU time limit exceeded, terminating % 239.13/238.45 eprover: CPU time limit exceeded, terminating % 241.11/240.46 eprover: CPU time limit exceeded, terminating % 243.19/242.48 eprover: CPU time limit exceeded, terminating % 245.19/244.50 eprover: CPU time limit exceeded, terminating % 247.23/246.52 eprover: CPU time limit exceeded, terminating % 249.19/248.55 eprover: CPU time limit exceeded, terminating % 251.25/250.56 eprover: CPU time limit exceeded, terminating % 253.25/252.59 eprover: CPU time limit exceeded, terminating % 255.31/254.65 eprover: CPU time limit exceeded, terminating % 257.32/256.67 eprover: CPU time limit exceeded, terminating % 261.35/258.69 eprover: CPU time limit exceeded, terminating % 263.32/260.71 eprover: CPU time limit exceeded, terminating % 265.35/262.72 eprover: CPU time limit exceeded, terminating % 267.34/264.74 eprover: CPU time limit exceeded, terminating % 269.43/266.76 eprover: CPU time limit exceeded, terminating % 271.40/268.77 eprover: CPU time limit exceeded, terminating % 273.43/270.79 eprover: CPU time limit exceeded, terminating % 275.47/272.81 eprover: CPU time limit exceeded, terminating % 277.52/274.82 eprover: CPU time limit exceeded, terminating % 279.50/276.84 eprover: CPU time limit exceeded, terminating % 281.52/278.86 eprover: CPU time limit exceeded, terminating % 283.54/280.88 eprover: CPU time limit exceeded, terminating % 285.59/282.90 eprover: CPU time limit exceeded, terminating % 287.65/284.91 eprover: CPU time limit exceeded, terminating % 289.64/286.93 eprover: CPU time limit exceeded, terminating % 291.64/288.96 eprover: CPU time limit exceeded, terminating % 293.68/290.98 eprover: CPU time limit exceeded, terminating % 295.66/293.00 eprover: CPU time limit exceeded, terminating % 297.71/295.02 eprover: CPU time limit exceeded, terminating % 299.75/297.04 eprover: CPU time limit exceeded, terminating % 300.07/297.33 eprover: CPU time limit exceeded, terminating % 300.07/297.36 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------