[
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T02:13:58+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "a8efe39bb66f2edaea4f8b0c0914ba1115ab71d776ec4bb20ba56c660486fd56",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr-var-start-time.3.2.ufo.UNBOUNDED.pals.c",
    "programhash": "a8efe39bb66f2edaea4f8b0c0914ba1115ab71d776ec4bb20ba56c660486fd56",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/c669d0d5de35871bb0a1917a5e16448a3d0ad24b6e6007fbfcfe8fff8c1f70b6.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "c669d0d5de35871bb0a1917a5e16448a3d0ad24b6e6007fbfcfe8fff8c1f70b6",
    "witness-size": 4921,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T11:30 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "a8efe39bb66f2edaea4f8b0c0914ba1115ab71d776ec4bb20ba56c660486fd56",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_99bfd7e3-9d49-407b-b976-8dee0227e22e/sv-benchmarks/c/seq-mthreaded/pals_lcr-var-start-time.3.2.ufo.UNBOUNDED.pals.c",
    "programhash": "a8efe39bb66f2edaea4f8b0c0914ba1115ab71d776ec4bb20ba56c660486fd56",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/7b8bcb7e07cc3855bfe0dbd82d16ca20b1a67d6fd6bece865ca0e791f5fb7272.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "7b8bcb7e07cc3855bfe0dbd82d16ca20b1a67d6fd6bece865ca0e791f5fb7272",
    "witness-size": 954,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T01:22:25+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "a8efe39bb66f2edaea4f8b0c0914ba1115ab71d776ec4bb20ba56c660486fd56",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr-var-start-time.3.2.ufo.UNBOUNDED.pals.c",
    "programhash": "a8efe39bb66f2edaea4f8b0c0914ba1115ab71d776ec4bb20ba56c660486fd56",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/241bdb9d16dbad2110168169e6ac7a728732d3eb2058eba7fad79fe88f0f2ede.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "241bdb9d16dbad2110168169e6ac7a728732d3eb2058eba7fad79fe88f0f2ede",
    "witness-size": 5017,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T01:22:25+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "a8efe39bb66f2edaea4f8b0c0914ba1115ab71d776ec4bb20ba56c660486fd56",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr-var-start-time.3.2.ufo.UNBOUNDED.pals.c",
    "programhash": "a8efe39bb66f2edaea4f8b0c0914ba1115ab71d776ec4bb20ba56c660486fd56",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/c41010d993c2ec85fee591d369c73e3a2d3241c034f264de2e9675f48eed270e.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "c41010d993c2ec85fee591d369c73e3a2d3241c034f264de2e9675f48eed270e",
    "witness-size": 1134,
    "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": "a8efe39bb66f2edaea4f8b0c0914ba1115ab71d776ec4bb20ba56c660486fd56",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_99bfd7e3-9d49-407b-b976-8dee0227e22e/sv-benchmarks/c/seq-mthreaded/pals_lcr-var-start-time.3.2.ufo.UNBOUNDED.pals.c",
    "programhash": "a8efe39bb66f2edaea4f8b0c0914ba1115ab71d776ec4bb20ba56c660486fd56",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/9a2ebaec9f2625c0ec35f0244045065d7cf06fca105093aee3eea628d67bd5b6.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "9a2ebaec9f2625c0ec35f0244045065d7cf06fca105093aee3eea628d67bd5b6",
    "witness-size": 4859,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T02:13:58+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "a8efe39bb66f2edaea4f8b0c0914ba1115ab71d776ec4bb20ba56c660486fd56",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr-var-start-time.3.2.ufo.UNBOUNDED.pals.c",
    "programhash": "a8efe39bb66f2edaea4f8b0c0914ba1115ab71d776ec4bb20ba56c660486fd56",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/345b06b317ca4aaed00a14991e0d2a1983c1eb9901dd393d137ee7006e2ee6f5.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "345b06b317ca4aaed00a14991e0d2a1983c1eb9901dd393d137ee7006e2ee6f5",
    "witness-size": 1040,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T05:57:24Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "a8efe39bb66f2edaea4f8b0c0914ba1115ab71d776ec4bb20ba56c660486fd56",
    "programfile": "pals_lcr-var-start-time.3.2.ufo.UNBOUNDED.pals.c.c",
    "programhash": "a8efe39bb66f2edaea4f8b0c0914ba1115ab71d776ec4bb20ba56c660486fd56",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/bf23f0b1f233e68ac97d99295b0f67c841cbf28ce03dc56bcf1301a666864abc.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "bf23f0b1f233e68ac97d99295b0f67c841cbf28ce03dc56bcf1301a666864abc",
    "witness-size": 4956,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T05:57:24Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "a8efe39bb66f2edaea4f8b0c0914ba1115ab71d776ec4bb20ba56c660486fd56",
    "programfile": "pals_lcr-var-start-time.3.2.ufo.UNBOUNDED.pals.c.c",
    "programhash": "a8efe39bb66f2edaea4f8b0c0914ba1115ab71d776ec4bb20ba56c660486fd56",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/29d7b439c112810496a8281a54098c9332cb10519bb07cd250399ffa90bf3189.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "29d7b439c112810496a8281a54098c9332cb10519bb07cd250399ffa90bf3189",
    "witness-size": 7655,
    "witness-type": "test-suite"
  }
]