Files
failnix/injections/ratio_comparison_merged_trap-sum2.svg
T

106 lines
9.1 KiBLFS
XML

<?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='576.00pt' viewBox='0 0 864.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='cpMC4wMHw4NjQuMDB8MC4wMHw1NzYuMDA='>
<rect x='0.00' y='0.00' width='864.00' height='576.00' />
</clipPath>
</defs>
<g clip-path='url(#cpMC4wMHw4NjQuMDB8MC4wMHw1NzYuMDA=)'>
<rect x='0.00' y='0.00' width='864.00' height='576.00' style='stroke-width: 1.07; stroke: none; fill: #FFFFFF;' />
</g>
<defs>
<clipPath id='cpNDcuNzB8NzkxLjg2fDIyLjEzfDQ3NS45Mg=='>
<rect x='47.70' y='22.13' width='744.16' height='453.79' />
</clipPath>
</defs>
<g clip-path='url(#cpNDcuNzB8NzkxLjg2fDIyLjEzfDQ3NS45Mg==)'>
<polyline points='47.70,451.69 791.86,451.69 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,357.05 791.86,357.05 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,262.41 791.86,262.41 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,167.76 791.86,167.76 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,73.12 791.86,73.12 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,404.37 791.86,404.37 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,309.73 791.86,309.73 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,215.09 791.86,215.09 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,120.44 791.86,120.44 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,25.80 791.86,25.80 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='109.72,475.92 109.72,22.13 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='213.07,475.92 213.07,22.13 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='316.43,475.92 316.43,22.13 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='419.78,475.92 419.78,22.13 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='523.14,475.92 523.14,22.13 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='626.49,475.92 626.49,22.13 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='729.85,475.92 729.85,22.13 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<circle cx='109.72' cy='455.29' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='213.07' cy='437.01' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='316.43' cy='408.50' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='419.78' cy='419.18' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='523.14' cy='306.86' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='626.49' cy='397.29' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='729.85' cy='241.04' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='109.72' cy='253.19' r='2.49' style='stroke-width: 0.71; stroke: #00BFC4; fill: #00BFC4;' />
<circle cx='213.07' cy='175.84' r='2.49' style='stroke-width: 0.71; stroke: #00BFC4; fill: #00BFC4;' />
<circle cx='316.43' cy='123.20' r='2.49' style='stroke-width: 0.71; stroke: #00BFC4; fill: #00BFC4;' />
<circle cx='419.78' cy='163.93' r='2.49' style='stroke-width: 0.71; stroke: #00BFC4; fill: #00BFC4;' />
<circle cx='523.14' cy='85.62' r='2.49' style='stroke-width: 0.71; stroke: #00BFC4; fill: #00BFC4;' />
<circle cx='626.49' cy='148.02' r='2.49' style='stroke-width: 0.71; stroke: #00BFC4; fill: #00BFC4;' />
<circle cx='729.85' cy='42.76' r='2.49' style='stroke-width: 0.71; stroke: #00BFC4; fill: #00BFC4;' />
<polyline points='109.72,455.29 213.07,437.01 316.43,408.50 419.78,419.18 523.14,306.86 626.49,397.29 729.85,241.04 ' style='stroke-width: 1.07; stroke: #F8766D; stroke-linecap: butt;' />
<polyline points='109.72,253.19 213.07,175.84 316.43,123.20 419.78,163.93 523.14,85.62 626.49,148.02 729.85,42.76 ' style='stroke-width: 1.07; stroke: #00BFC4; stroke-linecap: butt;' />
</g>
<g clip-path='url(#cpMC4wMHw4NjQuMDB8MC4wMHw1NzYuMDA=)'>
</g>
<defs>
<clipPath id='cpNDcuNzB8NzkxLjg2fDUuNDh8MjIuMTM='>
<rect x='47.70' y='5.48' width='744.16' height='16.65' />
</clipPath>
</defs>
<g clip-path='url(#cpNDcuNzB8NzkxLjg2fDUuNDh8MjIuMTM=)'>
<text x='419.78' y='16.83' text-anchor='middle' style='font-size: 8.80px;fill: #1A1A1A; font-family: "Liberation Sans";' textLength='46.44px' lengthAdjust='spacingAndGlyphs'>sum2-cored</text>
</g>
<g clip-path='url(#cpMC4wMHw4NjQuMDB8MC4wMHw1NzYuMDA=)'>
<text transform='translate(114.00,485.13) rotate(-45)' 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(217.35,485.13) rotate(-45)' 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(320.71,485.13) rotate(-45)' 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(424.06,485.13) rotate(-45)' 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(527.42,485.13) rotate(-45)' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='39.59px' lengthAdjust='spacingAndGlyphs'>TIMEOUT</text>
<text transform='translate(630.77,485.13) rotate(-45)' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='23.48px' lengthAdjust='spacingAndGlyphs'>TRAP</text>
<text transform='translate(734.13,485.13) rotate(-45)' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='99.27px' lengthAdjust='spacingAndGlyphs'>WRITE_TEXTSEGMENT</text>
<text x='42.77' y='407.40' 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='312.76' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='24.70px' lengthAdjust='spacingAndGlyphs'>1e+03</text>
<text x='42.77' y='218.11' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='24.70px' lengthAdjust='spacingAndGlyphs'>1e+04</text>
<text x='42.77' y='123.47' 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='28.83' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='24.70px' lengthAdjust='spacingAndGlyphs'>1e+06</text>
<text x='419.78' y='568.24' text-anchor='middle' style='font-size: 11.00px; font-family: "Liberation Sans";' textLength='34.22px' lengthAdjust='spacingAndGlyphs'>Marker</text>
<text transform='translate(13.05,249.02) rotate(-90)' text-anchor='middle' style='font-size: 11.00px; font-family: "Liberation Sans";' textLength='56.25px' lengthAdjust='spacingAndGlyphs'>Ratio (to C)</text>
<text x='808.30' y='232.79' style='font-size: 11.00px; font-family: "Liberation Sans";' textLength='34.06px' lengthAdjust='spacingAndGlyphs'>Variant</text>
<circle cx='816.94' cy='248.05' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<line x1='810.03' y1='248.05' x2='823.85' y2='248.05' style='stroke-width: 1.07; stroke: #F8766D; stroke-linecap: butt;' />
<circle cx='816.94' cy='265.33' r='2.49' style='stroke-width: 0.71; stroke: #00BFC4; fill: #00BFC4;' />
<line x1='810.03' y1='265.33' x2='823.85' y2='265.33' style='stroke-width: 1.07; stroke: #00BFC4; stroke-linecap: butt;' />
<text x='831.06' y='251.08' style='font-size: 8.80px; font-family: "Liberation Sans";' textLength='12.22px' lengthAdjust='spacingAndGlyphs'>aot</text>
<text x='831.06' y='268.36' style='font-size: 8.80px; font-family: "Liberation Sans";' textLength='21.98px' lengthAdjust='spacingAndGlyphs'>interp</text>
</g>
</g>
</svg>