Criterion.rs Benchmark Index
See individual benchmark pages below for more details.
apply_safe_fixes_3_vars
apply_safe_fixes_50_vars
det001_check
idem001_check
lint_large_script_200_vars
lint_medium_script_50_vars
lint_small_script
real_world_deploy_script
safety_filtering
filter_safe_only
filter_safe_with_assumptions
sc2086_check
throughput
scripts_per_second_medium
scripts_per_second_small
worst_case_150_issues