%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWC363+1 : TPTP v8.1.0. Released v2.4.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n019.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 20:47:57 EDT 2022 % Result : Timeout 286.81s 286.29s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.12 % Problem : SWC363+1 : TPTP v8.1.0. Released v2.4.0. % 0.03/0.13 % Command : run_infinox %s % 0.13/0.34 % Computer : n019.cluster.edu % 0.13/0.34 % Model : x86_64 x86_64 % 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.34 % Memory : 8042.1875MB % 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.34 % CPULimit : 300 % 0.13/0.34 % WCLimit : 600 % 0.13/0.34 % DateTime : Sun Jun 12 18:01:25 EDT 2022 % 0.13/0.34 % CPUTime : % 2.26/2.50 eprover: CPU time limit exceeded, terminating % 4.31/4.51 eprover: CPU time limit exceeded, terminating % 6.32/6.52 eprover: CPU time limit exceeded, terminating % 8.34/8.53 eprover: CPU time limit exceeded, terminating % 10.38/10.55 eprover: CPU time limit exceeded, terminating % 12.40/12.56 eprover: CPU time limit exceeded, terminating % 14.41/14.57 eprover: CPU time limit exceeded, terminating % 16.43/16.59 eprover: CPU time limit exceeded, terminating % 18.46/18.60 eprover: CPU time limit exceeded, terminating % 20.43/20.61 eprover: CPU time limit exceeded, terminating % 22.43/22.62 eprover: CPU time limit exceeded, terminating % 24.47/24.64 eprover: CPU time limit exceeded, terminating % 26.51/26.65 eprover: CPU time limit exceeded, terminating % 28.51/28.66 eprover: CPU time limit exceeded, terminating % 30.55/30.67 eprover: CPU time limit exceeded, terminating % 32.55/32.69 eprover: CPU time limit exceeded, terminating % 34.58/34.70 eprover: CPU time limit exceeded, terminating % 36.57/36.71 eprover: CPU time limit exceeded, terminating % 38.62/38.72 eprover: CPU time limit exceeded, terminating % 40.59/40.74 eprover: CPU time limit exceeded, terminating % 42.66/42.75 eprover: CPU time limit exceeded, terminating % 44.67/44.76 eprover: CPU time limit exceeded, terminating % 46.71/46.78 eprover: CPU time limit exceeded, terminating % 48.72/48.79 eprover: CPU time limit exceeded, terminating % 50.74/50.80 eprover: CPU time limit exceeded, terminating % 52.73/52.82 eprover: CPU time limit exceeded, terminating % 54.73/54.83 eprover: CPU time limit exceeded, terminating % 56.78/56.84 eprover: CPU time limit exceeded, terminating % 58.81/58.85 eprover: CPU time limit exceeded, terminating % 60.82/60.87 eprover: CPU time limit exceeded, terminating % 62.85/62.88 eprover: CPU time limit exceeded, terminating % 64.82/64.89 eprover: CPU time limit exceeded, terminating % 66.87/66.90 eprover: CPU time limit exceeded, terminating % 68.88/68.92 eprover: CPU time limit exceeded, terminating % 70.90/70.93 eprover: CPU time limit exceeded, terminating % 72.93/72.94 eprover: CPU time limit exceeded, terminating % 74.90/74.95 eprover: CPU time limit exceeded, terminating % 76.98/76.97 eprover: CPU time limit exceeded, terminating % 78.98/78.98 eprover: CPU time limit exceeded, terminating % 81.00/80.99 eprover: CPU time limit exceeded, terminating % 83.00/83.01 eprover: CPU time limit exceeded, terminating % 85.01/85.02 eprover: CPU time limit exceeded, terminating % 87.06/87.03 eprover: CPU time limit exceeded, terminating % 89.04/89.04 eprover: CPU time limit exceeded, terminating % 91.09/91.06 eprover: CPU time limit exceeded, terminating % 93.11/93.07 eprover: CPU time limit exceeded, terminating % 95.11/95.08 eprover: CPU time limit exceeded, terminating % 97.16/97.09 eprover: CPU time limit exceeded, terminating % 99.11/99.11 eprover: CPU time limit exceeded, terminating % 101.18/101.12 eprover: CPU time limit exceeded, terminating % 103.21/103.13 eprover: CPU time limit exceeded, terminating % 105.22/105.14 eprover: CPU time limit exceeded, terminating % 107.26/107.16 eprover: CPU time limit exceeded, terminating % 109.21/109.17 eprover: CPU time limit exceeded, terminating % 111.27/111.18 eprover: CPU time limit exceeded, terminating % 113.30/113.19 eprover: CPU time limit exceeded, terminating % 115.33/115.21 eprover: CPU time limit exceeded, terminating % 117.31/117.22 eprover: CPU time limit exceeded, terminating % 119.33/119.23 eprover: CPU time limit exceeded, terminating % 121.37/121.24 eprover: CPU time limit exceeded, terminating % 123.33/123.26 eprover: CPU time limit exceeded, terminating % 125.40/125.27 eprover: CPU time limit exceeded, terminating % 127.38/127.28 eprover: CPU time limit exceeded, terminating % 129.43/129.30 eprover: CPU time limit exceeded, terminating % 131.43/131.31 eprover: CPU time limit exceeded, terminating % 133.44/133.33 eprover: CPU time limit exceeded, terminating % 135.50/135.34 eprover: CPU time limit exceeded, terminating % 137.46/137.36 eprover: CPU time limit exceeded, terminating % 139.53/139.37 eprover: CPU time limit exceeded, terminating % 141.52/141.38 eprover: CPU time limit exceeded, terminating % 143.58/143.41 eprover: CPU time limit exceeded, terminating % 145.55/145.42 eprover: CPU time limit exceeded, terminating % 147.62/147.43 eprover: CPU time limit exceeded, terminating % 149.63/149.45 eprover: CPU time limit exceeded, terminating % 151.58/151.46 eprover: CPU time limit exceeded, terminating % 153.60/153.48 eprover: CPU time limit exceeded, terminating % 155.66/155.49 eprover: CPU time limit exceeded, terminating % 157.69/157.50 eprover: CPU time limit exceeded, terminating % 159.69/159.52 eprover: CPU time limit exceeded, terminating % 161.73/161.53 eprover: CPU time limit exceeded, terminating % 163.68/163.54 eprover: CPU time limit exceeded, terminating % 165.71/165.56 eprover: CPU time limit exceeded, terminating % 167.77/167.57 eprover: CPU time limit exceeded, terminating % 169.80/169.58 eprover: CPU time limit exceeded, terminating % 171.78/171.59 eprover: CPU time limit exceeded, terminating % 173.84/173.60 eprover: CPU time limit exceeded, terminating % 175.87/175.62 eprover: CPU time limit exceeded, terminating % 177.81/177.63 eprover: CPU time limit exceeded, terminating % 179.90/179.64 eprover: CPU time limit exceeded, terminating % 181.83/181.65 eprover: CPU time limit exceeded, terminating % 183.94/183.67 eprover: CPU time limit exceeded, terminating % 185.89/185.68 eprover: CPU time limit exceeded, terminating % 187.91/187.69 eprover: CPU time limit exceeded, terminating % 189.98/189.70 eprover: CPU time limit exceeded, terminating % 191.97/191.72 eprover: CPU time limit exceeded, terminating % 194.02/193.73 eprover: CPU time limit exceeded, terminating % 196.00/195.74 eprover: CPU time limit exceeded, terminating % 198.00/197.76 eprover: CPU time limit exceeded, terminating % 200.03/199.77 eprover: CPU time limit exceeded, terminating % 202.05/201.78 eprover: CPU time limit exceeded, terminating % 204.02/203.79 eprover: CPU time limit exceeded, terminating % 206.14/205.81 eprover: CPU time limit exceeded, terminating % 208.12/207.82 eprover: CPU time limit exceeded, terminating % 210.17/209.83 eprover: CPU time limit exceeded, terminating % 212.15/211.85 eprover: CPU time limit exceeded, terminating % 214.17/213.86 eprover: CPU time limit exceeded, terminating % 216.17/215.87 eprover: CPU time limit exceeded, terminating % 218.25/217.88 eprover: CPU time limit exceeded, terminating % 220.25/219.89 eprover: CPU time limit exceeded, terminating % 222.28/221.91 eprover: CPU time limit exceeded, terminating % 224.30/223.92 eprover: CPU time limit exceeded, terminating % 226.28/225.93 eprover: CPU time limit exceeded, terminating % 228.32/227.94 eprover: CPU time limit exceeded, terminating % 230.29/229.95 eprover: CPU time limit exceeded, terminating % 232.32/231.97 eprover: CPU time limit exceeded, terminating % 234.37/233.98 eprover: CPU time limit exceeded, terminating % 236.31/235.99 eprover: CPU time limit exceeded, terminating % 238.39/238.00 eprover: CPU time limit exceeded, terminating % 240.33/240.01 eprover: CPU time limit exceeded, terminating % 242.43/242.03 eprover: CPU time limit exceeded, terminating % 244.42/244.04 eprover: CPU time limit exceeded, terminating % 246.45/246.05 eprover: CPU time limit exceeded, terminating % 248.41/248.06 eprover: CPU time limit exceeded, terminating % 250.45/250.07 eprover: CPU time limit exceeded, terminating % 252.51/252.08 eprover: CPU time limit exceeded, terminating % 254.46/254.10 eprover: CPU time limit exceeded, terminating % 256.53/256.11 eprover: CPU time limit exceeded, terminating % 258.57/258.12 eprover: CPU time limit exceeded, terminating % 260.58/260.13 eprover: CPU time limit exceeded, terminating % 262.60/262.14 eprover: CPU time limit exceeded, terminating % 264.57/264.16 eprover: CPU time limit exceeded, terminating % 266.59/266.17 eprover: CPU time limit exceeded, terminating % 268.60/268.19 eprover: CPU time limit exceeded, terminating % 270.69/270.20 eprover: CPU time limit exceeded, terminating % 272.71/272.22 eprover: CPU time limit exceeded, terminating % 274.73/274.23 eprover: CPU time limit exceeded, terminating % 276.74/276.24 eprover: CPU time limit exceeded, terminating % 278.70/278.25 eprover: CPU time limit exceeded, terminating % 280.69/280.26 eprover: CPU time limit exceeded, terminating % 282.72/282.27 eprover: CPU time limit exceeded, terminating % 284.73/284.28 eprover: CPU time limit exceeded, terminating % 286.81/286.29 eprover: CPU time limit exceeded, terminating % 288.74/288.30 eprover: CPU time limit exceeded, terminating % 290.78/290.31 eprover: CPU time limit exceeded, terminating % 292.85/292.32 eprover: CPU time limit exceeded, terminating % 294.87/294.33 eprover: CPU time limit exceeded, terminating % 296.85/296.34 eprover: CPU time limit exceeded, terminating % 298.84/298.35 eprover: CPU time limit exceeded, terminating % 300.08/299.52 eprover: CPU time limit exceeded, terminating % 300.08/299.54 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------