Add results from new run

logs-20240606/csv/COLL.csv

+tool,TP,TN,FP,FN,TO,CE,RE,other,total
+itac,642,57,25,4,0,0,49,0,777
+must,679,53,26,2,0,0,17,0,777
+parcoach,520,20,65,172,0,0,0,0,777

logs-20240606/csv/P2P.csv

+tool,TP,TN,FP,FN,TO,CE,RE,other,total
+itac,534,46,24,99,10,71,106,0,890
+must,646,54,23,70,1,0,76,20,890
+parcoach,162,72,13,643,0,0,0,0,890

logs-20240606/csv/RMA.csv

+tool,TP,TN,FP,FN,TO,CE,RE,other,total
+itac,62,249,0,139,0,0,5,0,455
+must,64,68,0,55,63,0,205,0,455
+parcoach,110,3,246,96,0,0,0,0,455

logs-20240606/csv/other.csv

+tool,TP,TN,FP,FN,TO,CE,RE,other,total
+itac,0,0,1,0,0,0,0,1,2
+must,0,0,1,0,0,0,0,1,2
+parcoach,0,1,0,1,0,0,0,0,2

logs-20240606/csv/total.csv

+tool,TP,TN,FP,FN,TO,CE,RE,other,total
+itac,1238,352,50,242,10,71,160,1,2124
+must,1389,175,50,127,64,0,298,21,2124
+parcoach,792,96,324,912,0,0,0,0,2124

logs-20240606/itac/CallOrdering-mpi_improbe-mpi_send-001.c

+/* ///////////////////////// The MPI Bug Bench ////////////////////////
+
+  Description: Call Ordering: probe for message before it is going to be send
+
+  Version of MPI: 3.0
+
+  Category: P2P
+
+BEGIN_MBB_TESTS
+  $ mpirun -np 2 ${EXE}
+  | ERROR CallOrdering
+  | CallOrdering-mpi_improbe-mpi_send
+END_MBB_TESTS
+//////////////////////       End of MBI headers        /////////////////// */
+
+#include <mpi.h>
+#include <stddef.h>
+#include <stdint.h>
+#include <stdio.h>
+#include <stdlib.h>
+
+int main(int argc, char **argv) {
+  int nprocs = -1;
+  int rank = -1;
+  MPI_Message mpi_message_0 = MPI_MESSAGE_NULL;
+  int int_0 = 0;
+
+  MPI_Init(&argc, &argv);
+  MPI_Comm_size(MPI_COMM_WORLD, &nprocs);
+  MPI_Comm_rank(MPI_COMM_WORLD, &rank);
+  if (nprocs < 2)
+    printf(
+        "MBB ERROR: This test needs at least 2 processes to produce a bug!\n");
+
+  int *buf = (int *)calloc(10, sizeof(int));
+
+  if (rank == 0) {
+    MPI_Recv(buf, 10, MPI_INT, 1, 0, MPI_COMM_WORLD, MPI_STATUS_IGNORE);
+    MPI_Send(buf, 10, MPI_INT, 1, 0, MPI_COMM_WORLD);
+  }
+  if (rank == 1) {
+    int flag = 0;
+    while (!flag) {
+      /*MBBERROR_BEGIN*/ MPI_Improbe(0, 0, MPI_COMM_WORLD, &int_0,
+                                     &mpi_message_0,
+                                     MPI_STATUS_IGNORE); /*MBBERROR_END*/
+    }
+    MPI_Send(buf, 10, MPI_INT, 0, 0, MPI_COMM_WORLD);
+    MPI_Mrecv(buf, 10, MPI_INT, &mpi_message_0, MPI_STATUS_IGNORE);
+  }
+  free(buf);
+
+  MPI_Finalize();
+  printf("Rank %d finished normally\n", rank);
+  return 0;
+}

logs-20240606/itac/CallOrdering-mpi_improbe-mpi_send-001_0.elapsed

+90.20729947090149
\ No newline at end of file

logs-20240606/itac/CallOrdering-mpi_improbe-mpi_send-001_0.md5sum

+5ddb366cb81c235f42d8ea2fe49cbd6d
\ No newline at end of file

logs-20240606/itac/CallOrdering-mpi_improbe-mpi_send-001_0.timeout

+90.00596618652344 seconds
\ No newline at end of file

logs-20240606/itac/CallOrdering-mpi_improbe-mpi_send-001_0.txt

+Running #1802 /MBI/scripts/gencodes/P2P/CallOrdering-mpi_improbe-mpi_send-001.c
+Wait up to 90 seconds
+Compiling CallOrdering-mpi_improbe-mpi_send-001.c (batchinfo:1/1)
+
+
+$ mpiicc /MBI/scripts/gencodes/P2P/CallOrdering-mpi_improbe-mpi_send-001.c -O0 -g -o CallOrdering-mpi_improbe-mpi_send-001
+
+| icc: remark #10441: The Intel(R) C++ Compiler Classic (ICC) is deprecated and will be removed from product release in the second half of 2023. The Intel(R) oneAPI DPC++/C++ Compiler (ICX) is the recommended compiler moving forward. Please transition to use this compiler. Use '-diag-disable=10441' to disable this message.
+| 
+
+
+Executing the command (cwd: None)
+ $ mpirun -check_mpi -genv VT_CHECK_TRACING on -np 2 ./CallOrdering-mpi_improbe-mpi_send-001
+
+| 
+| [0] INFO: CHECK LOCAL:EXIT:SIGNAL ON
+| [0] INFO: CHECK LOCAL:EXIT:BEFORE_MPI_FINALIZE ON
+| [0] INFO: CHECK LOCAL:MPI:CALL_FAILED ON
+| [0] INFO: CHECK LOCAL:MEMORY:OVERLAP ON
+| [0] INFO: CHECK LOCAL:MEMORY:ILLEGAL_MODIFICATION ON
+| [0] INFO: CHECK LOCAL:MEMORY:INACCESSIBLE ON
+| [0] INFO: CHECK LOCAL:MEMORY:ILLEGAL_ACCESS OFF
+| [0] INFO: CHECK LOCAL:MEMORY:INITIALIZATION OFF
+| [0] INFO: CHECK LOCAL:REQUEST:ILLEGAL_CALL ON
+| [0] INFO: CHECK LOCAL:REQUEST:NOT_FREED ON
+| [0] INFO: CHECK LOCAL:REQUEST:PREMATURE_FREE ON
+| [0] INFO: CHECK LOCAL:DATATYPE:NOT_FREED ON
+| [0] INFO: CHECK LOCAL:BUFFER:INSUFFICIENT_BUFFER ON
+| [0] INFO: CHECK GLOBAL:DEADLOCK:HARD ON
+| [0] INFO: CHECK GLOBAL:DEADLOCK:POTENTIAL ON
+| [0] INFO: CHECK GLOBAL:DEADLOCK:NO_PROGRESS ON
+| [0] INFO: CHECK GLOBAL:MSG:DATATYPE:MISMATCH ON
+| [0] INFO: CHECK GLOBAL:MSG:DATA_TRANSMISSION_CORRUPTED ON
+| [0] INFO: CHECK GLOBAL:MSG:PENDING ON
+| [0] INFO: CHECK GLOBAL:COLLECTIVE:DATATYPE:MISMATCH ON
+| [0] INFO: CHECK GLOBAL:COLLECTIVE:DATA_TRANSMISSION_CORRUPTED ON
+| [0] INFO: CHECK GLOBAL:COLLECTIVE:OPERATION_MISMATCH ON
+| [0] INFO: CHECK GLOBAL:COLLECTIVE:SIZE_MISMATCH ON
+| [0] INFO: CHECK GLOBAL:COLLECTIVE:REDUCTION_OPERATION_MISMATCH ON
+| [0] INFO: CHECK GLOBAL:COLLECTIVE:ROOT_MISMATCH ON
+| [0] INFO: CHECK GLOBAL:COLLECTIVE:INVALID_PARAMETER ON
+| [0] INFO: CHECK GLOBAL:COLLECTIVE:COMM_FREE_MISMATCH ON
+| [0] INFO: maximum number of errors before aborting: CHECK-MAX-ERRORS 1
+| [0] INFO: maximum number of reports before aborting: CHECK-MAX-REPORTS 0 (= unlimited)
+| [0] INFO: maximum number of times each error is reported: CHECK-SUPPRESSION-LIMIT 10
+| [0] INFO: timeout for deadlock detection: DEADLOCK-TIMEOUT 60s
+| [0] INFO: timeout for deadlock warning: DEADLOCK-WARNING 300s
+| [0] INFO: maximum number of reported pending messages: CHECK-MAX-PENDING 20
+| 
+| [1] INFO: 502.00MB trace data in RAM + 0.00MB trace data flushed = 502.00MB total
+| [0] ERROR: no progress observed in any process for over 1:00 minutes, aborting application
+Command killed by signal 15, elapsed time: 90.20729947090149
+
+Finished #1802 /MBI/scripts/gencodes/P2P/CallOrdering-mpi_improbe-mpi_send-001.c

logs-20240606/itac/CallOrdering-mpi_iprobe-mpi_send-001.c

+/* ///////////////////////// The MPI Bug Bench ////////////////////////
+
+  Description: Call Ordering: probe for message before it is going to be send
+
+  Version of MPI: 1.0
+
+  Category: P2P
+
+BEGIN_MBB_TESTS
+  $ mpirun -np 2 ${EXE}
+  | ERROR CallOrdering
+  | CallOrdering-mpi_iprobe-mpi_send
+END_MBB_TESTS
+//////////////////////       End of MBI headers        /////////////////// */
+
+#include <mpi.h>
+#include <stddef.h>
+#include <stdint.h>
+#include <stdio.h>
+#include <stdlib.h>
+
+int main(int argc, char **argv) {
+  int nprocs = -1;
+  int rank = -1;
+  int int_0 = 0;
+
+  MPI_Init(&argc, &argv);
+  MPI_Comm_size(MPI_COMM_WORLD, &nprocs);
+  MPI_Comm_rank(MPI_COMM_WORLD, &rank);
+  if (nprocs < 2)
+    printf(
+        "MBB ERROR: This test needs at least 2 processes to produce a bug!\n");
+
+  int *buf = (int *)calloc(10, sizeof(int));
+
+  if (rank == 0) {
+    int_0 = 0;
+    while (!int_0) {
+      /*MBBERROR_BEGIN*/ MPI_Iprobe(0, 0, MPI_COMM_WORLD, &int_0,
+                                    MPI_STATUS_IGNORE); /*MBBERROR_END*/
+    }
+    MPI_Recv(buf, 10, MPI_INT, 1, 0, MPI_COMM_WORLD, MPI_STATUS_IGNORE);
+    MPI_Send(buf, 10, MPI_INT, 1, 0, MPI_COMM_WORLD);
+  }
+  if (rank == 1) {
+    MPI_Send(buf, 10, MPI_INT, 0, 0, MPI_COMM_WORLD);
+    MPI_Recv(buf, 10, MPI_INT, 0, 0, MPI_COMM_WORLD, MPI_STATUS_IGNORE);
+  }
+  free(buf);
+
+  MPI_Finalize();
+  printf("Rank %d finished normally\n", rank);
+  return 0;
+}

logs-20240606/itac/CallOrdering-mpi_iprobe-mpi_send-001_0.elapsed

+90.20831084251404
\ No newline at end of file

logs-20240606/itac/CallOrdering-mpi_iprobe-mpi_send-001_0.md5sum

+be0dee613e1d35d144d8361c07dc4f2a
\ No newline at end of file

logs-20240606/itac/CallOrdering-mpi_iprobe-mpi_send-001_0.timeout

+90.00676846504211 seconds
\ No newline at end of file

logs-20240606/itac/CallOrdering-mpi_iprobe-mpi_send-001_0.txt

+Running #1904 /MBI/scripts/gencodes/P2P/CallOrdering-mpi_iprobe-mpi_send-001.c
+Wait up to 90 seconds
+Compiling CallOrdering-mpi_iprobe-mpi_send-001.c (batchinfo:1/1)
+
+
+$ mpiicc /MBI/scripts/gencodes/P2P/CallOrdering-mpi_iprobe-mpi_send-001.c -O0 -g -o CallOrdering-mpi_iprobe-mpi_send-001
+
+| icc: remark #10441: The Intel(R) C++ Compiler Classic (ICC) is deprecated and will be removed from product release in the second half of 2023. The Intel(R) oneAPI DPC++/C++ Compiler (ICX) is the recommended compiler moving forward. Please transition to use this compiler. Use '-diag-disable=10441' to disable this message.
+| 
+
+
+Executing the command (cwd: None)
+ $ mpirun -check_mpi -genv VT_CHECK_TRACING on -np 2 ./CallOrdering-mpi_iprobe-mpi_send-001
+
+| 
+Command killed by signal 15, elapsed time: 90.20831084251404
+
+Finished #1904 /MBI/scripts/gencodes/P2P/CallOrdering-mpi_iprobe-mpi_send-001.c

logs-20240606/itac/CallOrdering-mpi_mprobe-mpi_send-001.c

+/* ///////////////////////// The MPI Bug Bench ////////////////////////
+
+  Description: Call Ordering: probe for message before it is going to be send
+
+  Version of MPI: 3.0
+
+  Category: P2P
+
+BEGIN_MBB_TESTS
+  $ mpirun -np 2 ${EXE}
+  | ERROR CallOrdering
+  | CallOrdering-mpi_mprobe-mpi_send
+END_MBB_TESTS
+//////////////////////       End of MBI headers        /////////////////// */
+
+#include <mpi.h>
+#include <stddef.h>
+#include <stdint.h>
+#include <stdio.h>
+#include <stdlib.h>
+
+int main(int argc, char **argv) {
+  int nprocs = -1;
+  int rank = -1;
+  MPI_Message mpi_message_0 = MPI_MESSAGE_NULL;
+
+  MPI_Init(&argc, &argv);
+  MPI_Comm_size(MPI_COMM_WORLD, &nprocs);
+  MPI_Comm_rank(MPI_COMM_WORLD, &rank);
+  if (nprocs < 2)
+    printf(
+        "MBB ERROR: This test needs at least 2 processes to produce a bug!\n");
+
+  int *buf = (int *)calloc(10, sizeof(int));
+
+  if (rank == 0) {
+    MPI_Recv(buf, 10, MPI_INT, 1, 0, MPI_COMM_WORLD, MPI_STATUS_IGNORE);
+    MPI_Send(buf, 10, MPI_INT, 1, 0, MPI_COMM_WORLD);
+  }
+  if (rank == 1) {
+    /*MBBERROR_BEGIN*/ MPI_Mprobe(0, 0, MPI_COMM_WORLD, &mpi_message_0,
+                                  MPI_STATUS_IGNORE); /*MBBERROR_END*/
+    MPI_Send(buf, 10, MPI_INT, 0, 0, MPI_COMM_WORLD);
+    MPI_Mrecv(buf, 10, MPI_INT, &mpi_message_0, MPI_STATUS_IGNORE);
+  }
+  free(buf);
+
+  MPI_Finalize();
+  printf("Rank %d finished normally\n", rank);
+  return 0;
+}

logs-20240606/itac/CallOrdering-mpi_mprobe-mpi_send-001_0.elapsed

+62.363240242004395
\ No newline at end of file

logs-20240606/itac/CallOrdering-mpi_mprobe-mpi_send-001_0.md5sum

+8430f54c655fe06dfada29c6bc7400f6
\ No newline at end of file

logs-20240606/itac/CallOrdering-mpi_mprobe-mpi_send-001_0.txt

+Running #1718 /MBI/scripts/gencodes/P2P/CallOrdering-mpi_mprobe-mpi_send-001.c
+Wait up to 90 seconds
+Compiling CallOrdering-mpi_mprobe-mpi_send-001.c (batchinfo:1/1)
+
+
+$ mpiicc /MBI/scripts/gencodes/P2P/CallOrdering-mpi_mprobe-mpi_send-001.c -O0 -g -o CallOrdering-mpi_mprobe-mpi_send-001
+
+| icc: remark #10441: The Intel(R) C++ Compiler Classic (ICC) is deprecated and will be removed from product release in the second half of 2023. The Intel(R) oneAPI DPC++/C++ Compiler (ICX) is the recommended compiler moving forward. Please transition to use this compiler. Use '-diag-disable=10441' to disable this message.
+| 
+
+
+Executing the command (cwd: None)
+ $ mpirun -check_mpi -genv VT_CHECK_TRACING on -np 2 ./CallOrdering-mpi_mprobe-mpi_send-001
+
+| 
+| [0] INFO: CHECK LOCAL:EXIT:SIGNAL ON
+| [0] INFO: CHECK LOCAL:EXIT:BEFORE_MPI_FINALIZE ON
+| [0] INFO: CHECK LOCAL:MPI:CALL_FAILED ON
+| [0] INFO: CHECK LOCAL:MEMORY:OVERLAP ON
+| [0] INFO: CHECK LOCAL:MEMORY:ILLEGAL_MODIFICATION ON
+| [0] INFO: CHECK LOCAL:MEMORY:INACCESSIBLE ON
+| [0] INFO: CHECK LOCAL:MEMORY:ILLEGAL_ACCESS OFF
+| [0] INFO: CHECK LOCAL:MEMORY:INITIALIZATION OFF
+| [0] INFO: CHECK LOCAL:REQUEST:ILLEGAL_CALL ON
+| [0] INFO: CHECK LOCAL:REQUEST:NOT_FREED ON
+| [0] INFO: CHECK LOCAL:REQUEST:PREMATURE_FREE ON
+| [0] INFO: CHECK LOCAL:DATATYPE:NOT_FREED ON
+| [0] INFO: CHECK LOCAL:BUFFER:INSUFFICIENT_BUFFER ON
+| [0] INFO: CHECK GLOBAL:DEADLOCK:HARD ON
+| [0] INFO: CHECK GLOBAL:DEADLOCK:POTENTIAL ON
+| [0] INFO: CHECK GLOBAL:DEADLOCK:NO_PROGRESS ON
+| [0] INFO: CHECK GLOBAL:MSG:DATATYPE:MISMATCH ON
+| [0] INFO: CHECK GLOBAL:MSG:DATA_TRANSMISSION_CORRUPTED ON
+| [0] INFO: CHECK GLOBAL:MSG:PENDING ON
+| [0] INFO: CHECK GLOBAL:COLLECTIVE:DATATYPE:MISMATCH ON
+| [0] INFO: CHECK GLOBAL:COLLECTIVE:DATA_TRANSMISSION_CORRUPTED ON
+| [0] INFO: CHECK GLOBAL:COLLECTIVE:OPERATION_MISMATCH ON
+| [0] INFO: CHECK GLOBAL:COLLECTIVE:SIZE_MISMATCH ON
+| [0] INFO: CHECK GLOBAL:COLLECTIVE:REDUCTION_OPERATION_MISMATCH ON
+| [0] INFO: CHECK GLOBAL:COLLECTIVE:ROOT_MISMATCH ON
+| [0] INFO: CHECK GLOBAL:COLLECTIVE:INVALID_PARAMETER ON
+| [0] INFO: CHECK GLOBAL:COLLECTIVE:COMM_FREE_MISMATCH ON
+| [0] INFO: maximum number of errors before aborting: CHECK-MAX-ERRORS 1
+| [0] INFO: maximum number of reports before aborting: CHECK-MAX-REPORTS 0 (= unlimited)
+| [0] INFO: maximum number of times each error is reported: CHECK-SUPPRESSION-LIMIT 10
+| [0] INFO: timeout for deadlock detection: DEADLOCK-TIMEOUT 60s
+| [0] INFO: timeout for deadlock warning: DEADLOCK-WARNING 300s
+| [0] INFO: maximum number of reported pending messages: CHECK-MAX-PENDING 20
+| 
+| [0] ERROR: no progress observed in any process for over 1:00 minutes, aborting application
+| [0] WARNING: starting emergency trace file writing
+| 
+| [0] ERROR: GLOBAL:DEADLOCK:HARD: fatal error
+| [0] ERROR:    Application aborted because no progress was observed for over 1:00 minutes,
+| [0] ERROR:    check for real deadlock (cycle of processes waiting for data) or
+| [0] ERROR:    potential deadlock (processes sending data to each other and getting blocked
+| [0] ERROR:    because the MPI might wait for the corresponding receive).
+| [0] ERROR:    [0] no progress observed for over 1:00 minutes, process is currently in MPI call:
+| [0] ERROR:       MPI_Recv(*buf=0x46f530, count=10, datatype=MPI_INT, source=1, tag=0, comm=MPI_COMM_WORLD, *status=0x1)
+| [0] ERROR:       (/MBI/scripts/gencodes/P2P/CallOrdering-mpi_mprobe-mpi_send-001.c:37)
+| [0] ERROR:       (/usr/lib/x86_64-linux-gnu/libc.so.6)
+| [0] ERROR:       (/usr/lib/x86_64-linux-gnu/libc.so.6)
+| [0] ERROR:       (/MBI/logs-claix23-7/itac/CallOrdering-mpi_mprobe-mpi_send-001)
+| [0] ERROR:    [1] no progress observed for over 1:00 minutes, process is currently in MPI call:
+| [0] ERROR:       MPI_Mprobe(source=0, tag=0, comm=MPI_COMM_WORLD, *message, *status=0x7fffe4c77248)
+| [0] ERROR:       (/MBI/scripts/gencodes/P2P/CallOrdering-mpi_mprobe-mpi_send-001.c:41)
+| [0] ERROR:       (/usr/lib/x86_64-linux-gnu/libc.so.6)
+| [0] ERROR:       (/usr/lib/x86_64-linux-gnu/libc.so.6)
+| [0] ERROR:       (/MBI/logs-claix23-7/itac/CallOrdering-mpi_mprobe-mpi_send-001)
+| [0] INFO: Writing tracefile CallOrdering-mpi_mprobe-mpi_send-001.stf in /MBI/logs-claix23-7/itac
+| 
+| [0] INFO: GLOBAL:DEADLOCK:HARD: found 1 time (1 error + 0 warnings), 0 reports were suppressed
+| [0] INFO: Found 1 problem (1 error + 0 warnings), 0 reports were suppressed.
+| 
+| 
+| ===================================================================================
+| =   BAD TERMINATION OF ONE OF YOUR APPLICATION PROCESSES
+| =   RANK 0 PID 107851 RUNNING AT n23g0009.hpc.itc.rwth-aachen.de
+| =   KILLED BY SIGNAL: 9 (Killed)
+| ===================================================================================
+| 
+| ===================================================================================
+| =   BAD TERMINATION OF ONE OF YOUR APPLICATION PROCESSES
+| =   RANK 1 PID 107852 RUNNING AT n23g0009.hpc.itc.rwth-aachen.de
+| =   KILLED BY SIGNAL: 9 (Killed)
+| ===================================================================================
+| 
+Command return code: 255, elapsed time: 62.363240242004395
+
+Finished #1718 /MBI/scripts/gencodes/P2P/CallOrdering-mpi_mprobe-mpi_send-001.c