What happens to an F1 head-to-head if both drivers fail to finish?

How to use this answer

A definitive win, loss, void or refund cannot be established from the question alone. Identify the operator, the exact market, the date and the relevant official result, then check the rules that applied to the bet.

Shortened or unfinished matches may be treated differently by market. Record the event format, score at suspension and the specific retirement, abandonment or overs rule rather than assuming every selection is void.