Accelerated Runtime Verification of LTL Specifications with Counting Semantics