[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T02:44:26Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "e338700e5f610a674a6bda04c2f665d2c0bee5e5b22c6f48c7a3675cbefa5017",
    "programfile": "nr3.c.c",
    "programhash": "e338700e5f610a674a6bda04c2f665d2c0bee5e5b22c6f48c7a3675cbefa5017",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/ded3801692076ca19115230cd51a07493eb4be1305c8dac949478ebb4462988c.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "ded3801692076ca19115230cd51a07493eb4be1305c8dac949478ebb4462988c",
    "witness-size": 4960,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T08:27:52+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "e338700e5f610a674a6bda04c2f665d2c0bee5e5b22c6f48c7a3675cbefa5017",
    "programfile": "../../sv-benchmarks/c/array-tiling/nr3.c",
    "programhash": "e338700e5f610a674a6bda04c2f665d2c0bee5e5b22c6f48c7a3675cbefa5017",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/e260e735ecf03b05e80dcdcb6b66437055b232518a5557abaafb7263342c4ebd.zip",
    "witness-number-of-tests": 11,
    "witness-sha256": "e260e735ecf03b05e80dcdcb6b66437055b232518a5557abaafb7263342c4ebd",
    "witness-size": 4421,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 09:06:12.236715",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "e338700e5f610a674a6bda04c2f665d2c0bee5e5b22c6f48c7a3675cbefa5017",
    "programfile": "../../sv-benchmarks/c/array-tiling/nr3.c",
    "programhash": "e338700e5f610a674a6bda04c2f665d2c0bee5e5b22c6f48c7a3675cbefa5017",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/cd86793b21078ad78f31754f03ace329c8a723749ea507177aff9bc1739f0baa.zip",
    "witness-number-of-tests": 1064,
    "witness-sha256": "cd86793b21078ad78f31754f03ace329c8a723749ea507177aff9bc1739f0baa",
    "witness-size": 446744,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 08:12:18 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "e338700e5f610a674a6bda04c2f665d2c0bee5e5b22c6f48c7a3675cbefa5017",
    "programfile": "../../sv-benchmarks/c/array-tiling/nr3.c",
    "programhash": "e338700e5f610a674a6bda04c2f665d2c0bee5e5b22c6f48c7a3675cbefa5017",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/cc3714140f7b68940e794919d99932b5b43422993e22e5198a2a44b0acb0b026.zip",
    "witness-number-of-tests": 7,
    "witness-sha256": "cc3714140f7b68940e794919d99932b5b43422993e22e5198a2a44b0acb0b026",
    "witness-size": 12469,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T03:51:40+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "e338700e5f610a674a6bda04c2f665d2c0bee5e5b22c6f48c7a3675cbefa5017",
    "programfile": "../../sv-benchmarks/c/array-tiling/nr3.c",
    "programhash": "e338700e5f610a674a6bda04c2f665d2c0bee5e5b22c6f48c7a3675cbefa5017",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/84175f2b0d939c3ca5f86b566310b07c21420966820391574995eb574145df4d.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "84175f2b0d939c3ca5f86b566310b07c21420966820391574995eb574145df4d",
    "witness-size": 1729,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:26:16",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "e338700e5f610a674a6bda04c2f665d2c0bee5e5b22c6f48c7a3675cbefa5017",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_11e68cda-d208-4ec1-ae1b-2a46202a2f96/sv-benchmarks/c/array-tiling/nr3.c",
    "programhash": "e338700e5f610a674a6bda04c2f665d2c0bee5e5b22c6f48c7a3675cbefa5017",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/187dce0ea64437338557576968ba4f63a58738ef6d42fc4df3fd21790beb8b12.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "187dce0ea64437338557576968ba4f63a58738ef6d42fc4df3fd21790beb8b12",
    "witness-size": 8786,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T16:10:43Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "e338700e5f610a674a6bda04c2f665d2c0bee5e5b22c6f48c7a3675cbefa5017",
    "programfile": "nr3.c.c",
    "programhash": "e338700e5f610a674a6bda04c2f665d2c0bee5e5b22c6f48c7a3675cbefa5017",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/f926decd724245e33a44a304a5e0810c247e2b479e268a22ed1d5efa25b401cf.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "f926decd724245e33a44a304a5e0810c247e2b479e268a22ed1d5efa25b401cf",
    "witness-size": 19676,
    "witness-type": "test-suite"
  }
]