| lubm01-update | lubm02-upd | lubm03-upd | lubm04-upd | lubm05-upd | lubm06-upd | lubm07-update | ||
| SemMatBrave | 2627ms | 1880ms | 110ms | 2189ms | 4930ms | 1837ms | 1413ms | |
| SemMatCaut | 213ms | 206ms | 276ms | 5127ms | 221ms | 952ms | 429ms | |
| SemMatFaint | 324ms | 294ms | 128ms | 1638ms | 274ms | 1827ms | 1598ms | |
| SemPlain | 215ms | 164ms | 171ms | 1215ms | 236ms | 1457ms | 797ms | |