ਕਤਾਰ
ਚੈਕਰ ਜੋ ਵੀ ਕਰ ਰਹੇ ਹਨ, ਉਹ ਇੱਕ ਕਤਾਰ ਰਾਹੀਂ ਜਾਂਦਾ ਹੈ, ਅਤੇ ਇਹੀ ਹੈ । ਇੱਥੇ ਕੁਝ ਵੀ ਸਿਮੂਲੇਸ਼ਨ ਨਹੀਂ ਹੈ: ਇਹ ਬਕਸੇ ਉੱਤੇ ਹੁਣੇ ਜਾਬ ਹਨ ।
ਚੱਲ ਰਿਹਾ ਹੈ
ਖਾਲੀ ਹੈ । ਇੱਕ ਜਾਬ ਹੁਣ ਭੇਜੀ ਗਈ ਹੈ, ਜੋ ਤੁਰੰਤ ਸ਼ੁਰੂ ਹੋ ਜਾਵੇਗੀ ।
ਉਡੀਕ ਜਾਰੀ ਹੈ (0 ਤਰਜੀਹ, 0 ਮੁਕਤ)
ਕੋਈ ਉਡੀਕ ਨਹੀਂ ਹੈ ।
ਤੇਜ਼ ਰੇਲ ਗੱਡੀ ਅਤੇ ਇਹ ਕੀ ਨਹੀਂ ਹੈ
ਇੱਕ ਵਾਰ ਇੱਕ Lean ਕੰਮ ਚੱਲਦਾ ਹੈ (Mathlib ਮੈਮੋਰੀ- ਭੁੱਖਾ ਹੈ ਅਤੇ ਇਹ ਬਕਸਾ ਸਾਂਝਾ ਹੈ), ਇਸ ਲਈ ਜਦੋਂ ਕਈ ਲੋਕ ਇੱਕ ਵਾਰੀ ਭੇਜਦੇ ਹਨ ਤਾਂ ਇੱਕ ਲਾਈਨ ਹੁੰਦੀ ਹੈ ।
ਕੋਈ ਵੀ ਅਕਾਊਂਟ, ਜੋ ਕਿ ਪ੍ਰੀ-ਪੈਡ ਕਰੈਡਿਟ ਰੱਖਦਾ ਹੈ, ਪਹਿਲਾਂ ਸੇਵਾ ਕੀਤੀ ਜਾਂਦੀ ਹੈ। ਇਹ ਪੂਰਾ ਮਕੈਨੀਜ਼ਮ ਹੈ; ਕੋਈ ਵੱਖਰਾ ਉਤਪਾਦ ਖਰੀਦਣ ਲਈ ਨਹੀਂ ਹੈ। ਇੱਕ ਮੁਫ਼ਤ ਰਨ ਕਦੇ ਵੀ ਇਸ ਨਾਲ ਰੋਕਿਆ, ਥ੍ਰੋਟਲਡ ਜਾਂ ਡਿਗਰੇਡ ਨਹੀਂ ਹੁੰਦਾ (ਸਿਰਫ ਪਾਰ ਕੀਤਾ ਜਾਂਦਾ ਹੈ), ਅਤੇ ਇਹ ਅਜੇ ਵੀ ਮੁਫ਼ਤ ਲਾਈਨ ਵਿੱਚ ਆਰਡਰ ਵਿੱਚ ਚੱਲਦਾ ਹੈ।
ਇਹ ਇਸ ਤਰ੍ਹਾਂ ਕੰਮ ਕਰਦਾ ਹੈ ਕਿਉਂਕਿ ਮਸ਼ੀਨ ਨੂੰ ਪੈਸਾ ਦੇਣ ਵਾਲੇ ਲੋਕ ਉਹਨਾਂ ਚੈਕਾਂ ਲਈ ਪੈਸੇ ਦਿੰਦੇ ਹਨ ਜੋ ਹੋਰ ਕਿਸੇ ਨੂੰ ਵੀ ਮੁਫਤ ਨਹੀਂ ਮਿਲਦੇ। ਲਾਈਨ ਛੱਡਣਾ ਇੱਕੋ ਇੱਕ ਚੀਜ਼ ਹੈ ਜੋ ਕਿ ਖਰੀਦਦੀ ਹੈ ਅਤੇ ਇਹ ਹੋਰ ਕੁਝ ਨਹੀਂ ਖਰੀਦਦੀ।
ਹੁਣੇ ਮੁਕੰਮਲ
| ਟੂਲ | ਨਤੀਜਾ | ਲਿਆ | ਫਾਇਲ ਨਾਂ |
|---|---|---|---|
python |
ਰੇਨ | 3.8 s | Au's Conjecture 3.4(a) holds: \sum_N\dim V_N(S_1)\,t^N=\frac{1}{(1-t)^3(1-t^2)^2}-\frac{t^2}{1-t} for the Example II WZ seed |
python |
ਰੇਨ | 1.3 s | Au's Conjecture 3.4(a) holds: \sum_N\dim V_N(S_1)\,t^N=\frac{1}{(1-t)^3(1-t^2)^2}-\frac{t^2}{1-t} for the Example II WZ seed |
python |
ਰੇਨ | 23.3 s | A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge |
python |
ਰੇਨ | 83 ms | A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge |
pari |
ਰੇਨ | 524 ms | A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge |
pari |
ਰੇਨ | 135 ms | \int_0^1\kappa(x)^2[x(1-x)]^{-2/3}\,dx=\frac{5\sqrt3\,\Gamma(1/3)^9}{2^{11/3}\pi^5}, via the CM newform \eta(3\tau)^8 |
lean |
∎ ਜਾਂਚ | 9.2 s | ਟਿੱਪਣੀ |
lean |
∎ ਜਾਂਚ | 15.9 s | ਟਿੱਪਣੀ |
python |
ਰੇਨ | 28 ms | ਟਿੱਪਣੀ |
lean |
ਪਾਬੰਦੀ | 18.9 s | Wrong proof test: 1 + 1 = 3 |
lean |
∎ ਜਾਂਚ | 30.1 s | Simple verification test: 1 + 1 = 2 |
lean |
∎ ਜਾਂਚ | 8.4 s | A simple proof, hope it works |
ਕਿੰਨੀ ਦੇਰ ਹਰੇਕ ਚੈਕਰ ਆਮ ਤੌਰ ਉੱਤੇ ਇੱਥੇ ਲੈਂਦਾ ਹੈ
ਇਸ ਬਕਸੇ ਵਿੱਚ ਹਰੇਕ ਟੂਲ ਦੇ ਆਖਰੀ ੨੦ ਚੱਲਣ ਤੋਂ ਮਾਪਿਆ, ਅਨੁਮਾਨਿਤ ਨਹੀਂ ਹੈ ।
| ਟੂਲ | ਆਮ |
|---|---|
lean | 13.7 s |
sage | 15.0 s |
pari | 329 ms |
smt | 22.5 s |
python | 3.2 s |
oeis | 7.5 s |
plot | 15.0 s |