[
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:52:47",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "9efc640e5f0007b1d453510c05d3ce811b3cbb94652ce1971f06ec80c25b1f17",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_7b3c7d32-ec8a-4b4d-a832-ba6e162cb88b/sv-benchmarks/c/eca-rers2012/Problem03_label06.c",
    "programhash": "9efc640e5f0007b1d453510c05d3ce811b3cbb94652ce1971f06ec80c25b1f17",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/5063a1cb3b93ea74417608059e3286e6d57c5c55894525ffcb3cbf4e3ee374d8.zip",
    "witness-number-of-tests": 7,
    "witness-sha256": "5063a1cb3b93ea74417608059e3286e6d57c5c55894525ffcb3cbf4e3ee374d8",
    "witness-size": 235394,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08 22:55:23.665034",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "9efc640e5f0007b1d453510c05d3ce811b3cbb94652ce1971f06ec80c25b1f17",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label06.c",
    "programhash": "9efc640e5f0007b1d453510c05d3ce811b3cbb94652ce1971f06ec80c25b1f17",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/b614222c8771d7b99f012182c63abba67e497455262d6051f09f86d6c60f1624.zip",
    "witness-number-of-tests": 169,
    "witness-sha256": "b614222c8771d7b99f012182c63abba67e497455262d6051f09f86d6c60f1624",
    "witness-size": 73620,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T08:24:16Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "9efc640e5f0007b1d453510c05d3ce811b3cbb94652ce1971f06ec80c25b1f17",
    "programfile": "Problem03_label06.c.c",
    "programhash": "9efc640e5f0007b1d453510c05d3ce811b3cbb94652ce1971f06ec80c25b1f17",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/e85157a6cad45d06911bbcec93437c732a8e26351ac20d5e5ccbc938cedc298d.zip",
    "witness-number-of-tests": 95,
    "witness-sha256": "e85157a6cad45d06911bbcec93437c732a8e26351ac20d5e5ccbc938cedc298d",
    "witness-size": 161184,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T17:48:21Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "9efc640e5f0007b1d453510c05d3ce811b3cbb94652ce1971f06ec80c25b1f17",
    "programfile": "Problem03_label06.c.c",
    "programhash": "9efc640e5f0007b1d453510c05d3ce811b3cbb94652ce1971f06ec80c25b1f17",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/eaf06ac2cd089161bfbd9a51f4330822dc295e729ff4f90f4d0786b5d11b3c4e.zip",
    "witness-number-of-tests": 20528,
    "witness-sha256": "eaf06ac2cd089161bfbd9a51f4330822dc295e729ff4f90f4d0786b5d11b3c4e",
    "witness-size": 45350198,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T07:30:33+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "9efc640e5f0007b1d453510c05d3ce811b3cbb94652ce1971f06ec80c25b1f17",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label06.c",
    "programhash": "9efc640e5f0007b1d453510c05d3ce811b3cbb94652ce1971f06ec80c25b1f17",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/a5f9f3bd9c457e493bfa10c173e47f116ab18d885b95dad04d55470b56b3d3ae.zip",
    "witness-number-of-tests": 101,
    "witness-sha256": "a5f9f3bd9c457e493bfa10c173e47f116ab18d885b95dad04d55470b56b3d3ae",
    "witness-size": 36231,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Sun Dec  8 23:01:35 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "9efc640e5f0007b1d453510c05d3ce811b3cbb94652ce1971f06ec80c25b1f17",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label06.c",
    "programhash": "9efc640e5f0007b1d453510c05d3ce811b3cbb94652ce1971f06ec80c25b1f17",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/71cbd417b216ab11376e2d3c5fddba7c00d6cd49a084f106bcd933d68ad94808.zip",
    "witness-number-of-tests": 477,
    "witness-sha256": "71cbd417b216ab11376e2d3c5fddba7c00d6cd49a084f106bcd933d68ad94808",
    "witness-size": 483663,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T08:46:13+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "9efc640e5f0007b1d453510c05d3ce811b3cbb94652ce1971f06ec80c25b1f17",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label06.c",
    "programhash": "9efc640e5f0007b1d453510c05d3ce811b3cbb94652ce1971f06ec80c25b1f17",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/5836c4de42268ce9efc267a3b76fef8d06d7bfd3a052ed60b5eca1115f247f1d.zip",
    "witness-number-of-tests": 15,
    "witness-sha256": "5836c4de42268ce9efc267a3b76fef8d06d7bfd3a052ed60b5eca1115f247f1d",
    "witness-size": 6040,
    "witness-type": "test-suite"
  }
]