[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T11:18:01+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "a0c0bf00ca10fb4896751178ab168df39a0382d0121f24b6f9da4d7acd210c47",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label10.c",
    "programhash": "a0c0bf00ca10fb4896751178ab168df39a0382d0121f24b6f9da4d7acd210c47",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/3aa48698979e91575a32b14ceec2b519a34da2e3ac6781234a4213a254ecb40a.zip",
    "witness-number-of-tests": 15,
    "witness-sha256": "3aa48698979e91575a32b14ceec2b519a34da2e3ac6781234a4213a254ecb40a",
    "witness-size": 6040,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 01:48:56 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "a0c0bf00ca10fb4896751178ab168df39a0382d0121f24b6f9da4d7acd210c47",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label10.c",
    "programhash": "a0c0bf00ca10fb4896751178ab168df39a0382d0121f24b6f9da4d7acd210c47",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/dc9a3cacacf63216351bc3ee5a56f45b33fc270196306708cd56f1b20354a7f8.zip",
    "witness-number-of-tests": 479,
    "witness-sha256": "dc9a3cacacf63216351bc3ee5a56f45b33fc270196306708cd56f1b20354a7f8",
    "witness-size": 484712,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:54:56",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "a0c0bf00ca10fb4896751178ab168df39a0382d0121f24b6f9da4d7acd210c47",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_c8c8297b-866a-4f0e-892c-87fe1eb9e64b/sv-benchmarks/c/eca-rers2012/Problem03_label10.c",
    "programhash": "a0c0bf00ca10fb4896751178ab168df39a0382d0121f24b6f9da4d7acd210c47",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/a80b206a3b6d2692234fe4ea29e3c3c49340e37e213d6e5bd9f009bf886c96b6.zip",
    "witness-number-of-tests": 7,
    "witness-sha256": "a80b206a3b6d2692234fe4ea29e3c3c49340e37e213d6e5bd9f009bf886c96b6",
    "witness-size": 235373,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T18:21:24Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "a0c0bf00ca10fb4896751178ab168df39a0382d0121f24b6f9da4d7acd210c47",
    "programfile": "Problem03_label10.c.c",
    "programhash": "a0c0bf00ca10fb4896751178ab168df39a0382d0121f24b6f9da4d7acd210c47",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/d8c3f2e9c6ec7a2af14ce46fbadcace808915a473759cb152a69a00970970422.zip",
    "witness-number-of-tests": 20242,
    "witness-sha256": "d8c3f2e9c6ec7a2af14ce46fbadcace808915a473759cb152a69a00970970422",
    "witness-size": 44716765,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 01:33:13.648395",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "a0c0bf00ca10fb4896751178ab168df39a0382d0121f24b6f9da4d7acd210c47",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label10.c",
    "programhash": "a0c0bf00ca10fb4896751178ab168df39a0382d0121f24b6f9da4d7acd210c47",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/cd2197b85339f7d100a0dad3ad55b7d14ad93f0b9cfdd7b11ef90cb11f844d66.zip",
    "witness-number-of-tests": 169,
    "witness-sha256": "cd2197b85339f7d100a0dad3ad55b7d14ad93f0b9cfdd7b11ef90cb11f844d66",
    "witness-size": 73482,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T00:52:28Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "a0c0bf00ca10fb4896751178ab168df39a0382d0121f24b6f9da4d7acd210c47",
    "programfile": "Problem03_label10.c.c",
    "programhash": "a0c0bf00ca10fb4896751178ab168df39a0382d0121f24b6f9da4d7acd210c47",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/d860761c47aa436888622a12480c8e0e9ef2416b78daf45d7b30676eddc505b4.zip",
    "witness-number-of-tests": 101,
    "witness-sha256": "d860761c47aa436888622a12480c8e0e9ef2416b78daf45d7b30676eddc505b4",
    "witness-size": 163082,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T04:28:54+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "a0c0bf00ca10fb4896751178ab168df39a0382d0121f24b6f9da4d7acd210c47",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label10.c",
    "programhash": "a0c0bf00ca10fb4896751178ab168df39a0382d0121f24b6f9da4d7acd210c47",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/f6d4ceba8f664532f7640c12c374026794e3ec0bf3703a7cc740006a320b05d0.zip",
    "witness-number-of-tests": 101,
    "witness-sha256": "f6d4ceba8f664532f7640c12c374026794e3ec0bf3703a7cc740006a320b05d0",
    "witness-size": 36232,
    "witness-type": "test-suite"
  }
]