[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T15:53:12Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "ea0f0d368d094369c808e9cf6ed03cbdf7aba4d23e59d00c7c19422ea429574b",
    "programfile": "rangesum10.i.c",
    "programhash": "ea0f0d368d094369c808e9cf6ed03cbdf7aba4d23e59d00c7c19422ea429574b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/0c98e8b5e9884b93dce5fc8cd4404cb2a3ecdda314c1d45e298d66522cad3b46.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "0c98e8b5e9884b93dce5fc8cd4404cb2a3ecdda314c1d45e298d66522cad3b46",
    "witness-size": 19656,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 10:38:51",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "ea0f0d368d094369c808e9cf6ed03cbdf7aba4d23e59d00c7c19422ea429574b",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_ca496055-78cb-41b9-9f5d-624266d94da9/sv-benchmarks/c/reducercommutativity/rangesum10.i",
    "programhash": "ea0f0d368d094369c808e9cf6ed03cbdf7aba4d23e59d00c7c19422ea429574b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/a732e1bbfb12ae7e40b92fc5f930d398acb4edac916c1f5689b62eb44552b367.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "a732e1bbfb12ae7e40b92fc5f930d398acb4edac916c1f5689b62eb44552b367",
    "witness-size": 9702,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T14:38:12Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "ea0f0d368d094369c808e9cf6ed03cbdf7aba4d23e59d00c7c19422ea429574b",
    "programfile": "rangesum10.i.c",
    "programhash": "ea0f0d368d094369c808e9cf6ed03cbdf7aba4d23e59d00c7c19422ea429574b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/90c8d668a7981d171cb73ef7f3ea4aae45d593c735c0f51ec3269f9e22a1b237.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "90c8d668a7981d171cb73ef7f3ea4aae45d593c735c0f51ec3269f9e22a1b237",
    "witness-size": 19696,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T02:10:09Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "ea0f0d368d094369c808e9cf6ed03cbdf7aba4d23e59d00c7c19422ea429574b",
    "programfile": "rangesum10.i.c",
    "programhash": "ea0f0d368d094369c808e9cf6ed03cbdf7aba4d23e59d00c7c19422ea429574b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/43c0f862dfa9f2487bb351925cf9c446910f6fd278e8c592fd3db644f862b8a0.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "43c0f862dfa9f2487bb351925cf9c446910f6fd278e8c592fd3db644f862b8a0",
    "witness-size": 5188,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T08:09:50+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "ea0f0d368d094369c808e9cf6ed03cbdf7aba4d23e59d00c7c19422ea429574b",
    "programfile": "../../sv-benchmarks/c/reducercommutativity/rangesum10.i",
    "programhash": "ea0f0d368d094369c808e9cf6ed03cbdf7aba4d23e59d00c7c19422ea429574b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/cd7aa6c240aade23d2d80ee149fcae6cbe5e1e5572d2fefe86b3244c9e79cbf8.zip",
    "witness-number-of-tests": 7,
    "witness-sha256": "cd7aa6c240aade23d2d80ee149fcae6cbe5e1e5572d2fefe86b3244c9e79cbf8",
    "witness-size": 3186,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:27:44+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "ea0f0d368d094369c808e9cf6ed03cbdf7aba4d23e59d00c7c19422ea429574b",
    "programfile": "../../sv-benchmarks/c/reducercommutativity/rangesum10.i",
    "programhash": "ea0f0d368d094369c808e9cf6ed03cbdf7aba4d23e59d00c7c19422ea429574b",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/f428388aa31828622abac39bdcb4abc49756be1229d8d44595bdc489cee11691.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "f428388aa31828622abac39bdcb4abc49756be1229d8d44595bdc489cee11691",
    "witness-size": 643,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 04:57:15.423677",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "ea0f0d368d094369c808e9cf6ed03cbdf7aba4d23e59d00c7c19422ea429574b",
    "programfile": "../../sv-benchmarks/c/reducercommutativity/rangesum10.i",
    "programhash": "ea0f0d368d094369c808e9cf6ed03cbdf7aba4d23e59d00c7c19422ea429574b",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/e21ec5c04bf46a3638be28d05471cd0537918f4f95462a4bdb42102a7f2f2a53.zip",
    "witness-number-of-tests": 431,
    "witness-sha256": "e21ec5c04bf46a3638be28d05471cd0537918f4f95462a4bdb42102a7f2f2a53",
    "witness-size": 222807,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 10:43:38.608578",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "ea0f0d368d094369c808e9cf6ed03cbdf7aba4d23e59d00c7c19422ea429574b",
    "programfile": "../../sv-benchmarks/c/reducercommutativity/rangesum10.i",
    "programhash": "ea0f0d368d094369c808e9cf6ed03cbdf7aba4d23e59d00c7c19422ea429574b",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/db4eacc02eec9db5de1e3f957c88af6e9dd23befc535e8e1de57637d20a89a33.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "db4eacc02eec9db5de1e3f957c88af6e9dd23befc535e8e1de57637d20a89a33",
    "witness-size": 3054,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:33:51",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "ea0f0d368d094369c808e9cf6ed03cbdf7aba4d23e59d00c7c19422ea429574b",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_075f053c-b460-4af1-bb9a-d1728ff472c9/sv-benchmarks/c/reducercommutativity/rangesum10.i",
    "programhash": "ea0f0d368d094369c808e9cf6ed03cbdf7aba4d23e59d00c7c19422ea429574b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/e1db9a369c5c571b907360a33be47d76e0203512fe6ce0e4f3f97579b6212ec7.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "e1db9a369c5c571b907360a33be47d76e0203512fe6ce0e4f3f97579b6212ec7",
    "witness-size": 10435,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 08:50:27 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "ea0f0d368d094369c808e9cf6ed03cbdf7aba4d23e59d00c7c19422ea429574b",
    "programfile": "../../sv-benchmarks/c/reducercommutativity/rangesum10.i",
    "programhash": "ea0f0d368d094369c808e9cf6ed03cbdf7aba4d23e59d00c7c19422ea429574b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/381864199fd3dfb0120ae7736df3355903f97b32073c7d14532bae6b1543472f.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "381864199fd3dfb0120ae7736df3355903f97b32073c7d14532bae6b1543472f",
    "witness-size": 13552,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T06:07:11+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "ea0f0d368d094369c808e9cf6ed03cbdf7aba4d23e59d00c7c19422ea429574b",
    "programfile": "../../sv-benchmarks/c/reducercommutativity/rangesum10.i",
    "programhash": "ea0f0d368d094369c808e9cf6ed03cbdf7aba4d23e59d00c7c19422ea429574b",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/ba2d82dbc2128807e62c16f90c32416f311da0eb628a2e37e190a2d4fbf46a53.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "ba2d82dbc2128807e62c16f90c32416f311da0eb628a2e37e190a2d4fbf46a53",
    "witness-size": 1746,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 03:12:44 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "ea0f0d368d094369c808e9cf6ed03cbdf7aba4d23e59d00c7c19422ea429574b",
    "programfile": "../../sv-benchmarks/c/reducercommutativity/rangesum10.i",
    "programhash": "ea0f0d368d094369c808e9cf6ed03cbdf7aba4d23e59d00c7c19422ea429574b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/69cc3b78abae1b02a61d305493fee596fd20d38d0ebf12152b4e36129264fa9a.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "69cc3b78abae1b02a61d305493fee596fd20d38d0ebf12152b4e36129264fa9a",
    "witness-size": 13802,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:18:52Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "ea0f0d368d094369c808e9cf6ed03cbdf7aba4d23e59d00c7c19422ea429574b",
    "programfile": "rangesum10.i.c",
    "programhash": "ea0f0d368d094369c808e9cf6ed03cbdf7aba4d23e59d00c7c19422ea429574b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/60f6be6b8ede94b6cfc84470f2e17a9ffec3f97c8cd321f30fd8d5f5899aea2d.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "60f6be6b8ede94b6cfc84470f2e17a9ffec3f97c8cd321f30fd8d5f5899aea2d",
    "witness-size": 5939,
    "witness-type": "test-suite"
  }
]