[
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T05:27:58Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344",
    "programfile": "invert_string-1.c.c",
    "programhash": "30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/efd9efad70dabbe5fa504b26ae2524f41f10ea346750422a3048eeb34b316e24.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "efd9efad70dabbe5fa504b26ae2524f41f10ea346750422a3048eeb34b316e24",
    "witness-size": 5252,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T01:00:08Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344",
    "programfile": "invert_string-1.c.c",
    "programhash": "30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/4d08955e4246961edf9c60bf5f6d8b78cc7222299dd998b0231c357187f5b462.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "4d08955e4246961edf9c60bf5f6d8b78cc7222299dd998b0231c357187f5b462",
    "witness-size": 3340,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T02:15:43+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344",
    "programfile": "../../sv-benchmarks/c/loops/invert_string-1.c",
    "programhash": "30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/59d3cca8e8e4a3ab661af7f7033018c80a5abd05417b36754bed04bcf45c265d.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "59d3cca8e8e4a3ab661af7f7033018c80a5abd05417b36754bed04bcf45c265d",
    "witness-size": 1843,
    "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": "30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_b9579fbb-0a40-4c8d-af60-75ec32bdaebb/sv-benchmarks/c/loops/invert_string-1.c",
    "programhash": "30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/02c429e8382fe82cc303099e641daf8c61fe113b3ce00c5579c03b3357b24683.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "02c429e8382fe82cc303099e641daf8c61fe113b3ce00c5579c03b3357b24683",
    "witness-size": 2787,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T23:26:30+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344",
    "programfile": "../../sv-benchmarks/c/loops/invert_string-1.c",
    "programhash": "30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/e856eab4f7e0409da146ad8edc13b73dcb218402ed15579cc9134a8165ca356d.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "e856eab4f7e0409da146ad8edc13b73dcb218402ed15579cc9134a8165ca356d",
    "witness-size": 661,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T10:51 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_b9579fbb-0a40-4c8d-af60-75ec32bdaebb/sv-benchmarks/c/loops/invert_string-1.c",
    "programhash": "30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/ca0bc1bc406c93eea7ee2b897c835c2ae26c4a9431d082ebbef7ef356e7cff5f.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "ca0bc1bc406c93eea7ee2b897c835c2ae26c4a9431d082ebbef7ef356e7cff5f",
    "witness-size": 919,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T14:54 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_9e691ac7-2b33-4181-980a-d54142c7b034/sv-benchmarks/c/loops/invert_string-1.c",
    "programhash": "30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/31c83a1ea3c4d38a4bc66afe8577d9d994cf50b8e999977e9fb0583cb76f0ce2.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "31c83a1ea3c4d38a4bc66afe8577d9d994cf50b8e999977e9fb0583cb76f0ce2",
    "witness-size": 2794,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T01:00:08Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344",
    "programfile": "invert_string-1.c.c",
    "programhash": "30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/1ce1a7e46de99b34889cb679a2fe9e719667f1944aa57aa6f75ce678f1c96468.zip",
    "witness-number-of-tests": 8,
    "witness-sha256": "1ce1a7e46de99b34889cb679a2fe9e719667f1944aa57aa6f75ce678f1c96468",
    "witness-size": 7734,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T21:06:37+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344",
    "programfile": "../../sv-benchmarks/c/loops/invert_string-1.c",
    "programhash": "30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/4644b72bbf551daf0db551394888bb12f93876809915fb6168365dae615d37dc.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "4644b72bbf551daf0db551394888bb12f93876809915fb6168365dae615d37dc",
    "witness-size": 2698,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T08:31 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_9e691ac7-2b33-4181-980a-d54142c7b034/sv-benchmarks/c/loops/invert_string-1.c",
    "programhash": "30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/4e65eed5c2de9dfe966837289b249fb3f03c397af8462912ba8c7c6d75849e71.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "4e65eed5c2de9dfe966837289b249fb3f03c397af8462912ba8c7c6d75849e71",
    "witness-size": 1617,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T05:27:58Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344",
    "programfile": "invert_string-1.c.c",
    "programhash": "30b372818449454dfc740a67258f76c4cc7a4e62e569d14ed5bf10db6f0d8344",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/386284cabe0c3518283ee701f40f36f296d06451249064719a6fc76c321f0a77.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "386284cabe0c3518283ee701f40f36f296d06451249064719a6fc76c321f0a77",
    "witness-size": 3340,
    "witness-type": "test-suite"
  }
]