STNU RANDOM INSTANCE BENCHMARK
 ==============================
This directory contains 0030 dynamic controllable (DC) STNU random instances.
Each instance is built by a random algorithm tuned by the following parameters:

#nodes:                 2000
#contingent:             200
max out-degree:           20
max in-degree:            20
edge Probability:       0.40
max weight:              150
max contingent weight:    20
max contingent range:     15
with 3-nested diamonds: false
with 4-nested diamonds: true
with 6-nested diamonds: false
#lanes:                5


Every instance of this directory was then completed with semi-rigid cycles by
it.univr.di.cstnu.util.STNUAddSemiRigidCycles: one cycle per diamond of the nested
structure, each closed by a tight ordinary path against the wait the diamond generates.
The same instances without those cycles are in the sibling benchmark named ...NoSRCycles.
