| Age | Commit message (Expand) | Author |
|---|---|---|
| 18 hours | The missing term was unary: omit-size solved at its ceiling in 1.4s | YurenHao0426 |
| 21 hours | Amplification beats the instance that defeated fifteen solvers | YurenHao0426 |
| 22 hours | The failure is the optimiser, not the information: a 257x faster descent and ... | YurenHao0426 |
