[
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T14:55 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "ad1c1646da7ee5fa26d3d858da507d5c3608668c8039d5e58249d4578190361a",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_0a326b13-71e9-44da-b2da-00bbd51b71ad/sv-benchmarks/c/recursive/McCarthy91-1.c",
    "programhash": "ad1c1646da7ee5fa26d3d858da507d5c3608668c8039d5e58249d4578190361a",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/65fc40481d22949b78c828a86ebcf746c29a5979b4af886339ed145bcd1bccf1.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "65fc40481d22949b78c828a86ebcf746c29a5979b4af886339ed145bcd1bccf1",
    "witness-size": 2787,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T09:01 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "ad1c1646da7ee5fa26d3d858da507d5c3608668c8039d5e58249d4578190361a",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_0a326b13-71e9-44da-b2da-00bbd51b71ad/sv-benchmarks/c/recursive/McCarthy91-1.c",
    "programhash": "ad1c1646da7ee5fa26d3d858da507d5c3608668c8039d5e58249d4578190361a",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/aea0f6f61541b52d5fe8258ba0532d1ea32f1538ebf5993e460eb936a326954a.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "aea0f6f61541b52d5fe8258ba0532d1ea32f1538ebf5993e460eb936a326954a",
    "witness-size": 918,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T04:38:43+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "ad1c1646da7ee5fa26d3d858da507d5c3608668c8039d5e58249d4578190361a",
    "programfile": "../../sv-benchmarks/c/recursive/McCarthy91-1.c",
    "programhash": "ad1c1646da7ee5fa26d3d858da507d5c3608668c8039d5e58249d4578190361a",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/b13e8dad9b444551be716f296e9c0059132a9403bc7b52078945ed5de3e61e43.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "b13e8dad9b444551be716f296e9c0059132a9403bc7b52078945ed5de3e61e43",
    "witness-size": 2833,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T01:30:07Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "ad1c1646da7ee5fa26d3d858da507d5c3608668c8039d5e58249d4578190361a",
    "programfile": "McCarthy91-1.c.c",
    "programhash": "ad1c1646da7ee5fa26d3d858da507d5c3608668c8039d5e58249d4578190361a",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/5aa0b71e4f5f40e2484998891d2256e84c66ebf2509f71fb265336ff6111b53f.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "5aa0b71e4f5f40e2484998891d2256e84c66ebf2509f71fb265336ff6111b53f",
    "witness-size": 2841,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T23:19:54+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "ad1c1646da7ee5fa26d3d858da507d5c3608668c8039d5e58249d4578190361a",
    "programfile": "../../sv-benchmarks/c/recursive/McCarthy91-1.c",
    "programhash": "ad1c1646da7ee5fa26d3d858da507d5c3608668c8039d5e58249d4578190361a",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/96f634baf250eea959c47b58aff43cac89b0648c79add9b8889851afd8b3f17b.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "96f634baf250eea959c47b58aff43cac89b0648c79add9b8889851afd8b3f17b",
    "witness-size": 662,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T05:38:23Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "ad1c1646da7ee5fa26d3d858da507d5c3608668c8039d5e58249d4578190361a",
    "programfile": "McCarthy91-1.c.c",
    "programhash": "ad1c1646da7ee5fa26d3d858da507d5c3608668c8039d5e58249d4578190361a",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/32b4710549ce38a139af40d534f374166b1fe852b9c08239cb95df0e23abf1da.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "32b4710549ce38a139af40d534f374166b1fe852b9c08239cb95df0e23abf1da",
    "witness-size": 4488,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T00:15:44+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "ad1c1646da7ee5fa26d3d858da507d5c3608668c8039d5e58249d4578190361a",
    "programfile": "../../sv-benchmarks/c/recursive/McCarthy91-1.c",
    "programhash": "ad1c1646da7ee5fa26d3d858da507d5c3608668c8039d5e58249d4578190361a",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/508f529eae9104d9cfe63b012b5bbc87af09027a810432efc07045b3aaf02ce7.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "508f529eae9104d9cfe63b012b5bbc87af09027a810432efc07045b3aaf02ce7",
    "witness-size": 991,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T12:08 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "ad1c1646da7ee5fa26d3d858da507d5c3608668c8039d5e58249d4578190361a",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_517d46da-a9bf-48b9-9b4c-166b3377302c/sv-benchmarks/c/recursive/McCarthy91-1.c",
    "programhash": "ad1c1646da7ee5fa26d3d858da507d5c3608668c8039d5e58249d4578190361a",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/8d1019665896bb4eefa23b0dfacc2a39f4219a8080be0598ff66a2d034efe6bc.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "8d1019665896bb4eefa23b0dfacc2a39f4219a8080be0598ff66a2d034efe6bc",
    "witness-size": 1932,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T00:15:44+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "ad1c1646da7ee5fa26d3d858da507d5c3608668c8039d5e58249d4578190361a",
    "programfile": "../../sv-benchmarks/c/recursive/McCarthy91-1.c",
    "programhash": "ad1c1646da7ee5fa26d3d858da507d5c3608668c8039d5e58249d4578190361a",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/57c90ca448d0c91ccc0a5a66d6d90850c9c8ac169a658fc8271d5da0e42b1ac0.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "57c90ca448d0c91ccc0a5a66d6d90850c9c8ac169a658fc8271d5da0e42b1ac0",
    "witness-size": 2830,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T14:55 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "ad1c1646da7ee5fa26d3d858da507d5c3608668c8039d5e58249d4578190361a",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_517d46da-a9bf-48b9-9b4c-166b3377302c/sv-benchmarks/c/recursive/McCarthy91-1.c",
    "programhash": "ad1c1646da7ee5fa26d3d858da507d5c3608668c8039d5e58249d4578190361a",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/f41d9400ae5359840a508097593ecc9e639d51edb1751376a8416339473312a9.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "f41d9400ae5359840a508097593ecc9e639d51edb1751376a8416339473312a9",
    "witness-size": 2798,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T04:38:43+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "ad1c1646da7ee5fa26d3d858da507d5c3608668c8039d5e58249d4578190361a",
    "programfile": "../../sv-benchmarks/c/recursive/McCarthy91-1.c",
    "programhash": "ad1c1646da7ee5fa26d3d858da507d5c3608668c8039d5e58249d4578190361a",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/25e756f5718a7cf3f5036e49f3a465e3e63f2b2a048306a2c0f342396886e57c.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "25e756f5718a7cf3f5036e49f3a465e3e63f2b2a048306a2c0f342396886e57c",
    "witness-size": 2357,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T01:30:07Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "ad1c1646da7ee5fa26d3d858da507d5c3608668c8039d5e58249d4578190361a",
    "programfile": "McCarthy91-1.c.c",
    "programhash": "ad1c1646da7ee5fa26d3d858da507d5c3608668c8039d5e58249d4578190361a",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/3747ccff1fa3c2ba8085fcd982e4966ca31f43aadd226e0f621b70b713aab2fb.zip",
    "witness-number-of-tests": 8,
    "witness-sha256": "3747ccff1fa3c2ba8085fcd982e4966ca31f43aadd226e0f621b70b713aab2fb",
    "witness-size": 53602,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T05:49:22+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "ad1c1646da7ee5fa26d3d858da507d5c3608668c8039d5e58249d4578190361a",
    "programfile": "../../sv-benchmarks/c/recursive/McCarthy91-1.c",
    "programhash": "ad1c1646da7ee5fa26d3d858da507d5c3608668c8039d5e58249d4578190361a",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/27b10aaf67ae69764e5cd4e02647fd3d625c24e307e81b379c54f74f5d5b07f7.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "27b10aaf67ae69764e5cd4e02647fd3d625c24e307e81b379c54f74f5d5b07f7",
    "witness-size": 1028,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T05:38:23Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "ad1c1646da7ee5fa26d3d858da507d5c3608668c8039d5e58249d4578190361a",
    "programfile": "McCarthy91-1.c.c",
    "programhash": "ad1c1646da7ee5fa26d3d858da507d5c3608668c8039d5e58249d4578190361a",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/b605f4016039be7dfd8192ed73de726565a60452140a98558707992c3a9a5573.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "b605f4016039be7dfd8192ed73de726565a60452140a98558707992c3a9a5573",
    "witness-size": 2846,
    "witness-type": "test-suite"
  }
]