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

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

*** RACE *** 91 "benchmarks.instrumented.java15.util.AbstractList.modCount" 392 9 WRITE * 113 "benchmarks.instrumented.java15.util.AbstractList.modCount" 413 10 READ ***

*** RACE *** 120 "benchmarks.instrumented.java15.util.ArrayList.size" 546 10 READ * 96 "benchmarks.instrumented.java15.util.ArrayList.size" 399 9 WRITE ***

*** RACE *** 117 "benchmarks.instrumented.java15.util.AbstractList.modCount" 448 10 READ * 91 "benchmarks.instrumented.java15.util.AbstractList.modCount" 392 9 WRITE ***

*** RACE *** 113 "benchmarks.instrumented.java15.util.AbstractList.modCount" 413 10 READ * 91 "benchmarks.instrumented.java15.util.AbstractList.modCount" 392 9 WRITE ***

*** RACE *** 91 "benchmarks.instrumented.java15.util.AbstractList.modCount" 392 9 WRITE * 117 "benchmarks.instrumented.java15.util.AbstractList.modCount" 448 10 READ ***

*** RACE *** 116 "benchmarks.instrumented.java15.util.ArrayList.size" 181 10 READ * 96 "benchmarks.instrumented.java15.util.ArrayList.size" 399 9 WRITE ***

*** RACE *** 96 "benchmarks.instrumented.java15.util.ArrayList.size" 399 9 WRITE * 116 "benchmarks.instrumented.java15.util.ArrayList.size" 181 10 READ ***

*** RACE *** 96 "benchmarks.instrumented.java15.util.ArrayList.size" 399 9 WRITE * 120 "benchmarks.instrumented.java15.util.ArrayList.size" 546 10 READ ***

*** ASV --- 91 "benchmarks.instrumented.java15.util.AbstractList.modCount" 392 9 WRITE * 117 "benchmarks.instrumented.java15.util.AbstractList.modCount" 448 10 READ * 120 "benchmarks.instrumented.java15.util.ArrayList.size" 546 10 READ * 96 "benchmarks.instrumented.java15.util.ArrayList.size" 399 9 WRITE ***

*** ASV --- 91 "benchmarks.instrumented.java15.util.AbstractList.modCount" 392 9 WRITE * 116 "benchmarks.instrumented.java15.util.ArrayList.size" 181 10 READ * 117 "benchmarks.instrumented.java15.util.AbstractList.modCount" 448 10 READ * 96 "benchmarks.instrumented.java15.util.ArrayList.size" 399 9 WRITE ***

*** ASV --- 91 "benchmarks.instrumented.java15.util.AbstractList.modCount" 392 9 WRITE * 113 "benchmarks.instrumented.java15.util.AbstractList.modCount" 413 10 READ * 120 "benchmarks.instrumented.java15.util.ArrayList.size" 546 10 READ * 96 "benchmarks.instrumented.java15.util.ArrayList.size" 399 9 WRITE ***

*** ASV --- 91 "benchmarks.instrumented.java15.util.AbstractList.modCount" 392 9 WRITE * 113 "benchmarks.instrumented.java15.util.AbstractList.modCount" 413 10 READ * 116 "benchmarks.instrumented.java15.util.ArrayList.size" 181 10 READ * 96 "benchmarks.instrumented.java15.util.ArrayList.size" 399 9 WRITE ***

*** AV-I --- 116 "benchmarks.instrumented.java15.util.ArrayList.size" 181 10 READ * 96 "benchmarks.instrumented.java15.util.ArrayList.size" 399 9 WRITE * 120 "benchmarks.instrumented.java15.util.ArrayList.size" 546 10 READ ***

*** AV-I --- 113 "benchmarks.instrumented.java15.util.AbstractList.modCount" 413 10 READ * 91 "benchmarks.instrumented.java15.util.AbstractList.modCount" 392 9 WRITE * 117 "benchmarks.instrumented.java15.util.AbstractList.modCount" 448 10 READ ***

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

Number of Threads: 3
Number of Shared Variables: 5
Number of Lock Nodes: 20
Number of Message Nodes: 7
Number of Non-Method Entry/Exit Nodes: 135
Number of Read/Write Nodes: 108
Number of Total Nodes: 307

Number of Races: 8
Number of Atomicity Violations: 2
Number of ASVs: 4