Safety (bitstate -w30):
ModelFull ResultsMax DepthNr StatesNr TransitionsMemoryStateVectorTimeRate
DS1multi2.out100371871025378219510518.98234362.13e+0333754
DS1multi3.out10032161692801160397500970.47434364.28e+0350486
DS1multi4.out10031489098707557523901549.96634362.2e+0367705
DS1multi5.out10031633973808696100602257.45934361.96e+0383508
DS1multi6.out100328188880014747715003092.95334362.88e+0397732
DS1multi7.out100335801437019017586004056.44734363.19e+03112299
DS1multi8.out100325228526013180937005147.94134362.05e+03123124