Tree/gen-proof/resume

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/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