%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWC423-1 : TPTP v8.1.0. Released v2.5.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n028.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:48:15 EDT 2022 % Result : Timeout 286.57s 286.28s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.12 % Problem : SWC423-1 : TPTP v8.1.0. Released v2.5.0. % 0.07/0.13 % Command : run_infinox %s % 0.13/0.34 % Computer : n028.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:26:36 EDT 2022 % 0.13/0.34 % CPUTime : % 2.28/2.47 eprover: CPU time limit exceeded, terminating % 4.27/4.48 eprover: CPU time limit exceeded, terminating % 6.30/6.49 eprover: CPU time limit exceeded, terminating % 8.30/8.50 eprover: CPU time limit exceeded, terminating % 10.28/10.51 eprover: CPU time limit exceeded, terminating % 12.35/12.52 eprover: CPU time limit exceeded, terminating % 14.32/14.53 eprover: CPU time limit exceeded, terminating % 16.35/16.54 eprover: CPU time limit exceeded, terminating % 18.33/18.55 eprover: CPU time limit exceeded, terminating % 20.37/20.57 eprover: CPU time limit exceeded, terminating % 22.40/22.58 eprover: CPU time limit exceeded, terminating % 24.40/24.59 eprover: CPU time limit exceeded, terminating % 26.39/26.61 eprover: CPU time limit exceeded, terminating % 28.49/28.62 eprover: CPU time limit exceeded, terminating % 30.49/30.63 eprover: CPU time limit exceeded, terminating % 32.49/32.65 eprover: CPU time limit exceeded, terminating % 34.47/34.66 eprover: CPU time limit exceeded, terminating % 36.50/36.68 eprover: CPU time limit exceeded, terminating % 38.50/38.69 eprover: CPU time limit exceeded, terminating % 40.56/40.70 eprover: CPU time limit exceeded, terminating % 42.57/42.71 eprover: CPU time limit exceeded, terminating % 44.59/44.72 eprover: CPU time limit exceeded, terminating % 46.57/46.74 eprover: CPU time limit exceeded, terminating % 48.59/48.75 eprover: CPU time limit exceeded, terminating % 50.60/50.76 eprover: CPU time limit exceeded, terminating % 52.60/52.78 eprover: CPU time limit exceeded, terminating % 54.68/54.79 eprover: CPU time limit exceeded, terminating % 56.61/56.80 eprover: CPU time limit exceeded, terminating % 58.71/58.82 eprover: CPU time limit exceeded, terminating % 60.70/60.83 eprover: CPU time limit exceeded, terminating % 62.73/62.85 eprover: CPU time limit exceeded, terminating % 64.70/64.86 eprover: CPU time limit exceeded, terminating % 66.71/66.88 eprover: CPU time limit exceeded, terminating % 68.69/68.89 eprover: CPU time limit exceeded, terminating % 70.81/70.90 eprover: CPU time limit exceeded, terminating % 72.80/72.91 eprover: CPU time limit exceeded, terminating % 74.81/74.92 eprover: CPU time limit exceeded, terminating % 76.83/76.94 eprover: CPU time limit exceeded, terminating % 78.82/78.95 eprover: CPU time limit exceeded, terminating % 80.85/80.96 eprover: CPU time limit exceeded, terminating % 82.83/82.98 eprover: CPU time limit exceeded, terminating % 84.90/85.00 eprover: CPU time limit exceeded, terminating % 86.87/87.01 eprover: CPU time limit exceeded, terminating % 88.94/89.02 eprover: CPU time limit exceeded, terminating % 90.97/91.04 eprover: CPU time limit exceeded, terminating % 92.90/93.07 eprover: CPU time limit exceeded, terminating % 94.98/95.09 eprover: CPU time limit exceeded, terminating % 97.00/97.10 eprover: CPU time limit exceeded, terminating % 99.01/99.12 eprover: CPU time limit exceeded, terminating % 101.00/101.13 eprover: CPU time limit exceeded, terminating % 102.99/103.16 eprover: CPU time limit exceeded, terminating % 105.04/105.17 eprover: CPU time limit exceeded, terminating % 107.08/107.19 eprover: CPU time limit exceeded, terminating % 109.11/109.20 eprover: CPU time limit exceeded, terminating % 111.06/111.21 eprover: CPU time limit exceeded, terminating % 113.07/113.23 eprover: CPU time limit exceeded, terminating % 115.11/115.24 eprover: CPU time limit exceeded, terminating % 117.15/117.25 eprover: CPU time limit exceeded, terminating % 119.17/119.26 eprover: CPU time limit exceeded, terminating % 121.19/121.28 eprover: CPU time limit exceeded, terminating % 123.18/123.29 eprover: CPU time limit exceeded, terminating % 125.19/125.30 eprover: CPU time limit exceeded, terminating % 127.20/127.32 eprover: CPU time limit exceeded, terminating % 129.24/129.34 eprover: CPU time limit exceeded, terminating % 131.26/131.35 eprover: CPU time limit exceeded, terminating % 133.27/133.37 eprover: CPU time limit exceeded, terminating % 135.27/135.39 eprover: CPU time limit exceeded, terminating % 137.30/137.42 eprover: CPU time limit exceeded, terminating % 139.30/139.43 eprover: CPU time limit exceeded, terminating % 141.33/141.44 eprover: CPU time limit exceeded, terminating % 143.36/143.45 eprover: CPU time limit exceeded, terminating % 145.39/145.46 eprover: CPU time limit exceeded, terminating % 147.40/147.48 eprover: CPU time limit exceeded, terminating % 149.40/149.49 eprover: CPU time limit exceeded, terminating % 151.40/151.50 eprover: CPU time limit exceeded, terminating % 153.42/153.51 eprover: CPU time limit exceeded, terminating % 155.47/155.52 eprover: CPU time limit exceeded, terminating % 157.43/157.53 eprover: CPU time limit exceeded, terminating % 159.47/159.54 eprover: CPU time limit exceeded, terminating % 161.51/161.55 eprover: CPU time limit exceeded, terminating % 163.53/163.56 eprover: CPU time limit exceeded, terminating % 165.52/165.57 eprover: CPU time limit exceeded, terminating % 167.56/167.58 eprover: CPU time limit exceeded, terminating % 169.57/169.59 eprover: CPU time limit exceeded, terminating % 171.58/171.61 eprover: CPU time limit exceeded, terminating % 173.59/173.62 eprover: CPU time limit exceeded, terminating % 175.59/175.63 eprover: CPU time limit exceeded, terminating % 177.66/177.64 eprover: CPU time limit exceeded, terminating % 179.66/179.65 eprover: CPU time limit exceeded, terminating % 181.66/181.66 eprover: CPU time limit exceeded, terminating % 183.71/183.67 eprover: CPU time limit exceeded, terminating % 185.72/185.68 eprover: CPU time limit exceeded, terminating % 187.73/187.69 eprover: CPU time limit exceeded, terminating % 189.69/189.70 eprover: CPU time limit exceeded, terminating % 191.73/191.72 eprover: CPU time limit exceeded, terminating % 193.75/193.73 eprover: CPU time limit exceeded, terminating % 195.79/195.74 eprover: CPU time limit exceeded, terminating % 197.83/197.75 eprover: CPU time limit exceeded, terminating % 199.84/199.76 eprover: CPU time limit exceeded, terminating % 201.85/201.77 eprover: CPU time limit exceeded, terminating % 203.86/203.79 eprover: CPU time limit exceeded, terminating % 205.88/205.80 eprover: CPU time limit exceeded, terminating % 207.87/207.81 eprover: CPU time limit exceeded, terminating % 209.86/209.82 eprover: CPU time limit exceeded, terminating % 211.94/211.83 eprover: CPU time limit exceeded, terminating % 213.97/213.85 eprover: CPU time limit exceeded, terminating % 215.95/215.86 eprover: CPU time limit exceeded, terminating % 217.99/217.87 eprover: CPU time limit exceeded, terminating % 219.96/219.88 eprover: CPU time limit exceeded, terminating % 222.01/221.90 eprover: CPU time limit exceeded, terminating % 224.03/223.91 eprover: CPU time limit exceeded, terminating % 226.06/225.92 eprover: CPU time limit exceeded, terminating % 228.03/227.93 eprover: CPU time limit exceeded, terminating % 230.02/229.94 eprover: CPU time limit exceeded, terminating % 232.11/231.95 eprover: CPU time limit exceeded, terminating % 234.13/233.97 eprover: CPU time limit exceeded, terminating % 236.10/235.98 eprover: CPU time limit exceeded, terminating % 238.14/237.99 eprover: CPU time limit exceeded, terminating % 240.12/240.00 eprover: CPU time limit exceeded, terminating % 242.16/242.02 eprover: CPU time limit exceeded, terminating % 244.20/244.03 eprover: CPU time limit exceeded, terminating % 246.24/246.04 eprover: CPU time limit exceeded, terminating % 248.25/248.05 eprover: CPU time limit exceeded, terminating % 250.27/250.07 eprover: CPU time limit exceeded, terminating % 252.28/252.08 eprover: CPU time limit exceeded, terminating % 254.29/254.09 eprover: CPU time limit exceeded, terminating % 256.27/256.10 eprover: CPU time limit exceeded, terminating % 258.31/258.11 eprover: CPU time limit exceeded, terminating % 260.35/260.13 eprover: CPU time limit exceeded, terminating % 262.31/262.14 eprover: CPU time limit exceeded, terminating % 264.35/264.15 eprover: CPU time limit exceeded, terminating % 266.39/266.17 eprover: CPU time limit exceeded, terminating % 268.37/268.18 eprover: CPU time limit exceeded, terminating % 270.45/270.19 eprover: CPU time limit exceeded, terminating % 272.38/272.20 eprover: CPU time limit exceeded, terminating % 274.48/274.21 eprover: CPU time limit exceeded, terminating % 276.49/276.22 eprover: CPU time limit exceeded, terminating % 278.46/278.23 eprover: CPU time limit exceeded, terminating % 280.49/280.24 eprover: CPU time limit exceeded, terminating % 282.48/282.25 eprover: CPU time limit exceeded, terminating % 284.51/284.26 eprover: CPU time limit exceeded, terminating % 286.57/286.28 eprover: CPU time limit exceeded, terminating % 288.52/288.29 eprover: CPU time limit exceeded, terminating % 290.61/290.30 eprover: CPU time limit exceeded, terminating % 292.54/292.31 eprover: CPU time limit exceeded, terminating % 294.63/294.32 eprover: CPU time limit exceeded, terminating % 296.64/296.33 eprover: CPU time limit exceeded, terminating % 298.65/298.34 eprover: CPU time limit exceeded, terminating % 300.05/299.71 eprover: CPU time limit exceeded, terminating % 300.05/299.72 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------