MAINNET · VERIFIER v4.2.1 · 99.982% UPTIME
AX-04821RAMSEY·R55+5.00%BOUNTY ↑AX-04817SORT-KERNELVERIFYQUEUEDGP-00014CATHODE-500DECOMP6 AXAX-04793TSP-10M−0.8%SCORE ↓AX-04788BANDGAP-SI+12.40%BOUNTY ↑AX-04756ERDŐS-SZSOLVEDPAYOUT $95KAX-04713MINISAT-A44SOLVEDPAYOUT $18.5KAX-04709CHIP-ROUTE-D2+2.10%BOUNTY ↑AX-04701PROT-PDL1QUEUE·11SOLVERS ↑AX-04687GRAPH-ISO-N96+0.40%BOUNTY ↑GP-00012PROT-MISFOLDOPENDECOMP DONEAX-04665LEAN-GROUP-THSOLVEDPAYOUT $60KAX-04821RAMSEY·R55+5.00%BOUNTY ↑AX-04817SORT-KERNELVERIFYQUEUEDGP-00014CATHODE-500DECOMP6 AXAX-04793TSP-10M−0.8%SCORE ↓AX-04788BANDGAP-SI+12.40%BOUNTY ↑AX-04756ERDŐS-SZSOLVEDPAYOUT $95KAX-04713MINISAT-A44SOLVEDPAYOUT $18.5KAX-04709CHIP-ROUTE-D2+2.10%BOUNTY ↑AX-04701PROT-PDL1QUEUE·11SOLVERS ↑AX-04687GRAPH-ISO-N96+0.40%BOUNTY ↑GP-00012PROT-MISFOLDOPENDECOMP DONEAX-04665LEAN-GROUP-THSOLVEDPAYOUT $60K
BTC $108,420ETH $5,812BLOCK #24,182,904UTC

Submissions7 TOTAL

⌕⌘K
Total
7
Passed
3
Running
2
Rejected
2

Your submissions verifier verdicts · replay traces

ALLPASSEDRUNNINGREJECTED
14:02:11AX-DEMO-MATMUL-01matmulpass · 7 mults · within budget0.2 KBpassed
13:47:50AX-DEMO-LEAN-01lean4pass · type-checked · no sorry0.4 KBpassed
11:20:03AX-04821lean4running · lake build 62s / 120s0.44 MBrunning
09:58:44AX-04817benchmarkrejected · score 0.81 < 0.92 threshold12 MBrejected
YesterdayAX-DEMO-MATMUL-01matmulfail · correct but uses 8 mults (budget 7)0.2 KBrejected
YesterdayAX-04793optimizationpass · tour 9.42M < incumbent 9.51M3.1 MBpassed
2d agoAX-04788simulationqueued · awaiting verifier slot8.0 MBrunning