Reuse Extractor whenever possible
#563Comparing
yihozhang-extraction-cache
(052a330
) withmain
(8dcffb8
)+31%
- Archived
- 97
Benchmarks
97 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
array
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
+1%
26.2 ms26.1 ms
bdd
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
16.7 ms16.7 ms
before-proofs
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
1.4 ms1.4 ms
pathproof
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
+1%
1.3 ms1.3 ms
antiunify
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
+4%
2.2 ms2.1 ms
resolution
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
4 ms4 ms
path
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
-1%
868.3 µs874.5 µs
rw-analysis
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
39.6 ms39.6 ms
stratified
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
808.4 µs811.6 µs
set
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
2.1 ms2.1 ms
rat-pow-eval
benches/example_benchmarks.rs::benches::criterion_benchmarkArchived
0%
2.5 ms2.5 ms
prims
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
3.9 ms3.9 ms
string_quotes
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
-1%
294 µs296.3 µs
birewrite
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
1.2 ms1.2 ms
push-pop
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
+1%
466.3 µs460 µs
repro-define
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
-1%
516.6 µs524.5 µs
subsume-relation
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
-1%
510.1 µs516.4 µs
set_sort_function
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
-2%
368.8 µs375.3 µs
string
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
+1%
358.8 µs354.7 µs
primitives
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
462 µs463.7 µs
repro-desugar-143
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
+1%
9.3 ms9.3 ms
towers-of-hanoi
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
3.9 ms3.9 ms
schedule-demo
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
2.2 ms2.2 ms
test-combined-steps
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
3 ms3 ms
unify
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
-1%
864 µs868.5 µs
Commits
Click on a commit to change the comparison rangeBase
main
8dcffb8
+0.03%
add docstring
23b5f90
11 months ago
by bksaiki+30.17%
Cache Extractor and TermDag
0223453
9 months ago
by yihozhang+0.72%
nits
3570c8e
9 months ago
by yihozhang-0.02%
Merge branch 'main' of github.com:egraphs-good/egglog into yihozhang-extraction-cache
052a330
8 months ago
by yihozhang