[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T06:50:39+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "ac11312b601ae3e97b9eddafa5761759595f9e43e169342511725659a5d10ed9",
    "programfile": "../../sv-benchmarks/c/recursive/Ackermann04.c",
    "programhash": "ac11312b601ae3e97b9eddafa5761759595f9e43e169342511725659a5d10ed9",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/67423ecd36597f5444949afb9209c5292a4f38ead25085acde9d6352a283e493.zip",
    "witness-number-of-tests": 10,
    "witness-sha256": "67423ecd36597f5444949afb9209c5292a4f38ead25085acde9d6352a283e493",
    "witness-size": 4105,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Sun Dec  8 23:47:50 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "ac11312b601ae3e97b9eddafa5761759595f9e43e169342511725659a5d10ed9",
    "programfile": "../../sv-benchmarks/c/recursive/Ackermann04.c",
    "programhash": "ac11312b601ae3e97b9eddafa5761759595f9e43e169342511725659a5d10ed9",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/20a2d13c5ab63fd92ee8d867021ed54b72ae5ebd8838df37dcdb75a99cc376ce.zip",
    "witness-number-of-tests": 24,
    "witness-sha256": "20a2d13c5ab63fd92ee8d867021ed54b72ae5ebd8838df37dcdb75a99cc376ce",
    "witness-size": 53295,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:03:31+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "ac11312b601ae3e97b9eddafa5761759595f9e43e169342511725659a5d10ed9",
    "programfile": "../../sv-benchmarks/c/recursive/Ackermann04.c",
    "programhash": "ac11312b601ae3e97b9eddafa5761759595f9e43e169342511725659a5d10ed9",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/531285ec2bd4b741b79fca3bca11a3bb0e14de752254e1311c8438fc67e8171e.zip",
    "witness-number-of-tests": 7,
    "witness-sha256": "531285ec2bd4b741b79fca3bca11a3bb0e14de752254e1311c8438fc67e8171e",
    "witness-size": 3172,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 09:31:43",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "ac11312b601ae3e97b9eddafa5761759595f9e43e169342511725659a5d10ed9",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_2bf8fb0d-9a7f-4823-a037-110e6c0d7fd4/sv-benchmarks/c/recursive/Ackermann04.c",
    "programhash": "ac11312b601ae3e97b9eddafa5761759595f9e43e169342511725659a5d10ed9",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/394cb7c70d1b0d9df996e7f3b317191953cf52b159a7ee9b85b7e6bcacde2c1c.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "394cb7c70d1b0d9df996e7f3b317191953cf52b159a7ee9b85b7e6bcacde2c1c",
    "witness-size": 8018,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T14:45:13Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "ac11312b601ae3e97b9eddafa5761759595f9e43e169342511725659a5d10ed9",
    "programfile": "Ackermann04.c.c",
    "programhash": "ac11312b601ae3e97b9eddafa5761759595f9e43e169342511725659a5d10ed9",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/6fd8932fcea01b511b180af28bcb724b3eb1a6c2a706067c1315ce37b8f7af46.zip",
    "witness-number-of-tests": 31,
    "witness-sha256": "6fd8932fcea01b511b180af28bcb724b3eb1a6c2a706067c1315ce37b8f7af46",
    "witness-size": 44488,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T07:20:12Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "ac11312b601ae3e97b9eddafa5761759595f9e43e169342511725659a5d10ed9",
    "programfile": "Ackermann04.c.c",
    "programhash": "ac11312b601ae3e97b9eddafa5761759595f9e43e169342511725659a5d10ed9",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/91d1c0175c387b299d77e7e5cde0d8da1c671431c48eaeb0f257932f6197ae37.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "91d1c0175c387b299d77e7e5cde0d8da1c671431c48eaeb0f257932f6197ae37",
    "witness-size": 31803,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 01:34:12.831504",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "ac11312b601ae3e97b9eddafa5761759595f9e43e169342511725659a5d10ed9",
    "programfile": "../../sv-benchmarks/c/recursive/Ackermann04.c",
    "programhash": "ac11312b601ae3e97b9eddafa5761759595f9e43e169342511725659a5d10ed9",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/e95922a572a61f9ac00e0ad5ca2f682bf033cb74f09c95efecd86cf2b8d4fea3.zip",
    "witness-number-of-tests": 167,
    "witness-sha256": "e95922a572a61f9ac00e0ad5ca2f682bf033cb74f09c95efecd86cf2b8d4fea3",
    "witness-size": 72472,
    "witness-type": "test-suite"
  }
]