summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
mainClose the amplification line: pool 640 reaches 0.644 in two hours, the right ...YurenHao042655 min.
 
 
AgeCommit messageAuthor
55 min.Close the amplification line: pool 640 reaches 0.644 in two hours, the right ...HEADmainYurenHao0426
56 min.The missing term was unary: omit-size solved at its ceiling in 1.4sYurenHao0426
3 hoursRecord the matching battery: fifteen solvers, one amplifierYurenHao0426
4 hoursAmplification beats the instance that defeated fifteen solversYurenHao0426
5 hoursThe failure is the optimiser, not the information: a 257x faster descent and ...YurenHao0426
5 hoursA cheap gate that survives its controls: the anchor boundYurenHao0426
6 hoursCorrection, same session: the width statistic does not survive its controlYurenHao0426
6 hoursClose the backbone row: the prediction heldYurenHao0426
6 hoursCorpus overlap sets the shared width, by interventionYurenHao0426
6 hoursMark the superseded gate claims in the earlier results documentsYurenHao0426
[...]