[
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T01:33:49+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "c4d1305b6b34e23288ca23b9df5a7b425e94712cd1b5b12eaaf1a3aa2f8ae65f",
    "programfile": "../../sv-benchmarks/c/recursive/Addition02.c",
    "programhash": "c4d1305b6b34e23288ca23b9df5a7b425e94712cd1b5b12eaaf1a3aa2f8ae65f",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/fc3a49008ae887735eb3fff1cf7d3cfcd87bc30e6f7d00596e3a39a3dc3e7883.zip",
    "witness-number-of-tests": 7,
    "witness-sha256": "fc3a49008ae887735eb3fff1cf7d3cfcd87bc30e6f7d00596e3a39a3dc3e7883",
    "witness-size": 3371,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T04:29:21+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "c4d1305b6b34e23288ca23b9df5a7b425e94712cd1b5b12eaaf1a3aa2f8ae65f",
    "programfile": "../../sv-benchmarks/c/recursive/Addition02.c",
    "programhash": "c4d1305b6b34e23288ca23b9df5a7b425e94712cd1b5b12eaaf1a3aa2f8ae65f",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/12dab03c9ef86f3a9b1898bfc24d004e8f20599a34b12a24eef5e6bc191f44e4.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "12dab03c9ef86f3a9b1898bfc24d004e8f20599a34b12a24eef5e6bc191f44e4",
    "witness-size": 658,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T03:43:25Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "c4d1305b6b34e23288ca23b9df5a7b425e94712cd1b5b12eaaf1a3aa2f8ae65f",
    "programfile": "Addition02.c.c",
    "programhash": "c4d1305b6b34e23288ca23b9df5a7b425e94712cd1b5b12eaaf1a3aa2f8ae65f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/a71a6c99d3ab30b8bdd3ad75443bb0d848e13f6bdda4890ede340026f7e52056.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "a71a6c99d3ab30b8bdd3ad75443bb0d848e13f6bdda4890ede340026f7e52056",
    "witness-size": 4604,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T03:43:25Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "c4d1305b6b34e23288ca23b9df5a7b425e94712cd1b5b12eaaf1a3aa2f8ae65f",
    "programfile": "Addition02.c.c",
    "programhash": "c4d1305b6b34e23288ca23b9df5a7b425e94712cd1b5b12eaaf1a3aa2f8ae65f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/232c4d49e9ea24121ccbeef0e28fe5702faae29a6fcebd9c4a72647247a6e4c2.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "232c4d49e9ea24121ccbeef0e28fe5702faae29a6fcebd9c4a72647247a6e4c2",
    "witness-size": 2904,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T05:07:28+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "c4d1305b6b34e23288ca23b9df5a7b425e94712cd1b5b12eaaf1a3aa2f8ae65f",
    "programfile": "../../sv-benchmarks/c/recursive/Addition02.c",
    "programhash": "c4d1305b6b34e23288ca23b9df5a7b425e94712cd1b5b12eaaf1a3aa2f8ae65f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/326633dfedd1adfaa16fe9f545c2b51cc260c71f027e678b3fdf55386ac65ace.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "326633dfedd1adfaa16fe9f545c2b51cc260c71f027e678b3fdf55386ac65ace",
    "witness-size": 2898,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T07:21 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "c4d1305b6b34e23288ca23b9df5a7b425e94712cd1b5b12eaaf1a3aa2f8ae65f",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_1112956a-6ad4-4fdb-9aec-4267613e9895/sv-benchmarks/c/recursive/Addition02.c",
    "programhash": "c4d1305b6b34e23288ca23b9df5a7b425e94712cd1b5b12eaaf1a3aa2f8ae65f",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/c4a1d470814a4b4ac7112f8890187966a602b34a850142514b4d57bacd49aeab.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "c4a1d470814a4b4ac7112f8890187966a602b34a850142514b4d57bacd49aeab",
    "witness-size": 915,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-05T22:54:20Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "c4d1305b6b34e23288ca23b9df5a7b425e94712cd1b5b12eaaf1a3aa2f8ae65f",
    "programfile": "Addition02.c.c",
    "programhash": "c4d1305b6b34e23288ca23b9df5a7b425e94712cd1b5b12eaaf1a3aa2f8ae65f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/cc2529088f2afabb90e86cb9439a33ef0cbbf39eae4de12acc2604afee60aff9.zip",
    "witness-number-of-tests": 12,
    "witness-sha256": "cc2529088f2afabb90e86cb9439a33ef0cbbf39eae4de12acc2604afee60aff9",
    "witness-size": 51484,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T14:54 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "c4d1305b6b34e23288ca23b9df5a7b425e94712cd1b5b12eaaf1a3aa2f8ae65f",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_1112956a-6ad4-4fdb-9aec-4267613e9895/sv-benchmarks/c/recursive/Addition02.c",
    "programhash": "c4d1305b6b34e23288ca23b9df5a7b425e94712cd1b5b12eaaf1a3aa2f8ae65f",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/f8d597cd262bf1308bf37ee0c2bfa2319d53729f61200e3a5dbf678b9595b92d.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "f8d597cd262bf1308bf37ee0c2bfa2319d53729f61200e3a5dbf678b9595b92d",
    "witness-size": 2840,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T05:07:28+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "c4d1305b6b34e23288ca23b9df5a7b425e94712cd1b5b12eaaf1a3aa2f8ae65f",
    "programfile": "../../sv-benchmarks/c/recursive/Addition02.c",
    "programhash": "c4d1305b6b34e23288ca23b9df5a7b425e94712cd1b5b12eaaf1a3aa2f8ae65f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/8c735572c076cf63c6c65256aed4bd5f82f7fc755fda824186f79a8ee1db32ae.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "8c735572c076cf63c6c65256aed4bd5f82f7fc755fda824186f79a8ee1db32ae",
    "witness-size": 3768,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-05T22:54:20Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "c4d1305b6b34e23288ca23b9df5a7b425e94712cd1b5b12eaaf1a3aa2f8ae65f",
    "programfile": "Addition02.c.c",
    "programhash": "c4d1305b6b34e23288ca23b9df5a7b425e94712cd1b5b12eaaf1a3aa2f8ae65f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/b3e5ce73e9b2c73826a8b5355d4dedb3e3690510ed087803c04dd3965e199418.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "b3e5ce73e9b2c73826a8b5355d4dedb3e3690510ed087803c04dd3965e199418",
    "witness-size": 2921,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T01:33:49+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "c4d1305b6b34e23288ca23b9df5a7b425e94712cd1b5b12eaaf1a3aa2f8ae65f",
    "programfile": "../../sv-benchmarks/c/recursive/Addition02.c",
    "programhash": "c4d1305b6b34e23288ca23b9df5a7b425e94712cd1b5b12eaaf1a3aa2f8ae65f",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/acb029457f3f6c28daaf013bee8c8e964c2bdc7ba1e1558154ea6c4c4c6903f9.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "acb029457f3f6c28daaf013bee8c8e964c2bdc7ba1e1558154ea6c4c4c6903f9",
    "witness-size": 2949,
    "witness-type": "test-suite"
  }
]