summaryrefslogtreecommitdiff
path: root/artifacts/spectral_frontier_probe
AgeCommit message (Expand)Author
11 hoursThe missing term was unary: omit-size solved at its ceiling in 1.4sYurenHao0426
13 hoursRecord the matching battery: fifteen solvers, one amplifierYurenHao0426