[
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T04:48:28+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "20f78f287fc66a356f10d5e41093b5871648750c677d2d9a838a993421614464",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_STARTPALS_Triplicated.2.ufo.UNBOUNDED.pals.c",
    "programhash": "20f78f287fc66a356f10d5e41093b5871648750c677d2d9a838a993421614464",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/a9690dec5378bd8fab11586e802a87fde6d9ab743d8a4418a08076ff5d233e77.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "a9690dec5378bd8fab11586e802a87fde6d9ab743d8a4418a08076ff5d233e77",
    "witness-size": 5742,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T08:03 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "20f78f287fc66a356f10d5e41093b5871648750c677d2d9a838a993421614464",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_33d4008d-2b34-4742-a619-4dcd9d1a88af/sv-benchmarks/c/seq-mthreaded/pals_STARTPALS_Triplicated.2.ufo.UNBOUNDED.pals.c",
    "programhash": "20f78f287fc66a356f10d5e41093b5871648750c677d2d9a838a993421614464",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/92ae8eb23cad5cd9ede0c01a6bd51158575bee4961cb932729d9ab86bdc25949.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "92ae8eb23cad5cd9ede0c01a6bd51158575bee4961cb932729d9ab86bdc25949",
    "witness-size": 968,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-05T22:05:37Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "20f78f287fc66a356f10d5e41093b5871648750c677d2d9a838a993421614464",
    "programfile": "pals_STARTPALS_Triplicated.2.ufo.UNBOUNDED.pals.c.c",
    "programhash": "20f78f287fc66a356f10d5e41093b5871648750c677d2d9a838a993421614464",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/d1a16a5ad449ea35887aae5c5c1fdee8132aff93fbf55c111a93aa87c5100513.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "d1a16a5ad449ea35887aae5c5c1fdee8132aff93fbf55c111a93aa87c5100513",
    "witness-size": 11797,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-05T22:05:37Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "20f78f287fc66a356f10d5e41093b5871648750c677d2d9a838a993421614464",
    "programfile": "pals_STARTPALS_Triplicated.2.ufo.UNBOUNDED.pals.c.c",
    "programhash": "20f78f287fc66a356f10d5e41093b5871648750c677d2d9a838a993421614464",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/cf0ad63d0088cb736f274a8f5686d6bc75c3dbc29dc26e9e8fd79f4bad53c336.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "cf0ad63d0088cb736f274a8f5686d6bc75c3dbc29dc26e9e8fd79f4bad53c336",
    "witness-size": 6050,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T04:48:28+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "20f78f287fc66a356f10d5e41093b5871648750c677d2d9a838a993421614464",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_STARTPALS_Triplicated.2.ufo.UNBOUNDED.pals.c",
    "programhash": "20f78f287fc66a356f10d5e41093b5871648750c677d2d9a838a993421614464",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/2a5c9e0f6cf8cb22882effb379cbfa111dacd5d6940eae67214a7058476ba19f.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "2a5c9e0f6cf8cb22882effb379cbfa111dacd5d6940eae67214a7058476ba19f",
    "witness-size": 1083,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T21:25:16+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "20f78f287fc66a356f10d5e41093b5871648750c677d2d9a838a993421614464",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_STARTPALS_Triplicated.2.ufo.UNBOUNDED.pals.c",
    "programhash": "20f78f287fc66a356f10d5e41093b5871648750c677d2d9a838a993421614464",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/e4ee0ed41ce7a4161822f0bcdf577b7f797488d6de3037cbba1449ea094d7b3a.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "e4ee0ed41ce7a4161822f0bcdf577b7f797488d6de3037cbba1449ea094d7b3a",
    "witness-size": 1228,
    "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": "20f78f287fc66a356f10d5e41093b5871648750c677d2d9a838a993421614464",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_33d4008d-2b34-4742-a619-4dcd9d1a88af/sv-benchmarks/c/seq-mthreaded/pals_STARTPALS_Triplicated.2.ufo.UNBOUNDED.pals.c",
    "programhash": "20f78f287fc66a356f10d5e41093b5871648750c677d2d9a838a993421614464",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/319122161a9a211e049c469d45d5de40441ca2bc1d343932a49c8c5c11fba96d.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "319122161a9a211e049c469d45d5de40441ca2bc1d343932a49c8c5c11fba96d",
    "witness-size": 5611,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T21:25:16+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "20f78f287fc66a356f10d5e41093b5871648750c677d2d9a838a993421614464",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_STARTPALS_Triplicated.2.ufo.UNBOUNDED.pals.c",
    "programhash": "20f78f287fc66a356f10d5e41093b5871648750c677d2d9a838a993421614464",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/7eda996e91228610f34c1c3bbfd12cd6f98f80b1805ac256808a417f8484f670.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "7eda996e91228610f34c1c3bbfd12cd6f98f80b1805ac256808a417f8484f670",
    "witness-size": 5889,
    "witness-type": "test-suite"
  }
]