Passed

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

Took 20 ms.