[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T13:54:17Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "d0a2fa66177da9c68a60fea0ef2c68a0ae6be7bf33256a575f7aa1f056685896",
    "programfile": "num_conversion_2.c.c",
    "programhash": "d0a2fa66177da9c68a60fea0ef2c68a0ae6be7bf33256a575f7aa1f056685896",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/77035aa50742b5161a398984ac8c5a31acc651b2b1a17cb1b786e8592bb5fd07.zip",
    "witness-number-of-tests": 256,
    "witness-sha256": "77035aa50742b5161a398984ac8c5a31acc651b2b1a17cb1b786e8592bb5fd07",
    "witness-size": 109563,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T03:20:02+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "d0a2fa66177da9c68a60fea0ef2c68a0ae6be7bf33256a575f7aa1f056685896",
    "programfile": "../../sv-benchmarks/c/bitvector/num_conversion_2.c",
    "programhash": "d0a2fa66177da9c68a60fea0ef2c68a0ae6be7bf33256a575f7aa1f056685896",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/dbfef8067f6f679637c9d0d6793e4f1b9c9e03695234ec1dddb3e84c7099d844.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "dbfef8067f6f679637c9d0d6793e4f1b9c9e03695234ec1dddb3e84c7099d844",
    "witness-size": 1338,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08 23:32:56.209103",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "d0a2fa66177da9c68a60fea0ef2c68a0ae6be7bf33256a575f7aa1f056685896",
    "programfile": "../../sv-benchmarks/c/bitvector/num_conversion_2.c",
    "programhash": "d0a2fa66177da9c68a60fea0ef2c68a0ae6be7bf33256a575f7aa1f056685896",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/ae40dca8327ddebd63ad69cbb86cb2c011852209e236fd024daa31e232a869bd.zip",
    "witness-number-of-tests": 497,
    "witness-sha256": "ae40dca8327ddebd63ad69cbb86cb2c011852209e236fd024daa31e232a869bd",
    "witness-size": 215624,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:40:15",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "d0a2fa66177da9c68a60fea0ef2c68a0ae6be7bf33256a575f7aa1f056685896",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_c72f3460-af86-4f29-bc0d-c2c22a14e861/sv-benchmarks/c/bitvector/num_conversion_2.c",
    "programhash": "d0a2fa66177da9c68a60fea0ef2c68a0ae6be7bf33256a575f7aa1f056685896",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/3206f561659414d6721761be5212818ac308d7654a502f4b48d13d9f5410b3ec.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "3206f561659414d6721761be5212818ac308d7654a502f4b48d13d9f5410b3ec",
    "witness-size": 13367,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T05:48:58+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "d0a2fa66177da9c68a60fea0ef2c68a0ae6be7bf33256a575f7aa1f056685896",
    "programfile": "../../sv-benchmarks/c/bitvector/num_conversion_2.c",
    "programhash": "d0a2fa66177da9c68a60fea0ef2c68a0ae6be7bf33256a575f7aa1f056685896",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/26c71c1f994c3e05d9be8e06de1606c7e7a7eb597768331034f2ff0ddc2d79b8.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "26c71c1f994c3e05d9be8e06de1606c7e7a7eb597768331034f2ff0ddc2d79b8",
    "witness-size": 2354,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T23:32:19Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "d0a2fa66177da9c68a60fea0ef2c68a0ae6be7bf33256a575f7aa1f056685896",
    "programfile": "num_conversion_2.c.c",
    "programhash": "d0a2fa66177da9c68a60fea0ef2c68a0ae6be7bf33256a575f7aa1f056685896",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/2b36e5b8f31926c503b0e3de8d47027f2a9099c64001050527f444aaeeeee141.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "2b36e5b8f31926c503b0e3de8d47027f2a9099c64001050527f444aaeeeee141",
    "witness-size": 3696,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 06:58:39 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "d0a2fa66177da9c68a60fea0ef2c68a0ae6be7bf33256a575f7aa1f056685896",
    "programfile": "../../sv-benchmarks/c/bitvector/num_conversion_2.c",
    "programhash": "d0a2fa66177da9c68a60fea0ef2c68a0ae6be7bf33256a575f7aa1f056685896",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/978ca3373e021269293d7fe734219fad679d71c995c5bd3b3893cb7563e76a1f.zip",
    "witness-number-of-tests": 14,
    "witness-sha256": "978ca3373e021269293d7fe734219fad679d71c995c5bd3b3893cb7563e76a1f",
    "witness-size": 14516,
    "witness-type": "test-suite"
  }
]