org.openjdk.jcstress.tests.seqcst.volatiles.L1_L1__L1_S1__S1_S1_Test

null

JVM options: [-client, -XX:-TieredCompilation] Iterations: 5 Time: 200

Observed state Occurrence Expectation Interpretation
0, 0, 0, 2 4920 ACCEPTABLE Sequential consistency.
0, 0, 0, 3 20161 ACCEPTABLE Sequential consistency.
0, 0, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 3 4 ACCEPTABLE Sequential consistency.
0, 0, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 0, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 0, 2 19151 ACCEPTABLE Sequential consistency.
0, 3, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 3, 2 64 ACCEPTABLE Sequential consistency.
1, 0, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 0, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 1, 2 20 ACCEPTABLE Sequential consistency.
1, 1, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 3, 1, 2 49 ACCEPTABLE Sequential consistency.
1, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 3, 2 3 ACCEPTABLE Sequential consistency.
2, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 2 894 ACCEPTABLE Sequential consistency.
2, 0, 2, 3 376 ACCEPTABLE Sequential consistency.
2, 0, 3, 3 10 ACCEPTABLE Sequential consistency.
2, 1, 2, 2 14 ACCEPTABLE Sequential consistency.
2, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
2, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 3, 2, 2 25922 ACCEPTABLE Sequential consistency.
3, 0, 2, 2 147 ACCEPTABLE Sequential consistency.
3, 0, 3, 2 165 ACCEPTABLE Sequential consistency.
3, 0, 3, 3 3630 ACCEPTABLE Sequential consistency.
3, 1, 2, 2 1 ACCEPTABLE Sequential consistency.
3, 1, 3, 2 21 ACCEPTABLE Sequential consistency.
3, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
3, 3, 2, 2 326 ACCEPTABLE Sequential consistency.
3, 3, 3, 2 17172 ACCEPTABLE Sequential consistency.

JVM options: [-server, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200

Observed state Occurrence Expectation Interpretation
0, 0, 0, 2 133634 ACCEPTABLE Sequential consistency.
0, 0, 0, 3 182074 ACCEPTABLE Sequential consistency.
0, 0, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 2 2556 ACCEPTABLE Sequential consistency.
0, 0, 2, 3 270 ACCEPTABLE Sequential consistency.
0, 0, 3, 2 173 ACCEPTABLE Sequential consistency.
0, 0, 3, 3 121 ACCEPTABLE Sequential consistency.
0, 1, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 0, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 0, 2 297233 ACCEPTABLE Sequential consistency.
0, 3, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 2, 2 1 ACCEPTABLE Sequential consistency.
0, 3, 3, 2 7324 ACCEPTABLE Sequential consistency.
1, 0, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 3 1 ACCEPTABLE Sequential consistency.
1, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 0, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 1, 2 126 ACCEPTABLE Sequential consistency.
1, 1, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 2, 2 3 ACCEPTABLE Sequential consistency.
1, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 3, 2 8 ACCEPTABLE Sequential consistency.
1, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 3, 1, 2 1151 ACCEPTABLE Sequential consistency.
1, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 3, 2 4 ACCEPTABLE Sequential consistency.
2, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 2 72883 ACCEPTABLE Sequential consistency.
2, 0, 2, 3 26422 ACCEPTABLE Sequential consistency.
2, 0, 3, 3 54 ACCEPTABLE Sequential consistency.
2, 1, 2, 2 1048 ACCEPTABLE Sequential consistency.
2, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
2, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 3, 2, 2 65553 ACCEPTABLE Sequential consistency.
3, 0, 2, 2 54 ACCEPTABLE Sequential consistency.
3, 0, 3, 2 3443 ACCEPTABLE Sequential consistency.
3, 0, 3, 3 28805 ACCEPTABLE Sequential consistency.
3, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 1, 3, 2 1030 ACCEPTABLE Sequential consistency.
3, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
3, 3, 2, 2 3954 ACCEPTABLE Sequential consistency.
3, 3, 3, 2 127135 ACCEPTABLE Sequential consistency.

JVM options: [-Xint] Iterations: 5 Time: 200

Observed state Occurrence Expectation Interpretation
0, 0, 0, 2 9 ACCEPTABLE Sequential consistency.
0, 0, 0, 3 41 ACCEPTABLE Sequential consistency.
0, 0, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 3 0 ACCEPTABLE Sequential consistency.
0, 0, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 0, 2 5 ACCEPTABLE Sequential consistency.
0, 1, 0, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 0, 2 30 ACCEPTABLE Sequential consistency.
0, 3, 1, 2 5 ACCEPTABLE Sequential consistency.
0, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 3 1 ACCEPTABLE Sequential consistency.
1, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 0, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 3, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 3, 2 1 ACCEPTABLE Sequential consistency.
2, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 2 3 ACCEPTABLE Sequential consistency.
2, 0, 2, 3 30 ACCEPTABLE Sequential consistency.
2, 0, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
2, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
2, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 3, 2, 2 8 ACCEPTABLE Sequential consistency.
3, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 0, 3, 2 0 ACCEPTABLE Sequential consistency.
3, 0, 3, 3 36 ACCEPTABLE Sequential consistency.
3, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
3, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
3, 3, 2, 2 1 ACCEPTABLE Sequential consistency.
3, 3, 3, 2 20 ACCEPTABLE Sequential consistency.

JVM options: [-server, -XX:-TieredCompilation] Iterations: 5 Time: 200

Observed state Occurrence Expectation Interpretation
0, 0, 0, 2 799 ACCEPTABLE Sequential consistency.
0, 0, 0, 3 9411 ACCEPTABLE Sequential consistency.
0, 0, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 3 12 ACCEPTABLE Sequential consistency.
0, 0, 3, 2 2 ACCEPTABLE Sequential consistency.
0, 0, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 0, 2 1 ACCEPTABLE Sequential consistency.
0, 1, 0, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 0, 2 416725 ACCEPTABLE Sequential consistency.
0, 3, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 3, 2 170 ACCEPTABLE Sequential consistency.
1, 0, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 0, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 1, 2 2 ACCEPTABLE Sequential consistency.
1, 1, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 3, 1, 2 1027 ACCEPTABLE Sequential consistency.
1, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 3, 2 32 ACCEPTABLE Sequential consistency.
2, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 2 75 ACCEPTABLE Sequential consistency.
2, 0, 2, 3 9270 ACCEPTABLE Sequential consistency.
2, 0, 3, 3 92 ACCEPTABLE Sequential consistency.
2, 1, 2, 2 2 ACCEPTABLE Sequential consistency.
2, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
2, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 3, 2, 2 2387 ACCEPTABLE Sequential consistency.
3, 0, 2, 2 5 ACCEPTABLE Sequential consistency.
3, 0, 3, 2 48 ACCEPTABLE Sequential consistency.
3, 0, 3, 3 683 ACCEPTABLE Sequential consistency.
3, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 1, 3, 2 13 ACCEPTABLE Sequential consistency.
3, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
3, 3, 2, 2 34 ACCEPTABLE Sequential consistency.
3, 3, 3, 2 42800 ACCEPTABLE Sequential consistency.

JVM options: [-server] Iterations: 5 Time: 200

Observed state Occurrence Expectation Interpretation
0, 0, 0, 2 190666 ACCEPTABLE Sequential consistency.
0, 0, 0, 3 251872 ACCEPTABLE Sequential consistency.
0, 0, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 2 8997 ACCEPTABLE Sequential consistency.
0, 0, 2, 3 898 ACCEPTABLE Sequential consistency.
0, 0, 3, 2 151 ACCEPTABLE Sequential consistency.
0, 0, 3, 3 2018 ACCEPTABLE Sequential consistency.
0, 1, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 0, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 0, 2 507920 ACCEPTABLE Sequential consistency.
0, 3, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 2, 2 5 ACCEPTABLE Sequential consistency.
0, 3, 3, 2 18742 ACCEPTABLE Sequential consistency.
1, 0, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 0, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 1, 2 100 ACCEPTABLE Sequential consistency.
1, 1, 1, 3 1 ACCEPTABLE Sequential consistency.
1, 1, 2, 2 2 ACCEPTABLE Sequential consistency.
1, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 3, 2 17 ACCEPTABLE Sequential consistency.
1, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 3, 1, 2 639 ACCEPTABLE Sequential consistency.
1, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 3, 2 1 ACCEPTABLE Sequential consistency.
2, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 2 7006 ACCEPTABLE Sequential consistency.
2, 0, 2, 3 7611 ACCEPTABLE Sequential consistency.
2, 0, 3, 3 1070 ACCEPTABLE Sequential consistency.
2, 1, 2, 2 178 ACCEPTABLE Sequential consistency.
2, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
2, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 3, 2, 2 9674 ACCEPTABLE Sequential consistency.
3, 0, 2, 2 185 ACCEPTABLE Sequential consistency.
3, 0, 3, 2 8414 ACCEPTABLE Sequential consistency.
3, 0, 3, 3 9052 ACCEPTABLE Sequential consistency.
3, 1, 2, 2 1 ACCEPTABLE Sequential consistency.
3, 1, 3, 2 2305 ACCEPTABLE Sequential consistency.
3, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
3, 3, 2, 2 21698 ACCEPTABLE Sequential consistency.
3, 3, 3, 2 231277 ACCEPTABLE Sequential consistency.

JVM options: [-server, -XX:-TieredCompilation, -XX:+UnlockDiagnosticVMOptions, -XX:+StressLCM, -XX:+StressGCM] Iterations: 5 Time: 200

Observed state Occurrence Expectation Interpretation
0, 0, 0, 2 11082 ACCEPTABLE Sequential consistency.
0, 0, 0, 3 306923 ACCEPTABLE Sequential consistency.
0, 0, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 3 25 ACCEPTABLE Sequential consistency.
0, 0, 3, 2 4 ACCEPTABLE Sequential consistency.
0, 0, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 0, 2 3 ACCEPTABLE Sequential consistency.
0, 1, 0, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 0, 2 388122 ACCEPTABLE Sequential consistency.
0, 3, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 3, 2 392 ACCEPTABLE Sequential consistency.
1, 0, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 0, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 1, 2 16 ACCEPTABLE Sequential consistency.
1, 1, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 3, 1, 2 272 ACCEPTABLE Sequential consistency.
1, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 3, 2 53 ACCEPTABLE Sequential consistency.
2, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 2 1545 ACCEPTABLE Sequential consistency.
2, 0, 2, 3 3728 ACCEPTABLE Sequential consistency.
2, 0, 3, 3 15 ACCEPTABLE Sequential consistency.
2, 1, 2, 2 110 ACCEPTABLE Sequential consistency.
2, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
2, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 3, 2, 2 28567 ACCEPTABLE Sequential consistency.
3, 0, 2, 2 9 ACCEPTABLE Sequential consistency.
3, 0, 3, 2 72 ACCEPTABLE Sequential consistency.
3, 0, 3, 3 13955 ACCEPTABLE Sequential consistency.
3, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 1, 3, 2 11 ACCEPTABLE Sequential consistency.
3, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
3, 3, 2, 2 20 ACCEPTABLE Sequential consistency.
3, 3, 3, 2 83186 ACCEPTABLE Sequential consistency.

JVM options: [-client] Iterations: 5 Time: 200

Observed state Occurrence Expectation Interpretation
0, 0, 0, 2 31767 ACCEPTABLE Sequential consistency.
0, 0, 0, 3 66553 ACCEPTABLE Sequential consistency.
0, 0, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 2 236 ACCEPTABLE Sequential consistency.
0, 0, 2, 3 36 ACCEPTABLE Sequential consistency.
0, 0, 3, 2 15 ACCEPTABLE Sequential consistency.
0, 0, 3, 3 28 ACCEPTABLE Sequential consistency.
0, 1, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 0, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 0, 2 371938 ACCEPTABLE Sequential consistency.
0, 3, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 2, 2 2 ACCEPTABLE Sequential consistency.
0, 3, 3, 2 1203 ACCEPTABLE Sequential consistency.
1, 0, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 0, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 1, 2 68 ACCEPTABLE Sequential consistency.
1, 1, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 3, 2 3 ACCEPTABLE Sequential consistency.
1, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 3, 1, 2 1276 ACCEPTABLE Sequential consistency.
1, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 3, 2 163 ACCEPTABLE Sequential consistency.
2, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 2 8239 ACCEPTABLE Sequential consistency.
2, 0, 2, 3 3883 ACCEPTABLE Sequential consistency.
2, 0, 3, 3 22 ACCEPTABLE Sequential consistency.
2, 1, 2, 2 257 ACCEPTABLE Sequential consistency.
2, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
2, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 3, 2, 2 11229 ACCEPTABLE Sequential consistency.
3, 0, 2, 2 11 ACCEPTABLE Sequential consistency.
3, 0, 3, 2 825 ACCEPTABLE Sequential consistency.
3, 0, 3, 3 12761 ACCEPTABLE Sequential consistency.
3, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 1, 3, 2 138 ACCEPTABLE Sequential consistency.
3, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
3, 3, 2, 2 438 ACCEPTABLE Sequential consistency.
3, 3, 3, 2 40179 ACCEPTABLE Sequential consistency.

JVM options: [-XX:TieredStopAtLevel=1] Iterations: 5 Time: 200

Observed state Occurrence Expectation Interpretation
0, 0, 0, 2 23379 ACCEPTABLE Sequential consistency.
0, 0, 0, 3 23310 ACCEPTABLE Sequential consistency.
0, 0, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 0, 2, 2 7616 ACCEPTABLE Sequential consistency.
0, 0, 2, 3 380 ACCEPTABLE Sequential consistency.
0, 0, 3, 2 154 ACCEPTABLE Sequential consistency.
0, 0, 3, 3 1339 ACCEPTABLE Sequential consistency.
0, 1, 0, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 0, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 0, 2 183764 ACCEPTABLE Sequential consistency.
0, 3, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 2, 2 8 ACCEPTABLE Sequential consistency.
0, 3, 3, 2 30735 ACCEPTABLE Sequential consistency.
1, 0, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 0, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 0, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 1, 2 45 ACCEPTABLE Sequential consistency.
1, 1, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 2, 2 9 ACCEPTABLE Sequential consistency.
1, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 3, 2 86 ACCEPTABLE Sequential consistency.
1, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 3, 1, 2 227 ACCEPTABLE Sequential consistency.
1, 3, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 3, 2 3 ACCEPTABLE Sequential consistency.
2, 0, 1, 3 0 ACCEPTABLE Sequential consistency.
2, 0, 2, 2 4781 ACCEPTABLE Sequential consistency.
2, 0, 2, 3 2927 ACCEPTABLE Sequential consistency.
2, 0, 3, 3 33 ACCEPTABLE Sequential consistency.
2, 1, 2, 2 147 ACCEPTABLE Sequential consistency.
2, 1, 2, 3 0 ACCEPTABLE Sequential consistency.
2, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 3, 2, 2 15773 ACCEPTABLE Sequential consistency.
3, 0, 2, 2 3 ACCEPTABLE Sequential consistency.
3, 0, 3, 2 3579 ACCEPTABLE Sequential consistency.
3, 0, 3, 3 4732 ACCEPTABLE Sequential consistency.
3, 1, 2, 2 2 ACCEPTABLE Sequential consistency.
3, 1, 3, 2 2250 ACCEPTABLE Sequential consistency.
3, 1, 3, 3 0 ACCEPTABLE Sequential consistency.
3, 3, 2, 2 26392 ACCEPTABLE Sequential consistency.
3, 3, 3, 2 826606 ACCEPTABLE Sequential consistency.