unsorry
Queue · 149 submitted
149queued
142waiting
7in-flight
149goals
2solvers
This board lists proofs submitted to the queue but not yet merged, grouped by solver (biggest queue first). Tap a solver to see their queued proofs. It is regenerated on a schedule, so it reflects the queue as of the last refresh.
@ohdearquant148 queued
141 waiting · 7 in-flight · 148 goals · @ohdearquant on GitHub ↗
| Goal | Branch | Model | Submitted | State |
|---|---|---|---|---|
gself-pow-four-pow-twenty-add-pow-six | queued/prove/gself-pow-four-pow-twenty-add-pow-six/mac-158f-4500f6 | template-ring-cofactor | 2026-06-19 | in-flight |
gself-pow-nine-add-pow-four | queued/prove/gself-pow-nine-add-pow-four/mac-158f-9c7bf2 | template-ring-cofactor | 2026-06-18 | waiting |
gself-pow-nineteen-add-pow-sixteen | queued/prove/gself-pow-nineteen-add-pow-sixteen/mac-158f-42bb76 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-sixteen-add-pow-eight | queued/prove/gself-pow-sixteen-add-pow-eight/mac-158f-79be98 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-ten-add-pow-four | queued/prove/gself-pow-ten-add-pow-four/mac-158f-099b61 | template-ring-cofactor | 2026-06-18 | waiting |
gself-pow-thirteen-add-pow-nine | queued/prove/gself-pow-thirteen-add-pow-nine/mac-158f-6bcdcc | template-ring-cofactor | 2026-06-18 | waiting |
gself-pow-three-pow-22-add-pow-eight | queued/prove/gself-pow-three-pow-22-add-pow-eight/mac-158f-de5beb | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-22-add-pow-eighteen | queued/prove/gself-pow-three-pow-22-add-pow-eighteen/mac-158f-ef7f11 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-24-add-pow-fifteen | queued/prove/gself-pow-three-pow-24-add-pow-fifteen/mac-158f-b41b3c | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-24-add-pow-ten | queued/prove/gself-pow-three-pow-24-add-pow-ten/mac-158f-5dcd78 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-26-add-pow-nine | queued/prove/gself-pow-three-pow-26-add-pow-nine/mac-158f-6edde0 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-26-add-pow-six | queued/prove/gself-pow-three-pow-26-add-pow-six/mac-158f-736c02 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-26-add-pow-sixteen | queued/prove/gself-pow-three-pow-26-add-pow-sixteen/mac-158f-dbe5fc | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-27-add-pow-eight | queued/prove/gself-pow-three-pow-27-add-pow-eight/mac-158f-5ecf5c | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-27-add-pow-four | queued/prove/gself-pow-three-pow-27-add-pow-four/mac-158f-e67b0e | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-27-add-pow-nine | queued/prove/gself-pow-three-pow-27-add-pow-nine/mac-158f-7f549f | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-27-add-pow-nineteen | queued/prove/gself-pow-three-pow-27-add-pow-nineteen/mac-158f-1eb877 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-27-add-pow-seventeen | queued/prove/gself-pow-three-pow-27-add-pow-seventeen/mac-158f-bcf658 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-27-add-pow-ten | queued/prove/gself-pow-three-pow-27-add-pow-ten/mac-158f-8e1f00 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-27-add-pow-three | queued/prove/gself-pow-three-pow-27-add-pow-three/mac-158f-8450d1 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-27-add-pow-twelve | queued/prove/gself-pow-three-pow-27-add-pow-twelve/mac-158f-db3041 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-28-add-pow-24 | queued/prove/gself-pow-three-pow-28-add-pow-24/mac-158f-43b752 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-28-add-pow-eight | queued/prove/gself-pow-three-pow-28-add-pow-eight/mac-158f-5a16f3 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-28-add-pow-eighteen | queued/prove/gself-pow-three-pow-28-add-pow-eighteen/mac-158f-e5c01c | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-28-add-pow-fifteen | queued/prove/gself-pow-three-pow-28-add-pow-fifteen/mac-158f-812717 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-28-add-pow-nine | queued/prove/gself-pow-three-pow-28-add-pow-nine/mac-158f-20a821 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-28-add-pow-nineteen | queued/prove/gself-pow-three-pow-28-add-pow-nineteen/mac-158f-e2dd7a | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-28-add-pow-seventeen | queued/prove/gself-pow-three-pow-28-add-pow-seventeen/mac-158f-35b609 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-28-add-pow-six | queued/prove/gself-pow-three-pow-28-add-pow-six/mac-158f-d328fd | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-29-add-pow-eighteen | queued/prove/gself-pow-three-pow-29-add-pow-eighteen/mac-158f-b9e000 | template-ring-cofactor | 2026-06-19 | in-flight |
gself-pow-three-pow-29-add-pow-twelve | queued/prove/gself-pow-three-pow-29-add-pow-twelve/mac-158f-62f880 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-29-add-pow-twenty | queued/prove/gself-pow-three-pow-29-add-pow-twenty/mac-158f-4758bb | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-30-add-pow-22 | queued/prove/gself-pow-three-pow-30-add-pow-22/mac-158f-cbee3e | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-30-add-pow-23 | queued/prove/gself-pow-three-pow-30-add-pow-23/mac-158f-7b9100 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-30-add-pow-24 | queued/prove/gself-pow-three-pow-30-add-pow-24/mac-158f-1a1bd0 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-30-add-pow-27 | queued/prove/gself-pow-three-pow-30-add-pow-27/mac-158f-80193c | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-30-add-pow-28 | queued/prove/gself-pow-three-pow-30-add-pow-28/mac-158f-93223f | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-30-add-pow-eight | queued/prove/gself-pow-three-pow-30-add-pow-eight/mac-158f-e18b2a | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-30-add-pow-eighteen | queued/prove/gself-pow-three-pow-30-add-pow-eighteen/mac-158f-7f7b71 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-30-add-pow-eleven | queued/prove/gself-pow-three-pow-30-add-pow-eleven/mac-158f-24d50f | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-30-add-pow-fifteen | queued/prove/gself-pow-three-pow-30-add-pow-fifteen/mac-158f-f03997 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-30-add-pow-four | queued/prove/gself-pow-three-pow-30-add-pow-four/mac-158f-1bb4b5 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-30-add-pow-fourteen | queued/prove/gself-pow-three-pow-30-add-pow-fourteen/mac-158f-ea7def | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-30-add-pow-nine | queued/prove/gself-pow-three-pow-30-add-pow-nine/mac-158f-80b8be | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-30-add-pow-sixteen | queued/prove/gself-pow-three-pow-30-add-pow-sixteen/mac-158f-50c8dc | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-30-add-pow-ten | queued/prove/gself-pow-three-pow-30-add-pow-ten/mac-158f-f62da0 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-30-add-pow-thirteen | queued/prove/gself-pow-three-pow-30-add-pow-thirteen/mac-158f-ddf209 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-30-add-pow-three | queued/prove/gself-pow-three-pow-30-add-pow-three/mac-158f-d69520 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-30-add-pow-twelve | queued/prove/gself-pow-three-pow-30-add-pow-twelve/mac-158f-7747d8 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-30-add-pow-twenty | queued/prove/gself-pow-three-pow-30-add-pow-twenty/mac-158f-b51fbc | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-eight-add-pow-five | queued/prove/gself-pow-three-pow-eight-add-pow-five/mac-158f-78b51a | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-eight-add-pow-four | queued/prove/gself-pow-three-pow-eight-add-pow-four/mac-158f-4323af | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-eight-add-pow-seven | queued/prove/gself-pow-three-pow-eight-add-pow-seven/mac-158f-ba58ef | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-eight-add-pow-six | queued/prove/gself-pow-three-pow-eight-add-pow-six/mac-158f-b86eb4 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-eight-add-pow-three | queued/prove/gself-pow-three-pow-eight-add-pow-three/mac-158f-4190ef | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-eighteen-add-pow-eight | queued/prove/gself-pow-three-pow-eighteen-add-pow-eight/mac-158f-12afd8 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-eighteen-add-pow-eleven | queued/prove/gself-pow-three-pow-eighteen-add-pow-eleven/mac-158f-681100 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-eighteen-add-pow-fifteen | queued/prove/gself-pow-three-pow-eighteen-add-pow-fifteen/mac-158f-92449b | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-eighteen-add-pow-five | queued/prove/gself-pow-three-pow-eighteen-add-pow-five/mac-158f-5cc27a | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-eighteen-add-pow-fourteen | queued/prove/gself-pow-three-pow-eighteen-add-pow-fourteen/mac-158f-0cbad9 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-eighteen-add-pow-nine | queued/prove/gself-pow-three-pow-eighteen-add-pow-nine/mac-158f-53651c | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-eighteen-add-pow-seven | queued/prove/gself-pow-three-pow-eighteen-add-pow-seven/mac-158f-f8b092 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-eighteen-add-pow-seventeen | queued/prove/gself-pow-three-pow-eighteen-add-pow-seventeen/mac-158f-f71bcd | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-eighteen-add-pow-six | queued/prove/gself-pow-three-pow-eighteen-add-pow-six/mac-158f-cd5e23 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-eighteen-add-pow-sixteen | queued/prove/gself-pow-three-pow-eighteen-add-pow-sixteen/mac-158f-1890e1 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-eighteen-add-pow-ten | queued/prove/gself-pow-three-pow-eighteen-add-pow-ten/mac-158f-89c100 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-eighteen-add-pow-thirteen | queued/prove/gself-pow-three-pow-eighteen-add-pow-thirteen/mac-158f-d5b9cc | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-eighteen-add-pow-three | queued/prove/gself-pow-three-pow-eighteen-add-pow-three/mac-158f-a6f550 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-eighteen-add-pow-twelve | queued/prove/gself-pow-three-pow-eighteen-add-pow-twelve/mac-158f-dd2712 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-eleven-add-pow-eight | queued/prove/gself-pow-three-pow-eleven-add-pow-eight/mac-158f-fed734 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-eleven-add-pow-five | queued/prove/gself-pow-three-pow-eleven-add-pow-five/mac-158f-8858e7 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-eleven-add-pow-four | queued/prove/gself-pow-three-pow-eleven-add-pow-four/mac-158f-fe0b1e | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-eleven-add-pow-six | queued/prove/gself-pow-three-pow-eleven-add-pow-six/mac-158f-a39084 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-eleven-add-pow-ten | queued/prove/gself-pow-three-pow-eleven-add-pow-ten/mac-158f-02190f | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-eleven-add-pow-three | queued/prove/gself-pow-three-pow-eleven-add-pow-three/mac-158f-637fba | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-fifteen-add-pow-eight | queued/prove/gself-pow-three-pow-fifteen-add-pow-eight/mac-158f-9c5bca | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-fifteen-add-pow-eleven | queued/prove/gself-pow-three-pow-fifteen-add-pow-eleven/mac-158f-8a2fbe | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-fifteen-add-pow-five | queued/prove/gself-pow-three-pow-fifteen-add-pow-five/mac-158f-50a576 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-fifteen-add-pow-four | queued/prove/gself-pow-three-pow-fifteen-add-pow-four/mac-158f-a2c156 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-fifteen-add-pow-fourteen | queued/prove/gself-pow-three-pow-fifteen-add-pow-fourteen/mac-158f-64dd1c | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-fifteen-add-pow-nine | queued/prove/gself-pow-three-pow-fifteen-add-pow-nine/mac-158f-f4620d | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-fifteen-add-pow-seven | queued/prove/gself-pow-three-pow-fifteen-add-pow-seven/mac-158f-edb7d7 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-fifteen-add-pow-six | queued/prove/gself-pow-three-pow-fifteen-add-pow-six/mac-158f-d9895f | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-fifteen-add-pow-ten | queued/prove/gself-pow-three-pow-fifteen-add-pow-ten/mac-158f-9de16f | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-fifteen-add-pow-thirteen | queued/prove/gself-pow-three-pow-fifteen-add-pow-thirteen/mac-158f-502202 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-fifteen-add-pow-three | queued/prove/gself-pow-three-pow-fifteen-add-pow-three/mac-158f-d04b0c | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-fifteen-add-pow-twelve | queued/prove/gself-pow-three-pow-fifteen-add-pow-twelve/mac-158f-7d7b49 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-fourteen-add-pow-eight | queued/prove/gself-pow-three-pow-fourteen-add-pow-eight/mac-158f-25d85c | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-fourteen-add-pow-eleven | queued/prove/gself-pow-three-pow-fourteen-add-pow-eleven/mac-158f-836078 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-fourteen-add-pow-five | queued/prove/gself-pow-three-pow-fourteen-add-pow-five/mac-158f-9a91ff | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-fourteen-add-pow-four | queued/prove/gself-pow-three-pow-fourteen-add-pow-four/mac-158f-9b07e3 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-fourteen-add-pow-nine | queued/prove/gself-pow-three-pow-fourteen-add-pow-nine/mac-158f-dfd47d | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-fourteen-add-pow-seven | queued/prove/gself-pow-three-pow-fourteen-add-pow-seven/mac-158f-6266f6 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-fourteen-add-pow-six | queued/prove/gself-pow-three-pow-fourteen-add-pow-six/mac-158f-ff1393 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-fourteen-add-pow-ten | queued/prove/gself-pow-three-pow-fourteen-add-pow-ten/mac-158f-b8d61a | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-fourteen-add-pow-thirteen | queued/prove/gself-pow-three-pow-fourteen-add-pow-thirteen/mac-158f-c3da4f | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-fourteen-add-pow-three | queued/prove/gself-pow-three-pow-fourteen-add-pow-three/mac-158f-c20830 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-fourteen-add-pow-twelve | queued/prove/gself-pow-three-pow-fourteen-add-pow-twelve/mac-158f-61b793 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-nine-add-pow-eight | queued/prove/gself-pow-three-pow-nine-add-pow-eight/mac-158f-1ec429 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-nine-add-pow-five | queued/prove/gself-pow-three-pow-nine-add-pow-five/mac-158f-e1297c | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-nine-add-pow-four | queued/prove/gself-pow-three-pow-nine-add-pow-four/mac-158f-ae75c9 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-nine-add-pow-seven | queued/prove/gself-pow-three-pow-nine-add-pow-seven/mac-158f-9eaecf | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-nine-add-pow-six | queued/prove/gself-pow-three-pow-nine-add-pow-six/mac-158f-6d17b3 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-nine-add-pow-three | queued/prove/gself-pow-three-pow-nine-add-pow-three/mac-158f-d82644 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-nineteen-add-pow-eight | queued/prove/gself-pow-three-pow-nineteen-add-pow-eight/mac-158f-e8e81b | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-nineteen-add-pow-eighteen | queued/prove/gself-pow-three-pow-nineteen-add-pow-eighteen/mac-158f-3fe731 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-nineteen-add-pow-eleven | queued/prove/gself-pow-three-pow-nineteen-add-pow-eleven/mac-158f-2ea227 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-nineteen-add-pow-fifteen | queued/prove/gself-pow-three-pow-nineteen-add-pow-fifteen/mac-158f-83ed56 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-nineteen-add-pow-five | queued/prove/gself-pow-three-pow-nineteen-add-pow-five/mac-158f-bdac29 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-nineteen-add-pow-four | queued/prove/gself-pow-three-pow-nineteen-add-pow-four/mac-158f-500c28 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-nineteen-add-pow-fourteen | queued/prove/gself-pow-three-pow-nineteen-add-pow-fourteen/mac-158f-72e6d1 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-nineteen-add-pow-nine | queued/prove/gself-pow-three-pow-nineteen-add-pow-nine/mac-158f-e7eba2 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-nineteen-add-pow-seven | queued/prove/gself-pow-three-pow-nineteen-add-pow-seven/mac-158f-b905c7 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-nineteen-add-pow-seventeen | queued/prove/gself-pow-three-pow-nineteen-add-pow-seventeen/mac-158f-0d87ad | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-nineteen-add-pow-six | queued/prove/gself-pow-three-pow-nineteen-add-pow-six/mac-158f-c27f99 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-nineteen-add-pow-sixteen | queued/prove/gself-pow-three-pow-nineteen-add-pow-sixteen/mac-158f-521edf | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-nineteen-add-pow-ten | queued/prove/gself-pow-three-pow-nineteen-add-pow-ten/mac-158f-957b4c | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-nineteen-add-pow-thirteen | queued/prove/gself-pow-three-pow-nineteen-add-pow-thirteen/mac-158f-b77720 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-nineteen-add-pow-three | queued/prove/gself-pow-three-pow-nineteen-add-pow-three/mac-158f-5e1148 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-nineteen-add-pow-twelve | queued/prove/gself-pow-three-pow-nineteen-add-pow-twelve/mac-158f-445d4a | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-seven-add-pow-five | queued/prove/gself-pow-three-pow-seven-add-pow-five/mac-158f-c3faf9 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-seven-add-pow-four | queued/prove/gself-pow-three-pow-seven-add-pow-four/mac-158f-921efa | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-seven-add-pow-six | queued/prove/gself-pow-three-pow-seven-add-pow-six/mac-158f-c08b50 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-seven-add-pow-three | queued/prove/gself-pow-three-pow-seven-add-pow-three/mac-158f-c81010 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-seventeen-add-pow-eight | queued/prove/gself-pow-three-pow-seventeen-add-pow-eight/mac-158f-af8694 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-seventeen-add-pow-eleven | queued/prove/gself-pow-three-pow-seventeen-add-pow-eleven/mac-158f-ecfdc6 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-seventeen-add-pow-fifteen | queued/prove/gself-pow-three-pow-seventeen-add-pow-fifteen/mac-158f-54501b | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-seventeen-add-pow-five | queued/prove/gself-pow-three-pow-seventeen-add-pow-five/mac-158f-55f5ae | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-seventeen-add-pow-four | queued/prove/gself-pow-three-pow-seventeen-add-pow-four/mac-158f-537ab8 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-seventeen-add-pow-fourteen | queued/prove/gself-pow-three-pow-seventeen-add-pow-fourteen/mac-158f-a4dc9d | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-seventeen-add-pow-nine | queued/prove/gself-pow-three-pow-seventeen-add-pow-nine/mac-158f-0c47be | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-seventeen-add-pow-seven | queued/prove/gself-pow-three-pow-seventeen-add-pow-seven/mac-158f-ec76e0 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-seventeen-add-pow-six | queued/prove/gself-pow-three-pow-seventeen-add-pow-six/mac-158f-d06df2 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-seventeen-add-pow-sixteen | queued/prove/gself-pow-three-pow-seventeen-add-pow-sixteen/mac-158f-c1cd8c | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-seventeen-add-pow-thirteen | queued/prove/gself-pow-three-pow-seventeen-add-pow-thirteen/mac-158f-e920e0 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-seventeen-add-pow-three | queued/prove/gself-pow-three-pow-seventeen-add-pow-three/mac-158f-353b09 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-seventeen-add-pow-twelve | queued/prove/gself-pow-three-pow-seventeen-add-pow-twelve/mac-158f-052d8e | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-sixteen-add-pow-eight | queued/prove/gself-pow-three-pow-sixteen-add-pow-eight/mac-158f-c180db | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-sixteen-add-pow-eleven | queued/prove/gself-pow-three-pow-sixteen-add-pow-eleven/mac-158f-5821d5 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-sixteen-add-pow-fifteen | queued/prove/gself-pow-three-pow-sixteen-add-pow-fifteen/mac-158f-ba4f6a | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-sixteen-add-pow-five | queued/prove/gself-pow-three-pow-sixteen-add-pow-five/mac-158f-9b167e | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-sixteen-add-pow-four | queued/prove/gself-pow-three-pow-sixteen-add-pow-four/mac-158f-4c5848 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-three-pow-sixteen-add-pow-fourteen | queued/prove/gself-pow-three-pow-sixteen-add-pow-fourteen/mac-158f-db6032 | template-ring-cofactor | 2026-06-19 | waiting |
gself-pow-two-pow-seven-add-pow-three | queued/prove/gself-pow-two-pow-seven-add-pow-three/mac-158f-75e91a | template-ring-cofactor | 2026-06-19 | in-flight |
gself-pow-two-pow-ten-add-pow-six | queued/prove/gself-pow-two-pow-ten-add-pow-six/mac-158f-ab47e0 | template-ring-cofactor | 2026-06-19 | in-flight |
gself-pow-two-pow-ten-add-pow-two | queued/prove/gself-pow-two-pow-ten-add-pow-two/mac-158f-1a3758 | template-ring-cofactor | 2026-06-19 | in-flight |
gself-pow-two-pow-thirteen-add-pow-eleven | queued/prove/gself-pow-two-pow-thirteen-add-pow-eleven/mac-158f-f306fa | template-ring-cofactor | 2026-06-19 | in-flight |
gself-pow-two-pow-thirteen-add-pow-five | queued/prove/gself-pow-two-pow-thirteen-add-pow-five/mac-158f-aa0638 | template-ring-cofactor | 2026-06-27 | in-flight |
@perttu1 queued
1 waiting · 0 in-flight · 1 goals · @perttu on GitHub ↗
| Goal | Branch | Model | Submitted | State |
|---|---|---|---|---|
sum-range-succ-k-mul-choose-mul-two-pow-closed | queued/prove/sum-range-succ-k-mul-choose-mul-two-pow-closed/claude-web-1e1e95 | — | 2026-06-17 | waiting |