قطار
چيکرز کو جو کر نے کيا جا تا هے وه سب کو يه قيے سے گيا تا هے اور يه هيں یہاں کچھ بھی نما ئندگي هے نهيں هے یہ اب با کس پر کام هے
چل رہا ہے
بے کام. ایک کام اب فوراً شروع ہوتا ہے.
انتظار (0 ترجیح, 0 مفت)
کچھ انتظار.
تیز لین، اور یہ نہیں ہے کیا
ایک وقت میں ایک لیئن کام چلتا ہے (Mathlib یادداشت کی خواہش مند ہے اور یہ باکس مشترک ہے)، اس لئے جب کئی لوگ ایک ساتھ جمع کرتے ہیں، ایک لائن ہوتی ہے.
کوئی بھی اکاؤنٹ جو پراپیڈ کریڈٹ رکھتا ہے وہ پہلے سروس کیا جاتا ہے۔ یہ پورا طریقہ کار ہے، کوئی جدا جدا مصنوعات خریدنے کے لئے نہیں ہے. ایک مفت چلنے کبھی نہیں روکا جاتا ہے، throttled یا اس سے خراب (صرف آگے بڑھ گیا) اور یہ اب بھی چلتا ہے، ترتیب میں، آزاد لین میں.
اس کی وجہ یہ ہے کہ یہ اس طرح کام کرتا ہے: وہ لوگ جو مشین کو فنڈ دیتے ہیں وہ چکوں کی ادائیگی کرتے ہیں جو باقی سب کچھ کے لیے نہیں ملتے۔
صرف ختم
| ٹول | نتيجہ | لے لیا | کے لیے |
|---|---|---|---|
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 |
هر چيکر کيسا وقت گيں
اس باکس سے ہر ٹول کے آخری 20 چلنے سے پیمائش، اندازہ نہیں ہے.
| ٹول | عام |
|---|---|
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 |