[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T03:22:15+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "98a1455f610b94f01c09605e0c1a50a6f39aca93119e73b64ba0daa366bb152d",
    "programfile": "../../sv-benchmarks/c/loop-acceleration/multivar_1-1.c",
    "programhash": "98a1455f610b94f01c09605e0c1a50a6f39aca93119e73b64ba0daa366bb152d",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/9b81e381a3db09cc53d40c03a60c1ea7d0e39e5638db8968c868ec964198967a.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "9b81e381a3db09cc53d40c03a60c1ea7d0e39e5638db8968c868ec964198967a",
    "witness-size": 1680,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 01:42:20.505874",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "98a1455f610b94f01c09605e0c1a50a6f39aca93119e73b64ba0daa366bb152d",
    "programfile": "../../sv-benchmarks/c/loop-acceleration/multivar_1-1.c",
    "programhash": "98a1455f610b94f01c09605e0c1a50a6f39aca93119e73b64ba0daa366bb152d",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/3f7e63f7efef3961dafb4267588cff9bc13677c68da0ca8b60cf247dba522ff2.zip",
    "witness-number-of-tests": 824,
    "witness-sha256": "3f7e63f7efef3961dafb4267588cff9bc13677c68da0ca8b60cf247dba522ff2",
    "witness-size": 356756,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 02:23:31 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "98a1455f610b94f01c09605e0c1a50a6f39aca93119e73b64ba0daa366bb152d",
    "programfile": "../../sv-benchmarks/c/loop-acceleration/multivar_1-1.c",
    "programhash": "98a1455f610b94f01c09605e0c1a50a6f39aca93119e73b64ba0daa366bb152d",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/048d55fe998f86c0ebf460d6427060fde261ad57f74f0f1e341ee8bd282376e7.zip",
    "witness-number-of-tests": 13,
    "witness-sha256": "048d55fe998f86c0ebf460d6427060fde261ad57f74f0f1e341ee8bd282376e7",
    "witness-size": 13231,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T16:38:25Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "98a1455f610b94f01c09605e0c1a50a6f39aca93119e73b64ba0daa366bb152d",
    "programfile": "multivar_1-1.c.c",
    "programhash": "98a1455f610b94f01c09605e0c1a50a6f39aca93119e73b64ba0daa366bb152d",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/07e8439d691c167dd941e7caa8eec63e6b03a7edcabd4fbcb83801d50597a707.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "07e8439d691c167dd941e7caa8eec63e6b03a7edcabd4fbcb83801d50597a707",
    "witness-size": 45555,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T23:33:10Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "98a1455f610b94f01c09605e0c1a50a6f39aca93119e73b64ba0daa366bb152d",
    "programfile": "multivar_1-1.c.c",
    "programhash": "98a1455f610b94f01c09605e0c1a50a6f39aca93119e73b64ba0daa366bb152d",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/17fcaff4e11aae7facd08fa6d13cc4839a09380e00c3a100ee1d9d3e5b5ec2df.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "17fcaff4e11aae7facd08fa6d13cc4839a09380e00c3a100ee1d9d3e5b5ec2df",
    "witness-size": 3780,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T05:53:43+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "98a1455f610b94f01c09605e0c1a50a6f39aca93119e73b64ba0daa366bb152d",
    "programfile": "../../sv-benchmarks/c/loop-acceleration/multivar_1-1.c",
    "programhash": "98a1455f610b94f01c09605e0c1a50a6f39aca93119e73b64ba0daa366bb152d",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/4fef5b4282fc988721855ad45a9b9df2d4dc374b16f373865c97aa433283ea2a.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "4fef5b4282fc988721855ad45a9b9df2d4dc374b16f373865c97aa433283ea2a",
    "witness-size": 1347,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 10:13:20",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "98a1455f610b94f01c09605e0c1a50a6f39aca93119e73b64ba0daa366bb152d",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_0966849b-e113-4a9f-bf60-42bd6b209205/sv-benchmarks/c/loop-acceleration/multivar_1-1.c",
    "programhash": "98a1455f610b94f01c09605e0c1a50a6f39aca93119e73b64ba0daa366bb152d",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/20f17ed1e475be446d91c0fe9b589e5d92945ffd9a6ad0f57348c7fab31f1ff3.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "20f17ed1e475be446d91c0fe9b589e5d92945ffd9a6ad0f57348c7fab31f1ff3",
    "witness-size": 6199,
    "witness-type": "test-suite"
  }
]