[
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 04:49:59 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "4727091afb85f800c5e329975894ec7c396f5f5cd34fccc5c9d1011ac6ec8d8a",
    "programfile": "../../sv-benchmarks/c/loop-acceleration/diamond_2-2.c",
    "programhash": "4727091afb85f800c5e329975894ec7c396f5f5cd34fccc5c9d1011ac6ec8d8a",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/f43463302b7be2e895e4b2660996302b5bd6b4b495dbd51d7dad4cf04c9fe41a.zip",
    "witness-number-of-tests": 7,
    "witness-sha256": "f43463302b7be2e895e4b2660996302b5bd6b4b495dbd51d7dad4cf04c9fe41a",
    "witness-size": 12314,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 05:36:49.997591",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "4727091afb85f800c5e329975894ec7c396f5f5cd34fccc5c9d1011ac6ec8d8a",
    "programfile": "../../sv-benchmarks/c/loop-acceleration/diamond_2-2.c",
    "programhash": "4727091afb85f800c5e329975894ec7c396f5f5cd34fccc5c9d1011ac6ec8d8a",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/3c0a014f1d95e203f3c552c244f0fe10042fb8d98a79338cfe44a72b46c07106.zip",
    "witness-number-of-tests": 777,
    "witness-sha256": "3c0a014f1d95e203f3c552c244f0fe10042fb8d98a79338cfe44a72b46c07106",
    "witness-size": 340625,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T08:18:46Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "4727091afb85f800c5e329975894ec7c396f5f5cd34fccc5c9d1011ac6ec8d8a",
    "programfile": "diamond_2-2.c.c",
    "programhash": "4727091afb85f800c5e329975894ec7c396f5f5cd34fccc5c9d1011ac6ec8d8a",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/b13d961c6c2d8cf611a767c19ffef8b55217eb66db0bd8b461a814891207cdc4.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "b13d961c6c2d8cf611a767c19ffef8b55217eb66db0bd8b461a814891207cdc4",
    "witness-size": 4551,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T13:59:16Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "4727091afb85f800c5e329975894ec7c396f5f5cd34fccc5c9d1011ac6ec8d8a",
    "programfile": "diamond_2-2.c.c",
    "programhash": "4727091afb85f800c5e329975894ec7c396f5f5cd34fccc5c9d1011ac6ec8d8a",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/9afc548934476721e81b0ba42b0b7c5121291ea627fc206e4b75ef8a753f0811.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "9afc548934476721e81b0ba42b0b7c5121291ea627fc206e4b75ef8a753f0811",
    "witness-size": 19052,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:51:20",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "4727091afb85f800c5e329975894ec7c396f5f5cd34fccc5c9d1011ac6ec8d8a",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_f0f98682-5727-4c96-b257-4ee1b8cbf212/sv-benchmarks/c/loop-acceleration/diamond_2-2.c",
    "programhash": "4727091afb85f800c5e329975894ec7c396f5f5cd34fccc5c9d1011ac6ec8d8a",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/acecda945ad3d502c1a3db16ac828cc921e77f009f2ca242bf10bd51f7ccc8ff.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "acecda945ad3d502c1a3db16ac828cc921e77f009f2ca242bf10bd51f7ccc8ff",
    "witness-size": 8312,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T11:22:28+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "4727091afb85f800c5e329975894ec7c396f5f5cd34fccc5c9d1011ac6ec8d8a",
    "programfile": "../../sv-benchmarks/c/loop-acceleration/diamond_2-2.c",
    "programhash": "4727091afb85f800c5e329975894ec7c396f5f5cd34fccc5c9d1011ac6ec8d8a",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/8e3171c5fe4dca127ffcf5bc97525505430bb9bcadcccdff0f5d816dfe036015.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "8e3171c5fe4dca127ffcf5bc97525505430bb9bcadcccdff0f5d816dfe036015",
    "witness-size": 1342,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T05:17:03+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "4727091afb85f800c5e329975894ec7c396f5f5cd34fccc5c9d1011ac6ec8d8a",
    "programfile": "../../sv-benchmarks/c/loop-acceleration/diamond_2-2.c",
    "programhash": "4727091afb85f800c5e329975894ec7c396f5f5cd34fccc5c9d1011ac6ec8d8a",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/1bd0cfd4acdb99ad8c0ac27b0d6768285c1f035c926f08b98552cbd80566a0ee.zip",
    "witness-number-of-tests": 22,
    "witness-sha256": "1bd0cfd4acdb99ad8c0ac27b0d6768285c1f035c926f08b98552cbd80566a0ee",
    "witness-size": 8197,
    "witness-type": "test-suite"
  }
]