[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 09:47:44.207431",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "892a39a5f8d2fc27177d51ca2b6833f41ff2c5626e13f0b276722cbe5d9d5090",
    "programfile": "../../sv-benchmarks/c/loop-invgen/nest-if3.i",
    "programhash": "892a39a5f8d2fc27177d51ca2b6833f41ff2c5626e13f0b276722cbe5d9d5090",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/640c3bfc42edba6b631fc6830d5c17c80d3a2665252b034600b23dd5c3d2a31e.zip",
    "witness-number-of-tests": 65,
    "witness-sha256": "640c3bfc42edba6b631fc6830d5c17c80d3a2665252b034600b23dd5c3d2a31e",
    "witness-size": 135214,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:12:11+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "892a39a5f8d2fc27177d51ca2b6833f41ff2c5626e13f0b276722cbe5d9d5090",
    "programfile": "../../sv-benchmarks/c/loop-invgen/nest-if3.i",
    "programhash": "892a39a5f8d2fc27177d51ca2b6833f41ff2c5626e13f0b276722cbe5d9d5090",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/9d5cbe37b063d9ff1e2a29a1caaecbc41f8833234e5bd9b1d57dd91a9da9cc1c.zip",
    "witness-number-of-tests": 7,
    "witness-sha256": "9d5cbe37b063d9ff1e2a29a1caaecbc41f8833234e5bd9b1d57dd91a9da9cc1c",
    "witness-size": 3209,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T14:12:14Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "892a39a5f8d2fc27177d51ca2b6833f41ff2c5626e13f0b276722cbe5d9d5090",
    "programfile": "nest-if3.i.c",
    "programhash": "892a39a5f8d2fc27177d51ca2b6833f41ff2c5626e13f0b276722cbe5d9d5090",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/660cc5b552ffeef33451a29a0dcdfb67593975e27b2799a471089cd2cdf648e9.zip",
    "witness-number-of-tests": 4895,
    "witness-sha256": "660cc5b552ffeef33451a29a0dcdfb67593975e27b2799a471089cd2cdf648e9",
    "witness-size": 24500113,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:48:40",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "892a39a5f8d2fc27177d51ca2b6833f41ff2c5626e13f0b276722cbe5d9d5090",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_b8cd2d32-124e-4d40-8286-6c6e69623454/sv-benchmarks/c/loop-invgen/nest-if3.i",
    "programhash": "892a39a5f8d2fc27177d51ca2b6833f41ff2c5626e13f0b276722cbe5d9d5090",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/52f20b1797cabaf2b54a24055ff77afa19dc59c8eb86b69da40a744d34b5869a.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "52f20b1797cabaf2b54a24055ff77afa19dc59c8eb86b69da40a744d34b5869a",
    "witness-size": 8030,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 08:27:35 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "892a39a5f8d2fc27177d51ca2b6833f41ff2c5626e13f0b276722cbe5d9d5090",
    "programfile": "../../sv-benchmarks/c/loop-invgen/nest-if3.i",
    "programhash": "892a39a5f8d2fc27177d51ca2b6833f41ff2c5626e13f0b276722cbe5d9d5090",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/4ebd0ab7309d3c08727a2834ee6b0a5cbdb0a01e2e6aed621b8df554c85a9a72.zip",
    "witness-number-of-tests": 29,
    "witness-sha256": "4ebd0ab7309d3c08727a2834ee6b0a5cbdb0a01e2e6aed621b8df554c85a9a72",
    "witness-size": 27168,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T02:05:32+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "892a39a5f8d2fc27177d51ca2b6833f41ff2c5626e13f0b276722cbe5d9d5090",
    "programfile": "../../sv-benchmarks/c/loop-invgen/nest-if3.i",
    "programhash": "892a39a5f8d2fc27177d51ca2b6833f41ff2c5626e13f0b276722cbe5d9d5090",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/ff0e8afd322a8c5eb1f04a46bdd723d16e42aa419189aa28512067fa3ce13cac.zip",
    "witness-number-of-tests": 11,
    "witness-sha256": "ff0e8afd322a8c5eb1f04a46bdd723d16e42aa419189aa28512067fa3ce13cac",
    "witness-size": 4460,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T01:50:53Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "892a39a5f8d2fc27177d51ca2b6833f41ff2c5626e13f0b276722cbe5d9d5090",
    "programfile": "nest-if3.i.c",
    "programhash": "892a39a5f8d2fc27177d51ca2b6833f41ff2c5626e13f0b276722cbe5d9d5090",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/1962d3421e5492dec01651294af88ad7780e31a713be454740456c5b831dd035.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "1962d3421e5492dec01651294af88ad7780e31a713be454740456c5b831dd035",
    "witness-size": 14465,
    "witness-type": "test-suite"
  }
]