%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWC321-1 : TPTP v8.1.0. Released v2.4.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n024.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:45 EDT 2022 % Result : Timeout 286.77s 286.44s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.06/0.12 % Problem : SWC321-1 : TPTP v8.1.0. Released v2.4.0. % 0.06/0.12 % Command : run_infinox %s % 0.12/0.33 % Computer : n024.cluster.edu % 0.12/0.33 % Model : x86_64 x86_64 % 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.12/0.33 % Memory : 8042.1875MB % 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64 % 0.12/0.33 % CPULimit : 300 % 0.12/0.33 % WCLimit : 600 % 0.12/0.33 % DateTime : Sun Jun 12 05:03:04 EDT 2022 % 0.12/0.34 % CPUTime : % 2.27/2.46 eprover: CPU time limit exceeded, terminating % 4.29/4.48 eprover: CPU time limit exceeded, terminating % 6.30/6.49 eprover: CPU time limit exceeded, terminating % 8.28/8.51 eprover: CPU time limit exceeded, terminating % 10.29/10.52 eprover: CPU time limit exceeded, terminating % 12.33/12.54 eprover: CPU time limit exceeded, terminating % 14.34/14.56 eprover: CPU time limit exceeded, terminating % 16.40/16.57 eprover: CPU time limit exceeded, terminating % 18.41/18.58 eprover: CPU time limit exceeded, terminating % 20.39/20.60 eprover: CPU time limit exceeded, terminating % 22.42/22.61 eprover: CPU time limit exceeded, terminating % 24.38/24.62 eprover: CPU time limit exceeded, terminating % 26.41/26.63 eprover: CPU time limit exceeded, terminating % 28.51/28.65 eprover: CPU time limit exceeded, terminating % 30.52/30.66 eprover: CPU time limit exceeded, terminating % 32.52/32.69 eprover: CPU time limit exceeded, terminating % 34.53/34.70 eprover: CPU time limit exceeded, terminating % 36.52/36.72 eprover: CPU time limit exceeded, terminating % 38.52/38.74 eprover: CPU time limit exceeded, terminating % 40.59/40.76 eprover: CPU time limit exceeded, terminating % 42.59/42.78 eprover: CPU time limit exceeded, terminating % 44.63/44.79 eprover: CPU time limit exceeded, terminating % 46.60/46.81 eprover: CPU time limit exceeded, terminating % 48.65/48.82 eprover: CPU time limit exceeded, terminating % 50.69/50.83 eprover: CPU time limit exceeded, terminating % 52.67/52.84 eprover: CPU time limit exceeded, terminating % 54.70/54.85 eprover: CPU time limit exceeded, terminating % 56.72/56.86 eprover: CPU time limit exceeded, terminating % 58.73/58.88 eprover: CPU time limit exceeded, terminating % 60.80/60.89 eprover: CPU time limit exceeded, terminating % 62.81/62.90 eprover: CPU time limit exceeded, terminating % 64.80/64.91 eprover: CPU time limit exceeded, terminating % 66.81/66.92 eprover: CPU time limit exceeded, terminating % 68.81/68.94 eprover: CPU time limit exceeded, terminating % 70.83/70.95 eprover: CPU time limit exceeded, terminating % 72.88/72.96 eprover: CPU time limit exceeded, terminating % 74.87/74.97 eprover: CPU time limit exceeded, terminating % 76.88/76.98 eprover: CPU time limit exceeded, terminating % 78.90/79.00 eprover: CPU time limit exceeded, terminating % 80.92/81.02 eprover: CPU time limit exceeded, terminating % 82.90/83.03 eprover: CPU time limit exceeded, terminating % 84.99/85.05 eprover: CPU time limit exceeded, terminating % 87.01/87.06 eprover: CPU time limit exceeded, terminating % 88.99/89.08 eprover: CPU time limit exceeded, terminating % 91.05/91.10 eprover: CPU time limit exceeded, terminating % 92.97/93.13 eprover: CPU time limit exceeded, terminating % 95.02/95.14 eprover: CPU time limit exceeded, terminating % 97.05/97.16 eprover: CPU time limit exceeded, terminating % 99.12/99.17 eprover: CPU time limit exceeded, terminating % 101.07/101.19 eprover: CPU time limit exceeded, terminating % 103.08/103.22 eprover: CPU time limit exceeded, terminating % 105.15/105.24 eprover: CPU time limit exceeded, terminating % 107.15/107.25 eprover: CPU time limit exceeded, terminating % 109.16/109.26 eprover: CPU time limit exceeded, terminating % 111.17/111.28 eprover: CPU time limit exceeded, terminating % 113.17/113.29 eprover: CPU time limit exceeded, terminating % 115.25/115.30 eprover: CPU time limit exceeded, terminating % 117.25/117.31 eprover: CPU time limit exceeded, terminating % 119.28/119.33 eprover: CPU time limit exceeded, terminating % 121.30/121.34 eprover: CPU time limit exceeded, terminating % 123.28/123.35 eprover: CPU time limit exceeded, terminating % 125.32/125.36 eprover: CPU time limit exceeded, terminating % 127.30/127.38 eprover: CPU time limit exceeded, terminating % 129.37/129.39 eprover: CPU time limit exceeded, terminating % 131.41/131.40 eprover: CPU time limit exceeded, terminating % 133.41/133.42 eprover: CPU time limit exceeded, terminating % 135.43/135.44 eprover: CPU time limit exceeded, terminating % 137.43/137.45 eprover: CPU time limit exceeded, terminating % 139.41/139.46 eprover: CPU time limit exceeded, terminating % 141.41/141.47 eprover: CPU time limit exceeded, terminating % 143.49/143.50 eprover: CPU time limit exceeded, terminating % 145.54/145.51 eprover: CPU time limit exceeded, terminating % 147.54/147.52 eprover: CPU time limit exceeded, terminating % 149.55/149.54 eprover: CPU time limit exceeded, terminating % 151.57/151.55 eprover: CPU time limit exceeded, terminating % 153.55/153.57 eprover: CPU time limit exceeded, terminating % 155.62/155.58 eprover: CPU time limit exceeded, terminating % 157.56/157.59 eprover: CPU time limit exceeded, terminating % 159.64/159.61 eprover: CPU time limit exceeded, terminating % 161.66/161.62 eprover: CPU time limit exceeded, terminating % 163.66/163.64 eprover: CPU time limit exceeded, terminating % 165.67/165.65 eprover: CPU time limit exceeded, terminating % 167.68/167.66 eprover: CPU time limit exceeded, terminating % 169.70/169.68 eprover: CPU time limit exceeded, terminating % 171.70/171.69 eprover: CPU time limit exceeded, terminating % 173.79/173.70 eprover: CPU time limit exceeded, terminating % 175.78/175.71 eprover: CPU time limit exceeded, terminating % 177.79/177.73 eprover: CPU time limit exceeded, terminating % 179.78/179.74 eprover: CPU time limit exceeded, terminating % 181.82/181.75 eprover: CPU time limit exceeded, terminating % 183.81/183.77 eprover: CPU time limit exceeded, terminating % 185.82/185.78 eprover: CPU time limit exceeded, terminating % 187.91/187.79 eprover: CPU time limit exceeded, terminating % 189.93/189.81 eprover: CPU time limit exceeded, terminating % 191.94/191.82 eprover: CPU time limit exceeded, terminating % 193.90/193.83 eprover: CPU time limit exceeded, terminating % 195.97/195.84 eprover: CPU time limit exceeded, terminating % 197.94/197.85 eprover: CPU time limit exceeded, terminating % 199.95/199.87 eprover: CPU time limit exceeded, terminating % 201.97/201.88 eprover: CPU time limit exceeded, terminating % 203.98/203.89 eprover: CPU time limit exceeded, terminating % 206.06/205.91 eprover: CPU time limit exceeded, terminating % 208.09/207.92 eprover: CPU time limit exceeded, terminating % 210.08/209.93 eprover: CPU time limit exceeded, terminating % 212.08/211.95 eprover: CPU time limit exceeded, terminating % 214.10/213.96 eprover: CPU time limit exceeded, terminating % 216.08/215.97 eprover: CPU time limit exceeded, terminating % 218.12/217.99 eprover: CPU time limit exceeded, terminating % 220.21/220.00 eprover: CPU time limit exceeded, terminating % 222.13/222.01 eprover: CPU time limit exceeded, terminating % 224.22/224.02 eprover: CPU time limit exceeded, terminating % 226.23/226.04 eprover: CPU time limit exceeded, terminating % 228.24/228.05 eprover: CPU time limit exceeded, terminating % 230.24/230.06 eprover: CPU time limit exceeded, terminating % 232.23/232.08 eprover: CPU time limit exceeded, terminating % 234.26/234.09 eprover: CPU time limit exceeded, terminating % 236.26/236.10 eprover: CPU time limit exceeded, terminating % 238.37/238.12 eprover: CPU time limit exceeded, terminating % 240.38/240.13 eprover: CPU time limit exceeded, terminating % 242.37/242.14 eprover: CPU time limit exceeded, terminating % 244.37/244.16 eprover: CPU time limit exceeded, terminating % 246.37/246.17 eprover: CPU time limit exceeded, terminating % 248.40/248.19 eprover: CPU time limit exceeded, terminating % 250.47/250.20 eprover: CPU time limit exceeded, terminating % 252.48/252.21 eprover: CPU time limit exceeded, terminating % 254.50/254.23 eprover: CPU time limit exceeded, terminating % 256.52/256.24 eprover: CPU time limit exceeded, terminating % 258.50/258.25 eprover: CPU time limit exceeded, terminating % 260.51/260.27 eprover: CPU time limit exceeded, terminating % 262.54/262.28 eprover: CPU time limit exceeded, terminating % 264.61/264.31 eprover: CPU time limit exceeded, terminating % 266.62/266.32 eprover: CPU time limit exceeded, terminating % 268.63/268.33 eprover: CPU time limit exceeded, terminating % 270.67/270.34 eprover: CPU time limit exceeded, terminating % 272.65/272.36 eprover: CPU time limit exceeded, terminating % 274.65/274.37 eprover: CPU time limit exceeded, terminating % 276.67/276.38 eprover: CPU time limit exceeded, terminating % 278.75/278.39 eprover: CPU time limit exceeded, terminating % 280.75/280.40 eprover: CPU time limit exceeded, terminating % 282.76/282.41 eprover: CPU time limit exceeded, terminating % 284.80/284.43 eprover: CPU time limit exceeded, terminating % 286.77/286.44 eprover: CPU time limit exceeded, terminating % 288.79/288.46 eprover: CPU time limit exceeded, terminating % 290.83/290.51 eprover: CPU time limit exceeded, terminating % 292.85/292.53 eprover: CPU time limit exceeded, terminating % 294.82/294.55 eprover: CPU time limit exceeded, terminating % 296.84/296.57 eprover: CPU time limit exceeded, terminating % 298.80/298.59 eprover: CPU time limit exceeded, terminating % 300.03/299.70 eprover: CPU time limit exceeded, terminating % 300.03/299.73 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------