[
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 07:42:49 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "fedcfa56aa2dd0d45202876aeb45be688fd4bfe8f27bb2e2c1f2744a34790c35",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr-var-start-time.4.ufo.BOUNDED-8.pals.c",
    "programhash": "fedcfa56aa2dd0d45202876aeb45be688fd4bfe8f27bb2e2c1f2744a34790c35",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/346b54c67deca1c6f5aa557eeb1324e9714dfa3c66903f00838681ba5312c750.zip",
    "witness-number-of-tests": 51,
    "witness-sha256": "346b54c67deca1c6f5aa557eeb1324e9714dfa3c66903f00838681ba5312c750",
    "witness-size": 51473,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:41:13",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "fedcfa56aa2dd0d45202876aeb45be688fd4bfe8f27bb2e2c1f2744a34790c35",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_6145e82b-a0b0-4178-9e41-356b102f23c6/sv-benchmarks/c/seq-mthreaded/pals_lcr-var-start-time.4.ufo.BOUNDED-8.pals.c",
    "programhash": "fedcfa56aa2dd0d45202876aeb45be688fd4bfe8f27bb2e2c1f2744a34790c35",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/9fc2ca736e58fda1e71a39491a5b202d331baf19eaeb9436c19c3e1f2dc54ae2.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "9fc2ca736e58fda1e71a39491a5b202d331baf19eaeb9436c19c3e1f2dc54ae2",
    "witness-size": 25025,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T07:32:11+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "fedcfa56aa2dd0d45202876aeb45be688fd4bfe8f27bb2e2c1f2744a34790c35",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr-var-start-time.4.ufo.BOUNDED-8.pals.c",
    "programhash": "fedcfa56aa2dd0d45202876aeb45be688fd4bfe8f27bb2e2c1f2744a34790c35",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/ae99fa139d99d1dad541f182c14e827590870e1e4cb1fec049181213118b31b9.zip",
    "witness-number-of-tests": 8,
    "witness-sha256": "ae99fa139d99d1dad541f182c14e827590870e1e4cb1fec049181213118b31b9",
    "witness-size": 4226,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T03:16:58+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "fedcfa56aa2dd0d45202876aeb45be688fd4bfe8f27bb2e2c1f2744a34790c35",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr-var-start-time.4.ufo.BOUNDED-8.pals.c",
    "programhash": "fedcfa56aa2dd0d45202876aeb45be688fd4bfe8f27bb2e2c1f2744a34790c35",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/b5417fb2d9900e24dcbcd73d7b0f23bb0c33f835716c095b0e177b50bfa98bd2.zip",
    "witness-number-of-tests": 69,
    "witness-sha256": "b5417fb2d9900e24dcbcd73d7b0f23bb0c33f835716c095b0e177b50bfa98bd2",
    "witness-size": 26466,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 09:20:51.920618",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "fedcfa56aa2dd0d45202876aeb45be688fd4bfe8f27bb2e2c1f2744a34790c35",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr-var-start-time.4.ufo.BOUNDED-8.pals.c",
    "programhash": "fedcfa56aa2dd0d45202876aeb45be688fd4bfe8f27bb2e2c1f2744a34790c35",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/08350f6ccd9cb6f70db7db81e6871738e368fa78fda0647e0700a70f5dc67660.zip",
    "witness-number-of-tests": 693,
    "witness-sha256": "08350f6ccd9cb6f70db7db81e6871738e368fa78fda0647e0700a70f5dc67660",
    "witness-size": 335145,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T19:01:31Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "fedcfa56aa2dd0d45202876aeb45be688fd4bfe8f27bb2e2c1f2744a34790c35",
    "programfile": "pals_lcr-var-start-time.4.ufo.BOUNDED-8.pals.c.c",
    "programhash": "fedcfa56aa2dd0d45202876aeb45be688fd4bfe8f27bb2e2c1f2744a34790c35",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/db48b19567490ddade6a7af3c364c9fa26b1a1830cbb0c66c58a3c73444c3e28.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "db48b19567490ddade6a7af3c364c9fa26b1a1830cbb0c66c58a3c73444c3e28",
    "witness-size": 36922,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T10:11:43Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "fedcfa56aa2dd0d45202876aeb45be688fd4bfe8f27bb2e2c1f2744a34790c35",
    "programfile": "pals_lcr-var-start-time.4.ufo.BOUNDED-8.pals.c.c",
    "programhash": "fedcfa56aa2dd0d45202876aeb45be688fd4bfe8f27bb2e2c1f2744a34790c35",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/1fee4ca6e2a319d84272bcbae20986ada5757285afa27d369da599aab62e95e4.zip",
    "witness-number-of-tests": 21,
    "witness-sha256": "1fee4ca6e2a319d84272bcbae20986ada5757285afa27d369da599aab62e95e4",
    "witness-size": 15368,
    "witness-type": "test-suite"
  }
]