Comparing
oflatt-faster-proofs
(ee2ca5d
) withmain
(912663b
)+10%
- Improvement
- 5
- Untouched
- 17
- New
- 6
- Skipped
- 190
Benchmarks
218 total
tests[extract-vec-bench]
benches/ci_benchmarking.rs+10%
86.4 ms78.4 ms
tests[stresstest_large_expr]
benches/ci_benchmarking.rs+10%
1.9 s1.7 s
tests[extract-vec-bench]
benches/ci_benchmarking.rs+8%
85 ms78.8 ms
tests[stresstest_large_expr]
benches/ci_benchmarking.rs+8%
1.7 s1.6 s
tests[typeinfer]
benches/ci_benchmarking.rs+5%
287.7 ms273.4 ms
tests[proof_testing_unify]
benches/ci_benchmarking.rsN/A
N/A21.3 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rsN/A
N/A269.1 ms
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rsN/A
N/A37.7 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rsN/A
N/A252.9 ms
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rsN/A
N/A36.6 ms
tests[proof_testing_unify]
benches/ci_benchmarking.rsN/A
N/A20.5 ms
tests[herbie]
benches/ci_benchmarking.rs+4%
299.5 ms288.6 ms
tests[repro-665-set-union]
benches/ci_benchmarking.rs+3%
1 s1 s
tests[eggcc-extraction]
benches/ci_benchmarking.rs+1%
1.9 s1.9 s
tests[herbie-tutorial]
benches/ci_benchmarking.rs+1%
8.4 ms8.3 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs+1%
11.2 ms11.1 ms
tests[herbie]
benches/ci_benchmarking.rs+1%
255.4 ms253.7 ms
tests[taylor51]
benches/ci_benchmarking.rs+1%
4.3 s4.2 s
tests[python_array_optimize]
benches/ci_benchmarking.rs0%
6.9 s6.9 s
tests[python_array_optimize]
benches/ci_benchmarking.rs0%
5.6 s5.6 s
tests[typeinfer]
benches/ci_benchmarking.rs0%
240.3 ms239.8 ms
tests[eggcc-extraction]
benches/ci_benchmarking.rs0%
2 s2 s
tests[cykjson]
benches/ci_benchmarking.rs0%
531.1 ms531 ms
tests[taylor51]
benches/ci_benchmarking.rs0%
5.3 s5.3 s
tests[math-microbenchmark]
benches/ci_benchmarking.rs0%
8.6 s8.6 s
Commits
Click on a commit to change the comparison rangeBase
main
912663b
+10.47%
try again on proof testing
f0ebe66
8 days ago
by oflatt-0.26%
rename to guard
ee2ca5d
2 days ago
by oflatt