[
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T01:18:02Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "b660bea2da531806a592259206b4ba449eee4ed5582a7abd09f31bfc44fff31f",
    "programfile": "nec20.c.c",
    "programhash": "b660bea2da531806a592259206b4ba449eee4ed5582a7abd09f31bfc44fff31f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/12a94293e7c09b21d3e9b7123d214132cea9931f81f10bbda70a6ddf11db0e01.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "12a94293e7c09b21d3e9b7123d214132cea9931f81f10bbda70a6ddf11db0e01",
    "witness-size": 2869,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T02:27:55+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "b660bea2da531806a592259206b4ba449eee4ed5582a7abd09f31bfc44fff31f",
    "programfile": "../../sv-benchmarks/c/loops/nec20.c",
    "programhash": "b660bea2da531806a592259206b4ba449eee4ed5582a7abd09f31bfc44fff31f",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/1656cb90504f3f0319440298c9b34449fa3fd26b8fa581d2b4790bd173981ead.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "1656cb90504f3f0319440298c9b34449fa3fd26b8fa581d2b4790bd173981ead",
    "witness-size": 1043,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T14:55 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "b660bea2da531806a592259206b4ba449eee4ed5582a7abd09f31bfc44fff31f",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_ce2cfe5c-8649-425d-834e-78e5132684a6/sv-benchmarks/c/loops/nec20.c",
    "programhash": "b660bea2da531806a592259206b4ba449eee4ed5582a7abd09f31bfc44fff31f",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/79d0ee42884cc3f0b3b5c304ea598c505b66a9b570738f9f268d1e04176e2a63.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "79d0ee42884cc3f0b3b5c304ea598c505b66a9b570738f9f268d1e04176e2a63",
    "witness-size": 2793,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T04:05:34+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "b660bea2da531806a592259206b4ba449eee4ed5582a7abd09f31bfc44fff31f",
    "programfile": "../../sv-benchmarks/c/loops/nec20.c",
    "programhash": "b660bea2da531806a592259206b4ba449eee4ed5582a7abd09f31bfc44fff31f",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/c08a59644573d2051ecf18893fa13d9f8c47776313bd9eacaaf2fdc39dfa0f11.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "c08a59644573d2051ecf18893fa13d9f8c47776313bd9eacaaf2fdc39dfa0f11",
    "witness-size": 2566,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T00:52:19+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "b660bea2da531806a592259206b4ba449eee4ed5582a7abd09f31bfc44fff31f",
    "programfile": "../../sv-benchmarks/c/loops/nec20.c",
    "programhash": "b660bea2da531806a592259206b4ba449eee4ed5582a7abd09f31bfc44fff31f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/cb91fbe4621142be3f508dfcf165437a447bc6d4fdebf55a97574383178eeccb.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "cb91fbe4621142be3f508dfcf165437a447bc6d4fdebf55a97574383178eeccb",
    "witness-size": 985,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T21:06:37+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "b660bea2da531806a592259206b4ba449eee4ed5582a7abd09f31bfc44fff31f",
    "programfile": "../../sv-benchmarks/c/loops/nec20.c",
    "programhash": "b660bea2da531806a592259206b4ba449eee4ed5582a7abd09f31bfc44fff31f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/70ab4f328b412cfe116254adec73972cbad7b589622659b9b0be8bd67cb44f7a.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "70ab4f328b412cfe116254adec73972cbad7b589622659b9b0be8bd67cb44f7a",
    "witness-size": 3736,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T14:55 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "b660bea2da531806a592259206b4ba449eee4ed5582a7abd09f31bfc44fff31f",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_1ec15485-00c8-4238-a4de-494a3a1e474c/sv-benchmarks/c/loops/nec20.c",
    "programhash": "b660bea2da531806a592259206b4ba449eee4ed5582a7abd09f31bfc44fff31f",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/c13c42369a4384f6dbb6999adad5384d92d358976fae5d44a9a9d365eaf4e307.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "c13c42369a4384f6dbb6999adad5384d92d358976fae5d44a9a9d365eaf4e307",
    "witness-size": 2781,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-05T22:14:04Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "b660bea2da531806a592259206b4ba449eee4ed5582a7abd09f31bfc44fff31f",
    "programfile": "nec20.c.c",
    "programhash": "b660bea2da531806a592259206b4ba449eee4ed5582a7abd09f31bfc44fff31f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/808ad1726e9c949618cbbee78eea4029f726b5f87098bf13fa1d6b013b254768.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "808ad1726e9c949618cbbee78eea4029f726b5f87098bf13fa1d6b013b254768",
    "witness-size": 4732,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T00:52:19+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "b660bea2da531806a592259206b4ba449eee4ed5582a7abd09f31bfc44fff31f",
    "programfile": "../../sv-benchmarks/c/loops/nec20.c",
    "programhash": "b660bea2da531806a592259206b4ba449eee4ed5582a7abd09f31bfc44fff31f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/7d392c8eb17800a07d82a89bcbe601a845357f2a19561831652b54a7f606097e.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "7d392c8eb17800a07d82a89bcbe601a845357f2a19561831652b54a7f606097e",
    "witness-size": 2834,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T02:27:55+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "b660bea2da531806a592259206b4ba449eee4ed5582a7abd09f31bfc44fff31f",
    "programfile": "../../sv-benchmarks/c/loops/nec20.c",
    "programhash": "b660bea2da531806a592259206b4ba449eee4ed5582a7abd09f31bfc44fff31f",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/5d608e80c55b8af0884576aa701903868bdb42dc0ff68247f28560910e9a41ff.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "5d608e80c55b8af0884576aa701903868bdb42dc0ff68247f28560910e9a41ff",
    "witness-size": 2894,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T01:18:02Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "b660bea2da531806a592259206b4ba449eee4ed5582a7abd09f31bfc44fff31f",
    "programfile": "nec20.c.c",
    "programhash": "b660bea2da531806a592259206b4ba449eee4ed5582a7abd09f31bfc44fff31f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/394435a65cac18c89108952bfb4062d008ab012981afb1457bdb3ee82455eb91.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "394435a65cac18c89108952bfb4062d008ab012981afb1457bdb3ee82455eb91",
    "witness-size": 7637,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T21:06:37+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "b660bea2da531806a592259206b4ba449eee4ed5582a7abd09f31bfc44fff31f",
    "programfile": "../../sv-benchmarks/c/loops/nec20.c",
    "programhash": "b660bea2da531806a592259206b4ba449eee4ed5582a7abd09f31bfc44fff31f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/ee2bb28a9bb6d93414c4e0300dfb216884adb1cbe5126f70bd997eb3d570c305.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "ee2bb28a9bb6d93414c4e0300dfb216884adb1cbe5126f70bd997eb3d570c305",
    "witness-size": 2833,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T11:43 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "b660bea2da531806a592259206b4ba449eee4ed5582a7abd09f31bfc44fff31f",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_1ec15485-00c8-4238-a4de-494a3a1e474c/sv-benchmarks/c/loops/nec20.c",
    "programhash": "b660bea2da531806a592259206b4ba449eee4ed5582a7abd09f31bfc44fff31f",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/474c2f719b6f62ca4711cd19c7c7bda74bb8cbeeb11600d458ef802f0d8c0cc2.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "474c2f719b6f62ca4711cd19c7c7bda74bb8cbeeb11600d458ef802f0d8c0cc2",
    "witness-size": 907,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-05T22:14:04Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "b660bea2da531806a592259206b4ba449eee4ed5582a7abd09f31bfc44fff31f",
    "programfile": "nec20.c.c",
    "programhash": "b660bea2da531806a592259206b4ba449eee4ed5582a7abd09f31bfc44fff31f",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/b744aa02cda61e9ab5549bcf42af0d64040af4d67b37b101c736bdc84696c1e9.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "b744aa02cda61e9ab5549bcf42af0d64040af4d67b37b101c736bdc84696c1e9",
    "witness-size": 2872,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T04:05:34+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "b660bea2da531806a592259206b4ba449eee4ed5582a7abd09f31bfc44fff31f",
    "programfile": "../../sv-benchmarks/c/loops/nec20.c",
    "programhash": "b660bea2da531806a592259206b4ba449eee4ed5582a7abd09f31bfc44fff31f",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/93b74a6b55cdda3d375c4eaee0edc8f377c27e2725d140d2589c53e26364cf78.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "93b74a6b55cdda3d375c4eaee0edc8f377c27e2725d140d2589c53e26364cf78",
    "witness-size": 2899,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T11:40 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "b660bea2da531806a592259206b4ba449eee4ed5582a7abd09f31bfc44fff31f",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_ce2cfe5c-8649-425d-834e-78e5132684a6/sv-benchmarks/c/loops/nec20.c",
    "programhash": "b660bea2da531806a592259206b4ba449eee4ed5582a7abd09f31bfc44fff31f",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/8651e4fe25262a09f5ad345c3a9d01530c39cf4383e9b41910f7469a6995dc14.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "8651e4fe25262a09f5ad345c3a9d01530c39cf4383e9b41910f7469a6995dc14",
    "witness-size": 1589,
    "witness-type": "test-suite"
  }
]