Đang xếp hàng

Mọi thứ người kiểm tra làm đều đi qua một hàng, và đây là nó. Không có gì ở đây là mô phỏng: đây là những công việc trên hộp ngay bây giờ.

đang chạy

chờ

0 ms

to clear the queue

đỗ để tính toán

Chạy

Đang nghỉ. Một công việc đã gửi sẽ bắt đầu ngay lập tức.

Đang chờ (0 ưu tiên, 0 miễn phí)

Không có gì phải chờ.

Đường cao tốc, và những gì không phải là nó

Một công việc Lean chạy một lúc (Mathlib là một bộ nhớ đói và hộp này được chia sẻ), vì vậy khi nhiều người gửi cùng một lúc, có một hàng.

Bất kỳ tài khoản nào có tiền gửi trước sẽ được phục vụ trước. Đó là toàn bộ cơ chế; không có sản phẩm riêng để mua. Một đường chạy tự do không bao giờ bị chặn, ngắt hoặc xuống cấp bởi nó (chỉ vượt qua), và nó vẫn chạy, theo thứ tự, trong làn đường tự do.

Lý do nó hoạt động như thế này là vì những người tài trợ cho máy tính đang trả tiền cho những tờ séc mà mọi người khác không có được.

Thêm điểm để bỏ qua dòng Tính toán của anh

Chỉ là kết thúc thôi.

Công cụ	Kết quả	Took	Cho
`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`	∎ xác nhận	9.2 s	a comment
`lean`	∎ xác nhận	15.9 s	a comment
`python`	ran	28 ms	a comment
`lean`	từ chối	18.9 s	Wrong proof test: 1 + 1 = 3
`lean`	∎ xác nhận	30.1 s	Simple verification test: 1 + 1 = 2
`lean`	∎ xác nhận	8.4 s	A simple proof, hope it works

Mỗi người chơi thường mất bao lâu để chơi

Đo từ 20 lần chạy cuối cùng của mỗi công cụ, không ước tính.

Công cụ	Đặc trưng
`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

Đang xếp hàng

Chạy

Đang chờ (0 ưu tiên, 0 miễn phí)

Đường cao tốc, và những gì không phải là nó

Chỉ là kết thúc thôi.

Mỗi người chơi thường mất bao lâu để chơi

Hãy tham gia vào cuộc trò chuyện.

Gửi phản hồi