The thing with LC10 at around 20:20 should not happen.
The process logic of BOS_ALS_PAS ends and BOS_KSK_PAS_ALS_KSK_BOS starts. LC10, the ship that has just arrived takes the trip. It should be the ship with the longest current idle time taking the first trip. In this case, it is LC11.
Luckily it happens on the first day so it is easy to spot. Proposals are greatly appreciated.
Here is the model: v5.fsm