proof mpich/Umpire_Tests> /opt/mpich/ch-p4/bin/mpirun -n 3 ./any_src-can-deadlock9.exe
(0) is alive on proof.cs.utah.edu
(2) is alive on proof.cs.utah.edu
(1) is alive on proof.cs.utah.edu
(1) Finished normally
(2) Finished normally
(0) Finished normally
proof mpich/Umpire_Tests> /opt/mpich/ch-p4/bin/mpirun -n 3 ./any_src-can-deadlock9.exe
(0) is alive on proof.cs.utah.edu
(1) is alive on proof.cs.utah.edu
(2) is alive on proof.cs.utah.edu
(1) Finished normally
(2) Finished normally
(0) Finished normally
proof mpich/Umpire_Tests> /opt/mpich/ch-p4/bin/mpirun -n 3 ./any_src-can-deadlock9.exe
(0) is alive on proof.cs.utah.edu
(1) is alive on proof.cs.utah.edu
(2) is alive on proof.cs.utah.edu
(1) Finished normally
(2) Finished normally
(0) Finished normally
proof mpich/Umpire_Tests> /opt/mpich/ch-p4/bin/mpirun -n 3 ./any_src-can-deadlock9.exe
(0) is alive on proof.cs.utah.edu
(1) is alive on proof.cs.utah.edu
(2) is alive on proof.cs.utah.edu
(1) Finished normally
(2) Finished normally
(0) Finished normally
proof mpich/Umpire_Tests> /opt/mpich/ch-p4/bin/mpirun -n 3 ./any_src-can-deadlock9.exe
(0) is alive on proof.cs.utah.edu
(2) is alive on proof.cs.utah.edu
(1) is alive on proof.cs.utah.edu
(1) Finished normally
(2) Finished normally
(0) Finished normally
proof mpich/Umpire_Tests> /opt/mpich/ch-p4/bin/mpirun -n 3 ./any_src-can-deadlock9.exe
(0) is alive on proof.cs.utah.edu
(1) is alive on proof.cs.utah.edu
(2) is alive on proof.cs.utah.edu
(2) Finished normally
(1) Finished normally
(0) Finished normally
proof mpich/Umpire_Tests> /opt/mpich/ch-p4/bin/mpirun -n 3 ./any_src-can-deadlock9.exe
(0) is alive on proof.cs.utah.edu
(1) is alive on proof.cs.utah.edu
(2) is alive on proof.cs.utah.edu
Killed by signal 2.
Killed by signal 2.
proof mpich/Umpire_Tests> /opt/mpich/ch-p4/bin/mpirun -n 3 ./any_src-can-deadlock9.exe
(0) is alive on proof.cs.utah.edu
(2) is alive on proof.cs.utah.edu
(1) is alive on proof.cs.utah.edu
(2) Finished normally
(1) Finished normally
(0) Finished normally
proof mpich/Umpire_Tests> /opt/mpich/ch-p4/bin/mpirun -n 3 ./any_src-can-deadlock9.exe
(0) is alive on proof.cs.utah.edu
(1) is alive on proof.cs.utah.edu
(2) is alive on proof.cs.utah.edu
(2) Finished normally
(1) Finished normally
(0) Finished normally
proof mpich/Umpire_Tests> /opt/mpich/ch-p4/bin/mpirun -n 3 ./any_src-can-deadlock9.exe
(0) is alive on proof.cs.utah.edu
(2) is alive on proof.cs.utah.edu
(1) is alive on proof.cs.utah.edu
(2) Finished normally
(1) Finished normally
(0) Finished normally