Demande

Tout ce que les caissiers font passe par une file d'attente, et c'est tout. Rien ici n'est une simulation: ce sont les tâches sur la boîte en ce moment.

courir maintenant

attendre

0 ms

pour effacer la file d'attente

stationné pour le calcul

Courir

Un poste soumis commence immédiatement.

Attendre (0 Priorité, 0 gratuit)

Rien ne vous attend.

La voie rapide, et ce qu'il n'est pas

Un emploi Lean fonctionne à la fois (Mathlib est un manque de mémoire et cette boîte est partagée), donc quand plusieurs personnes se soumettent à la fois, il y a une ligne.

Tout compte de crédit prépayé est servi en premier. C'est tout le mécanisme, il n'y a pas de produit séparé à acheter. Un parcours libre n'est jamais bloqué, grottelé ou dégradé par lui (seulement dépassé), et il fonctionne encore, dans l'ordre, dans la voie libre.

La raison pour laquelle cela fonctionne de cette façon : les gens qui financent la machine paient pour les chèques que tout le monde obtient pour rien.

Ajouter du crédit pour sauter la ligne Votre calcul

C'est fini.

Outil	Résultat	Prise	Pour
`python`	couru	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`	couru	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`	couru	23.3 s	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`python`	couru	83 ms	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`pari`	couru	524 ms	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`pari`	couru	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 commentaire
`lean`	∎ verified	15.9 s	un commentaire
`python`	couru	28 ms	un commentaire
`lean`	rejeté	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

Combien de temps chaque vérificateur prend habituellement ici

Mesuré à partir des 20 derniers tours de chaque outil de cette boîte, non estimé.

Outil	Typique
`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

Demande

Courir

Attendre (0 Priorité, 0 gratuit)

La voie rapide, et ce qu'il n'est pas

C'est fini.

Combien de temps chaque vérificateur prend habituellement ici

Rejoins la conversation.

Envoyez-nous vos commentaires