+ * Invalidate maxmin system partially
+ This feature optimizes the maxmin solution through partial invalidation of maxmin system.
+ Use "--cfg:maxmin-selective-update=1" to enable it.
+ * Cas01_IM (Cas01 IMproved)
+ This CPU model is the same Cas01 model, but it uses the maxmin-selective-update flag
+ and a heap structure to manage actions on SURF kernel. It reduces the complexity to
+ find the next action to finish and, consequently, it's faster than the old Cas01.
+ Use "--cfg=cpu_model:Cas01_IM" to change to this CPU model.
+ * CpuTI (CPU Trace Integration)
+ A new CPU model whose objective is simulate faster when using availability trace files.
+ It does the pre-integration of traces files to calculate the amount of CPU power available,
+ and so, executes faster than the old CPU models.
+ Use "--cfg=cpu_model:CpuTI" to change to this CPU model.
+ * Fix some problems when using the "start_time" tag in deployment XMLs.