org.openjdk.jcstress.tests.seqcst.sync.L1_L1__S1__S1__S1_S1_Test

null

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

Observed state Occurrence Expectation Interpretation
0, 0, 2 24916 ACCEPTABLE Sequential consistency.
0, 0, 3 10606 ACCEPTABLE Sequential consistency.
0, 0, 4 12955 ACCEPTABLE Sequential consistency.
0, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 4 0 ACCEPTABLE Sequential consistency.
0, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 2, 3 0 ACCEPTABLE Sequential consistency.
0, 2, 4 0 ACCEPTABLE Sequential consistency.
0, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 4 0 ACCEPTABLE Sequential consistency.
0, 4, 2 0 ACCEPTABLE Sequential consistency.
0, 4, 3 0 ACCEPTABLE Sequential consistency.
0, 4, 4 0 ACCEPTABLE Sequential consistency.
1, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 4 0 ACCEPTABLE Sequential consistency.
1, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 2, 4 0 ACCEPTABLE Sequential consistency.
1, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 3, 4 0 ACCEPTABLE Sequential consistency.
1, 4, 2 0 ACCEPTABLE Sequential consistency.
1, 4, 3 0 ACCEPTABLE Sequential consistency.
1, 4, 4 0 ACCEPTABLE Sequential consistency.
2, 2, 2 9214 ACCEPTABLE Sequential consistency.
2, 2, 3 15620 ACCEPTABLE Sequential consistency.
2, 2, 4 15935 ACCEPTABLE Sequential consistency.
2, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 3, 4 0 ACCEPTABLE Sequential consistency.
2, 4, 3 0 ACCEPTABLE Sequential consistency.
2, 4, 4 0 ACCEPTABLE Sequential consistency.
3, 1, 2 0 ACCEPTABLE Sequential consistency.
3, 1, 4 0 ACCEPTABLE Sequential consistency.
3, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 2, 4 0 ACCEPTABLE Sequential consistency.
3, 3, 2 6097 ACCEPTABLE Sequential consistency.
3, 3, 3 12923 ACCEPTABLE Sequential consistency.
3, 3, 4 8705 ACCEPTABLE Sequential consistency.
3, 4, 2 0 ACCEPTABLE Sequential consistency.
3, 4, 4 0 ACCEPTABLE Sequential consistency.
4, 1, 2 0 ACCEPTABLE Sequential consistency.
4, 1, 3 0 ACCEPTABLE Sequential consistency.
4, 2, 2 0 ACCEPTABLE Sequential consistency.
4, 2, 3 0 ACCEPTABLE Sequential consistency.
4, 3, 2 0 ACCEPTABLE Sequential consistency.
4, 3, 3 0 ACCEPTABLE Sequential consistency.
4, 4, 2 6872 ACCEPTABLE Sequential consistency.
4, 4, 3 7256 ACCEPTABLE Sequential consistency.
4, 4, 4 15921 ACCEPTABLE Sequential consistency.

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

Observed state Occurrence Expectation Interpretation
0, 0, 2 9066 ACCEPTABLE Sequential consistency.
0, 0, 3 11727 ACCEPTABLE Sequential consistency.
0, 0, 4 12836 ACCEPTABLE Sequential consistency.
0, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 4 0 ACCEPTABLE Sequential consistency.
0, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 2, 3 0 ACCEPTABLE Sequential consistency.
0, 2, 4 0 ACCEPTABLE Sequential consistency.
0, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 4 0 ACCEPTABLE Sequential consistency.
0, 4, 2 0 ACCEPTABLE Sequential consistency.
0, 4, 3 0 ACCEPTABLE Sequential consistency.
0, 4, 4 0 ACCEPTABLE Sequential consistency.
1, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 4 0 ACCEPTABLE Sequential consistency.
1, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 2, 4 0 ACCEPTABLE Sequential consistency.
1, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 3, 4 0 ACCEPTABLE Sequential consistency.
1, 4, 2 0 ACCEPTABLE Sequential consistency.
1, 4, 3 0 ACCEPTABLE Sequential consistency.
1, 4, 4 0 ACCEPTABLE Sequential consistency.
2, 2, 2 2620 ACCEPTABLE Sequential consistency.
2, 2, 3 4421 ACCEPTABLE Sequential consistency.
2, 2, 4 4892 ACCEPTABLE Sequential consistency.
2, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 3, 4 0 ACCEPTABLE Sequential consistency.
2, 4, 3 0 ACCEPTABLE Sequential consistency.
2, 4, 4 0 ACCEPTABLE Sequential consistency.
3, 1, 2 0 ACCEPTABLE Sequential consistency.
3, 1, 4 0 ACCEPTABLE Sequential consistency.
3, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 2, 4 0 ACCEPTABLE Sequential consistency.
3, 3, 2 2467 ACCEPTABLE Sequential consistency.
3, 3, 3 2615 ACCEPTABLE Sequential consistency.
3, 3, 4 1733 ACCEPTABLE Sequential consistency.
3, 4, 2 0 ACCEPTABLE Sequential consistency.
3, 4, 4 0 ACCEPTABLE Sequential consistency.
4, 1, 2 0 ACCEPTABLE Sequential consistency.
4, 1, 3 0 ACCEPTABLE Sequential consistency.
4, 2, 2 0 ACCEPTABLE Sequential consistency.
4, 2, 3 0 ACCEPTABLE Sequential consistency.
4, 3, 2 0 ACCEPTABLE Sequential consistency.
4, 3, 3 0 ACCEPTABLE Sequential consistency.
4, 4, 2 2185 ACCEPTABLE Sequential consistency.
4, 4, 3 1322 ACCEPTABLE Sequential consistency.
4, 4, 4 2956 ACCEPTABLE Sequential consistency.

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

Observed state Occurrence Expectation Interpretation
0, 0, 2 1189 ACCEPTABLE Sequential consistency.
0, 0, 3 2145 ACCEPTABLE Sequential consistency.
0, 0, 4 2098 ACCEPTABLE Sequential consistency.
0, 1, 2 292 ACCEPTABLE Sequential consistency.
0, 1, 3 467 ACCEPTABLE Sequential consistency.
0, 1, 4 487 ACCEPTABLE Sequential consistency.
0, 2, 2 366 ACCEPTABLE Sequential consistency.
0, 2, 3 52 ACCEPTABLE Sequential consistency.
0, 2, 4 124 ACCEPTABLE Sequential consistency.
0, 3, 2 613 ACCEPTABLE Sequential consistency.
0, 3, 3 27 ACCEPTABLE Sequential consistency.
0, 3, 4 249 ACCEPTABLE Sequential consistency.
0, 4, 2 810 ACCEPTABLE Sequential consistency.
0, 4, 3 450 ACCEPTABLE Sequential consistency.
0, 4, 4 109 ACCEPTABLE Sequential consistency.
1, 1, 2 6 ACCEPTABLE Sequential consistency.
1, 1, 3 1 ACCEPTABLE Sequential consistency.
1, 1, 4 2 ACCEPTABLE Sequential consistency.
1, 2, 2 7490 ACCEPTABLE Sequential consistency.
1, 2, 3 418 ACCEPTABLE Sequential consistency.
1, 2, 4 422 ACCEPTABLE Sequential consistency.
1, 3, 2 59 ACCEPTABLE Sequential consistency.
1, 3, 3 63 ACCEPTABLE Sequential consistency.
1, 3, 4 131 ACCEPTABLE Sequential consistency.
1, 4, 2 81 ACCEPTABLE Sequential consistency.
1, 4, 3 125 ACCEPTABLE Sequential consistency.
1, 4, 4 70 ACCEPTABLE Sequential consistency.
2, 2, 2 15340 ACCEPTABLE Sequential consistency.
2, 2, 3 4266 ACCEPTABLE Sequential consistency.
2, 2, 4 4950 ACCEPTABLE Sequential consistency.
2, 3, 3 134 ACCEPTABLE Sequential consistency.
2, 3, 4 60 ACCEPTABLE Sequential consistency.
2, 4, 3 45 ACCEPTABLE Sequential consistency.
2, 4, 4 427 ACCEPTABLE Sequential consistency.
3, 1, 2 5739 ACCEPTABLE Sequential consistency.
3, 1, 4 173 ACCEPTABLE Sequential consistency.
3, 2, 2 190 ACCEPTABLE Sequential consistency.
3, 2, 4 66 ACCEPTABLE Sequential consistency.
3, 3, 2 10220 ACCEPTABLE Sequential consistency.
3, 3, 3 2604 ACCEPTABLE Sequential consistency.
3, 3, 4 3674 ACCEPTABLE Sequential consistency.
3, 4, 2 650 ACCEPTABLE Sequential consistency.
3, 4, 4 124 ACCEPTABLE Sequential consistency.
4, 1, 2 5403 ACCEPTABLE Sequential consistency.
4, 1, 3 214 ACCEPTABLE Sequential consistency.
4, 2, 2 303 ACCEPTABLE Sequential consistency.
4, 2, 3 85 ACCEPTABLE Sequential consistency.
4, 3, 2 682 ACCEPTABLE Sequential consistency.
4, 3, 3 103 ACCEPTABLE Sequential consistency.
4, 4, 2 14979 ACCEPTABLE Sequential consistency.
4, 4, 3 4283 ACCEPTABLE Sequential consistency.
4, 4, 4 7730 ACCEPTABLE Sequential consistency.

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

Observed state Occurrence Expectation Interpretation
0, 0, 2 14476 ACCEPTABLE Sequential consistency.
0, 0, 3 18325 ACCEPTABLE Sequential consistency.
0, 0, 4 22426 ACCEPTABLE Sequential consistency.
0, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 4 0 ACCEPTABLE Sequential consistency.
0, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 2, 3 0 ACCEPTABLE Sequential consistency.
0, 2, 4 0 ACCEPTABLE Sequential consistency.
0, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 4 0 ACCEPTABLE Sequential consistency.
0, 4, 2 0 ACCEPTABLE Sequential consistency.
0, 4, 3 0 ACCEPTABLE Sequential consistency.
0, 4, 4 0 ACCEPTABLE Sequential consistency.
1, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 4 0 ACCEPTABLE Sequential consistency.
1, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 2, 4 0 ACCEPTABLE Sequential consistency.
1, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 3, 4 0 ACCEPTABLE Sequential consistency.
1, 4, 2 0 ACCEPTABLE Sequential consistency.
1, 4, 3 0 ACCEPTABLE Sequential consistency.
1, 4, 4 0 ACCEPTABLE Sequential consistency.
2, 2, 2 47455 ACCEPTABLE Sequential consistency.
2, 2, 3 57554 ACCEPTABLE Sequential consistency.
2, 2, 4 44059 ACCEPTABLE Sequential consistency.
2, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 3, 4 0 ACCEPTABLE Sequential consistency.
2, 4, 3 0 ACCEPTABLE Sequential consistency.
2, 4, 4 0 ACCEPTABLE Sequential consistency.
3, 1, 2 0 ACCEPTABLE Sequential consistency.
3, 1, 4 0 ACCEPTABLE Sequential consistency.
3, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 2, 4 0 ACCEPTABLE Sequential consistency.
3, 3, 2 47650 ACCEPTABLE Sequential consistency.
3, 3, 3 85966 ACCEPTABLE Sequential consistency.
3, 3, 4 36235 ACCEPTABLE Sequential consistency.
3, 4, 2 0 ACCEPTABLE Sequential consistency.
3, 4, 4 0 ACCEPTABLE Sequential consistency.
4, 1, 2 0 ACCEPTABLE Sequential consistency.
4, 1, 3 0 ACCEPTABLE Sequential consistency.
4, 2, 2 0 ACCEPTABLE Sequential consistency.
4, 2, 3 0 ACCEPTABLE Sequential consistency.
4, 3, 2 0 ACCEPTABLE Sequential consistency.
4, 3, 3 0 ACCEPTABLE Sequential consistency.
4, 4, 2 39471 ACCEPTABLE Sequential consistency.
4, 4, 3 78654 ACCEPTABLE Sequential consistency.
4, 4, 4 27029 ACCEPTABLE Sequential consistency.

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

Observed state Occurrence Expectation Interpretation
0, 0, 2 7768 ACCEPTABLE Sequential consistency.
0, 0, 3 8074 ACCEPTABLE Sequential consistency.
0, 0, 4 8102 ACCEPTABLE Sequential consistency.
0, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 4 0 ACCEPTABLE Sequential consistency.
0, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 2, 3 0 ACCEPTABLE Sequential consistency.
0, 2, 4 0 ACCEPTABLE Sequential consistency.
0, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 4 0 ACCEPTABLE Sequential consistency.
0, 4, 2 0 ACCEPTABLE Sequential consistency.
0, 4, 3 0 ACCEPTABLE Sequential consistency.
0, 4, 4 0 ACCEPTABLE Sequential consistency.
1, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 4 0 ACCEPTABLE Sequential consistency.
1, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 2, 4 0 ACCEPTABLE Sequential consistency.
1, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 3, 4 0 ACCEPTABLE Sequential consistency.
1, 4, 2 0 ACCEPTABLE Sequential consistency.
1, 4, 3 0 ACCEPTABLE Sequential consistency.
1, 4, 4 0 ACCEPTABLE Sequential consistency.
2, 2, 2 49948 ACCEPTABLE Sequential consistency.
2, 2, 3 26934 ACCEPTABLE Sequential consistency.
2, 2, 4 17701 ACCEPTABLE Sequential consistency.
2, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 3, 4 0 ACCEPTABLE Sequential consistency.
2, 4, 3 0 ACCEPTABLE Sequential consistency.
2, 4, 4 0 ACCEPTABLE Sequential consistency.
3, 1, 2 0 ACCEPTABLE Sequential consistency.
3, 1, 4 0 ACCEPTABLE Sequential consistency.
3, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 2, 4 0 ACCEPTABLE Sequential consistency.
3, 3, 2 39608 ACCEPTABLE Sequential consistency.
3, 3, 3 29359 ACCEPTABLE Sequential consistency.
3, 3, 4 18420 ACCEPTABLE Sequential consistency.
3, 4, 2 0 ACCEPTABLE Sequential consistency.
3, 4, 4 0 ACCEPTABLE Sequential consistency.
4, 1, 2 0 ACCEPTABLE Sequential consistency.
4, 1, 3 0 ACCEPTABLE Sequential consistency.
4, 2, 2 0 ACCEPTABLE Sequential consistency.
4, 2, 3 0 ACCEPTABLE Sequential consistency.
4, 3, 2 0 ACCEPTABLE Sequential consistency.
4, 3, 3 0 ACCEPTABLE Sequential consistency.
4, 4, 2 29999 ACCEPTABLE Sequential consistency.
4, 4, 3 26016 ACCEPTABLE Sequential consistency.
4, 4, 4 13211 ACCEPTABLE Sequential consistency.

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

Observed state Occurrence Expectation Interpretation
0, 0, 2 11794 ACCEPTABLE Sequential consistency.
0, 0, 3 10764 ACCEPTABLE Sequential consistency.
0, 0, 4 12069 ACCEPTABLE Sequential consistency.
0, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 4 0 ACCEPTABLE Sequential consistency.
0, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 2, 3 0 ACCEPTABLE Sequential consistency.
0, 2, 4 0 ACCEPTABLE Sequential consistency.
0, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 4 0 ACCEPTABLE Sequential consistency.
0, 4, 2 0 ACCEPTABLE Sequential consistency.
0, 4, 3 0 ACCEPTABLE Sequential consistency.
0, 4, 4 0 ACCEPTABLE Sequential consistency.
1, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 4 0 ACCEPTABLE Sequential consistency.
1, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 2, 4 0 ACCEPTABLE Sequential consistency.
1, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 3, 4 0 ACCEPTABLE Sequential consistency.
1, 4, 2 0 ACCEPTABLE Sequential consistency.
1, 4, 3 0 ACCEPTABLE Sequential consistency.
1, 4, 4 0 ACCEPTABLE Sequential consistency.
2, 2, 2 3579 ACCEPTABLE Sequential consistency.
2, 2, 3 3014 ACCEPTABLE Sequential consistency.
2, 2, 4 2854 ACCEPTABLE Sequential consistency.
2, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 3, 4 0 ACCEPTABLE Sequential consistency.
2, 4, 3 0 ACCEPTABLE Sequential consistency.
2, 4, 4 0 ACCEPTABLE Sequential consistency.
3, 1, 2 0 ACCEPTABLE Sequential consistency.
3, 1, 4 0 ACCEPTABLE Sequential consistency.
3, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 2, 4 0 ACCEPTABLE Sequential consistency.
3, 3, 2 1551 ACCEPTABLE Sequential consistency.
3, 3, 3 3650 ACCEPTABLE Sequential consistency.
3, 3, 4 1599 ACCEPTABLE Sequential consistency.
3, 4, 2 0 ACCEPTABLE Sequential consistency.
3, 4, 4 0 ACCEPTABLE Sequential consistency.
4, 1, 2 0 ACCEPTABLE Sequential consistency.
4, 1, 3 0 ACCEPTABLE Sequential consistency.
4, 2, 2 0 ACCEPTABLE Sequential consistency.
4, 2, 3 0 ACCEPTABLE Sequential consistency.
4, 3, 2 0 ACCEPTABLE Sequential consistency.
4, 3, 3 0 ACCEPTABLE Sequential consistency.
4, 4, 2 2116 ACCEPTABLE Sequential consistency.
4, 4, 3 1420 ACCEPTABLE Sequential consistency.
4, 4, 4 3560 ACCEPTABLE Sequential consistency.

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

Observed state Occurrence Expectation Interpretation
0, 0, 2 9 ACCEPTABLE Sequential consistency.
0, 0, 3 7 ACCEPTABLE Sequential consistency.
0, 0, 4 36 ACCEPTABLE Sequential consistency.
0, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 4 0 ACCEPTABLE Sequential consistency.
0, 2, 2 1 ACCEPTABLE Sequential consistency.
0, 2, 3 0 ACCEPTABLE Sequential consistency.
0, 2, 4 0 ACCEPTABLE Sequential consistency.
0, 3, 2 1 ACCEPTABLE Sequential consistency.
0, 3, 3 1 ACCEPTABLE Sequential consistency.
0, 3, 4 0 ACCEPTABLE Sequential consistency.
0, 4, 2 1 ACCEPTABLE Sequential consistency.
0, 4, 3 0 ACCEPTABLE Sequential consistency.
0, 4, 4 0 ACCEPTABLE Sequential consistency.
1, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 4 0 ACCEPTABLE Sequential consistency.
1, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 2, 4 0 ACCEPTABLE Sequential consistency.
1, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 3, 4 0 ACCEPTABLE Sequential consistency.
1, 4, 2 0 ACCEPTABLE Sequential consistency.
1, 4, 3 0 ACCEPTABLE Sequential consistency.
1, 4, 4 0 ACCEPTABLE Sequential consistency.
2, 2, 2 96 ACCEPTABLE Sequential consistency.
2, 2, 3 16 ACCEPTABLE Sequential consistency.
2, 2, 4 30 ACCEPTABLE Sequential consistency.
2, 3, 3 2 ACCEPTABLE Sequential consistency.
2, 3, 4 2 ACCEPTABLE Sequential consistency.
2, 4, 3 0 ACCEPTABLE Sequential consistency.
2, 4, 4 3 ACCEPTABLE Sequential consistency.
3, 1, 2 0 ACCEPTABLE Sequential consistency.
3, 1, 4 1 ACCEPTABLE Sequential consistency.
3, 2, 2 2 ACCEPTABLE Sequential consistency.
3, 2, 4 0 ACCEPTABLE Sequential consistency.
3, 3, 2 82 ACCEPTABLE Sequential consistency.
3, 3, 3 19 ACCEPTABLE Sequential consistency.
3, 3, 4 16 ACCEPTABLE Sequential consistency.
3, 4, 2 0 ACCEPTABLE Sequential consistency.
3, 4, 4 0 ACCEPTABLE Sequential consistency.
4, 1, 2 0 ACCEPTABLE Sequential consistency.
4, 1, 3 0 ACCEPTABLE Sequential consistency.
4, 2, 2 0 ACCEPTABLE Sequential consistency.
4, 2, 3 1 ACCEPTABLE Sequential consistency.
4, 3, 2 3 ACCEPTABLE Sequential consistency.
4, 3, 3 0 ACCEPTABLE Sequential consistency.
4, 4, 2 40 ACCEPTABLE Sequential consistency.
4, 4, 3 17 ACCEPTABLE Sequential consistency.
4, 4, 4 24 ACCEPTABLE Sequential consistency.

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

Observed state Occurrence Expectation Interpretation
0, 0, 2 5 ACCEPTABLE Sequential consistency.
0, 0, 3 14 ACCEPTABLE Sequential consistency.
0, 0, 4 11 ACCEPTABLE Sequential consistency.
0, 1, 2 0 ACCEPTABLE Sequential consistency.
0, 1, 3 0 ACCEPTABLE Sequential consistency.
0, 1, 4 0 ACCEPTABLE Sequential consistency.
0, 2, 2 0 ACCEPTABLE Sequential consistency.
0, 2, 3 0 ACCEPTABLE Sequential consistency.
0, 2, 4 0 ACCEPTABLE Sequential consistency.
0, 3, 2 0 ACCEPTABLE Sequential consistency.
0, 3, 3 0 ACCEPTABLE Sequential consistency.
0, 3, 4 0 ACCEPTABLE Sequential consistency.
0, 4, 2 0 ACCEPTABLE Sequential consistency.
0, 4, 3 0 ACCEPTABLE Sequential consistency.
0, 4, 4 0 ACCEPTABLE Sequential consistency.
1, 1, 2 0 ACCEPTABLE Sequential consistency.
1, 1, 3 0 ACCEPTABLE Sequential consistency.
1, 1, 4 0 ACCEPTABLE Sequential consistency.
1, 2, 2 0 ACCEPTABLE Sequential consistency.
1, 2, 3 0 ACCEPTABLE Sequential consistency.
1, 2, 4 0 ACCEPTABLE Sequential consistency.
1, 3, 2 0 ACCEPTABLE Sequential consistency.
1, 3, 3 0 ACCEPTABLE Sequential consistency.
1, 3, 4 0 ACCEPTABLE Sequential consistency.
1, 4, 2 0 ACCEPTABLE Sequential consistency.
1, 4, 3 0 ACCEPTABLE Sequential consistency.
1, 4, 4 0 ACCEPTABLE Sequential consistency.
2, 2, 2 80 ACCEPTABLE Sequential consistency.
2, 2, 3 0 ACCEPTABLE Sequential consistency.
2, 2, 4 8 ACCEPTABLE Sequential consistency.
2, 3, 3 0 ACCEPTABLE Sequential consistency.
2, 3, 4 0 ACCEPTABLE Sequential consistency.
2, 4, 3 0 ACCEPTABLE Sequential consistency.
2, 4, 4 0 ACCEPTABLE Sequential consistency.
3, 1, 2 0 ACCEPTABLE Sequential consistency.
3, 1, 4 0 ACCEPTABLE Sequential consistency.
3, 2, 2 0 ACCEPTABLE Sequential consistency.
3, 2, 4 0 ACCEPTABLE Sequential consistency.
3, 3, 2 12 ACCEPTABLE Sequential consistency.
3, 3, 3 1 ACCEPTABLE Sequential consistency.
3, 3, 4 2 ACCEPTABLE Sequential consistency.
3, 4, 2 0 ACCEPTABLE Sequential consistency.
3, 4, 4 0 ACCEPTABLE Sequential consistency.
4, 1, 2 0 ACCEPTABLE Sequential consistency.
4, 1, 3 0 ACCEPTABLE Sequential consistency.
4, 2, 2 0 ACCEPTABLE Sequential consistency.
4, 2, 3 0 ACCEPTABLE Sequential consistency.
4, 3, 2 0 ACCEPTABLE Sequential consistency.
4, 3, 3 0 ACCEPTABLE Sequential consistency.
4, 4, 2 17 ACCEPTABLE Sequential consistency.
4, 4, 3 0 ACCEPTABLE Sequential consistency.
4, 4, 4 40 ACCEPTABLE Sequential consistency.