GitHub Actions run on branch saulshanabrook-patch-4 - egraphs-good/egglog

run_example_cases[print-function]

benches/ci_benchmarking.rs

1.4 ms

run_example_cases[antiunify]

benches/ci_benchmarking.rs

2.8 ms

run_example_cases[prims]

benches/ci_benchmarking.rs

4 ms

run_example_cases[birewrite]

benches/ci_benchmarking.rs

1.9 ms

run_example_cases[push-pop]

benches/ci_benchmarking.rs

818 µs

run_example_cases[primitives]

benches/ci_benchmarking.rs

745.4 µs

run_example_cases[bool]

benches/ci_benchmarking.rs

1.8 ms

run_example_cases[points-to]

benches/ci_benchmarking.rs

2.8 ms

run_example_cases[bdd]

benches/ci_benchmarking.rs

14.3 ms

run_example_cases[python_array_optimize]

benches/ci_benchmarking.rs

4.8 s

run_example_cases[array]

benches/ci_benchmarking.rs

26.7 ms

run_example_cases[combined-nested]

benches/ci_benchmarking.rs

933.7 µs

run_example_cases[set_sort_function]

benches/ci_benchmarking.rs

734.7 µs

run_example_cases[stresstest_large_expr]

benches/ci_benchmarking.rs

1.5 s

run_example_cases[schedule-demo]

benches/ci_benchmarking.rs

2.3 ms

run_example_cases[before-proofs]

benches/ci_benchmarking.rs

1.9 ms

run_example_cases[stratified]

benches/ci_benchmarking.rs

1.2 ms

run_example_cases[set]

benches/ci_benchmarking.rs

2.9 ms

run_example_cases[tricky-type-checking]

benches/ci_benchmarking.rs

12.8 ms

run_example_cases[combinators]

benches/ci_benchmarking.rs

19.8 ms

run_example_cases[bitwise]

benches/ci_benchmarking.rs

924.3 µs

run_example_cases[string]

benches/ci_benchmarking.rs

623.4 µs

run_example_cases[string_quotes]

benches/ci_benchmarking.rs

499.7 µs

run_example_cases[complex-merge-func]

benches/ci_benchmarking.rs

1.1 ms

run_example_cases[repro-define]

benches/ci_benchmarking.rs

875.5 µs

run_example_cases[rat-pow-eval]

benches/ci_benchmarking.rs

3.8 ms

run_example_cases[rw-analysis]

benches/ci_benchmarking.rs

31.1 ms

run_example_cases[cyk]

benches/ci_benchmarking.rs

22.5 ms

run_example_cases[unstable-fn]

benches/ci_benchmarking.rs

6.6 ms

run_example_cases[complex-merge-prim]

benches/ci_benchmarking.rs

898.8 µs

run_example_cases[repro-desugar-143]

benches/ci_benchmarking.rs

10.2 ms

run_example_cases[bignum]

benches/ci_benchmarking.rs

1.1 ms

run_example_cases[repro-equal-constant]

benches/ci_benchmarking.rs

702.1 µs

run_example_cases[cykjson]

benches/ci_benchmarking.rs

477.4 ms

run_example_cases[typeinfer]

benches/ci_benchmarking.rs

265.3 ms

run_example_cases[repro-querybug3]

benches/ci_benchmarking.rs

2 ms

run_example_cases[repro-new-backend-delete]

benches/ci_benchmarking.rs

543 µs

run_example_cases[test-combined]

benches/ci_benchmarking.rs

1.5 ms

run_example_cases[subsume]

benches/ci_benchmarking.rs

1.7 ms

run_example_cases[typecheck]

benches/ci_benchmarking.rs

6.9 ms

run_example_cases[calc]

benches/ci_benchmarking.rs

6.1 ms

run_example_cases[repro-equal-constant2]

benches/ci_benchmarking.rs

709.8 µs

run_example_cases[eggcc-extraction]

benches/ci_benchmarking.rs

2.8 s

run_example_cases[container-rebuild]

benches/ci_benchmarking.rs

2.8 ms

run_example_cases[eqsolve]

benches/ci_benchmarking.rs

32 ms

run_example_cases[repro-noteqbug]

benches/ci_benchmarking.rs

926.5 µs

run_example_cases[repro-querybug4]

benches/ci_benchmarking.rs

798.3 µs

run_example_cases[repro-new-backend-prims]

benches/ci_benchmarking.rs

819.6 µs

run_example_cases[test-combined-steps]

benches/ci_benchmarking.rs

3.1 ms

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

benches/ci_benchmarking.rs

180.4 ms

run_example_cases[towers-of-hanoi]

benches/ci_benchmarking.rs

3.4 ms

run_example_cases[delete]

benches/ci_benchmarking.rs

666.1 µs

run_example_cases[unify]

benches/ci_benchmarking.rs

1.2 ms

run_example_cases[until]

benches/ci_benchmarking.rs

3.3 ms

run_example_cases[datatypes]

benches/ci_benchmarking.rs

774.8 µs

run_example_cases[vec]

benches/ci_benchmarking.rs

1.9 ms

run_example_cases[repro-unsound-htutorial]

benches/ci_benchmarking.rs

1 ms

run_example_cases[type-constraints-tests]

benches/ci_benchmarking.rs

578.8 µs

run_example_cases[unification-points-to]

benches/ci_benchmarking.rs

10.7 ms

run_example_cases[fail_wrong_assertion]

benches/ci_benchmarking.rs

1.6 ms

run_example_cases[eqsat-basic-multiset]

benches/ci_benchmarking.rs

4.2 ms

run_example_cases[fibonacci-demand]

benches/ci_benchmarking.rs

2.3 ms

run_example_cases[eqsat-basic]

benches/ci_benchmarking.rs

1.9 ms

run_example_cases[repro-querybug]

benches/ci_benchmarking.rs

1.1 ms

run_example_cases[repro-primitive-query]

benches/ci_benchmarking.rs

755.7 µs

run_example_cases[repro-should-saturate]

benches/ci_benchmarking.rs

617.7 µs

run_example_cases[fibonacci]

benches/ci_benchmarking.rs

1.2 ms

run_example_cases[extract-vec-bench]

benches/ci_benchmarking.rs

100 ms

run_example_cases[fusion]

benches/ci_benchmarking.rs

22.4 ms

run_example_cases[repro-silly-panic]

benches/ci_benchmarking.rs

958.9 µs

run_example_cases[subsume-relation]

benches/ci_benchmarking.rs

1 ms

run_example_cases[f64]

benches/ci_benchmarking.rs

1.4 ms

run_example_cases[repro-typechecking-schedule]

benches/ci_benchmarking.rs

432.8 µs

run_example_cases[merge_read]

benches/ci_benchmarking.rs

506.8 µs

run_example_cases[repro-unsound]

benches/ci_benchmarking.rs

384 ms

run_example_cases[repro-querybug2]

benches/ci_benchmarking.rs

759.2 µs

run_example_cases[repro-vec-unequal]

benches/ci_benchmarking.rs

1 ms

run_example_cases[intersection]

benches/ci_benchmarking.rs

2.9 ms

run_example_cases[i64]

benches/ci_benchmarking.rs

412.7 µs

run_example_cases[naturals]

benches/ci_benchmarking.rs

3.5 ms

run_example_cases[herbie]

benches/ci_benchmarking.rs

260.2 ms

run_example_cases[integer_math]

benches/ci_benchmarking.rs

13.3 ms

run_example_cases[repro-empty-query]

benches/ci_benchmarking.rs

682.6 µs

run_example_cases[multiset]

benches/ci_benchmarking.rs

3.5 ms

run_example_cases[include]

benches/ci_benchmarking.rs

1.3 ms

run_example_cases[name-resolution]

benches/ci_benchmarking.rs

1.3 ms

run_example_cases[knapsack]

benches/ci_benchmarking.rs

7.8 ms

run_example_cases[resolution]

benches/ci_benchmarking.rs

4.8 ms

run_example_cases[map]

benches/ci_benchmarking.rs

785.5 µs

run_example_cases[pathproof]

benches/ci_benchmarking.rs

1.7 ms

run_example_cases[math]

benches/ci_benchmarking.rs

38.5 ms

run_example_cases[math-microbenchmark]

benches/ci_benchmarking.rs

8.6 s

run_example_cases[path]

benches/ci_benchmarking.rs

1.3 ms

run_example_cases[list]

benches/ci_benchmarking.rs

4.9 ms

run_example_cases[path-union]

benches/ci_benchmarking.rs

1.5 ms

run_example_cases[herbie-tutorial]

benches/ci_benchmarking.rs

9.3 ms

run_example_cases[looking_up_global]

benches/ci_benchmarking.rs

577 µs

run_example_cases[looking_up_nonconstructor_in_rewrite_good]

benches/ci_benchmarking.rs

632.3 µs

run_example_cases[interval]

benches/ci_benchmarking.rs

2 ms

run_example_cases[matrix]

benches/ci_benchmarking.rs

10.1 ms

run_example_cases[levenshtein-distance]

benches/ci_benchmarking.rs

19.4 ms

run_example_cases[merge-saturates]

benches/ci_benchmarking.rs

3.3 ms

run_example_cases[merge-during-rebuild]

benches/ci_benchmarking.rs

1.3 ms

run_example_cases[lambda]

benches/ci_benchmarking.rs

80.6 ms

run_example_cases[array]

benches/ci_benchmarking.rs

24.3 ms

run_example_cases[complex-merge-func]

benches/ci_benchmarking.rs

1.3 ms

run_example_cases[cykjson]

benches/ci_benchmarking.rs

317.9 ms

run_example_cases[herbie-tutorial]

benches/ci_benchmarking.rs

14.2 ms

run_example_cases[repro-equal-constant]

benches/ci_benchmarking.rs

610.2 µs

run_example_cases[repro-querybug]

benches/ci_benchmarking.rs

1.3 ms

run_example_cases[knapsack]

benches/ci_benchmarking.rs

11.1 ms

run_example_cases[fibonacci]

benches/ci_benchmarking.rs

1.4 ms

run_example_cases[stresstest_large_expr]

benches/ci_benchmarking.rs

1.6 s

run_example_cases[string]

benches/ci_benchmarking.rs

524.1 µs

run_example_cases[pathproof]

benches/ci_benchmarking.rs

2 ms

run_example_cases[print-function]

benches/ci_benchmarking.rs

2.5 ms

run_example_cases[repro-define]

benches/ci_benchmarking.rs

992.1 µs

run_example_cases[prims]

benches/ci_benchmarking.rs

5.4 ms

run_example_cases[repro-querybug2]

benches/ci_benchmarking.rs

848.7 µs

run_example_cases[repro-silly-panic]

benches/ci_benchmarking.rs

1.1 ms

run_example_cases[towers-of-hanoi]

benches/ci_benchmarking.rs

4 ms

run_example_cases[antiunify]

benches/ci_benchmarking.rs

3.1 ms

run_example_cases[herbie]

benches/ci_benchmarking.rs

294.8 ms

run_example_cases[string_quotes]

benches/ci_benchmarking.rs

480.3 µs

run_example_cases[merge-saturates]

benches/ci_benchmarking.rs

9 ms

run_example_cases[delete]

benches/ci_benchmarking.rs

641.4 µs

run_example_cases[primitives]

benches/ci_benchmarking.rs

658.7 µs

run_example_cases[typecheck]

benches/ci_benchmarking.rs

10 ms

run_example_cases[eqsat-basic]

benches/ci_benchmarking.rs

2.3 ms

run_example_cases[container-rebuild]

benches/ci_benchmarking.rs

5.3 ms

run_example_cases[subsume-relation]

benches/ci_benchmarking.rs

1.4 ms

run_example_cases[repro-querybug3]

benches/ci_benchmarking.rs

2.4 ms

run_example_cases[integer_math]

benches/ci_benchmarking.rs

14.1 ms

run_example_cases[interval]

benches/ci_benchmarking.rs

2.6 ms

run_example_cases[python_array_optimize]

benches/ci_benchmarking.rs

7.5 s

run_example_cases[extract-vec-bench]

benches/ci_benchmarking.rs

144.9 ms

run_example_cases[cyk]

benches/ci_benchmarking.rs

28.1 ms

run_example_cases[vec]

benches/ci_benchmarking.rs

2.3 ms

run_example_cases[list]

benches/ci_benchmarking.rs

7 ms

run_example_cases[birewrite]

benches/ci_benchmarking.rs

2.5 ms

run_example_cases[matrix]

benches/ci_benchmarking.rs

13.9 ms

run_example_cases[map]

benches/ci_benchmarking.rs

805.3 µs

run_example_cases[repro-unsound]

benches/ci_benchmarking.rs

315.3 ms

run_example_cases[typeinfer]

benches/ci_benchmarking.rs

357.8 ms

run_example_cases[repro-new-backend-prims]

benches/ci_benchmarking.rs

870.9 µs

run_example_cases[complex-merge-prim]

benches/ci_benchmarking.rs

921.5 µs

run_example_cases[name-resolution]

benches/ci_benchmarking.rs

1.8 ms

run_example_cases[schedule-demo]

benches/ci_benchmarking.rs

4.3 ms

run_example_cases[unify]

benches/ci_benchmarking.rs

1.4 ms

run_example_cases[lambda]

benches/ci_benchmarking.rs

111.4 ms

run_example_cases[test-combined]

benches/ci_benchmarking.rs

2.1 ms

run_example_cases[bdd]

benches/ci_benchmarking.rs

18 ms

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

benches/ci_benchmarking.rs

244.6 ms

run_example_cases[looking_up_nonconstructor_in_rewrite_good]

benches/ci_benchmarking.rs

553.3 µs

run_example_cases[combined-nested]

benches/ci_benchmarking.rs

1.1 ms

run_example_cases[repro-empty-query]

benches/ci_benchmarking.rs

637.3 µs

run_example_cases[repro-vec-unequal]

benches/ci_benchmarking.rs

1.3 ms

run_example_cases[math-microbenchmark]

benches/ci_benchmarking.rs

8.7 s

run_example_cases[include]

benches/ci_benchmarking.rs

1.9 ms

run_example_cases[subsume]

benches/ci_benchmarking.rs

2 ms

run_example_cases[fail_wrong_assertion]

benches/ci_benchmarking.rs

1.8 ms

run_example_cases[path]

benches/ci_benchmarking.rs

1.7 ms

run_example_cases[levenshtein-distance]

benches/ci_benchmarking.rs

28.7 ms

run_example_cases[i64]

benches/ci_benchmarking.rs

328.7 µs

run_example_cases[repro-typechecking-schedule]

benches/ci_benchmarking.rs

327.5 µs

run_example_cases[bitwise]

benches/ci_benchmarking.rs

922.4 µs

run_example_cases[intersection]

benches/ci_benchmarking.rs

4.9 ms

run_example_cases[repro-unsound-htutorial]

benches/ci_benchmarking.rs

1.1 ms

run_example_cases[fibonacci-demand]

benches/ci_benchmarking.rs

3.3 ms

run_example_cases[tricky-type-checking]

benches/ci_benchmarking.rs

15.2 ms

run_example_cases[points-to]

benches/ci_benchmarking.rs

4 ms

run_example_cases[repro-desugar-143]

benches/ci_benchmarking.rs

13.4 ms

run_example_cases[test-combined-steps]

benches/ci_benchmarking.rs

5.5 ms

run_example_cases[fusion]

benches/ci_benchmarking.rs

27.5 ms

run_example_cases[eqsat-basic-multiset]

benches/ci_benchmarking.rs

5.3 ms

run_example_cases[eggcc-extraction]

benches/ci_benchmarking.rs

2.9 s

run_example_cases[math]

benches/ci_benchmarking.rs

35.8 ms

run_example_cases[repro-equal-constant2]

benches/ci_benchmarking.rs

642.3 µs

run_example_cases[unification-points-to]

benches/ci_benchmarking.rs

16.1 ms

run_example_cases[multiset]

benches/ci_benchmarking.rs

4.4 ms

run_example_cases[combinators]

benches/ci_benchmarking.rs

21.9 ms

run_example_cases[repro-new-backend-delete]

benches/ci_benchmarking.rs

527.4 µs

run_example_cases[unstable-fn]

benches/ci_benchmarking.rs

10.6 ms

run_example_cases[rat-pow-eval]

benches/ci_benchmarking.rs

4.8 ms

run_example_cases[f64]

benches/ci_benchmarking.rs

1.4 ms

run_example_cases[until]

benches/ci_benchmarking.rs

4.5 ms

run_example_cases[rw-analysis]

benches/ci_benchmarking.rs

36.4 ms

run_example_cases[looking_up_global]

benches/ci_benchmarking.rs

522.7 µs

run_example_cases[repro-querybug4]

benches/ci_benchmarking.rs

896.6 µs

run_example_cases[repro-primitive-query]

benches/ci_benchmarking.rs

828.1 µs

run_example_cases[type-constraints-tests]

benches/ci_benchmarking.rs

443.1 µs

run_example_cases[naturals]

benches/ci_benchmarking.rs

5.9 ms

run_example_cases[bignum]

benches/ci_benchmarking.rs

1.1 ms

run_example_cases[before-proofs]

benches/ci_benchmarking.rs

2.7 ms

run_example_cases[bool]

benches/ci_benchmarking.rs

2.2 ms

run_example_cases[merge_read]

benches/ci_benchmarking.rs

431.6 µs

run_example_cases[set_sort_function]

benches/ci_benchmarking.rs

852.2 µs

run_example_cases[datatypes]

benches/ci_benchmarking.rs

687.2 µs

run_example_cases[repro-should-saturate]

benches/ci_benchmarking.rs

548 µs

run_example_cases[repro-noteqbug]

benches/ci_benchmarking.rs

1 ms

run_example_cases[stratified]

benches/ci_benchmarking.rs

1.6 ms

run_example_cases[eqsolve]

benches/ci_benchmarking.rs

27.8 ms

run_example_cases[push-pop]

benches/ci_benchmarking.rs

863.5 µs

run_example_cases[resolution]

benches/ci_benchmarking.rs

6.5 ms

run_example_cases[merge-during-rebuild]

benches/ci_benchmarking.rs

1.9 ms

run_example_cases[set]

benches/ci_benchmarking.rs

3.6 ms

run_example_cases[path-union]

benches/ci_benchmarking.rs

2 ms

run_example_cases[calc]

benches/ci_benchmarking.rs

9.4 ms

GitHub Actions run

Compare

Skipped (104)

Benchmarks