[
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T04:02:48Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "6740fe562124c4d4cd2cdeedf72ebc890c2f848e4bce7fcae3826fc132296893",
    "programfile": "standard_two_index_05.i.c",
    "programhash": "6740fe562124c4d4cd2cdeedf72ebc890c2f848e4bce7fcae3826fc132296893",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/d82908e548095786dd300ce61aa27752a3160b41572d0bba4e756d2bbee224d0.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "d82908e548095786dd300ce61aa27752a3160b41572d0bba4e756d2bbee224d0",
    "witness-size": 16996,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T04:58:07+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "6740fe562124c4d4cd2cdeedf72ebc890c2f848e4bce7fcae3826fc132296893",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_two_index_05.i",
    "programhash": "6740fe562124c4d4cd2cdeedf72ebc890c2f848e4bce7fcae3826fc132296893",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/3c55a91626b65555d3c3c51a265af9837b549b881cfaf5583e520def71a8c4b4.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "3c55a91626b65555d3c3c51a265af9837b549b881cfaf5583e520def71a8c4b4",
    "witness-size": 976,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T11:45 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "6740fe562124c4d4cd2cdeedf72ebc890c2f848e4bce7fcae3826fc132296893",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_7699aac1-147f-483a-8693-fdd589f50a2c/sv-benchmarks/c/array-examples/standard_two_index_05.i",
    "programhash": "6740fe562124c4d4cd2cdeedf72ebc890c2f848e4bce7fcae3826fc132296893",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/06aa4df185c2700fee5289513e0ec2f1f8662c240c78f17d646e55e8e8892bce.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "06aa4df185c2700fee5289513e0ec2f1f8662c240c78f17d646e55e8e8892bce",
    "witness-size": 5060,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T04:22:22+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "6740fe562124c4d4cd2cdeedf72ebc890c2f848e4bce7fcae3826fc132296893",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_two_index_05.i",
    "programhash": "6740fe562124c4d4cd2cdeedf72ebc890c2f848e4bce7fcae3826fc132296893",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/05f364a4b8113e728e4060317b07076f010f324e3bb84d39e8384aaad9ac5b2f.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "05f364a4b8113e728e4060317b07076f010f324e3bb84d39e8384aaad9ac5b2f",
    "witness-size": 660,
    "witness-type": "test-suite"
  }
]