If we consider different verifiers, then we need new marks for each Unknown mark (time limit, memory limit, parsing, etc.), since they are currently applied only to the same component name (which is verifier name). Therefore, we need some special marks, which can be appliad to all components, since termination reason is provided by BenchExec (the same text).
If we consider different verifiers, then we need new marks for each Unknown mark (time limit, memory limit, parsing, etc.), since they are currently applied only to the same component name (which is verifier name). Therefore, we need some special marks, which can be appliad to all components, since termination reason is provided by BenchExec (the same text).