[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T07:09:12Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "feeac0ebb0e1f76a392b62d2abacc31ce1e9b2a7801c845f37e1ca74721f0923",
    "programfile": "pals_lcr.8.ufo.BOUNDED-16.pals.c.c",
    "programhash": "feeac0ebb0e1f76a392b62d2abacc31ce1e9b2a7801c845f37e1ca74721f0923",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/b41da12c41d96190d1b2de4ea32c448921485717b638e05b4dc1ddd334471a02.zip",
    "witness-number-of-tests": 22,
    "witness-sha256": "b41da12c41d96190d1b2de4ea32c448921485717b638e05b4dc1ddd334471a02",
    "witness-size": 31236,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 03:37:09.714883",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "feeac0ebb0e1f76a392b62d2abacc31ce1e9b2a7801c845f37e1ca74721f0923",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.8.ufo.BOUNDED-16.pals.c",
    "programhash": "feeac0ebb0e1f76a392b62d2abacc31ce1e9b2a7801c845f37e1ca74721f0923",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/c1584ff32bede9653a701b08ab25f264190ed1e47b6d96d432e4c5892aa4a528.zip",
    "witness-number-of-tests": 690,
    "witness-sha256": "c1584ff32bede9653a701b08ab25f264190ed1e47b6d96d432e4c5892aa4a528",
    "witness-size": 341623,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T05:42:27+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "feeac0ebb0e1f76a392b62d2abacc31ce1e9b2a7801c845f37e1ca74721f0923",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.8.ufo.BOUNDED-16.pals.c",
    "programhash": "feeac0ebb0e1f76a392b62d2abacc31ce1e9b2a7801c845f37e1ca74721f0923",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/e205ad081c2c7e389a2c2bf136d211f1d9d991391ceb09e9d3823e485ac46978.zip",
    "witness-number-of-tests": 107,
    "witness-sha256": "e205ad081c2c7e389a2c2bf136d211f1d9d991391ceb09e9d3823e485ac46978",
    "witness-size": 41609,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T10:44:47+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "feeac0ebb0e1f76a392b62d2abacc31ce1e9b2a7801c845f37e1ca74721f0923",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.8.ufo.BOUNDED-16.pals.c",
    "programhash": "feeac0ebb0e1f76a392b62d2abacc31ce1e9b2a7801c845f37e1ca74721f0923",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/860ac508ba10617fad3935c5bb89128b2daec85f419ac3dc4fedc9e29b440302.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "860ac508ba10617fad3935c5bb89128b2daec85f419ac3dc4fedc9e29b440302",
    "witness-size": 1619,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Sun Dec  8 22:10:38 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "feeac0ebb0e1f76a392b62d2abacc31ce1e9b2a7801c845f37e1ca74721f0923",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.8.ufo.BOUNDED-16.pals.c",
    "programhash": "feeac0ebb0e1f76a392b62d2abacc31ce1e9b2a7801c845f37e1ca74721f0923",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/805d5d00109a562dbcc24e59b3a350d9ac2662fe89ee74c9bf482a85b06a4641.zip",
    "witness-number-of-tests": 110,
    "witness-sha256": "805d5d00109a562dbcc24e59b3a350d9ac2662fe89ee74c9bf482a85b06a4641",
    "witness-size": 94851,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T15:29:51Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "feeac0ebb0e1f76a392b62d2abacc31ce1e9b2a7801c845f37e1ca74721f0923",
    "programfile": "pals_lcr.8.ufo.BOUNDED-16.pals.c.c",
    "programhash": "feeac0ebb0e1f76a392b62d2abacc31ce1e9b2a7801c845f37e1ca74721f0923",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/7f33e26698cc15494311c2c42854cd3c86dcb9a48c46ca96e0baf39e471d5669.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "7f33e26698cc15494311c2c42854cd3c86dcb9a48c46ca96e0baf39e471d5669",
    "witness-size": 42724,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:50:55",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "feeac0ebb0e1f76a392b62d2abacc31ce1e9b2a7801c845f37e1ca74721f0923",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_d0762ebe-52b2-4998-9a87-7b4991d02eca/sv-benchmarks/c/seq-mthreaded/pals_lcr.8.ufo.BOUNDED-16.pals.c",
    "programhash": "feeac0ebb0e1f76a392b62d2abacc31ce1e9b2a7801c845f37e1ca74721f0923",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/3258c19d94faea5dcfe2d8e235fac3d589596ab6b1be907f3858ab692df4b99e.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "3258c19d94faea5dcfe2d8e235fac3d589596ab6b1be907f3858ab692df4b99e",
    "witness-size": 38939,
    "witness-type": "test-suite"
  }
]