[
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T03:32:42+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "68ccd27bcdc464da226746570f628a00864ac9724c7ac338a1894c7040c983b4",
    "programfile": "../../sv-benchmarks/c/ldv-regression/alias_of_return_2.i",
    "programhash": "68ccd27bcdc464da226746570f628a00864ac9724c7ac338a1894c7040c983b4",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/c606f1a9cee697e99606b38b56d2ecc33491e14235df3b0c0f5616730dbcd1f4.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "c606f1a9cee697e99606b38b56d2ecc33491e14235df3b0c0f5616730dbcd1f4",
    "witness-size": 1672,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T11:40 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "68ccd27bcdc464da226746570f628a00864ac9724c7ac338a1894c7040c983b4",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_17a1a49c-d3d4-4d05-be2e-a6b48f08322b/sv-benchmarks/c/ldv-regression/alias_of_return_2.i",
    "programhash": "68ccd27bcdc464da226746570f628a00864ac9724c7ac338a1894c7040c983b4",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/c6e34fc182d7a9edee3bed4c7add5de85cf9ad20b6f90e7ae7bb5cf905251294.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "c6e34fc182d7a9edee3bed4c7add5de85cf9ad20b6f90e7ae7bb5cf905251294",
    "witness-size": 907,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T05:51:32Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "68ccd27bcdc464da226746570f628a00864ac9724c7ac338a1894c7040c983b4",
    "programfile": "alias_of_return_2.i.c",
    "programhash": "68ccd27bcdc464da226746570f628a00864ac9724c7ac338a1894c7040c983b4",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/b54c450259e87d421e07e6b2f115820d7989cf1c961215b4333b376f4c0f1c84.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "b54c450259e87d421e07e6b2f115820d7989cf1c961215b4333b376f4c0f1c84",
    "witness-size": 4435,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T02:40:40+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "68ccd27bcdc464da226746570f628a00864ac9724c7ac338a1894c7040c983b4",
    "programfile": "../../sv-benchmarks/c/ldv-regression/alias_of_return_2.i",
    "programhash": "68ccd27bcdc464da226746570f628a00864ac9724c7ac338a1894c7040c983b4",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/e01dedb7bf53daee8516758470779c3af1c34f97e3601918146928496f0b6d0d.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "e01dedb7bf53daee8516758470779c3af1c34f97e3601918146928496f0b6d0d",
    "witness-size": 1839,
    "witness-type": "test-suite"
  }
]