GitHub Actions run on branch yihozhang-decomp - egraphs-good/egglog

GitHub Actions run

Wall TimeCPU Simulation

1 day ago 816131a yihozhang-decomp pull_request

Compare

Base

Search a run

Head

Tree decomposition

#785

yihozhang-decomp

1 day ago

Wall TimeCPU Simulation

Compare

Suggested base runs: •

234 total

tests[hardboiled_conv1d_128]

benches/ci_benchmarking.rs

21 s

tests[hardboiled_conv1d_32]

benches/ci_benchmarking.rs

3.1 s

tests[rectangle]

benches/ci_benchmarking.rs

11.6 s

tests[eggcc-extraction]

benches/ci_benchmarking.rs

1.8 s

rust_rule_match_with_serialize[rule_run_1]

benches/rust_api_benchmarking.rs

301.5 ms

tests[proof_testing_typecheck]

benches/ci_benchmarking.rs

275 ms

tests[hardboiled_conv1d_128]

benches/ci_benchmarking.rs

26.5 s

rust_rule_match_overhead[rule_run_1]

benches/rust_api_benchmarking.rs

27.3 ms

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

1.6 s

rust_rule_insert_loop[ops1000_funcs200]

benches/rust_api_benchmarking.rs

438.2 µs

rust_rule_match_overhead[rule_run_1]

benches/rust_api_benchmarking.rs

18.6 ms

tests[taylor51]

benches/ci_benchmarking.rs

4.4 s

tests[taylor51]

benches/ci_benchmarking.rs

5.4 s

rust_rule_tableaction_hot_path[facts50000_funcs200]

benches/rust_api_benchmarking.rs

881.7 ms

tests[herbie]

benches/ci_benchmarking.rs

235.5 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

8.8 ms

tests[typeinfer]

benches/ci_benchmarking.rs

240 ms

rust_rule_fib[rule_run_1000]

benches/rust_api_benchmarking.rs

402 ms

tests[cykjson]

benches/ci_benchmarking.rs

517 ms

tests[extract-vec-bench]

benches/ci_benchmarking.rs

85.5 ms

tests[eggcc-extraction]

benches/ci_benchmarking.rs

1.8 s

tests[extract-vec-bench]

benches/ci_benchmarking.rs

83.4 ms

tests[math-microbenchmark]

benches/ci_benchmarking.rs

9.2 s

rust_rule_tableaction_hot_path[facts50000_funcs200]

benches/rust_api_benchmarking.rs

622.2 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

11.5 ms

Home Terms Privacy Docs