1 | # ABS: formula failed --- NOT[ AG(!((TC.Crane.HorizontalPos=OverFB * TC.CraneCNTR.HorizontalMove=GoLeft))) ] |
---|
2 | # ABS: formula failed --- NOT[ AG(!((TC.Crane.HorizontalPos=OverDB * TC.CraneCNTR.HorizontalMove=GoRight))) ] |
---|
3 | # ABS: formula failed --- NOT[ AG(!((TC.Crane.HorizontalPos=Middle * !(TC.Crane.VerticalPos=UpMost)))) ] |
---|
4 | # ABS: formula failed --- NOT[ AG(!((TC.Crane.HorizontalPos=OverDB * TC.Crane.VerticalPos=FBHight))) ] |
---|
5 | # ABS: formula failed --- NOT[ AG(!((TC.Crane.VerticalPos=UpMost * TC.CraneCNTR.VerticalMove=GoUp))) ] |
---|
6 | # ABS: formula failed --- NOT[ AG(!((TC.Crane.VerticalPos=FBHight * TC.CraneCNTR.VerticalMove=GoDown))) ] |
---|
7 | # ABS: formula failed --- NOT[ AG((!(TC.Crane.HorizontalMove=Stop) -> TC.CraneCNTR.VerticalPos=UpMost)) ] |
---|
8 | # ABS: formula passed --- NOT[ AG(!(((PR.Pr.PressPosition=Mid * AR.Arm.RALoadArm=Extended) * AR.Arm.RAAnglePos=OverLoadedPress))) ] |
---|
9 | # ABS: formula failed --- NOT[ AG(!(((PR.Pr.PressPosition=Top * AR.Arm.RAUnLoadArm=Extended) * AR.Arm.RAAnglePos=OverUnLoadedPress))) ] |
---|
10 | # ABS: formula failed --- NOT[ AG((DB.DBeltCNTR.PieceOutDB=Y -> AF(TC.CraneCNTR.PieceGrabbedFromDB=Y))) ] |
---|
11 | # MC: formula passed --- AG(!((TC.Crane.HorizontalPos=OverFB * TC.CraneCNTR.HorizontalMove=GoLeft))) |
---|
12 | # MC: formula passed --- AG(!((TC.Crane.HorizontalPos=OverDB * TC.CraneCNTR.HorizontalMove=GoRight))) |
---|
13 | # MC: formula passed --- AG(!((TC.Crane.HorizontalPos=Middle * !(TC.Crane.VerticalPos=UpMost)))) |
---|
14 | # MC: formula passed --- AG(!((TC.Crane.HorizontalPos=OverDB * TC.Crane.VerticalPos=FBHight))) |
---|
15 | # MC: formula passed --- AG(!((TC.Crane.VerticalPos=UpMost * TC.CraneCNTR.VerticalMove=GoUp))) |
---|
16 | # MC: formula passed --- AG(!((TC.Crane.VerticalPos=FBHight * TC.CraneCNTR.VerticalMove=GoDown))) |
---|
17 | # MC: formula passed --- AG((!(TC.Crane.HorizontalMove=Stop) -> TC.CraneCNTR.VerticalPos=UpMost)) |
---|
18 | # MC: formula failed --- AG(!(((PR.Pr.PressPosition=Mid * AR.Arm.RALoadArm=Extended) * AR.Arm.RAAnglePos=OverLoadedPress))) |
---|
19 | # MC: formula passed --- AG(!(((PR.Pr.PressPosition=Top * AR.Arm.RAUnLoadArm=Extended) * AR.Arm.RAAnglePos=OverUnLoadedPress))) |
---|
20 | # MC: formula passed --- AG((DB.DBeltCNTR.PieceOutDB=Y -> AF(TC.CraneCNTR.PieceGrabbedFromDB=Y))) |
---|