Coda

Tutto quello che fanno le pedine passa attraverso una coda, e questo è tutto. Niente qui è una simulazione: questi sono i lavori sulla scatola in questo momento.

esecuzione immediata

attesa

0 ms

per cancellare la coda

parcheggiato per calcolare

Esecuzione

Un lavoro presentato inizia subito.

In attesa (0 priorità, 0 Gratis)

Niente che aspetti.

La corsia veloce, e quello che non è

Un lavoro Lean funziona alla volta (Mathlib è affamato di memoria e questa casella è condivisa), quindi quando più persone si sottomettono in una volta, c'è una linea.

Qualsiasi conto che detiene credito prepagato viene servito prima. Questo è l'intero meccanismo; non c'è nessun prodotto separato da acquistare. Una corsa libera non viene mai bloccata, strozzata o degradata da essa (solo superata), e continua a funzionare, in ordine, nella corsia libera.

Il motivo per cui funziona così: le persone che finanziano la macchina stanno pagando per i controlli che tutti gli altri ricevono per niente. Saltare la linea è l'unica cosa che compra, e non compra nient'altro.

Aggiungi credito per saltare la linea Il tuo calcolo

Appena finito

Strumento	Risultato	Ho preso	Per
`python`	eseguito	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`	eseguito	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`	eseguito	23.3 s	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`python`	eseguito	83 ms	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`pari`	eseguito	524 ms	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`pari`	eseguito	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`	∎ verified	9.2 s	un commento
`lean`	∎ verified	15.9 s	un commento
`python`	eseguito	28 ms	un commento
`lean`	respinto	18.9 s	Wrong proof test: 1 + 1 = 3
`lean`	∎ verified	30.1 s	Simple verification test: 1 + 1 = 2
`lean`	∎ verified	8.4 s	A simple proof, hope it works

Quanto tempo ci vuole di solito ogni pedina qui

Misurato dalle ultime 20 serie di questa casella di ogni strumento, non stimato.

Strumento	Tipico
`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

Coda

Esecuzione

In attesa (0 priorità, 0 Gratis)

La corsia veloce, e quello che non è

Appena finito

Quanto tempo ci vuole di solito ogni pedina qui

Unisciti alla conversazione.

Inviaci un feedback