Kö

Allt som kontrollanterna gör går genom en kö, och det är det. Ingenting här är en simulering: det här är jobben på lådan just nu.

kör nu

väntar

0 ms

för att rensa kön

parkerad för beräkning

Kör

Ett jobb som skickas in börjar nu omedelbart.

Väntar (0 Prioriterad, 0 fri)

Inget väntar.

Den snabba körfältet, och vad det inte är

Ett Lean jobb körs åt gången (Mathlib är minneshungrig och denna ruta delas), så när flera personer skickar in samtidigt, finns det en rad.

Alla konton som har förbetald kredit betjänas först. Det är hela mekanismen; det finns ingen separat produkt att köpa. En fri körning är aldrig blockerad, strypt eller degraderad av det (bara övertaget), och det körs fortfarande, i ordning, i den fria körfältet.

Anledningen till att det fungerar så här: de som finansierar maskinen betalar för checkarna alla andra får för ingenting. Att hoppa över linjen är det enda som köper, och det köper inget annat.

Lägg till kredit för att hoppa över raden Din beräkning

Jag är precis klar.

Verktyg	Resultat	Taggad	För
`python`	kör	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`	kör	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`	kör	23.3 s	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`python`	kör	83 ms	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`pari`	kör	524 ms	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`pari`	kör	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`	på verifierad	9.2 s	en kommentar
`lean`	på verifierad	15.9 s	en kommentar
`python`	kör	28 ms	en kommentar
`lean`	avvisad	18.9 s	Wrong proof test: 1 + 1 = 3
`lean`	på verifierad	30.1 s	Simple verification test: 1 + 1 = 2
`lean`	på verifierad	8.4 s	A simple proof, hope it works

Hur lång tid varje kontroll tar oftast här

Mätt från den här rutans senaste 20 körningar av varje verktyg, inte uppskattat.

Verktyg	Typiskt
`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

Kö

Kör

Väntar (0 Prioriterad, 0 fri)

Den snabba körfältet, och vad det inte är

Jag är precis klar.

Hur lång tid varje kontroll tar oftast här

Följ med och prata.

Skicka feedback