Comparing
oflatt-refactor-proofs-4
(b8bd919
) withmain
(3c0955e
)0%
- Archived
- 104
Benchmarks
104 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
prims
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
4 ms4 ms
repro-unsound-htutorial
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
-1%
1 ms1 ms
repro-vec-unequal
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
-1%
1 ms1 ms
points-to
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
2.8 ms2.8 ms
primitives
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
+1%
742.9 µs732.9 µs
resolution
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
4.8 ms4.8 ms
pathproof
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
-1%
1.7 ms1.7 ms
stresstest_large_expr
benches/example_benchmarks.rs::benches::criterion_benchmarkArchived
0%
1.5 s1.5 s
rat-pow-eval
benches/example_benchmarks.rs::benches::criterion_benchmarkArchived
+1%
3.7 ms3.7 ms
set_sort_function
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
+1%
718.3 µs713.3 µs
set
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
2.9 ms2.9 ms
bdd
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
14.3 ms14.3 ms
subsume-relation
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
1 ms1 ms
stratified
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
+1%
1.2 ms1.2 ms
schedule-demo
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
2.3 ms2.3 ms
subsume
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
1.7 ms1.7 ms
array
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
27 ms26.9 ms
test-combined-steps
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
3.1 ms3 ms
repro-define
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
870.3 µs867.1 µs
python_array_optimize
benches/example_benchmarks.rs::benches::criterion_benchmarkArchived
0%
4.8 s4.8 s
push-pop
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
819.2 µs816.2 µs
antiunify
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
2.7 ms2.7 ms
string
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
-2%
616.2 µs626.5 µs
typeinfer
benches/example_benchmarks.rs::benches::criterion_benchmarkArchived
0%
266.2 ms266.6 ms
before-proofs
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
1.9 ms1.9 ms
Commits
Click on a commit to change the comparison rangeBase
main
3c0955e
-0.45%
new termdag file
0e98355
7 months ago
by oflatt+0.02%
some progress
4cb925e
7 months ago
by oflatt+0.04%
test fails with failed to find term
b8bd919
7 months ago
by oflatt