[
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:37:58",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "675f4844d3c738d34cfbe9740be6d080023b1e8de917af02773054e9a52c0ef1",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_e4f421b6-a0c4-4745-85e9-d37916732fef/sv-benchmarks/c/array-examples/standard_partition_ground-1.i",
    "programhash": "675f4844d3c738d34cfbe9740be6d080023b1e8de917af02773054e9a52c0ef1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/4e24087818a598e0213c640c170a7f6d8f4a11954df64e788710436df1e5a99d.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "4e24087818a598e0213c640c170a7f6d8f4a11954df64e788710436df1e5a99d",
    "witness-size": 5805,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 06:04:48 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "675f4844d3c738d34cfbe9740be6d080023b1e8de917af02773054e9a52c0ef1",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_partition_ground-1.i",
    "programhash": "675f4844d3c738d34cfbe9740be6d080023b1e8de917af02773054e9a52c0ef1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/e51b6ccaef6c1c0737f19e2a33ad067cfa3cf3cff0d4f9c794e9301c6b7109c6.zip",
    "witness-number-of-tests": 11,
    "witness-sha256": "e51b6ccaef6c1c0737f19e2a33ad067cfa3cf3cff0d4f9c794e9301c6b7109c6",
    "witness-size": 52501,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T14:46:42Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "675f4844d3c738d34cfbe9740be6d080023b1e8de917af02773054e9a52c0ef1",
    "programfile": "standard_partition_ground-1.i.c",
    "programhash": "675f4844d3c738d34cfbe9740be6d080023b1e8de917af02773054e9a52c0ef1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/d4f0fc9f5785429dde2e620edb2edbee8bbe9e140feb4885cca3f5e67f8cc15e.zip",
    "witness-number-of-tests": 1966,
    "witness-sha256": "d4f0fc9f5785429dde2e620edb2edbee8bbe9e140feb4885cca3f5e67f8cc15e",
    "witness-size": 11851529,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:41:00",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "675f4844d3c738d34cfbe9740be6d080023b1e8de917af02773054e9a52c0ef1",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_e8968b8a-24c3-43f5-ae40-fb18344fb516/sv-benchmarks/c/array-examples/standard_partition_ground-1.i",
    "programhash": "675f4844d3c738d34cfbe9740be6d080023b1e8de917af02773054e9a52c0ef1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/cb2aa4f3580c17b8d0d8381d0cfe4124b611d690ae1450dce420c495d14447e5.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "cb2aa4f3580c17b8d0d8381d0cfe4124b611d690ae1450dce420c495d14447e5",
    "witness-size": 5222,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 01:09:43.373281",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "675f4844d3c738d34cfbe9740be6d080023b1e8de917af02773054e9a52c0ef1",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_partition_ground-1.i",
    "programhash": "675f4844d3c738d34cfbe9740be6d080023b1e8de917af02773054e9a52c0ef1",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/38470b685ac177e388df829557788fee3ce32793598bed122ac76b956dfab0e8.zip",
    "witness-number-of-tests": 23,
    "witness-sha256": "38470b685ac177e388df829557788fee3ce32793598bed122ac76b956dfab0e8",
    "witness-size": 196120,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T13:52:49Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "675f4844d3c738d34cfbe9740be6d080023b1e8de917af02773054e9a52c0ef1",
    "programfile": "standard_partition_ground-1.i.c",
    "programhash": "675f4844d3c738d34cfbe9740be6d080023b1e8de917af02773054e9a52c0ef1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/3d0a8c6803bd3ac6ea2f6d8ed02c66aa01bb1d004c6e321166dc820c785d988b.zip",
    "witness-number-of-tests": 2059,
    "witness-sha256": "3d0a8c6803bd3ac6ea2f6d8ed02c66aa01bb1d004c6e321166dc820c785d988b",
    "witness-size": 11982777,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 10:17:55.726750",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "675f4844d3c738d34cfbe9740be6d080023b1e8de917af02773054e9a52c0ef1",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_partition_ground-1.i",
    "programhash": "675f4844d3c738d34cfbe9740be6d080023b1e8de917af02773054e9a52c0ef1",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/1b4f278e39968f3d147f9ef8512229a64403345e9797e974d4ef4e2fdf784e6a.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "1b4f278e39968f3d147f9ef8512229a64403345e9797e974d4ef4e2fdf784e6a",
    "witness-size": 52874,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T09:55:30+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "675f4844d3c738d34cfbe9740be6d080023b1e8de917af02773054e9a52c0ef1",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_partition_ground-1.i",
    "programhash": "675f4844d3c738d34cfbe9740be6d080023b1e8de917af02773054e9a52c0ef1",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/91707730ae437d553aa943b7805ca1552e6bf81c10f8139415cf24dc08bc2db3.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "91707730ae437d553aa943b7805ca1552e6bf81c10f8139415cf24dc08bc2db3",
    "witness-size": 1376,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 00:37:55 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "675f4844d3c738d34cfbe9740be6d080023b1e8de917af02773054e9a52c0ef1",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_partition_ground-1.i",
    "programhash": "675f4844d3c738d34cfbe9740be6d080023b1e8de917af02773054e9a52c0ef1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/e7b05b89181bc8675f1aca5925f3dbd8f29f3fabd55d4d5cc46eb68301cc0610.zip",
    "witness-number-of-tests": 11,
    "witness-sha256": "e7b05b89181bc8675f1aca5925f3dbd8f29f3fabd55d4d5cc46eb68301cc0610",
    "witness-size": 54144,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T00:25:18Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "675f4844d3c738d34cfbe9740be6d080023b1e8de917af02773054e9a52c0ef1",
    "programfile": "standard_partition_ground-1.i.c",
    "programhash": "675f4844d3c738d34cfbe9740be6d080023b1e8de917af02773054e9a52c0ef1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/0f91ac9b3e908177c61b904d6cd551b9e4b2bc2710a19e44d22812a25e30c7d8.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "0f91ac9b3e908177c61b904d6cd551b9e4b2bc2710a19e44d22812a25e30c7d8",
    "witness-size": 42873,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T00:17:17Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "675f4844d3c738d34cfbe9740be6d080023b1e8de917af02773054e9a52c0ef1",
    "programfile": "standard_partition_ground-1.i.c",
    "programhash": "675f4844d3c738d34cfbe9740be6d080023b1e8de917af02773054e9a52c0ef1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/d064044a1fa84245f891d60c54eb4754629e7f64f975cda0bef3d9beaac8297a.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "d064044a1fa84245f891d60c54eb4754629e7f64f975cda0bef3d9beaac8297a",
    "witness-size": 89242,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T01:10:28+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "675f4844d3c738d34cfbe9740be6d080023b1e8de917af02773054e9a52c0ef1",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_partition_ground-1.i",
    "programhash": "675f4844d3c738d34cfbe9740be6d080023b1e8de917af02773054e9a52c0ef1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/ee82cf3a7a6f35642af5e9af63d8dfb185ad87325fb546d1c5d79c3b62ec9d6d.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "ee82cf3a7a6f35642af5e9af63d8dfb185ad87325fb546d1c5d79c3b62ec9d6d",
    "witness-size": 1681,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T04:44:14+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "675f4844d3c738d34cfbe9740be6d080023b1e8de917af02773054e9a52c0ef1",
    "programfile": "../../sv-benchmarks/c/array-examples/standard_partition_ground-1.i",
    "programhash": "675f4844d3c738d34cfbe9740be6d080023b1e8de917af02773054e9a52c0ef1",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/3e8f7196e34b2811c8309c4e5c15ae456568c039c02cf5cc57102203228c22cf.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "3e8f7196e34b2811c8309c4e5c15ae456568c039c02cf5cc57102203228c22cf",
    "witness-size": 652,
    "witness-type": "test-suite"
  }
]