GitHub Actions run on branch oflatt-exec-state-fix - egraphs-good/egglog

GitHub Actions run

CPU SimulationWall Time

14 days ago 14852cc oflatt-exec-state-fix 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

ExectionState refactor for safety wrt semi-naive

#856

oflatt-exec-state-fix

14 days ago

CPU SimulationWall Time

Compare

Suggested base runs: •

240 total

tests[cykjson]

benches/ci_benchmarking.rs

440.2 ms

rust_rule_match_with_serialize[rule_run_1]

benches/rust_api_benchmarking.rs

286.1 ms

tests[factoring-multisets]

benches/ci_benchmarking.rs

73.8 ms

tests[rectangle]

benches/ci_benchmarking.rs

12.1 s

tests[taylor51]

benches/ci_benchmarking.rs

5.3 s

tests[luminal-llama]

benches/ci_benchmarking.rs

533.3 ms

tests[hardboiled_conv1d_128]

benches/ci_benchmarking.rs

2.9 s

tests[hardboiled_conv1d_32]

benches/ci_benchmarking.rs

963.3 ms

tests[eggcc-2mm]

benches/ci_benchmarking.rs

10 s

rust_rule_fib[rule_run_1000]

benches/rust_api_benchmarking.rs

209 ms

tests[typeinfer]

benches/ci_benchmarking.rs

129.3 ms

tests[math-microbenchmark]

benches/ci_benchmarking.rs

8 s

tests[proof_testing_typecheck]

benches/ci_benchmarking.rs

127.6 ms

rust_rule_insert_loop[ops1000_funcs200]

benches/rust_api_benchmarking.rs

548.5 µs

tests[proof_testing_eqsat-basic]

benches/ci_benchmarking.rs

26.9 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

11.1 ms

rust_rule_match_overhead[rule_run_1]

benches/rust_api_benchmarking.rs

12.7 ms

rust_rule_tableaction_hot_path[facts50000_funcs200]

benches/rust_api_benchmarking.rs

34.6 ms

tests[herbie]

benches/ci_benchmarking.rs

187.9 ms

tests[luminal-llama]

benches/ci_benchmarking.rs

642.8 ms

tests[extract-vec-bench]

benches/ci_benchmarking.rs

76 ms

tests[eggcc-extraction]

benches/ci_benchmarking.rs

1.5 s

rust_rule_fib[rule_run_1000]

benches/rust_api_benchmarking.rs

280.7 ms

tests[repro-665-set-union]

benches/ci_benchmarking.rs

954 ms

tests[hardboiled_conv1d_32]

benches/ci_benchmarking.rs

860 ms

Home Terms Privacy Docs