[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T14:39:37Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "4b132c5a309b8dfac115dab2a126e260b0e00bd9aa579093980411c053fd92e5",
    "programfile": "fragtest_simple.i.c",
    "programhash": "4b132c5a309b8dfac115dab2a126e260b0e00bd9aa579093980411c053fd92e5",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/6a12804152edac23759c0ffc73d09d4f6ead5ff6c360571d26cdbf0be14c1a35.zip",
    "witness-number-of-tests": 585,
    "witness-sha256": "6a12804152edac23759c0ffc73d09d4f6ead5ff6c360571d26cdbf0be14c1a35",
    "witness-size": 276099,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T11:18:46+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "4b132c5a309b8dfac115dab2a126e260b0e00bd9aa579093980411c053fd92e5",
    "programfile": "../../sv-benchmarks/c/loop-invgen/fragtest_simple.i",
    "programhash": "4b132c5a309b8dfac115dab2a126e260b0e00bd9aa579093980411c053fd92e5",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/045d322ea513e0528a2f3d47f38c039fdcce2497bf6f1267aa5385f59563d612.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "045d322ea513e0528a2f3d47f38c039fdcce2497bf6f1267aa5385f59563d612",
    "witness-size": 1796,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T21:56:21+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "4b132c5a309b8dfac115dab2a126e260b0e00bd9aa579093980411c053fd92e5",
    "programfile": "../../sv-benchmarks/c/loop-invgen/fragtest_simple.i",
    "programhash": "4b132c5a309b8dfac115dab2a126e260b0e00bd9aa579093980411c053fd92e5",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/f8b2c0244655a6837c6c6023a594df2760d7e2303326958e10b8d4fe002a1b90.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "f8b2c0244655a6837c6c6023a594df2760d7e2303326958e10b8d4fe002a1b90",
    "witness-size": 3773,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T03:24:19Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "4b132c5a309b8dfac115dab2a126e260b0e00bd9aa579093980411c053fd92e5",
    "programfile": "fragtest_simple.i.c",
    "programhash": "4b132c5a309b8dfac115dab2a126e260b0e00bd9aa579093980411c053fd92e5",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/b7fff0abe4f5507542d4aa34f5314cda25331c0378f10bc18709cf85f662cfb5.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "b7fff0abe4f5507542d4aa34f5314cda25331c0378f10bc18709cf85f662cfb5",
    "witness-size": 94174,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 10:22:02 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "4b132c5a309b8dfac115dab2a126e260b0e00bd9aa579093980411c053fd92e5",
    "programfile": "../../sv-benchmarks/c/loop-invgen/fragtest_simple.i",
    "programhash": "4b132c5a309b8dfac115dab2a126e260b0e00bd9aa579093980411c053fd92e5",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/3ec3aac9b205f0ffd8b38f7ac360b881bbee229c613d1a3afd0ef61e4c751a56.zip",
    "witness-number-of-tests": 31,
    "witness-sha256": "3ec3aac9b205f0ffd8b38f7ac360b881bbee229c613d1a3afd0ef61e4c751a56",
    "witness-size": 28739,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:53:34",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "4b132c5a309b8dfac115dab2a126e260b0e00bd9aa579093980411c053fd92e5",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_94f89147-31eb-4c22-9264-860b318ac072/sv-benchmarks/c/loop-invgen/fragtest_simple.i",
    "programhash": "4b132c5a309b8dfac115dab2a126e260b0e00bd9aa579093980411c053fd92e5",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/ec78935fa34c53796d0d6be848e8a4dd7d562799f0d039f0a0ffd4b597c09318.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "ec78935fa34c53796d0d6be848e8a4dd7d562799f0d039f0a0ffd4b597c09318",
    "witness-size": 9535,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 04:06:47.930340",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "4b132c5a309b8dfac115dab2a126e260b0e00bd9aa579093980411c053fd92e5",
    "programfile": "../../sv-benchmarks/c/loop-invgen/fragtest_simple.i",
    "programhash": "4b132c5a309b8dfac115dab2a126e260b0e00bd9aa579093980411c053fd92e5",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/96312746510aa4df45590928ec228cdd03333c67ce51c88e9f4e20aedb91b24c.zip",
    "witness-number-of-tests": 578,
    "witness-sha256": "96312746510aa4df45590928ec228cdd03333c67ce51c88e9f4e20aedb91b24c",
    "witness-size": 542215,
    "witness-type": "test-suite"
  }
]