[
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T00:31:26+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "298c53c55da2f9a0850df007856c1242aa182e4120e893e20abcd0af3dffff10",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label52.c",
    "programhash": "298c53c55da2f9a0850df007856c1242aa182e4120e893e20abcd0af3dffff10",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/a5d09f289d68a3cacad938fb7ba4e248475ed72b11a34e0c6f7818b097e1beec.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "a5d09f289d68a3cacad938fb7ba4e248475ed72b11a34e0c6f7818b097e1beec",
    "witness-size": 1006,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T04:54:30Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "298c53c55da2f9a0850df007856c1242aa182e4120e893e20abcd0af3dffff10",
    "programfile": "Problem03_label52.c.c",
    "programhash": "298c53c55da2f9a0850df007856c1242aa182e4120e893e20abcd0af3dffff10",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/3b9812bc6cf2d93141b9dba91f4f1351d24c8aa2a98cb8b3998003e9e7089457.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "3b9812bc6cf2d93141b9dba91f4f1351d24c8aa2a98cb8b3998003e9e7089457",
    "witness-size": 11694,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T21:49:08+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "298c53c55da2f9a0850df007856c1242aa182e4120e893e20abcd0af3dffff10",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label52.c",
    "programhash": "298c53c55da2f9a0850df007856c1242aa182e4120e893e20abcd0af3dffff10",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/a3853bd7dfa4c383e89ac261a21c06a059e112029b9c9eb4589ca7877cfdeaec.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "a3853bd7dfa4c383e89ac261a21c06a059e112029b9c9eb4589ca7877cfdeaec",
    "witness-size": 11458,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-05T21:32:37Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "298c53c55da2f9a0850df007856c1242aa182e4120e893e20abcd0af3dffff10",
    "programfile": "Problem03_label52.c.c",
    "programhash": "298c53c55da2f9a0850df007856c1242aa182e4120e893e20abcd0af3dffff10",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/1f954b4764a61f9126d1cb3c9aedc81e59317945c9f2fcbf3b8a21e791497e51.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "1f954b4764a61f9126d1cb3c9aedc81e59317945c9f2fcbf3b8a21e791497e51",
    "witness-size": 11425,
    "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": "298c53c55da2f9a0850df007856c1242aa182e4120e893e20abcd0af3dffff10",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_74d80dae-b028-4b17-a6cc-3ccda6155fc0/sv-benchmarks/c/eca-rers2012/Problem03_label52.c",
    "programhash": "298c53c55da2f9a0850df007856c1242aa182e4120e893e20abcd0af3dffff10",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/a3ac5e9cce79f4106bb28870f8e61b46501346847f18b1f83e061af7db445bdf.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "a3ac5e9cce79f4106bb28870f8e61b46501346847f18b1f83e061af7db445bdf",
    "witness-size": 11360,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T08:16 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "298c53c55da2f9a0850df007856c1242aa182e4120e893e20abcd0af3dffff10",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_74d80dae-b028-4b17-a6cc-3ccda6155fc0/sv-benchmarks/c/eca-rers2012/Problem03_label52.c",
    "programhash": "298c53c55da2f9a0850df007856c1242aa182e4120e893e20abcd0af3dffff10",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/0cac11e41bb7a2fea579580cd50d85b64186f5f52a7bdc2e62047cdffad49b5b.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "0cac11e41bb7a2fea579580cd50d85b64186f5f52a7bdc2e62047cdffad49b5b",
    "witness-size": 931,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T02:02:49+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "298c53c55da2f9a0850df007856c1242aa182e4120e893e20abcd0af3dffff10",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label52.c",
    "programhash": "298c53c55da2f9a0850df007856c1242aa182e4120e893e20abcd0af3dffff10",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/828109e0c1ef62ee20ef417784c9b528357ab4a3592cb62366d4e7d43ff934e3.zip",
    "witness-number-of-tests": 475,
    "witness-sha256": "828109e0c1ef62ee20ef417784c9b528357ab4a3592cb62366d4e7d43ff934e3",
    "witness-size": 186560,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-05T21:32:37Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "298c53c55da2f9a0850df007856c1242aa182e4120e893e20abcd0af3dffff10",
    "programfile": "Problem03_label52.c.c",
    "programhash": "298c53c55da2f9a0850df007856c1242aa182e4120e893e20abcd0af3dffff10",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/320c059b859134cdb7d9a364fe36cd0f5e46403a8bcb525919daed9ac0d452da.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "320c059b859134cdb7d9a364fe36cd0f5e46403a8bcb525919daed9ac0d452da",
    "witness-size": 61187,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T04:54:30Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "298c53c55da2f9a0850df007856c1242aa182e4120e893e20abcd0af3dffff10",
    "programfile": "Problem03_label52.c.c",
    "programhash": "298c53c55da2f9a0850df007856c1242aa182e4120e893e20abcd0af3dffff10",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/47d361266398fe485259ac8fc6a66f0dcee52585c112371e430aee5e131fbde9.zip",
    "witness-number-of-tests": 389,
    "witness-sha256": "47d361266398fe485259ac8fc6a66f0dcee52585c112371e430aee5e131fbde9",
    "witness-size": 252524,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T21:57:11+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "298c53c55da2f9a0850df007856c1242aa182e4120e893e20abcd0af3dffff10",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label52.c",
    "programhash": "298c53c55da2f9a0850df007856c1242aa182e4120e893e20abcd0af3dffff10",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/289d46920e80bee4e8f90989f14c3aa07832c0fdb7d1284f78a8a924fcb6874d.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "289d46920e80bee4e8f90989f14c3aa07832c0fdb7d1284f78a8a924fcb6874d",
    "witness-size": 11583,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T21:57:11+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "298c53c55da2f9a0850df007856c1242aa182e4120e893e20abcd0af3dffff10",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label52.c",
    "programhash": "298c53c55da2f9a0850df007856c1242aa182e4120e893e20abcd0af3dffff10",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/5336f4c22e6307db32cfd2b299962102557e9ca2fbf962de224c76db66e61830.zip",
    "witness-number-of-tests": 101,
    "witness-sha256": "5336f4c22e6307db32cfd2b299962102557e9ca2fbf962de224c76db66e61830",
    "witness-size": 36220,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T00:31:26+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "298c53c55da2f9a0850df007856c1242aa182e4120e893e20abcd0af3dffff10",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label52.c",
    "programhash": "298c53c55da2f9a0850df007856c1242aa182e4120e893e20abcd0af3dffff10",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/f48550ec4b7498be4f45eea490aee3b094a02cb8fd7092cfcb1306b28355a9ec.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "f48550ec4b7498be4f45eea490aee3b094a02cb8fd7092cfcb1306b28355a9ec",
    "witness-size": 11405,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T21:49:08+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "298c53c55da2f9a0850df007856c1242aa182e4120e893e20abcd0af3dffff10",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label52.c",
    "programhash": "298c53c55da2f9a0850df007856c1242aa182e4120e893e20abcd0af3dffff10",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/31543bc95d39f7968253c101de3607ca36796e5721693fcec673c850d5139be9.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "31543bc95d39f7968253c101de3607ca36796e5721693fcec673c850d5139be9",
    "witness-size": 1060,
    "witness-type": "test-suite"
  }
]