[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:25:12+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "8b1180e3f8bddab950e0947b6e48ccd79db918d05511bc6bd48066c587d16cfd",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label03.c",
    "programhash": "8b1180e3f8bddab950e0947b6e48ccd79db918d05511bc6bd48066c587d16cfd",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/5a9374d2c6550741a641afcf3032295e55ff0b214273594953ad1812d5efce78.zip",
    "witness-number-of-tests": 101,
    "witness-sha256": "5a9374d2c6550741a641afcf3032295e55ff0b214273594953ad1812d5efce78",
    "witness-size": 36232,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T21:58:50Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "8b1180e3f8bddab950e0947b6e48ccd79db918d05511bc6bd48066c587d16cfd",
    "programfile": "Problem03_label03.c.c",
    "programhash": "8b1180e3f8bddab950e0947b6e48ccd79db918d05511bc6bd48066c587d16cfd",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/a387626cfb479ef0b11d2495261b63d3ef81c7cc6954f425e1bdb7982f86fe27.zip",
    "witness-number-of-tests": 99,
    "witness-sha256": "a387626cfb479ef0b11d2495261b63d3ef81c7cc6954f425e1bdb7982f86fe27",
    "witness-size": 162777,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 02:50:45 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "8b1180e3f8bddab950e0947b6e48ccd79db918d05511bc6bd48066c587d16cfd",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label03.c",
    "programhash": "8b1180e3f8bddab950e0947b6e48ccd79db918d05511bc6bd48066c587d16cfd",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/8f1968bd98d4b97010d00b8ba5a9342cda0892c220eb5bda90ea0948c489c909.zip",
    "witness-number-of-tests": 477,
    "witness-sha256": "8f1968bd98d4b97010d00b8ba5a9342cda0892c220eb5bda90ea0948c489c909",
    "witness-size": 483925,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 09:32:34.886277",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "8b1180e3f8bddab950e0947b6e48ccd79db918d05511bc6bd48066c587d16cfd",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label03.c",
    "programhash": "8b1180e3f8bddab950e0947b6e48ccd79db918d05511bc6bd48066c587d16cfd",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/a84615f99b1f8e412b43e6c6d78e7684e0cb9724ae9c5c6e43698d0b1d840192.zip",
    "witness-number-of-tests": 162,
    "witness-sha256": "a84615f99b1f8e412b43e6c6d78e7684e0cb9724ae9c5c6e43698d0b1d840192",
    "witness-size": 70512,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T05:16:09+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "8b1180e3f8bddab950e0947b6e48ccd79db918d05511bc6bd48066c587d16cfd",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label03.c",
    "programhash": "8b1180e3f8bddab950e0947b6e48ccd79db918d05511bc6bd48066c587d16cfd",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/023ddc206dc8c9450be798f3fdd4d21630beba6d6d2649c8c2f7b85fedd20324.zip",
    "witness-number-of-tests": 15,
    "witness-sha256": "023ddc206dc8c9450be798f3fdd4d21630beba6d6d2649c8c2f7b85fedd20324",
    "witness-size": 6040,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:50:53",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "8b1180e3f8bddab950e0947b6e48ccd79db918d05511bc6bd48066c587d16cfd",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_24833e1f-7d08-4639-9a2d-07a272989595/sv-benchmarks/c/eca-rers2012/Problem03_label03.c",
    "programhash": "8b1180e3f8bddab950e0947b6e48ccd79db918d05511bc6bd48066c587d16cfd",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/edc6ca6fbd1edfcfa855fe5023460b007024e0d3aa01b93990cc50c772e5d041.zip",
    "witness-number-of-tests": 7,
    "witness-sha256": "edc6ca6fbd1edfcfa855fe5023460b007024e0d3aa01b93990cc50c772e5d041",
    "witness-size": 235361,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T13:52:57Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "8b1180e3f8bddab950e0947b6e48ccd79db918d05511bc6bd48066c587d16cfd",
    "programfile": "Problem03_label03.c.c",
    "programhash": "8b1180e3f8bddab950e0947b6e48ccd79db918d05511bc6bd48066c587d16cfd",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/d99cd030e37cb667dcb28391864319a5b5733998df183de9475483582a21cd6a.zip",
    "witness-number-of-tests": 20520,
    "witness-sha256": "d99cd030e37cb667dcb28391864319a5b5733998df183de9475483582a21cd6a",
    "witness-size": 45332574,
    "witness-type": "test-suite"
  }
]