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

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

*** RACE *** 9809 "benchmarks.raytracer.JGFRayTracerBench.checksum1" 176 9 READ * 9026 "benchmarks.raytracer.JGFRayTracerBench.checksum1" 205 1 WRITE ***

*** RACE *** 9019 "benchmarks.raytracer.JGFRayTracerBench.checksum1" 205 1 READ * 9811 "benchmarks.raytracer.JGFRayTracerBench.checksum1" 176 9 WRITE ***

*** AV-I --- 9019 "benchmarks.raytracer.JGFRayTracerBench.checksum1" 205 1 READ * 9811 "benchmarks.raytracer.JGFRayTracerBench.checksum1" 176 9 WRITE * 9026 "benchmarks.raytracer.JGFRayTracerBench.checksum1" 205 1 WRITE ***

*** AV-I --- 9809 "benchmarks.raytracer.JGFRayTracerBench.checksum1" 176 9 READ * 9026 "benchmarks.raytracer.JGFRayTracerBench.checksum1" 205 1 WRITE * 9811 "benchmarks.raytracer.JGFRayTracerBench.checksum1" 176 9 WRITE ***

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

Number of Threads: 2
Number of Shared Variables: 399
Number of Lock Nodes: 40
Number of Message Nodes: 5
Number of Non-Method Entry/Exit Nodes: 9864
Number of Read/Write Nodes: 9819
Number of Total Nodes: 15140

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