Geen in afwachting zijnde runs

Kronecker heeft geen runs die wachten op verificatie.