This paper reports on the Hybrid Systems Theorem Proving (HSTP) category in ARCH-COMP Friendly Competition 2021. The characteristic features of HSTP cate- gory remain as previous editions [MST+18, MST+19, MMJ+20], it focuses flexi- bility programming languages structuring principles for hybrid systems, unambiguity and precision program semantics, mathematical rigor logical reasoning principles....