[
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T05:32:25Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "60bb965959aa033ee023736425fda121cbabc2937a72e52b5ee005d3fb037da9",
    "programfile": "Ackermann02.c.c",
    "programhash": "60bb965959aa033ee023736425fda121cbabc2937a72e52b5ee005d3fb037da9",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/cc37d6573a46e2e0d71a57c988667894ac816e1c88ad132a81bc7aac15d0fa83.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "cc37d6573a46e2e0d71a57c988667894ac816e1c88ad132a81bc7aac15d0fa83",
    "witness-size": 2947,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T02:33:01Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "60bb965959aa033ee023736425fda121cbabc2937a72e52b5ee005d3fb037da9",
    "programfile": "Ackermann02.c.c",
    "programhash": "60bb965959aa033ee023736425fda121cbabc2937a72e52b5ee005d3fb037da9",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/ed73e4ab2481bb53a9dea749d7315a3c2611ca306ed5e2657e6d7727356fa7bc.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "ed73e4ab2481bb53a9dea749d7315a3c2611ca306ed5e2657e6d7727356fa7bc",
    "witness-size": 2938,
    "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": "60bb965959aa033ee023736425fda121cbabc2937a72e52b5ee005d3fb037da9",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_7a1d8ba5-c8fc-43b1-9e4d-5d52908322aa/sv-benchmarks/c/recursive/Ackermann02.c",
    "programhash": "60bb965959aa033ee023736425fda121cbabc2937a72e52b5ee005d3fb037da9",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/73488b6743e366035451be0ab33bce5fce6a5977a8fa99f8a73e9975c6acaabb.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "73488b6743e366035451be0ab33bce5fce6a5977a8fa99f8a73e9975c6acaabb",
    "witness-size": 2898,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T01:24:41+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "60bb965959aa033ee023736425fda121cbabc2937a72e52b5ee005d3fb037da9",
    "programfile": "../../sv-benchmarks/c/recursive/Ackermann02.c",
    "programhash": "60bb965959aa033ee023736425fda121cbabc2937a72e52b5ee005d3fb037da9",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/c7a1e909d3314fc954d85fa5b490fdf38b4048eb80d1199adbfeff9c2a4487ca.zip",
    "witness-number-of-tests": 10,
    "witness-sha256": "c7a1e909d3314fc954d85fa5b490fdf38b4048eb80d1199adbfeff9c2a4487ca",
    "witness-size": 4096,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T13:07 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "60bb965959aa033ee023736425fda121cbabc2937a72e52b5ee005d3fb037da9",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_2fdf73b4-bd0e-4b07-bda8-20ed3918350f/sv-benchmarks/c/recursive/Ackermann02.c",
    "programhash": "60bb965959aa033ee023736425fda121cbabc2937a72e52b5ee005d3fb037da9",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/a634fc2f38e9db1e1e4231315597bc3115b98b75dd6d250ec92f2609c42b3a33.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "a634fc2f38e9db1e1e4231315597bc3115b98b75dd6d250ec92f2609c42b3a33",
    "witness-size": 917,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T02:33:01Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "60bb965959aa033ee023736425fda121cbabc2937a72e52b5ee005d3fb037da9",
    "programfile": "Ackermann02.c.c",
    "programhash": "60bb965959aa033ee023736425fda121cbabc2937a72e52b5ee005d3fb037da9",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/e40d11fc0cf7cd8c5e05c4292e14486bd8f5dfbbb5fd6906f462cd435bc93923.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "e40d11fc0cf7cd8c5e05c4292e14486bd8f5dfbbb5fd6906f462cd435bc93923",
    "witness-size": 4646,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T02:57:03+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "60bb965959aa033ee023736425fda121cbabc2937a72e52b5ee005d3fb037da9",
    "programfile": "../../sv-benchmarks/c/recursive/Ackermann02.c",
    "programhash": "60bb965959aa033ee023736425fda121cbabc2937a72e52b5ee005d3fb037da9",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/c02880a7d1647a3ab81238c397bd098a5f936f5810e84192d178ee3cffd3b073.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "c02880a7d1647a3ab81238c397bd098a5f936f5810e84192d178ee3cffd3b073",
    "witness-size": 659,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T03:09:38+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "60bb965959aa033ee023736425fda121cbabc2937a72e52b5ee005d3fb037da9",
    "programfile": "../../sv-benchmarks/c/recursive/Ackermann02.c",
    "programhash": "60bb965959aa033ee023736425fda121cbabc2937a72e52b5ee005d3fb037da9",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/ec98ade86a002f07558fbe75526958707d1728df54dd3d42e6b1e9619751b41e.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "ec98ade86a002f07558fbe75526958707d1728df54dd3d42e6b1e9619751b41e",
    "witness-size": 1409,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T13:34 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "60bb965959aa033ee023736425fda121cbabc2937a72e52b5ee005d3fb037da9",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_7a1d8ba5-c8fc-43b1-9e4d-5d52908322aa/sv-benchmarks/c/recursive/Ackermann02.c",
    "programhash": "60bb965959aa033ee023736425fda121cbabc2937a72e52b5ee005d3fb037da9",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/38791ca86ecd5998c9311a93b74e0d3aeed2e66dbdbd2fd1471a049e657ef0a4.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "38791ca86ecd5998c9311a93b74e0d3aeed2e66dbdbd2fd1471a049e657ef0a4",
    "witness-size": 2611,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T05:32:25Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "60bb965959aa033ee023736425fda121cbabc2937a72e52b5ee005d3fb037da9",
    "programfile": "Ackermann02.c.c",
    "programhash": "60bb965959aa033ee023736425fda121cbabc2937a72e52b5ee005d3fb037da9",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/db3c9ef023f105ed672b5c3707829b89e0c8f23baddb6ef586d94aa4dd520b19.zip",
    "witness-number-of-tests": 15,
    "witness-sha256": "db3c9ef023f105ed672b5c3707829b89e0c8f23baddb6ef586d94aa4dd520b19",
    "witness-size": 34140,
    "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": "60bb965959aa033ee023736425fda121cbabc2937a72e52b5ee005d3fb037da9",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_2fdf73b4-bd0e-4b07-bda8-20ed3918350f/sv-benchmarks/c/recursive/Ackermann02.c",
    "programhash": "60bb965959aa033ee023736425fda121cbabc2937a72e52b5ee005d3fb037da9",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/b055139f1901276c710713c1d27c11ed4cd95153f1957e364174a980fdd6bd16.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "b055139f1901276c710713c1d27c11ed4cd95153f1957e364174a980fdd6bd16",
    "witness-size": 2875,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T01:24:41+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "60bb965959aa033ee023736425fda121cbabc2937a72e52b5ee005d3fb037da9",
    "programfile": "../../sv-benchmarks/c/recursive/Ackermann02.c",
    "programhash": "60bb965959aa033ee023736425fda121cbabc2937a72e52b5ee005d3fb037da9",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/347779447464ee2cb9d5c84d0175a8ed19fc0aec86bed33690f3faac15afafbe.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "347779447464ee2cb9d5c84d0175a8ed19fc0aec86bed33690f3faac15afafbe",
    "witness-size": 2939,
    "witness-type": "test-suite"
  }
]