[
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 09:37:38",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "5de1cad7fb7928284be465384789684beb6f749f3e4ad381fd5d5fbf3ad5c560",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_73b3b354-3553-43f4-965f-d8e6ea5b522f/sv-benchmarks/c/array-examples/standard_copy1_ground-1.i",
    "programhash": "5de1cad7fb7928284be465384789684beb6f749f3e4ad381fd5d5fbf3ad5c560",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/6b87ac7c008093dec7f224cda42811a3ce8b8dfed271b1a558f5a92e0c4c2c7d.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "6b87ac7c008093dec7f224cda42811a3ce8b8dfed271b1a558f5a92e0c4c2c7d",
    "witness-size": 9743,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T21:43:09+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "5de1cad7fb7928284be465384789684beb6f749f3e4ad381fd5d5fbf3ad5c560",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copy1_ground-1.i",
    "programhash": "5de1cad7fb7928284be465384789684beb6f749f3e4ad381fd5d5fbf3ad5c560",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/793dbe5fc9043abd88fdc8c04861a0fdf1cb55ac56890b42bb858b4e668e6b4d.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "793dbe5fc9043abd88fdc8c04861a0fdf1cb55ac56890b42bb858b4e668e6b4d",
    "witness-size": 974,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08 23:31:49.377689",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "5de1cad7fb7928284be465384789684beb6f749f3e4ad381fd5d5fbf3ad5c560",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copy1_ground-1.i",
    "programhash": "5de1cad7fb7928284be465384789684beb6f749f3e4ad381fd5d5fbf3ad5c560",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/2029f56a74021cb82916e298b144db7dad48505b9719afb2758e7543b2e50229.zip",
    "witness-number-of-tests": 78,
    "witness-sha256": "2029f56a74021cb82916e298b144db7dad48505b9719afb2758e7543b2e50229",
    "witness-size": 749319,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 04:00:14 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "5de1cad7fb7928284be465384789684beb6f749f3e4ad381fd5d5fbf3ad5c560",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copy1_ground-1.i",
    "programhash": "5de1cad7fb7928284be465384789684beb6f749f3e4ad381fd5d5fbf3ad5c560",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/05b765636c527d5d378c0598df94ddabdd78b40d6b2637b26798721138926309.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "05b765636c527d5d378c0598df94ddabdd78b40d6b2637b26798721138926309",
    "witness-size": 28319,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T02:02:38Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "5de1cad7fb7928284be465384789684beb6f749f3e4ad381fd5d5fbf3ad5c560",
    "programfile": "standard_copy1_ground-1.i.c",
    "programhash": "5de1cad7fb7928284be465384789684beb6f749f3e4ad381fd5d5fbf3ad5c560",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/77bebcb0ddd7bf2f66e17d72b4ef3a00076d13cad467c93680f72727ed2b51d8.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "77bebcb0ddd7bf2f66e17d72b4ef3a00076d13cad467c93680f72727ed2b51d8",
    "witness-size": 16557,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T19:39:09Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "5de1cad7fb7928284be465384789684beb6f749f3e4ad381fd5d5fbf3ad5c560",
    "programfile": "standard_copy1_ground-1.i.c",
    "programhash": "5de1cad7fb7928284be465384789684beb6f749f3e4ad381fd5d5fbf3ad5c560",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/3119ac3abcba824cbcdd589e2f1f3b072eab0f24f7ebce0954acfa02748cf8dc.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "3119ac3abcba824cbcdd589e2f1f3b072eab0f24f7ebce0954acfa02748cf8dc",
    "witness-size": 42794,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:27:28+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "5de1cad7fb7928284be465384789684beb6f749f3e4ad381fd5d5fbf3ad5c560",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copy1_ground-1.i",
    "programhash": "5de1cad7fb7928284be465384789684beb6f749f3e4ad381fd5d5fbf3ad5c560",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/f2955531c13d74619ca815171fdefd7fb0738147fddc55635cc5932e721c3c4b.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "f2955531c13d74619ca815171fdefd7fb0738147fddc55635cc5932e721c3c4b",
    "witness-size": 986,
    "witness-type": "test-suite"
  }
]