No pending runs

Washing_machine_real doesn't have any runs pending verification.