[
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T10:55 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "d12be2991167702d1ce44aa0d0c4a2533945107abce0ec58bc87a3ffa57c4388",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_57465664-89ff-4198-856c-4157731b3824/sv-benchmarks/c/loop-invgen/apache-get-tag.i",
    "programhash": "d12be2991167702d1ce44aa0d0c4a2533945107abce0ec58bc87a3ffa57c4388",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/ffe3e54cb392d4bdedf51f1581b3d31df48b8449d3f69f26543ca27704be166e.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "ffe3e54cb392d4bdedf51f1581b3d31df48b8449d3f69f26543ca27704be166e",
    "witness-size": 3659,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T02:06:58Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "d12be2991167702d1ce44aa0d0c4a2533945107abce0ec58bc87a3ffa57c4388",
    "programfile": "apache-get-tag.i.c",
    "programhash": "d12be2991167702d1ce44aa0d0c4a2533945107abce0ec58bc87a3ffa57c4388",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/68d3ecace29b2c5190bd6f5786c20c3e511f542c10945876bbcecc1e63217ef6.zip",
    "witness-number-of-tests": 16,
    "witness-sha256": "68d3ecace29b2c5190bd6f5786c20c3e511f542c10945876bbcecc1e63217ef6",
    "witness-size": 42883,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T04:48:55+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "d12be2991167702d1ce44aa0d0c4a2533945107abce0ec58bc87a3ffa57c4388",
    "programfile": "../../sv-benchmarks/c/loop-invgen/apache-get-tag.i",
    "programhash": "d12be2991167702d1ce44aa0d0c4a2533945107abce0ec58bc87a3ffa57c4388",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/91a701f0c28a4316e8da838d594d7a9bcf2e8f8703508374d348cd26d45d2504.zip",
    "witness-number-of-tests": 17,
    "witness-sha256": "91a701f0c28a4316e8da838d594d7a9bcf2e8f8703508374d348cd26d45d2504",
    "witness-size": 6547,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T22:01:50+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "d12be2991167702d1ce44aa0d0c4a2533945107abce0ec58bc87a3ffa57c4388",
    "programfile": "../../sv-benchmarks/c/loop-invgen/apache-get-tag.i",
    "programhash": "d12be2991167702d1ce44aa0d0c4a2533945107abce0ec58bc87a3ffa57c4388",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/e0450670eeb045deea902040de6d819efa370d1b8592a40fb76f92e0519be6d2.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "e0450670eeb045deea902040de6d819efa370d1b8592a40fb76f92e0519be6d2",
    "witness-size": 3051,
    "witness-type": "test-suite"
  }
]