[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T21:11:09+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "c3e9a03ae128354db4825265abc391cec4524cf26394216e5c917566f799ea9a",
    "programfile": "../../sv-benchmarks/c/loops/trex01-2.i",
    "programhash": "c3e9a03ae128354db4825265abc391cec4524cf26394216e5c917566f799ea9a",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/c571ad123eacc436db177c921e05d64baa63224de043b6794d25c66c6f262181.zip",
    "witness-number-of-tests": 19,
    "witness-sha256": "c571ad123eacc436db177c921e05d64baa63224de043b6794d25c66c6f262181",
    "witness-size": 7343,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 09:20:43.761934",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "c3e9a03ae128354db4825265abc391cec4524cf26394216e5c917566f799ea9a",
    "programfile": "../../sv-benchmarks/c/loops/trex01-2.i",
    "programhash": "c3e9a03ae128354db4825265abc391cec4524cf26394216e5c917566f799ea9a",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/4b9d2b996386a78e3923ddb06cf6e799cb44420ca3bb11a0d7c826eefe3bed94.zip",
    "witness-number-of-tests": 255,
    "witness-sha256": "4b9d2b996386a78e3923ddb06cf6e799cb44420ca3bb11a0d7c826eefe3bed94",
    "witness-size": 139452,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:38:54",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "c3e9a03ae128354db4825265abc391cec4524cf26394216e5c917566f799ea9a",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_f3687e9d-6148-43a7-a03a-93464515f7f8/sv-benchmarks/c/loops/trex01-2.i",
    "programhash": "c3e9a03ae128354db4825265abc391cec4524cf26394216e5c917566f799ea9a",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/680c2585eac60bebfe035051ebdb4fd7a75363096f269e494bcd37cdf8a603c5.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "680c2585eac60bebfe035051ebdb4fd7a75363096f269e494bcd37cdf8a603c5",
    "witness-size": 9152,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 05:43:24 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "c3e9a03ae128354db4825265abc391cec4524cf26394216e5c917566f799ea9a",
    "programfile": "../../sv-benchmarks/c/loops/trex01-2.i",
    "programhash": "c3e9a03ae128354db4825265abc391cec4524cf26394216e5c917566f799ea9a",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/3454fb679ddbf9881f8d0699379bc9e25d2ae93f280785b447047e9b43a48b95.zip",
    "witness-number-of-tests": 39,
    "witness-sha256": "3454fb679ddbf9881f8d0699379bc9e25d2ae93f280785b447047e9b43a48b95",
    "witness-size": 33248,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T02:37:45+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "c3e9a03ae128354db4825265abc391cec4524cf26394216e5c917566f799ea9a",
    "programfile": "../../sv-benchmarks/c/loops/trex01-2.i",
    "programhash": "c3e9a03ae128354db4825265abc391cec4524cf26394216e5c917566f799ea9a",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/0b41f2644deaabeb6e534874d5042db8309c86886e7604b2695f2e547fd8e8df.zip",
    "witness-number-of-tests": 14,
    "witness-sha256": "0b41f2644deaabeb6e534874d5042db8309c86886e7604b2695f2e547fd8e8df",
    "witness-size": 5888,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T16:46:54Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "c3e9a03ae128354db4825265abc391cec4524cf26394216e5c917566f799ea9a",
    "programfile": "trex01-2.i.c",
    "programhash": "c3e9a03ae128354db4825265abc391cec4524cf26394216e5c917566f799ea9a",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/dc35393c9bb55e34d63975aaf07bfd5239bcc176969c1aff38e51f5b32bc4f3c.zip",
    "witness-number-of-tests": 65,
    "witness-sha256": "dc35393c9bb55e34d63975aaf07bfd5239bcc176969c1aff38e51f5b32bc4f3c",
    "witness-size": 237053,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T09:17:11Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "c3e9a03ae128354db4825265abc391cec4524cf26394216e5c917566f799ea9a",
    "programfile": "trex01-2.i.c",
    "programhash": "c3e9a03ae128354db4825265abc391cec4524cf26394216e5c917566f799ea9a",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/fe825179e2a1cff656bc3682bcb6e22c0f395470af389ed6ca7586857d2688a1.zip",
    "witness-number-of-tests": 8,
    "witness-sha256": "fe825179e2a1cff656bc3682bcb6e22c0f395470af389ed6ca7586857d2688a1",
    "witness-size": 89479,
    "witness-type": "test-suite"
  }
]