[
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T22:19:26+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "9c6b8ee48d9e78ff6bafed2b61694bc6eef69f400da8d75ff1587ad8fa94150b",
    "programfile": "../../sv-benchmarks/c/float-benchs/cast_float_union.c",
    "programhash": "9c6b8ee48d9e78ff6bafed2b61694bc6eef69f400da8d75ff1587ad8fa94150b",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/8fb0ca2e2427aaf1198d8271e2daae05e6b1688357806a23119b111b3e27c05f.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "8fb0ca2e2427aaf1198d8271e2daae05e6b1688357806a23119b111b3e27c05f",
    "witness-size": 1801,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T01:59:03Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "9c6b8ee48d9e78ff6bafed2b61694bc6eef69f400da8d75ff1587ad8fa94150b",
    "programfile": "cast_float_union.c.c",
    "programhash": "9c6b8ee48d9e78ff6bafed2b61694bc6eef69f400da8d75ff1587ad8fa94150b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/8d47a37132b5dc3f91e9b9ea85720ff7af9b3bd75c2a241d4bda42033c9e4e10.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "8d47a37132b5dc3f91e9b9ea85720ff7af9b3bd75c2a241d4bda42033c9e4e10",
    "witness-size": 5152,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T21:06:37+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "9c6b8ee48d9e78ff6bafed2b61694bc6eef69f400da8d75ff1587ad8fa94150b",
    "programfile": "../../sv-benchmarks/c/float-benchs/cast_float_union.c",
    "programhash": "9c6b8ee48d9e78ff6bafed2b61694bc6eef69f400da8d75ff1587ad8fa94150b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/092364302eca6c0b42bd9d5c04594434dd11cb35a9c05b97d99e95f624ab3251.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "092364302eca6c0b42bd9d5c04594434dd11cb35a9c05b97d99e95f624ab3251",
    "witness-size": 2023,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T09:41 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "9c6b8ee48d9e78ff6bafed2b61694bc6eef69f400da8d75ff1587ad8fa94150b",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_612e55f7-4dea-4be6-b004-58079c1a82c6/sv-benchmarks/c/float-benchs/cast_float_union.c",
    "programhash": "9c6b8ee48d9e78ff6bafed2b61694bc6eef69f400da8d75ff1587ad8fa94150b",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/6ccce93a87ea9f2897ff43f6269ec4e8bdda7941d2a7d957f9690cc2700450b5.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "6ccce93a87ea9f2897ff43f6269ec4e8bdda7941d2a7d957f9690cc2700450b5",
    "witness-size": 900,
    "witness-type": "test-suite"
  }
]