Broadening the Scope of SMT-COMP: the Application Track