[
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T03:48:24+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "1bc2007230a4fe726f30229165ba643028479819bea568fdf1c93825ab31d0c6",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copy6_ground-1.i",
    "programhash": "1bc2007230a4fe726f30229165ba643028479819bea568fdf1c93825ab31d0c6",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/6aab59448abbed52bb44251eb9e52080bdfe5c09e5bebf728b782c90ffcc6ce0.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "6aab59448abbed52bb44251eb9e52080bdfe5c09e5bebf728b782c90ffcc6ce0",
    "witness-size": 673,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T00:47:50Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "1bc2007230a4fe726f30229165ba643028479819bea568fdf1c93825ab31d0c6",
    "programfile": "standard_copy6_ground-1.i.c",
    "programhash": "1bc2007230a4fe726f30229165ba643028479819bea568fdf1c93825ab31d0c6",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/1cbf8c8248d2d1fc77fb8da8f54dc95a9399f6905d1c7d0d85595ba1253dcf4a.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "1cbf8c8248d2d1fc77fb8da8f54dc95a9399f6905d1c7d0d85595ba1253dcf4a",
    "witness-size": 100029,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-05T23:59:10Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "1bc2007230a4fe726f30229165ba643028479819bea568fdf1c93825ab31d0c6",
    "programfile": "standard_copy6_ground-1.i.c",
    "programhash": "1bc2007230a4fe726f30229165ba643028479819bea568fdf1c93825ab31d0c6",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/74bcf1d8fe861e51d812d5ae0c77eb9ab0e6fe1c6c330d75c2abd713d7cc9d74.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "74bcf1d8fe861e51d812d5ae0c77eb9ab0e6fe1c6c330d75c2abd713d7cc9d74",
    "witness-size": 542153,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T00:47:50Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "1bc2007230a4fe726f30229165ba643028479819bea568fdf1c93825ab31d0c6",
    "programfile": "standard_copy6_ground-1.i.c",
    "programhash": "1bc2007230a4fe726f30229165ba643028479819bea568fdf1c93825ab31d0c6",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/e5639f8c0dbd95c2f6de42b1f34d2aa9ec1ff20ef735be9d2bb460c7673a8f16.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "e5639f8c0dbd95c2f6de42b1f34d2aa9ec1ff20ef735be9d2bb460c7673a8f16",
    "witness-size": 542129,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T14:55 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "1bc2007230a4fe726f30229165ba643028479819bea568fdf1c93825ab31d0c6",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_b6bdb312-fc11-48c2-aa12-36b8d9d65994/sv-benchmarks/c/array-examples/standard_copy6_ground-1.i",
    "programhash": "1bc2007230a4fe726f30229165ba643028479819bea568fdf1c93825ab31d0c6",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/fdb992f6a6328a81033db6cf9210ac221f05a43a4ddeceabfb8c0c0953f9bc00.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "fdb992f6a6328a81033db6cf9210ac221f05a43a4ddeceabfb8c0c0953f9bc00",
    "witness-size": 524132,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T14:55 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "1bc2007230a4fe726f30229165ba643028479819bea568fdf1c93825ab31d0c6",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_e82873b2-f506-4be3-a721-6ed74c343bfa/sv-benchmarks/c/array-examples/standard_copy6_ground-1.i",
    "programhash": "1bc2007230a4fe726f30229165ba643028479819bea568fdf1c93825ab31d0c6",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/c4caea7c5e88ab25627cd2c4b8c01b57e3fc28cc593ae8d5c64e64f0006dd52a.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "c4caea7c5e88ab25627cd2c4b8c01b57e3fc28cc593ae8d5c64e64f0006dd52a",
    "witness-size": 524133,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-05T23:59:10Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "1bc2007230a4fe726f30229165ba643028479819bea568fdf1c93825ab31d0c6",
    "programfile": "standard_copy6_ground-1.i.c",
    "programhash": "1bc2007230a4fe726f30229165ba643028479819bea568fdf1c93825ab31d0c6",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/b043c01e9d435d492ba53b74c4d14a4df168ce89f46820bdca18b2da35fec977.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "b043c01e9d435d492ba53b74c4d14a4df168ce89f46820bdca18b2da35fec977",
    "witness-size": 31616,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T23:08:11+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "1bc2007230a4fe726f30229165ba643028479819bea568fdf1c93825ab31d0c6",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copy6_ground-1.i",
    "programhash": "1bc2007230a4fe726f30229165ba643028479819bea568fdf1c93825ab31d0c6",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/5ba501858a0332bf7895480ffb472c746c0215633cefeb09cefe81b2b57d2fa5.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "5ba501858a0332bf7895480ffb472c746c0215633cefeb09cefe81b2b57d2fa5",
    "witness-size": 1016,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T21:47:43+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "1bc2007230a4fe726f30229165ba643028479819bea568fdf1c93825ab31d0c6",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copy6_ground-1.i",
    "programhash": "1bc2007230a4fe726f30229165ba643028479819bea568fdf1c93825ab31d0c6",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/ffe6969e6e6c8bdcd86902d224e40f6c807eb0b3163bd8efba6d9c9821048024.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "ffe6969e6e6c8bdcd86902d224e40f6c807eb0b3163bd8efba6d9c9821048024",
    "witness-size": 980,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T13:24 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "1bc2007230a4fe726f30229165ba643028479819bea568fdf1c93825ab31d0c6",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_e82873b2-f506-4be3-a721-6ed74c343bfa/sv-benchmarks/c/array-examples/standard_copy6_ground-1.i",
    "programhash": "1bc2007230a4fe726f30229165ba643028479819bea568fdf1c93825ab31d0c6",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/a9d4594c7b35e762215dca5b085268b33c335bda1d83d26feb9d4d23f8b87c6e.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "a9d4594c7b35e762215dca5b085268b33c335bda1d83d26feb9d4d23f8b87c6e",
    "witness-size": 9208,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T13:53 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "1bc2007230a4fe726f30229165ba643028479819bea568fdf1c93825ab31d0c6",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_b6bdb312-fc11-48c2-aa12-36b8d9d65994/sv-benchmarks/c/array-examples/standard_copy6_ground-1.i",
    "programhash": "1bc2007230a4fe726f30229165ba643028479819bea568fdf1c93825ab31d0c6",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/902ee0b3025c601a024d6afd330ffd22fd3bbb68f93d7d1fbb5b3811a93c6b0c.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "902ee0b3025c601a024d6afd330ffd22fd3bbb68f93d7d1fbb5b3811a93c6b0c",
    "witness-size": 9207,
    "witness-type": "test-suite"
  }
]