ISP - Insitu Partial Order
-----------------------------------------
Command:        ./absolute_dl_bad 
Number Procs:   3
Server:         localhost:8888
Blocking Sends: Disabled
-----------------------------------------
Started Process: 86652
INTERLEAVING :1
-----------------------------------------
Transition list for 0
0 o=1 i=0 rank=0 Recv absolute_dl_bad.c:11 src=0 rtag=0{} {}

Transition list for 1
0 o=2 i=0 rank=1 Recv absolute_dl_bad.c:11 src=0 rtag=0{} {}

Transition list for 2
0 o=3 i=0 rank=2 Recv absolute_dl_bad.c:11 src=0 rtag=0{} {}

No matching MPI call found!
Detected a DEADLOCK in interleaving 1
-----------------------------------------
-----------------------------------------
ISP detected deadlock!!!
Total Explored Interleavings: 1
Interleaving Exploration Mode: All Relevant Interleavings
-----------------------------------------
ISP - Insitu Partial Order
-----------------------------------------
Command:        ./absolute_dl_good 
Number Procs:   3
Server:         localhost:8888
Blocking Sends: Disabled
-----------------------------------------
Started Process: 86658
INTERLEAVING :1
-----------------------------------------
ISP detected no deadlocks!
Total Explored Interleavings: 1
Interleaving Exploration Mode: All Relevant Interleavings
-----------------------------------------
ISP - Insitu Partial Order
-----------------------------------------
Command:        ./any_src_bad 
Number Procs:   2
Server:         localhost:8888
Blocking Sends: Disabled
-----------------------------------------
Started Process: 86664
INTERLEAVING :1
-----------------------------------------
Transition list for 0
0 o=1 i=0 rank=0 Recv any_src_bad.c:13 src=-1 rtag=0{[0, 1]} {}	 Matched [1,0]
1 o=4 i=1 rank=0 Recv any_src_bad.c:14 src=2 rtag=0{} {}

Transition list for 1
0 o=2 i=0 rank=1 Send any_src_bad.c:17 dest=0 stag=0{[1, 1]} {}	 Matched [0,0]
1 o=3 i=1 rank=1 Finalize any_src_bad.c:20{} {}
No resource leaks detected, 2 MPI calls trapped.

Rank 0: Invalid rank in MPI_Recv at any_src_bad.c:14
Killing program any_src_bad
-----------------------------------------
ISP - Insitu Partial Order
-----------------------------------------
Command:        ./any_src_good 
Number Procs:   2
Server:         localhost:8888
Blocking Sends: Disabled
-----------------------------------------
Started Process: 86669
INTERLEAVING :1
-----------------------------------------
ISP detected no deadlocks!
Total Explored Interleavings: 1
Interleaving Exploration Mode: All Relevant Interleavings
-----------------------------------------
ISP - Insitu Partial Order
-----------------------------------------
Command:        ./assertion_bad 
Number Procs:   3
Server:         localhost:8888
Blocking Sends: Disabled
-----------------------------------------
Started Process: 86674
INTERLEAVING :1
-----------------------------------------
Transition list for 0
0 o=1 i=0 rank=0 Recv assertion_bad.c:19 src=-1 rtag=0{[0, 1]} {}	 Matched [1,0]
1 o=6 i=1 rank=0 Recv assertion_bad.c:19 src=-1 rtag=0{} {}	 Matched [2,0]

Transition list for 1
0 o=2 i=0 rank=1 Send assertion_bad.c:23 dest=0 stag=0{[1, 1]} {}	 Matched [0,0]
1 o=4 i=1 rank=1 Finalize assertion_bad.c:25{} {}
No resource leaks detected, 2 MPI calls trapped.

Transition list for 2
0 o=3 i=0 rank=2 Send assertion_bad.c:23 dest=0 stag=0{[2, 1]} {}	 Matched [0,1]
1 o=5 i=1 rank=2 Finalize assertion_bad.c:25{} {}
No resource leaks detected, 2 MPI calls trapped.

Program assertion failed!
Rank 0: assertion_bad.c:20: int: Assertion `status.MPI_SOURCE == 1' failed.
Killing program assertion_bad
-----------------------------------------
ISP - Insitu Partial Order
-----------------------------------------
Command:        ./assertion_good 
Number Procs:   3
Server:         localhost:8888
Blocking Sends: Disabled
-----------------------------------------
Started Process: 86680
INTERLEAVING :1
Started Process: 86685
INTERLEAVING :2
-----------------------------------------
ISP detected no deadlocks!
Total Explored Interleavings: 2
Interleaving Exploration Mode: All Relevant Interleavings
-----------------------------------------
ISP - Insitu Partial Order
-----------------------------------------
Command:        ./collective_match_bad 
Number Procs:   3
Server:         localhost:8888
Blocking Sends: Disabled
-----------------------------------------
Started Process: 86691
INTERLEAVING :1
-----------------------------------------
Transition list for 0
0 o=1 i=0 rank=0 Reduce collective_match_bad.c:15 count=0{} {}

Transition list for 1
0 o=2 i=0 rank=1 Bcast collective_match_bad.c:19 count=0{} {}

Transition list for 2
0 o=3 i=0 rank=2 Bcast collective_match_bad.c:22 count=1{} {}

No matching MPI call found!
Detected a DEADLOCK in interleaving 1
-----------------------------------------
-----------------------------------------
ISP detected deadlock!!!
Total Explored Interleavings: 1
Interleaving Exploration Mode: All Relevant Interleavings
-----------------------------------------
ISP - Insitu Partial Order
-----------------------------------------
Command:        ./collective_match_good 
Number Procs:   3
Server:         localhost:8888
Blocking Sends: Disabled
-----------------------------------------
Started Process: 86697
INTERLEAVING :1
EMPTY BUFFER id is 0 !!!!!!!
Transition list for 0
0 o=1 i=0 rank=0 Bcast collective_match_good.c:16 count=0{[0, 1]} {}
1 o=4 i=1 rank=0 Reduce collective_match_good.c:17 count=0{} {}

Transition list for 1
0 o=2 i=0 rank=1 Bcast collective_match_good.c:19 count=0{[1, 1]} {}
1 o=5 i=1 rank=1 Reduce collective_match_good.c:20 count=0{} {}

Transition list for 2
0 o=3 i=0 rank=2 Bcast collective_match_good.c:19 count=0{[2, 1]} {}
1 o=6 i=1 rank=2 Reduce collective_match_good.c:20 count=0{} {}

Receiving empty buffer - Terminating ...
ISP - Insitu Partial Order
-----------------------------------------
Command:        ./comm_dup_bad 
Number Procs:   3
Server:         localhost:8888
Blocking Sends: Disabled
-----------------------------------------
Started Process: 86703
INTERLEAVING :1
-----------------------------------------
Transition list for 0
0 o=1 i=0 rank=0 Comm_dup comm_dup_bad.c:12 count=1{[0, 1]} {}
1 o=4 i=1 rank=0 Recv comm_dup_bad.c:14 src=2 rtag=0{} {}

Transition list for 1
0 o=2 i=0 rank=1 Comm_dup comm_dup_bad.c:12 count=1{[1, 1][1, 2]} {}
1 o=5 i=1 rank=1 Send comm_dup_bad.c:17 dest=0 stag=0{} {}
2 o=7 i=2 rank=1 Comm_free comm_dup_bad.c:21 count=1{} {}

Transition list for 2
0 o=3 i=0 rank=2 Comm_dup comm_dup_bad.c:12 count=1{[2, 1][2, 2]} {}
1 o=6 i=1 rank=2 Send comm_dup_bad.c:19 dest=0 stag=0{} {}
2 o=8 i=2 rank=2 Comm_free comm_dup_bad.c:21 count=1{} {}

No matching MPI call found!
Detected a DEADLOCK in interleaving 1
-----------------------------------------
-----------------------------------------
ISP detected deadlock!!!
Total Explored Interleavings: 1
Interleaving Exploration Mode: All Relevant Interleavings
-----------------------------------------
ISP - Insitu Partial Order
-----------------------------------------
Command:        ./comm_dup_good 
Number Procs:   3
Server:         localhost:8888
Blocking Sends: Disabled
-----------------------------------------
Started Process: 86709
INTERLEAVING :1
-----------------------------------------
ISP detected no deadlocks!
Total Explored Interleavings: 1
Interleaving Exploration Mode: All Relevant Interleavings
-----------------------------------------
ISP - Insitu Partial Order
-----------------------------------------
Command:        ./dy_buf_bad 
Number Procs:   3
Server:         localhost:8888
Blocking Sends: Enabled
-----------------------------------------
Started Process: 86715
INTERLEAVING :1
-----------------------------------------
ISP detected no deadlocks!
Total Explored Interleavings: 1
Interleaving Exploration Mode: All Relevant Interleavings
-----------------------------------------
ISP - Insitu Partial Order
-----------------------------------------
Command:        ./dy_buf_good 
Number Procs:   3
Server:         localhost:8888
Blocking Sends: Enabled
-----------------------------------------
Started Process: 86721
INTERLEAVING :1
-----------------------------------------
ISP detected no deadlocks!
Total Explored Interleavings: 1
Interleaving Exploration Mode: All Relevant Interleavings
-----------------------------------------
ISP - Insitu Partial Order
-----------------------------------------
Command:        ./input_branch_bad 
Number Procs:   3
Server:         localhost:8888
Blocking Sends: Disabled
-----------------------------------------
Started Process: 86727
INTERLEAVING :1
-----------------------------------------
ISP detected no deadlocks!
Total Explored Interleavings: 1
Interleaving Exploration Mode: All Relevant Interleavings
-----------------------------------------
ISP - Insitu Partial Order
-----------------------------------------
Command:        ./input_branch_good 
Number Procs:   3
Server:         localhost:8888
Blocking Sends: Disabled
-----------------------------------------
Started Process: 86733
INTERLEAVING :1
-----------------------------------------
ISP detected no deadlocks!
Total Explored Interleavings: 1
Interleaving Exploration Mode: All Relevant Interleavings
-----------------------------------------
ISP - Insitu Partial Order
-----------------------------------------
Command:        ./matmat_mw_bad 
Number Procs:   3
Server:         localhost:8888
Blocking Sends: Disabled
-----------------------------------------
Started Process: 86739
INTERLEAVING :1
42.000000 54.000000 66.000000 
0.000000 0.000000 0.000000 
0.000000 0.000000 0.000000 

Started Process: 86744
INTERLEAVING :2
69.000000 90.000000 111.000000 
0.000000 0.000000 0.000000 
0.000000 0.000000 0.000000 

Started Process: 86749
INTERLEAVING :3
69.000000 90.000000 111.000000 
0.000000 0.000000 0.000000 
0.000000 0.000000 0.000000 

Started Process: 86754
INTERLEAVING :4
15.000000 18.000000 21.000000 
0.000000 0.000000 0.000000 
0.000000 0.000000 0.000000 

-----------------------------------------
ISP detected no deadlocks!
Total Explored Interleavings: 4
Interleaving Exploration Mode: All Relevant Interleavings
-----------------------------------------
ISP - Insitu Partial Order
-----------------------------------------
Command:        ./matmat_mw_good 
Number Procs:   3
Server:         localhost:8888
Blocking Sends: Disabled
-----------------------------------------
Started Process: 86760
INTERLEAVING :1
15.000000 18.000000 21.000000 
42.000000 54.000000 66.000000 
69.000000 90.000000 111.000000 

Started Process: 86765
INTERLEAVING :2
15.000000 18.000000 21.000000 
42.000000 54.000000 66.000000 
69.000000 90.000000 111.000000 

Started Process: 86770
INTERLEAVING :3
15.000000 18.000000 21.000000 
42.000000 54.000000 66.000000 
69.000000 90.000000 111.000000 

Started Process: 86775
INTERLEAVING :4
15.000000 18.000000 21.000000 
42.000000 54.000000 66.000000 
69.000000 90.000000 111.000000 

-----------------------------------------
ISP detected no deadlocks!
Total Explored Interleavings: 4
Interleaving Exploration Mode: All Relevant Interleavings
-----------------------------------------
ISP - Insitu Partial Order
-----------------------------------------
Command:        ./not_single_bad 
Number Procs:   3
Server:         localhost:8888
Blocking Sends: Disabled
-----------------------------------------
Started Process: 86781
INTERLEAVING :1
Started Process: 86786
INTERLEAVING :2
-----------------------------------------
Transition list for 0
0 o=1 i=0 rank=0 Recv not_single_path_bad.c:16 src=-1 rtag=0{[0, 1]} {}	 Matched [2,0]
1 o=13 i=1 rank=0 Recv not_single_path_bad.c:17 src=-1 rtag=0{[0, 2]} {}	 Matched [1,0]
2 o=14 i=2 rank=0 Recv not_single_path_bad.c:19 src=-1 rtag=0{} {}

Transition list for 1
0 o=2 i=0 rank=1 Send not_single_path_bad.c:21 dest=0 stag=0{[1, 1]} {}	 Matched [0,1]
1 o=4 i=1 rank=1 Finalize not_single_path_bad.c:23{} {}
No resource leaks detected, 2 MPI calls trapped.

Transition list for 2
0 o=3 i=0 rank=2 Send not_single_path_bad.c:21 dest=0 stag=0{[2, 1]} {}	 Matched [0,0]
1 o=5 i=1 rank=2 Finalize not_single_path_bad.c:23{} {}
No resource leaks detected, 2 MPI calls trapped.

No matching MPI call found!
Detected a DEADLOCK in interleaving 2
-----------------------------------------
-----------------------------------------
ISP detected deadlock!!!
Total Explored Interleavings: 2
Interleaving Exploration Mode: All Relevant Interleavings
-----------------------------------------
ISP - Insitu Partial Order
-----------------------------------------
Command:        ./not_single_good 
Number Procs:   3
Server:         localhost:8888
Blocking Sends: Disabled
-----------------------------------------
Started Process: 86792
INTERLEAVING :1
Started Process: 86797
INTERLEAVING :2
-----------------------------------------
ISP detected no deadlocks!
Total Explored Interleavings: 2
Interleaving Exploration Mode: All Relevant Interleavings
-----------------------------------------
ISP - Insitu Partial Order
-----------------------------------------
Command:        ./rbuf_overflow_bad 
Number Procs:   3
Server:         localhost:8888
Blocking Sends: Disabled
-----------------------------------------
Started Process: 86805
INTERLEAVING :1
-----------------------------------------
ISP detected no deadlocks!
Total Explored Interleavings: 1
Interleaving Exploration Mode: All Relevant Interleavings
-----------------------------------------
ISP - Insitu Partial Order
-----------------------------------------
Command:        ./rbuf_overflow_good 
Number Procs:   3
Server:         localhost:8888
Blocking Sends: Disabled
-----------------------------------------
Started Process: 86811
INTERLEAVING :1
-----------------------------------------
ISP detected no deadlocks!
Total Explored Interleavings: 1
Interleaving Exploration Mode: All Relevant Interleavings
-----------------------------------------
ISP - Insitu Partial Order
-----------------------------------------
Command:        ./seq1_bad 
Number Procs:   1
Server:         localhost:8888
Blocking Sends: Disabled
-----------------------------------------
Started Process: 86817
INTERLEAVING :1
-----------------------------------------
ISP detected no deadlocks!
Total Explored Interleavings: 1
Interleaving Exploration Mode: All Relevant Interleavings
-----------------------------------------
ISP - Insitu Partial Order
-----------------------------------------
Command:        ./seq1_good 
Number Procs:   1
Server:         localhost:8888
Blocking Sends: Disabled
-----------------------------------------
Started Process: 86821
INTERLEAVING :1
-----------------------------------------
ISP detected no deadlocks!
Total Explored Interleavings: 1
Interleaving Exploration Mode: All Relevant Interleavings
-----------------------------------------
ISP - Insitu Partial Order
-----------------------------------------
Command:        ./seq2_bad 
Number Procs:   2
Server:         localhost:8888
Blocking Sends: Disabled
-----------------------------------------
Started Process: 86825
INTERLEAVING :1
-----------------------------------------
ISP detected no deadlocks!
Total Explored Interleavings: 1
Interleaving Exploration Mode: All Relevant Interleavings
-----------------------------------------
ISP - Insitu Partial Order
-----------------------------------------
Command:        ./seq2_good 
Number Procs:   2
Server:         localhost:8888
Blocking Sends: Disabled
-----------------------------------------
Started Process: 86830
INTERLEAVING :1
-----------------------------------------
ISP detected no deadlocks!
Total Explored Interleavings: 1
Interleaving Exploration Mode: All Relevant Interleavings
-----------------------------------------
ISP - Insitu Partial Order
-----------------------------------------
Command:        ./seq3_bad 
Number Procs:   3
Server:         localhost:8888
Blocking Sends: Disabled
-----------------------------------------
Started Process: 86835
INTERLEAVING :1
-----------------------------------------
ISP detected no deadlocks!
Total Explored Interleavings: 1
Interleaving Exploration Mode: All Relevant Interleavings
-----------------------------------------
ISP - Insitu Partial Order
-----------------------------------------
Command:        ./seq3_good 
Number Procs:   3
Server:         localhost:8888
Blocking Sends: Disabled
-----------------------------------------
Started Process: 86841
INTERLEAVING :1
-----------------------------------------
ISP detected no deadlocks!
Total Explored Interleavings: 1
Interleaving Exploration Mode: All Relevant Interleavings
-----------------------------------------
ISP - Insitu Partial Order
-----------------------------------------
Command:        ./seq4_bad 
Number Procs:   4
Server:         localhost:8888
Blocking Sends: Disabled
-----------------------------------------
Started Process: 86847
INTERLEAVING :1
-----------------------------------------
ISP detected no deadlocks!
Total Explored Interleavings: 1
Interleaving Exploration Mode: All Relevant Interleavings
-----------------------------------------
ISP - Insitu Partial Order
-----------------------------------------
Command:        ./seq4_good 
Number Procs:   4
Server:         localhost:8888
Blocking Sends: Disabled
-----------------------------------------
Started Process: 86854
INTERLEAVING :1
-----------------------------------------
ISP detected no deadlocks!
Total Explored Interleavings: 1
Interleaving Exploration Mode: All Relevant Interleavings
-----------------------------------------
ISP - Insitu Partial Order
-----------------------------------------
Command:        ./simple_nb_bad 
Number Procs:   3
Server:         localhost:8888
Blocking Sends: Disabled
-----------------------------------------
Started Process: 86861
INTERLEAVING :1
-----------------------------------------
Transition list for 0
0 o=1 i=0 rank=0 Irecv simple_nb_bad.c:27 src=2 rtag=1 count=0{[0, 4]} {}	 Matched [2,3]
1 o=4 i=1 rank=0 Irecv simple_nb_bad.c:28 src=1 rtag=2 count=1{[0, 4]} {}
2 o=7 i=2 rank=0 Isend simple_nb_bad.c:30 dest=2 stag=1 count=2{[0, 4]} {}
3 o=10 i=3 rank=0 Isend simple_nb_bad.c:31 dest=1 stag=1 count=3{[0, 4]} {}	 Matched [1,0]
4 o=13 i=4 rank=0 Waitall simple_nb_bad.c:33{} {}

Transition list for 1
0 o=2 i=0 rank=1 Irecv simple_nb_bad.c:27 src=0 rtag=1 count=0{[1, 4]} {}	 Matched [0,3]
1 o=5 i=1 rank=1 Irecv simple_nb_bad.c:28 src=2 rtag=2 count=1{[1, 4]} {}
2 o=8 i=2 rank=1 Isend simple_nb_bad.c:30 dest=0 stag=1 count=2{[1, 4]} {}
3 o=11 i=3 rank=1 Isend simple_nb_bad.c:31 dest=2 stag=1 count=3{[1, 4]} {}	 Matched [2,0]
4 o=14 i=4 rank=1 Waitall simple_nb_bad.c:33{} {}

Transition list for 2
0 o=3 i=0 rank=2 Irecv simple_nb_bad.c:27 src=1 rtag=1 count=0{[2, 4]} {}	 Matched [1,3]
1 o=6 i=1 rank=2 Irecv simple_nb_bad.c:28 src=0 rtag=2 count=1{[2, 4]} {}
2 o=9 i=2 rank=2 Isend simple_nb_bad.c:30 dest=1 stag=1 count=2{[2, 4]} {}
3 o=12 i=3 rank=2 Isend simple_nb_bad.c:31 dest=0 stag=1 count=3{[2, 4]} {}	 Matched [0,0]
4 o=15 i=4 rank=2 Waitall simple_nb_bad.c:33{} {}

No matching MPI call found!
Detected a DEADLOCK in interleaving 1
-----------------------------------------
-----------------------------------------
ISP detected deadlock!!!
Total Explored Interleavings: 1
Interleaving Exploration Mode: All Relevant Interleavings
-----------------------------------------
ISP - Insitu Partial Order
-----------------------------------------
Command:        ./simple_nb_good 
Number Procs:   3
Server:         localhost:8888
Blocking Sends: Disabled
-----------------------------------------
Started Process: 86867
INTERLEAVING :1
Task 0 communicated with tasks 2 & 1
Task 1 communicated with tasks 0 & 2
Task 2 communicated with tasks 1 & 0
-----------------------------------------
ISP detected no deadlocks!
Total Explored Interleavings: 1
Interleaving Exploration Mode: All Relevant Interleavings
-----------------------------------------
ISP - Insitu Partial Order
-----------------------------------------
Command:        ./tags_bad 
Number Procs:   3
Server:         localhost:8888
Blocking Sends: Disabled
-----------------------------------------
Started Process: 86873
INTERLEAVING :1
-----------------------------------------
Transition list for 0
0 o=1 i=0 rank=0 Send tags_bad.c:14 dest=1 stag=0{[0, 1]} {}
1 o=4 i=1 rank=0 Finalize tags_bad.c:18{} {}
No resource leaks detected, 2 MPI calls trapped.

Transition list for 1
0 o=2 i=0 rank=1 Recv tags_bad.c:16 src=0 rtag=1{} {}

Transition list for 2
0 o=3 i=0 rank=2 Finalize tags_bad.c:18{} {}
No resource leaks detected, 1 MPI calls trapped.

No matching MPI call found!
Detected a DEADLOCK in interleaving 1
-----------------------------------------
-----------------------------------------
ISP detected deadlock!!!
Total Explored Interleavings: 1
Interleaving Exploration Mode: All Relevant Interleavings
-----------------------------------------
ISP - Insitu Partial Order
-----------------------------------------
Command:        ./tags_good 
Number Procs:   3
Server:         localhost:8888
Blocking Sends: Disabled
-----------------------------------------
Started Process: 86879
INTERLEAVING :1
-----------------------------------------
ISP detected no deadlocks!
Total Explored Interleavings: 1
Interleaving Exploration Mode: All Relevant Interleavings
-----------------------------------------
ISP - Insitu Partial Order
-----------------------------------------
Command:        ./type_match_p2p_bad 
Number Procs:   3
Server:         localhost:8888
Blocking Sends: Disabled
-----------------------------------------
Started Process: 86885
INTERLEAVING :1
-----------------------------------------
ISP detected no deadlocks!
Total Explored Interleavings: 1
Interleaving Exploration Mode: All Relevant Interleavings
-----------------------------------------
ISP - Insitu Partial Order
-----------------------------------------
Command:        ./type_match_p2p_good 
Number Procs:   3
Server:         localhost:8888
Blocking Sends: Disabled
-----------------------------------------
Started Process: 86891
INTERLEAVING :1
-----------------------------------------
ISP detected no deadlocks!
Total Explored Interleavings: 1
Interleaving Exploration Mode: All Relevant Interleavings
-----------------------------------------
