GitHub Actions run on branch yihozhang-less-preprocessing - egraphs-good/egglog

GitHub Actions run

Wall TimeCPU Simulation

4 hours ago dd6d0da yihozhang-less-preprocessing pull_request

Compare

Base

Search a run

Head

Avoiding create semi-naive rule instantiations when unnecessary.

#854

yihozhang-less-preprocessing

4 hours ago

Wall TimeCPU Simulation

Compare

Suggested base runs: • •

236 total

tests[typeinfer]

benches/ci_benchmarking.rs

148.3 ms

tests[extract-vec-bench]

benches/ci_benchmarking.rs

78.4 ms

tests[proof_testing_eqsat-basic]

benches/ci_benchmarking.rs

34.2 ms

tests[repro-665-set-union]

benches/ci_benchmarking.rs

980.7 ms

tests[hardboiled_conv1d_32]

benches/ci_benchmarking.rs

1.7 s

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

1.6 s

tests[repro-665-set-union]

benches/ci_benchmarking.rs

625.1 ms

rust_rule_tableaction_hot_path[facts50000_funcs200]

benches/rust_api_benchmarking.rs

39.5 ms

rust_rule_insert_loop[ops1000_funcs200]

benches/rust_api_benchmarking.rs

343.8 µs

tests[proof_testing_eqsat-basic]

benches/ci_benchmarking.rs

38.1 ms

tests[luminal-llama]

benches/ci_benchmarking.rs

573.2 ms

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

1.7 s

tests[math-microbenchmark]

benches/ci_benchmarking.rs

9.3 s

tests[herbie-tutorial]

benches/ci_benchmarking.rs

8.4 ms

tests[herbie]

benches/ci_benchmarking.rs

193.5 ms

tests[proof_testing_unify]

benches/ci_benchmarking.rs

24.2 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

11.3 ms

tests[herbie]

benches/ci_benchmarking.rs

216.5 ms

tests[hardboiled_conv1d_32]

benches/ci_benchmarking.rs

1.6 s

rust_rule_fib[rule_run_1000]

benches/rust_api_benchmarking.rs

394.8 ms

tests[hardboiled_conv1d_128]

benches/ci_benchmarking.rs

6.5 s

tests[python_array_optimize]

benches/ci_benchmarking.rs

2.9 s

rust_rule_match_with_serialize[rule_run_1]

benches/rust_api_benchmarking.rs

297.5 ms

tests[rectangle]

benches/ci_benchmarking.rs

12.3 s

tests[taylor51]

benches/ci_benchmarking.rs

4.4 s

Home Terms Privacy Docs