1
0%
develop: 0%

Ran 23 Mar 2016 10:10AM UTC

Files 28

Run time 1s

Badge

Embed ▾

Committed 23 Mar 2016 10:03AM UTC coverage: 96.967% (-0.001%) from 96.968%

Job # RELEASE=

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

rakhimov / scram / 849 / 1
0%
develop: 0%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 849.1 (RELEASE=)

rakhimov / scram / 849 / 1 0% develop: 0%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 849.1 (RELEASE=)

rakhimov / scram / 849 / 1
0%
develop: 0%

README BADGES
x