executor_phase_performance

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.

executor_phase_performance/avg_block_100_aa_assertion_setup_only

executor_phase_performance/avg_block_100_aa_assertions_only

executor_phase_performance/avg_block_100_aa_store_read_only

executor_phase_performance/avg_block_100_aa_trace_only