Ｈ２Ｏ２さんからの回答

ボーナス終了後は終了後です。ボーナス中が終われば終了後です。ARTはボーナスではありません。天井のボーナス後1200で、ART後1200なのかという意味の質問ならARTは含みません。天井は純粋にボーナス後で途中ARTをはさんでもゲーム数カウントはされています。