[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T04:42:56Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "c1eaab0ef67254031ccb0bb7412fd10d4f10f9eb6bbfbbabb20daaddd0a9da68",
    "programfile": "veris.c_sendmail_tTflag_arr_one_loop.c.c",
    "programhash": "c1eaab0ef67254031ccb0bb7412fd10d4f10f9eb6bbfbbabb20daaddd0a9da68",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/d6c124e782315fda07a451e6b1edc7b281a4438f697e4b70afbdb3fd02098215.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "d6c124e782315fda07a451e6b1edc7b281a4438f697e4b70afbdb3fd02098215",
    "witness-size": 4867,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T04:56:13+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "c1eaab0ef67254031ccb0bb7412fd10d4f10f9eb6bbfbbabb20daaddd0a9da68",
    "programfile": "../../sv-benchmarks/c/loops/veris.c_sendmail_tTflag_arr_one_loop.c",
    "programhash": "c1eaab0ef67254031ccb0bb7412fd10d4f10f9eb6bbfbbabb20daaddd0a9da68",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/51af6d8c931591368a454a88bb52fc9d6b10f2fe9fc6d1bd4e6139fa093e5a32.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "51af6d8c931591368a454a88bb52fc9d6b10f2fe9fc6d1bd4e6139fa093e5a32",
    "witness-size": 2161,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 05:00:11.564349",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "c1eaab0ef67254031ccb0bb7412fd10d4f10f9eb6bbfbbabb20daaddd0a9da68",
    "programfile": "../../sv-benchmarks/c/loops/veris.c_sendmail_tTflag_arr_one_loop.c",
    "programhash": "c1eaab0ef67254031ccb0bb7412fd10d4f10f9eb6bbfbbabb20daaddd0a9da68",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/bc06fc7eab1f0974f507cafa8fbd9fc0f16b72e795cd1f6ed22180d5f30e3026.zip",
    "witness-number-of-tests": 684,
    "witness-sha256": "bc06fc7eab1f0974f507cafa8fbd9fc0f16b72e795cd1f6ed22180d5f30e3026",
    "witness-size": 311412,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T03:51:04+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "c1eaab0ef67254031ccb0bb7412fd10d4f10f9eb6bbfbbabb20daaddd0a9da68",
    "programfile": "../../sv-benchmarks/c/loops/veris.c_sendmail_tTflag_arr_one_loop.c",
    "programhash": "c1eaab0ef67254031ccb0bb7412fd10d4f10f9eb6bbfbbabb20daaddd0a9da68",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/95cbd172db5ecf7b0918ef77073e51c1185649cb8a7b85a6b75e0beca73f762a.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "95cbd172db5ecf7b0918ef77073e51c1185649cb8a7b85a6b75e0beca73f762a",
    "witness-size": 2826,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T19:14:26Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "c1eaab0ef67254031ccb0bb7412fd10d4f10f9eb6bbfbbabb20daaddd0a9da68",
    "programfile": "veris.c_sendmail_tTflag_arr_one_loop.c.c",
    "programhash": "c1eaab0ef67254031ccb0bb7412fd10d4f10f9eb6bbfbbabb20daaddd0a9da68",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/50e36887da8c3bb0e63ab4fb197f6d796114124e51dd1b6e134895b36cf8bec8.zip",
    "witness-number-of-tests": 21,
    "witness-sha256": "50e36887da8c3bb0e63ab4fb197f6d796114124e51dd1b6e134895b36cf8bec8",
    "witness-size": 24967,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:33:55",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "c1eaab0ef67254031ccb0bb7412fd10d4f10f9eb6bbfbbabb20daaddd0a9da68",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_f6ead181-e01d-4366-ae60-6e255cfdb3e9/sv-benchmarks/c/loops/veris.c_sendmail_tTflag_arr_one_loop.c",
    "programhash": "c1eaab0ef67254031ccb0bb7412fd10d4f10f9eb6bbfbbabb20daaddd0a9da68",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/bb26e4028f6fef7e06bb4ea09ceb0079562be94a7fc562121705abe6f770ced4.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "bb26e4028f6fef7e06bb4ea09ceb0079562be94a7fc562121705abe6f770ced4",
    "witness-size": 7580,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 08:35:48 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "c1eaab0ef67254031ccb0bb7412fd10d4f10f9eb6bbfbbabb20daaddd0a9da68",
    "programfile": "../../sv-benchmarks/c/loops/veris.c_sendmail_tTflag_arr_one_loop.c",
    "programhash": "c1eaab0ef67254031ccb0bb7412fd10d4f10f9eb6bbfbbabb20daaddd0a9da68",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/26668658add9c32a2987e984ac208789fc65ec0a788a5f221cdf22f19f215862.zip",
    "witness-number-of-tests": 12,
    "witness-sha256": "26668658add9c32a2987e984ac208789fc65ec0a788a5f221cdf22f19f215862",
    "witness-size": 14249,
    "witness-type": "test-suite"
  }
]