oflatt-faster-serialize - Branch - egraphs-good/egglog

Faster Serialization and Benchmark Serialization

#520

Comparing

oflatt-faster-serialize

(

161a36f

) with

main

(

215714e

)

-75%

Improvements: 0

Regressions: 3

Untouched: 7

New: 0

Dropped: 0

Ignored: 86

Benchmarks

Failed

cykjsonRegression

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

-18%

378.1 ms

463.6 ms

extract-vec-benchRegression

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

-31%

74 ms

107.3 ms

math-microbenchmarkRegression

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

-75%

4.3 s

16.7 s

Passed

typeinfer

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

436.1 ms

435.6 ms

herbie

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

286.3 ms

286.2 ms

lambda

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

121.6 ms

121.7 ms

rat-pow-eval

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

2.5 ms

python_array_optimize

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

-1%

3.9 s

eggcc-extraction

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

-1%

2.2 s

stresstest_large_expr

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

-3%

2.1 s

2.2 s

Ignored

antiunifyIgnored

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

-16%

1.8 ms

2.2 ms

arrayIgnored

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

26.1 ms

26.2 ms

bddIgnored

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

16.6 ms

before-proofsIgnored

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

-8%

1.2 ms

1.3 ms

bignumIgnored

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

-4%

578.6 µs

604.1 µs

birewriteIgnored

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

-10%

1 ms

1.2 ms

bitwiseIgnored

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

564.9 µs

563.9 µs

boolIgnored

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

-2%

1.1 ms

1.2 ms

calcIgnored

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

-1%

5.1 ms

5.2 ms

combinatorsIgnored

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

-23%

18.8 ms

24.5 ms

combined-nestedIgnored

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

-5%

622.5 µs

656.8 µs

container-rebuildIgnored

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

+1%

1.6 ms

1.5 ms

cykIgnored

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

-1%

11.4 ms

11.5 ms

datatypesIgnored

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

-13%

380.8 µs

438.2 µs

deleteIgnored

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

-3%

388.5 µs

399.8 µs

eqsat-basicIgnored

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

-7%

1.3 ms

1.4 ms

eqsat-basic-multisetIgnored

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

-6%

3.5 ms

3.7 ms

eqsolveIgnored

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

-16%

31.1 ms

37.2 ms

f64Ignored

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

-2%

784.5 µs

798.6 µs

fail_wrong_assertionIgnored

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

-2%

979.4 µs

1,002.6 µs

fibonacciIgnored

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

-7%

942.8 µs

1,017.8 µs

fibonacci-demandIgnored

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

-8%

1.8 ms

2 ms

fusionIgnored

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

-3%

36.6 ms

37.9 ms

herbie-tutorialIgnored

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

-3%

8.7 ms

9 ms

i64Ignored

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

-9%

222.8 µs

244.3 µs

includeIgnored

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

-11%

793.3 µs

889.9 µs

integer_mathIgnored

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

-27%

12.2 ms

16.8 ms

intersectionIgnored

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

-10%

1.5 ms

1.6 ms

intervalIgnored

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

-3%

1.4 ms

1.5 ms

knapsackIgnored

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

-15%

5.8 ms

6.9 ms

levenshtein-distanceIgnored

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

-7%

17.3 ms

18.7 ms

listIgnored

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

-5%

4.1 ms

4.3 ms

looking_up_globalIgnored

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

-5%

277.2 µs

292.3 µs

looking_up_nonconstructor_in_rewrite_goodIgnored

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

-1%

422.1 µs

426.3 µs

mapIgnored

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

-2%

417 µs

423.5 µs

mathIgnored

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

-25%

35.1 ms

46.8 ms

matrixIgnored

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

-3%

11 ms

11.3 ms

merge-during-rebuildIgnored

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

-8%

612 µs

664 µs

merge-saturatesIgnored

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

-16%

2 ms

2.4 ms

merge_readIgnored

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

-5%

260.8 µs

274.7 µs

multisetIgnored

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

-3%

2.5 ms

2.6 ms

name-resolutionIgnored

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

-9%

720.1 µs

791.4 µs

pathIgnored

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

-11%

768.8 µs

865.2 µs

path-unionIgnored

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

-11%

896.6 µs

1,009.3 µs

pathproofIgnored

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

-18%

1.1 ms

1.3 ms

points-toIgnored

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

-8%

1.7 ms

1.8 ms

primitivesIgnored

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

-1%

457 µs

461 µs

primsIgnored

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

-7%

3.6 ms

3.9 ms

push-popIgnored

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

-2%

448.7 µs

459.4 µs

repro-defineIgnored

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

-7%

480.5 µs

515.9 µs

repro-desugar-143Ignored

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

-8%

8.6 ms

9.3 ms

repro-empty-queryIgnored

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

-3%

407.5 µs

420.4 µs

repro-equal-constantIgnored

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

-2%

450 µs

461.5 µs

repro-equal-constant2Ignored

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

-3%

435.4 µs

448.1 µs

repro-noteqbugIgnored

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

-3%

553.2 µs

570.7 µs

repro-primitive-queryIgnored

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

-5%

486.8 µs

511.2 µs

repro-querybugIgnored

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

-6%

628.3 µs

669.7 µs

repro-querybug2Ignored

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

-7%

441.1 µs

472.3 µs

repro-querybug3Ignored

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

-12%

1.3 ms

1.4 ms

repro-querybug4Ignored

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

-6%

472 µs

499.7 µs

repro-should-saturateIgnored

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

-2%

413.9 µs

423 µs

repro-silly-panicIgnored

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

-4%

556.1 µs

582.2 µs

repro-typechecking-scheduleIgnored

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

-1%

249.5 µs

251.8 µs

repro-unsoundIgnored

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

-51%

247.8 ms

503.3 ms

repro-unsound-htutorialIgnored

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

-7%

599.4 µs

646.5 µs

repro-vec-unequalIgnored

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

-7%

567 µs

608.3 µs

resolutionIgnored

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

-2%

3.9 ms

4 ms

rw-analysisIgnored

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

-2%

38.7 ms

39.5 ms

schedule-demoIgnored

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

-8%

2.1 ms

2.2 ms

setIgnored

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

-4%

2 ms

set_sort_functionIgnored

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

-7%

339 µs

363.5 µs

stratifiedIgnored

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

-14%

700.4 µs

813.3 µs

stringIgnored

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

-1%

355.6 µs

358.1 µs

string_quotesIgnored

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

-5%

278.8 µs

293 µs

subsumeIgnored

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

-5%

1.1 ms

1.2 ms

test-combinedIgnored

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

-14%

903.2 µs

1,048.4 µs

test-combined-stepsIgnored

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

-8%

2.7 ms

3 ms

towers-of-hanoiIgnored

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

-15%

3.4 ms

3.9 ms

tricky-type-checkingIgnored

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

12.5 ms

type-constraints-testsIgnored

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

-1%

375.3 µs

379 µs

typecheckIgnored

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

-6%

5.8 ms

6.2 ms

unification-points-toIgnored

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

-11%

8.1 ms

9.1 ms

unifyIgnored

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

-6%

794.6 µs

847.4 µs

unstable-fnIgnored

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

-11%

6.1 ms

6.9 ms

untilIgnored

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

-10%

2.6 ms

2.8 ms

vecIgnored

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

826 µs

826.1 µs

Commits

Click on a commit to change the comparison range

Base

main

215714e

-75%

serialize and benchmark it

0b94344

26 days ago

by oflatt

nits

161a36f

26 days ago

by oflatt

Home Terms Privacy Docs