GitHub Actions run on branch main - egraphs-good/egglog

tests[antiunify]

benches/ci_benchmarking.rs

2.8 ms

tests[repro-querybug4]

benches/ci_benchmarking.rs

798.1 µs

tests[bdd]

benches/ci_benchmarking.rs

14.7 ms

tests[array]

benches/ci_benchmarking.rs

27.2 ms

tests[bitwise]

benches/ci_benchmarking.rs

926.1 µs

tests[map]

benches/ci_benchmarking.rs

786.2 µs

tests[before-proofs]

benches/ci_benchmarking.rs

2 ms

tests[repro-should-saturate]

benches/ci_benchmarking.rs

614.8 µs

tests[math-microbenchmark]

benches/ci_benchmarking.rs

8.4 s

tests[repro-silly-panic]

benches/ci_benchmarking.rs

961.4 µs

tests[repro-unsound]

benches/ci_benchmarking.rs

380.5 ms

tests[repro-typechecking-schedule]

benches/ci_benchmarking.rs

432.2 µs

tests[matrix]

benches/ci_benchmarking.rs

10.3 ms

tests[bignum]

benches/ci_benchmarking.rs

1.1 ms

tests[birewrite]

benches/ci_benchmarking.rs

1.9 ms

tests[repro-vec-unequal]

benches/ci_benchmarking.rs

1 ms

tests[math]

benches/ci_benchmarking.rs

38.7 ms

tests[rw-analysis]

benches/ci_benchmarking.rs

29.6 ms

tests[merge-saturates]

benches/ci_benchmarking.rs

3.4 ms

tests[schedule-demo]

benches/ci_benchmarking.rs

2.4 ms

tests[repro-unsound-htutorial]

benches/ci_benchmarking.rs

1 ms

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

1.5 s

tests[combinators]

benches/ci_benchmarking.rs

20.4 ms

tests[string_quotes]

benches/ci_benchmarking.rs

504.2 µs

tests[bool]

benches/ci_benchmarking.rs

1.8 ms

tests[merge-during-rebuild]

benches/ci_benchmarking.rs

1.3 ms

tests[repro-querybug]

benches/ci_benchmarking.rs

1.1 ms

tests[multiset]

benches/ci_benchmarking.rs

3.6 ms

tests[merge_read]

benches/ci_benchmarking.rs

509.8 µs

tests[resolution]

benches/ci_benchmarking.rs

4.9 ms

tests[set_sort_function]

benches/ci_benchmarking.rs

734.2 µs

tests[subsume]

benches/ci_benchmarking.rs

1.7 ms

tests[set]

benches/ci_benchmarking.rs

2.9 ms

tests[container-rebuild]

benches/ci_benchmarking.rs

2.8 ms

tests[combined-nested]

benches/ci_benchmarking.rs

933.6 µs

tests[stratified]

benches/ci_benchmarking.rs

1.2 ms

tests[naturals]

benches/ci_benchmarking.rs

3.6 ms

tests[type-constraints-tests]

benches/ci_benchmarking.rs

579 µs

tests[complex-merge-func]

benches/ci_benchmarking.rs

1.1 ms

tests[name-resolution]

benches/ci_benchmarking.rs

1.3 ms

tests[subsume-relation]

benches/ci_benchmarking.rs

1 ms

tests[towers-of-hanoi]

benches/ci_benchmarking.rs

3.4 ms

tests[pathproof]

benches/ci_benchmarking.rs

1.7 ms

tests[cyk]

benches/ci_benchmarking.rs

13.7 ms

tests[tricky-type-checking]

benches/ci_benchmarking.rs

14 ms

tests[calc]

benches/ci_benchmarking.rs

6.2 ms

tests[unification-points-to]

benches/ci_benchmarking.rs

10.9 ms

tests[test-combined-steps]

benches/ci_benchmarking.rs

3.1 ms

tests[path-union]

benches/ci_benchmarking.rs

1.5 ms

tests[cykjson]

benches/ci_benchmarking.rs

475.4 ms

tests[path]

benches/ci_benchmarking.rs

1.3 ms

tests[unstable-fn]

benches/ci_benchmarking.rs

6.7 ms

tests[eqsat-basic]

benches/ci_benchmarking.rs

1.9 ms

tests[until]

benches/ci_benchmarking.rs

3.4 ms

tests[primitives]

benches/ci_benchmarking.rs

751.2 µs

tests[unify]

benches/ci_benchmarking.rs

1.2 ms

tests[delete]

benches/ci_benchmarking.rs

661.5 µs

tests[string]

benches/ci_benchmarking.rs

625.4 µs

tests[vec]

benches/ci_benchmarking.rs

1.9 ms

tests[typecheck]

benches/ci_benchmarking.rs

7.3 ms

tests[datatypes]

benches/ci_benchmarking.rs

774.9 µs

tests[push-pop]

benches/ci_benchmarking.rs

825.2 µs

tests[typeinfer]

benches/ci_benchmarking.rs

270.3 ms

tests[test-combined]

benches/ci_benchmarking.rs

1.5 ms

tests[complex-merge-prim]

benches/ci_benchmarking.rs

901 µs

tests[points-to]

benches/ci_benchmarking.rs

2.8 ms

tests[prims]

benches/ci_benchmarking.rs

4 ms

tests[rat-pow-eval]

benches/ci_benchmarking.rs

3.9 ms

tests[fail_wrong_assertion]

benches/ci_benchmarking.rs

1.6 ms

tests[extract-vec-bench]

benches/ci_benchmarking.rs

101.5 ms

tests[print-function]

benches/ci_benchmarking.rs

1.4 ms

tests[f64]

benches/ci_benchmarking.rs

1.4 ms

tests[eggcc-extraction]

benches/ci_benchmarking.rs

2.5 s

tests[repro-define]

benches/ci_benchmarking.rs

884.9 µs

tests[fibonacci-demand]

benches/ci_benchmarking.rs

2.3 ms

tests[repro-665-set-union]

benches/ci_benchmarking.rs

818.5 ms

tests[python_array_optimize]

benches/ci_benchmarking.rs

6.7 s

tests[repro-equal-constant2]

benches/ci_benchmarking.rs

712.6 µs

tests[repro-primitive-query]

benches/ci_benchmarking.rs

743.3 µs

tests[repro-desugar-143]

benches/ci_benchmarking.rs

9.3 ms

tests[repro-querybug2]

benches/ci_benchmarking.rs

757.3 µs

tests[repro-new-backend-delete]

benches/ci_benchmarking.rs

544.1 µs

tests[eqsat-basic-multiset]

benches/ci_benchmarking.rs

4.3 ms

tests[repro-empty-query]

benches/ci_benchmarking.rs

678.1 µs

tests[repro-new-backend-prims]

benches/ci_benchmarking.rs

823.3 µs

tests[repro-new-backend-python-vec]

benches/ci_benchmarking.rs

181.9 ms

tests[fusion]

benches/ci_benchmarking.rs

23.1 ms

tests[eqsolve]

benches/ci_benchmarking.rs

32.6 ms

tests[repro-equal-constant]

benches/ci_benchmarking.rs

708.2 µs

tests[herbie-tutorial]

benches/ci_benchmarking.rs

9.4 ms

tests[repro-noteqbug]

benches/ci_benchmarking.rs

921.5 µs

tests[repro-querybug3]

benches/ci_benchmarking.rs

2 ms

tests[herbie]

benches/ci_benchmarking.rs

262.9 ms

tests[looking_up_nonconstructor_in_rewrite_good]

benches/ci_benchmarking.rs

636.2 µs

tests[i64]

benches/ci_benchmarking.rs

416.5 µs

tests[knapsack]

benches/ci_benchmarking.rs

8 ms

tests[interval]

benches/ci_benchmarking.rs

2 ms

tests[integer_math]

benches/ci_benchmarking.rs

13.4 ms

tests[fibonacci]

benches/ci_benchmarking.rs

1.2 ms

tests[intersection]

benches/ci_benchmarking.rs

2.9 ms

tests[include]

benches/ci_benchmarking.rs

1.3 ms

tests[list]

benches/ci_benchmarking.rs

4.9 ms

tests[looking_up_global]

benches/ci_benchmarking.rs

572.7 µs

tests[lambda]

benches/ci_benchmarking.rs

82.8 ms

tests[levenshtein-distance]

benches/ci_benchmarking.rs

20 ms

tests[prims]

benches/ci_benchmarking.rs

5.5 ms

tests[map]

benches/ci_benchmarking.rs

786.6 µs

tests[repro-querybug3]

benches/ci_benchmarking.rs

2.4 ms

tests[subsume]

benches/ci_benchmarking.rs

2 ms

tests[merge_read]

benches/ci_benchmarking.rs

441.6 µs

tests[push-pop]

benches/ci_benchmarking.rs

879.2 µs

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

1.6 s

tests[repro-unsound]

benches/ci_benchmarking.rs

309.9 ms

tests[container-rebuild]

benches/ci_benchmarking.rs

5.3 ms

tests[knapsack]

benches/ci_benchmarking.rs

11.1 ms

tests[before-proofs]

benches/ci_benchmarking.rs

2.7 ms

tests[lambda]

benches/ci_benchmarking.rs

111.7 ms

tests[antiunify]

benches/ci_benchmarking.rs

3.1 ms

tests[combinators]

benches/ci_benchmarking.rs

22.2 ms

tests[subsume-relation]

benches/ci_benchmarking.rs

1.4 ms

tests[type-constraints-tests]

benches/ci_benchmarking.rs

450.8 µs

tests[math]

benches/ci_benchmarking.rs

35.7 ms

tests[include]

benches/ci_benchmarking.rs

1.8 ms

tests[until]

benches/ci_benchmarking.rs

4.6 ms

tests[intersection]

benches/ci_benchmarking.rs

4.8 ms

tests[complex-merge-func]

benches/ci_benchmarking.rs

1.2 ms

tests[eqsat-basic]

benches/ci_benchmarking.rs

2.3 ms

tests[math-microbenchmark]

benches/ci_benchmarking.rs

8.8 s

tests[repro-define]

benches/ci_benchmarking.rs

1 ms

tests[test-combined-steps]

benches/ci_benchmarking.rs

5.5 ms

tests[print-function]

benches/ci_benchmarking.rs

2.6 ms

tests[path-union]

benches/ci_benchmarking.rs

2 ms

tests[merge-during-rebuild]

benches/ci_benchmarking.rs

1.9 ms

tests[repro-new-backend-prims]

benches/ci_benchmarking.rs

881.9 µs

tests[repro-empty-query]

benches/ci_benchmarking.rs

662.8 µs

tests[fail_wrong_assertion]

benches/ci_benchmarking.rs

1.8 ms

tests[rw-analysis]

benches/ci_benchmarking.rs

34.6 ms

tests[datatypes]

benches/ci_benchmarking.rs

690.2 µs

tests[repro-querybug2]

benches/ci_benchmarking.rs

906.5 µs

tests[bitwise]

benches/ci_benchmarking.rs

904.6 µs

tests[repro-primitive-query]

benches/ci_benchmarking.rs

830.1 µs

tests[eqsat-basic-multiset]

benches/ci_benchmarking.rs

5.3 ms

tests[repro-equal-constant2]

benches/ci_benchmarking.rs

650.4 µs

tests[combined-nested]

benches/ci_benchmarking.rs

1.1 ms

tests[fibonacci]

benches/ci_benchmarking.rs

1.4 ms

tests[repro-noteqbug]

benches/ci_benchmarking.rs

1.1 ms

tests[levenshtein-distance]

benches/ci_benchmarking.rs

29 ms

tests[repro-desugar-143]

benches/ci_benchmarking.rs

12.3 ms

tests[repro-equal-constant]

benches/ci_benchmarking.rs

606 µs

tests[primitives]

benches/ci_benchmarking.rs

665.9 µs

tests[pathproof]

benches/ci_benchmarking.rs

2 ms

tests[naturals]

benches/ci_benchmarking.rs

6 ms

tests[cykjson]

benches/ci_benchmarking.rs

315.3 ms

tests[typecheck]

benches/ci_benchmarking.rs

10.2 ms

tests[repro-new-backend-delete]

benches/ci_benchmarking.rs

526.1 µs

tests[extract-vec-bench]

benches/ci_benchmarking.rs

147.1 ms

tests[repro-unsound-htutorial]

benches/ci_benchmarking.rs

1.2 ms

tests[birewrite]

benches/ci_benchmarking.rs

2.5 ms

tests[fusion]

benches/ci_benchmarking.rs

27.6 ms

tests[merge-saturates]

benches/ci_benchmarking.rs

9.1 ms

tests[eqsolve]

benches/ci_benchmarking.rs

28.2 ms

tests[bool]

benches/ci_benchmarking.rs

2.2 ms

tests[repro-typechecking-schedule]

benches/ci_benchmarking.rs

333.2 µs

tests[schedule-demo]

benches/ci_benchmarking.rs

4.4 ms

tests[cyk]

benches/ci_benchmarking.rs

19.5 ms

tests[herbie]

benches/ci_benchmarking.rs

293.3 ms

tests[set]

benches/ci_benchmarking.rs

3.6 ms

tests[multiset]

benches/ci_benchmarking.rs

4.4 ms

tests[unification-points-to]

benches/ci_benchmarking.rs

16 ms

tests[path]

benches/ci_benchmarking.rs

1.7 ms

tests[vec]

benches/ci_benchmarking.rs

2.3 ms

tests[repro-querybug4]

benches/ci_benchmarking.rs

902 µs

tests[fibonacci-demand]

benches/ci_benchmarking.rs

3.3 ms

tests[f64]

benches/ci_benchmarking.rs

1.4 ms

tests[bignum]

benches/ci_benchmarking.rs

1.1 ms

tests[unstable-fn]

benches/ci_benchmarking.rs

10.7 ms

tests[resolution]

benches/ci_benchmarking.rs

6.6 ms

tests[string_quotes]

benches/ci_benchmarking.rs

458.5 µs

tests[points-to]

benches/ci_benchmarking.rs

4 ms

tests[test-combined]

benches/ci_benchmarking.rs

2.1 ms

tests[interval]

benches/ci_benchmarking.rs

2.6 ms

tests[unify]

benches/ci_benchmarking.rs

1.4 ms

tests[repro-silly-panic]

benches/ci_benchmarking.rs

1.2 ms

tests[set_sort_function]

benches/ci_benchmarking.rs

869.9 µs

tests[bdd]

benches/ci_benchmarking.rs

18.1 ms

tests[calc]

benches/ci_benchmarking.rs

9.4 ms

tests[name-resolution]

benches/ci_benchmarking.rs

1.8 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

14.1 ms

tests[i64]

benches/ci_benchmarking.rs

303.4 µs

tests[list]

benches/ci_benchmarking.rs

7 ms

tests[repro-665-set-union]

benches/ci_benchmarking.rs

1.1 s

tests[looking_up_nonconstructor_in_rewrite_good]

benches/ci_benchmarking.rs

509.8 µs

tests[integer_math]

benches/ci_benchmarking.rs

14.1 ms

tests[array]

benches/ci_benchmarking.rs

24.5 ms

tests[matrix]

benches/ci_benchmarking.rs

14 ms

tests[typeinfer]

benches/ci_benchmarking.rs

358.9 ms

tests[complex-merge-prim]

benches/ci_benchmarking.rs

905.1 µs

tests[tricky-type-checking]

benches/ci_benchmarking.rs

16 ms

tests[eggcc-extraction]

benches/ci_benchmarking.rs

2.6 s

tests[stratified]

benches/ci_benchmarking.rs

1.7 ms

tests[delete]

benches/ci_benchmarking.rs

626.7 µs

tests[string]

benches/ci_benchmarking.rs

525.5 µs

tests[rat-pow-eval]

benches/ci_benchmarking.rs

4.8 ms

tests[repro-new-backend-python-vec]

benches/ci_benchmarking.rs

245.7 ms

tests[towers-of-hanoi]

benches/ci_benchmarking.rs

4 ms

tests[looking_up_global]

benches/ci_benchmarking.rs

516.8 µs

tests[repro-should-saturate]

benches/ci_benchmarking.rs

545.8 µs

tests[python_array_optimize]

benches/ci_benchmarking.rs

9.2 s

tests[repro-querybug]

benches/ci_benchmarking.rs

1.3 ms

tests[repro-vec-unequal]

benches/ci_benchmarking.rs

1.4 ms

GitHub Actions run

Compare

Benchmarks