Geen in afwachting zijnde runs

Theoria heeft geen runs die wachten op verificatie.