[
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T14:04 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_ec0dd613-f883-40c7-8d9e-3bcb4ace00e9/sv-benchmarks/c/floats-cdfpl/newton_1_7.i",
    "programhash": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/89096f2817b51a558baad8bcc151b870e1ad90284fd327aef61246d6ddab773f.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "89096f2817b51a558baad8bcc151b870e1ad90284fd327aef61246d6ddab773f",
    "witness-size": 903,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T05:36:43+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_7.i",
    "programhash": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/f186e5432d432a3f9ce7e806130292a2951250d13b7c2d8f0ff317125af042e2.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "f186e5432d432a3f9ce7e806130292a2951250d13b7c2d8f0ff317125af042e2",
    "witness-size": 1060,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T23:32:32+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_7.i",
    "programhash": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/216d1a0df6091e8352c24c564445c381d3a9dc17cacedcde7908f46ffedfa455.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "216d1a0df6091e8352c24c564445c381d3a9dc17cacedcde7908f46ffedfa455",
    "witness-size": 1005,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T00:59:56+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_7.i",
    "programhash": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/8cd6b1755719a235a6ee24c6830e88f0c1eabc4f9166bc31d06224aca5c24051.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "8cd6b1755719a235a6ee24c6830e88f0c1eabc4f9166bc31d06224aca5c24051",
    "witness-size": 2859,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T05:55:28Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "programfile": "newton_1_7.i.c",
    "programhash": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/e8d059a22da266437e46f6f47d4eac6528169e261c2c41f103978233ecb36135.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "e8d059a22da266437e46f6f47d4eac6528169e261c2c41f103978233ecb36135",
    "witness-size": 3923,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T23:02:04+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_7.i",
    "programhash": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/a5f3cb61511c612f0c60ec2aebb425cb6be620d60003ee7af7fa7b7d453cbe1c.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "a5f3cb61511c612f0c60ec2aebb425cb6be620d60003ee7af7fa7b7d453cbe1c",
    "witness-size": 2804,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T23:32:32+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_7.i",
    "programhash": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/15928a0682a866ed40ddd436e7e7875b7ac68fe2aae1a7bc793162a328b3cfb7.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "15928a0682a866ed40ddd436e7e7875b7ac68fe2aae1a7bc793162a328b3cfb7",
    "witness-size": 2796,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-05T23:15:03Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "programfile": "newton_1_7.i.c",
    "programhash": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/7501d49081f4ee6433d46afdd961dc8a12b0dd6c8a1529f35727953b477d5bb0.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "7501d49081f4ee6433d46afdd961dc8a12b0dd6c8a1529f35727953b477d5bb0",
    "witness-size": 4607,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T05:36:43+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_7.i",
    "programhash": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/b38e31fd90accd4a2a10ea3d53439fea65e2f5d26e623ed4140422cef0fc36ed.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "b38e31fd90accd4a2a10ea3d53439fea65e2f5d26e623ed4140422cef0fc36ed",
    "witness-size": 2853,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T23:02:04+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_7.i",
    "programhash": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/f00cd81f70654023a0ac167e1bc718569104f125f3989f04a184bf82f67ea6f8.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "f00cd81f70654023a0ac167e1bc718569104f125f3989f04a184bf82f67ea6f8",
    "witness-size": 2790,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T00:59:56+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_1_7.i",
    "programhash": "0b2f165068f63c3324577478d008dfe4820e56f99e912142662d5825ef30f353",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/a1590e92ac785cef317b6ce5a419411a7489a75942112bcdb34bc2456074e375.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "a1590e92ac785cef317b6ce5a419411a7489a75942112bcdb34bc2456074e375",
    "witness-size": 2636,
    "witness-type": "test-suite"
  }
]