Eilutė

Viskas, ką tik tikrinantieji daro, eina per vieną eilę, ir tai yra viskas.Niekas čia yra modeliavimas: tai yra darbai ant dėžutės dabar.

veikia dabar

laukiama

0 ms

išvalyti eilę

pastatytas kompliuoti

Vykdoma

Neveiklus darbas prasideda tuoj pat.

Laukiama (0 prioritetas, 0 nėra)

Nieko nelaukti.

Greita juosta, ir tai, kas nėra

Vienas Lean darbas vyksta vienu metu (Mathlib yra atminties-supainioti ir šis langelis yra dalinasi), todėl kai keletas žmonių pateikia vienu metu, yra linija.

Bet kokia sąskaita, laikoma išankstinio mokėjimo kreditu, įteikiama pirma. Tai visas mechanizmas; nėra jokio atskiro produkto pirkti. Laisvas paleisti niekada užblokuotas, suspaustas ar sugedęs (tik perimta), ir jis vis dar veikia, kad, laisvoje juostoje.

Priežastis, kodėl ji veikia taip: žmonės, finansuojantys mašiną, moka už patikrinimus, už kuriuos visi kiti nieko negauna.

Pridėti kreditą eilutės praleisimui Jūsų komitetas

Ką tik baigė

Įrankis	Rezultatas	Dangtieji	For
`python`	nubėgo	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`	nubėgo	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`	nubėgo	23.3 s	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`python`	nubėgo	83 ms	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`pari`	nubėgo	524 ms	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`pari`	nubėgo	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`	patikrinta	9.2 s	komentaras
`lean`	patikrinta	15.9 s	komentaras
`python`	nubėgo	28 ms	komentaras
`lean`	atmesta	18.9 s	Wrong proof test: 1 + 1 = 3
`lean`	patikrinta	30.1 s	Simple verification test: 1 + 1 = 2
`lean`	patikrinta	8.4 s	A simple proof, hope it works

Kiek laiko kiekvienas tikrintojas paprastai užtrunka čia

Išmatuota pagal paskutinius 20 kiekvieno įrankio važiavimų, neskaičiuojant.

Įrankis	Tipiška
`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

Eilutė

Vykdoma

Laukiama (0 prioritetas, 0 nėra)

Greita juosta, ir tai, kas nėra

Ką tik baigė

Kiek laiko kiekvienas tikrintojas paprastai užtrunka čia

Prisijunkite prie pokalbio.

Siųsti atsiliepimus