Show #failed and #timed-out processes during search. (#319)
Show #failed and #timed-out processes during search. (#319)

Also fix a bug where timed-out processes were not terminated.
iree-org/iree-llvm-sandbox,iree-org/iree-llvm-sandbox,iree-org/iree-llvm-sandbox,iree-org/iree-llvm-sandbox