Comparing
oflatt-faster-proofs
(6435ec0
) withmain
(afd5c07
)-9%
- Regression
- 1
- Untouched
- 27
- Skipped
- 190
Benchmarks
218 total
tests[proof_testing_unify]
benches/ci_benchmarking.rs-9%
21.4 ms23.6 ms
tests[python_array_optimize]
benches/ci_benchmarking.rs+2%
7 s6.8 s
tests[herbie]
benches/ci_benchmarking.rs0%
289.4 ms288.1 ms
tests[math-microbenchmark]
benches/ci_benchmarking.rs0%
9.2 s9.2 s
tests[typeinfer]
benches/ci_benchmarking.rs0%
239.8 ms239.4 ms
tests[herbie]
benches/ci_benchmarking.rs0%
253.9 ms253.6 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs0%
78.8 ms78.7 ms
tests[python_array_optimize]
benches/ci_benchmarking.rs0%
5.6 s5.6 s
tests[eggcc-extraction]
benches/ci_benchmarking.rs0%
2 s2 s
tests[stresstest_large_expr]
benches/ci_benchmarking.rs0%
1.6 s1.6 s
tests[repro-665-set-union]
benches/ci_benchmarking.rs0%
733.1 ms732.9 ms
tests[cykjson]
benches/ci_benchmarking.rs0%
531.1 ms531.1 ms
tests[math-microbenchmark]
benches/ci_benchmarking.rs0%
8.6 s8.6 s
tests[herbie-tutorial]
benches/ci_benchmarking.rs0%
8.3 ms8.3 ms
tests[taylor51]
benches/ci_benchmarking.rs0%
5.3 s5.3 s
tests[herbie-tutorial]
benches/ci_benchmarking.rs0%
11 ms11.1 ms
tests[cykjson]
benches/ci_benchmarking.rs0%
370.1 ms371.3 ms
tests[eggcc-extraction]
benches/ci_benchmarking.rs0%
1.9 s1.9 s
tests[typeinfer]
benches/ci_benchmarking.rs-1%
274.3 ms276.5 ms
tests[taylor51]
benches/ci_benchmarking.rs-1%
4.2 s4.3 s
tests[extract-vec-bench]
benches/ci_benchmarking.rs-1%
78.3 ms79.2 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs-2%
253 ms257.3 ms
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs-2%
36.5 ms37.3 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs-2%
269.9 ms276.2 ms
tests[repro-665-set-union]
benches/ci_benchmarking.rs-3%
1 s1 s
Commits
Click on a commit to change the comparison rangeBase
main
afd5c07
-11%
optimize with index
7a4b754
18 days ago
by oflatt+1.76%
nits
6435ec0
18 days ago
by oflatt