Time: 2019-06-19 18:19:38
“Check Success!”
Details
Successful participants:
bxy.jar
mjl.jar
sdy.jar
ws.jar
Models are:
AllInOne.mdj
allInstrTest.mdj
CycleCheck.mdj
DuplAttrCheck.mdj
DuplRlzCheck.mdj
FakeStates.mdj
Full.mdj
g1_1.mdj
g1_2.mdj
g1_3.mdj
g2.mdj
g3.mdj
g4.mdj
Intense.mdj
Intricate.mdj
iPhone.mdj
Mess.mdj
middle_1.mdj
middle_2.mdj
middle_3.mdj
middle_4.mdj
MultiSeq.mdj
open-close.mdj
r001Test.mdj
r002Test.mdj
r003Test.mdj
Simple.mdj
Stress.mdj
Taxi.mdj
Triple.mdj
weak_1.mdj
weak_2.mdj
weak_3.mdj
weak_4.mdj