summaryrefslogtreecommitdiff
path: root/MATCHING_RESULTS.md
AgeCommit message (Expand)Author
10 hoursClose the amplification line: pool 640 reaches 0.644 in two hours, the right ...YurenHao0426
10 hoursThe missing term was unary: omit-size solved at its ceiling in 1.4sYurenHao0426
12 hoursRecord the matching battery: fifteen solvers, one amplifierYurenHao0426