Update links in README for egglog resources
#798Comparing
yihozhang-patch-4
(215f9f3
) withmain
(215714e
)-93%
- Archived
- 103
Benchmarks
103 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
merge_read
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
-74%
261.3 µs1,022.7 µs
array
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
-46%
26.2 ms48.2 ms
repro-querybug4
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
-69%
471 µs1,506.8 µs
antiunify
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
-71%
1.8 ms6.4 ms
bdd
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
-58%
16.6 ms39.2 ms
merge-saturates
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
-91%
2 ms23.2 ms
merge-during-rebuild
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
-83%
617 µs3,567.4 µs
before-proofs
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
-77%
1.2 ms5.5 ms
repro-should-saturate
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
-58%
409.9 µs974.2 µs
repro-silly-panic
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
-74%
556.8 µs2,116.7 µs
repro-vec-unequal
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
-74%
567.5 µs2,220.8 µs
repro-unsound-htutorial
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
-67%
594.8 µs1,783 µs
name-resolution
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
-78%
723.4 µs3,322.5 µs
repro-typechecking-schedule
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
-63%
249.7 µs666.6 µs
naturals
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
N/A
N/A12.9 ms
bignum
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
-70%
579.9 µs1,939.1 µs
resolution
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
-73%
3.9 ms14.6 ms
birewrite
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
-78%
1 ms4.9 ms
calc
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
-65%
5.1 ms14.7 ms
bool
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
-65%
1.2 ms3.2 ms
repro-unsound
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
-61%
250.4 ms644.8 ms
rw-analysis
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
-73%
38.6 ms140.9 ms
extract-vec-bench
benches/example_benchmarks.rs::benches::criterion_benchmarkArchived
-93%
75 ms1,126.6 ms
bitwise
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
-60%
573.4 µs1,416.5 µs
multiset
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
-54%
2.5 ms5.5 ms
Commits
Click on a commit to change the comparison rangeBase
backend-merge
215714e
-93.35%
fix term reconstruction for bigint
215f9f3
8 months ago
by yihozhang