[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T19:21:59Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "4d5510c033404b5a2cac3b49f5e95a0a2faa06a82fe020da0b763a0509513d51",
    "programfile": "newton_3_3.i.c",
    "programhash": "4d5510c033404b5a2cac3b49f5e95a0a2faa06a82fe020da0b763a0509513d51",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/d38c00e96fc449086d69e003ecc518f4732ccfb0db8f9d04448553979dcfefb4.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "d38c00e96fc449086d69e003ecc518f4732ccfb0db8f9d04448553979dcfefb4",
    "witness-size": 17520,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 02:49:46.354725",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "4d5510c033404b5a2cac3b49f5e95a0a2faa06a82fe020da0b763a0509513d51",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_3.i",
    "programhash": "4d5510c033404b5a2cac3b49f5e95a0a2faa06a82fe020da0b763a0509513d51",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/52199f8c6f4089165a69ed8f93d9bbf135d504859ed0dba2a8667981713cf919.zip",
    "witness-number-of-tests": 894,
    "witness-sha256": "52199f8c6f4089165a69ed8f93d9bbf135d504859ed0dba2a8667981713cf919",
    "witness-size": 389539,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T02:52:28+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "4d5510c033404b5a2cac3b49f5e95a0a2faa06a82fe020da0b763a0509513d51",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_3.i",
    "programhash": "4d5510c033404b5a2cac3b49f5e95a0a2faa06a82fe020da0b763a0509513d51",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/481cf21c6689b2c34cb04d9f92f3d517f46ee5782cfa79cc5ee368d0ccdff4ac.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "481cf21c6689b2c34cb04d9f92f3d517f46ee5782cfa79cc5ee368d0ccdff4ac",
    "witness-size": 2439,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T03:47:38+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "4d5510c033404b5a2cac3b49f5e95a0a2faa06a82fe020da0b763a0509513d51",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_3.i",
    "programhash": "4d5510c033404b5a2cac3b49f5e95a0a2faa06a82fe020da0b763a0509513d51",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/2f00f2f88b90fe0f8967680ed9318093474f4a19e81dd8b8cfd54163b512140e.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "2f00f2f88b90fe0f8967680ed9318093474f4a19e81dd8b8cfd54163b512140e",
    "witness-size": 1765,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:43:57",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "4d5510c033404b5a2cac3b49f5e95a0a2faa06a82fe020da0b763a0509513d51",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_ff147fb3-e970-4b24-ab21-89cd3255464e/sv-benchmarks/c/floats-cdfpl/newton_3_3.i",
    "programhash": "4d5510c033404b5a2cac3b49f5e95a0a2faa06a82fe020da0b763a0509513d51",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/3a179f2abbe1a269e95c147b1b7067c50fede7d8d556eeb2adba5f2016eed50e.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "3a179f2abbe1a269e95c147b1b7067c50fede7d8d556eeb2adba5f2016eed50e",
    "witness-size": 7353,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 06:56:52 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "4d5510c033404b5a2cac3b49f5e95a0a2faa06a82fe020da0b763a0509513d51",
    "programfile": "../../sv-benchmarks/c/floats-cdfpl/newton_3_3.i",
    "programhash": "4d5510c033404b5a2cac3b49f5e95a0a2faa06a82fe020da0b763a0509513d51",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/03dde8d98143fe7b2449513375f2039cea4f799ed287b4b4c2e5d56d58655007.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "03dde8d98143fe7b2449513375f2039cea4f799ed287b4b4c2e5d56d58655007",
    "witness-size": 11260,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T04:03:27Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "4d5510c033404b5a2cac3b49f5e95a0a2faa06a82fe020da0b763a0509513d51",
    "programfile": "newton_3_3.i.c",
    "programhash": "4d5510c033404b5a2cac3b49f5e95a0a2faa06a82fe020da0b763a0509513d51",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/f88030ebdd929c3ed032ff2271a5b349879707ab34917e4700f95892ff94ce3b.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "f88030ebdd929c3ed032ff2271a5b349879707ab34917e4700f95892ff94ce3b",
    "witness-size": 4317,
    "witness-type": "test-suite"
  }
]