| Compilation Mode |
Scheduling Class |
Java Options |
Status |
Observed States |
|
0 |
|
Forbidden |
|
No default case provided, assume Forbidden |
split
actor1: Interpreter
actor2: Interpreter
|
actor1: package group free, core group free
actor2: package group free, core group free
|
|
FAILED |
30902291 |
split
actor1: C1
actor2: Interpreter
|
actor1: package group free, core group free
actor2: package group free, core group free
|
|
FAILED |
32448531 |
split
actor1: C2
actor2: Interpreter
|
actor1: package group free, core group free
actor2: package group free, core group free
|
|
FAILED |
32417811 |
split
actor1: C2
actor2: Interpreter
|
actor1: package group free, core group free
actor2: package group free, core group free
|
[-XX:+StressLCM, -XX:+StressGCM, -XX:+StressIGVN, -XX:+StressCCP, -XX:StressSeed=1042557900]
|
FAILED |
32315411 |
split
actor1: C2
actor2: Interpreter
|
actor1: package group free, core group free
actor2: package group free, core group free
|
[-XX:+StressLCM, -XX:+StressGCM, -XX:+StressIGVN, -XX:+StressCCP, -XX:StressSeed=1075505546]
|
FAILED |
31045651 |
split
actor1: C2
actor2: Interpreter
|
actor1: package group free, core group free
actor2: package group free, core group free
|
[-XX:+StressLCM, -XX:+StressGCM, -XX:+StressIGVN, -XX:+StressCCP, -XX:StressSeed=1297563461]
|
FAILED |
31352851 |
split
actor1: C2
actor2: Interpreter
|
actor1: package group free, core group free
actor2: package group free, core group free
|
[-XX:+StressLCM, -XX:+StressGCM, -XX:+StressIGVN, -XX:+StressCCP, -XX:StressSeed=341109036]
|
FAILED |
32929811 |
split
actor1: C2
actor2: Interpreter
|
actor1: package group free, core group free
actor2: package group free, core group free
|
[-XX:+StressLCM, -XX:+StressGCM, -XX:+StressIGVN, -XX:+StressCCP, -XX:StressSeed=743091320]
|
FAILED |
30871571 |
split
actor1: Interpreter
actor2: C1
|
actor1: package group free, core group free
actor2: package group free, core group free
|
|
FAILED |
38285331 |
split
actor1: C1
actor2: C1
|
actor1: package group free, core group free
actor2: package group free, core group free
|
|
FAILED |
57024531 |
split
actor1: C2
actor2: C1
|
actor1: package group free, core group free
actor2: package group free, core group free
|
|
FAILED |
65288211 |
split
actor1: C2
actor2: C1
|
actor1: package group free, core group free
actor2: package group free, core group free
|
[-XX:+StressLCM, -XX:+StressGCM, -XX:+StressIGVN, -XX:+StressCCP, -XX:StressSeed=1475905266]
|
FAILED |
64960531 |
split
actor1: C2
actor2: C1
|
actor1: package group free, core group free
actor2: package group free, core group free
|
[-XX:+StressLCM, -XX:+StressGCM, -XX:+StressIGVN, -XX:+StressCCP, -XX:StressSeed=1751296682]
|
FAILED |
66496531 |
split
actor1: C2
actor2: C1
|
actor1: package group free, core group free
actor2: package group free, core group free
|
[-XX:+StressLCM, -XX:+StressGCM, -XX:+StressIGVN, -XX:+StressCCP, -XX:StressSeed=296131663]
|
FAILED |
63107091 |
split
actor1: C2
actor2: C1
|
actor1: package group free, core group free
actor2: package group free, core group free
|
[-XX:+StressLCM, -XX:+StressGCM, -XX:+StressIGVN, -XX:+StressCCP, -XX:StressSeed=604532419]
|
FAILED |
60383251 |
split
actor1: C2
actor2: C1
|
actor1: package group free, core group free
actor2: package group free, core group free
|
[-XX:+StressLCM, -XX:+StressGCM, -XX:+StressIGVN, -XX:+StressCCP, -XX:StressSeed=748857893]
|
FAILED |
60332051 |
split
actor1: Interpreter
actor2: C2
|
actor1: package group free, core group free
actor2: package group free, core group free
|
|
FAILED |
38797331 |
split
actor1: Interpreter
actor2: C2
|
actor1: package group free, core group free
actor2: package group free, core group free
|
[-XX:+StressLCM, -XX:+StressGCM, -XX:+StressIGVN, -XX:+StressCCP, -XX:StressSeed=1665729567]
|
FAILED |
38613011 |
split
actor1: Interpreter
actor2: C2
|
actor1: package group free, core group free
actor2: package group free, core group free
|
[-XX:+StressLCM, -XX:+StressGCM, -XX:+StressIGVN, -XX:+StressCCP, -XX:StressSeed=1856278423]
|
FAILED |
39002131 |
split
actor1: Interpreter
actor2: C2
|
actor1: package group free, core group free
actor2: package group free, core group free
|
[-XX:+StressLCM, -XX:+StressGCM, -XX:+StressIGVN, -XX:+StressCCP, -XX:StressSeed=2102286780]
|
FAILED |
37486611 |
split
actor1: Interpreter
actor2: C2
|
actor1: package group free, core group free
actor2: package group free, core group free
|
[-XX:+StressLCM, -XX:+StressGCM, -XX:+StressIGVN, -XX:+StressCCP, -XX:StressSeed=346933759]
|
FAILED |
39391251 |
split
actor1: Interpreter
actor2: C2
|
actor1: package group free, core group free
actor2: package group free, core group free
|
[-XX:+StressLCM, -XX:+StressGCM, -XX:+StressIGVN, -XX:+StressCCP, -XX:StressSeed=906592642]
|
FAILED |
37230611 |
split
actor1: C1
actor2: C2
|
actor1: package group free, core group free
actor2: package group free, core group free
|
|
FAILED |
108470291 |
split
actor1: C1
actor2: C2
|
actor1: package group free, core group free
actor2: package group free, core group free
|
[-XX:+StressLCM, -XX:+StressGCM, -XX:+StressIGVN, -XX:+StressCCP, -XX:StressSeed=1805276407]
|
FAILED |
106893331 |
split
actor1: C1
actor2: C2
|
actor1: package group free, core group free
actor2: package group free, core group free
|
[-XX:+StressLCM, -XX:+StressGCM, -XX:+StressIGVN, -XX:+StressCCP, -XX:StressSeed=2146860082]
|
FAILED |
51945491 |
split
actor1: C1
actor2: C2
|
actor1: package group free, core group free
actor2: package group free, core group free
|
[-XX:+StressLCM, -XX:+StressGCM, -XX:+StressIGVN, -XX:+StressCCP, -XX:StressSeed=263133163]
|
FAILED |
55191571 |
split
actor1: C1
actor2: C2
|
actor1: package group free, core group free
actor2: package group free, core group free
|
[-XX:+StressLCM, -XX:+StressGCM, -XX:+StressIGVN, -XX:+StressCCP, -XX:StressSeed=710335425]
|
FAILED |
59256851 |
split
actor1: C1
actor2: C2
|
actor1: package group free, core group free
actor2: package group free, core group free
|
[-XX:+StressLCM, -XX:+StressGCM, -XX:+StressIGVN, -XX:+StressCCP, -XX:StressSeed=823945074]
|
FAILED |
54935571 |
split
actor1: C2
actor2: C2
|
actor1: package group free, core group free
actor2: package group free, core group free
|
|
FAILED |
68554771 |
split
actor1: C2
actor2: C2
|
actor1: package group free, core group free
actor2: package group free, core group free
|
[-XX:+StressLCM, -XX:+StressGCM, -XX:+StressIGVN, -XX:+StressCCP, -XX:StressSeed=1040062964]
|
FAILED |
63219731 |
split
actor1: C2
actor2: C2
|
actor1: package group free, core group free
actor2: package group free, core group free
|
[-XX:+StressLCM, -XX:+StressGCM, -XX:+StressIGVN, -XX:+StressCCP, -XX:StressSeed=1158731359]
|
FAILED |
108142611 |
split
actor1: C2
actor2: C2
|
actor1: package group free, core group free
actor2: package group free, core group free
|
[-XX:+StressLCM, -XX:+StressGCM, -XX:+StressIGVN, -XX:+StressCCP, -XX:StressSeed=1247680276]
|
FAILED |
64458771 |
split
actor1: C2
actor2: C2
|
actor1: package group free, core group free
actor2: package group free, core group free
|
[-XX:+StressLCM, -XX:+StressGCM, -XX:+StressIGVN, -XX:+StressCCP, -XX:StressSeed=486365934]
|
FAILED |
64602131 |
split
actor1: C2
actor2: C2
|
actor1: package group free, core group free
actor2: package group free, core group free
|
[-XX:+StressLCM, -XX:+StressGCM, -XX:+StressIGVN, -XX:+StressCCP, -XX:StressSeed=83544816]
|
FAILED |
119826451 |