Biðröð

Allt sem skákin gerir fer í gegnum eina biðröð og þetta er það. Ekkert hér er uppgerð: Þetta eru störf á kassanum núna.

keyrir núna

bíða

0 ms

to clear the queue

sett í bið

Keyri

Aðgerðalaus. Verk sem er sent núna hefst strax.

Bíð (0 forgangur, 0 Ókeypis)

Ekkert bíđur.

Hraðbraut, og það sem það er ekki

Ein Lean starf keyrir í einu (Mathlib er minni-svangur og þessi kassi er deilt), þannig að þegar nokkrir menn leggja fram í einu, það er lína.

Allir reikningar sem eru með fyrirframgreitt lán eru fyrstir til að fá þjónustuna. Það er allt kerfið; það er engin sérstök vara til að kaupa. Ókeypis hlaup er aldrei lokað, throttled eða niðurbrot af því (aðeins framhjá) og það er enn í gangi, í röð, í frjálsu brautinni.

Ástæðan fyrir því að það virkar svona er sú að fólkið sem fjármagnar vélina borgar fyrir ávísanirnar sem allir aðrir fá fyrir ekkert.

Bæta við kredit til að sleppa línunni Þín útreikningur

Nũlega lokið

Tól	Niðurstaða	Tók	Fyrir
`python`	rað	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`	rað	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`	rað	23.3 s	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`python`	rað	83 ms	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`pari`	rað	524 ms	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`pari`	rað	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`	∎ staðfest	9.2 s	Skrifa athugasemd
`lean`	∎ staðfest	15.9 s	Skrifa athugasemd
`python`	rað	28 ms	Skrifa athugasemd
`lean`	hafnað	18.9 s	Wrong proof test: 1 + 1 = 3
`lean`	∎ staðfest	30.1 s	Simple verification test: 1 + 1 = 2
`lean`	∎ staðfest	8.4 s	A simple proof, hope it works

Hversu lengi hver skoðun tekur venjulega hér

Mælt frá síðustu 20 keyrslum í þessum kassa af hverju verkfæri, ekki áætlað.

Tól	Dæmigert
`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

Biðröð

Keyri

Bíð (0 forgangur, 0 Ókeypis)

Hraðbraut, og það sem það er ekki

Nũlega lokið

Hversu lengi hver skoðun tekur venjulega hér

Taka þátt í samtalinu.

Sendu okkur athugasemdir