Jono

Kaikki, mitä tammet tekevät, menee yhden jonon läpi, ja tämä on tässä. Mikään tässä ei ole simulaatiota: nämä ovat juuri nyt laatikon työt.

nyt juostaan

odottelu

0 ms

jonon tyhjentämiseen

pysäköity laskemaan

Suoritetaan

Työpyyntö alkaa välittömästi.

Odotetaan (0 prioriteetti, 0 vapaa)

Ei mitään odottamassa.

Ohituskaista, ja mitä se ei ole

Yksi Lean-työ kulkee kerrallaan (Mathlib on muistinnälkäinen ja tämä laatikko on jaettu), joten kun useat ihmiset tekevät saman tien, on vuorosana.

Kaikki tilit, joilla on prepaid-luotto, maksetaan ensin. Se on koko mekanismi; ei ole olemassa erillistä tuotetta, jota ostaa. Vapaata juoksua ei koskaan estetä, kaasuteta tai hajoteta (vain ohitetaan), ja se kulkee edelleen, kunnossa, vapaalla kaistalla.

Syynä on, että koneen rahoittajat maksavat kaikki muut ilmaiseksi. Vain viivan ohittaminen on ostosten arvoista, eikä se osta mitään muuta.

Lisää luottoa viivan ylittämiseen Laskelmienne mukaan

Juuri valmis

Työkalu	Tulos	Talletettu	For
`python`	juoksi	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`	juoksi	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`	juoksi	23.3 s	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`python`	juoksi	83 ms	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`pari`	juoksi	524 ms	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`pari`	juoksi	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`	Varmennettu	9.2 s	kommentti
`lean`	Varmennettu	15.9 s	kommentti
`python`	juoksi	28 ms	kommentti
`lean`	Hylättiin	18.9 s	Wrong proof test: 1 + 1 = 3
`lean`	Varmennettu	30.1 s	Simple verification test: 1 + 1 = 2
`lean`	Varmennettu	8.4 s	A simple proof, hope it works

Kuinka kauan kukin tammenpilari yleensä kestää täällä

Mittaus on tehty tämän laatikon 20 viimeisestä kierroksesta, ei arvioitu.

Työkalu	Tyypillistä
`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

Jono

Suoritetaan

Odotetaan (0 prioriteetti, 0 vapaa)

Ohituskaista, ja mitä se ei ole

Juuri valmis

Kuinka kauan kukin tammenpilari yleensä kestää täällä

Liity keskusteluun.

Lähetä palautetta