1
Property CSRepetitions-COL-02-ReachabilityComputeBounds-0
2
"Automatically generated"
4
bound("Client_Waiting_4", "Client_Waiting_3", "Client_Waiting_2", "Client_Waiting_1")
6
Property CSRepetitions-COL-02-ReachabilityComputeBounds-1
7
"Automatically generated"
9
bound("Client_Waiting_4", "Client_Waiting_3", "Client_Waiting_2", "Client_Waiting_1")
11
Property CSRepetitions-COL-02-ReachabilityComputeBounds-2
12
"Automatically generated"
14
bound("Server_Anwering_3_2", "Server_Anwering_1_2", "Server_Anwering_4_1", "Server_Anwering_3_1", "Server_Anwering_2_1", "Server_Anwering_1_1", "Server_Anwering_4_2", "Server_Anwering_2_2")
16
Property CSRepetitions-COL-02-ReachabilityComputeBounds-3
17
"Automatically generated"
19
bound("RequestBuffer_1", "RequestBuffer_2", "RequestBuffer_4", "RequestBuffer_3")
21
Property CSRepetitions-COL-02-ReachabilityComputeBounds-4
22
"Automatically generated"
24
bound("Client_Sending_1", "Client_Sending_2", "Client_Sending_3", "Client_Sending_4")
26
Property CSRepetitions-COL-02-ReachabilityComputeBounds-5
27
"Automatically generated"
29
bound("Client_Waiting_4", "Client_Waiting_3", "Client_Waiting_2", "Client_Waiting_1")
31
Property CSRepetitions-COL-02-ReachabilityComputeBounds-6
32
"Automatically generated"
34
bound("RequestBufferSlots")
36
Property CSRepetitions-COL-02-ReachabilityComputeBounds-7
37
"Automatically generated"
39
bound("Server_Waiting_2", "Server_Waiting_1")
41
Property CSRepetitions-COL-02-ReachabilityComputeBounds-8
42
"Automatically generated"
44
bound("RequestBufferSlots")
46
Property CSRepetitions-COL-02-ReachabilityComputeBounds-9
47
"Automatically generated"
49
bound("Server_Waiting_2", "Server_Waiting_1")
51
Property CSRepetitions-COL-02-ReachabilityComputeBounds-10
52
"Automatically generated"
54
bound("Client_Sending_1", "Client_Sending_2", "Client_Sending_3", "Client_Sending_4")
56
Property CSRepetitions-COL-02-ReachabilityComputeBounds-11
57
"Automatically generated"
59
bound("RequestBufferSlots")
61
Property CSRepetitions-COL-02-ReachabilityComputeBounds-12
62
"Automatically generated"
64
bound("Server_Waiting_2", "Server_Waiting_1")
66
Property CSRepetitions-COL-02-ReachabilityComputeBounds-13
67
"Automatically generated"
69
bound("Server_Anwering_3_2", "Server_Anwering_1_2", "Server_Anwering_4_1", "Server_Anwering_3_1", "Server_Anwering_2_1", "Server_Anwering_1_1", "Server_Anwering_4_2", "Server_Anwering_2_2")
71
Property CSRepetitions-COL-02-ReachabilityComputeBounds-14
72
"Automatically generated"
74
bound("Client_Sending_1", "Client_Sending_2", "Client_Sending_3", "Client_Sending_4")
76
Property CSRepetitions-COL-02-ReachabilityComputeBounds-15
77
"Automatically generated"
79
bound("Client_Waiting_4", "Client_Waiting_3", "Client_Waiting_2", "Client_Waiting_1")