[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T02:03:34Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "12b104598704fcd232330d278bce28f7fb43ea1156d24f0129ef11d4f711769e",
    "programfile": "nested6.i.c",
    "programhash": "12b104598704fcd232330d278bce28f7fb43ea1156d24f0129ef11d4f711769e",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/33725a98c7b61d553bfb0be137656121ef394666619e14f451eff6006f458a25.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "33725a98c7b61d553bfb0be137656121ef394666619e14f451eff6006f458a25",
    "witness-size": 89009,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Sun Dec  8 22:02:48 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "12b104598704fcd232330d278bce28f7fb43ea1156d24f0129ef11d4f711769e",
    "programfile": "../../sv-benchmarks/c/loop-invgen/nested6.i",
    "programhash": "12b104598704fcd232330d278bce28f7fb43ea1156d24f0129ef11d4f711769e",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/62519f3f9f16adab8d76416e80d0b7aca0b2a290c53c01efa160681ac32722c9.zip",
    "witness-number-of-tests": 30,
    "witness-sha256": "62519f3f9f16adab8d76416e80d0b7aca0b2a290c53c01efa160681ac32722c9",
    "witness-size": 27818,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 09:59:40.453640",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "12b104598704fcd232330d278bce28f7fb43ea1156d24f0129ef11d4f711769e",
    "programfile": "../../sv-benchmarks/c/loop-invgen/nested6.i",
    "programhash": "12b104598704fcd232330d278bce28f7fb43ea1156d24f0129ef11d4f711769e",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/df0624183b6d2ee25a9db4a603ec7fb6ddab26dc7cde283527987d7a5584cd9c.zip",
    "witness-number-of-tests": 181,
    "witness-sha256": "df0624183b6d2ee25a9db4a603ec7fb6ddab26dc7cde283527987d7a5584cd9c",
    "witness-size": 80331,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T05:57:21+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "12b104598704fcd232330d278bce28f7fb43ea1156d24f0129ef11d4f711769e",
    "programfile": "../../sv-benchmarks/c/loop-invgen/nested6.i",
    "programhash": "12b104598704fcd232330d278bce28f7fb43ea1156d24f0129ef11d4f711769e",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/d4c46095e84bb0fa7bfefd35c1a454f8b99c11adbae24fc1a49707b00710d957.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "d4c46095e84bb0fa7bfefd35c1a454f8b99c11adbae24fc1a49707b00710d957",
    "witness-size": 2879,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T21:03:31+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "12b104598704fcd232330d278bce28f7fb43ea1156d24f0129ef11d4f711769e",
    "programfile": "../../sv-benchmarks/c/loop-invgen/nested6.i",
    "programhash": "12b104598704fcd232330d278bce28f7fb43ea1156d24f0129ef11d4f711769e",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/b25d080f4f4e56781977c2faa1c7b887ce2da1576b944d0fd470e68df5fbf0fe.zip",
    "witness-number-of-tests": 12,
    "witness-sha256": "b25d080f4f4e56781977c2faa1c7b887ce2da1576b944d0fd470e68df5fbf0fe",
    "witness-size": 4809,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:53:39",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "12b104598704fcd232330d278bce28f7fb43ea1156d24f0129ef11d4f711769e",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_95fb4812-2349-4c50-a214-1ac4c67c71ad/sv-benchmarks/c/loop-invgen/nested6.i",
    "programhash": "12b104598704fcd232330d278bce28f7fb43ea1156d24f0129ef11d4f711769e",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/e8ca4889d9aeefc426244f8936ef587baec0b2bb83b797b454b604be017d18d4.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "e8ca4889d9aeefc426244f8936ef587baec0b2bb83b797b454b604be017d18d4",
    "witness-size": 8589,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T15:46:36Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "12b104598704fcd232330d278bce28f7fb43ea1156d24f0129ef11d4f711769e",
    "programfile": "nested6.i.c",
    "programhash": "12b104598704fcd232330d278bce28f7fb43ea1156d24f0129ef11d4f711769e",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/f58fecf60888e98aebb308ffb4b8126db80404e707b7018d9a1dc2cbbb45b0a3.zip",
    "witness-number-of-tests": 57181,
    "witness-sha256": "f58fecf60888e98aebb308ffb4b8126db80404e707b7018d9a1dc2cbbb45b0a3",
    "witness-size": 22534410,
    "witness-type": "test-suite"
  }
]