[
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T08:30 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "98a1455f610b94f01c09605e0c1a50a6f39aca93119e73b64ba0daa366bb152d",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_1aaf363e-0fa0-4b13-a219-dfaa91672500/sv-benchmarks/c/loop-acceleration/multivar_1-1.c",
    "programhash": "98a1455f610b94f01c09605e0c1a50a6f39aca93119e73b64ba0daa366bb152d",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/ce817d11141331139f19f9ce9214ae4701e5f4fafc5c8ff5c1e3b2bb6c22a37f.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "ce817d11141331139f19f9ce9214ae4701e5f4fafc5c8ff5c1e3b2bb6c22a37f",
    "witness-size": 903,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T21:35:04+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "98a1455f610b94f01c09605e0c1a50a6f39aca93119e73b64ba0daa366bb152d",
    "programfile": "../../sv-benchmarks/c/loop-acceleration/multivar_1-1.c",
    "programhash": "98a1455f610b94f01c09605e0c1a50a6f39aca93119e73b64ba0daa366bb152d",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/99267f79ceba58b3073d330b754587ea2ff6c23c7c159666f4cc9decb91a7ef7.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "99267f79ceba58b3073d330b754587ea2ff6c23c7c159666f4cc9decb91a7ef7",
    "witness-size": 1674,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T03:12:38Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "98a1455f610b94f01c09605e0c1a50a6f39aca93119e73b64ba0daa366bb152d",
    "programfile": "multivar_1-1.c.c",
    "programhash": "98a1455f610b94f01c09605e0c1a50a6f39aca93119e73b64ba0daa366bb152d",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/1eb6ea06f25aa877fa1c3526f0e27ab08f01c8b3550e793276aeaf72d04e6faa.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "1eb6ea06f25aa877fa1c3526f0e27ab08f01c8b3550e793276aeaf72d04e6faa",
    "witness-size": 5761,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T23:58:19+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "98a1455f610b94f01c09605e0c1a50a6f39aca93119e73b64ba0daa366bb152d",
    "programfile": "../../sv-benchmarks/c/loop-acceleration/multivar_1-1.c",
    "programhash": "98a1455f610b94f01c09605e0c1a50a6f39aca93119e73b64ba0daa366bb152d",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/45b651fed0d468f8179e17e67fc5f16eb0863c303d32bc85df34b5662758e524.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "45b651fed0d468f8179e17e67fc5f16eb0863c303d32bc85df34b5662758e524",
    "witness-size": 1794,
    "witness-type": "test-suite"
  }
]