[
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:51:20",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "2a88d9d9959a5b76c924a6859e164a7a95d216938b7e077da588b784b3e66ba4",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_fcfed1e0-1235-4c3e-a6a5-75133eef85ef/sv-benchmarks/c/reducercommutativity/sep20-1.i",
    "programhash": "2a88d9d9959a5b76c924a6859e164a7a95d216938b7e077da588b784b3e66ba4",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/03825540d2a4182f2767848447fe1261319d6b79f8092d5752aa05d505c23988.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "03825540d2a4182f2767848447fe1261319d6b79f8092d5752aa05d505c23988",
    "witness-size": 7229,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T09:14:54Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "2a88d9d9959a5b76c924a6859e164a7a95d216938b7e077da588b784b3e66ba4",
    "programfile": "sep20-1.i.c",
    "programhash": "2a88d9d9959a5b76c924a6859e164a7a95d216938b7e077da588b784b3e66ba4",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/b544c924d129dabe253809e4e0a39ba8c53ccc0a644c5a81d14586f91c67a0f7.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "b544c924d129dabe253809e4e0a39ba8c53ccc0a644c5a81d14586f91c67a0f7",
    "witness-size": 5081,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 10:31:27 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "2a88d9d9959a5b76c924a6859e164a7a95d216938b7e077da588b784b3e66ba4",
    "programfile": "../../sv-benchmarks/c/reducercommutativity/sep20-1.i",
    "programhash": "2a88d9d9959a5b76c924a6859e164a7a95d216938b7e077da588b784b3e66ba4",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/d1026800ccd99f1891b443ee766ca29c4e20fed32f437d467b8ce34d99a57034.zip",
    "witness-number-of-tests": 13,
    "witness-sha256": "d1026800ccd99f1891b443ee766ca29c4e20fed32f437d467b8ce34d99a57034",
    "witness-size": 15127,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T02:58:51+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "2a88d9d9959a5b76c924a6859e164a7a95d216938b7e077da588b784b3e66ba4",
    "programfile": "../../sv-benchmarks/c/reducercommutativity/sep20-1.i",
    "programhash": "2a88d9d9959a5b76c924a6859e164a7a95d216938b7e077da588b784b3e66ba4",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/08e0a3983621fd606a2f9f192f45b94804318b5188afc62f99115881e67e7acf.zip",
    "witness-number-of-tests": 7,
    "witness-sha256": "08e0a3983621fd606a2f9f192f45b94804318b5188afc62f99115881e67e7acf",
    "witness-size": 3234,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 05:47:23.326597",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "2a88d9d9959a5b76c924a6859e164a7a95d216938b7e077da588b784b3e66ba4",
    "programfile": "../../sv-benchmarks/c/reducercommutativity/sep20-1.i",
    "programhash": "2a88d9d9959a5b76c924a6859e164a7a95d216938b7e077da588b784b3e66ba4",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/456ed3defb72a9e1500128a2fc30993177a5fa5182d1b3c68a0ba64e09ce482f.zip",
    "witness-number-of-tests": 199,
    "witness-sha256": "456ed3defb72a9e1500128a2fc30993177a5fa5182d1b3c68a0ba64e09ce482f",
    "witness-size": 102248,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T01:26:56+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "2a88d9d9959a5b76c924a6859e164a7a95d216938b7e077da588b784b3e66ba4",
    "programfile": "../../sv-benchmarks/c/reducercommutativity/sep20-1.i",
    "programhash": "2a88d9d9959a5b76c924a6859e164a7a95d216938b7e077da588b784b3e66ba4",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/9cdf96fadfca6c370bb7067443442c00d187eda2b1dde29eba22598193e3b117.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "9cdf96fadfca6c370bb7067443442c00d187eda2b1dde29eba22598193e3b117",
    "witness-size": 2937,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T18:23:28Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "2a88d9d9959a5b76c924a6859e164a7a95d216938b7e077da588b784b3e66ba4",
    "programfile": "sep20-1.i.c",
    "programhash": "2a88d9d9959a5b76c924a6859e164a7a95d216938b7e077da588b784b3e66ba4",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/8c039cfd3d2c06c0d092f98dd8b42f3a7d4ec5ccb3486a74a4127a497e908092.zip",
    "witness-number-of-tests": 1138,
    "witness-sha256": "8c039cfd3d2c06c0d092f98dd8b42f3a7d4ec5ccb3486a74a4127a497e908092",
    "witness-size": 474303,
    "witness-type": "test-suite"
  }
]