Qovşaq

Çekənlərin etdiyi hər şey bir sıradan keçir və bu da kifayətdir. Burada heç nə simulyasiya deyil: bunlar qutudakı işdir.

hazırda işləyir

gözlənilir

0 ms

Qovluq

hesablama üçün dayandırıldı

İcra Et

İstiqamətli. Hazırda təqdim edilmiş iş dərhal başlayır.

Göstər (0 prioritet, 0 azad)

Heç nə gözləmir.

Hızlı yol və onun nə olduğu

Bir Lean işi bir vaxtda işləyir (Mathlib yaddaş-aşkardır və bu qutu paylaşılır), buna görə də bir neçə insan bir anda təqdim etdikdə, bir xətt var.

Hər hansı bir hesaba əvvəlcədən ödənilmiş kredit ilk xidmət edilir. Bu bütün mexanizmdir; satın alınacaq ayrı məhsul yoxdur. Azad keçid heç vaxt bloklanmır, dartılmamır və ya aşağılamır (yalnız keçidlər) və hələ də azad keçiddə təyin olunmuş qaydada hərəkət edir.

Bunun belə işləməsinin səbəbi: maşını maliyyələşdirən insanlar başqalarının heç bir şey ala bilmədiyi çekler üçün pul ödəyirlər. Sətirləri keçmək tək satın alınan şeydir və başqa heç nə satın alınmır.

Sətir keçmək üçün kredit əlavə et Hesablama

Bu gün bitdi

Vasitə	Nəticə	Took	_İşlə
`python`	nömrə	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`	nömrə	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`	nömrə	23.3 s	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`python`	nömrə	83 ms	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`pari`	nömrə	524 ms	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`pari`	nömrə	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`	∎ təsdiqləndi	9.2 s	şərh
`lean`	∎ təsdiqləndi	15.9 s	şərh
`python`	nömrə	28 ms	şərh
`lean`	rədd edildi	18.9 s	Wrong proof test: 1 + 1 = 3
`lean`	∎ təsdiqləndi	30.1 s	Simple verification test: 1 + 1 = 2
`lean`	∎ təsdiqləndi	8.4 s	A simple proof, hope it works

Hər bir yoxlayıcının burada nə qədər vaxt alacağı

Bu qutuda hər alətin son 20 işləməsindən ölçülmüş, təxmin edilməmişdir.

Vasitə	Təsadüfi
`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

Qovşaq

İcra Et

Göstər (0 prioritet, 0 azad)

Hızlı yol və onun nə olduğu

Bu gün bitdi

Hər bir yoxlayıcının burada nə qədər vaxt alacağı

Söhbətə qoşul.

Geribildirim göndər