*** Violation Patterns [ID - Memory Location - Line Number - Thread - Access Type] ***

--------------------------------------

*** RACE --- "benchmarks.moldyn.TournamentBarrier.IsDone" --- 15359 76 1 WRITE * 11456 76 9 WRITE ***

*** RACE --- "benchmarks.moldyn.TournamentBarrier.IsDone" --- 15359 76 1 WRITE * 11458 78 9 READ ***

*** RACE --- "benchmarks.moldyn.TournamentBarrier.IsDone" --- 15359 76 1 WRITE * 11454 58 9 READ ***

*** RACE --- "benchmarks.moldyn.TournamentBarrier.IsDone" --- 15357 65 1 READ * 11456 76 9 WRITE ***


-------------------------------------

Number of Threads: 2
Number of Shared Variables: 11
Number of Lock Nodes: 22
Number of Message Nodes: 4
Number of Non-Method Entry/Exit Nodes: 133046
Number of Read/Write Nodes: 133020
Number of Total Nodes: 136426

Number of Races: 4
Number of Atomicity Violations: 0
Number of ASVs: 0