---------- [CONFIGURATION] ---------- action 0 takes 9 units of time to execute action 1 takes 11 units of time to execute action 2 takes 14 units of time to execute action 0 and action 1 share token 0 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 1714 total number of messages sent: 1000 total amount of concurrency: 20000/30000 = 66% fairness in execution: 500/714 = 70% fairness in execution steps: 4500/10000 = 45% ---------- [SUMMARY of Alg1] ---------- action 0 executed 500 times action 1 executed 500 times action 2 executed 714 times total number of action executions: 1714 total number of messages sent: 0 total amount of concurrency: 20000/30000 = 66% fairness in execution: 500/714 = 70% fairness in execution steps: 4500/10000 = 45% ---------- [CONFIGURATION] ---------- action 0 takes 12 units of time to execute action 1 takes 7 units of time to execute action 2 takes 15 units of time to execute action 0 and action 2 share token 0 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 2168 total number of messages sent: 740 total amount of concurrency: 20000/30000 = 66% fairness in execution: 370/1428 = 25% fairness in execution steps: 4450/10000 = 44% ---------- [SUMMARY of Alg1] ---------- action 0 executed 370 times action 1 executed 1428 times action 2 executed 370 times total number of action executions: 2168 total number of messages sent: 0 total amount of concurrency: 20000/30000 = 66% fairness in execution: 370/1428 = 25% fairness in execution steps: 4450/10000 = 44% ---------- [CONFIGURATION] ---------- action 0 takes 19 units of time to execute action 1 takes 18 units of time to execute action 2 takes 23 units of time to execute ---------- [SUMMARY of Alg0] ---------- total number of action executions: 1515 total number of messages sent: 0 total amount of concurrency: 30000/30000 = 100% fairness in execution: 434/555 = 78% fairness in execution steps: 10000/10000 = 100% ---------- [SUMMARY of Alg1] ---------- action 0 executed 526 times action 1 executed 555 times action 2 executed 434 times total number of action executions: 1515 total number of messages sent: 0 total amount of concurrency: 30000/30000 = 100% fairness in execution: 434/555 = 78% fairness in execution steps: 10000/10000 = 100% ---------- [CONFIGURATION] ---------- action 0 takes 19 units of time to execute action 1 takes 21 units of time to execute action 2 takes 19 units of time to execute action 0 and action 2 share token 0 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 1002 total number of messages sent: 526 total amount of concurrency: 20000/30000 = 66% fairness in execution: 263/476 = 55% fairness in execution steps: 4997/10000 = 49% ---------- [SUMMARY of Alg1] ---------- action 0 executed 263 times action 1 executed 476 times action 2 executed 263 times total number of action executions: 1002 total number of messages sent: 0 total amount of concurrency: 20000/30000 = 66% fairness in execution: 263/476 = 55% fairness in execution steps: 4997/10000 = 49% ---------- [CONFIGURATION] ---------- action 0 takes 26 units of time to execute action 1 takes 33 units of time to execute action 2 takes 28 units of time to execute ---------- [SUMMARY of Alg0] ---------- total number of action executions: 1044 total number of messages sent: 0 total amount of concurrency: 30000/30000 = 100% fairness in execution: 303/384 = 78% fairness in execution steps: 10000/10000 = 100% ---------- [SUMMARY of Alg1] ---------- action 0 executed 384 times action 1 executed 303 times action 2 executed 357 times total number of action executions: 1044 total number of messages sent: 0 total amount of concurrency: 30000/30000 = 100% fairness in execution: 303/384 = 78% fairness in execution steps: 10000/10000 = 100% ---------- [CONFIGURATION] ---------- action 0 takes 32 units of time to execute action 1 takes 28 units of time to execute action 2 takes 32 units of time to execute action 1 and action 2 share token 0 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 645 total number of messages sent: 333 total amount of concurrency: 20000/30000 = 66% fairness in execution: 166/312 = 53% fairness in execution steps: 4676/10000 = 46% ---------- [SUMMARY of Alg1] ---------- action 0 executed 312 times action 1 executed 167 times action 2 executed 166 times total number of action executions: 645 total number of messages sent: 0 total amount of concurrency: 20000/30000 = 66% fairness in execution: 166/312 = 53% fairness in execution steps: 4676/10000 = 46% ---------- [CONFIGURATION] ---------- action 0 takes 11 units of time to execute action 1 takes 15 units of time to execute action 2 takes 6 units of time to execute action 3 takes 9 units of time to execute action 4 takes 14 units of time to execute action 5 takes 7 units of time to execute action 6 takes 9 units of time to execute action 7 takes 13 units of time to execute action 0 and action 7 share token 0 action 1 and action 5 share token 1 action 2 and action 5 share token 2 action 4 and action 7 share token 3 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 4695 total number of messages sent: 3297 total amount of concurrency: 46810/80000 = 58% fairness in execution: 370/1111 = 33% fairness in execution steps: 2730/10000 = 27% ---------- [SUMMARY of Alg1] ---------- action 0 executed 370 times action 1 executed 400 times action 2 executed 1200 times action 3 executed 1111 times action 4 executed 370 times action 5 executed 400 times action 6 executed 1111 times action 7 executed 370 times total number of action executions: 5332 total number of messages sent: 770 total amount of concurrency: 50080/80000 = 62% fairness in execution: 370/1200 = 30% fairness in execution steps: 2800/10000 = 28% ---------- [CONFIGURATION] ---------- action 0 takes 15 units of time to execute action 1 takes 8 units of time to execute action 2 takes 5 units of time to execute action 3 takes 15 units of time to execute action 4 takes 5 units of time to execute action 5 takes 15 units of time to execute action 6 takes 7 units of time to execute action 7 takes 13 units of time to execute action 0 and action 1 share token 0 action 0 and action 4 share token 1 action 0 and action 5 share token 2 action 1 and action 3 share token 3 action 1 and action 4 share token 4 action 1 and action 7 share token 5 action 2 and action 4 share token 6 action 3 and action 4 share token 7 action 3 and action 5 share token 8 action 3 and action 6 share token 9 action 3 and action 7 share token 10 action 4 and action 7 share token 11 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 1507 total number of messages sent: 4520 total amount of concurrency: 15645/80000 = 19% fairness in execution: 188/189 = 99% fairness in execution steps: 940/2835 = 33% ---------- [SUMMARY of Alg1] ---------- action 0 executed 80 times action 1 executed 79 times action 2 executed 873 times action 3 executed 159 times action 4 executed 158 times action 5 executed 395 times action 6 executed 950 times action 7 executed 476 times total number of action executions: 3170 total number of messages sent: 1513 total amount of concurrency: 28154/80000 = 35% fairness in execution: 79/950 = 8% fairness in execution steps: 632/6656 = 9% ---------- [CONFIGURATION] ---------- action 0 takes 17 units of time to execute action 1 takes 22 units of time to execute action 2 takes 22 units of time to execute action 3 takes 19 units of time to execute action 4 takes 22 units of time to execute action 5 takes 18 units of time to execute action 6 takes 21 units of time to execute action 7 takes 17 units of time to execute action 6 and action 7 share token 0 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 3557 total number of messages sent: 526 total amount of concurrency: 70000/80000 = 87% fairness in execution: 263/588 = 44% fairness in execution steps: 4471/10000 = 44% ---------- [SUMMARY of Alg1] ---------- action 0 executed 588 times action 1 executed 454 times action 2 executed 454 times action 3 executed 526 times action 4 executed 454 times action 5 executed 555 times action 6 executed 263 times action 7 executed 263 times total number of action executions: 3557 total number of messages sent: 0 total amount of concurrency: 70000/80000 = 87% fairness in execution: 263/588 = 44% fairness in execution steps: 4471/10000 = 44% ---------- [CONFIGURATION] ---------- action 0 takes 18 units of time to execute action 1 takes 23 units of time to execute action 2 takes 18 units of time to execute action 3 takes 24 units of time to execute action 4 takes 20 units of time to execute action 5 takes 24 units of time to execute action 6 takes 20 units of time to execute action 7 takes 24 units of time to execute action 0 and action 1 share token 0 action 0 and action 5 share token 1 action 1 and action 3 share token 2 action 2 and action 4 share token 3 action 2 and action 5 share token 4 action 3 and action 4 share token 5 action 3 and action 6 share token 6 action 5 and action 7 share token 7 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 1258 total number of messages sent: 2516 total amount of concurrency: 26902/80000 = 33% fairness in execution: 157/158 = 99% fairness in execution steps: 2835/3773 = 75% ---------- [SUMMARY of Alg1] ---------- action 0 executed 98 times action 1 executed 98 times action 2 executed 122 times action 3 executed 171 times action 4 executed 122 times action 5 executed 196 times action 6 executed 294 times action 7 executed 220 times total number of action executions: 1321 total number of messages sent: 883 total amount of concurrency: 28682/80000 = 35% fairness in execution: 98/294 = 33% fairness in execution steps: 1779/5880 = 30% ---------- [CONFIGURATION] ---------- action 0 takes 35 units of time to execute action 1 takes 25 units of time to execute action 2 takes 29 units of time to execute action 3 takes 32 units of time to execute action 4 takes 35 units of time to execute action 5 takes 28 units of time to execute action 6 takes 29 units of time to execute action 7 takes 28 units of time to execute action 2 and action 6 share token 0 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 2340 total number of messages sent: 344 total amount of concurrency: 70000/80000 = 87% fairness in execution: 172/400 = 43% fairness in execution steps: 4988/10000 = 49% ---------- [SUMMARY of Alg1] ---------- action 0 executed 285 times action 1 executed 400 times action 2 executed 172 times action 3 executed 312 times action 4 executed 285 times action 5 executed 357 times action 6 executed 172 times action 7 executed 357 times total number of action executions: 2340 total number of messages sent: 0 total amount of concurrency: 70000/80000 = 87% fairness in execution: 172/400 = 43% fairness in execution steps: 4988/10000 = 49% ---------- [CONFIGURATION] ---------- action 0 takes 25 units of time to execute action 1 takes 31 units of time to execute action 2 takes 34 units of time to execute action 3 takes 31 units of time to execute action 4 takes 28 units of time to execute action 5 takes 32 units of time to execute action 6 takes 27 units of time to execute action 7 takes 26 units of time to execute action 0 and action 6 share token 0 action 0 and action 7 share token 1 action 1 and action 7 share token 2 action 2 and action 4 share token 3 action 2 and action 5 share token 4 action 3 and action 5 share token 5 action 3 and action 6 share token 6 action 4 and action 6 share token 7 action 5 and action 7 share token 8 action 6 and action 7 share token 9 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 1023 total number of messages sent: 2556 total amount of concurrency: 29956/80000 = 37% fairness in execution: 127/128 = 99% fairness in execution steps: 3200/4372 = 73% ---------- [SUMMARY of Alg1] ---------- action 0 executed 119 times action 1 executed 119 times action 2 executed 119 times action 3 executed 119 times action 4 executed 118 times action 5 executed 118 times action 6 executed 119 times action 7 executed 119 times total number of action executions: 950 total number of messages sent: 1424 total amount of concurrency: 27829/80000 = 34% fairness in execution: 118/119 = 99% fairness in execution steps: 2977/4046 = 73% ---------- [CONFIGURATION] ---------- action 0 takes 14 units of time to execute action 1 takes 10 units of time to execute action 2 takes 15 units of time to execute action 3 takes 9 units of time to execute action 4 takes 10 units of time to execute action 5 takes 7 units of time to execute action 6 takes 5 units of time to execute action 7 takes 8 units of time to execute action 8 takes 7 units of time to execute action 9 takes 8 units of time to execute action 10 takes 8 units of time to execute action 11 takes 5 units of time to execute action 12 takes 10 units of time to execute action 0 and action 5 share token 0 action 0 and action 9 share token 1 action 1 and action 8 share token 2 action 2 and action 9 share token 3 action 4 and action 11 share token 4 action 5 and action 6 share token 5 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 9292 total number of messages sent: 5984 total amount of concurrency: 81302/130000 = 62% fairness in execution: 434/1250 = 34% fairness in execution steps: 2170/10000 = 21% ---------- [SUMMARY of Alg1] ---------- action 0 executed 263 times action 1 executed 588 times action 2 executed 526 times action 3 executed 1111 times action 4 executed 667 times action 5 executed 263 times action 6 executed 1631 times action 7 executed 1250 times action 8 executed 588 times action 9 executed 263 times action 10 executed 1250 times action 11 executed 666 times action 12 executed 1000 times total number of action executions: 10066 total number of messages sent: 790 total amount of concurrency: 83687/130000 = 64% fairness in execution: 263/1631 = 16% fairness in execution steps: 1841/10000 = 18% ---------- [CONFIGURATION] ---------- action 0 takes 5 units of time to execute action 1 takes 15 units of time to execute action 2 takes 11 units of time to execute action 3 takes 6 units of time to execute action 4 takes 13 units of time to execute action 5 takes 6 units of time to execute action 6 takes 11 units of time to execute action 7 takes 6 units of time to execute action 8 takes 5 units of time to execute action 9 takes 7 units of time to execute action 10 takes 10 units of time to execute action 11 takes 12 units of time to execute action 12 takes 15 units of time to execute action 0 and action 7 share token 0 action 0 and action 8 share token 1 action 0 and action 9 share token 2 action 1 and action 12 share token 3 action 2 and action 4 share token 4 action 2 and action 5 share token 5 action 2 and action 12 share token 6 action 3 and action 8 share token 7 action 3 and action 9 share token 8 action 3 and action 11 share token 9 action 4 and action 5 share token 10 action 4 and action 6 share token 11 action 4 and action 11 share token 12 action 5 and action 8 share token 13 action 5 and action 11 share token 14 action 7 and action 9 share token 15 action 7 and action 11 share token 16 action 8 and action 9 share token 17 action 10 and action 12 share token 18 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 4191 total number of messages sent: 12247 total amount of concurrency: 39348/130000 = 30% fairness in execution: 322/323 = 99% fairness in execution steps: 1610/4845 = 33% ---------- [SUMMARY of Alg1] ---------- action 0 executed 250 times action 1 executed 265 times action 2 executed 118 times action 3 executed 265 times action 4 executed 118 times action 5 executed 235 times action 6 executed 646 times action 7 executed 250 times action 8 executed 263 times action 9 executed 404 times action 10 executed 604 times action 11 executed 485 times action 12 executed 264 times total number of action executions: 4167 total number of messages sent: 4800 total amount of concurrency: 39637/130000 = 30% fairness in execution: 118/646 = 18% fairness in execution steps: 1250/7109 = 17% ---------- [CONFIGURATION] ---------- action 0 takes 25 units of time to execute action 1 takes 17 units of time to execute action 2 takes 21 units of time to execute action 3 takes 17 units of time to execute action 4 takes 20 units of time to execute action 5 takes 19 units of time to execute action 6 takes 25 units of time to execute action 7 takes 16 units of time to execute action 8 takes 25 units of time to execute action 9 takes 22 units of time to execute action 10 takes 21 units of time to execute action 11 takes 23 units of time to execute action 12 takes 21 units of time to execute action 0 and action 3 share token 0 action 0 and action 11 share token 1 action 2 and action 9 share token 2 action 3 and action 10 share token 3 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 4812 total number of messages sent: 1713 total amount of concurrency: 97904/130000 = 75% fairness in execution: 208/625 = 33% fairness in execution steps: 3536/10000 = 35% ---------- [SUMMARY of Alg1] ---------- action 0 executed 154 times action 1 executed 588 times action 2 executed 233 times action 3 executed 154 times action 4 executed 500 times action 5 executed 526 times action 6 executed 400 times action 7 executed 625 times action 8 executed 400 times action 9 executed 232 times action 10 executed 351 times action 11 executed 267 times action 12 executed 476 times total number of action executions: 4906 total number of messages sent: 309 total amount of concurrency: 99999/130000 = 76% fairness in execution: 154/625 = 24% fairness in execution steps: 2618/10000 = 26% ---------- [CONFIGURATION] ---------- action 0 takes 20 units of time to execute action 1 takes 22 units of time to execute action 2 takes 19 units of time to execute action 3 takes 17 units of time to execute action 4 takes 19 units of time to execute action 5 takes 24 units of time to execute action 6 takes 20 units of time to execute action 7 takes 18 units of time to execute action 8 takes 15 units of time to execute action 9 takes 24 units of time to execute action 10 takes 25 units of time to execute action 11 takes 19 units of time to execute action 12 takes 18 units of time to execute action 0 and action 7 share token 0 action 0 and action 12 share token 1 action 1 and action 7 share token 2 action 1 and action 11 share token 3 action 1 and action 12 share token 4 action 2 and action 3 share token 5 action 2 and action 9 share token 6 action 2 and action 11 share token 7 action 3 and action 6 share token 8 action 3 and action 7 share token 9 action 3 and action 10 share token 10 action 3 and action 11 share token 11 action 4 and action 5 share token 12 action 4 and action 6 share token 13 action 4 and action 7 share token 14 action 4 and action 10 share token 15 action 5 and action 8 share token 16 action 5 and action 9 share token 17 action 5 and action 11 share token 18 action 7 and action 8 share token 19 action 7 and action 11 share token 20 action 8 and action 9 share token 21 action 8 and action 10 share token 22 action 8 and action 11 share token 23 action 9 and action 12 share token 24 action 10 and action 12 share token 25 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 1325 total number of messages sent: 5300 total amount of concurrency: 26527/130000 = 20% fairness in execution: 101/102 = 99% fairness in execution steps: 1530/2550 = 60% ---------- [SUMMARY of Alg1] ---------- action 0 executed 82 times action 1 executed 82 times action 2 executed 81 times action 3 executed 81 times action 4 executed 81 times action 5 executed 81 times action 6 executed 164 times action 7 executed 82 times action 8 executed 156 times action 9 executed 159 times action 10 executed 166 times action 11 executed 168 times action 12 executed 244 times total number of action executions: 1627 total number of messages sent: 3098 total amount of concurrency: 32495/130000 = 24% fairness in execution: 81/244 = 33% fairness in execution steps: 1377/4394 = 31% ---------- [CONFIGURATION] ---------- action 0 takes 32 units of time to execute action 1 takes 25 units of time to execute action 2 takes 31 units of time to execute action 3 takes 30 units of time to execute action 4 takes 34 units of time to execute action 5 takes 28 units of time to execute action 6 takes 35 units of time to execute action 7 takes 25 units of time to execute action 8 takes 28 units of time to execute action 9 takes 28 units of time to execute action 10 takes 35 units of time to execute action 11 takes 26 units of time to execute action 12 takes 26 units of time to execute action 0 and action 11 share token 0 action 1 and action 2 share token 1 action 1 and action 4 share token 2 action 4 and action 5 share token 3 action 8 and action 11 share token 4 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 3203 total number of messages sent: 1653 total amount of concurrency: 93852/130000 = 72% fairness in execution: 160/400 = 40% fairness in execution steps: 4046/10000 = 40% ---------- [SUMMARY of Alg1] ---------- action 0 executed 122 times action 1 executed 161 times action 2 executed 161 times action 3 executed 333 times action 4 executed 161 times action 5 executed 161 times action 6 executed 285 times action 7 executed 400 times action 8 executed 244 times action 9 executed 357 times action 10 executed 285 times action 11 executed 121 times action 12 executed 384 times total number of action executions: 3175 total number of messages sent: 444 total amount of concurrency: 92936/130000 = 71% fairness in execution: 121/400 = 30% fairness in execution steps: 3168/10000 = 31% ---------- [CONFIGURATION] ---------- action 0 takes 33 units of time to execute action 1 takes 26 units of time to execute action 2 takes 29 units of time to execute action 3 takes 31 units of time to execute action 4 takes 30 units of time to execute action 5 takes 26 units of time to execute action 6 takes 35 units of time to execute action 7 takes 33 units of time to execute action 8 takes 27 units of time to execute action 9 takes 28 units of time to execute action 10 takes 26 units of time to execute action 11 takes 35 units of time to execute action 12 takes 28 units of time to execute action 0 and action 3 share token 0 action 0 and action 8 share token 1 action 0 and action 11 share token 2 action 1 and action 3 share token 3 action 1 and action 5 share token 4 action 1 and action 6 share token 5 action 2 and action 3 share token 6 action 2 and action 4 share token 7 action 2 and action 7 share token 8 action 2 and action 8 share token 9 action 2 and action 9 share token 10 action 2 and action 11 share token 11 action 3 and action 7 share token 12 action 3 and action 8 share token 13 action 3 and action 11 share token 14 action 4 and action 5 share token 15 action 4 and action 6 share token 16 action 4 and action 8 share token 17 action 5 and action 11 share token 18 action 6 and action 7 share token 19 action 6 and action 9 share token 20 action 7 and action 9 share token 21 action 7 and action 10 share token 22 action 7 and action 12 share token 23 action 8 and action 9 share token 24 action 8 and action 10 share token 25 action 11 and action 12 share token 26 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 837 total number of messages sent: 3478 total amount of concurrency: 24979/130000 = 19% fairness in execution: 64/65 = 98% fairness in execution steps: 1664/2261 = 73% ---------- [SUMMARY of Alg1] ---------- action 0 executed 15 times action 1 executed 16 times action 2 executed 29 times action 3 executed 14 times action 4 executed 42 times action 5 executed 84 times action 6 executed 57 times action 7 executed 42 times action 8 executed 154 times action 9 executed 84 times action 10 executed 207 times action 11 executed 135 times action 12 executed 186 times total number of action executions: 1065 total number of messages sent: 1179 total amount of concurrency: 30859/130000 = 23% fairness in execution: 14/207 = 6% fairness in execution steps: 416/5382 = 7% ---------- [CONFIGURATION] ---------- action 0 takes 7 units of time to execute action 1 takes 10 units of time to execute action 2 takes 5 units of time to execute action 3 takes 14 units of time to execute action 4 takes 15 units of time to execute action 5 takes 10 units of time to execute action 6 takes 12 units of time to execute action 7 takes 12 units of time to execute action 8 takes 8 units of time to execute action 9 takes 12 units of time to execute action 10 takes 5 units of time to execute action 11 takes 11 units of time to execute action 12 takes 11 units of time to execute action 13 takes 10 units of time to execute action 14 takes 5 units of time to execute action 15 takes 15 units of time to execute action 16 takes 7 units of time to execute action 17 takes 6 units of time to execute action 0 and action 7 share token 0 action 0 and action 11 share token 1 action 1 and action 13 share token 2 action 2 and action 16 share token 3 action 4 and action 9 share token 4 action 4 and action 10 share token 5 action 5 and action 9 share token 6 action 5 and action 14 share token 7 action 6 and action 12 share token 8 action 8 and action 10 share token 9 action 8 and action 15 share token 10 action 9 and action 11 share token 11 action 9 and action 14 share token 12 action 11 and action 15 share token 13 action 12 and action 13 share token 14 action 12 and action 15 share token 15 action 15 and action 17 share token 16 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 6921 total number of messages sent: 11352 total amount of concurrency: 65139/180000 = 36% fairness in execution: 302/833 = 36% fairness in execution steps: 1515/10000 = 15% ---------- [SUMMARY of Alg1] ---------- action 0 executed 303 times action 1 executed 303 times action 2 executed 833 times action 3 executed 714 times action 4 executed 151 times action 5 executed 454 times action 6 executed 303 times action 7 executed 302 times action 8 executed 303 times action 9 executed 151 times action 10 executed 302 times action 11 executed 303 times action 12 executed 302 times action 13 executed 303 times action 14 executed 729 times action 15 executed 302 times action 16 executed 833 times action 17 executed 910 times total number of action executions: 7801 total number of messages sent: 3782 total amount of concurrency: 68321/180000 = 37% fairness in execution: 151/910 = 16% fairness in execution steps: 1510/10000 = 15% ---------- [CONFIGURATION] ---------- action 0 takes 5 units of time to execute action 1 takes 10 units of time to execute action 2 takes 8 units of time to execute action 3 takes 8 units of time to execute action 4 takes 12 units of time to execute action 5 takes 13 units of time to execute action 6 takes 14 units of time to execute action 7 takes 5 units of time to execute action 8 takes 13 units of time to execute action 9 takes 11 units of time to execute action 10 takes 10 units of time to execute action 11 takes 15 units of time to execute action 12 takes 15 units of time to execute action 13 takes 13 units of time to execute action 14 takes 8 units of time to execute action 15 takes 6 units of time to execute action 16 takes 11 units of time to execute action 17 takes 15 units of time to execute action 0 and action 1 share token 0 action 0 and action 5 share token 1 action 0 and action 8 share token 2 action 0 and action 9 share token 3 action 0 and action 13 share token 4 action 0 and action 16 share token 5 action 0 and action 17 share token 6 action 1 and action 2 share token 7 action 1 and action 7 share token 8 action 1 and action 9 share token 9 action 1 and action 12 share token 10 action 1 and action 13 share token 11 action 1 and action 15 share token 12 action 2 and action 4 share token 13 action 2 and action 6 share token 14 action 2 and action 8 share token 15 action 2 and action 9 share token 16 action 2 and action 12 share token 17 action 2 and action 13 share token 18 action 3 and action 5 share token 19 action 3 and action 10 share token 20 action 3 and action 11 share token 21 action 3 and action 12 share token 22 action 3 and action 17 share token 23 action 4 and action 7 share token 24 action 4 and action 8 share token 25 action 4 and action 11 share token 26 action 4 and action 12 share token 27 action 4 and action 16 share token 28 action 5 and action 7 share token 29 action 5 and action 12 share token 30 action 5 and action 17 share token 31 action 6 and action 14 share token 32 action 8 and action 11 share token 33 action 9 and action 14 share token 34 action 10 and action 12 share token 35 action 10 and action 14 share token 36 action 10 and action 15 share token 37 action 11 and action 13 share token 38 action 11 and action 14 share token 39 action 11 and action 16 share token 40 action 11 and action 17 share token 41 action 12 and action 14 share token 42 action 12 and action 15 share token 43 action 12 and action 17 share token 44 action 15 and action 17 share token 45 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 2307 total number of messages sent: 11795 total amount of concurrency: 24616/180000 = 13% fairness in execution: 128/129 = 99% fairness in execution steps: 640/1920 = 33% ---------- [SUMMARY of Alg1] ---------- action 0 executed 18 times action 1 executed 18 times action 2 executed 29 times action 3 executed 65 times action 4 executed 53 times action 5 executed 54 times action 6 executed 112 times action 7 executed 695 times action 8 executed 89 times action 9 executed 122 times action 10 executed 95 times action 11 executed 112 times action 12 executed 124 times action 13 executed 319 times action 14 executed 206 times action 15 executed 420 times action 16 executed 562 times action 17 executed 324 times total number of action executions: 3417 total number of messages sent: 3364 total amount of concurrency: 33763/180000 = 18% fairness in execution: 18/695 = 2% fairness in execution steps: 90/6182 = 1% ---------- [CONFIGURATION] ---------- action 0 takes 24 units of time to execute action 1 takes 18 units of time to execute action 2 takes 19 units of time to execute action 3 takes 21 units of time to execute action 4 takes 20 units of time to execute action 5 takes 23 units of time to execute action 6 takes 15 units of time to execute action 7 takes 25 units of time to execute action 8 takes 22 units of time to execute action 9 takes 23 units of time to execute action 10 takes 23 units of time to execute action 11 takes 15 units of time to execute action 12 takes 16 units of time to execute action 13 takes 24 units of time to execute action 14 takes 23 units of time to execute action 15 takes 17 units of time to execute action 16 takes 17 units of time to execute action 17 takes 21 units of time to execute action 0 and action 2 share token 0 action 0 and action 3 share token 1 action 0 and action 4 share token 2 action 0 and action 15 share token 3 action 0 and action 16 share token 4 action 1 and action 5 share token 5 action 2 and action 13 share token 6 action 3 and action 5 share token 7 action 5 and action 10 share token 8 action 5 and action 14 share token 9 action 6 and action 17 share token 10 action 8 and action 11 share token 11 action 8 and action 15 share token 12 action 9 and action 12 share token 13 action 9 and action 13 share token 14 action 12 and action 14 share token 15 action 12 and action 16 share token 16 action 12 and action 17 share token 17 action 16 and action 17 share token 18 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 3138 total number of messages sent: 6123 total amount of concurrency: 64968/180000 = 36% fairness in execution: 160/400 = 40% fairness in execution steps: 2418/10000 = 24% ---------- [SUMMARY of Alg1] ---------- action 0 executed 63 times action 1 executed 126 times action 2 executed 63 times action 3 executed 63 times action 4 executed 313 times action 5 executed 125 times action 6 executed 263 times action 7 executed 400 times action 8 executed 256 times action 9 executed 125 times action 10 executed 126 times action 11 executed 256 times action 12 executed 125 times action 13 executed 275 times action 14 executed 126 times action 15 executed 201 times action 16 executed 137 times action 17 executed 263 times total number of action executions: 3306 total number of messages sent: 2099 total amount of concurrency: 67426/180000 = 37% fairness in execution: 63/400 = 15% fairness in execution steps: 1197/10000 = 11% ---------- [CONFIGURATION] ---------- action 0 takes 19 units of time to execute action 1 takes 18 units of time to execute action 2 takes 17 units of time to execute action 3 takes 18 units of time to execute action 4 takes 21 units of time to execute action 5 takes 16 units of time to execute action 6 takes 18 units of time to execute action 7 takes 15 units of time to execute action 8 takes 24 units of time to execute action 9 takes 21 units of time to execute action 10 takes 18 units of time to execute action 11 takes 20 units of time to execute action 12 takes 21 units of time to execute action 13 takes 25 units of time to execute action 14 takes 22 units of time to execute action 15 takes 18 units of time to execute action 16 takes 23 units of time to execute action 17 takes 19 units of time to execute action 0 and action 4 share token 0 action 0 and action 7 share token 1 action 0 and action 12 share token 2 action 0 and action 15 share token 3 action 1 and action 2 share token 4 action 1 and action 4 share token 5 action 1 and action 8 share token 6 action 1 and action 11 share token 7 action 1 and action 12 share token 8 action 1 and action 14 share token 9 action 1 and action 15 share token 10 action 2 and action 3 share token 11 action 2 and action 7 share token 12 action 2 and action 11 share token 13 action 3 and action 10 share token 14 action 3 and action 12 share token 15 action 3 and action 17 share token 16 action 4 and action 5 share token 17 action 4 and action 6 share token 18 action 4 and action 10 share token 19 action 5 and action 6 share token 20 action 5 and action 7 share token 21 action 5 and action 9 share token 22 action 5 and action 10 share token 23 action 5 and action 11 share token 24 action 5 and action 15 share token 25 action 5 and action 16 share token 26 action 6 and action 9 share token 27 action 6 and action 14 share token 28 action 7 and action 8 share token 29 action 7 and action 13 share token 30 action 8 and action 9 share token 31 action 8 and action 14 share token 32 action 8 and action 17 share token 33 action 9 and action 11 share token 34 action 9 and action 17 share token 35 action 11 and action 12 share token 36 action 11 and action 13 share token 37 action 11 and action 15 share token 38 action 13 and action 15 share token 39 action 14 and action 17 share token 40 action 15 and action 16 share token 41 action 15 and action 17 share token 42 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 1003 total number of messages sent: 4795 total amount of concurrency: 19700/180000 = 10% fairness in execution: 55/56 = 98% fairness in execution steps: 840/1394 = 60% ---------- [SUMMARY of Alg1] ---------- action 0 executed 12 times action 1 executed 12 times action 2 executed 12 times action 3 executed 89 times action 4 executed 11 times action 5 executed 23 times action 6 executed 33 times action 7 executed 34 times action 8 executed 57 times action 9 executed 68 times action 10 executed 116 times action 11 executed 68 times action 12 executed 128 times action 13 executed 115 times action 14 executed 171 times action 15 executed 159 times action 16 executed 251 times action 17 executed 215 times total number of action executions: 1574 total number of messages sent: 2222 total amount of concurrency: 32255/180000 = 17% fairness in execution: 11/251 = 4% fairness in execution steps: 204/5780 = 3% ---------- [CONFIGURATION] ---------- action 0 takes 33 units of time to execute action 1 takes 30 units of time to execute action 2 takes 35 units of time to execute action 3 takes 28 units of time to execute action 4 takes 26 units of time to execute action 5 takes 25 units of time to execute action 6 takes 28 units of time to execute action 7 takes 35 units of time to execute action 8 takes 28 units of time to execute action 9 takes 29 units of time to execute action 10 takes 26 units of time to execute action 11 takes 34 units of time to execute action 12 takes 31 units of time to execute action 13 takes 27 units of time to execute action 14 takes 31 units of time to execute action 15 takes 34 units of time to execute action 16 takes 26 units of time to execute action 17 takes 32 units of time to execute action 1 and action 13 share token 0 action 2 and action 7 share token 1 action 2 and action 17 share token 2 action 3 and action 12 share token 3 action 4 and action 7 share token 4 action 4 and action 13 share token 5 action 5 and action 8 share token 6 action 5 and action 11 share token 7 action 6 and action 9 share token 8 action 6 and action 15 share token 9 action 7 and action 14 share token 10 action 7 and action 16 share token 11 action 8 and action 10 share token 12 action 8 and action 13 share token 13 action 9 and action 13 share token 14 action 9 and action 16 share token 15 action 11 and action 16 share token 16 action 16 and action 17 share token 17 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 1821 total number of messages sent: 3008 total amount of concurrency: 55116/180000 = 30% fairness in execution: 78/303 = 25% fairness in execution steps: 1989/10000 = 19% ---------- [SUMMARY of Alg1] ---------- action 0 executed 303 times action 1 executed 99 times action 2 executed 63 times action 3 executed 170 times action 4 executed 115 times action 5 executed 91 times action 6 executed 93 times action 7 executed 62 times action 8 executed 91 times action 9 executed 92 times action 10 executed 254 times action 11 executed 166 times action 12 executed 169 times action 13 executed 98 times action 14 executed 187 times action 15 executed 217 times action 16 executed 125 times action 17 executed 188 times total number of action executions: 2583 total number of messages sent: 1541 total amount of concurrency: 77839/180000 = 43% fairness in execution: 62/303 = 20% fairness in execution steps: 2170/10000 = 21% ---------- [CONFIGURATION] ---------- action 0 takes 27 units of time to execute action 1 takes 30 units of time to execute action 2 takes 27 units of time to execute action 3 takes 29 units of time to execute action 4 takes 34 units of time to execute action 5 takes 25 units of time to execute action 6 takes 26 units of time to execute action 7 takes 35 units of time to execute action 8 takes 27 units of time to execute action 9 takes 31 units of time to execute action 10 takes 30 units of time to execute action 11 takes 27 units of time to execute action 12 takes 28 units of time to execute action 13 takes 34 units of time to execute action 14 takes 31 units of time to execute action 15 takes 27 units of time to execute action 16 takes 34 units of time to execute action 17 takes 26 units of time to execute action 0 and action 6 share token 0 action 0 and action 16 share token 1 action 1 and action 12 share token 2 action 2 and action 3 share token 3 action 2 and action 6 share token 4 action 2 and action 7 share token 5 action 2 and action 11 share token 6 action 2 and action 13 share token 7 action 2 and action 14 share token 8 action 2 and action 16 share token 9 action 3 and action 6 share token 10 action 3 and action 14 share token 11 action 4 and action 5 share token 12 action 4 and action 10 share token 13 action 4 and action 17 share token 14 action 5 and action 9 share token 15 action 5 and action 10 share token 16 action 5 and action 12 share token 17 action 5 and action 14 share token 18 action 6 and action 8 share token 19 action 6 and action 12 share token 20 action 6 and action 17 share token 21 action 7 and action 12 share token 22 action 7 and action 15 share token 23 action 8 and action 16 share token 24 action 9 and action 13 share token 25 action 10 and action 11 share token 26 action 10 and action 15 share token 27 action 11 and action 12 share token 28 action 11 and action 14 share token 29 action 11 and action 15 share token 30 action 11 and action 17 share token 31 action 12 and action 16 share token 32 action 12 and action 17 share token 33 action 13 and action 15 share token 34 action 13 and action 17 share token 35 action 15 and action 16 share token 36 action 15 and action 17 share token 37 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 1015 total number of messages sent: 4280 total amount of concurrency: 29857/180000 = 16% fairness in execution: 56/57 = 98% fairness in execution steps: 1425/1995 = 71% ---------- [SUMMARY of Alg1] ---------- action 0 executed 28 times action 1 executed 56 times action 2 executed 15 times action 3 executed 14 times action 4 executed 14 times action 5 executed 14 times action 6 executed 28 times action 7 executed 42 times action 8 executed 126 times action 9 executed 56 times action 10 executed 42 times action 11 executed 42 times action 12 executed 55 times action 13 executed 83 times action 14 executed 126 times action 15 executed 98 times action 16 executed 137 times action 17 executed 166 times total number of action executions: 1142 total number of messages sent: 1674 total amount of concurrency: 33719/180000 = 18% fairness in execution: 14/166 = 8% fairness in execution steps: 350/4678 = 7% ---------- [CONFIGURATION] ---------- action 0 takes 6 units of time to execute action 1 takes 9 units of time to execute action 2 takes 11 units of time to execute action 3 takes 15 units of time to execute action 4 takes 6 units of time to execute action 5 takes 13 units of time to execute action 6 takes 5 units of time to execute action 7 takes 7 units of time to execute action 8 takes 15 units of time to execute action 9 takes 8 units of time to execute action 10 takes 11 units of time to execute action 11 takes 7 units of time to execute action 12 takes 9 units of time to execute action 13 takes 7 units of time to execute action 14 takes 14 units of time to execute action 15 takes 10 units of time to execute action 16 takes 5 units of time to execute action 17 takes 11 units of time to execute action 18 takes 8 units of time to execute action 19 takes 9 units of time to execute action 20 takes 8 units of time to execute action 21 takes 8 units of time to execute action 22 takes 8 units of time to execute action 0 and action 19 share token 0 action 1 and action 5 share token 1 action 2 and action 5 share token 2 action 2 and action 7 share token 3 action 3 and action 5 share token 4 action 3 and action 14 share token 5 action 3 and action 22 share token 6 action 4 and action 11 share token 7 action 4 and action 18 share token 8 action 5 and action 8 share token 9 action 5 and action 15 share token 10 action 5 and action 16 share token 11 action 6 and action 7 share token 12 action 6 and action 12 share token 13 action 6 and action 16 share token 14 action 7 and action 20 share token 15 action 8 and action 18 share token 16 action 9 and action 13 share token 17 action 9 and action 17 share token 18 action 9 and action 18 share token 19 action 10 and action 13 share token 20 action 10 and action 21 share token 21 action 12 and action 14 share token 22 action 18 and action 22 share token 23 action 20 and action 22 share token 24 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 4900 total number of messages sent: 9484 total amount of concurrency: 43128/230000 = 18% fairness in execution: 169/667 = 25% fairness in execution steps: 846/5998 = 14% ---------- [SUMMARY of Alg1] ---------- action 0 executed 667 times action 1 executed 129 times action 2 executed 128 times action 3 executed 142 times action 4 executed 318 times action 5 executed 128 times action 6 executed 312 times action 7 executed 296 times action 8 executed 295 times action 9 executed 248 times action 10 executed 422 times action 11 executed 318 times action 12 executed 502 times action 13 executed 247 times action 14 executed 301 times action 15 executed 799 times action 16 executed 1414 times action 17 executed 600 times action 18 executed 317 times action 19 executed 666 times action 20 executed 701 times action 21 executed 669 times action 22 executed 464 times total number of action executions: 10083 total number of messages sent: 5549 total amount of concurrency: 84541/230000 = 36% fairness in execution: 128/1414 = 9% fairness in execution steps: 1161/7993 = 14% ---------- [CONFIGURATION] ---------- action 0 takes 6 units of time to execute action 1 takes 15 units of time to execute action 2 takes 7 units of time to execute action 3 takes 15 units of time to execute action 4 takes 15 units of time to execute action 5 takes 6 units of time to execute action 6 takes 15 units of time to execute action 7 takes 6 units of time to execute action 8 takes 13 units of time to execute action 9 takes 9 units of time to execute action 10 takes 11 units of time to execute action 11 takes 13 units of time to execute action 12 takes 10 units of time to execute action 13 takes 10 units of time to execute action 14 takes 10 units of time to execute action 15 takes 5 units of time to execute action 16 takes 5 units of time to execute action 17 takes 12 units of time to execute action 18 takes 12 units of time to execute action 19 takes 14 units of time to execute action 20 takes 15 units of time to execute action 21 takes 10 units of time to execute action 22 takes 8 units of time to execute action 0 and action 3 share token 0 action 0 and action 4 share token 1 action 0 and action 9 share token 2 action 0 and action 13 share token 3 action 0 and action 15 share token 4 action 0 and action 16 share token 5 action 0 and action 19 share token 6 action 0 and action 20 share token 7 action 0 and action 21 share token 8 action 1 and action 2 share token 9 action 1 and action 4 share token 10 action 1 and action 7 share token 11 action 1 and action 8 share token 12 action 1 and action 10 share token 13 action 1 and action 11 share token 14 action 1 and action 17 share token 15 action 1 and action 20 share token 16 action 2 and action 4 share token 17 action 2 and action 5 share token 18 action 2 and action 8 share token 19 action 2 and action 14 share token 20 action 3 and action 5 share token 21 action 3 and action 13 share token 22 action 3 and action 16 share token 23 action 3 and action 17 share token 24 action 3 and action 22 share token 25 action 4 and action 8 share token 26 action 4 and action 10 share token 27 action 4 and action 12 share token 28 action 4 and action 18 share token 29 action 4 and action 20 share token 30 action 4 and action 21 share token 31 action 5 and action 6 share token 32 action 5 and action 10 share token 33 action 5 and action 12 share token 34 action 5 and action 14 share token 35 action 6 and action 7 share token 36 action 6 and action 8 share token 37 action 6 and action 13 share token 38 action 6 and action 21 share token 39 action 7 and action 9 share token 40 action 7 and action 17 share token 41 action 7 and action 19 share token 42 action 7 and action 21 share token 43 action 8 and action 11 share token 44 action 8 and action 12 share token 45 action 8 and action 14 share token 46 action 8 and action 16 share token 47 action 8 and action 17 share token 48 action 8 and action 18 share token 49 action 8 and action 20 share token 50 action 9 and action 10 share token 51 action 9 and action 19 share token 52 action 10 and action 19 share token 53 action 11 and action 15 share token 54 action 11 and action 19 share token 55 action 11 and action 20 share token 56 action 13 and action 16 share token 57 action 14 and action 15 share token 58 action 14 and action 16 share token 59 action 14 and action 21 share token 60 action 15 and action 17 share token 61 action 16 and action 18 share token 62 action 17 and action 22 share token 63 action 20 and action 22 share token 64 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 2640 total number of messages sent: 14927 total amount of concurrency: 27814/230000 = 12% fairness in execution: 114/115 = 99% fairness in execution steps: 575/1725 = 33% ---------- [SUMMARY of Alg1] ---------- action 0 executed 19 times action 1 executed 19 times action 2 executed 19 times action 3 executed 18 times action 4 executed 18 times action 5 executed 55 times action 6 executed 74 times action 7 executed 55 times action 8 executed 73 times action 9 executed 94 times action 10 executed 203 times action 11 executed 130 times action 12 executed 321 times action 13 executed 312 times action 14 executed 222 times action 15 executed 574 times action 16 executed 238 times action 17 executed 167 times action 18 executed 485 times action 19 executed 313 times action 20 executed 316 times action 21 executed 666 times action 22 executed 516 times total number of action executions: 4907 total number of messages sent: 4614 total amount of concurrency: 48936/230000 = 21% fairness in execution: 18/666 = 2% fairness in execution steps: 114/6665 = 1% ---------- [CONFIGURATION] ---------- action 0 takes 21 units of time to execute action 1 takes 24 units of time to execute action 2 takes 15 units of time to execute action 3 takes 18 units of time to execute action 4 takes 16 units of time to execute action 5 takes 17 units of time to execute action 6 takes 16 units of time to execute action 7 takes 21 units of time to execute action 8 takes 16 units of time to execute action 9 takes 22 units of time to execute action 10 takes 16 units of time to execute action 11 takes 19 units of time to execute action 12 takes 24 units of time to execute action 13 takes 15 units of time to execute action 14 takes 20 units of time to execute action 15 takes 15 units of time to execute action 16 takes 20 units of time to execute action 17 takes 21 units of time to execute action 18 takes 19 units of time to execute action 19 takes 17 units of time to execute action 20 takes 16 units of time to execute action 21 takes 16 units of time to execute action 22 takes 20 units of time to execute action 0 and action 10 share token 0 action 1 and action 21 share token 1 action 2 and action 6 share token 2 action 2 and action 14 share token 3 action 4 and action 15 share token 4 action 4 and action 20 share token 5 action 5 and action 6 share token 6 action 7 and action 10 share token 7 action 7 and action 14 share token 8 action 7 and action 19 share token 9 action 9 and action 18 share token 10 action 10 and action 19 share token 11 action 12 and action 22 share token 12 action 14 and action 15 share token 13 action 15 and action 22 share token 14 action 17 and action 20 share token 15 action 20 and action 21 share token 16 action 20 and action 22 share token 17 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 6322 total number of messages sent: 6779 total amount of concurrency: 114673/230000 = 49% fairness in execution: 184/666 = 27% fairness in execution steps: 2775/10000 = 27% ---------- [SUMMARY of Alg1] ---------- action 0 executed 140 times action 1 executed 213 times action 2 executed 141 times action 3 executed 555 times action 4 executed 108 times action 5 executed 455 times action 6 executed 141 times action 7 executed 141 times action 8 executed 625 times action 9 executed 244 times action 10 executed 139 times action 11 executed 526 times action 12 executed 213 times action 13 executed 666 times action 14 executed 143 times action 15 executed 108 times action 16 executed 500 times action 17 executed 213 times action 18 executed 243 times action 19 executed 283 times action 20 executed 213 times action 21 executed 212 times action 22 executed 212 times total number of action executions: 6434 total number of messages sent: 2474 total amount of concurrency: 117016/230000 = 50% fairness in execution: 108/666 = 16% fairness in execution steps: 1620/10000 = 16% ---------- [CONFIGURATION] ---------- action 0 takes 22 units of time to execute action 1 takes 21 units of time to execute action 2 takes 20 units of time to execute action 3 takes 16 units of time to execute action 4 takes 20 units of time to execute action 5 takes 21 units of time to execute action 6 takes 24 units of time to execute action 7 takes 20 units of time to execute action 8 takes 17 units of time to execute action 9 takes 21 units of time to execute action 10 takes 19 units of time to execute action 11 takes 24 units of time to execute action 12 takes 24 units of time to execute action 13 takes 22 units of time to execute action 14 takes 20 units of time to execute action 15 takes 18 units of time to execute action 16 takes 20 units of time to execute action 17 takes 19 units of time to execute action 18 takes 21 units of time to execute action 19 takes 22 units of time to execute action 20 takes 19 units of time to execute action 21 takes 18 units of time to execute action 22 takes 16 units of time to execute action 0 and action 7 share token 0 action 0 and action 12 share token 1 action 0 and action 13 share token 2 action 0 and action 15 share token 3 action 0 and action 16 share token 4 action 0 and action 19 share token 5 action 1 and action 3 share token 6 action 1 and action 4 share token 7 action 1 and action 5 share token 8 action 1 and action 14 share token 9 action 1 and action 15 share token 10 action 1 and action 16 share token 11 action 2 and action 8 share token 12 action 2 and action 9 share token 13 action 2 and action 12 share token 14 action 2 and action 15 share token 15 action 2 and action 18 share token 16 action 2 and action 21 share token 17 action 3 and action 5 share token 18 action 3 and action 7 share token 19 action 3 and action 11 share token 20 action 3 and action 12 share token 21 action 3 and action 13 share token 22 action 3 and action 18 share token 23 action 4 and action 14 share token 24 action 4 and action 16 share token 25 action 4 and action 21 share token 26 action 5 and action 8 share token 27 action 5 and action 15 share token 28 action 5 and action 19 share token 29 action 5 and action 20 share token 30 action 5 and action 21 share token 31 action 6 and action 8 share token 32 action 6 and action 11 share token 33 action 6 and action 14 share token 34 action 7 and action 13 share token 35 action 7 and action 14 share token 36 action 7 and action 18 share token 37 action 7 and action 20 share token 38 action 8 and action 10 share token 39 action 8 and action 12 share token 40 action 8 and action 13 share token 41 action 8 and action 14 share token 42 action 8 and action 17 share token 43 action 9 and action 12 share token 44 action 9 and action 13 share token 45 action 9 and action 14 share token 46 action 9 and action 18 share token 47 action 9 and action 20 share token 48 action 10 and action 12 share token 49 action 10 and action 15 share token 50 action 10 and action 20 share token 51 action 11 and action 14 share token 52 action 11 and action 16 share token 53 action 11 and action 18 share token 54 action 11 and action 19 share token 55 action 12 and action 16 share token 56 action 12 and action 18 share token 57 action 12 and action 21 share token 58 action 13 and action 14 share token 59 action 13 and action 16 share token 60 action 13 and action 20 share token 61 action 14 and action 15 share token 62 action 14 and action 17 share token 63 action 14 and action 20 share token 64 action 14 and action 22 share token 65 action 15 and action 16 share token 66 action 15 and action 18 share token 67 action 16 and action 17 share token 68 action 16 and action 20 share token 69 action 17 and action 22 share token 70 action 18 and action 20 share token 71 action 20 and action 21 share token 72 action 20 and action 22 share token 73 action 21 and action 22 share token 74 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 1444 total number of messages sent: 9412 total amount of concurrency: 29157/230000 = 12% fairness in execution: 62/64 = 96% fairness in execution steps: 992/1536 = 64% ---------- [SUMMARY of Alg1] ---------- action 0 executed 13 times action 1 executed 7 times action 2 executed 13 times action 3 executed 7 times action 4 executed 20 times action 5 executed 12 times action 6 executed 37 times action 7 executed 12 times action 8 executed 13 times action 9 executed 20 times action 10 executed 68 times action 11 executed 33 times action 12 executed 31 times action 13 executed 43 times action 14 executed 25 times action 15 executed 113 times action 16 executed 57 times action 17 executed 137 times action 18 executed 147 times action 19 executed 374 times action 20 executed 107 times action 21 executed 215 times action 22 executed 230 times total number of action executions: 1734 total number of messages sent: 2752 total amount of concurrency: 34188/230000 = 14% fairness in execution: 7/374 = 1% fairness in execution steps: 112/8228 = 1% ---------- [CONFIGURATION] ---------- action 0 takes 30 units of time to execute action 1 takes 28 units of time to execute action 2 takes 33 units of time to execute action 3 takes 33 units of time to execute action 4 takes 28 units of time to execute action 5 takes 31 units of time to execute action 6 takes 29 units of time to execute action 7 takes 28 units of time to execute action 8 takes 27 units of time to execute action 9 takes 32 units of time to execute action 10 takes 29 units of time to execute action 11 takes 25 units of time to execute action 12 takes 27 units of time to execute action 13 takes 33 units of time to execute action 14 takes 25 units of time to execute action 15 takes 29 units of time to execute action 16 takes 35 units of time to execute action 17 takes 34 units of time to execute action 18 takes 30 units of time to execute action 19 takes 31 units of time to execute action 20 takes 31 units of time to execute action 21 takes 31 units of time to execute action 22 takes 35 units of time to execute action 0 and action 1 share token 0 action 0 and action 2 share token 1 action 0 and action 11 share token 2 action 0 and action 12 share token 3 action 1 and action 22 share token 4 action 2 and action 10 share token 5 action 2 and action 15 share token 6 action 3 and action 9 share token 7 action 4 and action 9 share token 8 action 4 and action 13 share token 9 action 5 and action 22 share token 10 action 6 and action 8 share token 11 action 6 and action 16 share token 12 action 7 and action 21 share token 13 action 7 and action 22 share token 14 action 9 and action 10 share token 15 action 9 and action 15 share token 16 action 9 and action 18 share token 17 action 10 and action 12 share token 18 action 11 and action 13 share token 19 action 11 and action 14 share token 20 action 13 and action 15 share token 21 action 15 and action 17 share token 22 action 17 and action 18 share token 23 action 18 and action 19 share token 24 action 20 and action 22 share token 25 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 1954 total number of messages sent: 4187 total amount of concurrency: 59086/230000 = 25% fairness in execution: 73/156 = 46% fairness in execution steps: 1850/5460 = 33% ---------- [SUMMARY of Alg1] ---------- action 0 executed 37 times action 1 executed 37 times action 2 executed 38 times action 3 executed 37 times action 4 executed 66 times action 5 executed 103 times action 6 executed 156 times action 7 executed 103 times action 8 executed 156 times action 9 executed 36 times action 10 executed 78 times action 11 executed 78 times action 12 executed 250 times action 13 executed 101 times action 14 executed 321 times action 15 executed 73 times action 16 executed 156 times action 17 executed 109 times action 18 executed 108 times action 19 executed 218 times action 20 executed 206 times action 21 executed 103 times action 22 executed 103 times total number of action executions: 2673 total number of messages sent: 1604 total amount of concurrency: 79312/230000 = 34% fairness in execution: 36/321 = 11% fairness in execution steps: 1036/8049 = 12% ---------- [CONFIGURATION] ---------- action 0 takes 29 units of time to execute action 1 takes 25 units of time to execute action 2 takes 32 units of time to execute action 3 takes 30 units of time to execute action 4 takes 25 units of time to execute action 5 takes 34 units of time to execute action 6 takes 25 units of time to execute action 7 takes 35 units of time to execute action 8 takes 32 units of time to execute action 9 takes 26 units of time to execute action 10 takes 33 units of time to execute action 11 takes 30 units of time to execute action 12 takes 31 units of time to execute action 13 takes 32 units of time to execute action 14 takes 35 units of time to execute action 15 takes 33 units of time to execute action 16 takes 33 units of time to execute action 17 takes 27 units of time to execute action 18 takes 26 units of time to execute action 19 takes 29 units of time to execute action 20 takes 25 units of time to execute action 21 takes 28 units of time to execute action 22 takes 33 units of time to execute action 0 and action 1 share token 0 action 0 and action 6 share token 1 action 0 and action 8 share token 2 action 0 and action 12 share token 3 action 0 and action 20 share token 4 action 1 and action 2 share token 5 action 1 and action 4 share token 6 action 1 and action 10 share token 7 action 1 and action 15 share token 8 action 1 and action 22 share token 9 action 2 and action 4 share token 10 action 2 and action 5 share token 11 action 2 and action 6 share token 12 action 2 and action 7 share token 13 action 2 and action 14 share token 14 action 2 and action 18 share token 15 action 3 and action 5 share token 16 action 3 and action 6 share token 17 action 3 and action 9 share token 18 action 3 and action 13 share token 19 action 4 and action 6 share token 20 action 4 and action 8 share token 21 action 4 and action 11 share token 22 action 4 and action 13 share token 23 action 4 and action 14 share token 24 action 4 and action 22 share token 25 action 5 and action 7 share token 26 action 5 and action 9 share token 27 action 5 and action 10 share token 28 action 5 and action 11 share token 29 action 5 and action 14 share token 30 action 5 and action 16 share token 31 action 5 and action 17 share token 32 action 5 and action 22 share token 33 action 6 and action 7 share token 34 action 6 and action 10 share token 35 action 6 and action 11 share token 36 action 6 and action 18 share token 37 action 6 and action 19 share token 38 action 7 and action 9 share token 39 action 7 and action 11 share token 40 action 7 and action 12 share token 41 action 7 and action 13 share token 42 action 7 and action 15 share token 43 action 7 and action 18 share token 44 action 7 and action 22 share token 45 action 8 and action 11 share token 46 action 8 and action 12 share token 47 action 8 and action 13 share token 48 action 9 and action 15 share token 49 action 9 and action 16 share token 50 action 9 and action 18 share token 51 action 9 and action 21 share token 52 action 10 and action 11 share token 53 action 10 and action 14 share token 54 action 10 and action 16 share token 55 action 10 and action 18 share token 56 action 10 and action 19 share token 57 action 10 and action 20 share token 58 action 11 and action 12 share token 59 action 11 and action 14 share token 60 action 11 and action 16 share token 61 action 11 and action 17 share token 62 action 11 and action 22 share token 63 action 13 and action 19 share token 64 action 13 and action 20 share token 65 action 13 and action 22 share token 66 action 14 and action 17 share token 67 action 14 and action 20 share token 68 action 14 and action 22 share token 69 action 17 and action 22 share token 70 action 19 and action 20 share token 71 action 19 and action 22 share token 72 action 20 and action 22 share token 73 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 857 total number of messages sent: 5516 total amount of concurrency: 25651/230000 = 11% fairness in execution: 37/38 = 97% fairness in execution steps: 925/1295 = 71% ---------- [SUMMARY of Alg1] ---------- action 0 executed 3 times action 1 executed 2 times action 2 executed 2 times action 3 executed 9 times action 4 executed 4 times action 5 executed 4 times action 6 executed 9 times action 7 executed 7 times action 8 executed 30 times action 9 executed 13 times action 10 executed 17 times action 11 executed 15 times action 12 executed 113 times action 13 executed 53 times action 14 executed 38 times action 15 executed 231 times action 16 executed 142 times action 17 executed 104 times action 18 executed 233 times action 19 executed 69 times action 20 executed 85 times action 21 executed 345 times action 22 executed 110 times total number of action executions: 1638 total number of messages sent: 1405 total amount of concurrency: 48681/230000 = 21% fairness in execution: 2/345 = 0% fairness in execution steps: 50/9661 = 0% ---------- [CONFIGURATION] ---------- action 0 takes 6 units of time to execute action 1 takes 15 units of time to execute action 2 takes 9 units of time to execute action 3 takes 10 units of time to execute action 4 takes 15 units of time to execute action 5 takes 13 units of time to execute action 6 takes 15 units of time to execute action 7 takes 13 units of time to execute action 8 takes 13 units of time to execute action 9 takes 8 units of time to execute action 10 takes 5 units of time to execute action 11 takes 13 units of time to execute action 12 takes 11 units of time to execute action 13 takes 5 units of time to execute action 14 takes 8 units of time to execute action 15 takes 13 units of time to execute action 16 takes 9 units of time to execute action 17 takes 14 units of time to execute action 18 takes 11 units of time to execute action 19 takes 15 units of time to execute action 20 takes 8 units of time to execute action 21 takes 7 units of time to execute action 22 takes 5 units of time to execute action 23 takes 15 units of time to execute action 24 takes 13 units of time to execute action 25 takes 9 units of time to execute action 26 takes 10 units of time to execute action 27 takes 7 units of time to execute action 0 and action 9 share token 0 action 0 and action 14 share token 1 action 0 and action 21 share token 2 action 0 and action 26 share token 3 action 1 and action 12 share token 4 action 1 and action 25 share token 5 action 2 and action 10 share token 6 action 3 and action 18 share token 7 action 3 and action 23 share token 8 action 3 and action 24 share token 9 action 4 and action 8 share token 10 action 4 and action 18 share token 11 action 4 and action 23 share token 12 action 5 and action 15 share token 13 action 6 and action 22 share token 14 action 7 and action 10 share token 15 action 7 and action 15 share token 16 action 7 and action 19 share token 17 action 8 and action 9 share token 18 action 8 and action 11 share token 19 action 8 and action 25 share token 20 action 10 and action 27 share token 21 action 12 and action 17 share token 22 action 12 and action 27 share token 23 action 14 and action 20 share token 24 action 14 and action 22 share token 25 action 15 and action 20 share token 26 action 16 and action 21 share token 27 action 16 and action 25 share token 28 action 18 and action 27 share token 29 action 19 and action 22 share token 30 action 19 and action 24 share token 31 action 19 and action 25 share token 32 action 20 and action 21 share token 33 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 10986 total number of messages sent: 22630 total amount of concurrency: 106582/280000 = 38% fairness in execution: 332/2000 = 16% fairness in execution steps: 1665/10000 = 16% ---------- [SUMMARY of Alg1] ---------- action 0 executed 142 times action 1 executed 165 times action 2 executed 212 times action 3 executed 206 times action 4 executed 167 times action 5 executed 211 times action 6 executed 279 times action 7 executed 211 times action 8 executed 166 times action 9 executed 142 times action 10 executed 211 times action 11 executed 452 times action 12 executed 164 times action 13 executed 2000 times action 14 executed 296 times action 15 executed 211 times action 16 executed 438 times action 17 executed 496 times action 18 executed 205 times action 19 executed 279 times action 20 executed 455 times action 21 executed 388 times action 22 executed 279 times action 23 executed 327 times action 24 executed 353 times action 25 executed 306 times action 26 executed 914 times action 27 executed 778 times total number of action executions: 10453 total number of messages sent: 7859 total amount of concurrency: 98590/280000 = 35% fairness in execution: 142/2000 = 7% fairness in execution steps: 852/10000 = 8% ---------- [CONFIGURATION] ---------- action 0 takes 6 units of time to execute action 1 takes 10 units of time to execute action 2 takes 15 units of time to execute action 3 takes 13 units of time to execute action 4 takes 15 units of time to execute action 5 takes 15 units of time to execute action 6 takes 15 units of time to execute action 7 takes 12 units of time to execute action 8 takes 9 units of time to execute action 9 takes 8 units of time to execute action 10 takes 6 units of time to execute action 11 takes 11 units of time to execute action 12 takes 11 units of time to execute action 13 takes 7 units of time to execute action 14 takes 5 units of time to execute action 15 takes 11 units of time to execute action 16 takes 9 units of time to execute action 17 takes 15 units of time to execute action 18 takes 5 units of time to execute action 19 takes 13 units of time to execute action 20 takes 10 units of time to execute action 21 takes 10 units of time to execute action 22 takes 12 units of time to execute action 23 takes 15 units of time to execute action 24 takes 12 units of time to execute action 25 takes 10 units of time to execute action 26 takes 6 units of time to execute action 27 takes 14 units of time to execute action 0 and action 3 share token 0 action 0 and action 5 share token 1 action 0 and action 15 share token 2 action 0 and action 16 share token 3 action 0 and action 18 share token 4 action 0 and action 20 share token 5 action 0 and action 23 share token 6 action 1 and action 6 share token 7 action 1 and action 8 share token 8 action 1 and action 9 share token 9 action 1 and action 15 share token 10 action 1 and action 17 share token 11 action 1 and action 18 share token 12 action 1 and action 20 share token 13 action 1 and action 25 share token 14 action 2 and action 5 share token 15 action 2 and action 11 share token 16 action 2 and action 13 share token 17 action 2 and action 16 share token 18 action 2 and action 20 share token 19 action 2 and action 26 share token 20 action 3 and action 4 share token 21 action 3 and action 6 share token 22 action 3 and action 9 share token 23 action 3 and action 10 share token 24 action 3 and action 11 share token 25 action 3 and action 15 share token 26 action 3 and action 19 share token 27 action 3 and action 22 share token 28 action 3 and action 23 share token 29 action 3 and action 27 share token 30 action 4 and action 7 share token 31 action 4 and action 8 share token 32 action 4 and action 10 share token 33 action 4 and action 11 share token 34 action 4 and action 13 share token 35 action 4 and action 17 share token 36 action 4 and action 19 share token 37 action 4 and action 21 share token 38 action 4 and action 23 share token 39 action 4 and action 24 share token 40 action 4 and action 25 share token 41 action 5 and action 7 share token 42 action 5 and action 12 share token 43 action 5 and action 13 share token 44 action 5 and action 14 share token 45 action 5 and action 19 share token 46 action 5 and action 22 share token 47 action 6 and action 8 share token 48 action 6 and action 10 share token 49 action 6 and action 12 share token 50 action 6 and action 19 share token 51 action 6 and action 27 share token 52 action 7 and action 11 share token 53 action 7 and action 12 share token 54 action 7 and action 13 share token 55 action 7 and action 18 share token 56 action 7 and action 23 share token 57 action 7 and action 24 share token 58 action 7 and action 26 share token 59 action 8 and action 15 share token 60 action 8 and action 16 share token 61 action 8 and action 18 share token 62 action 8 and action 19 share token 63 action 8 and action 21 share token 64 action 8 and action 24 share token 65 action 9 and action 11 share token 66 action 9 and action 12 share token 67 action 9 and action 13 share token 68 action 9 and action 17 share token 69 action 9 and action 21 share token 70 action 9 and action 23 share token 71 action 9 and action 24 share token 72 action 9 and action 25 share token 73 action 9 and action 27 share token 74 action 10 and action 12 share token 75 action 10 and action 15 share token 76 action 10 and action 26 share token 77 action 10 and action 27 share token 78 action 11 and action 17 share token 79 action 11 and action 19 share token 80 action 11 and action 21 share token 81 action 11 and action 22 share token 82 action 11 and action 25 share token 83 action 11 and action 26 share token 84 action 12 and action 17 share token 85 action 12 and action 24 share token 86 action 12 and action 27 share token 87 action 13 and action 14 share token 88 action 13 and action 18 share token 89 action 13 and action 19 share token 90 action 13 and action 21 share token 91 action 13 and action 22 share token 92 action 14 and action 16 share token 93 action 14 and action 23 share token 94 action 14 and action 24 share token 95 action 14 and action 26 share token 96 action 15 and action 16 share token 97 action 15 and action 17 share token 98 action 15 and action 25 share token 99 action 16 and action 23 share token 100 action 16 and action 27 share token 101 action 17 and action 18 share token 102 action 17 and action 19 share token 103 action 17 and action 21 share token 104 action 17 and action 24 share token 105 action 17 and action 27 share token 106 action 18 and action 19 share token 107 action 18 and action 21 share token 108 action 18 and action 27 share token 109 action 19 and action 23 share token 110 action 19 and action 24 share token 111 action 19 and action 26 share token 112 action 20 and action 23 share token 113 action 20 and action 26 share token 114 action 21 and action 24 share token 115 action 21 and action 27 share token 116 action 22 and action 25 share token 117 action 22 and action 27 share token 118 action 23 and action 25 share token 119 action 25 and action 26 share token 120 action 25 and action 27 share token 121 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 2277 total number of messages sent: 19839 total amount of concurrency: 24416/280000 = 8% fairness in execution: 81/82 = 98% fairness in execution steps: 405/1230 = 32% ---------- [SUMMARY of Alg1] ---------- action 0 executed 5 times action 1 executed 6 times action 2 executed 11 times action 3 executed 5 times action 4 executed 5 times action 5 executed 11 times action 6 executed 6 times action 7 executed 6 times action 8 executed 11 times action 9 executed 18 times action 10 executed 74 times action 11 executed 16 times action 12 executed 45 times action 13 executed 37 times action 14 executed 103 times action 15 executed 60 times action 16 executed 68 times action 17 executed 46 times action 18 executed 108 times action 19 executed 91 times action 20 executed 423 times action 21 executed 207 times action 22 executed 185 times action 23 executed 138 times action 24 executed 257 times action 25 executed 203 times action 26 executed 524 times action 27 executed 343 times total number of action executions: 3012 total number of messages sent: 5463 total amount of concurrency: 30191/280000 = 10% fairness in execution: 5/524 = 0% fairness in execution steps: 30/4802 = 0% ---------- [CONFIGURATION] ---------- action 0 takes 16 units of time to execute action 1 takes 15 units of time to execute action 2 takes 18 units of time to execute action 3 takes 16 units of time to execute action 4 takes 17 units of time to execute action 5 takes 16 units of time to execute action 6 takes 15 units of time to execute action 7 takes 25 units of time to execute action 8 takes 21 units of time to execute action 9 takes 23 units of time to execute action 10 takes 25 units of time to execute action 11 takes 19 units of time to execute action 12 takes 16 units of time to execute action 13 takes 18 units of time to execute action 14 takes 17 units of time to execute action 15 takes 18 units of time to execute action 16 takes 25 units of time to execute action 17 takes 24 units of time to execute action 18 takes 19 units of time to execute action 19 takes 21 units of time to execute action 20 takes 25 units of time to execute action 21 takes 21 units of time to execute action 22 takes 15 units of time to execute action 23 takes 24 units of time to execute action 24 takes 24 units of time to execute action 25 takes 22 units of time to execute action 26 takes 17 units of time to execute action 27 takes 19 units of time to execute action 0 and action 2 share token 0 action 0 and action 6 share token 1 action 0 and action 14 share token 2 action 0 and action 15 share token 3 action 0 and action 17 share token 4 action 1 and action 6 share token 5 action 1 and action 22 share token 6 action 1 and action 24 share token 7 action 1 and action 25 share token 8 action 2 and action 8 share token 9 action 2 and action 18 share token 10 action 2 and action 23 share token 11 action 3 and action 4 share token 12 action 3 and action 5 share token 13 action 3 and action 17 share token 14 action 3 and action 18 share token 15 action 4 and action 19 share token 16 action 5 and action 14 share token 17 action 5 and action 16 share token 18 action 5 and action 20 share token 19 action 5 and action 25 share token 20 action 6 and action 18 share token 21 action 6 and action 20 share token 22 action 7 and action 9 share token 23 action 8 and action 21 share token 24 action 9 and action 22 share token 25 action 9 and action 23 share token 26 action 10 and action 12 share token 27 action 10 and action 16 share token 28 action 11 and action 17 share token 29 action 11 and action 19 share token 30 action 13 and action 14 share token 31 action 13 and action 16 share token 32 action 13 and action 21 share token 33 action 13 and action 22 share token 34 action 13 and action 24 share token 35 action 14 and action 24 share token 36 action 16 and action 22 share token 37 action 19 and action 22 share token 38 action 20 and action 24 share token 39 action 20 and action 25 share token 40 action 21 and action 22 share token 41 action 22 and action 26 share token 42 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 3947 total number of messages sent: 10890 total amount of concurrency: 77470/280000 = 27% fairness in execution: 126/526 = 23% fairness in execution steps: 1890/10000 = 18% ---------- [SUMMARY of Alg1] ---------- action 0 executed 29 times action 1 executed 61 times action 2 executed 29 times action 3 executed 45 times action 4 executed 45 times action 5 executed 44 times action 6 executed 40 times action 7 executed 105 times action 8 executed 117 times action 9 executed 104 times action 10 executed 152 times action 11 executed 167 times action 12 executed 152 times action 13 executed 102 times action 14 executed 68 times action 15 executed 485 times action 16 executed 91 times action 17 executed 153 times action 18 executed 357 times action 19 executed 250 times action 20 executed 143 times action 21 executed 134 times action 22 executed 75 times action 23 executed 307 times action 24 executed 131 times action 25 executed 259 times action 26 executed 522 times action 27 executed 526 times total number of action executions: 4693 total number of messages sent: 3199 total amount of concurrency: 93945/280000 = 33% fairness in execution: 29/526 = 5% fairness in execution steps: 464/10000 = 4% ---------- [CONFIGURATION] ---------- action 0 takes 24 units of time to execute action 1 takes 24 units of time to execute action 2 takes 18 units of time to execute action 3 takes 25 units of time to execute action 4 takes 17 units of time to execute action 5 takes 22 units of time to execute action 6 takes 23 units of time to execute action 7 takes 18 units of time to execute action 8 takes 22 units of time to execute action 9 takes 20 units of time to execute action 10 takes 22 units of time to execute action 11 takes 22 units of time to execute action 12 takes 20 units of time to execute action 13 takes 21 units of time to execute action 14 takes 22 units of time to execute action 15 takes 25 units of time to execute action 16 takes 16 units of time to execute action 17 takes 17 units of time to execute action 18 takes 24 units of time to execute action 19 takes 18 units of time to execute action 20 takes 17 units of time to execute action 21 takes 15 units of time to execute action 22 takes 18 units of time to execute action 23 takes 22 units of time to execute action 24 takes 20 units of time to execute action 25 takes 15 units of time to execute action 26 takes 20 units of time to execute action 27 takes 18 units of time to execute action 0 and action 1 share token 0 action 0 and action 3 share token 1 action 0 and action 6 share token 2 action 0 and action 14 share token 3 action 0 and action 17 share token 4 action 0 and action 19 share token 5 action 0 and action 24 share token 6 action 0 and action 27 share token 7 action 1 and action 15 share token 8 action 1 and action 16 share token 9 action 1 and action 17 share token 10 action 1 and action 18 share token 11 action 2 and action 6 share token 12 action 2 and action 9 share token 13 action 2 and action 11 share token 14 action 2 and action 13 share token 15 action 2 and action 16 share token 16 action 2 and action 17 share token 17 action 2 and action 18 share token 18 action 2 and action 20 share token 19 action 2 and action 23 share token 20 action 3 and action 7 share token 21 action 3 and action 8 share token 22 action 3 and action 10 share token 23 action 3 and action 16 share token 24 action 3 and action 18 share token 25 action 3 and action 22 share token 26 action 3 and action 23 share token 27 action 3 and action 26 share token 28 action 4 and action 6 share token 29 action 4 and action 8 share token 30 action 4 and action 10 share token 31 action 4 and action 14 share token 32 action 5 and action 6 share token 33 action 5 and action 10 share token 34 action 5 and action 11 share token 35 action 5 and action 13 share token 36 action 5 and action 14 share token 37 action 5 and action 15 share token 38 action 5 and action 16 share token 39 action 5 and action 17 share token 40 action 5 and action 19 share token 41 action 5 and action 26 share token 42 action 6 and action 10 share token 43 action 6 and action 12 share token 44 action 6 and action 14 share token 45 action 6 and action 20 share token 46 action 6 and action 22 share token 47 action 6 and action 23 share token 48 action 6 and action 24 share token 49 action 7 and action 10 share token 50 action 7 and action 11 share token 51 action 7 and action 13 share token 52 action 7 and action 26 share token 53 action 8 and action 14 share token 54 action 8 and action 15 share token 55 action 8 and action 18 share token 56 action 8 and action 26 share token 57 action 8 and action 27 share token 58 action 9 and action 12 share token 59 action 9 and action 13 share token 60 action 9 and action 14 share token 61 action 9 and action 15 share token 62 action 9 and action 19 share token 63 action 9 and action 24 share token 64 action 9 and action 27 share token 65 action 10 and action 13 share token 66 action 10 and action 14 share token 67 action 10 and action 16 share token 68 action 10 and action 17 share token 69 action 10 and action 18 share token 70 action 10 and action 19 share token 71 action 10 and action 22 share token 72 action 10 and action 24 share token 73 action 10 and action 25 share token 74 action 11 and action 13 share token 75 action 11 and action 17 share token 76 action 11 and action 18 share token 77 action 11 and action 19 share token 78 action 11 and action 20 share token 79 action 11 and action 22 share token 80 action 11 and action 24 share token 81 action 11 and action 26 share token 82 action 12 and action 14 share token 83 action 12 and action 15 share token 84 action 12 and action 20 share token 85 action 12 and action 21 share token 86 action 12 and action 23 share token 87 action 13 and action 19 share token 88 action 14 and action 19 share token 89 action 14 and action 22 share token 90 action 14 and action 23 share token 91 action 14 and action 26 share token 92 action 14 and action 27 share token 93 action 15 and action 22 share token 94 action 16 and action 18 share token 95 action 16 and action 19 share token 96 action 16 and action 24 share token 97 action 16 and action 25 share token 98 action 16 and action 27 share token 99 action 17 and action 21 share token 100 action 17 and action 22 share token 101 action 17 and action 25 share token 102 action 17 and action 27 share token 103 action 18 and action 23 share token 104 action 18 and action 24 share token 105 action 18 and action 25 share token 106 action 18 and action 26 share token 107 action 18 and action 27 share token 108 action 19 and action 21 share token 109 action 19 and action 25 share token 110 action 20 and action 21 share token 111 action 20 and action 25 share token 112 action 21 and action 23 share token 113 action 21 and action 26 share token 114 action 21 and action 27 share token 115 action 22 and action 25 share token 116 action 24 and action 26 share token 117 action 25 and action 27 share token 118 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 1727 total number of messages sent: 14678 total amount of concurrency: 34894/280000 = 12% fairness in execution: 61/62 = 98% fairness in execution steps: 915/1550 = 59% ---------- [SUMMARY of Alg1] ---------- action 0 executed 2 times action 1 executed 2 times action 2 executed 4 times action 3 executed 3 times action 4 executed 8 times action 5 executed 7 times action 6 executed 1 times action 7 executed 40 times action 8 executed 13 times action 9 executed 13 times action 10 executed 7 times action 11 executed 14 times action 12 executed 25 times action 13 executed 11 times action 14 executed 13 times action 15 executed 108 times action 16 executed 26 times action 17 executed 40 times action 18 executed 38 times action 19 executed 88 times action 20 executed 173 times action 21 executed 87 times action 22 executed 162 times action 23 executed 167 times action 24 executed 158 times action 25 executed 162 times action 26 executed 193 times action 27 executed 294 times total number of action executions: 1859 total number of messages sent: 2863 total amount of concurrency: 35196/280000 = 12% fairness in execution: 1/294 = 0% fairness in execution steps: 23/5297 = 0% ---------- [CONFIGURATION] ---------- action 0 takes 32 units of time to execute action 1 takes 28 units of time to execute action 2 takes 30 units of time to execute action 3 takes 33 units of time to execute action 4 takes 34 units of time to execute action 5 takes 35 units of time to execute action 6 takes 33 units of time to execute action 7 takes 32 units of time to execute action 8 takes 33 units of time to execute action 9 takes 29 units of time to execute action 10 takes 35 units of time to execute action 11 takes 32 units of time to execute action 12 takes 32 units of time to execute action 13 takes 34 units of time to execute action 14 takes 33 units of time to execute action 15 takes 28 units of time to execute action 16 takes 34 units of time to execute action 17 takes 28 units of time to execute action 18 takes 26 units of time to execute action 19 takes 30 units of time to execute action 20 takes 31 units of time to execute action 21 takes 30 units of time to execute action 22 takes 30 units of time to execute action 23 takes 32 units of time to execute action 24 takes 34 units of time to execute action 25 takes 31 units of time to execute action 26 takes 27 units of time to execute action 27 takes 32 units of time to execute action 0 and action 13 share token 0 action 1 and action 4 share token 1 action 1 and action 7 share token 2 action 1 and action 19 share token 3 action 2 and action 21 share token 4 action 2 and action 25 share token 5 action 2 and action 26 share token 6 action 3 and action 6 share token 7 action 3 and action 10 share token 8 action 4 and action 8 share token 9 action 5 and action 21 share token 10 action 6 and action 10 share token 11 action 6 and action 11 share token 12 action 6 and action 17 share token 13 action 6 and action 21 share token 14 action 7 and action 16 share token 15 action 7 and action 21 share token 16 action 8 and action 9 share token 17 action 8 and action 25 share token 18 action 8 and action 26 share token 19 action 9 and action 19 share token 20 action 9 and action 21 share token 21 action 9 and action 26 share token 22 action 12 and action 22 share token 23 action 13 and action 25 share token 24 action 15 and action 16 share token 25 action 15 and action 20 share token 26 action 15 and action 22 share token 27 action 16 and action 22 share token 28 action 16 and action 25 share token 29 action 17 and action 18 share token 30 action 18 and action 26 share token 31 action 18 and action 27 share token 32 action 20 and action 21 share token 33 action 23 and action 26 share token 34 action 24 and action 27 share token 35 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 2057 total number of messages sent: 4670 total amount of concurrency: 65046/280000 = 23% fairness in execution: 64/303 = 21% fairness in execution steps: 1690/10000 = 16% ---------- [SUMMARY of Alg1] ---------- action 0 executed 130 times action 1 executed 41 times action 2 executed 45 times action 3 executed 43 times action 4 executed 40 times action 5 executed 202 times action 6 executed 43 times action 7 executed 61 times action 8 executed 41 times action 9 executed 41 times action 10 executed 84 times action 11 executed 170 times action 12 executed 113 times action 13 executed 130 times action 14 executed 303 times action 15 executed 92 times action 16 executed 86 times action 17 executed 85 times action 18 executed 87 times action 19 executed 164 times action 20 executed 185 times action 21 executed 45 times action 22 executed 113 times action 23 executed 239 times action 24 executed 152 times action 25 executed 88 times action 26 executed 87 times action 27 executed 151 times total number of action executions: 3061 total number of messages sent: 2282 total amount of concurrency: 97193/280000 = 34% fairness in execution: 40/303 = 13% fairness in execution steps: 1148/10000 = 11% ---------- [CONFIGURATION] ---------- action 0 takes 30 units of time to execute action 1 takes 32 units of time to execute action 2 takes 33 units of time to execute action 3 takes 27 units of time to execute action 4 takes 27 units of time to execute action 5 takes 32 units of time to execute action 6 takes 33 units of time to execute action 7 takes 33 units of time to execute action 8 takes 27 units of time to execute action 9 takes 26 units of time to execute action 10 takes 30 units of time to execute action 11 takes 35 units of time to execute action 12 takes 35 units of time to execute action 13 takes 26 units of time to execute action 14 takes 33 units of time to execute action 15 takes 26 units of time to execute action 16 takes 32 units of time to execute action 17 takes 27 units of time to execute action 18 takes 25 units of time to execute action 19 takes 33 units of time to execute action 20 takes 30 units of time to execute action 21 takes 32 units of time to execute action 22 takes 30 units of time to execute action 23 takes 25 units of time to execute action 24 takes 35 units of time to execute action 25 takes 34 units of time to execute action 26 takes 34 units of time to execute action 27 takes 31 units of time to execute action 0 and action 4 share token 0 action 0 and action 6 share token 1 action 0 and action 9 share token 2 action 0 and action 11 share token 3 action 0 and action 16 share token 4 action 0 and action 17 share token 5 action 0 and action 20 share token 6 action 0 and action 21 share token 7 action 0 and action 26 share token 8 action 1 and action 2 share token 9 action 1 and action 5 share token 10 action 1 and action 7 share token 11 action 1 and action 9 share token 12 action 1 and action 10 share token 13 action 1 and action 13 share token 14 action 1 and action 21 share token 15 action 1 and action 23 share token 16 action 2 and action 4 share token 17 action 2 and action 6 share token 18 action 2 and action 8 share token 19 action 2 and action 11 share token 20 action 2 and action 13 share token 21 action 2 and action 15 share token 22 action 2 and action 17 share token 23 action 2 and action 19 share token 24 action 2 and action 20 share token 25 action 3 and action 4 share token 26 action 3 and action 5 share token 27 action 3 and action 7 share token 28 action 3 and action 9 share token 29 action 3 and action 10 share token 30 action 3 and action 11 share token 31 action 3 and action 23 share token 32 action 3 and action 25 share token 33 action 3 and action 26 share token 34 action 3 and action 27 share token 35 action 4 and action 5 share token 36 action 4 and action 10 share token 37 action 4 and action 16 share token 38 action 4 and action 18 share token 39 action 4 and action 25 share token 40 action 5 and action 7 share token 41 action 5 and action 8 share token 42 action 5 and action 9 share token 43 action 5 and action 22 share token 44 action 5 and action 24 share token 45 action 5 and action 26 share token 46 action 5 and action 27 share token 47 action 6 and action 12 share token 48 action 6 and action 13 share token 49 action 6 and action 17 share token 50 action 6 and action 18 share token 51 action 6 and action 21 share token 52 action 6 and action 26 share token 53 action 7 and action 9 share token 54 action 7 and action 19 share token 55 action 7 and action 20 share token 56 action 7 and action 21 share token 57 action 7 and action 22 share token 58 action 7 and action 27 share token 59 action 8 and action 15 share token 60 action 8 and action 16 share token 61 action 8 and action 26 share token 62 action 8 and action 27 share token 63 action 9 and action 13 share token 64 action 9 and action 15 share token 65 action 9 and action 17 share token 66 action 9 and action 20 share token 67 action 9 and action 21 share token 68 action 9 and action 22 share token 69 action 9 and action 23 share token 70 action 9 and action 26 share token 71 action 9 and action 27 share token 72 action 10 and action 11 share token 73 action 10 and action 12 share token 74 action 10 and action 16 share token 75 action 10 and action 18 share token 76 action 10 and action 23 share token 77 action 10 and action 24 share token 78 action 10 and action 25 share token 79 action 10 and action 26 share token 80 action 10 and action 27 share token 81 action 11 and action 14 share token 82 action 11 and action 19 share token 83 action 11 and action 24 share token 84 action 11 and action 25 share token 85 action 11 and action 27 share token 86 action 12 and action 13 share token 87 action 12 and action 16 share token 88 action 12 and action 25 share token 89 action 12 and action 26 share token 90 action 13 and action 14 share token 91 action 13 and action 18 share token 92 action 13 and action 21 share token 93 action 15 and action 21 share token 94 action 15 and action 24 share token 95 action 15 and action 27 share token 96 action 16 and action 17 share token 97 action 16 and action 19 share token 98 action 16 and action 25 share token 99 action 17 and action 18 share token 100 action 17 and action 19 share token 101 action 17 and action 20 share token 102 action 18 and action 22 share token 103 action 18 and action 27 share token 104 action 19 and action 22 share token 105 action 19 and action 25 share token 106 action 20 and action 23 share token 107 action 21 and action 23 share token 108 action 21 and action 27 share token 109 action 22 and action 23 share token 110 action 22 and action 24 share token 111 action 24 and action 25 share token 112 action 25 and action 26 share token 113 action 25 and action 27 share token 114 action 26 and action 27 share token 115 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 750 total number of messages sent: 6212 total amount of concurrency: 22843/280000 = 8% fairness in execution: 26/27 = 96% fairness in execution steps: 650/945 = 68% ---------- [SUMMARY of Alg1] ---------- action 0 executed 3 times action 1 executed 2 times action 2 executed 2 times action 3 executed 5 times action 4 executed 2 times action 5 executed 3 times action 6 executed 5 times action 7 executed 6 times action 8 executed 12 times action 9 executed 4 times action 10 executed 7 times action 11 executed 11 times action 12 executed 11 times action 13 executed 24 times action 14 executed 151 times action 15 executed 32 times action 16 executed 17 times action 17 executed 40 times action 18 executed 50 times action 19 executed 50 times action 20 executed 118 times action 21 executed 71 times action 22 executed 81 times action 23 executed 90 times action 24 executed 54 times action 25 executed 62 times action 26 executed 90 times action 27 executed 136 times total number of action executions: 1139 total number of messages sent: 1962 total amount of concurrency: 35052/280000 = 12% fairness in execution: 2/151 = 1% fairness in execution steps: 54/4999 = 1% ---------- [CONFIGURATION] ---------- action 0 takes 5 units of time to execute action 1 takes 12 units of time to execute action 2 takes 13 units of time to execute action 3 takes 11 units of time to execute action 4 takes 11 units of time to execute action 5 takes 5 units of time to execute action 6 takes 9 units of time to execute action 7 takes 13 units of time to execute action 8 takes 11 units of time to execute action 9 takes 5 units of time to execute action 10 takes 10 units of time to execute action 11 takes 10 units of time to execute action 12 takes 7 units of time to execute action 13 takes 11 units of time to execute action 14 takes 8 units of time to execute action 15 takes 7 units of time to execute action 16 takes 11 units of time to execute action 17 takes 13 units of time to execute action 18 takes 9 units of time to execute action 19 takes 5 units of time to execute action 20 takes 13 units of time to execute action 21 takes 15 units of time to execute action 22 takes 5 units of time to execute action 23 takes 10 units of time to execute action 24 takes 7 units of time to execute action 25 takes 13 units of time to execute action 26 takes 15 units of time to execute action 27 takes 5 units of time to execute action 28 takes 14 units of time to execute action 29 takes 5 units of time to execute action 30 takes 13 units of time to execute action 31 takes 6 units of time to execute action 32 takes 8 units of time to execute action 0 and action 12 share token 0 action 1 and action 6 share token 1 action 2 and action 3 share token 2 action 2 and action 7 share token 3 action 2 and action 10 share token 4 action 2 and action 11 share token 5 action 2 and action 26 share token 6 action 2 and action 32 share token 7 action 3 and action 6 share token 8 action 3 and action 7 share token 9 action 3 and action 10 share token 10 action 3 and action 15 share token 11 action 3 and action 20 share token 12 action 3 and action 21 share token 13 action 3 and action 24 share token 14 action 4 and action 14 share token 15 action 5 and action 25 share token 16 action 7 and action 20 share token 17 action 7 and action 21 share token 18 action 7 and action 27 share token 19 action 7 and action 29 share token 20 action 8 and action 10 share token 21 action 8 and action 28 share token 22 action 8 and action 32 share token 23 action 9 and action 11 share token 24 action 9 and action 21 share token 25 action 10 and action 20 share token 26 action 10 and action 29 share token 27 action 10 and action 30 share token 28 action 11 and action 12 share token 29 action 11 and action 14 share token 30 action 11 and action 23 share token 31 action 11 and action 26 share token 32 action 11 and action 30 share token 33 action 12 and action 19 share token 34 action 12 and action 29 share token 35 action 13 and action 15 share token 36 action 13 and action 26 share token 37 action 13 and action 31 share token 38 action 14 and action 20 share token 39 action 14 and action 30 share token 40 action 16 and action 30 share token 41 action 17 and action 21 share token 42 action 17 and action 28 share token 43 action 17 and action 29 share token 44 action 19 and action 23 share token 45 action 19 and action 30 share token 46 action 20 and action 27 share token 47 action 21 and action 26 share token 48 action 22 and action 32 share token 49 action 23 and action 31 share token 50 action 23 and action 32 share token 51 action 24 and action 26 share token 52 action 25 and action 28 share token 53 action 27 and action 30 share token 54 action 28 and action 30 share token 55 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 5893 total number of messages sent: 16718 total amount of concurrency: 55738/330000 = 16% fairness in execution: 149/1111 = 13% fairness in execution steps: 745/10000 = 7% ---------- [SUMMARY of Alg1] ---------- action 0 executed 163 times action 1 executed 244 times action 2 executed 21 times action 3 executed 20 times action 4 executed 136 times action 5 executed 379 times action 6 executed 243 times action 7 executed 40 times action 8 executed 157 times action 9 executed 120 times action 10 executed 80 times action 11 executed 91 times action 12 executed 162 times action 13 executed 281 times action 14 executed 135 times action 15 executed 230 times action 16 executed 390 times action 17 executed 246 times action 18 executed 1111 times action 19 executed 576 times action 20 executed 165 times action 21 executed 189 times action 22 executed 903 times action 23 executed 232 times action 24 executed 958 times action 25 executed 378 times action 26 executed 210 times action 27 executed 668 times action 28 executed 227 times action 29 executed 882 times action 30 executed 260 times action 31 executed 765 times action 32 executed 552 times total number of action executions: 11214 total number of messages sent: 7909 total amount of concurrency: 91578/330000 = 27% fairness in execution: 20/1111 = 1% fairness in execution steps: 220/10000 = 2% ---------- [CONFIGURATION] ---------- action 0 takes 13 units of time to execute action 1 takes 11 units of time to execute action 2 takes 6 units of time to execute action 3 takes 7 units of time to execute action 4 takes 10 units of time to execute action 5 takes 7 units of time to execute action 6 takes 12 units of time to execute action 7 takes 15 units of time to execute action 8 takes 10 units of time to execute action 9 takes 12 units of time to execute action 10 takes 13 units of time to execute action 11 takes 11 units of time to execute action 12 takes 15 units of time to execute action 13 takes 13 units of time to execute action 14 takes 14 units of time to execute action 15 takes 12 units of time to execute action 16 takes 15 units of time to execute action 17 takes 10 units of time to execute action 18 takes 8 units of time to execute action 19 takes 10 units of time to execute action 20 takes 7 units of time to execute action 21 takes 15 units of time to execute action 22 takes 8 units of time to execute action 23 takes 5 units of time to execute action 24 takes 12 units of time to execute action 25 takes 7 units of time to execute action 26 takes 10 units of time to execute action 27 takes 9 units of time to execute action 28 takes 9 units of time to execute action 29 takes 5 units of time to execute action 30 takes 8 units of time to execute action 31 takes 12 units of time to execute action 32 takes 13 units of time to execute action 0 and action 3 share token 0 action 0 and action 4 share token 1 action 0 and action 8 share token 2 action 0 and action 17 share token 3 action 0 and action 18 share token 4 action 0 and action 19 share token 5 action 0 and action 22 share token 6 action 0 and action 23 share token 7 action 0 and action 27 share token 8 action 0 and action 30 share token 9 action 1 and action 2 share token 10 action 1 and action 3 share token 11 action 1 and action 4 share token 12 action 1 and action 9 share token 13 action 1 and action 11 share token 14 action 1 and action 12 share token 15 action 1 and action 15 share token 16 action 1 and action 17 share token 17 action 1 and action 24 share token 18 action 1 and action 25 share token 19 action 1 and action 32 share token 20 action 2 and action 6 share token 21 action 2 and action 9 share token 22 action 2 and action 10 share token 23 action 2 and action 12 share token 24 action 2 and action 20 share token 25 action 3 and action 13 share token 26 action 3 and action 15 share token 27 action 3 and action 16 share token 28 action 3 and action 17 share token 29 action 3 and action 21 share token 30 action 3 and action 26 share token 31 action 4 and action 5 share token 32 action 4 and action 6 share token 33 action 4 and action 8 share token 34 action 4 and action 12 share token 35 action 4 and action 14 share token 36 action 4 and action 20 share token 37 action 4 and action 23 share token 38 action 4 and action 27 share token 39 action 4 and action 28 share token 40 action 4 and action 29 share token 41 action 4 and action 32 share token 42 action 5 and action 6 share token 43 action 5 and action 9 share token 44 action 5 and action 21 share token 45 action 5 and action 23 share token 46 action 5 and action 24 share token 47 action 5 and action 25 share token 48 action 5 and action 28 share token 49 action 5 and action 31 share token 50 action 6 and action 8 share token 51 action 6 and action 12 share token 52 action 6 and action 17 share token 53 action 6 and action 18 share token 54 action 6 and action 26 share token 55 action 7 and action 16 share token 56 action 7 and action 17 share token 57 action 7 and action 20 share token 58 action 7 and action 22 share token 59 action 7 and action 26 share token 60 action 7 and action 28 share token 61 action 7 and action 30 share token 62 action 7 and action 32 share token 63 action 8 and action 14 share token 64 action 8 and action 19 share token 65 action 8 and action 20 share token 66 action 8 and action 21 share token 67 action 8 and action 22 share token 68 action 8 and action 23 share token 69 action 8 and action 28 share token 70 action 8 and action 32 share token 71 action 9 and action 10 share token 72 action 9 and action 16 share token 73 action 9 and action 17 share token 74 action 9 and action 18 share token 75 action 9 and action 23 share token 76 action 9 and action 25 share token 77 action 9 and action 28 share token 78 action 10 and action 15 share token 79 action 10 and action 20 share token 80 action 10 and action 22 share token 81 action 10 and action 23 share token 82 action 10 and action 26 share token 83 action 10 and action 27 share token 84 action 10 and action 28 share token 85 action 10 and action 32 share token 86 action 11 and action 12 share token 87 action 11 and action 16 share token 88 action 11 and action 17 share token 89 action 11 and action 19 share token 90 action 11 and action 20 share token 91 action 11 and action 21 share token 92 action 11 and action 24 share token 93 action 11 and action 26 share token 94 action 11 and action 27 share token 95 action 11 and action 28 share token 96 action 11 and action 29 share token 97 action 12 and action 18 share token 98 action 12 and action 20 share token 99 action 12 and action 21 share token 100 action 12 and action 28 share token 101 action 12 and action 30 share token 102 action 12 and action 31 share token 103 action 13 and action 15 share token 104 action 13 and action 17 share token 105 action 13 and action 19 share token 106 action 13 and action 22 share token 107 action 13 and action 26 share token 108 action 13 and action 30 share token 109 action 14 and action 15 share token 110 action 14 and action 16 share token 111 action 14 and action 17 share token 112 action 14 and action 20 share token 113 action 14 and action 21 share token 114 action 14 and action 22 share token 115 action 14 and action 23 share token 116 action 14 and action 26 share token 117 action 14 and action 27 share token 118 action 14 and action 29 share token 119 action 14 and action 30 share token 120 action 14 and action 31 share token 121 action 15 and action 16 share token 122 action 15 and action 21 share token 123 action 15 and action 23 share token 124 action 15 and action 31 share token 125 action 16 and action 17 share token 126 action 16 and action 20 share token 127 action 16 and action 23 share token 128 action 16 and action 24 share token 129 action 16 and action 27 share token 130 action 16 and action 28 share token 131 action 16 and action 29 share token 132 action 16 and action 30 share token 133 action 17 and action 18 share token 134 action 17 and action 21 share token 135 action 17 and action 22 share token 136 action 17 and action 31 share token 137 action 17 and action 32 share token 138 action 18 and action 22 share token 139 action 18 and action 25 share token 140 action 18 and action 29 share token 141 action 18 and action 31 share token 142 action 19 and action 20 share token 143 action 19 and action 27 share token 144 action 19 and action 28 share token 145 action 19 and action 32 share token 146 action 20 and action 22 share token 147 action 20 and action 26 share token 148 action 20 and action 28 share token 149 action 20 and action 31 share token 150 action 21 and action 23 share token 151 action 21 and action 26 share token 152 action 21 and action 28 share token 153 action 21 and action 30 share token 154 action 21 and action 32 share token 155 action 22 and action 25 share token 156 action 22 and action 26 share token 157 action 22 and action 28 share token 158 action 22 and action 29 share token 159 action 22 and action 30 share token 160 action 23 and action 27 share token 161 action 23 and action 28 share token 162 action 24 and action 26 share token 163 action 24 and action 29 share token 164 action 24 and action 31 share token 165 action 25 and action 29 share token 166 action 25 and action 32 share token 167 action 26 and action 28 share token 168 action 26 and action 32 share token 169 action 27 and action 28 share token 170 action 30 and action 32 share token 171 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 2357 total number of messages sent: 24558 total amount of concurrency: 24595/330000 = 7% fairness in execution: 71/72 = 98% fairness in execution steps: 355/1080 = 32% ---------- [SUMMARY of Alg1] ---------- action 0 executed 3 times action 1 executed 3 times action 2 executed 2 times action 3 executed 3 times action 4 executed 2 times action 5 executed 5 times action 6 executed 7 times action 7 executed 12 times action 8 executed 7 times action 9 executed 12 times action 10 executed 20 times action 11 executed 19 times action 12 executed 14 times action 13 executed 42 times action 14 executed 27 times action 15 executed 20 times action 16 executed 12 times action 17 executed 17 times action 18 executed 78 times action 19 executed 57 times action 20 executed 25 times action 21 executed 56 times action 22 executed 58 times action 23 executed 174 times action 24 executed 235 times action 25 executed 261 times action 26 executed 107 times action 27 executed 462 times action 28 executed 238 times action 29 executed 475 times action 30 executed 478 times action 31 executed 507 times action 32 executed 351 times total number of action executions: 3789 total number of messages sent: 6243 total amount of concurrency: 35261/330000 = 10% fairness in execution: 2/507 = 0% fairness in execution steps: 12/6084 = 0% ---------- [CONFIGURATION] ---------- action 0 takes 24 units of time to execute action 1 takes 16 units of time to execute action 2 takes 17 units of time to execute action 3 takes 18 units of time to execute action 4 takes 21 units of time to execute action 5 takes 17 units of time to execute action 6 takes 16 units of time to execute action 7 takes 16 units of time to execute action 8 takes 24 units of time to execute action 9 takes 18 units of time to execute action 10 takes 15 units of time to execute action 11 takes 23 units of time to execute action 12 takes 16 units of time to execute action 13 takes 21 units of time to execute action 14 takes 21 units of time to execute action 15 takes 21 units of time to execute action 16 takes 25 units of time to execute action 17 takes 21 units of time to execute action 18 takes 18 units of time to execute action 19 takes 25 units of time to execute action 20 takes 19 units of time to execute action 21 takes 17 units of time to execute action 22 takes 23 units of time to execute action 23 takes 15 units of time to execute action 24 takes 22 units of time to execute action 25 takes 15 units of time to execute action 26 takes 22 units of time to execute action 27 takes 23 units of time to execute action 28 takes 25 units of time to execute action 29 takes 21 units of time to execute action 30 takes 24 units of time to execute action 31 takes 22 units of time to execute action 32 takes 23 units of time to execute action 0 and action 23 share token 0 action 0 and action 32 share token 1 action 1 and action 2 share token 2 action 1 and action 13 share token 3 action 1 and action 21 share token 4 action 2 and action 8 share token 5 action 2 and action 18 share token 6 action 2 and action 19 share token 7 action 3 and action 20 share token 8 action 3 and action 28 share token 9 action 4 and action 10 share token 10 action 4 and action 25 share token 11 action 5 and action 23 share token 12 action 6 and action 7 share token 13 action 6 and action 10 share token 14 action 6 and action 30 share token 15 action 8 and action 13 share token 16 action 8 and action 25 share token 17 action 8 and action 27 share token 18 action 9 and action 14 share token 19 action 9 and action 24 share token 20 action 10 and action 23 share token 21 action 11 and action 12 share token 22 action 11 and action 25 share token 23 action 12 and action 26 share token 24 action 13 and action 15 share token 25 action 13 and action 16 share token 26 action 14 and action 28 share token 27 action 15 and action 26 share token 28 action 15 and action 31 share token 29 action 15 and action 32 share token 30 action 16 and action 27 share token 31 action 17 and action 24 share token 32 action 18 and action 21 share token 33 action 18 and action 24 share token 34 action 19 and action 20 share token 35 action 19 and action 23 share token 36 action 19 and action 24 share token 37 action 20 and action 22 share token 38 action 20 and action 24 share token 39 action 20 and action 29 share token 40 action 21 and action 30 share token 41 action 23 and action 29 share token 42 action 23 and action 32 share token 43 action 26 and action 32 share token 44 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 3545 total number of messages sent: 9661 total amount of concurrency: 71378/330000 = 21% fairness in execution: 106/108 = 98% fairness in execution steps: 1605/2700 = 59% ---------- [SUMMARY of Alg1] ---------- action 0 executed 74 times action 1 executed 45 times action 2 executed 45 times action 3 executed 74 times action 4 executed 128 times action 5 executed 343 times action 6 executed 179 times action 7 executed 179 times action 8 executed 64 times action 9 executed 106 times action 10 executed 127 times action 11 executed 139 times action 12 executed 139 times action 13 executed 60 times action 14 executed 106 times action 15 executed 117 times action 16 executed 239 times action 17 executed 153 times action 18 executed 134 times action 19 executed 80 times action 20 executed 73 times action 21 executed 172 times action 22 executed 233 times action 23 executed 73 times action 24 executed 153 times action 25 executed 211 times action 26 executed 155 times action 27 executed 174 times action 28 executed 264 times action 29 executed 306 times action 30 executed 235 times action 31 executed 322 times action 32 executed 166 times total number of action executions: 5068 total number of messages sent: 4604 total amount of concurrency: 103522/330000 = 31% fairness in execution: 45/343 = 13% fairness in execution steps: 720/7100 = 10% ---------- [CONFIGURATION] ---------- action 0 takes 15 units of time to execute action 1 takes 23 units of time to execute action 2 takes 18 units of time to execute action 3 takes 23 units of time to execute action 4 takes 18 units of time to execute action 5 takes 21 units of time to execute action 6 takes 24 units of time to execute action 7 takes 21 units of time to execute action 8 takes 25 units of time to execute action 9 takes 25 units of time to execute action 10 takes 15 units of time to execute action 11 takes 15 units of time to execute action 12 takes 15 units of time to execute action 13 takes 15 units of time to execute action 14 takes 20 units of time to execute action 15 takes 16 units of time to execute action 16 takes 19 units of time to execute action 17 takes 25 units of time to execute action 18 takes 24 units of time to execute action 19 takes 19 units of time to execute action 20 takes 24 units of time to execute action 21 takes 16 units of time to execute action 22 takes 19 units of time to execute action 23 takes 15 units of time to execute action 24 takes 23 units of time to execute action 25 takes 18 units of time to execute action 26 takes 23 units of time to execute action 27 takes 17 units of time to execute action 28 takes 20 units of time to execute action 29 takes 20 units of time to execute action 30 takes 21 units of time to execute action 31 takes 24 units of time to execute action 32 takes 22 units of time to execute action 0 and action 2 share token 0 action 0 and action 4 share token 1 action 0 and action 9 share token 2 action 0 and action 15 share token 3 action 0 and action 20 share token 4 action 0 and action 24 share token 5 action 0 and action 26 share token 6 action 0 and action 29 share token 7 action 0 and action 30 share token 8 action 1 and action 5 share token 9 action 1 and action 7 share token 10 action 1 and action 15 share token 11 action 1 and action 21 share token 12 action 1 and action 22 share token 13 action 1 and action 24 share token 14 action 1 and action 26 share token 15 action 1 and action 28 share token 16 action 1 and action 30 share token 17 action 2 and action 4 share token 18 action 2 and action 5 share token 19 action 2 and action 6 share token 20 action 2 and action 7 share token 21 action 2 and action 10 share token 22 action 2 and action 13 share token 23 action 2 and action 14 share token 24 action 2 and action 16 share token 25 action 2 and action 22 share token 26 action 2 and action 24 share token 27 action 2 and action 25 share token 28 action 2 and action 26 share token 29 action 2 and action 27 share token 30 action 3 and action 5 share token 31 action 3 and action 6 share token 32 action 3 and action 10 share token 33 action 3 and action 12 share token 34 action 3 and action 16 share token 35 action 3 and action 19 share token 36 action 3 and action 20 share token 37 action 3 and action 21 share token 38 action 3 and action 24 share token 39 action 3 and action 27 share token 40 action 3 and action 29 share token 41 action 3 and action 31 share token 42 action 3 and action 32 share token 43 action 4 and action 7 share token 44 action 4 and action 11 share token 45 action 4 and action 12 share token 46 action 4 and action 15 share token 47 action 4 and action 17 share token 48 action 4 and action 18 share token 49 action 4 and action 24 share token 50 action 4 and action 29 share token 51 action 5 and action 6 share token 52 action 5 and action 9 share token 53 action 5 and action 11 share token 54 action 5 and action 12 share token 55 action 5 and action 14 share token 56 action 5 and action 20 share token 57 action 5 and action 21 share token 58 action 5 and action 22 share token 59 action 5 and action 28 share token 60 action 6 and action 7 share token 61 action 6 and action 8 share token 62 action 6 and action 9 share token 63 action 6 and action 13 share token 64 action 6 and action 14 share token 65 action 6 and action 15 share token 66 action 6 and action 16 share token 67 action 6 and action 21 share token 68 action 6 and action 23 share token 69 action 6 and action 26 share token 70 action 6 and action 28 share token 71 action 6 and action 30 share token 72 action 6 and action 32 share token 73 action 7 and action 13 share token 74 action 7 and action 14 share token 75 action 7 and action 15 share token 76 action 7 and action 16 share token 77 action 7 and action 19 share token 78 action 7 and action 25 share token 79 action 7 and action 30 share token 80 action 7 and action 32 share token 81 action 8 and action 10 share token 82 action 8 and action 11 share token 83 action 8 and action 13 share token 84 action 8 and action 14 share token 85 action 8 and action 18 share token 86 action 8 and action 19 share token 87 action 8 and action 20 share token 88 action 8 and action 23 share token 89 action 8 and action 26 share token 90 action 8 and action 28 share token 91 action 8 and action 30 share token 92 action 9 and action 14 share token 93 action 9 and action 23 share token 94 action 9 and action 29 share token 95 action 9 and action 30 share token 96 action 10 and action 14 share token 97 action 10 and action 15 share token 98 action 10 and action 16 share token 99 action 10 and action 17 share token 100 action 10 and action 19 share token 101 action 10 and action 20 share token 102 action 10 and action 24 share token 103 action 10 and action 26 share token 104 action 11 and action 12 share token 105 action 11 and action 14 share token 106 action 11 and action 15 share token 107 action 11 and action 16 share token 108 action 11 and action 21 share token 109 action 11 and action 24 share token 110 action 11 and action 30 share token 111 action 11 and action 31 share token 112 action 11 and action 32 share token 113 action 12 and action 15 share token 114 action 12 and action 19 share token 115 action 12 and action 27 share token 116 action 12 and action 32 share token 117 action 13 and action 17 share token 118 action 13 and action 23 share token 119 action 13 and action 26 share token 120 action 13 and action 28 share token 121 action 13 and action 29 share token 122 action 14 and action 17 share token 123 action 14 and action 22 share token 124 action 14 and action 23 share token 125 action 14 and action 26 share token 126 action 14 and action 28 share token 127 action 15 and action 16 share token 128 action 15 and action 22 share token 129 action 15 and action 24 share token 130 action 15 and action 29 share token 131 action 15 and action 30 share token 132 action 16 and action 18 share token 133 action 16 and action 24 share token 134 action 16 and action 25 share token 135 action 17 and action 18 share token 136 action 17 and action 30 share token 137 action 18 and action 19 share token 138 action 18 and action 27 share token 139 action 18 and action 30 share token 140 action 18 and action 31 share token 141 action 18 and action 32 share token 142 action 19 and action 22 share token 143 action 19 and action 27 share token 144 action 19 and action 28 share token 145 action 19 and action 30 share token 146 action 20 and action 21 share token 147 action 20 and action 25 share token 148 action 20 and action 27 share token 149 action 20 and action 28 share token 150 action 20 and action 32 share token 151 action 21 and action 22 share token 152 action 21 and action 24 share token 153 action 21 and action 25 share token 154 action 21 and action 27 share token 155 action 21 and action 29 share token 156 action 21 and action 32 share token 157 action 22 and action 25 share token 158 action 22 and action 28 share token 159 action 22 and action 29 share token 160 action 22 and action 30 share token 161 action 22 and action 32 share token 162 action 23 and action 24 share token 163 action 23 and action 31 share token 164 action 24 and action 26 share token 165 action 24 and action 28 share token 166 action 25 and action 28 share token 167 action 25 and action 31 share token 168 action 25 and action 32 share token 169 action 26 and action 29 share token 170 action 27 and action 32 share token 171 action 30 and action 31 share token 172 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 1244 total number of messages sent: 13049 total amount of concurrency: 24808/330000 = 7% fairness in execution: 37/38 = 97% fairness in execution steps: 570/950 = 60% ---------- [SUMMARY of Alg1] ---------- action 0 executed 1 times action 1 executed 1 times action 2 executed 0 times action 3 executed 2 times action 4 executed 0 times action 5 executed 0 times action 6 executed 1 times action 7 executed 1 times action 8 executed 4 times action 9 executed 16 times action 10 executed 4 times action 11 executed 9 times action 12 executed 13 times action 13 executed 15 times action 14 executed 5 times action 15 executed 8 times action 16 executed 12 times action 17 executed 54 times action 18 executed 27 times action 19 executed 22 times action 20 executed 39 times action 21 executed 31 times action 22 executed 40 times action 23 executed 112 times action 24 executed 68 times action 25 executed 88 times action 26 executed 183 times action 27 executed 117 times action 28 executed 136 times action 29 executed 218 times action 30 executed 172 times action 31 executed 158 times action 32 executed 227 times total number of action executions: 1784 total number of messages sent: 2930 total amount of concurrency: 36852/330000 = 11% fairness in execution: 0/227 = 0% fairness in execution steps: 0/4997 = 0% ---------- [CONFIGURATION] ---------- action 0 takes 33 units of time to execute action 1 takes 29 units of time to execute action 2 takes 35 units of time to execute action 3 takes 28 units of time to execute action 4 takes 25 units of time to execute action 5 takes 28 units of time to execute action 6 takes 34 units of time to execute action 7 takes 28 units of time to execute action 8 takes 27 units of time to execute action 9 takes 34 units of time to execute action 10 takes 33 units of time to execute action 11 takes 29 units of time to execute action 12 takes 33 units of time to execute action 13 takes 29 units of time to execute action 14 takes 32 units of time to execute action 15 takes 25 units of time to execute action 16 takes 26 units of time to execute action 17 takes 35 units of time to execute action 18 takes 26 units of time to execute action 19 takes 30 units of time to execute action 20 takes 33 units of time to execute action 21 takes 27 units of time to execute action 22 takes 26 units of time to execute action 23 takes 32 units of time to execute action 24 takes 35 units of time to execute action 25 takes 29 units of time to execute action 26 takes 29 units of time to execute action 27 takes 31 units of time to execute action 28 takes 27 units of time to execute action 29 takes 32 units of time to execute action 30 takes 28 units of time to execute action 31 takes 26 units of time to execute action 32 takes 31 units of time to execute action 0 and action 2 share token 0 action 0 and action 3 share token 1 action 0 and action 21 share token 2 action 0 and action 31 share token 3 action 0 and action 32 share token 4 action 1 and action 20 share token 5 action 1 and action 25 share token 6 action 1 and action 26 share token 7 action 1 and action 32 share token 8 action 2 and action 16 share token 9 action 2 and action 22 share token 10 action 3 and action 7 share token 11 action 3 and action 14 share token 12 action 3 and action 30 share token 13 action 4 and action 9 share token 14 action 4 and action 19 share token 15 action 4 and action 21 share token 16 action 4 and action 24 share token 17 action 5 and action 30 share token 18 action 5 and action 31 share token 19 action 6 and action 8 share token 20 action 6 and action 24 share token 21 action 7 and action 8 share token 22 action 7 and action 12 share token 23 action 7 and action 20 share token 24 action 7 and action 21 share token 25 action 7 and action 25 share token 26 action 7 and action 28 share token 27 action 7 and action 30 share token 28 action 7 and action 32 share token 29 action 8 and action 13 share token 30 action 8 and action 15 share token 31 action 9 and action 12 share token 32 action 9 and action 16 share token 33 action 9 and action 31 share token 34 action 10 and action 16 share token 35 action 10 and action 27 share token 36 action 11 and action 14 share token 37 action 11 and action 25 share token 38 action 12 and action 13 share token 39 action 13 and action 29 share token 40 action 15 and action 29 share token 41 action 16 and action 20 share token 42 action 18 and action 28 share token 43 action 19 and action 24 share token 44 action 20 and action 29 share token 45 action 21 and action 25 share token 46 action 21 and action 27 share token 47 action 22 and action 32 share token 48 action 23 and action 24 share token 49 action 23 and action 27 share token 50 action 24 and action 31 share token 51 action 25 and action 26 share token 52 action 25 and action 31 share token 53 action 26 and action 27 share token 54 action 30 and action 31 share token 55 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 2154 total number of messages sent: 6533 total amount of concurrency: 65582/330000 = 19% fairness in execution: 58/285 = 20% fairness in execution steps: 1450/10000 = 14% ---------- [SUMMARY of Alg1] ---------- action 0 executed 22 times action 1 executed 47 times action 2 executed 22 times action 3 executed 23 times action 4 executed 32 times action 5 executed 113 times action 6 executed 37 times action 7 executed 32 times action 8 executed 36 times action 9 executed 32 times action 10 executed 111 times action 11 executed 122 times action 12 executed 73 times action 13 executed 101 times action 14 executed 109 times action 15 executed 226 times action 16 executed 93 times action 17 executed 285 times action 18 executed 220 times action 19 executed 74 times action 20 executed 47 times action 21 executed 66 times action 22 executed 198 times action 23 executed 129 times action 24 executed 93 times action 25 executed 53 times action 26 executed 138 times action 27 executed 121 times action 28 executed 158 times action 29 executed 124 times action 30 executed 113 times action 31 executed 115 times action 32 executed 152 times total number of action executions: 3317 total number of messages sent: 3441 total amount of concurrency: 98085/330000 = 29% fairness in execution: 22/285 = 7% fairness in execution steps: 644/10000 = 6% ---------- [CONFIGURATION] ---------- action 0 takes 32 units of time to execute action 1 takes 33 units of time to execute action 2 takes 33 units of time to execute action 3 takes 30 units of time to execute action 4 takes 33 units of time to execute action 5 takes 35 units of time to execute action 6 takes 31 units of time to execute action 7 takes 25 units of time to execute action 8 takes 30 units of time to execute action 9 takes 30 units of time to execute action 10 takes 27 units of time to execute action 11 takes 25 units of time to execute action 12 takes 31 units of time to execute action 13 takes 27 units of time to execute action 14 takes 31 units of time to execute action 15 takes 31 units of time to execute action 16 takes 32 units of time to execute action 17 takes 34 units of time to execute action 18 takes 34 units of time to execute action 19 takes 25 units of time to execute action 20 takes 35 units of time to execute action 21 takes 32 units of time to execute action 22 takes 27 units of time to execute action 23 takes 32 units of time to execute action 24 takes 29 units of time to execute action 25 takes 30 units of time to execute action 26 takes 30 units of time to execute action 27 takes 32 units of time to execute action 28 takes 35 units of time to execute action 29 takes 34 units of time to execute action 30 takes 25 units of time to execute action 31 takes 26 units of time to execute action 32 takes 32 units of time to execute action 0 and action 1 share token 0 action 0 and action 10 share token 1 action 0 and action 16 share token 2 action 0 and action 18 share token 3 action 0 and action 21 share token 4 action 0 and action 24 share token 5 action 0 and action 25 share token 6 action 0 and action 27 share token 7 action 0 and action 30 share token 8 action 1 and action 3 share token 9 action 1 and action 9 share token 10 action 1 and action 17 share token 11 action 1 and action 18 share token 12 action 1 and action 22 share token 13 action 1 and action 31 share token 14 action 2 and action 5 share token 15 action 2 and action 6 share token 16 action 2 and action 10 share token 17 action 2 and action 12 share token 18 action 2 and action 26 share token 19 action 2 and action 29 share token 20 action 2 and action 30 share token 21 action 2 and action 32 share token 22 action 3 and action 5 share token 23 action 3 and action 8 share token 24 action 3 and action 15 share token 25 action 3 and action 22 share token 26 action 3 and action 28 share token 27 action 3 and action 32 share token 28 action 4 and action 7 share token 29 action 4 and action 8 share token 30 action 4 and action 12 share token 31 action 4 and action 14 share token 32 action 4 and action 15 share token 33 action 4 and action 20 share token 34 action 4 and action 26 share token 35 action 4 and action 32 share token 36 action 5 and action 8 share token 37 action 5 and action 12 share token 38 action 5 and action 13 share token 39 action 5 and action 17 share token 40 action 5 and action 19 share token 41 action 5 and action 20 share token 42 action 5 and action 24 share token 43 action 5 and action 26 share token 44 action 5 and action 30 share token 45 action 5 and action 32 share token 46 action 6 and action 9 share token 47 action 6 and action 13 share token 48 action 6 and action 16 share token 49 action 6 and action 18 share token 50 action 6 and action 19 share token 51 action 6 and action 23 share token 52 action 6 and action 26 share token 53 action 6 and action 27 share token 54 action 6 and action 32 share token 55 action 7 and action 11 share token 56 action 7 and action 12 share token 57 action 7 and action 13 share token 58 action 7 and action 15 share token 59 action 7 and action 18 share token 60 action 7 and action 19 share token 61 action 7 and action 20 share token 62 action 7 and action 24 share token 63 action 7 and action 28 share token 64 action 8 and action 10 share token 65 action 8 and action 12 share token 66 action 8 and action 14 share token 67 action 8 and action 18 share token 68 action 8 and action 22 share token 69 action 8 and action 26 share token 70 action 8 and action 27 share token 71 action 8 and action 32 share token 72 action 9 and action 19 share token 73 action 9 and action 21 share token 74 action 9 and action 22 share token 75 action 9 and action 27 share token 76 action 9 and action 29 share token 77 action 10 and action 12 share token 78 action 10 and action 14 share token 79 action 10 and action 15 share token 80 action 10 and action 17 share token 81 action 10 and action 18 share token 82 action 10 and action 19 share token 83 action 10 and action 23 share token 84 action 10 and action 28 share token 85 action 10 and action 32 share token 86 action 11 and action 15 share token 87 action 11 and action 22 share token 88 action 11 and action 23 share token 89 action 11 and action 26 share token 90 action 12 and action 18 share token 91 action 12 and action 19 share token 92 action 12 and action 23 share token 93 action 12 and action 24 share token 94 action 12 and action 29 share token 95 action 12 and action 32 share token 96 action 13 and action 14 share token 97 action 13 and action 16 share token 98 action 13 and action 17 share token 99 action 13 and action 24 share token 100 action 13 and action 25 share token 101 action 13 and action 29 share token 102 action 14 and action 18 share token 103 action 14 and action 20 share token 104 action 14 and action 22 share token 105 action 14 and action 26 share token 106 action 14 and action 28 share token 107 action 14 and action 32 share token 108 action 15 and action 16 share token 109 action 15 and action 17 share token 110 action 15 and action 20 share token 111 action 15 and action 31 share token 112 action 15 and action 32 share token 113 action 16 and action 20 share token 114 action 16 and action 22 share token 115 action 16 and action 30 share token 116 action 17 and action 23 share token 117 action 17 and action 24 share token 118 action 17 and action 31 share token 119 action 17 and action 32 share token 120 action 18 and action 20 share token 121 action 18 and action 22 share token 122 action 18 and action 25 share token 123 action 18 and action 27 share token 124 action 18 and action 29 share token 125 action 18 and action 32 share token 126 action 19 and action 20 share token 127 action 19 and action 23 share token 128 action 19 and action 25 share token 129 action 19 and action 27 share token 130 action 19 and action 28 share token 131 action 19 and action 30 share token 132 action 19 and action 31 share token 133 action 19 and action 32 share token 134 action 20 and action 24 share token 135 action 20 and action 29 share token 136 action 20 and action 30 share token 137 action 21 and action 25 share token 138 action 21 and action 27 share token 139 action 21 and action 31 share token 140 action 21 and action 32 share token 141 action 22 and action 27 share token 142 action 22 and action 31 share token 143 action 23 and action 25 share token 144 action 23 and action 26 share token 145 action 23 and action 27 share token 146 action 23 and action 28 share token 147 action 23 and action 32 share token 148 action 24 and action 31 share token 149 action 24 and action 32 share token 150 action 25 and action 26 share token 151 action 25 and action 32 share token 152 action 26 and action 29 share token 153 action 27 and action 30 share token 154 action 28 and action 30 share token 155 action 28 and action 31 share token 156 action 30 and action 32 share token 157 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 955 total number of messages sent: 9139 total amount of concurrency: 29238/330000 = 8% fairness in execution: 28/29 = 96% fairness in execution steps: 725/1015 = 71% ---------- [SUMMARY of Alg1] ---------- action 0 executed 1 times action 1 executed 1 times action 2 executed 1 times action 3 executed 1 times action 4 executed 1 times action 5 executed 0 times action 6 executed 3 times action 7 executed 1 times action 8 executed 2 times action 9 executed 5 times action 10 executed 2 times action 11 executed 6 times action 12 executed 1 times action 13 executed 5 times action 14 executed 5 times action 15 executed 8 times action 16 executed 7 times action 17 executed 12 times action 18 executed 11 times action 19 executed 16 times action 20 executed 15 times action 21 executed 47 times action 22 executed 61 times action 23 executed 30 times action 24 executed 92 times action 25 executed 32 times action 26 executed 112 times action 27 executed 60 times action 28 executed 99 times action 29 executed 155 times action 30 executed 139 times action 31 executed 114 times action 32 executed 139 times total number of action executions: 1184 total number of messages sent: 2174 total amount of concurrency: 35902/330000 = 10% fairness in execution: 0/155 = 0% fairness in execution steps: 0/5283 = 0% ---------- [CONFIGURATION] ---------- action 0 takes 7 units of time to execute action 1 takes 11 units of time to execute action 2 takes 10 units of time to execute action 3 takes 8 units of time to execute action 4 takes 6 units of time to execute action 5 takes 6 units of time to execute action 6 takes 13 units of time to execute action 7 takes 14 units of time to execute action 8 takes 11 units of time to execute action 9 takes 5 units of time to execute action 10 takes 6 units of time to execute action 11 takes 14 units of time to execute action 12 takes 6 units of time to execute action 13 takes 15 units of time to execute action 14 takes 5 units of time to execute action 15 takes 12 units of time to execute action 16 takes 5 units of time to execute action 17 takes 15 units of time to execute action 18 takes 6 units of time to execute action 19 takes 11 units of time to execute action 20 takes 5 units of time to execute action 21 takes 5 units of time to execute action 22 takes 7 units of time to execute action 23 takes 8 units of time to execute action 24 takes 11 units of time to execute action 25 takes 11 units of time to execute action 26 takes 15 units of time to execute action 27 takes 10 units of time to execute action 28 takes 8 units of time to execute action 29 takes 10 units of time to execute action 30 takes 7 units of time to execute action 31 takes 12 units of time to execute action 32 takes 8 units of time to execute action 33 takes 8 units of time to execute action 34 takes 7 units of time to execute action 35 takes 7 units of time to execute action 36 takes 14 units of time to execute action 37 takes 13 units of time to execute action 0 and action 12 share token 0 action 0 and action 16 share token 1 action 0 and action 30 share token 2 action 1 and action 4 share token 3 action 1 and action 14 share token 4 action 1 and action 16 share token 5 action 1 and action 28 share token 6 action 1 and action 31 share token 7 action 2 and action 11 share token 8 action 3 and action 17 share token 9 action 4 and action 11 share token 10 action 4 and action 15 share token 11 action 4 and action 16 share token 12 action 4 and action 18 share token 13 action 4 and action 20 share token 14 action 4 and action 25 share token 15 action 4 and action 28 share token 16 action 4 and action 31 share token 17 action 5 and action 13 share token 18 action 5 and action 21 share token 19 action 5 and action 33 share token 20 action 5 and action 34 share token 21 action 6 and action 14 share token 22 action 6 and action 25 share token 23 action 6 and action 31 share token 24 action 7 and action 15 share token 25 action 7 and action 19 share token 26 action 7 and action 22 share token 27 action 7 and action 29 share token 28 action 7 and action 37 share token 29 action 8 and action 14 share token 30 action 8 and action 15 share token 31 action 8 and action 20 share token 32 action 8 and action 28 share token 33 action 8 and action 30 share token 34 action 9 and action 13 share token 35 action 9 and action 23 share token 36 action 10 and action 12 share token 37 action 10 and action 21 share token 38 action 11 and action 13 share token 39 action 11 and action 25 share token 40 action 11 and action 30 share token 41 action 12 and action 22 share token 42 action 12 and action 23 share token 43 action 13 and action 16 share token 44 action 13 and action 18 share token 45 action 13 and action 27 share token 46 action 13 and action 32 share token 47 action 13 and action 35 share token 48 action 14 and action 15 share token 49 action 14 and action 16 share token 50 action 14 and action 25 share token 51 action 14 and action 31 share token 52 action 14 and action 32 share token 53 action 15 and action 28 share token 54 action 16 and action 35 share token 55 action 17 and action 18 share token 56 action 17 and action 21 share token 57 action 17 and action 27 share token 58 action 17 and action 37 share token 59 action 19 and action 21 share token 60 action 19 and action 26 share token 61 action 20 and action 21 share token 62 action 20 and action 29 share token 63 action 21 and action 25 share token 64 action 21 and action 30 share token 65 action 21 and action 34 share token 66 action 22 and action 28 share token 67 action 23 and action 30 share token 68 action 23 and action 33 share token 69 action 25 and action 26 share token 70 action 27 and action 28 share token 71 action 27 and action 30 share token 72 action 27 and action 37 share token 73 action 30 and action 33 share token 74 action 30 and action 34 share token 75 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 7250 total number of messages sent: 23750 total amount of concurrency: 71131/380000 = 18% fairness in execution: 156/909 = 17% fairness in execution steps: 780/10000 = 7% ---------- [SUMMARY of Alg1] ---------- action 0 executed 62 times action 1 executed 24 times action 2 executed 45 times action 3 executed 117 times action 4 executed 23 times action 5 executed 56 times action 6 executed 87 times action 7 executed 81 times action 8 executed 109 times action 9 executed 149 times action 10 executed 191 times action 11 executed 44 times action 12 executed 61 times action 13 executed 56 times action 14 executed 73 times action 15 executed 48 times action 16 executed 137 times action 17 executed 116 times action 18 executed 148 times action 19 executed 153 times action 20 executed 264 times action 21 executed 116 times action 22 executed 399 times action 23 executed 257 times action 24 executed 909 times action 25 executed 222 times action 26 executed 466 times action 27 executed 217 times action 28 executed 303 times action 29 executed 660 times action 30 executed 244 times action 31 executed 663 times action 32 executed 1068 times action 33 executed 645 times action 34 executed 1074 times action 35 executed 1210 times action 36 executed 714 times action 37 executed 427 times total number of action executions: 11638 total number of messages sent: 7858 total amount of concurrency: 108011/380000 = 28% fairness in execution: 23/1210 = 1% fairness in execution steps: 138/10000 = 1% ---------- [CONFIGURATION] ---------- action 0 takes 13 units of time to execute action 1 takes 7 units of time to execute action 2 takes 8 units of time to execute action 3 takes 15 units of time to execute action 4 takes 12 units of time to execute action 5 takes 12 units of time to execute action 6 takes 5 units of time to execute action 7 takes 15 units of time to execute action 8 takes 10 units of time to execute action 9 takes 14 units of time to execute action 10 takes 11 units of time to execute action 11 takes 9 units of time to execute action 12 takes 13 units of time to execute action 13 takes 10 units of time to execute action 14 takes 5 units of time to execute action 15 takes 10 units of time to execute action 16 takes 12 units of time to execute action 17 takes 7 units of time to execute action 18 takes 8 units of time to execute action 19 takes 8 units of time to execute action 20 takes 7 units of time to execute action 21 takes 11 units of time to execute action 22 takes 14 units of time to execute action 23 takes 11 units of time to execute action 24 takes 12 units of time to execute action 25 takes 6 units of time to execute action 26 takes 11 units of time to execute action 27 takes 9 units of time to execute action 28 takes 5 units of time to execute action 29 takes 11 units of time to execute action 30 takes 7 units of time to execute action 31 takes 7 units of time to execute action 32 takes 11 units of time to execute action 33 takes 8 units of time to execute action 34 takes 9 units of time to execute action 35 takes 14 units of time to execute action 36 takes 14 units of time to execute action 37 takes 8 units of time to execute action 0 and action 1 share token 0 action 0 and action 2 share token 1 action 0 and action 3 share token 2 action 0 and action 9 share token 3 action 0 and action 10 share token 4 action 0 and action 12 share token 5 action 0 and action 16 share token 6 action 0 and action 20 share token 7 action 0 and action 24 share token 8 action 0 and action 25 share token 9 action 0 and action 26 share token 10 action 0 and action 29 share token 11 action 0 and action 34 share token 12 action 0 and action 35 share token 13 action 1 and action 2 share token 14 action 1 and action 5 share token 15 action 1 and action 19 share token 16 action 1 and action 24 share token 17 action 1 and action 30 share token 18 action 1 and action 32 share token 19 action 1 and action 33 share token 20 action 1 and action 36 share token 21 action 2 and action 7 share token 22 action 2 and action 9 share token 23 action 2 and action 16 share token 24 action 2 and action 20 share token 25 action 2 and action 21 share token 26 action 2 and action 24 share token 27 action 2 and action 25 share token 28 action 2 and action 30 share token 29 action 2 and action 34 share token 30 action 2 and action 35 share token 31 action 2 and action 37 share token 32 action 3 and action 5 share token 33 action 3 and action 8 share token 34 action 3 and action 9 share token 35 action 3 and action 10 share token 36 action 3 and action 15 share token 37 action 3 and action 19 share token 38 action 3 and action 21 share token 39 action 3 and action 22 share token 40 action 3 and action 28 share token 41 action 3 and action 30 share token 42 action 3 and action 37 share token 43 action 4 and action 5 share token 44 action 4 and action 9 share token 45 action 4 and action 21 share token 46 action 4 and action 22 share token 47 action 4 and action 23 share token 48 action 4 and action 24 share token 49 action 4 and action 28 share token 50 action 4 and action 33 share token 51 action 4 and action 36 share token 52 action 5 and action 8 share token 53 action 5 and action 11 share token 54 action 5 and action 16 share token 55 action 5 and action 23 share token 56 action 5 and action 24 share token 57 action 5 and action 32 share token 58 action 5 and action 33 share token 59 action 5 and action 35 share token 60 action 5 and action 37 share token 61 action 6 and action 15 share token 62 action 6 and action 19 share token 63 action 6 and action 23 share token 64 action 6 and action 24 share token 65 action 6 and action 25 share token 66 action 6 and action 26 share token 67 action 6 and action 27 share token 68 action 6 and action 30 share token 69 action 6 and action 31 share token 70 action 6 and action 34 share token 71 action 7 and action 11 share token 72 action 7 and action 15 share token 73 action 7 and action 19 share token 74 action 7 and action 22 share token 75 action 7 and action 23 share token 76 action 7 and action 24 share token 77 action 7 and action 26 share token 78 action 7 and action 28 share token 79 action 7 and action 32 share token 80 action 7 and action 36 share token 81 action 8 and action 10 share token 82 action 8 and action 20 share token 83 action 8 and action 24 share token 84 action 8 and action 28 share token 85 action 8 and action 29 share token 86 action 8 and action 33 share token 87 action 8 and action 36 share token 88 action 9 and action 12 share token 89 action 9 and action 13 share token 90 action 9 and action 19 share token 91 action 9 and action 21 share token 92 action 9 and action 29 share token 93 action 10 and action 17 share token 94 action 10 and action 21 share token 95 action 10 and action 26 share token 96 action 10 and action 32 share token 97 action 10 and action 35 share token 98 action 10 and action 37 share token 99 action 11 and action 15 share token 100 action 11 and action 21 share token 101 action 11 and action 24 share token 102 action 11 and action 29 share token 103 action 11 and action 30 share token 104 action 11 and action 31 share token 105 action 11 and action 33 share token 106 action 11 and action 34 share token 107 action 11 and action 35 share token 108 action 11 and action 36 share token 109 action 12 and action 15 share token 110 action 12 and action 20 share token 111 action 12 and action 22 share token 112 action 12 and action 24 share token 113 action 12 and action 30 share token 114 action 12 and action 32 share token 115 action 12 and action 35 share token 116 action 12 and action 37 share token 117 action 13 and action 15 share token 118 action 13 and action 20 share token 119 action 13 and action 23 share token 120 action 13 and action 26 share token 121 action 13 and action 31 share token 122 action 13 and action 33 share token 123 action 13 and action 35 share token 124 action 14 and action 15 share token 125 action 14 and action 18 share token 126 action 14 and action 22 share token 127 action 14 and action 24 share token 128 action 14 and action 27 share token 129 action 14 and action 28 share token 130 action 14 and action 37 share token 131 action 15 and action 16 share token 132 action 15 and action 17 share token 133 action 15 and action 18 share token 134 action 15 and action 20 share token 135 action 15 and action 26 share token 136 action 15 and action 27 share token 137 action 15 and action 29 share token 138 action 15 and action 31 share token 139 action 15 and action 35 share token 140 action 15 and action 37 share token 141 action 16 and action 22 share token 142 action 16 and action 24 share token 143 action 16 and action 34 share token 144 action 16 and action 36 share token 145 action 17 and action 18 share token 146 action 17 and action 21 share token 147 action 17 and action 23 share token 148 action 17 and action 33 share token 149 action 17 and action 37 share token 150 action 18 and action 21 share token 151 action 18 and action 22 share token 152 action 18 and action 23 share token 153 action 18 and action 25 share token 154 action 18 and action 29 share token 155 action 18 and action 30 share token 156 action 19 and action 24 share token 157 action 19 and action 28 share token 158 action 19 and action 30 share token 159 action 19 and action 32 share token 160 action 19 and action 34 share token 161 action 20 and action 23 share token 162 action 20 and action 36 share token 163 action 21 and action 24 share token 164 action 21 and action 26 share token 165 action 21 and action 30 share token 166 action 22 and action 28 share token 167 action 22 and action 33 share token 168 action 22 and action 34 share token 169 action 23 and action 24 share token 170 action 23 and action 25 share token 171 action 23 and action 27 share token 172 action 23 and action 30 share token 173 action 23 and action 33 share token 174 action 24 and action 26 share token 175 action 24 and action 28 share token 176 action 24 and action 32 share token 177 action 24 and action 33 share token 178 action 24 and action 34 share token 179 action 24 and action 35 share token 180 action 25 and action 26 share token 181 action 25 and action 33 share token 182 action 25 and action 35 share token 183 action 26 and action 28 share token 184 action 26 and action 33 share token 185 action 26 and action 34 share token 186 action 26 and action 36 share token 187 action 26 and action 37 share token 188 action 27 and action 32 share token 189 action 28 and action 29 share token 190 action 28 and action 33 share token 191 action 28 and action 36 share token 192 action 29 and action 31 share token 193 action 29 and action 33 share token 194 action 29 and action 34 share token 195 action 29 and action 37 share token 196 action 30 and action 34 share token 197 action 30 and action 36 share token 198 action 31 and action 33 share token 199 action 33 and action 35 share token 200 action 33 and action 36 share token 201 action 35 and action 36 share token 202 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 2377 total number of messages sent: 25385 total amount of concurrency: 23709/380000 = 6% fairness in execution: 62/63 = 98% fairness in execution steps: 310/945 = 32% ---------- [SUMMARY of Alg1] ---------- action 0 executed 2 times action 1 executed 1 times action 2 executed 1 times action 3 executed 1 times action 4 executed 5 times action 5 executed 2 times action 6 executed 5 times action 7 executed 5 times action 8 executed 7 times action 9 executed 3 times action 10 executed 6 times action 11 executed 7 times action 12 executed 11 times action 13 executed 22 times action 14 executed 21 times action 15 executed 4 times action 16 executed 26 times action 17 executed 36 times action 18 executed 24 times action 19 executed 29 times action 20 executed 51 times action 21 executed 22 times action 22 executed 28 times action 23 executed 20 times action 24 executed 16 times action 25 executed 86 times action 26 executed 41 times action 27 executed 487 times action 28 executed 66 times action 29 executed 127 times action 30 executed 321 times action 31 executed 313 times action 32 executed 459 times action 33 executed 114 times action 34 executed 365 times action 35 executed 295 times action 36 executed 323 times action 37 executed 975 times total number of action executions: 4327 total number of messages sent: 4538 total amount of concurrency: 40612/380000 = 10% fairness in execution: 1/975 = 0% fairness in execution steps: 7/7806 = 0% ---------- [CONFIGURATION] ---------- action 0 takes 25 units of time to execute action 1 takes 24 units of time to execute action 2 takes 20 units of time to execute action 3 takes 25 units of time to execute action 4 takes 23 units of time to execute action 5 takes 15 units of time to execute action 6 takes 24 units of time to execute action 7 takes 24 units of time to execute action 8 takes 18 units of time to execute action 9 takes 15 units of time to execute action 10 takes 20 units of time to execute action 11 takes 23 units of time to execute action 12 takes 15 units of time to execute action 13 takes 16 units of time to execute action 14 takes 19 units of time to execute action 15 takes 24 units of time to execute action 16 takes 24 units of time to execute action 17 takes 24 units of time to execute action 18 takes 24 units of time to execute action 19 takes 17 units of time to execute action 20 takes 16 units of time to execute action 21 takes 23 units of time to execute action 22 takes 20 units of time to execute action 23 takes 24 units of time to execute action 24 takes 15 units of time to execute action 25 takes 16 units of time to execute action 26 takes 25 units of time to execute action 27 takes 19 units of time to execute action 28 takes 21 units of time to execute action 29 takes 24 units of time to execute action 30 takes 21 units of time to execute action 31 takes 15 units of time to execute action 32 takes 20 units of time to execute action 33 takes 25 units of time to execute action 34 takes 20 units of time to execute action 35 takes 25 units of time to execute action 36 takes 24 units of time to execute action 37 takes 15 units of time to execute action 0 and action 9 share token 0 action 0 and action 16 share token 1 action 0 and action 22 share token 2 action 1 and action 3 share token 3 action 1 and action 5 share token 4 action 1 and action 16 share token 5 action 1 and action 18 share token 6 action 1 and action 24 share token 7 action 1 and action 28 share token 8 action 2 and action 13 share token 9 action 2 and action 20 share token 10 action 2 and action 37 share token 11 action 3 and action 8 share token 12 action 3 and action 14 share token 13 action 4 and action 6 share token 14 action 4 and action 16 share token 15 action 4 and action 20 share token 16 action 4 and action 32 share token 17 action 4 and action 36 share token 18 action 5 and action 6 share token 19 action 5 and action 10 share token 20 action 5 and action 14 share token 21 action 5 and action 31 share token 22 action 5 and action 32 share token 23 action 6 and action 31 share token 24 action 7 and action 9 share token 25 action 7 and action 34 share token 26 action 8 and action 9 share token 27 action 8 and action 14 share token 28 action 8 and action 22 share token 29 action 8 and action 26 share token 30 action 8 and action 32 share token 31 action 9 and action 23 share token 32 action 9 and action 25 share token 33 action 10 and action 32 share token 34 action 10 and action 34 share token 35 action 11 and action 12 share token 36 action 12 and action 16 share token 37 action 12 and action 21 share token 38 action 12 and action 26 share token 39 action 13 and action 23 share token 40 action 13 and action 28 share token 41 action 13 and action 30 share token 42 action 13 and action 31 share token 43 action 13 and action 34 share token 44 action 14 and action 30 share token 45 action 14 and action 35 share token 46 action 15 and action 18 share token 47 action 15 and action 21 share token 48 action 15 and action 22 share token 49 action 15 and action 29 share token 50 action 16 and action 33 share token 51 action 16 and action 35 share token 52 action 17 and action 26 share token 53 action 18 and action 23 share token 54 action 18 and action 28 share token 55 action 18 and action 29 share token 56 action 19 and action 23 share token 57 action 19 and action 36 share token 58 action 19 and action 37 share token 59 action 20 and action 23 share token 60 action 20 and action 25 share token 61 action 21 and action 24 share token 62 action 21 and action 25 share token 63 action 21 and action 35 share token 64 action 21 and action 36 share token 65 action 22 and action 24 share token 66 action 22 and action 26 share token 67 action 22 and action 34 share token 68 action 23 and action 27 share token 69 action 24 and action 37 share token 70 action 25 and action 30 share token 71 action 25 and action 35 share token 72 action 26 and action 35 share token 73 action 27 and action 34 share token 74 action 28 and action 35 share token 75 action 29 and action 35 share token 76 action 32 and action 36 share token 77 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 3718 total number of messages sent: 15260 total amount of concurrency: 77092/380000 = 20% fairness in execution: 97/99 = 97% fairness in execution steps: 1459/2469 = 59% ---------- [SUMMARY of Alg1] ---------- action 0 executed 19 times action 1 executed 18 times action 2 executed 43 times action 3 executed 18 times action 4 executed 35 times action 5 executed 25 times action 6 executed 35 times action 7 executed 89 times action 8 executed 28 times action 9 executed 18 times action 10 executed 90 times action 11 executed 54 times action 12 executed 53 times action 13 executed 42 times action 14 executed 58 times action 15 executed 58 times action 16 executed 34 times action 17 executed 159 times action 18 executed 45 times action 19 executed 115 times action 20 executed 84 times action 21 executed 54 times action 22 executed 93 times action 23 executed 55 times action 24 executed 146 times action 25 executed 109 times action 26 executed 118 times action 27 executed 309 times action 28 executed 186 times action 29 executed 235 times action 30 executed 159 times action 31 executed 468 times action 32 executed 173 times action 33 executed 338 times action 34 executed 187 times action 35 executed 129 times action 36 executed 192 times action 37 executed 394 times total number of action executions: 4465 total number of messages sent: 5013 total amount of concurrency: 89767/380000 = 23% fairness in execution: 18/468 = 3% fairness in execution steps: 270/8460 = 3% ---------- [CONFIGURATION] ---------- action 0 takes 18 units of time to execute action 1 takes 17 units of time to execute action 2 takes 17 units of time to execute action 3 takes 23 units of time to execute action 4 takes 20 units of time to execute action 5 takes 16 units of time to execute action 6 takes 25 units of time to execute action 7 takes 18 units of time to execute action 8 takes 16 units of time to execute action 9 takes 19 units of time to execute action 10 takes 16 units of time to execute action 11 takes 16 units of time to execute action 12 takes 23 units of time to execute action 13 takes 20 units of time to execute action 14 takes 17 units of time to execute action 15 takes 22 units of time to execute action 16 takes 21 units of time to execute action 17 takes 15 units of time to execute action 18 takes 23 units of time to execute action 19 takes 16 units of time to execute action 20 takes 15 units of time to execute action 21 takes 23 units of time to execute action 22 takes 15 units of time to execute action 23 takes 21 units of time to execute action 24 takes 24 units of time to execute action 25 takes 24 units of time to execute action 26 takes 24 units of time to execute action 27 takes 25 units of time to execute action 28 takes 22 units of time to execute action 29 takes 24 units of time to execute action 30 takes 16 units of time to execute action 31 takes 17 units of time to execute action 32 takes 24 units of time to execute action 33 takes 19 units of time to execute action 34 takes 20 units of time to execute action 35 takes 21 units of time to execute action 36 takes 16 units of time to execute action 37 takes 24 units of time to execute action 0 and action 4 share token 0 action 0 and action 5 share token 1 action 0 and action 15 share token 2 action 0 and action 18 share token 3 action 0 and action 24 share token 4 action 0 and action 26 share token 5 action 0 and action 27 share token 6 action 0 and action 37 share token 7 action 1 and action 3 share token 8 action 1 and action 4 share token 9 action 1 and action 11 share token 10 action 1 and action 12 share token 11 action 1 and action 13 share token 12 action 1 and action 18 share token 13 action 1 and action 19 share token 14 action 1 and action 27 share token 15 action 1 and action 32 share token 16 action 1 and action 37 share token 17 action 2 and action 9 share token 18 action 2 and action 12 share token 19 action 2 and action 14 share token 20 action 2 and action 16 share token 21 action 2 and action 17 share token 22 action 2 and action 23 share token 23 action 2 and action 24 share token 24 action 2 and action 25 share token 25 action 2 and action 26 share token 26 action 2 and action 27 share token 27 action 2 and action 29 share token 28 action 2 and action 32 share token 29 action 2 and action 36 share token 30 action 2 and action 37 share token 31 action 3 and action 5 share token 32 action 3 and action 6 share token 33 action 3 and action 7 share token 34 action 3 and action 8 share token 35 action 3 and action 13 share token 36 action 3 and action 15 share token 37 action 3 and action 16 share token 38 action 3 and action 27 share token 39 action 3 and action 28 share token 40 action 3 and action 30 share token 41 action 3 and action 31 share token 42 action 3 and action 35 share token 43 action 3 and action 36 share token 44 action 3 and action 37 share token 45 action 4 and action 6 share token 46 action 4 and action 7 share token 47 action 4 and action 9 share token 48 action 4 and action 13 share token 49 action 4 and action 16 share token 50 action 4 and action 18 share token 51 action 4 and action 19 share token 52 action 4 and action 23 share token 53 action 4 and action 29 share token 54 action 4 and action 33 share token 55 action 5 and action 7 share token 56 action 5 and action 9 share token 57 action 5 and action 13 share token 58 action 5 and action 16 share token 59 action 5 and action 17 share token 60 action 5 and action 20 share token 61 action 5 and action 22 share token 62 action 5 and action 25 share token 63 action 5 and action 26 share token 64 action 6 and action 10 share token 65 action 6 and action 17 share token 66 action 6 and action 24 share token 67 action 6 and action 31 share token 68 action 6 and action 34 share token 69 action 6 and action 35 share token 70 action 6 and action 36 share token 71 action 6 and action 37 share token 72 action 7 and action 13 share token 73 action 7 and action 17 share token 74 action 7 and action 19 share token 75 action 7 and action 21 share token 76 action 7 and action 27 share token 77 action 7 and action 33 share token 78 action 7 and action 34 share token 79 action 7 and action 37 share token 80 action 8 and action 10 share token 81 action 8 and action 12 share token 82 action 8 and action 19 share token 83 action 8 and action 20 share token 84 action 8 and action 22 share token 85 action 8 and action 23 share token 86 action 8 and action 26 share token 87 action 8 and action 35 share token 88 action 8 and action 37 share token 89 action 9 and action 10 share token 90 action 9 and action 11 share token 91 action 9 and action 20 share token 92 action 9 and action 21 share token 93 action 9 and action 23 share token 94 action 9 and action 24 share token 95 action 9 and action 25 share token 96 action 9 and action 26 share token 97 action 9 and action 29 share token 98 action 9 and action 34 share token 99 action 9 and action 35 share token 100 action 10 and action 11 share token 101 action 10 and action 16 share token 102 action 10 and action 18 share token 103 action 10 and action 22 share token 104 action 10 and action 23 share token 105 action 10 and action 31 share token 106 action 10 and action 36 share token 107 action 10 and action 37 share token 108 action 11 and action 12 share token 109 action 11 and action 15 share token 110 action 11 and action 17 share token 111 action 11 and action 19 share token 112 action 11 and action 23 share token 113 action 11 and action 28 share token 114 action 11 and action 35 share token 115 action 12 and action 15 share token 116 action 12 and action 17 share token 117 action 12 and action 18 share token 118 action 12 and action 21 share token 119 action 12 and action 25 share token 120 action 12 and action 27 share token 121 action 12 and action 29 share token 122 action 12 and action 31 share token 123 action 12 and action 32 share token 124 action 12 and action 34 share token 125 action 13 and action 15 share token 126 action 13 and action 16 share token 127 action 13 and action 17 share token 128 action 13 and action 18 share token 129 action 13 and action 21 share token 130 action 13 and action 28 share token 131 action 13 and action 36 share token 132 action 14 and action 16 share token 133 action 14 and action 17 share token 134 action 14 and action 19 share token 135 action 14 and action 24 share token 136 action 14 and action 25 share token 137 action 14 and action 28 share token 138 action 14 and action 33 share token 139 action 14 and action 35 share token 140 action 15 and action 20 share token 141 action 15 and action 22 share token 142 action 15 and action 26 share token 143 action 15 and action 27 share token 144 action 15 and action 34 share token 145 action 15 and action 35 share token 146 action 16 and action 19 share token 147 action 16 and action 20 share token 148 action 16 and action 23 share token 149 action 16 and action 25 share token 150 action 16 and action 31 share token 151 action 16 and action 34 share token 152 action 16 and action 37 share token 153 action 17 and action 21 share token 154 action 17 and action 24 share token 155 action 17 and action 25 share token 156 action 17 and action 30 share token 157 action 17 and action 37 share token 158 action 18 and action 20 share token 159 action 18 and action 25 share token 160 action 18 and action 31 share token 161 action 18 and action 37 share token 162 action 19 and action 23 share token 163 action 19 and action 27 share token 164 action 19 and action 29 share token 165 action 19 and action 35 share token 166 action 19 and action 36 share token 167 action 20 and action 21 share token 168 action 20 and action 23 share token 169 action 20 and action 24 share token 170 action 20 and action 30 share token 171 action 20 and action 34 share token 172 action 20 and action 36 share token 173 action 21 and action 23 share token 174 action 21 and action 24 share token 175 action 21 and action 29 share token 176 action 21 and action 31 share token 177 action 22 and action 26 share token 178 action 22 and action 30 share token 179 action 22 and action 36 share token 180 action 22 and action 37 share token 181 action 23 and action 24 share token 182 action 23 and action 31 share token 183 action 23 and action 32 share token 184 action 24 and action 28 share token 185 action 24 and action 37 share token 186 action 25 and action 35 share token 187 action 26 and action 31 share token 188 action 26 and action 34 share token 189 action 26 and action 35 share token 190 action 26 and action 37 share token 191 action 27 and action 29 share token 192 action 27 and action 30 share token 193 action 28 and action 32 share token 194 action 28 and action 33 share token 195 action 28 and action 35 share token 196 action 29 and action 34 share token 197 action 29 and action 37 share token 198 action 30 and action 33 share token 199 action 30 and action 34 share token 200 action 30 and action 35 share token 201 action 31 and action 32 share token 202 action 31 and action 35 share token 203 action 31 and action 36 share token 204 action 32 and action 35 share token 205 action 32 and action 37 share token 206 action 33 and action 35 share token 207 action 33 and action 37 share token 208 action 35 and action 36 share token 209 action 35 and action 37 share token 210 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 1164 total number of messages sent: 12930 total amount of concurrency: 23075/380000 = 6% fairness in execution: 30/31 = 96% fairness in execution steps: 465/775 = 60% ---------- [SUMMARY of Alg1] ---------- action 0 executed 2 times action 1 executed 1 times action 2 executed 1 times action 3 executed 1 times action 4 executed 1 times action 5 executed 1 times action 6 executed 2 times action 7 executed 3 times action 8 executed 3 times action 9 executed 1 times action 10 executed 2 times action 11 executed 2 times action 12 executed 2 times action 13 executed 3 times action 14 executed 6 times action 15 executed 7 times action 16 executed 5 times action 17 executed 6 times action 18 executed 25 times action 19 executed 8 times action 20 executed 9 times action 21 executed 11 times action 22 executed 32 times action 23 executed 19 times action 24 executed 24 times action 25 executed 62 times action 26 executed 40 times action 27 executed 90 times action 28 executed 53 times action 29 executed 101 times action 30 executed 127 times action 31 executed 54 times action 32 executed 67 times action 33 executed 117 times action 34 executed 124 times action 35 executed 87 times action 36 executed 334 times action 37 executed 169 times total number of action executions: 1602 total number of messages sent: 3430 total amount of concurrency: 32297/380000 = 8% fairness in execution: 1/334 = 0% fairness in execution steps: 16/5358 = 0% ---------- [CONFIGURATION] ---------- action 0 takes 34 units of time to execute action 1 takes 31 units of time to execute action 2 takes 27 units of time to execute action 3 takes 32 units of time to execute action 4 takes 34 units of time to execute action 5 takes 33 units of time to execute action 6 takes 25 units of time to execute action 7 takes 30 units of time to execute action 8 takes 35 units of time to execute action 9 takes 29 units of time to execute action 10 takes 30 units of time to execute action 11 takes 26 units of time to execute action 12 takes 33 units of time to execute action 13 takes 28 units of time to execute action 14 takes 34 units of time to execute action 15 takes 32 units of time to execute action 16 takes 35 units of time to execute action 17 takes 29 units of time to execute action 18 takes 27 units of time to execute action 19 takes 31 units of time to execute action 20 takes 26 units of time to execute action 21 takes 34 units of time to execute action 22 takes 30 units of time to execute action 23 takes 30 units of time to execute action 24 takes 35 units of time to execute action 25 takes 31 units of time to execute action 26 takes 29 units of time to execute action 27 takes 33 units of time to execute action 28 takes 34 units of time to execute action 29 takes 35 units of time to execute action 30 takes 26 units of time to execute action 31 takes 32 units of time to execute action 32 takes 34 units of time to execute action 33 takes 34 units of time to execute action 34 takes 34 units of time to execute action 35 takes 34 units of time to execute action 36 takes 31 units of time to execute action 37 takes 31 units of time to execute action 0 and action 3 share token 0 action 0 and action 9 share token 1 action 0 and action 29 share token 2 action 0 and action 30 share token 3 action 1 and action 8 share token 4 action 1 and action 18 share token 5 action 1 and action 29 share token 6 action 1 and action 32 share token 7 action 2 and action 3 share token 8 action 2 and action 10 share token 9 action 2 and action 11 share token 10 action 2 and action 27 share token 11 action 2 and action 30 share token 12 action 3 and action 5 share token 13 action 3 and action 9 share token 14 action 3 and action 37 share token 15 action 4 and action 10 share token 16 action 4 and action 14 share token 17 action 4 and action 26 share token 18 action 4 and action 28 share token 19 action 6 and action 9 share token 20 action 6 and action 20 share token 21 action 6 and action 33 share token 22 action 7 and action 10 share token 23 action 7 and action 17 share token 24 action 8 and action 11 share token 25 action 8 and action 14 share token 26 action 8 and action 15 share token 27 action 8 and action 19 share token 28 action 8 and action 24 share token 29 action 9 and action 30 share token 30 action 9 and action 32 share token 31 action 10 and action 12 share token 32 action 10 and action 15 share token 33 action 10 and action 29 share token 34 action 10 and action 32 share token 35 action 10 and action 37 share token 36 action 13 and action 15 share token 37 action 13 and action 21 share token 38 action 13 and action 30 share token 39 action 14 and action 21 share token 40 action 14 and action 26 share token 41 action 14 and action 35 share token 42 action 15 and action 18 share token 43 action 15 and action 23 share token 44 action 15 and action 31 share token 45 action 15 and action 32 share token 46 action 16 and action 36 share token 47 action 18 and action 31 share token 48 action 19 and action 35 share token 49 action 22 and action 29 share token 50 action 22 and action 30 share token 51 action 22 and action 31 share token 52 action 22 and action 37 share token 53 action 24 and action 26 share token 54 action 24 and action 36 share token 55 action 32 and action 35 share token 56 action 32 and action 36 share token 57 action 36 and action 37 share token 58 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 2898 total number of messages sent: 7471 total amount of concurrency: 91238/380000 = 24% fairness in execution: 63/322 = 19% fairness in execution steps: 1600/10000 = 16% ---------- [SUMMARY of Alg1] ---------- action 0 executed 14 times action 1 executed 16 times action 2 executed 17 times action 3 executed 13 times action 4 executed 19 times action 5 executed 241 times action 6 executed 85 times action 7 executed 81 times action 8 executed 16 times action 9 executed 56 times action 10 executed 16 times action 11 executed 102 times action 12 executed 148 times action 13 executed 55 times action 14 executed 29 times action 15 executed 32 times action 16 executed 103 times action 17 executed 261 times action 18 executed 71 times action 19 executed 133 times action 20 executed 254 times action 21 executed 163 times action 22 executed 113 times action 23 executed 225 times action 24 executed 130 times action 25 executed 322 times action 26 executed 111 times action 27 executed 272 times action 28 executed 275 times action 29 executed 69 times action 30 executed 123 times action 31 executed 108 times action 32 executed 116 times action 33 executed 231 times action 34 executed 294 times action 35 executed 120 times action 36 executed 103 times action 37 executed 172 times total number of action executions: 4709 total number of messages sent: 2697 total amount of concurrency: 147944/380000 = 38% fairness in execution: 13/322 = 4% fairness in execution steps: 416/10000 = 4% ---------- [CONFIGURATION] ---------- action 0 takes 35 units of time to execute action 1 takes 27 units of time to execute action 2 takes 27 units of time to execute action 3 takes 31 units of time to execute action 4 takes 26 units of time to execute action 5 takes 31 units of time to execute action 6 takes 28 units of time to execute action 7 takes 33 units of time to execute action 8 takes 29 units of time to execute action 9 takes 35 units of time to execute action 10 takes 26 units of time to execute action 11 takes 33 units of time to execute action 12 takes 33 units of time to execute action 13 takes 30 units of time to execute action 14 takes 27 units of time to execute action 15 takes 29 units of time to execute action 16 takes 30 units of time to execute action 17 takes 29 units of time to execute action 18 takes 28 units of time to execute action 19 takes 34 units of time to execute action 20 takes 34 units of time to execute action 21 takes 30 units of time to execute action 22 takes 28 units of time to execute action 23 takes 30 units of time to execute action 24 takes 31 units of time to execute action 25 takes 25 units of time to execute action 26 takes 30 units of time to execute action 27 takes 32 units of time to execute action 28 takes 27 units of time to execute action 29 takes 29 units of time to execute action 30 takes 29 units of time to execute action 31 takes 29 units of time to execute action 32 takes 29 units of time to execute action 33 takes 27 units of time to execute action 34 takes 28 units of time to execute action 35 takes 33 units of time to execute action 36 takes 26 units of time to execute action 37 takes 26 units of time to execute action 0 and action 2 share token 0 action 0 and action 9 share token 1 action 0 and action 11 share token 2 action 0 and action 17 share token 3 action 0 and action 20 share token 4 action 0 and action 22 share token 5 action 0 and action 29 share token 6 action 0 and action 30 share token 7 action 0 and action 33 share token 8 action 0 and action 36 share token 9 action 0 and action 37 share token 10 action 1 and action 6 share token 11 action 1 and action 8 share token 12 action 1 and action 10 share token 13 action 1 and action 11 share token 14 action 1 and action 18 share token 15 action 1 and action 23 share token 16 action 1 and action 24 share token 17 action 1 and action 30 share token 18 action 1 and action 35 share token 19 action 2 and action 5 share token 20 action 2 and action 6 share token 21 action 2 and action 10 share token 22 action 2 and action 11 share token 23 action 2 and action 18 share token 24 action 2 and action 19 share token 25 action 2 and action 22 share token 26 action 2 and action 29 share token 27 action 2 and action 30 share token 28 action 2 and action 32 share token 29 action 2 and action 34 share token 30 action 2 and action 36 share token 31 action 3 and action 5 share token 32 action 3 and action 6 share token 33 action 3 and action 8 share token 34 action 3 and action 12 share token 35 action 3 and action 13 share token 36 action 3 and action 18 share token 37 action 3 and action 20 share token 38 action 3 and action 21 share token 39 action 3 and action 24 share token 40 action 3 and action 28 share token 41 action 4 and action 8 share token 42 action 4 and action 12 share token 43 action 4 and action 15 share token 44 action 4 and action 19 share token 45 action 4 and action 20 share token 46 action 4 and action 25 share token 47 action 4 and action 26 share token 48 action 4 and action 28 share token 49 action 4 and action 31 share token 50 action 4 and action 33 share token 51 action 4 and action 35 share token 52 action 4 and action 37 share token 53 action 5 and action 7 share token 54 action 5 and action 8 share token 55 action 5 and action 9 share token 56 action 5 and action 13 share token 57 action 5 and action 16 share token 58 action 5 and action 20 share token 59 action 5 and action 21 share token 60 action 5 and action 23 share token 61 action 5 and action 26 share token 62 action 5 and action 28 share token 63 action 5 and action 31 share token 64 action 5 and action 33 share token 65 action 6 and action 13 share token 66 action 6 and action 21 share token 67 action 6 and action 22 share token 68 action 6 and action 26 share token 69 action 6 and action 30 share token 70 action 6 and action 31 share token 71 action 6 and action 35 share token 72 action 7 and action 8 share token 73 action 7 and action 10 share token 74 action 7 and action 11 share token 75 action 7 and action 14 share token 76 action 7 and action 15 share token 77 action 7 and action 29 share token 78 action 7 and action 31 share token 79 action 7 and action 32 share token 80 action 7 and action 37 share token 81 action 8 and action 15 share token 82 action 8 and action 19 share token 83 action 8 and action 23 share token 84 action 8 and action 25 share token 85 action 8 and action 26 share token 86 action 8 and action 28 share token 87 action 8 and action 29 share token 88 action 8 and action 30 share token 89 action 8 and action 32 share token 90 action 8 and action 33 share token 91 action 8 and action 35 share token 92 action 9 and action 11 share token 93 action 9 and action 13 share token 94 action 9 and action 15 share token 95 action 9 and action 21 share token 96 action 9 and action 24 share token 97 action 9 and action 26 share token 98 action 9 and action 30 share token 99 action 9 and action 35 share token 100 action 9 and action 36 share token 101 action 10 and action 11 share token 102 action 10 and action 15 share token 103 action 10 and action 19 share token 104 action 10 and action 22 share token 105 action 10 and action 23 share token 106 action 10 and action 24 share token 107 action 10 and action 25 share token 108 action 10 and action 27 share token 109 action 10 and action 28 share token 110 action 10 and action 34 share token 111 action 11 and action 15 share token 112 action 11 and action 16 share token 113 action 11 and action 18 share token 114 action 11 and action 20 share token 115 action 11 and action 23 share token 116 action 11 and action 28 share token 117 action 11 and action 30 share token 118 action 11 and action 37 share token 119 action 12 and action 14 share token 120 action 12 and action 18 share token 121 action 12 and action 19 share token 122 action 12 and action 25 share token 123 action 12 and action 28 share token 124 action 12 and action 31 share token 125 action 12 and action 32 share token 126 action 13 and action 15 share token 127 action 13 and action 18 share token 128 action 13 and action 21 share token 129 action 13 and action 23 share token 130 action 13 and action 27 share token 131 action 13 and action 31 share token 132 action 13 and action 33 share token 133 action 14 and action 21 share token 134 action 14 and action 23 share token 135 action 14 and action 27 share token 136 action 14 and action 28 share token 137 action 14 and action 33 share token 138 action 14 and action 34 share token 139 action 15 and action 18 share token 140 action 15 and action 20 share token 141 action 15 and action 23 share token 142 action 15 and action 25 share token 143 action 15 and action 27 share token 144 action 15 and action 28 share token 145 action 15 and action 29 share token 146 action 15 and action 33 share token 147 action 15 and action 34 share token 148 action 15 and action 37 share token 149 action 16 and action 20 share token 150 action 16 and action 22 share token 151 action 16 and action 24 share token 152 action 16 and action 25 share token 153 action 16 and action 27 share token 154 action 16 and action 29 share token 155 action 16 and action 33 share token 156 action 16 and action 34 share token 157 action 16 and action 35 share token 158 action 17 and action 21 share token 159 action 17 and action 25 share token 160 action 17 and action 36 share token 161 action 18 and action 24 share token 162 action 18 and action 29 share token 163 action 18 and action 33 share token 164 action 18 and action 36 share token 165 action 19 and action 22 share token 166 action 19 and action 23 share token 167 action 19 and action 24 share token 168 action 19 and action 25 share token 169 action 19 and action 27 share token 170 action 19 and action 37 share token 171 action 20 and action 22 share token 172 action 20 and action 26 share token 173 action 20 and action 29 share token 174 action 20 and action 34 share token 175 action 21 and action 23 share token 176 action 21 and action 28 share token 177 action 21 and action 33 share token 178 action 21 and action 34 share token 179 action 22 and action 24 share token 180 action 22 and action 27 share token 181 action 22 and action 28 share token 182 action 22 and action 30 share token 183 action 22 and action 33 share token 184 action 22 and action 34 share token 185 action 22 and action 35 share token 186 action 22 and action 37 share token 187 action 23 and action 29 share token 188 action 24 and action 29 share token 189 action 24 and action 36 share token 190 action 25 and action 31 share token 191 action 25 and action 35 share token 192 action 27 and action 31 share token 193 action 27 and action 33 share token 194 action 28 and action 31 share token 195 action 30 and action 32 share token 196 action 30 and action 35 share token 197 action 31 and action 37 share token 198 action 32 and action 33 share token 199 action 35 and action 37 share token 200 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 1037 total number of messages sent: 10967 total amount of concurrency: 30757/380000 = 8% fairness in execution: 27/28 = 96% fairness in execution steps: 675/980 = 68% ---------- [SUMMARY of Alg1] ---------- action 0 executed 1 times action 1 executed 1 times action 2 executed 1 times action 3 executed 1 times action 4 executed 2 times action 5 executed 1 times action 6 executed 1 times action 7 executed 2 times action 8 executed 0 times action 9 executed 2 times action 10 executed 2 times action 11 executed 2 times action 12 executed 7 times action 13 executed 6 times action 14 executed 10 times action 15 executed 5 times action 16 executed 14 times action 17 executed 74 times action 18 executed 15 times action 19 executed 22 times action 20 executed 19 times action 21 executed 30 times action 22 executed 16 times action 23 executed 51 times action 24 executed 41 times action 25 executed 45 times action 26 executed 247 times action 27 executed 50 times action 28 executed 116 times action 29 executed 153 times action 30 executed 94 times action 31 executed 99 times action 32 executed 142 times action 33 executed 128 times action 34 executed 230 times action 35 executed 125 times action 36 executed 252 times action 37 executed 183 times total number of action executions: 2190 total number of messages sent: 2470 total amount of concurrency: 62678/380000 = 16% fairness in execution: 0/252 = 0% fairness in execution steps: 0/7410 = 0% ---------- [CONFIGURATION] ---------- action 0 takes 6 units of time to execute action 1 takes 12 units of time to execute action 2 takes 12 units of time to execute action 3 takes 11 units of time to execute action 4 takes 8 units of time to execute action 5 takes 13 units of time to execute action 6 takes 13 units of time to execute action 7 takes 13 units of time to execute action 8 takes 15 units of time to execute action 9 takes 12 units of time to execute action 10 takes 6 units of time to execute action 11 takes 9 units of time to execute action 12 takes 10 units of time to execute action 13 takes 14 units of time to execute action 14 takes 9 units of time to execute action 15 takes 13 units of time to execute action 16 takes 12 units of time to execute action 17 takes 10 units of time to execute action 18 takes 8 units of time to execute action 19 takes 7 units of time to execute action 20 takes 6 units of time to execute action 21 takes 9 units of time to execute action 22 takes 11 units of time to execute action 23 takes 12 units of time to execute action 24 takes 14 units of time to execute action 25 takes 9 units of time to execute action 26 takes 9 units of time to execute action 27 takes 10 units of time to execute action 28 takes 13 units of time to execute action 29 takes 13 units of time to execute action 30 takes 10 units of time to execute action 31 takes 11 units of time to execute action 32 takes 15 units of time to execute action 33 takes 15 units of time to execute action 34 takes 14 units of time to execute action 35 takes 11 units of time to execute action 36 takes 5 units of time to execute action 37 takes 8 units of time to execute action 38 takes 10 units of time to execute action 39 takes 8 units of time to execute action 40 takes 9 units of time to execute action 41 takes 13 units of time to execute action 42 takes 11 units of time to execute action 0 and action 8 share token 0 action 0 and action 20 share token 1 action 0 and action 22 share token 2 action 0 and action 37 share token 3 action 1 and action 19 share token 4 action 2 and action 14 share token 5 action 2 and action 16 share token 6 action 2 and action 18 share token 7 action 2 and action 22 share token 8 action 2 and action 28 share token 9 action 2 and action 37 share token 10 action 2 and action 38 share token 11 action 2 and action 40 share token 12 action 3 and action 6 share token 13 action 3 and action 10 share token 14 action 3 and action 13 share token 15 action 3 and action 35 share token 16 action 4 and action 12 share token 17 action 4 and action 13 share token 18 action 4 and action 16 share token 19 action 4 and action 19 share token 20 action 4 and action 20 share token 21 action 4 and action 24 share token 22 action 5 and action 23 share token 23 action 5 and action 26 share token 24 action 5 and action 36 share token 25 action 6 and action 16 share token 26 action 6 and action 23 share token 27 action 7 and action 17 share token 28 action 7 and action 32 share token 29 action 7 and action 33 share token 30 action 8 and action 20 share token 31 action 8 and action 27 share token 32 action 8 and action 32 share token 33 action 8 and action 39 share token 34 action 10 and action 31 share token 35 action 10 and action 34 share token 36 action 11 and action 13 share token 37 action 11 and action 27 share token 38 action 11 and action 37 share token 39 action 12 and action 18 share token 40 action 12 and action 24 share token 41 action 13 and action 16 share token 42 action 13 and action 20 share token 43 action 13 and action 27 share token 44 action 13 and action 39 share token 45 action 14 and action 42 share token 46 action 15 and action 17 share token 47 action 15 and action 19 share token 48 action 15 and action 20 share token 49 action 15 and action 40 share token 50 action 15 and action 42 share token 51 action 16 and action 24 share token 52 action 16 and action 37 share token 53 action 17 and action 20 share token 54 action 17 and action 28 share token 55 action 17 and action 40 share token 56 action 17 and action 42 share token 57 action 18 and action 26 share token 58 action 18 and action 37 share token 59 action 19 and action 30 share token 60 action 19 and action 33 share token 61 action 20 and action 21 share token 62 action 20 and action 30 share token 63 action 21 and action 27 share token 64 action 21 and action 29 share token 65 action 22 and action 25 share token 66 action 24 and action 26 share token 67 action 24 and action 32 share token 68 action 24 and action 33 share token 69 action 24 and action 35 share token 70 action 25 and action 33 share token 71 action 26 and action 28 share token 72 action 26 and action 42 share token 73 action 27 and action 28 share token 74 action 27 and action 29 share token 75 action 27 and action 37 share token 76 action 28 and action 31 share token 77 action 28 and action 39 share token 78 action 29 and action 35 share token 79 action 30 and action 33 share token 80 action 30 and action 35 share token 81 action 30 and action 38 share token 82 action 30 and action 40 share token 83 action 31 and action 41 share token 84 action 33 and action 40 share token 85 action 34 and action 37 share token 86 action 35 and action 38 share token 87 action 35 and action 41 share token 88 action 38 and action 41 share token 89 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 6510 total number of messages sent: 24321 total amount of concurrency: 70430/430000 = 16% fairness in execution: 134/833 = 16% fairness in execution steps: 680/10000 = 6% ---------- [SUMMARY of Alg1] ---------- action 0 executed 26 times action 1 executed 66 times action 2 executed 21 times action 3 executed 21 times action 4 executed 21 times action 5 executed 77 times action 6 executed 21 times action 7 executed 40 times action 8 executed 26 times action 9 executed 833 times action 10 executed 22 times action 11 executed 46 times action 12 executed 21 times action 13 executed 20 times action 14 executed 21 times action 15 executed 65 times action 16 executed 21 times action 17 executed 40 times action 18 executed 60 times action 19 executed 65 times action 20 executed 44 times action 21 executed 75 times action 22 executed 178 times action 23 executed 77 times action 24 executed 76 times action 25 executed 282 times action 26 executed 76 times action 27 executed 73 times action 28 executed 107 times action 29 executed 149 times action 30 executed 153 times action 31 executed 276 times action 32 executed 236 times action 33 executed 135 times action 34 executed 478 times action 35 executed 148 times action 36 executed 1799 times action 37 executed 401 times action 38 executed 272 times action 39 executed 1019 times action 40 executed 560 times action 41 executed 363 times action 42 executed 729 times total number of action executions: 9239 total number of messages sent: 6463 total amount of concurrency: 88948/430000 = 20% fairness in execution: 20/1799 = 1% fairness in execution steps: 132/10000 = 1% ---------- [CONFIGURATION] ---------- action 0 takes 9 units of time to execute action 1 takes 10 units of time to execute action 2 takes 13 units of time to execute action 3 takes 11 units of time to execute action 4 takes 8 units of time to execute action 5 takes 9 units of time to execute action 6 takes 11 units of time to execute action 7 takes 7 units of time to execute action 8 takes 8 units of time to execute action 9 takes 12 units of time to execute action 10 takes 12 units of time to execute action 11 takes 8 units of time to execute action 12 takes 13 units of time to execute action 13 takes 8 units of time to execute action 14 takes 15 units of time to execute action 15 takes 14 units of time to execute action 16 takes 12 units of time to execute action 17 takes 12 units of time to execute action 18 takes 13 units of time to execute action 19 takes 12 units of time to execute action 20 takes 8 units of time to execute action 21 takes 11 units of time to execute action 22 takes 12 units of time to execute action 23 takes 12 units of time to execute action 24 takes 11 units of time to execute action 25 takes 10 units of time to execute action 26 takes 15 units of time to execute action 27 takes 15 units of time to execute action 28 takes 12 units of time to execute action 29 takes 15 units of time to execute action 30 takes 9 units of time to execute action 31 takes 10 units of time to execute action 32 takes 11 units of time to execute action 33 takes 13 units of time to execute action 34 takes 8 units of time to execute action 35 takes 5 units of time to execute action 36 takes 7 units of time to execute action 37 takes 14 units of time to execute action 38 takes 5 units of time to execute action 39 takes 7 units of time to execute action 40 takes 12 units of time to execute action 41 takes 7 units of time to execute action 42 takes 13 units of time to execute action 0 and action 2 share token 0 action 0 and action 4 share token 1 action 0 and action 8 share token 2 action 0 and action 9 share token 3 action 0 and action 12 share token 4 action 0 and action 15 share token 5 action 0 and action 16 share token 6 action 0 and action 17 share token 7 action 0 and action 18 share token 8 action 0 and action 20 share token 9 action 0 and action 21 share token 10 action 0 and action 24 share token 11 action 0 and action 25 share token 12 action 0 and action 29 share token 13 action 0 and action 30 share token 14 action 0 and action 33 share token 15 action 0 and action 36 share token 16 action 0 and action 38 share token 17 action 1 and action 3 share token 18 action 1 and action 7 share token 19 action 1 and action 17 share token 20 action 1 and action 24 share token 21 action 1 and action 28 share token 22 action 1 and action 29 share token 23 action 1 and action 31 share token 24 action 1 and action 39 share token 25 action 2 and action 6 share token 26 action 2 and action 7 share token 27 action 2 and action 11 share token 28 action 2 and action 12 share token 29 action 2 and action 14 share token 30 action 2 and action 17 share token 31 action 2 and action 20 share token 32 action 2 and action 22 share token 33 action 2 and action 23 share token 34 action 2 and action 25 share token 35 action 2 and action 27 share token 36 action 2 and action 32 share token 37 action 2 and action 37 share token 38 action 2 and action 39 share token 39 action 2 and action 42 share token 40 action 3 and action 6 share token 41 action 3 and action 7 share token 42 action 3 and action 10 share token 43 action 3 and action 13 share token 44 action 3 and action 29 share token 45 action 3 and action 30 share token 46 action 3 and action 32 share token 47 action 3 and action 35 share token 48 action 3 and action 37 share token 49 action 4 and action 8 share token 50 action 4 and action 9 share token 51 action 4 and action 15 share token 52 action 4 and action 17 share token 53 action 4 and action 19 share token 54 action 4 and action 20 share token 55 action 4 and action 21 share token 56 action 4 and action 22 share token 57 action 4 and action 27 share token 58 action 4 and action 29 share token 59 action 4 and action 30 share token 60 action 4 and action 31 share token 61 action 4 and action 32 share token 62 action 4 and action 34 share token 63 action 4 and action 35 share token 64 action 4 and action 36 share token 65 action 4 and action 37 share token 66 action 4 and action 38 share token 67 action 4 and action 39 share token 68 action 5 and action 6 share token 69 action 5 and action 8 share token 70 action 5 and action 9 share token 71 action 5 and action 11 share token 72 action 5 and action 14 share token 73 action 5 and action 17 share token 74 action 5 and action 18 share token 75 action 5 and action 20 share token 76 action 5 and action 23 share token 77 action 5 and action 27 share token 78 action 5 and action 33 share token 79 action 5 and action 38 share token 80 action 5 and action 39 share token 81 action 6 and action 8 share token 82 action 6 and action 10 share token 83 action 6 and action 13 share token 84 action 6 and action 17 share token 85 action 6 and action 20 share token 86 action 6 and action 27 share token 87 action 6 and action 31 share token 88 action 6 and action 36 share token 89 action 6 and action 39 share token 90 action 6 and action 40 share token 91 action 6 and action 41 share token 92 action 7 and action 8 share token 93 action 7 and action 11 share token 94 action 7 and action 13 share token 95 action 7 and action 15 share token 96 action 7 and action 17 share token 97 action 7 and action 21 share token 98 action 7 and action 23 share token 99 action 7 and action 25 share token 100 action 7 and action 26 share token 101 action 7 and action 28 share token 102 action 7 and action 29 share token 103 action 7 and action 40 share token 104 action 7 and action 41 share token 105 action 8 and action 12 share token 106 action 8 and action 18 share token 107 action 8 and action 23 share token 108 action 8 and action 28 share token 109 action 8 and action 31 share token 110 action 8 and action 36 share token 111 action 8 and action 41 share token 112 action 9 and action 13 share token 113 action 9 and action 14 share token 114 action 9 and action 16 share token 115 action 9 and action 21 share token 116 action 9 and action 24 share token 117 action 9 and action 25 share token 118 action 9 and action 28 share token 119 action 9 and action 30 share token 120 action 9 and action 31 share token 121 action 9 and action 33 share token 122 action 9 and action 34 share token 123 action 9 and action 35 share token 124 action 9 and action 42 share token 125 action 10 and action 14 share token 126 action 10 and action 16 share token 127 action 10 and action 23 share token 128 action 10 and action 24 share token 129 action 10 and action 33 share token 130 action 10 and action 35 share token 131 action 10 and action 39 share token 132 action 10 and action 41 share token 133 action 11 and action 12 share token 134 action 11 and action 14 share token 135 action 11 and action 16 share token 136 action 11 and action 20 share token 137 action 11 and action 22 share token 138 action 11 and action 30 share token 139 action 11 and action 39 share token 140 action 12 and action 14 share token 141 action 12 and action 19 share token 142 action 12 and action 22 share token 143 action 12 and action 24 share token 144 action 12 and action 27 share token 145 action 12 and action 29 share token 146 action 12 and action 33 share token 147 action 12 and action 37 share token 148 action 12 and action 42 share token 149 action 13 and action 14 share token 150 action 13 and action 15 share token 151 action 13 and action 17 share token 152 action 13 and action 18 share token 153 action 13 and action 20 share token 154 action 13 and action 24 share token 155 action 13 and action 30 share token 156 action 13 and action 31 share token 157 action 13 and action 32 share token 158 action 13 and action 33 share token 159 action 13 and action 35 share token 160 action 13 and action 36 share token 161 action 13 and action 37 share token 162 action 13 and action 41 share token 163 action 14 and action 19 share token 164 action 14 and action 22 share token 165 action 14 and action 23 share token 166 action 14 and action 26 share token 167 action 14 and action 27 share token 168 action 14 and action 29 share token 169 action 14 and action 32 share token 170 action 14 and action 33 share token 171 action 14 and action 35 share token 172 action 15 and action 17 share token 173 action 15 and action 21 share token 174 action 15 and action 22 share token 175 action 15 and action 26 share token 176 action 15 and action 28 share token 177 action 15 and action 35 share token 178 action 15 and action 36 share token 179 action 15 and action 37 share token 180 action 15 and action 39 share token 181 action 15 and action 42 share token 182 action 16 and action 17 share token 183 action 16 and action 19 share token 184 action 16 and action 20 share token 185 action 16 and action 23 share token 186 action 16 and action 26 share token 187 action 16 and action 28 share token 188 action 16 and action 30 share token 189 action 16 and action 33 share token 190 action 16 and action 37 share token 191 action 16 and action 41 share token 192 action 17 and action 18 share token 193 action 17 and action 26 share token 194 action 17 and action 27 share token 195 action 17 and action 29 share token 196 action 17 and action 31 share token 197 action 17 and action 32 share token 198 action 17 and action 34 share token 199 action 17 and action 37 share token 200 action 17 and action 42 share token 201 action 18 and action 21 share token 202 action 18 and action 24 share token 203 action 18 and action 26 share token 204 action 18 and action 29 share token 205 action 18 and action 30 share token 206 action 18 and action 35 share token 207 action 18 and action 37 share token 208 action 18 and action 38 share token 209 action 18 and action 42 share token 210 action 19 and action 20 share token 211 action 19 and action 22 share token 212 action 19 and action 35 share token 213 action 19 and action 36 share token 214 action 19 and action 37 share token 215 action 19 and action 38 share token 216 action 19 and action 41 share token 217 action 19 and action 42 share token 218 action 20 and action 23 share token 219 action 20 and action 30 share token 220 action 20 and action 33 share token 221 action 20 and action 36 share token 222 action 20 and action 38 share token 223 action 21 and action 24 share token 224 action 21 and action 25 share token 225 action 21 and action 27 share token 226 action 21 and action 29 share token 227 action 21 and action 31 share token 228 action 21 and action 32 share token 229 action 21 and action 33 share token 230 action 21 and action 35 share token 231 action 21 and action 40 share token 232 action 22 and action 26 share token 233 action 22 and action 28 share token 234 action 22 and action 32 share token 235 action 22 and action 33 share token 236 action 22 and action 37 share token 237 action 23 and action 25 share token 238 action 23 and action 26 share token 239 action 23 and action 28 share token 240 action 23 and action 35 share token 241 action 24 and action 28 share token 242 action 24 and action 34 share token 243 action 24 and action 36 share token 244 action 24 and action 42 share token 245 action 25 and action 28 share token 246 action 25 and action 29 share token 247 action 25 and action 31 share token 248 action 25 and action 34 share token 249 action 25 and action 37 share token 250 action 26 and action 28 share token 251 action 26 and action 29 share token 252 action 26 and action 30 share token 253 action 26 and action 31 share token 254 action 26 and action 37 share token 255 action 26 and action 40 share token 256 action 26 and action 41 share token 257 action 26 and action 42 share token 258 action 27 and action 30 share token 259 action 27 and action 33 share token 260 action 27 and action 37 share token 261 action 27 and action 42 share token 262 action 28 and action 29 share token 263 action 28 and action 30 share token 264 action 28 and action 31 share token 265 action 28 and action 37 share token 266 action 28 and action 39 share token 267 action 28 and action 40 share token 268 action 29 and action 37 share token 269 action 29 and action 39 share token 270 action 29 and action 42 share token 271 action 30 and action 33 share token 272 action 30 and action 38 share token 273 action 30 and action 39 share token 274 action 31 and action 33 share token 275 action 31 and action 35 share token 276 action 31 and action 40 share token 277 action 32 and action 33 share token 278 action 32 and action 34 share token 279 action 32 and action 42 share token 280 action 33 and action 35 share token 281 action 33 and action 36 share token 282 action 33 and action 38 share token 283 action 34 and action 40 share token 284 action 34 and action 41 share token 285 action 35 and action 42 share token 286 action 38 and action 41 share token 287 action 38 and action 42 share token 288 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 2684 total number of messages sent: 36093 total amount of concurrency: 28672/430000 = 6% fairness in execution: 62/63 = 98% fairness in execution steps: 310/945 = 32% ---------- [SUMMARY of Alg1] ---------- action 0 executed 1 times action 1 executed 1 times action 2 executed 0 times action 3 executed 0 times action 4 executed 1 times action 5 executed 2 times action 6 executed 1 times action 7 executed 2 times action 8 executed 0 times action 9 executed 0 times action 10 executed 3 times action 11 executed 2 times action 12 executed 4 times action 13 executed 2 times action 14 executed 2 times action 15 executed 2 times action 16 executed 7 times action 17 executed 1 times action 18 executed 17 times action 19 executed 4 times action 20 executed 9 times action 21 executed 8 times action 22 executed 12 times action 23 executed 19 times action 24 executed 19 times action 25 executed 40 times action 26 executed 21 times action 27 executed 38 times action 28 executed 32 times action 29 executed 42 times action 30 executed 52 times action 31 executed 102 times action 32 executed 165 times action 33 executed 96 times action 34 executed 283 times action 35 executed 368 times action 36 executed 936 times action 37 executed 354 times action 38 executed 494 times action 39 executed 1080 times action 40 executed 400 times action 41 executed 573 times action 42 executed 397 times total number of action executions: 5592 total number of messages sent: 5245 total amount of concurrency: 47847/430000 = 11% fairness in execution: 0/1080 = 0% fairness in execution steps: 0/7561 = 0% ---------- [CONFIGURATION] ---------- action 0 takes 20 units of time to execute action 1 takes 20 units of time to execute action 2 takes 15 units of time to execute action 3 takes 23 units of time to execute action 4 takes 20 units of time to execute action 5 takes 15 units of time to execute action 6 takes 24 units of time to execute action 7 takes 24 units of time to execute action 8 takes 24 units of time to execute action 9 takes 24 units of time to execute action 10 takes 19 units of time to execute action 11 takes 16 units of time to execute action 12 takes 15 units of time to execute action 13 takes 25 units of time to execute action 14 takes 18 units of time to execute action 15 takes 17 units of time to execute action 16 takes 20 units of time to execute action 17 takes 22 units of time to execute action 18 takes 17 units of time to execute action 19 takes 20 units of time to execute action 20 takes 20 units of time to execute action 21 takes 19 units of time to execute action 22 takes 18 units of time to execute action 23 takes 16 units of time to execute action 24 takes 19 units of time to execute action 25 takes 17 units of time to execute action 26 takes 18 units of time to execute action 27 takes 20 units of time to execute action 28 takes 21 units of time to execute action 29 takes 21 units of time to execute action 30 takes 17 units of time to execute action 31 takes 23 units of time to execute action 32 takes 21 units of time to execute action 33 takes 16 units of time to execute action 34 takes 25 units of time to execute action 35 takes 20 units of time to execute action 36 takes 16 units of time to execute action 37 takes 22 units of time to execute action 38 takes 17 units of time to execute action 39 takes 17 units of time to execute action 40 takes 18 units of time to execute action 41 takes 15 units of time to execute action 42 takes 16 units of time to execute action 0 and action 6 share token 0 action 0 and action 36 share token 1 action 1 and action 2 share token 2 action 1 and action 30 share token 3 action 1 and action 31 share token 4 action 1 and action 42 share token 5 action 2 and action 6 share token 6 action 2 and action 8 share token 7 action 2 and action 15 share token 8 action 2 and action 17 share token 9 action 2 and action 24 share token 10 action 3 and action 10 share token 11 action 3 and action 32 share token 12 action 3 and action 34 share token 13 action 3 and action 39 share token 14 action 4 and action 29 share token 15 action 4 and action 33 share token 16 action 4 and action 35 share token 17 action 6 and action 13 share token 18 action 6 and action 21 share token 19 action 6 and action 31 share token 20 action 7 and action 8 share token 21 action 7 and action 16 share token 22 action 7 and action 22 share token 23 action 7 and action 30 share token 24 action 7 and action 34 share token 25 action 7 and action 35 share token 26 action 8 and action 25 share token 27 action 8 and action 31 share token 28 action 8 and action 37 share token 29 action 9 and action 15 share token 30 action 9 and action 18 share token 31 action 9 and action 26 share token 32 action 9 and action 33 share token 33 action 10 and action 15 share token 34 action 10 and action 20 share token 35 action 10 and action 30 share token 36 action 10 and action 32 share token 37 action 11 and action 27 share token 38 action 11 and action 28 share token 39 action 11 and action 38 share token 40 action 12 and action 16 share token 41 action 12 and action 20 share token 42 action 12 and action 26 share token 43 action 13 and action 32 share token 44 action 14 and action 26 share token 45 action 15 and action 19 share token 46 action 15 and action 21 share token 47 action 15 and action 26 share token 48 action 16 and action 22 share token 49 action 16 and action 32 share token 50 action 16 and action 36 share token 51 action 17 and action 27 share token 52 action 18 and action 32 share token 53 action 19 and action 21 share token 54 action 19 and action 22 share token 55 action 19 and action 25 share token 56 action 19 and action 34 share token 57 action 20 and action 21 share token 58 action 20 and action 25 share token 59 action 20 and action 37 share token 60 action 21 and action 32 share token 61 action 21 and action 41 share token 62 action 22 and action 24 share token 63 action 22 and action 28 share token 64 action 22 and action 36 share token 65 action 22 and action 37 share token 66 action 23 and action 35 share token 67 action 23 and action 42 share token 68 action 24 and action 25 share token 69 action 24 and action 29 share token 70 action 26 and action 28 share token 71 action 27 and action 36 share token 72 action 28 and action 29 share token 73 action 28 and action 31 share token 74 action 28 and action 32 share token 75 action 31 and action 33 share token 76 action 31 and action 37 share token 77 action 32 and action 39 share token 78 action 33 and action 34 share token 79 action 33 and action 35 share token 80 action 35 and action 40 share token 81 action 37 and action 38 share token 82 action 38 and action 41 share token 83 action 41 and action 42 share token 84 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 2732 total number of messages sent: 8355 total amount of concurrency: 50114/430000 = 11% fairness in execution: 48/666 = 7% fairness in execution steps: 735/10000 = 7% ---------- [SUMMARY of Alg1] ---------- action 0 executed 15 times action 1 executed 13 times action 2 executed 12 times action 3 executed 33 times action 4 executed 67 times action 5 executed 666 times action 6 executed 14 times action 7 executed 24 times action 8 executed 18 times action 9 executed 29 times action 10 executed 32 times action 11 executed 73 times action 12 executed 79 times action 13 executed 137 times action 14 executed 228 times action 15 executed 27 times action 16 executed 30 times action 17 executed 351 times action 18 executed 230 times action 19 executed 46 times action 20 executed 80 times action 21 executed 57 times action 22 executed 58 times action 23 executed 162 times action 24 executed 189 times action 25 executed 168 times action 26 executed 142 times action 27 executed 72 times action 28 executed 79 times action 29 executed 67 times action 30 executed 349 times action 31 executed 109 times action 32 executed 116 times action 33 executed 102 times action 34 executed 232 times action 35 executed 143 times action 36 executed 375 times action 37 executed 159 times action 38 executed 184 times action 39 executed 399 times action 40 executed 396 times action 41 executed 285 times action 42 executed 316 times total number of action executions: 6363 total number of messages sent: 5598 total amount of concurrency: 115954/430000 = 26% fairness in execution: 12/666 = 1% fairness in execution steps: 180/10000 = 1% ---------- [CONFIGURATION] ---------- action 0 takes 16 units of time to execute action 1 takes 17 units of time to execute action 2 takes 23 units of time to execute action 3 takes 17 units of time to execute action 4 takes 15 units of time to execute action 5 takes 21 units of time to execute action 6 takes 21 units of time to execute action 7 takes 21 units of time to execute action 8 takes 19 units of time to execute action 9 takes 25 units of time to execute action 10 takes 20 units of time to execute action 11 takes 17 units of time to execute action 12 takes 17 units of time to execute action 13 takes 20 units of time to execute action 14 takes 23 units of time to execute action 15 takes 16 units of time to execute action 16 takes 25 units of time to execute action 17 takes 24 units of time to execute action 18 takes 18 units of time to execute action 19 takes 21 units of time to execute action 20 takes 16 units of time to execute action 21 takes 19 units of time to execute action 22 takes 19 units of time to execute action 23 takes 25 units of time to execute action 24 takes 20 units of time to execute action 25 takes 21 units of time to execute action 26 takes 20 units of time to execute action 27 takes 21 units of time to execute action 28 takes 18 units of time to execute action 29 takes 22 units of time to execute action 30 takes 23 units of time to execute action 31 takes 23 units of time to execute action 32 takes 15 units of time to execute action 33 takes 25 units of time to execute action 34 takes 25 units of time to execute action 35 takes 19 units of time to execute action 36 takes 20 units of time to execute action 37 takes 22 units of time to execute action 38 takes 20 units of time to execute action 39 takes 19 units of time to execute action 40 takes 23 units of time to execute action 41 takes 20 units of time to execute action 42 takes 25 units of time to execute action 0 and action 1 share token 0 action 0 and action 2 share token 1 action 0 and action 4 share token 2 action 0 and action 8 share token 3 action 0 and action 10 share token 4 action 0 and action 11 share token 5 action 0 and action 12 share token 6 action 0 and action 13 share token 7 action 0 and action 20 share token 8 action 0 and action 21 share token 9 action 0 and action 22 share token 10 action 0 and action 26 share token 11 action 0 and action 29 share token 12 action 0 and action 30 share token 13 action 0 and action 32 share token 14 action 0 and action 34 share token 15 action 1 and action 3 share token 16 action 1 and action 5 share token 17 action 1 and action 7 share token 18 action 1 and action 9 share token 19 action 1 and action 11 share token 20 action 1 and action 16 share token 21 action 1 and action 22 share token 22 action 1 and action 25 share token 23 action 1 and action 27 share token 24 action 1 and action 28 share token 25 action 1 and action 31 share token 26 action 1 and action 32 share token 27 action 1 and action 37 share token 28 action 1 and action 40 share token 29 action 1 and action 41 share token 30 action 1 and action 42 share token 31 action 2 and action 5 share token 32 action 2 and action 10 share token 33 action 2 and action 13 share token 34 action 2 and action 16 share token 35 action 2 and action 17 share token 36 action 2 and action 18 share token 37 action 2 and action 24 share token 38 action 2 and action 27 share token 39 action 2 and action 29 share token 40 action 2 and action 31 share token 41 action 2 and action 32 share token 42 action 2 and action 33 share token 43 action 2 and action 35 share token 44 action 2 and action 37 share token 45 action 2 and action 38 share token 46 action 2 and action 42 share token 47 action 3 and action 7 share token 48 action 3 and action 13 share token 49 action 3 and action 15 share token 50 action 3 and action 24 share token 51 action 3 and action 25 share token 52 action 3 and action 29 share token 53 action 3 and action 31 share token 54 action 3 and action 33 share token 55 action 3 and action 35 share token 56 action 3 and action 36 share token 57 action 3 and action 39 share token 58 action 4 and action 6 share token 59 action 4 and action 8 share token 60 action 4 and action 9 share token 61 action 4 and action 14 share token 62 action 4 and action 15 share token 63 action 4 and action 18 share token 64 action 4 and action 19 share token 65 action 4 and action 23 share token 66 action 4 and action 42 share token 67 action 5 and action 6 share token 68 action 5 and action 9 share token 69 action 5 and action 10 share token 70 action 5 and action 17 share token 71 action 5 and action 20 share token 72 action 5 and action 21 share token 73 action 5 and action 23 share token 74 action 5 and action 26 share token 75 action 5 and action 30 share token 76 action 5 and action 36 share token 77 action 5 and action 37 share token 78 action 5 and action 40 share token 79 action 5 and action 42 share token 80 action 6 and action 7 share token 81 action 6 and action 10 share token 82 action 6 and action 12 share token 83 action 6 and action 13 share token 84 action 6 and action 15 share token 85 action 6 and action 21 share token 86 action 6 and action 24 share token 87 action 6 and action 32 share token 88 action 6 and action 35 share token 89 action 6 and action 37 share token 90 action 6 and action 38 share token 91 action 6 and action 41 share token 92 action 7 and action 9 share token 93 action 7 and action 10 share token 94 action 7 and action 12 share token 95 action 7 and action 14 share token 96 action 7 and action 15 share token 97 action 7 and action 16 share token 98 action 7 and action 21 share token 99 action 7 and action 22 share token 100 action 7 and action 25 share token 101 action 7 and action 31 share token 102 action 7 and action 33 share token 103 action 7 and action 39 share token 104 action 7 and action 40 share token 105 action 8 and action 12 share token 106 action 8 and action 16 share token 107 action 8 and action 19 share token 108 action 8 and action 21 share token 109 action 8 and action 22 share token 110 action 8 and action 33 share token 111 action 8 and action 34 share token 112 action 8 and action 37 share token 113 action 8 and action 38 share token 114 action 9 and action 19 share token 115 action 9 and action 23 share token 116 action 9 and action 24 share token 117 action 9 and action 25 share token 118 action 9 and action 27 share token 119 action 9 and action 30 share token 120 action 9 and action 31 share token 121 action 9 and action 32 share token 122 action 9 and action 33 share token 123 action 9 and action 34 share token 124 action 9 and action 39 share token 125 action 9 and action 41 share token 126 action 10 and action 11 share token 127 action 10 and action 12 share token 128 action 10 and action 14 share token 129 action 10 and action 17 share token 130 action 10 and action 19 share token 131 action 10 and action 29 share token 132 action 10 and action 32 share token 133 action 10 and action 34 share token 134 action 10 and action 41 share token 135 action 11 and action 15 share token 136 action 11 and action 16 share token 137 action 11 and action 20 share token 138 action 11 and action 25 share token 139 action 11 and action 27 share token 140 action 11 and action 28 share token 141 action 11 and action 32 share token 142 action 11 and action 35 share token 143 action 11 and action 37 share token 144 action 11 and action 41 share token 145 action 12 and action 14 share token 146 action 12 and action 17 share token 147 action 12 and action 25 share token 148 action 12 and action 27 share token 149 action 12 and action 37 share token 150 action 12 and action 40 share token 151 action 12 and action 41 share token 152 action 13 and action 17 share token 153 action 13 and action 24 share token 154 action 13 and action 29 share token 155 action 13 and action 30 share token 156 action 13 and action 33 share token 157 action 13 and action 38 share token 158 action 14 and action 17 share token 159 action 14 and action 18 share token 160 action 14 and action 19 share token 161 action 14 and action 21 share token 162 action 14 and action 22 share token 163 action 14 and action 26 share token 164 action 14 and action 30 share token 165 action 14 and action 31 share token 166 action 14 and action 34 share token 167 action 14 and action 35 share token 168 action 14 and action 41 share token 169 action 15 and action 18 share token 170 action 15 and action 19 share token 171 action 15 and action 23 share token 172 action 15 and action 28 share token 173 action 15 and action 30 share token 174 action 15 and action 31 share token 175 action 15 and action 34 share token 176 action 15 and action 36 share token 177 action 16 and action 21 share token 178 action 16 and action 25 share token 179 action 16 and action 30 share token 180 action 16 and action 32 share token 181 action 16 and action 37 share token 182 action 16 and action 41 share token 183 action 17 and action 21 share token 184 action 17 and action 24 share token 185 action 17 and action 29 share token 186 action 17 and action 36 share token 187 action 17 and action 37 share token 188 action 17 and action 38 share token 189 action 17 and action 41 share token 190 action 18 and action 21 share token 191 action 18 and action 23 share token 192 action 18 and action 29 share token 193 action 18 and action 30 share token 194 action 18 and action 35 share token 195 action 19 and action 22 share token 196 action 19 and action 24 share token 197 action 19 and action 25 share token 198 action 19 and action 27 share token 199 action 19 and action 30 share token 200 action 19 and action 31 share token 201 action 19 and action 33 share token 202 action 19 and action 35 share token 203 action 19 and action 38 share token 204 action 19 and action 41 share token 205 action 20 and action 24 share token 206 action 20 and action 29 share token 207 action 20 and action 35 share token 208 action 20 and action 37 share token 209 action 20 and action 38 share token 210 action 20 and action 39 share token 211 action 20 and action 40 share token 212 action 21 and action 24 share token 213 action 21 and action 25 share token 214 action 21 and action 26 share token 215 action 21 and action 32 share token 216 action 21 and action 35 share token 217 action 21 and action 41 share token 218 action 22 and action 25 share token 219 action 22 and action 33 share token 220 action 22 and action 34 share token 221 action 22 and action 38 share token 222 action 22 and action 39 share token 223 action 22 and action 42 share token 224 action 23 and action 24 share token 225 action 23 and action 34 share token 226 action 23 and action 39 share token 227 action 23 and action 41 share token 228 action 23 and action 42 share token 229 action 24 and action 25 share token 230 action 24 and action 31 share token 231 action 24 and action 35 share token 232 action 24 and action 36 share token 233 action 24 and action 42 share token 234 action 25 and action 26 share token 235 action 25 and action 31 share token 236 action 25 and action 32 share token 237 action 25 and action 33 share token 238 action 25 and action 37 share token 239 action 26 and action 27 share token 240 action 26 and action 29 share token 241 action 26 and action 30 share token 242 action 26 and action 31 share token 243 action 26 and action 33 share token 244 action 26 and action 35 share token 245 action 26 and action 36 share token 246 action 27 and action 28 share token 247 action 27 and action 29 share token 248 action 27 and action 30 share token 249 action 27 and action 31 share token 250 action 27 and action 32 share token 251 action 27 and action 36 share token 252 action 27 and action 39 share token 253 action 28 and action 31 share token 254 action 28 and action 35 share token 255 action 28 and action 36 share token 256 action 28 and action 39 share token 257 action 28 and action 40 share token 258 action 29 and action 34 share token 259 action 29 and action 37 share token 260 action 29 and action 39 share token 261 action 30 and action 34 share token 262 action 30 and action 35 share token 263 action 30 and action 37 share token 264 action 30 and action 40 share token 265 action 31 and action 40 share token 266 action 31 and action 42 share token 267 action 32 and action 33 share token 268 action 32 and action 41 share token 269 action 33 and action 39 share token 270 action 34 and action 36 share token 271 action 34 and action 37 share token 272 action 34 and action 39 share token 273 action 34 and action 41 share token 274 action 35 and action 38 share token 275 action 35 and action 39 share token 276 action 36 and action 37 share token 277 action 36 and action 41 share token 278 action 38 and action 42 share token 279 action 41 and action 42 share token 280 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 1119 total number of messages sent: 14628 total amount of concurrency: 22792/430000 = 5% fairness in execution: 26/27 = 96% fairness in execution steps: 390/650 = 60% ---------- [SUMMARY of Alg1] ---------- action 0 executed 1 times action 1 executed 0 times action 2 executed 0 times action 3 executed 1 times action 4 executed 1 times action 5 executed 0 times action 6 executed 1 times action 7 executed 0 times action 8 executed 1 times action 9 executed 1 times action 10 executed 1 times action 11 executed 1 times action 12 executed 1 times action 13 executed 1 times action 14 executed 2 times action 15 executed 3 times action 16 executed 8 times action 17 executed 3 times action 18 executed 4 times action 19 executed 4 times action 20 executed 20 times action 21 executed 7 times action 22 executed 15 times action 23 executed 31 times action 24 executed 7 times action 25 executed 8 times action 26 executed 20 times action 27 executed 20 times action 28 executed 41 times action 29 executed 30 times action 30 executed 32 times action 31 executed 44 times action 32 executed 141 times action 33 executed 75 times action 34 executed 50 times action 35 executed 65 times action 36 executed 121 times action 37 executed 109 times action 38 executed 148 times action 39 executed 172 times action 40 executed 302 times action 41 executed 173 times action 42 executed 194 times total number of action executions: 1859 total number of messages sent: 3483 total amount of concurrency: 39348/430000 = 9% fairness in execution: 0/302 = 0% fairness in execution steps: 0/6946 = 0% ---------- [CONFIGURATION] ---------- action 0 takes 25 units of time to execute action 1 takes 25 units of time to execute action 2 takes 26 units of time to execute action 3 takes 25 units of time to execute action 4 takes 30 units of time to execute action 5 takes 27 units of time to execute action 6 takes 25 units of time to execute action 7 takes 33 units of time to execute action 8 takes 28 units of time to execute action 9 takes 31 units of time to execute action 10 takes 30 units of time to execute action 11 takes 28 units of time to execute action 12 takes 29 units of time to execute action 13 takes 28 units of time to execute action 14 takes 29 units of time to execute action 15 takes 29 units of time to execute action 16 takes 27 units of time to execute action 17 takes 31 units of time to execute action 18 takes 28 units of time to execute action 19 takes 30 units of time to execute action 20 takes 34 units of time to execute action 21 takes 35 units of time to execute action 22 takes 25 units of time to execute action 23 takes 32 units of time to execute action 24 takes 30 units of time to execute action 25 takes 28 units of time to execute action 26 takes 35 units of time to execute action 27 takes 27 units of time to execute action 28 takes 35 units of time to execute action 29 takes 29 units of time to execute action 30 takes 30 units of time to execute action 31 takes 26 units of time to execute action 32 takes 28 units of time to execute action 33 takes 31 units of time to execute action 34 takes 32 units of time to execute action 35 takes 27 units of time to execute action 36 takes 28 units of time to execute action 37 takes 28 units of time to execute action 38 takes 26 units of time to execute action 39 takes 25 units of time to execute action 40 takes 33 units of time to execute action 41 takes 31 units of time to execute action 42 takes 33 units of time to execute action 0 and action 9 share token 0 action 0 and action 18 share token 1 action 0 and action 19 share token 2 action 0 and action 30 share token 3 action 1 and action 33 share token 4 action 1 and action 42 share token 5 action 2 and action 5 share token 6 action 2 and action 9 share token 7 action 2 and action 28 share token 8 action 2 and action 34 share token 9 action 2 and action 40 share token 10 action 2 and action 41 share token 11 action 3 and action 6 share token 12 action 3 and action 8 share token 13 action 4 and action 8 share token 14 action 4 and action 14 share token 15 action 4 and action 18 share token 16 action 4 and action 20 share token 17 action 4 and action 25 share token 18 action 4 and action 27 share token 19 action 5 and action 19 share token 20 action 5 and action 31 share token 21 action 5 and action 32 share token 22 action 5 and action 33 share token 23 action 6 and action 8 share token 24 action 6 and action 10 share token 25 action 6 and action 18 share token 26 action 6 and action 33 share token 27 action 6 and action 41 share token 28 action 7 and action 15 share token 29 action 7 and action 21 share token 30 action 7 and action 25 share token 31 action 7 and action 30 share token 32 action 9 and action 13 share token 33 action 9 and action 30 share token 34 action 9 and action 41 share token 35 action 10 and action 16 share token 36 action 10 and action 25 share token 37 action 10 and action 36 share token 38 action 10 and action 40 share token 39 action 11 and action 14 share token 40 action 11 and action 18 share token 41 action 11 and action 27 share token 42 action 11 and action 38 share token 43 action 12 and action 17 share token 44 action 12 and action 19 share token 45 action 12 and action 23 share token 46 action 12 and action 26 share token 47 action 13 and action 32 share token 48 action 13 and action 42 share token 49 action 14 and action 22 share token 50 action 14 and action 35 share token 51 action 15 and action 20 share token 52 action 15 and action 23 share token 53 action 15 and action 24 share token 54 action 15 and action 31 share token 55 action 16 and action 18 share token 56 action 17 and action 34 share token 57 action 18 and action 22 share token 58 action 18 and action 28 share token 59 action 18 and action 36 share token 60 action 18 and action 40 share token 61 action 19 and action 30 share token 62 action 19 and action 34 share token 63 action 19 and action 38 share token 64 action 20 and action 24 share token 65 action 20 and action 25 share token 66 action 20 and action 31 share token 67 action 20 and action 32 share token 68 action 20 and action 39 share token 69 action 21 and action 24 share token 70 action 21 and action 26 share token 71 action 21 and action 41 share token 72 action 22 and action 24 share token 73 action 22 and action 26 share token 74 action 22 and action 29 share token 75 action 22 and action 30 share token 76 action 22 and action 32 share token 77 action 24 and action 37 share token 78 action 24 and action 38 share token 79 action 24 and action 40 share token 80 action 25 and action 34 share token 81 action 27 and action 28 share token 82 action 28 and action 34 share token 83 action 28 and action 36 share token 84 action 28 and action 37 share token 85 action 28 and action 40 share token 86 action 29 and action 34 share token 87 action 30 and action 38 share token 88 action 30 and action 41 share token 89 action 32 and action 40 share token 90 action 34 and action 36 share token 91 action 35 and action 42 share token 92 action 36 and action 41 share token 93 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 1693 total number of messages sent: 7395 total amount of concurrency: 49355/430000 = 11% fairness in execution: 39/40 = 97% fairness in execution steps: 975/1395 = 69% ---------- [SUMMARY of Alg1] ---------- action 0 executed 11 times action 1 executed 118 times action 2 executed 19 times action 3 executed 14 times action 4 executed 13 times action 5 executed 19 times action 6 executed 13 times action 7 executed 19 times action 8 executed 13 times action 9 executed 11 times action 10 executed 44 times action 11 executed 55 times action 12 executed 28 times action 13 executed 104 times action 14 executed 15 times action 15 executed 18 times action 16 executed 78 times action 17 executed 28 times action 18 executed 14 times action 19 executed 33 times action 20 executed 20 times action 21 executed 35 times action 22 executed 57 times action 23 executed 111 times action 24 executed 40 times action 25 executed 64 times action 26 executed 133 times action 27 executed 113 times action 28 executed 47 times action 29 executed 176 times action 30 executed 84 times action 31 executed 279 times action 32 executed 115 times action 33 executed 118 times action 34 executed 57 times action 35 executed 219 times action 36 executed 114 times action 37 executed 190 times action 38 executed 161 times action 39 executed 372 times action 40 executed 144 times action 41 executed 164 times action 42 executed 122 times total number of action executions: 3602 total number of messages sent: 3892 total amount of concurrency: 103192/430000 = 23% fairness in execution: 11/372 = 2% fairness in execution steps: 275/9319 = 2% ---------- [CONFIGURATION] ---------- action 0 takes 30 units of time to execute action 1 takes 29 units of time to execute action 2 takes 35 units of time to execute action 3 takes 35 units of time to execute action 4 takes 31 units of time to execute action 5 takes 25 units of time to execute action 6 takes 33 units of time to execute action 7 takes 32 units of time to execute action 8 takes 26 units of time to execute action 9 takes 31 units of time to execute action 10 takes 32 units of time to execute action 11 takes 27 units of time to execute action 12 takes 25 units of time to execute action 13 takes 29 units of time to execute action 14 takes 33 units of time to execute action 15 takes 25 units of time to execute action 16 takes 28 units of time to execute action 17 takes 31 units of time to execute action 18 takes 32 units of time to execute action 19 takes 33 units of time to execute action 20 takes 34 units of time to execute action 21 takes 25 units of time to execute action 22 takes 29 units of time to execute action 23 takes 32 units of time to execute action 24 takes 35 units of time to execute action 25 takes 27 units of time to execute action 26 takes 29 units of time to execute action 27 takes 29 units of time to execute action 28 takes 30 units of time to execute action 29 takes 32 units of time to execute action 30 takes 35 units of time to execute action 31 takes 31 units of time to execute action 32 takes 26 units of time to execute action 33 takes 29 units of time to execute action 34 takes 30 units of time to execute action 35 takes 26 units of time to execute action 36 takes 29 units of time to execute action 37 takes 27 units of time to execute action 38 takes 26 units of time to execute action 39 takes 26 units of time to execute action 40 takes 34 units of time to execute action 41 takes 26 units of time to execute action 42 takes 33 units of time to execute action 0 and action 1 share token 0 action 0 and action 4 share token 1 action 0 and action 8 share token 2 action 0 and action 10 share token 3 action 0 and action 15 share token 4 action 0 and action 19 share token 5 action 0 and action 20 share token 6 action 0 and action 22 share token 7 action 0 and action 24 share token 8 action 0 and action 26 share token 9 action 0 and action 27 share token 10 action 0 and action 28 share token 11 action 0 and action 29 share token 12 action 0 and action 34 share token 13 action 0 and action 39 share token 14 action 0 and action 40 share token 15 action 0 and action 42 share token 16 action 1 and action 3 share token 17 action 1 and action 5 share token 18 action 1 and action 6 share token 19 action 1 and action 7 share token 20 action 1 and action 18 share token 21 action 1 and action 24 share token 22 action 1 and action 31 share token 23 action 1 and action 33 share token 24 action 1 and action 34 share token 25 action 1 and action 37 share token 26 action 2 and action 6 share token 27 action 2 and action 10 share token 28 action 2 and action 17 share token 29 action 2 and action 19 share token 30 action 2 and action 21 share token 31 action 2 and action 30 share token 32 action 2 and action 39 share token 33 action 2 and action 42 share token 34 action 3 and action 7 share token 35 action 3 and action 14 share token 36 action 3 and action 16 share token 37 action 3 and action 21 share token 38 action 3 and action 23 share token 39 action 3 and action 25 share token 40 action 3 and action 30 share token 41 action 3 and action 35 share token 42 action 3 and action 42 share token 43 action 4 and action 7 share token 44 action 4 and action 9 share token 45 action 4 and action 10 share token 46 action 4 and action 14 share token 47 action 4 and action 16 share token 48 action 4 and action 17 share token 49 action 4 and action 18 share token 50 action 4 and action 21 share token 51 action 4 and action 23 share token 52 action 4 and action 24 share token 53 action 4 and action 25 share token 54 action 4 and action 31 share token 55 action 4 and action 32 share token 56 action 4 and action 33 share token 57 action 4 and action 34 share token 58 action 5 and action 6 share token 59 action 5 and action 11 share token 60 action 5 and action 15 share token 61 action 5 and action 24 share token 62 action 5 and action 25 share token 63 action 5 and action 27 share token 64 action 5 and action 28 share token 65 action 5 and action 31 share token 66 action 5 and action 34 share token 67 action 5 and action 37 share token 68 action 5 and action 41 share token 69 action 5 and action 42 share token 70 action 6 and action 11 share token 71 action 6 and action 14 share token 72 action 6 and action 16 share token 73 action 6 and action 19 share token 74 action 6 and action 24 share token 75 action 6 and action 28 share token 76 action 6 and action 33 share token 77 action 6 and action 37 share token 78 action 6 and action 39 share token 79 action 7 and action 9 share token 80 action 7 and action 11 share token 81 action 7 and action 13 share token 82 action 7 and action 15 share token 83 action 7 and action 18 share token 84 action 7 and action 21 share token 85 action 7 and action 26 share token 86 action 7 and action 27 share token 87 action 7 and action 31 share token 88 action 7 and action 34 share token 89 action 7 and action 35 share token 90 action 8 and action 10 share token 91 action 8 and action 17 share token 92 action 8 and action 24 share token 93 action 8 and action 30 share token 94 action 8 and action 33 share token 95 action 8 and action 34 share token 96 action 8 and action 42 share token 97 action 9 and action 10 share token 98 action 9 and action 17 share token 99 action 9 and action 21 share token 100 action 9 and action 30 share token 101 action 9 and action 34 share token 102 action 9 and action 35 share token 103 action 9 and action 39 share token 104 action 10 and action 11 share token 105 action 10 and action 12 share token 106 action 10 and action 16 share token 107 action 10 and action 19 share token 108 action 10 and action 24 share token 109 action 10 and action 32 share token 110 action 10 and action 37 share token 111 action 10 and action 38 share token 112 action 10 and action 41 share token 113 action 11 and action 20 share token 114 action 11 and action 24 share token 115 action 11 and action 25 share token 116 action 11 and action 27 share token 117 action 11 and action 37 share token 118 action 11 and action 39 share token 119 action 11 and action 40 share token 120 action 12 and action 15 share token 121 action 12 and action 21 share token 122 action 12 and action 24 share token 123 action 12 and action 27 share token 124 action 12 and action 30 share token 125 action 12 and action 32 share token 126 action 12 and action 33 share token 127 action 12 and action 34 share token 128 action 12 and action 39 share token 129 action 13 and action 14 share token 130 action 13 and action 15 share token 131 action 13 and action 18 share token 132 action 13 and action 19 share token 133 action 13 and action 22 share token 134 action 13 and action 32 share token 135 action 13 and action 36 share token 136 action 13 and action 37 share token 137 action 13 and action 38 share token 138 action 13 and action 41 share token 139 action 14 and action 15 share token 140 action 14 and action 29 share token 141 action 14 and action 31 share token 142 action 14 and action 33 share token 143 action 14 and action 34 share token 144 action 14 and action 35 share token 145 action 14 and action 40 share token 146 action 14 and action 41 share token 147 action 15 and action 19 share token 148 action 15 and action 20 share token 149 action 15 and action 22 share token 150 action 15 and action 26 share token 151 action 15 and action 36 share token 152 action 15 and action 42 share token 153 action 16 and action 19 share token 154 action 16 and action 22 share token 155 action 16 and action 25 share token 156 action 16 and action 29 share token 157 action 16 and action 32 share token 158 action 16 and action 33 share token 159 action 16 and action 39 share token 160 action 17 and action 21 share token 161 action 17 and action 24 share token 162 action 17 and action 25 share token 163 action 17 and action 30 share token 164 action 17 and action 31 share token 165 action 17 and action 36 share token 166 action 17 and action 37 share token 167 action 17 and action 38 share token 168 action 18 and action 20 share token 169 action 18 and action 22 share token 170 action 18 and action 23 share token 171 action 18 and action 26 share token 172 action 18 and action 29 share token 173 action 18 and action 31 share token 174 action 18 and action 34 share token 175 action 18 and action 35 share token 176 action 18 and action 37 share token 177 action 18 and action 41 share token 178 action 18 and action 42 share token 179 action 19 and action 23 share token 180 action 19 and action 28 share token 181 action 19 and action 37 share token 182 action 19 and action 38 share token 183 action 20 and action 28 share token 184 action 20 and action 29 share token 185 action 20 and action 30 share token 186 action 20 and action 34 share token 187 action 20 and action 37 share token 188 action 20 and action 39 share token 189 action 21 and action 22 share token 190 action 21 and action 24 share token 191 action 21 and action 25 share token 192 action 21 and action 26 share token 193 action 21 and action 33 share token 194 action 21 and action 36 share token 195 action 21 and action 38 share token 196 action 21 and action 40 share token 197 action 21 and action 41 share token 198 action 22 and action 25 share token 199 action 22 and action 30 share token 200 action 22 and action 34 share token 201 action 22 and action 37 share token 202 action 22 and action 38 share token 203 action 22 and action 39 share token 204 action 22 and action 40 share token 205 action 22 and action 41 share token 206 action 22 and action 42 share token 207 action 23 and action 24 share token 208 action 23 and action 25 share token 209 action 23 and action 33 share token 210 action 23 and action 35 share token 211 action 23 and action 37 share token 212 action 23 and action 39 share token 213 action 24 and action 29 share token 214 action 24 and action 33 share token 215 action 24 and action 40 share token 216 action 25 and action 26 share token 217 action 25 and action 27 share token 218 action 25 and action 38 share token 219 action 26 and action 29 share token 220 action 26 and action 33 share token 221 action 26 and action 37 share token 222 action 26 and action 40 share token 223 action 27 and action 34 share token 224 action 28 and action 30 share token 225 action 28 and action 32 share token 226 action 28 and action 33 share token 227 action 28 and action 36 share token 228 action 28 and action 39 share token 229 action 29 and action 30 share token 230 action 29 and action 31 share token 231 action 29 and action 33 share token 232 action 29 and action 34 share token 233 action 29 and action 36 share token 234 action 30 and action 34 share token 235 action 30 and action 38 share token 236 action 30 and action 40 share token 237 action 30 and action 41 share token 238 action 31 and action 34 share token 239 action 31 and action 36 share token 240 action 31 and action 38 share token 241 action 31 and action 42 share token 242 action 32 and action 33 share token 243 action 32 and action 35 share token 244 action 32 and action 36 share token 245 action 32 and action 38 share token 246 action 32 and action 41 share token 247 action 33 and action 36 share token 248 action 33 and action 41 share token 249 action 33 and action 42 share token 250 action 34 and action 35 share token 251 action 34 and action 42 share token 252 action 35 and action 37 share token 253 action 35 and action 38 share token 254 action 35 and action 40 share token 255 action 36 and action 37 share token 256 action 36 and action 40 share token 257 action 37 and action 39 share token 258 action 38 and action 39 share token 259 action 38 and action 41 share token 260 action 38 and action 42 share token 261 action 41 and action 42 share token 262 ---------- [SUMMARY of Alg0] ---------- total number of action executions: 759 total number of messages sent: 9278 total amount of concurrency: 22660/430000 = 5% fairness in execution: 17/18 = 94% fairness in execution steps: 442/630 = 70% ---------- [SUMMARY of Alg1] ---------- action 0 executed 1 times action 1 executed 0 times action 2 executed 1 times action 3 executed 1 times action 4 executed 0 times action 5 executed 0 times action 6 executed 0 times action 7 executed 0 times action 8 executed 2 times action 9 executed 1 times action 10 executed 0 times action 11 executed 1 times action 12 executed 2 times action 13 executed 1 times action 14 executed 1 times action 15 executed 1 times action 16 executed 3 times action 17 executed 2 times action 18 executed 3 times action 19 executed 3 times action 20 executed 1 times action 21 executed 2 times action 22 executed 4 times action 23 executed 7 times action 24 executed 4 times action 25 executed 8 times action 26 executed 12 times action 27 executed 71 times action 28 executed 14 times action 29 executed 9 times action 30 executed 9 times action 31 executed 23 times action 32 executed 27 times action 33 executed 21 times action 34 executed 25 times action 35 executed 51 times action 36 executed 59 times action 37 executed 75 times action 38 executed 70 times action 39 executed 150 times action 40 executed 189 times action 41 executed 116 times action 42 executed 136 times total number of action executions: 1106 total number of messages sent: 2064 total amount of concurrency: 32452/430000 = 7% fairness in execution: 0/189 = 0% fairness in execution steps: 0/6431 = 0%