%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWC376-1 : TPTP v8.1.0. Released v2.4.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n008.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:01 EDT 2022 % Result : Timeout 286.44s 286.26s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.12 % Problem : SWC376-1 : TPTP v8.1.0. Released v2.4.0. % 0.03/0.12 % Command : run_infinox %s % 0.13/0.33 % Computer : n008.cluster.edu % 0.13/0.33 % Model : x86_64 x86_64 % 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.33 % Memory : 8042.1875MB % 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.33 % CPULimit : 300 % 0.13/0.33 % WCLimit : 600 % 0.13/0.33 % DateTime : Sun Jun 12 21:10:22 EDT 2022 % 0.13/0.33 % CPUTime : % 2.26/2.46 eprover: CPU time limit exceeded, terminating % 4.30/4.49 eprover: CPU time limit exceeded, terminating % 6.24/6.51 eprover: CPU time limit exceeded, terminating % 8.32/8.52 eprover: CPU time limit exceeded, terminating % 10.29/10.53 eprover: CPU time limit exceeded, terminating % 12.33/12.54 eprover: CPU time limit exceeded, terminating % 14.36/14.56 eprover: CPU time limit exceeded, terminating % 16.37/16.58 eprover: CPU time limit exceeded, terminating % 18.36/18.61 eprover: CPU time limit exceeded, terminating % 20.40/20.62 eprover: CPU time limit exceeded, terminating % 22.43/22.64 eprover: CPU time limit exceeded, terminating % 24.42/24.66 eprover: CPU time limit exceeded, terminating % 26.44/26.66 eprover: CPU time limit exceeded, terminating % 28.46/28.68 eprover: CPU time limit exceeded, terminating % 30.48/30.69 eprover: CPU time limit exceeded, terminating % 32.50/32.70 eprover: CPU time limit exceeded, terminating % 34.53/34.72 eprover: CPU time limit exceeded, terminating % 36.53/36.76 eprover: CPU time limit exceeded, terminating % 38.53/38.80 eprover: CPU time limit exceeded, terminating % 40.53/40.81 eprover: CPU time limit exceeded, terminating % 42.51/42.83 eprover: CPU time limit exceeded, terminating % 44.58/44.84 eprover: CPU time limit exceeded, terminating % 46.62/46.85 eprover: CPU time limit exceeded, terminating % 48.59/48.86 eprover: CPU time limit exceeded, terminating % 50.62/50.88 eprover: CPU time limit exceeded, terminating % 52.64/52.89 eprover: CPU time limit exceeded, terminating % 54.65/54.91 eprover: CPU time limit exceeded, terminating % 56.62/56.92 eprover: CPU time limit exceeded, terminating % 58.70/58.93 eprover: CPU time limit exceeded, terminating % 60.65/60.94 eprover: CPU time limit exceeded, terminating % 62.71/62.96 eprover: CPU time limit exceeded, terminating % 64.71/64.97 eprover: CPU time limit exceeded, terminating % 66.75/66.98 eprover: CPU time limit exceeded, terminating % 68.71/69.02 eprover: CPU time limit exceeded, terminating % 70.76/71.03 eprover: CPU time limit exceeded, terminating % 72.81/73.04 eprover: CPU time limit exceeded, terminating % 74.82/75.05 eprover: CPU time limit exceeded, terminating % 76.84/77.06 eprover: CPU time limit exceeded, terminating % 78.83/79.08 eprover: CPU time limit exceeded, terminating % 80.82/81.10 eprover: CPU time limit exceeded, terminating % 82.87/83.11 eprover: CPU time limit exceeded, terminating % 84.82/85.13 eprover: CPU time limit exceeded, terminating % 86.92/87.14 eprover: CPU time limit exceeded, terminating % 88.94/89.16 eprover: CPU time limit exceeded, terminating % 90.93/91.19 eprover: CPU time limit exceeded, terminating % 92.92/93.22 eprover: CPU time limit exceeded, terminating % 94.93/95.25 eprover: CPU time limit exceeded, terminating % 96.99/97.27 eprover: CPU time limit exceeded, terminating % 98.99/99.29 eprover: CPU time limit exceeded, terminating % 100.98/101.30 eprover: CPU time limit exceeded, terminating % 103.02/103.31 eprover: CPU time limit exceeded, terminating % 104.99/105.33 eprover: CPU time limit exceeded, terminating % 107.08/107.34 eprover: CPU time limit exceeded, terminating % 109.10/109.35 eprover: CPU time limit exceeded, terminating % 111.12/111.36 eprover: CPU time limit exceeded, terminating % 113.13/113.36 eprover: CPU time limit exceeded, terminating % 115.15/115.37 eprover: CPU time limit exceeded, terminating % 117.13/117.38 eprover: CPU time limit exceeded, terminating % 119.14/119.39 eprover: CPU time limit exceeded, terminating % 121.14/121.40 eprover: CPU time limit exceeded, terminating % 123.15/123.41 eprover: CPU time limit exceeded, terminating % 125.18/125.42 eprover: CPU time limit exceeded, terminating % 127.23/127.43 eprover: CPU time limit exceeded, terminating % 129.22/129.44 eprover: CPU time limit exceeded, terminating % 131.27/131.45 eprover: CPU time limit exceeded, terminating % 133.26/133.46 eprover: CPU time limit exceeded, terminating % 135.28/135.47 eprover: CPU time limit exceeded, terminating % 137.30/137.48 eprover: CPU time limit exceeded, terminating % 139.32/139.49 eprover: CPU time limit exceeded, terminating % 141.28/141.50 eprover: CPU time limit exceeded, terminating % 143.30/143.51 eprover: CPU time limit exceeded, terminating % 145.34/145.52 eprover: CPU time limit exceeded, terminating % 147.38/147.53 eprover: CPU time limit exceeded, terminating % 149.40/149.54 eprover: CPU time limit exceeded, terminating % 151.34/151.56 eprover: CPU time limit exceeded, terminating % 153.39/153.57 eprover: CPU time limit exceeded, terminating % 155.39/155.58 eprover: CPU time limit exceeded, terminating % 157.43/157.59 eprover: CPU time limit exceeded, terminating % 159.47/159.60 eprover: CPU time limit exceeded, terminating % 161.48/161.62 eprover: CPU time limit exceeded, terminating % 163.46/163.63 eprover: CPU time limit exceeded, terminating % 165.47/165.64 eprover: CPU time limit exceeded, terminating % 167.50/167.64 eprover: CPU time limit exceeded, terminating % 169.56/169.65 eprover: CPU time limit exceeded, terminating % 171.57/171.67 eprover: CPU time limit exceeded, terminating % 173.55/173.68 eprover: CPU time limit exceeded, terminating % 175.53/175.69 eprover: CPU time limit exceeded, terminating % 177.61/177.70 eprover: CPU time limit exceeded, terminating % 179.60/179.71 eprover: CPU time limit exceeded, terminating % 181.63/181.73 eprover: CPU time limit exceeded, terminating % 183.63/183.74 eprover: CPU time limit exceeded, terminating % 185.61/185.75 eprover: CPU time limit exceeded, terminating % 187.67/187.76 eprover: CPU time limit exceeded, terminating % 189.67/189.77 eprover: CPU time limit exceeded, terminating % 191.71/191.78 eprover: CPU time limit exceeded, terminating % 193.68/193.79 eprover: CPU time limit exceeded, terminating % 195.73/195.80 eprover: CPU time limit exceeded, terminating % 197.77/197.81 eprover: CPU time limit exceeded, terminating % 199.75/199.82 eprover: CPU time limit exceeded, terminating % 201.80/201.83 eprover: CPU time limit exceeded, terminating % 203.76/203.84 eprover: CPU time limit exceeded, terminating % 205.75/205.86 eprover: CPU time limit exceeded, terminating % 207.84/207.87 eprover: CPU time limit exceeded, terminating % 209.80/209.88 eprover: CPU time limit exceeded, terminating % 211.85/211.89 eprover: CPU time limit exceeded, terminating % 213.83/213.90 eprover: CPU time limit exceeded, terminating % 215.91/215.91 eprover: CPU time limit exceeded, terminating % 217.85/217.92 eprover: CPU time limit exceeded, terminating % 219.95/219.93 eprover: CPU time limit exceeded, terminating % 221.92/221.94 eprover: CPU time limit exceeded, terminating % 223.96/223.95 eprover: CPU time limit exceeded, terminating % 225.99/225.96 eprover: CPU time limit exceeded, terminating % 228.03/227.97 eprover: CPU time limit exceeded, terminating % 229.98/229.97 eprover: CPU time limit exceeded, terminating % 232.04/231.98 eprover: CPU time limit exceeded, terminating % 234.00/233.99 eprover: CPU time limit exceeded, terminating % 236.07/236.01 eprover: CPU time limit exceeded, terminating % 238.10/238.02 eprover: CPU time limit exceeded, terminating % 240.09/240.03 eprover: CPU time limit exceeded, terminating % 242.14/242.04 eprover: CPU time limit exceeded, terminating % 244.07/244.05 eprover: CPU time limit exceeded, terminating % 246.13/246.06 eprover: CPU time limit exceeded, terminating % 248.13/248.07 eprover: CPU time limit exceeded, terminating % 250.15/250.08 eprover: CPU time limit exceeded, terminating % 252.13/252.09 eprover: CPU time limit exceeded, terminating % 254.23/254.10 eprover: CPU time limit exceeded, terminating % 256.23/256.11 eprover: CPU time limit exceeded, terminating % 258.25/258.12 eprover: CPU time limit exceeded, terminating % 260.26/260.13 eprover: CPU time limit exceeded, terminating % 262.24/262.14 eprover: CPU time limit exceeded, terminating % 264.24/264.16 eprover: CPU time limit exceeded, terminating % 266.28/266.17 eprover: CPU time limit exceeded, terminating % 268.30/268.18 eprover: CPU time limit exceeded, terminating % 270.30/270.19 eprover: CPU time limit exceeded, terminating % 272.32/272.20 eprover: CPU time limit exceeded, terminating % 274.40/274.21 eprover: CPU time limit exceeded, terminating % 276.42/276.22 eprover: CPU time limit exceeded, terminating % 278.42/278.23 eprover: CPU time limit exceeded, terminating % 280.41/280.23 eprover: CPU time limit exceeded, terminating % 282.42/282.24 eprover: CPU time limit exceeded, terminating % 284.44/284.25 eprover: CPU time limit exceeded, terminating % 286.44/286.26 eprover: CPU time limit exceeded, terminating % 288.45/288.27 eprover: CPU time limit exceeded, terminating % 290.46/290.28 eprover: CPU time limit exceeded, terminating % 292.49/292.29 eprover: CPU time limit exceeded, terminating % 294.55/294.30 eprover: CPU time limit exceeded, terminating % 296.57/296.31 eprover: CPU time limit exceeded, terminating % 298.59/298.32 eprover: CPU time limit exceeded, terminating % 300.01/299.73 eprover: CPU time limit exceeded, terminating % 300.01/299.75 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------