[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T07:15:46+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "19e1e36fef81a978f81e6891d3fcccff5cf6a73764190f60f322492b5ec88771",
    "programfile": "../../sv-benchmarks/c/float-benchs/arctan_Pade.c",
    "programhash": "19e1e36fef81a978f81e6891d3fcccff5cf6a73764190f60f322492b5ec88771",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/aee54d2917eaefc10d3d20cb5025c1fa3cfadfde6102ec2043f536e4699d335e.zip",
    "witness-number-of-tests": 10,
    "witness-sha256": "aee54d2917eaefc10d3d20cb5025c1fa3cfadfde6102ec2043f536e4699d335e",
    "witness-size": 4249,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:41:54",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "19e1e36fef81a978f81e6891d3fcccff5cf6a73764190f60f322492b5ec88771",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_11c014d5-cac2-4fc4-b8a2-486495dc147e/sv-benchmarks/c/float-benchs/arctan_Pade.c",
    "programhash": "19e1e36fef81a978f81e6891d3fcccff5cf6a73764190f60f322492b5ec88771",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/00285d5fdf36e0c6516883f238b478e1d2495c0db269ed2f3022100440a35551.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "00285d5fdf36e0c6516883f238b478e1d2495c0db269ed2f3022100440a35551",
    "witness-size": 7293,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T21:19:05Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "19e1e36fef81a978f81e6891d3fcccff5cf6a73764190f60f322492b5ec88771",
    "programfile": "arctan_Pade.c.c",
    "programhash": "19e1e36fef81a978f81e6891d3fcccff5cf6a73764190f60f322492b5ec88771",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/d60b6d3f102cb31f782784967edac0bf69095aaabdf7d6083e14f5db12d30922.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "d60b6d3f102cb31f782784967edac0bf69095aaabdf7d6083e14f5db12d30922",
    "witness-size": 6555,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T16:04:10Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "19e1e36fef81a978f81e6891d3fcccff5cf6a73764190f60f322492b5ec88771",
    "programfile": "arctan_Pade.c.c",
    "programhash": "19e1e36fef81a978f81e6891d3fcccff5cf6a73764190f60f322492b5ec88771",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/f9488aa87025cd96479a8a5196ca6a5c1bec450a75a9bc5f3a877d19ed2f3d98.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "f9488aa87025cd96479a8a5196ca6a5c1bec450a75a9bc5f3a877d19ed2f3d98",
    "witness-size": 17683,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 08:08:26.428784",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "19e1e36fef81a978f81e6891d3fcccff5cf6a73764190f60f322492b5ec88771",
    "programfile": "../../sv-benchmarks/c/float-benchs/arctan_Pade.c",
    "programhash": "19e1e36fef81a978f81e6891d3fcccff5cf6a73764190f60f322492b5ec88771",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/6d9e799db24989442615919ffa3ae132641b77c3fa30cbc1b4de294b71c3604a.zip",
    "witness-number-of-tests": 246,
    "witness-sha256": "6d9e799db24989442615919ffa3ae132641b77c3fa30cbc1b4de294b71c3604a",
    "witness-size": 113712,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T02:02:21+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "19e1e36fef81a978f81e6891d3fcccff5cf6a73764190f60f322492b5ec88771",
    "programfile": "../../sv-benchmarks/c/float-benchs/arctan_Pade.c",
    "programhash": "19e1e36fef81a978f81e6891d3fcccff5cf6a73764190f60f322492b5ec88771",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/5219e800e542938614d1915f30edf0ede8a3ba254da4fafa0ecfb0186f8736da.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "5219e800e542938614d1915f30edf0ede8a3ba254da4fafa0ecfb0186f8736da",
    "witness-size": 2513,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 02:11:41 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "19e1e36fef81a978f81e6891d3fcccff5cf6a73764190f60f322492b5ec88771",
    "programfile": "../../sv-benchmarks/c/float-benchs/arctan_Pade.c",
    "programhash": "19e1e36fef81a978f81e6891d3fcccff5cf6a73764190f60f322492b5ec88771",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/7184f205dbf09f4f074d24f59052e0a7c6a1d391d406aa29a128f5b9f3e769be.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "7184f205dbf09f4f074d24f59052e0a7c6a1d391d406aa29a128f5b9f3e769be",
    "witness-size": 12244,
    "witness-type": "test-suite"
  }
]