christoph/failnix
1
Fork 0
Code Releases Activity
Files
main
failnix/injections/fault_count_correlation.svg
T

234 lines
26 KiBLFS
XML
Raw Permalink 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='720.00pt' height='576.00pt' viewBox='0 0 720.00 576.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='cpMC4wMHw3MjAuMDB8MC4wMHw1NzYuMDA='>
<rect x='0.00' y='0.00' width='720.00' height='576.00' />
</clipPath>
</defs>
<g clip-path='url(#cpMC4wMHw3MjAuMDB8MC4wMHw1NzYuMDA=)'>
<rect x='0.00' y='0.00' width='720.00' height='576.00' style='stroke-width: 1.07; stroke: none; fill: #FFFFFF;' />
</g>
<defs>
<clipPath id='cpNDcuNzB8NTUyLjUyfDIzLjQ5fDU0NS4xMg=='>
<rect x='47.70' y='23.49' width='504.81' height='521.63' />
</clipPath>
</defs>
<g clip-path='url(#cpNDcuNzB8NTUyLjUyfDIzLjQ5fDU0NS4xMg==)'>
<polyline points='47.70,473.02 552.52,473.02 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,306.81 552.52,306.81 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,140.60 552.52,140.60 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='127.80,545.12 127.80,23.49 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='294.38,545.12 294.38,23.49 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='460.95,545.12 460.95,23.49 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,389.92 552.52,389.92 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,223.71 552.52,223.71 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,57.49 552.52,57.49 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='211.09,545.12 211.09,23.49 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='377.66,545.12 377.66,23.49 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='544.24,545.12 544.24,23.49 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<circle cx='251.88' cy='330.26' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #F8766D; fill-opacity: 0.70;' />
<polygon points='70.65,515.88 75.44,524.17 65.86,524.17 ' style='stroke-width: 0.71; stroke: none; fill: #F8766D; fill-opacity: 0.70;' />
<polygon points='147.69,429.38 154.80,429.38 154.80,422.27 147.69,422.27 ' style='stroke-width: 0.71; stroke: none; fill: #F8766D; fill-opacity: 0.70;' />
<line x1='227.20' y1='338.46' x2='237.26' y2='338.46' style='stroke-width: 0.71; stroke: #F8766D; stroke-opacity: 0.70;' />
<line x1='232.23' y1='343.49' x2='232.23' y2='333.44' style='stroke-width: 0.71; stroke: #F8766D; stroke-opacity: 0.70;' />
<rect x='121.19' y='438.58' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #F8766D; stroke-opacity: 0.70;' />
<line x1='121.19' y1='445.69' x2='128.30' y2='438.58' style='stroke-width: 0.71; stroke: #F8766D; stroke-opacity: 0.70;' />
<line x1='121.19' y1='438.58' x2='128.30' y2='445.69' style='stroke-width: 0.71; stroke: #F8766D; stroke-opacity: 0.70;' />
<circle cx='355.39' cy='189.29' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #F8766D; fill-opacity: 0.70;' />
<polygon points='299.15,229.18 303.94,237.47 294.37,237.47 ' style='stroke-width: 0.71; stroke: none; fill: #F8766D; fill-opacity: 0.70;' />
<polygon points='296.32,211.72 303.43,211.72 303.43,204.61 296.32,204.61 ' style='stroke-width: 0.71; stroke: none; fill: #F8766D; fill-opacity: 0.70;' />
<line x1='333.34' y1='183.48' x2='343.39' y2='183.48' style='stroke-width: 0.71; stroke: #F8766D; stroke-opacity: 0.70;' />
<line x1='338.36' y1='188.50' x2='338.36' y2='178.45' style='stroke-width: 0.71; stroke: #F8766D; stroke-opacity: 0.70;' />
<rect x='246.50' y='277.12' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #F8766D; stroke-opacity: 0.70;' />
<line x1='246.50' y1='284.23' x2='253.61' y2='277.12' style='stroke-width: 0.71; stroke: #F8766D; stroke-opacity: 0.70;' />
<line x1='246.50' y1='277.12' x2='253.61' y2='284.23' style='stroke-width: 0.71; stroke: #F8766D; stroke-opacity: 0.70;' />
<circle cx='274.22' cy='289.11' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #F8766D; fill-opacity: 0.70;' />
<polygon points='129.42,424.22 134.21,432.51 124.64,432.51 ' style='stroke-width: 0.71; stroke: none; fill: #F8766D; fill-opacity: 0.70;' />
<polygon points='125.10,413.10 132.21,413.10 132.21,405.99 125.10,405.99 ' style='stroke-width: 0.71; stroke: none; fill: #F8766D; fill-opacity: 0.70;' />
<line x1='223.95' y1='335.51' x2='234.01' y2='335.51' style='stroke-width: 0.71; stroke: #F8766D; stroke-opacity: 0.70;' />
<line x1='228.98' y1='340.54' x2='228.98' y2='330.48' style='stroke-width: 0.71; stroke: #F8766D; stroke-opacity: 0.70;' />
<rect x='174.68' y='368.67' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #F8766D; stroke-opacity: 0.70;' />
<line x1='174.68' y1='375.78' x2='181.79' y2='368.67' style='stroke-width: 0.71; stroke: #F8766D; stroke-opacity: 0.70;' />
<line x1='174.68' y1='368.67' x2='181.79' y2='375.78' style='stroke-width: 0.71; stroke: #F8766D; stroke-opacity: 0.70;' />
<circle cx='301.96' cy='295.79' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #B79F00; fill-opacity: 0.70;' />
<polygon points='154.01,454.03 158.80,462.33 149.22,462.33 ' style='stroke-width: 0.71; stroke: none; fill: #B79F00; fill-opacity: 0.70;' />
<polygon points='192.68,388.46 199.79,388.46 199.79,381.35 192.68,381.35 ' style='stroke-width: 0.71; stroke: none; fill: #B79F00; fill-opacity: 0.70;' />
<line x1='276.79' y1='299.42' x2='286.85' y2='299.42' style='stroke-width: 0.71; stroke: #B79F00; stroke-opacity: 0.70;' />
<line x1='281.82' y1='304.45' x2='281.82' y2='294.39' style='stroke-width: 0.71; stroke: #B79F00; stroke-opacity: 0.70;' />
<rect x='136.85' y='383.50' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #B79F00; stroke-opacity: 0.70;' />
<line x1='136.85' y1='390.61' x2='143.96' y2='383.50' style='stroke-width: 0.71; stroke: #B79F00; stroke-opacity: 0.70;' />
<line x1='136.85' y1='383.50' x2='143.96' y2='390.61' style='stroke-width: 0.71; stroke: #B79F00; stroke-opacity: 0.70;' />
<circle cx='411.09' cy='143.43' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #B79F00; fill-opacity: 0.70;' />
<polygon points='376.07,151.91 380.85,160.20 371.28,160.20 ' style='stroke-width: 0.71; stroke: none; fill: #B79F00; fill-opacity: 0.70;' />
<polygon points='349.28,160.63 356.40,160.63 356.40,153.51 349.28,153.51 ' style='stroke-width: 0.71; stroke: none; fill: #B79F00; fill-opacity: 0.70;' />
<line x1='396.65' y1='134.40' x2='406.70' y2='134.40' style='stroke-width: 0.71; stroke: #B79F00; stroke-opacity: 0.70;' />
<line x1='401.67' y1='139.42' x2='401.67' y2='129.37' style='stroke-width: 0.71; stroke: #B79F00; stroke-opacity: 0.70;' />
<rect x='306.30' y='237.57' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #B79F00; stroke-opacity: 0.70;' />
<line x1='306.30' y1='244.68' x2='313.41' y2='237.57' style='stroke-width: 0.71; stroke: #B79F00; stroke-opacity: 0.70;' />
<line x1='306.30' y1='237.57' x2='313.41' y2='244.68' style='stroke-width: 0.71; stroke: #B79F00; stroke-opacity: 0.70;' />
<circle cx='323.58' cy='250.41' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #B79F00; fill-opacity: 0.70;' />
<polygon points='237.34,344.29 242.13,352.59 232.55,352.59 ' style='stroke-width: 0.71; stroke: none; fill: #B79F00; fill-opacity: 0.70;' />
<polygon points='126.96,379.53 134.07,379.53 134.07,372.42 126.96,372.42 ' style='stroke-width: 0.71; stroke: none; fill: #B79F00; fill-opacity: 0.70;' />
<line x1='264.20' y1='295.90' x2='274.25' y2='295.90' style='stroke-width: 0.71; stroke: #B79F00; stroke-opacity: 0.70;' />
<line x1='269.23' y1='300.93' x2='269.23' y2='290.87' style='stroke-width: 0.71; stroke: #B79F00; stroke-opacity: 0.70;' />
<rect x='214.71' y='330.00' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #B79F00; stroke-opacity: 0.70;' />
<line x1='214.71' y1='337.12' x2='221.82' y2='330.00' style='stroke-width: 0.71; stroke: #B79F00; stroke-opacity: 0.70;' />
<line x1='214.71' y1='330.00' x2='221.82' y2='337.12' style='stroke-width: 0.71; stroke: #B79F00; stroke-opacity: 0.70;' />
<circle cx='323.68' cy='287.83' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #00BA38; fill-opacity: 0.70;' />
<polygon points='231.70,375.04 236.48,383.34 226.91,383.34 ' style='stroke-width: 0.71; stroke: none; fill: #00BA38; fill-opacity: 0.70;' />
<polygon points='214.32,380.74 221.43,380.74 221.43,373.63 214.32,373.63 ' style='stroke-width: 0.71; stroke: none; fill: #00BA38; fill-opacity: 0.70;' />
<line x1='295.89' y1='289.10' x2='305.95' y2='289.10' style='stroke-width: 0.71; stroke: #00BA38; stroke-opacity: 0.70;' />
<line x1='300.92' y1='294.13' x2='300.92' y2='284.08' style='stroke-width: 0.71; stroke: #00BA38; stroke-opacity: 0.70;' />
<rect x='163.19' y='364.25' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #00BA38; stroke-opacity: 0.70;' />
<line x1='163.19' y1='371.36' x2='170.30' y2='364.25' style='stroke-width: 0.71; stroke: #00BA38; stroke-opacity: 0.70;' />
<line x1='163.19' y1='364.25' x2='170.30' y2='371.36' style='stroke-width: 0.71; stroke: #00BA38; stroke-opacity: 0.70;' />
<circle cx='422.65' cy='139.41' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #00BA38; fill-opacity: 0.70;' />
<polygon points='494.38,80.62 499.17,88.91 489.59,88.91 ' style='stroke-width: 0.71; stroke: none; fill: #00BA38; fill-opacity: 0.70;' />
<polygon points='368.09,157.16 375.20,157.16 375.20,150.05 368.09,150.05 ' style='stroke-width: 0.71; stroke: none; fill: #00BA38; fill-opacity: 0.70;' />
<line x1='413.39' y1='120.64' x2='423.45' y2='120.64' style='stroke-width: 0.71; stroke: #00BA38; stroke-opacity: 0.70;' />
<line x1='418.42' y1='125.67' x2='418.42' y2='115.61' style='stroke-width: 0.71; stroke: #00BA38; stroke-opacity: 0.70;' />
<rect x='320.14' y='227.45' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #00BA38; stroke-opacity: 0.70;' />
<line x1='320.14' y1='234.56' x2='327.25' y2='227.45' style='stroke-width: 0.71; stroke: #00BA38; stroke-opacity: 0.70;' />
<line x1='320.14' y1='227.45' x2='327.25' y2='234.56' style='stroke-width: 0.71; stroke: #00BA38; stroke-opacity: 0.70;' />
<circle cx='344.48' cy='240.04' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #00BA38; fill-opacity: 0.70;' />
<polygon points='382.99,236.02 387.78,244.31 378.20,244.31 ' style='stroke-width: 0.71; stroke: none; fill: #00BA38; fill-opacity: 0.70;' />
<polygon points='125.90,389.00 133.01,389.00 133.01,381.89 125.90,381.89 ' style='stroke-width: 0.71; stroke: none; fill: #00BA38; fill-opacity: 0.70;' />
<line x1='274.61' y1='281.10' x2='284.67' y2='281.10' style='stroke-width: 0.71; stroke: #00BA38; stroke-opacity: 0.70;' />
<line x1='279.64' y1='286.13' x2='279.64' y2='276.08' style='stroke-width: 0.71; stroke: #00BA38; stroke-opacity: 0.70;' />
<rect x='246.72' y='319.08' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #00BA38; stroke-opacity: 0.70;' />
<line x1='246.72' y1='326.19' x2='253.83' y2='319.08' style='stroke-width: 0.71; stroke: #00BA38; stroke-opacity: 0.70;' />
<line x1='246.72' y1='319.08' x2='253.83' y2='326.19' style='stroke-width: 0.71; stroke: #00BA38; stroke-opacity: 0.70;' />
<circle cx='337.54' cy='271.12' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #00BFC4; fill-opacity: 0.70;' />
<polygon points='233.96,351.30 238.75,359.59 229.17,359.59 ' style='stroke-width: 0.71; stroke: none; fill: #00BFC4; fill-opacity: 0.70;' />
<polygon points='227.58,360.04 234.69,360.04 234.69,352.93 227.58,352.93 ' style='stroke-width: 0.71; stroke: none; fill: #00BFC4; fill-opacity: 0.70;' />
<line x1='310.60' y1='272.40' x2='320.66' y2='272.40' style='stroke-width: 0.71; stroke: #00BFC4; stroke-opacity: 0.70;' />
<line x1='315.63' y1='277.43' x2='315.63' y2='267.38' style='stroke-width: 0.71; stroke: #00BFC4; stroke-opacity: 0.70;' />
<rect x='180.35' y='348.53' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #00BFC4; stroke-opacity: 0.70;' />
<line x1='180.35' y1='355.64' x2='187.46' y2='348.53' style='stroke-width: 0.71; stroke: #00BFC4; stroke-opacity: 0.70;' />
<line x1='180.35' y1='348.53' x2='187.46' y2='355.64' style='stroke-width: 0.71; stroke: #00BFC4; stroke-opacity: 0.70;' />
<circle cx='439.98' cy='120.14' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #00BFC4; fill-opacity: 0.70;' />
<polygon points='499.64,61.57 504.43,69.86 494.86,69.86 ' style='stroke-width: 0.71; stroke: none; fill: #00BFC4; fill-opacity: 0.70;' />
<polygon points='382.76,135.99 389.87,135.99 389.87,128.88 382.76,128.88 ' style='stroke-width: 0.71; stroke: none; fill: #00BFC4; fill-opacity: 0.70;' />
<line x1='423.86' y1='113.19' x2='433.91' y2='113.19' style='stroke-width: 0.71; stroke: #00BFC4; stroke-opacity: 0.70;' />
<line x1='428.88' y1='118.22' x2='428.88' y2='108.17' style='stroke-width: 0.71; stroke: #00BFC4; stroke-opacity: 0.70;' />
<rect x='337.31' y='213.47' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #00BFC4; stroke-opacity: 0.70;' />
<line x1='337.31' y1='220.58' x2='344.42' y2='213.47' style='stroke-width: 0.71; stroke: #00BFC4; stroke-opacity: 0.70;' />
<line x1='337.31' y1='213.47' x2='344.42' y2='220.58' style='stroke-width: 0.71; stroke: #00BFC4; stroke-opacity: 0.70;' />
<circle cx='358.22' cy='223.75' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #00BFC4; fill-opacity: 0.70;' />
<polygon points='397.78,215.10 402.57,223.39 393.00,223.39 ' style='stroke-width: 0.71; stroke: none; fill: #00BFC4; fill-opacity: 0.70;' />
<polygon points='124.28,355.41 131.39,355.41 131.39,348.30 124.28,348.30 ' style='stroke-width: 0.71; stroke: none; fill: #00BFC4; fill-opacity: 0.70;' />
<line x1='293.10' y1='270.42' x2='303.15' y2='270.42' style='stroke-width: 0.71; stroke: #00BFC4; stroke-opacity: 0.70;' />
<line x1='298.13' y1='275.44' x2='298.13' y2='265.39' style='stroke-width: 0.71; stroke: #00BFC4; stroke-opacity: 0.70;' />
<rect x='246.43' y='305.15' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #00BFC4; stroke-opacity: 0.70;' />
<line x1='246.43' y1='312.26' x2='253.54' y2='305.15' style='stroke-width: 0.71; stroke: #00BFC4; stroke-opacity: 0.70;' />
<line x1='246.43' y1='305.15' x2='253.54' y2='312.26' style='stroke-width: 0.71; stroke: #00BFC4; stroke-opacity: 0.70;' />
<circle cx='364.23' cy='248.90' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #619CFF; fill-opacity: 0.70;' />
<polygon points='265.50,326.94 270.29,335.23 260.72,335.23 ' style='stroke-width: 0.71; stroke: none; fill: #619CFF; fill-opacity: 0.70;' />
<polygon points='244.05,339.35 251.16,339.35 251.16,332.24 244.05,332.24 ' style='stroke-width: 0.71; stroke: none; fill: #619CFF; fill-opacity: 0.70;' />
<line x1='331.03' y1='251.02' x2='341.09' y2='251.02' style='stroke-width: 0.71; stroke: #619CFF; stroke-opacity: 0.70;' />
<line x1='336.06' y1='256.05' x2='336.06' y2='245.99' style='stroke-width: 0.71; stroke: #619CFF; stroke-opacity: 0.70;' />
<rect x='193.48' y='328.09' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #619CFF; stroke-opacity: 0.70;' />
<line x1='193.48' y1='335.20' x2='200.59' y2='328.09' style='stroke-width: 0.71; stroke: #619CFF; stroke-opacity: 0.70;' />
<line x1='193.48' y1='328.09' x2='200.59' y2='335.20' style='stroke-width: 0.71; stroke: #619CFF; stroke-opacity: 0.70;' />
<circle cx='469.57' cy='89.41' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #619CFF; fill-opacity: 0.70;' />
<polygon points='529.57,41.67 534.36,49.96 524.78,49.96 ' style='stroke-width: 0.71; stroke: none; fill: #619CFF; fill-opacity: 0.70;' />
<polygon points='407.38,104.18 414.49,104.18 414.49,97.07 407.38,97.07 ' style='stroke-width: 0.71; stroke: none; fill: #619CFF; fill-opacity: 0.70;' />
<line x1='460.61' y1='83.08' x2='470.67' y2='83.08' style='stroke-width: 0.71; stroke: #619CFF; stroke-opacity: 0.70;' />
<line x1='465.64' y1='88.10' x2='465.64' y2='78.05' style='stroke-width: 0.71; stroke: #619CFF; stroke-opacity: 0.70;' />
<rect x='362.01' y='187.24' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #619CFF; stroke-opacity: 0.70;' />
<line x1='362.01' y1='194.35' x2='369.12' y2='187.24' style='stroke-width: 0.71; stroke: #619CFF; stroke-opacity: 0.70;' />
<line x1='362.01' y1='187.24' x2='369.12' y2='194.35' style='stroke-width: 0.71; stroke: #619CFF; stroke-opacity: 0.70;' />
<circle cx='383.03' cy='201.62' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #619CFF; fill-opacity: 0.70;' />
<polygon points='422.18,193.85 426.96,202.14 417.39,202.14 ' style='stroke-width: 0.71; stroke: none; fill: #619CFF; fill-opacity: 0.70;' />
<polygon points='147.78,338.67 154.89,338.67 154.89,331.56 147.78,331.56 ' style='stroke-width: 0.71; stroke: none; fill: #619CFF; fill-opacity: 0.70;' />
<line x1='315.39' y1='253.83' x2='325.45' y2='253.83' style='stroke-width: 0.71; stroke: #619CFF; stroke-opacity: 0.70;' />
<line x1='320.42' y1='258.86' x2='320.42' y2='248.80' style='stroke-width: 0.71; stroke: #619CFF; stroke-opacity: 0.70;' />
<rect x='271.35' y='282.32' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #619CFF; stroke-opacity: 0.70;' />
<line x1='271.35' y1='289.44' x2='278.46' y2='282.32' style='stroke-width: 0.71; stroke: #619CFF; stroke-opacity: 0.70;' />
<line x1='271.35' y1='282.32' x2='278.46' y2='289.44' style='stroke-width: 0.71; stroke: #619CFF; stroke-opacity: 0.70;' />
<circle cx='316.48' cy='278.94' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #F564E3; fill-opacity: 0.70;' />
<polygon points='175.75,435.26 180.54,443.56 170.96,443.56 ' style='stroke-width: 0.71; stroke: none; fill: #F564E3; fill-opacity: 0.70;' />
<polygon points='206.42,362.04 213.53,362.04 213.53,354.93 206.42,354.93 ' style='stroke-width: 0.71; stroke: none; fill: #F564E3; fill-opacity: 0.70;' />
<line x1='294.97' y1='286.30' x2='305.02' y2='286.30' style='stroke-width: 0.71; stroke: #F564E3; stroke-opacity: 0.70;' />
<line x1='299.99' y1='291.33' x2='299.99' y2='281.28' style='stroke-width: 0.71; stroke: #F564E3; stroke-opacity: 0.70;' />
<rect x='156.63' y='379.88' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #F564E3; stroke-opacity: 0.70;' />
<line x1='156.63' y1='386.99' x2='163.74' y2='379.88' style='stroke-width: 0.71; stroke: #F564E3; stroke-opacity: 0.70;' />
<line x1='156.63' y1='379.88' x2='163.74' y2='386.99' style='stroke-width: 0.71; stroke: #F564E3; stroke-opacity: 0.70;' />
<circle cx='445.76' cy='126.17' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #F564E3; fill-opacity: 0.70;' />
<polygon points='408.29,141.65 413.08,149.94 403.50,149.94 ' style='stroke-width: 0.71; stroke: none; fill: #F564E3; fill-opacity: 0.70;' />
<polygon points='371.26,151.90 378.37,151.90 378.37,144.79 371.26,144.79 ' style='stroke-width: 0.71; stroke: none; fill: #F564E3; fill-opacity: 0.70;' />
<line x1='447.66' y1='113.69' x2='457.72' y2='113.69' style='stroke-width: 0.71; stroke: #F564E3; stroke-opacity: 0.70;' />
<line x1='452.69' y1='118.71' x2='452.69' y2='108.66' style='stroke-width: 0.71; stroke: #F564E3; stroke-opacity: 0.70;' />
<rect x='330.36' y='218.68' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #F564E3; stroke-opacity: 0.70;' />
<line x1='330.36' y1='225.79' x2='337.47' y2='218.68' style='stroke-width: 0.71; stroke: #F564E3; stroke-opacity: 0.70;' />
<line x1='330.36' y1='218.68' x2='337.47' y2='225.79' style='stroke-width: 0.71; stroke: #F564E3; stroke-opacity: 0.70;' />
<circle cx='340.74' cy='236.36' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #F564E3; fill-opacity: 0.70;' />
<polygon points='252.43,324.81 257.22,333.11 247.65,333.11 ' style='stroke-width: 0.71; stroke: none; fill: #F564E3; fill-opacity: 0.70;' />
<polygon points='158.10,331.52 165.21,331.52 165.21,324.41 158.10,324.41 ' style='stroke-width: 0.71; stroke: none; fill: #F564E3; fill-opacity: 0.70;' />
<line x1='313.26' y1='283.09' x2='323.32' y2='283.09' style='stroke-width: 0.71; stroke: #F564E3; stroke-opacity: 0.70;' />
<line x1='318.29' y1='288.12' x2='318.29' y2='278.06' style='stroke-width: 0.71; stroke: #F564E3; stroke-opacity: 0.70;' />
<rect x='237.48' y='319.86' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #F564E3; stroke-opacity: 0.70;' />
<line x1='237.48' y1='326.97' x2='244.59' y2='319.86' style='stroke-width: 0.71; stroke: #F564E3; stroke-opacity: 0.70;' />
<line x1='237.48' y1='319.86' x2='244.59' y2='326.97' style='stroke-width: 0.71; stroke: #F564E3; stroke-opacity: 0.70;' />
</g>
<g clip-path='url(#cpMC4wMHw3MjAuMDB8MC4wMHw1NzYuMDA=)'>
<text x='42.77' y='392.94' 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='226.73' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='24.70px' lengthAdjust='spacingAndGlyphs'>1e+07</text>
<text x='42.77' y='60.52' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='24.70px' lengthAdjust='spacingAndGlyphs'>1e+09</text>
<text x='211.09' y='556.10' text-anchor='middle' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='24.70px' lengthAdjust='spacingAndGlyphs'>1e+04</text>
<text x='377.66' y='556.10' text-anchor='middle' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='24.70px' lengthAdjust='spacingAndGlyphs'>1e+06</text>
<text x='544.24' y='556.10' text-anchor='middle' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='24.70px' lengthAdjust='spacingAndGlyphs'>1e+08</text>
<text x='300.11' y='568.24' text-anchor='middle' style='font-size: 11.00px; font-family: "Liberation Sans";' textLength='82.39px' lengthAdjust='spacingAndGlyphs'>AOT Fault Count</text>
<text transform='translate(13.05,284.30) rotate(-90)' text-anchor='middle' style='font-size: 11.00px; font-family: "Liberation Sans";' textLength='110.75px' lengthAdjust='spacingAndGlyphs'>Interpreter Fault Count</text>
<text x='568.95' y='171.68' style='font-size: 11.00px; font-family: "Liberation Sans";' textLength='55.66px' lengthAdjust='spacingAndGlyphs'>Experiment</text>
<circle cx='577.59' cy='186.94' r='3.56' style='stroke-width: 0.71; stroke: #F8766D; stroke-opacity: 0.70; fill: #F8766D; fill-opacity: 0.70;' />
<circle cx='577.59' cy='204.22' r='3.56' style='stroke-width: 0.71; stroke: #B79F00; stroke-opacity: 0.70; fill: #B79F00; fill-opacity: 0.70;' />
<circle cx='577.59' cy='221.50' r='3.56' style='stroke-width: 0.71; stroke: #00BA38; stroke-opacity: 0.70; fill: #00BA38; fill-opacity: 0.70;' />
<circle cx='577.59' cy='238.78' r='3.56' style='stroke-width: 0.71; stroke: #00BFC4; stroke-opacity: 0.70; fill: #00BFC4; fill-opacity: 0.70;' />
<circle cx='577.59' cy='256.06' r='3.56' style='stroke-width: 0.71; stroke: #619CFF; stroke-opacity: 0.70; fill: #619CFF; fill-opacity: 0.70;' />
<circle cx='577.59' cy='273.34' r='3.56' style='stroke-width: 0.71; stroke: #F564E3; stroke-opacity: 0.70; fill: #F564E3; fill-opacity: 0.70;' />
<text x='591.71' y='189.97' style='font-size: 8.80px; font-family: "Liberation Sans";' textLength='98.73px' lengthAdjust='spacingAndGlyphs'>tacle-kernel-binarysearch</text>
<text x='591.71' y='207.25' style='font-size: 8.80px; font-family: "Liberation Sans";' textLength='67.92px' lengthAdjust='spacingAndGlyphs'>tacle-kernel-bsort</text>
<text x='591.71' y='224.53' style='font-size: 8.80px; font-family: "Liberation Sans";' textLength='117.33px' lengthAdjust='spacingAndGlyphs'>tacle-kernel-complex_updates</text>
<text x='591.71' y='241.81' style='font-size: 8.80px; font-family: "Liberation Sans";' textLength='103.14px' lengthAdjust='spacingAndGlyphs'>tacle-kernel-countnegative</text>
<text x='591.71' y='259.09' style='font-size: 8.80px; font-family: "Liberation Sans";' textLength='77.20px' lengthAdjust='spacingAndGlyphs'>tacle-kernel-matrix1</text>
<text x='591.71' y='276.37' style='font-size: 8.80px; font-family: "Liberation Sans";' textLength='84.55px' lengthAdjust='spacingAndGlyphs'>tacle-kernel-recursion</text>
<text x='568.95' y='312.61' style='font-size: 11.00px; font-family: "Liberation Sans";' textLength='51.19px' lengthAdjust='spacingAndGlyphs'>Fault Type</text>
<circle cx='577.59' cy='327.87' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #000000; fill-opacity: 0.70;' />
<polygon points='577.59,339.62 582.38,347.91 572.81,347.91 ' style='stroke-width: 0.71; stroke: none; fill: #000000; fill-opacity: 0.70;' />
<polygon points='574.04,365.98 581.15,365.98 581.15,358.87 574.04,358.87 ' style='stroke-width: 0.71; stroke: none; fill: #000000; fill-opacity: 0.70;' />
<line x1='572.57' y1='379.71' x2='582.62' y2='379.71' style='stroke-width: 0.71; stroke: #000000; stroke-opacity: 0.70;' />
<line x1='577.59' y1='384.74' x2='577.59' y2='374.68' style='stroke-width: 0.71; stroke: #000000; stroke-opacity: 0.70;' />
<rect x='574.04' y='393.43' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #000000; stroke-opacity: 0.70;' />
<line x1='574.04' y1='400.54' x2='581.15' y2='393.43' style='stroke-width: 0.71; stroke: #000000; stroke-opacity: 0.70;' />
<line x1='574.04' y1='393.43' x2='581.15' y2='400.54' style='stroke-width: 0.71; stroke: #000000; stroke-opacity: 0.70;' />
<text x='591.71' y='330.90' style='font-size: 8.80px; font-family: "Liberation Sans";' textLength='101.12px' lengthAdjust='spacingAndGlyphs'>ACCESS_OUTERSPACE</text>
<text x='591.71' y='348.18' style='font-size: 8.80px; font-family: "Liberation Sans";' textLength='60.66px' lengthAdjust='spacingAndGlyphs'>FAIL_MARKER</text>
<text x='591.71' y='365.46' style='font-size: 8.80px; font-family: "Liberation Sans";' textLength='39.59px' lengthAdjust='spacingAndGlyphs'>TIMEOUT</text>
<text x='591.71' y='382.74' style='font-size: 8.80px; font-family: "Liberation Sans";' textLength='23.48px' lengthAdjust='spacingAndGlyphs'>TRAP</text>
<text x='591.71' y='400.02' style='font-size: 8.80px; font-family: "Liberation Sans";' textLength='99.27px' lengthAdjust='spacingAndGlyphs'>WRITE_TEXTSEGMENT</text>
<text x='47.70' y='15.11' style='font-size: 14.00px; font-weight: bold; font-family: "Liberation Sans";' textLength='156.27px' lengthAdjust='spacingAndGlyphs'>Fault Count Correlation</text>
</g>
</g>
</svg>
View Git Blame Copy Permalink