FSM depth =                  6
reachable states =          16
# LE: language is not empty
# MC: formula failed --- AF(FALSE)
# MC: formula passed --- AG(TRUE)
# MC: formula passed --- AG(!((ball_1.state=OUT_OF_PLAY * ball_2.state=OUT_OF_PLAY)))
# MC: formula passed --- AG((player_A.out=IDLE -> AF(player_A.out=HIT)))
# MC: formula failed --- AF((ball_1.state=OUT_OF_PLAY ^ ball_2.state=OUT_OF_PLAY))
# MC: formula passed --- EF((ball_1.state=OUT_OF_PLAY ^ ball_2.state=OUT_OF_PLAY))
# MC: formula failed --- AG((!(ball_1.state=OUT_OF_PLAY) * !(ball_2.state=OUT_OF_PLAY)))
# MC: formula passed --- AG(!((ball_1.state=OUT_OF_PLAY * ball_2.state=OUT_OF_PLAY)))
# MC: formula failed --- AG((player_A.out=IDLE -> AF(player_A.out=HIT)))
# MC: formula failed --- AF((ball_1.state=OUT_OF_PLAY ^ ball_2.state=OUT_OF_PLAY))
# MC: formula passed --- EF((ball_1.state=OUT_OF_PLAY ^ ball_2.state=OUT_OF_PLAY))
# MC: formula failed --- AG((!(ball_1.state=OUT_OF_PLAY) * !(ball_2.state=OUT_OF_PLAY)))