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

run_example_cases[array]

benches/example_benchmarks.rs

26.8 ms

run_example_cases[repro-querybug]

benches/example_benchmarks.rs

1.1 ms

run_example_cases[antiunify]

benches/example_benchmarks.rs

2.7 ms

run_example_cases[repro-should-saturate]

benches/example_benchmarks.rs

619.3 µs

run_example_cases[math]

benches/example_benchmarks.rs

38.6 ms

run_example_cases[repro-silly-panic]

benches/example_benchmarks.rs

954.5 µs

run_example_cases[math-microbenchmark]

benches/example_benchmarks.rs

8.6 s

run_example_cases[matrix]

benches/example_benchmarks.rs

10.1 ms

run_example_cases[repro-typechecking-schedule]

benches/example_benchmarks.rs

430.8 µs

run_example_cases[bdd]

benches/example_benchmarks.rs

14.3 ms

run_example_cases[bignum]

benches/example_benchmarks.rs

1.1 ms

run_example_cases[before-proofs]

benches/example_benchmarks.rs

1.9 ms

run_example_cases[calc]

benches/example_benchmarks.rs

6.1 ms

run_example_cases[repro-unsound-htutorial]

benches/example_benchmarks.rs

1 ms

run_example_cases[birewrite]

benches/example_benchmarks.rs

1.9 ms

run_example_cases[combinators]

benches/example_benchmarks.rs

19.9 ms

run_example_cases[bitwise]

benches/example_benchmarks.rs

927.9 µs

run_example_cases[resolution]

benches/example_benchmarks.rs

4.8 ms

run_example_cases[repro-vec-unequal]

benches/example_benchmarks.rs

1 ms

run_example_cases[merge-saturates]

benches/example_benchmarks.rs

3.3 ms

run_example_cases[repro-querybug4]

benches/example_benchmarks.rs

790.5 µs

run_example_cases[repro-unsound]

benches/example_benchmarks.rs

384.6 ms

run_example_cases[set]

benches/example_benchmarks.rs

2.9 ms

run_example_cases[rw-analysis]

benches/example_benchmarks.rs

31.1 ms

run_example_cases[string]

benches/example_benchmarks.rs

626 µs

run_example_cases[multiset]

benches/example_benchmarks.rs

3.6 ms

run_example_cases[bool]

benches/example_benchmarks.rs

1.8 ms

run_example_cases[complex-merge-func]

benches/example_benchmarks.rs

1.1 ms

run_example_cases[name-resolution]

benches/example_benchmarks.rs

1.3 ms

run_example_cases[naturals]

benches/example_benchmarks.rs

3.5 ms

run_example_cases[path]

benches/example_benchmarks.rs

1.3 ms

run_example_cases[subsume]

benches/example_benchmarks.rs

1.7 ms

run_example_cases[merge-during-rebuild]

benches/example_benchmarks.rs

1.3 ms

run_example_cases[merge_read]

benches/example_benchmarks.rs

513.7 µs

run_example_cases[subsume-relation]

benches/example_benchmarks.rs

1 ms

run_example_cases[test-combined-steps]

benches/example_benchmarks.rs

3.1 ms

run_example_cases[test-combined]

benches/example_benchmarks.rs

1.5 ms

run_example_cases[stresstest_large_expr]

benches/example_benchmarks.rs

1.5 s

run_example_cases[schedule-demo]

benches/example_benchmarks.rs

2.4 ms

run_example_cases[unification-points-to]

benches/example_benchmarks.rs

10.7 ms

run_example_cases[stratified]

benches/example_benchmarks.rs

1.2 ms

run_example_cases[points-to]

benches/example_benchmarks.rs

2.8 ms

run_example_cases[container-rebuild]

benches/example_benchmarks.rs

2.8 ms

run_example_cases[cykjson]

benches/example_benchmarks.rs

477.4 ms

run_example_cases[tricky-type-checking]

benches/example_benchmarks.rs

12.8 ms

run_example_cases[string_quotes]

benches/example_benchmarks.rs

506.5 µs

run_example_cases[pathproof]

benches/example_benchmarks.rs

1.7 ms

run_example_cases[combined-nested]

benches/example_benchmarks.rs

936.1 µs

run_example_cases[cyk]

benches/example_benchmarks.rs

22.5 ms

run_example_cases[path-union]

benches/example_benchmarks.rs

1.5 ms

run_example_cases[towers-of-hanoi]

benches/example_benchmarks.rs

3.4 ms

run_example_cases[set_sort_function]

benches/example_benchmarks.rs

732.7 µs

run_example_cases[complex-merge-prim]

benches/example_benchmarks.rs

904.9 µs

run_example_cases[typecheck]

benches/example_benchmarks.rs

6.9 ms

run_example_cases[type-constraints-tests]

benches/example_benchmarks.rs

579.7 µs

run_example_cases[prims]

benches/example_benchmarks.rs

4 ms

run_example_cases[unify]

benches/example_benchmarks.rs

1.2 ms

run_example_cases[primitives]

benches/example_benchmarks.rs

772.3 µs

run_example_cases[print-function]

benches/example_benchmarks.rs

1.4 ms

run_example_cases[python_array_optimize]

benches/example_benchmarks.rs

4.8 s

run_example_cases[unstable-fn]

benches/example_benchmarks.rs

6.6 ms

run_example_cases[until]

benches/example_benchmarks.rs

3.3 ms

run_example_cases[repro-equal-constant2]

benches/example_benchmarks.rs

710.3 µs

run_example_cases[vec]

benches/example_benchmarks.rs

1.9 ms

run_example_cases[push-pop]

benches/example_benchmarks.rs

823.6 µs

run_example_cases[repro-empty-query]

benches/example_benchmarks.rs

668.6 µs

run_example_cases[typeinfer]

benches/example_benchmarks.rs

265.4 ms

run_example_cases[repro-new-backend-delete]

benches/example_benchmarks.rs

533.7 µs

run_example_cases[rat-pow-eval]

benches/example_benchmarks.rs

3.8 ms

run_example_cases[repro-define]

benches/example_benchmarks.rs

864.3 µs

run_example_cases[datatypes]

benches/example_benchmarks.rs

772.8 µs

run_example_cases[repro-new-backend-prims]

benches/example_benchmarks.rs

824.8 µs

run_example_cases[repro-primitive-query]

benches/example_benchmarks.rs

744.5 µs

run_example_cases[repro-desugar-143]

benches/example_benchmarks.rs

10.3 ms

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

benches/example_benchmarks.rs

180.4 ms

run_example_cases[delete]

benches/example_benchmarks.rs

660 µs

run_example_cases[repro-equal-constant]

benches/example_benchmarks.rs

694.8 µs

run_example_cases[eqsat-basic-multiset]

benches/example_benchmarks.rs

4.2 ms

run_example_cases[repro-querybug2]

benches/example_benchmarks.rs

751 µs

run_example_cases[eggcc-extraction]

benches/example_benchmarks.rs

2.8 s

run_example_cases[repro-querybug3]

benches/example_benchmarks.rs

2 ms

run_example_cases[eqsolve]

benches/example_benchmarks.rs

32.1 ms

run_example_cases[extract-vec-bench]

benches/example_benchmarks.rs

100.5 ms

run_example_cases[fusion]

benches/example_benchmarks.rs

22.4 ms

run_example_cases[fail_wrong_assertion]

benches/example_benchmarks.rs

1.6 ms

run_example_cases[f64]

benches/example_benchmarks.rs

1.4 ms

run_example_cases[repro-noteqbug]

benches/example_benchmarks.rs

914.6 µs

run_example_cases[fibonacci-demand]

benches/example_benchmarks.rs

2.3 ms

run_example_cases[map]

benches/example_benchmarks.rs

783.3 µs

run_example_cases[herbie]

benches/example_benchmarks.rs

260.1 ms

run_example_cases[eqsat-basic]

benches/example_benchmarks.rs

1.8 ms

run_example_cases[list]

benches/example_benchmarks.rs

4.9 ms

run_example_cases[herbie-tutorial]

benches/example_benchmarks.rs

9.3 ms

run_example_cases[i64]

benches/example_benchmarks.rs

416.1 µs

run_example_cases[include]

benches/example_benchmarks.rs

1.3 ms

run_example_cases[knapsack]

benches/example_benchmarks.rs

7.8 ms

run_example_cases[integer_math]

benches/example_benchmarks.rs

13.3 ms

run_example_cases[intersection]

benches/example_benchmarks.rs

2.9 ms

run_example_cases[interval]

benches/example_benchmarks.rs

2 ms

run_example_cases[fibonacci]

benches/example_benchmarks.rs

1.2 ms

run_example_cases[lambda]

benches/example_benchmarks.rs

80.6 ms

run_example_cases[levenshtein-distance]

benches/example_benchmarks.rs

19.4 ms

run_example_cases[looking_up_global]

benches/example_benchmarks.rs

577.4 µs

run_example_cases[looking_up_nonconstructor_in_rewrite_good]

benches/example_benchmarks.rs

638.9 µs

run_example_cases[test-combined-steps]

benches/example_benchmarks.rs

5.5 ms

run_example_cases[map]

benches/example_benchmarks.rs

837 µs

run_example_cases[complex-merge-func]

benches/example_benchmarks.rs

1.3 ms

run_example_cases[looking_up_global]

benches/example_benchmarks.rs

548.2 µs

run_example_cases[cyk]

benches/example_benchmarks.rs

27.9 ms

run_example_cases[math]

benches/example_benchmarks.rs

36 ms

run_example_cases[vec]

benches/example_benchmarks.rs

2.4 ms

run_example_cases[include]

benches/example_benchmarks.rs

1.9 ms

run_example_cases[subsume-relation]

benches/example_benchmarks.rs

1.4 ms

run_example_cases[container-rebuild]

benches/example_benchmarks.rs

5.3 ms

run_example_cases[bignum]

benches/example_benchmarks.rs

1.1 ms

run_example_cases[repro-primitive-query]

benches/example_benchmarks.rs

817.4 µs

run_example_cases[merge-saturates]

benches/example_benchmarks.rs

9.1 ms

run_example_cases[repro-unsound-htutorial]

benches/example_benchmarks.rs

1.2 ms

run_example_cases[type-constraints-tests]

benches/example_benchmarks.rs

456.4 µs

run_example_cases[eqsat-basic]

benches/example_benchmarks.rs

2.3 ms

run_example_cases[path-union]

benches/example_benchmarks.rs

2 ms

run_example_cases[repro-new-backend-delete]

benches/example_benchmarks.rs

538.5 µs

run_example_cases[repro-equal-constant2]

benches/example_benchmarks.rs

671.9 µs

run_example_cases[tricky-type-checking]

benches/example_benchmarks.rs

15.2 ms

run_example_cases[path]

benches/example_benchmarks.rs

1.7 ms

run_example_cases[herbie]

benches/example_benchmarks.rs

294.6 ms

run_example_cases[merge-during-rebuild]

benches/example_benchmarks.rs

2 ms

run_example_cases[repro-unsound]

benches/example_benchmarks.rs

318.2 ms

run_example_cases[repro-equal-constant]

benches/example_benchmarks.rs

619.4 µs

run_example_cases[unification-points-to]

benches/example_benchmarks.rs

16 ms

run_example_cases[knapsack]

benches/example_benchmarks.rs

11.1 ms

run_example_cases[repro-querybug4]

benches/example_benchmarks.rs

911.7 µs

run_example_cases[herbie-tutorial]

benches/example_benchmarks.rs

14.2 ms

run_example_cases[set]

benches/example_benchmarks.rs

3.6 ms

run_example_cases[python_array_optimize]

benches/example_benchmarks.rs

7.4 s

run_example_cases[unify]

benches/example_benchmarks.rs

1.4 ms

run_example_cases[push-pop]

benches/example_benchmarks.rs

878 µs

run_example_cases[repro-should-saturate]

benches/example_benchmarks.rs

572.2 µs

run_example_cases[integer_math]

benches/example_benchmarks.rs

14.3 ms

run_example_cases[repro-new-backend-prims]

benches/example_benchmarks.rs

883.1 µs

run_example_cases[fibonacci-demand]

benches/example_benchmarks.rs

3.3 ms

run_example_cases[points-to]

benches/example_benchmarks.rs

4 ms

run_example_cases[eggcc-extraction]

benches/example_benchmarks.rs

2.9 s

run_example_cases[repro-silly-panic]

benches/example_benchmarks.rs

1.2 ms

run_example_cases[print-function]

benches/example_benchmarks.rs

2.6 ms

run_example_cases[repro-querybug]

benches/example_benchmarks.rs

1.3 ms

run_example_cases[bitwise]

benches/example_benchmarks.rs

912.2 µs

run_example_cases[typeinfer]

benches/example_benchmarks.rs

356.7 ms

run_example_cases[fibonacci]

benches/example_benchmarks.rs

1.4 ms

run_example_cases[repro-querybug3]

benches/example_benchmarks.rs

2.4 ms

run_example_cases[repro-typechecking-schedule]

benches/example_benchmarks.rs

327.5 µs

run_example_cases[prims]

benches/example_benchmarks.rs

5.5 ms

run_example_cases[resolution]

benches/example_benchmarks.rs

6.5 ms

run_example_cases[repro-querybug2]

benches/example_benchmarks.rs

844.3 µs

run_example_cases[name-resolution]

benches/example_benchmarks.rs

1.9 ms

run_example_cases[primitives]

benches/example_benchmarks.rs

675.3 µs

run_example_cases[subsume]

benches/example_benchmarks.rs

2 ms

run_example_cases[schedule-demo]

benches/example_benchmarks.rs

4.4 ms

run_example_cases[pathproof]

benches/example_benchmarks.rs

2 ms

run_example_cases[f64]

benches/example_benchmarks.rs

1.4 ms

run_example_cases[repro-empty-query]

benches/example_benchmarks.rs

649.5 µs

run_example_cases[until]

benches/example_benchmarks.rs

4.5 ms

run_example_cases[complex-merge-prim]

benches/example_benchmarks.rs

929.6 µs

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

benches/example_benchmarks.rs

243.9 ms

run_example_cases[extract-vec-bench]

benches/example_benchmarks.rs

145.8 ms

run_example_cases[test-combined]

benches/example_benchmarks.rs

2.1 ms

run_example_cases[typecheck]

benches/example_benchmarks.rs

10.1 ms

run_example_cases[bdd]

benches/example_benchmarks.rs

18 ms

run_example_cases[math-microbenchmark]

benches/example_benchmarks.rs

8.7 s

run_example_cases[interval]

benches/example_benchmarks.rs

2.6 ms

run_example_cases[looking_up_nonconstructor_in_rewrite_good]

benches/example_benchmarks.rs

542.3 µs

run_example_cases[intersection]

benches/example_benchmarks.rs

4.8 ms

run_example_cases[repro-noteqbug]

benches/example_benchmarks.rs

1.1 ms

run_example_cases[repro-vec-unequal]

benches/example_benchmarks.rs

1.4 ms

run_example_cases[list]

benches/example_benchmarks.rs

7 ms

run_example_cases[merge_read]

benches/example_benchmarks.rs

432.2 µs

run_example_cases[rat-pow-eval]

benches/example_benchmarks.rs

4.8 ms

run_example_cases[array]

benches/example_benchmarks.rs

24.4 ms

run_example_cases[lambda]

benches/example_benchmarks.rs

111.6 ms

run_example_cases[fail_wrong_assertion]

benches/example_benchmarks.rs

1.8 ms

run_example_cases[datatypes]

benches/example_benchmarks.rs

700.1 µs

run_example_cases[calc]

benches/example_benchmarks.rs

9.4 ms

run_example_cases[bool]

benches/example_benchmarks.rs

2.2 ms

run_example_cases[rw-analysis]

benches/example_benchmarks.rs

36.7 ms

run_example_cases[stresstest_large_expr]

benches/example_benchmarks.rs

1.6 s

run_example_cases[combinators]

benches/example_benchmarks.rs

21.9 ms

run_example_cases[string_quotes]

benches/example_benchmarks.rs

471.5 µs

run_example_cases[stratified]

benches/example_benchmarks.rs

1.7 ms

run_example_cases[unstable-fn]

benches/example_benchmarks.rs

10.7 ms

run_example_cases[antiunify]

benches/example_benchmarks.rs

3.1 ms

run_example_cases[repro-desugar-143]

benches/example_benchmarks.rs

13.4 ms

run_example_cases[multiset]

benches/example_benchmarks.rs

4.4 ms

run_example_cases[matrix]

benches/example_benchmarks.rs

14 ms

run_example_cases[eqsolve]

benches/example_benchmarks.rs

27.8 ms

run_example_cases[levenshtein-distance]

benches/example_benchmarks.rs

28.9 ms

run_example_cases[towers-of-hanoi]

benches/example_benchmarks.rs

4 ms

run_example_cases[repro-define]

benches/example_benchmarks.rs

993.7 µs

run_example_cases[before-proofs]

benches/example_benchmarks.rs

2.7 ms

run_example_cases[delete]

benches/example_benchmarks.rs

655.9 µs

run_example_cases[combined-nested]

benches/example_benchmarks.rs

1.1 ms

run_example_cases[set_sort_function]

benches/example_benchmarks.rs

857.9 µs

run_example_cases[cykjson]

benches/example_benchmarks.rs

317.9 ms

run_example_cases[naturals]

benches/example_benchmarks.rs

6 ms

run_example_cases[i64]

benches/example_benchmarks.rs

318.7 µs

run_example_cases[birewrite]

benches/example_benchmarks.rs

2.5 ms

run_example_cases[eqsat-basic-multiset]

benches/example_benchmarks.rs

5.3 ms

run_example_cases[string]

benches/example_benchmarks.rs

534.6 µs

run_example_cases[fusion]

benches/example_benchmarks.rs

27.3 ms

GitHub Actions run

Compare

Skipped (104)

Benchmarks