[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T05:10:00+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "83de1a4101daf902b2c5071c5bdc1fdd42174f5e0be0011c425f5a4b56a0db40",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/sine_7.i",
    "programhash": "83de1a4101daf902b2c5071c5bdc1fdd42174f5e0be0011c425f5a4b56a0db40",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/ba5a2a1fa92ecff8f39170ca9f6b4a541a9b229b462311b4d28066fa5572a315.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "ba5a2a1fa92ecff8f39170ca9f6b4a541a9b229b462311b4d28066fa5572a315",
    "witness-size": 2073,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T01:18:53+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "83de1a4101daf902b2c5071c5bdc1fdd42174f5e0be0011c425f5a4b56a0db40",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/sine_7.i",
    "programhash": "83de1a4101daf902b2c5071c5bdc1fdd42174f5e0be0011c425f5a4b56a0db40",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/39988fd5d033f61b86b3ba7736246c96296191ea3ed0c843da2ece4e803b1558.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "39988fd5d033f61b86b3ba7736246c96296191ea3ed0c843da2ece4e803b1558",
    "witness-size": 1760,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:55:27",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "83de1a4101daf902b2c5071c5bdc1fdd42174f5e0be0011c425f5a4b56a0db40",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_54faa8a2-0268-49f2-8244-51f9814cda50/sv-benchmarks/c/floats-cdfpl/sine_7.i",
    "programhash": "83de1a4101daf902b2c5071c5bdc1fdd42174f5e0be0011c425f5a4b56a0db40",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/1f97779a2d1d538bb3670c373a994dd3a5878ffbbf4f1ace262eeb40c8b847b9.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "1f97779a2d1d538bb3670c373a994dd3a5878ffbbf4f1ace262eeb40c8b847b9",
    "witness-size": 6349,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 05:08:51.081876",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "83de1a4101daf902b2c5071c5bdc1fdd42174f5e0be0011c425f5a4b56a0db40",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/sine_7.i",
    "programhash": "83de1a4101daf902b2c5071c5bdc1fdd42174f5e0be0011c425f5a4b56a0db40",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/1b8ccb4139cfff373d0a59e8142dbe4c1ca983f53f2af4a9bfffdb90ba625bf1.zip",
    "witness-number-of-tests": 45,
    "witness-sha256": "1b8ccb4139cfff373d0a59e8142dbe4c1ca983f53f2af4a9bfffdb90ba625bf1",
    "witness-size": 20193,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T05:07:16Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "83de1a4101daf902b2c5071c5bdc1fdd42174f5e0be0011c425f5a4b56a0db40",
    "programfile": "sine_7.i.c",
    "programhash": "83de1a4101daf902b2c5071c5bdc1fdd42174f5e0be0011c425f5a4b56a0db40",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/514d1c1c113064cdb92020730c726608559257f93f7235afb73c62308913e4f8.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "514d1c1c113064cdb92020730c726608559257f93f7235afb73c62308913e4f8",
    "witness-size": 4099,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 01:57:00 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "83de1a4101daf902b2c5071c5bdc1fdd42174f5e0be0011c425f5a4b56a0db40",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/sine_7.i",
    "programhash": "83de1a4101daf902b2c5071c5bdc1fdd42174f5e0be0011c425f5a4b56a0db40",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/f76d5231cf6dd57ab5800e5183d43545440a6336529715855872284e9edad173.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "f76d5231cf6dd57ab5800e5183d43545440a6336529715855872284e9edad173",
    "witness-size": 10461,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T16:57:27Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "83de1a4101daf902b2c5071c5bdc1fdd42174f5e0be0011c425f5a4b56a0db40",
    "programfile": "sine_7.i.c",
    "programhash": "83de1a4101daf902b2c5071c5bdc1fdd42174f5e0be0011c425f5a4b56a0db40",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/03a24a1b5d251c4bdb0a555d87f5c46780c1e96c52e3ffd7fe726bdda8b6c084.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "03a24a1b5d251c4bdb0a555d87f5c46780c1e96c52e3ffd7fe726bdda8b6c084",
    "witness-size": 16782,
    "witness-type": "test-suite"
  }
]