[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T04:22:29Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "a6b02d7e0f383a21be8bf9ec52cf81cca0461867342dc89cd9e7c9ab2a3fb34b",
    "programfile": "sine_3.i.c",
    "programhash": "a6b02d7e0f383a21be8bf9ec52cf81cca0461867342dc89cd9e7c9ab2a3fb34b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/b33bfaef73d85e2c86e8a770b5cc44b86e2f200bf5a2a6e37cb236d540fb433a.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "b33bfaef73d85e2c86e8a770b5cc44b86e2f200bf5a2a6e37cb236d540fb433a",
    "witness-size": 4100,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:16:50",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "a6b02d7e0f383a21be8bf9ec52cf81cca0461867342dc89cd9e7c9ab2a3fb34b",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_f21440b0-1fb8-43e1-8b7c-07d7c99802c4/sv-benchmarks/c/floats-cdfpl/sine_3.i",
    "programhash": "a6b02d7e0f383a21be8bf9ec52cf81cca0461867342dc89cd9e7c9ab2a3fb34b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/783ef07a603eb27722721beb121eda1be89c68a16ab80238f4d4afbf508d070e.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "783ef07a603eb27722721beb121eda1be89c68a16ab80238f4d4afbf508d070e",
    "witness-size": 6354,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T07:11:29Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "a6b02d7e0f383a21be8bf9ec52cf81cca0461867342dc89cd9e7c9ab2a3fb34b",
    "programfile": "sine_3.i.c",
    "programhash": "a6b02d7e0f383a21be8bf9ec52cf81cca0461867342dc89cd9e7c9ab2a3fb34b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/c5cdc8713f218567081ba4d2f1058c3424946a2090d11eb899d6a15c5c243e81.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "c5cdc8713f218567081ba4d2f1058c3424946a2090d11eb899d6a15c5c243e81",
    "witness-size": 3737,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08 22:39:52.855134",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "a6b02d7e0f383a21be8bf9ec52cf81cca0461867342dc89cd9e7c9ab2a3fb34b",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/sine_3.i",
    "programhash": "a6b02d7e0f383a21be8bf9ec52cf81cca0461867342dc89cd9e7c9ab2a3fb34b",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/43fa041d8e78fc50aa62bb069050e4696e94010ab1f56bb62bd98db1b89ee152.zip",
    "witness-number-of-tests": 68,
    "witness-sha256": "43fa041d8e78fc50aa62bb069050e4696e94010ab1f56bb62bd98db1b89ee152",
    "witness-size": 30044,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:40:23",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "a6b02d7e0f383a21be8bf9ec52cf81cca0461867342dc89cd9e7c9ab2a3fb34b",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_a81d1032-81ee-42bb-8ef7-dd4ad007d75d/sv-benchmarks/c/floats-cdfpl/sine_3.i",
    "programhash": "a6b02d7e0f383a21be8bf9ec52cf81cca0461867342dc89cd9e7c9ab2a3fb34b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/a4ed75771fcd6e478a7f7f31e0604fa3212238aa9d0822c780b2e0db6d8a6ff2.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "a4ed75771fcd6e478a7f7f31e0604fa3212238aa9d0822c780b2e0db6d8a6ff2",
    "witness-size": 6106,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:26:21+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "a6b02d7e0f383a21be8bf9ec52cf81cca0461867342dc89cd9e7c9ab2a3fb34b",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/sine_3.i",
    "programhash": "a6b02d7e0f383a21be8bf9ec52cf81cca0461867342dc89cd9e7c9ab2a3fb34b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/b1e312b549ace16ed43a225d1b21942f8f6d7ed3a203a0ae0383b8eb53fd6104.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "b1e312b549ace16ed43a225d1b21942f8f6d7ed3a203a0ae0383b8eb53fd6104",
    "witness-size": 1005,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T23:29:30+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "a6b02d7e0f383a21be8bf9ec52cf81cca0461867342dc89cd9e7c9ab2a3fb34b",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/sine_3.i",
    "programhash": "a6b02d7e0f383a21be8bf9ec52cf81cca0461867342dc89cd9e7c9ab2a3fb34b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/a6da20eec2e485c7ea9f5c8dcfe11c2205d225bf8f1a9cf37e3193c5fa89ed9c.zip",
    "witness-number-of-tests": 7,
    "witness-sha256": "a6da20eec2e485c7ea9f5c8dcfe11c2205d225bf8f1a9cf37e3193c5fa89ed9c",
    "witness-size": 3148,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T16:15:06Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "a6b02d7e0f383a21be8bf9ec52cf81cca0461867342dc89cd9e7c9ab2a3fb34b",
    "programfile": "sine_3.i.c",
    "programhash": "a6b02d7e0f383a21be8bf9ec52cf81cca0461867342dc89cd9e7c9ab2a3fb34b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/9cc6e5d2fef580cc0093254259ef6d9f0a556bf19467f027e6583e04e5481f04.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "9cc6e5d2fef580cc0093254259ef6d9f0a556bf19467f027e6583e04e5481f04",
    "witness-size": 16773,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 09:44:49 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "a6b02d7e0f383a21be8bf9ec52cf81cca0461867342dc89cd9e7c9ab2a3fb34b",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/sine_3.i",
    "programhash": "a6b02d7e0f383a21be8bf9ec52cf81cca0461867342dc89cd9e7c9ab2a3fb34b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/d024f2f4653533109f397316bf2f2e2dd086fe003f08442b016a2742a5359518.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "d024f2f4653533109f397316bf2f2e2dd086fe003f08442b016a2742a5359518",
    "witness-size": 12036,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T10:12:37+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "a6b02d7e0f383a21be8bf9ec52cf81cca0461867342dc89cd9e7c9ab2a3fb34b",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/sine_3.i",
    "programhash": "a6b02d7e0f383a21be8bf9ec52cf81cca0461867342dc89cd9e7c9ab2a3fb34b",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/5c4dee8faae62114eebecb33dc74e1e695c150f3ee489f79979758a7d490b08d.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "5c4dee8faae62114eebecb33dc74e1e695c150f3ee489f79979758a7d490b08d",
    "witness-size": 2516,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 03:26:43 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "a6b02d7e0f383a21be8bf9ec52cf81cca0461867342dc89cd9e7c9ab2a3fb34b",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/sine_3.i",
    "programhash": "a6b02d7e0f383a21be8bf9ec52cf81cca0461867342dc89cd9e7c9ab2a3fb34b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/1c74ba50e4bb2884cfd451b34a255f02afd5722495bd4876e79268a644af8c9a.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "1c74ba50e4bb2884cfd451b34a255f02afd5722495bd4876e79268a644af8c9a",
    "witness-size": 12037,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 03:00:06.348509",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "a6b02d7e0f383a21be8bf9ec52cf81cca0461867342dc89cd9e7c9ab2a3fb34b",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/sine_3.i",
    "programhash": "a6b02d7e0f383a21be8bf9ec52cf81cca0461867342dc89cd9e7c9ab2a3fb34b",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/02168d0b00201e5092fce3ad602702125182064f385f0c8bd9464ed03ec01500.zip",
    "witness-number-of-tests": 120,
    "witness-sha256": "02168d0b00201e5092fce3ad602702125182064f385f0c8bd9464ed03ec01500",
    "witness-size": 52815,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T02:34:21+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "a6b02d7e0f383a21be8bf9ec52cf81cca0461867342dc89cd9e7c9ab2a3fb34b",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/sine_3.i",
    "programhash": "a6b02d7e0f383a21be8bf9ec52cf81cca0461867342dc89cd9e7c9ab2a3fb34b",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/ea1a545437f991acc0b19563c8d848663f2f0b0175ed5ba4b997d2fcebf1353e.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "ea1a545437f991acc0b19563c8d848663f2f0b0175ed5ba4b997d2fcebf1353e",
    "witness-size": 1014,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T18:13:41Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "a6b02d7e0f383a21be8bf9ec52cf81cca0461867342dc89cd9e7c9ab2a3fb34b",
    "programfile": "sine_3.i.c",
    "programhash": "a6b02d7e0f383a21be8bf9ec52cf81cca0461867342dc89cd9e7c9ab2a3fb34b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/4f57a2dc1a67dcb7a96f3e45aa4713eb8a41208957d623247adf7481e616c18d.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "4f57a2dc1a67dcb7a96f3e45aa4713eb8a41208957d623247adf7481e616c18d",
    "witness-size": 16785,
    "witness-type": "test-suite"
  }
]