egraphs-good
egglog
Blog
Docs
Changelog
Blog
Docs
Changelog
Overview
Branches
Benchmarks
Runs
GitHub Actions run
CPU Simulation
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
Wall Time
Uses the
Wall Time instrument
to collect wall time performance metrics.
20 hours ago
e6abef0
rule-report
pull_request
Compare
Base
Search a run
Head
Fix rule report and variable ordering
#693
rule-report
20 hours ago
CPU Simulation
Wall Time
Compare
Suggested base runs:
Pull Request Base
•
Default Branch
•
Parent Commit
Benchmarks
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[print-function]
benches/ci_benchmarking.rs
1.4 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[antiunify]
benches/ci_benchmarking.rs
2.8 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[prims]
benches/ci_benchmarking.rs
4 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[before-proofs]
benches/ci_benchmarking.rs
2 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[array]
benches/ci_benchmarking.rs
27.2 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[bdd]
benches/ci_benchmarking.rs
14.7 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[primitives]
benches/ci_benchmarking.rs
744.2 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[birewrite]
benches/ci_benchmarking.rs
1.9 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[bignum]
benches/ci_benchmarking.rs
1.1 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[bool]
benches/ci_benchmarking.rs
1.8 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[python_array_optimize]
benches/ci_benchmarking.rs
6.7 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[bitwise]
benches/ci_benchmarking.rs
927.6 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[stratified]
benches/ci_benchmarking.rs
1.2 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[combinators]
benches/ci_benchmarking.rs
20.4 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[push-pop]
benches/ci_benchmarking.rs
823.1 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[rw-analysis]
benches/ci_benchmarking.rs
29.6 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[schedule-demo]
benches/ci_benchmarking.rs
2.4 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[calc]
benches/ci_benchmarking.rs
6.3 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[rat-pow-eval]
benches/ci_benchmarking.rs
3.9 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[string_quotes]
benches/ci_benchmarking.rs
500.5 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[set_sort_function]
benches/ci_benchmarking.rs
733.8 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[repro-desugar-143]
benches/ci_benchmarking.rs
9.3 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[set]
benches/ci_benchmarking.rs
2.9 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[combined-nested]
benches/ci_benchmarking.rs
933.9 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
1.5 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[container-rebuild]
benches/ci_benchmarking.rs
2.8 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[cyk]
benches/ci_benchmarking.rs
13.7 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[complex-merge-func]
benches/ci_benchmarking.rs
1.1 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[string]
benches/ci_benchmarking.rs
623.5 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[complex-merge-prim]
benches/ci_benchmarking.rs
908.5 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[repro-665-set-union]
benches/ci_benchmarking.rs
817.3 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[cykjson]
benches/ci_benchmarking.rs
475.5 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[repro-define]
benches/ci_benchmarking.rs
874.6 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[subsume-relation]
benches/ci_benchmarking.rs
1 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[test-combined-steps]
benches/ci_benchmarking.rs
3.1 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[repro-equal-constant2]
benches/ci_benchmarking.rs
712.6 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[until]
benches/ci_benchmarking.rs
3.5 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[subsume]
benches/ci_benchmarking.rs
1.7 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[tricky-type-checking]
benches/ci_benchmarking.rs
14.1 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[repro-empty-query]
benches/ci_benchmarking.rs
675.4 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[test-combined]
benches/ci_benchmarking.rs
1.5 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[towers-of-hanoi]
benches/ci_benchmarking.rs
3.5 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[repro-equal-constant]
benches/ci_benchmarking.rs
701.2 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[delete]
benches/ci_benchmarking.rs
662.3 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[type-constraints-tests]
benches/ci_benchmarking.rs
578.6 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[unification-points-to]
benches/ci_benchmarking.rs
10.9 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[repro-primitive-query]
benches/ci_benchmarking.rs
752.5 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[typeinfer]
benches/ci_benchmarking.rs
270.3 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[fibonacci-demand]
benches/ci_benchmarking.rs
2.3 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[datatypes]
benches/ci_benchmarking.rs
772.2 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[repro-new-backend-prims]
benches/ci_benchmarking.rs
828.3 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[unstable-fn]
benches/ci_benchmarking.rs
6.7 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[repro-querybug3]
benches/ci_benchmarking.rs
2 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[typecheck]
benches/ci_benchmarking.rs
7.3 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[eqsat-basic]
benches/ci_benchmarking.rs
1.9 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[repro-new-backend-delete]
benches/ci_benchmarking.rs
544 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[repro-noteqbug]
benches/ci_benchmarking.rs
919.3 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[eggcc-extraction]
benches/ci_benchmarking.rs
2.5 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[fail_wrong_assertion]
benches/ci_benchmarking.rs
1.6 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[eqsolve]
benches/ci_benchmarking.rs
32.6 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[unify]
benches/ci_benchmarking.rs
1.2 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[repro-new-backend-python-vec]
benches/ci_benchmarking.rs
182 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[repro-should-saturate]
benches/ci_benchmarking.rs
623.5 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[vec]
benches/ci_benchmarking.rs
1.9 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[repro-querybug4]
benches/ci_benchmarking.rs
791.5 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[repro-querybug2]
benches/ci_benchmarking.rs
760.4 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[repro-typechecking-schedule]
benches/ci_benchmarking.rs
434.4 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[i64]
benches/ci_benchmarking.rs
416.4 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[repro-querybug]
benches/ci_benchmarking.rs
1.1 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[extract-vec-bench]
benches/ci_benchmarking.rs
101.5 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[herbie-tutorial]
benches/ci_benchmarking.rs
9.4 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[herbie]
benches/ci_benchmarking.rs
262.8 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[repro-unsound-htutorial]
benches/ci_benchmarking.rs
1 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[f64]
benches/ci_benchmarking.rs
1.4 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[repro-unsound]
benches/ci_benchmarking.rs
380.5 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[fibonacci]
benches/ci_benchmarking.rs
1.2 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[eqsat-basic-multiset]
benches/ci_benchmarking.rs
4.3 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[fusion]
benches/ci_benchmarking.rs
23.1 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[repro-silly-panic]
benches/ci_benchmarking.rs
963.9 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[interval]
benches/ci_benchmarking.rs
2 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[lambda]
benches/ci_benchmarking.rs
82.9 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[integer_math]
benches/ci_benchmarking.rs
13.4 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[repro-vec-unequal]
benches/ci_benchmarking.rs
1.1 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[resolution]
benches/ci_benchmarking.rs
4.9 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[list]
benches/ci_benchmarking.rs
4.9 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[include]
benches/ci_benchmarking.rs
1.3 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[looking_up_nonconstructor_in_rewrite_good]
benches/ci_benchmarking.rs
638.4 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[looking_up_global]
benches/ci_benchmarking.rs
574.4 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[path]
benches/ci_benchmarking.rs
1.3 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[knapsack]
benches/ci_benchmarking.rs
8 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[levenshtein-distance]
benches/ci_benchmarking.rs
20 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[map]
benches/ci_benchmarking.rs
783.4 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[intersection]
benches/ci_benchmarking.rs
2.9 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[path-union]
benches/ci_benchmarking.rs
1.5 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[naturals]
benches/ci_benchmarking.rs
3.6 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[multiset]
benches/ci_benchmarking.rs
3.6 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[math-microbenchmark]
benches/ci_benchmarking.rs
8.4 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[merge-during-rebuild]
benches/ci_benchmarking.rs
1.3 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[points-to]
benches/ci_benchmarking.rs
2.8 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[matrix]
benches/ci_benchmarking.rs
10.3 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[pathproof]
benches/ci_benchmarking.rs
1.7 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[merge-saturates]
benches/ci_benchmarking.rs
3.4 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[math]
benches/ci_benchmarking.rs
38.7 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[merge_read]
benches/ci_benchmarking.rs
512.7 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[name-resolution]
benches/ci_benchmarking.rs
1.3 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[eqsat-basic-multiset]
benches/ci_benchmarking.rs
5.3 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[repro-vec-unequal]
benches/ci_benchmarking.rs
1.3 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[interval]
benches/ci_benchmarking.rs
2.6 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[looking_up_nonconstructor_in_rewrite_good]
benches/ci_benchmarking.rs
532.6 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[subsume]
benches/ci_benchmarking.rs
2 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[cyk]
benches/ci_benchmarking.rs
19.6 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[repro-noteqbug]
benches/ci_benchmarking.rs
1 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[repro-querybug]
benches/ci_benchmarking.rs
1.3 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[tricky-type-checking]
benches/ci_benchmarking.rs
16.1 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[birewrite]
benches/ci_benchmarking.rs
2.5 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[intersection]
benches/ci_benchmarking.rs
4.8 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[eqsat-basic]
benches/ci_benchmarking.rs
2.3 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[combined-nested]
benches/ci_benchmarking.rs
1.1 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[datatypes]
benches/ci_benchmarking.rs
689.4 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[repro-unsound-htutorial]
benches/ci_benchmarking.rs
1.1 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[repro-new-backend-python-vec]
benches/ci_benchmarking.rs
246.3 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[knapsack]
benches/ci_benchmarking.rs
11.2 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[path]
benches/ci_benchmarking.rs
1.7 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[primitives]
benches/ci_benchmarking.rs
663.2 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[vec]
benches/ci_benchmarking.rs
2.3 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[print-function]
benches/ci_benchmarking.rs
2.6 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[before-proofs]
benches/ci_benchmarking.rs
2.8 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[list]
benches/ci_benchmarking.rs
7.1 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[stratified]
benches/ci_benchmarking.rs
1.7 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[python_array_optimize]
benches/ci_benchmarking.rs
9.2 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[complex-merge-func]
benches/ci_benchmarking.rs
1.3 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[unstable-fn]
benches/ci_benchmarking.rs
10.7 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[levenshtein-distance]
benches/ci_benchmarking.rs
29.1 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[f64]
benches/ci_benchmarking.rs
1.4 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[repro-equal-constant]
benches/ci_benchmarking.rs
598.6 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[test-combined]
benches/ci_benchmarking.rs
2.1 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[merge_read]
benches/ci_benchmarking.rs
426.9 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[repro-primitive-query]
benches/ci_benchmarking.rs
816.4 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[fibonacci]
benches/ci_benchmarking.rs
1.4 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[cykjson]
benches/ci_benchmarking.rs
314.8 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[string]
benches/ci_benchmarking.rs
524.8 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[repro-desugar-143]
benches/ci_benchmarking.rs
12.3 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[repro-define]
benches/ci_benchmarking.rs
991.9 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[repro-new-backend-prims]
benches/ci_benchmarking.rs
871.1 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[schedule-demo]
benches/ci_benchmarking.rs
4.4 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[until]
benches/ci_benchmarking.rs
4.6 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[herbie]
benches/ci_benchmarking.rs
293.7 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[subsume-relation]
benches/ci_benchmarking.rs
1.4 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[push-pop]
benches/ci_benchmarking.rs
910.4 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[rw-analysis]
benches/ci_benchmarking.rs
34.5 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[set_sort_function]
benches/ci_benchmarking.rs
847.8 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[include]
benches/ci_benchmarking.rs
1.9 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[pathproof]
benches/ci_benchmarking.rs
2 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
1.6 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[points-to]
benches/ci_benchmarking.rs
4.1 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[repro-equal-constant2]
benches/ci_benchmarking.rs
642.4 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[matrix]
benches/ci_benchmarking.rs
14 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[repro-665-set-union]
benches/ci_benchmarking.rs
1.1 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[repro-silly-panic]
benches/ci_benchmarking.rs
1.1 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[set]
benches/ci_benchmarking.rs
3.6 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[fusion]
benches/ci_benchmarking.rs
27.5 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[repro-querybug3]
benches/ci_benchmarking.rs
2.4 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[combinators]
benches/ci_benchmarking.rs
22.3 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[extract-vec-bench]
benches/ci_benchmarking.rs
148.2 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[repro-new-backend-delete]
benches/ci_benchmarking.rs
533 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[math]
benches/ci_benchmarking.rs
35.8 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[path-union]
benches/ci_benchmarking.rs
2 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[repro-should-saturate]
benches/ci_benchmarking.rs
543.6 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[bool]
benches/ci_benchmarking.rs
2.2 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[repro-unsound]
benches/ci_benchmarking.rs
306.4 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[integer_math]
benches/ci_benchmarking.rs
14.2 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[multiset]
benches/ci_benchmarking.rs
4.4 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[repro-empty-query]
benches/ci_benchmarking.rs
637.3 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[bignum]
benches/ci_benchmarking.rs
1.1 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[typecheck]
benches/ci_benchmarking.rs
10.3 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[delete]
benches/ci_benchmarking.rs
632.6 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[calc]
benches/ci_benchmarking.rs
9.6 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[test-combined-steps]
benches/ci_benchmarking.rs
5.5 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[looking_up_global]
benches/ci_benchmarking.rs
529.7 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[prims]
benches/ci_benchmarking.rs
5.5 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[unification-points-to]
benches/ci_benchmarking.rs
16.1 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[rat-pow-eval]
benches/ci_benchmarking.rs
4.8 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[math-microbenchmark]
benches/ci_benchmarking.rs
8.9 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[resolution]
benches/ci_benchmarking.rs
6.6 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[repro-querybug4]
benches/ci_benchmarking.rs
900.6 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[eqsolve]
benches/ci_benchmarking.rs
28.2 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[herbie-tutorial]
benches/ci_benchmarking.rs
14.3 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[fail_wrong_assertion]
benches/ci_benchmarking.rs
1.8 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[container-rebuild]
benches/ci_benchmarking.rs
5.3 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[string_quotes]
benches/ci_benchmarking.rs
458.6 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[merge-saturates]
benches/ci_benchmarking.rs
9.1 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[merge-during-rebuild]
benches/ci_benchmarking.rs
1.9 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[complex-merge-prim]
benches/ci_benchmarking.rs
921.9 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[unify]
benches/ci_benchmarking.rs
1.4 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[array]
benches/ci_benchmarking.rs
24.5 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[bitwise]
benches/ci_benchmarking.rs
915.4 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[fibonacci-demand]
benches/ci_benchmarking.rs
3.3 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[map]
benches/ci_benchmarking.rs
801.2 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[lambda]
benches/ci_benchmarking.rs
112.5 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[antiunify]
benches/ci_benchmarking.rs
3.1 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[towers-of-hanoi]
benches/ci_benchmarking.rs
4 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[repro-typechecking-schedule]
benches/ci_benchmarking.rs
330.1 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[eggcc-extraction]
benches/ci_benchmarking.rs
2.6 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[i64]
benches/ci_benchmarking.rs
306.7 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[repro-querybug2]
benches/ci_benchmarking.rs
864.7 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[type-constraints-tests]
benches/ci_benchmarking.rs
444.6 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[name-resolution]
benches/ci_benchmarking.rs
1.8 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[naturals]
benches/ci_benchmarking.rs
6 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[typeinfer]
benches/ci_benchmarking.rs
361.3 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[bdd]
benches/ci_benchmarking.rs
18.1 ms
© 2025 CodSpeed Technology
Home
Terms
Privacy
Docs