صف

هر کاری که چکرها انجام میدن از یه صف میگذره و اینطوری تمام میشه هیچ چیزی اینجا شبیه سازی نشده اینها کارهایی هستن که الان توی جعبه هستن

در حال اجرا

منتظر

0 ms

برای پاک کردن صف

برای محاسبه پارک شده

در حال اجرا

بی‌کار. یک کار ارسال‌شده حالا بلافاصله آغاز می‌شود.

منتظر (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`	∎ تأیید شد	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

صف

در حال اجرا

منتظر (0 اولویت, 0 آزاد)

خط سريع و چيزايي که نيست

تازه تموم شد

چقدر زمان لازمه که هر يک از ناظران اينجا رو چک کنن

به گفتگو بپيونديد

بازخورد بفرستید