[
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 03:41:20 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "d8ad9f40d6e1767ac6054fdc990bfb101e9f8b0d7a4103e9c064774d4fa553b5",
    "programfile": "../../sv-benchmarks/c/recursive-simple/id2_b2_o3.c",
    "programhash": "d8ad9f40d6e1767ac6054fdc990bfb101e9f8b0d7a4103e9c064774d4fa553b5",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/80eda5ead9c4a038c8eedd0dfa63de71c35e3b07b4ba264b728f57fb0399f0b1.zip",
    "witness-number-of-tests": 28,
    "witness-sha256": "80eda5ead9c4a038c8eedd0dfa63de71c35e3b07b4ba264b728f57fb0399f0b1",
    "witness-size": 29060,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T18:38:45Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "d8ad9f40d6e1767ac6054fdc990bfb101e9f8b0d7a4103e9c064774d4fa553b5",
    "programfile": "id2_b2_o3.c.c",
    "programhash": "d8ad9f40d6e1767ac6054fdc990bfb101e9f8b0d7a4103e9c064774d4fa553b5",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/cbb0689b5fab4bda7851a6bea186b50fa7d7d3ac456861885fe4268718a75ae6.zip",
    "witness-number-of-tests": 1001,
    "witness-sha256": "cbb0689b5fab4bda7851a6bea186b50fa7d7d3ac456861885fe4268718a75ae6",
    "witness-size": 389172,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T04:06:12+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "d8ad9f40d6e1767ac6054fdc990bfb101e9f8b0d7a4103e9c064774d4fa553b5",
    "programfile": "../../sv-benchmarks/c/recursive-simple/id2_b2_o3.c",
    "programhash": "d8ad9f40d6e1767ac6054fdc990bfb101e9f8b0d7a4103e9c064774d4fa553b5",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/740e70aa23bbcf949f51fc910f72a9cda095b45486d60fec6ef10f2054aa6685.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "740e70aa23bbcf949f51fc910f72a9cda095b45486d60fec6ef10f2054aa6685",
    "witness-size": 2703,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T05:01:16+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "d8ad9f40d6e1767ac6054fdc990bfb101e9f8b0d7a4103e9c064774d4fa553b5",
    "programfile": "../../sv-benchmarks/c/recursive-simple/id2_b2_o3.c",
    "programhash": "d8ad9f40d6e1767ac6054fdc990bfb101e9f8b0d7a4103e9c064774d4fa553b5",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/e877110ab364eeb68027706193c2664946aae14c0b7eb245555ba34b25f50848.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "e877110ab364eeb68027706193c2664946aae14c0b7eb245555ba34b25f50848",
    "witness-size": 1698,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T05:50:19Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "d8ad9f40d6e1767ac6054fdc990bfb101e9f8b0d7a4103e9c064774d4fa553b5",
    "programfile": "id2_b2_o3.c.c",
    "programhash": "d8ad9f40d6e1767ac6054fdc990bfb101e9f8b0d7a4103e9c064774d4fa553b5",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/e7aa5a690ffefced35456e91bc39c1f825dafe1c79a642eb47f93a79f043d2f8.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "e7aa5a690ffefced35456e91bc39c1f825dafe1c79a642eb47f93a79f043d2f8",
    "witness-size": 80204,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:53:30",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "d8ad9f40d6e1767ac6054fdc990bfb101e9f8b0d7a4103e9c064774d4fa553b5",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_eda71bf0-41ea-4352-b2c0-8e15925aa7a0/sv-benchmarks/c/recursive-simple/id2_b2_o3.c",
    "programhash": "d8ad9f40d6e1767ac6054fdc990bfb101e9f8b0d7a4103e9c064774d4fa553b5",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/b8841a6a24c3d47054c2c132c8cda0b4b9d946436ad0989ce6c020bd8fbb7529.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "b8841a6a24c3d47054c2c132c8cda0b4b9d946436ad0989ce6c020bd8fbb7529",
    "witness-size": 7685,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08 22:01:31.901031",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "d8ad9f40d6e1767ac6054fdc990bfb101e9f8b0d7a4103e9c064774d4fa553b5",
    "programfile": "../../sv-benchmarks/c/recursive-simple/id2_b2_o3.c",
    "programhash": "d8ad9f40d6e1767ac6054fdc990bfb101e9f8b0d7a4103e9c064774d4fa553b5",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/dc9b639b620a39e6b94fd0a219405d88c34d4b848114361e71d7fa45c020245c.zip",
    "witness-number-of-tests": 305,
    "witness-sha256": "dc9b639b620a39e6b94fd0a219405d88c34d4b848114361e71d7fa45c020245c",
    "witness-size": 124179,
    "witness-type": "test-suite"
  }
]