GitHub Actions run
CPU SimulationWall Time
16 hours ago fba0708 yihozhang-fix-chain-decomp pull_requestCompare
Base
Search a run
Head
Comparefix bag merging during topological sort for tree decomposition
#880
yihozhang-fix-chain-decomp
16 hours ago
CPU SimulationWall Time
240 total
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs12.3 ms
tests[taylor51]
benches/ci_benchmarking.rs5.3 s
tests[rectangle]
benches/ci_benchmarking.rs12.1 s
tests[math-microbenchmark]
benches/ci_benchmarking.rs8 s
tests[factoring-multisets]
benches/ci_benchmarking.rs67.4 ms
tests[eggcc-2mm]
benches/ci_benchmarking.rs9.9 s
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs139.2 ms
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs539.2 µs
tests[hardboiled_conv1d_128]
benches/ci_benchmarking.rs349.9 s
tests[python_array_optimize]
benches/ci_benchmarking.rs1.5 s
rust_rule_match_with_serialize[rule_run_1]
benches/rust_api_benchmarking.rs286.2 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs76.2 ms
tests[proof_testing_unify]
benches/ci_benchmarking.rs15.9 ms
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs338 µs
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs29.2 ms
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs208.5 ms
tests[luminal-llama]
benches/ci_benchmarking.rs639.1 ms
tests[hardboiled_conv1d_32]
benches/ci_benchmarking.rs871.6 ms
tests[taylor51]
benches/ci_benchmarking.rs4.4 s
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs34.1 ms
tests[herbie]
benches/ci_benchmarking.rs187.4 ms
tests[eggcc-extraction]
benches/ci_benchmarking.rs1.5 s
tests[factoring-multisets]
benches/ci_benchmarking.rs66.7 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs10.8 ms
tests[eggcc-extraction]
benches/ci_benchmarking.rs1.5 s