All instances of w+rw+wr+wr in mona

CycleObjectsSource locationsSource events
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:111W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:111 function dfaMinimize thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:111W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:111 function dfaMinimize thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:111W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:111 function dfaMinimize thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:111W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:111 function dfaMinimize thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:111W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:111 function dfaMinimize thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:111W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:111 function dfaMinimize thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 2) R:length (minimize.c:74 function dfaMinimize thread 2)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:111W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:111 function dfaMinimize thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:111W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:111 function dfaMinimize thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:45 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 2) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)
Rfe PodRW Wse PodWR Fre PodWR Frediscrs, final, lengthminimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48W:length (minimize.c:71 function dfaMinimize thread 0) R:length (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 1) W:discrs (minimize.c:74 function dfaMinimize thread 0) R:final (minimize.c:48 function rename_partition thread 0) W:final (minimize.c:72 function dfaMinimize thread 1) R:length (minimize.c:74 function dfaMinimize thread 1)

This document was translated from LATEX by HEVEA.