Revision 5a44a1183318dd6f9b5dc5eed204695e90703a4f authored by Max Göttlicher on 15 February 2023, 10:22:34 UTC, committed by Max Göttlicher on 15 February 2023, 10:22:34 UTC
1 parent 1898f1b
case14.graphml
<?xml version='1.0' encoding='utf-8'?>
<graphml xmlns="http://graphml.graphdrawing.org/xmlns" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://graphml.graphdrawing.org/xmlns http://graphml.graphdrawing.org/xmlns/1.0/graphml.xsd"><key id="d0" for="node" attr.name="zero_injection" attr.type="long"/>
<graph edgedefault="undirected"><node id="0">
<data key="d0">1</data>
</node>
<node id="1">
<data key="d0">0</data>
</node>
<node id="4">
<data key="d0">0</data>
</node>
<node id="2">
<data key="d0">0</data>
</node>
<node id="3">
<data key="d0">0</data>
</node>
<node id="5">
<data key="d0">0</data>
</node>
<node id="10">
<data key="d0">0</data>
</node>
<node id="11">
<data key="d0">0</data>
</node>
<node id="12">
<data key="d0">0</data>
</node>
<node id="8">
<data key="d0">0</data>
</node>
<node id="9">
<data key="d0">0</data>
</node>
<node id="13">
<data key="d0">0</data>
</node>
<node id="6">
<data key="d0">1</data>
</node>
<node id="7">
<data key="d0">0</data>
</node>
<edge source="0" target="1"/>
<edge source="0" target="4"/>
<edge source="1" target="2"/>
<edge source="1" target="3"/>
<edge source="1" target="4"/>
<edge source="4" target="3"/>
<edge source="4" target="5"/>
<edge source="2" target="3"/>
<edge source="3" target="6"/>
<edge source="3" target="8"/>
<edge source="5" target="10"/>
<edge source="5" target="11"/>
<edge source="5" target="12"/>
<edge source="10" target="9"/>
<edge source="11" target="12"/>
<edge source="12" target="13"/>
<edge source="8" target="9"/>
<edge source="8" target="13"/>
<edge source="8" target="6"/>
<edge source="6" target="7"/>
</graph></graphml>

Computing file changes ...