[
  {
    "architecture": "32bit",
    "creationtime": "Sun Dec  8 23:46:39 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "6afe8bdd736999b2eca93451c0771da4fcd6a22212721cdeb99c1c66654398a2",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr-var-start-time.4.1.ufo.UNBOUNDED.pals.c",
    "programhash": "6afe8bdd736999b2eca93451c0771da4fcd6a22212721cdeb99c1c66654398a2",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/a42d8b7940cd2421310d6e051418685f1202021955775dce73a49e0821785705.zip",
    "witness-number-of-tests": 51,
    "witness-sha256": "a42d8b7940cd2421310d6e051418685f1202021955775dce73a49e0821785705",
    "witness-size": 65936,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 10:22:09.034373",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "6afe8bdd736999b2eca93451c0771da4fcd6a22212721cdeb99c1c66654398a2",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr-var-start-time.4.1.ufo.UNBOUNDED.pals.c",
    "programhash": "6afe8bdd736999b2eca93451c0771da4fcd6a22212721cdeb99c1c66654398a2",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/4c7a01e5ff8961023359bc9aa61d146416300fa63b89e2bf20d569f4ed11d7d1.zip",
    "witness-number-of-tests": 698,
    "witness-sha256": "4c7a01e5ff8961023359bc9aa61d146416300fa63b89e2bf20d569f4ed11d7d1",
    "witness-size": 344345,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:45:44",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "6afe8bdd736999b2eca93451c0771da4fcd6a22212721cdeb99c1c66654398a2",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_d2b63879-5b11-4ec2-a0a5-f5aa37e2ebf1/sv-benchmarks/c/seq-mthreaded/pals_lcr-var-start-time.4.1.ufo.UNBOUNDED.pals.c",
    "programhash": "6afe8bdd736999b2eca93451c0771da4fcd6a22212721cdeb99c1c66654398a2",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/9cdb8b3732fe67eee816182f8957f27338d79d9cd40370d5585f8f0dab1cf282.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "9cdb8b3732fe67eee816182f8957f27338d79d9cd40370d5585f8f0dab1cf282",
    "witness-size": 24441,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T10:41:57+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "6afe8bdd736999b2eca93451c0771da4fcd6a22212721cdeb99c1c66654398a2",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr-var-start-time.4.1.ufo.UNBOUNDED.pals.c",
    "programhash": "6afe8bdd736999b2eca93451c0771da4fcd6a22212721cdeb99c1c66654398a2",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/9c70b70ccbabea9bae8657bc5fca20337c3e67a114013d696bd9c68169206385.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "9c70b70ccbabea9bae8657bc5fca20337c3e67a114013d696bd9c68169206385",
    "witness-size": 670,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T04:57:34Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "6afe8bdd736999b2eca93451c0771da4fcd6a22212721cdeb99c1c66654398a2",
    "programfile": "pals_lcr-var-start-time.4.1.ufo.UNBOUNDED.pals.c.c",
    "programhash": "6afe8bdd736999b2eca93451c0771da4fcd6a22212721cdeb99c1c66654398a2",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/1076bdadd736d09fa41e459ecfd92dcbc7ce796d593101050d75a0fbcf4a8abd.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "1076bdadd736d09fa41e459ecfd92dcbc7ce796d593101050d75a0fbcf4a8abd",
    "witness-size": 7727,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T18:12:08Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "6afe8bdd736999b2eca93451c0771da4fcd6a22212721cdeb99c1c66654398a2",
    "programfile": "pals_lcr-var-start-time.4.1.ufo.UNBOUNDED.pals.c.c",
    "programhash": "6afe8bdd736999b2eca93451c0771da4fcd6a22212721cdeb99c1c66654398a2",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/b116f4895d02ab0fc32cffaf175bad2f8567bbed3cff278bd581bec51b6afac8.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "b116f4895d02ab0fc32cffaf175bad2f8567bbed3cff278bd581bec51b6afac8",
    "witness-size": 42480,
    "witness-type": "test-suite"
  }
]