[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T00:27:58+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "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/c634a6e12a48403c595252aacf967f34962061a15ce3d0e4cb259b6a278e8e77.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "c634a6e12a48403c595252aacf967f34962061a15ce3d0e4cb259b6a278e8e77",
    "witness-size": 1000,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08 21:56:45.403375",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "programfile": "../../sv-benchmarks/c/loops/vogal-2.i",
    "programhash": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/5589b0c691e4f3eae67fb50d610b39c6264f89d4aac97c658a47823d8fee7052.zip",
    "witness-number-of-tests": 24,
    "witness-sha256": "5589b0c691e4f3eae67fb50d610b39c6264f89d4aac97c658a47823d8fee7052",
    "witness-size": 11345,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 00:28:34.056203",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "programfile": "../../sv-benchmarks/c/loops/vogal-2.i",
    "programhash": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/c5e148d8a71671683a4b191ccf617cecb3cc1c97259066400b7973e2a504bba6.zip",
    "witness-number-of-tests": 478,
    "witness-sha256": "c5e148d8a71671683a4b191ccf617cecb3cc1c97259066400b7973e2a504bba6",
    "witness-size": 216473,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 10:37:16",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_abda8289-cef0-4253-975b-b09012da9434/sv-benchmarks/c/loops/vogal-2.i",
    "programhash": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/8102000fed729909da29ade8f0d12d559439ed0c7c744547d5641cd92ee40e5e.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "8102000fed729909da29ade8f0d12d559439ed0c7c744547d5641cd92ee40e5e",
    "witness-size": 11929,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T03:25:48Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-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/249330484e62113a1a55fec59ddcfb7b0c187b72c1a7d687d40946dbf7f7edef.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "249330484e62113a1a55fec59ddcfb7b0c187b72c1a7d687d40946dbf7f7edef",
    "witness-size": 8172,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 01:11:59 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "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/5d5b871d05051d5f97f033da0fdd791041736d9ae414e0155d59cc9c05c1f6b7.zip",
    "witness-number-of-tests": 21,
    "witness-sha256": "5d5b871d05051d5f97f033da0fdd791041736d9ae414e0155d59cc9c05c1f6b7",
    "witness-size": 20387,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 01:48:43 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "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/0376ab9a3458a859fbddae25d9df0da11f867084e22d305e3150deb463ea4f4b.zip",
    "witness-number-of-tests": 21,
    "witness-sha256": "0376ab9a3458a859fbddae25d9df0da11f867084e22d305e3150deb463ea4f4b",
    "witness-size": 20629,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T05:31:05+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "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/706eb09853570f669b3dcc1d6a4f12f89f8058d7187baed783ac56fb39262436.zip",
    "witness-number-of-tests": 16,
    "witness-sha256": "706eb09853570f669b3dcc1d6a4f12f89f8058d7187baed783ac56fb39262436",
    "witness-size": 6387,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T10:50:11+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "programfile": "../../sv-benchmarks/c/loops/vogal-2.i",
    "programhash": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/83c84d045a8a3ccc66336a82898875979d96382870fa905a0b189d5f7765581a.zip",
    "witness-number-of-tests": 7,
    "witness-sha256": "83c84d045a8a3ccc66336a82898875979d96382870fa905a0b189d5f7765581a",
    "witness-size": 3332,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:35:51",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_82749ef4-7730-45cb-8d65-0321fa261610/sv-benchmarks/c/loops/vogal-2.i",
    "programhash": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/bbd24b2b7d6ef5eaee68ae83e3e8ca3bd8987d89be4e48959e9a2c8412902368.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "bbd24b2b7d6ef5eaee68ae83e3e8ca3bd8987d89be4e48959e9a2c8412902368",
    "witness-size": 11640,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T18:58:31Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "programfile": "vogal-2.i.c",
    "programhash": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/981513a2377d498bcd54f1da8d3c76136bad22585162eaca62dae0910d8f4445.zip",
    "witness-number-of-tests": 1322,
    "witness-sha256": "981513a2377d498bcd54f1da8d3c76136bad22585162eaca62dae0910d8f4445",
    "witness-size": 552551,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T00:12:33+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "programfile": "../../sv-benchmarks/c/loops/vogal-2.i",
    "programhash": "0c761f9b7346adfa46129ef57e2c04eeeaf8d62f3ea3c829e32a4bc8818f3e77",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/f7d2fe7344c4c69a3625a9f5c8306b0baca17265d901199692b728137de1bf26.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "f7d2fe7344c4c69a3625a9f5c8306b0baca17265d901199692b728137de1bf26",
    "witness-size": 1020,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T07:01:17Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-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/a9615f9646a8b0982d62ea256679ee3a7ff60e59c07e6621579d1b75d0e575fa.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "a9615f9646a8b0982d62ea256679ee3a7ff60e59c07e6621579d1b75d0e575fa",
    "witness-size": 6011,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T15:14:50Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "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/e6f4337f5241163e6ce93e171103b04b34b4c7fa8dee130ad03f88708f354106.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "e6f4337f5241163e6ce93e171103b04b34b4c7fa8dee130ad03f88708f354106",
    "witness-size": 20028,
    "witness-type": "test-suite"
  }
]