digraph "test-amd64-coresched-amd64-xl guest-saverestore" {
  rankdir=BT;
  ranksep=0;
  nodesep=0.3;
  edge [arrowsize=0.2];
  node [shape=box, fontname="Courier-Bold", fontsize=9, style="filled"];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*ad0fd291c5e7*\n153947:blocked 153954:blocked" [fillcolor="blue",  fontcolor="white"];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*a5eaac9245f4*\n153950:blocked" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*ad0fd291c5e7*\n153947:blocked 153954:blocked";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*a5eaac9245f4*\n153950:blocked" [fillcolor="blue",  fontcolor="white"];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*f5b44269fc73*\n153882:pass 153940:blocked 153988:pass" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*a5eaac9245f4*\n153950:blocked";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*1be24cd17741*" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*ad0fd291c5e7*\n153947:blocked 153954:blocked" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*1be24cd17741*";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*b11910082d90*\n153906:blocked 153931:blocked 153944:blocked 153957:fail 153992:pass" [ fillcolor="yellow",  fontcolor="black",  peripheries=2,  style="bold,filled",  shape=oval];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*71039ed743a3*" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*b11910082d90*\n153906:blocked 153931:blocked 153944:blocked 153957:fail 153992:pass";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*f5b44269fc73*\n153882:pass 153940:blocked 153988:pass" [fillcolor="#00c000", fontcolor="black",  shape=hexagon];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*2454fa428d0b*" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*f5b44269fc73*\n153882:pass 153940:blocked 153988:pass";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*71039ed743a3*" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*1be24cd17741*" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*71039ed743a3*";
}