Antrian

Semua yang dilakukan para penguji melalui satu antrian, dan ini dia. tidak ada di sini adalah simulasi: ini adalah pekerjaan di kotak sekarang.

berjalan sekarang

menunggu

0 ms

untuk membersihkan antrian

diparkir untuk menghitung

Berjalan

Pekerjaan yang diajukan sekarang dimulai segera.

Menunggu (0 prioritas, 0 Gratis)

Tidak ada yang menunggu.

Jalur cepat, dan apa yang tidak

Satu pekerjaan Lean berjalan pada suatu waktu (Mathlib adalah memori-lapar dan kotak ini dibagi), jadi ketika beberapa orang menyerah sekaligus, ada garis.

Setiap rekening yang memegang kredit prabayar dilayani pertama. Ini adalah seluruh mekanismenya, tidak ada produk yang terpisah untuk dibeli. lari Gratis tidak pernah diblokir, dimottled atau tertundukkan oleh itu (hanya disusul), dan masih berjalan, dalam rangka, di jalur Gratis.

Alasan ini bekerja dengan cara ini: orang-orang yang mendanai mesin membayar untuk pemeriksaan orang lain mendapat sia-sia.

Tambah kredit untuk melewatkan baris Perhitungan Anda

Baru saja selesai

Alat	Hasil	Mengambil	Untuk
`python`	berlari	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`	berlari	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`	berlari	23.3 s	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`python`	berlari	83 ms	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`pari`	berlari	524 ms	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`pari`	berlari	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	komentar
`lean`	∎ verified	15.9 s	komentar
`python`	berlari	28 ms	komentar
`lean`	ditolak	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

Berapa lama biasanya setiap pemeriksa dibutuhkan di sini

Diukur dari 20 larian terakhir kotak ini dari setiap alat, tidak diperkirakan.

Alat	Khas
`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

Antrian

Berjalan

Menunggu (0 prioritas, 0 Gratis)

Jalur cepat, dan apa yang tidak

Baru saja selesai

Berapa lama biasanya setiap pemeriksa dibutuhkan di sini

Bergabung dengan percakapan.

Kirim kami umpan balik