[
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T04:58:26Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "6552fdee34866b342286b29622aac1c7f7a7ccdf8e5bf18472f2ddf705d362d7",
    "programfile": "Problem03_label51.c.c",
    "programhash": "6552fdee34866b342286b29622aac1c7f7a7ccdf8e5bf18472f2ddf705d362d7",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/32209b3d2a83f710cb3b3bac4729238d1a1488d223cb68bff4eba1c541f82dd7.zip",
    "witness-number-of-tests": 390,
    "witness-sha256": "32209b3d2a83f710cb3b3bac4729238d1a1488d223cb68bff4eba1c541f82dd7",
    "witness-size": 251111,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T01:14:43+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "6552fdee34866b342286b29622aac1c7f7a7ccdf8e5bf18472f2ddf705d362d7",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label51.c",
    "programhash": "6552fdee34866b342286b29622aac1c7f7a7ccdf8e5bf18472f2ddf705d362d7",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/86f6acf91954cdb5d4b58df39a20c23d80fb9e73f4e88b97fdb922495ba96d92.zip",
    "witness-number-of-tests": 101,
    "witness-sha256": "86f6acf91954cdb5d4b58df39a20c23d80fb9e73f4e88b97fdb922495ba96d92",
    "witness-size": 36222,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T00:01:05+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "6552fdee34866b342286b29622aac1c7f7a7ccdf8e5bf18472f2ddf705d362d7",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label51.c",
    "programhash": "6552fdee34866b342286b29622aac1c7f7a7ccdf8e5bf18472f2ddf705d362d7",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/cc22e56043e8f07a905593efa85b0f5b6428911782c3322187ad5908b0132351.zip",
    "witness-number-of-tests": 470,
    "witness-sha256": "cc22e56043e8f07a905593efa85b0f5b6428911782c3322187ad5908b0132351",
    "witness-size": 184554,
    "witness-type": "test-suite"
  }
]