| Age | Commit message (Expand) | Author |
|---|---|---|
| 7 hours | Close the amplification line: pool 640 reaches 0.644 in two hours, the right ... | YurenHao0426 |
| 7 hours | The missing term was unary: omit-size solved at its ceiling in 1.4s | YurenHao0426 |
| 9 hours | Record the matching battery: fifteen solvers, one amplifier | YurenHao0426 |
