Dataset Open Access

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

Meng, Ying; Gay, Gregory


JSON Export

{
  "files": [
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4__6counter.tar.gz"
      }, 
      "checksum": "md5:01d54bb7e80bf8d3813111296d8644fd", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "cvc4__6counter.tar.gz", 
      "type": "gz", 
      "size": 41717
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_car_all.tar.gz"
      }, 
      "checksum": "md5:6e4f294de1c9cfe3adcba51c1c6514d0", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "cvc4_car_all.tar.gz", 
      "type": "gz", 
      "size": 114754
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_cd.tar.gz"
      }, 
      "checksum": "md5:26e934958d14c2a43fb17310edf16ec3", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "cvc4_cd.tar.gz", 
      "type": "gz", 
      "size": 65100
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_DockingApproach.tar.gz"
      }, 
      "checksum": "md5:aa24cebc00986db2352e02b1a2085146", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "cvc4_DockingApproach.tar.gz", 
      "type": "gz", 
      "size": 1687702599
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_DRAGON_all2.tar.gz"
      }, 
      "checksum": "md5:7db412ce437b248afc6ada6ac0ed6262", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "cvc4_DRAGON_all2.tar.gz", 
      "type": "gz", 
      "size": 6895934
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_DRAGON_all.tar.gz"
      }, 
      "checksum": "md5:935a523d9aaab302426b22623846f1d4", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "cvc4_DRAGON_all.tar.gz", 
      "type": "gz", 
      "size": 6231078
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_durationThm_1.tar.gz"
      }, 
      "checksum": "md5:3d7712c2d4ac1eb8db8204a397ee9267", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "cvc4_durationThm_1.tar.gz", 
      "type": "gz", 
      "size": 54806
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_ex3.tar.gz"
      }, 
      "checksum": "md5:74e7b1c7894049d0e5272e8d956dd95f", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "cvc4_ex3.tar.gz", 
      "type": "gz", 
      "size": 35477
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_ex8.tar.gz"
      }, 
      "checksum": "md5:b07ce53304716621a8a0c74d8e0e602a", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "cvc4_ex8.tar.gz", 
      "type": "gz", 
      "size": 35766
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_fast_1.tar.gz"
      }, 
      "checksum": "md5:9f448aeef2eef2ba1aa5b3232adb3430", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "cvc4_fast_1.tar.gz", 
      "type": "gz", 
      "size": 2112041
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_fast_2.tar.gz"
      }, 
      "checksum": "md5:0f7d9fbbb3e0e3d70956507bf04633cb", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "cvc4_fast_2.tar.gz", 
      "type": "gz", 
      "size": 5197741
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_FIREFLY_all.tar.gz"
      }, 
      "checksum": "md5:bf6d82a2bb0b47aa76e311390b8eaead", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "cvc4_FIREFLY_all.tar.gz", 
      "type": "gz", 
      "size": 2541485
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_Gas.tar.gz"
      }, 
      "checksum": "md5:0fe89e993338458b87ec85911f8a95d5", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "cvc4_Gas.tar.gz", 
      "type": "gz", 
      "size": 598720
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_hysteresis_all.tar.gz"
      }, 
      "checksum": "md5:0769c4831f0318a7aeec734f0cbd096c", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "cvc4_hysteresis_all.tar.gz", 
      "type": "gz", 
      "size": 1625545
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_ILLINOIS_all.tar.gz"
      }, 
      "checksum": "md5:e129ed6017e3ccd8eb9c27f13c46cbe5", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "cvc4_ILLINOIS_all.tar.gz", 
      "type": "gz", 
      "size": 3820061
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_INFUSION_MGR_Functional_R2012_ordered.kind.tar.gz"
      }, 
      "checksum": "md5:02e2d5359ad2c0f671a3ba0f3630a6f3", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "cvc4_INFUSION_MGR_Functional_R2012_ordered.kind.tar.gz", 
      "type": "gz", 
      "size": 512941768
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_MESI_all.tar.gz"
      }, 
      "checksum": "md5:2812e71998acfa7202ad610602e51feb", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "cvc4_MESI_all.tar.gz", 
      "type": "gz", 
      "size": 637737
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_metros_1.tar.gz"
      }, 
      "checksum": "md5:2c8b7105428d587cc851828f0197c2d3", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "cvc4_metros_1.tar.gz", 
      "type": "gz", 
      "size": 2190133
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_MOESI_all.tar.gz"
      }, 
      "checksum": "md5:f317e7eb3896e46a7bdba33555b24bac", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "cvc4_MOESI_all.tar.gz", 
      "type": "gz", 
      "size": 808035
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_peterson_all.tar.gz"
      }, 
      "checksum": "md5:fb32e7a34043a8b7ca31b495283e517e", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "cvc4_peterson_all.tar.gz", 
      "type": "gz", 
      "size": 5625883
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_PRODUCER_CONSUMER_all.tar.gz"
      }, 
      "checksum": "md5:722b5271f4c95ff30629f7e7f438ceff", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "cvc4_PRODUCER_CONSUMER_all.tar.gz", 
      "type": "gz", 
      "size": 300429
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_production_cell.tar.gz"
      }, 
      "checksum": "md5:7a9de7e4dcf021c04ace239c4ec1d9f8", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "cvc4_production_cell.tar.gz", 
      "type": "gz", 
      "size": 420620
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_readwrit.tar.gz"
      }, 
      "checksum": "md5:5a5e50c5fcc478c378d3245e89d8cb04", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "cvc4_readwrit.tar.gz", 
      "type": "gz", 
      "size": 4745756
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_rtp_all.tar.gz"
      }, 
      "checksum": "md5:87963786798e508299c522aa23bf2004", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "cvc4_rtp_all.tar.gz", 
      "type": "gz", 
      "size": 4915528
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_speed2.tar.gz"
      }, 
      "checksum": "md5:db45472ea8945729ea5e7a5628323e0a", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "cvc4_speed2.tar.gz", 
      "type": "gz", 
      "size": 37282
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_stalmark.tar.gz"
      }, 
      "checksum": "md5:511700cd7e5c505518c0e041fba76dac", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "cvc4_stalmark.tar.gz", 
      "type": "gz", 
      "size": 30628
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_steam_boiler_no_arr2.tar.gz"
      }, 
      "checksum": "md5:636112cfed3a42d1ec4ff2d5002b87e2", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "cvc4_steam_boiler_no_arr2.tar.gz", 
      "type": "gz", 
      "size": 586050
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_swimmingpool_1.tar.gz"
      }, 
      "checksum": "md5:d22daf11ba9d6f20188a882edd116f95", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "cvc4_swimmingpool_1.tar.gz", 
      "type": "gz", 
      "size": 3695309
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_switch2.tar.gz"
      }, 
      "checksum": "md5:de8f79ed8824cfb27b7f9cc7056d5d0e", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "cvc4_switch2.tar.gz", 
      "type": "gz", 
      "size": 29912
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_switch.tar.gz"
      }, 
      "checksum": "md5:468f7972573819018b0ceaed32f4ff4e", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "cvc4_switch.tar.gz", 
      "type": "gz", 
      "size": 28192
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_SYNAPSE_all.tar.gz"
      }, 
      "checksum": "md5:35679ccf7ae1b52316b83950943b9cf1", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "cvc4_SYNAPSE_all.tar.gz", 
      "type": "gz", 
      "size": 283337
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_ticket3i_all.tar.gz"
      }, 
      "checksum": "md5:e58c8a3f15328fc35f28139f37f818a3", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "cvc4_ticket3i_all.tar.gz", 
      "type": "gz", 
      "size": 3576724
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_traffic.tar.gz"
      }, 
      "checksum": "md5:e44bbbef21358c19350934eb7579237a", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "cvc4_traffic.tar.gz", 
      "type": "gz", 
      "size": 25104
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_tramway.tar.gz"
      }, 
      "checksum": "md5:133a413949e622b3269cf77b3034c200", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "cvc4_tramway.tar.gz", 
      "type": "gz", 
      "size": 889759
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_twisted_counters.tar.gz"
      }, 
      "checksum": "md5:70f5f12eb299c092944a148167dcaa2a", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "cvc4_twisted_counters.tar.gz", 
      "type": "gz", 
      "size": 80862
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_two_counters.tar.gz"
      }, 
      "checksum": "md5:90bc9107e07754668b2256cdb2c3843f", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "cvc4_two_counters.tar.gz", 
      "type": "gz", 
      "size": 17634
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_ums.tar.gz"
      }, 
      "checksum": "md5:5dbe882c5a0b403b11129e8714e03c46", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "cvc4_ums.tar.gz", 
      "type": "gz", 
      "size": 6154199
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat__6counter.tar.gz"
      }, 
      "checksum": "md5:ce249a0f95b20dc1e4a9bf23384a6788", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "mathsat__6counter.tar.gz", 
      "type": "gz", 
      "size": 41639
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_car_all.tar.gz"
      }, 
      "checksum": "md5:bf41ebc881ff3c34cfbbcc6750bd0405", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "mathsat_car_all.tar.gz", 
      "type": "gz", 
      "size": 119044
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_cd.tar.gz"
      }, 
      "checksum": "md5:46ca03b24894fe7b76da5fcb6cb4cd56", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "mathsat_cd.tar.gz", 
      "type": "gz", 
      "size": 64779
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_DockingApproach.tar.gz"
      }, 
      "checksum": "md5:cf2bbe9a2c336169b47b89a995d41ad8", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "mathsat_DockingApproach.tar.gz", 
      "type": "gz", 
      "size": 1701230349
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_DRAGON_all2.tar.gz"
      }, 
      "checksum": "md5:ccdae0b34354c3ec3c8411b938e92004", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "mathsat_DRAGON_all2.tar.gz", 
      "type": "gz", 
      "size": 6930291
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_DRAGON_all.tar.gz"
      }, 
      "checksum": "md5:5bdde05bf88ef0d8fb702c40bcd4eff1", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "mathsat_DRAGON_all.tar.gz", 
      "type": "gz", 
      "size": 6286315
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_durationThm_1.tar.gz"
      }, 
      "checksum": "md5:eca184882c55764b2383b4436934f09c", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "mathsat_durationThm_1.tar.gz", 
      "type": "gz", 
      "size": 54756
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_ex3.tar.gz"
      }, 
      "checksum": "md5:0259535c9301cb1e617012923f65281c", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "mathsat_ex3.tar.gz", 
      "type": "gz", 
      "size": 35580
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_ex8.tar.gz"
      }, 
      "checksum": "md5:d0dac9a3f1a53cda440c5dd47515c00b", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "mathsat_ex8.tar.gz", 
      "type": "gz", 
      "size": 35769
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_fast_1.tar.gz"
      }, 
      "checksum": "md5:7cf40e02025f2c4662b453074eea5985", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "mathsat_fast_1.tar.gz", 
      "type": "gz", 
      "size": 2145263
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_fast_2.tar.gz"
      }, 
      "checksum": "md5:20d8e8e345d817f008ad0d19c5e5e1a5", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "mathsat_fast_2.tar.gz", 
      "type": "gz", 
      "size": 5258505
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_FIREFLY_all.tar.gz"
      }, 
      "checksum": "md5:c193eb9e856446addaaee5a3db30ec07", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "mathsat_FIREFLY_all.tar.gz", 
      "type": "gz", 
      "size": 2541011
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_Gas.tar.gz"
      }, 
      "checksum": "md5:5aeed24719c63a0c0f538def3354a8da", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "mathsat_Gas.tar.gz", 
      "type": "gz", 
      "size": 599065
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_hysteresis_all.tar.gz"
      }, 
      "checksum": "md5:d665ee29bab79a6f4a75798089042251", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "mathsat_hysteresis_all.tar.gz", 
      "type": "gz", 
      "size": 1627875
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_ILLINOIS_all.tar.gz"
      }, 
      "checksum": "md5:62a70b60fd02f52506ba18475fb9da3e", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "mathsat_ILLINOIS_all.tar.gz", 
      "type": "gz", 
      "size": 3789711
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_INFUSION_MGR_Functional_R2012_ordered.kind.tar.gz"
      }, 
      "checksum": "md5:4585209d8089b405d5bfa022164e3b5c", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "mathsat_INFUSION_MGR_Functional_R2012_ordered.kind.tar.gz", 
      "type": "gz", 
      "size": 513086782
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_MESI_all.tar.gz"
      }, 
      "checksum": "md5:be37f449a79d373f196c3d40837e1fa8", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "mathsat_MESI_all.tar.gz", 
      "type": "gz", 
      "size": 644747
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_metros_1.tar.gz"
      }, 
      "checksum": "md5:c23a26ce01b1c4254e0976b2cf1999b8", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "mathsat_metros_1.tar.gz", 
      "type": "gz", 
      "size": 2143920
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_MOESI_all.tar.gz"
      }, 
      "checksum": "md5:e9bca2c8598e8d23be64fe2767adac62", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "mathsat_MOESI_all.tar.gz", 
      "type": "gz", 
      "size": 805132
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_peterson_all.tar.gz"
      }, 
      "checksum": "md5:e4d27f7a677116b5f72f5416e84335a6", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "mathsat_peterson_all.tar.gz", 
      "type": "gz", 
      "size": 5720347
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_PRODUCER_CONSUMER_all.tar.gz"
      }, 
      "checksum": "md5:deadc87fd9abe0033907a0e1f9c9198c", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "mathsat_PRODUCER_CONSUMER_all.tar.gz", 
      "type": "gz", 
      "size": 300689
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_production_cell.tar.gz"
      }, 
      "checksum": "md5:30be73c260fda367276ab88ddccb612d", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "mathsat_production_cell.tar.gz", 
      "type": "gz", 
      "size": 421015
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_readwrit.tar.gz"
      }, 
      "checksum": "md5:e602206c0579b418024fd2f539620357", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "mathsat_readwrit.tar.gz", 
      "type": "gz", 
      "size": 4731508
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_rtp_all.tar.gz"
      }, 
      "checksum": "md5:cf593c283f238888451242ac1cec3f24", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "mathsat_rtp_all.tar.gz", 
      "type": "gz", 
      "size": 4929253
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_speed2.tar.gz"
      }, 
      "checksum": "md5:63b569ea8893c16717cbd3f59b14c42c", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "mathsat_speed2.tar.gz", 
      "type": "gz", 
      "size": 39872
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_stalmark.tar.gz"
      }, 
      "checksum": "md5:429a9fba09e3b52a0a38931381276da2", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "mathsat_stalmark.tar.gz", 
      "type": "gz", 
      "size": 30660
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_steam_boiler_no_arr2.tar.gz"
      }, 
      "checksum": "md5:44711ebab3ae767a19e0b1aca22e4db1", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "mathsat_steam_boiler_no_arr2.tar.gz", 
      "type": "gz", 
      "size": 590874
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_swimmingpool_1.tar.gz"
      }, 
      "checksum": "md5:32f53512c1232484d9cb51fd4e9c15cb", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "mathsat_swimmingpool_1.tar.gz", 
      "type": "gz", 
      "size": 3796761
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_switch2.tar.gz"
      }, 
      "checksum": "md5:3c8f8d598d2d43d78b0f9554499f1d09", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "mathsat_switch2.tar.gz", 
      "type": "gz", 
      "size": 31236
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_switch.tar.gz"
      }, 
      "checksum": "md5:f6ad8b2a8c2270bd35209c7fb244a047", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "mathsat_switch.tar.gz", 
      "type": "gz", 
      "size": 29997
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_SYNAPSE_all.tar.gz"
      }, 
      "checksum": "md5:8258ad59bf431904726f4dda7810b658", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "mathsat_SYNAPSE_all.tar.gz", 
      "type": "gz", 
      "size": 282514
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_ticket3i_all.tar.gz"
      }, 
      "checksum": "md5:c07274ed4071cf5e7596a7bbb2f4fd47", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "mathsat_ticket3i_all.tar.gz", 
      "type": "gz", 
      "size": 3654318
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_traffic.tar.gz"
      }, 
      "checksum": "md5:36afde0187b36cce20833ed9fc8a1fe9", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "mathsat_traffic.tar.gz", 
      "type": "gz", 
      "size": 26188
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_tramway.tar.gz"
      }, 
      "checksum": "md5:cc163f236538fadfe26d4f9ccb7a4a04", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "mathsat_tramway.tar.gz", 
      "type": "gz", 
      "size": 891164
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_twisted_counters.tar.gz"
      }, 
      "checksum": "md5:92a6dcfb1bcb8c1f96a3dba3f9d5a698", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "mathsat_twisted_counters.tar.gz", 
      "type": "gz", 
      "size": 80827
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_two_counters.tar.gz"
      }, 
      "checksum": "md5:58161f5d6780d854ffaa8bbddf22d6d8", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "mathsat_two_counters.tar.gz", 
      "type": "gz", 
      "size": 17770
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_ums.tar.gz"
      }, 
      "checksum": "md5:0125ec672f3d58f8d8575be8afda0f9b", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "mathsat_ums.tar.gz", 
      "type": "gz", 
      "size": 6160597
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/README.md"
      }, 
      "checksum": "md5:f2a618612e456c92220b8fd885376e3e", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "README.md", 
      "type": "md", 
      "size": 611
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2__6counter.tar.gz"
      }, 
      "checksum": "md5:c2ba7ad8c65842b5f43b4c9ab8fecc8c", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "yices2__6counter.tar.gz", 
      "type": "gz", 
      "size": 40616
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_car_all.tar.gz"
      }, 
      "checksum": "md5:328c4e11892ebf9133f48980521a42af", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "yices2_car_all.tar.gz", 
      "type": "gz", 
      "size": 113535
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_cd.tar.gz"
      }, 
      "checksum": "md5:23338ce33b107b66ec6fa919910eb231", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "yices2_cd.tar.gz", 
      "type": "gz", 
      "size": 56692
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_DockingApproach.tar.gz"
      }, 
      "checksum": "md5:5ebf8e1bd67aa6786933e92990c4f44e", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "yices2_DockingApproach.tar.gz", 
      "type": "gz", 
      "size": 7096561738
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_DRAGON_all2.tar.gz"
      }, 
      "checksum": "md5:01eec1b520944f04ae1d7464432e3ca2", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "yices2_DRAGON_all2.tar.gz", 
      "type": "gz", 
      "size": 4881721
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_DRAGON_all.tar.gz"
      }, 
      "checksum": "md5:b1c0ad270f5b6d639c732acf754109ad", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "yices2_DRAGON_all.tar.gz", 
      "type": "gz", 
      "size": 4354980
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_durationThm_1.tar.gz"
      }, 
      "checksum": "md5:cf813a3c429f1348a0574b4fefe90223", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "yices2_durationThm_1.tar.gz", 
      "type": "gz", 
      "size": 54321
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_ex3.tar.gz"
      }, 
      "checksum": "md5:8fecdf25e5ef3173d5509eefb0dda369", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "yices2_ex3.tar.gz", 
      "type": "gz", 
      "size": 33751
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_ex8.tar.gz"
      }, 
      "checksum": "md5:0f6cc59d042e64576ddd9a6d060f9931", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "yices2_ex8.tar.gz", 
      "type": "gz", 
      "size": 34873
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_fast_1.tar.gz"
      }, 
      "checksum": "md5:3e42f6773315bfe6cf6f79ee24015125", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "yices2_fast_1.tar.gz", 
      "type": "gz", 
      "size": 1845720
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_fast_2.tar.gz"
      }, 
      "checksum": "md5:f05f674fc736b0d55d21fb44f515f0ed", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "yices2_fast_2.tar.gz", 
      "type": "gz", 
      "size": 4474129
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_FIREFLY_all.tar.gz"
      }, 
      "checksum": "md5:c83ca48cde7d6e2de646c0566fceca37", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "yices2_FIREFLY_all.tar.gz", 
      "type": "gz", 
      "size": 1985153
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_Gas.tar.gz"
      }, 
      "checksum": "md5:e638c52c341cebb459a872a4c85d81cd", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "yices2_Gas.tar.gz", 
      "type": "gz", 
      "size": 4253143
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_hysteresis_all.tar.gz"
      }, 
      "checksum": "md5:c69e736ea6e11e41fcad39fd7502fb78", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "yices2_hysteresis_all.tar.gz", 
      "type": "gz", 
      "size": 105725
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_ILLINOIS_all.tar.gz"
      }, 
      "checksum": "md5:2ed8d86cd4c48e33df40c1d47b33786c", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "yices2_ILLINOIS_all.tar.gz", 
      "type": "gz", 
      "size": 2694726
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_INFUSION_MGR_Functional_R2012_ordered.kind.tar.gz"
      }, 
      "checksum": "md5:3f135c20c59928b2e1769df7b94841c4", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "yices2_INFUSION_MGR_Functional_R2012_ordered.kind.tar.gz", 
      "type": "gz", 
      "size": 342582379
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_MESI_all.tar.gz"
      }, 
      "checksum": "md5:05a96bbefbd1f7dca5be43a3678a7444", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "yices2_MESI_all.tar.gz", 
      "type": "gz", 
      "size": 630200
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_metros_1.tar.gz"
      }, 
      "checksum": "md5:f1dd51e08623b8808e420ccf2a0c3cd8", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "yices2_metros_1.tar.gz", 
      "type": "gz", 
      "size": 1710871
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_MOESI_all.tar.gz"
      }, 
      "checksum": "md5:498344e64e4e69fc0bde7e3a9e679c4c", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "yices2_MOESI_all.tar.gz", 
      "type": "gz", 
      "size": 731882
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_peterson_all.tar.gz"
      }, 
      "checksum": "md5:cad5b915a52176a12a8c646fcc56a925", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "yices2_peterson_all.tar.gz", 
      "type": "gz", 
      "size": 5373956
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_PRODUCER_CONSUMER_all.tar.gz"
      }, 
      "checksum": "md5:e4fca6db554998606ecce02b7f1aea8b", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "yices2_PRODUCER_CONSUMER_all.tar.gz", 
      "type": "gz", 
      "size": 268226
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_production_cell.tar.gz"
      }, 
      "checksum": "md5:1312bdda0b1fb3ff676dc9ac9ca7218e", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "yices2_production_cell.tar.gz", 
      "type": "gz", 
      "size": 354895
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_readwrit.tar.gz"
      }, 
      "checksum": "md5:1e975cd23844d928125358d8a01e965e", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "yices2_readwrit.tar.gz", 
      "type": "gz", 
      "size": 4485140
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_rtp_all.tar.gz"
      }, 
      "checksum": "md5:6a4512f2e127c34a618e33108fcb3d91", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "yices2_rtp_all.tar.gz", 
      "type": "gz", 
      "size": 5026209
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_speed2.tar.gz"
      }, 
      "checksum": "md5:6664fd9241bb94631d28a4b325dd41dc", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "yices2_speed2.tar.gz", 
      "type": "gz", 
      "size": 37672
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_stalmark.tar.gz"
      }, 
      "checksum": "md5:190909367c9bebe54278161ba449ba36", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "yices2_stalmark.tar.gz", 
      "type": "gz", 
      "size": 30813
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_steam_boiler_no_arr2.tar.gz"
      }, 
      "checksum": "md5:599669a5a4748b457bb8b0bbe0510755", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "yices2_steam_boiler_no_arr2.tar.gz", 
      "type": "gz", 
      "size": 391272
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_swimmingpool_1.tar.gz"
      }, 
      "checksum": "md5:1799dde46bab6be1f2f9e2435c264fce", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "yices2_swimmingpool_1.tar.gz", 
      "type": "gz", 
      "size": 2372786
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_switch2.tar.gz"
      }, 
      "checksum": "md5:583dec1242a0e1c3733d0eeb46336683", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "yices2_switch2.tar.gz", 
      "type": "gz", 
      "size": 29410
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_switch.tar.gz"
      }, 
      "checksum": "md5:45e78cfd3276dca4be33f18d24e753cb", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "yices2_switch.tar.gz", 
      "type": "gz", 
      "size": 27760
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_SYNAPSE_all.tar.gz"
      }, 
      "checksum": "md5:34fe1a554afadf9e6f1e54425ba6c2b3", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "yices2_SYNAPSE_all.tar.gz", 
      "type": "gz", 
      "size": 273430
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_ticket3i_all.tar.gz"
      }, 
      "checksum": "md5:1a4d763b2dc2fb87f1aef0b8bebb9900", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "yices2_ticket3i_all.tar.gz", 
      "type": "gz", 
      "size": 2476770
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_traffic.tar.gz"
      }, 
      "checksum": "md5:c5f080b4b6498ebbc4ae0d0c821dd821", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "yices2_traffic.tar.gz", 
      "type": "gz", 
      "size": 26464
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_tramway.tar.gz"
      }, 
      "checksum": "md5:8df354a812e4b4d23e44d62b9ed000dd", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "yices2_tramway.tar.gz", 
      "type": "gz", 
      "size": 861026
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_twisted_counters.tar.gz"
      }, 
      "checksum": "md5:eb29447a34e283f42e7f7253662cadf1", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "yices2_twisted_counters.tar.gz", 
      "type": "gz", 
      "size": 82685
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_two_counters.tar.gz"
      }, 
      "checksum": "md5:40c4028411d93aff92714a34d26927a5", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "yices2_two_counters.tar.gz", 
      "type": "gz", 
      "size": 17847
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_ums.tar.gz"
      }, 
      "checksum": "md5:e0f03df09f73e526b7ca6321a0e4eaed", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "yices2_ums.tar.gz", 
      "type": "gz", 
      "size": 5486117
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3__6counter.tar.gz"
      }, 
      "checksum": "md5:6f128fc5f0dce07c35de31842a926e8a", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "z3__6counter.tar.gz", 
      "type": "gz", 
      "size": 83885
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_car_all.tar.gz"
      }, 
      "checksum": "md5:6d33ead0dbb3ddc183d733b2fb5eaae0", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "z3_car_all.tar.gz", 
      "type": "gz", 
      "size": 222089
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_cd.tar.gz"
      }, 
      "checksum": "md5:9e376a33e21f6ad9797e852a6efe97b6", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "z3_cd.tar.gz", 
      "type": "gz", 
      "size": 175705
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_DockingApproach.tar.gz"
      }, 
      "checksum": "md5:dfaec0014f7451ffe366e3a47352adb3", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "z3_DockingApproach.tar.gz", 
      "type": "gz", 
      "size": 8819244142
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_DRAGON_all2.tar.gz"
      }, 
      "checksum": "md5:3615a7ba39c3593db080fc32f4f66a08", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "z3_DRAGON_all2.tar.gz", 
      "type": "gz", 
      "size": 10945408
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_DRAGON_all.tar.gz"
      }, 
      "checksum": "md5:0a3b4f53dd7d84679782704e2716d8ec", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "z3_DRAGON_all.tar.gz", 
      "type": "gz", 
      "size": 10229622
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_durationThm_1.tar.gz"
      }, 
      "checksum": "md5:efba96b14692e8e6ab2668f0391797d1", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "z3_durationThm_1.tar.gz", 
      "type": "gz", 
      "size": 133532
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_ex3.tar.gz"
      }, 
      "checksum": "md5:338214545df541f22e1faf3aaa10260a", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "z3_ex3.tar.gz", 
      "type": "gz", 
      "size": 82389
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_ex8.tar.gz"
      }, 
      "checksum": "md5:08c020face4f9a47483d7af7aebf00f0", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "z3_ex8.tar.gz", 
      "type": "gz", 
      "size": 84716
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_fast_1.tar.gz"
      }, 
      "checksum": "md5:0a9dc0a88c194acf8505a3d8ed52e914", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "z3_fast_1.tar.gz", 
      "type": "gz", 
      "size": 4855420
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_fast_2.tar.gz"
      }, 
      "checksum": "md5:108e259460908f6293e8a3dfe71ba46d", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "z3_fast_2.tar.gz", 
      "type": "gz", 
      "size": 12719781
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_FIREFLY_all.tar.gz"
      }, 
      "checksum": "md5:ddcc940d85d4560c91ab2c982c64b147", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "z3_FIREFLY_all.tar.gz", 
      "type": "gz", 
      "size": 4454448
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_Gas.tar.gz"
      }, 
      "checksum": "md5:b4cf13cf919eae7f862fef8cea244d65", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "z3_Gas.tar.gz", 
      "type": "gz", 
      "size": 27933287
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_hysteresis_all.tar.gz"
      }, 
      "checksum": "md5:de9d96b1cc7b7405bf21c439b8b0bc05", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "z3_hysteresis_all.tar.gz", 
      "type": "gz", 
      "size": 218400
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_ILLINOIS_all.tar.gz"
      }, 
      "checksum": "md5:d144f5584ba99646c071d1edd0034099", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "z3_ILLINOIS_all.tar.gz", 
      "type": "gz", 
      "size": 5739359
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_INFUSION_MGR_Functional_R2012_ordered.kind.tar.gz"
      }, 
      "checksum": "md5:c86c88f59a609bd42f383381ff408da4", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "z3_INFUSION_MGR_Functional_R2012_ordered.kind.tar.gz", 
      "type": "gz", 
      "size": 987025980
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_MESI_all.tar.gz"
      }, 
      "checksum": "md5:a45a8d85999a2b58d43f52e617d3736a", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "z3_MESI_all.tar.gz", 
      "type": "gz", 
      "size": 1260929
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_metros_1.tar.gz"
      }, 
      "checksum": "md5:65f1acea4a475748d679638d6724ae44", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "z3_metros_1.tar.gz", 
      "type": "gz", 
      "size": 2356380
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_MOESI_all.tar.gz"
      }, 
      "checksum": "md5:0d7d15df6db2f520a61abd14a6f4ce8a", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "z3_MOESI_all.tar.gz", 
      "type": "gz", 
      "size": 1577766
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_peterson_all.tar.gz"
      }, 
      "checksum": "md5:963851babb5e7bcabbf55db16090af05", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "z3_peterson_all.tar.gz", 
      "type": "gz", 
      "size": 11575598
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_PRODUCER_CONSUMER_all.tar.gz"
      }, 
      "checksum": "md5:75b19bad6e9b633afbf810cd442ca2c7", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "z3_PRODUCER_CONSUMER_all.tar.gz", 
      "type": "gz", 
      "size": 649835
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_production_cell.tar.gz"
      }, 
      "checksum": "md5:f8524e28b4349b4bae41eaf5d645cfe9", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "z3_production_cell.tar.gz", 
      "type": "gz", 
      "size": 808367
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_readwrit.tar.gz"
      }, 
      "checksum": "md5:6837a211a4ef1e1e6823d501f00c36d0", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "z3_readwrit.tar.gz", 
      "type": "gz", 
      "size": 11622911
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_rtp_all.tar.gz"
      }, 
      "checksum": "md5:5f682d3a3bfbf687af353344aefd65f7", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "z3_rtp_all.tar.gz", 
      "type": "gz", 
      "size": 7832520
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_speed2.tar.gz"
      }, 
      "checksum": "md5:fa4408c244a27d58499fd24953be55b5", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "z3_speed2.tar.gz", 
      "type": "gz", 
      "size": 83417
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_stalmark.tar.gz"
      }, 
      "checksum": "md5:4ad1cac2a75cab1faa53296e5561c98c", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "z3_stalmark.tar.gz", 
      "type": "gz", 
      "size": 60638
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_steam_boiler_no_arr2.tar.gz"
      }, 
      "checksum": "md5:27c357b51c69d3bfae5ae1c2d34faaeb", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "z3_steam_boiler_no_arr2.tar.gz", 
      "type": "gz", 
      "size": 844994
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_swimmingpool_1.tar.gz"
      }, 
      "checksum": "md5:d58da39eb61e1dc12aff729baecfd259", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "z3_swimmingpool_1.tar.gz", 
      "type": "gz", 
      "size": 4884831
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_switch2.tar.gz"
      }, 
      "checksum": "md5:f4e9f7008657a4bd7541f2949cb9fdbe", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "z3_switch2.tar.gz", 
      "type": "gz", 
      "size": 59816
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_switch.tar.gz"
      }, 
      "checksum": "md5:ae1a592b92245e62e90678d69eb7df03", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "z3_switch.tar.gz", 
      "type": "gz", 
      "size": 55836
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_SYNAPSE_all.tar.gz"
      }, 
      "checksum": "md5:33e4f11b2a996232c983203a03dd8dd2", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "z3_SYNAPSE_all.tar.gz", 
      "type": "gz", 
      "size": 539142
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_ticket3i_all.tar.gz"
      }, 
      "checksum": "md5:879d2addb1b6ffc42e31afa7af16f90e", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "z3_ticket3i_all.tar.gz", 
      "type": "gz", 
      "size": 5646819
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_traffic.tar.gz"
      }, 
      "checksum": "md5:c1914a4092e8457ed8cb844e5f2131eb", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "z3_traffic.tar.gz", 
      "type": "gz", 
      "size": 51014
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_tramway.tar.gz"
      }, 
      "checksum": "md5:4cc646058036ba1195d0e3667214e933", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "z3_tramway.tar.gz", 
      "type": "gz", 
      "size": 2765896
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_twisted_counters.tar.gz"
      }, 
      "checksum": "md5:56e184cba1c4702e614999cebf6b6541", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "z3_twisted_counters.tar.gz", 
      "type": "gz", 
      "size": 170165
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_two_counters.tar.gz"
      }, 
      "checksum": "md5:4399e95531fcb4c1b8327a8738a0bf90", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "z3_two_counters.tar.gz", 
      "type": "gz", 
      "size": 35445
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_ums.tar.gz"
      }, 
      "checksum": "md5:35270f7d11073f015f11d7c036759aed", 
      "bucket": "21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
      "key": "z3_ums.tar.gz", 
      "type": "gz", 
      "size": 6400148
    }
  ], 
  "owners": [
    79948
  ], 
  "doi": "10.5281/zenodo.3484641", 
  "stats": {
    "version_unique_downloads": 13.0, 
    "unique_views": 52.0, 
    "views": 56.0, 
    "version_views": 56.0, 
    "unique_downloads": 13.0, 
    "version_unique_views": 52.0, 
    "volume": 133418947258.0, 
    "version_downloads": 920.0, 
    "downloads": 920.0, 
    "version_volume": 133418947258.0
  }, 
  "links": {
    "doi": "https://doi.org/10.5281/zenodo.3484641", 
    "conceptdoi": "https://doi.org/10.5281/zenodo.3484640", 
    "bucket": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee", 
    "conceptbadge": "https://zenodo.org/badge/doi/10.5281/zenodo.3484640.svg", 
    "html": "https://zenodo.org/record/3484641", 
    "latest_html": "https://zenodo.org/record/3484641", 
    "badge": "https://zenodo.org/badge/doi/10.5281/zenodo.3484641.svg", 
    "latest": "https://zenodo.org/api/records/3484641"
  }, 
  "conceptdoi": "10.5281/zenodo.3484640", 
  "created": "2019-10-15T07:39:05.065123+00:00", 
  "updated": "2020-07-08T12:29:30.724713+00:00", 
  "conceptrecid": "3484640", 
  "revision": 5, 
  "id": 3484641, 
  "metadata": {
    "access_right_category": "success", 
    "doi": "10.5281/zenodo.3484641", 
    "description": "<p><strong># Solver Experiment - Data Package</strong></p>\n\n<p>This repository is intended to allow replication and extension of the study<br>\nconducted in the following paper:</p>\n\n<p>Ying Meng and Gregory Gay. Understanding The Impact&nbsp;of Solver Choice in Model-Based Test Generation. To appear, 2020&nbsp;ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM). Available from&nbsp;<a href=\"https://greg4cr.github.io/pdf/20solvers.pdf\">https://greg4cr.github.io/pdf/20solvers.pdf</a>.</p>\n\n<p>This package includes all data used or generated in this experiment.<br>\n&nbsp; * Models<br>\n&nbsp; * Mutants<br>\n&nbsp; * Test Suites<br>\n&nbsp; * Execution Traces<br>\n&nbsp; * Fault-detection Results</p>\n\n<p>If you have any questions on this data, please contact us at greg@greggay.com.&nbsp;<br>\n&nbsp;</p>", 
    "license": {
      "id": "CC-BY-4.0"
    }, 
    "title": "Understanding The Impact of Solver Choice in Model-Based Test Generation", 
    "relations": {
      "version": [
        {
          "count": 1, 
          "index": 0, 
          "parent": {
            "pid_type": "recid", 
            "pid_value": "3484640"
          }, 
          "is_last": true, 
          "last_child": {
            "pid_type": "recid", 
            "pid_value": "3484641"
          }
        }
      ]
    }, 
    "keywords": [
      "Test Generation", 
      "Software Testing", 
      "Model-Based Test Generation"
    ], 
    "publication_date": "2019-10-14", 
    "creators": [
      {
        "affiliation": "University of South Carolina", 
        "name": "Meng, Ying"
      }, 
      {
        "orcid": "0000-0001-6794-9585", 
        "affiliation": "Chalmers and the University of Gothenburg", 
        "name": "Gay, Gregory"
      }
    ], 
    "access_right": "open", 
    "resource_type": {
      "type": "dataset", 
      "title": "Dataset"
    }, 
    "related_identifiers": [
      {
        "scheme": "doi", 
        "identifier": "10.5281/zenodo.3484640", 
        "relation": "isVersionOf"
      }
    ]
  }
}
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