Comparing
bksaiki:extract-variants
(23b5f90
) withmain
(6f49428
)0%
- Archived
- 96
Benchmarks
96 total
The benchmarks below were run, but are now archived.
If they were deleted in another branch, consider rebasing to remove them from the report.
If they were added back in this branch, you can restore them to include them in future performance reports.
Learn more about archiving benchmarks
If they were deleted in another branch, consider rebasing to remove them from the report.
If they were added back in this branch, you can restore them to include them in future performance reports.
Learn more about archiving benchmarks
bdd
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
16.6 ms16.6 ms
points-to
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
1.8 ms1.8 ms
array
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
26.2 ms26.1 ms
antiunify
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
+1%
2.2 ms2.2 ms
birewrite
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
1.2 ms1.2 ms
calc
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
5.2 ms5.2 ms
bitwise
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
561.6 µs563.6 µs
bignum
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
610.7 µs612.3 µs
before-proofs
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
1.3 ms1.3 ms
bool
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
1.2 ms1.2 ms
stratified
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
805 µs805.4 µs
primitives
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
460.2 µs459.6 µs
set
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
2 ms2 ms
prims
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
3.8 ms3.8 ms
combinators
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
-1%
24.4 ms24.6 ms
push-pop
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
460.3 µs460 µs
rat-pow-eval
benches/example_benchmarks.rs::benches::criterion_benchmarkArchived
0%
2.5 ms2.5 ms
combined-nested
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
-1%
661.2 µs671.1 µs
repro-desugar-143
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
9.3 ms9.3 ms
container-rebuild
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
1.6 ms1.5 ms
cyk
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
11.5 ms11.5 ms
set_sort_function
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
364.9 µs364.7 µs
rw-analysis
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
39.5 ms39.5 ms
repro-define
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
517.4 µs517 µs
subsume
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
-1%
1.2 ms1.2 ms
Commits
Click on a commit to change the comparison rangeBase
main
6f49428
+0.04%
change return type
26fdb7d
1 year ago
by bksaiki+0.07%
add docstring
23b5f90
1 year ago
by bksaiki