christoph/failnix
1
Fork 0
Code Releases Activity
Files
4a5ffbc9dbd40b75b26b4b3d356e46e2250230b3
failnix/injections/fault_count_comparison.svg
T
christoph 879381aed6 Update figures
2026-08-05 18:22:43 +02:00

482 lines
45 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='cpNDcuNzB8MjkyLjEwfDQwLjE0fDExNC42Mw=='>
<rect x='47.70' y='40.14' width='244.40' height='74.49' />
</clipPath>
</defs>
<g clip-path='url(#cpNDcuNzB8MjkyLjEwfDQwLjE0fDExNC42Mw==)'>
<polyline points='47.70,107.72 292.10,107.72 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,86.58 292.10,86.58 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,65.44 292.10,65.44 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,44.30 292.10,44.30 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,97.15 292.10,97.15 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,76.01 292.10,76.01 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,54.87 292.10,54.87 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='65.59,114.63 65.59,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='95.39,114.63 95.39,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='125.20,114.63 125.20,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='155.00,114.63 155.00,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='184.81,114.63 184.81,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='214.61,114.63 214.61,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='244.41,114.63 244.41,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='274.22,114.63 274.22,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<circle cx='244.41' cy='70.39' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='125.20' cy='111.24' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='95.39' cy='75.57' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='274.22' cy='73.81' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='65.59' cy='68.61' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='155.00' cy='75.47' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='184.81' cy='74.45' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='214.61' cy='79.28' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='244.41' cy='81.15' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='95.39' cy='86.38' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='65.59' cy='80.62' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='155.00' cy='91.54' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='184.81' cy='85.62' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='214.61' cy='98.82' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='244.41' cy='58.76' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='95.39' cy='62.84' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='274.22' cy='59.56' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='65.59' cy='55.91' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='155.00' cy='60.58' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='184.81' cy='62.00' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='214.61' cy='66.48' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<polyline points='65.59,68.61 95.39,75.57 125.20,111.24 155.00,75.47 184.81,74.45 214.61,79.28 244.41,70.39 274.22,73.81 ' style='stroke-width: 1.07; stroke: #F8766D; stroke-linecap: butt;' />
<polyline points='65.59,80.62 95.39,86.38 155.00,91.54 184.81,85.62 214.61,98.82 244.41,81.15 ' style='stroke-width: 1.07; stroke: #00BA38; stroke-linecap: butt;' />
<polyline points='65.59,55.91 95.39,62.84 155.00,60.58 184.81,62.00 214.61,66.48 244.41,58.76 274.22,59.56 ' style='stroke-width: 1.07; stroke: #619CFF; stroke-linecap: butt;' />
</g>
<g clip-path='url(#cpMC4wMHw4NjQuMDB8MC4wMHw0MzIuMDA=)'>
</g>
<defs>
<clipPath id='cpNDcuNzB8MjkyLjEwfDEzNi43NnwyMTEuMjU='>
<rect x='47.70' y='136.76' width='244.40' height='74.49' />
</clipPath>
</defs>
<g clip-path='url(#cpNDcuNzB8MjkyLjEwfDEzNi43NnwyMTEuMjU=)'>
<polyline points='47.70,204.34 292.10,204.34 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,183.20 292.10,183.20 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,162.06 292.10,162.06 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,140.93 292.10,140.93 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,193.77 292.10,193.77 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,172.63 292.10,172.63 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,151.49 292.10,151.49 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='65.59,211.25 65.59,136.76 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='95.39,211.25 95.39,136.76 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='125.20,211.25 125.20,136.76 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='155.00,211.25 155.00,136.76 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='184.81,211.25 184.81,136.76 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='214.61,211.25 214.61,136.76 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='244.41,211.25 244.41,136.76 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='274.22,211.25 274.22,136.76 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<circle cx='244.41' cy='159.85' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='125.20' cy='205.75' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='95.39' cy='155.09' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='274.22' cy='162.42' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='65.59' cy='178.09' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='155.00' cy='164.81' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='184.81' cy='164.15' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='214.61' cy='168.43' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='244.41' cy='169.29' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='125.20' cy='207.87' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='95.39' cy='163.80' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='65.59' cy='185.71' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='155.00' cy='182.93' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='184.81' cy='174.97' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='244.41' cy='149.55' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='95.39' cy='145.22' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='274.22' cy='150.05' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='65.59' cy='164.86' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='155.00' cy='150.79' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='184.81' cy='153.12' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='214.61' cy='157.68' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<polyline points='65.59,178.09 95.39,155.09 125.20,205.75 155.00,164.81 184.81,164.15 214.61,168.43 244.41,159.85 274.22,162.42 ' style='stroke-width: 1.07; stroke: #F8766D; stroke-linecap: butt;' />
<polyline points='65.59,185.71 95.39,163.80 125.20,207.87 155.00,182.93 184.81,174.97 244.41,169.29 ' style='stroke-width: 1.07; stroke: #00BA38; stroke-linecap: butt;' />
<polyline points='65.59,164.86 95.39,145.22 155.00,150.79 184.81,153.12 214.61,157.68 244.41,149.55 274.22,150.05 ' style='stroke-width: 1.07; stroke: #619CFF; stroke-linecap: butt;' />
</g>
<g clip-path='url(#cpMC4wMHw4NjQuMDB8MC4wMHw0MzIuMDA=)'>
</g>
<defs>
<clipPath id='cpNDcuNzB8MjkyLjEwfDIzMy4zOHwzMDcuODc='>
<rect x='47.70' y='233.38' width='244.40' height='74.49' />
</clipPath>
</defs>
<g clip-path='url(#cpNDcuNzB8MjkyLjEwfDIzMy4zOHwzMDcuODc=)'>
<polyline points='47.70,300.97 292.10,300.97 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,279.83 292.10,279.83 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,258.69 292.10,258.69 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,237.55 292.10,237.55 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,290.40 292.10,290.40 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,269.26 292.10,269.26 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,248.12 292.10,248.12 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='65.59,307.87 65.59,233.38 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='95.39,307.87 95.39,233.38 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='125.20,307.87 125.20,233.38 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='155.00,307.87 155.00,233.38 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='184.81,307.87 184.81,233.38 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='214.61,307.87 214.61,233.38 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='244.41,307.87 244.41,233.38 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='274.22,307.87 274.22,233.38 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<circle cx='244.41' cy='256.21' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='125.20' cy='304.49' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='95.39' cy='259.57' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='274.22' cy='256.64' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='65.59' cy='254.06' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='155.00' cy='262.41' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='184.81' cy='259.95' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='214.61' cy='265.66' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='244.41' cy='266.92' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='95.39' cy='270.85' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='65.59' cy='268.74' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='155.00' cy='273.53' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='184.81' cy='271.42' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='214.61' cy='270.40' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='244.41' cy='246.71' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='95.39' cy='248.66' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='274.22' cy='246.48' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='65.59' cy='246.27' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='155.00' cy='248.74' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='184.81' cy='250.64' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='214.61' cy='254.83' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<polyline points='65.59,254.06 95.39,259.57 125.20,304.49 155.00,262.41 184.81,259.95 214.61,265.66 244.41,256.21 274.22,256.64 ' style='stroke-width: 1.07; stroke: #F8766D; stroke-linecap: butt;' />
<polyline points='65.59,268.74 95.39,270.85 155.00,273.53 184.81,271.42 214.61,270.40 244.41,266.92 ' style='stroke-width: 1.07; stroke: #00BA38; stroke-linecap: butt;' />
<polyline points='65.59,246.27 95.39,248.66 155.00,248.74 184.81,250.64 214.61,254.83 244.41,246.71 274.22,246.48 ' style='stroke-width: 1.07; stroke: #619CFF; stroke-linecap: butt;' />
</g>
<g clip-path='url(#cpMC4wMHw4NjQuMDB8MC4wMHw0MzIuMDA=)'>
</g>
<defs>
<clipPath id='cpMjk3LjU4fDU0MS45OHw0MC4xNHwxMTQuNjM='>
<rect x='297.58' y='40.14' width='244.40' height='74.49' />
</clipPath>
</defs>
<g clip-path='url(#cpMjk3LjU4fDU0MS45OHw0MC4xNHwxMTQuNjM=)'>
<polyline points='297.58,107.72 541.98,107.72 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='297.58,86.58 541.98,86.58 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='297.58,65.44 541.98,65.44 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='297.58,44.30 541.98,44.30 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='297.58,97.15 541.98,97.15 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='297.58,76.01 541.98,76.01 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='297.58,54.87 541.98,54.87 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='315.46,114.63 315.46,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='345.27,114.63 345.27,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='375.07,114.63 375.07,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='404.88,114.63 404.88,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='434.68,114.63 434.68,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='464.49,114.63 464.49,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='494.29,114.63 494.29,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='524.10,114.63 524.10,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<circle cx='494.29' cy='65.74' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='345.27' cy='69.03' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='524.10' cy='68.37' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='315.46' cy='63.88' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='404.88' cy='71.02' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='434.68' cy='69.47' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='464.49' cy='74.44' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='494.29' cy='74.98' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='375.07' cy='102.23' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='345.27' cy='77.60' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='315.46' cy='75.86' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='404.88' cy='85.64' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='434.68' cy='80.15' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='464.49' cy='91.54' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='494.29' cy='54.92' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='345.27' cy='56.28' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='524.10' cy='55.27' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='315.46' cy='52.53' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='404.88' cy='56.26' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='434.68' cy='58.23' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='464.49' cy='63.12' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<polyline points='315.46,63.88 345.27,69.03 404.88,71.02 434.68,69.47 464.49,74.44 494.29,65.74 524.10,68.37 ' style='stroke-width: 1.07; stroke: #F8766D; stroke-linecap: butt;' />
<polyline points='315.46,75.86 345.27,77.60 375.07,102.23 404.88,85.64 434.68,80.15 464.49,91.54 494.29,74.98 ' style='stroke-width: 1.07; stroke: #00BA38; stroke-linecap: butt;' />
<polyline points='315.46,52.53 345.27,56.28 404.88,56.26 434.68,58.23 464.49,63.12 494.29,54.92 524.10,55.27 ' style='stroke-width: 1.07; stroke: #619CFF; stroke-linecap: butt;' />
</g>
<g clip-path='url(#cpMC4wMHw4NjQuMDB8MC4wMHw0MzIuMDA=)'>
</g>
<defs>
<clipPath id='cpMjk3LjU4fDU0MS45OHwxMzYuNzZ8MjExLjI1'>
<rect x='297.58' y='136.76' width='244.40' height='74.49' />
</clipPath>
</defs>
<g clip-path='url(#cpMjk3LjU4fDU0MS45OHwxMzYuNzZ8MjExLjI1)'>
<polyline points='297.58,204.34 541.98,204.34 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='297.58,183.20 541.98,183.20 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='297.58,162.06 541.98,162.06 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='297.58,140.93 541.98,140.93 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='297.58,193.77 541.98,193.77 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='297.58,172.63 541.98,172.63 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='297.58,151.49 541.98,151.49 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='315.46,211.25 315.46,136.76 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='345.27,211.25 345.27,136.76 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='375.07,211.25 375.07,136.76 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='404.88,211.25 404.88,136.76 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='434.68,211.25 434.68,136.76 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='464.49,211.25 464.49,136.76 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='494.29,211.25 494.29,136.76 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='524.10,211.25 524.10,136.76 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<circle cx='494.29' cy='155.35' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='345.27' cy='150.19' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='524.10' cy='157.09' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='315.46' cy='172.17' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='404.88' cy='160.31' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='434.68' cy='159.31' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='464.49' cy='164.47' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='494.29' cy='165.47' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='345.27' cy='159.16' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='315.46' cy='190.76' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='404.88' cy='175.80' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='434.68' cy='170.85' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='464.49' cy='186.55' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='494.29' cy='144.98' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='345.27' cy='140.15' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='524.10' cy='144.08' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='315.46' cy='160.08' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='404.88' cy='144.93' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='434.68' cy='148.90' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='464.49' cy='153.53' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<polyline points='315.46,172.17 345.27,150.19 404.88,160.31 434.68,159.31 464.49,164.47 494.29,155.35 524.10,157.09 ' style='stroke-width: 1.07; stroke: #F8766D; stroke-linecap: butt;' />
<polyline points='315.46,190.76 345.27,159.16 404.88,175.80 434.68,170.85 464.49,186.55 494.29,165.47 ' style='stroke-width: 1.07; stroke: #00BA38; stroke-linecap: butt;' />
<polyline points='315.46,160.08 345.27,140.15 404.88,144.93 434.68,148.90 464.49,153.53 494.29,144.98 524.10,144.08 ' style='stroke-width: 1.07; stroke: #619CFF; stroke-linecap: butt;' />
</g>
<g clip-path='url(#cpMC4wMHw4NjQuMDB8MC4wMHw0MzIuMDA=)'>
</g>
<defs>
<clipPath id='cpNTQ3LjQ2fDc5MS44Nnw0MC4xNHwxMTQuNjM='>
<rect x='547.46' y='40.14' width='244.40' height='74.49' />
</clipPath>
</defs>
<g clip-path='url(#cpNTQ3LjQ2fDc5MS44Nnw0MC4xNHwxMTQuNjM=)'>
<polyline points='547.46,107.72 791.86,107.72 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='547.46,86.58 791.86,86.58 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='547.46,65.44 791.86,65.44 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='547.46,44.30 791.86,44.30 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='547.46,97.15 791.86,97.15 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='547.46,76.01 791.86,76.01 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='547.46,54.87 791.86,54.87 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='565.34,114.63 565.34,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='595.15,114.63 595.15,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='624.95,114.63 624.95,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='654.76,114.63 654.76,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='684.56,114.63 684.56,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='714.37,114.63 714.37,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='744.17,114.63 744.17,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='773.98,114.63 773.98,40.14 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<circle cx='744.17' cy='64.65' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='595.15' cy='58.95' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='773.98' cy='66.39' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='565.34' cy='80.32' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='654.76' cy='69.43' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='684.56' cy='69.11' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='714.37' cy='73.12' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='744.17' cy='75.26' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='595.15' cy='67.68' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='565.34' cy='89.45' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='654.76' cy='82.10' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='684.56' cy='79.48' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='714.37' cy='105.76' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='744.17' cy='54.54' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='595.15' cy='50.21' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='773.98' cy='53.81' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='565.34' cy='68.46' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='654.76' cy='55.96' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='684.56' cy='57.99' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='714.37' cy='62.24' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<polyline points='565.34,80.32 595.15,58.95 654.76,69.43 684.56,69.11 714.37,73.12 744.17,64.65 773.98,66.39 ' style='stroke-width: 1.07; stroke: #F8766D; stroke-linecap: butt;' />
<polyline points='565.34,89.45 595.15,67.68 654.76,82.10 684.56,79.48 714.37,105.76 744.17,75.26 ' style='stroke-width: 1.07; stroke: #00BA38; stroke-linecap: butt;' />
<polyline points='565.34,68.46 595.15,50.21 654.76,55.96 684.56,57.99 714.37,62.24 744.17,54.54 773.98,53.81 ' style='stroke-width: 1.07; stroke: #619CFF; stroke-linecap: butt;' />
</g>
<g clip-path='url(#cpMC4wMHw4NjQuMDB8MC4wMHw0MzIuMDA=)'>
</g>
<defs>
<clipPath id='cpNTQ3LjQ2fDc5MS44NnwxMzYuNzZ8MjExLjI1'>
<rect x='547.46' y='136.76' width='244.40' height='74.49' />
</clipPath>
</defs>
<g clip-path='url(#cpNTQ3LjQ2fDc5MS44NnwxMzYuNzZ8MjExLjI1)'>
<polyline points='547.46,204.34 791.86,204.34 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='547.46,183.20 791.86,183.20 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='547.46,162.06 791.86,162.06 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='547.46,140.93 791.86,140.93 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='547.46,193.77 791.86,193.77 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='547.46,172.63 791.86,172.63 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='547.46,151.49 791.86,151.49 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='565.34,211.25 565.34,136.76 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='595.15,211.25 595.15,136.76 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='624.95,211.25 624.95,136.76 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='654.76,211.25 654.76,136.76 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='684.56,211.25 684.56,136.76 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='714.37,211.25 714.37,136.76 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='744.17,211.25 744.17,136.76 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='773.98,211.25 773.98,136.76 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<circle cx='744.17' cy='157.40' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='595.15' cy='152.58' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='773.98' cy='159.21' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='565.34' cy='175.97' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='654.76' cy='162.74' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='684.56' cy='161.45' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='714.37' cy='166.35' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='744.17' cy='167.74' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='624.95' cy='193.07' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='595.15' cy='161.70' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='565.34' cy='183.95' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='654.76' cy='180.81' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='684.56' cy='174.29' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='744.17' cy='146.99' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='595.15' cy='143.53' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='773.98' cy='147.36' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='565.34' cy='162.91' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='654.76' cy='148.10' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='684.56' cy='151.06' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='714.37' cy='155.48' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<polyline points='565.34,175.97 595.15,152.58 654.76,162.74 684.56,161.45 714.37,166.35 744.17,157.40 773.98,159.21 ' style='stroke-width: 1.07; stroke: #F8766D; stroke-linecap: butt;' />
<polyline points='565.34,183.95 595.15,161.70 624.95,193.07 654.76,180.81 684.56,174.29 744.17,167.74 ' style='stroke-width: 1.07; stroke: #00BA38; stroke-linecap: butt;' />
<polyline points='565.34,162.91 595.15,143.53 654.76,148.10 684.56,151.06 714.37,155.48 744.17,146.99 773.98,147.36 ' style='stroke-width: 1.07; stroke: #619CFF; stroke-linecap: butt;' />
</g>
<g clip-path='url(#cpMC4wMHw4NjQuMDB8MC4wMHw0MzIuMDA=)'>
</g>
<defs>
<clipPath id='cpNDcuNzB8MjkyLjEwfDIxNi43M3wyMzMuMzg='>
<rect x='47.70' y='216.73' width='244.40' height='16.65' />
</clipPath>
</defs>
<g clip-path='url(#cpNDcuNzB8MjkyLjEwfDIxNi43M3wyMzMuMzg=)'>
<text x='169.90' y='228.08' 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='cpNDcuNzB8MjkyLjEwfDEyMC4xMXwxMzYuNzY='>
<rect x='47.70' y='120.11' width='244.40' height='16.65' />
</clipPath>
</defs>
<g clip-path='url(#cpNDcuNzB8MjkyLjEwfDEyMC4xMXwxMzYuNzY=)'>
<text x='169.90' y='131.46' 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='cpMjk3LjU4fDU0MS45OHwxMjAuMTF8MTM2Ljc2'>
<rect x='297.58' y='120.11' width='244.40' height='16.65' />
</clipPath>
</defs>
<g clip-path='url(#cpMjk3LjU4fDU0MS45OHwxMjAuMTF8MTM2Ljc2)'>
<text x='419.78' y='131.46' text-anchor='middle' style='font-size: 8.80px;fill: #1A1A1A; font-family: "Liberation Sans";' textLength='55.53px' lengthAdjust='spacingAndGlyphs'>tacle-kernel-fft</text>
</g>
<g clip-path='url(#cpMC4wMHw4NjQuMDB8MC4wMHw0MzIuMDA=)'>
</g>
<defs>
<clipPath id='cpNTQ3LjQ2fDc5MS44NnwxMjAuMTF8MTM2Ljc2'>
<rect x='547.46' y='120.11' width='244.40' height='16.65' />
</clipPath>
</defs>
<g clip-path='url(#cpNTQ3LjQ2fDc5MS44NnwxMjAuMTF8MTM2Ljc2)'>
<text x='669.66' y='131.46' 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='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,216.18) 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,216.18) 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,216.18) 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,216.18) 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,216.18) 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,216.18) 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,216.18) 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,216.18) 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,216.18) 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,216.18) 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,216.18) 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,216.18) 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,216.18) 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,216.18) 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,216.18) 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,216.18) 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='100.18' 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='79.04' 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='57.90' 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='196.80' 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='175.66' 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='154.52' 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='293.42' 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='272.28' 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='251.14' 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