Passed

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

Took 52 ms.