キュー

チェッカーが行う全ての作業は 1 つのキューを通り抜けますこれがそれですここはシミュレーションではありませんこれはボックスのジョブです

走ってるんだ

待ってる

0 ms

待ち行列を作り

コンピュータを停めて

走る

無効。今送信されたジョブは直ちに開始されます。

待ってるわけじゃない

これは、Lean のジョブを一度に一つ実行するため、複数の人が一度に提出すると、列が生じる。

プリペイドカードを持っている口座は、最初にサービスされる。 これは全ての機構であり、別の製品を買う必要はありません。フリーランはブロックされ、ショートされ、または劣化されることはありません（ただ過ぎ去られます）、それはまだフリーレーンで順序よく走っています。

なぜなら機械を資金援助する人々は他の人が無償で得られる小切手を支払うからだ列をスキップすることは買う唯一の方法だ他の方法はない

ツール	結果	トーク	フォー
`python`	ラン	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`	ラン	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`	ラン	23.3 s	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`python`	ラン	83 ms	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`pari`	ラン	524 ms	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`pari`	ラン	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	コメントを
`lean`	∎ 確認済み	15.9 s	コメントを
`python`	ラン	28 ms	コメントを
`lean`	拒否	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

計測は最後の20回の各ツールの走行から推定ではない