Tree/1024

Violin Plot

Violin Plot

This chart shows the relationship between function/parameter and iteration time. The thickness of the shaded region indicates the probability that a measurement of the given function/parameter would take a particular length of time.

Tree/gen-proof/new/1024

PDF of Slope Regression

Tree/gen-proof/resume/1024

PDF of Slope Regression

Tree/verifier/feed-proof/1024

PDF of Slope Regression