GitHub Actions run on branch yihozhang-better-debugging - egraphs-good/egglog

tests[matrix]

benches/ci_benchmarking.rs

10.8 ms

tests[antiunify]

benches/ci_benchmarking.rs

2.8 ms

tests[math]

benches/ci_benchmarking.rs

39.3 ms

tests[repro-querybug]

benches/ci_benchmarking.rs

1.1 ms

tests[repro-querybug4]

benches/ci_benchmarking.rs

790.3 µs

tests[array]

benches/ci_benchmarking.rs

27.1 ms

tests[repro-silly-panic]

benches/ci_benchmarking.rs

975.3 µs

tests[repro-vec-unequal]

benches/ci_benchmarking.rs

1.1 ms

tests[resolution]

benches/ci_benchmarking.rs

5 ms

tests[repro-unsound-htutorial]

benches/ci_benchmarking.rs

1 ms

tests[merge-during-rebuild]

benches/ci_benchmarking.rs

1.3 ms

tests[merge-saturates]

benches/ci_benchmarking.rs

3.5 ms

tests[bignum]

benches/ci_benchmarking.rs

1.1 ms

tests[bool]

benches/ci_benchmarking.rs

1.8 ms

tests[bitwise]

benches/ci_benchmarking.rs

907 µs

tests[bdd]

benches/ci_benchmarking.rs

15.1 ms

tests[birewrite]

benches/ci_benchmarking.rs

1.9 ms

tests[calc]

benches/ci_benchmarking.rs

6.4 ms

tests[math-microbenchmark]

benches/ci_benchmarking.rs

8.3 s

tests[before-proofs]

benches/ci_benchmarking.rs

2 ms

tests[complex-merge-func]

benches/ci_benchmarking.rs

1.2 ms

tests[combined-nested]

benches/ci_benchmarking.rs

942.3 µs

tests[complex-merge-prim]

benches/ci_benchmarking.rs

897.9 µs

tests[repro-should-saturate]

benches/ci_benchmarking.rs

615.7 µs

tests[repro-unsound]

benches/ci_benchmarking.rs

372.2 ms

tests[container-rebuild]

benches/ci_benchmarking.rs

2.8 ms

tests[set_sort_function]

benches/ci_benchmarking.rs

728.9 µs

tests[combinators]

benches/ci_benchmarking.rs

21 ms

tests[rw-analysis]

benches/ci_benchmarking.rs

32.1 ms

tests[set]

benches/ci_benchmarking.rs

2.9 ms

tests[schedule-demo]

benches/ci_benchmarking.rs

2.4 ms

tests[eqsat-basic]

benches/ci_benchmarking.rs

1.9 ms

tests[repro-typechecking-schedule]

benches/ci_benchmarking.rs

429.6 µs

tests[cyk]

benches/ci_benchmarking.rs

14.1 ms

tests[stratified]

benches/ci_benchmarking.rs

1.2 ms

tests[string_quotes]

benches/ci_benchmarking.rs

499.5 µs

tests[cykjson]

benches/ci_benchmarking.rs

471.9 ms

tests[eggcc-extraction]

benches/ci_benchmarking.rs

2.5 s

tests[test-combined-steps]

benches/ci_benchmarking.rs

3.2 ms

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

1.6 s

tests[string]

benches/ci_benchmarking.rs

618.8 µs

tests[subsume-relation]

benches/ci_benchmarking.rs

1 ms

tests[delete]

benches/ci_benchmarking.rs

667.9 µs

tests[test-combined]

benches/ci_benchmarking.rs

1.5 ms

tests[type-constraints-tests]

benches/ci_benchmarking.rs

585.7 µs

tests[unstable-fn]

benches/ci_benchmarking.rs

7 ms

tests[merge_read]

benches/ci_benchmarking.rs

516.9 µs

tests[typeinfer]

benches/ci_benchmarking.rs

379.6 ms

tests[datatypes]

benches/ci_benchmarking.rs

776.3 µs

tests[eqsat-basic-multiset]

benches/ci_benchmarking.rs

4.3 ms

tests[tricky-type-checking]

benches/ci_benchmarking.rs

14.5 ms

tests[extract-vec-bench]

benches/ci_benchmarking.rs

104.6 ms

tests[typecheck]

benches/ci_benchmarking.rs

7.5 ms

tests[fail_wrong_assertion]

benches/ci_benchmarking.rs

1.6 ms

tests[f64]

benches/ci_benchmarking.rs

1.4 ms

tests[fibonacci]

benches/ci_benchmarking.rs

1.2 ms

tests[multiset]

benches/ci_benchmarking.rs

3.6 ms

tests[fibonacci-demand]

benches/ci_benchmarking.rs

2.4 ms

tests[herbie]

benches/ci_benchmarking.rs

303.1 ms

tests[path-union]

benches/ci_benchmarking.rs

1.5 ms

tests[unify]

benches/ci_benchmarking.rs

1.2 ms

tests[unification-points-to]

benches/ci_benchmarking.rs

11.2 ms

tests[path]

benches/ci_benchmarking.rs

1.3 ms

tests[naturals]

benches/ci_benchmarking.rs

3.7 ms

tests[name-resolution]

benches/ci_benchmarking.rs

1.4 ms

tests[print-function]

benches/ci_benchmarking.rs

1.4 ms

tests[eqsolve]

benches/ci_benchmarking.rs

32.6 ms

tests[vec]

benches/ci_benchmarking.rs

1.9 ms

tests[subsume]

benches/ci_benchmarking.rs

1.7 ms

tests[fusion]

benches/ci_benchmarking.rs

24.4 ms

tests[include]

benches/ci_benchmarking.rs

1.3 ms

tests[points-to]

benches/ci_benchmarking.rs

2.9 ms

tests[until]

benches/ci_benchmarking.rs

3.5 ms

tests[i64]

benches/ci_benchmarking.rs

413.3 µs

tests[integer_math]

benches/ci_benchmarking.rs

13.8 ms

tests[prims]

benches/ci_benchmarking.rs

4.1 ms

tests[primitives]

benches/ci_benchmarking.rs

741.2 µs

tests[herbie-tutorial]

benches/ci_benchmarking.rs

9.7 ms

tests[intersection]

benches/ci_benchmarking.rs

3 ms

tests[pathproof]

benches/ci_benchmarking.rs

1.7 ms

tests[interval]

benches/ci_benchmarking.rs

2.1 ms

tests[levenshtein-distance]

benches/ci_benchmarking.rs

20.6 ms

tests[knapsack]

benches/ci_benchmarking.rs

8.2 ms

tests[repro-equal-constant]

benches/ci_benchmarking.rs

717.2 µs

tests[repro-665-set-union]

benches/ci_benchmarking.rs

817.7 ms

tests[towers-of-hanoi]

benches/ci_benchmarking.rs

3.5 ms

tests[python_array_optimize]

benches/ci_benchmarking.rs

7.4 s

tests[repro-empty-query]

benches/ci_benchmarking.rs

667.9 µs

tests[push-pop]

benches/ci_benchmarking.rs

828.7 µs

tests[list]

benches/ci_benchmarking.rs

5.1 ms

tests[looking_up_global]

benches/ci_benchmarking.rs

569.3 µs

tests[lambda]

benches/ci_benchmarking.rs

95.9 ms

tests[repro-new-backend-prims]

benches/ci_benchmarking.rs

815.5 µs

tests[looking_up_nonconstructor_in_rewrite_good]

benches/ci_benchmarking.rs

636.1 µs

tests[map]

benches/ci_benchmarking.rs

787.1 µs

tests[repro-define]

benches/ci_benchmarking.rs

884.8 µs

tests[repro-desugar-143]

benches/ci_benchmarking.rs

9.4 ms

tests[repro-primitive-query]

benches/ci_benchmarking.rs

753 µs

tests[repro-equal-constant2]

benches/ci_benchmarking.rs

714.6 µs

tests[repro-querybug2]

benches/ci_benchmarking.rs

760 µs

tests[rat-pow-eval]

benches/ci_benchmarking.rs

3.9 ms

tests[repro-new-backend-delete]

benches/ci_benchmarking.rs

551.1 µs

tests[repro-noteqbug]

benches/ci_benchmarking.rs

925.3 µs

tests[repro-querybug3]

benches/ci_benchmarking.rs

2 ms

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

benches/ci_benchmarking.rs

202.8 ms

tests[repro-should-saturate]

benches/ci_benchmarking.rs

511.1 µs

tests[integer_math]

benches/ci_benchmarking.rs

14.9 ms

tests[repro-vec-unequal]

benches/ci_benchmarking.rs

1.3 ms

tests[eqsat-basic-multiset]

benches/ci_benchmarking.rs

5.4 ms

tests[schedule-demo]

benches/ci_benchmarking.rs

4.3 ms

tests[repro-silly-panic]

benches/ci_benchmarking.rs

1.1 ms

tests[repro-querybug2]

benches/ci_benchmarking.rs

861.7 µs

tests[knapsack]

benches/ci_benchmarking.rs

11.3 ms

tests[until]

benches/ci_benchmarking.rs

4.6 ms

tests[typeinfer]

benches/ci_benchmarking.rs

449.3 ms

tests[test-combined]

benches/ci_benchmarking.rs

2.1 ms

tests[delete]

benches/ci_benchmarking.rs

575.4 µs

tests[string_quotes]

benches/ci_benchmarking.rs

431.9 µs

tests[birewrite]

benches/ci_benchmarking.rs

2.5 ms

tests[math-microbenchmark]

benches/ci_benchmarking.rs

8.7 s

tests[primitives]

benches/ci_benchmarking.rs

656.4 µs

tests[repro-equal-constant]

benches/ci_benchmarking.rs

585.8 µs

tests[multiset]

benches/ci_benchmarking.rs

4.4 ms

tests[bool]

benches/ci_benchmarking.rs

2.2 ms

tests[complex-merge-prim]

benches/ci_benchmarking.rs

832 µs

tests[fail_wrong_assertion]

benches/ci_benchmarking.rs

1.9 ms

tests[cyk]

benches/ci_benchmarking.rs

20.1 ms

tests[repro-define]

benches/ci_benchmarking.rs

990.5 µs

tests[type-constraints-tests]

benches/ci_benchmarking.rs

444.4 µs

tests[before-proofs]

benches/ci_benchmarking.rs

2.7 ms

tests[repro-empty-query]

benches/ci_benchmarking.rs

561 µs

tests[repro-desugar-143]

benches/ci_benchmarking.rs

12.1 ms

tests[combinators]

benches/ci_benchmarking.rs

23.2 ms

tests[unstable-fn]

benches/ci_benchmarking.rs

10.9 ms

tests[merge-during-rebuild]

benches/ci_benchmarking.rs

1.9 ms

tests[repro-typechecking-schedule]

benches/ci_benchmarking.rs

326.4 µs

tests[fusion]

benches/ci_benchmarking.rs

29.5 ms

tests[rw-analysis]

benches/ci_benchmarking.rs

38.1 ms

tests[repro-equal-constant2]

benches/ci_benchmarking.rs

639.6 µs

tests[bdd]

benches/ci_benchmarking.rs

18.6 ms

tests[antiunify]

benches/ci_benchmarking.rs

3.1 ms

tests[repro-new-backend-prims]

benches/ci_benchmarking.rs

787.5 µs

tests[push-pop]

benches/ci_benchmarking.rs

848.5 µs

tests[map]

benches/ci_benchmarking.rs

881.3 µs

tests[path]

benches/ci_benchmarking.rs

1.7 ms

tests[stratified]

benches/ci_benchmarking.rs

1.6 ms

tests[repro-querybug3]

benches/ci_benchmarking.rs

2.4 ms

tests[tricky-type-checking]

benches/ci_benchmarking.rs

17.2 ms

tests[looking_up_global]

benches/ci_benchmarking.rs

601.3 µs

tests[array]

benches/ci_benchmarking.rs

24.4 ms

tests[list]

benches/ci_benchmarking.rs

7.3 ms

tests[unify]

benches/ci_benchmarking.rs

1.4 ms

tests[complex-merge-func]

benches/ci_benchmarking.rs

1.3 ms

tests[interval]

benches/ci_benchmarking.rs

2.7 ms

tests[fibonacci-demand]

benches/ci_benchmarking.rs

3.4 ms

tests[set_sort_function]

benches/ci_benchmarking.rs

846 µs

tests[set]

benches/ci_benchmarking.rs

3.6 ms

tests[fibonacci]

benches/ci_benchmarking.rs

1.4 ms

tests[datatypes]

benches/ci_benchmarking.rs

702.3 µs

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

1.6 s

tests[repro-noteqbug]

benches/ci_benchmarking.rs

1 ms

tests[math]

benches/ci_benchmarking.rs

36.9 ms

tests[herbie]

benches/ci_benchmarking.rs

342.1 ms

tests[subsume-relation]

benches/ci_benchmarking.rs

1.4 ms

tests[repro-querybug4]

benches/ci_benchmarking.rs

902.1 µs

tests[repro-unsound-htutorial]

benches/ci_benchmarking.rs

1.2 ms

tests[combined-nested]

benches/ci_benchmarking.rs

1 ms

tests[naturals]

benches/ci_benchmarking.rs

6 ms

tests[bignum]

benches/ci_benchmarking.rs

1.1 ms

tests[merge_read]

benches/ci_benchmarking.rs

423.7 µs

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

benches/ci_benchmarking.rs

277.6 ms

tests[matrix]

benches/ci_benchmarking.rs

14.6 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

14.8 ms

tests[f64]

benches/ci_benchmarking.rs

1.5 ms

tests[path-union]

benches/ci_benchmarking.rs

2 ms

tests[lambda]

benches/ci_benchmarking.rs

131.9 ms

tests[repro-new-backend-delete]

benches/ci_benchmarking.rs

480.5 µs

tests[prims]

benches/ci_benchmarking.rs

5.5 ms

tests[i64]

benches/ci_benchmarking.rs

371.4 µs

tests[intersection]

benches/ci_benchmarking.rs

4.9 ms

tests[include]

benches/ci_benchmarking.rs

1.9 ms

tests[bitwise]

benches/ci_benchmarking.rs

877.4 µs

tests[test-combined-steps]

benches/ci_benchmarking.rs

5.4 ms

tests[string]

benches/ci_benchmarking.rs

520.2 µs

tests[cykjson]

benches/ci_benchmarking.rs

317.3 ms

tests[print-function]

benches/ci_benchmarking.rs

2.5 ms

tests[repro-unsound]

benches/ci_benchmarking.rs

309.2 ms

tests[eggcc-extraction]

benches/ci_benchmarking.rs

2.7 s

tests[typecheck]

benches/ci_benchmarking.rs

10.4 ms

tests[towers-of-hanoi]

benches/ci_benchmarking.rs

4 ms

tests[merge-saturates]

benches/ci_benchmarking.rs

8.9 ms

tests[calc]

benches/ci_benchmarking.rs

9.8 ms

tests[pathproof]

benches/ci_benchmarking.rs

2 ms

tests[python_array_optimize]

benches/ci_benchmarking.rs

10.6 s

tests[repro-querybug]

benches/ci_benchmarking.rs

1.3 ms

tests[container-rebuild]

benches/ci_benchmarking.rs

5.3 ms

tests[eqsolve]

benches/ci_benchmarking.rs

28 ms

tests[levenshtein-distance]

benches/ci_benchmarking.rs

30 ms

tests[repro-665-set-union]

benches/ci_benchmarking.rs

1.1 s

tests[repro-primitive-query]

benches/ci_benchmarking.rs

771.4 µs

tests[extract-vec-bench]

benches/ci_benchmarking.rs

149.5 ms

tests[points-to]

benches/ci_benchmarking.rs

4 ms

tests[name-resolution]

benches/ci_benchmarking.rs

1.8 ms

tests[rat-pow-eval]

benches/ci_benchmarking.rs

4.7 ms

tests[vec]

benches/ci_benchmarking.rs

2.3 ms

tests[resolution]

benches/ci_benchmarking.rs

6.6 ms

tests[looking_up_nonconstructor_in_rewrite_good]

benches/ci_benchmarking.rs

604.9 µs

tests[unification-points-to]

benches/ci_benchmarking.rs

16.1 ms

tests[eqsat-basic]

benches/ci_benchmarking.rs

2.3 ms

tests[subsume]

benches/ci_benchmarking.rs

2 ms

GitHub Actions run

Compare

Benchmarks