Dataset Open Access

Understanding The Impact of Solver Choice in Model-Based Test Generation

Meng, Ying; Gay, Gregory


DCAT Export

<?xml version='1.0' encoding='utf-8'?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:adms="http://www.w3.org/ns/adms#" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dct="http://purl.org/dc/terms/" xmlns:dctype="http://purl.org/dc/dcmitype/" xmlns:dcat="http://www.w3.org/ns/dcat#" xmlns:duv="http://www.w3.org/ns/duv#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:frapo="http://purl.org/cerif/frapo/" xmlns:geo="http://www.w3.org/2003/01/geo/wgs84_pos#" xmlns:gsp="http://www.opengis.net/ont/geosparql#" xmlns:locn="http://www.w3.org/ns/locn#" xmlns:org="http://www.w3.org/ns/org#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:prov="http://www.w3.org/ns/prov#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:schema="http://schema.org/" xmlns:skos="http://www.w3.org/2004/02/skos/core#" xmlns:vcard="http://www.w3.org/2006/vcard/ns#" xmlns:wdrs="http://www.w3.org/2007/05/powder-s#">
  <rdf:Description rdf:about="https://doi.org/10.5281/zenodo.3484641">
    <rdf:type rdf:resource="http://www.w3.org/ns/dcat#Dataset"/>
    <dct:type rdf:resource="http://purl.org/dc/dcmitype/Dataset"/>
    <dct:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">https://doi.org/10.5281/zenodo.3484641</dct:identifier>
    <foaf:page rdf:resource="https://doi.org/10.5281/zenodo.3484641"/>
    <dct:creator>
      <rdf:Description>
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <foaf:name>Meng, Ying</foaf:name>
        <foaf:givenName>Ying</foaf:givenName>
        <foaf:familyName>Meng</foaf:familyName>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>University of South Carolina</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:creator>
    <dct:creator>
      <rdf:Description rdf:about="http://orcid.org/0000-0001-6794-9585">
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <dct:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">0000-0001-6794-9585</dct:identifier>
        <foaf:name>Gay, Gregory</foaf:name>
        <foaf:givenName>Gregory</foaf:givenName>
        <foaf:familyName>Gay</foaf:familyName>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>Chalmers and the University of Gothenburg</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:creator>
    <dct:title>Understanding The Impact of Solver Choice in Model-Based Test Generation</dct:title>
    <dct:publisher>
      <foaf:Agent>
        <foaf:name>Zenodo</foaf:name>
      </foaf:Agent>
    </dct:publisher>
    <dct:issued rdf:datatype="http://www.w3.org/2001/XMLSchema#gYear">2019</dct:issued>
    <dcat:keyword>Test Generation</dcat:keyword>
    <dcat:keyword>Software Testing</dcat:keyword>
    <dcat:keyword>Model-Based Test Generation</dcat:keyword>
    <dct:issued rdf:datatype="http://www.w3.org/2001/XMLSchema#date">2019-10-14</dct:issued>
    <owl:sameAs rdf:resource="https://zenodo.org/record/3484641"/>
    <adms:identifier>
      <adms:Identifier>
        <skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">https://zenodo.org/record/3484641</skos:notation>
        <adms:schemeAgency>url</adms:schemeAgency>
      </adms:Identifier>
    </adms:identifier>
    <dct:isVersionOf rdf:resource="https://doi.org/10.5281/zenodo.3484640"/>
    <dct:description>&lt;p&gt;&lt;strong&gt;# Solver Experiment - Data Package&lt;/strong&gt;&lt;/p&gt; &lt;p&gt;This repository is intended to allow replication and extension of the study&lt;br&gt; conducted in the following paper:&lt;/p&gt; &lt;p&gt;Ying Meng and Gregory Gay. Understanding The Impact&amp;nbsp;of Solver Choice in Model-Based Test Generation. To appear, 2020&amp;nbsp;ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM). Available from&amp;nbsp;&lt;a href="https://greg4cr.github.io/pdf/20solvers.pdf"&gt;https://greg4cr.github.io/pdf/20solvers.pdf&lt;/a&gt;.&lt;/p&gt; &lt;p&gt;This package includes all data used or generated in this experiment.&lt;br&gt; &amp;nbsp; * Models&lt;br&gt; &amp;nbsp; * Mutants&lt;br&gt; &amp;nbsp; * Test Suites&lt;br&gt; &amp;nbsp; * Execution Traces&lt;br&gt; &amp;nbsp; * Fault-detection Results&lt;/p&gt; &lt;p&gt;If you have any questions on this data, please contact us at greg@greggay.com.&amp;nbsp;&lt;br&gt; &amp;nbsp;&lt;/p&gt;</dct:description>
    <dct:accessRights rdf:resource="http://publications.europa.eu/resource/authority/access-right/PUBLIC"/>
    <dct:accessRights>
      <dct:RightsStatement rdf:about="info:eu-repo/semantics/openAccess">
        <rdfs:label>Open Access</rdfs:label>
      </dct:RightsStatement>
    </dct:accessRights>
    <dcat:distribution>
      <dcat:Distribution>
        <dct:license rdf:resource="https://creativecommons.org/licenses/by/4.0/legalcode"/>
        <dcat:accessURL rdf:resource="https://doi.org/10.5281/zenodo.3484641"/>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>41717</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/cvc4__6counter.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>114754</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/cvc4_car_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>65100</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/cvc4_cd.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>1687702599</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/cvc4_DockingApproach.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>6895934</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/cvc4_DRAGON_all2.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>6231078</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/cvc4_DRAGON_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>54806</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/cvc4_durationThm_1.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>35477</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/cvc4_ex3.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>35766</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/cvc4_ex8.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>2112041</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/cvc4_fast_1.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>5197741</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/cvc4_fast_2.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>2541485</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/cvc4_FIREFLY_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>598720</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/cvc4_Gas.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>1625545</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/cvc4_hysteresis_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>3820061</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/cvc4_ILLINOIS_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>512941768</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/cvc4_INFUSION_MGR_Functional_R2012_ordered.kind.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>637737</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/cvc4_MESI_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>2190133</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/cvc4_metros_1.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>808035</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/cvc4_MOESI_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>5625883</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/cvc4_peterson_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>300429</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/cvc4_PRODUCER_CONSUMER_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>420620</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/cvc4_production_cell.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>4745756</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/cvc4_readwrit.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>4915528</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/cvc4_rtp_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>37282</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/cvc4_speed2.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>30628</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/cvc4_stalmark.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>586050</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/cvc4_steam_boiler_no_arr2.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>3695309</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/cvc4_swimmingpool_1.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>29912</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/cvc4_switch2.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>28192</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/cvc4_switch.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>283337</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/cvc4_SYNAPSE_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>3576724</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/cvc4_ticket3i_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>25104</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/cvc4_traffic.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>889759</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/cvc4_tramway.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>80862</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/cvc4_twisted_counters.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>17634</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/cvc4_two_counters.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>6154199</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/cvc4_ums.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>41639</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/mathsat__6counter.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>119044</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/mathsat_car_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>64779</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/mathsat_cd.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>1701230349</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/mathsat_DockingApproach.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>6930291</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/mathsat_DRAGON_all2.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>6286315</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/mathsat_DRAGON_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>54756</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/mathsat_durationThm_1.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>35580</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/mathsat_ex3.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>35769</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/mathsat_ex8.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>2145263</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/mathsat_fast_1.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>5258505</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/mathsat_fast_2.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>2541011</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/mathsat_FIREFLY_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>599065</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/mathsat_Gas.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>1627875</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/mathsat_hysteresis_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>3789711</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/mathsat_ILLINOIS_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>513086782</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/mathsat_INFUSION_MGR_Functional_R2012_ordered.kind.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>644747</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/mathsat_MESI_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>2143920</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/mathsat_metros_1.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>805132</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/mathsat_MOESI_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>5720347</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/mathsat_peterson_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>300689</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/mathsat_PRODUCER_CONSUMER_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>421015</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/mathsat_production_cell.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>4731508</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/mathsat_readwrit.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>4929253</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/mathsat_rtp_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>39872</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/mathsat_speed2.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>30660</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/mathsat_stalmark.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>590874</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/mathsat_steam_boiler_no_arr2.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>3796761</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/mathsat_swimmingpool_1.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>31236</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/mathsat_switch2.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>29997</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/mathsat_switch.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>282514</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/mathsat_SYNAPSE_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>3654318</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/mathsat_ticket3i_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>26188</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/mathsat_traffic.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>891164</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/mathsat_tramway.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>80827</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/mathsat_twisted_counters.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>17770</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/mathsat_two_counters.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>6160597</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/mathsat_ums.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>611</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/README.md</dcat:downloadURL>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>40616</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/yices2__6counter.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>113535</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/yices2_car_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>56692</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/yices2_cd.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>7096561738</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/yices2_DockingApproach.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>4881721</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/yices2_DRAGON_all2.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>4354980</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/yices2_DRAGON_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>54321</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/yices2_durationThm_1.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>33751</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/yices2_ex3.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>34873</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/yices2_ex8.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>1845720</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/yices2_fast_1.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>4474129</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/yices2_fast_2.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>1985153</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/yices2_FIREFLY_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>4253143</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/yices2_Gas.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>105725</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/yices2_hysteresis_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>2694726</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/yices2_ILLINOIS_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>342582379</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/yices2_INFUSION_MGR_Functional_R2012_ordered.kind.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>630200</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/yices2_MESI_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>1710871</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/yices2_metros_1.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>731882</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/yices2_MOESI_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>5373956</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/yices2_peterson_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>268226</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/yices2_PRODUCER_CONSUMER_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>354895</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/yices2_production_cell.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>4485140</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/yices2_readwrit.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>5026209</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/yices2_rtp_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>37672</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/yices2_speed2.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>30813</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/yices2_stalmark.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>391272</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/yices2_steam_boiler_no_arr2.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>2372786</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/yices2_swimmingpool_1.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>29410</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/yices2_switch2.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>27760</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/yices2_switch.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>273430</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/yices2_SYNAPSE_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>2476770</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/yices2_ticket3i_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>26464</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/yices2_traffic.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>861026</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/yices2_tramway.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>82685</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/yices2_twisted_counters.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>17847</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/yices2_two_counters.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>5486117</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/yices2_ums.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>83885</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/z3__6counter.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>222089</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/z3_car_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>175705</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/z3_cd.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>8819244142</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/z3_DockingApproach.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>10945408</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/z3_DRAGON_all2.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>10229622</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/z3_DRAGON_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>133532</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/z3_durationThm_1.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>82389</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/z3_ex3.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>84716</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/z3_ex8.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>4855420</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/z3_fast_1.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>12719781</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/z3_fast_2.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>4454448</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/z3_FIREFLY_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>27933287</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/z3_Gas.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>218400</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/z3_hysteresis_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>5739359</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/z3_ILLINOIS_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>987025980</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/z3_INFUSION_MGR_Functional_R2012_ordered.kind.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>1260929</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/z3_MESI_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>2356380</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/z3_metros_1.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>1577766</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/z3_MOESI_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>11575598</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/z3_peterson_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>649835</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/z3_PRODUCER_CONSUMER_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>808367</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/z3_production_cell.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>11622911</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/z3_readwrit.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>7832520</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/z3_rtp_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>83417</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/z3_speed2.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>60638</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/z3_stalmark.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>844994</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/z3_steam_boiler_no_arr2.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>4884831</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/z3_swimmingpool_1.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>59816</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/z3_switch2.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>55836</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/z3_switch.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>539142</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/z3_SYNAPSE_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>5646819</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/z3_ticket3i_all.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>51014</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/z3_traffic.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>2765896</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/z3_tramway.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>170165</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/z3_twisted_counters.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>35445</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/z3_two_counters.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL>https://doi.org/10.5281/zenodo.3484641</dcat:accessURL>
        <dcat:byteSize>6400148</dcat:byteSize>
        <dcat:downloadURL>https://zenodo.org/record/3484641/files/z3_ums.tar.gz</dcat:downloadURL>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
  </rdf:Description>
</rdf:RDF>
56
920
views
downloads
All versions This version
Views 5656
Downloads 920920
Data volume 133.4 GB133.4 GB
Unique views 5252
Unique downloads 1313

Share

Cite as