[
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T05:23:14+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "e687024d65477bb6d6c9526da88576aeda66390a702f06c4fe66e26dd5ceef00",
    "programfile": "../../sv-benchmarks/c/array-tiling/mbpr5.c",
    "programhash": "e687024d65477bb6d6c9526da88576aeda66390a702f06c4fe66e26dd5ceef00",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/44c859f2ae80ffb755c98f3ddd540f40cd5e1463cd5a3547ea62cf9719c61dc0.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "44c859f2ae80ffb755c98f3ddd540f40cd5e1463cd5a3547ea62cf9719c61dc0",
    "witness-size": 2971,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T01:16:52Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "e687024d65477bb6d6c9526da88576aeda66390a702f06c4fe66e26dd5ceef00",
    "programfile": "mbpr5.c.c",
    "programhash": "e687024d65477bb6d6c9526da88576aeda66390a702f06c4fe66e26dd5ceef00",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/b20576a48e54307b3de626c2a0a3bb3ba003e4e659d42f811d88cb2ad1297c88.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "b20576a48e54307b3de626c2a0a3bb3ba003e4e659d42f811d88cb2ad1297c88",
    "witness-size": 6258,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T08:17 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "e687024d65477bb6d6c9526da88576aeda66390a702f06c4fe66e26dd5ceef00",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_9ef9d5c6-69ff-4b6c-9b34-b39e06dd9697/sv-benchmarks/c/array-tiling/mbpr5.c",
    "programhash": "e687024d65477bb6d6c9526da88576aeda66390a702f06c4fe66e26dd5ceef00",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/57357f5b55d24ac621ca814df4c3dc099c56efd2dcd1c8613b1cc33bd4b67daa.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "57357f5b55d24ac621ca814df4c3dc099c56efd2dcd1c8613b1cc33bd4b67daa",
    "witness-size": 1573,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T01:20:11+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "e687024d65477bb6d6c9526da88576aeda66390a702f06c4fe66e26dd5ceef00",
    "programfile": "../../sv-benchmarks/c/array-tiling/mbpr5.c",
    "programhash": "e687024d65477bb6d6c9526da88576aeda66390a702f06c4fe66e26dd5ceef00",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/792b67dc062cb8e6a1133e9dcf5199ad0c986c2a9c6f984915bd1dd6f2394de6.zip",
    "witness-number-of-tests": 16,
    "witness-sha256": "792b67dc062cb8e6a1133e9dcf5199ad0c986c2a9c6f984915bd1dd6f2394de6",
    "witness-size": 6167,
    "witness-type": "test-suite"
  }
]