% SZS status Timeout for bdominates__BAG__DI
