[
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T14:55 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "a5e00363dc5419edc868bb26fcc94d65f34aa472d248b98e114b437aba9ad92e",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_fcc10d2d-a4a3-41c7-9254-01b0f88e4413/sv-benchmarks/c/loops/eureka_01-1.c",
    "programhash": "a5e00363dc5419edc868bb26fcc94d65f34aa472d248b98e114b437aba9ad92e",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/c9e225e2f7fc68ef673135029c03ddaa6d0ead7490dfbb01dc764e0c436ad04a.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "c9e225e2f7fc68ef673135029c03ddaa6d0ead7490dfbb01dc764e0c436ad04a",
    "witness-size": 2981,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T02:39:29Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "a5e00363dc5419edc868bb26fcc94d65f34aa472d248b98e114b437aba9ad92e",
    "programfile": "eureka_01-1.c.c",
    "programhash": "a5e00363dc5419edc868bb26fcc94d65f34aa472d248b98e114b437aba9ad92e",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/f1c16abad399adc17a9f2fa4db3f21588446ef2b99461ad8d78a2d73a0da8e18.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "f1c16abad399adc17a9f2fa4db3f21588446ef2b99461ad8d78a2d73a0da8e18",
    "witness-size": 3062,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T01:33:37Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "a5e00363dc5419edc868bb26fcc94d65f34aa472d248b98e114b437aba9ad92e",
    "programfile": "eureka_01-1.c.c",
    "programhash": "a5e00363dc5419edc868bb26fcc94d65f34aa472d248b98e114b437aba9ad92e",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/ba92bf32d8807060f4c7c9fabfc97143dc05fd2b113c9ab58f0947199e71bc3c.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "ba92bf32d8807060f4c7c9fabfc97143dc05fd2b113c9ab58f0947199e71bc3c",
    "witness-size": 5397,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T13:23 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "a5e00363dc5419edc868bb26fcc94d65f34aa472d248b98e114b437aba9ad92e",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_fcc10d2d-a4a3-41c7-9254-01b0f88e4413/sv-benchmarks/c/loops/eureka_01-1.c",
    "programhash": "a5e00363dc5419edc868bb26fcc94d65f34aa472d248b98e114b437aba9ad92e",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/1f5e10b7c18f2aff3c87656bdd29c24d0682d44206cf2081c92331da075647fa.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "1f5e10b7c18f2aff3c87656bdd29c24d0682d44206cf2081c92331da075647fa",
    "witness-size": 914,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T05:30:34+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "a5e00363dc5419edc868bb26fcc94d65f34aa472d248b98e114b437aba9ad92e",
    "programfile": "../../sv-benchmarks/c/loops/eureka_01-1.c",
    "programhash": "a5e00363dc5419edc868bb26fcc94d65f34aa472d248b98e114b437aba9ad92e",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/3e5099fe10c833817f2fa7923341a98720e84802a071e8f1100fca7996b6a145.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "3e5099fe10c833817f2fa7923341a98720e84802a071e8f1100fca7996b6a145",
    "witness-size": 658,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T14:18 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "a5e00363dc5419edc868bb26fcc94d65f34aa472d248b98e114b437aba9ad92e",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_544bbf00-e732-4998-8348-93f161080b50/sv-benchmarks/c/loops/eureka_01-1.c",
    "programhash": "a5e00363dc5419edc868bb26fcc94d65f34aa472d248b98e114b437aba9ad92e",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/0c0aaf8f3f8329d0c54132bd14c32ab4b46b3b1a335ee6b427ef741b618c0d8c.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "0c0aaf8f3f8329d0c54132bd14c32ab4b46b3b1a335ee6b427ef741b618c0d8c",
    "witness-size": 3621,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T01:33:37Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "a5e00363dc5419edc868bb26fcc94d65f34aa472d248b98e114b437aba9ad92e",
    "programfile": "eureka_01-1.c.c",
    "programhash": "a5e00363dc5419edc868bb26fcc94d65f34aa472d248b98e114b437aba9ad92e",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/a83be8806346603be6c392c7ea4838a623b8d2a8f3bffe2f56069a2ddaa8bf6c.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "a83be8806346603be6c392c7ea4838a623b8d2a8f3bffe2f56069a2ddaa8bf6c",
    "witness-size": 3048,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T02:39:29Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "a5e00363dc5419edc868bb26fcc94d65f34aa472d248b98e114b437aba9ad92e",
    "programfile": "eureka_01-1.c.c",
    "programhash": "a5e00363dc5419edc868bb26fcc94d65f34aa472d248b98e114b437aba9ad92e",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/c5070b20fcadf237978cf72f8cac8894466693d4e89b09d8dab5f1235d045edc.zip",
    "witness-number-of-tests": 23,
    "witness-sha256": "c5070b20fcadf237978cf72f8cac8894466693d4e89b09d8dab5f1235d045edc",
    "witness-size": 12658,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T01:51:28+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "a5e00363dc5419edc868bb26fcc94d65f34aa472d248b98e114b437aba9ad92e",
    "programfile": "../../sv-benchmarks/c/loops/eureka_01-1.c",
    "programhash": "a5e00363dc5419edc868bb26fcc94d65f34aa472d248b98e114b437aba9ad92e",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/9d101bf7b59b5e5f0007a2f3397c8a583ebef87d76e8ecf42c056d553713cdae.zip",
    "witness-number-of-tests": 16,
    "witness-sha256": "9d101bf7b59b5e5f0007a2f3397c8a583ebef87d76e8ecf42c056d553713cdae",
    "witness-size": 6955,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T14:54 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "a5e00363dc5419edc868bb26fcc94d65f34aa472d248b98e114b437aba9ad92e",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_544bbf00-e732-4998-8348-93f161080b50/sv-benchmarks/c/loops/eureka_01-1.c",
    "programhash": "a5e00363dc5419edc868bb26fcc94d65f34aa472d248b98e114b437aba9ad92e",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/dc99e47f11f08a0cbee3fcc6755d0fc0703a0c27bc051aa8a775d42e3bea39df.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "dc99e47f11f08a0cbee3fcc6755d0fc0703a0c27bc051aa8a775d42e3bea39df",
    "witness-size": 3004,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T22:24:47+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "a5e00363dc5419edc868bb26fcc94d65f34aa472d248b98e114b437aba9ad92e",
    "programfile": "../../sv-benchmarks/c/loops/eureka_01-1.c",
    "programhash": "a5e00363dc5419edc868bb26fcc94d65f34aa472d248b98e114b437aba9ad92e",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/ecefbd43d509856f8068e6b04244cdecb97f092d2c6d278d28b9996fb3782c4c.zip",
    "witness-number-of-tests": 21,
    "witness-sha256": "ecefbd43d509856f8068e6b04244cdecb97f092d2c6d278d28b9996fb3782c4c",
    "witness-size": 7931,
    "witness-type": "test-suite"
  }
]