Tree

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.

Line Chart

This chart shows the mean measured time for each function as the input (or the size of the input) increases.

Tree/gen-proof/new/128

Tree/gen-proof/new/256

Tree/gen-proof/new/384

Tree/gen-proof/new/512

Tree/gen-proof/new/640

Tree/gen-proof/new/768

Tree/gen-proof/new/896

Tree/gen-proof/new/1024

Tree/gen-proof/new/1152

Tree/gen-proof/new/1280

Tree/gen-proof/new/1408

Tree/gen-proof/new/1536

Tree/gen-proof/new/1664

Tree/gen-proof/new/1792

Tree/gen-proof/new/1920

Tree/gen-proof/resume/128

Tree/gen-proof/resume/256

Tree/gen-proof/resume/384

Tree/gen-proof/resume/512

Tree/gen-proof/resume/640

Tree/gen-proof/resume/768

Tree/gen-proof/resume/896

Tree/gen-proof/resume/1024

Tree/gen-proof/resume/1152

Tree/gen-proof/resume/1280

Tree/gen-proof/resume/1408

Tree/gen-proof/resume/1536

Tree/gen-proof/resume/1664

Tree/gen-proof/resume/1792

Tree/gen-proof/resume/1920

Tree/verifier/feed-proof/128

Tree/verifier/feed-proof/256

Tree/verifier/feed-proof/384

Tree/verifier/feed-proof/512

Tree/verifier/feed-proof/640

Tree/verifier/feed-proof/768

Tree/verifier/feed-proof/896

Tree/verifier/feed-proof/1024

Tree/verifier/feed-proof/1152

Tree/verifier/feed-proof/1280

Tree/verifier/feed-proof/1408

Tree/verifier/feed-proof/1536

Tree/verifier/feed-proof/1664

Tree/verifier/feed-proof/1792

Tree/verifier/feed-proof/1920