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
points-to
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
2.8 ms2.8 ms
repro-vec-unequal
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
-1%
1 ms1 ms
primitives
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
+1%
742.9 µs732.9 µs
pathproof
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
-1%
1.7 ms1.7 ms
resolution
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
4.8 ms4.8 ms
stresstest_large_expr
benches/example_benchmarks.rs::benches::criterion_benchmarkArchived
0%
1.5 s1.5 s
set
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
2.9 ms2.9 ms
python_array_optimize
benches/example_benchmarks.rs::benches::criterion_benchmarkArchived
0%
4.8 s4.8 s
subsume-relation
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
1 ms1 ms
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
string
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
-2%
616.2 µs626.5 µs
bdd
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
14.3 ms14.3 ms
schedule-demo
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
2.3 ms2.3 ms
antiunify
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
2.7 ms2.7 ms
repro-equal-constant2
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
716.1 µs714.3 µs
stratified
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
+1%
1.2 ms1.2 ms
array
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
27 ms26.9 ms
subsume
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
1.7 ms1.7 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
bignum
benches/example_benchmarks.rs::benches::criterion_benchmarkIgnoredArchived
0%
1.1 ms1.1 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
11 months ago
by oflatt+0.02%
some progress
4cb925e
11 months ago
by oflatt+0.04%
test fails with failed to find term
b8bd919
11 months ago
by oflatt