[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T04:40:13+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "42b47cec63d30a23be06935ba5b8cd941d918c2dc925b9c929cb1ffd4c59f53d",
    "programfile": "../../sv-benchmarks/c/reducercommutativity/sum10-1.i",
    "programhash": "42b47cec63d30a23be06935ba5b8cd941d918c2dc925b9c929cb1ffd4c59f53d",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/7eb8d6d1497cbe81b4161e40751c174c63f68c49da225eb3eae8a8661a8c525f.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "7eb8d6d1497cbe81b4161e40751c174c63f68c49da225eb3eae8a8661a8c525f",
    "witness-size": 2816,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:44:04",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "42b47cec63d30a23be06935ba5b8cd941d918c2dc925b9c929cb1ffd4c59f53d",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_f4ddeeb4-a61e-474f-ae03-8bd6e2898850/sv-benchmarks/c/reducercommutativity/sum10-1.i",
    "programhash": "42b47cec63d30a23be06935ba5b8cd941d918c2dc925b9c929cb1ffd4c59f53d",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/85f5071db07d9d8b9f7208abed5db2b008220f86d7a3c7363842fe559ad2b391.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "85f5071db07d9d8b9f7208abed5db2b008220f86d7a3c7363842fe559ad2b391",
    "witness-size": 7356,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T13:59:39Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "42b47cec63d30a23be06935ba5b8cd941d918c2dc925b9c929cb1ffd4c59f53d",
    "programfile": "sum10-1.i.c",
    "programhash": "42b47cec63d30a23be06935ba5b8cd941d918c2dc925b9c929cb1ffd4c59f53d",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/74844c824cdce29256850289769bdb30dd568717ae7c3ab808fcf39784357f80.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "74844c824cdce29256850289769bdb30dd568717ae7c3ab808fcf39784357f80",
    "witness-size": 17595,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 09:09:59 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "42b47cec63d30a23be06935ba5b8cd941d918c2dc925b9c929cb1ffd4c59f53d",
    "programfile": "../../sv-benchmarks/c/reducercommutativity/sum10-1.i",
    "programhash": "42b47cec63d30a23be06935ba5b8cd941d918c2dc925b9c929cb1ffd4c59f53d",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/0dcfd2869bc40e560ea64a2dcbdd51f58ab57a6d42c5ee24310b34925af4cd09.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "0dcfd2869bc40e560ea64a2dcbdd51f58ab57a6d42c5ee24310b34925af4cd09",
    "witness-size": 10903,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T01:00:31Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "42b47cec63d30a23be06935ba5b8cd941d918c2dc925b9c929cb1ffd4c59f53d",
    "programfile": "sum10-1.i.c",
    "programhash": "42b47cec63d30a23be06935ba5b8cd941d918c2dc925b9c929cb1ffd4c59f53d",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/221d004a714ace13719de08a87b84b37e1617e038e5c9503730b76f4343ef11d.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "221d004a714ace13719de08a87b84b37e1617e038e5c9503730b76f4343ef11d",
    "witness-size": 4638,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 00:29:28.013002",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "42b47cec63d30a23be06935ba5b8cd941d918c2dc925b9c929cb1ffd4c59f53d",
    "programfile": "../../sv-benchmarks/c/reducercommutativity/sum10-1.i",
    "programhash": "42b47cec63d30a23be06935ba5b8cd941d918c2dc925b9c929cb1ffd4c59f53d",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/d7bf8c46cbcc8b2168c86e747b84ea38221552d321f0dc96745939c8c26c8099.zip",
    "witness-number-of-tests": 446,
    "witness-sha256": "d7bf8c46cbcc8b2168c86e747b84ea38221552d321f0dc96745939c8c26c8099",
    "witness-size": 230556,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T23:24:24+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "42b47cec63d30a23be06935ba5b8cd941d918c2dc925b9c929cb1ffd4c59f53d",
    "programfile": "../../sv-benchmarks/c/reducercommutativity/sum10-1.i",
    "programhash": "42b47cec63d30a23be06935ba5b8cd941d918c2dc925b9c929cb1ffd4c59f53d",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/002ea4e33dc166dc382cd30e4bc14a1b4477931eed15fc91c98b4b1d9da6d339.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "002ea4e33dc166dc382cd30e4bc14a1b4477931eed15fc91c98b4b1d9da6d339",
    "witness-size": 1725,
    "witness-type": "test-suite"
  }
]