[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 09:59:16.744253",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "c6a19ecaef15a75040b8f4e50da40a14586b9f850455e15a870fa5b2facf6916",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label00.c",
    "programhash": "c6a19ecaef15a75040b8f4e50da40a14586b9f850455e15a870fa5b2facf6916",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/552885c5c6907042aa07d060e195d9953a224023e7650e14517c50784829c972.zip",
    "witness-number-of-tests": 162,
    "witness-sha256": "552885c5c6907042aa07d060e195d9953a224023e7650e14517c50784829c972",
    "witness-size": 70255,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T21:50:28+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "c6a19ecaef15a75040b8f4e50da40a14586b9f850455e15a870fa5b2facf6916",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label00.c",
    "programhash": "c6a19ecaef15a75040b8f4e50da40a14586b9f850455e15a870fa5b2facf6916",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/abb2231016e9396e882de12c4aa498f6bd152e8fd75b536b7fc777eb14b084b6.zip",
    "witness-number-of-tests": 15,
    "witness-sha256": "abb2231016e9396e882de12c4aa498f6bd152e8fd75b536b7fc777eb14b084b6",
    "witness-size": 6039,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:40:24",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "c6a19ecaef15a75040b8f4e50da40a14586b9f850455e15a870fa5b2facf6916",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_7b5f9401-c19d-4609-940a-27d5adf5794e/sv-benchmarks/c/eca-rers2012/Problem03_label00.c",
    "programhash": "c6a19ecaef15a75040b8f4e50da40a14586b9f850455e15a870fa5b2facf6916",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/d6c94d1d4e0c34b44ed244359d5b7d0803f095df86ead8de50c2b61df80ccc00.zip",
    "witness-number-of-tests": 7,
    "witness-sha256": "d6c94d1d4e0c34b44ed244359d5b7d0803f095df86ead8de50c2b61df80ccc00",
    "witness-size": 235338,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T14:31:08Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "c6a19ecaef15a75040b8f4e50da40a14586b9f850455e15a870fa5b2facf6916",
    "programfile": "Problem03_label00.c.c",
    "programhash": "c6a19ecaef15a75040b8f4e50da40a14586b9f850455e15a870fa5b2facf6916",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/9f5b7be40ce3378dfbdeb46e170207731a2b42a80eea7d667af2249feb6dc22f.zip",
    "witness-number-of-tests": 20481,
    "witness-sha256": "9f5b7be40ce3378dfbdeb46e170207731a2b42a80eea7d667af2249feb6dc22f",
    "witness-size": 45243647,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 01:39:03 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "c6a19ecaef15a75040b8f4e50da40a14586b9f850455e15a870fa5b2facf6916",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label00.c",
    "programhash": "c6a19ecaef15a75040b8f4e50da40a14586b9f850455e15a870fa5b2facf6916",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/fa31d1112c018a5a945fc3c8a32c7794cf8802409c043431a93dc0df613f07c5.zip",
    "witness-number-of-tests": 477,
    "witness-sha256": "fa31d1112c018a5a945fc3c8a32c7794cf8802409c043431a93dc0df613f07c5",
    "witness-size": 484206,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T08:48:18+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "c6a19ecaef15a75040b8f4e50da40a14586b9f850455e15a870fa5b2facf6916",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label00.c",
    "programhash": "c6a19ecaef15a75040b8f4e50da40a14586b9f850455e15a870fa5b2facf6916",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/0d55a2acbcf19f1a8b5bae3db7d0f4304fcbdcf079814ec790b6e9330439e55e.zip",
    "witness-number-of-tests": 101,
    "witness-sha256": "0d55a2acbcf19f1a8b5bae3db7d0f4304fcbdcf079814ec790b6e9330439e55e",
    "witness-size": 36231,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T10:19:01Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "c6a19ecaef15a75040b8f4e50da40a14586b9f850455e15a870fa5b2facf6916",
    "programfile": "Problem03_label00.c.c",
    "programhash": "c6a19ecaef15a75040b8f4e50da40a14586b9f850455e15a870fa5b2facf6916",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/3b89c2a8b48bbd34594e66521f377c351386dd374a685a8b9fd58ba325174ba8.zip",
    "witness-number-of-tests": 99,
    "witness-sha256": "3b89c2a8b48bbd34594e66521f377c351386dd374a685a8b9fd58ba325174ba8",
    "witness-size": 162819,
    "witness-type": "test-suite"
  }
]