849
0%

Ran 23 Mar 2016 10:10AM UTC

Jobs 1

Files 28

Run time 1s

Badge

Embed ▾

pending completion

Build # 849

Build Type

push

travis-ci

Committed by

rakhimov

Commit Message

Make Bdd/Zbdd UniqueTable growth factor dynamic

The growth factor is adjusted
depending on the current size of the graph.
This is an attempt to take into account
the growth patterns of BDDs.

The hash table resizing and rehashing tends to dominate
the performance of small to medium graphs in its initial phase.
The dynamic growth factor attempts to compensate for the growing BDD
by gradually decreasing the growth factor.

This is not a hard-rule.
Some BDDs may behave erratically instead of growing gradually.
The current approach is just an heuristic
that has evident speed benefits for large graphs (10 - 20 %).

Run Details

5530 of 5703 relevant lines covered (96.97%)

27531.8 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	849.1 (RELEASE=)	23 Mar 2016 10:10AM UTC	0	96.97	Travis Job 849.1

Source Files on build 849

Detailed source file information is not available for this build.

rakhimov / scram / 849
0%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 849

rakhimov / scram / 849 0%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 849

rakhimov / scram / 849
0%

README BADGES
x