[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T00:03:49+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "27aa3319a96e3f5b0c3b20666a96e665feb85bd034074efc69dca0f28eeeda46",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_2_4.i",
    "programhash": "27aa3319a96e3f5b0c3b20666a96e665feb85bd034074efc69dca0f28eeeda46",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/2cac7fb2ef48a452bb3e9c37c005d7d9fb8e1064687ecbf314dd96142fe6181d.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "2cac7fb2ef48a452bb3e9c37c005d7d9fb8e1064687ecbf314dd96142fe6181d",
    "witness-size": 2439,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08 23:36:49.502343",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "27aa3319a96e3f5b0c3b20666a96e665feb85bd034074efc69dca0f28eeeda46",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_2_4.i",
    "programhash": "27aa3319a96e3f5b0c3b20666a96e665feb85bd034074efc69dca0f28eeeda46",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/dc484da3d47a170f638044b0c73755688f15c1e08cae321ae45f59dc212ecb41.zip",
    "witness-number-of-tests": 949,
    "witness-sha256": "dc484da3d47a170f638044b0c73755688f15c1e08cae321ae45f59dc212ecb41",
    "witness-size": 412079,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T19:31:51Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "27aa3319a96e3f5b0c3b20666a96e665feb85bd034074efc69dca0f28eeeda46",
    "programfile": "newton_2_4.i.c",
    "programhash": "27aa3319a96e3f5b0c3b20666a96e665feb85bd034074efc69dca0f28eeeda46",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/759b19d8bb7d3414aa1d0ec11a5abace9188835aba5ea0275e9c33bc1f5dadc7.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "759b19d8bb7d3414aa1d0ec11a5abace9188835aba5ea0275e9c33bc1f5dadc7",
    "witness-size": 17366,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T03:00:30+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "27aa3319a96e3f5b0c3b20666a96e665feb85bd034074efc69dca0f28eeeda46",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_2_4.i",
    "programhash": "27aa3319a96e3f5b0c3b20666a96e665feb85bd034074efc69dca0f28eeeda46",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/cc49e8a868bac848a76c74f5362d297d105cf6e6fc0c808388e6b1e675055c31.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "cc49e8a868bac848a76c74f5362d297d105cf6e6fc0c808388e6b1e675055c31",
    "witness-size": 1764,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:45:34",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "27aa3319a96e3f5b0c3b20666a96e665feb85bd034074efc69dca0f28eeeda46",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_c60a7bb0-3119-4475-bcb0-08d83e2b5702/sv-benchmarks/c/floats-cdfpl/newton_2_4.i",
    "programhash": "27aa3319a96e3f5b0c3b20666a96e665feb85bd034074efc69dca0f28eeeda46",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/61e9683cc6721be51ba800d0f33a3710728b30235f5d919caf0b1b23dd047887.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "61e9683cc6721be51ba800d0f33a3710728b30235f5d919caf0b1b23dd047887",
    "witness-size": 7178,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T10:09:12Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "27aa3319a96e3f5b0c3b20666a96e665feb85bd034074efc69dca0f28eeeda46",
    "programfile": "newton_2_4.i.c",
    "programhash": "27aa3319a96e3f5b0c3b20666a96e665feb85bd034074efc69dca0f28eeeda46",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/14ca55a73a1b2025687050e9a8a6c04d494d36113fc7fa54136ef87be225e7dc.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "14ca55a73a1b2025687050e9a8a6c04d494d36113fc7fa54136ef87be225e7dc",
    "witness-size": 4264,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 01:40:01 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "27aa3319a96e3f5b0c3b20666a96e665feb85bd034074efc69dca0f28eeeda46",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_2_4.i",
    "programhash": "27aa3319a96e3f5b0c3b20666a96e665feb85bd034074efc69dca0f28eeeda46",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/ce28fcf1c0192285ee6ef18bc9b684a58e0f7e550e3454f139d00f9fd7bcebeb.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "ce28fcf1c0192285ee6ef18bc9b684a58e0f7e550e3454f139d00f9fd7bcebeb",
    "witness-size": 11129,
    "witness-type": "test-suite"
  }
]