Files
failnix/injections/combined_comparison-bsort.svg
T

107 lines
10 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='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='cpNDcuNzB8NjM1LjQ3fDIyLjc3fDMzMS45Mg=='>
<rect x='47.70' y='22.77' width='587.76' height='309.15' />
</clipPath>
</defs>
<g clip-path='url(#cpNDcuNzB8NjM1LjQ3fDIyLjc3fDMzMS45Mg==)'>
<polyline points='47.70,328.97 635.47,328.97 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,249.28 635.47,249.28 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,169.59 635.47,169.59 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,89.90 635.47,89.90 ' style='stroke-width: 0.53; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,289.13 635.47,289.13 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,209.44 635.47,209.44 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,129.75 635.47,129.75 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='47.70,50.05 635.47,50.05 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='90.71,331.92 90.71,22.77 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='162.39,331.92 162.39,22.77 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='234.07,331.92 234.07,22.77 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='305.75,331.92 305.75,22.77 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='377.43,331.92 377.43,22.77 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='449.10,331.92 449.10,22.77 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='520.78,331.92 520.78,22.77 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<polyline points='592.46,331.92 592.46,22.77 ' style='stroke-width: 1.07; stroke: #EBEBEB; stroke-linecap: butt;' />
<circle cx='520.78' cy='163.77' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='234.07' cy='317.87' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='162.39' cy='178.57' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='90.71' cy='168.71' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='305.75' cy='224.04' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='377.43' cy='192.99' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='449.10' cy='257.42' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<circle cx='520.78' cy='111.52' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='162.39' cy='130.10' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='592.46' cy='126.38' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='90.71' cy='101.01' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='305.75' cy='141.36' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='377.43' cy='132.60' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='449.10' cy='160.71' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<circle cx='520.78' cy='50.30' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='162.39' cy='58.04' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='592.46' cy='52.28' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='90.71' cy='36.82' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='305.75' cy='57.88' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='377.43' cy='69.02' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<circle cx='449.10' cy='96.69' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<polyline points='90.71,168.71 162.39,178.57 234.07,317.87 305.75,224.04 377.43,192.99 449.10,257.42 520.78,163.77 ' style='stroke-width: 1.07; stroke: #F8766D; stroke-linecap: butt;' />
<polyline points='90.71,101.01 162.39,130.10 305.75,141.36 377.43,132.60 449.10,160.71 520.78,111.52 592.46,126.38 ' style='stroke-width: 1.07; stroke: #00BA38; stroke-linecap: butt;' />
<polyline points='90.71,36.82 162.39,58.04 305.75,57.88 377.43,69.02 449.10,96.69 520.78,50.30 592.46,52.28 ' style='stroke-width: 1.07; stroke: #619CFF; stroke-linecap: butt;' />
</g>
<g clip-path='url(#cpMC4wMHw4NjQuMDB8MC4wMHw0MzIuMDA=)'>
<text x='42.77' y='292.16' 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='212.46' 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='132.77' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='24.70px' lengthAdjust='spacingAndGlyphs'>1e+06</text>
<text x='42.77' y='53.08' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='24.70px' lengthAdjust='spacingAndGlyphs'>1e+08</text>
<text transform='translate(94.99,341.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(166.67,341.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(238.35,341.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(310.03,341.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(381.71,341.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(453.39,341.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 transform='translate(525.06,341.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(596.74,341.13) rotate(-45)' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Liberation Sans";' textLength='79.73px' lengthAdjust='spacingAndGlyphs'>GROUP1_MARKER</text>
<text x='341.59' y='424.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,177.34) rotate(-90)' text-anchor='middle' style='font-size: 11.00px; font-family: "Liberation Sans";' textLength='29.97px' lengthAdjust='spacingAndGlyphs'>Faults</text>
<text x='651.91' y='152.47' style='font-size: 11.00px; font-family: "Liberation Sans";' textLength='55.66px' lengthAdjust='spacingAndGlyphs'>Experiment</text>
<circle cx='660.55' cy='167.73' r='2.49' style='stroke-width: 0.71; stroke: #F8766D; fill: #F8766D;' />
<line x1='653.63' y1='167.73' x2='667.46' y2='167.73' style='stroke-width: 1.07; stroke: #F8766D; stroke-linecap: butt;' />
<circle cx='660.55' cy='185.01' r='2.49' style='stroke-width: 0.71; stroke: #00BA38; fill: #00BA38;' />
<line x1='653.63' y1='185.01' x2='667.46' y2='185.01' style='stroke-width: 1.07; stroke: #00BA38; stroke-linecap: butt;' />
<circle cx='660.55' cy='202.29' r='2.49' style='stroke-width: 0.71; stroke: #619CFF; fill: #619CFF;' />
<line x1='653.63' y1='202.29' x2='667.46' y2='202.29' style='stroke-width: 1.07; stroke: #619CFF; stroke-linecap: butt;' />
<text x='674.67' y='170.75' style='font-size: 8.80px; font-family: "Liberation Sans";' textLength='160.80px' lengthAdjust='spacingAndGlyphs'>07-22_00-02-12_tacle-kernel-bsort_c_fail</text>
<text x='674.67' y='188.03' style='font-size: 8.80px; font-family: "Liberation Sans";' textLength='168.61px' lengthAdjust='spacingAndGlyphs'>07-22_00-02-13_tacle-kernel-bsort_aot_fail</text>
<text x='674.67' y='205.31' style='font-size: 8.80px; font-family: "Liberation Sans";' textLength='178.38px' lengthAdjust='spacingAndGlyphs'>07-22_00-02-17_tacle-kernel-bsort_interp_fail</text>
<text x='47.70' y='14.55' style='font-size: 13.20px; font-family: "Liberation Sans";' textLength='134.83px' lengthAdjust='spacingAndGlyphs'>Combined Comparison</text>
</g>
</g>
</svg>