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

tests[array]

benches/ci_benchmarking.rs

26.8 ms

tests[bdd]

benches/ci_benchmarking.rs

14.3 ms

tests[bignum]

benches/ci_benchmarking.rs

1.1 ms

tests[birewrite]

benches/ci_benchmarking.rs

1.9 ms

tests[antiunify]

benches/ci_benchmarking.rs

2.7 ms

tests[push-pop]

benches/ci_benchmarking.rs

817.6 µs

tests[repro-desugar-143]

benches/ci_benchmarking.rs

10.2 ms

tests[before-proofs]

benches/ci_benchmarking.rs

1.9 ms

tests[points-to]

benches/ci_benchmarking.rs

2.8 ms

tests[python_array_optimize]

benches/ci_benchmarking.rs

4.8 s

tests[repro-define]

benches/ci_benchmarking.rs

877.8 µs

tests[calc]

benches/ci_benchmarking.rs

6.1 ms

tests[set_sort_function]

benches/ci_benchmarking.rs

734.5 µs

tests[bitwise]

benches/ci_benchmarking.rs

919.5 µs

tests[repro-equal-constant2]

benches/ci_benchmarking.rs

717.1 µs

tests[rat-pow-eval]

benches/ci_benchmarking.rs

3.9 ms

tests[repro-equal-constant]

benches/ci_benchmarking.rs

698.3 µs

tests[repro-noteqbug]

benches/ci_benchmarking.rs

920.1 µs

tests[print-function]

benches/ci_benchmarking.rs

1.4 ms

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

benches/ci_benchmarking.rs

180.4 ms

tests[prims]

benches/ci_benchmarking.rs

4 ms

tests[pathproof]

benches/ci_benchmarking.rs

1.7 ms

tests[string_quotes]

benches/ci_benchmarking.rs

498.9 µs

tests[repro-new-backend-delete]

benches/ci_benchmarking.rs

539 µs

tests[repro-primitive-query]

benches/ci_benchmarking.rs

744.5 µs

tests[combined-nested]

benches/ci_benchmarking.rs

937.2 µs

tests[repro-new-backend-prims]

benches/ci_benchmarking.rs

825.5 µs

tests[stratified]

benches/ci_benchmarking.rs

1.2 ms

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

1.5 s

tests[complex-merge-prim]

benches/ci_benchmarking.rs

909.1 µs

tests[complex-merge-func]

benches/ci_benchmarking.rs

1.1 ms

tests[repro-empty-query]

benches/ci_benchmarking.rs

674.6 µs

tests[repro-querybug2]

benches/ci_benchmarking.rs

750.2 µs

tests[test-combined]

benches/ci_benchmarking.rs

1.5 ms

tests[subsume-relation]

benches/ci_benchmarking.rs

1 ms

tests[string]

benches/ci_benchmarking.rs

620.5 µs

tests[subsume]

benches/ci_benchmarking.rs

1.7 ms

tests[unification-points-to]

benches/ci_benchmarking.rs

10.7 ms

tests[cykjson]

benches/ci_benchmarking.rs

477.4 ms

tests[test-combined-steps]

benches/ci_benchmarking.rs

3.1 ms

tests[typeinfer]

benches/ci_benchmarking.rs

265.4 ms

tests[until]

benches/ci_benchmarking.rs

3.3 ms

tests[unify]

benches/ci_benchmarking.rs

1.2 ms

tests[combinators]

benches/ci_benchmarking.rs

19.8 ms

tests[type-constraints-tests]

benches/ci_benchmarking.rs

575 µs

tests[container-rebuild]

benches/ci_benchmarking.rs

2.8 ms

tests[primitives]

benches/ci_benchmarking.rs

755.2 µs

tests[vec]

benches/ci_benchmarking.rs

1.9 ms

tests[repro-querybug4]

benches/ci_benchmarking.rs

792.5 µs

tests[repro-silly-panic]

benches/ci_benchmarking.rs

954.6 µs

tests[typecheck]

benches/ci_benchmarking.rs

6.9 ms

tests[repro-querybug3]

benches/ci_benchmarking.rs

2 ms

tests[bool]

benches/ci_benchmarking.rs

1.8 ms

tests[cyk]

benches/ci_benchmarking.rs

22.5 ms

tests[repro-unsound-htutorial]

benches/ci_benchmarking.rs

1 ms

tests[repro-should-saturate]

benches/ci_benchmarking.rs

618.2 µs

tests[delete]

benches/ci_benchmarking.rs

663.3 µs

tests[eqsolve]

benches/ci_benchmarking.rs

32 ms

tests[unstable-fn]

benches/ci_benchmarking.rs

6.6 ms

tests[interval]

benches/ci_benchmarking.rs

2 ms

tests[f64]

benches/ci_benchmarking.rs

1.4 ms

tests[fibonacci]

benches/ci_benchmarking.rs

1.2 ms

tests[repro-typechecking-schedule]

benches/ci_benchmarking.rs

430 µs

tests[fail_wrong_assertion]

benches/ci_benchmarking.rs

1.6 ms

tests[eqsat-basic]

benches/ci_benchmarking.rs

1.8 ms

tests[repro-vec-unequal]

benches/ci_benchmarking.rs

1.1 ms

tests[levenshtein-distance]

benches/ci_benchmarking.rs

19.4 ms

tests[fibonacci-demand]

benches/ci_benchmarking.rs

2.3 ms

tests[fusion]

benches/ci_benchmarking.rs

22.4 ms

tests[datatypes]

benches/ci_benchmarking.rs

771.4 µs

tests[repro-querybug]

benches/ci_benchmarking.rs

1.1 ms

tests[eggcc-extraction]

benches/ci_benchmarking.rs

2.8 s

tests[extract-vec-bench]

benches/ci_benchmarking.rs

100.1 ms

tests[resolution]

benches/ci_benchmarking.rs

4.8 ms

tests[intersection]

benches/ci_benchmarking.rs

2.9 ms

tests[i64]

benches/ci_benchmarking.rs

413 µs

tests[herbie-tutorial]

benches/ci_benchmarking.rs

9.3 ms

tests[tricky-type-checking]

benches/ci_benchmarking.rs

12.9 ms

tests[rw-analysis]

benches/ci_benchmarking.rs

31.2 ms

tests[herbie]

benches/ci_benchmarking.rs

260 ms

tests[integer_math]

benches/ci_benchmarking.rs

13.3 ms

tests[map]

benches/ci_benchmarking.rs

788.9 µs

tests[include]

benches/ci_benchmarking.rs

1.3 ms

tests[looking_up_nonconstructor_in_rewrite_good]

benches/ci_benchmarking.rs

643.2 µs

tests[knapsack]

benches/ci_benchmarking.rs

7.8 ms

tests[path]

benches/ci_benchmarking.rs

1.3 ms

tests[set]

benches/ci_benchmarking.rs

2.9 ms

tests[multiset]

benches/ci_benchmarking.rs

3.5 ms

tests[math-microbenchmark]

benches/ci_benchmarking.rs

8.6 s

tests[naturals]

benches/ci_benchmarking.rs

3.5 ms

tests[lambda]

benches/ci_benchmarking.rs

80.7 ms

tests[merge_read]

benches/ci_benchmarking.rs

511.4 µs

tests[list]

benches/ci_benchmarking.rs

4.9 ms

tests[path-union]

benches/ci_benchmarking.rs

1.5 ms

tests[repro-unsound]

benches/ci_benchmarking.rs

384.7 ms

tests[merge-during-rebuild]

benches/ci_benchmarking.rs

1.3 ms

tests[merge-saturates]

benches/ci_benchmarking.rs

3.3 ms

tests[matrix]

benches/ci_benchmarking.rs

10.1 ms

tests[math]

benches/ci_benchmarking.rs

38.6 ms

tests[looking_up_global]

benches/ci_benchmarking.rs

568.6 µs

tests[towers-of-hanoi]

benches/ci_benchmarking.rs

3.4 ms

tests[name-resolution]

benches/ci_benchmarking.rs

1.3 ms

tests[eqsat-basic-multiset]

benches/ci_benchmarking.rs

4.2 ms

tests[schedule-demo]

benches/ci_benchmarking.rs

2.3 ms

tests[repro-querybug3]

benches/ci_benchmarking.rs

2.4 ms

tests[repro-define]

benches/ci_benchmarking.rs

988.8 µs

tests[set]

benches/ci_benchmarking.rs

3.6 ms

tests[rat-pow-eval]

benches/ci_benchmarking.rs

4.8 ms

tests[fusion]

benches/ci_benchmarking.rs

27.2 ms

tests[integer_math]

benches/ci_benchmarking.rs

14.1 ms

tests[unification-points-to]

benches/ci_benchmarking.rs

16 ms

tests[pathproof]

benches/ci_benchmarking.rs

2 ms

tests[lambda]

benches/ci_benchmarking.rs

111.3 ms

tests[intersection]

benches/ci_benchmarking.rs

5.1 ms

tests[unify]

benches/ci_benchmarking.rs

1.4 ms

tests[repro-typechecking-schedule]

benches/ci_benchmarking.rs

328 µs

tests[typeinfer]

benches/ci_benchmarking.rs

355.9 ms

tests[combinators]

benches/ci_benchmarking.rs

21.8 ms

tests[complex-merge-prim]

benches/ci_benchmarking.rs

907.8 µs

tests[antiunify]

benches/ci_benchmarking.rs

3.1 ms

tests[towers-of-hanoi]

benches/ci_benchmarking.rs

4 ms

tests[repro-unsound-htutorial]

benches/ci_benchmarking.rs

1.1 ms

tests[looking_up_nonconstructor_in_rewrite_good]

benches/ci_benchmarking.rs

597.7 µs

tests[list]

benches/ci_benchmarking.rs

7.1 ms

tests[repro-equal-constant2]

benches/ci_benchmarking.rs

630.7 µs

tests[combined-nested]

benches/ci_benchmarking.rs

1.1 ms

tests[repro-new-backend-delete]

benches/ci_benchmarking.rs

529.5 µs

tests[primitives]

benches/ci_benchmarking.rs

665.5 µs

tests[merge-saturates]

benches/ci_benchmarking.rs

9 ms

tests[fibonacci-demand]

benches/ci_benchmarking.rs

3.3 ms

tests[path]

benches/ci_benchmarking.rs

1.7 ms

tests[array]

benches/ci_benchmarking.rs

24.3 ms

tests[extract-vec-bench]

benches/ci_benchmarking.rs

146.6 ms

tests[repro-primitive-query]

benches/ci_benchmarking.rs

803.5 µs

tests[test-combined]

benches/ci_benchmarking.rs

2.1 ms

tests[herbie]

benches/ci_benchmarking.rs

292.1 ms

tests[calc]

benches/ci_benchmarking.rs

9.4 ms

tests[repro-querybug]

benches/ci_benchmarking.rs

1.3 ms

tests[string]

benches/ci_benchmarking.rs

521.9 µs

tests[repro-desugar-143]

benches/ci_benchmarking.rs

13.5 ms

tests[include]

benches/ci_benchmarking.rs

1.8 ms

tests[type-constraints-tests]

benches/ci_benchmarking.rs

446.3 µs

tests[datatypes]

benches/ci_benchmarking.rs

681.4 µs

tests[subsume-relation]

benches/ci_benchmarking.rs

1.4 ms

tests[python_array_optimize]

benches/ci_benchmarking.rs

7.4 s

tests[i64]

benches/ci_benchmarking.rs

303 µs

tests[tricky-type-checking]

benches/ci_benchmarking.rs

15.1 ms

tests[naturals]

benches/ci_benchmarking.rs

6 ms

tests[cykjson]

benches/ci_benchmarking.rs

319.3 ms

tests[bdd]

benches/ci_benchmarking.rs

18 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

14.2 ms

tests[set_sort_function]

benches/ci_benchmarking.rs

843.1 µs

tests[bool]

benches/ci_benchmarking.rs

2.2 ms

tests[matrix]

benches/ci_benchmarking.rs

13.9 ms

tests[f64]

benches/ci_benchmarking.rs

1.6 ms

tests[multiset]

benches/ci_benchmarking.rs

4.4 ms

tests[string_quotes]

benches/ci_benchmarking.rs

450.5 µs

tests[vec]

benches/ci_benchmarking.rs

2.3 ms

tests[math]

benches/ci_benchmarking.rs

36.1 ms

tests[stratified]

benches/ci_benchmarking.rs

1.6 ms

tests[repro-new-backend-prims]

benches/ci_benchmarking.rs

866.6 µs

tests[eqsolve]

benches/ci_benchmarking.rs

28.2 ms

tests[fibonacci]

benches/ci_benchmarking.rs

1.4 ms

tests[until]

benches/ci_benchmarking.rs

4.5 ms

tests[cyk]

benches/ci_benchmarking.rs

28.1 ms

tests[schedule-demo]

benches/ci_benchmarking.rs

4.3 ms

tests[levenshtein-distance]

benches/ci_benchmarking.rs

28.9 ms

tests[merge-during-rebuild]

benches/ci_benchmarking.rs

1.9 ms

tests[repro-silly-panic]

benches/ci_benchmarking.rs

1.1 ms

tests[birewrite]

benches/ci_benchmarking.rs

2.5 ms

tests[bitwise]

benches/ci_benchmarking.rs

903.1 µs

tests[name-resolution]

benches/ci_benchmarking.rs

1.8 ms

tests[repro-noteqbug]

benches/ci_benchmarking.rs

1 ms

tests[looking_up_global]

benches/ci_benchmarking.rs

532.2 µs

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

benches/ci_benchmarking.rs

246.1 ms

tests[resolution]

benches/ci_benchmarking.rs

6.5 ms

tests[map]

benches/ci_benchmarking.rs

861.5 µs

tests[repro-querybug4]

benches/ci_benchmarking.rs

885.8 µs

tests[repro-should-saturate]

benches/ci_benchmarking.rs

548.2 µs

tests[bignum]

benches/ci_benchmarking.rs

1.1 ms

tests[prims]

benches/ci_benchmarking.rs

5.5 ms

tests[subsume]

benches/ci_benchmarking.rs

2 ms

tests[container-rebuild]

benches/ci_benchmarking.rs

5.3 ms

tests[push-pop]

benches/ci_benchmarking.rs

881.5 µs

tests[knapsack]

benches/ci_benchmarking.rs

11.1 ms

tests[repro-unsound]

benches/ci_benchmarking.rs

313.8 ms

tests[interval]

benches/ci_benchmarking.rs

2.7 ms

tests[merge_read]

benches/ci_benchmarking.rs

434.8 µs

tests[delete]

benches/ci_benchmarking.rs

630 µs

tests[before-proofs]

benches/ci_benchmarking.rs

2.7 ms

tests[repro-equal-constant]

benches/ci_benchmarking.rs

594.9 µs

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

1.6 s

tests[eggcc-extraction]

benches/ci_benchmarking.rs

2.9 s

tests[repro-querybug2]

benches/ci_benchmarking.rs

860.4 µs

tests[repro-vec-unequal]

benches/ci_benchmarking.rs

1.3 ms

tests[repro-empty-query]

benches/ci_benchmarking.rs

622 µs

tests[test-combined-steps]

benches/ci_benchmarking.rs

5.5 ms

tests[points-to]

benches/ci_benchmarking.rs

4 ms

tests[print-function]

benches/ci_benchmarking.rs

2.6 ms

tests[path-union]

benches/ci_benchmarking.rs

2 ms

tests[eqsat-basic]

benches/ci_benchmarking.rs

2.3 ms

tests[fail_wrong_assertion]

benches/ci_benchmarking.rs

1.9 ms

tests[unstable-fn]

benches/ci_benchmarking.rs

10.6 ms

tests[typecheck]

benches/ci_benchmarking.rs

10 ms

tests[math-microbenchmark]

benches/ci_benchmarking.rs

8.7 s

tests[eqsat-basic-multiset]

benches/ci_benchmarking.rs

5.4 ms

tests[complex-merge-func]

benches/ci_benchmarking.rs

1.2 ms

tests[rw-analysis]

benches/ci_benchmarking.rs

36.4 ms

GitHub Actions run

Compare

Skipped (104)

Benchmarks