saulshanabrook:codex/split-scheduler-fresh-rematch - Branch - egraphs-good/egglog

Add fresh-rematch scheduler API

#883

Comparing

saulshanabrook:codex/split-scheduler-fresh-rematch

(

f7fd3ac

) with

main

(

8c1c70b

)

-5%

Regression: 1

Untouched: 49

Skipped: 190

Benchmarks

240 total

tests[proof_testing_eqsat-basic]

benches/ci_benchmarking.rs

-5%

27.1 ms28.6 ms

rust_rule_insert_loop[ops1000_funcs200]

benches/rust_api_benchmarking.rs

+2%

347.6 µs339.9 µs

tests[math-microbenchmark]

benches/ci_benchmarking.rs

+2%

8.9 s8.8 s

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

+2%

1.7 s1.6 s

tests[eggcc-2mm]

benches/ci_benchmarking.rs

+2%

7.9 s7.7 s

tests[factoring-multisets]

benches/ci_benchmarking.rs

+1%

74.3 ms73.3 ms

tests[extract-vec-bench]

benches/ci_benchmarking.rs

+1%

81.7 ms80.8 ms

tests[hardboiled_conv1d_32]

benches/ci_benchmarking.rs

+1%

869.1 ms862.9 ms

tests[hardboiled_conv1d_128]

benches/ci_benchmarking.rs

2.4 s2.4 s

tests[repro-665-set-union]

benches/ci_benchmarking.rs

933.6 ms929.9 ms

tests[proof_testing_typecheck]

benches/ci_benchmarking.rs

136.4 ms135.9 ms

rust_rule_tableaction_hot_path[facts50000_funcs200]

benches/rust_api_benchmarking.rs

28.8 ms28.7 ms

rust_rule_match_with_serialize[rule_run_1]

benches/rust_api_benchmarking.rs

286.9 ms286.1 ms

tests[eggcc-extraction]

benches/ci_benchmarking.rs

1.5 s1.5 s

tests[proof_testing_unify]

benches/ci_benchmarking.rs

16.3 ms16.3 ms

tests[factoring-multisets]

benches/ci_benchmarking.rs

71.8 ms71.7 ms

tests[hardboiled_conv1d_32]

benches/ci_benchmarking.rs

963.9 ms963.1 ms

rust_rule_insert_loop[ops1000_funcs200]

benches/rust_api_benchmarking.rs

548.5 µs548.1 µs

tests[hardboiled_conv1d_128]

benches/ci_benchmarking.rs

2.9 s2.9 s

tests[eggcc-2mm]

benches/ci_benchmarking.rs

10 s10 s

tests[typeinfer]

benches/ci_benchmarking.rs

108.1 ms108 ms

tests[math-microbenchmark]

benches/ci_benchmarking.rs

8 s8 s

rust_rule_fib[rule_run_1000]

benches/rust_api_benchmarking.rs

280.7 ms280.7 ms

rust_rule_match_overhead[rule_run_1]

benches/rust_api_benchmarking.rs

12.7 ms12.7 ms

tests[rectangle]

benches/ci_benchmarking.rs

12.1 s12.1 s

Commits

Click on a commit to change the comparison range

Base

main

8c1c70b

-5.24%

scheduler: add fresh rematch variant

f7fd3ac

15 days ago

by saulshanabrook

Home Terms Privacy Docs