[
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T03:01:11Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "60ef6002ca223d6358817895ec4f8e677799354be7ccbaed39511102ad0a90ac",
    "programfile": "standard_copy1_ground-2.i.c",
    "programhash": "60ef6002ca223d6358817895ec4f8e677799354be7ccbaed39511102ad0a90ac",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/28612e2b3f12c8c09f5c8daea4f3a7701763bd1eebda0db5a68ea625d60dca5f.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "28612e2b3f12c8c09f5c8daea4f3a7701763bd1eebda0db5a68ea625d60dca5f",
    "witness-size": 99107,
    "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": "60ef6002ca223d6358817895ec4f8e677799354be7ccbaed39511102ad0a90ac",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_87c2e1ba-3467-4324-8e5e-38594b1db8ee/sv-benchmarks/c/array-examples/standard_copy1_ground-2.i",
    "programhash": "60ef6002ca223d6358817895ec4f8e677799354be7ccbaed39511102ad0a90ac",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/e5d3b062a67581cb7688832106ced5926dca0a9505a6237f5a6a05a2ddf2f0d7.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "e5d3b062a67581cb7688832106ced5926dca0a9505a6237f5a6a05a2ddf2f0d7",
    "witness-size": 524083,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T22:43:58+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "60ef6002ca223d6358817895ec4f8e677799354be7ccbaed39511102ad0a90ac",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copy1_ground-2.i",
    "programhash": "60ef6002ca223d6358817895ec4f8e677799354be7ccbaed39511102ad0a90ac",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/6452a60e969d4e304c1f5f217d0fd9b056800cb2fe86de7fe5d565122426e7c2.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "6452a60e969d4e304c1f5f217d0fd9b056800cb2fe86de7fe5d565122426e7c2",
    "witness-size": 978,
    "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": "60ef6002ca223d6358817895ec4f8e677799354be7ccbaed39511102ad0a90ac",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_9181d57e-6f54-4bc3-9c23-2b08dc89ccdf/sv-benchmarks/c/array-examples/standard_copy1_ground-2.i",
    "programhash": "60ef6002ca223d6358817895ec4f8e677799354be7ccbaed39511102ad0a90ac",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/91549fed24cc8a6dda2718251549736630bebbb5c6e0d5e97695a8f3604735be.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "91549fed24cc8a6dda2718251549736630bebbb5c6e0d5e97695a8f3604735be",
    "witness-size": 524083,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T04:42:51+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "60ef6002ca223d6358817895ec4f8e677799354be7ccbaed39511102ad0a90ac",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copy1_ground-2.i",
    "programhash": "60ef6002ca223d6358817895ec4f8e677799354be7ccbaed39511102ad0a90ac",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/4e0fb7d412676394b1c0897d6b785650b0c8426eb20215f3d6f25c8695fd0505.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "4e0fb7d412676394b1c0897d6b785650b0c8426eb20215f3d6f25c8695fd0505",
    "witness-size": 664,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T11:03 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "60ef6002ca223d6358817895ec4f8e677799354be7ccbaed39511102ad0a90ac",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_9181d57e-6f54-4bc3-9c23-2b08dc89ccdf/sv-benchmarks/c/array-examples/standard_copy1_ground-2.i",
    "programhash": "60ef6002ca223d6358817895ec4f8e677799354be7ccbaed39511102ad0a90ac",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/f2357edf987b5cecfd68fd1cf01402ffe322702b1221f26e8b47ba892f2da6db.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "f2357edf987b5cecfd68fd1cf01402ffe322702b1221f26e8b47ba892f2da6db",
    "witness-size": 9208,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T05:07:18Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "60ef6002ca223d6358817895ec4f8e677799354be7ccbaed39511102ad0a90ac",
    "programfile": "standard_copy1_ground-2.i.c",
    "programhash": "60ef6002ca223d6358817895ec4f8e677799354be7ccbaed39511102ad0a90ac",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/e5754c091252bca4b4fd8b6d0b0e88192cad3391f16ddc13602ae212e5efba5a.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "e5754c091252bca4b4fd8b6d0b0e88192cad3391f16ddc13602ae212e5efba5a",
    "witness-size": 30989,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T10:15 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "60ef6002ca223d6358817895ec4f8e677799354be7ccbaed39511102ad0a90ac",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_87c2e1ba-3467-4324-8e5e-38594b1db8ee/sv-benchmarks/c/array-examples/standard_copy1_ground-2.i",
    "programhash": "60ef6002ca223d6358817895ec4f8e677799354be7ccbaed39511102ad0a90ac",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/dbeadd8a9bff77890b730a25bf4d668e6acccf645979dc28e13b1e1658e96aa4.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "dbeadd8a9bff77890b730a25bf4d668e6acccf645979dc28e13b1e1658e96aa4",
    "witness-size": 9208,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T05:07:18Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "60ef6002ca223d6358817895ec4f8e677799354be7ccbaed39511102ad0a90ac",
    "programfile": "standard_copy1_ground-2.i.c",
    "programhash": "60ef6002ca223d6358817895ec4f8e677799354be7ccbaed39511102ad0a90ac",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/781daa4a1aa5133b52d514bd8ae3182f115039124385d233e64e2bfffa2c2fcc.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "781daa4a1aa5133b52d514bd8ae3182f115039124385d233e64e2bfffa2c2fcc",
    "witness-size": 542103,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T02:32:10+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "60ef6002ca223d6358817895ec4f8e677799354be7ccbaed39511102ad0a90ac",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_copy1_ground-2.i",
    "programhash": "60ef6002ca223d6358817895ec4f8e677799354be7ccbaed39511102ad0a90ac",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/4eb68fda766695386633de0c72b808c60f73a25b51772b412075c9c5930a2fef.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "4eb68fda766695386633de0c72b808c60f73a25b51772b412075c9c5930a2fef",
    "witness-size": 672,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T03:01:11Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "60ef6002ca223d6358817895ec4f8e677799354be7ccbaed39511102ad0a90ac",
    "programfile": "standard_copy1_ground-2.i.c",
    "programhash": "60ef6002ca223d6358817895ec4f8e677799354be7ccbaed39511102ad0a90ac",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/814a3ed7545467414b02699f8887716d952adefb471f62388067894da1137bb7.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "814a3ed7545467414b02699f8887716d952adefb471f62388067894da1137bb7",
    "witness-size": 542080,
    "witness-type": "test-suite"
  }
]