[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T02:29:22+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "583bcc47299b06a49304499c6093f5072c4b4af945837db44d9cdca08b7ba6ac",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem04_label10.c",
    "programhash": "583bcc47299b06a49304499c6093f5072c4b4af945837db44d9cdca08b7ba6ac",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/4a8754e0703420b2c671e52f3c26a7385daefa7f6084e55afa32be0f8a049394.zip",
    "witness-number-of-tests": 30,
    "witness-sha256": "4a8754e0703420b2c671e52f3c26a7385daefa7f6084e55afa32be0f8a049394",
    "witness-size": 11576,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:44:16",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "583bcc47299b06a49304499c6093f5072c4b4af945837db44d9cdca08b7ba6ac",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_46682427-38fa-427e-93db-c1db26c51871/sv-benchmarks/c/eca-rers2012/Problem04_label10.c",
    "programhash": "583bcc47299b06a49304499c6093f5072c4b4af945837db44d9cdca08b7ba6ac",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/e88a9e57c712bbbdf80a36544b47e06e42306526f22dbea94491d59ee80cba01.zip",
    "witness-number-of-tests": 7,
    "witness-sha256": "e88a9e57c712bbbdf80a36544b47e06e42306526f22dbea94491d59ee80cba01",
    "witness-size": 675512,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T07:07:38+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "583bcc47299b06a49304499c6093f5072c4b4af945837db44d9cdca08b7ba6ac",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem04_label10.c",
    "programhash": "583bcc47299b06a49304499c6093f5072c4b4af945837db44d9cdca08b7ba6ac",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/402a8c02b9a7d63d83bd37aeb3e26f8e30db11b6d6c6f3cb6f04bb5c8d902e56.zip",
    "witness-number-of-tests": 133,
    "witness-sha256": "402a8c02b9a7d63d83bd37aeb3e26f8e30db11b6d6c6f3cb6f04bb5c8d902e56",
    "witness-size": 47608,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08 22:47:47.276459",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "583bcc47299b06a49304499c6093f5072c4b4af945837db44d9cdca08b7ba6ac",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem04_label10.c",
    "programhash": "583bcc47299b06a49304499c6093f5072c4b4af945837db44d9cdca08b7ba6ac",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/d1f0982013551767cffb38e9b3f33d87df14e4c185eb3599b7757e8373dc47e3.zip",
    "witness-number-of-tests": 156,
    "witness-sha256": "d1f0982013551767cffb38e9b3f33d87df14e4c185eb3599b7757e8373dc47e3",
    "witness-size": 67994,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T16:44:38Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "583bcc47299b06a49304499c6093f5072c4b4af945837db44d9cdca08b7ba6ac",
    "programfile": "Problem04_label10.c.c",
    "programhash": "583bcc47299b06a49304499c6093f5072c4b4af945837db44d9cdca08b7ba6ac",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/d8cf3b5a6cbaa71c6b7fbd5354ac94924d8aad2b9db7e0a34b4276a6ad2fe6c5.zip",
    "witness-number-of-tests": 2609,
    "witness-sha256": "d8cf3b5a6cbaa71c6b7fbd5354ac94924d8aad2b9db7e0a34b4276a6ad2fe6c5",
    "witness-size": 16911592,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 06:54:46 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "583bcc47299b06a49304499c6093f5072c4b4af945837db44d9cdca08b7ba6ac",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem04_label10.c",
    "programhash": "583bcc47299b06a49304499c6093f5072c4b4af945837db44d9cdca08b7ba6ac",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/05d7251393179c6db2cc59759be343350867825d304733c5478afb26a1d3a9a2.zip",
    "witness-number-of-tests": 2566,
    "witness-sha256": "05d7251393179c6db2cc59759be343350867825d304733c5478afb26a1d3a9a2",
    "witness-size": 2033428,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T01:37:36Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "583bcc47299b06a49304499c6093f5072c4b4af945837db44d9cdca08b7ba6ac",
    "programfile": "Problem04_label10.c.c",
    "programhash": "583bcc47299b06a49304499c6093f5072c4b4af945837db44d9cdca08b7ba6ac",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/bbb3d493bc89dc11fc4df62b99d02758d7e1502d1d79fb6ee79a43e3395bc0b4.zip",
    "witness-number-of-tests": 652,
    "witness-sha256": "bbb3d493bc89dc11fc4df62b99d02758d7e1502d1d79fb6ee79a43e3395bc0b4",
    "witness-size": 436843,
    "witness-type": "test-suite"
  }
]