[
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 05:18:56 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "4699fd7caa3697e62f9605988d06c4a45244da6b64e02b8f45c89b3b39e20710",
    "programfile": "../../sv-benchmarks/c/loop-invgen/down.i",
    "programhash": "4699fd7caa3697e62f9605988d06c4a45244da6b64e02b8f45c89b3b39e20710",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/6bc0ffdbdae4825fa4a3e6d0138b09340363911fed60a44962fec8c6377b7d83.zip",
    "witness-number-of-tests": 13,
    "witness-sha256": "6bc0ffdbdae4825fa4a3e6d0138b09340363911fed60a44962fec8c6377b7d83",
    "witness-size": 13484,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:49:06",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "4699fd7caa3697e62f9605988d06c4a45244da6b64e02b8f45c89b3b39e20710",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_a602e2f7-5e05-4742-bcb4-d2bf6dcb27c8/sv-benchmarks/c/loop-invgen/down.i",
    "programhash": "4699fd7caa3697e62f9605988d06c4a45244da6b64e02b8f45c89b3b39e20710",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/f04f427b03d7e1ecbb97e1c704a421e4738d59a77275a01cd70ffe25d6ebd5fd.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "f04f427b03d7e1ecbb97e1c704a421e4738d59a77275a01cd70ffe25d6ebd5fd",
    "witness-size": 6526,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 01:12:11.603687",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "4699fd7caa3697e62f9605988d06c4a45244da6b64e02b8f45c89b3b39e20710",
    "programfile": "../../sv-benchmarks/c/loop-invgen/down.i",
    "programhash": "4699fd7caa3697e62f9605988d06c4a45244da6b64e02b8f45c89b3b39e20710",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/8e1890207863c1076b20532035a208beb4cf2b45163c41cc21269086063f7cef.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "8e1890207863c1076b20532035a208beb4cf2b45163c41cc21269086063f7cef",
    "witness-size": 4516,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T03:18:52+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "4699fd7caa3697e62f9605988d06c4a45244da6b64e02b8f45c89b3b39e20710",
    "programfile": "../../sv-benchmarks/c/loop-invgen/down.i",
    "programhash": "4699fd7caa3697e62f9605988d06c4a45244da6b64e02b8f45c89b3b39e20710",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/0fffccca07bef8f2723e651c8defc56ce68e20ecb5776690e93b7db984d3523e.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "0fffccca07bef8f2723e651c8defc56ce68e20ecb5776690e93b7db984d3523e",
    "witness-size": 978,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T14:51:18Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "4699fd7caa3697e62f9605988d06c4a45244da6b64e02b8f45c89b3b39e20710",
    "programfile": "down.i.c",
    "programhash": "4699fd7caa3697e62f9605988d06c4a45244da6b64e02b8f45c89b3b39e20710",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/f516f5405f099c3f69eccf39ae964eee3f343713f4af31598c736ad22a38376d.zip",
    "witness-number-of-tests": 303,
    "witness-sha256": "f516f5405f099c3f69eccf39ae964eee3f343713f4af31598c736ad22a38376d",
    "witness-size": 162306,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T03:00:20+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "4699fd7caa3697e62f9605988d06c4a45244da6b64e02b8f45c89b3b39e20710",
    "programfile": "../../sv-benchmarks/c/loop-invgen/down.i",
    "programhash": "4699fd7caa3697e62f9605988d06c4a45244da6b64e02b8f45c89b3b39e20710",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/d4fcb5262b4c466947b2ff1bd7b91b0ef79664a73fc8e12a57f899d61b020f8a.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "d4fcb5262b4c466947b2ff1bd7b91b0ef79664a73fc8e12a57f899d61b020f8a",
    "witness-size": 2351,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T01:31:19Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "4699fd7caa3697e62f9605988d06c4a45244da6b64e02b8f45c89b3b39e20710",
    "programfile": "down.i.c",
    "programhash": "4699fd7caa3697e62f9605988d06c4a45244da6b64e02b8f45c89b3b39e20710",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/40a35d0e84d5eb66bd230e6665977b8bed395cff1dfa62e87f6476083844cf2b.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "40a35d0e84d5eb66bd230e6665977b8bed395cff1dfa62e87f6476083844cf2b",
    "witness-size": 83717,
    "witness-type": "test-suite"
  }
]