GitHub Actions run on branch oflatt-print-size-proofs - egraphs-good/egglog

GitHub Actions run

CPU SimulationWall Time

1 day ago 55fc777 oflatt-print-size-proofs pull_request

Compare

Base

Search a run

Head

Print-size preserve behavior in desugaring and proof mode

#808

oflatt-print-size-proofs

1 day ago

CPU SimulationWall Time

Compare

Suggested base runs: • •

212 total

tests[taylor51]

benches/ci_benchmarking.rs

5.3 s

tests[python_array_optimize]

benches/ci_benchmarking.rs

7 s

tests[math-microbenchmark]

benches/ci_benchmarking.rs

9.1 s

tests[math-microbenchmark]

benches/ci_benchmarking.rs

8.6 s

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

1.9 s

tests[repro-665-set-union]

benches/ci_benchmarking.rs

726.1 ms

tests[typeinfer]

benches/ci_benchmarking.rs

286 ms

tests[herbie]

benches/ci_benchmarking.rs

255.3 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

8.4 ms

tests[extract-vec-bench]

benches/ci_benchmarking.rs

84.8 ms

tests[eggcc-extraction]

benches/ci_benchmarking.rs

1.9 s

tests[repro-665-set-union]

benches/ci_benchmarking.rs

1.1 s

tests[extract-vec-bench]

benches/ci_benchmarking.rs

85.9 ms

tests[cykjson]

benches/ci_benchmarking.rs

531.1 ms

tests[typeinfer]

benches/ci_benchmarking.rs

239.9 ms

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

1.7 s

tests[taylor51]

benches/ci_benchmarking.rs

4.2 s

tests[cykjson]

benches/ci_benchmarking.rs

366.4 ms

tests[python_array_optimize]

benches/ci_benchmarking.rs

5.6 s

tests[herbie-tutorial]

benches/ci_benchmarking.rs

11.4 ms

tests[herbie]

benches/ci_benchmarking.rs

300.5 ms

tests[eggcc-extraction]

benches/ci_benchmarking.rs

2.1 s

The benchmarks below were skipped, so their baseline results are used instead.

tests[array]

benches/ci_benchmarking.rs

Skipped

27.2 ms*

tests[bdd]

benches/ci_benchmarking.rs

Skipped

14.7 ms*

tests[print-function]

benches/ci_benchmarking.rs

Skipped

1.4 ms*

Home Terms Privacy Docs