[scoring] Do not consider non-competitive logics in score computation

[martinjonas]

SMT-COMP rules specify that non-competing divisions, i.e., divisions with only one competing solver, should not be executed and should not be considered during score computation. Even though it is not specified by the current rules, the SMT-COMP organizers have decided that non-competitive logics should be treated similarly and should be ignored during score computation. This will retroactively affect SMT-COMP 2025 results.