lubm01-update	lubm02-update	lubm03-update	lubm04-update	lubm05-update	lubm06-update	lubm07-update
SemMatBrave	4756ms	4205ms	131ms	5861ms	15026ms	3750ms	4110ms
SemMatCaut	188ms	230ms	223ms	12537ms	232ms	1551ms	699ms
SemMatFaint	441ms	490ms	127ms	5472ms	510ms	4368ms	3891ms
SemPlain	216ms	211ms	212ms	3398ms	163ms	2561ms	2163ms