img/tests-10/efsm_extended-min-ub-w2_C8_K4_P5_T16_N25.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.39.20160612.1140 (20090106.0545)
 -->
<!-- Title: %3 Pages: 1 -->
<svg width="802pt" height="475pt"
 viewBox="0.00 0.00 801.50 475.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 471)">
<title>%3</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-471 797.5,-471 797.5,4 -4,4"/>
<!-- 1 -->
<g id="node1" class="node">
<title>1</title>
<path fill="none" stroke="black" d="M501.5,-430.5C501.5,-430.5 615.5,-430.5 615.5,-430.5 621.5,-430.5 627.5,-436.5 627.5,-442.5 627.5,-442.5 627.5,-454.5 627.5,-454.5 627.5,-460.5 621.5,-466.5 615.5,-466.5 615.5,-466.5 501.5,-466.5 501.5,-466.5 495.5,-466.5 489.5,-460.5 489.5,-454.5 489.5,-454.5 489.5,-442.5 489.5,-442.5 489.5,-436.5 495.5,-430.5 501.5,-430.5"/>
<text text-anchor="middle" x="497.5" y="-445.4" font-family="Source Code Pro,monospace" font-size="12.00">1</text>
<polyline fill="none" stroke="black" points="505.5,-430.5 505.5,-466.5 "/>
<text text-anchor="middle" x="528.5" y="-445.4" font-family="Source Code Pro,monospace" font-size="12.00">INITO</text>
<polyline fill="none" stroke="black" points="551.5,-430.5 551.5,-466.5 "/>
<text text-anchor="middle" x="589.5" y="-454.4" font-family="Source Code Pro,monospace" font-size="12.00">0:0000000</text>
<polyline fill="none" stroke="black" points="551.5,-448.5 627.5,-448.5 "/>
<text text-anchor="middle" x="589.5" y="-436.4" font-family="Source Code Pro,monospace" font-size="12.00">1:1111111</text>
</g>
<!-- 2 -->
<g id="node2" class="node">
<title>2</title>
<path fill="none" stroke="black" d="M509,-344.5C509,-344.5 608,-344.5 608,-344.5 614,-344.5 620,-350.5 620,-356.5 620,-356.5 620,-368.5 620,-368.5 620,-374.5 614,-380.5 608,-380.5 608,-380.5 509,-380.5 509,-380.5 503,-380.5 497,-374.5 497,-368.5 497,-368.5 497,-356.5 497,-356.5 497,-350.5 503,-344.5 509,-344.5"/>
<text text-anchor="middle" x="505" y="-359.4" font-family="Source Code Pro,monospace" font-size="12.00">2</text>
<polyline fill="none" stroke="black" points="513,-344.5 513,-380.5 "/>
<text text-anchor="middle" x="528.5" y="-359.4" font-family="Source Code Pro,monospace" font-size="12.00">CNF</text>
<polyline fill="none" stroke="black" points="544,-344.5 544,-380.5 "/>
<text text-anchor="middle" x="582" y="-368.4" font-family="Source Code Pro,monospace" font-size="12.00">0:0010000</text>
<polyline fill="none" stroke="black" points="544,-362.5 620,-362.5 "/>
<text text-anchor="middle" x="582" y="-350.4" font-family="Source Code Pro,monospace" font-size="12.00">1:1010010</text>
</g>
<!-- 1&#45;&gt;2 -->
<g id="edge3" class="edge">
<title>1&#45;&gt;2</title>
<path fill="none" stroke="black" d="M558.5,-430.1C558.5,-418.76 558.5,-403.73 558.5,-390.82"/>
<polygon fill="black" stroke="black" points="562,-390.6 558.5,-380.6 555,-390.6 562,-390.6"/>
<text text-anchor="middle" x="589" y="-402.4" font-family="Source Code Pro,monospace" font-size="12.00">3:REQ/x8</text>
</g>
<!-- 3 -->
<g id="node3" class="node">
<title>3</title>
<path fill="none" stroke="black" d="M647,-86.5C647,-86.5 746,-86.5 746,-86.5 752,-86.5 758,-92.5 758,-98.5 758,-98.5 758,-110.5 758,-110.5 758,-116.5 752,-122.5 746,-122.5 746,-122.5 647,-122.5 647,-122.5 641,-122.5 635,-116.5 635,-110.5 635,-110.5 635,-98.5 635,-98.5 635,-92.5 641,-86.5 647,-86.5"/>
<text text-anchor="middle" x="643" y="-101.4" font-family="Source Code Pro,monospace" font-size="12.00">3</text>
<polyline fill="none" stroke="black" points="651,-86.5 651,-122.5 "/>
<text text-anchor="middle" x="666.5" y="-101.4" font-family="Source Code Pro,monospace" font-size="12.00">CNF</text>
<polyline fill="none" stroke="black" points="682,-86.5 682,-122.5 "/>
<text text-anchor="middle" x="720" y="-110.4" font-family="Source Code Pro,monospace" font-size="12.00">0:1010000</text>
<polyline fill="none" stroke="black" points="682,-104.5 758,-104.5 "/>
<text text-anchor="middle" x="720" y="-92.4" font-family="Source Code Pro,monospace" font-size="12.00">1:1010010</text>
</g>
<!-- 1&#45;&gt;3 -->
<g id="edge2" class="edge">
<title>1&#45;&gt;3</title>
<path fill="none" stroke="black" d="M627.52,-441.38C676.1,-432.84 732.5,-412.39 732.5,-363.5 732.5,-363.5 732.5,-363.5 732.5,-189.5 732.5,-168.81 723.16,-147.4 713.99,-131.38"/>
<polygon fill="black" stroke="black" points="716.86,-129.35 708.69,-122.61 710.87,-132.98 716.86,-129.35"/>
<text text-anchor="middle" x="763" y="-273.4" font-family="Source Code Pro,monospace" font-size="12.00">2:REQ/x9</text>
</g>
<!-- 4 -->
<g id="node4" class="node">
<title>4</title>
<path fill="none" stroke="black" d="M12,-86.5C12,-86.5 111,-86.5 111,-86.5 117,-86.5 123,-92.5 123,-98.5 123,-98.5 123,-110.5 123,-110.5 123,-116.5 117,-122.5 111,-122.5 111,-122.5 12,-122.5 12,-122.5 6,-122.5 0,-116.5 0,-110.5 0,-110.5 0,-98.5 0,-98.5 0,-92.5 6,-86.5 12,-86.5"/>
<text text-anchor="middle" x="8" y="-101.4" font-family="Source Code Pro,monospace" font-size="12.00">4</text>
<polyline fill="none" stroke="black" points="16,-86.5 16,-122.5 "/>
<text text-anchor="middle" x="31.5" y="-101.4" font-family="Source Code Pro,monospace" font-size="12.00">CNF</text>
<polyline fill="none" stroke="black" points="47,-86.5 47,-122.5 "/>
<text text-anchor="middle" x="85" y="-110.4" font-family="Source Code Pro,monospace" font-size="12.00">0:1000000</text>
<polyline fill="none" stroke="black" points="47,-104.5 123,-104.5 "/>
<text text-anchor="middle" x="85" y="-92.4" font-family="Source Code Pro,monospace" font-size="12.00">1:1010010</text>
</g>
<!-- 1&#45;&gt;4 -->
<g id="edge1" class="edge">
<title>1&#45;&gt;4</title>
<path fill="none" stroke="black" d="M489.45,-443.9C343.2,-435.36 15.5,-410.93 15.5,-363.5 15.5,-363.5 15.5,-363.5 15.5,-189.5 15.5,-167.9 27.35,-146.58 39.02,-130.83"/>
<polygon fill="black" stroke="black" points="41.99,-132.71 45.41,-122.68 36.49,-128.39 41.99,-132.71"/>
<text text-anchor="middle" x="46" y="-273.4" font-family="Source Code Pro,monospace" font-size="12.00">1:REQ/x7</text>
</g>
<!-- 5 -->
<g id="node5" class="node">
<title>5</title>
<path fill="none" stroke="black" d="M355,-258.5C355,-258.5 454,-258.5 454,-258.5 460,-258.5 466,-264.5 466,-270.5 466,-270.5 466,-282.5 466,-282.5 466,-288.5 460,-294.5 454,-294.5 454,-294.5 355,-294.5 355,-294.5 349,-294.5 343,-288.5 343,-282.5 343,-282.5 343,-270.5 343,-270.5 343,-264.5 349,-258.5 355,-258.5"/>
<text text-anchor="middle" x="351" y="-273.4" font-family="Source Code Pro,monospace" font-size="12.00">5</text>
<polyline fill="none" stroke="black" points="359,-258.5 359,-294.5 "/>
<text text-anchor="middle" x="374.5" y="-273.4" font-family="Source Code Pro,monospace" font-size="12.00">CNF</text>
<polyline fill="none" stroke="black" points="390,-258.5 390,-294.5 "/>
<text text-anchor="middle" x="428" y="-282.4" font-family="Source Code Pro,monospace" font-size="12.00">0:0000100</text>
<polyline fill="none" stroke="black" points="390,-276.5 466,-276.5 "/>
<text text-anchor="middle" x="428" y="-264.4" font-family="Source Code Pro,monospace" font-size="12.00">1:1111011</text>
</g>
<!-- 2&#45;&gt;5 -->
<g id="edge4" class="edge">
<title>2&#45;&gt;5</title>
<path fill="none" stroke="black" d="M526.96,-344.3C503.22,-331.35 470.48,-313.49 444.83,-299.5"/>
<polygon fill="black" stroke="black" points="446.19,-296.25 435.73,-294.53 442.83,-302.4 446.19,-296.25"/>
<text text-anchor="middle" x="522" y="-316.4" font-family="Source Code Pro,monospace" font-size="12.00">1:REQ/x4</text>
</g>
<!-- 3&#45;&gt;5 -->
<g id="edge5" class="edge">
<title>3&#45;&gt;5</title>
<path fill="none" stroke="black" d="M685.58,-122.72C664.42,-155.52 617.8,-225.05 593.5,-240 558.67,-261.43 513.9,-270.48 476.68,-274.09"/>
<polygon fill="black" stroke="black" points="476.06,-270.63 466.4,-274.97 476.66,-277.6 476.06,-270.63"/>
<text text-anchor="middle" x="682" y="-187.4" font-family="Source Code Pro,monospace" font-size="12.00">1:REQ/x4</text>
</g>
<!-- 4&#45;&gt;5 -->
<g id="edge6" class="edge">
<title>4&#45;&gt;5</title>
<path fill="none" stroke="black" d="M67.91,-122.61C77.26,-145.37 96.71,-185.47 125.5,-209 184.12,-256.91 271.51,-271.37 332.83,-275.21"/>
<polygon fill="black" stroke="black" points="332.65,-278.71 342.82,-275.76 333.03,-271.72 332.65,-278.71"/>
<text text-anchor="middle" x="156" y="-187.4" font-family="Source Code Pro,monospace" font-size="12.00">1:REQ/x2</text>
</g>
<!-- 6 -->
<g id="node6" class="node">
<title>6</title>
<path fill="none" stroke="black" d="M496,-172.5C496,-172.5 595,-172.5 595,-172.5 601,-172.5 607,-178.5 607,-184.5 607,-184.5 607,-196.5 607,-196.5 607,-202.5 601,-208.5 595,-208.5 595,-208.5 496,-208.5 496,-208.5 490,-208.5 484,-202.5 484,-196.5 484,-196.5 484,-184.5 484,-184.5 484,-178.5 490,-172.5 496,-172.5"/>
<text text-anchor="middle" x="492" y="-187.4" font-family="Source Code Pro,monospace" font-size="12.00">6</text>
<polyline fill="none" stroke="black" points="500,-172.5 500,-208.5 "/>
<text text-anchor="middle" x="515.5" y="-187.4" font-family="Source Code Pro,monospace" font-size="12.00">CNF</text>
<polyline fill="none" stroke="black" points="531,-172.5 531,-208.5 "/>
<text text-anchor="middle" x="569" y="-196.4" font-family="Source Code Pro,monospace" font-size="12.00">0:0101000</text>
<polyline fill="none" stroke="black" points="531,-190.5 607,-190.5 "/>
<text text-anchor="middle" x="569" y="-178.4" font-family="Source Code Pro,monospace" font-size="12.00">1:0101011</text>
</g>
<!-- 5&#45;&gt;6 -->
<g id="edge8" class="edge">
<title>5&#45;&gt;6</title>
<path fill="none" stroke="black" d="M433.37,-258.3C454.95,-245.45 484.63,-227.76 508.03,-213.82"/>
<polygon fill="black" stroke="black" points="509.87,-216.8 516.66,-208.68 506.28,-210.79 509.87,-216.8"/>
<text text-anchor="middle" x="536.5" y="-230.4" font-family="Source Code Pro,monospace" font-size="12.00">2:REQ/x10 &amp; x5</text>
</g>
<!-- 7 -->
<g id="node7" class="node">
<title>7</title>
<path fill="none" stroke="black" d="M231,-86.5C231,-86.5 330,-86.5 330,-86.5 336,-86.5 342,-92.5 342,-98.5 342,-98.5 342,-110.5 342,-110.5 342,-116.5 336,-122.5 330,-122.5 330,-122.5 231,-122.5 231,-122.5 225,-122.5 219,-116.5 219,-110.5 219,-110.5 219,-98.5 219,-98.5 219,-92.5 225,-86.5 231,-86.5"/>
<text text-anchor="middle" x="227" y="-101.4" font-family="Source Code Pro,monospace" font-size="12.00">7</text>
<polyline fill="none" stroke="black" points="235,-86.5 235,-122.5 "/>
<text text-anchor="middle" x="250.5" y="-101.4" font-family="Source Code Pro,monospace" font-size="12.00">CNF</text>
<polyline fill="none" stroke="black" points="266,-86.5 266,-122.5 "/>
<text text-anchor="middle" x="304" y="-110.4" font-family="Source Code Pro,monospace" font-size="12.00">0:0000110</text>
<polyline fill="none" stroke="black" points="266,-104.5 342,-104.5 "/>
<text text-anchor="middle" x="304" y="-92.4" font-family="Source Code Pro,monospace" font-size="12.00">1:1111111</text>
</g>
<!-- 5&#45;&gt;7 -->
<g id="edge7" class="edge">
<title>5&#45;&gt;7</title>
<path fill="none" stroke="black" d="M342.95,-261.06C315.49,-251.21 285.72,-235.07 269.5,-209 255.18,-185.98 261.42,-154.4 269.04,-132.19"/>
<polygon fill="black" stroke="black" points="272.36,-133.31 272.57,-122.71 265.8,-130.86 272.36,-133.31"/>
<text text-anchor="middle" x="326" y="-187.4" font-family="Source Code Pro,monospace" font-size="12.00">1:REQ/~x10 &amp; x6</text>
</g>
<!-- 6&#45;&gt;2 -->
<g id="edge12" class="edge">
<title>6&#45;&gt;2</title>
<path fill="none" stroke="black" d="M577.57,-208.65C583.98,-213.67 589.86,-219.78 593.5,-227 611.26,-262.23 592.05,-307.33 575.86,-335.31"/>
<polygon fill="black" stroke="black" points="572.72,-333.74 570.54,-344.11 578.71,-337.37 572.72,-333.74"/>
<text text-anchor="middle" x="632" y="-273.4" font-family="Source Code Pro,monospace" font-size="12.00">4:REQ/x8</text>
</g>
<!-- 6&#45;&gt;3 -->
<g id="edge11" class="edge">
<title>6&#45;&gt;3</title>
<path fill="none" stroke="black" d="M557.62,-172.15C565.62,-161.83 576.92,-149.19 589.5,-141 600.41,-133.89 612.88,-128.08 625.36,-123.38"/>
<polygon fill="black" stroke="black" points="626.63,-126.64 634.88,-119.99 624.28,-120.04 626.63,-126.64"/>
<text text-anchor="middle" x="620" y="-144.4" font-family="Source Code Pro,monospace" font-size="12.00">3:REQ/x9</text>
</g>
<!-- 6&#45;&gt;4 -->
<g id="edge10" class="edge">
<title>6&#45;&gt;4</title>
<path fill="none" stroke="black" d="M483.82,-174.68C478.99,-173.71 474.17,-172.8 469.5,-172 399.4,-160 380.79,-164.81 310.5,-154 250.43,-144.76 182.77,-131.39 133.16,-121.03"/>
<polygon fill="black" stroke="black" points="133.68,-117.56 123.17,-118.93 132.24,-124.41 133.68,-117.56"/>
<text text-anchor="middle" x="341" y="-144.4" font-family="Source Code Pro,monospace" font-size="12.00">2:REQ/x7</text>
</g>
<!-- 6&#45;&gt;7 -->
<g id="edge9" class="edge">
<title>6&#45;&gt;7</title>
<path fill="none" stroke="black" d="M483.7,-174.98C445.41,-165.92 402.73,-155.67 398.5,-154 387.58,-149.69 386.14,-145.96 375.5,-141 364.29,-135.78 352.08,-130.75 340.27,-126.2"/>
<polygon fill="black" stroke="black" points="341.5,-122.92 330.9,-122.66 339.02,-129.47 341.5,-122.92"/>
<text text-anchor="middle" x="470" y="-144.4" font-family="Source Code Pro,monospace" font-size="12.00">1:REQ/x1 &amp; x10 &amp; x3</text>
</g>
<!-- 7&#45;&gt;5 -->
<g id="edge13" class="edge">
<title>7&#45;&gt;5</title>
<path fill="none" stroke="black" d="M281.13,-122.62C282.44,-133.12 285.87,-146.03 294.5,-154 323.82,-181.09 354.16,-143.88 382.5,-172 402.4,-191.75 406.39,-224.74 406.37,-248.16"/>
<polygon fill="black" stroke="black" points="402.87,-248.08 406.12,-258.17 409.87,-248.26 402.87,-248.08"/>
<text text-anchor="middle" x="433" y="-187.4" font-family="Source Code Pro,monospace" font-size="12.00">1:REQ/x4</text>
</g>
<!-- 7&#45;&gt;5 -->
<g id="edge14" class="edge">
<title>7&#45;&gt;5</title>
<path fill="none" stroke="black" d="M249.36,-122.67C217.1,-142.73 174.28,-177.24 196.5,-209 226.67,-252.12 285.28,-268.03 332.62,-273.56"/>
<polygon fill="black" stroke="black" points="332.53,-277.07 342.84,-274.62 333.25,-270.11 332.53,-277.07"/>
<text text-anchor="middle" x="227" y="-187.4" font-family="Source Code Pro,monospace" font-size="12.00">2:REQ/x7</text>
</g>
<!-- 8 -->
<g id="node8" class="node">
<title>8</title>
<path fill="none" stroke="black" d="M369,-0.5C369,-0.5 468,-0.5 468,-0.5 474,-0.5 480,-6.5 480,-12.5 480,-12.5 480,-24.5 480,-24.5 480,-30.5 474,-36.5 468,-36.5 468,-36.5 369,-36.5 369,-36.5 363,-36.5 357,-30.5 357,-24.5 357,-24.5 357,-12.5 357,-12.5 357,-6.5 363,-0.5 369,-0.5"/>
<text text-anchor="middle" x="365" y="-15.4" font-family="Source Code Pro,monospace" font-size="12.00">8</text>
<polyline fill="none" stroke="black" points="373,-0.5 373,-36.5 "/>
<text text-anchor="middle" x="388.5" y="-15.4" font-family="Source Code Pro,monospace" font-size="12.00">CNF</text>
<polyline fill="none" stroke="black" points="404,-0.5 404,-36.5 "/>
<text text-anchor="middle" x="442" y="-24.4" font-family="Source Code Pro,monospace" font-size="12.00">0:0000011</text>
<polyline fill="none" stroke="black" points="404,-18.5 480,-18.5 "/>
<text text-anchor="middle" x="442" y="-6.4" font-family="Source Code Pro,monospace" font-size="12.00">1:1111101</text>
</g>
<!-- 7&#45;&gt;8 -->
<g id="edge15" class="edge">
<title>7&#45;&gt;8</title>
<path fill="none" stroke="black" d="M308.76,-86.3C329.78,-73.5 358.67,-55.92 381.53,-42.01"/>
<polygon fill="black" stroke="black" points="383.56,-44.87 390.28,-36.68 379.92,-38.89 383.56,-44.87"/>
<text text-anchor="middle" x="389" y="-58.4" font-family="Source Code Pro,monospace" font-size="12.00">3:REQ/x6</text>
</g>
<!-- 8&#45;&gt;6 -->
<g id="edge16" class="edge">
<title>8&#45;&gt;6</title>
<path fill="none" stroke="black" d="M444.55,-36.5C473.86,-57.26 520.16,-95.31 541.5,-141 544.53,-147.48 545.99,-154.98 546.59,-162.11"/>
<polygon fill="black" stroke="black" points="543.09,-162.27 546.94,-172.14 550.09,-162.03 543.09,-162.27"/>
<text text-anchor="middle" x="563" y="-101.4" font-family="Source Code Pro,monospace" font-size="12.00">1:REQ/x6</text>
</g>
</g>
</svg>