GitHub Actions run
CPU SimulationWall Time
14 days ago 3af3f4d oflatt-exec-state-fix 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
CompareExectionState refactor for safety wrt semi-naive
#856
oflatt-exec-state-fix
14 days ago
CPU SimulationWall Time
240 total
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs34.6 ms
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs26.8 ms
tests[rectangle]
benches/ci_benchmarking.rs12.1 s
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs548 µs
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs12.7 ms
tests[stresstest_large_expr]
benches/ci_benchmarking.rs1.6 s
tests[eggcc-2mm]
benches/ci_benchmarking.rs9.9 s
tests[typeinfer]
benches/ci_benchmarking.rs129.3 ms
tests[cykjson]
benches/ci_benchmarking.rs320 ms
tests[factoring-multisets]
benches/ci_benchmarking.rs73.1 ms
tests[math-microbenchmark]
benches/ci_benchmarking.rs8 s
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs345.9 µs
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs209.1 ms
tests[repro-665-set-union]
benches/ci_benchmarking.rs625.2 ms
tests[proof_testing_unify]
benches/ci_benchmarking.rs17.9 ms
tests[python_array_optimize]
benches/ci_benchmarking.rs1.5 s
tests[cykjson]
benches/ci_benchmarking.rs440.1 ms
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs280.7 ms
tests[taylor51]
benches/ci_benchmarking.rs5.3 s
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs134.5 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs75.9 ms
tests[eggcc-extraction]
benches/ci_benchmarking.rs1.6 s
tests[hardboiled_conv1d_128]
benches/ci_benchmarking.rs2.9 s
tests[extract-vec-bench]
benches/ci_benchmarking.rs78.8 ms
tests[factoring-multisets]
benches/ci_benchmarking.rs75.4 ms