ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving