| lubm01-upd | lubm02-upd | lubm03-upd | lubm04-upd | lubm05-upd | lubm06-upd | lubm07-update | ||
| SemMatBrav | 3293ms | 2880ms | 131ms | 4241ms | 9536ms | 2561ms | 2836ms | |
| SemMatCaut | 196ms | 285ms | 217ms | 8440ms | 226ms | 1224ms | 472ms | |
| SemMatFaint | 366ms | 409ms | 128ms | 3150ms | 334ms | 3427ms | 2353ms | |
| SemPlain | 210ms | 212ms | 211ms | 2465ms | 216ms | 1614ms | 1437ms | |