[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T01:50:07+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "7a79a3f5fb6f7bc644c71fa674d7cdc38e6fc818827a0eea9d3303d91ac91a99",
    "programfile": "../../sv-benchmarks/c/recursive-simple/id2_b3_o5.c",
    "programhash": "7a79a3f5fb6f7bc644c71fa674d7cdc38e6fc818827a0eea9d3303d91ac91a99",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/4155879d93897aca8c24616d340cf5b82995f95f4f1c49a884aa97b2bd0bdc14.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "4155879d93897aca8c24616d340cf5b82995f95f4f1c49a884aa97b2bd0bdc14",
    "witness-size": 2702,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08 23:40:53.436819",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "7a79a3f5fb6f7bc644c71fa674d7cdc38e6fc818827a0eea9d3303d91ac91a99",
    "programfile": "../../sv-benchmarks/c/recursive-simple/id2_b3_o5.c",
    "programhash": "7a79a3f5fb6f7bc644c71fa674d7cdc38e6fc818827a0eea9d3303d91ac91a99",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/066ab418682ca98e1aae5acfd79a4a3c2647e589901254dd5560089c93711131.zip",
    "witness-number-of-tests": 304,
    "witness-sha256": "066ab418682ca98e1aae5acfd79a4a3c2647e589901254dd5560089c93711131",
    "witness-size": 123799,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:45:41",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "7a79a3f5fb6f7bc644c71fa674d7cdc38e6fc818827a0eea9d3303d91ac91a99",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_47c94cd7-8fc0-4100-96f5-a5af950e566e/sv-benchmarks/c/recursive-simple/id2_b3_o5.c",
    "programhash": "7a79a3f5fb6f7bc644c71fa674d7cdc38e6fc818827a0eea9d3303d91ac91a99",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/39862043b116f0430ebbddbb1e550021a4bf9175535678a5ebdff3100789ebc2.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "39862043b116f0430ebbddbb1e550021a4bf9175535678a5ebdff3100789ebc2",
    "witness-size": 7694,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 06:39:37 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "7a79a3f5fb6f7bc644c71fa674d7cdc38e6fc818827a0eea9d3303d91ac91a99",
    "programfile": "../../sv-benchmarks/c/recursive-simple/id2_b3_o5.c",
    "programhash": "7a79a3f5fb6f7bc644c71fa674d7cdc38e6fc818827a0eea9d3303d91ac91a99",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/92000efd028e4cc737c349067370c2bcbe1d555fda082e94da6fb34d776225fa.zip",
    "witness-number-of-tests": 29,
    "witness-sha256": "92000efd028e4cc737c349067370c2bcbe1d555fda082e94da6fb34d776225fa",
    "witness-size": 29872,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T00:40:40+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "7a79a3f5fb6f7bc644c71fa674d7cdc38e6fc818827a0eea9d3303d91ac91a99",
    "programfile": "../../sv-benchmarks/c/recursive-simple/id2_b3_o5.c",
    "programhash": "7a79a3f5fb6f7bc644c71fa674d7cdc38e6fc818827a0eea9d3303d91ac91a99",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/d41aa1ad5e36cc71ec8c9315d5d5ff465b5816395bfcd4f1437723e81ddced8b.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "d41aa1ad5e36cc71ec8c9315d5d5ff465b5816395bfcd4f1437723e81ddced8b",
    "witness-size": 1698,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T19:37:54Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "7a79a3f5fb6f7bc644c71fa674d7cdc38e6fc818827a0eea9d3303d91ac91a99",
    "programfile": "id2_b3_o5.c.c",
    "programhash": "7a79a3f5fb6f7bc644c71fa674d7cdc38e6fc818827a0eea9d3303d91ac91a99",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/6a26792e011e1f25aa0c371ddaf436ea013040fbe38e9af14a0fe6f3fe54d45b.zip",
    "witness-number-of-tests": 1001,
    "witness-sha256": "6a26792e011e1f25aa0c371ddaf436ea013040fbe38e9af14a0fe6f3fe54d45b",
    "witness-size": 389348,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:32:28Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "7a79a3f5fb6f7bc644c71fa674d7cdc38e6fc818827a0eea9d3303d91ac91a99",
    "programfile": "id2_b3_o5.c.c",
    "programhash": "7a79a3f5fb6f7bc644c71fa674d7cdc38e6fc818827a0eea9d3303d91ac91a99",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/f315b97dfd0b4e0fa02d1e75c3efe16f0fb298e3135b7d245bd833cf46e6be68.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "f315b97dfd0b4e0fa02d1e75c3efe16f0fb298e3135b7d245bd833cf46e6be68",
    "witness-size": 41102,
    "witness-type": "test-suite"
  }
]