Baris gilir
Semua yang dilakukan oleh periksa akan melalui satu baris tunggu, dan inilah ia. tiada apa di sini adalah simulasi: ini adalah pekerjaan di kotak sekarang.
Berjalan
Tidak aktif. Tugas yang dihantar sekarang bermula dengan serta merta.
Menunggu (0 Prioriti, 0 bebas)
Tiada yang menunggu.
Laluan laju, dan apa yang ia tidak
Satu kerja Lean berjalan pada satu masa (Mathlib memerlukan memori dan kotak ini dikongsi), jadi apabila beberapa orang menghantar pada satu masa, terdapat satu baris.
Mana-mana akaun yang mempunyai kredit prabayar akan disediakan terlebih dahulu. Itu adalah mekanisme keseluruhan; tiada produk yang terpisah untuk dibeli. Perjalanan bebas tidak pernah terhalang, dihalang atau diturunkan olehnya (hanya melepasi), dan ia masih berjalan, dalam urutan, dalam laluan bebas.
Sebabnya ia berfungsi seperti ini: orang yang membiayai mesin membayar untuk cek yang semua orang lain dapat untuk tidak ada apa-apa.
Baru selesai
| Alat | Hasil | Took | Untuk |
|---|---|---|---|
python |
ran | 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 |
ran | 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 |
ran | 23.3 s | A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge |
python |
ran | 83 ms | A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge |
pari |
ran | 524 ms | A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge |
pari |
ran | 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 |
∎ disahkan | 9.2 s | komen |
lean |
∎ disahkan | 15.9 s | komen |
python |
ran | 28 ms | komen |
lean |
ditolak | 18.9 s | Wrong proof test: 1 + 1 = 3 |
lean |
∎ disahkan | 30.1 s | Simple verification test: 1 + 1 = 2 |
lean |
∎ disahkan | 8.4 s | A simple proof, hope it works |
Berapa lama setiap periksa biasanya mengambil masa di sini
Diukur dari kotak ini 20 kali terakhir setiap alat, tidak diperkirakan.
| Alat | Tipe |
|---|---|
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 |