Passed

org.overture.ct.ctruntime.tests.CtRandomReductionSlTestCase.test[OpRepeatedTenTimes 15.00%RANDOM]

Took 0.52 sec.