[
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T05:54:00+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "5fbadceffd08aa6da9ce4fe8f5c471456a9d2c7161061364e8b6ef62c502311c",
    "programfile": "../../sv-benchmarks/c/reducercommutativity/sep40-1.i",
    "programhash": "5fbadceffd08aa6da9ce4fe8f5c471456a9d2c7161061364e8b6ef62c502311c",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/5c886e91fffb7febcf3c498790274a0dfcd1a4e5e796c10f155e827041d3da0e.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "5c886e91fffb7febcf3c498790274a0dfcd1a4e5e796c10f155e827041d3da0e",
    "witness-size": 1143,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T21:39:23+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "5fbadceffd08aa6da9ce4fe8f5c471456a9d2c7161061364e8b6ef62c502311c",
    "programfile": "../../sv-benchmarks/c/reducercommutativity/sep40-1.i",
    "programhash": "5fbadceffd08aa6da9ce4fe8f5c471456a9d2c7161061364e8b6ef62c502311c",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/60959c71cd3ec13a17ffaca976bdb1b03392d6f6ba9761d4bb6d60f843363fd0.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "60959c71cd3ec13a17ffaca976bdb1b03392d6f6ba9761d4bb6d60f843363fd0",
    "witness-size": 3034,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T08:30 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "5fbadceffd08aa6da9ce4fe8f5c471456a9d2c7161061364e8b6ef62c502311c",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_544eae04-d176-4f3c-afca-9d51045c8331/sv-benchmarks/c/reducercommutativity/sep40-1.i",
    "programhash": "5fbadceffd08aa6da9ce4fe8f5c471456a9d2c7161061364e8b6ef62c502311c",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/0a74deb89df4f432441263d95a7317c623189bebe363510995e8de711096fd3c.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "0a74deb89df4f432441263d95a7317c623189bebe363510995e8de711096fd3c",
    "witness-size": 912,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-05T23:46:29Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "5fbadceffd08aa6da9ce4fe8f5c471456a9d2c7161061364e8b6ef62c502311c",
    "programfile": "sep40-1.i.c",
    "programhash": "5fbadceffd08aa6da9ce4fe8f5c471456a9d2c7161061364e8b6ef62c502311c",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/289556c6e7474f9fa730568bdf62b1a9495d4a951eae8564bc9160bfce7dd31e.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "289556c6e7474f9fa730568bdf62b1a9495d4a951eae8564bc9160bfce7dd31e",
    "witness-size": 37856,
    "witness-type": "test-suite"
  }
]