dtmc-0.3.0.0: benchmark/results/plots/dense--hitting-time-cold-all-states--speed-ratio.svg
<?xml version="1.0" encoding="utf-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<svg xmlns:xlink="http://www.w3.org/1999/xlink" width="518.4pt" height="324pt" viewBox="0 0 518.4 324" xmlns="http://www.w3.org/2000/svg" version="1.1">
<metadata>
<rdf:RDF xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:cc="http://creativecommons.org/ns#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
<cc:Work>
<dc:type rdf:resource="http://purl.org/dc/dcmitype/StillImage"/>
<dc:date>2026-09-14T10:18:46.321903</dc:date>
<dc:format>image/svg+xml</dc:format>
<dc:creator>
<cc:Agent>
<dc:title>Matplotlib v3.10.6, https://matplotlib.org/</dc:title>
</cc:Agent>
</dc:creator>
</cc:Work>
</rdf:RDF>
</metadata>
<defs>
<style type="text/css">*{stroke-linejoin: round; stroke-linecap: butt}</style>
</defs>
<g id="figure_1">
<g id="patch_1">
<path d="M 0 324
L 518.4 324
L 518.4 0
L 0 0
z
" style="fill: #ffffff"/>
</g>
<g id="axes_1">
<g id="patch_2">
<path d="M 41.278365 290.64351
L 515.39976 290.64351
L 515.39976 18.118365
L 41.278365 18.118365
z
" style="fill: #ffffff"/>
</g>
<g id="FillBetweenPolyCollection_1">
<defs>
<path id="m8606cb8350" d="M 62.829338 -293.494128
L 62.829338 -284.739552
L 163.784553 -45.743997
L 240.154226 -197.561618
L 316.523899 -201.243764
L 417.479115 -262.777971
L 493.848787 -269.723176
L 493.848787 -279.1682
L 493.848787 -279.1682
L 417.479115 -279.53779
L 316.523899 -236.66924
L 240.154226 -225.015654
L 163.784553 -249.650933
L 62.829338 -293.494128
z
" style="stroke: #6a3d9a; stroke-opacity: 0.18"/>
</defs>
<g clip-path="url(#p49b3cde231)">
<use xlink:href="#m8606cb8350" x="0" y="324" style="fill: #6a3d9a; fill-opacity: 0.18; stroke: #6a3d9a; stroke-opacity: 0.18"/>
</g>
</g>
<g id="matplotlib.axis_1">
<g id="xtick_1">
<g id="line2d_1">
<path d="M 62.829338 290.64351
L 62.829338 18.118365
" clip-path="url(#p49b3cde231)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_2">
<defs>
<path id="m1d6233a298" d="M 0 0
L 0 3.5
" style="stroke: #000000; stroke-width: 0.8"/>
</defs>
<g>
<use xlink:href="#m1d6233a298" x="62.829338" y="290.64351" style="stroke: #000000; stroke-width: 0.8"/>
</g>
</g>
<g id="text_1">
<!-- $\mathdefault{10^{1}}$ -->
<g transform="translate(54.029338 305.241947) scale(0.1 -0.1)">
<defs>
<path id="DejaVuSans-31" d="M 794 531
L 1825 531
L 1825 4091
L 703 3866
L 703 4441
L 1819 4666
L 2450 4666
L 2450 531
L 3481 531
L 3481 0
L 794 0
L 794 531
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-30" d="M 2034 4250
Q 1547 4250 1301 3770
Q 1056 3291 1056 2328
Q 1056 1369 1301 889
Q 1547 409 2034 409
Q 2525 409 2770 889
Q 3016 1369 3016 2328
Q 3016 3291 2770 3770
Q 2525 4250 2034 4250
z
M 2034 4750
Q 2819 4750 3233 4129
Q 3647 3509 3647 2328
Q 3647 1150 3233 529
Q 2819 -91 2034 -91
Q 1250 -91 836 529
Q 422 1150 422 2328
Q 422 3509 836 4129
Q 1250 4750 2034 4750
z
" transform="scale(0.015625)"/>
</defs>
<use xlink:href="#DejaVuSans-31" transform="translate(0 0.684375)"/>
<use xlink:href="#DejaVuSans-30" transform="translate(63.623047 0.684375)"/>
<use xlink:href="#DejaVuSans-31" transform="translate(128.203125 38.965625) scale(0.7)"/>
</g>
</g>
</g>
<g id="xtick_2">
<g id="line2d_3">
<path d="M 316.523899 290.64351
L 316.523899 18.118365
" clip-path="url(#p49b3cde231)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_4">
<g>
<use xlink:href="#m1d6233a298" x="316.523899" y="290.64351" style="stroke: #000000; stroke-width: 0.8"/>
</g>
</g>
<g id="text_2">
<!-- $\mathdefault{10^{2}}$ -->
<g transform="translate(307.723899 305.241947) scale(0.1 -0.1)">
<defs>
<path id="DejaVuSans-32" d="M 1228 531
L 3431 531
L 3431 0
L 469 0
L 469 531
Q 828 903 1448 1529
Q 2069 2156 2228 2338
Q 2531 2678 2651 2914
Q 2772 3150 2772 3378
Q 2772 3750 2511 3984
Q 2250 4219 1831 4219
Q 1534 4219 1204 4116
Q 875 4013 500 3803
L 500 4441
Q 881 4594 1212 4672
Q 1544 4750 1819 4750
Q 2544 4750 2975 4387
Q 3406 4025 3406 3419
Q 3406 3131 3298 2873
Q 3191 2616 2906 2266
Q 2828 2175 2409 1742
Q 1991 1309 1228 531
z
" transform="scale(0.015625)"/>
</defs>
<use xlink:href="#DejaVuSans-31" transform="translate(0 0.765625)"/>
<use xlink:href="#DejaVuSans-30" transform="translate(63.623047 0.765625)"/>
<use xlink:href="#DejaVuSans-32" transform="translate(128.203125 39.046875) scale(0.7)"/>
</g>
</g>
</g>
<g id="xtick_3">
<g id="line2d_5">
<path d="M 51.220911 290.64351
L 51.220911 18.118365
" clip-path="url(#p49b3cde231)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_6">
<defs>
<path id="mf213b48efe" d="M 0 0
L 0 2
" style="stroke: #000000; stroke-width: 0.6"/>
</defs>
<g>
<use xlink:href="#mf213b48efe" x="51.220911" y="290.64351" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="xtick_4">
<g id="line2d_7">
<path d="M 139.19901 290.64351
L 139.19901 18.118365
" clip-path="url(#p49b3cde231)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_8">
<g>
<use xlink:href="#mf213b48efe" x="139.19901" y="290.64351" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="xtick_5">
<g id="line2d_9">
<path d="M 183.872405 290.64351
L 183.872405 18.118365
" clip-path="url(#p49b3cde231)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_10">
<g>
<use xlink:href="#mf213b48efe" x="183.872405" y="290.64351" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="xtick_6">
<g id="line2d_11">
<path d="M 215.568683 290.64351
L 215.568683 18.118365
" clip-path="url(#p49b3cde231)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_12">
<g>
<use xlink:href="#mf213b48efe" x="215.568683" y="290.64351" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="xtick_7">
<g id="line2d_13">
<path d="M 240.154226 290.64351
L 240.154226 18.118365
" clip-path="url(#p49b3cde231)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_14">
<g>
<use xlink:href="#mf213b48efe" x="240.154226" y="290.64351" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="xtick_8">
<g id="line2d_15">
<path d="M 260.242078 290.64351
L 260.242078 18.118365
" clip-path="url(#p49b3cde231)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_16">
<g>
<use xlink:href="#mf213b48efe" x="260.242078" y="290.64351" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="xtick_9">
<g id="line2d_17">
<path d="M 277.226114 290.64351
L 277.226114 18.118365
" clip-path="url(#p49b3cde231)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_18">
<g>
<use xlink:href="#mf213b48efe" x="277.226114" y="290.64351" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="xtick_10">
<g id="line2d_19">
<path d="M 291.938356 290.64351
L 291.938356 18.118365
" clip-path="url(#p49b3cde231)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_20">
<g>
<use xlink:href="#mf213b48efe" x="291.938356" y="290.64351" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="xtick_11">
<g id="line2d_21">
<path d="M 304.915472 290.64351
L 304.915472 18.118365
" clip-path="url(#p49b3cde231)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_22">
<g>
<use xlink:href="#mf213b48efe" x="304.915472" y="290.64351" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="xtick_12">
<g id="line2d_23">
<path d="M 392.893572 290.64351
L 392.893572 18.118365
" clip-path="url(#p49b3cde231)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_24">
<g>
<use xlink:href="#mf213b48efe" x="392.893572" y="290.64351" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="xtick_13">
<g id="line2d_25">
<path d="M 437.566966 290.64351
L 437.566966 18.118365
" clip-path="url(#p49b3cde231)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_26">
<g>
<use xlink:href="#mf213b48efe" x="437.566966" y="290.64351" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="xtick_14">
<g id="line2d_27">
<path d="M 469.263244 290.64351
L 469.263244 18.118365
" clip-path="url(#p49b3cde231)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_28">
<g>
<use xlink:href="#mf213b48efe" x="469.263244" y="290.64351" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="xtick_15">
<g id="line2d_29">
<path d="M 493.848787 290.64351
L 493.848787 18.118365
" clip-path="url(#p49b3cde231)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_30">
<g>
<use xlink:href="#mf213b48efe" x="493.848787" y="290.64351" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="xtick_16">
<g id="line2d_31">
<path d="M 513.936639 290.64351
L 513.936639 18.118365
" clip-path="url(#p49b3cde231)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_32">
<g>
<use xlink:href="#mf213b48efe" x="513.936639" y="290.64351" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="text_3">
<!-- states -->
<g transform="translate(263.06875 318.920073) scale(0.1 -0.1)">
<defs>
<path id="DejaVuSans-73" d="M 2834 3397
L 2834 2853
Q 2591 2978 2328 3040
Q 2066 3103 1784 3103
Q 1356 3103 1142 2972
Q 928 2841 928 2578
Q 928 2378 1081 2264
Q 1234 2150 1697 2047
L 1894 2003
Q 2506 1872 2764 1633
Q 3022 1394 3022 966
Q 3022 478 2636 193
Q 2250 -91 1575 -91
Q 1294 -91 989 -36
Q 684 19 347 128
L 347 722
Q 666 556 975 473
Q 1284 391 1588 391
Q 1994 391 2212 530
Q 2431 669 2431 922
Q 2431 1156 2273 1281
Q 2116 1406 1581 1522
L 1381 1569
Q 847 1681 609 1914
Q 372 2147 372 2553
Q 372 3047 722 3315
Q 1072 3584 1716 3584
Q 2034 3584 2315 3537
Q 2597 3491 2834 3397
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-74" d="M 1172 4494
L 1172 3500
L 2356 3500
L 2356 3053
L 1172 3053
L 1172 1153
Q 1172 725 1289 603
Q 1406 481 1766 481
L 2356 481
L 2356 0
L 1766 0
Q 1100 0 847 248
Q 594 497 594 1153
L 594 3053
L 172 3053
L 172 3500
L 594 3500
L 594 4494
L 1172 4494
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-61" d="M 2194 1759
Q 1497 1759 1228 1600
Q 959 1441 959 1056
Q 959 750 1161 570
Q 1363 391 1709 391
Q 2188 391 2477 730
Q 2766 1069 2766 1631
L 2766 1759
L 2194 1759
z
M 3341 1997
L 3341 0
L 2766 0
L 2766 531
Q 2569 213 2275 61
Q 1981 -91 1556 -91
Q 1019 -91 701 211
Q 384 513 384 1019
Q 384 1609 779 1909
Q 1175 2209 1959 2209
L 2766 2209
L 2766 2266
Q 2766 2663 2505 2880
Q 2244 3097 1772 3097
Q 1472 3097 1187 3025
Q 903 2953 641 2809
L 641 3341
Q 956 3463 1253 3523
Q 1550 3584 1831 3584
Q 2591 3584 2966 3190
Q 3341 2797 3341 1997
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-65" d="M 3597 1894
L 3597 1613
L 953 1613
Q 991 1019 1311 708
Q 1631 397 2203 397
Q 2534 397 2845 478
Q 3156 559 3463 722
L 3463 178
Q 3153 47 2828 -22
Q 2503 -91 2169 -91
Q 1331 -91 842 396
Q 353 884 353 1716
Q 353 2575 817 3079
Q 1281 3584 2069 3584
Q 2775 3584 3186 3129
Q 3597 2675 3597 1894
z
M 3022 2063
Q 3016 2534 2758 2815
Q 2500 3097 2075 3097
Q 1594 3097 1305 2825
Q 1016 2553 972 2059
L 3022 2063
z
" transform="scale(0.015625)"/>
</defs>
<use xlink:href="#DejaVuSans-73"/>
<use xlink:href="#DejaVuSans-74" transform="translate(52.099609 0)"/>
<use xlink:href="#DejaVuSans-61" transform="translate(91.308594 0)"/>
<use xlink:href="#DejaVuSans-74" transform="translate(152.587891 0)"/>
<use xlink:href="#DejaVuSans-65" transform="translate(191.796875 0)"/>
<use xlink:href="#DejaVuSans-73" transform="translate(253.320312 0)"/>
</g>
</g>
</g>
<g id="matplotlib.axis_2">
<g id="ytick_1">
<g id="line2d_33">
<path d="M 41.278365 227.443879
L 515.39976 227.443879
" clip-path="url(#p49b3cde231)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_34">
<defs>
<path id="mf25d80db4e" d="M 0 0
L -3.5 0
" style="stroke: #000000; stroke-width: 0.8"/>
</defs>
<g>
<use xlink:href="#mf25d80db4e" x="41.278365" y="227.443879" style="stroke: #000000; stroke-width: 0.8"/>
</g>
</g>
<g id="text_4">
<!-- $\mathdefault{10^{0}}$ -->
<g transform="translate(16.678365 231.243097) scale(0.1 -0.1)">
<use xlink:href="#DejaVuSans-31" transform="translate(0 0.765625)"/>
<use xlink:href="#DejaVuSans-30" transform="translate(63.623047 0.765625)"/>
<use xlink:href="#DejaVuSans-30" transform="translate(128.203125 39.046875) scale(0.7)"/>
</g>
</g>
</g>
<g id="ytick_2">
<g id="line2d_35">
<path d="M 41.278365 282.864466
L 515.39976 282.864466
" clip-path="url(#p49b3cde231)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_36">
<defs>
<path id="m20a8f98a85" d="M 0 0
L -2 0
" style="stroke: #000000; stroke-width: 0.6"/>
</defs>
<g>
<use xlink:href="#m20a8f98a85" x="41.278365" y="282.864466" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="ytick_3">
<g id="line2d_37">
<path d="M 41.278365 266.140322
L 515.39976 266.140322
" clip-path="url(#p49b3cde231)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_38">
<g>
<use xlink:href="#m20a8f98a85" x="41.278365" y="266.140322" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="ytick_4">
<g id="line2d_39">
<path d="M 41.278365 251.65321
L 515.39976 251.65321
" clip-path="url(#p49b3cde231)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_40">
<g>
<use xlink:href="#m20a8f98a85" x="41.278365" y="251.65321" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="ytick_5">
<g id="line2d_41">
<path d="M 41.278365 238.874671
L 515.39976 238.874671
" clip-path="url(#p49b3cde231)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_42">
<g>
<use xlink:href="#m20a8f98a85" x="41.278365" y="238.874671" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="ytick_6">
<g id="line2d_43">
<path d="M 41.278365 152.242827
L 515.39976 152.242827
" clip-path="url(#p49b3cde231)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_44">
<g>
<use xlink:href="#m20a8f98a85" x="41.278365" y="152.242827" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="ytick_7">
<g id="line2d_45">
<path d="M 41.278365 108.253033
L 515.39976 108.253033
" clip-path="url(#p49b3cde231)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_46">
<g>
<use xlink:href="#m20a8f98a85" x="41.278365" y="108.253033" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="ytick_8">
<g id="line2d_47">
<path d="M 41.278365 77.041776
L 515.39976 77.041776
" clip-path="url(#p49b3cde231)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_48">
<g>
<use xlink:href="#m20a8f98a85" x="41.278365" y="77.041776" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="ytick_9">
<g id="line2d_49">
<path d="M 41.278365 52.832445
L 515.39976 52.832445
" clip-path="url(#p49b3cde231)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_50">
<g>
<use xlink:href="#m20a8f98a85" x="41.278365" y="52.832445" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="ytick_10">
<g id="line2d_51">
<path d="M 41.278365 33.051981
L 515.39976 33.051981
" clip-path="url(#p49b3cde231)" style="fill: none; stroke: #b0b0b0; stroke-opacity: 0.25; stroke-width: 0.8; stroke-linecap: square"/>
</g>
<g id="line2d_52">
<g>
<use xlink:href="#m20a8f98a85" x="41.278365" y="33.051981" style="stroke: #000000; stroke-width: 0.6"/>
</g>
</g>
</g>
<g id="text_5">
<!-- median speed ratio -->
<g transform="translate(10.598678 202.936406) rotate(-90) scale(0.1 -0.1)">
<defs>
<path id="DejaVuSans-6d" d="M 3328 2828
Q 3544 3216 3844 3400
Q 4144 3584 4550 3584
Q 5097 3584 5394 3201
Q 5691 2819 5691 2113
L 5691 0
L 5113 0
L 5113 2094
Q 5113 2597 4934 2840
Q 4756 3084 4391 3084
Q 3944 3084 3684 2787
Q 3425 2491 3425 1978
L 3425 0
L 2847 0
L 2847 2094
Q 2847 2600 2669 2842
Q 2491 3084 2119 3084
Q 1678 3084 1418 2786
Q 1159 2488 1159 1978
L 1159 0
L 581 0
L 581 3500
L 1159 3500
L 1159 2956
Q 1356 3278 1631 3431
Q 1906 3584 2284 3584
Q 2666 3584 2933 3390
Q 3200 3197 3328 2828
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-64" d="M 2906 2969
L 2906 4863
L 3481 4863
L 3481 0
L 2906 0
L 2906 525
Q 2725 213 2448 61
Q 2172 -91 1784 -91
Q 1150 -91 751 415
Q 353 922 353 1747
Q 353 2572 751 3078
Q 1150 3584 1784 3584
Q 2172 3584 2448 3432
Q 2725 3281 2906 2969
z
M 947 1747
Q 947 1113 1208 752
Q 1469 391 1925 391
Q 2381 391 2643 752
Q 2906 1113 2906 1747
Q 2906 2381 2643 2742
Q 2381 3103 1925 3103
Q 1469 3103 1208 2742
Q 947 2381 947 1747
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-69" d="M 603 3500
L 1178 3500
L 1178 0
L 603 0
L 603 3500
z
M 603 4863
L 1178 4863
L 1178 4134
L 603 4134
L 603 4863
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-6e" d="M 3513 2113
L 3513 0
L 2938 0
L 2938 2094
Q 2938 2591 2744 2837
Q 2550 3084 2163 3084
Q 1697 3084 1428 2787
Q 1159 2491 1159 1978
L 1159 0
L 581 0
L 581 3500
L 1159 3500
L 1159 2956
Q 1366 3272 1645 3428
Q 1925 3584 2291 3584
Q 2894 3584 3203 3211
Q 3513 2838 3513 2113
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-20" transform="scale(0.015625)"/>
<path id="DejaVuSans-70" d="M 1159 525
L 1159 -1331
L 581 -1331
L 581 3500
L 1159 3500
L 1159 2969
Q 1341 3281 1617 3432
Q 1894 3584 2278 3584
Q 2916 3584 3314 3078
Q 3713 2572 3713 1747
Q 3713 922 3314 415
Q 2916 -91 2278 -91
Q 1894 -91 1617 61
Q 1341 213 1159 525
z
M 3116 1747
Q 3116 2381 2855 2742
Q 2594 3103 2138 3103
Q 1681 3103 1420 2742
Q 1159 2381 1159 1747
Q 1159 1113 1420 752
Q 1681 391 2138 391
Q 2594 391 2855 752
Q 3116 1113 3116 1747
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-72" d="M 2631 2963
Q 2534 3019 2420 3045
Q 2306 3072 2169 3072
Q 1681 3072 1420 2755
Q 1159 2438 1159 1844
L 1159 0
L 581 0
L 581 3500
L 1159 3500
L 1159 2956
Q 1341 3275 1631 3429
Q 1922 3584 2338 3584
Q 2397 3584 2469 3576
Q 2541 3569 2628 3553
L 2631 2963
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-6f" d="M 1959 3097
Q 1497 3097 1228 2736
Q 959 2375 959 1747
Q 959 1119 1226 758
Q 1494 397 1959 397
Q 2419 397 2687 759
Q 2956 1122 2956 1747
Q 2956 2369 2687 2733
Q 2419 3097 1959 3097
z
M 1959 3584
Q 2709 3584 3137 3096
Q 3566 2609 3566 1747
Q 3566 888 3137 398
Q 2709 -91 1959 -91
Q 1206 -91 779 398
Q 353 888 353 1747
Q 353 2609 779 3096
Q 1206 3584 1959 3584
z
" transform="scale(0.015625)"/>
</defs>
<use xlink:href="#DejaVuSans-6d"/>
<use xlink:href="#DejaVuSans-65" transform="translate(97.412109 0)"/>
<use xlink:href="#DejaVuSans-64" transform="translate(158.935547 0)"/>
<use xlink:href="#DejaVuSans-69" transform="translate(222.412109 0)"/>
<use xlink:href="#DejaVuSans-61" transform="translate(250.195312 0)"/>
<use xlink:href="#DejaVuSans-6e" transform="translate(311.474609 0)"/>
<use xlink:href="#DejaVuSans-20" transform="translate(374.853516 0)"/>
<use xlink:href="#DejaVuSans-73" transform="translate(406.640625 0)"/>
<use xlink:href="#DejaVuSans-70" transform="translate(458.740234 0)"/>
<use xlink:href="#DejaVuSans-65" transform="translate(522.216797 0)"/>
<use xlink:href="#DejaVuSans-65" transform="translate(583.740234 0)"/>
<use xlink:href="#DejaVuSans-64" transform="translate(645.263672 0)"/>
<use xlink:href="#DejaVuSans-20" transform="translate(708.740234 0)"/>
<use xlink:href="#DejaVuSans-72" transform="translate(740.527344 0)"/>
<use xlink:href="#DejaVuSans-61" transform="translate(781.640625 0)"/>
<use xlink:href="#DejaVuSans-74" transform="translate(842.919922 0)"/>
<use xlink:href="#DejaVuSans-69" transform="translate(882.128906 0)"/>
<use xlink:href="#DejaVuSans-6f" transform="translate(909.912109 0)"/>
</g>
</g>
</g>
<g id="line2d_53">
<path d="M 62.829338 38.618984
L 163.784553 79.220604
L 240.154226 120.196829
L 316.523899 92.318005
L 417.479115 47.387704
L 493.848787 48.596026
" clip-path="url(#p49b3cde231)" style="fill: none; stroke: #6a3d9a; stroke-width: 1.5; stroke-linecap: square"/>
<defs>
<path id="m485419bee7" d="M 0 3
C 0.795609 3 1.55874 2.683901 2.12132 2.12132
C 2.683901 1.55874 3 0.795609 3 0
C 3 -0.795609 2.683901 -1.55874 2.12132 -2.12132
C 1.55874 -2.683901 0.795609 -3 0 -3
C -0.795609 -3 -1.55874 -2.683901 -2.12132 -2.12132
C -2.683901 -1.55874 -3 -0.795609 -3 0
C -3 0.795609 -2.683901 1.55874 -2.12132 2.12132
C -1.55874 2.683901 -0.795609 3 0 3
z
" style="stroke: #6a3d9a"/>
</defs>
<g clip-path="url(#p49b3cde231)">
<use xlink:href="#m485419bee7" x="62.829338" y="38.618984" style="fill: #6a3d9a; stroke: #6a3d9a"/>
<use xlink:href="#m485419bee7" x="163.784553" y="79.220604" style="fill: #6a3d9a; stroke: #6a3d9a"/>
<use xlink:href="#m485419bee7" x="240.154226" y="120.196829" style="fill: #6a3d9a; stroke: #6a3d9a"/>
<use xlink:href="#m485419bee7" x="316.523899" y="92.318005" style="fill: #6a3d9a; stroke: #6a3d9a"/>
<use xlink:href="#m485419bee7" x="417.479115" y="47.387704" style="fill: #6a3d9a; stroke: #6a3d9a"/>
<use xlink:href="#m485419bee7" x="493.848787" y="48.596026" style="fill: #6a3d9a; stroke: #6a3d9a"/>
</g>
</g>
<g id="line2d_54">
<path d="M 41.278365 227.443879
L 515.39976 227.443879
" clip-path="url(#p49b3cde231)" style="fill: none; stroke-dasharray: 3.7,1.6; stroke-dashoffset: 0; stroke: #555555"/>
</g>
<g id="patch_3">
<path d="M 41.278365 290.64351
L 41.278365 18.118365
" style="fill: none; stroke: #000000; stroke-width: 0.8; stroke-linejoin: miter; stroke-linecap: square"/>
</g>
<g id="patch_4">
<path d="M 515.39976 290.64351
L 515.39976 18.118365
" style="fill: none; stroke: #000000; stroke-width: 0.8; stroke-linejoin: miter; stroke-linecap: square"/>
</g>
<g id="patch_5">
<path d="M 41.278365 290.64351
L 515.39976 290.64351
" style="fill: none; stroke: #000000; stroke-width: 0.8; stroke-linejoin: miter; stroke-linecap: square"/>
</g>
<g id="patch_6">
<path d="M 41.278365 18.118365
L 515.39976 18.118365
" style="fill: none; stroke: #000000; stroke-width: 0.8; stroke-linejoin: miter; stroke-linecap: square"/>
</g>
<g id="text_6">
<!-- dense: hitting-time/cold-all-states speed ratio -->
<g transform="translate(141.210937 12.118365) scale(0.12 -0.12)">
<defs>
<path id="DejaVuSans-3a" d="M 750 794
L 1409 794
L 1409 0
L 750 0
L 750 794
z
M 750 3309
L 1409 3309
L 1409 2516
L 750 2516
L 750 3309
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-68" d="M 3513 2113
L 3513 0
L 2938 0
L 2938 2094
Q 2938 2591 2744 2837
Q 2550 3084 2163 3084
Q 1697 3084 1428 2787
Q 1159 2491 1159 1978
L 1159 0
L 581 0
L 581 4863
L 1159 4863
L 1159 2956
Q 1366 3272 1645 3428
Q 1925 3584 2291 3584
Q 2894 3584 3203 3211
Q 3513 2838 3513 2113
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-67" d="M 2906 1791
Q 2906 2416 2648 2759
Q 2391 3103 1925 3103
Q 1463 3103 1205 2759
Q 947 2416 947 1791
Q 947 1169 1205 825
Q 1463 481 1925 481
Q 2391 481 2648 825
Q 2906 1169 2906 1791
z
M 3481 434
Q 3481 -459 3084 -895
Q 2688 -1331 1869 -1331
Q 1566 -1331 1297 -1286
Q 1028 -1241 775 -1147
L 775 -588
Q 1028 -725 1275 -790
Q 1522 -856 1778 -856
Q 2344 -856 2625 -561
Q 2906 -266 2906 331
L 2906 616
Q 2728 306 2450 153
Q 2172 0 1784 0
Q 1141 0 747 490
Q 353 981 353 1791
Q 353 2603 747 3093
Q 1141 3584 1784 3584
Q 2172 3584 2450 3431
Q 2728 3278 2906 2969
L 2906 3500
L 3481 3500
L 3481 434
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-2d" d="M 313 2009
L 1997 2009
L 1997 1497
L 313 1497
L 313 2009
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-2f" d="M 1625 4666
L 2156 4666
L 531 -594
L 0 -594
L 1625 4666
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-63" d="M 3122 3366
L 3122 2828
Q 2878 2963 2633 3030
Q 2388 3097 2138 3097
Q 1578 3097 1268 2742
Q 959 2388 959 1747
Q 959 1106 1268 751
Q 1578 397 2138 397
Q 2388 397 2633 464
Q 2878 531 3122 666
L 3122 134
Q 2881 22 2623 -34
Q 2366 -91 2075 -91
Q 1284 -91 818 406
Q 353 903 353 1747
Q 353 2603 823 3093
Q 1294 3584 2113 3584
Q 2378 3584 2631 3529
Q 2884 3475 3122 3366
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-6c" d="M 603 4863
L 1178 4863
L 1178 0
L 603 0
L 603 4863
z
" transform="scale(0.015625)"/>
</defs>
<use xlink:href="#DejaVuSans-64"/>
<use xlink:href="#DejaVuSans-65" transform="translate(63.476562 0)"/>
<use xlink:href="#DejaVuSans-6e" transform="translate(125 0)"/>
<use xlink:href="#DejaVuSans-73" transform="translate(188.378906 0)"/>
<use xlink:href="#DejaVuSans-65" transform="translate(240.478516 0)"/>
<use xlink:href="#DejaVuSans-3a" transform="translate(302.001953 0)"/>
<use xlink:href="#DejaVuSans-20" transform="translate(335.693359 0)"/>
<use xlink:href="#DejaVuSans-68" transform="translate(367.480469 0)"/>
<use xlink:href="#DejaVuSans-69" transform="translate(430.859375 0)"/>
<use xlink:href="#DejaVuSans-74" transform="translate(458.642578 0)"/>
<use xlink:href="#DejaVuSans-74" transform="translate(497.851562 0)"/>
<use xlink:href="#DejaVuSans-69" transform="translate(537.060547 0)"/>
<use xlink:href="#DejaVuSans-6e" transform="translate(564.84375 0)"/>
<use xlink:href="#DejaVuSans-67" transform="translate(628.222656 0)"/>
<use xlink:href="#DejaVuSans-2d" transform="translate(691.699219 0)"/>
<use xlink:href="#DejaVuSans-74" transform="translate(727.783203 0)"/>
<use xlink:href="#DejaVuSans-69" transform="translate(766.992188 0)"/>
<use xlink:href="#DejaVuSans-6d" transform="translate(794.775391 0)"/>
<use xlink:href="#DejaVuSans-65" transform="translate(892.1875 0)"/>
<use xlink:href="#DejaVuSans-2f" transform="translate(953.710938 0)"/>
<use xlink:href="#DejaVuSans-63" transform="translate(987.402344 0)"/>
<use xlink:href="#DejaVuSans-6f" transform="translate(1042.382812 0)"/>
<use xlink:href="#DejaVuSans-6c" transform="translate(1103.564453 0)"/>
<use xlink:href="#DejaVuSans-64" transform="translate(1131.347656 0)"/>
<use xlink:href="#DejaVuSans-2d" transform="translate(1194.824219 0)"/>
<use xlink:href="#DejaVuSans-61" transform="translate(1230.908203 0)"/>
<use xlink:href="#DejaVuSans-6c" transform="translate(1292.1875 0)"/>
<use xlink:href="#DejaVuSans-6c" transform="translate(1319.970703 0)"/>
<use xlink:href="#DejaVuSans-2d" transform="translate(1347.753906 0)"/>
<use xlink:href="#DejaVuSans-73" transform="translate(1383.837891 0)"/>
<use xlink:href="#DejaVuSans-74" transform="translate(1435.9375 0)"/>
<use xlink:href="#DejaVuSans-61" transform="translate(1475.146484 0)"/>
<use xlink:href="#DejaVuSans-74" transform="translate(1536.425781 0)"/>
<use xlink:href="#DejaVuSans-65" transform="translate(1575.634766 0)"/>
<use xlink:href="#DejaVuSans-73" transform="translate(1637.158203 0)"/>
<use xlink:href="#DejaVuSans-20" transform="translate(1689.257812 0)"/>
<use xlink:href="#DejaVuSans-73" transform="translate(1721.044922 0)"/>
<use xlink:href="#DejaVuSans-70" transform="translate(1773.144531 0)"/>
<use xlink:href="#DejaVuSans-65" transform="translate(1836.621094 0)"/>
<use xlink:href="#DejaVuSans-65" transform="translate(1898.144531 0)"/>
<use xlink:href="#DejaVuSans-64" transform="translate(1959.667969 0)"/>
<use xlink:href="#DejaVuSans-20" transform="translate(2023.144531 0)"/>
<use xlink:href="#DejaVuSans-72" transform="translate(2054.931641 0)"/>
<use xlink:href="#DejaVuSans-61" transform="translate(2096.044922 0)"/>
<use xlink:href="#DejaVuSans-74" transform="translate(2157.324219 0)"/>
<use xlink:href="#DejaVuSans-69" transform="translate(2196.533203 0)"/>
<use xlink:href="#DejaVuSans-6f" transform="translate(2224.316406 0)"/>
</g>
</g>
<g id="legend_1">
<g id="patch_7">
<path d="M 399.79976 285.64351
L 508.39976 285.64351
Q 510.39976 285.64351 510.39976 283.64351
L 510.39976 255.28726
Q 510.39976 253.28726 508.39976 253.28726
L 399.79976 253.28726
Q 397.79976 253.28726 397.79976 255.28726
L 397.79976 283.64351
Q 397.79976 285.64351 399.79976 285.64351
z
" style="fill: #ffffff; opacity: 0.8; stroke: #cccccc; stroke-linejoin: miter"/>
</g>
<g id="line2d_55">
<path d="M 401.79976 261.385697
L 411.79976 261.385697
L 421.79976 261.385697
" style="fill: none; stroke: #6a3d9a; stroke-width: 1.5; stroke-linecap: square"/>
<g>
<use xlink:href="#m485419bee7" x="411.79976" y="261.385697" style="fill: #6a3d9a; stroke: #6a3d9a"/>
</g>
</g>
<g id="text_7">
<!-- PyDTMC / dtmc -->
<g transform="translate(429.79976 264.885697) scale(0.1 -0.1)">
<defs>
<path id="DejaVuSans-50" d="M 1259 4147
L 1259 2394
L 2053 2394
Q 2494 2394 2734 2622
Q 2975 2850 2975 3272
Q 2975 3691 2734 3919
Q 2494 4147 2053 4147
L 1259 4147
z
M 628 4666
L 2053 4666
Q 2838 4666 3239 4311
Q 3641 3956 3641 3272
Q 3641 2581 3239 2228
Q 2838 1875 2053 1875
L 1259 1875
L 1259 0
L 628 0
L 628 4666
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-79" d="M 2059 -325
Q 1816 -950 1584 -1140
Q 1353 -1331 966 -1331
L 506 -1331
L 506 -850
L 844 -850
Q 1081 -850 1212 -737
Q 1344 -625 1503 -206
L 1606 56
L 191 3500
L 800 3500
L 1894 763
L 2988 3500
L 3597 3500
L 2059 -325
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-44" d="M 1259 4147
L 1259 519
L 2022 519
Q 2988 519 3436 956
Q 3884 1394 3884 2338
Q 3884 3275 3436 3711
Q 2988 4147 2022 4147
L 1259 4147
z
M 628 4666
L 1925 4666
Q 3281 4666 3915 4102
Q 4550 3538 4550 2338
Q 4550 1131 3912 565
Q 3275 0 1925 0
L 628 0
L 628 4666
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-54" d="M -19 4666
L 3928 4666
L 3928 4134
L 2272 4134
L 2272 0
L 1638 0
L 1638 4134
L -19 4134
L -19 4666
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-4d" d="M 628 4666
L 1569 4666
L 2759 1491
L 3956 4666
L 4897 4666
L 4897 0
L 4281 0
L 4281 4097
L 3078 897
L 2444 897
L 1241 4097
L 1241 0
L 628 0
L 628 4666
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-43" d="M 4122 4306
L 4122 3641
Q 3803 3938 3442 4084
Q 3081 4231 2675 4231
Q 1875 4231 1450 3742
Q 1025 3253 1025 2328
Q 1025 1406 1450 917
Q 1875 428 2675 428
Q 3081 428 3442 575
Q 3803 722 4122 1019
L 4122 359
Q 3791 134 3420 21
Q 3050 -91 2638 -91
Q 1578 -91 968 557
Q 359 1206 359 2328
Q 359 3453 968 4101
Q 1578 4750 2638 4750
Q 3056 4750 3426 4639
Q 3797 4528 4122 4306
z
" transform="scale(0.015625)"/>
</defs>
<use xlink:href="#DejaVuSans-50"/>
<use xlink:href="#DejaVuSans-79" transform="translate(60.302734 0)"/>
<use xlink:href="#DejaVuSans-44" transform="translate(119.482422 0)"/>
<use xlink:href="#DejaVuSans-54" transform="translate(196.484375 0)"/>
<use xlink:href="#DejaVuSans-4d" transform="translate(257.568359 0)"/>
<use xlink:href="#DejaVuSans-43" transform="translate(343.847656 0)"/>
<use xlink:href="#DejaVuSans-20" transform="translate(413.671875 0)"/>
<use xlink:href="#DejaVuSans-2f" transform="translate(445.458984 0)"/>
<use xlink:href="#DejaVuSans-20" transform="translate(479.150391 0)"/>
<use xlink:href="#DejaVuSans-64" transform="translate(510.9375 0)"/>
<use xlink:href="#DejaVuSans-74" transform="translate(574.414062 0)"/>
<use xlink:href="#DejaVuSans-6d" transform="translate(613.623047 0)"/>
<use xlink:href="#DejaVuSans-63" transform="translate(711.035156 0)"/>
</g>
</g>
<g id="patch_8">
<path d="M 401.79976 279.563823
L 421.79976 279.563823
L 421.79976 272.563823
L 401.79976 272.563823
z
" style="fill: #6a3d9a; fill-opacity: 0.18; stroke: #6a3d9a; stroke-opacity: 0.18; stroke-linejoin: miter"/>
</g>
<g id="text_8">
<!-- 95% CI -->
<g transform="translate(429.79976 279.563823) scale(0.1 -0.1)">
<defs>
<path id="DejaVuSans-39" d="M 703 97
L 703 672
Q 941 559 1184 500
Q 1428 441 1663 441
Q 2288 441 2617 861
Q 2947 1281 2994 2138
Q 2813 1869 2534 1725
Q 2256 1581 1919 1581
Q 1219 1581 811 2004
Q 403 2428 403 3163
Q 403 3881 828 4315
Q 1253 4750 1959 4750
Q 2769 4750 3195 4129
Q 3622 3509 3622 2328
Q 3622 1225 3098 567
Q 2575 -91 1691 -91
Q 1453 -91 1209 -44
Q 966 3 703 97
z
M 1959 2075
Q 2384 2075 2632 2365
Q 2881 2656 2881 3163
Q 2881 3666 2632 3958
Q 2384 4250 1959 4250
Q 1534 4250 1286 3958
Q 1038 3666 1038 3163
Q 1038 2656 1286 2365
Q 1534 2075 1959 2075
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-35" d="M 691 4666
L 3169 4666
L 3169 4134
L 1269 4134
L 1269 2991
Q 1406 3038 1543 3061
Q 1681 3084 1819 3084
Q 2600 3084 3056 2656
Q 3513 2228 3513 1497
Q 3513 744 3044 326
Q 2575 -91 1722 -91
Q 1428 -91 1123 -41
Q 819 9 494 109
L 494 744
Q 775 591 1075 516
Q 1375 441 1709 441
Q 2250 441 2565 725
Q 2881 1009 2881 1497
Q 2881 1984 2565 2268
Q 2250 2553 1709 2553
Q 1456 2553 1204 2497
Q 953 2441 691 2322
L 691 4666
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-25" d="M 4653 2053
Q 4381 2053 4226 1822
Q 4072 1591 4072 1178
Q 4072 772 4226 539
Q 4381 306 4653 306
Q 4919 306 5073 539
Q 5228 772 5228 1178
Q 5228 1588 5073 1820
Q 4919 2053 4653 2053
z
M 4653 2450
Q 5147 2450 5437 2106
Q 5728 1763 5728 1178
Q 5728 594 5436 251
Q 5144 -91 4653 -91
Q 4153 -91 3862 251
Q 3572 594 3572 1178
Q 3572 1766 3864 2108
Q 4156 2450 4653 2450
z
M 1428 4353
Q 1159 4353 1004 4120
Q 850 3888 850 3481
Q 850 3069 1003 2837
Q 1156 2606 1428 2606
Q 1700 2606 1854 2837
Q 2009 3069 2009 3481
Q 2009 3884 1853 4118
Q 1697 4353 1428 4353
z
M 4250 4750
L 4750 4750
L 1831 -91
L 1331 -91
L 4250 4750
z
M 1428 4750
Q 1922 4750 2215 4408
Q 2509 4066 2509 3481
Q 2509 2891 2217 2550
Q 1925 2209 1428 2209
Q 931 2209 642 2551
Q 353 2894 353 3481
Q 353 4063 643 4406
Q 934 4750 1428 4750
z
" transform="scale(0.015625)"/>
<path id="DejaVuSans-49" d="M 628 4666
L 1259 4666
L 1259 0
L 628 0
L 628 4666
z
" transform="scale(0.015625)"/>
</defs>
<use xlink:href="#DejaVuSans-39"/>
<use xlink:href="#DejaVuSans-35" transform="translate(63.623047 0)"/>
<use xlink:href="#DejaVuSans-25" transform="translate(127.246094 0)"/>
<use xlink:href="#DejaVuSans-20" transform="translate(222.265625 0)"/>
<use xlink:href="#DejaVuSans-43" transform="translate(254.052734 0)"/>
<use xlink:href="#DejaVuSans-49" transform="translate(323.876953 0)"/>
</g>
</g>
</g>
</g>
</g>
<defs>
<clipPath id="p49b3cde231">
<rect x="41.278365" y="18.118365" width="474.121395" height="272.525145"/>
</clipPath>
</defs>
</svg>