[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T18:01:03Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "a0732904bf34b8db4774c469d047de0abcd3fe8176a186e03b420fe720bed379",
    "programfile": "standard_copy3_ground-2.i.c",
    "programhash": "a0732904bf34b8db4774c469d047de0abcd3fe8176a186e03b420fe720bed379",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/33f0a32746429e9f288b5c2bd834ae2aed314069b366fc94b6ee71304551fba7.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "33f0a32746429e9f288b5c2bd834ae2aed314069b366fc94b6ee71304551fba7",
    "witness-size": 43879,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T23:56:01Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "a0732904bf34b8db4774c469d047de0abcd3fe8176a186e03b420fe720bed379",
    "programfile": "standard_copy3_ground-2.i.c",
    "programhash": "a0732904bf34b8db4774c469d047de0abcd3fe8176a186e03b420fe720bed379",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/e6d44ae91c448ce3b143fbf4d10a91b9b54a31667af3c1fa309a2a76c81c11fa.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "e6d44ae91c448ce3b143fbf4d10a91b9b54a31667af3c1fa309a2a76c81c11fa",
    "witness-size": 29749,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T00:19:39+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "a0732904bf34b8db4774c469d047de0abcd3fe8176a186e03b420fe720bed379",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copy3_ground-2.i",
    "programhash": "a0732904bf34b8db4774c469d047de0abcd3fe8176a186e03b420fe720bed379",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/0e802f645bcb010f7976b62c1bfa90e0a6f2a0e7f06aef9b83a204d603543a64.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "0e802f645bcb010f7976b62c1bfa90e0a6f2a0e7f06aef9b83a204d603543a64",
    "witness-size": 650,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T18:24:18Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "a0732904bf34b8db4774c469d047de0abcd3fe8176a186e03b420fe720bed379",
    "programfile": "standard_copy3_ground-2.i.c",
    "programhash": "a0732904bf34b8db4774c469d047de0abcd3fe8176a186e03b420fe720bed379",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/34e85a080f5a65eabe342bbfc00539c4aa49369ca81282c9b943320325ee5e6d.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "34e85a080f5a65eabe342bbfc00539c4aa49369ca81282c9b943320325ee5e6d",
    "witness-size": 34057,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 01:49:51.951919",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "a0732904bf34b8db4774c469d047de0abcd3fe8176a186e03b420fe720bed379",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copy3_ground-2.i",
    "programhash": "a0732904bf34b8db4774c469d047de0abcd3fe8176a186e03b420fe720bed379",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/6167e1ffd2764d4a27e8acbc705bdb2d06d3c7a516bcb6797c23b2d081fbe361.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "6167e1ffd2764d4a27e8acbc705bdb2d06d3c7a516bcb6797c23b2d081fbe361",
    "witness-size": 96598,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T06:54:30+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "a0732904bf34b8db4774c469d047de0abcd3fe8176a186e03b420fe720bed379",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copy3_ground-2.i",
    "programhash": "a0732904bf34b8db4774c469d047de0abcd3fe8176a186e03b420fe720bed379",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/eb7b4fe2d0e39cb22ddf0d92c77870aeaf0499a07e0fbc2c9fafe5f88633f25f.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "eb7b4fe2d0e39cb22ddf0d92c77870aeaf0499a07e0fbc2c9fafe5f88633f25f",
    "witness-size": 975,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 05:06:14.979305",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "a0732904bf34b8db4774c469d047de0abcd3fe8176a186e03b420fe720bed379",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copy3_ground-2.i",
    "programhash": "a0732904bf34b8db4774c469d047de0abcd3fe8176a186e03b420fe720bed379",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/32b42bc7dae54cc5f04126f4181a3429ef19003e2ab99c40b4efe7ef588bf4d6.zip",
    "witness-number-of-tests": 68,
    "witness-sha256": "32b42bc7dae54cc5f04126f4181a3429ef19003e2ab99c40b4efe7ef588bf4d6",
    "witness-size": 1147953,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T07:35:28+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "a0732904bf34b8db4774c469d047de0abcd3fe8176a186e03b420fe720bed379",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copy3_ground-2.i",
    "programhash": "a0732904bf34b8db4774c469d047de0abcd3fe8176a186e03b420fe720bed379",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/4f11d436d1e89f7cc187a453d52ee34ccb7e2357528a4e196c9e93e179b2d030.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "4f11d436d1e89f7cc187a453d52ee34ccb7e2357528a4e196c9e93e179b2d030",
    "witness-size": 986,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 08:38:42 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "a0732904bf34b8db4774c469d047de0abcd3fe8176a186e03b420fe720bed379",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copy3_ground-2.i",
    "programhash": "a0732904bf34b8db4774c469d047de0abcd3fe8176a186e03b420fe720bed379",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/6bca1dd84a12e6438ec5180eff785daa85f7c516224fbcf2c8332d6a76d79a88.zip",
    "witness-number-of-tests": 13,
    "witness-sha256": "6bca1dd84a12e6438ec5180eff785daa85f7c516224fbcf2c8332d6a76d79a88",
    "witness-size": 110688,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:42:36",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "a0732904bf34b8db4774c469d047de0abcd3fe8176a186e03b420fe720bed379",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_aac6e480-1507-41bc-8a8c-73b57ae9cbf5/sv-benchmarks/c/array-examples/standard_copy3_ground-2.i",
    "programhash": "a0732904bf34b8db4774c469d047de0abcd3fe8176a186e03b420fe720bed379",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/90cc02f305c268d0d09166377f06d5247c57049747f88a6c636bff77559efbc5.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "90cc02f305c268d0d09166377f06d5247c57049747f88a6c636bff77559efbc5",
    "witness-size": 6126,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:55:18",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "a0732904bf34b8db4774c469d047de0abcd3fe8176a186e03b420fe720bed379",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_32d215ff-1a19-4d83-a815-0a106bc1e65c/sv-benchmarks/c/array-examples/standard_copy3_ground-2.i",
    "programhash": "a0732904bf34b8db4774c469d047de0abcd3fe8176a186e03b420fe720bed379",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/5035914dee38b77833d04d80c5f12fab7b3c5b75ece2025285a721621d524369.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "5035914dee38b77833d04d80c5f12fab7b3c5b75ece2025285a721621d524369",
    "witness-size": 10727,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 00:58:14 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "a0732904bf34b8db4774c469d047de0abcd3fe8176a186e03b420fe720bed379",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copy3_ground-2.i",
    "programhash": "a0732904bf34b8db4774c469d047de0abcd3fe8176a186e03b420fe720bed379",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/21612739b7eb6fb41a1145930ef575f4c55c4628346e192c44c97cd7b4a4dc9b.zip",
    "witness-number-of-tests": 14,
    "witness-sha256": "21612739b7eb6fb41a1145930ef575f4c55c4628346e192c44c97cd7b4a4dc9b",
    "witness-size": 117648,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T04:35:49Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "a0732904bf34b8db4774c469d047de0abcd3fe8176a186e03b420fe720bed379",
    "programfile": "standard_copy3_ground-2.i.c",
    "programhash": "a0732904bf34b8db4774c469d047de0abcd3fe8176a186e03b420fe720bed379",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/91d9e70ebba22a4a63348c78bd1442a074fdd3e49f28e63ba52381e6bdb24ff6.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "91d9e70ebba22a4a63348c78bd1442a074fdd3e49f28e63ba52381e6bdb24ff6",
    "witness-size": 29918,
    "witness-type": "test-suite"
  }
]