argumentcomputer/lurk-beta

[LUR-37] Supernova benchmarking gap

huitseeker opened this issue · 1 comments

huitseeker commented

@arthurpaulino raised the issue that SuperNova benchmarks are insufficient to judge the speed of optimizations to folding in #1215 (comment)

He's to give details here.

LUR-37

arthurpaulino commented

There's not much to say though. We simply don't have benchmarks that really stress the SuperNovaProver yet.