[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T21:11:18+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "3ac0a2bb56fb1f4a96137779e4842fdd781d1f4370e7258e69e2fc1519cfdbd1",
    "programfile": "../../sv-benchmarks/c/loops/n.c40.c",
    "programhash": "3ac0a2bb56fb1f4a96137779e4842fdd781d1f4370e7258e69e2fc1519cfdbd1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/bace3c3f6138964e1e2e0f98a1b84cd65353114d381929b1cff8cd2af02af582.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "bace3c3f6138964e1e2e0f98a1b84cd65353114d381929b1cff8cd2af02af582",
    "witness-size": 1673,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T19:26:16Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "3ac0a2bb56fb1f4a96137779e4842fdd781d1f4370e7258e69e2fc1519cfdbd1",
    "programfile": "n.c40.c.c",
    "programhash": "3ac0a2bb56fb1f4a96137779e4842fdd781d1f4370e7258e69e2fc1519cfdbd1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/c3460a9e03678808cad858e64f44363225a56e86bc3f96faae26c7e794e20a16.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "c3460a9e03678808cad858e64f44363225a56e86bc3f96faae26c7e794e20a16",
    "witness-size": 17163,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 00:11:32 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "3ac0a2bb56fb1f4a96137779e4842fdd781d1f4370e7258e69e2fc1519cfdbd1",
    "programfile": "../../sv-benchmarks/c/loops/n.c40.c",
    "programhash": "3ac0a2bb56fb1f4a96137779e4842fdd781d1f4370e7258e69e2fc1519cfdbd1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/f26fa8f370e5ac3c4ea9f4acfdcc9b5c134046fa4e32eb608aacff934289bfd7.zip",
    "witness-number-of-tests": 7,
    "witness-sha256": "f26fa8f370e5ac3c4ea9f4acfdcc9b5c134046fa4e32eb608aacff934289bfd7",
    "witness-size": 11098,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T09:18:15+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "3ac0a2bb56fb1f4a96137779e4842fdd781d1f4370e7258e69e2fc1519cfdbd1",
    "programfile": "../../sv-benchmarks/c/loops/n.c40.c",
    "programhash": "3ac0a2bb56fb1f4a96137779e4842fdd781d1f4370e7258e69e2fc1519cfdbd1",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/107c16e77722c19301d0e1cbf79ff820816452d3debce54534337f2500fd98b5.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "107c16e77722c19301d0e1cbf79ff820816452d3debce54534337f2500fd98b5",
    "witness-size": 1342,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:14:21Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "3ac0a2bb56fb1f4a96137779e4842fdd781d1f4370e7258e69e2fc1519cfdbd1",
    "programfile": "n.c40.c.c",
    "programhash": "3ac0a2bb56fb1f4a96137779e4842fdd781d1f4370e7258e69e2fc1519cfdbd1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/3ff16b23e5557cefbf9d322a595909e42ba56feaf11ff86c43c7c4b5485fd001.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "3ff16b23e5557cefbf9d322a595909e42ba56feaf11ff86c43c7c4b5485fd001",
    "witness-size": 3631,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:53:32",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "3ac0a2bb56fb1f4a96137779e4842fdd781d1f4370e7258e69e2fc1519cfdbd1",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_9cb55814-6fe7-41c8-861e-2e249ac025bb/sv-benchmarks/c/loops/n.c40.c",
    "programhash": "3ac0a2bb56fb1f4a96137779e4842fdd781d1f4370e7258e69e2fc1519cfdbd1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/2d82cd1aa0f8ec3e7baefae517d62789bcecb49195bba78ca213a176a4634a75.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "2d82cd1aa0f8ec3e7baefae517d62789bcecb49195bba78ca213a176a4634a75",
    "witness-size": 6592,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 00:03:36.128311",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "3ac0a2bb56fb1f4a96137779e4842fdd781d1f4370e7258e69e2fc1519cfdbd1",
    "programfile": "../../sv-benchmarks/c/loops/n.c40.c",
    "programhash": "3ac0a2bb56fb1f4a96137779e4842fdd781d1f4370e7258e69e2fc1519cfdbd1",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/28b1feea4cb3a495524c7a7aa067cc26e859058f593f3b008ff799cd853d51c3.zip",
    "witness-number-of-tests": 906,
    "witness-sha256": "28b1feea4cb3a495524c7a7aa067cc26e859058f593f3b008ff799cd853d51c3",
    "witness-size": 392198,
    "witness-type": "test-suite"
  }
]