תור
כל מה שהדמקה עושה עובר בתור אחד וזהו זה, שום דבר כאן אינו סימולציה, אלה העבודות על הקופסה כרגע.
0
רץ עכשיו
0
מחכה
0 ms
כדי לפנות את התור
0
חנתה עבור מחשב
רץ
עבודה מוגשת עכשיו מתחילה מיד.
ממתין (0 עדיפות, 0 חופשי)
שום דבר לא מחכה.
הנתיב המהיר, ומה זה לא
עבודה אחת מושעית פועלת בכל פעם (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 |
∎ verified | 9.2 s | הערה |
lean |
∎ verified | 15.9 s | הערה |
python |
רץ | 28 ms | הערה |
lean |
נדחה | 18.9 s | Wrong proof test: 1 + 1 = 3 |
lean |
∎ verified | 30.1 s | Simple verification test: 1 + 1 = 2 |
lean |
∎ verified | 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 |