[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 02:52:00.711776",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "cc2882bb4eaef06298ecfade7265075278d65fd9aaeb206ad2b512d230ec0023",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.3.1.ufo.BOUNDED-6.pals.c",
    "programhash": "cc2882bb4eaef06298ecfade7265075278d65fd9aaeb206ad2b512d230ec0023",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/eeaf22389ee698a06ad405e92fbec75071318b853b01714c618bc2e3fb243783.zip",
    "witness-number-of-tests": 681,
    "witness-sha256": "eeaf22389ee698a06ad405e92fbec75071318b853b01714c618bc2e3fb243783",
    "witness-size": 317935,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 09:54:19 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "cc2882bb4eaef06298ecfade7265075278d65fd9aaeb206ad2b512d230ec0023",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.3.1.ufo.BOUNDED-6.pals.c",
    "programhash": "cc2882bb4eaef06298ecfade7265075278d65fd9aaeb206ad2b512d230ec0023",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/e4ad4e769512a1718c68a6630d6903f07f0ad65bb5765ab00f7fa3245643e584.zip",
    "witness-number-of-tests": 29,
    "witness-sha256": "e4ad4e769512a1718c68a6630d6903f07f0ad65bb5765ab00f7fa3245643e584",
    "witness-size": 33020,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 10:02:51",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "cc2882bb4eaef06298ecfade7265075278d65fd9aaeb206ad2b512d230ec0023",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_bc13fa21-9c0e-4b85-a454-fffc46278de5/sv-benchmarks/c/seq-mthreaded/pals_lcr.3.1.ufo.BOUNDED-6.pals.c",
    "programhash": "cc2882bb4eaef06298ecfade7265075278d65fd9aaeb206ad2b512d230ec0023",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/1ed4f4e6c8e638bd5f90ece2ecf90da5e6ee3071ef44426bb53f209111f84e34.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "1ed4f4e6c8e638bd5f90ece2ecf90da5e6ee3071ef44426bb53f209111f84e34",
    "witness-size": 19448,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T11:03:12+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "cc2882bb4eaef06298ecfade7265075278d65fd9aaeb206ad2b512d230ec0023",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.3.1.ufo.BOUNDED-6.pals.c",
    "programhash": "cc2882bb4eaef06298ecfade7265075278d65fd9aaeb206ad2b512d230ec0023",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/07ae6dd4803162401bc7262db5ae11f0d20f672b8952c2200867ff0984946cac.zip",
    "witness-number-of-tests": 27,
    "witness-sha256": "07ae6dd4803162401bc7262db5ae11f0d20f672b8952c2200867ff0984946cac",
    "witness-size": 11853,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T14:30:17Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "cc2882bb4eaef06298ecfade7265075278d65fd9aaeb206ad2b512d230ec0023",
    "programfile": "pals_lcr.3.1.ufo.BOUNDED-6.pals.c.c",
    "programhash": "cc2882bb4eaef06298ecfade7265075278d65fd9aaeb206ad2b512d230ec0023",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/b517bc2b9acf5be577a26e18f78515f775d931430443ba52e0188f26bff45be4.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "b517bc2b9acf5be577a26e18f78515f775d931430443ba52e0188f26bff45be4",
    "witness-size": 30261,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:36:21",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "cc2882bb4eaef06298ecfade7265075278d65fd9aaeb206ad2b512d230ec0023",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_9509bb05-93ae-4970-ab44-c53cae9218b1/sv-benchmarks/c/seq-mthreaded/pals_lcr.3.1.ufo.BOUNDED-6.pals.c",
    "programhash": "cc2882bb4eaef06298ecfade7265075278d65fd9aaeb206ad2b512d230ec0023",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/2a2d64d2d7ddb0b62409d8e87402be30a3adc7b883f12c0ca7e803f8f8afe994.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "2a2d64d2d7ddb0b62409d8e87402be30a3adc7b883f12c0ca7e803f8f8afe994",
    "witness-size": 19030,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T02:41:18+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "cc2882bb4eaef06298ecfade7265075278d65fd9aaeb206ad2b512d230ec0023",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.3.1.ufo.BOUNDED-6.pals.c",
    "programhash": "cc2882bb4eaef06298ecfade7265075278d65fd9aaeb206ad2b512d230ec0023",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/99afe6a4a378089844a01cf3e9aecbbad3d1a8883772c849c116adbb4b31626c.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "99afe6a4a378089844a01cf3e9aecbbad3d1a8883772c849c116adbb4b31626c",
    "witness-size": 1030,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 03:33:39.475428",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "cc2882bb4eaef06298ecfade7265075278d65fd9aaeb206ad2b512d230ec0023",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.3.1.ufo.BOUNDED-6.pals.c",
    "programhash": "cc2882bb4eaef06298ecfade7265075278d65fd9aaeb206ad2b512d230ec0023",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/a196d1d4488e7b0e181e68f9031167289cf857ae98fc05a5df2c32cd54bb7565.zip",
    "witness-number-of-tests": 685,
    "witness-sha256": "a196d1d4488e7b0e181e68f9031167289cf857ae98fc05a5df2c32cd54bb7565",
    "witness-size": 319794,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 08:14:57 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "cc2882bb4eaef06298ecfade7265075278d65fd9aaeb206ad2b512d230ec0023",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.3.1.ufo.BOUNDED-6.pals.c",
    "programhash": "cc2882bb4eaef06298ecfade7265075278d65fd9aaeb206ad2b512d230ec0023",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/5bed9a3a54919cf26b55f9ffbe0668aaf9316d5184a3cbbdcf80f41436d3dfdc.zip",
    "witness-number-of-tests": 29,
    "witness-sha256": "5bed9a3a54919cf26b55f9ffbe0668aaf9316d5184a3cbbdcf80f41436d3dfdc",
    "witness-size": 33023,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T00:25:12Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "cc2882bb4eaef06298ecfade7265075278d65fd9aaeb206ad2b512d230ec0023",
    "programfile": "pals_lcr.3.1.ufo.BOUNDED-6.pals.c.c",
    "programhash": "cc2882bb4eaef06298ecfade7265075278d65fd9aaeb206ad2b512d230ec0023",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/057f83cb9b6ce05cdaf34bb83fc115668a22a4f51f6e621c6859b59583d5e2d6.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "057f83cb9b6ce05cdaf34bb83fc115668a22a4f51f6e621c6859b59583d5e2d6",
    "witness-size": 6886,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:29:26+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "cc2882bb4eaef06298ecfade7265075278d65fd9aaeb206ad2b512d230ec0023",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.3.1.ufo.BOUNDED-6.pals.c",
    "programhash": "cc2882bb4eaef06298ecfade7265075278d65fd9aaeb206ad2b512d230ec0023",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/9b039698a4bd8ffc27a975dcf51335d17fd42a7210440ca4db42594c0d02b913.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "9b039698a4bd8ffc27a975dcf51335d17fd42a7210440ca4db42594c0d02b913",
    "witness-size": 1069,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:43:19+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "cc2882bb4eaef06298ecfade7265075278d65fd9aaeb206ad2b512d230ec0023",
    "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_lcr.3.1.ufo.BOUNDED-6.pals.c",
    "programhash": "cc2882bb4eaef06298ecfade7265075278d65fd9aaeb206ad2b512d230ec0023",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/2cf67dbcdd72c52c71f656a458a2f08403fcd5126113f79b8bdb879d2fed4e24.zip",
    "witness-number-of-tests": 45,
    "witness-sha256": "2cf67dbcdd72c52c71f656a458a2f08403fcd5126113f79b8bdb879d2fed4e24",
    "witness-size": 16932,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T13:37:58Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "cc2882bb4eaef06298ecfade7265075278d65fd9aaeb206ad2b512d230ec0023",
    "programfile": "pals_lcr.3.1.ufo.BOUNDED-6.pals.c.c",
    "programhash": "cc2882bb4eaef06298ecfade7265075278d65fd9aaeb206ad2b512d230ec0023",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/982f9cedf09d38c56000f6626798afac23094010faa2ee4237e9d811c2ef4828.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "982f9cedf09d38c56000f6626798afac23094010faa2ee4237e9d811c2ef4828",
    "witness-size": 28859,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:19:22Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "cc2882bb4eaef06298ecfade7265075278d65fd9aaeb206ad2b512d230ec0023",
    "programfile": "pals_lcr.3.1.ufo.BOUNDED-6.pals.c.c",
    "programhash": "cc2882bb4eaef06298ecfade7265075278d65fd9aaeb206ad2b512d230ec0023",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/ffe715de8acf6d0bfb5c1fc85a7c8a9540613134f08247412b1078532b44b6cb.zip",
    "witness-number-of-tests": 7,
    "witness-sha256": "ffe715de8acf6d0bfb5c1fc85a7c8a9540613134f08247412b1078532b44b6cb",
    "witness-size": 9818,
    "witness-type": "test-suite"
  }
]