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

run_example_cases[before-proofs]

benches/ci_benchmarking.rs

1.9 ms

run_example_cases[antiunify]

benches/ci_benchmarking.rs

2.7 ms

run_example_cases[bdd]

benches/ci_benchmarking.rs

14.3 ms

run_example_cases[birewrite]

benches/ci_benchmarking.rs

1.9 ms

run_example_cases[array]

benches/ci_benchmarking.rs

26.8 ms

run_example_cases[bignum]

benches/ci_benchmarking.rs

1.1 ms

run_example_cases[points-to]

benches/ci_benchmarking.rs

2.8 ms

run_example_cases[bitwise]

benches/ci_benchmarking.rs

928.4 µs

run_example_cases[bool]

benches/ci_benchmarking.rs

1.8 ms

run_example_cases[calc]

benches/ci_benchmarking.rs

6.1 ms

run_example_cases[rat-pow-eval]

benches/ci_benchmarking.rs

3.8 ms

run_example_cases[container-rebuild]

benches/ci_benchmarking.rs

2.8 ms

run_example_cases[pathproof]

benches/ci_benchmarking.rs

1.7 ms

run_example_cases[combinators]

benches/ci_benchmarking.rs

19.9 ms

run_example_cases[cyk]

benches/ci_benchmarking.rs

22.5 ms

run_example_cases[push-pop]

benches/ci_benchmarking.rs

818.6 µs

run_example_cases[complex-merge-func]

benches/ci_benchmarking.rs

1.1 ms

run_example_cases[repro-empty-query]

benches/ci_benchmarking.rs

676.5 µs

run_example_cases[print-function]

benches/ci_benchmarking.rs

1.4 ms

run_example_cases[repro-desugar-143]

benches/ci_benchmarking.rs

10.3 ms

run_example_cases[cykjson]

benches/ci_benchmarking.rs

477.3 ms

run_example_cases[combined-nested]

benches/ci_benchmarking.rs

934.1 µs

run_example_cases[delete]

benches/ci_benchmarking.rs

659.9 µs

run_example_cases[complex-merge-prim]

benches/ci_benchmarking.rs

902.6 µs

run_example_cases[prims]

benches/ci_benchmarking.rs

4 ms

run_example_cases[eggcc-extraction]

benches/ci_benchmarking.rs

2.8 s

run_example_cases[datatypes]

benches/ci_benchmarking.rs

775.2 µs

run_example_cases[repro-new-backend-prims]

benches/ci_benchmarking.rs

828.7 µs

run_example_cases[primitives]

benches/ci_benchmarking.rs

774.1 µs

run_example_cases[eqsat-basic]

benches/ci_benchmarking.rs

1.8 ms

run_example_cases[repro-equal-constant2]

benches/ci_benchmarking.rs

717.5 µs

run_example_cases[repro-define]

benches/ci_benchmarking.rs

865.2 µs

run_example_cases[python_array_optimize]

benches/ci_benchmarking.rs

4.8 s

run_example_cases[eqsolve]

benches/ci_benchmarking.rs

32.1 ms

run_example_cases[repro-primitive-query]

benches/ci_benchmarking.rs

744.2 µs

run_example_cases[eqsat-basic-multiset]

benches/ci_benchmarking.rs

4.2 ms

run_example_cases[repro-querybug4]

benches/ci_benchmarking.rs

794.6 µs

run_example_cases[repro-equal-constant]

benches/ci_benchmarking.rs

698.5 µs

run_example_cases[fibonacci-demand]

benches/ci_benchmarking.rs

2.3 ms

run_example_cases[herbie-tutorial]

benches/ci_benchmarking.rs

9.3 ms

run_example_cases[fibonacci]

benches/ci_benchmarking.rs

1.2 ms

run_example_cases[repro-querybug2]

benches/ci_benchmarking.rs

759.2 µs

run_example_cases[repro-noteqbug]

benches/ci_benchmarking.rs

918.5 µs

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

benches/ci_benchmarking.rs

180.5 ms

run_example_cases[f64]

benches/ci_benchmarking.rs

1.4 ms

run_example_cases[repro-typechecking-schedule]

benches/ci_benchmarking.rs

429.9 µs

run_example_cases[extract-vec-bench]

benches/ci_benchmarking.rs

100.5 ms

run_example_cases[fail_wrong_assertion]

benches/ci_benchmarking.rs

1.6 ms

run_example_cases[repro-new-backend-delete]

benches/ci_benchmarking.rs

538.4 µs

run_example_cases[repro-unsound-htutorial]

benches/ci_benchmarking.rs

1 ms

run_example_cases[repro-querybug3]

benches/ci_benchmarking.rs

1.9 ms

run_example_cases[repro-should-saturate]

benches/ci_benchmarking.rs

613.8 µs

run_example_cases[repro-querybug]

benches/ci_benchmarking.rs

1.1 ms

run_example_cases[herbie]

benches/ci_benchmarking.rs

260 ms

run_example_cases[include]

benches/ci_benchmarking.rs

1.3 ms

run_example_cases[stresstest_large_expr]

benches/ci_benchmarking.rs

1.5 s

run_example_cases[stratified]

benches/ci_benchmarking.rs

1.2 ms

run_example_cases[i64]

benches/ci_benchmarking.rs

415.2 µs

run_example_cases[rw-analysis]

benches/ci_benchmarking.rs

31.2 ms

run_example_cases[integer_math]

benches/ci_benchmarking.rs

13.3 ms

run_example_cases[typeinfer]

benches/ci_benchmarking.rs

265.3 ms

run_example_cases[type-constraints-tests]

benches/ci_benchmarking.rs

582.5 µs

run_example_cases[repro-silly-panic]

benches/ci_benchmarking.rs

953.8 µs

run_example_cases[schedule-demo]

benches/ci_benchmarking.rs

2.3 ms

run_example_cases[set]

benches/ci_benchmarking.rs

2.9 ms

run_example_cases[fusion]

benches/ci_benchmarking.rs

22.4 ms

run_example_cases[resolution]

benches/ci_benchmarking.rs

4.8 ms

run_example_cases[knapsack]

benches/ci_benchmarking.rs

7.8 ms

run_example_cases[set_sort_function]

benches/ci_benchmarking.rs

727.8 µs

run_example_cases[repro-vec-unequal]

benches/ci_benchmarking.rs

1.1 ms

run_example_cases[intersection]

benches/ci_benchmarking.rs

2.9 ms

run_example_cases[unification-points-to]

benches/ci_benchmarking.rs

10.7 ms

run_example_cases[string_quotes]

benches/ci_benchmarking.rs

505.1 µs

run_example_cases[repro-unsound]

benches/ci_benchmarking.rs

384.4 ms

run_example_cases[looking_up_global]

benches/ci_benchmarking.rs

580.1 µs

run_example_cases[tricky-type-checking]

benches/ci_benchmarking.rs

12.8 ms

run_example_cases[until]

benches/ci_benchmarking.rs

3.3 ms

run_example_cases[vec]

benches/ci_benchmarking.rs

1.9 ms

run_example_cases[interval]

benches/ci_benchmarking.rs

2 ms

run_example_cases[lambda]

benches/ci_benchmarking.rs

80.6 ms

run_example_cases[unify]

benches/ci_benchmarking.rs

1.2 ms

run_example_cases[map]

benches/ci_benchmarking.rs

788 µs

run_example_cases[looking_up_nonconstructor_in_rewrite_good]

benches/ci_benchmarking.rs

634.7 µs

run_example_cases[subsume-relation]

benches/ci_benchmarking.rs

1 ms

run_example_cases[list]

benches/ci_benchmarking.rs

4.9 ms

run_example_cases[string]

benches/ci_benchmarking.rs

617.3 µs

run_example_cases[levenshtein-distance]

benches/ci_benchmarking.rs

19.4 ms

run_example_cases[typecheck]

benches/ci_benchmarking.rs

6.9 ms

run_example_cases[merge_read]

benches/ci_benchmarking.rs

505.7 µs

run_example_cases[test-combined-steps]

benches/ci_benchmarking.rs

3.1 ms

run_example_cases[unstable-fn]

benches/ci_benchmarking.rs

6.6 ms

run_example_cases[merge-during-rebuild]

benches/ci_benchmarking.rs

1.3 ms

run_example_cases[merge-saturates]

benches/ci_benchmarking.rs

3.3 ms

run_example_cases[subsume]

benches/ci_benchmarking.rs

1.7 ms

run_example_cases[multiset]

benches/ci_benchmarking.rs

3.6 ms

run_example_cases[math-microbenchmark]

benches/ci_benchmarking.rs

8.6 s

run_example_cases[math]

benches/ci_benchmarking.rs

38.6 ms

run_example_cases[test-combined]

benches/ci_benchmarking.rs

1.5 ms

run_example_cases[path]

benches/ci_benchmarking.rs

1.3 ms

run_example_cases[matrix]

benches/ci_benchmarking.rs

10.1 ms

run_example_cases[naturals]

benches/ci_benchmarking.rs

3.5 ms

run_example_cases[path-union]

benches/ci_benchmarking.rs

1.5 ms

run_example_cases[name-resolution]

benches/ci_benchmarking.rs

1.3 ms

run_example_cases[towers-of-hanoi]

benches/ci_benchmarking.rs

3.4 ms

run_example_cases[before-proofs]

benches/ci_benchmarking.rs

2.7 ms

run_example_cases[fail_wrong_assertion]

benches/ci_benchmarking.rs

1.8 ms

run_example_cases[interval]

benches/ci_benchmarking.rs

2.6 ms

run_example_cases[resolution]

benches/ci_benchmarking.rs

6.5 ms

run_example_cases[birewrite]

benches/ci_benchmarking.rs

2.5 ms

run_example_cases[math-microbenchmark]

benches/ci_benchmarking.rs

8.7 s

run_example_cases[calc]

benches/ci_benchmarking.rs

9.5 ms

run_example_cases[set_sort_function]

benches/ci_benchmarking.rs

859.2 µs

run_example_cases[lambda]

benches/ci_benchmarking.rs

111.3 ms

run_example_cases[bool]

benches/ci_benchmarking.rs

2.2 ms

run_example_cases[f64]

benches/ci_benchmarking.rs

1.4 ms

run_example_cases[datatypes]

benches/ci_benchmarking.rs

750.6 µs

run_example_cases[pathproof]

benches/ci_benchmarking.rs

2 ms

run_example_cases[path-union]

benches/ci_benchmarking.rs

2 ms

run_example_cases[subsume-relation]

benches/ci_benchmarking.rs

1.4 ms

run_example_cases[repro-unsound-htutorial]

benches/ci_benchmarking.rs

1.1 ms

run_example_cases[bignum]

benches/ci_benchmarking.rs

1.1 ms

run_example_cases[points-to]

benches/ci_benchmarking.rs

4 ms

run_example_cases[bitwise]

benches/ci_benchmarking.rs

924.3 µs

run_example_cases[path]

benches/ci_benchmarking.rs

1.7 ms

run_example_cases[looking_up_nonconstructor_in_rewrite_good]

benches/ci_benchmarking.rs

538.7 µs

run_example_cases[eggcc-extraction]

benches/ci_benchmarking.rs

2.9 s

run_example_cases[set]

benches/ci_benchmarking.rs

3.6 ms

run_example_cases[repro-define]

benches/ci_benchmarking.rs

1 ms

run_example_cases[vec]

benches/ci_benchmarking.rs

2.3 ms

run_example_cases[math]

benches/ci_benchmarking.rs

36 ms

run_example_cases[fibonacci-demand]

benches/ci_benchmarking.rs

3.3 ms

run_example_cases[complex-merge-prim]

benches/ci_benchmarking.rs

1.1 ms

run_example_cases[repro-desugar-143]

benches/ci_benchmarking.rs

13.4 ms

run_example_cases[unstable-fn]

benches/ci_benchmarking.rs

10.6 ms

run_example_cases[merge_read]

benches/ci_benchmarking.rs

438.3 µs

run_example_cases[schedule-demo]

benches/ci_benchmarking.rs

4.4 ms

run_example_cases[knapsack]

benches/ci_benchmarking.rs

11 ms

run_example_cases[multiset]

benches/ci_benchmarking.rs

4.4 ms

run_example_cases[push-pop]

benches/ci_benchmarking.rs

862.1 µs

run_example_cases[levenshtein-distance]

benches/ci_benchmarking.rs

28.7 ms

run_example_cases[herbie-tutorial]

benches/ci_benchmarking.rs

14.1 ms

run_example_cases[cyk]

benches/ci_benchmarking.rs

28.6 ms

run_example_cases[complex-merge-func]

benches/ci_benchmarking.rs

1.4 ms

run_example_cases[antiunify]

benches/ci_benchmarking.rs

3.1 ms

run_example_cases[repro-typechecking-schedule]

benches/ci_benchmarking.rs

323.9 µs

run_example_cases[type-constraints-tests]

benches/ci_benchmarking.rs

453 µs

run_example_cases[combined-nested]

benches/ci_benchmarking.rs

1.3 ms

run_example_cases[repro-vec-unequal]

benches/ci_benchmarking.rs

1.3 ms

run_example_cases[tricky-type-checking]

benches/ci_benchmarking.rs

15.1 ms

run_example_cases[subsume]

benches/ci_benchmarking.rs

2 ms

run_example_cases[name-resolution]

benches/ci_benchmarking.rs

1.8 ms

run_example_cases[cykjson]

benches/ci_benchmarking.rs

316.4 ms

run_example_cases[string_quotes]

benches/ci_benchmarking.rs

462.2 µs

run_example_cases[repro-noteqbug]

benches/ci_benchmarking.rs

1 ms

run_example_cases[until]

benches/ci_benchmarking.rs

4.5 ms

run_example_cases[primitives]

benches/ci_benchmarking.rs

653.1 µs

run_example_cases[repro-equal-constant2]

benches/ci_benchmarking.rs

646.4 µs

run_example_cases[eqsolve]

benches/ci_benchmarking.rs

28 ms

run_example_cases[merge-during-rebuild]

benches/ci_benchmarking.rs

1.9 ms

run_example_cases[print-function]

benches/ci_benchmarking.rs

2.6 ms

run_example_cases[bdd]

benches/ci_benchmarking.rs

18.1 ms

run_example_cases[prims]

benches/ci_benchmarking.rs

5.4 ms

run_example_cases[typecheck]

benches/ci_benchmarking.rs

10 ms

run_example_cases[repro-unsound]

benches/ci_benchmarking.rs

315.9 ms

run_example_cases[rw-analysis]

benches/ci_benchmarking.rs

36.8 ms

run_example_cases[repro-should-saturate]

benches/ci_benchmarking.rs

557 µs

run_example_cases[delete]

benches/ci_benchmarking.rs

810.9 µs

run_example_cases[looking_up_global]

benches/ci_benchmarking.rs

546.5 µs

run_example_cases[list]

benches/ci_benchmarking.rs

7 ms

run_example_cases[naturals]

benches/ci_benchmarking.rs

6 ms

run_example_cases[repro-equal-constant]

benches/ci_benchmarking.rs

620.8 µs

run_example_cases[extract-vec-bench]

benches/ci_benchmarking.rs

145.9 ms

run_example_cases[fibonacci]

benches/ci_benchmarking.rs

1.4 ms

run_example_cases[rat-pow-eval]

benches/ci_benchmarking.rs

4.8 ms

run_example_cases[fusion]

benches/ci_benchmarking.rs

27.1 ms

run_example_cases[typeinfer]

benches/ci_benchmarking.rs

352.8 ms

run_example_cases[repro-empty-query]

benches/ci_benchmarking.rs

635.9 µs

run_example_cases[container-rebuild]

benches/ci_benchmarking.rs

5.5 ms

run_example_cases[stratified]

benches/ci_benchmarking.rs

1.6 ms

run_example_cases[unification-points-to]

benches/ci_benchmarking.rs

15.9 ms

run_example_cases[unify]

benches/ci_benchmarking.rs

1.4 ms

run_example_cases[integer_math]

benches/ci_benchmarking.rs

14.1 ms

run_example_cases[repro-primitive-query]

benches/ci_benchmarking.rs

824.4 µs

run_example_cases[test-combined]

benches/ci_benchmarking.rs

2.1 ms

run_example_cases[repro-querybug2]

benches/ci_benchmarking.rs

868 µs

run_example_cases[matrix]

benches/ci_benchmarking.rs

14 ms

run_example_cases[include]

benches/ci_benchmarking.rs

1.8 ms

run_example_cases[string]

benches/ci_benchmarking.rs

522.1 µs

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

benches/ci_benchmarking.rs

243.8 ms

run_example_cases[herbie]

benches/ci_benchmarking.rs

291.7 ms

run_example_cases[eqsat-basic]

benches/ci_benchmarking.rs

2.3 ms

run_example_cases[intersection]

benches/ci_benchmarking.rs

4.8 ms

run_example_cases[merge-saturates]

benches/ci_benchmarking.rs

9 ms

run_example_cases[towers-of-hanoi]

benches/ci_benchmarking.rs

4 ms

run_example_cases[test-combined-steps]

benches/ci_benchmarking.rs

5.5 ms

run_example_cases[i64]

benches/ci_benchmarking.rs

300.8 µs

run_example_cases[map]

benches/ci_benchmarking.rs

808.6 µs

run_example_cases[eqsat-basic-multiset]

benches/ci_benchmarking.rs

5.3 ms

run_example_cases[repro-silly-panic]

benches/ci_benchmarking.rs

1.2 ms

run_example_cases[repro-querybug3]

benches/ci_benchmarking.rs

2.4 ms

run_example_cases[array]

benches/ci_benchmarking.rs

24.4 ms

run_example_cases[repro-new-backend-delete]

benches/ci_benchmarking.rs

533.7 µs

run_example_cases[repro-querybug4]

benches/ci_benchmarking.rs

891.5 µs

run_example_cases[python_array_optimize]

benches/ci_benchmarking.rs

7.5 s

run_example_cases[stresstest_large_expr]

benches/ci_benchmarking.rs

1.6 s

run_example_cases[repro-new-backend-prims]

benches/ci_benchmarking.rs

877.6 µs

run_example_cases[combinators]

benches/ci_benchmarking.rs

22 ms

run_example_cases[repro-querybug]

benches/ci_benchmarking.rs

1.3 ms

GitHub Actions run

Compare

Skipped (104)

Benchmarks