GitHub Actions run on branch oflatt-proof-format - egraphs-good/egglog

GitHub Actions run

Instrumentation

8 days ago 8851a27 oflatt-proof-format

Compare

Base

Search a run

Head

Egglog proof format and checker

#539

oflatt-proof-format

8 days ago

Compare

Suggested base runs: • •

Benchmarks

path-union

benches/example_benchmarks.rs::benches::criterion_benchmark::path-union

1 ms

bdd

benches/example_benchmarks.rs::benches::criterion_benchmark::bdd

16.6 ms

points-to

benches/example_benchmarks.rs::benches::criterion_benchmark::points-to

1.8 ms

pathproof

benches/example_benchmarks.rs::benches::criterion_benchmark::pathproof

1.3 ms

path

benches/example_benchmarks.rs::benches::criterion_benchmark::path

860.2 µs

stresstest_large_expr

benches/example_benchmarks.rs::benches::criterion_benchmark::stresstest_large_expr

2.2 s

birewrite

benches/example_benchmarks.rs::benches::criterion_benchmark::birewrite

1.2 ms

antiunify

benches/example_benchmarks.rs::benches::criterion_benchmark::antiunify

2.2 ms

bignum

benches/example_benchmarks.rs::benches::criterion_benchmark::bignum

605.9 µs

set

benches/example_benchmarks.rs::benches::criterion_benchmark::set

2 ms

schedule-demo

benches/example_benchmarks.rs::benches::criterion_benchmark::schedule-demo

2.2 ms

before-proofs

benches/example_benchmarks.rs::benches::criterion_benchmark::before-proofs

1.3 ms

calc

benches/example_benchmarks.rs::benches::criterion_benchmark::calc

5.2 ms

primitives

benches/example_benchmarks.rs::benches::criterion_benchmark::primitives

458.2 µs

cykjson

benches/example_benchmarks.rs::benches::criterion_benchmark::cykjson

455.7 ms

bool

benches/example_benchmarks.rs::benches::criterion_benchmark::bool

1.2 ms

combined-nested

benches/example_benchmarks.rs::benches::criterion_benchmark::combined-nested

659.9 µs

array

benches/example_benchmarks.rs::benches::criterion_benchmark::array

26 ms

bitwise

benches/example_benchmarks.rs::benches::criterion_benchmark::bitwise

565.9 µs

subsume

benches/example_benchmarks.rs::benches::criterion_benchmark::subsume

1.2 ms

cyk

benches/example_benchmarks.rs::benches::criterion_benchmark::cyk

11.5 ms

delete

benches/example_benchmarks.rs::benches::criterion_benchmark::delete

389.4 µs

repro-define

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-define

510.5 µs

repro-desugar-143

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-desugar-143

9.3 ms

rw-analysis

benches/example_benchmarks.rs::benches::criterion_benchmark::rw-analysis

39.5 ms

prims

benches/example_benchmarks.rs::benches::criterion_benchmark::prims

3.8 ms

container-rebuild

benches/example_benchmarks.rs::benches::criterion_benchmark::container-rebuild

1.6 ms

combinators

benches/example_benchmarks.rs::benches::criterion_benchmark::combinators

24.5 ms

set_sort_function

benches/example_benchmarks.rs::benches::criterion_benchmark::set_sort_function

364.1 µs

string_quotes

benches/example_benchmarks.rs::benches::criterion_benchmark::string_quotes

293.1 µs

towers-of-hanoi

benches/example_benchmarks.rs::benches::criterion_benchmark::towers-of-hanoi

3.9 ms

datatypes

benches/example_benchmarks.rs::benches::criterion_benchmark::datatypes

439 µs

repro-querybug4

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug4

491.6 µs

stratified

benches/example_benchmarks.rs::benches::criterion_benchmark::stratified

803.9 µs

rat-pow-eval

benches/example_benchmarks.rs::benches::criterion_benchmark::rat-pow-eval

2.5 ms

eqsolve

benches/example_benchmarks.rs::benches::criterion_benchmark::eqsolve

37.9 ms

push-pop

benches/example_benchmarks.rs::benches::criterion_benchmark::push-pop

454.8 µs

resolution

benches/example_benchmarks.rs::benches::criterion_benchmark::resolution

4 ms

repro-noteqbug

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-noteqbug

580 µs

eggcc-extraction

benches/example_benchmarks.rs::benches::criterion_benchmark::eggcc-extraction

2.2 s

repro-empty-query

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-empty-query

416.5 µs

fibonacci-demand

benches/example_benchmarks.rs::benches::criterion_benchmark::fibonacci-demand

2 ms

eqsat-basic

benches/example_benchmarks.rs::benches::criterion_benchmark::eqsat-basic

1.4 ms

typecheck

benches/example_benchmarks.rs::benches::criterion_benchmark::typecheck

6.2 ms

repro-equal-constant

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-equal-constant

459 µs

repro-primitive-query

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-primitive-query

513.1 µs

tricky-type-checking

benches/example_benchmarks.rs::benches::criterion_benchmark::tricky-type-checking

12.5 ms

unify

benches/example_benchmarks.rs::benches::criterion_benchmark::unify

844.9 µs

test-combined

benches/example_benchmarks.rs::benches::criterion_benchmark::test-combined

1 ms

test-combined-steps

benches/example_benchmarks.rs::benches::criterion_benchmark::test-combined-steps

3 ms

type-constraints-tests

benches/example_benchmarks.rs::benches::criterion_benchmark::type-constraints-tests

379.4 µs

string

benches/example_benchmarks.rs::benches::criterion_benchmark::string

357.7 µs

unification-points-to

benches/example_benchmarks.rs::benches::criterion_benchmark::unification-points-to

9.1 ms

repro-equal-constant2

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-equal-constant2

448 µs

unstable-fn

benches/example_benchmarks.rs::benches::criterion_benchmark::unstable-fn

6.9 ms

eqsat-basic-multiset

benches/example_benchmarks.rs::benches::criterion_benchmark::eqsat-basic-multiset

3.7 ms

repro-vec-unequal

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-vec-unequal

608.9 µs

repro-should-saturate

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-should-saturate

422.1 µs

typeinfer

benches/example_benchmarks.rs::benches::criterion_benchmark::typeinfer

435.9 ms

repro-unsound-htutorial

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-unsound-htutorial

643 µs

repro-querybug3

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug3

1.4 ms

repro-unsound

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-unsound

507 ms

repro-typechecking-schedule

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-typechecking-schedule

252.8 µs

repro-silly-panic

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-silly-panic

582.2 µs

repro-querybug

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug

661.7 µs

fail_wrong_assertion

benches/example_benchmarks.rs::benches::criterion_benchmark::fail_wrong_assertion

1 ms

knapsack

benches/example_benchmarks.rs::benches::criterion_benchmark::knapsack

6.9 ms

i64

benches/example_benchmarks.rs::benches::criterion_benchmark::i64

249.6 µs

fibonacci

benches/example_benchmarks.rs::benches::criterion_benchmark::fibonacci

1 ms

f64

benches/example_benchmarks.rs::benches::criterion_benchmark::f64

790.5 µs

include

benches/example_benchmarks.rs::benches::criterion_benchmark::include

881 µs

merge-during-rebuild

benches/example_benchmarks.rs::benches::criterion_benchmark::merge-during-rebuild

658.9 µs

repro-querybug2

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug2

472.2 µs

herbie

benches/example_benchmarks.rs::benches::criterion_benchmark::herbie

286 ms

until

benches/example_benchmarks.rs::benches::criterion_benchmark::until

2.8 ms

math

benches/example_benchmarks.rs::benches::criterion_benchmark::math

47 ms

map

benches/example_benchmarks.rs::benches::criterion_benchmark::map

420 µs

merge_read

benches/example_benchmarks.rs::benches::criterion_benchmark::merge_read

273.3 µs

fusion

benches/example_benchmarks.rs::benches::criterion_benchmark::fusion

37.8 ms

integer_math

benches/example_benchmarks.rs::benches::criterion_benchmark::integer_math

16.7 ms

intersection

benches/example_benchmarks.rs::benches::criterion_benchmark::intersection

1.6 ms

interval

benches/example_benchmarks.rs::benches::criterion_benchmark::interval

1.5 ms

levenshtein-distance

benches/example_benchmarks.rs::benches::criterion_benchmark::levenshtein-distance

18.7 ms

herbie-tutorial

benches/example_benchmarks.rs::benches::criterion_benchmark::herbie-tutorial

8.9 ms

list

benches/example_benchmarks.rs::benches::criterion_benchmark::list

4.3 ms

looking_up_nonconstructor_in_rewrite_good

benches/example_benchmarks.rs::benches::criterion_benchmark::looking_up_nonconstructor_in_rewrite_good

424.8 µs

vec

benches/example_benchmarks.rs::benches::criterion_benchmark::vec

828.5 µs

lambda

benches/example_benchmarks.rs::benches::criterion_benchmark::lambda

121.6 ms

merge-saturates

benches/example_benchmarks.rs::benches::criterion_benchmark::merge-saturates

2.4 ms

looking_up_global

benches/example_benchmarks.rs::benches::criterion_benchmark::looking_up_global

292.7 µs

math-microbenchmark

benches/example_benchmarks.rs::benches::criterion_benchmark::math-microbenchmark

16.8 s

multiset

benches/example_benchmarks.rs::benches::criterion_benchmark::multiset

2.6 ms

matrix

benches/example_benchmarks.rs::benches::criterion_benchmark::matrix

11.3 ms

python_array_optimize

benches/example_benchmarks.rs::benches::criterion_benchmark::python_array_optimize

3.9 s

name-resolution

benches/example_benchmarks.rs::benches::criterion_benchmark::name-resolution

782.4 µs

extract-vec-bench

benches/example_benchmarks.rs::benches::criterion_benchmark::extract-vec-bench

108.6 ms

Home Terms Privacy Docs