The cost model is far from perfect. If someone can come up with a better cost model, I will gladly update things. But for now this might be good enough to get things started.
So far there is just my sample submission.
Name | Cost estimate | Status |
---|---|---|
maxa_stretch_linear | 14826043 gs | barely secure |
maxa_stretch_linear contains one intentional flaw to encourage some analysis. The calculated cost estimate is too high, but I won't adjust it until someone can point out the flaw. Obviously there can be multiple additional unintended flaws.