[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T10:39:32+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "5e711a00f756195080f50280964ab537e1aa2b6e6d2b5f9809866ab196616b13",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr-var-start-time.5.ufo.BOUNDED-10.pals.c",
    "programhash": "5e711a00f756195080f50280964ab537e1aa2b6e6d2b5f9809866ab196616b13",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/c00d0af106de21dfdfabe9294373aa7b059b023d4d5021bb233d697180f94d1a.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "c00d0af106de21dfdfabe9294373aa7b059b023d4d5021bb233d697180f94d1a",
    "witness-size": 4842,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 04:10:07.528964",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "5e711a00f756195080f50280964ab537e1aa2b6e6d2b5f9809866ab196616b13",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr-var-start-time.5.ufo.BOUNDED-10.pals.c",
    "programhash": "5e711a00f756195080f50280964ab537e1aa2b6e6d2b5f9809866ab196616b13",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/c65c8eaba52e049ac5a1f7d908f31d16bc335adb62645536ab979c1e8d354fd9.zip",
    "witness-number-of-tests": 663,
    "witness-sha256": "c65c8eaba52e049ac5a1f7d908f31d16bc335adb62645536ab979c1e8d354fd9",
    "witness-size": 326001,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T07:01:45+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "5e711a00f756195080f50280964ab537e1aa2b6e6d2b5f9809866ab196616b13",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr-var-start-time.5.ufo.BOUNDED-10.pals.c",
    "programhash": "5e711a00f756195080f50280964ab537e1aa2b6e6d2b5f9809866ab196616b13",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/bb9b6ec54087f798f384bece9a1ec38e44c1d12554ccdfe86c73f907990455a8.zip",
    "witness-number-of-tests": 87,
    "witness-sha256": "bb9b6ec54087f798f384bece9a1ec38e44c1d12554ccdfe86c73f907990455a8",
    "witness-size": 33675,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T10:31:10Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "5e711a00f756195080f50280964ab537e1aa2b6e6d2b5f9809866ab196616b13",
    "programfile": "pals_lcr-var-start-time.5.ufo.BOUNDED-10.pals.c.c",
    "programhash": "5e711a00f756195080f50280964ab537e1aa2b6e6d2b5f9809866ab196616b13",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/23b0aa04d741f9d1ab536796e2aa75f2315d6654c8c9fec7d258f3be214e2862.zip",
    "witness-number-of-tests": 27,
    "witness-sha256": "23b0aa04d741f9d1ab536796e2aa75f2315d6654c8c9fec7d258f3be214e2862",
    "witness-size": 18925,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:43:50",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "5e711a00f756195080f50280964ab537e1aa2b6e6d2b5f9809866ab196616b13",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_33fc8804-7828-41c4-9df9-3f376c609f5f/sv-benchmarks/c/seq-mthreaded/pals_lcr-var-start-time.5.ufo.BOUNDED-10.pals.c",
    "programhash": "5e711a00f756195080f50280964ab537e1aa2b6e6d2b5f9809866ab196616b13",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/2a1c0aed327b0b1d794f67ec216cd680216fbac77fec9eda9eba9bb9772025e0.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "2a1c0aed327b0b1d794f67ec216cd680216fbac77fec9eda9eba9bb9772025e0",
    "witness-size": 29300,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 00:14:39 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "5e711a00f756195080f50280964ab537e1aa2b6e6d2b5f9809866ab196616b13",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr-var-start-time.5.ufo.BOUNDED-10.pals.c",
    "programhash": "5e711a00f756195080f50280964ab537e1aa2b6e6d2b5f9809866ab196616b13",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/afc83aaaa307e73eb217de3e84d8fca30bcda924f81bc68a9c4cb5c3dd0032ab.zip",
    "witness-number-of-tests": 73,
    "witness-sha256": "afc83aaaa307e73eb217de3e84d8fca30bcda924f81bc68a9c4cb5c3dd0032ab",
    "witness-size": 67942,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T13:56:38Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "5e711a00f756195080f50280964ab537e1aa2b6e6d2b5f9809866ab196616b13",
    "programfile": "pals_lcr-var-start-time.5.ufo.BOUNDED-10.pals.c.c",
    "programhash": "5e711a00f756195080f50280964ab537e1aa2b6e6d2b5f9809866ab196616b13",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/472b89ef2ca3e3b0161e0f7e5d55967fd6170617aecce7bac994fc2c016be929.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "472b89ef2ca3e3b0161e0f7e5d55967fd6170617aecce7bac994fc2c016be929",
    "witness-size": 35450,
    "witness-type": "test-suite"
  }
]