[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T07:52:55+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "e68a2b8a0a6d284e14bea1978c768aa08d04e6cba9048236f3e21fa2a85b8210",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.8.1.ufo.BOUNDED-16.pals.c",
    "programhash": "e68a2b8a0a6d284e14bea1978c768aa08d04e6cba9048236f3e21fa2a85b8210",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/961f1cd2fcd5a65a7353ad2a292f8a538b742024cf96f02c9f40a41904f386f3.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "961f1cd2fcd5a65a7353ad2a292f8a538b742024cf96f02c9f40a41904f386f3",
    "witness-size": 1620,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Sun Dec  8 23:45:52 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "e68a2b8a0a6d284e14bea1978c768aa08d04e6cba9048236f3e21fa2a85b8210",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.8.1.ufo.BOUNDED-16.pals.c",
    "programhash": "e68a2b8a0a6d284e14bea1978c768aa08d04e6cba9048236f3e21fa2a85b8210",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/90ad9ce4693710f041f2b7d1fc543103795f614065c083e18037f1e754f6cce4.zip",
    "witness-number-of-tests": 117,
    "witness-sha256": "90ad9ce4693710f041f2b7d1fc543103795f614065c083e18037f1e754f6cce4",
    "witness-size": 100045,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T08:04:40Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "e68a2b8a0a6d284e14bea1978c768aa08d04e6cba9048236f3e21fa2a85b8210",
    "programfile": "pals_lcr.8.1.ufo.BOUNDED-16.pals.c.c",
    "programhash": "e68a2b8a0a6d284e14bea1978c768aa08d04e6cba9048236f3e21fa2a85b8210",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/9f918d86b17f9aed09c9bf707d308d08d0699f2ece11b4aca38f6267ee520238.zip",
    "witness-number-of-tests": 22,
    "witness-sha256": "9f918d86b17f9aed09c9bf707d308d08d0699f2ece11b4aca38f6267ee520238",
    "witness-size": 44489,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T13:38:33Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "e68a2b8a0a6d284e14bea1978c768aa08d04e6cba9048236f3e21fa2a85b8210",
    "programfile": "pals_lcr.8.1.ufo.BOUNDED-16.pals.c.c",
    "programhash": "e68a2b8a0a6d284e14bea1978c768aa08d04e6cba9048236f3e21fa2a85b8210",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/74fab240a7ce76bd643e64c976b15c7ba31d985deba0849832e8a0166406e3fc.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "74fab240a7ce76bd643e64c976b15c7ba31d985deba0849832e8a0166406e3fc",
    "witness-size": 42830,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:44:28",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "e68a2b8a0a6d284e14bea1978c768aa08d04e6cba9048236f3e21fa2a85b8210",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_0865c1c9-d725-42ea-a015-a5c7e6078b15/sv-benchmarks/c/seq-mthreaded/pals_lcr.8.1.ufo.BOUNDED-16.pals.c",
    "programhash": "e68a2b8a0a6d284e14bea1978c768aa08d04e6cba9048236f3e21fa2a85b8210",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/791deffb8d995d84234c3ea0ac73a51819564f6af94edf4007a5642cdd68d325.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "791deffb8d995d84234c3ea0ac73a51819564f6af94edf4007a5642cdd68d325",
    "witness-size": 676,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:46:58",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "e68a2b8a0a6d284e14bea1978c768aa08d04e6cba9048236f3e21fa2a85b8210",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_7d59182d-6113-4a16-a5bb-49640820dd9a/sv-benchmarks/c/seq-mthreaded/pals_lcr.8.1.ufo.BOUNDED-16.pals.c",
    "programhash": "e68a2b8a0a6d284e14bea1978c768aa08d04e6cba9048236f3e21fa2a85b8210",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/173f3b6ad393a3f5bd7e3a2d63f7ab079e74aaa408f980539854faf7ba37756b.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "173f3b6ad393a3f5bd7e3a2d63f7ab079e74aaa408f980539854faf7ba37756b",
    "witness-size": 39066,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T03:05:44Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "e68a2b8a0a6d284e14bea1978c768aa08d04e6cba9048236f3e21fa2a85b8210",
    "programfile": "pals_lcr.8.1.ufo.BOUNDED-16.pals.c.c",
    "programhash": "e68a2b8a0a6d284e14bea1978c768aa08d04e6cba9048236f3e21fa2a85b8210",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/9e773787505b2cad4c87948dc3ab4ba242f5a07ff4cd04ccecb379c1b7dc141a.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "9e773787505b2cad4c87948dc3ab4ba242f5a07ff4cd04ccecb379c1b7dc141a",
    "witness-size": 10653,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T07:06:03+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "e68a2b8a0a6d284e14bea1978c768aa08d04e6cba9048236f3e21fa2a85b8210",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.8.1.ufo.BOUNDED-16.pals.c",
    "programhash": "e68a2b8a0a6d284e14bea1978c768aa08d04e6cba9048236f3e21fa2a85b8210",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/e8afc2ed1b5f5b774a89c22b4b72c7e4d3679373c8999b8cf6360e73ce635b5a.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "e8afc2ed1b5f5b774a89c22b4b72c7e4d3679373c8999b8cf6360e73ce635b5a",
    "witness-size": 658,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T16:09:56Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "e68a2b8a0a6d284e14bea1978c768aa08d04e6cba9048236f3e21fa2a85b8210",
    "programfile": "pals_lcr.8.1.ufo.BOUNDED-16.pals.c.c",
    "programhash": "e68a2b8a0a6d284e14bea1978c768aa08d04e6cba9048236f3e21fa2a85b8210",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/73850e3c5907fa7560ee18eae0179a575d0379cbd27b2b6d108f5db07e526a60.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "73850e3c5907fa7560ee18eae0179a575d0379cbd27b2b6d108f5db07e526a60",
    "witness-size": 42903,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 03:31:19.249055",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "e68a2b8a0a6d284e14bea1978c768aa08d04e6cba9048236f3e21fa2a85b8210",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.8.1.ufo.BOUNDED-16.pals.c",
    "programhash": "e68a2b8a0a6d284e14bea1978c768aa08d04e6cba9048236f3e21fa2a85b8210",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/ec9c2b54f63f8677ed6472cc903c5c20db59a092f4f2c735811904a7a2acb6bf.zip",
    "witness-number-of-tests": 696,
    "witness-sha256": "ec9c2b54f63f8677ed6472cc903c5c20db59a092f4f2c735811904a7a2acb6bf",
    "witness-size": 344723,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 06:00:37.044791",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "e68a2b8a0a6d284e14bea1978c768aa08d04e6cba9048236f3e21fa2a85b8210",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.8.1.ufo.BOUNDED-16.pals.c",
    "programhash": "e68a2b8a0a6d284e14bea1978c768aa08d04e6cba9048236f3e21fa2a85b8210",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/c5d3482d373385db1178049604effbb1b5705929badc1cf9d69d6b69d02d17b9.zip",
    "witness-number-of-tests": 697,
    "witness-sha256": "c5d3482d373385db1178049604effbb1b5705929badc1cf9d69d6b69d02d17b9",
    "witness-size": 343821,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 10:38:39 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "e68a2b8a0a6d284e14bea1978c768aa08d04e6cba9048236f3e21fa2a85b8210",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.8.1.ufo.BOUNDED-16.pals.c",
    "programhash": "e68a2b8a0a6d284e14bea1978c768aa08d04e6cba9048236f3e21fa2a85b8210",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/fd235d839e4f58ba287937daedc406b558914a2177217198b107846cf0965958.zip",
    "witness-number-of-tests": 117,
    "witness-sha256": "fd235d839e4f58ba287937daedc406b558914a2177217198b107846cf0965958",
    "witness-size": 99800,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T07:58:40+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "e68a2b8a0a6d284e14bea1978c768aa08d04e6cba9048236f3e21fa2a85b8210",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.8.1.ufo.BOUNDED-16.pals.c",
    "programhash": "e68a2b8a0a6d284e14bea1978c768aa08d04e6cba9048236f3e21fa2a85b8210",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/fdd75adff56593b38c9bc988db42109a125cb2ee7464db586f613dc7c1f8a51d.zip",
    "witness-number-of-tests": 107,
    "witness-sha256": "fdd75adff56593b38c9bc988db42109a125cb2ee7464db586f613dc7c1f8a51d",
    "witness-size": 41520,
    "witness-type": "test-suite"
  }
]