| Global frequency set at 1000000000000 ticks per second |
| Init done |
| [Iteration 1, Thread 1] Got lock |
| [Iteration 1, Thread 1] Critical section done, previously next=0, now next=1 |
| [Iteration 1, Thread 3] Got lock |
| [Iteration 1, Thread 3] Critical section done, previously next=1, now next=3 |
| [Iteration 1, Thread 2] Got lock |
| [Iteration 1, Thread 2] Critical section done, previously next=3, now next=2 |
| Iteration 1 completed |
| [Iteration 2, Thread 3] Got lock |
| [Iteration 2, Thread 3] Critical section done, previously next=0, now next=3 |
| [Iteration 2, Thread 2] Got lock |
| [Iteration 2, Thread 2] Critical section done, previously next=3, now next=2 |
| [Iteration 2, Thread 1] Got lock |
| [Iteration 2, Thread 1] Critical section done, previously next=2, now next=1 |
| Iteration 2 completed |
| [Iteration 3, Thread 2] Got lock |
| [Iteration 3, Thread 2] Critical section done, previously next=0, now next=2 |
| [Iteration 3, Thread 3] Got lock |
| [Iteration 3, Thread 3] Critical section done, previously next=2, now next=3 |
| [Iteration 3, Thread 1] Got lock |
| [Iteration 3, Thread 1] Critical section done, previously next=3, now next=1 |
| Iteration 3 completed |
| [Iteration 4, Thread 1] Got lock |
| [Iteration 4, Thread 1] Critical section done, previously next=0, now next=1 |
| [Iteration 4, Thread 3] Got lock |
| [Iteration 4, Thread 3] Critical section done, previously next=1, now next=3 |
| [Iteration 4, Thread 2] Got lock |
| [Iteration 4, Thread 2] Critical section done, previously next=3, now next=2 |
| Iteration 4 completed |
| [Iteration 5, Thread 1] Got lock |
| [Iteration 5, Thread 1] Critical section done, previously next=0, now next=1 |
| [Iteration 5, Thread 2] Got lock |
| [Iteration 5, Thread 2] Critical section done, previously next=1, now next=2 |
| [Iteration 5, Thread 3] Got lock |
| [Iteration 5, Thread 3] Critical section done, previously next=2, now next=3 |
| Iteration 5 completed |
| [Iteration 6, Thread 3] Got lock |
| [Iteration 6, Thread 3] Critical section done, previously next=0, now next=3 |
| [Iteration 6, Thread 2] Got lock |
| [Iteration 6, Thread 2] Critical section done, previously next=3, now next=2 |
| [Iteration 6, Thread 1] Got lock |
| [Iteration 6, Thread 1] Critical section done, previously next=2, now next=1 |
| Iteration 6 completed |
| [Iteration 7, Thread 3] Got lock |
| [Iteration 7, Thread 3] Critical section done, previously next=0, now next=3 |
| [Iteration 7, Thread 2] Got lock |
| [Iteration 7, Thread 2] Critical section done, previously next=3, now next=2 |
| [Iteration 7, Thread 1] Got lock |
| [Iteration 7, Thread 1] Critical section done, previously next=2, now next=1 |
| Iteration 7 completed |
| [Iteration 8, Thread 3] Got lock |
| [Iteration 8, Thread 3] Critical section done, previously next=0, now next=3 |
| [Iteration 8, Thread 2] Got lock |
| [Iteration 8, Thread 2] Critical section done, previously next=3, now next=2 |
| [Iteration 8, Thread 1] Got lock |
| [Iteration 8, Thread 1] Critical section done, previously next=2, now next=1 |
| Iteration 8 completed |
| [Iteration 9, Thread 1] Got lock |
| [Iteration 9, Thread 1] Critical section done, previously next=0, now next=1 |
| [Iteration 9, Thread 2] Got lock |
| [Iteration 9, Thread 2] Critical section done, previously next=1, now next=2 |
| [Iteration 9, Thread 3] Got lock |
| [Iteration 9, Thread 3] Critical section done, previously next=2, now next=3 |
| Iteration 9 completed |
| [Iteration 10, Thread 3] Got lock |
| [Iteration 10, Thread 3] Critical section done, previously next=0, now next=3 |
| [Iteration 10, Thread 2] Got lock |
| [Iteration 10, Thread 2] Critical section done, previously next=3, now next=2 |
| [Iteration 10, Thread 1] Got lock |
| [Iteration 10, Thread 1] Critical section done, previously next=2, now next=1 |
| Iteration 10 completed |
| PASSED :-) |