Fronta
Všechno, co dáma dělá, prochází jednou frontou a tohle je ono.Nic tady není simulace: tohle jsou teď práce na krabici.
Běh
Práce, která je předložena, začíná okamžitě.
Čekám (0 priorita, 0 bez)
Nic nečeká.
Rychlá cesta, a co to není
Jedna lean práce běží najednou (Mathlib je paměť-hladový a tato krabice je sdílena), takže když několik lidí se podvolí najednou, existuje řádek.
Každý účet, který má předplacené kredity, je podáván jako první. To je celý mechanismus; není žádný samostatný produkt k nákupu. Volný běh není nikdy blokován, uškrtit nebo degradován (pouze předjet), a to stále běží, v pořadí, ve volném pruhu.
Důvod, proč to funguje takhle: lidé, kteří ten stroj financují, platí za šeky, které ostatní dostanou zadarmo. Přeskočení linky je jediná věc, která kupuje a nic jiného nekupuje.
Právě jsem skončil.
| Nástroj | Výsledek | Zabrala | Pro |
|---|---|---|---|
python |
běž | 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 |
běž | 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 |
běž | 23.3 s | A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge |
python |
běž | 83 ms | A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge |
pari |
běž | 524 ms | A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge |
pari |
běž | 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 |
? | 9.2 s | komentář |
lean |
? | 15.9 s | komentář |
python |
běž | 28 ms | komentář |
lean |
odmítnuto | 18.9 s | Wrong proof test: 1 + 1 = 3 |
lean |
? | 30.1 s | Simple verification test: 1 + 1 = 2 |
lean |
? | 8.4 s | A simple proof, hope it works |
Jak dlouho tu obvykle každý šachista trvá?
Měřeno z posledních 20 cyklů každého nástroje, ne odhadnuto.
| Nástroj | Typické |
|---|---|
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 |