[
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T01:16:08+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "programfile": "../../sv-benchmarks/c/loops/vogal-2.i",
    "programhash": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/c80559ec92f65b93658a14377467652d265e79a179a02581a6e0b0e6999aa18e.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "c80559ec92f65b93658a14377467652d265e79a179a02581a6e0b0e6999aa18e",
    "witness-size": 992,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T04:13:04Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "programfile": "vogal-2.i.c",
    "programhash": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/5127dae9f24f8dd611177746086a66dd0eb8b9aa7cbc957313ac20953c818184.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "5127dae9f24f8dd611177746086a66dd0eb8b9aa7cbc957313ac20953c818184",
    "witness-size": 2942,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T21:53:38+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "programfile": "../../sv-benchmarks/c/loops/vogal-2.i",
    "programhash": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/0081a55f324d05829e9fb89a344ebb0cc9b4beb4306f8dff33ec3f1453f79fc0.zip",
    "witness-number-of-tests": 8,
    "witness-sha256": "0081a55f324d05829e9fb89a344ebb0cc9b4beb4306f8dff33ec3f1453f79fc0",
    "witness-size": 3969,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-05T23:16:43Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "programfile": "vogal-2.i.c",
    "programhash": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/419270da5f89586136a0d231fa1e3567106695238639d5212c2a3cdd7b29eae5.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "419270da5f89586136a0d231fa1e3567106695238639d5212c2a3cdd7b29eae5",
    "witness-size": 2963,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T03:07:43+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "programfile": "../../sv-benchmarks/c/loops/vogal-2.i",
    "programhash": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/9695454c9080f0f1f301524725f493dce6cafe49d4c27bc9de883d690ba95702.zip",
    "witness-number-of-tests": 16,
    "witness-sha256": "9695454c9080f0f1f301524725f493dce6cafe49d4c27bc9de883d690ba95702",
    "witness-size": 6380,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T04:13:04Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "programfile": "vogal-2.i.c",
    "programhash": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/58547c293d8dd3881f1d54185dba4607bc8759c13dc48c51b73ed1a5f2fa87ef.zip",
    "witness-number-of-tests": 13,
    "witness-sha256": "58547c293d8dd3881f1d54185dba4607bc8759c13dc48c51b73ed1a5f2fa87ef",
    "witness-size": 42387,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T13:20 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_39139318-9cc6-4eba-91fa-387d16f6dcc1/sv-benchmarks/c/loops/vogal-2.i",
    "programhash": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/e744b28c4653c6b74a5131848552e6a0d5a0ff4f0c8b16ec5eccd641c28bca60.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "e744b28c4653c6b74a5131848552e6a0d5a0ff4f0c8b16ec5eccd641c28bca60",
    "witness-size": 916,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T14:55 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_39139318-9cc6-4eba-91fa-387d16f6dcc1/sv-benchmarks/c/loops/vogal-2.i",
    "programhash": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/f3e84432fd5c7bc8da71064072af87e30edeb229293bdb9ec6002a4e8c046056.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "f3e84432fd5c7bc8da71064072af87e30edeb229293bdb9ec6002a4e8c046056",
    "witness-size": 2895,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T14:55 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_d81f663e-1ead-4048-9443-ae47818ce3a1/sv-benchmarks/c/loops/vogal-2.i",
    "programhash": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/62d9363df26eb5546eca79029137876bae734bcdceb798d9c8d1e79ba7e0a3d2.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "62d9363df26eb5546eca79029137876bae734bcdceb798d9c8d1e79ba7e0a3d2",
    "witness-size": 2898,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T01:16:08+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "programfile": "../../sv-benchmarks/c/loops/vogal-2.i",
    "programhash": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/23f30f172f49cc8b3615e3b0daf74ca9707c8a1c312a1e7d760130c67083aaa8.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "23f30f172f49cc8b3615e3b0daf74ca9707c8a1c312a1e7d760130c67083aaa8",
    "witness-size": 2943,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T04:39:25+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "programfile": "../../sv-benchmarks/c/loops/vogal-2.i",
    "programhash": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/1af3e7efa3743460b0b6fc86f4d08ea9a7b15d563aa02f1a266127c45ead506d.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "1af3e7efa3743460b0b6fc86f4d08ea9a7b15d563aa02f1a266127c45ead506d",
    "witness-size": 3015,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-05T23:16:43Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "programfile": "vogal-2.i.c",
    "programhash": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/1943fbf8b016432c7cb8b32d7ba6c3288994e93b504e9f0e1e863bce594134e1.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "1943fbf8b016432c7cb8b32d7ba6c3288994e93b504e9f0e1e863bce594134e1",
    "witness-size": 4878,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T04:39:25+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "programfile": "../../sv-benchmarks/c/loops/vogal-2.i",
    "programhash": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/da0dc8fb0670abc7499a6c9687b8197729ba4f1f7431ce38d5ea2c7ffac2e47f.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "da0dc8fb0670abc7499a6c9687b8197729ba4f1f7431ce38d5ea2c7ffac2e47f",
    "witness-size": 1062,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T11:57 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_d81f663e-1ead-4048-9443-ae47818ce3a1/sv-benchmarks/c/loops/vogal-2.i",
    "programhash": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/d47260b568e1a4df4023c24c70da94abd81c2dd7aa13a553df59a6d235a2c8a4.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "d47260b568e1a4df4023c24c70da94abd81c2dd7aa13a553df59a6d235a2c8a4",
    "witness-size": 1251,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T21:53:38+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "programfile": "../../sv-benchmarks/c/loops/vogal-2.i",
    "programhash": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/208aaa49f92d38149d9ab0fd44023a361b7a38813fdae5f073386f6893c60274.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "208aaa49f92d38149d9ab0fd44023a361b7a38813fdae5f073386f6893c60274",
    "witness-size": 3018,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T03:07:43+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "programfile": "../../sv-benchmarks/c/loops/vogal-2.i",
    "programhash": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/413c5a6209b9a95258e7b0abd2596c5dadda86c3a48c3acb77203edae4d9d1ed.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "413c5a6209b9a95258e7b0abd2596c5dadda86c3a48c3acb77203edae4d9d1ed",
    "witness-size": 2953,
    "witness-type": "test-suite"
  }
]