[
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T00:58:05+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "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/765e717d5a7a6f220208db93f96f2755a2b11a1bd50414b73f737dabc989d1c8.zip",
    "witness-number-of-tests": 7,
    "witness-sha256": "765e717d5a7a6f220208db93f96f2755a2b11a1bd50414b73f737dabc989d1c8",
    "witness-size": 3203,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T21:33:14+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "2a88d9d9959a5b76c924a6859e164a7a95d216938b7e077da588b784b3e66ba4",
    "programfile": "../../sv-benchmarks/c/reducercommutativity/sep20-1.i",
    "programhash": "2a88d9d9959a5b76c924a6859e164a7a95d216938b7e077da588b784b3e66ba4",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/ab153c15508156d857377eace6b09651463e0a95f4238d5f0097887ef02b8539.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "ab153c15508156d857377eace6b09651463e0a95f4238d5f0097887ef02b8539",
    "witness-size": 1504,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T02:25:35Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-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/78e75c28f222ee019e6ce74a965db3331ae484fbe3c09cdc0ce0afd24e7e5f75.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "78e75c28f222ee019e6ce74a965db3331ae484fbe3c09cdc0ce0afd24e7e5f75",
    "witness-size": 36186,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T12:58 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "2a88d9d9959a5b76c924a6859e164a7a95d216938b7e077da588b784b3e66ba4",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_75573cfa-a078-4b4c-bd9e-5dadaa6e722f/sv-benchmarks/c/reducercommutativity/sep20-1.i",
    "programhash": "2a88d9d9959a5b76c924a6859e164a7a95d216938b7e077da588b784b3e66ba4",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/154c0718f2d2b410a6d5e84a161695769f4f6fa97c9b682416e5eb015b2bbb45.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "154c0718f2d2b410a6d5e84a161695769f4f6fa97c9b682416e5eb015b2bbb45",
    "witness-size": 909,
    "witness-type": "test-suite"
  }
]