[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T21:25:31Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "03a52a68400dc1af799d6a17032941150c2e7a522a2c9303688b46d92196ae81",
    "programfile": "s3_clnt_3.cil-1.c.c",
    "programhash": "03a52a68400dc1af799d6a17032941150c2e7a522a2c9303688b46d92196ae81",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/8bd3584c4548b868c7dd094f81d08137376af9d0cdec6ead05789edcf2a9fb84.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "8bd3584c4548b868c7dd094f81d08137376af9d0cdec6ead05789edcf2a9fb84",
    "witness-size": 6381,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 00:33:57 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "03a52a68400dc1af799d6a17032941150c2e7a522a2c9303688b46d92196ae81",
    "programfile": "../../sv-benchmarks/c/ssh-simplified/s3_clnt_3.cil-1.c",
    "programhash": "03a52a68400dc1af799d6a17032941150c2e7a522a2c9303688b46d92196ae81",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/26aa0b67869ca2f346de8b2e1bfbbff6f551d4e43d69f0f1e2ec095e75db9e44.zip",
    "witness-number-of-tests": 11,
    "witness-sha256": "26aa0b67869ca2f346de8b2e1bfbbff6f551d4e43d69f0f1e2ec095e75db9e44",
    "witness-size": 27817,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T00:16:22+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "03a52a68400dc1af799d6a17032941150c2e7a522a2c9303688b46d92196ae81",
    "programfile": "../../sv-benchmarks/c/ssh-simplified/s3_clnt_3.cil-1.c",
    "programhash": "03a52a68400dc1af799d6a17032941150c2e7a522a2c9303688b46d92196ae81",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/dfcdd9625d49e110eac214803025822398e396375044823e2387ea168ceaf148.zip",
    "witness-number-of-tests": 45,
    "witness-sha256": "dfcdd9625d49e110eac214803025822398e396375044823e2387ea168ceaf148",
    "witness-size": 20972,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:20:15+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "03a52a68400dc1af799d6a17032941150c2e7a522a2c9303688b46d92196ae81",
    "programfile": "../../sv-benchmarks/c/ssh-simplified/s3_clnt_3.cil-1.c",
    "programhash": "03a52a68400dc1af799d6a17032941150c2e7a522a2c9303688b46d92196ae81",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/3d296c342be737025e9f4fae4474889f659c4f6bd11573ab515afe8275200660.zip",
    "witness-number-of-tests": 102,
    "witness-sha256": "3d296c342be737025e9f4fae4474889f659c4f6bd11573ab515afe8275200660",
    "witness-size": 38239,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T18:50:35Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "03a52a68400dc1af799d6a17032941150c2e7a522a2c9303688b46d92196ae81",
    "programfile": "s3_clnt_3.cil-1.c.c",
    "programhash": "03a52a68400dc1af799d6a17032941150c2e7a522a2c9303688b46d92196ae81",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/7c7a4c9ffb83d00e2251093268a281a451bd9c4663d197d5ff448c017d43dd3b.zip",
    "witness-number-of-tests": 14,
    "witness-sha256": "7c7a4c9ffb83d00e2251093268a281a451bd9c4663d197d5ff448c017d43dd3b",
    "witness-size": 38958,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 09:52:58",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "03a52a68400dc1af799d6a17032941150c2e7a522a2c9303688b46d92196ae81",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_c4cf98f4-eb14-409f-acd5-e0b197a42d31/sv-benchmarks/c/ssh-simplified/s3_clnt_3.cil-1.c",
    "programhash": "03a52a68400dc1af799d6a17032941150c2e7a522a2c9303688b46d92196ae81",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/722f868f5a3cb3fd04918b56485346e8ce417f9b25c2beeb994ddfa9bbb1fb24.zip",
    "witness-number-of-tests": 7,
    "witness-sha256": "722f868f5a3cb3fd04918b56485346e8ce417f9b25c2beeb994ddfa9bbb1fb24",
    "witness-size": 30326,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 06:23:27.676768",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "03a52a68400dc1af799d6a17032941150c2e7a522a2c9303688b46d92196ae81",
    "programfile": "../../sv-benchmarks/c/ssh-simplified/s3_clnt_3.cil-1.c",
    "programhash": "03a52a68400dc1af799d6a17032941150c2e7a522a2c9303688b46d92196ae81",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/fc05f91e9d176c2f320545e34fb70ae0afbc7f99ab20c844f9373ee02d2a99ad.zip",
    "witness-number-of-tests": 890,
    "witness-sha256": "fc05f91e9d176c2f320545e34fb70ae0afbc7f99ab20c844f9373ee02d2a99ad",
    "witness-size": 415585,
    "witness-type": "test-suite"
  }
]