[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T01:15:21+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "fee8c566104c383a399051f03161e995b7793642fba144cd880baaed2c4f2174",
    "programfile": "../../sv-benchmarks/c/loops/string-1.i",
    "programhash": "fee8c566104c383a399051f03161e995b7793642fba144cd880baaed2c4f2174",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/4fdaf2e636029b439c9f6b87c45470b7db659311a8dd5b312510b8b88e81a7d1.zip",
    "witness-number-of-tests": 17,
    "witness-sha256": "4fdaf2e636029b439c9f6b87c45470b7db659311a8dd5b312510b8b88e81a7d1",
    "witness-size": 6621,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 03:40:43 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "fee8c566104c383a399051f03161e995b7793642fba144cd880baaed2c4f2174",
    "programfile": "../../sv-benchmarks/c/loops/string-1.i",
    "programhash": "fee8c566104c383a399051f03161e995b7793642fba144cd880baaed2c4f2174",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/239205dc52d79253da5630ca3ae43abc2e29cf14221cec4ffc3b474448be6f46.zip",
    "witness-number-of-tests": 26,
    "witness-sha256": "239205dc52d79253da5630ca3ae43abc2e29cf14221cec4ffc3b474448be6f46",
    "witness-size": 22857,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T03:45:39Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "fee8c566104c383a399051f03161e995b7793642fba144cd880baaed2c4f2174",
    "programfile": "string-1.i.c",
    "programhash": "fee8c566104c383a399051f03161e995b7793642fba144cd880baaed2c4f2174",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/ed1ece974fef3ede458932a59b2072f0e3c86255f8ee2caaa8976cb6fa9fc282.zip",
    "witness-number-of-tests": 8,
    "witness-sha256": "ed1ece974fef3ede458932a59b2072f0e3c86255f8ee2caaa8976cb6fa9fc282",
    "witness-size": 7016,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T17:48:33Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "fee8c566104c383a399051f03161e995b7793642fba144cd880baaed2c4f2174",
    "programfile": "string-1.i.c",
    "programhash": "fee8c566104c383a399051f03161e995b7793642fba144cd880baaed2c4f2174",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/943fabcb70b403f25a35d7989ce157405fea3b72418509a8821dab0d123db04b.zip",
    "witness-number-of-tests": 47,
    "witness-sha256": "943fabcb70b403f25a35d7989ce157405fea3b72418509a8821dab0d123db04b",
    "witness-size": 35431,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 07:56:02.714678",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "fee8c566104c383a399051f03161e995b7793642fba144cd880baaed2c4f2174",
    "programfile": "../../sv-benchmarks/c/loops/string-1.i",
    "programhash": "fee8c566104c383a399051f03161e995b7793642fba144cd880baaed2c4f2174",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/9a2d8fefdf1bf1e741980402dd31389d7aaa544a0ce42ec66a4d6fad72937d09.zip",
    "witness-number-of-tests": 644,
    "witness-sha256": "9a2d8fefdf1bf1e741980402dd31389d7aaa544a0ce42ec66a4d6fad72937d09",
    "witness-size": 286374,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:30:02+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "fee8c566104c383a399051f03161e995b7793642fba144cd880baaed2c4f2174",
    "programfile": "../../sv-benchmarks/c/loops/string-1.i",
    "programhash": "fee8c566104c383a399051f03161e995b7793642fba144cd880baaed2c4f2174",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/87df9b8254e6d4df98c5a27d0a56a1f38d64ca3f49fbc022e9a1f1ef2fab4b24.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "87df9b8254e6d4df98c5a27d0a56a1f38d64ca3f49fbc022e9a1f1ef2fab4b24",
    "witness-size": 4054,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:37:24",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "fee8c566104c383a399051f03161e995b7793642fba144cd880baaed2c4f2174",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_7df48cbf-98bd-4fa3-aeaa-f783d0c00225/sv-benchmarks/c/loops/string-1.i",
    "programhash": "fee8c566104c383a399051f03161e995b7793642fba144cd880baaed2c4f2174",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/45bcb289c84e2618a36030628f655042ac97ee5e66cd9d220b944d64dba791f5.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "45bcb289c84e2618a36030628f655042ac97ee5e66cd9d220b944d64dba791f5",
    "witness-size": 8863,
    "witness-type": "test-suite"
  }
]