| Cycle | Objects | Source locations | Source events |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:78 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:78 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 | W: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) R:discrs (minimize.c:51 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 minimize.c:78 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 minimize.c:78 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 | W: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) R:discrs (minimize.c:51 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 minimize.c:78 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 minimize.c:78 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:78 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:78 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:78 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:78 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:78 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:78 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:78 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:78 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:78 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:78 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:78 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:78 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:78 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:78 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:78 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:78 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 | W: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) R:discrs (minimize.c:51 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 minimize.c:78 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 minimize.c:78 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 | W: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) R:discrs (minimize.c:51 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 minimize.c:78 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 minimize.c:78 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:78 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:78 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:78 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:78 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:78 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:78 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:78 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:78 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:78 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:78 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:78 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:78 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:78 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:78 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:78 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:78 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 | W: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) R:discrs (minimize.c:51 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 minimize.c:78 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 minimize.c:78 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 | W: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) R:discrs (minimize.c:51 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 minimize.c:78 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 minimize.c:78 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:78 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:78 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:78 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:78 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:78 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:78 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:78 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:78 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:78 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:78 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:78 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:78 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:78 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:78 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 2) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:78 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:78 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 | W: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) R:discrs (minimize.c:51 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 minimize.c:78 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 minimize.c:78 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 | W: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) R:discrs (minimize.c:51 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 minimize.c:78 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:51 minimize.c:78 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:78 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:78 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:78 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:51 minimize.c:78 minimize.c:48 | W: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) R:discrs (minimize.c:51 function rename_partition 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:78 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:78 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:78 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:78 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:78 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:78 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:45 minimize.c:78 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:78 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:78 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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 Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:78 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:77 minimize.c:72 minimize.c:71 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:77 function dfaMinimize thread 1) |
| Rfe PodRW Rfe PodRR Fre PodWR Fre | discrs, final, length | minimize.c:74 minimize.c:72 minimize.c:71 minimize.c:78 minimize.c:48 minimize.c:54 | W: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) R:discrs (minimize.c:54 function rename_partition 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:78 function dfaMinimize thread 1) |