Test Case	% Success
KrmsTypeServiceImplTest KrmsTypeServiceImplTest	-1.0 ( - )
PropositionServiceImplTest PropositionServiceImplTest	-1.0 ( - )