They use the default System Modeler solver which is DASSL, so an implicit, variable order, variabel step size solver.
Otto