队列

跳棋所做的每件事都经过一个队列, 就这样。这里没有什么是模拟的: 这些是现在盒子上的工作。

正在运行中

等待

0 ms

清除队列

用于计算停放

运行中

空闲提交的工作现在开始

没有什么等待。

一次做一次连线工作(马特利卜是记忆饥饿,这个盒子是共享的),所以当几个人同时提交时,就有一条线。

持有预付积分的任何账户先使用。 这就是整个机制;没有单独的产品可以买。自由运行从未被阻止、破坏或退化(只是过时 ), 并且仍然在自由通道上运行。

其原因就是它这样运作:机器的出资人支付其他人的支票,其他人只能白白买。跳过这条线是唯一买通的东西,而它也买不到其他东西。

工具	结果成果	使用	用于
`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次工具,没有估计。