digraph "test-xtf-amd64-amd64-3 xtf/test-hvm64-lbr-tsx-vmentry" {
  rankdir=BT;
  ranksep=0;
  nodesep=0.3;
  edge [arrowsize=0.2];
  node [shape=box, fontname="Courier-Bold", fontsize=9, style="filled"];
  "eff40cb1908b,c530a75c1e6a,3bed93d77245,27db72c85242,*193130f53f22*,bc35269fccd1" [];
  "eff40cb1908b,c530a75c1e6a,3bed93d77245,27db72c85242,*7f2959f8f6d0*,bc35269fccd1" -> "eff40cb1908b,c530a75c1e6a,3bed93d77245,27db72c85242,*193130f53f22*,bc35269fccd1";
  "eff40cb1908b,c530a75c1e6a,3bed93d77245,27db72c85242,*9cba9aeb4d9b*,bc35269fccd1" [];
  "eff40cb1908b,c530a75c1e6a,3bed93d77245,27db72c85242,*f99bc153d233*,bc35269fccd1" -> "eff40cb1908b,c530a75c1e6a,3bed93d77245,27db72c85242,*9cba9aeb4d9b*,bc35269fccd1";
  "eff40cb1908b,c530a75c1e6a,3bed93d77245,27db72c85242,*7f2959f8f6d0*,bc35269fccd1" [];
  "eff40cb1908b,c530a75c1e6a,3bed93d77245,27db72c85242,*9cba9aeb4d9b*,bc35269fccd1" -> "eff40cb1908b,c530a75c1e6a,3bed93d77245,27db72c85242,*7f2959f8f6d0*,bc35269fccd1";
  "eff40cb1908b,c530a75c1e6a,3bed93d77245,27db72c85242,*44c709e6304b*,bc35269fccd1\n122992:fail" [fillcolor="red", fontcolor="white",  peripheries=2,  style="bold,filled",  shape=hexagon];
  "eff40cb1908b,c530a75c1e6a,3bed93d77245,27db72c85242,*c10ddc1ff98d*,bc35269fccd1" -> "eff40cb1908b,c530a75c1e6a,3bed93d77245,27db72c85242,*44c709e6304b*,bc35269fccd1\n122992:fail";
  "eff40cb1908b,c530a75c1e6a,3bed93d77245,27db72c85242,*f99bc153d233*,bc35269fccd1" [];
  "eff40cb1908b,c530a75c1e6a,3bed93d77245,27db72c85242,*44c709e6304b*,bc35269fccd1\n122992:fail" -> "eff40cb1908b,c530a75c1e6a,3bed93d77245,27db72c85242,*f99bc153d233*,bc35269fccd1";
  "eff40cb1908b,c530a75c1e6a,3bed93d77245,27db72c85242,*0f475fedfc0b*,bc35269fccd1" [];
  "eff40cb1908b,c530a75c1e6a,3bed93d77245,27db72c85242,*210bd51a2e7b*,bc35269fccd1" -> "eff40cb1908b,c530a75c1e6a,3bed93d77245,27db72c85242,*0f475fedfc0b*,bc35269fccd1";
  "eff40cb1908b,c530a75c1e6a,3bed93d77245,27db72c85242,*d66898a15d47*,bc35269fccd1" [];
  "eff40cb1908b,c530a75c1e6a,3bed93d77245,27db72c85242,*f2837b5f1139*,bc35269fccd1" -> "eff40cb1908b,c530a75c1e6a,3bed93d77245,27db72c85242,*d66898a15d47*,bc35269fccd1";
  "eff40cb1908b,c530a75c1e6a,3bed93d77245,27db72c85242,*f2837b5f1139*,bc35269fccd1" [];
  "eff40cb1908b,c530a75c1e6a,3bed93d77245,27db72c85242,*0f475fedfc0b*,bc35269fccd1" -> "eff40cb1908b,c530a75c1e6a,3bed93d77245,27db72c85242,*f2837b5f1139*,bc35269fccd1";
  "eff40cb1908b,c530a75c1e6a,3bed93d77245,27db72c85242,*197e605e03a1*,bc35269fccd1\n122922:fail" [fillcolor="red", fontcolor="white",  shape=oval];
  "eff40cb1908b,c530a75c1e6a,3bed93d77245,27db72c85242,*eaa9d0a9ae01*,bc35269fccd1" -> "eff40cb1908b,c530a75c1e6a,3bed93d77245,27db72c85242,*197e605e03a1*,bc35269fccd1\n122922:fail";
  "eff40cb1908b,c530a75c1e6a,3bed93d77245,27db72c85242,*210bd51a2e7b*,bc35269fccd1" [];
  "eff40cb1908b,c530a75c1e6a,3bed93d77245,27db72c85242,*b4ad8a6f152e*,bc35269fccd1" -> "eff40cb1908b,c530a75c1e6a,3bed93d77245,27db72c85242,*210bd51a2e7b*,bc35269fccd1";
  "eff40cb1908b,c530a75c1e6a,3bed93d77245,27db72c85242,*eaa9d0a9ae01*,bc35269fccd1" [];
  "eff40cb1908b,c530a75c1e6a,3bed93d77245,27db72c85242,*d66898a15d47*,bc35269fccd1" -> "eff40cb1908b,c530a75c1e6a,3bed93d77245,27db72c85242,*eaa9d0a9ae01*,bc35269fccd1";
  "eff40cb1908b,c530a75c1e6a,3bed93d77245,27db72c85242,*4cdd4cc10643*,bc35269fccd1" [];
  "eff40cb1908b,c530a75c1e6a,3bed93d77245,27db72c85242,*193130f53f22*,bc35269fccd1" -> "eff40cb1908b,c530a75c1e6a,3bed93d77245,27db72c85242,*4cdd4cc10643*,bc35269fccd1";
  "eff40cb1908b,c530a75c1e6a,3bed93d77245,27db72c85242,*b4ad8a6f152e*,bc35269fccd1" [];
  "eff40cb1908b,c530a75c1e6a,3bed93d77245,27db72c85242,*4cdd4cc10643*,bc35269fccd1" -> "eff40cb1908b,c530a75c1e6a,3bed93d77245,27db72c85242,*b4ad8a6f152e*,bc35269fccd1";
}