[
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T01:58:55+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "eb0807e7cdd55722be0fd8251105680567ae47fda8fea3f5445a7ab99007fb5c",
    "programfile": "../../sv-benchmarks/c/array-tiling/nr4.c",
    "programhash": "eb0807e7cdd55722be0fd8251105680567ae47fda8fea3f5445a7ab99007fb5c",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/8880c02741ec5bceaf5bc8c807c3203c86218559502521570558d4c04f7e232b.zip",
    "witness-number-of-tests": 11,
    "witness-sha256": "8880c02741ec5bceaf5bc8c807c3203c86218559502521570558d4c04f7e232b",
    "witness-size": 4456,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-05T23:53:59Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "eb0807e7cdd55722be0fd8251105680567ae47fda8fea3f5445a7ab99007fb5c",
    "programfile": "nr4.c.c",
    "programhash": "eb0807e7cdd55722be0fd8251105680567ae47fda8fea3f5445a7ab99007fb5c",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/550fccbece0214a14793acd8a99bc1b8430669d122bce0a2eb2d34851728b4c0.zip",
    "witness-number-of-tests": 11,
    "witness-sha256": "550fccbece0214a14793acd8a99bc1b8430669d122bce0a2eb2d34851728b4c0",
    "witness-size": 8670,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T13:02 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "eb0807e7cdd55722be0fd8251105680567ae47fda8fea3f5445a7ab99007fb5c",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_bbd60745-91f4-45bd-8bf3-580d208c513e/sv-benchmarks/c/array-tiling/nr4.c",
    "programhash": "eb0807e7cdd55722be0fd8251105680567ae47fda8fea3f5445a7ab99007fb5c",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/b8552903d5b0d91500bb211a4a91630fbd009e26ca032dbb7ecb37e24b3ac293.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "b8552903d5b0d91500bb211a4a91630fbd009e26ca032dbb7ecb37e24b3ac293",
    "witness-size": 1573,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T05:26:17+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "eb0807e7cdd55722be0fd8251105680567ae47fda8fea3f5445a7ab99007fb5c",
    "programfile": "../../sv-benchmarks/c/array-tiling/nr4.c",
    "programhash": "eb0807e7cdd55722be0fd8251105680567ae47fda8fea3f5445a7ab99007fb5c",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/d7f5286c0396f7d5ed573df8e181d23159f5452ad8a38e590e7ef6edc7320270.zip",
    "witness-number-of-tests": 7,
    "witness-sha256": "d7f5286c0396f7d5ed573df8e181d23159f5452ad8a38e590e7ef6edc7320270",
    "witness-size": 3364,
    "witness-type": "test-suite"
  }
]