[
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 00:24:26 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "0c03ad77d533997a3d4fb9fc69fbf656b72c38480d40b8697872f560574e0eea",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label42.c",
    "programhash": "0c03ad77d533997a3d4fb9fc69fbf656b72c38480d40b8697872f560574e0eea",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/e76fe10dc4f0965340a67520ed1a3a41a9eb0d83d20c72f7eac99994cf8dd77c.zip",
    "witness-number-of-tests": 478,
    "witness-sha256": "e76fe10dc4f0965340a67520ed1a3a41a9eb0d83d20c72f7eac99994cf8dd77c",
    "witness-size": 484562,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T04:10:51Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "0c03ad77d533997a3d4fb9fc69fbf656b72c38480d40b8697872f560574e0eea",
    "programfile": "Problem03_label42.c.c",
    "programhash": "0c03ad77d533997a3d4fb9fc69fbf656b72c38480d40b8697872f560574e0eea",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/8a7c34a715da9c256ee2d77dd694bbe8f87c99508e76b2101c6373fed66a3303.zip",
    "witness-number-of-tests": 96,
    "witness-sha256": "8a7c34a715da9c256ee2d77dd694bbe8f87c99508e76b2101c6373fed66a3303",
    "witness-size": 161385,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 10:08:19",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "0c03ad77d533997a3d4fb9fc69fbf656b72c38480d40b8697872f560574e0eea",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_474aaac1-6519-47c5-974f-fdc8915f36df/sv-benchmarks/c/eca-rers2012/Problem03_label42.c",
    "programhash": "0c03ad77d533997a3d4fb9fc69fbf656b72c38480d40b8697872f560574e0eea",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/c6f2bc2642a23f977ece5ec45a11d57b05ec5a63d8729cc31f4b0edc1bd4f2a1.zip",
    "witness-number-of-tests": 7,
    "witness-sha256": "c6f2bc2642a23f977ece5ec45a11d57b05ec5a63d8729cc31f4b0edc1bd4f2a1",
    "witness-size": 235361,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T15:10:59Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "0c03ad77d533997a3d4fb9fc69fbf656b72c38480d40b8697872f560574e0eea",
    "programfile": "Problem03_label42.c.c",
    "programhash": "0c03ad77d533997a3d4fb9fc69fbf656b72c38480d40b8697872f560574e0eea",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/c69daa7069568e636ce75f410c83db5f4b9f41933c34a4c36fdf0992fb60f799.zip",
    "witness-number-of-tests": 20351,
    "witness-sha256": "c69daa7069568e636ce75f410c83db5f4b9f41933c34a4c36fdf0992fb60f799",
    "witness-size": 44955500,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T01:25:19+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "0c03ad77d533997a3d4fb9fc69fbf656b72c38480d40b8697872f560574e0eea",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label42.c",
    "programhash": "0c03ad77d533997a3d4fb9fc69fbf656b72c38480d40b8697872f560574e0eea",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/5e853f9c7727a9bf67d82774e550fad26317449273c2037e1546b6d901bedd08.zip",
    "witness-number-of-tests": 15,
    "witness-sha256": "5e853f9c7727a9bf67d82774e550fad26317449273c2037e1546b6d901bedd08",
    "witness-size": 6040,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:40:08+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "0c03ad77d533997a3d4fb9fc69fbf656b72c38480d40b8697872f560574e0eea",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label42.c",
    "programhash": "0c03ad77d533997a3d4fb9fc69fbf656b72c38480d40b8697872f560574e0eea",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/b70df6b55a959e992fad208ff118bb3532af714ae0fb9b3f53388b033c2f8e77.zip",
    "witness-number-of-tests": 101,
    "witness-sha256": "b70df6b55a959e992fad208ff118bb3532af714ae0fb9b3f53388b033c2f8e77",
    "witness-size": 36231,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 03:05:42.264441",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "0c03ad77d533997a3d4fb9fc69fbf656b72c38480d40b8697872f560574e0eea",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label42.c",
    "programhash": "0c03ad77d533997a3d4fb9fc69fbf656b72c38480d40b8697872f560574e0eea",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/9221b026da4b6b2026c5ae5e28a96e40c2f186b6dc408c7aa283e6c05d9bcc99.zip",
    "witness-number-of-tests": 174,
    "witness-sha256": "9221b026da4b6b2026c5ae5e28a96e40c2f186b6dc408c7aa283e6c05d9bcc99",
    "witness-size": 75806,
    "witness-type": "test-suite"
  }
]