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

[points-to]

benches/example_benchmarks.rs

2.8 ms

[pathproof]

benches/example_benchmarks.rs

1.7 ms

[bignum]

benches/example_benchmarks.rs

1.1 ms

[antiunify]

benches/example_benchmarks.rs

2.7 ms

[array]

benches/example_benchmarks.rs

26.7 ms

[primitives]

benches/example_benchmarks.rs

781.1 µs

[bdd]

benches/example_benchmarks.rs

14.3 ms

[before-proofs]

benches/example_benchmarks.rs

1.9 ms

[prims]

benches/example_benchmarks.rs

4 ms

[print-function]

benches/example_benchmarks.rs

1.4 ms

[rw-analysis]

benches/example_benchmarks.rs

31.2 ms

[rat-pow-eval]

benches/example_benchmarks.rs

3.8 ms

[resolution]

benches/example_benchmarks.rs

4.8 ms

[birewrite]

benches/example_benchmarks.rs

1.9 ms

[bitwise]

benches/example_benchmarks.rs

923.7 µs

[schedule-demo]

benches/example_benchmarks.rs

2.4 ms

[push-pop]

benches/example_benchmarks.rs

823.7 µs

[set]

benches/example_benchmarks.rs

2.9 ms

[set_sort_function]

benches/example_benchmarks.rs

729.6 µs

[python_array_optimize]

benches/example_benchmarks.rs

4.8 s

[string]

benches/example_benchmarks.rs

619.1 µs

[string_quotes]

benches/example_benchmarks.rs

505.9 µs

[stratified]

benches/example_benchmarks.rs

1.2 ms

[repro-equal-constant]

benches/example_benchmarks.rs

697.4 µs

[stresstest_large_expr]

benches/example_benchmarks.rs

1.5 s

[repro-define]

benches/example_benchmarks.rs

867.1 µs

[bool]

benches/example_benchmarks.rs

1.8 ms

[subsume-relation]

benches/example_benchmarks.rs

1 ms

[subsume]

benches/example_benchmarks.rs

1.7 ms

[repro-empty-query]

benches/example_benchmarks.rs

672.5 µs

[combinators]

benches/example_benchmarks.rs

19.9 ms

[repro-desugar-143]

benches/example_benchmarks.rs

10.3 ms

[repro-equal-constant2]

benches/example_benchmarks.rs

713.4 µs

[towers-of-hanoi]

benches/example_benchmarks.rs

3.4 ms

[test-combined-steps]

benches/example_benchmarks.rs

3.1 ms

[tricky-type-checking]

benches/example_benchmarks.rs

12.8 ms

[test-combined]

benches/example_benchmarks.rs

1.5 ms

[repro-primitive-query]

benches/example_benchmarks.rs

750 µs

[repro-new-backend-delete]

benches/example_benchmarks.rs

536.2 µs

[calc]

benches/example_benchmarks.rs

6.1 ms

[type-constraints-tests]

benches/example_benchmarks.rs

573.3 µs

[container-rebuild]

benches/example_benchmarks.rs

2.8 ms

[repro-silly-panic]

benches/example_benchmarks.rs

960.1 µs

[repro-querybug3]

benches/example_benchmarks.rs

2 ms

[repro-new-backend-python-vec]

benches/example_benchmarks.rs

180.4 ms

[typeinfer]

benches/example_benchmarks.rs

265.3 ms

[repro-typechecking-schedule]

benches/example_benchmarks.rs

432.3 µs

[unstable-fn]

benches/example_benchmarks.rs

6.6 ms

[repro-unsound]

benches/example_benchmarks.rs

385 ms

[unify]

benches/example_benchmarks.rs

1.2 ms

[repro-new-backend-prims]

benches/example_benchmarks.rs

831.1 µs

[unification-points-to]

benches/example_benchmarks.rs

10.7 ms

[typecheck]

benches/example_benchmarks.rs

6.9 ms

[repro-querybug4]

benches/example_benchmarks.rs

799.1 µs

[repro-querybug]

benches/example_benchmarks.rs

1.1 ms

[repro-should-saturate]

benches/example_benchmarks.rs

617.2 µs

[repro-noteqbug]

benches/example_benchmarks.rs

922.1 µs

[vec]

benches/example_benchmarks.rs

1.9 ms

[until]

benches/example_benchmarks.rs

3.3 ms

[repro-querybug2]

benches/example_benchmarks.rs

770.5 µs

[cyk]

benches/example_benchmarks.rs

22.5 ms

[repro-unsound-htutorial]

benches/example_benchmarks.rs

1 ms

[repro-vec-unequal]

benches/example_benchmarks.rs

1 ms

[eggcc-extraction]

benches/example_benchmarks.rs

2.8 s

[datatypes]

benches/example_benchmarks.rs

783.3 µs

[complex-merge-prim]

benches/example_benchmarks.rs

903.5 µs

[eqsat-basic-multiset]

benches/example_benchmarks.rs

4.2 ms

[delete]

benches/example_benchmarks.rs

659.9 µs

[complex-merge-func]

benches/example_benchmarks.rs

1.1 ms

[fusion]

benches/example_benchmarks.rs

22.4 ms

[cykjson]

benches/example_benchmarks.rs

477.4 ms

[fail_wrong_assertion]

benches/example_benchmarks.rs

1.6 ms

[combined-nested]

benches/example_benchmarks.rs

933.4 µs

[f64]

benches/example_benchmarks.rs

1.4 ms

[herbie]

benches/example_benchmarks.rs

259.8 ms

[herbie-tutorial]

benches/example_benchmarks.rs

9.3 ms

[include]

benches/example_benchmarks.rs

1.3 ms

[i64]

benches/example_benchmarks.rs

411.6 µs

[integer_math]

benches/example_benchmarks.rs

13.3 ms

[eqsat-basic]

benches/example_benchmarks.rs

1.8 ms

[eqsolve]

benches/example_benchmarks.rs

32 ms

[fibonacci]

benches/example_benchmarks.rs

1.2 ms

[interval]

benches/example_benchmarks.rs

2 ms

[knapsack]

benches/example_benchmarks.rs

7.8 ms

[lambda]

benches/example_benchmarks.rs

80.6 ms

[fibonacci-demand]

benches/example_benchmarks.rs

2.3 ms

[list]

benches/example_benchmarks.rs

4.9 ms

[merge-during-rebuild]

benches/example_benchmarks.rs

1.3 ms

[levenshtein-distance]

benches/example_benchmarks.rs

19.4 ms

[looking_up_nonconstructor_in_rewrite_good]

benches/example_benchmarks.rs

635.9 µs

[intersection]

benches/example_benchmarks.rs

2.9 ms

[map]

benches/example_benchmarks.rs

786.6 µs

[name-resolution]

benches/example_benchmarks.rs

1.3 ms

[looking_up_global]

benches/example_benchmarks.rs

578.2 µs

[math-microbenchmark]

benches/example_benchmarks.rs

8.6 s

[extract-vec-bench]

benches/example_benchmarks.rs

100.5 ms

[merge-saturates]

benches/example_benchmarks.rs

3.3 ms

[math]

benches/example_benchmarks.rs

38.5 ms

[matrix]

benches/example_benchmarks.rs

10.1 ms

[naturals]

benches/example_benchmarks.rs

3.5 ms

[multiset]

benches/example_benchmarks.rs

3.6 ms

[merge_read]

benches/example_benchmarks.rs

504 µs

[path-union]

benches/example_benchmarks.rs

1.5 ms

[path]

benches/example_benchmarks.rs

1.3 ms

[fusion]

benches/example_benchmarks.rs

27.1 ms

[eqsolve]

benches/example_benchmarks.rs

27.6 ms

[delete]

benches/example_benchmarks.rs

641.1 µs

[points-to]

benches/example_benchmarks.rs

4 ms

[fibonacci]

benches/example_benchmarks.rs

1.4 ms

[merge-during-rebuild]

benches/example_benchmarks.rs

1.9 ms

[repro-equal-constant2]

benches/example_benchmarks.rs

643.8 µs

[bdd]

benches/example_benchmarks.rs

18 ms

[datatypes]

benches/example_benchmarks.rs

701.9 µs

[typeinfer]

benches/example_benchmarks.rs

354.9 ms

[repro-new-backend-delete]

benches/example_benchmarks.rs

525.5 µs

[stratified]

benches/example_benchmarks.rs

1.6 ms

[repro-new-backend-python-vec]

benches/example_benchmarks.rs

243.9 ms

[unstable-fn]

benches/example_benchmarks.rs

10.6 ms

[repro-desugar-143]

benches/example_benchmarks.rs

13.4 ms

[until]

benches/example_benchmarks.rs

4.5 ms

[intersection]

benches/example_benchmarks.rs

4.8 ms

[string_quotes]

benches/example_benchmarks.rs

451.7 µs

[merge_read]

benches/example_benchmarks.rs

431.7 µs

[f64]

benches/example_benchmarks.rs

1.4 ms

[matrix]

benches/example_benchmarks.rs

13.9 ms

[name-resolution]

benches/example_benchmarks.rs

1.8 ms

[i64]

benches/example_benchmarks.rs

307.1 µs

[repro-querybug3]

benches/example_benchmarks.rs

2.4 ms

[bitwise]

benches/example_benchmarks.rs

916.3 µs

[prims]

benches/example_benchmarks.rs

5.4 ms

[stresstest_large_expr]

benches/example_benchmarks.rs

1.6 s

[typecheck]

benches/example_benchmarks.rs

10 ms

[fail_wrong_assertion]

benches/example_benchmarks.rs

1.8 ms

[repro-define]

benches/example_benchmarks.rs

987.3 µs

[integer_math]

benches/example_benchmarks.rs

14.1 ms

[bignum]

benches/example_benchmarks.rs

1.1 ms

[multiset]

benches/example_benchmarks.rs

4.4 ms

[repro-unsound-htutorial]

benches/example_benchmarks.rs

1.1 ms

[repro-typechecking-schedule]

benches/example_benchmarks.rs

323.9 µs

[before-proofs]

benches/example_benchmarks.rs

2.7 ms

[unification-points-to]

benches/example_benchmarks.rs

15.9 ms

[test-combined]

benches/example_benchmarks.rs

2.1 ms

[math-microbenchmark]

benches/example_benchmarks.rs

8.8 s

[interval]

benches/example_benchmarks.rs

2.6 ms

[subsume]

benches/example_benchmarks.rs

2 ms

[eqsat-basic-multiset]

benches/example_benchmarks.rs

5.2 ms

[eqsat-basic]

benches/example_benchmarks.rs

2.3 ms

[complex-merge-prim]

benches/example_benchmarks.rs

892.8 µs

[cyk]

benches/example_benchmarks.rs

27.9 ms

[include]

benches/example_benchmarks.rs

1.8 ms

[extract-vec-bench]

benches/example_benchmarks.rs

145.8 ms

[fibonacci-demand]

benches/example_benchmarks.rs

3.3 ms

[merge-saturates]

benches/example_benchmarks.rs

9.1 ms

[set_sort_function]

benches/example_benchmarks.rs

836.1 µs

[repro-querybug2]

benches/example_benchmarks.rs

856.2 µs

[python_array_optimize]

benches/example_benchmarks.rs

7.4 s

[herbie]

benches/example_benchmarks.rs

291.2 ms

[map]

benches/example_benchmarks.rs

802.3 µs

[levenshtein-distance]

benches/example_benchmarks.rs

28.6 ms

[rw-analysis]

benches/example_benchmarks.rs

36.4 ms

[combined-nested]

benches/example_benchmarks.rs

1.1 ms

[antiunify]

benches/example_benchmarks.rs

3 ms

[repro-querybug4]

benches/example_benchmarks.rs

903.6 µs

[eggcc-extraction]

benches/example_benchmarks.rs

2.9 s

[calc]

benches/example_benchmarks.rs

9.3 ms

[test-combined-steps]

benches/example_benchmarks.rs

5.5 ms

[list]

benches/example_benchmarks.rs

7 ms

[complex-merge-func]

benches/example_benchmarks.rs

1.2 ms

[string]

benches/example_benchmarks.rs

520.8 µs

[repro-noteqbug]

benches/example_benchmarks.rs

1 ms

[path]

benches/example_benchmarks.rs

1.7 ms

[primitives]

benches/example_benchmarks.rs

673.3 µs

[repro-equal-constant]

benches/example_benchmarks.rs

603.3 µs

[schedule-demo]

benches/example_benchmarks.rs

4.3 ms

[print-function]

benches/example_benchmarks.rs

2.5 ms

[repro-querybug]

benches/example_benchmarks.rs

1.3 ms

[vec]

benches/example_benchmarks.rs

2.4 ms

[lambda]

benches/example_benchmarks.rs

111.1 ms

[repro-empty-query]

benches/example_benchmarks.rs

641.6 µs

[push-pop]

benches/example_benchmarks.rs

871.1 µs

[rat-pow-eval]

benches/example_benchmarks.rs

4.8 ms

[container-rebuild]

benches/example_benchmarks.rs

5.3 ms

[repro-vec-unequal]

benches/example_benchmarks.rs

1.3 ms

[resolution]

benches/example_benchmarks.rs

6.5 ms

[unify]

benches/example_benchmarks.rs

1.4 ms

[repro-silly-panic]

benches/example_benchmarks.rs

1.1 ms

[bool]

benches/example_benchmarks.rs

2.2 ms

[set]

benches/example_benchmarks.rs

3.6 ms

[herbie-tutorial]

benches/example_benchmarks.rs

14.1 ms

[cykjson]

benches/example_benchmarks.rs

318 ms

[math]

benches/example_benchmarks.rs

35.8 ms

[naturals]

benches/example_benchmarks.rs

5.9 ms

[type-constraints-tests]

benches/example_benchmarks.rs

443.7 µs

[knapsack]

benches/example_benchmarks.rs

11 ms

[looking_up_global]

benches/example_benchmarks.rs

563.6 µs

[pathproof]

benches/example_benchmarks.rs

2 ms

[birewrite]

benches/example_benchmarks.rs

2.5 ms

[tricky-type-checking]

benches/example_benchmarks.rs

15.1 ms

[repro-unsound]

benches/example_benchmarks.rs

317.9 ms

[repro-should-saturate]

benches/example_benchmarks.rs

556.8 µs

[repro-primitive-query]

benches/example_benchmarks.rs

812.4 µs

[towers-of-hanoi]

benches/example_benchmarks.rs

4 ms

[array]

benches/example_benchmarks.rs

24.2 ms

[combinators]

benches/example_benchmarks.rs

21.9 ms

[repro-new-backend-prims]

benches/example_benchmarks.rs

870.5 µs

[path-union]

benches/example_benchmarks.rs

2 ms

[looking_up_nonconstructor_in_rewrite_good]

benches/example_benchmarks.rs

529.5 µs

[subsume-relation]

benches/example_benchmarks.rs

1.4 ms

GitHub Actions run

Compare

Skipped (104)

Benchmarks