[
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 10:07:44",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "de7a81d8613067d5938c80af80a28eca3ca61edd7ce7ae85a7ffa5dc3a8ba6dc",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_9c7c3d35-09cd-4764-a027-2ecf78fafbb3/sv-benchmarks/c/reducercommutativity/avg20-2.i",
    "programhash": "de7a81d8613067d5938c80af80a28eca3ca61edd7ce7ae85a7ffa5dc3a8ba6dc",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/dc0c49a05b1cfc5ce3b1756c38f2f6c2c68b2f287d7b6525501a30ae8fd0b812.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "dc0c49a05b1cfc5ce3b1756c38f2f6c2c68b2f287d7b6525501a30ae8fd0b812",
    "witness-size": 7365,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T14:35:31Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "de7a81d8613067d5938c80af80a28eca3ca61edd7ce7ae85a7ffa5dc3a8ba6dc",
    "programfile": "avg20-2.i.c",
    "programhash": "de7a81d8613067d5938c80af80a28eca3ca61edd7ce7ae85a7ffa5dc3a8ba6dc",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/6ac14212ac7e403fd36fbe04c11decfc5419deb3b228ab13dff85be4e40c1e11.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "6ac14212ac7e403fd36fbe04c11decfc5419deb3b228ab13dff85be4e40c1e11",
    "witness-size": 17754,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T00:28:56Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "de7a81d8613067d5938c80af80a28eca3ca61edd7ce7ae85a7ffa5dc3a8ba6dc",
    "programfile": "avg20-2.i.c",
    "programhash": "de7a81d8613067d5938c80af80a28eca3ca61edd7ce7ae85a7ffa5dc3a8ba6dc",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/3f0fec7aa1dc70347b99cb29ffbc0f0b6fdd1f819a933d62956827c06fccaf33.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "3f0fec7aa1dc70347b99cb29ffbc0f0b6fdd1f819a933d62956827c06fccaf33",
    "witness-size": 5504,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 05:55:50.856635",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "de7a81d8613067d5938c80af80a28eca3ca61edd7ce7ae85a7ffa5dc3a8ba6dc",
    "programfile": "../../sv-benchmarks/c/reducercommutativity/avg20-2.i",
    "programhash": "de7a81d8613067d5938c80af80a28eca3ca61edd7ce7ae85a7ffa5dc3a8ba6dc",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/b1f707881bf05c99d369e83ee44cf8151ae77c11868b09182ac491f18b78db3f.zip",
    "witness-number-of-tests": 420,
    "witness-sha256": "b1f707881bf05c99d369e83ee44cf8151ae77c11868b09182ac491f18b78db3f",
    "witness-size": 247680,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:01:49+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "de7a81d8613067d5938c80af80a28eca3ca61edd7ce7ae85a7ffa5dc3a8ba6dc",
    "programfile": "../../sv-benchmarks/c/reducercommutativity/avg20-2.i",
    "programhash": "de7a81d8613067d5938c80af80a28eca3ca61edd7ce7ae85a7ffa5dc3a8ba6dc",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/3df848111c9b98f1387620cb3dfa002af6412c316e3723b02248cc562146e8dd.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "3df848111c9b98f1387620cb3dfa002af6412c316e3723b02248cc562146e8dd",
    "witness-size": 1764,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 05:51:59 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "de7a81d8613067d5938c80af80a28eca3ca61edd7ce7ae85a7ffa5dc3a8ba6dc",
    "programfile": "../../sv-benchmarks/c/reducercommutativity/avg20-2.i",
    "programhash": "de7a81d8613067d5938c80af80a28eca3ca61edd7ce7ae85a7ffa5dc3a8ba6dc",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/241d99297f5949d210f3c5304d1516c9c4fc0625671656a811a3d5ead4f7df24.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "241d99297f5949d210f3c5304d1516c9c4fc0625671656a811a3d5ead4f7df24",
    "witness-size": 11181,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T07:14:11+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "de7a81d8613067d5938c80af80a28eca3ca61edd7ce7ae85a7ffa5dc3a8ba6dc",
    "programfile": "../../sv-benchmarks/c/reducercommutativity/avg20-2.i",
    "programhash": "de7a81d8613067d5938c80af80a28eca3ca61edd7ce7ae85a7ffa5dc3a8ba6dc",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/bd60a3761429c7d72182c541a39634b6588c1c16e34ea42cd70218286546ab95.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "bd60a3761429c7d72182c541a39634b6588c1c16e34ea42cd70218286546ab95",
    "witness-size": 2945,
    "witness-type": "test-suite"
  }
]