not
Parameters
not
ids of the propositions not tried because the run stopped after too many consecutive failures (see ConsecutiveFailureBreaker); they are handled as failed ones are