Add eggcc 3mm test file
#824Comparing
oflatt-3mm
(0b6e08b
) withmain
(afd5c07
)0%
- Untouched
- 28
- Skipped
- 190
Benchmarks
218 total
tests[proof_testing_unify]
benches/ci_benchmarking.rs+1%
21.4 ms21.2 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs+1%
78.3 ms77.6 ms
tests[python_array_optimize]
benches/ci_benchmarking.rs+1%
7 s6.9 s
tests[cykjson]
benches/ci_benchmarking.rs0%
370.1 ms368.4 ms
tests[repro-665-set-union]
benches/ci_benchmarking.rs0%
1 s1 s
tests[herbie]
benches/ci_benchmarking.rs0%
289.4 ms288.1 ms
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs0%
37.8 ms37.6 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs0%
11 ms11 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs0%
78.8 ms78.7 ms
tests[repro-665-set-union]
benches/ci_benchmarking.rs0%
733.1 ms732.7 ms
tests[eggcc-extraction]
benches/ci_benchmarking.rs0%
2 s2 s
tests[herbie]
benches/ci_benchmarking.rs0%
253.9 ms253.9 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs0%
253 ms253 ms
tests[math-microbenchmark]
benches/ci_benchmarking.rs0%
8.6 s8.6 s
tests[cykjson]
benches/ci_benchmarking.rs0%
531.1 ms531.1 ms
tests[python_array_optimize]
benches/ci_benchmarking.rs0%
5.6 s5.6 s
tests[typeinfer]
benches/ci_benchmarking.rs0%
239.8 ms239.8 ms
tests[taylor51]
benches/ci_benchmarking.rs0%
5.3 s5.3 s
tests[stresstest_large_expr]
benches/ci_benchmarking.rs0%
1.6 s1.6 s
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs0%
269.9 ms270.2 ms
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs0%
36.5 ms36.6 ms
tests[taylor51]
benches/ci_benchmarking.rs0%
4.2 s4.2 s
tests[proof_testing_unify]
benches/ci_benchmarking.rs0%
20.5 ms20.5 ms
tests[stresstest_large_expr]
benches/ci_benchmarking.rs-1%
1.7 s1.7 s
tests[eggcc-extraction]
benches/ci_benchmarking.rs-1%
1.9 s1.9 s
Commits
Click on a commit to change the comparison rangeBase
main
afd5c07
+0.03%
3mm egg file
0b6e08b
2 days ago
by oflatt