[
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:44:33",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "693aba99334c4aa044b760700cef09c044641b841f33e57eabae3077fbad711b",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_4e7eb0e8-88a1-4888-abaf-d60d36360192/sv-benchmarks/c/floats-cdfpl/newton_2_6.i",
    "programhash": "693aba99334c4aa044b760700cef09c044641b841f33e57eabae3077fbad711b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/5eae65c4df9ca14a7b882556475b6c361b3fad1353474e37f7caebab08f84a86.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "5eae65c4df9ca14a7b882556475b6c361b3fad1353474e37f7caebab08f84a86",
    "witness-size": 7179,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T23:55:33+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "693aba99334c4aa044b760700cef09c044641b841f33e57eabae3077fbad711b",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_2_6.i",
    "programhash": "693aba99334c4aa044b760700cef09c044641b841f33e57eabae3077fbad711b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/e5ac07a85903d0f78a872a3b4a3efa5d120d32220c1ecc78c06a4db4775cc435.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "e5ac07a85903d0f78a872a3b4a3efa5d120d32220c1ecc78c06a4db4775cc435",
    "witness-size": 1010,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T02:46:10Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "693aba99334c4aa044b760700cef09c044641b841f33e57eabae3077fbad711b",
    "programfile": "newton_2_6.i.c",
    "programhash": "693aba99334c4aa044b760700cef09c044641b841f33e57eabae3077fbad711b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/33ad57aa578c7d7aabcf6b674893ebe2829c7a2183d1b74b58f922635efd8e84.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "33ad57aa578c7d7aabcf6b674893ebe2829c7a2183d1b74b58f922635efd8e84",
    "witness-size": 3905,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 03:26:03.902638",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "693aba99334c4aa044b760700cef09c044641b841f33e57eabae3077fbad711b",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_2_6.i",
    "programhash": "693aba99334c4aa044b760700cef09c044641b841f33e57eabae3077fbad711b",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/010ed0f4b9e35300bcf1cee966be02516aebc2262210a8ed1992a74adcebcbfa.zip",
    "witness-number-of-tests": 909,
    "witness-sha256": "010ed0f4b9e35300bcf1cee966be02516aebc2262210a8ed1992a74adcebcbfa",
    "witness-size": 395977,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 10:50:19 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "693aba99334c4aa044b760700cef09c044641b841f33e57eabae3077fbad711b",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_2_6.i",
    "programhash": "693aba99334c4aa044b760700cef09c044641b841f33e57eabae3077fbad711b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/e313a14b2a997ea5a70ebde87c3030940e2c7df72845bac63fccde6fc116fe90.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "e313a14b2a997ea5a70ebde87c3030940e2c7df72845bac63fccde6fc116fe90",
    "witness-size": 13188,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:45:31",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "693aba99334c4aa044b760700cef09c044641b841f33e57eabae3077fbad711b",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_b1360c34-bd9f-47d1-b615-549f5eea8e59/sv-benchmarks/c/floats-cdfpl/newton_2_6.i",
    "programhash": "693aba99334c4aa044b760700cef09c044641b841f33e57eabae3077fbad711b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/ede2b9dae52ab9b0274c62fc46c3945e945783349fa4f194f169b989f1e83035.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "ede2b9dae52ab9b0274c62fc46c3945e945783349fa4f194f169b989f1e83035",
    "witness-size": 6908,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T08:32:30+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "693aba99334c4aa044b760700cef09c044641b841f33e57eabae3077fbad711b",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_2_6.i",
    "programhash": "693aba99334c4aa044b760700cef09c044641b841f33e57eabae3077fbad711b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/81e11666d0af7a00467a61dcbd66e15bd30e5e5b251880bf17099d8271f54045.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "81e11666d0af7a00467a61dcbd66e15bd30e5e5b251880bf17099d8271f54045",
    "witness-size": 2796,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T05:28:13Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "693aba99334c4aa044b760700cef09c044641b841f33e57eabae3077fbad711b",
    "programfile": "newton_2_6.i.c",
    "programhash": "693aba99334c4aa044b760700cef09c044641b841f33e57eabae3077fbad711b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/f8cfb526072758f5fe67fbfa40c243b67f6b06da4d2a1f4af7b9d3e3108ea49f.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "f8cfb526072758f5fe67fbfa40c243b67f6b06da4d2a1f4af7b9d3e3108ea49f",
    "witness-size": 4266,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T18:02:08Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "693aba99334c4aa044b760700cef09c044641b841f33e57eabae3077fbad711b",
    "programfile": "newton_2_6.i.c",
    "programhash": "693aba99334c4aa044b760700cef09c044641b841f33e57eabae3077fbad711b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/786b1f6172a749de257f1cc3ee7f32851d0070332088fec4356976da1aa19112.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "786b1f6172a749de257f1cc3ee7f32851d0070332088fec4356976da1aa19112",
    "witness-size": 17350,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T18:00:03Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "693aba99334c4aa044b760700cef09c044641b841f33e57eabae3077fbad711b",
    "programfile": "newton_2_6.i.c",
    "programhash": "693aba99334c4aa044b760700cef09c044641b841f33e57eabae3077fbad711b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/54914373ca8b729d7b79f9e8606421d1ae225e2fa2dc6e92d4f1a0e8eec0901b.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "54914373ca8b729d7b79f9e8606421d1ae225e2fa2dc6e92d4f1a0e8eec0901b",
    "witness-size": 17413,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T10:02:59+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "693aba99334c4aa044b760700cef09c044641b841f33e57eabae3077fbad711b",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_2_6.i",
    "programhash": "693aba99334c4aa044b760700cef09c044641b841f33e57eabae3077fbad711b",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/0ab9d684c3fde606fa93825bbaf9ce4d15425992dc5e8ff2dfe6820487f9543c.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "0ab9d684c3fde606fa93825bbaf9ce4d15425992dc5e8ff2dfe6820487f9543c",
    "witness-size": 2142,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T05:54:42+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "693aba99334c4aa044b760700cef09c044641b841f33e57eabae3077fbad711b",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_2_6.i",
    "programhash": "693aba99334c4aa044b760700cef09c044641b841f33e57eabae3077fbad711b",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/632db04db7b29816bbb9c021ad486b7ab1f51840e02651a8b7ac713ce5e5df9f.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "632db04db7b29816bbb9c021ad486b7ab1f51840e02651a8b7ac713ce5e5df9f",
    "witness-size": 1017,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 07:51:07.427572",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "693aba99334c4aa044b760700cef09c044641b841f33e57eabae3077fbad711b",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_2_6.i",
    "programhash": "693aba99334c4aa044b760700cef09c044641b841f33e57eabae3077fbad711b",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/e54df891b17b16c20ae6ca9f24a93b7a1525f0a848f664622b5afea6839d6080.zip",
    "witness-number-of-tests": 1034,
    "witness-sha256": "e54df891b17b16c20ae6ca9f24a93b7a1525f0a848f664622b5afea6839d6080",
    "witness-size": 449344,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 03:20:40 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "693aba99334c4aa044b760700cef09c044641b841f33e57eabae3077fbad711b",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_2_6.i",
    "programhash": "693aba99334c4aa044b760700cef09c044641b841f33e57eabae3077fbad711b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/5ff90aa1a5082cf8b13d277ae15575954d3fad9ea669eec682fbde6853870f89.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "5ff90aa1a5082cf8b13d277ae15575954d3fad9ea669eec682fbde6853870f89",
    "witness-size": 12701,
    "witness-type": "test-suite"
  }
]