christoph/failnix
1
Fork 0
Code Releases Activity
Files
df836231013a418a119fdc720275316eac20e979
failnix/injections/fault_count_comparison.svg
T

422 lines
40 KiBLFS
XML
Raw Blame History

<?xml version='1.0' encoding='UTF-8' ?>
<svg xmlns='http://www.w3.org/2000/svg' xmlns:xlink='http://www.w3.org/1999/xlink' width='864.00pt' height='432.00pt' viewBox='0 0 864.00 432.00'>
<g class='svglite'>
<defs>
<style type='text/css'><![CDATA[
.svglite line, .svglite polyline, .svglite polygon, .svglite path, .svglite rect, .svglite circle {
fill: none;
stroke: #000000;
stroke-linecap: round;
stroke-linejoin: round;
stroke-miterlimit: 10.00;
}
.svglite text {
white-space: pre;
}
.svglite g.glyphgroup path {
fill: inherit;
stroke: none;
}
]]></style>
</defs>
<rect width='100%' height='100%' style='stroke: none; fill: #FFFFFF;'/>
<defs>
<clipPath id='cpMC4wMHw4NjQuMDB8MC4wMHw0MzIuMDA='>
<rect x='0.00' y='0.00' width='864.00' height='432.00' />
</clipPath>
</defs>
<g clip-path='url(#cpMC4wMHw4NjQuMDB8MC4wMHw0MzIuMDA=)'>
<rect x='0.00' y='0.000000000000057' width='864.00' height='432.00' style='stroke-width: 1.07; stroke: none; fill: #FFFFFF;' />
</g>
<defs>
<clipPath id='cpNDcuNzB8MjkyLjEwfDQwLjE0fDE2Mi45NA=='>
<rect x='47.70' y='40.14' width='244.40' height='122.80' />
</clipPath>
</defs>
<g clip-path='url(#cpNDcuNzB8MjkyLjEwfDQwLjE0fDE2Mi45NA==)'>
<polyline points='47.70,151.25 292.10,151.25 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,114.56 292.10,114.56 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,77.88 292.10,77.88 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,41.20 292.10,41.20 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,132.90 292.10,132.90 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,96.22 292.10,96.22 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,59.54 292.10,59.54 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='65.59,162.94 65.59,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='95.39,162.94 95.39,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='125.20,162.94 125.20,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='155.00,162.94 155.00,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='184.81,162.94 184.81,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='214.61,162.94 214.61,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='244.41,162.94 244.41,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='274.22,162.94 274.22,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<circle cx='244.41' cy='86.46' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='125.20' cy='157.36' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='95.39' cy='95.46' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='274.22' cy='92.41' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='65.59' cy='83.38' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='155.00' cy='95.28' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='184.81' cy='93.51' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='214.61' cy='101.90' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='244.41' cy='105.15' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='95.39' cy='114.21' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='65.59' cy='104.23' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='155.00' cy='123.17' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='184.81' cy='112.89' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='214.61' cy='135.80' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='244.41' cy='66.28' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='95.39' cy='73.36' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='274.22' cy='67.68' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='65.59' cy='61.33' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='155.00' cy='69.45' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='184.81' cy='71.91' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='214.61' cy='79.69' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<polyline points='65.59,83.38 95.39,95.46 125.20,157.36 155.00,95.28 184.81,93.51 214.61,101.90 244.41,86.46 274.22,92.41 ' style='stroke-width: 1.07; stroke: #F8766D; stroke-linecap: butt;' />
<polyline points='65.59,104.23 95.39,114.21 155.00,123.17 184.81,112.89 214.61,135.80 244.41,105.15 ' style='stroke-width: 1.07; stroke: #00BA38; stroke-linecap: butt;' />
<polyline points='65.59,61.33 95.39,73.36 155.00,69.45 184.81,71.91 214.61,79.69 244.41,66.28 274.22,67.68 ' style='stroke-width: 1.07; stroke: #619CFF; stroke-linecap: butt;' />
</g>
<g clip-path='url(#cpMC4wMHw4NjQuMDB8MC4wMHw0MzIuMDA=)'>
</g>
<defs>
<clipPath id='cpNDcuNzB8MjkyLjEwfDE4NS4wN3wzMDcuODc='>
<rect x='47.70' y='185.07' width='244.40' height='122.80' />
</clipPath>
</defs>
<g clip-path='url(#cpNDcuNzB8MjkyLjEwfDE4NS4wN3wzMDcuODc=)'>
<polyline points='47.70,296.18 292.10,296.18 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,259.50 292.10,259.50 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,222.82 292.10,222.82 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,186.13 292.10,186.13 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,277.84 292.10,277.84 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,241.16 292.10,241.16 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,204.48 292.10,204.48 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='65.59,307.87 65.59,185.07 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='95.39,307.87 95.39,185.07 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='125.20,307.87 125.20,185.07 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='155.00,307.87 155.00,185.07 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='184.81,307.87 184.81,185.07 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='214.61,307.87 214.61,185.07 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='244.41,307.87 244.41,185.07 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='274.22,307.87 274.22,185.07 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<circle cx='244.41' cy='218.98' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='125.20' cy='298.61' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='95.39' cy='210.71' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='274.22' cy='223.44' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='65.59' cy='250.62' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='155.00' cy='227.58' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='184.81' cy='226.44' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='214.61' cy='233.85' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='244.41' cy='235.35' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='125.20' cy='302.29' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='95.39' cy='225.83' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='65.59' cy='263.84' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='155.00' cy='259.02' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='184.81' cy='245.21' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='244.41' cy='201.10' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='95.39' cy='193.58' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='274.22' cy='201.97' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='65.59' cy='227.67' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='155.00' cy='203.25' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='184.81' cy='207.29' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='214.61' cy='215.20' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<polyline points='65.59,250.62 95.39,210.71 125.20,298.61 155.00,227.58 184.81,226.44 214.61,233.85 244.41,218.98 274.22,223.44 ' style='stroke-width: 1.07; stroke: #F8766D; stroke-linecap: butt;' />
<polyline points='65.59,263.84 95.39,225.83 125.20,302.29 155.00,259.02 184.81,245.21 244.41,235.35 ' style='stroke-width: 1.07; stroke: #00BA38; stroke-linecap: butt;' />
<polyline points='65.59,227.67 95.39,193.58 155.00,203.25 184.81,207.29 214.61,215.20 244.41,201.10 274.22,201.97 ' style='stroke-width: 1.07; stroke: #619CFF; stroke-linecap: butt;' />
</g>
<g clip-path='url(#cpMC4wMHw4NjQuMDB8MC4wMHw0MzIuMDA=)'>
</g>
<defs>
<clipPath id='cpMjk3LjU4fDU0MS45OHw0MC4xNHwxNjIuOTQ='>
<rect x='297.58' y='40.14' width='244.40' height='122.80' />
</clipPath>
</defs>
<g clip-path='url(#cpMjk3LjU4fDU0MS45OHw0MC4xNHwxNjIuOTQ=)'>
<polyline points='297.58,151.25 541.98,151.25 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='297.58,114.56 541.98,114.56 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='297.58,77.88 541.98,77.88 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='297.58,41.20 541.98,41.20 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='297.58,132.90 541.98,132.90 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='297.58,96.22 541.98,96.22 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='297.58,59.54 541.98,59.54 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='315.46,162.94 315.46,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='345.27,162.94 345.27,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='375.07,162.94 375.07,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='404.88,162.94 404.88,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='434.68,162.94 434.68,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='464.49,162.94 464.49,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='494.29,162.94 494.29,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='524.10,162.94 524.10,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<circle cx='494.29' cy='78.40' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='345.27' cy='84.11' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='524.10' cy='82.96' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='315.46' cy='75.18' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='404.88' cy='87.56' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='434.68' cy='84.87' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='464.49' cy='93.50' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='494.29' cy='94.44' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='375.07' cy='141.72' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='345.27' cy='98.98' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='315.46' cy='95.95' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='404.88' cy='112.93' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='434.68' cy='103.40' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='464.49' cy='123.17' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='494.29' cy='59.62' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='345.27' cy='61.99' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='524.10' cy='60.23' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='315.46' cy='55.48' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='404.88' cy='61.94' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='434.68' cy='65.36' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='464.49' cy='73.85' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<polyline points='315.46,75.18 345.27,84.11 404.88,87.56 434.68,84.87 464.49,93.50 494.29,78.40 524.10,82.96 ' style='stroke-width: 1.07; stroke: #F8766D; stroke-linecap: butt;' />
<polyline points='315.46,95.95 345.27,98.98 375.07,141.72 404.88,112.93 434.68,103.40 464.49,123.17 494.29,94.44 ' style='stroke-width: 1.07; stroke: #00BA38; stroke-linecap: butt;' />
<polyline points='315.46,55.48 345.27,61.99 404.88,61.94 434.68,65.36 464.49,73.85 494.29,59.62 524.10,60.23 ' style='stroke-width: 1.07; stroke: #619CFF; stroke-linecap: butt;' />
</g>
<g clip-path='url(#cpMC4wMHw4NjQuMDB8MC4wMHw0MzIuMDA=)'>
</g>
<defs>
<clipPath id='cpMjk3LjU4fDU0MS45OHwxODUuMDd8MzA3Ljg3'>
<rect x='297.58' y='185.07' width='244.40' height='122.80' />
</clipPath>
</defs>
<g clip-path='url(#cpMjk3LjU4fDU0MS45OHwxODUuMDd8MzA3Ljg3)'>
<polyline points='297.58,296.18 541.98,296.18 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='297.58,259.50 541.98,259.50 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='297.58,222.82 541.98,222.82 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='297.58,186.13 541.98,186.13 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='297.58,277.84 541.98,277.84 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='297.58,241.16 541.98,241.16 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='297.58,204.48 541.98,204.48 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='315.46,307.87 315.46,185.07 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='345.27,307.87 345.27,185.07 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='375.07,307.87 375.07,185.07 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='404.88,307.87 404.88,185.07 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='434.68,307.87 434.68,185.07 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='464.49,307.87 464.49,185.07 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='494.29,307.87 494.29,185.07 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='524.10,307.87 524.10,185.07 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<circle cx='494.29' cy='214.72' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='345.27' cy='206.36' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='524.10' cy='217.86' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='315.46' cy='246.95' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='404.88' cy='223.98' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='434.68' cy='221.75' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='464.49' cy='230.24' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='494.29' cy='232.66' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='375.07' cy='276.61' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='345.27' cy='222.18' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='315.46' cy='260.79' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='404.88' cy='255.35' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='434.68' cy='244.03' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='494.29' cy='196.65' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='345.27' cy='190.65' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='524.10' cy='197.30' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='315.46' cy='224.29' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='404.88' cy='198.58' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='434.68' cy='203.72' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='464.49' cy='211.39' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<polyline points='315.46,246.95 345.27,206.36 404.88,223.98 434.68,221.75 464.49,230.24 494.29,214.72 524.10,217.86 ' style='stroke-width: 1.07; stroke: #F8766D; stroke-linecap: butt;' />
<polyline points='315.46,260.79 345.27,222.18 375.07,276.61 404.88,255.35 434.68,244.03 494.29,232.66 ' style='stroke-width: 1.07; stroke: #00BA38; stroke-linecap: butt;' />
<polyline points='315.46,224.29 345.27,190.65 404.88,198.58 434.68,203.72 464.49,211.39 494.29,196.65 524.10,197.30 ' style='stroke-width: 1.07; stroke: #619CFF; stroke-linecap: butt;' />
</g>
<g clip-path='url(#cpMC4wMHw4NjQuMDB8MC4wMHw0MzIuMDA=)'>
</g>
<defs>
<clipPath id='cpNTQ3LjQ2fDc5MS44Nnw0MC4xNHwxNjIuOTQ='>
<rect x='547.46' y='40.14' width='244.40' height='122.80' />
</clipPath>
</defs>
<g clip-path='url(#cpNTQ3LjQ2fDc5MS44Nnw0MC4xNHwxNjIuOTQ=)'>
<polyline points='547.46,151.25 791.86,151.25 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='547.46,114.56 791.86,114.56 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='547.46,77.88 791.86,77.88 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='547.46,41.20 791.86,41.20 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='547.46,132.90 791.86,132.90 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='547.46,96.22 791.86,96.22 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='547.46,59.54 791.86,59.54 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='565.34,162.94 565.34,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='595.15,162.94 595.15,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='624.95,162.94 624.95,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='654.76,162.94 654.76,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='684.56,162.94 684.56,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='714.37,162.94 714.37,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='744.17,162.94 744.17,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='773.98,162.94 773.98,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<circle cx='744.17' cy='76.51' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='595.15' cy='66.62' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='773.98' cy='79.53' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='565.34' cy='103.69' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='654.76' cy='84.80' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='684.56' cy='84.24' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='714.37' cy='91.20' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='744.17' cy='94.92' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='595.15' cy='81.77' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='565.34' cy='119.55' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='654.76' cy='106.78' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='684.56' cy='102.25' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='714.37' cy='147.84' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='744.17' cy='58.97' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='595.15' cy='51.46' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='773.98' cy='57.70' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='565.34' cy='83.12' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='654.76' cy='61.44' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='684.56' cy='64.96' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='714.37' cy='72.33' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<polyline points='565.34,103.69 595.15,66.62 654.76,84.80 684.56,84.24 714.37,91.20 744.17,76.51 773.98,79.53 ' style='stroke-width: 1.07; stroke: #F8766D; stroke-linecap: butt;' />
<polyline points='565.34,119.55 595.15,81.77 654.76,106.78 684.56,102.25 714.37,147.84 744.17,94.92 ' style='stroke-width: 1.07; stroke: #00BA38; stroke-linecap: butt;' />
<polyline points='565.34,83.12 595.15,51.46 654.76,61.44 684.56,64.96 714.37,72.33 744.17,58.97 773.98,57.70 ' style='stroke-width: 1.07; stroke: #619CFF; stroke-linecap: butt;' />
</g>
<g clip-path='url(#cpMC4wMHw4NjQuMDB8MC4wMHw0MzIuMDA=)'>
</g>
<defs>
<clipPath id='cpNTQ3LjQ2fDc5MS44NnwxODUuMDd8MzA3Ljg3'>
<rect x='547.46' y='185.07' width='244.40' height='122.80' />
</clipPath>
</defs>
<g clip-path='url(#cpNTQ3LjQ2fDc5MS44NnwxODUuMDd8MzA3Ljg3)'>
<polyline points='547.46,296.18 791.86,296.18 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='547.46,259.50 791.86,259.50 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='547.46,222.82 791.86,222.82 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='547.46,186.13 791.86,186.13 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='547.46,277.84 791.86,277.84 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='547.46,241.16 791.86,241.16 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='547.46,204.48 791.86,204.48 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='565.34,307.87 565.34,185.07 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='595.15,307.87 595.15,185.07 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='624.95,307.87 624.95,185.07 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='654.76,307.87 654.76,185.07 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='684.56,307.87 684.56,185.07 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='714.37,307.87 714.37,185.07 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='744.17,307.87 744.17,185.07 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='773.98,307.87 773.98,185.07 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<circle cx='744.17' cy='218.51' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='624.95' cy='302.29' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='595.15' cy='224.35' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='773.98' cy='219.26' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='565.34' cy='214.79' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='654.76' cy='229.28' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='684.56' cy='225.01' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='714.37' cy='234.92' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='744.17' cy='237.11' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='595.15' cy='243.92' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='565.34' cy='240.25' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='654.76' cy='248.57' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='684.56' cy='244.90' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='714.37' cy='243.14' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='744.17' cy='202.03' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='595.15' cy='205.41' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='773.98' cy='201.64' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='565.34' cy='201.26' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='654.76' cy='205.56' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='684.56' cy='208.85' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='714.37' cy='216.12' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<polyline points='565.34,214.79 595.15,224.35 624.95,302.29 654.76,229.28 684.56,225.01 714.37,234.92 744.17,218.51 773.98,219.26 ' style='stroke-width: 1.07; stroke: #F8766D; stroke-linecap: butt;' />
<polyline points='565.34,240.25 595.15,243.92 654.76,248.57 684.56,244.90 714.37,243.14 744.17,237.11 ' style='stroke-width: 1.07; stroke: #00BA38; stroke-linecap: butt;' />
<polyline points='565.34,201.26 595.15,205.41 654.76,205.56 684.56,208.85 714.37,216.12 744.17,202.03 773.98,201.64 ' style='stroke-width: 1.07; stroke: #619CFF; stroke-linecap: butt;' />
</g>
<g clip-path='url(#cpMC4wMHw4NjQuMDB8MC4wMHw0MzIuMDA=)'>
</g>
<defs>
<clipPath id='cpNDcuNzB8MjkyLjEwfDE2OC40MnwxODUuMDc='>
<rect x='47.70' y='168.42' width='244.40' height='16.65' />
</clipPath>
</defs>
<g clip-path='url(#cpNDcuNzB8MjkyLjEwfDE2OC40MnwxODUuMDc=)'>
<text x='169.90' y='179.77' text-anchor='middle' style='font-size: 8.80px;fill: #1A1A1A; font-family: "Liberation Sans";' textLength='103.14px' lengthAdjust='spacingAndGlyphs'>tacle-kernel-countnegative</text>
</g>
<g clip-path='url(#cpMC4wMHw4NjQuMDB8MC4wMHw0MzIuMDA=)'>
</g>
<defs>
<clipPath id='cpMjk3LjU4fDU0MS45OHwxNjguNDJ8MTg1LjA3'>
<rect x='297.58' y='168.42' width='244.40' height='16.65' />
</clipPath>
</defs>
<g clip-path='url(#cpMjk3LjU4fDU0MS45OHwxNjguNDJ8MTg1LjA3)'>
<text x='419.78' y='179.77' text-anchor='middle' style='font-size: 8.80px;fill: #1A1A1A; font-family: "Liberation Sans";' textLength='77.20px' lengthAdjust='spacingAndGlyphs'>tacle-kernel-matrix1</text>
</g>
<g clip-path='url(#cpMC4wMHw4NjQuMDB8MC4wMHw0MzIuMDA=)'>
</g>
<defs>
<clipPath id='cpNTQ3LjQ2fDc5MS44NnwxNjguNDJ8MTg1LjA3'>
<rect x='547.46' y='168.42' width='244.40' height='16.65' />
</clipPath>
</defs>
<g clip-path='url(#cpNTQ3LjQ2fDc5MS44NnwxNjguNDJ8MTg1LjA3)'>
<text x='669.66' y='179.77' text-anchor='middle' style='font-size: 8.80px;fill: #1A1A1A; font-family: "Liberation Sans";' textLength='84.55px' lengthAdjust='spacingAndGlyphs'>tacle-kernel-recursion</text>
</g>
<g clip-path='url(#cpMC4wMHw4NjQuMDB8MC4wMHw0MzIuMDA=)'>
</g>
<defs>
<clipPath id='cpNDcuNzB8MjkyLjEwfDIzLjQ5fDQwLjE0'>
<rect x='47.70' y='23.49' width='244.40' height='16.65' />
</clipPath>
</defs>
<g clip-path='url(#cpNDcuNzB8MjkyLjEwfDIzLjQ5fDQwLjE0)'>
<text x='169.90' y='34.84' text-anchor='middle' style='font-size: 8.80px;fill: #1A1A1A; font-family: "Liberation Sans";' textLength='98.73px' lengthAdjust='spacingAndGlyphs'>tacle-kernel-binarysearch</text>
</g>
<g clip-path='url(#cpMC4wMHw4NjQuMDB8MC4wMHw0MzIuMDA=)'>
</g>
<defs>
<clipPath id='cpMjk3LjU4fDU0MS45OHwyMy40OXw0MC4xNA=='>
<rect x='297.58' y='23.49' width='244.40' height='16.65' />
</clipPath>
</defs>
<g clip-path='url(#cpMjk3LjU4fDU0MS45OHwyMy40OXw0MC4xNA==)'>
<text x='419.78' y='34.84' text-anchor='middle' style='font-size: 8.80px;fill: #1A1A1A; font-family: "Liberation Sans";' textLength='67.92px' lengthAdjust='spacingAndGlyphs'>tacle-kernel-bsort</text>
</g>
<g clip-path='url(#cpMC4wMHw4NjQuMDB8MC4wMHw0MzIuMDA=)'>
</g>
<defs>
<clipPath id='cpNTQ3LjQ2fDc5MS44NnwyMy40OXw0MC4xNA=='>
<rect x='547.46' y='23.49' width='244.40' height='16.65' />
</clipPath>
</defs>
<g clip-path='url(#cpNTQ3LjQ2fDc5MS44NnwyMy40OXw0MC4xNA==)'>
<text x='669.66' y='34.84' text-anchor='middle' style='font-size: 8.80px;fill: #1A1A1A; font-family: "Liberation Sans";' textLength='117.33px' lengthAdjust='spacingAndGlyphs'>tacle-kernel-complex_updates</text>
</g>
<g clip-path='url(#cpMC4wMHw4NjQuMDB8MC4wMHw0MzIuMDA=)'>
<text transform='translate(71.64,312.81) rotate(-90)' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='55.28px' lengthAdjust='spacingAndGlyphs'>OK_MARKER</text>
<text transform='translate(101.45,312.81) rotate(-90)' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='60.66px' lengthAdjust='spacingAndGlyphs'>FAIL_MARKER</text>
<text transform='translate(131.25,312.81) rotate(-90)' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='90.02px' lengthAdjust='spacingAndGlyphs'>DETECTED_MARKER</text>
<text transform='translate(161.06,312.81) rotate(-90)' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='39.59px' lengthAdjust='spacingAndGlyphs'>TIMEOUT</text>
<text transform='translate(190.86,312.81) rotate(-90)' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='23.48px' lengthAdjust='spacingAndGlyphs'>TRAP</text>
<text transform='translate(220.67,312.81) rotate(-90)' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='99.27px' lengthAdjust='spacingAndGlyphs'>WRITE_TEXTSEGMENT</text>
<text transform='translate(250.47,312.81) rotate(-90)' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='101.12px' lengthAdjust='spacingAndGlyphs'>ACCESS_OUTERSPACE</text>
<text transform='translate(280.27,312.81) rotate(-90)' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='79.73px' lengthAdjust='spacingAndGlyphs'>GROUP1_MARKER</text>
<text transform='translate(321.52,312.81) rotate(-90)' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='55.28px' lengthAdjust='spacingAndGlyphs'>OK_MARKER</text>
<text transform='translate(351.32,312.81) rotate(-90)' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='60.66px' lengthAdjust='spacingAndGlyphs'>FAIL_MARKER</text>
<text transform='translate(381.13,312.81) rotate(-90)' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='90.02px' lengthAdjust='spacingAndGlyphs'>DETECTED_MARKER</text>
<text transform='translate(410.93,312.81) rotate(-90)' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='39.59px' lengthAdjust='spacingAndGlyphs'>TIMEOUT</text>
<text transform='translate(440.74,312.81) rotate(-90)' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='23.48px' lengthAdjust='spacingAndGlyphs'>TRAP</text>
<text transform='translate(470.54,312.81) rotate(-90)' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='99.27px' lengthAdjust='spacingAndGlyphs'>WRITE_TEXTSEGMENT</text>
<text transform='translate(500.35,312.81) rotate(-90)' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='101.12px' lengthAdjust='spacingAndGlyphs'>ACCESS_OUTERSPACE</text>
<text transform='translate(530.15,312.81) rotate(-90)' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='79.73px' lengthAdjust='spacingAndGlyphs'>GROUP1_MARKER</text>
<text transform='translate(571.40,312.81) rotate(-90)' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='55.28px' lengthAdjust='spacingAndGlyphs'>OK_MARKER</text>
<text transform='translate(601.20,312.81) rotate(-90)' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='60.66px' lengthAdjust='spacingAndGlyphs'>FAIL_MARKER</text>
<text transform='translate(631.01,312.81) rotate(-90)' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='90.02px' lengthAdjust='spacingAndGlyphs'>DETECTED_MARKER</text>
<text transform='translate(660.81,312.81) rotate(-90)' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='39.59px' lengthAdjust='spacingAndGlyphs'>TIMEOUT</text>
<text transform='translate(690.62,312.81) rotate(-90)' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='23.48px' lengthAdjust='spacingAndGlyphs'>TRAP</text>
<text transform='translate(720.42,312.81) rotate(-90)' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='99.27px' lengthAdjust='spacingAndGlyphs'>WRITE_TEXTSEGMENT</text>
<text transform='translate(750.23,312.81) rotate(-90)' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='101.12px' lengthAdjust='spacingAndGlyphs'>ACCESS_OUTERSPACE</text>
<text transform='translate(780.03,312.81) rotate(-90)' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='79.73px' lengthAdjust='spacingAndGlyphs'>GROUP1_MARKER</text>
<text x='42.77' y='135.93' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='24.70px' lengthAdjust='spacingAndGlyphs'>1e+02</text>
<text x='42.77' y='99.25' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='24.70px' lengthAdjust='spacingAndGlyphs'>1e+05</text>
<text x='42.77' y='62.57' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='24.70px' lengthAdjust='spacingAndGlyphs'>1e+08</text>
<text x='42.77' y='280.87' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='24.70px' lengthAdjust='spacingAndGlyphs'>1e+02</text>
<text x='42.77' y='244.18' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='24.70px' lengthAdjust='spacingAndGlyphs'>1e+05</text>
<text x='42.77' y='207.50' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='24.70px' lengthAdjust='spacingAndGlyphs'>1e+08</text>
<text x='419.78' y='424.24' text-anchor='middle' style='font-size: 11.00px; font-family: "Liberation Sans";' textLength='51.19px' lengthAdjust='spacingAndGlyphs'>Fault Type</text>
<text transform='translate(13.05,174.01) rotate(-90)' text-anchor='middle' style='font-size: 11.00px; font-family: "Liberation Sans";' textLength='56.91px' lengthAdjust='spacingAndGlyphs'>Fault Count</text>
<text x='808.30' y='149.13' style='font-size: 11.00px; font-family: "Liberation Sans";' textLength='34.06px' lengthAdjust='spacingAndGlyphs'>Variant</text>
<circle cx='816.94' cy='164.39' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<line x1='810.03' y1='164.39' x2='823.85' y2='164.39' style='stroke-width: 1.07; stroke: #F8766D; stroke-linecap: butt;' />
<circle cx='816.94' cy='181.67' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<line x1='810.03' y1='181.67' x2='823.85' y2='181.67' style='stroke-width: 1.07; stroke: #00BA38; stroke-linecap: butt;' />
<circle cx='816.94' cy='198.95' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<line x1='810.03' y1='198.95' x2='823.85' y2='198.95' style='stroke-width: 1.07; stroke: #619CFF; stroke-linecap: butt;' />
<text x='831.06' y='167.42' style='font-size: 8.80px; font-family: "Liberation Sans";' textLength='12.22px' lengthAdjust='spacingAndGlyphs'>aot</text>
<text x='831.06' y='184.70' style='font-size: 8.80px; font-family: "Liberation Sans";' textLength='4.41px' lengthAdjust='spacingAndGlyphs'>c</text>
<text x='831.06' y='201.98' style='font-size: 8.80px; font-family: "Liberation Sans";' textLength='21.98px' lengthAdjust='spacingAndGlyphs'>interp</text>
<text x='47.70' y='15.11' style='font-size: 14.00px; font-weight: bold; font-family: "Liberation Sans";' textLength='163.27px' lengthAdjust='spacingAndGlyphs'>Fault Count Comparison</text>
</g>
</g>
</svg>
View Git Blame Copy Permalink