Section 6: Warnings

• Type 7: Action t8.unnamed(a97.unnamed) performs identity as state transformation to variable p12.schwarz(a127.schwarz).
• Type 9: Action t11.unnamed(a102.unnamed) is not present in any cycles observed in this trace.
• Type 9: Action t13.unnamed(a107.unnamed) is not present in any cycles observed in this trace.
• Type 9: Action t16.unnamed(a112.unnamed) is not present in any cycles observed in this trace.
• Type 9: Action t19.unnamed(a178.unnamed) is not present in any cycles observed in this trace.
• Type 9: Action t8.unnamed(a97.unnamed) is not present in any cycles observed in this trace.
• Type 9: Action t23.unnamed(b105.unnamed) is not present in any cycles observed in this trace.
• Type 9: Action t26.unnamed(b110.unnamed) is not present in any cycles observed in this trace.
• Type 15: Variable p30.schwarz(a108.schwarz) may deadlock, because it is not changed after event 38 and remains constant for 62.00 percent of the trace.
• Type 15: Variable p23.schwarz(a115.schwarz) may deadlock, because it is not changed after event 36 and remains constant for 64.00 percent of the trace.
• Type 15: Variable p12.schwarz(a127.schwarz) may deadlock, because it seems to increase to an upper bound and then becomes constant for the rest of the trace ( 23.00 percent of the trace).
• Type 15: Variable p16.schwarz(a132.schwarz) may deadlock, because it is not changed after event 71 and remains constant for 29.00 percent of the trace.
• Type 15: Variable p18.schwarz(a137.schwarz) may deadlock, because it is not changed after event 72 and remains constant for 28.00 percent of the trace.
• Type 15: Variable p21.schwarz(a142.schwarz) may deadlock, because it is not changed after event 73 and remains constant for 27.00 percent of the trace.
• Type 15: Variable p24.schwarz(a147.schwarz) may deadlock, because it is not changed after event 76 and remains constant for 24.00 percent of the trace.
• Type 15: Variable p13.schwarz(a169.schwarz) may deadlock, because it is not changed after event 75 and remains constant for 25.00 percent of the trace.
• Type 15: Variable p9.schwarz(a49.schwarz) may deadlock, because it is not changed after event 79 and remains constant for 21.00 percent of the trace.
• Type 15: Variable p8.schwarz(a51.schwarz) may deadlock, because it is not changed after event 79 and remains constant for 21.00 percent of the trace.
• Type 15: Variable p10.schwarz(a68.schwarz) may deadlock, because it is not changed after event 77 and remains constant for 23.00 percent of the trace.
• Type 15: Variable p26.schwarz(b74.schwarz) may deadlock, because it is not changed after event 78 and remains constant for 22.00 percent of the trace.
• Type 15: Variable p27.schwarz(b76.schwarz) may deadlock, because it is not changed after event 37 and remains constant for 63.00 percent of the trace.
• Type 16: Action t16.unnamed(a112.unnamed) may deadlock, because it occurs the last time at event 34 and is not seen for the remaining 66.00 percent of the trace.
• Type 16: Action t9.unnamed(a129.unnamed) may deadlock, because it occurs the last time at event 69 and is not seen for the remaining 31.00 percent of the trace.
• Type 16: Action t12.unnamed(a134.unnamed) may deadlock, because it occurs the last time at event 71 and is not seen for the remaining 29.00 percent of the trace.
• Type 16: Action t14.unnamed(a139.unnamed) may deadlock, because it occurs the last time at event 72 and is not seen for the remaining 28.00 percent of the trace.
• Type 16: Action t17.unnamed(a144.unnamed) may deadlock, because it occurs the last time at event 73 and is not seen for the remaining 27.00 percent of the trace.
• Type 16: Action t18.unnamed(a175.unnamed) may deadlock, because it occurs the last time at event 76 and is not seen for the remaining 24.00 percent of the trace.
• Type 16: Action t19.unnamed(a178.unnamed) may deadlock, because it occurs the last time at event 36 and is not seen for the remaining 64.00 percent of the trace.
• Type 16: Action t5.unnamed(a40.unnamed) may deadlock, because it occurs the last time at event 79 and is not seen for the remaining 21.00 percent of the trace.
• Type 16: Action t6.unnamed(a55.unnamed) may deadlock, because it occurs the last time at event 75 and is not seen for the remaining 25.00 percent of the trace.
• Type 16: Action t7.unnamed(a72.unnamed) may deadlock, because it occurs the last time at event 77 and is not seen for the remaining 23.00 percent of the trace.
• Type 16: Action t22.unnamed(a88.unnamed) may deadlock, because it occurs the last time at event 78 and is not seen for the remaining 22.00 percent of the trace.
• Type 16: Action t23.unnamed(b105.unnamed) may deadlock, because it occurs the last time at event 37 and is not seen for the remaining 63.00 percent of the trace.
• Type 16: Action t26.unnamed(b110.unnamed) may deadlock, because it occurs the last time at event 38 and is not seen for the remaining 62.00 percent of the trace.