[
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T01:00:42Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "648b4c1d6e1f11bfe2b84e822d1b39edf160b0c101f2d55835b1ffa946421b34",
    "programfile": "pals_STARTPALS_ActiveStandby.4_1.ufo.UNBOUNDED.pals.c.c",
    "programhash": "648b4c1d6e1f11bfe2b84e822d1b39edf160b0c101f2d55835b1ffa946421b34",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/48aaf64b57b15b8b166314042ef552e9fb8fd353514721bf1da180f0b3b475d5.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "48aaf64b57b15b8b166314042ef552e9fb8fd353514721bf1da180f0b3b475d5",
    "witness-size": 6016,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T01:00:42Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "648b4c1d6e1f11bfe2b84e822d1b39edf160b0c101f2d55835b1ffa946421b34",
    "programfile": "pals_STARTPALS_ActiveStandby.4_1.ufo.UNBOUNDED.pals.c.c",
    "programhash": "648b4c1d6e1f11bfe2b84e822d1b39edf160b0c101f2d55835b1ffa946421b34",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/5e12ef783658080aba6a786e7f501a33a7c0ea4a3385977cb440086aa781c39a.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "5e12ef783658080aba6a786e7f501a33a7c0ea4a3385977cb440086aa781c39a",
    "witness-size": 12298,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T14:12 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "648b4c1d6e1f11bfe2b84e822d1b39edf160b0c101f2d55835b1ffa946421b34",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_e84ceadc-2fc2-400e-9772-9fcbfd340679/sv-benchmarks/c/seq-mthreaded/pals_STARTPALS_ActiveStandby.4_1.ufo.UNBOUNDED.pals.c",
    "programhash": "648b4c1d6e1f11bfe2b84e822d1b39edf160b0c101f2d55835b1ffa946421b34",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/c73ffaff13f7dec3c902ff9425f582665f47eccb65a8c7bd43770a8220ebe4cb.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "c73ffaff13f7dec3c902ff9425f582665f47eccb65a8c7bd43770a8220ebe4cb",
    "witness-size": 964,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T04:25:03+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "648b4c1d6e1f11bfe2b84e822d1b39edf160b0c101f2d55835b1ffa946421b34",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_STARTPALS_ActiveStandby.4_1.ufo.UNBOUNDED.pals.c",
    "programhash": "648b4c1d6e1f11bfe2b84e822d1b39edf160b0c101f2d55835b1ffa946421b34",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/d211a8b85b582b975a2b87dde47ad43c1a70e7f79cf4761dd671a3f906cb6293.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "d211a8b85b582b975a2b87dde47ad43c1a70e7f79cf4761dd671a3f906cb6293",
    "witness-size": 1054,
    "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": "648b4c1d6e1f11bfe2b84e822d1b39edf160b0c101f2d55835b1ffa946421b34",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_e84ceadc-2fc2-400e-9772-9fcbfd340679/sv-benchmarks/c/seq-mthreaded/pals_STARTPALS_ActiveStandby.4_1.ufo.UNBOUNDED.pals.c",
    "programhash": "648b4c1d6e1f11bfe2b84e822d1b39edf160b0c101f2d55835b1ffa946421b34",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/c7da8079393938873b0aea43e9c1e7af90f348d191f54c6e619449fcf1ef416d.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "c7da8079393938873b0aea43e9c1e7af90f348d191f54c6e619449fcf1ef416d",
    "witness-size": 5913,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T04:25:03+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "648b4c1d6e1f11bfe2b84e822d1b39edf160b0c101f2d55835b1ffa946421b34",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_STARTPALS_ActiveStandby.4_1.ufo.UNBOUNDED.pals.c",
    "programhash": "648b4c1d6e1f11bfe2b84e822d1b39edf160b0c101f2d55835b1ffa946421b34",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/79de90d4b5a1b88cf617d2350dc0ab1d681f44139047a830d0b67c8e35e86369.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "79de90d4b5a1b88cf617d2350dc0ab1d681f44139047a830d0b67c8e35e86369",
    "witness-size": 5989,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T03:18:22+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "648b4c1d6e1f11bfe2b84e822d1b39edf160b0c101f2d55835b1ffa946421b34",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_STARTPALS_ActiveStandby.4_1.ufo.UNBOUNDED.pals.c",
    "programhash": "648b4c1d6e1f11bfe2b84e822d1b39edf160b0c101f2d55835b1ffa946421b34",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/f8333d3ed3663293d91341072679d34e4366f08a786f74129ac5df40df19be62.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "f8333d3ed3663293d91341072679d34e4366f08a786f74129ac5df40df19be62",
    "witness-size": 1196,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T03:18:22+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "648b4c1d6e1f11bfe2b84e822d1b39edf160b0c101f2d55835b1ffa946421b34",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_STARTPALS_ActiveStandby.4_1.ufo.UNBOUNDED.pals.c",
    "programhash": "648b4c1d6e1f11bfe2b84e822d1b39edf160b0c101f2d55835b1ffa946421b34",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/9397f08889ad4a3def3dfab0b84f0e93b9f0ba908b6315ac0da0e296cf0e24d5.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "9397f08889ad4a3def3dfab0b84f0e93b9f0ba908b6315ac0da0e296cf0e24d5",
    "witness-size": 6133,
    "witness-type": "test-suite"
  }
]