Passed

org.overture.ct.ctruntime.tests.CtRandomReductionSlTestCase.test[PaperCaseStudy 1.00%SHAPES_NOVARS]

Took 0.52 sec.