[
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 01:19:00 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "509076543da379b98e9748fe244ea57f205c00486cbc5c70d5aa627cbdcd0eb1",
    "programfile": "../../sv-benchmarks/c/reducercommutativity/sum.i",
    "programhash": "509076543da379b98e9748fe244ea57f205c00486cbc5c70d5aa627cbdcd0eb1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/af759acee23ae1251f2688ffe42cd33a8aa8e79e36e71b9569572ab932daa0eb.zip",
    "witness-number-of-tests": 15,
    "witness-sha256": "af759acee23ae1251f2688ffe42cd33a8aa8e79e36e71b9569572ab932daa0eb",
    "witness-size": 14781,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T05:55:20+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "509076543da379b98e9748fe244ea57f205c00486cbc5c70d5aa627cbdcd0eb1",
    "programfile": "../../sv-benchmarks/c/reducercommutativity/sum.i",
    "programhash": "509076543da379b98e9748fe244ea57f205c00486cbc5c70d5aa627cbdcd0eb1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/c6a517c5fd2a17ebc457ce6c14e90cfbcf376905ad9902568215de64bdca6239.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "c6a517c5fd2a17ebc457ce6c14e90cfbcf376905ad9902568215de64bdca6239",
    "witness-size": 2710,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 08:19:22.971925",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "509076543da379b98e9748fe244ea57f205c00486cbc5c70d5aa627cbdcd0eb1",
    "programfile": "../../sv-benchmarks/c/reducercommutativity/sum.i",
    "programhash": "509076543da379b98e9748fe244ea57f205c00486cbc5c70d5aa627cbdcd0eb1",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/ae305e4a33f1a37b257a81536ed06fd87be5db55296e33a0bc6b384015dfbce4.zip",
    "witness-number-of-tests": 1056,
    "witness-sha256": "ae305e4a33f1a37b257a81536ed06fd87be5db55296e33a0bc6b384015dfbce4",
    "witness-size": 443815,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T18:41:41Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "509076543da379b98e9748fe244ea57f205c00486cbc5c70d5aa627cbdcd0eb1",
    "programfile": "sum.i.c",
    "programhash": "509076543da379b98e9748fe244ea57f205c00486cbc5c70d5aa627cbdcd0eb1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/24743694a22c88c47b8b4a5158f0038691fd6da06a6f0cab5911efddf48501da.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "24743694a22c88c47b8b4a5158f0038691fd6da06a6f0cab5911efddf48501da",
    "witness-size": 19444,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 09:53:05",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "509076543da379b98e9748fe244ea57f205c00486cbc5c70d5aa627cbdcd0eb1",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_0f5d271f-83f2-4531-a254-f1c97b692733/sv-benchmarks/c/reducercommutativity/sum.i",
    "programhash": "509076543da379b98e9748fe244ea57f205c00486cbc5c70d5aa627cbdcd0eb1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/6b806ba8976e97e42f5fa4c2da904076529b1846c5a970af65255156d2df64ce.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "6b806ba8976e97e42f5fa4c2da904076529b1846c5a970af65255156d2df64ce",
    "witness-size": 8203,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:30:53+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "509076543da379b98e9748fe244ea57f205c00486cbc5c70d5aa627cbdcd0eb1",
    "programfile": "../../sv-benchmarks/c/reducercommutativity/sum.i",
    "programhash": "509076543da379b98e9748fe244ea57f205c00486cbc5c70d5aa627cbdcd0eb1",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/5e53bb0e384f3ee67bb55691f81bd4caf43506b127469cc51fc5d184788fe70e.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "5e53bb0e384f3ee67bb55691f81bd4caf43506b127469cc51fc5d184788fe70e",
    "witness-size": 1703,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T04:34:08Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "509076543da379b98e9748fe244ea57f205c00486cbc5c70d5aa627cbdcd0eb1",
    "programfile": "sum.i.c",
    "programhash": "509076543da379b98e9748fe244ea57f205c00486cbc5c70d5aa627cbdcd0eb1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/52af3fd84e830699c88e3f58f188571c7bdd36cdeaa2bfe19254c3196a58db02.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "52af3fd84e830699c88e3f58f188571c7bdd36cdeaa2bfe19254c3196a58db02",
    "witness-size": 6009,
    "witness-type": "test-suite"
  }
]