[
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 09:29:37",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "cb4d7665e547cd23ca97f92b2464f91bb53a1197514920a0bd48fe857522d546",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_6ecdc271-55f2-40dc-88bc-ac47977a6a56/sv-benchmarks/c/eca-rers2012/Problem03_label11.c",
    "programhash": "cb4d7665e547cd23ca97f92b2464f91bb53a1197514920a0bd48fe857522d546",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/f8836d13075770dde567677e47cb34196ca259e346ed3e638cfac0a38e01552d.zip",
    "witness-number-of-tests": 7,
    "witness-sha256": "f8836d13075770dde567677e47cb34196ca259e346ed3e638cfac0a38e01552d",
    "witness-size": 235353,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T14:43:27Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "cb4d7665e547cd23ca97f92b2464f91bb53a1197514920a0bd48fe857522d546",
    "programfile": "Problem03_label11.c.c",
    "programhash": "cb4d7665e547cd23ca97f92b2464f91bb53a1197514920a0bd48fe857522d546",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/c3b5b476aac156aa54573fa0194c42c82c5ba3939f1633055ad8bd94874fca69.zip",
    "witness-number-of-tests": 20417,
    "witness-sha256": "c3b5b476aac156aa54573fa0194c42c82c5ba3939f1633055ad8bd94874fca69",
    "witness-size": 45101203,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 10:11:30 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "cb4d7665e547cd23ca97f92b2464f91bb53a1197514920a0bd48fe857522d546",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label11.c",
    "programhash": "cb4d7665e547cd23ca97f92b2464f91bb53a1197514920a0bd48fe857522d546",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/be6a42b05c461776b386ff640f5fe978c6a4f4a354155aa12369d0dca3c1342b.zip",
    "witness-number-of-tests": 478,
    "witness-sha256": "be6a42b05c461776b386ff640f5fe978c6a4f4a354155aa12369d0dca3c1342b",
    "witness-size": 484574,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T23:51:05Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "cb4d7665e547cd23ca97f92b2464f91bb53a1197514920a0bd48fe857522d546",
    "programfile": "Problem03_label11.c.c",
    "programhash": "cb4d7665e547cd23ca97f92b2464f91bb53a1197514920a0bd48fe857522d546",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/d087e273a847acf41654f40b7e0c334bffee17a4799d1191e0ebbcff7c766de5.zip",
    "witness-number-of-tests": 99,
    "witness-sha256": "d087e273a847acf41654f40b7e0c334bffee17a4799d1191e0ebbcff7c766de5",
    "witness-size": 162342,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T09:20:26+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "cb4d7665e547cd23ca97f92b2464f91bb53a1197514920a0bd48fe857522d546",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label11.c",
    "programhash": "cb4d7665e547cd23ca97f92b2464f91bb53a1197514920a0bd48fe857522d546",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/138726bb84d78a7d7b1666d9026611d8a36680f99dab0dcf793b45160ef9f0b1.zip",
    "witness-number-of-tests": 101,
    "witness-sha256": "138726bb84d78a7d7b1666d9026611d8a36680f99dab0dcf793b45160ef9f0b1",
    "witness-size": 36233,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T23:17:01+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "cb4d7665e547cd23ca97f92b2464f91bb53a1197514920a0bd48fe857522d546",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label11.c",
    "programhash": "cb4d7665e547cd23ca97f92b2464f91bb53a1197514920a0bd48fe857522d546",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/4bb5fc5705298ed74019ba5a5495d40575be62acf63ec555b00a3a2c79704a53.zip",
    "witness-number-of-tests": 20,
    "witness-sha256": "4bb5fc5705298ed74019ba5a5495d40575be62acf63ec555b00a3a2c79704a53",
    "witness-size": 7906,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 11:00:45.041660",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "cb4d7665e547cd23ca97f92b2464f91bb53a1197514920a0bd48fe857522d546",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label11.c",
    "programhash": "cb4d7665e547cd23ca97f92b2464f91bb53a1197514920a0bd48fe857522d546",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/24ed22cfacaf81e15a5b5d700b17b69da19b4ee5ba4d33566ee64f2cda30c114.zip",
    "witness-number-of-tests": 159,
    "witness-sha256": "24ed22cfacaf81e15a5b5d700b17b69da19b4ee5ba4d33566ee64f2cda30c114",
    "witness-size": 69245,
    "witness-type": "test-suite"
  }
]