[
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:33:01",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "114c33e0b7ffaf927166e8deca1f09c07e8a515c859bcb61df7994c42535928d",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_2a543f1b-d2cf-4a47-826e-3026dd9468ce/sv-benchmarks/c/array-examples/standard_copy4_ground-1.i",
    "programhash": "114c33e0b7ffaf927166e8deca1f09c07e8a515c859bcb61df7994c42535928d",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/e8775d095d8cef2ce76f0034b53b6c2f90beb4868ab99a615f459071621f670c.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "e8775d095d8cef2ce76f0034b53b6c2f90beb4868ab99a615f459071621f670c",
    "witness-size": 11061,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T08:40:30+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "114c33e0b7ffaf927166e8deca1f09c07e8a515c859bcb61df7994c42535928d",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copy4_ground-1.i",
    "programhash": "114c33e0b7ffaf927166e8deca1f09c07e8a515c859bcb61df7994c42535928d",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/13f44478e09a2d51330d56e5f75b01a27cbf5c999c1c97d3c60e929237541ab1.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "13f44478e09a2d51330d56e5f75b01a27cbf5c999c1c97d3c60e929237541ab1",
    "witness-size": 987,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 00:12:51 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "114c33e0b7ffaf927166e8deca1f09c07e8a515c859bcb61df7994c42535928d",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copy4_ground-1.i",
    "programhash": "114c33e0b7ffaf927166e8deca1f09c07e8a515c859bcb61df7994c42535928d",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/888102284f6d8f5d761e4699db55ef7ee34e36de99813466a79b4cc070badf58.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "888102284f6d8f5d761e4699db55ef7ee34e36de99813466a79b4cc070badf58",
    "witness-size": 29623,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 07:12:22.279803",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "114c33e0b7ffaf927166e8deca1f09c07e8a515c859bcb61df7994c42535928d",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copy4_ground-1.i",
    "programhash": "114c33e0b7ffaf927166e8deca1f09c07e8a515c859bcb61df7994c42535928d",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/e0a682741dbcd819affd5cc9934141bcc5265b83afae47ed7ae6a30b808aa9db.zip",
    "witness-number-of-tests": 63,
    "witness-sha256": "e0a682741dbcd819affd5cc9934141bcc5265b83afae47ed7ae6a30b808aa9db",
    "witness-size": 604120,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T17:54:33Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "114c33e0b7ffaf927166e8deca1f09c07e8a515c859bcb61df7994c42535928d",
    "programfile": "standard_copy4_ground-1.i.c",
    "programhash": "114c33e0b7ffaf927166e8deca1f09c07e8a515c859bcb61df7994c42535928d",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/4c48d211db6ecf1651d344e3c27389a8e100ddaa5c0e94d4fb0f82c6585c4751.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "4c48d211db6ecf1651d344e3c27389a8e100ddaa5c0e94d4fb0f82c6585c4751",
    "witness-size": 43517,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:58:17Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "114c33e0b7ffaf927166e8deca1f09c07e8a515c859bcb61df7994c42535928d",
    "programfile": "standard_copy4_ground-1.i.c",
    "programhash": "114c33e0b7ffaf927166e8deca1f09c07e8a515c859bcb61df7994c42535928d",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/b83992b742306ac5c40eb919f1700ba1b5d8882f5564edbba5f85a9dd25ba82b.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "b83992b742306ac5c40eb919f1700ba1b5d8882f5564edbba5f85a9dd25ba82b",
    "witness-size": 16698,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T11:17:53+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "114c33e0b7ffaf927166e8deca1f09c07e8a515c859bcb61df7994c42535928d",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copy4_ground-1.i",
    "programhash": "114c33e0b7ffaf927166e8deca1f09c07e8a515c859bcb61df7994c42535928d",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/9483e2a5975526c9220d9226706d3566f7c105a9395855abdf602cd2ef6e565a.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "9483e2a5975526c9220d9226706d3566f7c105a9395855abdf602cd2ef6e565a",
    "witness-size": 975,
    "witness-type": "test-suite"
  }
]