[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 08:37:31.416813",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "da3007ec5ca43436ced04c458c81d67de9f92bd823e285ec473127c9a315e927",
    "programfile": "../../sv-benchmarks/c/float-benchs/inv_Newton-2.c",
    "programhash": "da3007ec5ca43436ced04c458c81d67de9f92bd823e285ec473127c9a315e927",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/2ddbcc83f0bcc5c1cd841590f2a92981030318eee56856ed6d3c1ae5daa4a4bf.zip",
    "witness-number-of-tests": 173,
    "witness-sha256": "2ddbcc83f0bcc5c1cd841590f2a92981030318eee56856ed6d3c1ae5daa4a4bf",
    "witness-size": 79966,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Sun Dec  8 22:16:23 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "da3007ec5ca43436ced04c458c81d67de9f92bd823e285ec473127c9a315e927",
    "programfile": "../../sv-benchmarks/c/float-benchs/inv_Newton-2.c",
    "programhash": "da3007ec5ca43436ced04c458c81d67de9f92bd823e285ec473127c9a315e927",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/8be86513f1be37ab08e939a35894d9cd74160d520d635edbb878109f5e52420c.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "8be86513f1be37ab08e939a35894d9cd74160d520d635edbb878109f5e52420c",
    "witness-size": 13034,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T07:50:21+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "da3007ec5ca43436ced04c458c81d67de9f92bd823e285ec473127c9a315e927",
    "programfile": "../../sv-benchmarks/c/float-benchs/inv_Newton-2.c",
    "programhash": "da3007ec5ca43436ced04c458c81d67de9f92bd823e285ec473127c9a315e927",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/abae41fb0d0239a279162e8e8c33571936a89a5d47908cbfed757bfe698ed0b0.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "abae41fb0d0239a279162e8e8c33571936a89a5d47908cbfed757bfe698ed0b0",
    "witness-size": 2478,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T06:55:31Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "da3007ec5ca43436ced04c458c81d67de9f92bd823e285ec473127c9a315e927",
    "programfile": "inv_Newton-2.c.c",
    "programhash": "da3007ec5ca43436ced04c458c81d67de9f92bd823e285ec473127c9a315e927",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/bf90814c55523f103ea95619f2072dca45cd86528d77788a4033d35c721c1cba.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "bf90814c55523f103ea95619f2072dca45cd86528d77788a4033d35c721c1cba",
    "witness-size": 3712,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T08:34:28+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "da3007ec5ca43436ced04c458c81d67de9f92bd823e285ec473127c9a315e927",
    "programfile": "../../sv-benchmarks/c/float-benchs/inv_Newton-2.c",
    "programhash": "da3007ec5ca43436ced04c458c81d67de9f92bd823e285ec473127c9a315e927",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/df467fa8867fd8a9f5f45b9357f2a52aef09933d631152b876ce380d31ed0e3d.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "df467fa8867fd8a9f5f45b9357f2a52aef09933d631152b876ce380d31ed0e3d",
    "witness-size": 996,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 10:22:59",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "da3007ec5ca43436ced04c458c81d67de9f92bd823e285ec473127c9a315e927",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_f2bd1856-2ff1-4503-afbf-65297ff0f646/sv-benchmarks/c/float-benchs/inv_Newton-2.c",
    "programhash": "da3007ec5ca43436ced04c458c81d67de9f92bd823e285ec473127c9a315e927",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/c2ea901394f0ecf1119d58dd64c9decc03378759ac999f9891cf9e463c5f9abe.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "c2ea901394f0ecf1119d58dd64c9decc03378759ac999f9891cf9e463c5f9abe",
    "witness-size": 8396,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T02:29:09+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "da3007ec5ca43436ced04c458c81d67de9f92bd823e285ec473127c9a315e927",
    "programfile": "../../sv-benchmarks/c/float-benchs/inv_Newton-2.c",
    "programhash": "da3007ec5ca43436ced04c458c81d67de9f92bd823e285ec473127c9a315e927",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/6c9f85ca30b9cc055c4444325d5393f60658d60a1b2c4febe57fa967b206a260.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "6c9f85ca30b9cc055c4444325d5393f60658d60a1b2c4febe57fa967b206a260",
    "witness-size": 994,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T08:11:28+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "da3007ec5ca43436ced04c458c81d67de9f92bd823e285ec473127c9a315e927",
    "programfile": "../../sv-benchmarks/c/float-benchs/inv_Newton-2.c",
    "programhash": "da3007ec5ca43436ced04c458c81d67de9f92bd823e285ec473127c9a315e927",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/29bbb54f77ee94e9ac409749c3b5bfcbb6bede99ca3271a962f55e6fe12ff083.zip",
    "witness-number-of-tests": 13,
    "witness-sha256": "29bbb54f77ee94e9ac409749c3b5bfcbb6bede99ca3271a962f55e6fe12ff083",
    "witness-size": 5210,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T19:31:52Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "da3007ec5ca43436ced04c458c81d67de9f92bd823e285ec473127c9a315e927",
    "programfile": "inv_Newton-2.c.c",
    "programhash": "da3007ec5ca43436ced04c458c81d67de9f92bd823e285ec473127c9a315e927",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/9b56497309b0faee151e426080a681935aec504d460fee2b8782cdcc96b7deaa.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "9b56497309b0faee151e426080a681935aec504d460fee2b8782cdcc96b7deaa",
    "witness-size": 17234,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 06:35:50.850062",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "da3007ec5ca43436ced04c458c81d67de9f92bd823e285ec473127c9a315e927",
    "programfile": "../../sv-benchmarks/c/float-benchs/inv_Newton-2.c",
    "programhash": "da3007ec5ca43436ced04c458c81d67de9f92bd823e285ec473127c9a315e927",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/dbc185b0a149eb0ea9c8218ae9077c985f8fd120c2bd62fa8fdb20bd072d7200.zip",
    "witness-number-of-tests": 17,
    "witness-sha256": "dbc185b0a149eb0ea9c8218ae9077c985f8fd120c2bd62fa8fdb20bd072d7200",
    "witness-size": 8269,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T19:06:37Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "da3007ec5ca43436ced04c458c81d67de9f92bd823e285ec473127c9a315e927",
    "programfile": "inv_Newton-2.c.c",
    "programhash": "da3007ec5ca43436ced04c458c81d67de9f92bd823e285ec473127c9a315e927",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/6fb577f7fe0a5dfd339d78b4edf3529948766d05580ad8df996c3b7f0db5f2f4.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "6fb577f7fe0a5dfd339d78b4edf3529948766d05580ad8df996c3b7f0db5f2f4",
    "witness-size": 17274,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 09:58:25",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "da3007ec5ca43436ced04c458c81d67de9f92bd823e285ec473127c9a315e927",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_e51d9668-baee-444a-a2c9-f26632940e92/sv-benchmarks/c/float-benchs/inv_Newton-2.c",
    "programhash": "da3007ec5ca43436ced04c458c81d67de9f92bd823e285ec473127c9a315e927",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/15f585dcd950a7f0d9d5525dad9367ae2aeae1bf855c324ed47404eed2446c3b.zip",
    "witness-number-of-tests": 0,
    "witness-sha256": "15f585dcd950a7f0d9d5525dad9367ae2aeae1bf855c324ed47404eed2446c3b",
    "witness-size": 7389,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T09:51:27Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "da3007ec5ca43436ced04c458c81d67de9f92bd823e285ec473127c9a315e927",
    "programfile": "inv_Newton-2.c.c",
    "programhash": "da3007ec5ca43436ced04c458c81d67de9f92bd823e285ec473127c9a315e927",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/bd85bf40330be724a4944fe5ada33975f187011b3d4bbb68b7ea0b4f29ff7933.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "bd85bf40330be724a4944fe5ada33975f187011b3d4bbb68b7ea0b4f29ff7933",
    "witness-size": 4091,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 06:33:33 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "da3007ec5ca43436ced04c458c81d67de9f92bd823e285ec473127c9a315e927",
    "programfile": "../../sv-benchmarks/c/float-benchs/inv_Newton-2.c",
    "programhash": "da3007ec5ca43436ced04c458c81d67de9f92bd823e285ec473127c9a315e927",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/b6cceda38283348aa1042df0bd980f9c99ab8184d1930acc88fec8cd3ea081d2.zip",
    "witness-number-of-tests": 10,
    "witness-sha256": "b6cceda38283348aa1042df0bd980f9c99ab8184d1930acc88fec8cd3ea081d2",
    "witness-size": 13424,
    "witness-type": "test-suite"
  }
]