Inga väntande lopp

Dedukator har inga lopp som väntar på verifiering.