[
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T02:36:34+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "4afc0c2bd43d82104b6d9750297dda63b0efb2b0d3b5e70f0d42a074828967fe",
    "programfile": "../../sv-benchmarks/c/loops/terminator_02-1.c",
    "programhash": "4afc0c2bd43d82104b6d9750297dda63b0efb2b0d3b5e70f0d42a074828967fe",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/9d65ad2557221bf80de39bfe360a4a3fa37ae0f03fee020eed46002dc1ea10b7.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "9d65ad2557221bf80de39bfe360a4a3fa37ae0f03fee020eed46002dc1ea10b7",
    "witness-size": 2777,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T02:36:34+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "4afc0c2bd43d82104b6d9750297dda63b0efb2b0d3b5e70f0d42a074828967fe",
    "programfile": "../../sv-benchmarks/c/loops/terminator_02-1.c",
    "programhash": "4afc0c2bd43d82104b6d9750297dda63b0efb2b0d3b5e70f0d42a074828967fe",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/0fa14c2fe959868e7f704049dcecfd503c2eb31cfe13e7aaa52a065cf66f18f8.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "0fa14c2fe959868e7f704049dcecfd503c2eb31cfe13e7aaa52a065cf66f18f8",
    "witness-size": 998,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T14:53 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "4afc0c2bd43d82104b6d9750297dda63b0efb2b0d3b5e70f0d42a074828967fe",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_5618072b-8183-41ee-b1d2-e9a89c71dca8/sv-benchmarks/c/loops/terminator_02-1.c",
    "programhash": "4afc0c2bd43d82104b6d9750297dda63b0efb2b0d3b5e70f0d42a074828967fe",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/f77b9ac14350aaccab08dcabaffa0975d4d34b396624fcfeb18e4aac461f240f.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "f77b9ac14350aaccab08dcabaffa0975d4d34b396624fcfeb18e4aac461f240f",
    "witness-size": 2717,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T05:31:49Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "4afc0c2bd43d82104b6d9750297dda63b0efb2b0d3b5e70f0d42a074828967fe",
    "programfile": "terminator_02-1.c.c",
    "programhash": "4afc0c2bd43d82104b6d9750297dda63b0efb2b0d3b5e70f0d42a074828967fe",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/562747ffa8bf5a6be2b4bdc964a28e3e609333bd17950e31adf68467fa596572.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "562747ffa8bf5a6be2b4bdc964a28e3e609333bd17950e31adf68467fa596572",
    "witness-size": 2809,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T01:55:42+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "4afc0c2bd43d82104b6d9750297dda63b0efb2b0d3b5e70f0d42a074828967fe",
    "programfile": "../../sv-benchmarks/c/loops/terminator_02-1.c",
    "programhash": "4afc0c2bd43d82104b6d9750297dda63b0efb2b0d3b5e70f0d42a074828967fe",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/0bad3aa4d416ded13df6d2dc5f808cb8ad79b59b11b3a98f39d0ea1fdd86cc53.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "0bad3aa4d416ded13df6d2dc5f808cb8ad79b59b11b3a98f39d0ea1fdd86cc53",
    "witness-size": 2840,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T05:31:49Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "4afc0c2bd43d82104b6d9750297dda63b0efb2b0d3b5e70f0d42a074828967fe",
    "programfile": "terminator_02-1.c.c",
    "programhash": "4afc0c2bd43d82104b6d9750297dda63b0efb2b0d3b5e70f0d42a074828967fe",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/b2ce2174f0741e02ff605620935a77108d2bc3e7da360d25d71c851ab3bd3d82.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "b2ce2174f0741e02ff605620935a77108d2bc3e7da360d25d71c851ab3bd3d82",
    "witness-size": 4579,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T02:17:34+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "4afc0c2bd43d82104b6d9750297dda63b0efb2b0d3b5e70f0d42a074828967fe",
    "programfile": "../../sv-benchmarks/c/loops/terminator_02-1.c",
    "programhash": "4afc0c2bd43d82104b6d9750297dda63b0efb2b0d3b5e70f0d42a074828967fe",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/e611f981bb6b3ad74fd8ce4f2669b3ca3306472a0e3dc18e0b9206b71d7ec72d.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "e611f981bb6b3ad74fd8ce4f2669b3ca3306472a0e3dc18e0b9206b71d7ec72d",
    "witness-size": 2783,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T21:18:18+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "4afc0c2bd43d82104b6d9750297dda63b0efb2b0d3b5e70f0d42a074828967fe",
    "programfile": "../../sv-benchmarks/c/loops/terminator_02-1.c",
    "programhash": "4afc0c2bd43d82104b6d9750297dda63b0efb2b0d3b5e70f0d42a074828967fe",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/ddb21e8a7f4cf8dcae2b81796b7f563032d2c587bfa6872e8096ef9ec0bbb48e.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "ddb21e8a7f4cf8dcae2b81796b7f563032d2c587bfa6872e8096ef9ec0bbb48e",
    "witness-size": 2842,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T12:32 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "4afc0c2bd43d82104b6d9750297dda63b0efb2b0d3b5e70f0d42a074828967fe",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_5618072b-8183-41ee-b1d2-e9a89c71dca8/sv-benchmarks/c/loops/terminator_02-1.c",
    "programhash": "4afc0c2bd43d82104b6d9750297dda63b0efb2b0d3b5e70f0d42a074828967fe",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/a9effd541663cbcf52b36d20fc9536502ab20e20b299a9a2cdb6b9c289956215.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "a9effd541663cbcf52b36d20fc9536502ab20e20b299a9a2cdb6b9c289956215",
    "witness-size": 915,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T01:55:42+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "4afc0c2bd43d82104b6d9750297dda63b0efb2b0d3b5e70f0d42a074828967fe",
    "programfile": "../../sv-benchmarks/c/loops/terminator_02-1.c",
    "programhash": "4afc0c2bd43d82104b6d9750297dda63b0efb2b0d3b5e70f0d42a074828967fe",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/f7c20c44a6ec328ed68398fc02f1b861c4f2ba6eb0a8e78c19d1a402d742f6a2.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "f7c20c44a6ec328ed68398fc02f1b861c4f2ba6eb0a8e78c19d1a402d742f6a2",
    "witness-size": 1059,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T21:18:18+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "4afc0c2bd43d82104b6d9750297dda63b0efb2b0d3b5e70f0d42a074828967fe",
    "programfile": "../../sv-benchmarks/c/loops/terminator_02-1.c",
    "programhash": "4afc0c2bd43d82104b6d9750297dda63b0efb2b0d3b5e70f0d42a074828967fe",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/2077c596036320b716d742f4683c11b9432d8e7fd97eaff4bb09469e72403a98.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "2077c596036320b716d742f4683c11b9432d8e7fd97eaff4bb09469e72403a98",
    "witness-size": 2245,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T03:37:57Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "4afc0c2bd43d82104b6d9750297dda63b0efb2b0d3b5e70f0d42a074828967fe",
    "programfile": "terminator_02-1.c.c",
    "programhash": "4afc0c2bd43d82104b6d9750297dda63b0efb2b0d3b5e70f0d42a074828967fe",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/07b29ef7f9a2ed714d4f5fd5579ca4b5e9e9df2e647fcbc903fe4ddb9b014d96.zip",
    "witness-number-of-tests": 7,
    "witness-sha256": "07b29ef7f9a2ed714d4f5fd5579ca4b5e9e9df2e647fcbc903fe4ddb9b014d96",
    "witness-size": 39346,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T03:37:57Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "4afc0c2bd43d82104b6d9750297dda63b0efb2b0d3b5e70f0d42a074828967fe",
    "programfile": "terminator_02-1.c.c",
    "programhash": "4afc0c2bd43d82104b6d9750297dda63b0efb2b0d3b5e70f0d42a074828967fe",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/7b9d4a8d921db6ab042c34b05e1ac49c9918c1006ea735cdab85c095cc8abaef.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "7b9d4a8d921db6ab042c34b05e1ac49c9918c1006ea735cdab85c095cc8abaef",
    "witness-size": 2797,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T02:17:34+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "4afc0c2bd43d82104b6d9750297dda63b0efb2b0d3b5e70f0d42a074828967fe",
    "programfile": "../../sv-benchmarks/c/loops/terminator_02-1.c",
    "programhash": "4afc0c2bd43d82104b6d9750297dda63b0efb2b0d3b5e70f0d42a074828967fe",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/b6688eb8be1a33a083a770804979340a22c5c9e61618a1d62631489b6894aad1.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "b6688eb8be1a33a083a770804979340a22c5c9e61618a1d62631489b6894aad1",
    "witness-size": 2744,
    "witness-type": "test-suite"
  }
]