Nova Scotia is significantly slower than Nova Bellman?
Opened this issue · 1 comments
nalinbhardwaj commented
It seems from https://hackmd.io/u3qM9s_YR1emHZSg3jteQA?view that there may be a leak of some sort when working with large number of steps, slowing down proving by a factor of ~3x over plain Nova Bellman. Aside from a constant overhead for initialization, we should be on par with Bellman. Figure out what’s going on and fix it.
nalinbhardwaj commented
@sampritipanda assigned