[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T23:00:43Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "cdc07388b89c9fe9f2b1a3dfc5055b9a99449aaf288d58e664a5d70000e51a68",
    "programfile": "Problem03_label48.c.c",
    "programhash": "cdc07388b89c9fe9f2b1a3dfc5055b9a99449aaf288d58e664a5d70000e51a68",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/87512a6c228203404a4c3c32da1b706bb16a5771359682bd11cdd583adf52948.zip",
    "witness-number-of-tests": 96,
    "witness-sha256": "87512a6c228203404a4c3c32da1b706bb16a5771359682bd11cdd583adf52948",
    "witness-size": 161594,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T14:17:24Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "cdc07388b89c9fe9f2b1a3dfc5055b9a99449aaf288d58e664a5d70000e51a68",
    "programfile": "Problem03_label48.c.c",
    "programhash": "cdc07388b89c9fe9f2b1a3dfc5055b9a99449aaf288d58e664a5d70000e51a68",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/306409c8d442c3de22d8edf2203dab2e68dcef04c9a49b8a505b904a4e4561cf.zip",
    "witness-number-of-tests": 20645,
    "witness-sha256": "306409c8d442c3de22d8edf2203dab2e68dcef04c9a49b8a505b904a4e4561cf",
    "witness-size": 45592485,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 10:47:49",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "cdc07388b89c9fe9f2b1a3dfc5055b9a99449aaf288d58e664a5d70000e51a68",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_bea9f42c-6617-423d-811a-6f72028a87a0/sv-benchmarks/c/eca-rers2012/Problem03_label48.c",
    "programhash": "cdc07388b89c9fe9f2b1a3dfc5055b9a99449aaf288d58e664a5d70000e51a68",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/dbf757e00e5c37ed8082fd1376a7514221a1de6dc3e2f96e17270bd0c1787a35.zip",
    "witness-number-of-tests": 7,
    "witness-sha256": "dbf757e00e5c37ed8082fd1376a7514221a1de6dc3e2f96e17270bd0c1787a35",
    "witness-size": 235326,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 07:18:22 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "cdc07388b89c9fe9f2b1a3dfc5055b9a99449aaf288d58e664a5d70000e51a68",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label48.c",
    "programhash": "cdc07388b89c9fe9f2b1a3dfc5055b9a99449aaf288d58e664a5d70000e51a68",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/46f6e3eba3069f0974068381b76456dd5de0efc30c14fcb90d8785a0610df630.zip",
    "witness-number-of-tests": 479,
    "witness-sha256": "46f6e3eba3069f0974068381b76456dd5de0efc30c14fcb90d8785a0610df630",
    "witness-size": 484754,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T11:02:24+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "cdc07388b89c9fe9f2b1a3dfc5055b9a99449aaf288d58e664a5d70000e51a68",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label48.c",
    "programhash": "cdc07388b89c9fe9f2b1a3dfc5055b9a99449aaf288d58e664a5d70000e51a68",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/63d7e1a8434b4c48fb4c47b6ba351fc198aa6260f4c6c246236769c46cd698e2.zip",
    "witness-number-of-tests": 22,
    "witness-sha256": "63d7e1a8434b4c48fb4c47b6ba351fc198aa6260f4c6c246236769c46cd698e2",
    "witness-size": 8659,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:23:03+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "cdc07388b89c9fe9f2b1a3dfc5055b9a99449aaf288d58e664a5d70000e51a68",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label48.c",
    "programhash": "cdc07388b89c9fe9f2b1a3dfc5055b9a99449aaf288d58e664a5d70000e51a68",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/f1522f4eb5b07e174c1fc100e06c6352911c90fb4127ef697730c246cfd52e6b.zip",
    "witness-number-of-tests": 101,
    "witness-sha256": "f1522f4eb5b07e174c1fc100e06c6352911c90fb4127ef697730c246cfd52e6b",
    "witness-size": 36229,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 07:09:49.464644",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "cdc07388b89c9fe9f2b1a3dfc5055b9a99449aaf288d58e664a5d70000e51a68",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label48.c",
    "programhash": "cdc07388b89c9fe9f2b1a3dfc5055b9a99449aaf288d58e664a5d70000e51a68",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/f0aadcc4f44677b44b019d72d7081fa5713679f11d1216f13e8eac66882952bd.zip",
    "witness-number-of-tests": 172,
    "witness-sha256": "f0aadcc4f44677b44b019d72d7081fa5713679f11d1216f13e8eac66882952bd",
    "witness-size": 74863,
    "witness-type": "test-suite"
  }
]