CTMC time-sampled
test data
tiny bugfixes