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

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

*** RACE *** 146 "benchmarks.instrumented.java15.util.LinkedList.size" 651 9 WRITE * 166 "benchmarks.instrumented.java15.util.LinkedList.size" 74 10 READ ***

*** RACE *** 164 "benchmarks.instrumented.java15.util.AbstractList.modCount" 530 10 READ * 148 "benchmarks.instrumented.java15.util.AbstractList.modCount" 652 9 WRITE ***

*** RACE *** 148 "benchmarks.instrumented.java15.util.AbstractList.modCount" 652 9 WRITE * 164 "benchmarks.instrumented.java15.util.AbstractList.modCount" 530 10 READ ***

*** RACE *** 148 "benchmarks.instrumented.java15.util.AbstractList.modCount" 652 9 WRITE * 180 "benchmarks.instrumented.java15.util.AbstractList.modCount" 616 10 READ ***

*** RACE *** 138 "benchmarks.instrumented.java15.util.LinkedList$Entry.next" 647 9 WRITE * 187 "benchmarks.instrumented.java15.util.LinkedList$Entry.next" 557 10 READ ***

*** RACE *** 180 "benchmarks.instrumented.java15.util.AbstractList.modCount" 616 10 READ * 148 "benchmarks.instrumented.java15.util.AbstractList.modCount" 652 9 WRITE ***

*** RACE *** 187 "benchmarks.instrumented.java15.util.LinkedList$Entry.next" 557 10 READ * 138 "benchmarks.instrumented.java15.util.LinkedList$Entry.next" 647 9 WRITE ***

*** RACE *** 141 "benchmarks.instrumented.java15.util.LinkedList$Entry.previous" 648 9 WRITE * 173 "benchmarks.instrumented.java15.util.LinkedList$Entry.previous" 543 10 READ ***

*** RACE *** 166 "benchmarks.instrumented.java15.util.LinkedList.size" 74 10 READ * 146 "benchmarks.instrumented.java15.util.LinkedList.size" 651 9 WRITE ***

*** RACE *** 173 "benchmarks.instrumented.java15.util.LinkedList$Entry.previous" 543 10 READ * 141 "benchmarks.instrumented.java15.util.LinkedList$Entry.previous" 648 9 WRITE ***

*** AV-I --- 164 "benchmarks.instrumented.java15.util.AbstractList.modCount" 530 10 READ * 148 "benchmarks.instrumented.java15.util.AbstractList.modCount" 652 9 WRITE * 180 "benchmarks.instrumented.java15.util.AbstractList.modCount" 616 10 READ ***

*** AV-I --- 166 "benchmarks.instrumented.java15.util.LinkedList.size" 74 10 READ * 146 "benchmarks.instrumented.java15.util.LinkedList.size" 651 9 WRITE * 183 "benchmarks.instrumented.java15.util.LinkedList.size" 74 10 READ ***

*** ASV --- 146 "benchmarks.instrumented.java15.util.LinkedList.size" 651 9 WRITE * 164 "benchmarks.instrumented.java15.util.AbstractList.modCount" 530 10 READ * 166 "benchmarks.instrumented.java15.util.LinkedList.size" 74 10 READ * 148 "benchmarks.instrumented.java15.util.AbstractList.modCount" 652 9 WRITE ***

*** ASV --- 146 "benchmarks.instrumented.java15.util.LinkedList.size" 651 9 WRITE * 166 "benchmarks.instrumented.java15.util.LinkedList.size" 74 10 READ * 180 "benchmarks.instrumented.java15.util.AbstractList.modCount" 616 10 READ * 148 "benchmarks.instrumented.java15.util.AbstractList.modCount" 652 9 WRITE ***

*** ASV --- 146 "benchmarks.instrumented.java15.util.LinkedList.size" 651 9 WRITE * 180 "benchmarks.instrumented.java15.util.AbstractList.modCount" 616 10 READ * 183 "benchmarks.instrumented.java15.util.LinkedList.size" 74 10 READ * 148 "benchmarks.instrumented.java15.util.AbstractList.modCount" 652 9 WRITE ***

*** ASV --- 141 "benchmarks.instrumented.java15.util.LinkedList$Entry.previous" 648 9 WRITE * 164 "benchmarks.instrumented.java15.util.AbstractList.modCount" 530 10 READ * 173 "benchmarks.instrumented.java15.util.LinkedList$Entry.previous" 543 10 READ * 148 "benchmarks.instrumented.java15.util.AbstractList.modCount" 652 9 WRITE ***

*** ASV --- 141 "benchmarks.instrumented.java15.util.LinkedList$Entry.previous" 648 9 WRITE * 173 "benchmarks.instrumented.java15.util.LinkedList$Entry.previous" 543 10 READ * 180 "benchmarks.instrumented.java15.util.AbstractList.modCount" 616 10 READ * 148 "benchmarks.instrumented.java15.util.AbstractList.modCount" 652 9 WRITE ***

*** ASV --- 138 "benchmarks.instrumented.java15.util.LinkedList$Entry.next" 647 9 WRITE * 164 "benchmarks.instrumented.java15.util.AbstractList.modCount" 530 10 READ * 187 "benchmarks.instrumented.java15.util.LinkedList$Entry.next" 557 10 READ * 148 "benchmarks.instrumented.java15.util.AbstractList.modCount" 652 9 WRITE ***

*** ASV --- 138 "benchmarks.instrumented.java15.util.LinkedList$Entry.next" 647 9 WRITE * 180 "benchmarks.instrumented.java15.util.AbstractList.modCount" 616 10 READ * 187 "benchmarks.instrumented.java15.util.LinkedList$Entry.next" 557 10 READ * 148 "benchmarks.instrumented.java15.util.AbstractList.modCount" 652 9 WRITE ***

*** ASV --- 141 "benchmarks.instrumented.java15.util.LinkedList$Entry.previous" 648 9 WRITE * 166 "benchmarks.instrumented.java15.util.LinkedList.size" 74 10 READ * 173 "benchmarks.instrumented.java15.util.LinkedList$Entry.previous" 543 10 READ * 146 "benchmarks.instrumented.java15.util.LinkedList.size" 651 9 WRITE ***

*** ASV --- 141 "benchmarks.instrumented.java15.util.LinkedList$Entry.previous" 648 9 WRITE * 173 "benchmarks.instrumented.java15.util.LinkedList$Entry.previous" 543 10 READ * 179 "benchmarks.instrumented.java15.util.LinkedList.size" 74 10 READ * 146 "benchmarks.instrumented.java15.util.LinkedList.size" 651 9 WRITE ***

*** ASV --- 138 "benchmarks.instrumented.java15.util.LinkedList$Entry.next" 647 9 WRITE * 166 "benchmarks.instrumented.java15.util.LinkedList.size" 74 10 READ * 187 "benchmarks.instrumented.java15.util.LinkedList$Entry.next" 557 10 READ * 146 "benchmarks.instrumented.java15.util.LinkedList.size" 651 9 WRITE ***

*** ASV --- 138 "benchmarks.instrumented.java15.util.LinkedList$Entry.next" 647 9 WRITE * 173 "benchmarks.instrumented.java15.util.LinkedList$Entry.previous" 543 10 READ * 187 "benchmarks.instrumented.java15.util.LinkedList$Entry.next" 557 10 READ * 141 "benchmarks.instrumented.java15.util.LinkedList$Entry.previous" 648 9 WRITE ***

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

Number of Threads: 3
Number of Shared Variables: 15
Number of Lock Nodes: 20
Number of Message Nodes: 7
Number of Non-Method Entry/Exit Nodes: 203
Number of Read/Write Nodes: 176
Number of Total Nodes: 403

Number of Races: 10
Number of Atomicity Violations: 2
Number of ASVs: 11