%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWB015+3 : TPTP v8.1.0. Released v5.2.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n023.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 : Tue Jul 19 19:04:35 EDT 2022 % Result : Timeout 286.94s 286.26s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.13 % Problem : SWB015+3 : TPTP v8.1.0. Released v5.2.0. % 0.07/0.14 % Command : run_infinox %s % 0.15/0.35 % Computer : n023.cluster.edu % 0.15/0.35 % Model : x86_64 x86_64 % 0.15/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.15/0.35 % Memory : 8042.1875MB % 0.15/0.35 % OS : Linux 3.10.0-693.el7.x86_64 % 0.15/0.35 % CPULimit : 300 % 0.15/0.35 % WCLimit : 600 % 0.15/0.35 % DateTime : Wed Jun 1 09:34:56 EDT 2022 % 0.15/0.35 % CPUTime : % 2.32/2.51 eprover: CPU time limit exceeded, terminating % 4.34/4.52 eprover: CPU time limit exceeded, terminating % 6.35/6.54 eprover: CPU time limit exceeded, terminating % 8.38/8.55 eprover: CPU time limit exceeded, terminating % 10.37/10.56 eprover: CPU time limit exceeded, terminating % 12.42/12.57 eprover: CPU time limit exceeded, terminating % 14.42/14.59 eprover: CPU time limit exceeded, terminating % 16.44/16.60 eprover: CPU time limit exceeded, terminating % 18.45/18.61 eprover: CPU time limit exceeded, terminating % 20.50/20.63 eprover: CPU time limit exceeded, terminating % 22.53/22.64 eprover: CPU time limit exceeded, terminating % 24.54/24.65 eprover: CPU time limit exceeded, terminating % 26.54/26.66 eprover: CPU time limit exceeded, terminating % 28.54/28.68 eprover: CPU time limit exceeded, terminating % 30.60/30.69 eprover: CPU time limit exceeded, terminating % 32.62/32.70 eprover: CPU time limit exceeded, terminating % 34.61/34.72 eprover: CPU time limit exceeded, terminating % 36.64/36.73 eprover: CPU time limit exceeded, terminating % 38.64/38.74 eprover: CPU time limit exceeded, terminating % 40.67/40.75 eprover: CPU time limit exceeded, terminating % 42.70/42.77 eprover: CPU time limit exceeded, terminating % 44.72/44.78 eprover: CPU time limit exceeded, terminating % 46.72/46.79 eprover: CPU time limit exceeded, terminating % 48.75/48.80 eprover: CPU time limit exceeded, terminating % 50.75/50.82 eprover: CPU time limit exceeded, terminating % 52.82/52.83 eprover: CPU time limit exceeded, terminating % 54.79/54.84 eprover: CPU time limit exceeded, terminating % 56.84/56.85 eprover: CPU time limit exceeded, terminating % 58.87/58.87 eprover: CPU time limit exceeded, terminating % 60.86/60.88 eprover: CPU time limit exceeded, terminating % 62.89/62.89 eprover: CPU time limit exceeded, terminating % 64.94/64.91 eprover: CPU time limit exceeded, terminating % 66.92/66.92 eprover: CPU time limit exceeded, terminating % 68.92/68.93 eprover: CPU time limit exceeded, terminating % 70.97/70.94 eprover: CPU time limit exceeded, terminating % 73.01/72.96 eprover: CPU time limit exceeded, terminating % 75.04/74.97 eprover: CPU time limit exceeded, terminating % 77.06/76.98 eprover: CPU time limit exceeded, terminating % 79.03/79.00 eprover: CPU time limit exceeded, terminating % 81.07/81.01 eprover: CPU time limit exceeded, terminating % 83.12/83.02 eprover: CPU time limit exceeded, terminating % 85.12/85.03 eprover: CPU time limit exceeded, terminating % 87.14/87.05 eprover: CPU time limit exceeded, terminating % 89.17/89.06 eprover: CPU time limit exceeded, terminating % 91.14/91.07 eprover: CPU time limit exceeded, terminating % 93.20/93.09 eprover: CPU time limit exceeded, terminating % 95.23/95.10 eprover: CPU time limit exceeded, terminating % 97.20/97.11 eprover: CPU time limit exceeded, terminating % 99.22/99.12 eprover: CPU time limit exceeded, terminating % 101.30/101.14 eprover: CPU time limit exceeded, terminating % 103.28/103.15 eprover: CPU time limit exceeded, terminating % 105.30/105.16 eprover: CPU time limit exceeded, terminating % 107.33/107.18 eprover: CPU time limit exceeded, terminating % 109.32/109.19 eprover: CPU time limit exceeded, terminating % 111.33/111.20 eprover: CPU time limit exceeded, terminating % 113.40/113.22 eprover: CPU time limit exceeded, terminating % 115.37/115.23 eprover: CPU time limit exceeded, terminating % 117.41/117.24 eprover: CPU time limit exceeded, terminating % 119.41/119.26 eprover: CPU time limit exceeded, terminating % 121.46/121.27 eprover: CPU time limit exceeded, terminating % 123.50/123.28 eprover: CPU time limit exceeded, terminating % 125.52/125.30 eprover: CPU time limit exceeded, terminating % 127.49/127.31 eprover: CPU time limit exceeded, terminating % 129.52/129.32 eprover: CPU time limit exceeded, terminating % 131.54/131.34 eprover: CPU time limit exceeded, terminating % 133.62/133.35 eprover: CPU time limit exceeded, terminating % 135.59/135.36 eprover: CPU time limit exceeded, terminating % 137.61/137.38 eprover: CPU time limit exceeded, terminating % 139.66/139.39 eprover: CPU time limit exceeded, terminating % 141.66/141.41 eprover: CPU time limit exceeded, terminating % 143.71/143.42 eprover: CPU time limit exceeded, terminating % 145.73/145.43 eprover: CPU time limit exceeded, terminating % 147.74/147.45 eprover: CPU time limit exceeded, terminating % 149.71/149.46 eprover: CPU time limit exceeded, terminating % 151.77/151.47 eprover: CPU time limit exceeded, terminating % 153.81/153.48 eprover: CPU time limit exceeded, terminating % 155.84/155.50 eprover: CPU time limit exceeded, terminating % 157.78/157.51 eprover: CPU time limit exceeded, terminating % 159.80/159.52 eprover: CPU time limit exceeded, terminating % 161.88/161.54 eprover: CPU time limit exceeded, terminating % 163.91/163.55 eprover: CPU time limit exceeded, terminating % 165.94/165.57 eprover: CPU time limit exceeded, terminating % 167.95/167.58 eprover: CPU time limit exceeded, terminating % 169.95/169.59 eprover: CPU time limit exceeded, terminating % 171.97/171.61 eprover: CPU time limit exceeded, terminating % 173.98/173.62 eprover: CPU time limit exceeded, terminating % 176.02/175.63 eprover: CPU time limit exceeded, terminating % 177.95/177.64 eprover: CPU time limit exceeded, terminating % 180.00/179.66 eprover: CPU time limit exceeded, terminating % 182.09/181.67 eprover: CPU time limit exceeded, terminating % 184.11/183.68 eprover: CPU time limit exceeded, terminating % 186.13/185.70 eprover: CPU time limit exceeded, terminating % 188.08/187.71 eprover: CPU time limit exceeded, terminating % 190.17/189.72 eprover: CPU time limit exceeded, terminating % 192.13/191.73 eprover: CPU time limit exceeded, terminating % 194.15/193.75 eprover: CPU time limit exceeded, terminating % 196.18/195.76 eprover: CPU time limit exceeded, terminating % 198.15/197.77 eprover: CPU time limit exceeded, terminating % 200.24/199.79 eprover: CPU time limit exceeded, terminating % 202.23/201.80 eprover: CPU time limit exceeded, terminating % 204.24/203.81 eprover: CPU time limit exceeded, terminating % 206.29/205.82 eprover: CPU time limit exceeded, terminating % 208.34/207.83 eprover: CPU time limit exceeded, terminating % 210.36/209.85 eprover: CPU time limit exceeded, terminating % 212.35/211.86 eprover: CPU time limit exceeded, terminating % 214.38/213.86 eprover: CPU time limit exceeded, terminating % 216.38/215.87 eprover: CPU time limit exceeded, terminating % 218.41/217.89 eprover: CPU time limit exceeded, terminating % 220.41/219.90 eprover: CPU time limit exceeded, terminating % 222.44/221.90 eprover: CPU time limit exceeded, terminating % 224.47/223.91 eprover: CPU time limit exceeded, terminating % 226.45/225.92 eprover: CPU time limit exceeded, terminating % 228.47/227.93 eprover: CPU time limit exceeded, terminating % 230.48/229.94 eprover: CPU time limit exceeded, terminating % 232.50/231.95 eprover: CPU time limit exceeded, terminating % 234.53/233.96 eprover: CPU time limit exceeded, terminating % 236.52/235.97 eprover: CPU time limit exceeded, terminating % 238.56/237.98 eprover: CPU time limit exceeded, terminating % 240.57/239.99 eprover: CPU time limit exceeded, terminating % 242.60/242.00 eprover: CPU time limit exceeded, terminating % 244.59/244.01 eprover: CPU time limit exceeded, terminating % 246.54/246.02 eprover: CPU time limit exceeded, terminating % 248.61/248.03 eprover: CPU time limit exceeded, terminating % 250.65/250.04 eprover: CPU time limit exceeded, terminating % 252.64/252.06 eprover: CPU time limit exceeded, terminating % 254.62/254.07 eprover: CPU time limit exceeded, terminating % 256.66/256.08 eprover: CPU time limit exceeded, terminating % 258.73/258.09 eprover: CPU time limit exceeded, terminating % 260.72/260.10 eprover: CPU time limit exceeded, terminating % 262.74/262.11 eprover: CPU time limit exceeded, terminating % 264.76/264.12 eprover: CPU time limit exceeded, terminating % 266.77/266.13 eprover: CPU time limit exceeded, terminating % 268.75/268.15 eprover: CPU time limit exceeded, terminating % 270.78/270.16 eprover: CPU time limit exceeded, terminating % 272.78/272.18 eprover: CPU time limit exceeded, terminating % 274.86/274.19 eprover: CPU time limit exceeded, terminating % 276.80/276.20 eprover: CPU time limit exceeded, terminating % 278.82/278.21 eprover: CPU time limit exceeded, terminating % 280.90/280.22 eprover: CPU time limit exceeded, terminating % 282.94/282.23 eprover: CPU time limit exceeded, terminating % 284.91/284.25 eprover: CPU time limit exceeded, terminating % 286.94/286.26 eprover: CPU time limit exceeded, terminating % 288.91/288.27 eprover: CPU time limit exceeded, terminating % 290.94/290.29 eprover: CPU time limit exceeded, terminating % 293.00/292.30 eprover: CPU time limit exceeded, terminating % 294.95/294.31 eprover: CPU time limit exceeded, terminating % 297.02/296.33 eprover: CPU time limit exceeded, terminating % 299.05/298.34 eprover: CPU time limit exceeded, terminating % 300.08/299.33 eprover: CPU time limit exceeded, terminating % 300.08/299.34 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------