[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T14:42:36Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "8964913756d7c50d192d2e9a585dba6b3a281d17c1be1dbbb418e75e0888b6e4",
    "programfile": "verisec_sendmail_tTflag_arr_one_loop.c.c",
    "programhash": "8964913756d7c50d192d2e9a585dba6b3a281d17c1be1dbbb418e75e0888b6e4",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/0894d1a2eaecbd75e75e689c533f5d4e4e217cc51c77d4b5c070063f96953a77.zip",
    "witness-number-of-tests": 22,
    "witness-sha256": "0894d1a2eaecbd75e75e689c533f5d4e4e217cc51c77d4b5c070063f96953a77",
    "witness-size": 26647,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:51:05",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "8964913756d7c50d192d2e9a585dba6b3a281d17c1be1dbbb418e75e0888b6e4",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_abd6f1a8-49fb-4318-b88e-64f7feaba92e/sv-benchmarks/c/bitvector-loops/verisec_sendmail_tTflag_arr_one_loop.c",
    "programhash": "8964913756d7c50d192d2e9a585dba6b3a281d17c1be1dbbb418e75e0888b6e4",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/211f73ae0e8816c81088b495b68cd911edfb206a35c5d7081dd5c6d8d8cc0003.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "211f73ae0e8816c81088b495b68cd911edfb206a35c5d7081dd5c6d8d8cc0003",
    "witness-size": 7556,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T23:06:00Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "8964913756d7c50d192d2e9a585dba6b3a281d17c1be1dbbb418e75e0888b6e4",
    "programfile": "verisec_sendmail_tTflag_arr_one_loop.c.c",
    "programhash": "8964913756d7c50d192d2e9a585dba6b3a281d17c1be1dbbb418e75e0888b6e4",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/0f392c1a4a0003ddbb7e5d8ebbd1bc88ae723eefa81b3eec38e3a7a8fcb05d81.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "0f392c1a4a0003ddbb7e5d8ebbd1bc88ae723eefa81b3eec38e3a7a8fcb05d81",
    "witness-size": 6102,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Sun Dec  8 23:48:50 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "8964913756d7c50d192d2e9a585dba6b3a281d17c1be1dbbb418e75e0888b6e4",
    "programfile": "../../sv-benchmarks/c/bitvector-loops/verisec_sendmail_tTflag_arr_one_loop.c",
    "programhash": "8964913756d7c50d192d2e9a585dba6b3a281d17c1be1dbbb418e75e0888b6e4",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/50434304a2ec6e5b1103b0c5c71713fbe2a65b7733991dc928bce82b86cc1ed4.zip",
    "witness-number-of-tests": 15,
    "witness-sha256": "50434304a2ec6e5b1103b0c5c71713fbe2a65b7733991dc928bce82b86cc1ed4",
    "witness-size": 16137,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T05:30:10+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "8964913756d7c50d192d2e9a585dba6b3a281d17c1be1dbbb418e75e0888b6e4",
    "programfile": "../../sv-benchmarks/c/bitvector-loops/verisec_sendmail_tTflag_arr_one_loop.c",
    "programhash": "8964913756d7c50d192d2e9a585dba6b3a281d17c1be1dbbb418e75e0888b6e4",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/0235c6e8b3534df5155706c07bb62416c94b491efc247913ef7bca89dbd46394.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "0235c6e8b3534df5155706c07bb62416c94b491efc247913ef7bca89dbd46394",
    "witness-size": 660,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T15:45:18Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "8964913756d7c50d192d2e9a585dba6b3a281d17c1be1dbbb418e75e0888b6e4",
    "programfile": "verisec_sendmail_tTflag_arr_one_loop.c.c",
    "programhash": "8964913756d7c50d192d2e9a585dba6b3a281d17c1be1dbbb418e75e0888b6e4",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/bc758dac1c148ab2bff8417fd73a654506bc79f7b7b8a8668799271941ef27ff.zip",
    "witness-number-of-tests": 21,
    "witness-sha256": "bc758dac1c148ab2bff8417fd73a654506bc79f7b7b8a8668799271941ef27ff",
    "witness-size": 26265,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 03:00:24.746030",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "8964913756d7c50d192d2e9a585dba6b3a281d17c1be1dbbb418e75e0888b6e4",
    "programfile": "../../sv-benchmarks/c/bitvector-loops/verisec_sendmail_tTflag_arr_one_loop.c",
    "programhash": "8964913756d7c50d192d2e9a585dba6b3a281d17c1be1dbbb418e75e0888b6e4",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/d0e9577032cd8282dfd5390fd72da580765809e2bc3ce357480ed40c27c812b8.zip",
    "witness-number-of-tests": 777,
    "witness-sha256": "d0e9577032cd8282dfd5390fd72da580765809e2bc3ce357480ed40c27c812b8",
    "witness-size": 354762,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:53:48",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "8964913756d7c50d192d2e9a585dba6b3a281d17c1be1dbbb418e75e0888b6e4",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_d3e8eaef-6c14-419a-a9c6-9db5513b0c3c/sv-benchmarks/c/bitvector-loops/verisec_sendmail_tTflag_arr_one_loop.c",
    "programhash": "8964913756d7c50d192d2e9a585dba6b3a281d17c1be1dbbb418e75e0888b6e4",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/7f7f865f6d05d9ab6779e20f10ce71951f41611f7354ccf80e62d0b723ff8d76.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "7f7f865f6d05d9ab6779e20f10ce71951f41611f7354ccf80e62d0b723ff8d76",
    "witness-size": 8052,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 10:11:51 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "8964913756d7c50d192d2e9a585dba6b3a281d17c1be1dbbb418e75e0888b6e4",
    "programfile": "../../sv-benchmarks/c/bitvector-loops/verisec_sendmail_tTflag_arr_one_loop.c",
    "programhash": "8964913756d7c50d192d2e9a585dba6b3a281d17c1be1dbbb418e75e0888b6e4",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/308ed1d819eac4c9517f081ec75f01d819abf3bec087b281bebe7b0a1f2948e8.zip",
    "witness-number-of-tests": 15,
    "witness-sha256": "308ed1d819eac4c9517f081ec75f01d819abf3bec087b281bebe7b0a1f2948e8",
    "witness-size": 15997,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T00:43:39Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "8964913756d7c50d192d2e9a585dba6b3a281d17c1be1dbbb418e75e0888b6e4",
    "programfile": "verisec_sendmail_tTflag_arr_one_loop.c.c",
    "programhash": "8964913756d7c50d192d2e9a585dba6b3a281d17c1be1dbbb418e75e0888b6e4",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/30ee66eb941c190afdbc30ce3d445e4f8e915cb5a4f7a8f629415a6146b74ba4.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "30ee66eb941c190afdbc30ce3d445e4f8e915cb5a4f7a8f629415a6146b74ba4",
    "witness-size": 4973,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T07:15:16+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "8964913756d7c50d192d2e9a585dba6b3a281d17c1be1dbbb418e75e0888b6e4",
    "programfile": "../../sv-benchmarks/c/bitvector-loops/verisec_sendmail_tTflag_arr_one_loop.c",
    "programhash": "8964913756d7c50d192d2e9a585dba6b3a281d17c1be1dbbb418e75e0888b6e4",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/3470ba67ac07edaac3f61f9349c39fef88b0a91fb5dafe42f8e87851e1ef8433.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "3470ba67ac07edaac3f61f9349c39fef88b0a91fb5dafe42f8e87851e1ef8433",
    "witness-size": 2846,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 10:11:02.642176",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "8964913756d7c50d192d2e9a585dba6b3a281d17c1be1dbbb418e75e0888b6e4",
    "programfile": "../../sv-benchmarks/c/bitvector-loops/verisec_sendmail_tTflag_arr_one_loop.c",
    "programhash": "8964913756d7c50d192d2e9a585dba6b3a281d17c1be1dbbb418e75e0888b6e4",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/11260406729ab24845fb56676c183ffa7cc8b1d01e8631f42abc7be997149ac0.zip",
    "witness-number-of-tests": 691,
    "witness-sha256": "11260406729ab24845fb56676c183ffa7cc8b1d01e8631f42abc7be997149ac0",
    "witness-size": 316445,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T00:31:10+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "8964913756d7c50d192d2e9a585dba6b3a281d17c1be1dbbb418e75e0888b6e4",
    "programfile": "../../sv-benchmarks/c/bitvector-loops/verisec_sendmail_tTflag_arr_one_loop.c",
    "programhash": "8964913756d7c50d192d2e9a585dba6b3a281d17c1be1dbbb418e75e0888b6e4",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/75106a629da64004244e7203d3f75ed519fa8245df842013155aa281352d502a.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "75106a629da64004244e7203d3f75ed519fa8245df842013155aa281352d502a",
    "witness-size": 2177,
    "witness-type": "test-suite"
  }
]