[
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 03:24:19 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "81e28bb53e01b3a378cc750ca7921d9f8e335397dd22ace52066a9e22f99074d",
    "programfile": "../../sv-benchmarks/c/recursive/Addition01-2.c",
    "programhash": "81e28bb53e01b3a378cc750ca7921d9f8e335397dd22ace52066a9e22f99074d",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/a068697a5f220b5b20aa00120b79a08e1701251904deb5603b164a0a44adba16.zip",
    "witness-number-of-tests": 22,
    "witness-sha256": "a068697a5f220b5b20aa00120b79a08e1701251904deb5603b164a0a44adba16",
    "witness-size": 28790,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T15:37:47Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "81e28bb53e01b3a378cc750ca7921d9f8e335397dd22ace52066a9e22f99074d",
    "programfile": "Addition01-2.c.c",
    "programhash": "81e28bb53e01b3a378cc750ca7921d9f8e335397dd22ace52066a9e22f99074d",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/3686f3b99c48298c5de6f2430640db5dba91f1ed11ad0d7be352dfb21dd7ea7b.zip",
    "witness-number-of-tests": 373,
    "witness-sha256": "3686f3b99c48298c5de6f2430640db5dba91f1ed11ad0d7be352dfb21dd7ea7b",
    "witness-size": 352113,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:31:28+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "81e28bb53e01b3a378cc750ca7921d9f8e335397dd22ace52066a9e22f99074d",
    "programfile": "../../sv-benchmarks/c/recursive/Addition01-2.c",
    "programhash": "81e28bb53e01b3a378cc750ca7921d9f8e335397dd22ace52066a9e22f99074d",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/c9b93d175cba8d6d953ba9691f2d3fcfc125139a443ce08e12605434271c22fc.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "c9b93d175cba8d6d953ba9691f2d3fcfc125139a443ce08e12605434271c22fc",
    "witness-size": 2834,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T06:16:26+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "81e28bb53e01b3a378cc750ca7921d9f8e335397dd22ace52066a9e22f99074d",
    "programfile": "../../sv-benchmarks/c/recursive/Addition01-2.c",
    "programhash": "81e28bb53e01b3a378cc750ca7921d9f8e335397dd22ace52066a9e22f99074d",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/7c4e8444010fc773228fe88cacfc1aa208532561edcdfe92e1bdc3891cec5b8b.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "7c4e8444010fc773228fe88cacfc1aa208532561edcdfe92e1bdc3891cec5b8b",
    "witness-size": 3777,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 05:30:54.969748",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "81e28bb53e01b3a378cc750ca7921d9f8e335397dd22ace52066a9e22f99074d",
    "programfile": "../../sv-benchmarks/c/recursive/Addition01-2.c",
    "programhash": "81e28bb53e01b3a378cc750ca7921d9f8e335397dd22ace52066a9e22f99074d",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/99b181743ac072d17b25361425d510308fb7283d892ce0192d5f290b52e6dd0f.zip",
    "witness-number-of-tests": 196,
    "witness-sha256": "99b181743ac072d17b25361425d510308fb7283d892ce0192d5f290b52e6dd0f",
    "witness-size": 84890,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T01:26:09Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "81e28bb53e01b3a378cc750ca7921d9f8e335397dd22ace52066a9e22f99074d",
    "programfile": "Addition01-2.c.c",
    "programhash": "81e28bb53e01b3a378cc750ca7921d9f8e335397dd22ace52066a9e22f99074d",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/b960197b223768fd68bf38896f0fa05d64f93ac519d427b5b2ab8a1a56a01483.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "b960197b223768fd68bf38896f0fa05d64f93ac519d427b5b2ab8a1a56a01483",
    "witness-size": 26444,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:47:38",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "81e28bb53e01b3a378cc750ca7921d9f8e335397dd22ace52066a9e22f99074d",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_962257d2-f123-42c9-89b3-5a0923ab15e4/sv-benchmarks/c/recursive/Addition01-2.c",
    "programhash": "81e28bb53e01b3a378cc750ca7921d9f8e335397dd22ace52066a9e22f99074d",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/ffde862dc984182027be728b6c58ffd2085084a888e907f208ec6cbb8dad0228.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "ffde862dc984182027be728b6c58ffd2085084a888e907f208ec6cbb8dad0228",
    "witness-size": 8045,
    "witness-type": "test-suite"
  }
]