[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 08:14:17.685399",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "96ab87c19ca1afcd78c6a05adefeca7820c959eb749850595a50db7fc894b91f",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copy8_ground-1.i",
    "programhash": "96ab87c19ca1afcd78c6a05adefeca7820c959eb749850595a50db7fc894b91f",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/51b6bb7669e9d32e85421349592500c20d098f31acca1c9a046817dcb3c0adde.zip",
    "witness-number-of-tests": 51,
    "witness-sha256": "51b6bb7669e9d32e85421349592500c20d098f31acca1c9a046817dcb3c0adde",
    "witness-size": 488232,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Sun Dec  8 22:11:09 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "96ab87c19ca1afcd78c6a05adefeca7820c959eb749850595a50db7fc894b91f",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copy8_ground-1.i",
    "programhash": "96ab87c19ca1afcd78c6a05adefeca7820c959eb749850595a50db7fc894b91f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/25f2ce1b63bc0e69f648de982f52221d928424039fccbf8c76fb7cb406cfe8b7.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "25f2ce1b63bc0e69f648de982f52221d928424039fccbf8c76fb7cb406cfe8b7",
    "witness-size": 30987,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T09:25:40Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "96ab87c19ca1afcd78c6a05adefeca7820c959eb749850595a50db7fc894b91f",
    "programfile": "standard_copy8_ground-1.i.c",
    "programhash": "96ab87c19ca1afcd78c6a05adefeca7820c959eb749850595a50db7fc894b91f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/6cde50d01badfeb6644d1dd02af5ce736bcaf8f37b96fbc8cbc075bdbe4aee91.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "6cde50d01badfeb6644d1dd02af5ce736bcaf8f37b96fbc8cbc075bdbe4aee91",
    "witness-size": 16756,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:36:56",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "96ab87c19ca1afcd78c6a05adefeca7820c959eb749850595a50db7fc894b91f",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_89731496-9114-473e-98db-440bc098faa3/sv-benchmarks/c/array-examples/standard_copy8_ground-1.i",
    "programhash": "96ab87c19ca1afcd78c6a05adefeca7820c959eb749850595a50db7fc894b91f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/a3c29aae735474c1ae65b305da70e4f318db95209d456aea104e736279b30f60.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "a3c29aae735474c1ae65b305da70e4f318db95209d456aea104e736279b30f60",
    "witness-size": 12736,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T11:05:43+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "96ab87c19ca1afcd78c6a05adefeca7820c959eb749850595a50db7fc894b91f",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copy8_ground-1.i",
    "programhash": "96ab87c19ca1afcd78c6a05adefeca7820c959eb749850595a50db7fc894b91f",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/cb7d871e116715735a4cd50f3ad53b66791e5969aae82692bc6949e6d722d4e9.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "cb7d871e116715735a4cd50f3ad53b66791e5969aae82692bc6949e6d722d4e9",
    "witness-size": 974,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T14:34:36Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "96ab87c19ca1afcd78c6a05adefeca7820c959eb749850595a50db7fc894b91f",
    "programfile": "standard_copy8_ground-1.i.c",
    "programhash": "96ab87c19ca1afcd78c6a05adefeca7820c959eb749850595a50db7fc894b91f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/9579d8b2aceffe0447a5f3761d94242f7a1814882f531425bf7e4293e5866c06.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "9579d8b2aceffe0447a5f3761d94242f7a1814882f531425bf7e4293e5866c06",
    "witness-size": 44614,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:33:14+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "96ab87c19ca1afcd78c6a05adefeca7820c959eb749850595a50db7fc894b91f",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copy8_ground-1.i",
    "programhash": "96ab87c19ca1afcd78c6a05adefeca7820c959eb749850595a50db7fc894b91f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/409cfbf9be4ee46bcf830c3a05ff3ec992c029bee2208dd1fc811377c672c6eb.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "409cfbf9be4ee46bcf830c3a05ff3ec992c029bee2208dd1fc811377c672c6eb",
    "witness-size": 986,
    "witness-type": "test-suite"
  }
]