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

260 lines
30 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='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,476.80 552.52,476.80 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,323.55 552.52,323.55 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,170.31 552.52,170.31 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='124.44,545.12 124.44,23.49 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='281.24,545.12 281.24,23.49 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='438.03,545.12 438.03,23.49 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,400.18 552.52,400.18 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,246.93 552.52,246.93 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,93.69 552.52,93.69 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='202.84,545.12 202.84,23.49 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='359.63,545.12 359.63,23.49 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='516.43,545.12 516.43,23.49 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<circle cx='241.23' cy='345.17' 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='142.95,436.84 150.06,436.84 150.06,429.73 142.95,429.73 ' style='stroke-width: 0.71; stroke: none; fill: #F8766D; fill-opacity: 0.70;' />
<line x1='217.71' y1='352.74' x2='227.77' y2='352.74' style='stroke-width: 0.71; stroke: #F8766D; stroke-opacity: 0.70;' />
<line x1='222.74' y1='357.76' x2='222.74' y2='347.71' style='stroke-width: 0.71; stroke: #F8766D; stroke-opacity: 0.70;' />
<rect x='118.01' y='444.77' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #F8766D; stroke-opacity: 0.70;' />
<line x1='118.01' y1='451.88' x2='125.12' y2='444.77' style='stroke-width: 0.71; stroke: #F8766D; stroke-opacity: 0.70;' />
<line x1='118.01' y1='444.77' x2='125.12' y2='451.88' style='stroke-width: 0.71; stroke: #F8766D; stroke-opacity: 0.70;' />
<circle cx='338.66' cy='215.20' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #F8766D; fill-opacity: 0.70;' />
<polygon points='285.73,251.55 290.52,259.84 280.95,259.84 ' style='stroke-width: 0.71; stroke: none; fill: #F8766D; fill-opacity: 0.70;' />
<polygon points='282.86,236.16 289.97,236.16 289.97,229.05 282.86,229.05 ' style='stroke-width: 0.71; stroke: none; fill: #F8766D; fill-opacity: 0.70;' />
<line x1='317.61' y1='209.84' x2='327.67' y2='209.84' style='stroke-width: 0.71; stroke: #F8766D; stroke-opacity: 0.70;' />
<line x1='322.64' y1='214.87' x2='322.64' y2='204.81' style='stroke-width: 0.71; stroke: #F8766D; stroke-opacity: 0.70;' />
<rect x='235.97' y='295.90' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #F8766D; stroke-opacity: 0.70;' />
<line x1='235.97' y1='303.01' x2='243.08' y2='295.90' style='stroke-width: 0.71; stroke: #F8766D; stroke-opacity: 0.70;' />
<line x1='235.97' y1='295.90' x2='243.08' y2='303.01' style='stroke-width: 0.71; stroke: #F8766D; stroke-opacity: 0.70;' />
<circle cx='262.26' cy='307.23' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #F8766D; fill-opacity: 0.70;' />
<polygon points='125.97,431.37 130.76,439.66 121.18,439.66 ' style='stroke-width: 0.71; stroke: none; fill: #F8766D; fill-opacity: 0.70;' />
<polygon points='121.69,421.83 128.80,421.83 128.80,414.72 121.69,414.72 ' style='stroke-width: 0.71; stroke: none; fill: #F8766D; fill-opacity: 0.70;' />
<line x1='214.65' y1='350.02' x2='224.71' y2='350.02' style='stroke-width: 0.71; stroke: #F8766D; stroke-opacity: 0.70;' />
<line x1='219.68' y1='355.04' x2='219.68' y2='344.99' style='stroke-width: 0.71; stroke: #F8766D; stroke-opacity: 0.70;' />
<rect x='168.36' y='380.31' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #F8766D; stroke-opacity: 0.70;' />
<line x1='168.36' y1='387.42' x2='175.48' y2='380.31' style='stroke-width: 0.71; stroke: #F8766D; stroke-opacity: 0.70;' />
<line x1='168.36' y1='380.31' x2='175.48' y2='387.42' style='stroke-width: 0.71; stroke: #F8766D; stroke-opacity: 0.70;' />
<circle cx='288.37' cy='313.39' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #C49A00; fill-opacity: 0.70;' />
<polygon points='149.11,458.86 153.90,467.15 144.32,467.15 ' style='stroke-width: 0.71; stroke: none; fill: #C49A00; fill-opacity: 0.70;' />
<polygon points='185.30,399.11 192.41,399.11 192.41,392.00 185.30,392.00 ' style='stroke-width: 0.71; stroke: none; fill: #C49A00; fill-opacity: 0.70;' />
<line x1='264.39' y1='316.74' x2='274.44' y2='316.74' style='stroke-width: 0.71; stroke: #C49A00; stroke-opacity: 0.70;' />
<line x1='269.42' y1='321.77' x2='269.42' y2='311.71' style='stroke-width: 0.71; stroke: #C49A00; stroke-opacity: 0.70;' />
<rect x='132.75' y='393.99' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #C49A00; stroke-opacity: 0.70;' />
<line x1='132.75' y1='401.10' x2='139.86' y2='393.99' style='stroke-width: 0.71; stroke: #C49A00; stroke-opacity: 0.70;' />
<line x1='132.75' y1='393.99' x2='139.86' y2='401.10' style='stroke-width: 0.71; stroke: #C49A00; stroke-opacity: 0.70;' />
<circle cx='391.10' cy='172.92' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #C49A00; fill-opacity: 0.70;' />
<polygon points='358.13,180.31 362.92,188.60 353.34,188.60 ' style='stroke-width: 0.71; stroke: none; fill: #C49A00; fill-opacity: 0.70;' />
<polygon points='332.71,189.05 339.82,189.05 339.82,181.94 332.71,181.94 ' style='stroke-width: 0.71; stroke: none; fill: #C49A00; fill-opacity: 0.70;' />
<line x1='377.20' y1='164.59' x2='387.26' y2='164.59' style='stroke-width: 0.71; stroke: #C49A00; stroke-opacity: 0.70;' />
<line x1='382.23' y1='169.62' x2='382.23' y2='159.56' style='stroke-width: 0.71; stroke: #C49A00; stroke-opacity: 0.70;' />
<rect x='292.25' y='259.44' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #C49A00; stroke-opacity: 0.70;' />
<line x1='292.25' y1='266.55' x2='299.36' y2='259.44' style='stroke-width: 0.71; stroke: #C49A00; stroke-opacity: 0.70;' />
<line x1='292.25' y1='259.44' x2='299.36' y2='266.55' style='stroke-width: 0.71; stroke: #C49A00; stroke-opacity: 0.70;' />
<circle cx='308.72' cy='271.55' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #C49A00; fill-opacity: 0.70;' />
<polygon points='227.55,357.68 232.34,365.97 222.76,365.97 ' style='stroke-width: 0.71; stroke: none; fill: #C49A00; fill-opacity: 0.70;' />
<polygon points='123.44,390.87 130.55,390.87 130.55,383.76 123.44,383.76 ' style='stroke-width: 0.71; stroke: none; fill: #C49A00; fill-opacity: 0.70;' />
<line x1='252.53' y1='313.49' x2='262.59' y2='313.49' style='stroke-width: 0.71; stroke: #C49A00; stroke-opacity: 0.70;' />
<line x1='257.56' y1='318.52' x2='257.56' y2='308.47' style='stroke-width: 0.71; stroke: #C49A00; stroke-opacity: 0.70;' />
<rect x='206.04' y='344.66' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #C49A00; stroke-opacity: 0.70;' />
<line x1='206.04' y1='351.77' x2='213.15' y2='344.66' style='stroke-width: 0.71; stroke: #C49A00; stroke-opacity: 0.70;' />
<line x1='206.04' y1='344.66' x2='213.15' y2='351.77' style='stroke-width: 0.71; stroke: #C49A00; stroke-opacity: 0.70;' />
<circle cx='308.81' cy='306.05' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #53B400; fill-opacity: 0.70;' />
<polygon points='222.24,386.03 227.03,394.33 217.45,394.33 ' style='stroke-width: 0.71; stroke: none; fill: #53B400; fill-opacity: 0.70;' />
<polygon points='205.67,391.99 212.78,391.99 212.78,384.88 205.67,384.88 ' style='stroke-width: 0.71; stroke: none; fill: #53B400; fill-opacity: 0.70;' />
<line x1='282.37' y1='307.23' x2='292.42' y2='307.23' style='stroke-width: 0.71; stroke: #53B400; stroke-opacity: 0.70;' />
<line x1='287.39' y1='312.26' x2='287.39' y2='302.20' style='stroke-width: 0.71; stroke: #53B400; stroke-opacity: 0.70;' />
<rect x='157.54' y='376.23' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #53B400; stroke-opacity: 0.70;' />
<line x1='157.54' y1='383.34' x2='164.65' y2='376.23' style='stroke-width: 0.71; stroke: #53B400; stroke-opacity: 0.70;' />
<line x1='157.54' y1='376.23' x2='164.65' y2='383.34' style='stroke-width: 0.71; stroke: #53B400; stroke-opacity: 0.70;' />
<circle cx='401.97' cy='169.21' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #53B400; fill-opacity: 0.70;' />
<polygon points='469.49,114.58 474.28,122.87 464.70,122.87 ' style='stroke-width: 0.71; stroke: none; fill: #53B400; fill-opacity: 0.70;' />
<polygon points='350.41,185.86 357.53,185.86 357.53,178.75 350.41,178.75 ' style='stroke-width: 0.71; stroke: none; fill: #53B400; fill-opacity: 0.70;' />
<line x1='392.97' y1='151.91' x2='403.02' y2='151.91' style='stroke-width: 0.71; stroke: #53B400; stroke-opacity: 0.70;' />
<line x1='397.99' y1='156.94' x2='397.99' y2='146.88' style='stroke-width: 0.71; stroke: #53B400; stroke-opacity: 0.70;' />
<rect x='305.27' y='250.11' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #53B400; stroke-opacity: 0.70;' />
<line x1='305.27' y1='257.22' x2='312.38' y2='250.11' style='stroke-width: 0.71; stroke: #53B400; stroke-opacity: 0.70;' />
<line x1='305.27' y1='250.11' x2='312.38' y2='257.22' style='stroke-width: 0.71; stroke: #53B400; stroke-opacity: 0.70;' />
<circle cx='328.40' cy='261.99' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #53B400; fill-opacity: 0.70;' />
<polygon points='364.65,257.86 369.43,266.15 359.86,266.15 ' style='stroke-width: 0.71; stroke: none; fill: #53B400; fill-opacity: 0.70;' />
<polygon points='122.45,399.61 129.56,399.61 129.56,392.50 122.45,392.50 ' style='stroke-width: 0.71; stroke: none; fill: #53B400; fill-opacity: 0.70;' />
<line x1='262.34' y1='299.85' x2='272.39' y2='299.85' style='stroke-width: 0.71; stroke: #53B400; stroke-opacity: 0.70;' />
<line x1='267.37' y1='304.88' x2='267.37' y2='294.83' style='stroke-width: 0.71; stroke: #53B400; stroke-opacity: 0.70;' />
<rect x='236.17' y='334.59' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #53B400; stroke-opacity: 0.70;' />
<line x1='236.17' y1='341.70' x2='243.28' y2='334.59' style='stroke-width: 0.71; stroke: #53B400; stroke-opacity: 0.70;' />
<line x1='236.17' y1='334.59' x2='243.28' y2='341.70' style='stroke-width: 0.71; stroke: #53B400; stroke-opacity: 0.70;' />
<circle cx='321.86' cy='290.64' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #00C094; fill-opacity: 0.70;' />
<polygon points='224.37,364.14 229.15,372.44 219.58,372.44 ' style='stroke-width: 0.71; stroke: none; fill: #00C094; fill-opacity: 0.70;' />
<polygon points='218.16,372.91 225.27,372.91 225.27,365.80 218.16,365.80 ' style='stroke-width: 0.71; stroke: none; fill: #00C094; fill-opacity: 0.70;' />
<line x1='296.22' y1='291.83' x2='306.27' y2='291.83' style='stroke-width: 0.71; stroke: #00C094; stroke-opacity: 0.70;' />
<line x1='301.24' y1='296.86' x2='301.24' y2='286.80' style='stroke-width: 0.71; stroke: #00C094; stroke-opacity: 0.70;' />
<rect x='173.70' y='361.74' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #00C094; stroke-opacity: 0.70;' />
<line x1='173.70' y1='368.85' x2='180.81' y2='361.74' style='stroke-width: 0.71; stroke: #00C094; stroke-opacity: 0.70;' />
<line x1='173.70' y1='361.74' x2='180.81' y2='368.85' style='stroke-width: 0.71; stroke: #00C094; stroke-opacity: 0.70;' />
<circle cx='418.28' cy='151.44' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #00C094; fill-opacity: 0.70;' />
<polygon points='474.45,97.02 479.23,105.31 469.66,105.31 ' style='stroke-width: 0.71; stroke: none; fill: #00C094; fill-opacity: 0.70;' />
<polygon points='364.22,166.34 371.33,166.34 371.33,159.23 364.22,159.23 ' style='stroke-width: 0.71; stroke: none; fill: #00C094; fill-opacity: 0.70;' />
<line x1='402.81' y1='145.04' x2='412.87' y2='145.04' style='stroke-width: 0.71; stroke: #00C094; stroke-opacity: 0.70;' />
<line x1='407.84' y1='150.07' x2='407.84' y2='140.02' style='stroke-width: 0.71; stroke: #00C094; stroke-opacity: 0.70;' />
<rect x='321.44' y='237.22' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #00C094; stroke-opacity: 0.70;' />
<line x1='321.44' y1='244.33' x2='328.55' y2='237.22' style='stroke-width: 0.71; stroke: #00C094; stroke-opacity: 0.70;' />
<line x1='321.44' y1='237.22' x2='328.55' y2='244.33' style='stroke-width: 0.71; stroke: #00C094; stroke-opacity: 0.70;' />
<circle cx='341.33' cy='246.98' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #00C094; fill-opacity: 0.70;' />
<polygon points='378.57,238.57 383.36,246.86 373.78,246.86 ' style='stroke-width: 0.71; stroke: none; fill: #00C094; fill-opacity: 0.70;' />
<polygon points='120.92,368.64 128.03,368.64 128.03,361.53 120.92,361.53 ' style='stroke-width: 0.71; stroke: none; fill: #00C094; fill-opacity: 0.70;' />
<line x1='279.74' y1='290.00' x2='289.79' y2='290.00' style='stroke-width: 0.71; stroke: #00C094; stroke-opacity: 0.70;' />
<line x1='284.77' y1='295.03' x2='284.77' y2='284.97' style='stroke-width: 0.71; stroke: #00C094; stroke-opacity: 0.70;' />
<rect x='235.90' y='321.74' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #00C094; stroke-opacity: 0.70;' />
<line x1='235.90' y1='328.85' x2='243.01' y2='321.74' style='stroke-width: 0.71; stroke: #00C094; stroke-opacity: 0.70;' />
<line x1='235.90' y1='321.74' x2='243.01' y2='328.85' style='stroke-width: 0.71; stroke: #00C094; stroke-opacity: 0.70;' />
<circle cx='366.24' cy='250.94' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #00B6EB; fill-opacity: 0.70;' />
<polygon points='279.77,325.18 284.56,333.47 274.98,333.47 ' style='stroke-width: 0.71; stroke: none; fill: #00B6EB; fill-opacity: 0.70;' />
<polygon points='245.03,335.20 252.14,335.20 252.14,328.09 245.03,328.09 ' style='stroke-width: 0.71; stroke: none; fill: #00B6EB; fill-opacity: 0.70;' />
<line x1='336.49' y1='252.78' x2='346.54' y2='252.78' style='stroke-width: 0.71; stroke: #00B6EB; stroke-opacity: 0.70;' />
<line x1='341.51' y1='257.81' x2='341.51' y2='247.75' style='stroke-width: 0.71; stroke: #00B6EB; stroke-opacity: 0.70;' />
<rect x='179.32' y='327.29' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #00B6EB; stroke-opacity: 0.70;' />
<line x1='179.32' y1='334.40' x2='186.43' y2='327.29' style='stroke-width: 0.71; stroke: #00B6EB; stroke-opacity: 0.70;' />
<line x1='179.32' y1='327.29' x2='186.43' y2='334.40' style='stroke-width: 0.71; stroke: #00B6EB; stroke-opacity: 0.70;' />
<circle cx='469.35' cy='101.26' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #00B6EB; 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: #00B6EB; fill-opacity: 0.70;' />
<polygon points='414.35,102.54 421.46,102.54 421.46,95.43 414.35,95.43 ' style='stroke-width: 0.71; stroke: none; fill: #00B6EB; fill-opacity: 0.70;' />
<line x1='461.17' y1='83.85' x2='471.22' y2='83.85' style='stroke-width: 0.71; stroke: #00B6EB; stroke-opacity: 0.70;' />
<line x1='466.19' y1='88.88' x2='466.19' y2='78.82' style='stroke-width: 0.71; stroke: #00B6EB; stroke-opacity: 0.70;' />
<rect x='365.96' y='191.53' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #00B6EB; stroke-opacity: 0.70;' />
<line x1='365.96' y1='198.64' x2='373.07' y2='191.53' style='stroke-width: 0.71; stroke: #00B6EB; stroke-opacity: 0.70;' />
<line x1='365.96' y1='191.53' x2='373.07' y2='198.64' style='stroke-width: 0.71; stroke: #00B6EB; stroke-opacity: 0.70;' />
<circle cx='384.19' cy='206.27' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #00B6EB; fill-opacity: 0.70;' />
<polygon points='421.44,200.73 426.23,209.02 416.65,209.02 ' style='stroke-width: 0.71; stroke: none; fill: #00B6EB; fill-opacity: 0.70;' />
<polygon points='233.12,328.31 240.23,328.31 240.23,321.20 233.12,321.20 ' style='stroke-width: 0.71; stroke: none; fill: #00B6EB; fill-opacity: 0.70;' />
<line x1='320.48' y1='249.08' x2='330.54' y2='249.08' style='stroke-width: 0.71; stroke: #00B6EB; stroke-opacity: 0.70;' />
<line x1='325.51' y1='254.10' x2='325.51' y2='244.05' style='stroke-width: 0.71; stroke: #00B6EB; stroke-opacity: 0.70;' />
<rect x='277.30' y='282.66' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #00B6EB; stroke-opacity: 0.70;' />
<line x1='277.30' y1='289.77' x2='284.41' y2='282.66' style='stroke-width: 0.71; stroke: #00B6EB; stroke-opacity: 0.70;' />
<line x1='277.30' y1='282.66' x2='284.41' y2='289.77' style='stroke-width: 0.71; stroke: #00B6EB; stroke-opacity: 0.70;' />
<circle cx='346.99' cy='270.16' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #A58AFF; fill-opacity: 0.70;' />
<polygon points='254.06,341.68 258.85,349.97 249.27,349.97 ' style='stroke-width: 0.71; stroke: none; fill: #A58AFF; fill-opacity: 0.70;' />
<polygon points='233.65,353.83 240.76,353.83 240.76,346.72 233.65,346.72 ' style='stroke-width: 0.71; stroke: none; fill: #A58AFF; fill-opacity: 0.70;' />
<line x1='315.44' y1='272.12' x2='325.50' y2='272.12' style='stroke-width: 0.71; stroke: #A58AFF; stroke-opacity: 0.70;' />
<line x1='320.47' y1='277.14' x2='320.47' y2='267.09' style='stroke-width: 0.71; stroke: #A58AFF; stroke-opacity: 0.70;' />
<rect x='186.06' y='342.90' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #A58AFF; stroke-opacity: 0.70;' />
<line x1='186.06' y1='350.01' x2='193.17' y2='342.90' style='stroke-width: 0.71; stroke: #A58AFF; stroke-opacity: 0.70;' />
<line x1='186.06' y1='342.90' x2='193.17' y2='350.01' style='stroke-width: 0.71; stroke: #A58AFF; stroke-opacity: 0.70;' />
<circle cx='446.14' cy='123.12' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #A58AFF; fill-opacity: 0.70;' />
<polygon points='502.61,78.67 507.40,86.96 497.83,86.96 ' style='stroke-width: 0.71; stroke: none; fill: #A58AFF; fill-opacity: 0.70;' />
<polygon points='387.40,137.01 394.51,137.01 394.51,129.90 387.40,129.90 ' style='stroke-width: 0.71; stroke: none; fill: #A58AFF; fill-opacity: 0.70;' />
<line x1='437.41' y1='117.28' x2='447.47' y2='117.28' style='stroke-width: 0.71; stroke: #A58AFF; stroke-opacity: 0.70;' />
<line x1='442.44' y1='122.30' x2='442.44' y2='112.25' style='stroke-width: 0.71; stroke: #A58AFF; stroke-opacity: 0.70;' />
<rect x='344.68' y='213.04' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #A58AFF; stroke-opacity: 0.70;' />
<line x1='344.68' y1='220.15' x2='351.79' y2='213.04' style='stroke-width: 0.71; stroke: #A58AFF; stroke-opacity: 0.70;' />
<line x1='344.68' y1='213.04' x2='351.79' y2='220.15' style='stroke-width: 0.71; stroke: #A58AFF; stroke-opacity: 0.70;' />
<circle cx='364.69' cy='226.57' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #A58AFF; fill-opacity: 0.70;' />
<polygon points='401.53,218.98 406.32,227.27 396.74,227.27 ' style='stroke-width: 0.71; stroke: none; fill: #A58AFF; fill-opacity: 0.70;' />
<polygon points='143.04,353.21 150.15,353.21 150.15,346.10 143.04,346.10 ' style='stroke-width: 0.71; stroke: none; fill: #A58AFF; fill-opacity: 0.70;' />
<line x1='300.72' y1='274.71' x2='310.78' y2='274.71' style='stroke-width: 0.71; stroke: #A58AFF; stroke-opacity: 0.70;' />
<line x1='305.75' y1='279.74' x2='305.75' y2='269.68' style='stroke-width: 0.71; stroke: #A58AFF; stroke-opacity: 0.70;' />
<rect x='259.35' y='300.70' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #A58AFF; stroke-opacity: 0.70;' />
<line x1='259.35' y1='307.81' x2='266.46' y2='300.70' style='stroke-width: 0.71; stroke: #A58AFF; stroke-opacity: 0.70;' />
<line x1='259.35' y1='300.70' x2='266.46' y2='307.81' style='stroke-width: 0.71; stroke: #A58AFF; stroke-opacity: 0.70;' />
<circle cx='302.04' cy='297.86' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #FB61D7; fill-opacity: 0.70;' />
<polygon points='169.58,441.55 174.37,449.85 164.79,449.85 ' style='stroke-width: 0.71; stroke: none; fill: #FB61D7; fill-opacity: 0.70;' />
<polygon points='198.24,374.76 205.35,374.76 205.35,367.65 198.24,367.65 ' style='stroke-width: 0.71; stroke: none; fill: #FB61D7; fill-opacity: 0.70;' />
<line x1='281.50' y1='304.65' x2='291.55' y2='304.65' style='stroke-width: 0.71; stroke: #FB61D7; stroke-opacity: 0.70;' />
<line x1='286.52' y1='309.68' x2='286.52' y2='299.62' style='stroke-width: 0.71; stroke: #FB61D7; stroke-opacity: 0.70;' />
<rect x='151.37' y='390.64' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #FB61D7; stroke-opacity: 0.70;' />
<line x1='151.37' y1='397.75' x2='158.48' y2='390.64' style='stroke-width: 0.71; stroke: #FB61D7; stroke-opacity: 0.70;' />
<line x1='151.37' y1='390.64' x2='158.48' y2='397.75' style='stroke-width: 0.71; stroke: #FB61D7; stroke-opacity: 0.70;' />
<circle cx='423.73' cy='157.01' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #FB61D7; fill-opacity: 0.70;' />
<polygon points='388.46,170.85 393.25,179.14 383.67,179.14 ' style='stroke-width: 0.71; stroke: none; fill: #FB61D7; fill-opacity: 0.70;' />
<polygon points='353.40,181.01 360.51,181.01 360.51,173.90 353.40,173.90 ' style='stroke-width: 0.71; stroke: none; fill: #FB61D7; fill-opacity: 0.70;' />
<line x1='425.22' y1='145.50' x2='435.28' y2='145.50' style='stroke-width: 0.71; stroke: #FB61D7; stroke-opacity: 0.70;' />
<line x1='430.25' y1='150.53' x2='430.25' y2='140.47' style='stroke-width: 0.71; stroke: #FB61D7; stroke-opacity: 0.70;' />
<rect x='314.90' y='242.02' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #FB61D7; stroke-opacity: 0.70;' />
<line x1='314.90' y1='249.14' x2='322.01' y2='242.02' style='stroke-width: 0.71; stroke: #FB61D7; stroke-opacity: 0.70;' />
<line x1='314.90' y1='242.02' x2='322.01' y2='249.14' style='stroke-width: 0.71; stroke: #FB61D7; stroke-opacity: 0.70;' />
<circle cx='324.88' cy='258.60' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #FB61D7; fill-opacity: 0.70;' />
<polygon points='241.76,339.72 246.55,348.02 236.97,348.02 ' style='stroke-width: 0.71; stroke: none; fill: #FB61D7; fill-opacity: 0.70;' />
<polygon points='152.76,346.61 159.87,346.61 159.87,339.50 152.76,339.50 ' style='stroke-width: 0.71; stroke: none; fill: #FB61D7; fill-opacity: 0.70;' />
<line x1='298.72' y1='301.68' x2='308.77' y2='301.68' style='stroke-width: 0.71; stroke: #FB61D7; stroke-opacity: 0.70;' />
<line x1='303.75' y1='306.71' x2='303.75' y2='296.65' style='stroke-width: 0.71; stroke: #FB61D7; stroke-opacity: 0.70;' />
<rect x='227.48' y='335.31' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #FB61D7; stroke-opacity: 0.70;' />
<line x1='227.48' y1='342.42' x2='234.59' y2='335.31' style='stroke-width: 0.71; stroke: #FB61D7; stroke-opacity: 0.70;' />
<line x1='227.48' y1='335.31' x2='234.59' y2='342.42' style='stroke-width: 0.71; stroke: #FB61D7; stroke-opacity: 0.70;' />
</g>
<g clip-path='url(#cpMC4wMHw3MjAuMDB8MC4wMHw1NzYuMDA=)'>
<text x='42.77' y='403.20' 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='249.96' 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='96.72' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='24.70px' lengthAdjust='spacingAndGlyphs'>1e+09</text>
<text x='202.84' 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='359.63' 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='516.43' 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='163.04' style='font-size: 11.00px; font-family: "Liberation Sans";' textLength='51.19px' lengthAdjust='spacingAndGlyphs'>Fault Type</text>
<circle cx='577.59' cy='178.30' r='3.56' style='stroke-width: 0.71; stroke: none; fill: #000000; fill-opacity: 0.70;' />
<polygon points='577.59,190.05 582.38,198.35 572.81,198.35 ' style='stroke-width: 0.71; stroke: none; fill: #000000; fill-opacity: 0.70;' />
<polygon points='574.04,216.42 581.15,216.42 581.15,209.31 574.04,209.31 ' style='stroke-width: 0.71; stroke: none; fill: #000000; fill-opacity: 0.70;' />
<line x1='572.57' y1='230.14' x2='582.62' y2='230.14' style='stroke-width: 0.71; stroke: #000000; stroke-opacity: 0.70;' />
<line x1='577.59' y1='235.17' x2='577.59' y2='225.11' style='stroke-width: 0.71; stroke: #000000; stroke-opacity: 0.70;' />
<rect x='574.04' y='243.87' width='7.11' height='7.11' style='stroke-width: 0.71; stroke: #000000; stroke-opacity: 0.70;' />
<line x1='574.04' y1='250.98' x2='581.15' y2='243.87' style='stroke-width: 0.71; stroke: #000000; stroke-opacity: 0.70;' />
<line x1='574.04' y1='243.87' x2='581.15' y2='250.98' style='stroke-width: 0.71; stroke: #000000; stroke-opacity: 0.70;' />
<text x='591.71' y='181.33' style='font-size: 8.80px; font-family: "Liberation Sans";' textLength='101.12px' lengthAdjust='spacingAndGlyphs'>ACCESS_OUTERSPACE</text>
<text x='591.71' y='198.61' style='font-size: 8.80px; font-family: "Liberation Sans";' textLength='60.66px' lengthAdjust='spacingAndGlyphs'>FAIL_MARKER</text>
<text x='591.71' y='215.89' style='font-size: 8.80px; font-family: "Liberation Sans";' textLength='39.59px' lengthAdjust='spacingAndGlyphs'>TIMEOUT</text>
<text x='591.71' y='233.17' style='font-size: 8.80px; font-family: "Liberation Sans";' textLength='23.48px' lengthAdjust='spacingAndGlyphs'>TRAP</text>
<text x='591.71' y='250.45' style='font-size: 8.80px; font-family: "Liberation Sans";' textLength='99.27px' lengthAdjust='spacingAndGlyphs'>WRITE_TEXTSEGMENT</text>
<text x='568.95' y='286.69' style='font-size: 11.00px; font-family: "Liberation Sans";' textLength='55.66px' lengthAdjust='spacingAndGlyphs'>Experiment</text>
<circle cx='577.59' cy='301.95' 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='319.23' r='3.56' style='stroke-width: 0.71; stroke: #C49A00; stroke-opacity: 0.70; fill: #C49A00; fill-opacity: 0.70;' />
<circle cx='577.59' cy='336.51' r='3.56' style='stroke-width: 0.71; stroke: #53B400; stroke-opacity: 0.70; fill: #53B400; fill-opacity: 0.70;' />
<circle cx='577.59' cy='353.79' r='3.56' style='stroke-width: 0.71; stroke: #00C094; stroke-opacity: 0.70; fill: #00C094; fill-opacity: 0.70;' />
<circle cx='577.59' cy='371.07' r='3.56' style='stroke-width: 0.71; stroke: #00B6EB; stroke-opacity: 0.70; fill: #00B6EB; fill-opacity: 0.70;' />
<circle cx='577.59' cy='388.35' r='3.56' style='stroke-width: 0.71; stroke: #A58AFF; stroke-opacity: 0.70; fill: #A58AFF; fill-opacity: 0.70;' />
<circle cx='577.59' cy='405.63' r='3.56' style='stroke-width: 0.71; stroke: #FB61D7; stroke-opacity: 0.70; fill: #FB61D7; fill-opacity: 0.70;' />
<text x='591.71' y='304.98' style='font-size: 8.80px; font-family: "Liberation Sans";' textLength='98.73px' lengthAdjust='spacingAndGlyphs'>tacle-kernel-binarysearch</text>
<text x='591.71' y='322.26' style='font-size: 8.80px; font-family: "Liberation Sans";' textLength='67.92px' lengthAdjust='spacingAndGlyphs'>tacle-kernel-bsort</text>
<text x='591.71' y='339.54' style='font-size: 8.80px; font-family: "Liberation Sans";' textLength='117.33px' lengthAdjust='spacingAndGlyphs'>tacle-kernel-complex_updates</text>
<text x='591.71' y='356.82' style='font-size: 8.80px; font-family: "Liberation Sans";' textLength='103.14px' lengthAdjust='spacingAndGlyphs'>tacle-kernel-countnegative</text>
<text x='591.71' y='374.10' style='font-size: 8.80px; font-family: "Liberation Sans";' textLength='55.53px' lengthAdjust='spacingAndGlyphs'>tacle-kernel-fft</text>
<text x='591.71' y='391.38' style='font-size: 8.80px; font-family: "Liberation Sans";' textLength='77.20px' lengthAdjust='spacingAndGlyphs'>tacle-kernel-matrix1</text>
<text x='591.71' y='408.66' style='font-size: 8.80px; font-family: "Liberation Sans";' textLength='84.55px' lengthAdjust='spacingAndGlyphs'>tacle-kernel-recursion</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