GitHub Actions run on branch oflatt-proofs-encoding-2 - egraphs-good/egglog

GitHub Actions run

CPU SimulationWall Time

3 days ago edbe20d oflatt-proofs-encoding-2 pull_request

This run is associated to a commit that was force-pushed

It will not be associated with its branch history. Be careful when comparing its performance to other runs.

Compare

Base

Search a run

Head

Proof encoding in egglog itself

#770

oflatt-proofs-encoding-2

3 days ago

CPU SimulationWall Time

Compare

Suggested base runs:

212 total

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.8 s

tests[cykjson]

benches/ci_benchmarking.rs

531.5 ms

tests[herbie]

benches/ci_benchmarking.rs

260.6 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

8.6 ms

tests[typeinfer]

benches/ci_benchmarking.rs

285.5 ms

tests[repro-665-set-union]

benches/ci_benchmarking.rs

1 s

tests[eggcc-extraction]

benches/ci_benchmarking.rs

2.1 s

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

1.7 s

tests[python_array_optimize]

benches/ci_benchmarking.rs

5.7 s

tests[extract-vec-bench]

benches/ci_benchmarking.rs

85.6 ms

tests[taylor51]

benches/ci_benchmarking.rs

5.2 s

tests[extract-vec-bench]

benches/ci_benchmarking.rs

84.2 ms

tests[python_array_optimize]

benches/ci_benchmarking.rs

6.9 s

tests[repro-665-set-union]

benches/ci_benchmarking.rs

731.6 ms

tests[herbie]

benches/ci_benchmarking.rs

301.7 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

11.5 ms

tests[typeinfer]

benches/ci_benchmarking.rs

240.6 ms

tests[taylor51]

benches/ci_benchmarking.rs

4.3 s

tests[eggcc-extraction]

benches/ci_benchmarking.rs

1.9 s

tests[cykjson]

benches/ci_benchmarking.rs

366.1 ms

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