[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T09:36:50Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "732c5a0c7e99ce1ebe0abb411ff994af4752be5fc25f5b400e29590b09449135",
    "programfile": "nan_float.c.c",
    "programhash": "732c5a0c7e99ce1ebe0abb411ff994af4752be5fc25f5b400e29590b09449135",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/007554fa6ac3f745474f64b1fa02aef765b6ad5436900a25c6a8d50e4ed3e504.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "007554fa6ac3f745474f64b1fa02aef765b6ad5436900a25c6a8d50e4ed3e504",
    "witness-size": 3642,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T00:14:32+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "732c5a0c7e99ce1ebe0abb411ff994af4752be5fc25f5b400e29590b09449135",
    "programfile": "../../sv-benchmarks/c/float-benchs/nan_float.c",
    "programhash": "732c5a0c7e99ce1ebe0abb411ff994af4752be5fc25f5b400e29590b09449135",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/09de43b88a2716f9264acbd80dcc79e43d91ced9d8e66252b80674eada037b4f.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "09de43b88a2716f9264acbd80dcc79e43d91ced9d8e66252b80674eada037b4f",
    "witness-size": 1358,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T23:58:01+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "732c5a0c7e99ce1ebe0abb411ff994af4752be5fc25f5b400e29590b09449135",
    "programfile": "../../sv-benchmarks/c/float-benchs/nan_float.c",
    "programhash": "732c5a0c7e99ce1ebe0abb411ff994af4752be5fc25f5b400e29590b09449135",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/73f9b5962b51aa8f46ea988fc2e944c599edec414b679097049e62d2143a6aca.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "73f9b5962b51aa8f46ea988fc2e944c599edec414b679097049e62d2143a6aca",
    "witness-size": 1344,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Sun Dec  8 22:03:31 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "732c5a0c7e99ce1ebe0abb411ff994af4752be5fc25f5b400e29590b09449135",
    "programfile": "../../sv-benchmarks/c/float-benchs/nan_float.c",
    "programhash": "732c5a0c7e99ce1ebe0abb411ff994af4752be5fc25f5b400e29590b09449135",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/4108caacc5e270fc450e44e53afc828a4b006f621a886a24b3ff964473e0907b.zip",
    "witness-number-of-tests": 8,
    "witness-sha256": "4108caacc5e270fc450e44e53afc828a4b006f621a886a24b3ff964473e0907b",
    "witness-size": 10197,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T15:45:59Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "732c5a0c7e99ce1ebe0abb411ff994af4752be5fc25f5b400e29590b09449135",
    "programfile": "nan_float.c.c",
    "programhash": "732c5a0c7e99ce1ebe0abb411ff994af4752be5fc25f5b400e29590b09449135",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/1ef45a6eb706939a88468944aaed83c7bc5f4633bfdfe25eac23bb81ccab8cd5.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "1ef45a6eb706939a88468944aaed83c7bc5f4633bfdfe25eac23bb81ccab8cd5",
    "witness-size": 12717,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T07:33:45+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "732c5a0c7e99ce1ebe0abb411ff994af4752be5fc25f5b400e29590b09449135",
    "programfile": "../../sv-benchmarks/c/float-benchs/nan_float.c",
    "programhash": "732c5a0c7e99ce1ebe0abb411ff994af4752be5fc25f5b400e29590b09449135",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/9fd5beda2a5d1c572ed1af88dd8053eb14d8fb0cc8fe4829ff262f842f010f00.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "9fd5beda2a5d1c572ed1af88dd8053eb14d8fb0cc8fe4829ff262f842f010f00",
    "witness-size": 990,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 07:40:14.553715",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "732c5a0c7e99ce1ebe0abb411ff994af4752be5fc25f5b400e29590b09449135",
    "programfile": "../../sv-benchmarks/c/float-benchs/nan_float.c",
    "programhash": "732c5a0c7e99ce1ebe0abb411ff994af4752be5fc25f5b400e29590b09449135",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/7f3668c500960b50815817b6973cb583c312aca7710e33293cc0b2f4998de010.zip",
    "witness-number-of-tests": 1141,
    "witness-sha256": "7f3668c500960b50815817b6973cb583c312aca7710e33293cc0b2f4998de010",
    "witness-size": 492669,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08 23:19:42.640227",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "732c5a0c7e99ce1ebe0abb411ff994af4752be5fc25f5b400e29590b09449135",
    "programfile": "../../sv-benchmarks/c/float-benchs/nan_float.c",
    "programhash": "732c5a0c7e99ce1ebe0abb411ff994af4752be5fc25f5b400e29590b09449135",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/3d2b061e65904c5073717037a2631be2deb82af1ea72ea2baa2b1a7b16e260e1.zip",
    "witness-number-of-tests": 11,
    "witness-sha256": "3d2b061e65904c5073717037a2631be2deb82af1ea72ea2baa2b1a7b16e260e1",
    "witness-size": 5354,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:45:29",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "732c5a0c7e99ce1ebe0abb411ff994af4752be5fc25f5b400e29590b09449135",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_cadb76cc-4687-4286-90dc-8f63e1af9362/sv-benchmarks/c/float-benchs/nan_float.c",
    "programhash": "732c5a0c7e99ce1ebe0abb411ff994af4752be5fc25f5b400e29590b09449135",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/e98e412c493d686f64555b8d4a1184e9c7370d404abad50e78f83d9f14195168.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "e98e412c493d686f64555b8d4a1184e9c7370d404abad50e78f83d9f14195168",
    "witness-size": 5191,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:46:19",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "732c5a0c7e99ce1ebe0abb411ff994af4752be5fc25f5b400e29590b09449135",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_148a4c88-1fe6-42d1-9384-54269ba90f5d/sv-benchmarks/c/float-benchs/nan_float.c",
    "programhash": "732c5a0c7e99ce1ebe0abb411ff994af4752be5fc25f5b400e29590b09449135",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/fde4c282df55cc1b57b363c0ba6229a4bdf0257a7d7fe87e2b92d8457c243e1b.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "fde4c282df55cc1b57b363c0ba6229a4bdf0257a7d7fe87e2b92d8457c243e1b",
    "witness-size": 4864,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T09:56:18+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "732c5a0c7e99ce1ebe0abb411ff994af4752be5fc25f5b400e29590b09449135",
    "programfile": "../../sv-benchmarks/c/float-benchs/nan_float.c",
    "programhash": "732c5a0c7e99ce1ebe0abb411ff994af4752be5fc25f5b400e29590b09449135",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/5f34691b29818544bca8db7b8c2aecfa6df28dab79e383f01cd854ff97bb0e9f.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "5f34691b29818544bca8db7b8c2aecfa6df28dab79e383f01cd854ff97bb0e9f",
    "witness-size": 990,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T14:55:23Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "732c5a0c7e99ce1ebe0abb411ff994af4752be5fc25f5b400e29590b09449135",
    "programfile": "nan_float.c.c",
    "programhash": "732c5a0c7e99ce1ebe0abb411ff994af4752be5fc25f5b400e29590b09449135",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/b908b1786d888977a7d26171d71a439289ed029878117d3a57d544068bf25630.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "b908b1786d888977a7d26171d71a439289ed029878117d3a57d544068bf25630",
    "witness-size": 12747,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Sun Dec  8 23:07:04 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "732c5a0c7e99ce1ebe0abb411ff994af4752be5fc25f5b400e29590b09449135",
    "programfile": "../../sv-benchmarks/c/float-benchs/nan_float.c",
    "programhash": "732c5a0c7e99ce1ebe0abb411ff994af4752be5fc25f5b400e29590b09449135",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/fde86c1c0ee4de99f96d9f3fb8182a96ce22c40070236c1102f87960cde9e674.zip",
    "witness-number-of-tests": 8,
    "witness-sha256": "fde86c1c0ee4de99f96d9f3fb8182a96ce22c40070236c1102f87960cde9e674",
    "witness-size": 10438,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T02:59:41Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "732c5a0c7e99ce1ebe0abb411ff994af4752be5fc25f5b400e29590b09449135",
    "programfile": "nan_float.c.c",
    "programhash": "732c5a0c7e99ce1ebe0abb411ff994af4752be5fc25f5b400e29590b09449135",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/99338e03c54aff0b6eb2f9ce4bee193799246b7c42ff36f4842f7e8a65b8c503.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "99338e03c54aff0b6eb2f9ce4bee193799246b7c42ff36f4842f7e8a65b8c503",
    "witness-size": 3280,
    "witness-type": "test-suite"
  }
]