docs/img/check_dominance_n_500.svg

<?xml version="1.0" encoding="utf-8"  standalone="no"?>
<svg 
 width="1120" height="420"
 viewBox="0 0 1120 420"
 xmlns="http://www.w3.org/2000/svg"
 xmlns:xlink="http://www.w3.org/1999/xlink"
>

<title>Gnuplot</title>
<desc>Produced by GNUPLOT 5.4 patchlevel 1 </desc>

<g id="gnuplot_canvas">

<rect x="0" y="0" width="1120" height="420" fill="none"/>
<defs>

	<circle id='gpDot' r='0.5' stroke-width='0.5' stroke='currentColor'/>
	<path id='gpPt0' stroke-width='0.267' stroke='currentColor' d='M-1,0 h2 M0,-1 v2'/>
	<path id='gpPt1' stroke-width='0.267' stroke='currentColor' d='M-1,-1 L1,1 M1,-1 L-1,1'/>
	<path id='gpPt2' stroke-width='0.267' stroke='currentColor' d='M-1,0 L1,0 M0,-1 L0,1 M-1,-1 L1,1 M-1,1 L1,-1'/>
	<rect id='gpPt3' stroke-width='0.267' stroke='currentColor' x='-1' y='-1' width='2' height='2'/>
	<rect id='gpPt4' stroke-width='0.267' stroke='currentColor' fill='currentColor' x='-1' y='-1' width='2' height='2'/>
	<circle id='gpPt5' stroke-width='0.267' stroke='currentColor' cx='0' cy='0' r='1'/>
	<use xlink:href='#gpPt5' id='gpPt6' fill='currentColor' stroke='none'/>
	<path id='gpPt7' stroke-width='0.267' stroke='currentColor' d='M0,-1.33 L-1.33,0.67 L1.33,0.67 z'/>
	<use xlink:href='#gpPt7' id='gpPt8' fill='currentColor' stroke='none'/>
	<use xlink:href='#gpPt7' id='gpPt9' stroke='currentColor' transform='rotate(180)'/>
	<use xlink:href='#gpPt9' id='gpPt10' fill='currentColor' stroke='none'/>
	<use xlink:href='#gpPt3' id='gpPt11' stroke='currentColor' transform='rotate(45)'/>
	<use xlink:href='#gpPt11' id='gpPt12' fill='currentColor' stroke='none'/>
	<path id='gpPt13' stroke-width='0.267' stroke='currentColor' d='M0,1.330 L1.265,0.411 L0.782,-1.067 L-0.782,-1.076 L-1.265,0.411 z'/>
	<use xlink:href='#gpPt13' id='gpPt14' fill='currentColor' stroke='none'/>
	<filter id='textbox' filterUnits='objectBoundingBox' x='0' y='0' height='1' width='1'>
	  <feFlood flood-color='white' flood-opacity='1' result='bgnd'/>
	  <feComposite in='SourceGraphic' in2='bgnd' operator='atop'/>
	</filter>
	<filter id='greybox' filterUnits='objectBoundingBox' x='0' y='0' height='1' width='1'>
	  <feFlood flood-color='lightgrey' flood-opacity='1' result='grey'/>
	  <feComposite in='SourceGraphic' in2='grey' operator='atop'/>
	</filter>
</defs>
<g fill="none" color="white" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<path stroke='rgb( 38,  38,  38)' opacity='0.15' class="gridline"  d='M145.60,373.80 L1013.59,373.80  '/></g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<path stroke='rgb(  0,   0,   0)'  d='M145.60,373.80 L151.22,373.80  '/>	<g transform="translate(138.60,377.05)" stroke="none" fill="rgb(38,38,38)" font-family="Helvetica" font-size="10.00"  text-anchor="end">
		<text><tspan font-family="Helvetica" >100</tspan></text>
	</g>
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<path stroke='rgb( 25,  25,  25)' stroke-dasharray='2.5,2.5,2.5,2.5' opacity='0.10' class="gridline"  d='M145.60,289.33 L1013.59,289.33  '/></g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<path stroke='rgb(  0,   0,   0)'  d='M145.60,289.33 L148.41,289.33  '/></g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<path stroke='rgb( 38,  38,  38)' opacity='0.15' class="gridline"  d='M145.60,259.70 L1013.59,259.70  '/></g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<path stroke='rgb(  0,   0,   0)'  d='M145.60,259.70 L151.22,259.70  '/>	<g transform="translate(138.60,262.95)" stroke="none" fill="rgb(38,38,38)" font-family="Helvetica" font-size="10.00"  text-anchor="end">
		<text><tspan font-family="Helvetica" >1000</tspan></text>
	</g>
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<path stroke='rgb( 25,  25,  25)' stroke-dasharray='2.5,2.5,2.5,2.5' opacity='0.10' class="gridline"  d='M145.60,175.23 L1013.59,175.23  '/></g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<path stroke='rgb(  0,   0,   0)'  d='M145.60,175.23 L148.41,175.23  '/></g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<path stroke='rgb( 38,  38,  38)' opacity='0.15' class="gridline"  d='M145.60,145.61 L1013.59,145.61  '/></g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<path stroke='rgb(  0,   0,   0)'  d='M145.60,145.61 L151.22,145.61  '/>	<g transform="translate(138.60,148.86)" stroke="none" fill="rgb(38,38,38)" font-family="Helvetica" font-size="10.00"  text-anchor="end">
		<text><tspan font-family="Helvetica" >10000</tspan></text>
	</g>
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<path stroke='rgb( 25,  25,  25)' stroke-dasharray='2.5,2.5,2.5,2.5' opacity='0.10' class="gridline"  d='M145.60,61.13 L152.60,61.13 M467.12,61.13 L1013.59,61.13  '/></g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<path stroke='rgb(  0,   0,   0)'  d='M145.60,61.13 L148.41,61.13  '/></g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<path stroke='rgb( 38,  38,  38)' opacity='0.15' class="gridline"  d='M145.60,31.51 L1013.59,31.51  '/></g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<path stroke='rgb(  0,   0,   0)'  d='M145.60,31.51 L151.22,31.51  '/>	<g transform="translate(138.60,34.76)" stroke="none" fill="rgb(38,38,38)" font-family="Helvetica" font-size="10.00"  text-anchor="end">
		<text><tspan font-family="Helvetica" >100000</tspan></text>
	</g>
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<path stroke='rgb(  0,   0,   0)'  d='M145.60,373.80 L145.60,368.18  '/>	<g transform="translate(145.60,392.05)" stroke="none" fill="rgb(38,38,38)" font-family="Helvetica" font-size="10.00"  text-anchor="middle">
		<text><tspan font-family="Helvetica" >1</tspan></text>
	</g>
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<path stroke='rgb(  0,   0,   0)'  d='M217.93,373.80 L217.93,368.18  '/>	<g transform="translate(217.93,392.05)" stroke="none" fill="rgb(38,38,38)" font-family="Helvetica" font-size="10.00"  text-anchor="middle">
		<text><tspan font-family="Helvetica" >2</tspan></text>
	</g>
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<path stroke='rgb(  0,   0,   0)'  d='M290.27,373.80 L290.27,368.18  '/>	<g transform="translate(290.27,392.05)" stroke="none" fill="rgb(38,38,38)" font-family="Helvetica" font-size="10.00"  text-anchor="middle">
		<text><tspan font-family="Helvetica" >3</tspan></text>
	</g>
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<path stroke='rgb(  0,   0,   0)'  d='M434.93,373.80 L434.93,368.18  '/>	<g transform="translate(434.93,392.05)" stroke="none" fill="rgb(38,38,38)" font-family="Helvetica" font-size="10.00"  text-anchor="middle">
		<text><tspan font-family="Helvetica" >5</tspan></text>
	</g>
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<path stroke='rgb(  0,   0,   0)'  d='M579.60,373.80 L579.60,368.18  '/>	<g transform="translate(579.60,392.05)" stroke="none" fill="rgb(38,38,38)" font-family="Helvetica" font-size="10.00"  text-anchor="middle">
		<text><tspan font-family="Helvetica" >7</tspan></text>
	</g>
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<path stroke='rgb(  0,   0,   0)'  d='M724.26,373.80 L724.26,368.18  '/>	<g transform="translate(724.26,392.05)" stroke="none" fill="rgb(38,38,38)" font-family="Helvetica" font-size="10.00"  text-anchor="middle">
		<text><tspan font-family="Helvetica" >9</tspan></text>
	</g>
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<path stroke='rgb(  0,   0,   0)'  d='M1013.59,373.80 L1013.59,368.18  '/>	<g transform="translate(1013.59,392.05)" stroke="none" fill="rgb(38,38,38)" font-family="Helvetica" font-size="10.00"  text-anchor="middle">
		<text><tspan font-family="Helvetica" >13</tspan></text>
	</g>
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<path stroke='rgb(  0,   0,   0)'  d='M145.60,31.51 L145.60,373.80 L1013.59,373.80 L1013.59,31.51 L145.60,31.51 Z  '/></g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<g transform="translate(87.42,202.66) rotate(270)" stroke="none" fill="rgb(0,0,0)" font-family="Helvetica" font-size="11.00"  text-anchor="middle">
		<text><tspan font-family="Helvetica" >Time (ns)</tspan></text>
	</g>
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<g transform="translate(579.59,414.88)" stroke="none" fill="rgb(0,0,0)" font-family="Helvetica" font-size="11.00"  text-anchor="middle">
		<text><tspan font-family="Helvetica" >m</tspan></text>
	</g>
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<path stroke='rgb(  0,   0,   0)'  d='M152.60,105.01 L152.60,39.01 L467.12,39.01 L467.12,105.01 L152.60,105.01 Z  '/>	<path stroke='rgb(  0,   0,   0)'  d='M152.60,55.51 L467.12,55.51  '/></g>
	<g id="gnuplot_plot_1a" ><title>gnuplot_plot_1a</title>
<g fill="none" color="white" stroke="rgb(  0,   0,   0)" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter">
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter">
	<g stroke='none' shape-rendering='crispEdges'>
		<polygon fill = 'rgb(216,  82,  24)' fill-opacity='0.10'  points = '145.60,204.88 217.93,211.67 290.27,199.27 434.93,202.97 579.60,193.45 724.26,172.43 1013.59,158.99 1013.59,163.13 724.26,178.19 579.60,196.39 434.93,207.72 290.27,213.03 217.93,216.50 145.60,213.09 '/>
	</g>
</g>
	</g>
	<g id="gnuplot_plot_2a" ><title>gnuplot_plot_2a</title>
<g fill="none" color="white" stroke="rgb(216,  82,  24)" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<path stroke='rgb(216,  82,  24)'  d='M145.60,209.13 L217.93,215.23 L290.27,205.42 L434.93,205.11 L579.60,194.56 L724.26,174.72 L1013.59,160.94  '/>	<use xlink:href='#gpPt3' transform='translate(145.60,209.13) scale(3.75)' color='rgb(216,  82,  24)'/>
	<use xlink:href='#gpPt3' transform='translate(217.93,215.23) scale(3.75)' color='rgb(216,  82,  24)'/>
	<use xlink:href='#gpPt3' transform='translate(290.27,205.42) scale(3.75)' color='rgb(216,  82,  24)'/>
	<use xlink:href='#gpPt3' transform='translate(434.93,205.11) scale(3.75)' color='rgb(216,  82,  24)'/>
	<use xlink:href='#gpPt3' transform='translate(579.60,194.56) scale(3.75)' color='rgb(216,  82,  24)'/>
	<use xlink:href='#gpPt3' transform='translate(724.26,174.72) scale(3.75)' color='rgb(216,  82,  24)'/>
	<use xlink:href='#gpPt3' transform='translate(1013.59,160.94) scale(3.75)' color='rgb(216,  82,  24)'/>
</g>
	</g>
	<g id="gnuplot_plot_3a" ><title>gnuplot_plot_3a</title>
<g fill="none" color="white" stroke="rgb(216,  82,  24)" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter">
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter">
	<g stroke='none' shape-rendering='crispEdges'>
		<polygon fill = 'rgb(236, 176,  31)' fill-opacity='0.10'  points = '145.60,278.40 217.93,268.52 290.27,227.12 434.93,172.74 579.60,176.19 724.26,170.34 1013.59,165.03 1013.59,174.83 724.26,180.02 579.60,184.92 434.93,184.92 290.27,242.72 217.93,280.54 145.60,289.44 '/>
	</g>
</g>
	</g>
	<g id="gnuplot_plot_4a" ><title>gnuplot_plot_4a</title>
<g fill="none" color="white" stroke="rgb(236, 176,  31)" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<path stroke='rgb(236, 176,  31)'  d='M145.60,282.50 L217.93,275.13 L290.27,234.53 L434.93,179.53 L579.60,180.35 L724.26,174.76 L1013.59,169.06  '/>	<use xlink:href='#gpPt5' transform='translate(145.60,282.50) scale(3.75)' color='rgb(236, 176,  31)'/>
	<use xlink:href='#gpPt5' transform='translate(217.93,275.13) scale(3.75)' color='rgb(236, 176,  31)'/>
	<use xlink:href='#gpPt5' transform='translate(290.27,234.53) scale(3.75)' color='rgb(236, 176,  31)'/>
	<use xlink:href='#gpPt5' transform='translate(434.93,179.53) scale(3.75)' color='rgb(236, 176,  31)'/>
	<use xlink:href='#gpPt5' transform='translate(579.60,180.35) scale(3.75)' color='rgb(236, 176,  31)'/>
	<use xlink:href='#gpPt5' transform='translate(724.26,174.76) scale(3.75)' color='rgb(236, 176,  31)'/>
	<use xlink:href='#gpPt5' transform='translate(1013.59,169.06) scale(3.75)' color='rgb(236, 176,  31)'/>
</g>
	</g>
	<g id="gnuplot_plot_5a" ><title>gnuplot_plot_5a</title>
<g fill="none" color="white" stroke="rgb(236, 176,  31)" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter">
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter">
	<g stroke='none' shape-rendering='crispEdges'>
		<polygon fill = 'rgb(161,  19,  46)' fill-opacity='0.10'  points = '145.60,212.89 217.93,206.36 290.27,183.68 434.93,119.57 579.60,102.18 724.26,121.25 1013.59,100.13 1013.59,104.38 724.26,125.65 579.60,113.61 434.93,126.24 290.27,186.50 217.93,211.74 145.60,219.33 '/>
	</g>
</g>
	</g>
	<g id="gnuplot_plot_6a" ><title>gnuplot_plot_6a</title>
<g fill="none" color="white" stroke="rgb(161,  19,  46)" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<path stroke='rgb(161,  19,  46)'  d='M145.60,216.45 L217.93,207.70 L290.27,185.19 L434.93,123.10 L579.60,109.48 L724.26,122.77 L1013.59,102.17  '/>	<use xlink:href='#gpPt1' transform='translate(145.60,216.45) scale(3.75)' color='rgb(161,  19,  46)'/>
	<use xlink:href='#gpPt1' transform='translate(217.93,207.70) scale(3.75)' color='rgb(161,  19,  46)'/>
	<use xlink:href='#gpPt1' transform='translate(290.27,185.19) scale(3.75)' color='rgb(161,  19,  46)'/>
	<use xlink:href='#gpPt1' transform='translate(434.93,123.10) scale(3.75)' color='rgb(161,  19,  46)'/>
	<use xlink:href='#gpPt1' transform='translate(579.60,109.48) scale(3.75)' color='rgb(161,  19,  46)'/>
	<use xlink:href='#gpPt1' transform='translate(724.26,122.77) scale(3.75)' color='rgb(161,  19,  46)'/>
	<use xlink:href='#gpPt1' transform='translate(1013.59,102.17) scale(3.75)' color='rgb(161,  19,  46)'/>
</g>
	</g>
	<g id="gnuplot_plot_7a" ><title>gnuplot_plot_7a</title>
<g fill="none" color="white" stroke="rgb(161,  19,  46)" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter">
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter">
	<g stroke='none' shape-rendering='crispEdges'>
		<polygon fill = 'rgb(  0, 113, 188)' fill-opacity='0.10'  points = '145.60,283.38 217.93,279.31 290.27,243.28 434.93,199.29 579.60,210.75 724.26,207.00 1013.59,204.28 1013.59,211.64 724.26,213.55 579.60,219.80 434.93,214.06 290.27,256.09 217.93,286.81 145.60,290.48 '/>
	</g>
</g>
	</g>
	<g id="gnuplot_plot_8a" ><title>gnuplot_plot_8a</title>
<g fill="none" color="white" stroke="rgb(  0, 113, 188)" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<path stroke='rgb(  0, 113, 188)'  d='M145.60,287.01 L217.93,283.26 L290.27,251.29 L434.93,203.78 L579.60,214.00 L724.26,210.12 L1013.59,208.66  '/>	<use xlink:href='#gpPt2' transform='translate(145.60,287.01) scale(3.75)' color='rgb(  0, 113, 188)'/>
	<use xlink:href='#gpPt2' transform='translate(217.93,283.26) scale(3.75)' color='rgb(  0, 113, 188)'/>
	<use xlink:href='#gpPt2' transform='translate(290.27,251.29) scale(3.75)' color='rgb(  0, 113, 188)'/>
	<use xlink:href='#gpPt2' transform='translate(434.93,203.78) scale(3.75)' color='rgb(  0, 113, 188)'/>
	<use xlink:href='#gpPt2' transform='translate(579.60,214.00) scale(3.75)' color='rgb(  0, 113, 188)'/>
	<use xlink:href='#gpPt2' transform='translate(724.26,210.12) scale(3.75)' color='rgb(  0, 113, 188)'/>
	<use xlink:href='#gpPt2' transform='translate(1013.59,208.66) scale(3.75)' color='rgb(  0, 113, 188)'/>
</g>
	</g>
	<g id="gnuplot_plot_9a" ><title>gnuplot_plot_9a</title>
<g fill="none" color="white" stroke="rgb(  0, 113, 188)" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter">
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter">
	<g stroke='none' shape-rendering='crispEdges'>
		<polygon fill = 'rgb(118, 171,  47)' fill-opacity='0.10'  points = '145.60,281.45 217.93,283.59 290.27,277.89 434.93,255.90 579.60,257.52 724.26,257.19 1013.59,256.12 1013.59,261.69 724.26,262.77 579.60,265.31 434.93,263.71 290.27,285.30 217.93,294.17 145.60,289.52 '/>
	</g>
</g>
	</g>
	<g id="gnuplot_plot_10a" ><title>gnuplot_plot_10a</title>
<g fill="none" color="white" stroke="rgb(118, 171,  47)" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<path stroke='rgb(118, 171,  47)'  d='M145.60,286.64 L217.93,289.29 L290.27,280.15 L434.93,259.82 L579.60,260.99 L724.26,259.44 L1013.59,258.09  '/>	<use xlink:href='#gpPt11' transform='translate(145.60,286.64) scale(3.75)' color='rgb(118, 171,  47)'/>
	<use xlink:href='#gpPt11' transform='translate(217.93,289.29) scale(3.75)' color='rgb(118, 171,  47)'/>
	<use xlink:href='#gpPt11' transform='translate(290.27,280.15) scale(3.75)' color='rgb(118, 171,  47)'/>
	<use xlink:href='#gpPt11' transform='translate(434.93,259.82) scale(3.75)' color='rgb(118, 171,  47)'/>
	<use xlink:href='#gpPt11' transform='translate(579.60,260.99) scale(3.75)' color='rgb(118, 171,  47)'/>
	<use xlink:href='#gpPt11' transform='translate(724.26,259.44) scale(3.75)' color='rgb(118, 171,  47)'/>
	<use xlink:href='#gpPt11' transform='translate(1013.59,258.09) scale(3.75)' color='rgb(118, 171,  47)'/>
</g>
	</g>
	<g id="gnuplot_plot_11a" ><title>gnuplot_plot_11a</title>
<g fill="none" color="white" stroke="rgb(118, 171,  47)" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter">
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter">
	<g stroke='none' shape-rendering='crispEdges'>
		<polygon fill = 'rgb(125,  46, 141)' fill-opacity='0.10'  points = '145.60,285.22 217.93,283.05 290.27,275.09 434.93,258.92 579.60,257.14 724.26,255.01 1013.59,255.22 1013.59,259.51 724.26,262.50 579.60,262.73 434.93,265.66 290.27,282.99 217.93,289.98 145.60,292.72 '/>
	</g>
</g>
	</g>
	<g id="gnuplot_plot_12a" ><title>gnuplot_plot_12a</title>
<g fill="none" color="white" stroke="rgb(125,  46, 141)" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<path stroke='rgb(125,  46, 141)'  d='M145.60,290.95 L217.93,286.52 L290.27,278.70 L434.93,263.36 L579.60,260.12 L724.26,257.49 L1013.59,257.29  '/>	<use xlink:href='#gpPt0' transform='translate(145.60,290.95) scale(3.75)' color='rgb(125,  46, 141)'/>
	<use xlink:href='#gpPt0' transform='translate(217.93,286.52) scale(3.75)' color='rgb(125,  46, 141)'/>
	<use xlink:href='#gpPt0' transform='translate(290.27,278.70) scale(3.75)' color='rgb(125,  46, 141)'/>
	<use xlink:href='#gpPt0' transform='translate(434.93,263.36) scale(3.75)' color='rgb(125,  46, 141)'/>
	<use xlink:href='#gpPt0' transform='translate(579.60,260.12) scale(3.75)' color='rgb(125,  46, 141)'/>
	<use xlink:href='#gpPt0' transform='translate(724.26,257.49) scale(3.75)' color='rgb(125,  46, 141)'/>
	<use xlink:href='#gpPt0' transform='translate(1013.59,257.29) scale(3.75)' color='rgb(125,  46, 141)'/>
</g>
	</g>
	<g id="gnuplot_plot_13a" ><title>gnuplot_plot_13a</title>
<g fill="none" color="white" stroke="rgb(125,  46, 141)" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter">
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter">
	<g transform="translate(1006.36,261.34)" stroke="none" fill="rgb(0,0,0)" font-family="Helvetica" font-size="10.00"  text-anchor="end">
		<text><tspan font-family="Helvetica" >1033</tspan></text>
	</g>
</g>
	</g>
	<g id="gnuplot_plot_14a" ><title>gnuplot_plot_14a</title>
<g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter">
	<g transform="translate(152.83,294.20)" stroke="none" fill="rgb(0,0,0)" font-family="Helvetica" font-size="10.00"  text-anchor="start">
		<text><tspan font-family="Helvetica" >532</tspan></text>
	</g>
	<g transform="translate(225.17,292.54)" stroke="none" fill="rgb(0,0,0)" font-family="Helvetica" font-size="10.00"  text-anchor="start">
		<text><tspan font-family="Helvetica" >550</tspan></text>
	</g>
	<g transform="translate(297.50,283.40)" stroke="none" fill="rgb(0,0,0)" font-family="Helvetica" font-size="10.00"  text-anchor="start">
		<text><tspan font-family="Helvetica" >662</tspan></text>
	</g>
	<g transform="translate(442.16,266.61)" stroke="none" fill="rgb(0,0,0)" font-family="Helvetica" font-size="10.00"  text-anchor="start">
		<text><tspan font-family="Helvetica" >929</tspan></text>
	</g>
	<g transform="translate(586.83,264.24)" stroke="none" fill="rgb(0,0,0)" font-family="Helvetica" font-size="10.00"  text-anchor="start">
		<text><tspan font-family="Helvetica" >974</tspan></text>
	</g>
	<g transform="translate(731.49,262.69)" stroke="none" fill="rgb(0,0,0)" font-family="Helvetica" font-size="10.00"  text-anchor="start">
		<text><tspan font-family="Helvetica" >1005</tspan></text>
	</g>
</g>
	</g>
	<g id="gnuplot_plot_15a" ><title>gnuplot_plot_15a</title>
<g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter">
	<g transform="translate(1006.36,105.42)" stroke="none" fill="rgb(0,0,0)" font-family="Helvetica" font-size="10.00"  text-anchor="end">
		<text><tspan font-family="Helvetica" >24026</tspan></text>
	</g>
</g>
	</g>
	<g id="gnuplot_plot_16a" ><title>gnuplot_plot_16a</title>
<g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter">
	<g transform="translate(152.83,212.38)" stroke="none" fill="rgb(0,0,0)" font-family="Helvetica" font-size="10.00"  text-anchor="start">
		<text><tspan font-family="Helvetica" >2775</tspan></text>
	</g>
	<g transform="translate(225.17,210.95)" stroke="none" fill="rgb(0,0,0)" font-family="Helvetica" font-size="10.00"  text-anchor="start">
		<text><tspan font-family="Helvetica" >2856</tspan></text>
	</g>
	<g transform="translate(297.50,188.44)" stroke="none" fill="rgb(0,0,0)" font-family="Helvetica" font-size="10.00"  text-anchor="start">
		<text><tspan font-family="Helvetica" >4498</tspan></text>
	</g>
	<g transform="translate(442.16,126.35)" stroke="none" fill="rgb(0,0,0)" font-family="Helvetica" font-size="10.00"  text-anchor="start">
		<text><tspan font-family="Helvetica" >15749</tspan></text>
	</g>
	<g transform="translate(586.83,112.73)" stroke="none" fill="rgb(0,0,0)" font-family="Helvetica" font-size="10.00"  text-anchor="start">
		<text><tspan font-family="Helvetica" >20731</tspan></text>
	</g>
	<g transform="translate(731.49,126.02)" stroke="none" fill="rgb(0,0,0)" font-family="Helvetica" font-size="10.00"  text-anchor="start">
		<text><tspan font-family="Helvetica" >15854</tspan></text>
	</g>
</g>
	</g>
	<g id="gnuplot_plot_17a" ><title>Linear List</title>
<g fill="none" color="white" stroke="rgb(  0,   0,   0)" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
</g>
	</g>
	<g id="gnuplot_plot_18a" ><title>Quadtree</title>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
</g>
	</g>
	<g id="gnuplot_plot_19a" ><title>R-tree (Boost)</title>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
</g>
	</g>
	<g id="gnuplot_plot_20a" ><title>Kd-tree</title>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
</g>
	</g>
	<g id="gnuplot_plot_21a" ><title>R-tree</title>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
</g>
	</g>
	<g id="gnuplot_plot_22a" ><title>R*-tree</title>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
</g>
	</g>
	<g stroke='none' shape-rendering='crispEdges'>
		<polygon fill = 'white' points = '152.60,105.01 467.12,105.01 467.12,39.01 152.60,39.01 '/>
	<g transform="translate(309.86,50.84)" stroke="none" fill="rgb(0,0,0)" font-family="Helvetica" font-size="11.00"  text-anchor="middle">
		<text><tspan font-family="Helvetica"  font-weight="bold" >Data structure</tspan></text>
	</g>
	</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<path stroke='rgb(  0,   0,   0)'  d='M152.60,105.01 L152.60,39.01 L467.12,39.01 L467.12,105.01 L152.60,105.01 Z  '/>	<path stroke='rgb(  0,   0,   0)'  d='M152.60,55.51 L467.12,55.51  '/></g>
	<g id="gnuplot_plot_1a" ><title>gnuplot_plot_1a</title>
<g fill="none" color="white" stroke="rgb(  0,   0,   0)" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter">
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter">
</g>
	</g>
	<g id="gnuplot_plot_2a" ><title>gnuplot_plot_2a</title>
<g fill="none" color="white" stroke="rgb(216,  82,  24)" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
</g>
	</g>
	<g id="gnuplot_plot_3a" ><title>gnuplot_plot_3a</title>
<g fill="none" color="white" stroke="rgb(216,  82,  24)" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter">
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter">
</g>
	</g>
	<g id="gnuplot_plot_4a" ><title>gnuplot_plot_4a</title>
<g fill="none" color="white" stroke="rgb(236, 176,  31)" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
</g>
	</g>
	<g id="gnuplot_plot_5a" ><title>gnuplot_plot_5a</title>
<g fill="none" color="white" stroke="rgb(236, 176,  31)" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter">
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter">
</g>
	</g>
	<g id="gnuplot_plot_6a" ><title>gnuplot_plot_6a</title>
<g fill="none" color="white" stroke="rgb(161,  19,  46)" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
</g>
	</g>
	<g id="gnuplot_plot_7a" ><title>gnuplot_plot_7a</title>
<g fill="none" color="white" stroke="rgb(161,  19,  46)" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter">
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter">
</g>
	</g>
	<g id="gnuplot_plot_8a" ><title>gnuplot_plot_8a</title>
<g fill="none" color="white" stroke="rgb(  0, 113, 188)" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
</g>
	</g>
	<g id="gnuplot_plot_9a" ><title>gnuplot_plot_9a</title>
<g fill="none" color="white" stroke="rgb(  0, 113, 188)" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter">
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter">
</g>
	</g>
	<g id="gnuplot_plot_10a" ><title>gnuplot_plot_10a</title>
<g fill="none" color="white" stroke="rgb(118, 171,  47)" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
</g>
	</g>
	<g id="gnuplot_plot_11a" ><title>gnuplot_plot_11a</title>
<g fill="none" color="white" stroke="rgb(118, 171,  47)" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter">
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter">
</g>
	</g>
	<g id="gnuplot_plot_12a" ><title>gnuplot_plot_12a</title>
<g fill="none" color="white" stroke="rgb(125,  46, 141)" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
</g>
	</g>
	<g id="gnuplot_plot_13a" ><title>gnuplot_plot_13a</title>
<g fill="none" color="white" stroke="rgb(125,  46, 141)" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter">
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter">
</g>
	</g>
	<g id="gnuplot_plot_14a" ><title>gnuplot_plot_14a</title>
<g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter">
</g>
	</g>
	<g id="gnuplot_plot_15a" ><title>gnuplot_plot_15a</title>
<g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter">
</g>
	</g>
	<g id="gnuplot_plot_16a" ><title>gnuplot_plot_16a</title>
<g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter">
</g>
	</g>
	<g id="gnuplot_plot_17a" ><title>Linear List</title>
<g fill="none" color="white" stroke="rgb(  0,   0,   0)" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<g transform="translate(204.86,67.34)" stroke="none" fill="rgb(0,0,0)" font-family="Helvetica" font-size="11.00"  text-anchor="start">
		<text><tspan font-family="Helvetica" >Linear List</tspan></text>
	</g>
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<path stroke='rgb(216,  82,  24)'  d='M159.60,63.76 L197.86,63.76  '/>	<use xlink:href='#gpPt3' transform='translate(178.73,63.76) scale(3.75)' color='rgb(216,  82,  24)'/>
</g>
	</g>
	<g id="gnuplot_plot_18a" ><title>Quadtree</title>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<g transform="translate(204.86,83.84)" stroke="none" fill="rgb(0,0,0)" font-family="Helvetica" font-size="11.00"  text-anchor="start">
		<text><tspan font-family="Helvetica" >Quadtree</tspan></text>
	</g>
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<path stroke='rgb(236, 176,  31)'  d='M159.60,80.26 L197.86,80.26  '/>	<use xlink:href='#gpPt5' transform='translate(178.73,80.26) scale(3.75)' color='rgb(236, 176,  31)'/>
</g>
	</g>
	<g id="gnuplot_plot_19a" ><title>R-tree (Boost)</title>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<g transform="translate(204.86,100.34)" stroke="none" fill="rgb(0,0,0)" font-family="Helvetica" font-size="11.00"  text-anchor="start">
		<text><tspan font-family="Helvetica" >R-tree (Boost)</tspan></text>
	</g>
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<path stroke='rgb(161,  19,  46)'  d='M159.60,96.76 L197.86,96.76  '/>	<use xlink:href='#gpPt1' transform='translate(178.73,96.76) scale(3.75)' color='rgb(161,  19,  46)'/>
</g>
	</g>
	<g id="gnuplot_plot_20a" ><title>Kd-tree</title>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<g transform="translate(362.12,67.34)" stroke="none" fill="rgb(0,0,0)" font-family="Helvetica" font-size="11.00"  text-anchor="start">
		<text><tspan font-family="Helvetica" >Kd-tree</tspan></text>
	</g>
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<path stroke='rgb(  0, 113, 188)'  d='M316.86,63.76 L355.12,63.76  '/>	<use xlink:href='#gpPt2' transform='translate(335.99,63.76) scale(3.75)' color='rgb(  0, 113, 188)'/>
</g>
	</g>
	<g id="gnuplot_plot_21a" ><title>R-tree</title>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<g transform="translate(362.12,83.84)" stroke="none" fill="rgb(0,0,0)" font-family="Helvetica" font-size="11.00"  text-anchor="start">
		<text><tspan font-family="Helvetica" >R-tree</tspan></text>
	</g>
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<path stroke='rgb(118, 171,  47)'  d='M316.86,80.26 L355.12,80.26  '/>	<use xlink:href='#gpPt11' transform='translate(335.99,80.26) scale(3.75)' color='rgb(118, 171,  47)'/>
</g>
	</g>
	<g id="gnuplot_plot_22a" ><title>R*-tree</title>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<g transform="translate(362.12,100.34)" stroke="none" fill="rgb(0,0,0)" font-family="Helvetica" font-size="11.00"  text-anchor="start">
		<text><tspan font-family="Helvetica" >R*-tree</tspan></text>
	</g>
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<path stroke='rgb(125,  46, 141)'  d='M316.86,96.76 L355.12,96.76  '/>	<use xlink:href='#gpPt0' transform='translate(335.99,96.76) scale(3.75)' color='rgb(125,  46, 141)'/>
</g>
	</g>
<g fill="none" color="white" stroke="rgb(125,  46, 141)" stroke-width="2.00" stroke-linecap="butt" stroke-linejoin="miter">
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="2.00" stroke-linecap="butt" stroke-linejoin="miter">
</g>
<g fill="none" color="black" stroke="black" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<path stroke='rgb(  0,   0,   0)'  d='M145.60,31.51 L145.60,373.80 L1013.59,373.80 L1013.59,31.51 L145.60,31.51 Z  '/></g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
	<g transform="translate(579.59,11.09)" stroke="none" fill="rgb(0,0,0)" font-family="Helvetica" font-size="11.00"  text-anchor="middle">
		<text><tspan font-family="Helvetica"  font-weight="bold" >Check dominance (n = 500)</tspan></text>
	</g>
</g>
<g fill="none" color="black" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter">
</g>
</g>
</svg>