GitHub Actions run
CPU SimulationWall Time
3 days ago 14324e6 oflatt-proofs-encoding-2 pull_requestThis 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
CompareProof encoding in egglog itself
#770
oflatt-proofs-encoding-2
3 days ago
CPU SimulationWall Time
212 total
tests[extract-vec-bench]
benches/ci_benchmarking.rs85.3 ms
tests[typeinfer]
benches/ci_benchmarking.rs240.5 ms
tests[taylor51]
benches/ci_benchmarking.rs5.2 s
tests[python_array_optimize]
benches/ci_benchmarking.rs7 s
tests[repro-665-set-union]
benches/ci_benchmarking.rs729.4 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs11.4 ms
tests[herbie]
benches/ci_benchmarking.rs302.5 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs84.2 ms
tests[taylor51]
benches/ci_benchmarking.rs4.3 s
tests[eggcc-extraction]
benches/ci_benchmarking.rs1.9 s
tests[cykjson]
benches/ci_benchmarking.rs367.8 ms
tests[math-microbenchmark]
benches/ci_benchmarking.rs9.2 s
tests[math-microbenchmark]
benches/ci_benchmarking.rs8.6 s
tests[stresstest_large_expr]
benches/ci_benchmarking.rs1.8 s
tests[cykjson]
benches/ci_benchmarking.rs531.4 ms
tests[herbie]
benches/ci_benchmarking.rs260.5 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs8.6 ms
tests[typeinfer]
benches/ci_benchmarking.rs284.6 ms
tests[repro-665-set-union]
benches/ci_benchmarking.rs1 s
tests[eggcc-extraction]
benches/ci_benchmarking.rs2.1 s
tests[stresstest_large_expr]
benches/ci_benchmarking.rs1.7 s
tests[python_array_optimize]
benches/ci_benchmarking.rs5.7 s
The benchmarks below were skipped, so their baseline results are used instead.
tests[array]
benches/ci_benchmarking.rsSkipped
27.2 ms*
tests[bdd]
benches/ci_benchmarking.rsSkipped
14.7 ms*
tests[print-function]
benches/ci_benchmarking.rsSkipped
1.4 ms*